diff options
Diffstat (limited to 'prolog/problems/trees/numberbt_2')
| -rw-r--r-- | prolog/problems/trees/numberbt_2/bugs.json | 365 |
1 files changed, 365 insertions, 0 deletions
diff --git a/prolog/problems/trees/numberbt_2/bugs.json b/prolog/problems/trees/numberbt_2/bugs.json new file mode 100644 index 0000000..3034ce9 --- /dev/null +++ b/prolog/problems/trees/numberbt_2/bugs.json @@ -0,0 +1,365 @@ +{ + "patterns": [ + "(clause (head (compound (functor \"numberBT\") (args (compound (functor \"b\") (args (args variable)))))))", + "(clause (head (compound (functor \"numberBT\") (args (args variable)))) (binop variable \"is\"))", + "(clause (head (compound (functor \"numberBT\") (args (compound (functor \"b\") (args variable))))) (compound (functor \"numberBT\") (args variable)))", + "(clause (binop \"is\" (binop \"+\" \"1\")))", + "(clause (binop variable \"is\" (binop \"+\" \"1\")))", + "(clause (head (compound (functor \"numberBT\") (args (compound (functor \"b\") (args (args (args variable))))))) (compound (functor \"numberBT\") (args variable)))", + "(clause (head (compound (functor \"numberBT\") (args (args \"0\")))))", + "(clause (compound (functor \"numberBT\") (args (args variable))) (binop \"is\" (binop (binop \"+\" variable) \"+\")))", + "(clause (binop \"is\" (binop (binop \"+\" variable) \"+\" \"1\")))", + "(clause (binop \"is\" (binop (binop variable \"+\") \"+\" \"1\")))", + "(clause (compound (functor \"numberBT\") (args (args variable))) (binop \"is\" (binop (binop variable \"+\") \"+\")))", + "(clause (compound (functor \"numberBT\") (args (args variable))) (binop \"is\" (binop variable \"+\")))", + "(clause (binop \"is\" (binop variable \"+\" \"1\")))", + "(clause (head (compound (functor \"numberBT\") (args (args \"1\")))))", + "(clause (head (compound (functor \"numberBT\") (args (compound (functor \"b\") (args (args variable))) (args \"1\")))))", + "(clause (compound (functor \"numberBT\") (args (args variable))) (binop \"is\" (binop \"+\" variable)))", + "(clause (head (compound (functor \"numberBT\") (args (args variable)))) (binop \"is\" (binop variable \"+\")))", + "(clause (head (compound (functor \"numberBT\") (args (args variable)))) (binop variable \"=\"))", + "(clause (binop variable \"is\" (binop variable \"+\")))", + "(clause (binop variable \"is\") (binop \"is\" (binop variable \"+\")))", + "(clause (head (compound (functor \"numberBT\") (args (compound (functor \"b\") (args (args (args variable))))))))", + "(clause (head (compound (functor \"numberBT\") (args (args variable)))))", + "(clause (compound (functor \"numberBT\") (args (args variable))) (compound (functor \"numberBT\") (args (args variable))))", + "(clause (binop variable \"is\") (binop variable \"is\"))", + "(clause (binop \"is\" (binop variable \"+\")) (compound (functor \"numberBT\") (args (args variable))))", + "(clause (compound (functor \"numberBT\") (args (args variable))))", + "(clause (binop \"is\" (binop (binop \"1\" \"+\") \"+\")))", + "(clause (binop \"is\" (binop (binop \"1\" \"+\" variable) \"+\")))", + "(clause (binop variable \"is\" (binop (binop \"1\" \"+\") \"+\")))", + "(clause (binop variable \"is\") (compound (functor \"numberBT\") (args (args variable))))", + "(clause (binop \"=\" (compound (functor \"b\") (args variable))) (compound (functor \"numberBT\") (args variable)))", + "(clause (binop \"is\" (binop (binop \"1\" \"+\") \"+\" variable)))", + "(clause (binop \"=\" (compound (functor \"b\") (args (args variable)))))", + "(clause (head (compound (functor \"numberBT\") (args variable))) (binop variable \"=\"))", + "(clause (head (compound (functor \"numberBT\") (args (args variable)))) (compound (functor \"numberBT\") (args (args variable))))", + "(clause (binop \"=\" (compound (functor \"b\") (args (args (args variable))))) (compound (functor \"numberBT\") (args variable)))", + "(clause (binop variable \"=\" (binop \"+\" \"1\")))", + "(clause (binop \"=\" (binop \"+\" \"1\")))", + "(clause (compound (functor \"numberBT\") (args (args variable))) (binop variable \"is\"))", + "(clause (binop \"is\" \"1\"))", + "(clause (binop variable \"is\" \"1\"))", + "(clause (binop \"=\" (binop (binop variable \"+\") \"+\" \"1\")))", + "(clause (compound (functor \"numberBT\") (args (args variable))) (binop \"=\" (binop (binop variable \"+\") \"+\")))", + "(clause (binop \"=\" (binop (binop \"+\" variable) \"+\" \"1\")))", + "(clause (compound (functor \"numberBT\") (args (args variable))) (binop \"=\" (binop (binop \"+\" variable) \"+\")))", + "(clause (compound (functor \"numberBT\") (args variable)))", + "(clause (binop variable \"=\" \"0\"))", + "(clause (binop variable \"is\" \"0\"))", + "(clause (binop \"=\" \"0\"))", + "(clause (head (compound (functor \"numberBT\") (args (compound (functor \"b\") (args variable))))) (compound (functor \"number\") (args variable)))", + "(clause (binop variable \"is\"))", + "(clause (head (compound (functor \"numberBT\") (args variable))) (compound (functor \"deleteBT\") (args (args variable))))", + "(clause (binop \"is\" \"0\"))", + "(clause (binop \"is\" (binop variable \"+\")) (binop \"is\" (binop variable \"+\")))", + "(clause (compound (functor \"numberBT\") (args (args variable))) (binop \"=\" (binop variable \"+\")))", + "(clause (compound (functor \"numberBT\") (args variable)) (compound (functor \"numberBT\") (args variable)))", + "(clause (binop \"is\" (binop \"+\" variable)) (compound (functor \"numberBT\") (args (args variable))))", + "(clause (head (compound (functor \"numberBT\") (args (compound (functor \"b\") (args (args (args variable))))))) (compound (functor \"number\") (args variable)))", + "(clause (compound (functor \"deleteBT\") (args (args (args variable)))) (compound (functor \"numberBT\") (args variable)))", + "(clause (binop \"is\" (binop variable \"+\")))", + "(clause (binop variable \"is\" (binop (binop variable \"+\") \"+\")))", + "(clause (head (compound (functor \"numberBT\") (args (compound (functor \"b\") (args (args variable))) (args \"0\")))))", + "(clause (binop \"is\" (binop variable \"+\")) (binop variable \"is\"))", + "(clause (binop variable \"is\") (binop \"is\" (binop \"+\" variable)))", + "(clause (head (compound (functor \"numberBT\") (args (compound (functor \"b\") (args (args variable (args variable))))))))", + "(clause (head (compound (functor \"numberBT\") (args (compound (functor \"b\") (args variable (args variable)))))))", + "(clause (head (compound (functor \"numberBT\") (args (args variable)))) (binop \"is\" (binop (binop variable \"+\") \"+\")))", + "(clause (binop variable \"=\") (binop \"is\" (binop variable \"+\")))", + "(clause (compound (functor \"number\") (args (args variable))) (binop \"is\" (binop variable \"+\")))", + "(clause (head (compound (functor \"numberBT\") (args (compound (functor \"b\") (args variable (args (args variable))))))))", + "(clause (compound (functor \"number\") (args variable)))", + "(clause (compound (functor \"numberBT\") (args (args variable))) (binop \"=\" (binop \"+\" variable)))", + "(clause (binop variable \"is\" (binop \"+\" \"2\")))", + "(clause (compound (functor \"deleteBT\") (args variable)))", + "(clause (head (compound (functor \"numberBT\") (args (compound (functor \"b\") (args (args (args variable))))))) (compound (functor \"nubberBT\") (args variable)))", + "(clause (head (compound (functor \"numberBT\") (args (compound (functor \"b\") (args (args (args variable)))) (args \"0\")))))", + "(clause (binop \"is\" (binop \"+\" \"2\")))", + "(clause (head (compound (functor \"numberBT\") (args (compound (functor \"b\") (args variable)) (args \"0\")))))", + "(clause (compound (functor \"number\") (args (args variable))) (binop \"is\" (binop (binop \"+\" variable) \"+\")))", + "(clause (head (compound (functor \"numberBT\") (args (args variable)))) (compound (functor \"number\") (args variable)))", + "(clause (compound (functor \"number\") (args (args variable))) (binop \"is\" (binop (binop variable \"+\") \"+\")))", + "(clause (binop \"is\" (binop \"1\" \"+\" variable)))", + "(clause (binop variable \"is\" (binop \"1\" \"+\")))", + "(clause (binop variable \"is\") (binop \"is\" (binop (binop variable \"+\") \"+\")))", + "(clause (binop \"is\" (binop (binop \"+\" variable) \"+\")) (compound (functor \"numberBT\") (args (args variable))))", + "(clause (binop variable \"=\" \"1\"))", + "(clause (binop \"is\" (binop \"1\" \"+\")))", + "(clause (head (compound (functor \"numberBT\") (args (compound (functor \"b\") (args variable))))))", + "(clause (binop \"=\" \"1\"))", + "(clause (binop \"is\" (binop (binop variable \"+\") \"+\")) (compound (functor \"numberBT\") (args (args variable))))", + "(clause (compound (functor \"number\") (args variable)) (binop \"is\" (binop variable \"+\")))", + "(clause (head (binop \"=\" \"0\")))", + "(clause (compound (functor \"deleteBT\") (args variable)) (binop variable \"=\"))", + "(clause (head (compound (functor \"numberBT\") (args (compound (functor \"b\") (args (args (args variable))))))) (compound (functor \"nuberBT\") (args variable)))", + "(clause (head (compound (functor \"numberBT\") (args variable))) (compound (functor \"numberBT\") (args variable)))", + "(clause (head (compound (functor \"numberBT\") (args variable))))", + "(clause (head (binop variable \"=\" \"0\")))", + "(clause (head (binop variable \"=\")))", + "(clause (compound (functor \"number\") (args (args variable))) (binop \"is\" (binop \"+\" variable)))" + ], + "rules": [ + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"numberBT\") (args (args variable)))) (binop \"is\" (binop variable \"+\")))" + ], + "distribution": [ + 49, + 0 + ], + "quality": 0.9615920968387124 + }, + { + "class": false, + "condition": [ + "(clause (binop variable \"is\" (binop variable \"+\")))" + ], + "distribution": [ + 41, + 0 + ], + "quality": 0.9531854810492415 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"numberBT\") (args (args variable)))) (binop variable \"=\"))" + ], + "distribution": [ + 47, + 1 + ], + "quality": 0.9335975299637356 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"numberBT\") (args (args variable))) (compound (functor \"numberBT\") (args (args variable))))" + ], + "distribution": [ + 29, + 0 + ], + "quality": 0.9299807777479073 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"numberBT\") (args (args variable)))))" + ], + "distribution": [ + 28, + 0 + ], + "quality": 0.9272767599144167 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"numberBT\") (args (args variable)))) (binop variable \"is\"))", + "(clause (head (compound (functor \"numberBT\") (args (args \"0\")))))", + "(clause (head (compound (functor \"numberBT\") (args (compound (functor \"b\") (args (args (args variable))))))) (compound (functor \"numberBT\") (args variable)))", + "(clause (compound (functor \"numberBT\") (args (args variable))) (binop \"is\" (binop (binop variable \"+\") \"+\")))", + "(clause (binop \"is\" (binop (binop \"+\" variable) \"+\" \"1\")))" + ], + "distribution": [ + 10, + 150 + ], + "quality": 0.916718561401038 + }, + { + "class": false, + "condition": [ + "(clause (binop \"is\" (binop variable \"+\")) (compound (functor \"numberBT\") (args (args variable))))" + ], + "distribution": [ + 22, + 0 + ], + "quality": 0.9048234469803704 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"numberBT\") (args (args variable))) (binop \"is\" (binop variable \"+\")))", + "(clause (head (compound (functor \"numberBT\") (args (args \"1\")))))" + ], + "distribution": [ + 40, + 1 + ], + "quality": 0.9011037968169242 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"numberBT\") (args (args variable)))) (binop variable \"is\"))", + "(clause (head (compound (functor \"numberBT\") (args (args \"0\")))))", + "(clause (head (compound (functor \"numberBT\") (args (compound (functor \"b\") (args (args (args variable))))))) (compound (functor \"numberBT\") (args variable)))", + "(clause (compound (functor \"numberBT\") (args (args variable))) (binop \"is\" (binop (binop variable \"+\") \"+\")))" + ], + "distribution": [ + 15, + 151 + ], + "quality": 0.8902530976736028 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"numberBT\") (args (args variable)))) (binop variable \"is\"))", + "(clause (head (compound (functor \"numberBT\") (args (args \"0\")))))", + "(clause (compound (functor \"numberBT\") (args (args variable))) (binop \"is\" (binop (binop \"+\" variable) \"+\")))", + "(clause (binop \"is\" (binop (binop variable \"+\") \"+\" \"1\")))", + "(clause (compound (functor \"numberBT\") (args (args variable))) (binop \"is\" (binop (binop variable \"+\") \"+\")))" + ], + "distribution": [ + 17, + 155 + ], + "quality": 0.8812322919386367 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"numberBT\") (args (args variable))))" + ], + "distribution": [ + 17, + 0 + ], + "quality": 0.8727982021305202 + }, + { + "class": true, + "condition": [ + "(clause (binop \"is\" (binop \"+\" \"1\")))", + "(clause (head (compound (functor \"numberBT\") (args (args \"0\")))))", + "(clause (compound (functor \"numberBT\") (args (args variable))) (binop \"is\" (binop (binop \"+\" variable) \"+\")))", + "(clause (compound (functor \"numberBT\") (args (args variable))) (binop \"is\" (binop (binop variable \"+\") \"+\")))" + ], + "distribution": [ + 21, + 156 + ], + "quality": 0.8629739475464352 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"numberBT\") (args (args variable)))) (binop variable \"is\"))", + "(clause (head (compound (functor \"numberBT\") (args (args \"0\")))))", + "(clause (head (compound (functor \"numberBT\") (args (compound (functor \"b\") (args variable))))) (compound (functor \"numberBT\") (args variable)))", + "(clause (compound (functor \"numberBT\") (args (args variable))) (binop \"is\" (binop (binop \"+\" variable) \"+\")))", + "(clause (head (compound (functor \"numberBT\") (args (compound (functor \"b\") (args (args (args variable))))))) (compound (functor \"numberBT\") (args variable)))" + ], + "distribution": [ + 23, + 165 + ], + "quality": 0.8597636241269335 + }, + { + "class": false, + "condition": [ + "(clause (binop \"is\" (binop variable \"+\" \"1\")))", + "(clause (binop variable \"is\") (binop variable \"is\"))" + ], + "distribution": [ + 20, + 0 + ], + "quality": 0.8464792884804369 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"numberBT\") (args (compound (functor \"b\") (args variable))))) (compound (functor \"number\") (args variable)))" + ], + "distribution": [ + 14, + 0 + ], + "quality": 0.8394219791909547 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"numberBT\") (args (args variable)))) (compound (functor \"numberBT\") (args (args variable))))" + ], + "distribution": [ + 14, + 0 + ], + "quality": 0.8394219791909547 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"numberBT\") (args variable)) (compound (functor \"numberBT\") (args variable)))" + ], + "distribution": [ + 13, + 0 + ], + "quality": 0.8246002580197109 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"numberBT\") (args (args variable)))) (binop variable \"is\"))", + "(clause (head (compound (functor \"numberBT\") (args (args \"0\")))))", + "(clause (head (compound (functor \"numberBT\") (args (compound (functor \"b\") (args variable))))) (compound (functor \"numberBT\") (args variable)))", + "(clause (compound (functor \"numberBT\") (args (args variable))) (binop \"is\" (binop (binop \"+\" variable) \"+\")))" + ], + "distribution": [ + 32, + 168 + ], + "quality": 0.824115058843779 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"numberBT\") (args (args variable)))) (binop variable \"is\"))", + "(clause (head (compound (functor \"numberBT\") (args (args \"0\")))))", + "(clause (compound (functor \"numberBT\") (args (args variable))) (binop \"is\" (binop (binop \"+\" variable) \"+\")))" + ], + "distribution": [ + 35, + 173 + ], + "quality": 0.8177866715087209 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"numberBT\") (args (args variable))) (binop variable \"is\"))" + ], + "distribution": [ + 12, + 0 + ], + "quality": 0.806489396040665 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"numberBT\") (args (compound (functor \"b\") (args (args variable)))))))", + "(clause (head (compound (functor \"numberBT\") (args (args \"0\")))))", + "(clause (head (compound (functor \"numberBT\") (args (args variable)))) (binop variable \"is\"))", + "(clause (binop \"is\" (binop \"+\" \"1\")))", + "(clause (head (compound (functor \"numberBT\") (args (compound (functor \"b\") (args (args (args variable))))))) (compound (functor \"numberBT\") (args variable)))" + ], + "distribution": [ + 65, + 160 + ], + "quality": 0.6934287185293813 + } + ] +}
\ No newline at end of file |