diff options
Diffstat (limited to 'prolog/problems/license_plates/checklicenseplate_3/bugs.json')
| -rw-r--r-- | prolog/problems/license_plates/checklicenseplate_3/bugs.json | 310 |
1 files changed, 310 insertions, 0 deletions
diff --git a/prolog/problems/license_plates/checklicenseplate_3/bugs.json b/prolog/problems/license_plates/checklicenseplate_3/bugs.json new file mode 100644 index 0000000..e04255e --- /dev/null +++ b/prolog/problems/license_plates/checklicenseplate_3/bugs.json @@ -0,0 +1,310 @@ +{ + "patterns": [ + "(clause (compound (functor \"firstMinus\") (args (args variable))) (compound (functor \"genexp\") (args variable)))", + "(clause (head (compound (functor \"checkLicensePlate\") (args variable))) (compound (functor \"getdigits\") (args variable)))", + "(clause (head (compound (functor \"checkLicensePlate\") (args (args (args variable))))) (compound (functor \"genexp\") (args (args variable))))", + "(clause (head (compound (functor \"checkLicensePlate\") (args (args variable)))) (compound (functor \"genexp\") (args (args variable))))", + "(clause (compound (functor \"joindigits\") (args (args variable))) (compound (functor \"firstMinus\") (args variable)))", + "(clause (head (compound (functor \"checkLicensePlate\") (args (args variable)))) (binop variable \"=:=\"))", + "(clause (compound (functor \"getdigits\") (args (args variable))) (compound (functor \"joindigits\") (args variable)))", + "(clause (head (compound (functor \"checkLicensePlate\") (args (args (args variable))))) (binop \"=:=\" variable))", + "(clause (compound (functor \"genexp\") (args (args variable))) (binop variable \"=:=\"))", + "(clause (compound (functor \"genexp\") (args (args variable))) (binop \"=:=\" variable))", + "(clause (compound (functor \"joindigits\") (args (args variable))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (compound (functor \"getdigits\") (args (args variable))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (compound (functor \"conc\") (args variable)) (compound (functor \"joindigits\") (args variable)))", + "(clause (compound (functor \"conc\") (args variable)) (compound (functor \"firstMinus\") (args variable)))", + "(clause (compound (functor \"conc\") (args (args variable))) (compound (functor \"firstMinus\") (args variable)))", + "(clause (compound (functor \"genexp\") (args (args variable))) (binop \"is\" variable))", + "(clause (compound (functor \"conc\") (args (args variable))) (compound (functor \"joindigits\") (args variable)))", + "(clause (head (compound (functor \"checkLicensePlate\") (args (args (args variable))))) (binop \"is\" variable))", + "(clause (compound (functor \"joindigits\") (args (args variable))) (compound (functor \"genexp\") (args variable)))", + "(clause (compound (functor \"genexp\") (args (args variable))) (compound (functor \"firstMinus\") (args variable)))", + "(clause (head (compound (functor \"checkLicensePlate\") (args (args variable)))) (binop \"is\" variable))", + "(clause (compound (functor \"conc\") (args variable)) (compound (functor \"genexp\") (args variable)))", + "(clause (compound (functor \"genexp\") (args (args variable))) (binop \"=\" variable))", + "(clause (compound (functor \"conc\") (args (args variable))) (compound (functor \"genexp\") (args variable)))", + "(clause (head (compound (functor \"checkLicensePlate\") (args (args (args variable))))))", + "(clause (head (compound (functor \"checkLicensePlate\") (args (args variable)))))", + "(clause (head (compound (functor \"checkLicensePlate\") (args (args variable)))) (binop variable \"=\"))", + "(clause (compound (functor \"firstMinus\") (args (args variable))))", + "(clause (compound (functor \"conc\") (args (args (list (h variable))))) (compound (functor \"firstMinus\") (args (list (h variable)))))", + "(clause (compound (functor \"conc\") (args (list (h variable)))) (compound (functor \"firstMinus\") (args (list (h variable)))))", + "(clause (binop variable \"\\=\" \"[]\"))", + "(clause (head (compound (functor \"checkLicensePlate\") (args (args variable)))) (binop variable \"is\"))", + "(clause (binop \"\\==\" \"[]\"))", + "(clause (compound (functor \"conc\") (args (list (t variable)))) (compound (functor \"firstMinus\") (args (list (t variable)))))", + "(clause (binop variable \"\\==\" \"[]\"))", + "(clause (compound (functor \"minus\") (args (args variable))) (compound (functor \"genexp\") (args variable)))", + "(clause (binop \"\\=\" \"[]\"))", + "(clause (compound (functor \"conc\") (args (args (list (t variable))))) (compound (functor \"firstMinus\") (args (list (t variable)))))", + "(clause (compound (functor \"genexp\") (args (args variable))) (binop variable \"is\"))", + "(clause (binop variable \"is\") (binop variable \"=:=\"))", + "(clause (head (compound (functor \"checkLicensePlate\") (args (args variable)))) (compound (functor \"firstMinus\") (args (args variable))))", + "(clause (compound (functor \"genexp\") (args (args variable))) (binop variable \"=\"))", + "(clause (binop variable \"is\") (binop \"=:=\" variable))", + "(clause (head (compound (functor \"checkLicensePlate\") (args (args (args variable))))) (binop \"=\" variable))", + "(clause (compound (functor \"firstMinus\") (args (args variable))) (binop variable \"=:=\"))", + "(clause (head (compound (functor \"checkLicensePlate\") (args (args (args variable))))) (compound (functor \"firstMinus\") (args (args variable))))", + "(clause (compound (functor \"firstMinus\") (args variable)))", + "(clause (compound (functor \"conc\") (args (args variable))))", + "(clause (compound (functor \"joindigits\") (args variable)))", + "(clause (compound (functor \"firstMinus\") (args (args variable))) (binop \"=:=\" variable))", + "(clause (compound (functor \"genexp\") (args variable)))", + "(clause (compound (functor \"firstMinus\") (args (args variable))) (compound (functor \"joindigits\") (args variable)))", + "(clause (compound (functor \"genexp\") (args variable)) (compound (functor \"genexp\") (args variable)))", + "(clause (binop variable \"is\") (binop \"==\" variable))", + "(clause (compound (functor \"firstMinus\") (args variable)) (compound (functor \"genexp\") (args variable)))", + "(clause (binop variable \"\\=\") (compound (functor \"firstMinus\") (args variable)))", + "(clause (head (compound (functor \"checkLicensePlate\") (args variable))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (binop variable \"is\") (binop variable \"==\"))", + "(clause (compound (functor \"getdigits\") (args (args variable))))", + "(clause (binop variable \"\\==\") (compound (functor \"joindigits\") (args variable)))", + "(clause (head (compound (functor \"checkLicensePlate\") (args (args variable)))) (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"checkLicensePlate\") (args variable))))", + "(clause (head (compound (functor \"checkLicensePlate\") (args (args (args variable))))) (compound (functor \"conc\") (args (args variable))))", + "(clause (compound (functor \"getdigits\") (args variable)))", + "(clause (compound (functor \"conc\") (args variable)) (binop variable \"\\=\"))", + "(clause (compound (functor \"conc\") (args variable)))", + "(clause (compound (functor \"conc\") (args (args variable))) (binop variable \"\\=\"))", + "(clause (head (compound (functor \"checkLicensePlate\") (args (args (args variable))))) (binop variable \"=\"))", + "(clause (head (compound (functor \"checkLicensePlate\") (args (args (args variable))))) (compound (functor \"expr\") (args (args variable))))", + "(clause (binop variable \"is\") (binop \"=\" variable))", + "(clause (compound (functor \"conc\") (args variable)) (compound (functor \"expr\") (args variable)))", + "(clause (compound (functor \"append\") (args (args variable))) (compound (functor \"firstMinus\") (args variable)))", + "(clause (compound (functor \"conc\") (args (args variable))) (compound (functor \"expr\") (args variable)))", + "(clause (compound (functor \"expr\") (args (args variable))) (binop \"is\" variable))", + "(clause (compound (functor \"conc\") (args (args variable))) (compound (functor \"minus\") (args variable)))", + "(clause (head (compound (functor \"checkLicensePlate\") (args (args variable)))) (compound (functor \"expr\") (args (args variable))))", + "(clause (compound (functor \"conc\") (args variable)) (compound (functor \"minus\") (args variable)))", + "(clause (compound (functor \"append\") (args variable)) (compound (functor \"firstMinus\") (args variable)))", + "(clause (head (compound (functor \"checkLicensePlate\") (args (args variable)))) (compound (functor \"firstMinus\") (args variable)))" + ], + "rules": [ + { + "class": false, + "condition": [ + "(clause (compound (functor \"conc\") (args variable)) (compound (functor \"genexp\") (args variable)))" + ], + "distribution": [ + 24, + 0 + ], + "quality": 0.9277419131040384 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"checkLicensePlate\") (args (args (args variable))))))" + ], + "distribution": [ + 19, + 0 + ], + "quality": 0.9054009788960287 + }, + { + "class": true, + "condition": [ + "(clause (compound (functor \"firstMinus\") (args (args variable))) (compound (functor \"genexp\") (args variable)))", + "(clause (head (compound (functor \"checkLicensePlate\") (args variable))) (compound (functor \"getdigits\") (args variable)))", + "(clause (head (compound (functor \"checkLicensePlate\") (args (args variable)))) (binop variable \"=:=\"))", + "(clause (compound (functor \"conc\") (args variable)) (compound (functor \"firstMinus\") (args variable)))" + ], + "distribution": [ + 0, + 27 + ], + "quality": 0.8941908789726357 + }, + { + "class": true, + "condition": [ + "(clause (compound (functor \"firstMinus\") (args (args variable))) (compound (functor \"genexp\") (args variable)))", + "(clause (head (compound (functor \"checkLicensePlate\") (args variable))) (compound (functor \"getdigits\") (args variable)))", + "(clause (head (compound (functor \"checkLicensePlate\") (args (args (args variable))))) (compound (functor \"genexp\") (args (args variable))))", + "(clause (compound (functor \"genexp\") (args (args variable))) (binop \"=:=\" variable))", + "(clause (compound (functor \"conc\") (args variable)) (compound (functor \"firstMinus\") (args variable)))" + ], + "distribution": [ + 0, + 28 + ], + "quality": 0.8920491564906982 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"genexp\") (args (args variable))) (compound (functor \"firstMinus\") (args variable)))" + ], + "distribution": [ + 16, + 0 + ], + "quality": 0.8877545064508546 + }, + { + "class": true, + "condition": [ + "(clause (compound (functor \"firstMinus\") (args (args variable))) (compound (functor \"genexp\") (args variable)))", + "(clause (head (compound (functor \"checkLicensePlate\") (args (args variable)))) (binop variable \"=:=\"))", + "(clause (compound (functor \"joindigits\") (args (args variable))) (compound (functor \"conc\") (args (args (args variable)))))" + ], + "distribution": [ + 1, + 28 + ], + "quality": 0.8656595841479879 + }, + { + "class": true, + "condition": [ + "(clause (compound (functor \"firstMinus\") (args (args variable))) (compound (functor \"genexp\") (args variable)))", + "(clause (head (compound (functor \"checkLicensePlate\") (args (args variable)))) (binop variable \"=:=\"))", + "(clause (compound (functor \"getdigits\") (args (args variable))) (compound (functor \"joindigits\") (args variable)))" + ], + "distribution": [ + 2, + 32 + ], + "quality": 0.8535293985919059 + }, + { + "class": true, + "condition": [ + "(clause (compound (functor \"firstMinus\") (args (args variable))) (compound (functor \"genexp\") (args variable)))", + "(clause (head (compound (functor \"checkLicensePlate\") (args variable))) (compound (functor \"getdigits\") (args variable)))", + "(clause (head (compound (functor \"checkLicensePlate\") (args (args variable)))) (binop variable \"=:=\"))" + ], + "distribution": [ + 8, + 62 + ], + "quality": 0.8470115183102656 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"checkLicensePlate\") (args (args variable)))) (binop variable \"is\"))" + ], + "distribution": [ + 12, + 0 + ], + "quality": 0.8457042790248678 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"firstMinus\") (args (args variable))))" + ], + "distribution": [ + 11, + 0 + ], + "quality": 0.8278353555438855 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"genexp\") (args (args variable))) (binop variable \"is\"))" + ], + "distribution": [ + 11, + 0 + ], + "quality": 0.8278353555438855 + }, + { + "class": true, + "condition": [ + "(clause (compound (functor \"firstMinus\") (args (args variable))) (compound (functor \"genexp\") (args variable)))", + "(clause (head (compound (functor \"checkLicensePlate\") (args (args variable)))) (binop variable \"=:=\"))" + ], + "distribution": [ + 11, + 64 + ], + "quality": 0.8208365194089547 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"conc\") (args (args variable))))" + ], + "distribution": [ + 9, + 0 + ], + "quality": 0.7903843289592625 + }, + { + "class": true, + "condition": [ + "(clause (compound (functor \"firstMinus\") (args (args variable))) (compound (functor \"genexp\") (args variable)))", + "(clause (head (compound (functor \"checkLicensePlate\") (args variable))) (compound (functor \"getdigits\") (args variable)))", + "(clause (compound (functor \"genexp\") (args (args variable))) (binop \"=:=\" variable))" + ], + "distribution": [ + 15, + 64 + ], + "quality": 0.7751721169577588 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"genexp\") (args variable)) (compound (functor \"genexp\") (args variable)))" + ], + "distribution": [ + 8, + 0 + ], + "quality": 0.7689418680044113 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"getdigits\") (args (args variable))))" + ], + "distribution": [ + 8, + 0 + ], + "quality": 0.7689418680044113 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"genexp\") (args variable)))" + ], + "distribution": [ + 8, + 0 + ], + "quality": 0.7689418680044113 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"checkLicensePlate\") (args (args variable)))) (compound (functor \"conc\") (args variable)))" + ], + "distribution": [ + 7, + 0 + ], + "quality": 0.7407487585764876 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"checkLicensePlate\") (args variable))))" + ], + "distribution": [ + 7, + 0 + ], + "quality": 0.7407487585764876 + } + ] +}
\ No newline at end of file |