summaryrefslogtreecommitdiff
path: root/prolog/problems/sorting/pivoting_4
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/sorting/pivoting_4
parent320f6db34b5da13e259c3a55db9996a456bf8839 (diff)
Prolog: add bugs files for the first six groups
Diffstat (limited to 'prolog/problems/sorting/pivoting_4')
-rw-r--r--prolog/problems/sorting/pivoting_4/bugs.json614
1 files changed, 614 insertions, 0 deletions
diff --git a/prolog/problems/sorting/pivoting_4/bugs.json b/prolog/problems/sorting/pivoting_4/bugs.json
new file mode 100644
index 0000000..c0e0772
--- /dev/null
+++ b/prolog/problems/sorting/pivoting_4/bugs.json
@@ -0,0 +1,614 @@
+{
+ "patterns": [
+ "(clause (head (compound (functor \"pivoting\") (args variable))) (compound (functor \"pivoting\") (args variable)))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (list (t variable)))))) (compound (functor \"pivoting\") (args (args variable))))",
+ "(clause (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"pivoting\") (args variable))))",
+ "(clause (head (compound (functor \"pivoting\") (args variable (args (args (args \"[]\")))))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args (args \"[]\")))))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args \"[]\")))))",
+ "(clause (head (compound (functor \"pivoting\") (args variable (args \"[]\")))))",
+ "(clause (binop variable \"=\"))",
+ "(clause (head (compound (functor \"pivoting\") (args variable (args (args \"[]\"))))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args \"[]\"))))))",
+ "(clause (binop variable \"=<\"))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args variable))))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args (args variable)))))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (list (h variable)))))) (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"pivoting\") (args variable))) (binop \"=<\" variable))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args \"[]\" (args \"[]\")))))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args \"[]\" (args \"[]\"))))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args \"[]\" (args (args \"[]\")))))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (list (h variable)))))) (binop variable \"=<\"))",
+ "(clause (head (compound (functor \"pivoting\") (args variable))) (binop \">\" variable))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (list (h variable)))))) (binop variable \">\"))",
+ "(clause (binop \"=<\" variable))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args (args variable)))))) (compound (functor \"pivoting\") (args (args (args (args variable))))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args variable))))) (compound (functor \"pivoting\") (args (args (args variable)))))",
+ "(clause (binop \"=<\" variable) (compound (functor \"pivoting\") (args variable)))",
+ "(clause (binop \">\" variable) (compound (functor \"pivoting\") (args variable)))",
+ "(clause (compound (functor \"pivoting\") (args (args (args variable)))) (binop \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (list (h variable)) (args (list (h variable))))))))",
+ "(clause (binop variable \"=<\") (binop \"=\" (list (h variable))))",
+ "(clause (compound (functor \"pivoting\") (args (args (args (args variable))))) (binop \"=\" (list (t variable))))",
+ "(clause (binop \"=\" (list (t variable))))",
+ "(clause (binop \"=\" \"[]\"))",
+ "(clause (binop variable \"=\" \"[]\"))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (list (h variable)) (args (args (list (h variable)))))))))",
+ "(clause (compound (functor \"pivoting\") (args variable)))",
+ "(clause (compound (functor \"pivoting\") (args variable)) (binop \"=<\" variable))",
+ "(clause (binop variable \">\") (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args (list (t variable))))))) (compound (functor \"pivoting\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args (args (list (t variable)))))))) (compound (functor \"pivoting\") (args (args (args (args variable))))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args (list (h variable))))))) (binop variable \"=<\"))",
+ "(clause (binop \"=\" variable))",
+ "(clause (compound (functor \"pivoting\") (args (args (args (args variable))))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args (args (list (h variable)))))))) (binop variable \">\"))",
+ "(clause (compound (functor \"pivoting\") (args variable)) (binop \">\" variable))",
+ "(clause (head (compound (functor \"pivoting\") (args (args variable)))) (binop variable \"=\"))",
+ "(clause (compound (functor \"pivoting\") (args (args (args (args variable))))) (binop \"=\" variable))",
+ "(clause (compound (functor \"pivoting\") (args (args (args variable)))) (binop \"=\" variable))",
+ "(clause (binop \">\" variable))",
+ "(clause (binop variable \">\"))",
+ "(clause (compound (functor \"pivoting\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (list (h variable)))))) (compound (functor \"conc\") (args (list (h variable)))))",
+ "(clause (compound (functor \"pivoting\") (args (args variable))))",
+ "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (h variable))))",
+ "(clause (binop \"=\" (list (t variable))) (compound (functor \"pivoting\") (args (args variable))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args variable))))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args (args variable)))))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (compound (functor \"conc\") (args (list (h variable)))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (list (h variable)))))) (binop \"=<\" variable))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args (args variable)))))))",
+ "(clause (head (compound (functor \"pivoting\") (args variable))) (binop variable \"<\"))",
+ "(clause (head (compound (functor \"pivoting\") (args variable))) (binop variable \"=<\"))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (list (h variable)))))) (binop \"<\" variable))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (list (h variable)))))) (binop \">\" variable))",
+ "(clause (compound (functor \"pivoting\") (args (args (args (args variable))))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (compound (functor \"pivoting\") (args (args (args variable)))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (head (compound (functor \"pivoting\") (args variable))) (binop variable \">\"))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (list (h variable)))))) (binop \">=\" variable))",
+ "(clause (head (compound (functor \"pivoting\") (args variable))) (binop variable \">=\"))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args variable))))))",
+ "(clause (binop \"=\" (list (h variable))) (binop variable \"=<\"))",
+ "(clause (binop variable \">=\"))",
+ "(clause (binop \">=\" variable))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (list (h variable)) (args (args \"[]\")))))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args (list (h variable)) (args \"[]\")))))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args \"[]\" (args (args variable)))))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args \"[]\" (args variable))))))",
+ "(clause (head (compound (functor \"pivoting\") (args variable))) (binop \">=\" variable))",
+ "(clause (binop \"=\" (list (h variable))) (binop variable \">\"))",
+ "(clause (binop \">\" variable) (binop \"=\" (list (h variable))))",
+ "(clause (binop \"=<\" variable) (binop \"=\" (list (h variable))))",
+ "(clause (binop variable \"<\"))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (list (h variable)))))) (binop variable \">=\"))",
+ "(clause (binop \"=\" (list (t variable))) (compound (functor \"pivoting\") (args (args (args variable)))))",
+ "(clause (binop \"<\" variable))",
+ "(clause (binop \"=\" (list (t variable))) (compound (functor \"pivoting\") (args (args (args (args variable))))))",
+ "(clause (compound (functor \"pivoting\") (args variable)) (binop variable \">=\"))",
+ "(clause (binop variable \"=<\") (compound (functor \"conc\") (args (list (h variable)))))",
+ "(clause (compound (functor \"conc\") (args (args (list (h variable))))))",
+ "(clause (binop variable \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (list (t variable)))))))",
+ "(clause (compound (functor \"pivoting\") (args variable)) (binop variable \"<\"))",
+ "(clause (binop \">=\" variable) (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (list (h variable)) (args \"[]\"))))))",
+ "(clause (binop variable \">=\") (binop \"=\" (list (h variable))))",
+ "(clause (compound (functor \"pivoting\") (args variable)) (binop variable \"=<\"))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args (list (h variable))))))) (binop \"=<\" variable))",
+ "(clause (compound (functor \"conc\") (args (args variable))))",
+ "(clause (binop variable \">\") (compound (functor \"conc\") (args (list (h variable)))))",
+ "(clause (head (compound (functor \"pivoting\") (args variable))) (binop \"<\" variable))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args \"[]\" (args (list (h variable)))))))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args variable))))) (binop \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (list (h variable)))))) (compound (functor \"conc\") (args variable)))",
+ "(clause (binop variable \"=<\") (compound (functor \"pivoting\") (args variable)))",
+ "(clause (head (compound (functor \"pivoting\") (args variable (args (args (list (h variable))))))))",
+ "(clause (binop \"<\" variable) (binop \"=\" (list (h variable))))",
+ "(clause (compound (functor \"conc\") (args variable)))",
+ "(clause (binop variable \"<\") (compound (functor \"pivoting\") (args variable)))",
+ "(clause (binop variable \"<\") (binop \"=\" (list (h variable))))",
+ "(clause (binop variable \">=\") (compound (functor \"pivoting\") (args variable)))",
+ "(clause (compound (functor \"pivoting\") (args variable)) (binop \">=\" variable))",
+ "(clause (compound (functor \"pivoting\") (args (args (args (args variable))))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args (args variable)))))) (binop \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args variable))))) (compound (functor \"conc\") (args variable)))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (list (h variable)))))) (binop variable \"=\"))",
+ "(clause (compound (functor \"pivoting\") (args (args (args variable)))) (binop variable \"=\"))",
+ "(clause (compound (functor \"pivoting\") (args variable)) (binop variable \">\"))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (list (h variable)))))) (compound (functor \"conc\") (args (args (list (h variable))))))",
+ "(clause (binop variable \">\") (compound (functor \"pivoting\") (args variable)))",
+ "(clause (binop variable \"=<\") (compound (functor \"conc\") (args (args (list (h variable))))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (list (h variable)))))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args (list (t variable))))))))",
+ "(clause (binop variable \"=\") (compound (functor \"pivoting\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args (args variable)))))) (compound (functor \"conc\") (args variable)))",
+ "(clause (binop \"=\" (list (h variable))) (compound (functor \"conc\") (args (args (list (h variable))))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args (args (list (t variable)))))))))",
+ "(clause (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (binop variable \"=\") (compound (functor \"pivoting\") (args (args (args (args variable))))))",
+ "(clause (compound (functor \"conc\") (args (args (args variable)))) (compound (functor \"pivoting\") (args (args (args (args variable))))))",
+ "(clause (compound (functor \"pivoting\") (args variable)) (binop \"<\" variable))",
+ "(clause (head (compound (functor \"pivoting\") (args variable (args (args (args variable)))))))",
+ "(clause (compound (functor \"conc\") (args (args (args variable)))) (compound (functor \"pivoting\") (args (args (args variable)))))",
+ "(clause (binop \"=\" (list (h variable))) (compound (functor \"conc\") (args (list (h variable)))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (list (h variable) (t \"[]\")))))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (list (h variable)))))) (compound (functor \"pivoting\") (args (args (args (args (list (h variable))))))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args variable))))) (binop \"=\" variable))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args (args (list (h variable)))))))) (binop \">\" variable))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args variable (args variable)))))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (list (t \"[]\")))))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (list (h variable)))))) (binop variable \"<\"))",
+ "(clause (head (compound (functor \"pivoting\") (args variable (args (list (t \"[]\")))))))",
+ "(clause (binop \"=\" (list (h variable))) (binop variable \"<\"))",
+ "(clause (binop variable \">\") (compound (functor \"conc\") (args (args (list (h variable))))))",
+ "(clause (binop variable \">\") (binop variable \"=\"))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (list (t variable)))))) (compound (functor \"pivoting\") (args (args (list (h variable))))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (list (h variable)))))) (compound (functor \"pivoting\") (args (args (args (list (h variable)))))))",
+ "(clause (head (compound (functor \"pivoting\") (args variable (args (args (args (list (h variable)))))))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args (args variable)))))) (binop \"=\" variable))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args (args (list (h variable)))))))) (binop variable \"<\"))",
+ "(clause (binop variable \"=<\") (compound (functor \"pivoting\") (args (args (args (list (h variable)))))))",
+ "(clause (head (compound (functor \"pivoting\") (args variable (args (args variable))))))",
+ "(clause (compound (functor \"pivoting\") (args (args (args variable)))) (compound (functor \"conc\") (args variable)))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args (list (h variable))))))) (binop \">=\" variable))",
+ "(clause (head (compound (functor \"pivoting\") (args variable (args (list (h variable)))))))",
+ "(clause (binop variable \"=<\") (binop variable \"=\"))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args (args (list (h variable)))))))) (binop \"<\" variable))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args (args variable)))))) (compound (functor \"pivoting\") (args (args (args (args (list (t variable))))))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args (list (t variable))))))) (compound (functor \"pivoting\") (args (args (args (list (t variable)))))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (list (h variable)))))) (binop \"=\" variable))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args (list (h variable))))))) (compound (functor \"pivoting\") (args (args (args (list (h variable)))))))",
+ "(clause (binop variable \"=<\") (compound (functor \"conc\") (args (args variable))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args variable))))) (compound (functor \"pivoting\") (args (args (args (list (t variable)))))))",
+ "(clause (compound (functor \"pivoting\") (args (args (args (list (h variable)))))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args (args (list (t variable)))))))) (compound (functor \"pivoting\") (args (args (args (args (list (t variable))))))))",
+ "(clause (binop \">=\" variable) (compound (functor \"pivoting\") (args variable)))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args (args (list (h variable)))))))) (compound (functor \"pivoting\") (args (args (args (args (list (h variable))))))))",
+ "(clause (binop variable \">\") (compound (functor \"conc\") (args (args variable))))",
+ "(clause (binop variable \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"pivotintg\") (args variable))) (binop \"=\" (list (h variable))))",
+ "(clause (binop \"<\" variable) (compound (functor \"pivoting\") (args variable)))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (list (h variable)))))))",
+ "(clause (binop \"=\" (list (t variable))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args (args variable)))))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args (list (h variable))))))) (binop \"=\" variable))",
+ "(clause (binop \"=\" (list (h variable))) (binop variable \">=\"))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (list (t \"[]\")) (args (args variable)))))))",
+ "(clause (compound (functor \"pivoting\") (args (args (args (args variable))))) (compound (functor \"conc\") (args variable)))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args (args (list (h variable)))))))) (binop \"=\" variable))",
+ "(clause (compound (functor \"conc\") (args variable)) (binop variable \"=\"))",
+ "(clause (compound (functor \"pivoting\") (args (args (args (args variable))))) (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args \"[]\" (args variable)))))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (list (t variable)))))) (compound (functor \"divide\") (args variable)))",
+ "(clause (compound (functor \"pivoting\") (args (args (args (args (list (h variable))))))))",
+ "(clause (binop \"=<\" variable) (compound (functor \"conc\") (args (list (h variable)))))",
+ "(clause (binop variable \"=\" variable))",
+ "(clause (compound (functor \"pivoting\") (args (args (args (args (list (t variable))))))))",
+ "(clause (compound (functor \"pivoting\") (args (args (args variable)))) (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (compound (functor \"conc\") (args (args (args variable)))) (binop \"=\" variable))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (list (h variable)))))) (compound (functor \"insert\") (args variable)))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (list (h variable)))))) (compound (functor \"memb\") (args variable)))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args (args (list (h variable)))))))) (binop variable \">=\"))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args variable))))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (list (t \"[]\")) (args variable))))))",
+ "(clause (compound (functor \"pivoting\") (args (args (args (list (t variable)))))))",
+ "(clause (binop variable \">\") (binop \"=\" variable))",
+ "(clause (compound (functor \"pivoting\") (args (args (args variable)))) (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args variable (args \"[]\"))))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args variable)))) (compound (functor \"memb\") (args (args variable))))",
+ "(clause (binop variable \"=<\") (compound (functor \"conc\") (args variable)))",
+ "(clause (binop variable \"=<\") (binop \"=\" variable))",
+ "(clause (compound (functor \"pivoting\") (args (args (args (args variable))))) (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (compound (functor \"memb\") (args variable)) (binop variable \"=<\"))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args variable (args \"[]\")))))))",
+ "(clause (compound (functor \"pivoting\") (args (args (args (args variable))))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (compound (functor \"pivoting\") (args (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args (args (list (h variable)))))))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (list (t \"[]\")) (args (list (h variable))))))))",
+ "(clause (binop \"<\" variable) (compound (functor \"conc\") (args (list (h variable)))))",
+ "(clause (binop variable \">\") (compound (functor \"conc\") (args variable)))",
+ "(clause (head (compound (functor \"pivoting\") (args (args variable (args (args variable)))))))",
+ "(clause (compound (functor \"insert\") (args variable)))"
+ ],
+ "rules": [
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"pivoting\") (args (args (args (args variable)))))))"
+ ],
+ "distribution": [
+ 55,
+ 0
+ ],
+ "quality": 0.9646038629778293
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"pivoting\") (args (args (args variable))))))"
+ ],
+ "distribution": [
+ 46,
+ 0
+ ],
+ "quality": 0.9565792405951599
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"pivoting\") (args (args (list (h variable)))))) (binop \"=<\" variable))"
+ ],
+ "distribution": [
+ 49,
+ 1
+ ],
+ "quality": 0.9333575564076649
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"pivoting\") (args variable))) (binop \">=\" variable))"
+ ],
+ "distribution": [
+ 30,
+ 0
+ ],
+ "quality": 0.9281456277174943
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"pivoting\") (args (args (list (h variable)))))) (binop \">\" variable))"
+ ],
+ "distribution": [
+ 42,
+ 1
+ ],
+ "quality": 0.9196692919638001
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"pivoting\") (args (args (args (list (t variable))))))) (compound (functor \"pivoting\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args (args (list (h variable)))))))) (binop variable \">\"))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args \"[]\" (args \"[]\")))))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args (args (list (t variable)))))))) (compound (functor \"pivoting\") (args (args (args (args variable))))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (list (h variable)))))) (binop variable \"=<\"))"
+ ],
+ "distribution": [
+ 2,
+ 70
+ ],
+ "quality": 0.9141700985787253
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (binop \">\" variable) (binop \"=\" (list (h variable))))"
+ ],
+ "distribution": [
+ 24,
+ 0
+ ],
+ "quality": 0.9054470973913306
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"pivoting\") (args (args (args (list (t variable))))))) (compound (functor \"pivoting\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args (args (list (h variable)))))))) (binop variable \">\"))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args \"[]\" (args \"[]\")))))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args (args (list (t variable)))))))) (compound (functor \"pivoting\") (args (args (args (args variable))))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args (args variable)))))) (compound (functor \"pivoting\") (args (args (args (args variable))))))"
+ ],
+ "distribution": [
+ 3,
+ 71
+ ],
+ "quality": 0.9010804032895451
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"pivoting\") (args variable))) (binop \"<\" variable))"
+ ],
+ "distribution": [
+ 22,
+ 0
+ ],
+ "quality": 0.8967947967775677
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"pivoting\") (args (args (args variable))))) (binop \"=\" (list (t variable))))"
+ ],
+ "distribution": [
+ 20,
+ 0
+ ],
+ "quality": 0.8833917794693875
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"pivoting\") (args (args (args variable))))) (compound (functor \"pivoting\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args (list (t variable))))))) (compound (functor \"pivoting\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args \"[]\" (args \"[]\")))))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (list (h variable)))))) (binop variable \">\"))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (list (h variable)))))) (binop variable \"=<\"))"
+ ],
+ "distribution": [
+ 5,
+ 71
+ ],
+ "quality": 0.8733102042440354
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"pivoting\") (args (args (args (list (h variable))))))) (binop \"=<\" variable))"
+ ],
+ "distribution": [
+ 18,
+ 0
+ ],
+ "quality": 0.8670331757192835
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"pivoting\") (args (args (args (args variable)))))) (binop \"=\" (list (t variable))))"
+ ],
+ "distribution": [
+ 18,
+ 0
+ ],
+ "quality": 0.8670331757192835
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"pivoting\") (args (args (args (list (t variable))))))) (compound (functor \"pivoting\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args (args (list (h variable)))))))) (binop variable \">\"))",
+ "(clause (head (compound (functor \"pivoting\") (args variable (args (args \"[]\"))))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args (args (list (t variable)))))))) (compound (functor \"pivoting\") (args (args (args (args variable))))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (list (h variable)))))) (binop variable \"=<\"))"
+ ],
+ "distribution": [
+ 6,
+ 71
+ ],
+ "quality": 0.8607822782639075
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"pivoting\") (args (args (list (t variable)))))))"
+ ],
+ "distribution": [
+ 17,
+ 0
+ ],
+ "quality": 0.8565477971369478
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"pivoting\") (args variable (args (args (list (h variable))))))))"
+ ],
+ "distribution": [
+ 17,
+ 0
+ ],
+ "quality": 0.8565477971369478
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"pivoting\") (args (args (args \"[]\" (args \"[]\")))))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args (args variable)))))) (compound (functor \"pivoting\") (args (args (args (args variable))))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args variable))))) (compound (functor \"pivoting\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (list (h variable)) (args (list (h variable))))))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args (args (list (h variable)))))))) (binop variable \">\"))"
+ ],
+ "distribution": [
+ 8,
+ 72
+ ],
+ "quality": 0.8386399910610023
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"pivoting\") (args (args (args (list (t variable))))))))"
+ ],
+ "distribution": [
+ 15,
+ 0
+ ],
+ "quality": 0.8311795304272034
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"pivoting\") (args (args (args variable))))) (compound (functor \"pivoting\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args (list (t variable))))))) (compound (functor \"pivoting\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args \"[]\" (args \"[]\")))))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args (list (h variable))))))) (binop variable \"=<\"))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args (args (list (t variable)))))))) (compound (functor \"pivoting\") (args (args (args (args variable))))))"
+ ],
+ "distribution": [
+ 9,
+ 71
+ ],
+ "quality": 0.8246122931853285
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"pivoting\") (args (args (args (args (list (t variable)))))))))"
+ ],
+ "distribution": [
+ 14,
+ 0
+ ],
+ "quality": 0.8175197680473467
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"pivoting\") (args (args (args (args variable)))))) (compound (functor \"conc\") (args variable)))"
+ ],
+ "distribution": [
+ 14,
+ 0
+ ],
+ "quality": 0.8175197680473467
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (compound (functor \"pivoting\") (args (args (args (args variable))))) (binop \"=\" variable))",
+ "(clause (binop variable \">\") (binop \"=\" (list (h variable))))",
+ "(clause (compound (functor \"pivoting\") (args (args (args (args variable))))) (binop \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"pivoting\") (args variable))))"
+ ],
+ "distribution": [
+ 3,
+ 31
+ ],
+ "quality": 0.7671090358537019
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"pivoting\") (args (args (list (h variable)))))) (compound (functor \"conc\") (args variable)))"
+ ],
+ "distribution": [
+ 11,
+ 0
+ ],
+ "quality": 0.7573443708477038
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"pivoting\") (args (args (list (h variable)))))) (compound (functor \"pivoting\") (args (args (args (args (list (h variable))))))))"
+ ],
+ "distribution": [
+ 11,
+ 0
+ ],
+ "quality": 0.7573443708477038
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"pivoting\") (args (args (args variable (args variable)))))))"
+ ],
+ "distribution": [
+ 11,
+ 0
+ ],
+ "quality": 0.7573443708477038
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"pivoting\") (args (args (args \"[]\" (args \"[]\")))))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args (args variable)))))) (compound (functor \"pivoting\") (args (args (args (args variable))))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args variable))))) (compound (functor \"pivoting\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (list (h variable)))))) (binop variable \"=<\"))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (list (h variable)))))) (binop variable \">\"))"
+ ],
+ "distribution": [
+ 21,
+ 88
+ ],
+ "quality": 0.7573339622994669
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"pivoting\") (args (args (list (h variable)) (args (list (h variable))))))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args (args (list (t variable)))))))) (compound (functor \"pivoting\") (args (args (args (args variable))))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args \"[]\" (args \"[]\")))))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args (list (t variable))))))) (compound (functor \"pivoting\") (args (args (args variable)))))"
+ ],
+ "distribution": [
+ 20,
+ 78
+ ],
+ "quality": 0.7422111987664158
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"pivoting\") (args variable))) (binop \"=<\" variable))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args variable))))) (compound (functor \"pivoting\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args \"[]\" (args \"[]\")))))))",
+ "(clause (head (compound (functor \"pivoting\") (args variable))) (binop \">\" variable))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args (args variable)))))) (compound (functor \"pivoting\") (args (args (args (args variable))))))"
+ ],
+ "distribution": [
+ 25,
+ 91
+ ],
+ "quality": 0.7363563666930584
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"pivoting\") (args (args (args \"[]\" (args \"[]\")))))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args (args variable)))))) (compound (functor \"pivoting\") (args (args (args (args variable))))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (list (h variable)))))) (binop variable \">\"))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args variable))))) (compound (functor \"pivoting\") (args (args (args variable)))))"
+ ],
+ "distribution": [
+ 26,
+ 90
+ ],
+ "quality": 0.7308834359619308
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (compound (functor \"pivoting\") (args (args (args (args variable))))) (compound (functor \"conc\") (args (args variable))))"
+ ],
+ "distribution": [
+ 0,
+ 10
+ ],
+ "quality": 0.6895233580702241
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"pivoting\") (args variable))) (binop \"=<\" variable))",
+ "(clause (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (binop variable \"=<\"))"
+ ],
+ "distribution": [
+ 0,
+ 11
+ ],
+ "quality": 0.6402754788380215
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (compound (functor \"pivoting\") (args (args (args (args variable))))) (binop \"=\" variable))",
+ "(clause (binop \"=\" (list (h variable))) (binop variable \">\"))"
+ ],
+ "distribution": [
+ 1,
+ 10
+ ],
+ "quality": 0.5782029185604409
+ }
+ ]
+} \ No newline at end of file