From 794d4dc03dec8db33bf8afe8b1c0a126176407d1 Mon Sep 17 00:00:00 2001 From: Timotej Lazar Date: Mon, 10 Apr 2017 21:46:02 +0200 Subject: Prolog: add bugs files for trees problems --- prolog/problems/trees/depthbt_2/bugs.json | 383 ++++++++++++++++++++++++++++++ 1 file changed, 383 insertions(+) create mode 100644 prolog/problems/trees/depthbt_2/bugs.json (limited to 'prolog/problems/trees/depthbt_2/bugs.json') diff --git a/prolog/problems/trees/depthbt_2/bugs.json b/prolog/problems/trees/depthbt_2/bugs.json new file mode 100644 index 0000000..8058d2b --- /dev/null +++ b/prolog/problems/trees/depthbt_2/bugs.json @@ -0,0 +1,383 @@ +{ + "patterns": [ + "(clause (head (compound (functor \"depthBT\") (args (args variable)))) (binop variable \"is\"))", + "(clause (binop \"is\" (binop \"+\" \"1\")))", + "(clause (binop variable \"is\" (binop \"+\" \"1\")))", + "(clause (binop \"is\" (binop variable \"+\" \"1\")))", + "(clause (head (compound (functor \"depthBT\") (args (compound (functor \"b\") (args (args variable)))))))", + "(clause (head (compound (functor \"depthBT\") (args (args \"0\")))))", + "(clause (head (compound (functor \"depthBT\") (args (compound (functor \"b\") (args variable))))) (compound (functor \"depthBT\") (args variable)))", + "(clause (head (compound (functor \"depthBT\") (args (compound (functor \"b\") (args (args (args variable))))))) (compound (functor \"depthBT\") (args variable)))", + "(clause (compound (functor \"depthBT\") (args (args variable))) (binop \"is\" (binop variable \"+\")))", + "(clause (binop variable \"is\"))", + "(clause (compound (functor \"depthBT\") (args (args variable))))", + "(clause (binop \">=\" variable))", + "(clause (binop \">\" variable))", + "(clause (compound (functor \"depthBT\") (args (args variable))) (binop variable \">\"))", + "(clause (compound (functor \"depthBT\") (args (args variable))) (binop \">\" variable))", + "(clause (compound (functor \"depthBT\") (args (args variable))) (binop variable \">=\"))", + "(clause (compound (functor \"depthBT\") (args (args variable))) (binop \">=\" variable))", + "(clause (binop variable \">\") (binop \"is\" (binop variable \"+\")))", + "(clause (binop \"is\" (binop variable \"+\")))", + "(clause (binop variable \">=\") (binop \"is\" (binop variable \"+\")))", + "(clause (compound (functor \"max\") (args (args variable))) (binop \"is\" (binop variable \"+\")))", + "(clause (compound (functor \"depthBT\") (args (args variable))) (compound (functor \"max\") (args (list (h variable)))))", + "(clause (compound (functor \"depthBT\") (args (args variable))) (compound (functor \"max\") (args (list (t (list (h variable)))))))", + "(clause (binop variable \">\"))", + "(clause (head (compound (functor \"depthBT\") (args (args variable)))) (binop variable \"=\"))", + "(clause (binop variable \">=\"))", + "(clause (compound (functor \"depthBT\") (args (args variable))) (binop \"<\" variable))", + "(clause (compound (functor \"depthBT\") (args (args variable))) (binop variable \"=<\"))", + "(clause (compound (functor \"depthBT\") (args (args variable))) (binop \"=<\" variable))", + "(clause (compound (functor \"depthBT\") (args (args variable))) (binop variable \"<\"))", + "(clause (compound (functor \"depthBT\") (args (args variable))) (binop \"is\" variable))", + "(clause (head (compound (functor \"depthBT\") (args (args \"1\")))))", + "(clause (binop \"=<\" variable) (binop \"is\" (binop variable \"+\")))", + "(clause (binop variable \"=\"))", + "(clause (head (compound (functor \"depthBT\") (args (compound (functor \"b\") (args (args variable))) (args \"1\")))))", + "(clause (compound (functor \"depthBT\") (args (args variable))) (binop \"=\" variable))", + "(clause (binop \"<\" variable) (binop \"is\" (binop variable \"+\")))", + "(clause (binop variable \"is\" (binop variable \"+\")))", + "(clause (binop variable \"is\") (binop variable \"is\"))", + "(clause (binop variable \"is\" (binop \"1\" \"+\")))", + "(clause (binop \"is\" (binop \"1\" \"+\")))", + "(clause (head (compound (functor \"depthBT\") (args (args variable)))) (compound (functor \"max\") (args (args variable))))", + "(clause (binop \"is\" (binop \"1\" \"+\" variable)))", + "(clause (binop variable \"=<\"))", + "(clause (binop variable \"is\") (binop \"is\" (binop variable \"+\")))", + "(clause (compound (functor \"depthBT\") (args (args variable))) (binop \"is\" (binop \"+\" variable)))", + "(clause (binop variable \"<\"))", + "(clause (binop variable \">=\") (binop \"is\" variable))", + "(clause (head (compound (functor \"depthBT\") (args (args variable)))) (binop \"is\" (binop variable \"+\")))", + "(clause (binop variable \"is\") (binop \"=\" variable))", + "(clause (binop variable \">\") (binop \"=\" variable))", + "(clause (compound (functor \"depthBT\") (args (args variable))) (binop variable \"is\"))", + "(clause (head (compound (functor \"depthBT\") (args (compound (functor \"b\") (args (args (args variable))))))) (compound (functor \"depth\") (args variable)))", + "(clause (head (compound (functor \"depthBT\") (args (compound (functor \"b\") (args variable))))) (compound (functor \"depth\") (args variable)))", + "(clause (binop \"is\" variable))", + "(clause (head (compound (functor \"depthBT\") (args variable))) (binop variable \"=\"))", + "(clause (binop \"<\" variable) (binop \"is\" variable))", + "(clause (binop \"=\" (compound (functor \"b\") (args (args variable)))))", + "(clause (binop \"<\" variable))", + "(clause (compound (functor \"depth\") (args (args variable))) (binop \"is\" (binop variable \"+\")))", + "(clause (binop \"=\" (compound (functor \"b\") (args variable))) (compound (functor \"depthBT\") (args variable)))", + "(clause (binop \"=<\" variable))", + "(clause (binop variable \">\") (binop \"is\" variable))", + "(clause (compound (functor \"depth\") (args (args variable))) (compound (functor \"max\") (args (list (h variable)))))", + "(clause (binop \"=\" (compound (functor \"b\") (args (args (args variable))))) (compound (functor \"depthBT\") (args variable)))", + "(clause (binop variable \"=\" (binop \"+\" \"1\")))", + "(clause (head (compound (functor \"depthBT\") (args (compound (functor \"b\") (args (args (args variable))))))))", + "(clause (binop \"=\" (binop variable \"+\" \"1\")))", + "(clause (binop \"=\" (binop \"+\" \"1\")))", + "(clause (compound (functor \"depthBT\") (args (args variable))) (compound (functor \"max\") (args variable)))", + "(clause (binop variable \">=\") (binop \"=\" variable))", + "(clause (compound (functor \"depthBT\") (args (args variable))) (compound (functor \"max\") (args (args variable))))", + "(clause (head (compound (functor \"max\") (args (args (args variable))))) (binop variable \"is\"))", + "(clause (compound (functor \"depth\") (args (args variable))) (compound (functor \"max\") (args (list (t (list (h variable)))))))", + "(clause (binop \"=\" variable))", + "(clause (compound (functor \"depthBT\") (args (args variable))) (binop \"is\" (binop (binop variable \"+\") \"+\")))", + "(clause (head (compound (functor \"depth\") (args (compound (functor \"b\") (args (args variable)))))))", + "(clause (binop \"<\" variable) (binop \"is\" (binop \"+\" variable)))", + "(clause (compound (functor \"depthBT\") (args variable)) (compound (functor \"depthBT\") (args variable)))", + "(clause (compound (functor \"depthBT\") (args (args variable))) (binop \"is\" (binop (binop \"+\" variable) \"+\")))", + "(clause (compound (functor \"max\") (args (args (args variable)))) (binop \"is\" (binop variable \"+\")))", + "(clause (binop variable \"<\") (binop \"is\" (binop variable \"+\")))", + "(clause (binop \">=\" variable) (binop \"<\" variable))", + "(clause (head (compound (functor \"depthBT\") (args (args variable)))))", + "(clause (binop \">=\" variable) (binop \"is\" variable))", + "(clause (compound (functor \"depthBT\") (args (args variable))) (binop \"=\" (binop variable \"+\")))", + "(clause (binop \"is\" (binop (binop variable \"+\") \"+\" \"1\")))", + "(clause (binop \"is\" (binop (binop \"+\" variable) \"+\" \"1\")))", + "(clause (binop \"is\" (binop variable \"+\")) (binop \"=\" variable))", + "(clause (binop \"is\" (binop variable \"+\")) (binop variable \">\"))", + "(clause (binop \"is\" (binop \"+\" variable)))", + "(clause (binop variable \"=\") (binop \"is\" (binop variable \"+\")))", + "(clause (binop variable \"is\") (binop variable \">\"))", + "(clause (head (compound (functor \"depthBT\") (args (compound (functor \"b\") (args variable (args variable)))))))", + "(clause (compound (functor \"depth\") (args (args variable))) (binop \">=\" variable))", + "(clause (binop variable \"is\") (binop \">\" variable))", + "(clause (binop variable \"=\" \"0\"))", + "(clause (binop \"is\" \"1\"))", + "(clause (binop \"=\" \"0\"))", + "(clause (binop variable \"is\" \"1\"))", + "(clause (head (compound (functor \"depthBT\") (args (compound (functor \"b\") (args (args variable (args variable))))))))", + "(clause (compound (functor \"depth\") (args (args variable))) (binop variable \">=\"))", + "(clause (head (compound (functor \"max\") (args (args variable)))) (binop variable \">\"))", + "(clause (head (compound (functor \"max\") (args (args variable)))) (binop \">=\" variable))", + "(clause (binop variable \"is\") (binop variable \">=\"))", + "(clause (compound (functor \"max\") (args (list (h variable)))))", + "(clause (binop variable \">=\") (binop variable \"<\"))", + "(clause (head (compound (functor \"max\") (args (args (args variable))))) (binop variable \">=\"))", + "(clause (head (compound (functor \"depth\") (args (compound (functor \"b\") (args (args (args variable))))))) (compound (functor \"depth\") (args variable)))", + "(clause (head (compound (functor \"max\") (args variable (args (args variable))))))", + "(clause (head (compound (functor \"max\") (args variable))) (binop variable \">\"))", + "(clause (binop variable \">=\") (binop \"is\" (binop \"+\" variable)))", + "(clause (head (compound (functor \"max\") (args (args variable)))) (binop \">\" variable))", + "(clause (head (compound (functor \"max\") (args variable))) (binop \"is\" variable))", + "(clause (binop variable \"is\") (binop variable \"=\"))", + "(clause (binop \"is\" variable) (binop variable \"<\"))", + "(clause (compound (functor \"depthBT\") (args variable)))", + "(clause (binop variable \"is\") (binop \">=\" variable))", + "(clause (binop \"is\" (binop variable \"+\")) (binop variable \"=<\"))", + "(clause (binop \"=<\" variable) (binop \"is\" variable))", + "(clause (head (compound (functor \"max\") (args variable))) (binop variable \">=\"))", + "(clause (binop variable \"is\") (compound (functor \"max\") (args (list (h variable)))))", + "(clause (head (compound (functor \"max\") (args (args variable (args variable))))))", + "(clause (head (compound (functor \"depth\") (args (compound (functor \"b\") (args variable))))) (compound (functor \"depth\") (args variable)))", + "(clause (binop variable \"<\") (binop variable \"is\"))", + "(clause (compound (functor \"max\") (args (args variable))))", + "(clause (head (compound (functor \"depthBT\") (args (args variable)))) (compound (functor \"depthBT\") (args (args variable))))", + "(clause (binop variable \">\") (binop \"is\" (binop \"+\" variable)))", + "(clause (head (compound (functor \"max\") (args (args variable)))) (binop \"is\" variable))" + ], + "rules": [ + { + "class": false, + "condition": [ + "(clause (compound (functor \"depthBT\") (args (args variable))))", + "(clause (binop variable \"is\"))" + ], + "distribution": [ + 55, + 1 + ], + "quality": 0.9366155799012119 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"depthBT\") (args (args variable))))" + ], + "distribution": [ + 75, + 5 + ], + "quality": 0.9068719016525688 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"depthBT\") (args (compound (functor \"b\") (args (args (args variable))))))) (compound (functor \"depth\") (args variable)))" + ], + "distribution": [ + 18, + 0 + ], + "quality": 0.88342672157224 + }, + { + "class": true, + "condition": [ + "(clause (compound (functor \"max\") (args (args variable))) (binop \"is\" (binop variable \"+\")))", + "(clause (compound (functor \"depthBT\") (args (args variable))) (compound (functor \"max\") (args (list (h variable)))))", + "(clause (compound (functor \"depthBT\") (args (args variable))) (compound (functor \"max\") (args (list (t (list (h variable)))))))", + "(clause (head (compound (functor \"depthBT\") (args (args \"0\")))))" + ], + "distribution": [ + 4, + 58 + ], + "quality": 0.8786972541533745 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"depthBT\") (args (compound (functor \"b\") (args variable))))) (compound (functor \"depth\") (args variable)))" + ], + "distribution": [ + 17, + 0 + ], + "quality": 0.8763783057741319 + }, + { + "class": true, + "condition": [ + "(clause (compound (functor \"depthBT\") (args (args variable))) (binop variable \">=\"))", + "(clause (binop variable \">\") (binop \"is\" (binop variable \"+\")))", + "(clause (compound (functor \"depthBT\") (args (args variable))) (binop variable \">\"))" + ], + "distribution": [ + 0, + 21 + ], + "quality": 0.8624830571857203 + }, + { + "class": false, + "condition": [ + "(clause (binop variable \"=\"))", + "(clause (compound (functor \"depthBT\") (args (args variable))) (binop \"=\" variable))" + ], + "distribution": [ + 16, + 0 + ], + "quality": 0.827214870304354 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"depth\") (args (args variable))) (compound (functor \"max\") (args (list (h variable)))))" + ], + "distribution": [ + 12, + 0 + ], + "quality": 0.8189377121994933 + }, + { + "class": true, + "condition": [ + "(clause (compound (functor \"depthBT\") (args (args variable))) (binop \"is\" (binop variable \"+\")))", + "(clause (compound (functor \"depthBT\") (args (args variable))) (binop variable \">=\"))", + "(clause (compound (functor \"depthBT\") (args (args variable))) (binop variable \">\"))" + ], + "distribution": [ + 1, + 22 + ], + "quality": 0.8144128532392234 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"depthBT\") (args (compound (functor \"b\") (args (args (args variable))))))))" + ], + "distribution": [ + 11, + 0 + ], + "quality": 0.8013049557929117 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"depthBT\") (args (args variable))) (binop variable \"is\"))" + ], + "distribution": [ + 10, + 0 + ], + "quality": 0.7814052617118917 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"depthBT\") (args (args variable))) (binop \"is\" (binop (binop variable \"+\") \"+\")))" + ], + "distribution": [ + 9, + 0 + ], + "quality": 0.7547051760861178 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"depth\") (args (args variable))) (binop \"is\" (binop variable \"+\")))" + ], + "distribution": [ + 8, + 0 + ], + "quality": 0.7240209586644614 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"depthBT\") (args (args \"0\")))))", + "(clause (binop variable \">\") (binop \"is\" (binop variable \"+\")))", + "(clause (compound (functor \"depthBT\") (args (args variable))) (binop \">\" variable))" + ], + "distribution": [ + 19, + 59 + ], + "quality": 0.6952644822192884 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"depthBT\") (args (args variable)))))" + ], + "distribution": [ + 7, + 0 + ], + "quality": 0.6819019447846737 + }, + { + "class": false, + "condition": [ + "(clause (binop variable \"=\" (binop \"+\" \"1\")))" + ], + "distribution": [ + 7, + 0 + ], + "quality": 0.6819019447846737 + }, + { + "class": true, + "condition": [ + "(clause (compound (functor \"depthBT\") (args (args variable))) (binop variable \">=\"))", + "(clause (binop \"is\" (binop variable \"+\")))" + ], + "distribution": [ + 12, + 35 + ], + "quality": 0.6526722399516018 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"depthBT\") (args (args \"0\")))))", + "(clause (compound (functor \"depthBT\") (args (args variable))) (binop \"is\" (binop variable \"+\")))", + "(clause (binop variable \"is\"))", + "(clause (compound (functor \"depthBT\") (args (args variable))) (binop variable \">=\"))" + ], + "distribution": [ + 22, + 57 + ], + "quality": 0.6437125697968822 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"depthBT\") (args (args \"0\")))))", + "(clause (compound (functor \"depthBT\") (args (args variable))) (binop \"is\" (binop variable \"+\")))", + "(clause (binop variable \"is\"))" + ], + "distribution": [ + 50, + 101 + ], + "quality": 0.6343527335143584 + }, + { + "class": true, + "condition": [ + "(clause (binop variable \">=\") (binop \"is\" (binop \"+\" variable)))" + ], + "distribution": [ + 0, + 5 + ], + "quality": 0.6063748391885129 + }, + { + "class": true, + "condition": [ + "(clause (binop \"=<\" variable) (binop \"is\" (binop variable \"+\")))" + ], + "distribution": [ + 14, + 22 + ], + "quality": 0.4751491653292199 + } + ] +} \ No newline at end of file -- cgit v1.2.1