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