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/isort_2/bugs.json | 390 ++++++++++++++++++++++++++++++ 1 file changed, 390 insertions(+) create mode 100644 prolog/problems/sorting/isort_2/bugs.json (limited to 'prolog/problems/sorting/isort_2') 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 -- cgit v1.2.1