summaryrefslogtreecommitdiff
path: root/prolog/problems/lists_advanced/min_2
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2017-02-27 18:35:01 +0100
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2017-02-27 18:35:01 +0100
commit92c49ac708e04e545da6e7aafe91cac8f223f475 (patch)
treefe56e0e2e5e40e863cb993d85cd0e09d39e545de /prolog/problems/lists_advanced/min_2
parent320f6db34b5da13e259c3a55db9996a456bf8839 (diff)
Prolog: add bugs files for the first six groups
Diffstat (limited to 'prolog/problems/lists_advanced/min_2')
-rw-r--r--prolog/problems/lists_advanced/min_2/bugs.json704
1 files changed, 704 insertions, 0 deletions
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