From 92c49ac708e04e545da6e7aafe91cac8f223f475 Mon Sep 17 00:00:00 2001 From: Timotej Lazar Date: Mon, 27 Feb 2017 18:35:01 +0100 Subject: Prolog: add bugs files for the first six groups --- prolog/problems/lists_advanced/min_2/bugs.json | 704 +++++++++++++++++++++++++ 1 file changed, 704 insertions(+) create mode 100644 prolog/problems/lists_advanced/min_2/bugs.json (limited to 'prolog/problems/lists_advanced/min_2') diff --git a/prolog/problems/lists_advanced/min_2/bugs.json b/prolog/problems/lists_advanced/min_2/bugs.json new file mode 100644 index 0000000..e7c88e7 --- /dev/null +++ b/prolog/problems/lists_advanced/min_2/bugs.json @@ -0,0 +1,704 @@ +{ + "patterns": [ + "(clause (head (compound (functor \"min\") (args (list (t variable))))) (compound (functor \"min\") (args variable)))", + "(clause (head (compound (functor \"min\") (args (args variable)))) (binop variable \"=\"))", + "(clause (head (compound (functor \"min\") (args (list (h variable)) (args variable)))))", + "(clause (binop \"<\" variable))", + "(clause (head (compound (functor \"min\") (args (args variable)))) (binop variable \"is\"))", + "(clause (head (compound (functor \"min\") (args (list (h variable))))) (binop variable \"<\"))", + "(clause (head (compound (functor \"min\") (args (list (h variable))))) (binop \"=\" variable))", + "(clause (binop variable \"=\"))", + "(clause (binop variable \"is\"))", + "(clause (compound (functor \"min\") (args (args variable))) (binop \"<\" variable))", + "(clause (head (compound (functor \"min\") (args (args variable)))) (compound (functor \"min\") (args (args variable))))", + "(clause (head (compound (functor \"min\") (args (list (h variable))))) (binop \"is\" variable))", + "(clause (compound (functor \"min\") (args (args variable))) (binop \"=\" variable))", + "(clause (compound (functor \"min\") (args (args variable))))", + "(clause (binop \"=\" variable))", + "(clause (binop variable \"<\") (binop \"=\" variable))", + "(clause (binop \"is\" variable))", + "(clause (binop variable \"<\"))", + "(clause (compound (functor \"min\") (args (args variable))) (binop \"is\" variable))", + "(clause (binop variable \"<\") (binop \"is\" variable))", + "(clause (head (compound (functor \"min\") (args \"[]\"))))", + "(clause (head (compound (functor \"min\") (args (list (h variable))))) (binop variable \">=\"))", + "(clause (binop \"=<\" variable))", + "(clause (head (compound (functor \"min\") (args (list (h variable))))) (binop variable \"=<\"))", + "(clause (head (compound (functor \"min\") (args (list (h variable))))) (binop variable \">\"))", + "(clause (compound (functor \"min\") (args (args variable))) (binop \">=\" variable))", + "(clause (head (compound (functor \"min\") (args (args variable)))) (binop \"<\" variable))", + "(clause (head (compound (functor \"min\") (args variable))) (binop variable \"=\"))", + "(clause (compound (functor \"min\") (args (args variable))) (binop \"=<\" variable))", + "(clause (head (compound (functor \"min\") (args (list (t \"[]\")) (args variable)))))", + "(clause (head (compound (functor \"min\") (args (list (t \"[]\"))))))", + "(clause (head (compound (functor \"min\") (args (list (h variable) (t \"[]\"))))))", + "(clause (binop variable \"==\"))", + "(clause (compound (functor \"min\") (args (args variable))) (binop \">\" variable))", + "(clause (head (compound (functor \"min\") (args (args \"[]\")))))", + "(clause (head (compound (functor \"min\") (args (list (h variable))))) (compound (functor \"min\") (args (args variable))))", + "(clause (head (compound (functor \"min\") (args \"[]\" (args \"[]\")))))", + "(clause (head (compound (functor \"min\") (args (args variable)))))", + "(clause (binop variable \">\"))", + "(clause (head (compound (functor \"min\") (args (list (h variable))))) (binop \"=<\" variable))", + "(clause (compound (functor \"min\") (args (args variable))) (binop variable \"<\"))", + "(clause (compound (functor \"min\") (args variable)))", + "(clause (head (compound (functor \"min\") (args (args variable)))) (binop variable \"=<\"))", + "(clause (head (compound (functor \"min\") (args (list (h variable))))))", + "(clause (binop \">\" variable) (binop \"=\" variable))", + "(clause (binop variable \"=<\"))", + "(clause (binop \"=\" (list (t variable))) (compound (functor \"min\") (args variable)))", + "(clause (binop \">=\" variable) (binop \"=\" variable))", + "(clause (binop variable \"=<\") (binop \"=\" variable))", + "(clause (head (compound (functor \"min\") (args (list (h variable))))) (binop \"<\" variable))", + "(clause (binop \">=\" variable) (binop \"is\" variable))", + "(clause (binop \"=\" (list (h variable))) (binop \"=\" variable))", + "(clause (head (compound (functor \"min\") (args (args variable)))) (binop \">\" variable))", + "(clause (head (compound (functor \"min\") (args (list (t (list (t variable))))))) (compound (functor \"min\") (args (list (t variable)))))", + "(clause (head (compound (functor \"min\") (args \"[]\" (args variable)))))", + "(clause (compound (functor \"min\") (args (args variable))) (binop variable \"==\"))", + "(clause (head (compound (functor \"min\") (args (args variable)))) (binop \">=\" variable))", + "(clause (binop \"==\" \"[]\"))", + "(clause (binop \">\" variable))", + "(clause (binop variable \"==\" \"[]\"))", + "(clause (compound (functor \"min\") (args (args variable))) (binop variable \"=<\"))", + "(clause (head (compound (functor \"min\") (args (list (h variable))))) (binop \">\" variable))", + "(clause (binop \"=\" (list (h variable))))", + "(clause (binop variable \"<\") (compound (functor \"min\") (args (args variable))))", + "(clause (head (compound (functor \"min\") (args (list (h variable))))) (compound (functor \"min\") (args (list (h variable)))))", + "(clause (binop variable \"=<\") (binop \"is\" variable))", + "(clause (binop \">\" variable) (compound (functor \"min\") (args (args variable))))", + "(clause (head (compound (functor \"min\") (args (args variable)))) (binop variable \"<\"))", + "(clause (binop \"<\" variable) (binop variable \"=\"))", + "(clause (head (compound (functor \"min\") (args (list (h variable))))) (binop \">=\" variable))", + "(clause (compound (functor \"min\") (args (args variable))) (binop variable \">\"))", + "(clause (binop \"=\" \"[]\"))", + "(clause (binop variable \"=\" \"[]\"))", + "(clause (binop \"<\" variable) (compound (functor \"min\") (args (args variable))))", + "(clause (binop \">\" variable) (binop \"is\" variable))", + "(clause (binop variable \">=\"))", + "(clause (head (compound (functor \"min\") (args (args variable)))) (binop \"=<\" variable))", + "(clause (binop \"=\" (list (t variable))))", + "(clause (compound (functor \"min\") (args (args variable))) (binop variable \"=\"))", + "(clause (compound (functor \"min\") (args (args variable))) (binop variable \">=\"))", + "(clause (compound (functor \"min\") (args (args variable))) (binop variable \"is\"))", + "(clause (binop \">=\" variable) (compound (functor \"min\") (args (args variable))))", + "(clause (head (compound (functor \"min\") (args (list (t (list (h variable))))))) (compound (functor \"min\") (args (list (h variable)))))", + "(clause (head (compound (functor \"min\") (args (args variable)))) (binop variable \">\"))", + "(clause (head (compound (functor \"min\") (args (list (t variable))))))", + "(clause (binop variable \"=<\") (compound (functor \"min\") (args (args variable))))", + "(clause (head (compound (functor \"min\") (args (args variable)))) (binop \"=\" variable))", + "(clause (binop \"=\" (list (t variable))) (binop variable \"=\"))", + "(clause (binop variable \"<\") (compound (functor \"min\") (args (list (h variable)))))", + "(clause (binop \">=\" variable))", + "(clause (binop \"<\" variable) (binop \"=\" variable))", + "(clause (binop variable \"=<\") (compound (functor \"min\") (args (list (h variable)))))", + "(clause (binop \"=\" (list (h variable))) (binop variable \"<\"))", + "(clause (binop \"=\" (list (h variable))) (binop \"is\" variable))", + "(clause (binop \"<\" variable) (binop variable \"is\"))", + "(clause (head (binop \"is\" variable)))", + "(clause (head (compound (functor \"min\") (args (list (t variable))))) (binop variable \"=\"))", + "(clause (compound (functor \"min\") (args (list (t variable)))))", + "(clause (head (compound (functor \"min\") (args (list (h variable))))) (binop variable \"=\"))", + "(clause (binop variable \"=\") (binop variable \"=\"))", + "(clause (binop variable \">\") (binop variable \"=\"))", + "(clause (head (compound (functor \"min\") (args (list (t (list (h variable))))))) (binop \"=<\" variable))", + "(clause (head (compound (functor \"min\") (args (list (t (list (h variable))))))) (binop \"<\" variable))", + "(clause (head (compound (functor \"min\") (args \"[]\" (args \"0\")))))", + "(clause (binop variable \"<\") (binop variable \"=\"))", + "(clause (head (compound (functor \"min\") (args (args \"0\")))))", + "(clause (head (compound (functor \"min\") (args (args (args variable))))) (compound (functor \"min\") (args (args (args variable)))))", + "(clause (binop variable \"is\") (compound (functor \"min\") (args (args variable))))", + "(clause (binop variable \"=\") (compound (functor \"min\") (args (args variable))))", + "(clause (head (compound (functor \"min\") (args (list (h variable))))) (compound (functor \"min\") (args (args (args variable)))))", + "(clause (head (binop variable \"is\")))", + "(clause (binop \"=\" (list (h variable))) (binop \"<\" variable))", + "(clause (binop \"=\" (list (h variable))) (binop \">\" variable))", + "(clause (binop variable \"is\" variable))", + "(clause (head (compound (functor \"min\") (args (args variable)))) (binop \"is\" variable))", + "(clause (binop \"=<\" variable) (compound (functor \"min\") (args (args variable))))", + "(clause (head (compound (functor \"min\") (args variable))))", + "(clause (binop \"=\" (list (h variable))) (binop variable \"=<\"))", + "(clause (head (compound (functor \"min\") (args (list (t (list (h variable))))))) (binop \">\" variable))", + "(clause (head (compound (functor \"min\") (args (args variable)))) (compound (functor \"var\") (args variable)))", + "(clause (head (compound (functor \"min\") (args (list (t (list (h variable))))))) (binop variable \"=<\"))", + "(clause (binop \"=<\" variable) (binop \"=\" variable))", + "(clause (compound (functor \"min\") (args (list (h variable)))))", + "(clause (head (compound (functor \"min\") (args (list (h variable))))) (binop \"is\" (compound (functor \"min\") (args variable))))", + "(clause (head (compound (functor \"min\") (args (list (t variable))))) (compound (functor \"min\") (args (list (t variable)))))", + "(clause (head (compound (functor \"min\") (args (list (h variable))))) (binop variable \"is\"))", + "(clause (head (compound (functor \"min\") (args (args variable)))) (binop variable \"==\"))", + "(clause (binop variable \">\") (binop \"=\" variable))", + "(clause (binop \"<\" variable) (binop \"is\" variable))", + "(clause (head (compound (functor \"min\") (args (list (h variable))))) (binop \"==\" variable))", + "(clause (head (compound (functor \"min\") (args (args (args variable))))))", + "(clause (binop \"=\" (list (h variable))) (binop variable \">\"))", + "(clause (compound (functor \"min\") (args (list (h variable)) (args (args variable)))))", + "(clause (binop variable \">=\") (binop \"=\" variable))", + "(clause (head (binop variable \"=\" variable)))", + "(clause (head (compound (functor \"min\") (args (list (h variable)) (args (list (h variable)))))))", + "(clause (head (compound (functor \"minimum\") (args (args (args variable))))) (binop \">\" variable))", + "(clause (binop \"=\" (list (h variable))) (binop variable \">=\"))", + "(clause (binop \">\" variable) (compound (functor \"min\") (args (list (h variable)))))", + "(clause (head (compound (functor \"min\") (args \"[]\" (args (args variable))))))", + "(clause (binop variable \"=\") (binop \"=\" variable))", + "(clause (head (compound (functor \"min\") (args (args (args variable))))) (binop \"=\" variable))", + "(clause (compound (functor \"var\") (args variable)) (binop variable \"is\"))", + "(clause (binop \"=\" variable) (compound (functor \"min\") (args (args variable))))", + "(clause (head (compound (functor \"min\") (args (args variable)))) (binop variable \">=\"))", + "(clause (head (compound (functor \"min\") (args (list (h variable))))) (compound (functor \"min\") (args variable)))", + "(clause (head (compound (functor \"min\") (args (list (t variable))))) (compound (functor \"min\") (args (args variable))))", + "(clause (binop \"=<\" variable) (binop variable \"=\"))", + "(clause (head (compound (functor \"min\") (args (list (t (list (h variable)))) (args variable)))))", + "(clause (head (compound (functor \"min\") (args (args (args variable))))) (binop \"<\" variable))", + "(clause (binop variable \"=\") (binop \"<\" variable))", + "(clause (head (compound (functor \"min\") (args (args variable)))) (binop \"is\" (compound (functor \"min\") (args (args variable)))))", + "(clause (head (compound (functor \"min\") (args (args variable)))) (compound (functor \"min\") (args (args (args variable)))))", + "(clause (compound (functor \"del\") (args (args (args variable)))))", + "(clause (binop variable \"<\") (binop variable \"is\"))", + "(clause (compound (functor \"min\") (args (args variable))) (compound (functor \"min\") (args (list (t (list (h variable)))))))", + "(clause (binop \"=\" (list (h variable))) (binop \"=<\" variable))", + "(clause (compound (functor \"min\") (args (args variable))) (binop \"is\" (compound (functor \"min\") (args (args variable)))))", + "(clause (compound (functor \"min\") (args (args variable))) (binop variable \"@>=\"))", + "(clause (head (compound (functor \"min\") (args (args variable)))) (compound (functor \"minimum\") (args (args (args variable)))))", + "(clause (head (compound (functor \"min\") (args (list (t (list (h variable))))))) (binop variable \"<\"))", + "(clause (binop variable \"is\") (binop variable \"is\"))", + "(clause (head (compound (functor \"minimum\") (args (args variable (args variable))))))", + "(clause (binop variable \"=\" variable))", + "(clause (binop \"=<\" variable) (binop variable \"is\"))", + "(clause (compound (functor \"min\") (args (args variable))) (compound (functor \"min\") (args (args variable))))", + "(clause (head (compound (functor \"min\") (args (list (h variable))))) (binop \"@>=\" variable))", + "(clause (head (compound (functor \"min\") (args variable (args (args variable))))))", + "(clause (compound (functor \"del\") (args variable)) (binop variable \"=\"))", + "(clause (head (binop \"<\" variable)))", + "(clause (binop variable \">\") (binop \"is\" variable))", + "(clause (binop variable \"=\") (binop variable \"=<\"))", + "(clause (head (binop \"=\" variable)))", + "(clause (compound (functor \"min\") (args variable)) (compound (functor \"min\") (args variable)))", + "(clause (binop variable \"=\") (compound (functor \"min\") (args variable)))", + "(clause (binop variable \"=<\") (binop variable \"=\"))", + "(clause (head (compound (functor \"min\") (args (args \"[]\" (args variable))))))", + "(clause (binop \"is\" variable) (binop variable \"=<\"))", + "(clause (head (compound (functor \"min\") (args variable (args variable)))))", + "(clause (compound (functor \"del\") (args variable)) (binop variable \"=<\"))", + "(clause (head (compound (functor \"min\") (args variable (args \"[]\")))))", + "(clause (head (compound (functor \"minimum\") (args (args variable)))) (binop \">\" variable))", + "(clause (head (compound (functor \"minimum\") (args variable))) (binop variable \">\"))", + "(clause (compound (functor \"min\") (args (args (args variable)))) (binop \"<\" variable))", + "(clause (head (compound (functor \"minimum\") (args variable (args (args variable))))))" + ], + "rules": [ + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"min\") (args (args variable)))) (binop \"<\" variable))" + ], + "distribution": [ + 133, + 0 + ], + "quality": 0.9873329502501947 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"min\") (args (args variable)))) (compound (functor \"min\") (args (args variable))))", + "(clause (head (compound (functor \"min\") (args (list (h variable))))) (compound (functor \"min\") (args (args variable))))" + ], + "distribution": [ + 68, + 0 + ], + "quality": 0.9615499748176484 + }, + { + "class": false, + "condition": [ + "(clause (binop variable \"<\") (compound (functor \"min\") (args (args variable))))" + ], + "distribution": [ + 49, + 0 + ], + "quality": 0.9588373697728235 + }, + { + "class": false, + "condition": [ + "(clause (binop \">\" variable) (compound (functor \"min\") (args (args variable))))" + ], + "distribution": [ + 45, + 0 + ], + "quality": 0.9546582081971609 + }, + { + "class": false, + "condition": [ + "(clause (binop \"<\" variable) (binop variable \"=\"))" + ], + "distribution": [ + 42, + 0 + ], + "quality": 0.9506997402775986 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"min\") (args (args variable)))))" + ], + "distribution": [ + 87, + 2 + ], + "quality": 0.9505321265580633 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"min\") (args (list (h variable))))) (compound (functor \"min\") (args (args variable))))" + ], + "distribution": [ + 84, + 2 + ], + "quality": 0.9485259007878576 + }, + { + "class": false, + "condition": [ + "(clause (binop \"<\" variable) (compound (functor \"min\") (args (args variable))))" + ], + "distribution": [ + 37, + 0 + ], + "quality": 0.942300706923254 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"min\") (args (args variable)))) (binop \"=<\" variable))" + ], + "distribution": [ + 36, + 0 + ], + "quality": 0.9402767441675692 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"min\") (args (args variable))) (binop variable \"=\"))" + ], + "distribution": [ + 31, + 0 + ], + "quality": 0.9278212669405331 + }, + { + "class": false, + "condition": [ + "(clause (binop \">=\" variable) (compound (functor \"min\") (args (args variable))))" + ], + "distribution": [ + 31, + 0 + ], + "quality": 0.9278212669405331 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"min\") (args (args variable)))) (compound (functor \"min\") (args (args variable))))", + "(clause (head (compound (functor \"min\") (args \"[]\"))))" + ], + "distribution": [ + 56, + 1 + ], + "quality": 0.9217042304910151 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"min\") (args (args variable)))) (binop variable \">\"))" + ], + "distribution": [ + 28, + 0 + ], + "quality": 0.9192082960259287 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"min\") (args (args variable))) (binop variable \"is\"))" + ], + "distribution": [ + 28, + 0 + ], + "quality": 0.9192082960259287 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"min\") (args (args variable)))) (compound (functor \"min\") (args (args variable))))", + "(clause (compound (functor \"min\") (args variable)))" + ], + "distribution": [ + 50, + 1 + ], + "quality": 0.9084973004782427 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"min\") (args (args variable))))", + "(clause (head (compound (functor \"min\") (args (list (t variable))))) (compound (functor \"min\") (args variable)))" + ], + "distribution": [ + 128, + 8 + ], + "quality": 0.9082150350140412 + }, + { + "class": false, + "condition": [ + "(clause (binop variable \"=<\") (compound (functor \"min\") (args (args variable))))" + ], + "distribution": [ + 25, + 0 + ], + "quality": 0.9063619829185183 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"min\") (args (args variable)))) (binop \"=\" variable))" + ], + "distribution": [ + 24, + 0 + ], + "quality": 0.9008464777679259 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"min\") (args (list (t variable))))))" + ], + "distribution": [ + 23, + 0 + ], + "quality": 0.894769852257665 + }, + { + "class": false, + "condition": [ + "(clause (binop \"<\" variable) (binop \"=\" variable))" + ], + "distribution": [ + 22, + 0 + ], + "quality": 0.8883555304556446 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"min\") (args (args variable)))) (compound (functor \"min\") (args (args variable))))", + "(clause (binop variable \"=\"))" + ], + "distribution": [ + 28, + 0 + ], + "quality": 0.8677377764570867 + }, + { + "class": false, + "condition": [ + "(clause (head (binop \"is\" variable)))" + ], + "distribution": [ + 18, + 0 + ], + "quality": 0.8556683824377487 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"min\") (args (list (h variable)) (args variable)))))", + "(clause (compound (functor \"min\") (args (args variable))) (binop \"<\" variable))", + "(clause (binop \">=\" variable) (binop \"is\" variable))", + "(clause (head (compound (functor \"min\") (args (list (h variable))))) (binop \"is\" variable))" + ], + "distribution": [ + 2, + 37 + ], + "quality": 0.8496456395358111 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"min\") (args (list (h variable)) (args variable)))))", + "(clause (compound (functor \"min\") (args (args variable))) (binop \"<\" variable))", + "(clause (head (compound (functor \"min\") (args (list (h variable))))) (binop variable \">=\"))", + "(clause (compound (functor \"min\") (args (args variable))) (binop \">=\" variable))", + "(clause (binop \">=\" variable) (binop \"=\" variable))" + ], + "distribution": [ + 1, + 29 + ], + "quality": 0.8304302143257842 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"min\") (args (list (h variable)) (args variable)))))", + "(clause (binop \"is\" variable))", + "(clause (compound (functor \"min\") (args (args variable))) (binop \"is\" variable))", + "(clause (binop \">=\" variable) (binop \"is\" variable))", + "(clause (head (compound (functor \"min\") (args (list (h variable))))) (binop \"is\" variable))" + ], + "distribution": [ + 3, + 38 + ], + "quality": 0.8214183376358836 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"min\") (args \"[]\" (args \"0\")))))" + ], + "distribution": [ + 15, + 0 + ], + "quality": 0.8195003264218347 + }, + { + "class": false, + "condition": [ + "(clause (binop variable \"=\") (binop variable \"=\"))" + ], + "distribution": [ + 15, + 0 + ], + "quality": 0.8195003264218347 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"min\") (args (args variable)))) (compound (functor \"min\") (args (args variable))))", + "(clause (binop \"=\" (list (t variable))) (compound (functor \"min\") (args variable)))" + ], + "distribution": [ + 23, + 0 + ], + "quality": 0.8170633938277345 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"min\") (args (list (h variable)) (args variable)))))", + "(clause (compound (functor \"min\") (args (args variable))) (binop \"=\" variable))", + "(clause (head (compound (functor \"min\") (args (list (h variable))))) (binop variable \">=\"))", + "(clause (binop \">=\" variable) (binop \"=\" variable))" + ], + "distribution": [ + 2, + 30 + ], + "quality": 0.8134952659081054 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"min\") (args (list (h variable)) (args variable)))))", + "(clause (compound (functor \"min\") (args (args variable))) (binop \"<\" variable))", + "(clause (compound (functor \"min\") (args (args variable))) (binop \">=\" variable))", + "(clause (binop \">=\" variable) (binop \"=\" variable))" + ], + "distribution": [ + 2, + 30 + ], + "quality": 0.8134952659081054 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"min\") (args (list (h variable))))) (binop \"is\" variable))", + "(clause (compound (functor \"min\") (args (args variable))) (binop \">=\" variable))", + "(clause (binop \">=\" variable) (binop \"is\" variable))", + "(clause (head (compound (functor \"min\") (args (list (h variable)) (args variable)))))" + ], + "distribution": [ + 4, + 39 + ], + "quality": 0.8113558176908959 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"min\") (args (list (h variable)) (args variable)))))", + "(clause (compound (functor \"min\") (args (args variable))) (binop \"=\" variable))", + "(clause (binop \">=\" variable) (binop \"=\" variable))" + ], + "distribution": [ + 5, + 40 + ], + "quality": 0.8034112515511181 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"min\") (args (list (h variable)) (args variable)))))", + "(clause (compound (functor \"min\") (args (args variable))) (binop \"<\" variable))", + "(clause (head (compound (functor \"min\") (args (list (h variable))))) (binop variable \">=\"))", + "(clause (compound (functor \"min\") (args (args variable))) (binop \">=\" variable))", + "(clause (binop variable \"<\") (binop \"=\" variable))" + ], + "distribution": [ + 2, + 29 + ], + "quality": 0.7960421693661188 + }, + { + "class": true, + "condition": [ + "(clause (compound (functor \"min\") (args (args variable))) (binop \"=\" variable))", + "(clause (binop variable \"=<\"))", + "(clause (binop variable \"=<\") (binop \"=\" variable))" + ], + "distribution": [ + 2, + 23 + ], + "quality": 0.7702731707769063 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"min\") (args (list (h variable)) (args variable)))))", + "(clause (compound (functor \"min\") (args (args variable))) (binop \"=\" variable))", + "(clause (binop \"=\" variable))", + "(clause (binop variable \"=<\") (binop \"=\" variable))" + ], + "distribution": [ + 2, + 20 + ], + "quality": 0.7177858994582342 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"min\") (args (list (h variable)) (args variable)))))", + "(clause (binop variable \"<\"))", + "(clause (compound (functor \"min\") (args (args variable))) (binop \"is\" variable))", + "(clause (binop variable \"<\") (binop \"is\" variable))", + "(clause (head (compound (functor \"min\") (args (list (h variable))))) (binop \"is\" variable))" + ], + "distribution": [ + 7, + 35 + ], + "quality": 0.7150650770015805 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"min\") (args (list (h variable))))) (binop \"is\" variable))", + "(clause (binop \"is\" variable))", + "(clause (compound (functor \"min\") (args (args variable))) (binop \"is\" variable))", + "(clause (binop \"=<\" variable))" + ], + "distribution": [ + 0, + 9 + ], + "quality": 0.5558402480227483 + }, + { + "class": true, + "condition": [ + "(clause (compound (functor \"min\") (args (args variable))) (binop \"=<\" variable))", + "(clause (compound (functor \"min\") (args (args variable))) (binop variable \"<\"))" + ], + "distribution": [ + 0, + 6 + ], + "quality": 0.5186825792811938 + }, + { + "class": true, + "condition": [ + "(clause (binop \"=<\" variable))", + "(clause (compound (functor \"min\") (args (args variable))) (binop variable \">\"))" + ], + "distribution": [ + 0, + 6 + ], + "quality": 0.5186825792811938 + }, + { + "class": true, + "condition": [ + "(clause (binop \"is\" variable))", + "(clause (compound (functor \"min\") (args (args variable))) (binop \"is\" variable))", + "(clause (binop \"=<\" variable))" + ], + "distribution": [ + 3, + 12 + ], + "quality": 0.4976823920347866 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"min\") (args (list (h variable)) (args variable)))))", + "(clause (head (compound (functor \"min\") (args (list (h variable))))) (binop \"=<\" variable))", + "(clause (binop \">\" variable) (binop \"=\" variable))" + ], + "distribution": [ + 0, + 7 + ], + "quality": 0.48071866766983756 + }, + { + "class": true, + "condition": [ + "(clause (compound (functor \"min\") (args (args variable))) (binop \"=\" variable))", + "(clause (binop \"=\" (list (h variable))) (binop variable \">=\"))" + ], + "distribution": [ + 0, + 5 + ], + "quality": 0.4179829043252297 + } + ] +} \ No newline at end of file -- cgit v1.2.1