summaryrefslogtreecommitdiff
path: root/prolog/problems/sorting
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
parent320f6db34b5da13e259c3a55db9996a456bf8839 (diff)
Prolog: add bugs files for the first six groups
Diffstat (limited to 'prolog/problems/sorting')
-rw-r--r--prolog/problems/sorting/is_sorted_1/bugs.json287
-rw-r--r--prolog/problems/sorting/isort_2/bugs.json390
-rw-r--r--prolog/problems/sorting/pivoting_4/bugs.json614
-rw-r--r--prolog/problems/sorting/quick_sort_2/bugs.json594
-rw-r--r--prolog/problems/sorting/sins_3/bugs.json900
-rw-r--r--prolog/problems/sorting/slowest_sort_ever_2/bugs.json245
6 files changed, 3030 insertions, 0 deletions
diff --git a/prolog/problems/sorting/is_sorted_1/bugs.json b/prolog/problems/sorting/is_sorted_1/bugs.json
new file mode 100644
index 0000000..b225a78
--- /dev/null
+++ b/prolog/problems/sorting/is_sorted_1/bugs.json
@@ -0,0 +1,287 @@
+{
+ "patterns": [
+ "(clause (head (compound (functor \"is_sorted\") (args (list (h variable))))))",
+ "(clause (head (compound (functor \"is_sorted\") (args \"[]\"))))",
+ "(clause (head (compound (functor \"is_sorted\") (args (list (h variable))))) (binop variable \"=<\"))",
+ "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (h variable))))))) (binop \"=<\" variable))",
+ "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (h variable))))))) (compound (functor \"is_sorted\") (args (list (h variable)))))",
+ "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (t variable))))))) (compound (functor \"is_sorted\") (args (list (t variable)))))",
+ "(clause (binop \"=<\" variable) (compound (functor \"is_sorted\") (args (list (h variable)))))",
+ "(clause (head (compound (functor \"is_sorted\") (args (list (h variable))))) (binop variable \"<\"))",
+ "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (t variable))))))) (compound (functor \"is_sorted\") (args variable)))",
+ "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (h variable))))))) (binop \"<\" variable))",
+ "(clause (head (compound (functor \"is_sorted\") (args (list (t variable))))) (compound (functor \"is_sorted\") (args variable)))",
+ "(clause (head (compound (functor \"is_sorted\") (args (list (t variable))))) (binop variable \"=\"))",
+ "(clause (binop \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"is_sorted\") (args (list (t \"[]\"))))))",
+ "(clause (head (compound (functor \"is_sorted\") (args (list (h variable) (t \"[]\"))))))",
+ "(clause (head (compound (functor \"is_sorted\") (args variable))) (binop variable \"=\"))",
+ "(clause (binop variable \"=\") (compound (functor \"is_sorted\") (args variable)))",
+ "(clause (binop \"<\" variable) (compound (functor \"is_sorted\") (args (list (h variable)))))",
+ "(clause (binop \"=\" (list (h variable))) (binop \"=<\" variable))",
+ "(clause (binop \"=\" (list (h variable))) (binop variable \"=<\"))",
+ "(clause (binop \"=\" (list (h variable))) (binop \"<\" variable))",
+ "(clause (binop \"<\" variable))",
+ "(clause (compound (functor \"is_sorted\") (args (list (h variable)))) (binop \"=<\" variable))",
+ "(clause (binop \"=\" (list (t (list (h variable))))) (binop \"=<\" variable))",
+ "(clause (binop \"=\" (list (t variable))) (compound (functor \"is_sorted\") (args variable)))",
+ "(clause (head (compound (functor \"is_sorted\") (args (list (h variable))))) (binop \">=\" variable))",
+ "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (h variable) (t \"[]\"))))))))",
+ "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (t \"[]\"))))))))",
+ "(clause (head (compound (functor \"is_sorted\") (args (list (h variable) (t (list (t \"[]\"))))))))",
+ "(clause (binop \"=<\" variable))",
+ "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (t variable))))))) (binop variable \"==\"))",
+ "(clause (head (compound (functor \"is_sorted\") (args (list (h variable))))) (binop variable \">=\"))",
+ "(clause (binop \"==\" (list (h variable))))",
+ "(clause (compound (functor \"is_sorted\") (args variable)) (binop variable \"==\"))",
+ "(clause (head (compound (functor \"is_sorted\") (args variable))))",
+ "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (h variable))))))) (binop variable \">=\"))",
+ "(clause (binop \"=\" (list (t variable))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (h variable))))))) (binop \">=\" variable))",
+ "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (t variable))))))) (binop variable \"\\==\"))",
+ "(clause (compound (functor \"is_sorted\") (args variable)) (binop variable \"\\==\"))",
+ "(clause (compound (functor \"conc\") (args (args (args variable)))) (compound (functor \"is_sorted\") (args variable)))",
+ "(clause (binop \"<\" variable) (binop variable \"<\"))",
+ "(clause (compound (functor \"is_sorted\") (args variable)) (binop \"<\" variable))",
+ "(clause (binop variable \"==\"))",
+ "(clause (binop \"=\" (list (t (list (t variable))))) (compound (functor \"is_sorted\") (args variable)))",
+ "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (h variable))))))) (binop variable \"<\"))",
+ "(clause (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (t variable))))))) (binop \"<\" variable))",
+ "(clause (compound (functor \"is_sorted\") (args variable)) (binop variable \"=\"))",
+ "(clause (binop \"=\" \"[]\"))",
+ "(clause (binop variable \"=\" \"[]\"))",
+ "(clause (binop \"=\" (list (h variable))) (binop variable \">=\"))",
+ "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (h variable))))))) (compound (functor \"is_sorted\") (args (binop variable \"|\"))))",
+ "(clause (binop variable \"<\"))",
+ "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (t variable))))))) (compound (functor \"is_sorted\") (args (binop \"|\" variable))))",
+ "(clause (binop \"=\" (list (t (list (h variable))))) (compound (functor \"is_sorted\") (args (list (h variable)))))",
+ "(clause (binop \"=\" (list (t (list (t variable))))) (compound (functor \"is_sorted\") (args (list (t variable)))))",
+ "(clause (head (compound (functor \"is_sorted\") (args (list (h variable))))) (binop variable \"=\"))",
+ "(clause (binop variable \"==\") (binop \"<\" variable))",
+ "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (t variable))))))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (binop \"=\" (list (h variable))) (binop \">=\" variable))",
+ "(clause (binop \"=\" (list (h variable))) (binop variable \"<\"))",
+ "(clause (binop \"=\" (list (t variable))) (compound (functor \"is_sorted\") (args (list (h variable)))))",
+ "(clause (head (compound (functor \"is_sorted\") (args (list (h variable))))) (compound (functor \"min\") (args (args variable))))",
+ "(clause (head (compound (functor \"is_sorted\") (args (list (h variable))))) (binop variable \">\"))",
+ "(clause (binop \"is\" (binop \"+\" \"1\")))",
+ "(clause (compound (functor \"min\") (args (list (h variable)) (args variable))))",
+ "(clause (binop variable \"is\" (binop \"+\" \"1\")))",
+ "(clause (binop \"is\" (binop variable \"+\" \"1\")))",
+ "(clause (binop \"=<\" variable) (compound (functor \"is_sorted\") (args (binop variable \"|\"))))",
+ "(clause (binop variable \"=\"))",
+ "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (h variable))))))))",
+ "(clause (compound (functor \"tab\") (args \"2\")))",
+ "(clause (compound (functor \"min\") (args (list (t variable)))) (compound (functor \"is_sorted\") (args variable)))",
+ "(clause (head (compound (functor \"is_sorted\") (args (list (t variable))))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"is_sorted\") (args (list (h variable))))) (binop \">\" variable))",
+ "(clause (binop \">=\" variable))",
+ "(clause (head (compound (functor \"is_sorted\") (args (list (h variable))))) (binop variable \"==\"))",
+ "(clause (compound (functor \"conc\") (args (args variable))))",
+ "(clause (compound (functor \"conc\") (args (list (h variable)))) (binop \"=<\" variable))",
+ "(clause (binop \">=\" variable) (compound (functor \"is_sorted\") (args (list (h variable)))))",
+ "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (h variable))))))) (binop variable \"=<\"))",
+ "(clause (binop variable \"==\") (binop \"=<\" variable))",
+ "(clause (binop \"=<\" variable) (binop \"=<\" variable))",
+ "(clause (binop variable \"=<\") (binop variable \"=<\"))",
+ "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (t variable))))))) (binop \"=<\" variable))",
+ "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (h variable))))))) (binop \"==\" variable))",
+ "(clause (binop variable \">=\") (compound (functor \"is_sorted\") (args (list (h variable)))))",
+ "(clause (compound (functor \"is_sorted\") (args variable)) (binop \"=<\" variable))",
+ "(clause (compound (functor \"is_sorted\") (args (list (h variable)))))",
+ "(clause (head (compound (functor \"printlist\") (args (args (args variable))))) (binop \"is\" (binop variable \"+\")))",
+ "(clause (head (compound (functor \"printlist\") (args (args variable)))) (compound (functor \"printlist\") (args (args variable))))",
+ "(clause (head (compound (functor \"printlist\") (args (list (h variable))))) (compound (functor \"write\") (args variable)))",
+ "(clause (binop \"=<\" variable) (binop variable \"=<\"))",
+ "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (h variable))))))) (compound (functor \"conc\") (args variable)))",
+ "(clause (compound (functor \"is_sorted\") (args variable)))",
+ "(clause (head (compound (functor \"printlist\") (args (list (t variable))))) (compound (functor \"printlist\") (args variable)))",
+ "(clause (compound (functor \"is_sorted\") (args (list (h variable)))) (binop \"<\" variable))",
+ "(clause (binop variable \"is\") (compound (functor \"printlist\") (args (args (args variable)))))",
+ "(clause (binop variable \">=\"))",
+ "(clause (head (compound (functor \"is_sorted\") (args (list (t variable))))) (compound (functor \"min\") (args (list (t variable)))))",
+ "(clause (binop variable \"=\") (compound (functor \"is_sorted\") (args (list (h variable)))))",
+ "(clause (head (compound (functor \"is_sorted\") (args (list (t variable))))) (compound (functor \"min\") (args variable)))",
+ "(clause (head (compound (functor \"is_sirted\") (args (list (t (list (h variable))))))) (binop \">=\" variable))",
+ "(clause (head (compound (functor \"is_sorted\") (args (list (h variable))))) (compound (functor \"min\") (args (list (h variable)))))",
+ "(clause (compound (functor \"is_sorted\") (args (list (t variable)))))",
+ "(clause (binop \">=\" variable) (compound (functor \"is_sorted_prev\") (args (args variable))))",
+ "(clause (binop \"=\" (list (t (list (h variable))))) (binop \"<\" variable))",
+ "(clause (binop variable \"=\") (compound (functor \"is_sorted\") (args (list (t variable)))))",
+ "(clause (binop \"=<\" variable) (compound (functor \"conc\") (args variable)))",
+ "(clause (binop \"=\" (list (h variable))) (compound (functor \"is_sorted\") (args (list (h variable)))))",
+ "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (h variable))))))) (binop variable \">\"))",
+ "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (t variable))))))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (t variable))))))))",
+ "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (h variable))))))) (compound (functor \"conc\") (args (list (h variable)))))",
+ "(clause (head (compound (functor \"is_sorted\") (args variable))) (compound (functor \"min\") (args variable)))",
+ "(clause (head (compound (functor \"is_sorted_prev\") (args (list (h variable))))) (binop \">=\" variable))",
+ "(clause (head (compound (functor \"is_sorted_prev\") (args (list (h variable))))) (compound (functor \"is_sorted_prev\") (args (args variable))))",
+ "(clause (head (compound (functor \"is_sorted_prev\") (args (list (t variable))))) (compound (functor \"is_sorted_prev\") (args variable)))",
+ "(clause (head (compound (functor \"is_sorted\") (args (list (t variable))))) (compound (functor \"is_sorted\") (args (list (t variable)))))",
+ "(clause (compound (functor \"is_sorted\") (args (binop variable \"|\"))) (binop \"=<\" variable))",
+ "(clause (binop variable \"=\") (compound (functor \"min\") (args variable)))",
+ "(clause (head (compound (functor \"is_sorted_prev\") (args (args variable)))) (binop variable \">=\"))",
+ "(clause (binop variable \"=<\"))"
+ ],
+ "rules": [
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (t variable))))))) (compound (functor \"is_sorted\") (args variable)))"
+ ],
+ "distribution": [
+ 128,
+ 1
+ ],
+ "quality": 0.9775613587613966
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"is_sorted\") (args (list (h variable))))) (binop variable \"<\"))"
+ ],
+ "distribution": [
+ 155,
+ 5
+ ],
+ "quality": 0.9535087005106103
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"is_sorted\") (args (list (h variable))))))",
+ "(clause (head (compound (functor \"is_sorted\") (args \"[]\"))))",
+ "(clause (head (compound (functor \"is_sorted\") (args (list (h variable))))) (binop variable \"=<\"))",
+ "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (h variable))))))) (compound (functor \"is_sorted\") (args (list (h variable)))))"
+ ],
+ "distribution": [
+ 7,
+ 127
+ ],
+ "quality": 0.9372780608306315
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"is_sorted\") (args (list (h variable))))))",
+ "(clause (head (compound (functor \"is_sorted\") (args \"[]\"))))",
+ "(clause (binop \"=<\" variable) (compound (functor \"is_sorted\") (args (list (h variable)))))"
+ ],
+ "distribution": [
+ 6,
+ 119
+ ],
+ "quality": 0.9279482952616421
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (binop \"=<\" variable))"
+ ],
+ "distribution": [
+ 23,
+ 0
+ ],
+ "quality": 0.898397072632486
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"is_sorted\") (args (list (h variable))))) (binop variable \">=\"))"
+ ],
+ "distribution": [
+ 20,
+ 0
+ ],
+ "quality": 0.8776592983980024
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"is_sorted\") (args variable))))"
+ ],
+ "distribution": [
+ 19,
+ 0
+ ],
+ "quality": 0.8708864345755352
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (binop \"=\" (list (t (list (t variable))))) (compound (functor \"is_sorted\") (args variable)))"
+ ],
+ "distribution": [
+ 16,
+ 0
+ ],
+ "quality": 0.8391288460195767
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (h variable))))))) (compound (functor \"is_sorted\") (args (binop variable \"|\"))))"
+ ],
+ "distribution": [
+ 14,
+ 0
+ ],
+ "quality": 0.8165427141681832
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"is_sorted\") (args (list (h variable))))))",
+ "(clause (head (compound (functor \"is_sorted\") (args \"[]\"))))",
+ "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (h variable))))))) (compound (functor \"is_sorted\") (args (list (h variable)))))"
+ ],
+ "distribution": [
+ 37,
+ 134
+ ],
+ "quality": 0.7647252790331621
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"is_sorted\") (args \"[]\"))))",
+ "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (h variable))))))) (binop \"=<\" variable))",
+ "(clause (head (compound (functor \"is_sorted\") (args (list (t \"[]\"))))))"
+ ],
+ "distribution": [
+ 2,
+ 20
+ ],
+ "quality": 0.7537186004546292
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"is_sorted\") (args (list (h variable))))))",
+ "(clause (head (compound (functor \"is_sorted\") (args \"[]\"))))",
+ "(clause (head (compound (functor \"is_sorted\") (args (list (h variable))))) (binop variable \"=<\"))",
+ "(clause (binop \"=\" (list (t variable))))"
+ ],
+ "distribution": [
+ 3,
+ 20
+ ],
+ "quality": 0.6956803513785101
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"is_sorted\") (args (list (h variable))))))",
+ "(clause (head (compound (functor \"is_sorted\") (args \"[]\"))))",
+ "(clause (head (compound (functor \"is_sorted\") (args (list (h variable))))) (binop variable \"=<\"))"
+ ],
+ "distribution": [
+ 65,
+ 153
+ ],
+ "quality": 0.6878219256560004
+ }
+ ]
+} \ No newline at end of file
diff --git a/prolog/problems/sorting/isort_2/bugs.json b/prolog/problems/sorting/isort_2/bugs.json
new file mode 100644
index 0000000..58236bc
--- /dev/null
+++ b/prolog/problems/sorting/isort_2/bugs.json
@@ -0,0 +1,390 @@
+{
+ "patterns": [
+ "(clause (head (compound (functor \"isort\") (args (list (h variable))))) (compound (functor \"sins\") (args variable)))",
+ "(clause (head (compound (functor \"isort\") (args \"[]\"))))",
+ "(clause (head (compound (functor \"isort\") (args (args \"[]\")))))",
+ "(clause (head (compound (functor \"isort\") (args \"[]\" (args \"[]\")))))",
+ "(clause (head (compound (functor \"isort\") (args (args variable)))) (compound (functor \"sins\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"isort\") (args (list (t variable))))) (compound (functor \"isort\") (args variable)))",
+ "(clause (compound (functor \"isort\") (args (args variable))) (compound (functor \"sins\") (args (args variable))))",
+ "(clause (head (compound (functor \"isort\") (args (list (h variable)) (args (list (h variable)))))))",
+ "(clause (head (compound (functor \"isort\") (args (args variable)))) (compound (functor \"isort\") (args (args variable))))",
+ "(clause (head (compound (functor \"isort\") (args variable))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"isort\") (args (list (t variable))))) (compound (functor \"sins\") (args (args variable))))",
+ "(clause (binop variable \"=\"))",
+ "(clause (head (compound (functor \"isort\") (args (args variable)))))",
+ "(clause (compound (functor \"sins\") (args (args (args variable)))) (compound (functor \"isort\") (args (args variable))))",
+ "(clause (head (compound (functor \"isort\") (args (args variable)))) (compound (functor \"sins\") (args (args variable))))",
+ "(clause (binop \"=\" \"[]\"))",
+ "(clause (binop variable \"=\" \"[]\"))",
+ "(clause (head (compound (functor \"isort\") (args (args variable)))) (binop variable \"=\"))",
+ "(clause (binop \"=\" (list (t variable))) (compound (functor \"isort\") (args variable)))",
+ "(clause (binop \"=\" (list (h variable))) (compound (functor \"sins\") (args variable)))",
+ "(clause (binop \"=\" (list (h variable))))",
+ "(clause (compound (functor \"sins\") (args (args (args variable)))) (compound (functor \"isort\") (args variable)))",
+ "(clause (compound (functor \"sins\") (args (args variable))) (compound (functor \"isort\") (args variable)))",
+ "(clause (compound (functor \"sins\") (args (args variable))) (compound (functor \"isort\") (args (args variable))))",
+ "(clause (binop variable \"=<\"))",
+ "(clause (binop variable \">\") (compound (functor \"sins\") (args variable)))",
+ "(clause (compound (functor \"isort\") (args (args variable))))",
+ "(clause (binop \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"isort\") (args \"[]\" (args variable)))))",
+ "(clause (binop \"=<\" variable))",
+ "(clause (head (compound (functor \"isort\") (args (list (h variable))))) (binop variable \">\"))",
+ "(clause (compound (functor \"isort\") (args (args variable))) (compound (functor \"sins\") (args (args (args variable)))))",
+ "(clause (compound (functor \"sins\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"isort\") (args (list (h variable))))) (binop variable \"=<\"))",
+ "(clause (compound (functor \"sins\") (args (args variable))))",
+ "(clause (head (compound (functor \"isort\") (args (args variable)))) (compound (functor \"is_sorted\") (args variable)))",
+ "(clause (head (compound (functor \"isort\") (args variable))) (compound (functor \"is_sorted\") (args variable)))",
+ "(clause (head (compound (functor \"isort\") (args (list (h variable) (t \"[]\"))))))",
+ "(clause (head (compound (functor \"isort\") (args (list (t \"[]\"))))))",
+ "(clause (compound (functor \"isort\") (args variable)) (compound (functor \"sins\") (args (args variable))))",
+ "(clause (head (compound (functor \"isort\") (args (list (h variable))))))",
+ "(clause (binop \"=\" (list (t variable))) (compound (functor \"sins\") (args (args variable))))",
+ "(clause (head (compound (functor \"isort\") (args (list (t \"[]\")) (args (list (h variable)))))))",
+ "(clause (binop \">\" variable) (compound (functor \"sins\") (args (args (list (h variable))))))",
+ "(clause (head (compound (functor \"isort\") (args variable))) (compound (functor \"min\") (args variable)))",
+ "(clause (head (compound (functor \"isort\") (args variable (args variable)))))",
+ "(clause (head (compound (functor \"isort\") (args variable))))",
+ "(clause (head (compound (functor \"sins\") (args variable (args (args (list (h variable))))))))",
+ "(clause (binop \"<\" variable))",
+ "(clause (head (compound (functor \"isort\") (args (args variable)))) (compound (functor \"isort\") (args variable)))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (t variable))))))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"sins\") (args (args variable)))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"isort\") (args (list (t (list (h variable))))))) (compound (functor \"sins\") (args (args (list (h variable))))))",
+ "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (h variable))))",
+ "(clause (binop \"=\" (list (h variable))) (binop \"=<\" variable))",
+ "(clause (compound (functor \"min\") (args (args variable))) (compound (functor \"sins\") (args variable)))",
+ "(clause (head (compound (functor \"isort\") (args (list (t variable))))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"isort\") (args (list (t variable))))))",
+ "(clause (head (compound (functor \"isort\") (args variable (args \"[]\")))))",
+ "(clause (head (compound (functor \"isort\") (args (list (t (list (h variable))))))) (binop \">\" variable))",
+ "(clause (binop \"=\" (list (h variable))) (binop \">\" variable))",
+ "(clause (head (compound (functor \"isort\") (args (args (list (t variable)))))) (compound (functor \"isort\") (args (args variable))))",
+ "(clause (compound (functor \"sins\") (args (args (args variable)))) (binop variable \"=\"))",
+ "(clause (binop variable \"=\") (compound (functor \"sins\") (args (args variable))))",
+ "(clause (compound (functor \"sins\") (args (args variable (args variable)))))",
+ "(clause (head (compound (functor \"isort\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"isort\") (args variable (args (args (list (h variable))))))))",
+ "(clause (compound (functor \"append\") (args (args (list (h variable))))))",
+ "(clause (compound (functor \"append\") (args (list (h variable)))))",
+ "(clause (compound (functor \"isort\") (args variable)))",
+ "(clause (head (compound (functor \"isort\") (args (list (t (list (t variable))))))) (compound (functor \"sins\") (args (args (list (t variable))))))",
+ "(clause (head (compound (functor \"isort\") (args (list (t (list (t variable))))))) (compound (functor \"isort\") (args (list (t variable)))))",
+ "(clause (binop \"=\" (list (h variable))) (binop \"<\" variable))",
+ "(clause (head (compound (functor \"isort\") (args variable))) (compound (functor \"del\") (args (args variable))))",
+ "(clause (head (compound (functor \"isort\") (args (list (h variable))))) (binop \"=\" (list (h variable))))",
+ "(clause (compound (functor \"isort\") (args (args (list (h variable))))) (binop \">\" variable))",
+ "(clause (head (compound (functor \"sins\") (args (args (args variable))))) (binop variable \"=\"))",
+ "(clause (compound (functor \"isort\") (args (args (list (h variable))))) (binop \"=<\" variable))",
+ "(clause (binop \"=<\" variable) (compound (functor \"isort\") (args (list (h variable)))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t variable)))))) (compound (functor \"sins\") (args (args variable))))",
+ "(clause (head (compound (functor \"sins\") (args variable))) (binop variable \">\"))",
+ "(clause (compound (functor \"min\") (args (args variable))) (compound (functor \"del\") (args variable)))",
+ "(clause (compound (functor \"isort\") (args (args (list (h variable))))))",
+ "(clause (head (compound (functor \"sins\") (args (args \"[]\" (args (list (h variable))))))))",
+ "(clause (compound (functor \"sins\") (args variable)))",
+ "(clause (head (compound (functor \"sins\") (args variable))) (compound (functor \"sins\") (args variable)))",
+ "(clause (head (compound (functor \"isort\") (args (list (t (list (h variable))))))) (binop \"=<\" variable))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (binop \"=\" (list (h variable))))",
+ "(clause (compound (functor \"isort\") (args (args (list (h variable))))) (compound (functor \"sins\") (args (args (list (h variable))))))",
+ "(clause (head (compound (functor \"isort\") (args variable))) (compound (functor \"sins\") (args (args variable))))",
+ "(clause (head (compound (functor \"sins\") (args (args \"[]\")))))",
+ "(clause (head (compound (functor \"isort\") (args (list (t (list (h variable))))))) (compound (functor \"isort\") (args (list (h variable)))))",
+ "(clause (compound (functor \"min\") (args variable)) (compound (functor \"del\") (args (args variable))))",
+ "(clause (compound (functor \"conc\") (args (list (h variable)))))",
+ "(clause (compound (functor \"sins\") (args (args (args variable)))) (binop \"=\" (list (t variable))))",
+ "(clause (compound (functor \"sins\") (args (args (args variable)))) (binop \"=\" variable))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (binop \">\" variable))",
+ "(clause (binop \">\" variable) (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"isort\") (args variable))) (compound (functor \"isort\") (args variable)))",
+ "(clause (compound (functor \"isort\") (args (args (list (t variable))))) (compound (functor \"sins\") (args (args (list (t variable))))))",
+ "(clause (head (compound (functor \"sins\") (args variable (args \"[]\")))))",
+ "(clause (head (compound (functor \"isort\") (args (list (t variable))))) (compound (functor \"isort\") (args (list (h variable)))))",
+ "(clause (head (compound (functor \"isort\") (args variable))) (binop \"=\" variable))",
+ "(clause (head (compound (functor \"isort\") (args variable))) (compound (functor \"sins\") (args variable)))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (h variable))))))) (binop variable \"<\"))",
+ "(clause (head (compound (functor \"sins\") (args variable))) (binop variable \"==\"))",
+ "(clause (binop variable \"<\"))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (h variable))))))) (binop variable \"==\"))",
+ "(clause (head (compound (functor \"sins\") (args variable))) (binop variable \"<\"))",
+ "(clause (binop \"=\" (list (h variable))) (binop \"==\" variable))",
+ "(clause (binop \"=\" (list (t variable))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"sins\") (args (args variable (args (list (t variable))))))))",
+ "(clause (head (compound (functor \"isort\") (args \"[]\" (args (args variable))))))",
+ "(clause (head (compound (functor \"isort\") (args (list (t (list (t variable))))))) (compound (functor \"isort\") (args variable)))",
+ "(clause (binop variable \"=\") (compound (functor \"isort\") (args variable)))",
+ "(clause (compound (functor \"isort\") (args (args variable))) (binop \"=\" variable))",
+ "(clause (compound (functor \"min\") (args variable)) (compound (functor \"sins\") (args (args variable))))",
+ "(clause (head (compound (functor \"isort\") (args (args variable (args variable))))))",
+ "(clause (compound (functor \"isort\") (args (args (list (t variable))))))",
+ "(clause (head (compound (functor \"isort\") (args (args (list (t variable)))))) (compound (functor \"sins\") (args (args variable))))",
+ "(clause (compound (functor \"append\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"isort\") (args (list (h variable)) (args (list (t (list (h variable)))))))))",
+ "(clause (head (compound (functor \"isort\") (args (list (t (list (h variable)))) (args (list (h variable)))))))",
+ "(clause (head (compound (functor \"isort\") (args (args (list (h variable)))))) (compound (functor \"sins\") (args variable)))",
+ "(clause (binop \"=<\" variable) (compound (functor \"append\") (args (args (list (h variable))))))",
+ "(clause (compound (functor \"isort\") (args (list (h variable)))))",
+ "(clause (head (compound (functor \"isort\") (args (args \"[]\" (args (list (h variable))))))))",
+ "(clause (head (compound (functor \"isort\") (args (args (list (h variable)))))) (binop \">\" variable))",
+ "(clause (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (compound (functor \"isort\") (args (args variable))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (head (compound (functor \"isort\") (args (list (t variable))))) (compound (functor \"sins\") (args variable)))",
+ "(clause (head (compound (functor \"isort\") (args (list (h variable))))) (compound (functor \"isort\") (args (args (list (h variable))))))",
+ "(clause (compound (functor \"isort\") (args (args \"[]\"))))",
+ "(clause (head (compound (functor \"isort\") (args (list (t (list (t variable)))) (args (list (t (list (t variable)))))))))",
+ "(clause (compound (functor \"isort\") (args (args (list (t variable))))) (compound (functor \"append\") (args (args (list (t variable))))))",
+ "(clause (compound (functor \"isort\") (args variable (args \"[]\"))))",
+ "(clause (compound (functor \"is_sorted\") (args variable)) (binop \"=\" variable))",
+ "(clause (compound (functor \"del\") (args variable)) (compound (functor \"sins\") (args variable)))",
+ "(clause (head (compound (functor \"isort\") (args (list (h variable))))) (compound (functor \"append\") (args (list (h variable)))))",
+ "(clause (head (compound (functor \"isort\") (args (args (list (h variable)) (args (list (h variable))))))))",
+ "(clause (compound (functor \"isort\") (args (args (list (h variable))))) (compound (functor \"append\") (args (args (list (h variable))))))",
+ "(clause (head (compound (functor \"isort\") (args (args (args (list (t variable))))))) (compound (functor \"sins\") (args (args (args variable)))))",
+ "(clause (compound (functor \"append\") (args (args (list (t variable))))))",
+ "(clause (head (compound (functor \"isort\") (args (args variable)))) (compound (functor \"append\") (args (args (args variable)))))",
+ "(clause (binop variable \"=<\") (compound (functor \"append\") (args (list (h variable)))))"
+ ],
+ "rules": [
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"isort\") (args (args variable)))))"
+ ],
+ "distribution": [
+ 77,
+ 0
+ ],
+ "quality": 0.977740457880513
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"isort\") (args (args variable)))) (compound (functor \"isort\") (args (args variable))))"
+ ],
+ "distribution": [
+ 107,
+ 2
+ ],
+ "quality": 0.9628255078061851
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (compound (functor \"sins\") (args (args (args variable)))) (compound (functor \"isort\") (args (args variable))))"
+ ],
+ "distribution": [
+ 76,
+ 1
+ ],
+ "quality": 0.9614393823148333
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"isort\") (args (list (t variable))))) (compound (functor \"sins\") (args (args variable))))"
+ ],
+ "distribution": [
+ 96,
+ 2
+ ],
+ "quality": 0.9581534151826205
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"isort\") (args (args variable)))) (compound (functor \"sins\") (args (args variable))))"
+ ],
+ "distribution": [
+ 69,
+ 1
+ ],
+ "quality": 0.9570281584881061
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (compound (functor \"sins\") (args (args variable))) (compound (functor \"isort\") (args (args variable))))"
+ ],
+ "distribution": [
+ 42,
+ 0
+ ],
+ "quality": 0.9554496636892917
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (compound (functor \"isort\") (args (args variable))))"
+ ],
+ "distribution": [
+ 38,
+ 0
+ ],
+ "quality": 0.9506055100475281
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"isort\") (args (list (h variable))))) (compound (functor \"sins\") (args variable)))",
+ "(clause (head (compound (functor \"isort\") (args (args variable)))) (compound (functor \"sins\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"isort\") (args (args \"[]\")))))",
+ "(clause (head (compound (functor \"isort\") (args (list (t variable))))) (compound (functor \"isort\") (args variable)))",
+ "(clause (compound (functor \"isort\") (args (args variable))) (compound (functor \"sins\") (args (args variable))))"
+ ],
+ "distribution": [
+ 6,
+ 135
+ ],
+ "quality": 0.9351795579638846
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (compound (functor \"sins\") (args (args variable))))"
+ ],
+ "distribution": [
+ 28,
+ 0
+ ],
+ "quality": 0.9288796109922332
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"isort\") (args (list (h variable))))) (compound (functor \"sins\") (args variable)))",
+ "(clause (head (compound (functor \"isort\") (args (list (t variable))))) (compound (functor \"isort\") (args variable)))",
+ "(clause (compound (functor \"isort\") (args (args variable))) (compound (functor \"sins\") (args (args variable))))",
+ "(clause (head (compound (functor \"isort\") (args (args \"[]\")))))"
+ ],
+ "distribution": [
+ 9,
+ 136
+ ],
+ "quality": 0.91675494226811
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (compound (functor \"sins\") (args (args (args variable)))) (compound (functor \"isort\") (args variable)))"
+ ],
+ "distribution": [
+ 49,
+ 2
+ ],
+ "quality": 0.9130666008058437
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"isort\") (args (args \"[]\")))))",
+ "(clause (head (compound (functor \"isort\") (args (args variable)))) (compound (functor \"sins\") (args (args (args variable)))))",
+ "(clause (compound (functor \"isort\") (args (args variable))) (compound (functor \"sins\") (args (args variable))))"
+ ],
+ "distribution": [
+ 14,
+ 146
+ ],
+ "quality": 0.9048301949536517
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"isort\") (args (list (h variable))))) (compound (functor \"sins\") (args variable)))",
+ "(clause (head (compound (functor \"isort\") (args \"[]\"))))",
+ "(clause (head (compound (functor \"isort\") (args (args variable)))) (compound (functor \"sins\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"isort\") (args (list (t variable))))) (compound (functor \"isort\") (args variable)))",
+ "(clause (compound (functor \"isort\") (args (args variable))) (compound (functor \"sins\") (args (args variable))))"
+ ],
+ "distribution": [
+ 12,
+ 139
+ ],
+ "quality": 0.8990029777124932
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"isort\") (args (list (h variable))))))"
+ ],
+ "distribution": [
+ 18,
+ 0
+ ],
+ "quality": 0.8806649756764369
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"isort\") (args (list (t variable))))))"
+ ],
+ "distribution": [
+ 12,
+ 0
+ ],
+ "quality": 0.8064758915876264
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"isort\") (args variable (args \"[]\")))))"
+ ],
+ "distribution": [
+ 11,
+ 0
+ ],
+ "quality": 0.7851253147291626
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"isort\") (args (list (t (list (h variable))))))) (binop \">\" variable))"
+ ],
+ "distribution": [
+ 11,
+ 0
+ ],
+ "quality": 0.7851253147291626
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"isort\") (args (list (h variable))))) (compound (functor \"sins\") (args variable)))",
+ "(clause (head (compound (functor \"isort\") (args (args variable)))) (compound (functor \"sins\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"isort\") (args (args \"[]\")))))",
+ "(clause (head (compound (functor \"isort\") (args (list (t variable))))) (compound (functor \"isort\") (args variable)))"
+ ],
+ "distribution": [
+ 57,
+ 138
+ ],
+ "quality": 0.689289791332637
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"isort\") (args \"[]\" (args \"[]\")))))",
+ "(clause (head (compound (functor \"isort\") (args (list (t variable))))) (compound (functor \"isort\") (args variable)))"
+ ],
+ "distribution": [
+ 124,
+ 140
+ ],
+ "quality": 0.518165990776647
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"isort\") (args (list (h variable))))) (compound (functor \"sins\") (args variable)))",
+ "(clause (head (compound (functor \"isort\") (args \"[]\"))))",
+ "(clause (head (compound (functor \"isort\") (args (list (t variable))))) (compound (functor \"isort\") (args variable)))"
+ ],
+ "distribution": [
+ 133,
+ 144
+ ],
+ "quality": 0.5064778166750439
+ }
+ ]
+} \ No newline at end of file
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
diff --git a/prolog/problems/sorting/quick_sort_2/bugs.json b/prolog/problems/sorting/quick_sort_2/bugs.json
new file mode 100644
index 0000000..1245417
--- /dev/null
+++ b/prolog/problems/sorting/quick_sort_2/bugs.json
@@ -0,0 +1,594 @@
+{
+ "patterns": [
+ "(clause (head (compound (functor \"quick_sort\") (args (list (h variable))))) (compound (functor \"pivoting\") (args variable)))",
+ "(clause (compound (functor \"pivoting\") (args (args (args variable)))) (compound (functor \"quick_sort\") (args variable)))",
+ "(clause (head (compound (functor \"quick_sort\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (compound (functor \"pivoting\") (args (args (args (args variable))))) (compound (functor \"quick_sort\") (args variable)))",
+ "(clause (head (compound (functor \"quick_sort\") (args \"[]\"))))",
+ "(clause (head (compound (functor \"quick_sort\") (args (args \"[]\")))))",
+ "(clause (head (compound (functor \"quick_sort\") (args \"[]\" (args \"[]\")))))",
+ "(clause (compound (functor \"quick_sort\") (args (args variable))) (compound (functor \"conc\") (args variable)))",
+ "(clause (head (compound (functor \"quick_sort\") (args (list (t variable))))) (compound (functor \"pivoting\") (args (args variable))))",
+ "(clause (compound (functor \"pivoting\") (args variable)) (compound (functor \"conc\") (args (args (list (h variable))))))",
+ "(clause (head (compound (functor \"quick_sort\") (args (list (h variable))))) (compound (functor \"conc\") (args (args (list (h variable))))))",
+ "(clause (compound (functor \"quick_sort\") (args (args variable))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (compound (functor \"quick_sort\") (args (args variable))) (compound (functor \"conc\") (args (args (list (t variable))))))",
+ "(clause (head (compound (functor \"quick_sort\") (args (list (h variable)) (args (list (h variable)))))))",
+ "(clause (head (compound (functor \"quick_sort\") (args (list (h variable))))) (compound (functor \"pivoting\") (args (args (list (h variable))))))",
+ "(clause (head (compound (functor \"quick_sort\") (args (list (t variable))))) (compound (functor \"pivoting\") (args (args (list (t variable))))))",
+ "(clause (binop variable \"=\"))",
+ "(clause (compound (functor \"pivoting\") (args variable (args (list (h variable))))))",
+ "(clause (binop \"=\" (list (h variable))))",
+ "(clause (compound (functor \"quick_sort\") (args (args variable))))",
+ "(clause (head (compound (functor \"quick_sort\") (args (args variable)))) (binop variable \"=\"))",
+ "(clause (compound (functor \"conc\") (args (args (args variable)))) (compound (functor \"conc\") (args variable)))",
+ "(clause (compound (functor \"pivoting\") (args variable)))",
+ "(clause (compound (functor \"pivoting\") (args (args (args variable)))) (compound (functor \"conc\") (args variable)))",
+ "(clause (head (compound (functor \"quick_sort\") (args variable))) (binop variable \"=\"))",
+ "(clause (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (head (compound (functor \"quick_sort\") (args (args variable)))))",
+ "(clause (binop variable \">\"))",
+ "(clause (binop \">\" variable))",
+ "(clause (binop \"=\" variable))",
+ "(clause (binop variable \"=<\"))",
+ "(clause (binop \"=<\" variable))",
+ "(clause (binop \"=\" (list (t variable))))",
+ "(clause (compound (functor \"pivoting\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"quick_sort\") (args (list (h variable))))) (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"quick_sort\") (args variable))) (compound (functor \"pivoting\") (args (args variable))))",
+ "(clause (binop variable \"=\" \"[]\"))",
+ "(clause (binop \"=\" \"[]\"))",
+ "(clause (binop \"=\" (list (h variable))) (compound (functor \"pivoting\") (args variable)))",
+ "(clause (head (compound (functor \"quick_sort\") (args (list (t \"[]\"))))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (list (t variable)))))) (compound (functor \"pivoting\") (args (args variable))))",
+ "(clause (head (compound (functor \"quick_sort\") (args (list (h variable) (t \"[]\"))))))",
+ "(clause (head (compound (functor \"pivoting\") (args variable))) (compound (functor \"pivoting\") (args variable)))",
+ "(clause (compound (functor \"pivoting\") (args (args variable))))",
+ "(clause (head (compound (functor \"quick_sort\") (args (list (h variable))))) (binop variable \">\"))",
+ "(clause (head (compound (functor \"quick_sort\") (args (list (t (list (h variable))))))) (binop \"=<\" variable))",
+ "(clause (head (compound (functor \"quick_sort\") (args (list (t \"[]\")) (args (list (h variable)))))))",
+ "(clause (head (compound (functor \"quick_sort\") (args (list (h variable))))) (binop variable \"=<\"))",
+ "(clause (head (compound (functor \"quick_sort\") (args (list (t (list (h variable))))))) (binop \">\" variable))",
+ "(clause (compound (functor \"pivoting\") (args (args (args (args variable))))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (head (compound (functor \"quick_sort\") (args (list (h variable))))) (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (compound (functor \"quick_sort\") (args variable)) (compound (functor \"conc\") (args variable)))",
+ "(clause (binop variable \">\") (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (head (compound (functor \"quick_sort\") (args (list (t (list (h variable))))))) (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"quick_sort\") (args (list (t (list (h variable))))))) (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (list (h variable)))))) (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"quick_sort\") (args (list (h variable))))) (binop \"=\" variable))",
+ "(clause (binop \">\" variable) (binop \"=\" (list (h variable))))",
+ "(clause (binop \"=<\" variable) (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (binop variable \"=<\") (binop \"=\" (list (h variable))))",
+ "(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 (binop variable \"=\") (compound (functor \"pivoting\") (args (args variable))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args \"[]\"))))))",
+ "(clause (head (compound (functor \"pivoting\") (args variable (args (args (args \"[]\")))))))",
+ "(clause (head (compound (functor \"pivoting\") (args variable (args (args \"[]\"))))))",
+ "(clause (compound (functor \"pivoting\") (args (args (args (args variable))))))",
+ "(clause (binop variable \"=\") (compound (functor \"conc\") (args (args variable))))",
+ "(clause (head (compound (functor \"quick_sort\") (args (list (t (list (h variable))))))) (binop \"=\" variable))",
+ "(clause (head (compound (functor \"quick_sort\") (args (args (list (h variable)))))) (binop variable \"=\"))",
+ "(clause (binop \"=\" (list (t variable))) (compound (functor \"pivoting\") (args (args variable))))",
+ "(clause (compound (functor \"pivoting\") (args (args (args (args variable))))) (compound (functor \"quicksort\") (args variable)))",
+ "(clause (compound (functor \"pivoting\") (args variable)) (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"quick_sort\") (args (list (t variable))))))",
+ "(clause (compound (functor \"pivoting\") (args (args (args variable)))) (binop \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"quick_sort\") (args (args (list (t (list (h variable)))))))) (binop variable \"=\"))",
+ "(clause (compound (functor \"pivoting\") (args (args (args variable)))) (compound (functor \"isort\") (args variable)))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (list (h variable) (t \"[]\")))))))",
+ "(clause (head (compound (functor \"pivoting\") (args variable (args (list (t \"[]\")))))))",
+ "(clause (binop variable \"<\"))",
+ "(clause (binop \"<\" variable))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args variable))))) (binop variable \"=\"))",
+ "(clause (compound (functor \"pivoting\") (args (args (args (args variable))))) (binop \"=\" (list (t variable))))",
+ "(clause (compound (functor \"pivoting\") (args (args (args variable)))) (compound (functor \"quicksort\") (args variable)))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (list (t \"[]\")))))))",
+ "(clause (compound (functor \"pivoting\") (args (args (args (args variable))))) (compound (functor \"conc\") (args (args (list (t variable))))))",
+ "(clause (head (compound (functor \"quick_sort\") (args (list (h variable)) (args variable)))))",
+ "(clause (binop \"=\" (list (h variable))) (compound (functor \"conc\") (args (args (list (h variable))))))",
+ "(clause (compound (functor \"pivoting\") (args (args (args (args variable))))) (compound (functor \"isort\") (args variable)))",
+ "(clause (head (compound (functor \"pivoting\") (args variable))) (binop \">\" variable))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (list (h variable)) (args (list (h variable))))))))",
+ "(clause (head (compound (functor \"quick_sort\") (args (list (h variable))))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args \"[]\" (args \"[]\"))))))",
+ "(clause (head (compound (functor \"conc\") (args (list (h variable)) (args (args (list (h variable))))))))",
+ "(clause (head (compound (functor \"conc\") (args \"[]\"))))",
+ "(clause (compound (functor \"pivoting\") (args variable)) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (list (h variable)) (args (args (list (h variable)))))))))",
+ "(clause (head (compound (functor \"conc\") (args \"[]\" (args variable)))))",
+ "(clause (head (compound (functor \"conc\") (args (args variable)))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (head (compound (functor \"conc\") (args (list (t variable))))) (compound (functor \"conc\") (args variable)))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args \"[]\" (args \"[]\")))))))",
+ "(clause (head (compound (functor \"conc\") (args \"[]\" (args (args variable))))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (list (h variable)))))) (binop variable \">\"))",
+ "(clause (binop variable \"=\") (compound (functor \"quick_sort\") (args variable)))",
+ "(clause (head (compound (functor \"conc\") (args (args (args (list (t variable))))))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args variable))))) (compound (functor \"pivoting\") (args (args (args variable)))))",
+ "(clause (compound (functor \"isort\") (args (args variable))) (compound (functor \"conc\") (args variable)))",
+ "(clause (compound (functor \"quicksort\") (args (args variable))) (compound (functor \"conc\") (args variable)))",
+ "(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 (head (compound (functor \"quick_sort\") (args (args variable)))) (compound (functor \"append\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"pivoting\") (args variable))))",
+ "(clause (compound (functor \"quick_sort\") (args (args variable))) (binop \"=\" (list (t variable))))",
+ "(clause (compound (functor \"quick_sort\") (args (args variable))) (compound (functor \"append\") (args variable)))",
+ "(clause (compound (functor \"isort\") (args (args variable))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (head (compound (functor \"quick_sort\") (args (args (list (h variable)))))) (compound (functor \"quick_sort\") (args (args variable))))",
+ "(clause (head (compound (functor \"quick_sort\") (args (list (h variable))))) (compound (functor \"conc\") (args (list (h variable)))))",
+ "(clause (head (compound (functor \"quick_sort\") (args \"[]\" (args variable)))))",
+ "(clause (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (compound (functor \"conc\") (args variable)) (compound (functor \"pivoting\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"quick_sort\") (args (args variable)))) (compound (functor \"isort\") (args (args variable))))",
+ "(clause (compound (functor \"conc\") (args (args (list (h variable))))) (compound (functor \"pivoting\") (args variable)))",
+ "(clause (compound (functor \"quick_sort\") (args variable)) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (compound (functor \"conc\") (args (args variable))) (compound (functor \"pivoting\") (args (args (args (args variable))))))",
+ "(clause (compound (functor \"pivoting\") (args variable)) (compound (functor \"conc\") (args (list (h variable)))))",
+ "(clause (head (compound (functor \"quick_sort\") (args (list (h variable))))) (compound (functor \"quick_sort\") (args (list (h variable)))))",
+ "(clause (binop \"=<\" variable) (binop \"=\" variable))",
+ "(clause (binop variable \"=\") (binop \"=\" (list (h variable))))",
+ "(clause (binop \"=\" (list (h variable))) (binop variable \"<\"))",
+ "(clause (compound (functor \"pivoting\") (args (args (args variable)))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"quick_sort\") (args (list (h variable))))) (compound (functor \"isort\") (args (list (h variable)))))",
+ "(clause (binop variable \"=<\") (binop \"=\" variable))",
+ "(clause (compound (functor \"quicksort\") (args (args variable))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (head (compound (functor \"quick_sort\") (args (args variable)))) (compound (functor \"concat\") (args (args (args variable)))))",
+ "(clause (compound (functor \"pivoting\") (args (args (args (args variable))))) (binop variable \"=\"))",
+ "(clause (binop variable \"=\") (compound (functor \"conc\") (args variable)))",
+ "(clause (compound (functor \"pivoting\") (args variable)) (compound (functor \"quick_sort\") (args (list (h variable)))))",
+ "(clause (compound (functor \"min\") (args (args variable))) (binop \"is\" (binop (binop \"+\" variable) \"//\")))",
+ "(clause (binop \"==\" (list (h variable))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (list (h variable)))))) (binop variable \"<\"))",
+ "(clause (compound (functor \"min\") (args (list (t variable)))) (compound (functor \"max\") (args (list (t variable)))))",
+ "(clause (compound (functor \"min\") (args (list (h variable)))) (compound (functor \"max\") (args (list (h variable)))))",
+ "(clause (compound (functor \"pivoting\") (args (args (list (h variable))))))",
+ "(clause (head (compound (functor \"shiftleft\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (list (h variable)))))) (binop \">\" variable))",
+ "(clause (compound (functor \"pivoting\") (args variable)) (binop \"=\" variable))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args (args variable)))))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (list (t \"[]\")) (args \"[]\"))))))",
+ "(clause (head (compound (functor \"conc\") (args (args variable)))) (binop \"=\" variable))",
+ "(clause (compound (functor \"max\") (args (list (h variable)))) (compound (functor \"pivoting\") (args (args (list (h variable))))))",
+ "(clause (head (compound (functor \"pivoting\") (args variable))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (list (h variable)) (args (args \"[]\")))))))",
+ "(clause (head (compound (functor \"pivoting\") (args variable))) (binop variable \"<\"))",
+ "(clause (compound (functor \"pivoting\") (args variable)) (compound (functor \"concat\") (args (args (list (h variable))))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args (list (h variable)) (args \"[]\")))))))",
+ "(clause (binop \"is\" (binop \"//\" \"2\")))",
+ "(clause (binop \"is\" (binop (binop variable \"+\") \"//\" \"2\")))",
+ "(clause (head (compound (functor \"shiftleft\") (args (list (h variable))))) (compound (functor \"conc\") (args (args (list (h variable))))))",
+ "(clause (compound (functor \"pivoting\") (args variable)) (compound (functor \"append\") (args (args (list (h variable))))))",
+ "(clause (head (compound (functor \"conc\") (args (args (args variable))))) (binop variable \"=\"))",
+ "(clause (compound (functor \"min\") (args (list (t variable)))) (compound (functor \"pivoting\") (args (args (list (t variable))))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (list (h variable)) (args \"[]\"))))))",
+ "(clause (head (compound (functor \"quick_sort\") (args (list (h variable))))) (compound (functor \"min\") (args (list (h variable)))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (list (h variable)))))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"quick_sort\") (args (list (h variable))))) (compound (functor \"max\") (args (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 \"quick_sort\") (args (args variable))) (compound (functor \"concat\") (args variable)))",
+ "(clause (head (compound (functor \"quick_sort\") (args (list (h variable))))) (compound (functor \"concat\") (args (args (list (h variable))))))",
+ "(clause (head (compound (functor \"quick_sort\") (args (list (t variable))))) (compound (functor \"min\") (args (list (t variable)))))",
+ "(clause (binop variable \"<\") (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (list (t \"[]\")) (args (list (h variable))))))))",
+ "(clause (head (compound (functor \"quick_sort\") (args (list (h variable))))) (compound (functor \"append\") (args (args (list (h variable))))))",
+ "(clause (head (compound (functor \"quick_sort\") (args (list (t variable))))) (compound (functor \"max\") (args (list (t variable)))))",
+ "(clause (compound (functor \"pivoting\") (args variable)) (binop \"<\" variable))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (list (t \"[]\")) (args (args \"[]\")))))))",
+ "(clause (binop variable \"is\" (binop \"//\" \"2\")))",
+ "(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 (head (compound (functor \"pivoting\") (args (args (list (t \"[]\")) (args (args (list (h variable)))))))))",
+ "(clause (compound (functor \"max\") (args (args variable))) (binop \"is\" (binop (binop variable \"+\") \"//\")))",
+ "(clause (head (compound (functor \"pivoting\") (args variable))) (binop \"=\" variable))",
+ "(clause (compound (functor \"max\") (args (list (t variable)))) (compound (functor \"pivoting\") (args (args (list (t variable))))))",
+ "(clause (binop \"is\" (binop (binop \"+\" variable) \"//\" \"2\")))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args \"[]\" (args (list (h variable)))))))))",
+ "(clause (binop variable \"is\") (compound (functor \"pivoting\") (args variable)))",
+ "(clause (compound (functor \"min\") (args (list (h variable)))) (compound (functor \"pivoting\") (args (args (list (h variable))))))",
+ "(clause (head (compound (functor \"shiftleft\") (args (list (t variable))))) (compound (functor \"conc\") (args variable)))",
+ "(clause (head (compound (functor \"pivoting\") (args variable))) (binop variable \">\"))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args (list (h variable))))))) (binop \"=\" variable))",
+ "(clause (binop variable \">\") (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args (args (list (h variable)))))))) (binop \"<\" variable))",
+ "(clause (compound (functor \"conc\") (args variable)))",
+ "(clause (compound (functor \"quick_sort\") (args variable)) (binop \"=\" (list (t variable))))",
+ "(clause (binop variable \"==\"))",
+ "(clause (compound (functor \"quicksort\") (args (args variable))) (compound (functor \"conc\") (args (args (list (t variable))))))",
+ "(clause (compound (functor \"pivoting\") (args (args (args (args variable))))) (compound (functor \"quick_sort\") (args (list (t variable)))))",
+ "(clause (head (compound (functor \"quick_sort\") (args (list (t variable))))) (binop variable \"=\"))",
+ "(clause (compound (functor \"quick_sort\") (args (args variable))) (compound (functor \"append\") (args (args variable))))",
+ "(clause (head (compound (functor \"quick_sort\") (args (args variable)))) (compound (functor \"quick_sort\") (args (args variable))))",
+ "(clause (binop \"=\" (list (h variable))) (binop \"<\" variable))",
+ "(clause (compound (functor \"quick_sort\") (args (args variable))) (compound (functor \"concat\") (args (args (list (t variable))))))",
+ "(clause (binop \">\" variable) (binop \"=\" variable))",
+ "(clause (head (compound (functor \"quick_sort\") (args variable))))",
+ "(clause (binop variable \">\") (binop \"=\" variable))",
+ "(clause (compound (functor \"last_elem\") (args (args variable))) (compound (functor \"pivoting\") (args variable)))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args (args (list (h variable)))))))) (binop variable \">\"))",
+ "(clause (head (compound (functor \"quick_sort\") (args (args (list (t variable)))))) (compound (functor \"quick_sort\") (args (args variable))))",
+ "(clause (binop \"==\" (list (t variable))))",
+ "(clause (head (compound (functor \"quicksort\") (args \"[]\" (args \"[]\")))))",
+ "(clause (compound (functor \"quick_sort\") (args (args variable))) (compound (functor \"append\") (args (args (list (t variable))))))",
+ "(clause (compound (functor \"last_elem\") (args variable)) (compound (functor \"pivoting\") (args (args variable))))",
+ "(clause (head (compound (functor \"quicksort\") (args (args \"[]\")))))",
+ "(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 (compound (functor \"conc\") (args variable)) (compound (functor \"quick_sort\") (args (args variable))))",
+ "(clause (head (compound (functor \"quick_sort\") (args (list (t (list (h variable))))))) (compound (functor \"isort\") (args (list (t (list (h variable)))))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (list (h variable)))))) (binop variable \"=<\"))",
+ "(clause (head (compound (functor \"conc\") (args (args variable (args variable))))))",
+ "(clause (head (compound (functor \"pivoting\") (args (args (args (list (h variable))))))) (binop variable \"=<\"))",
+ "(clause (binop \"=<\" variable) (compound (functor \"pivoting\") (args variable)))",
+ "(clause (head (compound (functor \"quick_sort\") (args variable (args variable)))))",
+ "(clause (compound (functor \"pivoting\") (args (args (args variable)))) (compound (functor \"quick_sort\") (args (list (h variable)))))",
+ "(clause (head (compound (functor \"quick_sort\") (args variable))) (binop \"=\" variable))",
+ "(clause (head (compound (functor \"quicksort\") (args \"[]\"))))",
+ "(clause (head (compound (functor \"pivoting\") (args variable))) (binop \"=<\" variable))",
+ "(clause (compound (functor \"pivoting\") (args (args (list (t variable))))))",
+ "(clause (binop \">\" variable) (compound (functor \"pivoting\") (args variable)))"
+ ],
+ "rules": [
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"quick_sort\") (args (list (h variable))))) (compound (functor \"pivoting\") (args (args (list (h variable))))))",
+ "(clause (compound (functor \"pivoting\") (args (args (args (args variable))))) (compound (functor \"quick_sort\") (args variable)))"
+ ],
+ "distribution": [
+ 90,
+ 0
+ ],
+ "quality": 0.9764882155582799
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"quick_sort\") (args (list (h variable))))) (compound (functor \"pivoting\") (args (args (list (h variable))))))",
+ "(clause (compound (functor \"pivoting\") (args (args (args variable)))) (compound (functor \"quick_sort\") (args variable)))"
+ ],
+ "distribution": [
+ 87,
+ 0
+ ],
+ "quality": 0.9755379758772118
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"quick_sort\") (args (list (h variable))))) (compound (functor \"pivoting\") (args (args (list (h variable))))))",
+ "(clause (compound (functor \"quick_sort\") (args (args variable))) (compound (functor \"conc\") (args variable)))"
+ ],
+ "distribution": [
+ 75,
+ 0
+ ],
+ "quality": 0.9708975117350563
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (compound (functor \"quick_sort\") (args (args variable))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (head (compound (functor \"quick_sort\") (args (list (h variable))))) (compound (functor \"pivoting\") (args (args (list (h variable))))))"
+ ],
+ "distribution": [
+ 73,
+ 0
+ ],
+ "quality": 0.9699604893023981
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (compound (functor \"quick_sort\") (args (args variable))))"
+ ],
+ "distribution": [
+ 53,
+ 0
+ ],
+ "quality": 0.9674066980469899
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"quick_sort\") (args (list (h variable))))) (compound (functor \"pivoting\") (args (args (list (h variable))))))"
+ ],
+ "distribution": [
+ 104,
+ 2
+ ],
+ "quality": 0.9626511754052124
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"quick_sort\") (args (args variable)))))"
+ ],
+ "distribution": [
+ 44,
+ 0
+ ],
+ "quality": 0.9598388529668453
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"quick_sort\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"quick_sort\") (args (args \"[]\")))))",
+ "(clause (compound (functor \"quick_sort\") (args (args variable))) (compound (functor \"conc\") (args variable)))",
+ "(clause (head (compound (functor \"quick_sort\") (args (list (t variable))))) (compound (functor \"pivoting\") (args (args variable))))",
+ "(clause (compound (functor \"quick_sort\") (args (args variable))) (compound (functor \"conc\") (args (args (list (t variable))))))"
+ ],
+ "distribution": [
+ 2,
+ 120
+ ],
+ "quality": 0.9580012423061603
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"quick_sort\") (args (list (h variable))))) (compound (functor \"pivoting\") (args variable)))",
+ "(clause (head (compound (functor \"quick_sort\") (args \"[]\" (args \"[]\")))))",
+ "(clause (head (compound (functor \"quick_sort\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (compound (functor \"quick_sort\") (args (args variable))) (compound (functor \"conc\") (args (args (list (t variable))))))",
+ "(clause (compound (functor \"quick_sort\") (args (args variable))) (compound (functor \"conc\") (args variable)))"
+ ],
+ "distribution": [
+ 3,
+ 121
+ ],
+ "quality": 0.9500584085841223
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"quick_sort\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"quick_sort\") (args (args \"[]\")))))",
+ "(clause (compound (functor \"quick_sort\") (args (args variable))) (compound (functor \"conc\") (args variable)))",
+ "(clause (head (compound (functor \"quick_sort\") (args (list (h variable))))) (compound (functor \"conc\") (args (args (list (h variable))))))",
+ "(clause (compound (functor \"pivoting\") (args (args (args (args variable))))) (compound (functor \"quick_sort\") (args variable)))"
+ ],
+ "distribution": [
+ 8,
+ 147
+ ],
+ "quality": 0.9403859611666608
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (compound (functor \"pivoting\") (args (args (args variable)))) (compound (functor \"quick_sort\") (args variable)))",
+ "(clause (compound (functor \"quick_sort\") (args (args variable))) (compound (functor \"conc\") (args variable)))",
+ "(clause (head (compound (functor \"quick_sort\") (args (args \"[]\")))))",
+ "(clause (head (compound (functor \"quick_sort\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (compound (functor \"quick_sort\") (args (args variable))) (compound (functor \"conc\") (args (args (list (t variable))))))"
+ ],
+ "distribution": [
+ 5,
+ 125
+ ],
+ "quality": 0.9363611655439407
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (compound (functor \"pivoting\") (args (args (args variable)))) (compound (functor \"quick_sort\") (args variable)))",
+ "(clause (compound (functor \"quick_sort\") (args (args variable))) (compound (functor \"conc\") (args variable)))",
+ "(clause (head (compound (functor \"quick_sort\") (args (list (t variable))))) (compound (functor \"pivoting\") (args (args variable))))",
+ "(clause (head (compound (functor \"quick_sort\") (args \"[]\"))))",
+ "(clause (compound (functor \"quick_sort\") (args (args variable))) (compound (functor \"conc\") (args (args (list (t variable))))))"
+ ],
+ "distribution": [
+ 6,
+ 121
+ ],
+ "quality": 0.9262882532102532
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (compound (functor \"pivoting\") (args (args (args (args variable))))) (compound (functor \"conc\") (args (args variable))))"
+ ],
+ "distribution": [
+ 25,
+ 0
+ ],
+ "quality": 0.9240643023231885
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (compound (functor \"pivoting\") (args (args (args variable)))) (compound (functor \"conc\") (args variable)))"
+ ],
+ "distribution": [
+ 49,
+ 2
+ ],
+ "quality": 0.916880152068617
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"quick_sort\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"quick_sort\") (args (args \"[]\")))))",
+ "(clause (compound (functor \"quick_sort\") (args (args variable))) (compound (functor \"conc\") (args variable)))",
+ "(clause (compound (functor \"pivoting\") (args variable)) (compound (functor \"conc\") (args (args (list (h variable))))))",
+ "(clause (compound (functor \"pivoting\") (args (args (args (args variable))))) (compound (functor \"quick_sort\") (args variable)))"
+ ],
+ "distribution": [
+ 13,
+ 152
+ ],
+ "quality": 0.9140155443303338
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"quick_sort\") (args variable))) (compound (functor \"pivoting\") (args (args variable))))",
+ "(clause (compound (functor \"pivoting\") (args (args (args variable)))) (compound (functor \"quick_sort\") (args variable)))"
+ ],
+ "distribution": [
+ 26,
+ 0
+ ],
+ "quality": 0.8951314130170517
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (compound (functor \"pivoting\") (args (args (args variable)))) (compound (functor \"quick_sort\") (args variable)))",
+ "(clause (head (compound (functor \"quick_sort\") (args (list (t variable))))) (compound (functor \"pivoting\") (args (args variable))))",
+ "(clause (head (compound (functor \"quick_sort\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (compound (functor \"quick_sort\") (args (args variable))) (compound (functor \"conc\") (args (args (list (t variable))))))",
+ "(clause (compound (functor \"quick_sort\") (args (args variable))) (compound (functor \"conc\") (args variable)))"
+ ],
+ "distribution": [
+ 11,
+ 121
+ ],
+ "quality": 0.8897339920225685
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"quick_sort\") (args variable))) (compound (functor \"pivoting\") (args (args variable))))",
+ "(clause (head (compound (functor \"quick_sort\") (args \"[]\"))))"
+ ],
+ "distribution": [
+ 24,
+ 0
+ ],
+ "quality": 0.882954713838925
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (compound (functor \"pivoting\") (args (args (args (args variable))))) (compound (functor \"quicksort\") (args variable)))"
+ ],
+ "distribution": [
+ 16,
+ 0
+ ],
+ "quality": 0.8754484264833706
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"quick_sort\") (args (list (t variable))))))"
+ ],
+ "distribution": [
+ 15,
+ 0
+ ],
+ "quality": 0.8654973710066844
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"quick_sort\") (args (list (h variable)) (args variable)))))"
+ ],
+ "distribution": [
+ 13,
+ 0
+ ],
+ "quality": 0.8416671288774003
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"quick_sort\") (args (list (h variable))))) (binop \"=\" variable))"
+ ],
+ "distribution": [
+ 13,
+ 0
+ ],
+ "quality": 0.8416671288774003
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"quick_sort\") (args (list (h variable))))) (compound (functor \"conc\") (args (args variable))))"
+ ],
+ "distribution": [
+ 12,
+ 0
+ ],
+ "quality": 0.8264014440638541
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"quick_sort\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (compound (functor \"quick_sort\") (args (args variable))) (compound (functor \"conc\") (args variable)))",
+ "(clause (compound (functor \"pivoting\") (args variable)) (compound (functor \"conc\") (args (args (list (h variable))))))",
+ "(clause (compound (functor \"pivoting\") (args (args (args (args variable))))) (compound (functor \"quick_sort\") (args variable)))"
+ ],
+ "distribution": [
+ 29,
+ 154
+ ],
+ "quality": 0.8243899448937496
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"quick_sort\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"quick_sort\") (args \"[]\" (args \"[]\")))))",
+ "(clause (head (compound (functor \"quick_sort\") (args (list (h variable))))) (compound (functor \"conc\") (args (args (list (h variable))))))"
+ ],
+ "distribution": [
+ 30,
+ 148
+ ],
+ "quality": 0.8142204836346375
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"quick_sort\") (args (list (h variable))))) (compound (functor \"conc\") (args (list (h variable)))))"
+ ],
+ "distribution": [
+ 10,
+ 0
+ ],
+ "quality": 0.7882138095581407
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"quick_sort\") (args (args (list (h variable)))))) (compound (functor \"quick_sort\") (args (args variable))))"
+ ],
+ "distribution": [
+ 10,
+ 0
+ ],
+ "quality": 0.7882138095581407
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (compound (functor \"conc\") (args (args (args variable)))))"
+ ],
+ "distribution": [
+ 9,
+ 0
+ ],
+ "quality": 0.760358883852663
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (compound (functor \"conc\") (args variable)) (compound (functor \"pivoting\") (args (args (args variable)))))"
+ ],
+ "distribution": [
+ 9,
+ 0
+ ],
+ "quality": 0.760358883852663
+ }
+ ]
+} \ No newline at end of file
diff --git a/prolog/problems/sorting/sins_3/bugs.json b/prolog/problems/sorting/sins_3/bugs.json
new file mode 100644
index 0000000..4be67b9
--- /dev/null
+++ b/prolog/problems/sorting/sins_3/bugs.json
@@ -0,0 +1,900 @@
+{
+ "patterns": [
+ "(clause (head (compound (functor \"sins\") (args variable))) (compound (functor \"sins\") (args variable)))",
+ "(clause (head (compound (functor \"sins\") (args variable (args (args (list (h variable))))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (args variable))))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"sins\") (args (args \"[]\")))))",
+ "(clause (head (compound (functor \"sins\") (args variable (args \"[]\")))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t variable)))))) (compound (functor \"sins\") (args (args variable))))",
+ "(clause (head (compound (functor \"sins\") (args variable))) (binop variable \"=<\"))",
+ "(clause (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"sins\") (args (args \"[]\" (args (list (h variable))))))))",
+ "(clause (head (compound (functor \"sins\") (args variable))) (binop variable \">\"))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (binop \"=<\" variable))",
+ "(clause (binop variable \"=\"))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (binop \">\" variable))",
+ "(clause (head (compound (functor \"sins\") (args variable))) (binop \"=\" (list (h variable))))",
+ "(clause (binop variable \"=<\"))",
+ "(clause (binop variable \">\") (compound (functor \"sins\") (args variable)))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (binop \"=\" (list (h variable))))",
+ "(clause (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (binop \"=<\" variable))",
+ "(clause (binop variable \">\"))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)) (args (list (h variable))))))))",
+ "(clause (binop \">\" variable))",
+ "(clause (compound (functor \"sins\") (args variable)))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)) (args (list (t (list (h variable))))))))))",
+ "(clause (binop variable \"=<\") (binop \"=\" (list (h variable))))",
+ "(clause (compound (functor \"sins\") (args (args (args variable)))) (binop \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (t variable))))))) (compound (functor \"sins\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"sins\") (args (args (args variable))))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t variable)) (args (list (t (list (t variable))))))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t variable)))))) (binop \"=\" (list (t (list (t variable))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (h variable))))))) (binop variable \"=<\"))",
+ "(clause (binop \"=\" (list (t (list (t variable))))))",
+ "(clause (binop \">\" variable) (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (t (list (h variable))))))))) (binop \"=<\" variable))",
+ "(clause (head (compound (functor \"sins\") (args (args variable)))) (binop variable \"=\"))",
+ "(clause (binop \"=<\" variable) (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (head (compound (functor \"sins\") (args variable))) (binop variable \">=\"))",
+ "(clause (head (compound (functor \"sins\") (args variable))) (binop variable \"<\"))",
+ "(clause (head (compound (functor \"sins\") (args (args \"[]\" (args variable))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (binop \">=\" variable))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (h variable))))))) (binop \">\" variable))",
+ "(clause (head (compound (functor \"sins\") (args variable))) (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (binop \"<\" variable))",
+ "(clause (head (compound (functor \"sins\") (args (args (args variable))))) (compound (functor \"sins\") (args (args (args variable)))))",
+ "(clause (binop \"=\" (list (t variable))))",
+ "(clause (compound (functor \"sins\") (args (args variable))))",
+ "(clause (binop variable \"<\"))",
+ "(clause (binop variable \">=\"))",
+ "(clause (binop \"<\" variable))",
+ "(clause (binop variable \">=\") (compound (functor \"sins\") (args variable)))",
+ "(clause (compound (functor \"sins\") (args (args (args variable)))))",
+ "(clause (binop \"=\" (list (t variable))) (compound (functor \"sins\") (args (args variable))))",
+ "(clause (binop \">=\" variable))",
+ "(clause (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (h variable))))))) (binop \">=\" variable))",
+ "(clause (binop \"=\" (list (h variable))) (binop \"=<\" variable))",
+ "(clause (head (compound (functor \"sins\") (args variable))) (compound (functor \"conc\") (args (list (h variable)))))",
+ "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"sins\") (args variable (args (args variable))))))",
+ "(clause (head (compound (functor \"sins\") (args variable))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t (list (h variable)))))))) (binop \"=<\" variable))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (compound (functor \"conc\") (args (list (h variable)))))",
+ "(clause (head (compound (functor \"sins\") (args variable (args (args (list (t (list (h variable))))))))))",
+ "(clause (binop variable \"=<\") (compound (functor \"sins\") (args variable)))",
+ "(clause (compound (functor \"sins\") (args (args (args variable)))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (compound (functor \"conc\") (args (list (h variable)))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (compound (functor \"conc\") (args (args (list (h variable))))))",
+ "(clause (binop \">=\" variable) (binop \"=\" (list (h variable))))",
+ "(clause (binop variable \">\") (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (compound (functor \"conc\") (args (args (args variable)))) (compound (functor \"conc\") (args variable)))",
+ "(clause (head (compound (functor \"sins\") (args variable))) (binop \"=<\" variable))",
+ "(clause (head (compound (functor \"sins\") (args (args (args variable))))) (compound (functor \"is_sorted\") (args variable)))",
+ "(clause (head (compound (functor \"sins\") (args (args (args \"[]\"))))))",
+ "(clause (head (compound (functor \"sins\") (args variable))) (compound (functor \"insert\") (args variable)))",
+ "(clause (head (compound (functor \"sins\") (args (args (args variable))))))",
+ "(clause (binop \"=\" (list (h variable))) (binop \">\" variable))",
+ "(clause (head (compound (functor \"sins\") (args (args \"[]\" (args \"[]\"))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (binop variable \"=<\"))",
+ "(clause (head (compound (functor \"sins\") (args (args variable)))) (compound (functor \"insert\") (args (args variable))))",
+ "(clause (head (compound (functor \"sins\") (args variable))) (compound (functor \"conc\") (args (args (list (h variable))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (t (list (h variable))))))))) (binop variable \">=\"))",
+ "(clause (compound (functor \"conc\") (args (args (list (h variable))))))",
+ "(clause (binop variable \"<\") (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t (list (t variable)))))))) (compound (functor \"sins\") (args (args (list (t variable))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t (list (h variable)))))))) (compound (functor \"sins\") (args (args (list (h variable))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (h variable))))))) (binop variable \"<\"))",
+ "(clause (binop variable \"=<\") (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t variable)))))))",
+ "(clause (binop variable \"=\") (binop \"=\" (list (t variable))))",
+ "(clause (compound (functor \"conc\") (args (args variable))))",
+ "(clause (compound (functor \"conc\") (args variable)))",
+ "(clause (compound (functor \"insert\") (args (args (args variable)))) (compound (functor \"is_sorted\") (args variable)))",
+ "(clause (head (compound (functor \"sins\") (args variable (args (args \"[]\"))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (args variable))))) (compound (functor \"insert\") (args (args (args variable)))))",
+ "(clause (binop \"<\" variable) (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (compound (functor \"sins\") (args variable)) (binop variable \"=<\"))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t variable)))))) (compound (functor \"conc\") (args (args (list (t variable))))))",
+ "(clause (binop \"=<\" variable) (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"sins\") (args variable))) (binop \"<\" variable))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t variable)))))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (binop variable \"<\") (compound (functor \"sins\") (args variable)))",
+ "(clause (compound (functor \"sins\") (args (args (args variable)))) (binop \"=\" (list (t (list (t variable))))))",
+ "(clause (binop \"=\" (list (t (list (t (list (h variable))))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (h variable))))))) (compound (functor \"sins\") (args variable)))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (compound (functor \"sins\") (args (args (args (list (h variable)))))))",
+ "(clause (head (compound (functor \"sins\") (args variable))) (binop \">=\" variable))",
+ "(clause (head (compound (functor \"sins\") (args variable))) (binop \">\" variable))",
+ "(clause (binop variable \"<\") (compound (functor \"conc\") (args (list (h variable)))))",
+ "(clause (binop variable \"=<\") (compound (functor \"conc\") (args (args (list (h variable))))))",
+ "(clause (binop variable \"=\") (compound (functor \"conc\") (args (args variable))))",
+ "(clause (compound (functor \"sins\") (args variable)) (binop variable \">\"))",
+ "(clause (binop variable \">=\") (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (head (compound (functor \"sins\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (t (list (h variable))))))))) (binop \"<\" variable))",
+ "(clause (binop \"=\" (list (t variable))) (binop \"=\" (list (t (list (t variable))))))",
+ "(clause (binop variable \"=\" \"[]\"))",
+ "(clause (binop \"=\" \"[]\"))",
+ "(clause (head (compound (functor \"sins\") (args (args variable)))) (binop \"=\" (list (t variable))))",
+ "(clause (binop variable \"=<\") (compound (functor \"conc\") (args (list (h variable)))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (compound (functor \"conc\") (args variable)))",
+ "(clause (compound (functor \"conc\") (args variable)) (compound (functor \"conc\") (args variable)))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t variable)))))) (binop \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable) (t \"[]\")))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t \"[]\")))))))",
+ "(clause (head (compound (functor \"sins\") (args variable (args (list (t \"[]\")))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t (list (t variable)))))))) (compound (functor \"sins\") (args (args variable))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (binop variable \"<\"))",
+ "(clause (compound (functor \"sins\") (args (args (list (h variable))))) (binop \"=<\" variable))",
+ "(clause (compound (functor \"sins\") (args variable)) (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (compound (functor \"conc\") (args (args variable))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (binop \"=<\" variable) (binop \"=\" (list (t (list (t (list (h variable))))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (t (list (t variable))))))))) (compound (functor \"sins\") (args (args (args variable)))))",
+ "(clause (binop \"=\" (list (t (list (t (list (t variable))))))))",
+ "(clause (compound (functor \"sins\") (args variable)) (binop \"=\" (list (h variable))))",
+ "(clause (binop \"=<\" variable) (compound (functor \"conc\") (args (args (list (h variable))))))",
+ "(clause (binop \"<\" variable) (compound (functor \"sins\") (args variable)))",
+ "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (compound (functor \"conc\") (args (args variable))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t (list (h variable)))) (args (list (t (list (t (list (h variable))))))))))))",
+ "(clause (binop variable \">\") (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t (list (h variable)))))))) (binop \"=\" (list (t (list (t (list (h variable))))))))",
+ "(clause (binop variable \">=\") (binop variable \"=<\"))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (t (list (t variable))))))))))",
+ "(clause (binop \"=\" (list (t variable))) (compound (functor \"sins\") (args (args (args variable)))))",
+ "(clause (binop \"=<\" variable) (binop variable \"=<\"))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (binop variable \">\"))",
+ "(clause (binop \">\" variable) (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (binop variable \">\") (binop variable \"=<\"))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (head (compound (functor \"sins\") (args variable))) (compound (functor \"conc\") (args variable)))",
+ "(clause (head (compound (functor \"sins\") (args (list (h variable)) (args (args (list (h variable))))))))",
+ "(clause (compound (functor \"sins\") (args (args (args variable)))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"sins\") (args (list (h variable)) (args \"[]\")))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t (list (t variable)))))))) (binop \"=\" (list (t (list (t (list (t variable))))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (args variable))))) (compound (functor \"sins\") (args (args (args (list (t variable)))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (binop variable \">=\"))",
+ "(clause (compound (functor \"append\") (args (list (h variable)))))",
+ "(clause (compound (functor \"conc\") (args (list (t (list (h variable)))))))",
+ "(clause (compound (functor \"conc\") (args (args (list (t variable))))))",
+ "(clause (binop \"<\" variable) (compound (functor \"conc\") (args (args (list (h variable))))))",
+ "(clause (compound (functor \"sins\") (args (args (args (list (h variable)))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (t (list (h variable))))))))) (compound (functor \"sins\") (args variable)))",
+ "(clause (binop \"=<\" variable) (compound (functor \"sins\") (args variable)))",
+ "(clause (compound (functor \"sins\") (args variable)) (binop variable \">=\"))",
+ "(clause (head (compound (functor \"sins\") (args \"[]\"))))",
+ "(clause (binop variable \"is\" (binop \"-\" \"1\")))",
+ "(clause (head (compound (functor \"sins\") (args (args (args variable))))) (compound (functor \"append\") (args (args (args variable)))))",
+ "(clause (binop variable \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (t (list (h variable))))))))) (binop variable \"=<\"))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t (list (h variable)))))))) (binop \"<\" variable))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t (list (t variable)))) (args (list (t (list (t (list (t variable))))))))))))",
+ "(clause (binop \"is\" (binop \"-\" \"1\")))",
+ "(clause (head (compound (functor \"sins\") (args (args variable (args (list (t variable))))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (t variable))))))))",
+ "(clause (binop \">\" variable) (compound (functor \"conc\") (args (list (h variable)))))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (t (list (t (list (h variable))))))))))) (binop \"=<\" variable))",
+ "(clause (compound (functor \"append\") (args (list (t (list (h variable)))))))",
+ "(clause (binop \"is\" (binop variable \"-\" \"1\")))",
+ "(clause (compound (functor \"append\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t (list (h variable)))))))) (binop \">\" variable))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t \"[]\")) (args (list (h variable))))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (args variable))))) (compound (functor \"conc\") (args variable)))",
+ "(clause (binop \"=\" (list (t (list (h variable))))) (binop \"=\" (list (t (list (t (list (h variable))))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t variable)) (args (list (t variable))))))))",
+ "(clause (binop \"=\" (list (h variable))) (compound (functor \"conc\") (args (list (h variable)))))",
+ "(clause (binop \"=\" variable))",
+ "(clause (binop variable \"==\"))",
+ "(clause (binop \"=\" (list (t (list (t variable))))) (binop \"=\" (list (t (list (t (list (t variable))))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (h variable))))))) (binop \"=<\" variable))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (t variable))))))) (binop variable \"=\"))",
+ "(clause (binop \">\" variable) (compound (functor \"sins\") (args (args (args (list (h variable)))))))",
+ "(clause (binop \">\" variable) (compound (functor \"conc\") (args variable)))",
+ "(clause (binop \"=\" (list (h variable))) (binop variable \"<\"))",
+ "(clause (binop \"=\" (list (h variable))) (binop \">=\" variable))",
+ "(clause (binop variable \"=<\") (compound (functor \"conc\") (args variable)))",
+ "(clause (binop \">=\" variable) (compound (functor \"conc\") (args (list (h variable)))))",
+ "(clause (binop variable \"<\") (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (head (compound (functor \"sins\") (args variable))) (binop \"is\" (binop variable \"-\")))",
+ "(clause (head (compound (functor \"sins\") (args variable (args (list (h variable)))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t \"[]\")) (args variable))))))",
+ "(clause (binop variable \"=\") (compound (functor \"sins\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"sins\") (args (args variable)))))",
+ "(clause (compound (functor \"conc\") (args (args (args variable)))) (binop \"=\" variable))",
+ "(clause (head (compound (functor \"sins\") (args (args (args variable))))) (binop \"=\" (list (t variable))))",
+ "(clause (binop variable \"is\") (compound (functor \"sins\") (args variable)))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t variable)))))) (binop variable \"=\"))",
+ "(clause (binop \"<\" variable) (binop \"=\" (list (t (list (t (list (h variable))))))))",
+ "(clause (binop variable \">\") (binop variable \">\"))",
+ "(clause (compound (functor \"conc\") (args (args variable))) (compound (functor \"sins\") (args (args (args variable)))))",
+ "(clause (compound (functor \"sins\") (args (args (list (h variable))))))",
+ "(clause (head (compound (functor \"sins\") (args variable))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (h variable))))))) (binop variable \">\"))",
+ "(clause (binop variable \"<\") (binop variable \">=\"))",
+ "(clause (head (compound (functor \"sins\") (args variable))) (compound (functor \"append\") (args (list (h variable)))))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (t (list (t variable))))))))) (compound (functor \"sins\") (args (args variable))))",
+ "(clause (binop \"=\" (list (h variable))) (binop variable \">=\"))",
+ "(clause (binop \"=\" (list (h variable))) (binop \"<\" variable))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t variable)))))) (compound (functor \"sins\") (args (args (list (h variable))))))",
+ "(clause (head (compound (functor \"sins\") (args variable))) (binop variable \"==\"))",
+ "(clause (head (compound (functor \"sins\") (args \"[]\" (args \"[]\")))))",
+ "(clause (binop \">\" variable) (compound (functor \"sins\") (args variable)))",
+ "(clause (head (compound (functor \"sins\") (args \"[]\" (args (args \"[]\"))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (args variable))))) (binop variable \"is\"))",
+ "(clause (compound (functor \"sins2\") (args variable)))",
+ "(clause (compound (functor \"conc\") (args (args (list (t (list (h variable))))))))",
+ "(clause (compound (functor \"is_sorted\") (args (list (h variable)))))",
+ "(clause (head (compound (functor \"sins\") (args (args variable)))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (binop \"=\" (list (t (list (t variable))))) (compound (functor \"sins\") (args (args variable))))",
+ "(clause (compound (functor \"conc\") (args (args (args variable)))) (compound (functor \"sins\") (args (args (args variable)))))",
+ "(clause (binop \"=\" (list (t (list (h variable))))) (binop \"<\" variable))",
+ "(clause (compound (functor \"sins\") (args (args (list (t variable))))))",
+ "(clause (head (compound (functor \"sins\") (args variable))) (compound (functor \"sins\") (args (args (args (list (h variable)))))))",
+ "(clause (binop variable \">=\") (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"is_sorted\") (args (list (h variable))))) (binop variable \"<\"))",
+ "(clause (compound (functor \"append\") (args (args variable))))",
+ "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (h variable))))))) (binop \"<\" variable))",
+ "(clause (compound (functor \"sins\") (args variable (args (args (list (t (list (h variable)))))))))",
+ "(clause (binop variable \">=\") (binop variable \"<\"))",
+ "(clause (head (compound (functor \"sins\") (args variable))) (compound (functor \"sins\") (args (args (args (list (t (list (h variable)))))))))",
+ "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (t variable))))))) (compound (functor \"is_sorted\") (args (list (t variable)))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (compound (functor \"conc\") (args (args (list (t (list (h variable))))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t variable)))))) (compound (functor \"conc\") (args (args (list (t (list (t variable))))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (t (list (t (list (h variable))))))))))) (binop \"<\" variable))",
+ "(clause (compound (functor \"sins\") (args (args (args variable)))) (compound (functor \"is_sorted\") (args variable)))",
+ "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (h variable))))))) (binop \"==\" variable))",
+ "(clause (binop \"=<\" variable) (compound (functor \"conc\") (args (list (h variable)))))",
+ "(clause (binop \"=\" (list (h variable))) (binop variable \"=<\"))",
+ "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (h variable))))))) (compound (functor \"is_sorted\") (args (list (h variable)))))",
+ "(clause (head (compound (functor \"is_sorted\") (args (list (h variable))))) (binop variable \"==\"))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (t (list (t (list (t variable))))))))))) (compound (functor \"sins\") (args (args (args variable)))))",
+ "(clause (binop \"is\" variable))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (t (list (h variable))))))))) (binop variable \"<\"))",
+ "(clause (binop \"=\" (list (t variable))) (binop \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (t variable))))))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (compound (functor \"sins\") (args variable)) (binop variable \"<\"))",
+ "(clause (compound (functor \"sins\") (args (args (args variable)))) (compound (functor \"append\") (args (args variable))))",
+ "(clause (binop variable \"=<\") (compound (functor \"append\") (args (list (h variable)))))",
+ "(clause (binop variable \"=<\") (binop variable \"=<\"))",
+ "(clause (compound (functor \"permute\") (args (args variable))) (compound (functor \"is_sorted\") (args variable)))",
+ "(clause (binop \"=<\" variable) (compound (functor \"conc\") (args (list (t (list (h variable)))))))",
+ "(clause (compound (functor \"conc\") (args (args (args variable)))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (compound (functor \"sins\") (args variable)))",
+ "(clause (binop variable \"<\") (compound (functor \"conc\") (args (args (list (h variable))))))",
+ "(clause (binop \"=\" (list (h variable))) (binop variable \">\"))",
+ "(clause (head (compound (functor \"sins\") (args variable))) (compound (functor \"conc\") (args (list (t (list (h variable)))))))",
+ "(clause (binop \"=\" (list (t (list (h variable))))) (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t variable)))))) (compound (functor \"sins\") (args (args (list (t variable))))))",
+ "(clause (binop \"=\" (list (t (list (h variable))))) (binop \">\" variable))",
+ "(clause (compound (functor \"conc\") (args (list (t (list (t (list (h variable)))))))))",
+ "(clause (binop variable \"is\"))",
+ "(clause (binop \"==\" \"1\"))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t variable)))))) (compound (functor \"sins\") (args (args (args (list (t (list (t variable)))))))))",
+ "(clause (binop \"=\" (list (h variable))) (compound (functor \"sins\") (args variable)))",
+ "(clause (binop \"=\" (list (h variable))) (compound (functor \"append\") (args (list (t (list (h variable)))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (h variable))))))) (binop \"<\" variable))",
+ "(clause (binop \"=\" (list (t variable))) (compound (functor \"append\") (args (args variable))))",
+ "(clause (binop variable \"==\") (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (compound (functor \"sins\") (args (args (list (h variable))))))",
+ "(clause (head (compound (functor \"sins\") (args (args variable)))) (binop \"=\" (list (h variable))))",
+ "(clause (binop variable \"==\" \"1\"))",
+ "(clause (binop variable \">\") (compound (functor \"conc\") (args (args (list (h variable))))))",
+ "(clause (compound (functor \"sins\") (args (args (args variable)))) (binop \"=\" variable))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (h variable))))))) (binop variable \">=\"))",
+ "(clause (binop \"<\" variable) (binop \"=\" (list (h variable))))",
+ "(clause (compound (functor \"conc\") (args variable (args (args variable)))))",
+ "(clause (binop \">\" variable) (compound (functor \"conc\") (args (args (list (h variable))))))",
+ "(clause (compound (functor \"sins\") (args (args variable))) (binop \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (t (list (h variable))))))))) (binop \">\" variable))",
+ "(clause (binop \"=<\" variable) (compound (functor \"conc\") (args (args (list (t (list (h variable))))))))",
+ "(clause (compound (functor \"sins\") (args (args variable (args (list (t variable)))))))",
+ "(clause (head (compound (functor \"sins2\") (args (args (args variable))))) (compound (functor \"conc\") (args variable)))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (compound (functor \"conc\") (args (list (t (list (h variable)))))))",
+ "(clause (binop \"=<\" variable) (binop \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t (list (t variable)))))))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (binop \"=<\" variable) (compound (functor \"append\") (args (list (t (list (h variable)))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t variable)))))) (compound (functor \"sins\") (args (args (args (list (t variable)))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (t variable))))))) (compound (functor \"sins\") (args (args variable))))",
+ "(clause (binop variable \"=<\") (compound (functor \"conc\") (args (list (t (list (h variable)))))))",
+ "(clause (compound (functor \"conc\") (args (args (list (t (list (t variable))))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (binop \"=\" variable))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (h variable))))))) (compound (functor \"is_sorted\") (args (list (h variable)))))",
+ "(clause (binop \"=\" (list (h variable))) (compound (functor \"append\") (args (list (h variable)))))",
+ "(clause (binop \">=\" variable) (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (h variable))))))) (compound (functor \"sins\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t (list (h variable)))))))) (binop \">=\" variable))",
+ "(clause (head (compound (functor \"sins\") (args variable))) (binop variable \"=\"))",
+ "(clause (compound (functor \"conc\") (args variable)) (compound (functor \"sins\") (args (args (args variable)))))",
+ "(clause (binop \"=\" variable) (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t (list (t variable)))))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (compound (functor \"is_sorted\") (args (list (h variable)))))",
+ "(clause (head (compound (functor \"sins2\") (args variable))) (compound (functor \"conc\") (args (args (list (h variable))))))",
+ "(clause (binop variable \"=<\") (compound (functor \"sins\") (args (args (args (list (h variable)))))))",
+ "(clause (binop \"=\" (list (t (list (t (list (h (binop \"=\" \"[]\")))))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (binop \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (t (list (h variable))))))))) (binop variable \">\"))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t variable)))))) (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t variable)))))) (compound (functor \"conc\") (args (list (h variable)))))",
+ "(clause (compound (functor \"sins\") (args variable (args (args (list (h variable)))))))",
+ "(clause (head (compound (functor \"sins\") (args variable))) (binop (list (h variable)) \"=\"))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t (list (h variable)))))))) (compound (functor \"conc\") (args (list (t (list (t (list (h variable)))))))))",
+ "(clause (compound (functor \"sins\") (args (args variable))) (binop \"=\" (list (t (list (t variable))))))",
+ "(clause (binop variable \"=\") (compound (functor \"sins\") (args variable)))",
+ "(clause (binop \"=\" (list (t (list (h variable))))) (binop \"=<\" variable))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t variable)))))) (compound (functor \"conc\") (args (list (t variable)))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t variable)))))) (binop (list (t variable)) \"=\"))"
+ ],
+ "rules": [
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args (args (args variable))))) (compound (functor \"sins\") (args (args (args variable)))))"
+ ],
+ "distribution": [
+ 100,
+ 0
+ ],
+ "quality": 0.9808876432758806
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args variable (args (args variable))))))"
+ ],
+ "distribution": [
+ 65,
+ 0
+ ],
+ "quality": 0.9677851622133488
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args variable))) (binop \"=\" (list (t (list (h variable))))))"
+ ],
+ "distribution": [
+ 94,
+ 1
+ ],
+ "quality": 0.965156282594389
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args variable))))"
+ ],
+ "distribution": [
+ 59,
+ 0
+ ],
+ "quality": 0.9635570811337941
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args (args (list (t (list (h variable)))))))) (binop \"=<\" variable))"
+ ],
+ "distribution": [
+ 57,
+ 0
+ ],
+ "quality": 0.9620571503100492
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (binop variable \"=<\") (compound (functor \"sins\") (args variable)))"
+ ],
+ "distribution": [
+ 56,
+ 0
+ ],
+ "quality": 0.9612483586107097
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (compound (functor \"sins\") (args (args (args variable)))))"
+ ],
+ "distribution": [
+ 69,
+ 1
+ ],
+ "quality": 0.9492448843969059
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args (args (args variable))))))"
+ ],
+ "distribution": [
+ 44,
+ 0
+ ],
+ "quality": 0.9472892138049042
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (binop variable \"=<\") (binop \"=\" (list (t (list (h variable))))))"
+ ],
+ "distribution": [
+ 41,
+ 0
+ ],
+ "quality": 0.9423634075261883
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args (args (list (t variable)))))))"
+ ],
+ "distribution": [
+ 38,
+ 0
+ ],
+ "quality": 0.9362438391543242
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args variable (args (args \"[]\"))))))"
+ ],
+ "distribution": [
+ 38,
+ 0
+ ],
+ "quality": 0.9362438391543242
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args variable (args (args (list (t (list (h variable))))))))))"
+ ],
+ "distribution": [
+ 51,
+ 1
+ ],
+ "quality": 0.9266082478740626
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args (args (args \"[]\"))))))"
+ ],
+ "distribution": [
+ 46,
+ 1
+ ],
+ "quality": 0.9152002140639004
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args (args \"[]\" (args variable))))))",
+ "(clause (binop variable \"=\"))"
+ ],
+ "distribution": [
+ 42,
+ 0
+ ],
+ "quality": 0.9087943314582194
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args (args \"[]\" (args variable))))))"
+ ],
+ "distribution": [
+ 115,
+ 8
+ ],
+ "quality": 0.9028855457375982
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (h variable))))))) (compound (functor \"sins\") (args variable)))"
+ ],
+ "distribution": [
+ 27,
+ 0
+ ],
+ "quality": 0.8989020000391386
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (compound (functor \"sins\") (args variable)) (binop variable \"=<\"))"
+ ],
+ "distribution": [
+ 27,
+ 0
+ ],
+ "quality": 0.8989020000391386
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (binop variable \"<\") (compound (functor \"sins\") (args variable)))"
+ ],
+ "distribution": [
+ 27,
+ 0
+ ],
+ "quality": 0.8989020000391386
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (compound (functor \"sins\") (args (args (args (list (h variable)))))))"
+ ],
+ "distribution": [
+ 26,
+ 0
+ ],
+ "quality": 0.8932052595715085
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (compound (functor \"conc\") (args variable)))"
+ ],
+ "distribution": [
+ 23,
+ 0
+ ],
+ "quality": 0.8738339200055651
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args (args (list (t (list (t variable)))))))) (compound (functor \"sins\") (args (args variable))))"
+ ],
+ "distribution": [
+ 21,
+ 0
+ ],
+ "quality": 0.855298262622929
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (compound (functor \"sins\") (args variable)) (binop \"=\" (list (h variable))))"
+ ],
+ "distribution": [
+ 21,
+ 0
+ ],
+ "quality": 0.855298262622929
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (t (list (t variable))))))))) (compound (functor \"sins\") (args (args (args variable)))))"
+ ],
+ "distribution": [
+ 21,
+ 0
+ ],
+ "quality": 0.855298262622929
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (binop variable \">\") (binop \"=\" (list (h variable))))"
+ ],
+ "distribution": [
+ 20,
+ 0
+ ],
+ "quality": 0.8450662166976287
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (t variable))))))) (compound (functor \"sins\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"sins\") (args variable (args \"[]\")))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t variable)) (args (list (t (list (t variable))))))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (h variable))))))) (binop \">\" variable))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (t (list (h variable))))))))) (binop \"=<\" variable))"
+ ],
+ "distribution": [
+ 3,
+ 44
+ ],
+ "quality": 0.8335487352816061
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (compound (functor \"conc\") (args (args variable))))"
+ ],
+ "distribution": [
+ 18,
+ 0
+ ],
+ "quality": 0.8298329739707182
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args variable))) (compound (functor \"conc\") (args variable)))"
+ ],
+ "distribution": [
+ 18,
+ 0
+ ],
+ "quality": 0.8298329739707182
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (t variable))))))) (compound (functor \"sins\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"sins\") (args variable (args \"[]\")))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t variable)) (args (list (t (list (t variable))))))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (binop \">\" variable))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (t (list (h variable))))))))) (binop \"=<\" variable))"
+ ],
+ "distribution": [
+ 3,
+ 43
+ ],
+ "quality": 0.8294744267227235
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args (args (list (t variable)) (args (list (t (list (t variable))))))))))",
+ "(clause (head (compound (functor \"sins\") (args variable (args \"[]\")))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t variable)))))) (compound (functor \"sins\") (args (args variable))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (binop \">\" variable))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (t (list (h variable))))))))) (binop \"=<\" variable))"
+ ],
+ "distribution": [
+ 8,
+ 45
+ ],
+ "quality": 0.7455981044389828
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args variable (args (args (list (h variable))))))))",
+ "(clause (binop \">\" variable) (binop \"=\" (list (h variable))))",
+ "(clause (binop \"=<\" variable) (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (compound (functor \"sins\") (args (args (args variable)))) (binop \"=\" (list (t variable))))"
+ ],
+ "distribution": [
+ 2,
+ 24
+ ],
+ "quality": 0.7441031979469139
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args (args (list (t variable)) (args (list (t (list (t variable))))))))))",
+ "(clause (head (compound (functor \"sins\") (args variable (args \"[]\")))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t variable)))))) (compound (functor \"sins\") (args (args variable))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (binop \">\" variable))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)) (args (list (h variable))))))))"
+ ],
+ "distribution": [
+ 8,
+ 44
+ ],
+ "quality": 0.7400662138722005
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args (args (args variable))))) (compound (functor \"is_sorted\") (args variable)))",
+ "(clause (compound (functor \"insert\") (args (args (args variable)))) (compound (functor \"is_sorted\") (args variable)))"
+ ],
+ "distribution": [
+ 5,
+ 28
+ ],
+ "quality": 0.7341998361017273
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args variable (args (args (list (h variable))))))))",
+ "(clause (binop variable \"=<\") (binop \"=\" (list (h variable))))",
+ "(clause (binop \">\" variable) (binop \"=\" (list (h variable))))",
+ "(clause (compound (functor \"sins\") (args (args (args variable)))) (binop \"=\" (list (t variable))))"
+ ],
+ "distribution": [
+ 4,
+ 29
+ ],
+ "quality": 0.7303542401887497
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args variable (args (args (list (h variable))))))))",
+ "(clause (binop variable \">\") (compound (functor \"sins\") (args variable)))",
+ "(clause (binop \">\" variable) (binop \"=\" (list (h variable))))",
+ "(clause (binop variable \"=<\") (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t variable)))))) (compound (functor \"sins\") (args (args variable))))"
+ ],
+ "distribution": [
+ 3,
+ 26
+ ],
+ "quality": 0.7110741956551745
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (binop variable \">\") (compound (functor \"sins\") (args variable)))",
+ "(clause (head (compound (functor \"sins\") (args variable))) (binop variable \"=<\"))",
+ "(clause (compound (functor \"sins\") (args (args (args variable)))) (binop \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"sins\") (args variable (args (args (list (h variable))))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (binop \"=\" (list (h variable))))"
+ ],
+ "distribution": [
+ 3,
+ 26
+ ],
+ "quality": 0.7110741956551745
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (compound (functor \"insert\") (args (args (args variable)))) (compound (functor \"is_sorted\") (args variable)))"
+ ],
+ "distribution": [
+ 8,
+ 30
+ ],
+ "quality": 0.7098895699381707
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (binop variable \">\") (compound (functor \"sins\") (args variable)))",
+ "(clause (head (compound (functor \"sins\") (args variable))) (binop variable \"=<\"))",
+ "(clause (compound (functor \"sins\") (args (args (args variable)))) (binop \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"sins\") (args variable (args (args (list (h variable))))))))",
+ "(clause (binop \">\" variable) (binop \"=\" (list (h variable))))"
+ ],
+ "distribution": [
+ 5,
+ 31
+ ],
+ "quality": 0.7060575242929531
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args (args (args variable))))) (compound (functor \"is_sorted\") (args variable)))",
+ "(clause (head (compound (functor \"sins\") (args variable))) (compound (functor \"insert\") (args variable)))"
+ ],
+ "distribution": [
+ 7,
+ 29
+ ],
+ "quality": 0.696226701732783
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args variable (args (args (list (h variable))))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (binop \"=<\" variable))",
+ "(clause (binop variable \">\") (compound (functor \"sins\") (args variable)))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t variable)))))) (compound (functor \"sins\") (args (args variable))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (binop \"=\" (list (h variable))))"
+ ],
+ "distribution": [
+ 6,
+ 31
+ ],
+ "quality": 0.6818629466509938
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args variable (args (args (list (h variable))))))))",
+ "(clause (binop variable \"=<\") (binop \"=\" (list (h variable))))",
+ "(clause (binop \">\" variable) (binop \"=\" (list (h variable))))",
+ "(clause (binop variable \"=<\"))"
+ ],
+ "distribution": [
+ 3,
+ 21
+ ],
+ "quality": 0.6634301112541018
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args variable (args (args (list (h variable))))))))",
+ "(clause (binop variable \">\") (compound (functor \"sins\") (args variable)))",
+ "(clause (head (compound (functor \"sins\") (args variable))) (binop variable \"=<\"))",
+ "(clause (binop \">\" variable) (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"sins\") (args (args \"[]\")))))"
+ ],
+ "distribution": [
+ 10,
+ 36
+ ],
+ "quality": 0.6488769570244319
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (binop variable \">\") (compound (functor \"sins\") (args variable)))",
+ "(clause (compound (functor \"sins\") (args (args (args variable)))) (binop \"=\" (list (t variable))))",
+ "(clause (binop \"=<\" variable) (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (head (compound (functor \"sins\") (args variable (args \"[]\")))))"
+ ],
+ "distribution": [
+ 7,
+ 25
+ ],
+ "quality": 0.6030083742620038
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args variable (args (args (list (h variable))))))))",
+ "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (h variable))))"
+ ],
+ "distribution": [
+ 1,
+ 10
+ ],
+ "quality": 0.5822077796881613
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (t (list (h variable))))))))) (binop \"=<\" variable))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (h variable))))))) (binop \">\" variable))",
+ "(clause (head (compound (functor \"sins\") (args variable (args \"[]\")))))"
+ ],
+ "distribution": [
+ 26,
+ 45
+ ],
+ "quality": 0.554086293717492
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (t variable))))))) (compound (functor \"sins\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"sins\") (args variable (args \"[]\")))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (binop \"=<\" variable))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (h variable))))))) (binop \">\" variable))",
+ "(clause (head (compound (functor \"sins\") (args variable (args (args (list (h variable))))))))"
+ ],
+ "distribution": [
+ 26,
+ 47
+ ],
+ "quality": 0.5431899910006248
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (t variable))))))) (compound (functor \"sins\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (h variable))))))) (binop \">\" variable))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (h variable))))))) (binop variable \"=<\"))",
+ "(clause (head (compound (functor \"sins\") (args variable (args \"[]\")))))"
+ ],
+ "distribution": [
+ 26,
+ 45
+ ],
+ "quality": 0.540320563981338
+ }
+ ]
+} \ No newline at end of file
diff --git a/prolog/problems/sorting/slowest_sort_ever_2/bugs.json b/prolog/problems/sorting/slowest_sort_ever_2/bugs.json
new file mode 100644
index 0000000..422291f
--- /dev/null
+++ b/prolog/problems/sorting/slowest_sort_ever_2/bugs.json
@@ -0,0 +1,245 @@
+{
+ "patterns": [
+ "(clause (head (compound (functor \"slowest_sort_ever\") (args variable))) (compound (functor \"permute\") (args variable)))",
+ "(clause (compound (functor \"permute\") (args (args variable))) (compound (functor \"is_sorted\") (args variable)))",
+ "(clause (head (compound (functor \"slowest_sort_ever\") (args (args variable)))) (compound (functor \"is_sorted\") (args variable)))",
+ "(clause (head (compound (functor \"slowest_sort_ever\") (args (args variable)))) (compound (functor \"permute\") (args (args variable))))",
+ "(clause (head (compound (functor \"slowest_sort_ever\") (args (args \"[]\")))))",
+ "(clause (head (compound (functor \"slowest_sort_ever\") (args \"[]\"))))",
+ "(clause (head (compound (functor \"slowest_sort_ever\") (args \"[]\" (args \"[]\")))))",
+ "(clause (head (compound (functor \"slowest_sort_ever\") (args (args variable)))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"slowest_sort_ever\") (args (list (h variable)) (args (list (h variable)))))))",
+ "(clause (binop variable \"=<\"))",
+ "(clause (head (compound (functor \"slowest_sort_ever\") (args (args variable)))))",
+ "(clause (head (compound (functor \"slowest_sort_ever\") (args (args variable)))) (compound (functor \"slowest_sort_ever\") (args (args variable))))",
+ "(clause (binop \"=<\" variable))",
+ "(clause (head (compound (functor \"slowest_sort_ever\") (args variable))) (compound (functor \"is_sorted\") (args variable)))",
+ "(clause (head (compound (functor \"slowest_sort_ever\") (args variable))) (binop variable \"=\"))",
+ "(clause (compound (functor \"is_sorted\") (args variable)))",
+ "(clause (binop variable \"=\"))",
+ "(clause (head (compound (functor \"slowest_sort_ever\") (args (args (list (t variable)))))) (compound (functor \"slowest_sort_ever\") (args (args variable))))",
+ "(clause (compound (functor \"is_sorted\") (args variable)) (binop \"=\" variable))",
+ "(clause (head (compound (functor \"slowest_sort_ever\") (args (list (t (list (t variable))))))) (compound (functor \"slowest_sort_ever\") (args (list (t variable)))))",
+ "(clause (head (compound (functor \"slowest_sort_ever\") (args (list (t (list (t \"[]\")))) (args (list (t (list (h variable)))))))))",
+ "(clause (head (compound (functor \"slowest_sort_ever\") (args (list (t (list (t \"[]\")))) (args (list (h variable)))))))",
+ "(clause (head (compound (functor \"slowest_sort_ever\") (args (list (t (list (t \"[]\"))))))))",
+ "(clause (head (compound (functor \"slowest_sort_ever\") (args (list (h variable) (t (list (t \"[]\"))))))))",
+ "(clause (head (compound (functor \"slowest_sort_ever\") (args (list (t (list (h variable) (t \"[]\"))))))))",
+ "(clause (head (compound (functor \"slowest_sort_ever\") (args (list (h variable))))) (binop variable \">\"))",
+ "(clause (binop \"=\" (list (h variable))))",
+ "(clause (binop \"=\" \"[]\"))",
+ "(clause (compound (functor \"permute\") (args (args variable))) (compound (functor \"slowest_sort_ever\") (args variable)))",
+ "(clause (head (compound (functor \"slowest_sort_ever\") (args (list (t (list (h variable))))))) (compound (functor \"slowest_sort_ever\") (args (list (h variable)))))",
+ "(clause (binop variable \"=\" \"[]\"))",
+ "(clause (compound (functor \"slowest_sort_ever\") (args (args variable))))",
+ "(clause (head (compound (functor \"slowest_sort_ever\") (args (list (t (list (h variable))))))) (binop \"<\" variable))",
+ "(clause (head (compound (functor \"slowest_sort_ever\") (args (args (list (h variable)))))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"slowest_sort_ever\") (args (list (h variable))))) (binop variable \"<\"))",
+ "(clause (head (compound (functor \"slowest_sort_ever\") (args (list (t (list (h variable))))))) (binop \"=\" variable))",
+ "(clause (binop \"<\" variable))",
+ "(clause (head (compound (functor \"slowest_sort_ever\") (args (args (list (h variable)))))) (binop variable \"<\"))",
+ "(clause (head (compound (functor \"slowest_sort_ever\") (args (list (t variable))))) (compound (functor \"slowest_sort_ever\") (args variable)))",
+ "(clause (head (compound (functor \"slowest_sort_ever\") (args (list (h variable))))) (binop variable \"=\"))",
+ "(clause (binop variable \"<\"))",
+ "(clause (compound (functor \"slowest_sort_ever\") (args (list (h variable)))))",
+ "(clause (head (compound (functor \"slowest_sort_ever\") (args (list (h variable) (t \"[]\"))))))",
+ "(clause (compound (functor \"append\") (args (list (h variable)))))",
+ "(clause (compound (functor \"append\") (args (args (list (h variable))))))",
+ "(clause (compound (functor \"del\") (args (args (args variable)))) (compound (functor \"slowest_sort_ever\") (args variable)))",
+ "(clause (head (compound (functor \"slowest_sort_ever\") (args (list (t \"[]\"))))))",
+ "(clause (head (compound (functor \"slowest_sort_ever\") (args variable (args variable)))))",
+ "(clause (binop \"=\" variable))",
+ "(clause (head (compound (functor \"slowest_sort_ever\") (args variable))) (compound (functor \"del\") (args (args variable))))",
+ "(clause (compound (functor \"permute\") (args (args variable))) (binop \"=\" variable))",
+ "(clause (head (compound (functor \"slowest_sort_ever\") (args (list (t (list (h variable))))))) (binop \">\" variable))",
+ "(clause (head (compound (functor \"slowest_sort_ever\") (args (args (list (h variable)))))) (binop \">\" variable))",
+ "(clause (head (compound (functor \"slowest_sort_ever\") (args (list (t (list (h variable)))) (args (list (h variable)))))))",
+ "(clause (compound (functor \"min\") (args (args variable))) (compound (functor \"del\") (args variable)))",
+ "(clause (head (compound (functor \"slowest_sort_ever\") (args (list (h variable))))) (compound (functor \"slowest_sort_ever\") (args (list (h variable)))))",
+ "(clause (head (compound (functor \"slowest_sort_ever\") (args variable))) (compound (functor \"min\") (args variable)))",
+ "(clause (head (compound (functor \"slowest_sort_ever\") (args (list (t \"[]\")) (args (list (h variable)))))))",
+ "(clause (head (compound (functor \"slowest_sort_ever\") (args (list (t (list (h variable)))) (args (list (t (list (h variable)))))))))",
+ "(clause (head (compound (functor \"slowest_sort_ever\") (args (list (h variable))))) (binop variable \"=<\"))",
+ "(clause (head (compound (functor \"slowest_sort_ever\") (args (args (list (t (list (h variable)))))))) (binop \"<\" variable))",
+ "(clause (compound (functor \"min\") (args variable)) (compound (functor \"del\") (args (args variable))))",
+ "(clause (head (compound (functor \"slowest_sort_ever\") (args (args (list (t (list (h variable)))))))) (binop \"=\" variable))",
+ "(clause (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (head (compound (functor \"slowest_sort_ever\") (args (list (t (list (t variable))))))) (binop \"=\" (list (t (list (t variable))))))",
+ "(clause (binop \"<\" variable) (compound (functor \"slowest_sort_ever\") (args (list (h variable)))))",
+ "(clause (compound (functor \"min\") (args (args variable))) (binop \"=\" (list (h variable))))",
+ "(clause (binop \"=\" (list (t variable))) (compound (functor \"slowest_sort_ever\") (args variable)))",
+ "(clause (compound (functor \"slowest_sort_ever\") (args (list (t variable)))))",
+ "(clause (head (compound (functor \"slowest_sort_ever\") (args variable))) (compound (functor \"slowest_sort_ever\") (args variable)))",
+ "(clause (compound (functor \"slowest_sort_ever\") (args (args variable))) (binop variable \"=\"))",
+ "(clause (binop \"=\" (list (t (list (t variable))))))",
+ "(clause (head (compound (functor \"slowest_sort_ever\") (args (list (h variable)) (args (list (t (list (h variable)))))))))",
+ "(clause (binop \"=\" variable) (compound (functor \"slowest_sort_ever\") (args (list (h variable)))))",
+ "(clause (head (compound (functor \"slowest_sort_ever\") (args (args (list (t (list (h variable)))))))) (binop variable \">\"))",
+ "(clause (binop \"=<\" variable) (compound (functor \"append\") (args (args (list (h variable))))))",
+ "(clause (compound (functor \"append\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"slowest_sort_ever\") (args variable))))",
+ "(clause (compound (functor \"append\") (args (args (list (t variable))))))",
+ "(clause (compound (functor \"is_sorted\") (args variable)) (compound (functor \"permute\") (args (args variable))))",
+ "(clause (compound (functor \"slowest_sort_ever\") (args (list (h variable)))) (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (head (compound (functor \"slowest_sort_ever\") (args variable))) (binop \"=\" variable))",
+ "(clause (binop variable \"=<\") (compound (functor \"append\") (args (list (h variable)))))",
+ "(clause (head (compound (functor \"slowest_sort_ever\") (args (args variable)))) (binop \"=\" variable))",
+ "(clause (binop variable \"=\" (list (t \"[]\"))))",
+ "(clause (head (compound (functor \"slowest_sort_ever\") (args (list (t (list (h variable))))))) (binop \"=<\" variable))",
+ "(clause (binop \"=\" (list (h variable) (t \"[]\"))))",
+ "(clause (binop variable \">\") (compound (functor \"vstavi\") (args variable)))",
+ "(clause (head (compound (functor \"slowest_sort_ever\") (args (args (list (h variable)))))) (compound (functor \"min\") (args (args variable))))",
+ "(clause (head (compound (functor \"ins\") (args (args (args variable))))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"vstavi\") (args (args (args variable))))) (compound (functor \"append\") (args (args (args variable)))))",
+ "(clause (compound (functor \"memb\") (args (args variable))) (compound (functor \"slowest_sort_ever\") (args (args variable))))",
+ "(clause (head (compound (functor \"slowest_sort_ever\") (args (args (list (h variable)))))) (compound (functor \"del\") (args variable)))",
+ "(clause (head (compound (functor \"slowest_sort_ever\") (args (list (h variable))))) (binop variable \">=\"))",
+ "(clause (head (compound (functor \"slowest_sort_ever\") (args (args variable)))) (compound (functor \"memb\") (args (args variable))))",
+ "(clause (binop \"=\" (list (t \"[]\"))))",
+ "(clause (binop variable \">\") (compound (functor \"slowest_sort_ever\") (args (list (h variable)))))",
+ "(clause (compound (functor \"slowest_sort_ever\") (args (list (t variable)))) (binop \"=\" (list (t (list (t variable))))))",
+ "(clause (head (compound (functor \"slowest_sort_ever\") (args (list (t (list (h variable))))))) (binop \">=\" variable))",
+ "(clause (binop variable \"=<\") (binop \"=\" (list (h variable))))",
+ "(clause (binop \"=\" (list (h variable))) (compound (functor \"memb\") (args variable)))",
+ "(clause (compound (functor \"is_sorted\") (args variable)) (binop variable \"=\"))",
+ "(clause (compound (functor \"del\") (args variable)) (binop \"=\" (list (h variable))))",
+ "(clause (compound (functor \"slowest_sort_ever\") (args (list (h variable)))) (binop \"=<\" variable))",
+ "(clause (head (compound (functor \"slowest_sort_ever\") (args (args variable)))) (compound (functor \"sins\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"slowest_sort_ever\") (args (args variable)))) (compound (functor \"append\") (args (args (args variable)))))"
+ ],
+ "rules": [
+ {
+ "class": true,
+ "condition": [
+ "(clause (compound (functor \"permute\") (args (args variable))) (compound (functor \"is_sorted\") (args variable)))",
+ "(clause (head (compound (functor \"slowest_sort_ever\") (args (args variable)))) (compound (functor \"permute\") (args (args variable))))"
+ ],
+ "distribution": [
+ 1,
+ 128
+ ],
+ "quality": 0.977312994125087
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"slowest_sort_ever\") (args (args variable)))))"
+ ],
+ "distribution": [
+ 33,
+ 0
+ ],
+ "quality": 0.9411313315204629
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (compound (functor \"permute\") (args (args variable))) (compound (functor \"slowest_sort_ever\") (args variable)))"
+ ],
+ "distribution": [
+ 17,
+ 0
+ ],
+ "quality": 0.8866114188337576
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (compound (functor \"permute\") (args (args variable))) (compound (functor \"is_sorted\") (args variable)))"
+ ],
+ "distribution": [
+ 22,
+ 142
+ ],
+ "quality": 0.8544563360679102
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"slowest_sort_ever\") (args (list (t (list (h variable))))))) (compound (functor \"slowest_sort_ever\") (args (list (h variable)))))"
+ ],
+ "distribution": [
+ 12,
+ 0
+ ],
+ "quality": 0.8401627944197684
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"slowest_sort_ever\") (args (args variable)))) (compound (functor \"is_sorted\") (args variable)))"
+ ],
+ "distribution": [
+ 26,
+ 130
+ ],
+ "quality": 0.8198601268494158
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"slowest_sort_ever\") (args (list (t (list (t \"[]\")))) (args (list (t (list (h variable)))))))))"
+ ],
+ "distribution": [
+ 10,
+ 0
+ ],
+ "quality": 0.8064072034153157
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"slowest_sort_ever\") (args (list (h variable))))) (compound (functor \"slowest_sort_ever\") (args (list (h variable)))))"
+ ],
+ "distribution": [
+ 8,
+ 0
+ ],
+ "quality": 0.7647521693776633
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (compound (functor \"is_sorted\") (args variable)) (compound (functor \"permute\") (args (args variable))))"
+ ],
+ "distribution": [
+ 7,
+ 0
+ ],
+ "quality": 0.7291291418494714
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"slowest_sort_ever\") (args variable))))"
+ ],
+ "distribution": [
+ 7,
+ 0
+ ],
+ "quality": 0.7291291418494714
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"slowest_sort_ever\") (args variable))) (binop \"=\" variable))"
+ ],
+ "distribution": [
+ 7,
+ 0
+ ],
+ "quality": 0.7291291418494714
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (compound (functor \"memb\") (args (args variable))) (compound (functor \"slowest_sort_ever\") (args (args variable))))"
+ ],
+ "distribution": [
+ 6,
+ 0
+ ],
+ "quality": 0.6915761303761268
+ }
+ ]
+} \ No newline at end of file