From 92c49ac708e04e545da6e7aafe91cac8f223f475 Mon Sep 17 00:00:00 2001 From: Timotej Lazar Date: Mon, 27 Feb 2017 18:35:01 +0100 Subject: Prolog: add bugs files for the first six groups --- prolog/problems/sorting/is_sorted_1/bugs.json | 287 +++++++ prolog/problems/sorting/isort_2/bugs.json | 390 +++++++++ prolog/problems/sorting/pivoting_4/bugs.json | 614 ++++++++++++++ prolog/problems/sorting/quick_sort_2/bugs.json | 594 ++++++++++++++ prolog/problems/sorting/sins_3/bugs.json | 900 +++++++++++++++++++++ .../problems/sorting/slowest_sort_ever_2/bugs.json | 245 ++++++ 6 files changed, 3030 insertions(+) create mode 100644 prolog/problems/sorting/is_sorted_1/bugs.json create mode 100644 prolog/problems/sorting/isort_2/bugs.json create mode 100644 prolog/problems/sorting/pivoting_4/bugs.json create mode 100644 prolog/problems/sorting/quick_sort_2/bugs.json create mode 100644 prolog/problems/sorting/sins_3/bugs.json create mode 100644 prolog/problems/sorting/slowest_sort_ever_2/bugs.json (limited to 'prolog/problems/sorting') 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 -- cgit v1.2.1