System Benchmark Instance Out Diagnostics Time OptimumCost TotalScore Inst\Opt Score Time Score claspd 03-StrategicCompanies 02-strategic_companies-0-0.asp Witness Found OK 53.62 - 6.87 5.00 1.87 claspd 03-StrategicCompanies 03-strategic_companies-0-0.asp Witness Found OK 377.80 - 5.36 5.00 0.36 claspd 03-StrategicCompanies 04-strategic_companies-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 claspd 03-StrategicCompanies 18-strategic_companies-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 claspd 03-StrategicCompanies 20-strategic_companies-0-0.asp N/A Time out - - 0.00 0.00 0.00 claspd 03-StrategicCompanies 24-strategic_companies-0-0.asp N/A Time out - - 0.00 0.00 0.00 claspd 03-StrategicCompanies 26-strategic_companies-0-0.asp N/A Time out - - 0.00 0.00 0.00 claspd 03-StrategicCompanies 27-strategic_companies-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 claspd 03-StrategicCompanies 35-strategic_companies-0-0.asp N/A Time out - - 0.00 0.00 0.00 claspd 03-StrategicCompanies 51-strategic_companies-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 claspd 18-MinimalDiagnosis 015-minimal_diagnosis-99-0.asp Witness Found OK 0.04 - 9.97 5.00 4.97 claspd 18-MinimalDiagnosis 050-minimal_diagnosis-99-0.asp Witness Found OK 1.70 - 9.22 5.00 4.22 claspd 18-MinimalDiagnosis 186-minimal_diagnosis-174-0.asp Witness Found OK 4.12 - 8.72 5.00 3.72 claspd 18-MinimalDiagnosis 207-minimal_diagnosis-199-0.asp Witness Found OK 9.68 - 8.15 5.00 3.15 claspd 18-MinimalDiagnosis 228-minimal_diagnosis-199-0.asp Witness Found OK 2.28 - 9.07 5.00 4.07 claspd 18-MinimalDiagnosis 272-minimal_diagnosis-224-0.asp Witness Found OK 3.56 - 8.81 5.00 3.81 claspd 18-MinimalDiagnosis 282-minimal_diagnosis-224-0.asp Witness Found OK 8.74 - 8.22 5.00 3.22 claspd 18-MinimalDiagnosis 374-minimal_diagnosis-274-0.asp Witness Found OK 5.56 - 8.53 5.00 3.53 claspd 18-MinimalDiagnosis 461-minimal_diagnosis-49-0.asp Witness Found OK 0.04 - 9.97 5.00 4.97 claspd 18-MinimalDiagnosis 466-minimal_diagnosis-49-0.asp Inconsistent OK 0.00 - 10.00 5.00 5.00 cmodels 03-StrategicCompanies 02-strategic_companies-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 cmodels 03-StrategicCompanies 03-strategic_companies-0-0.asp N/A Time out - - 0.00 0.00 0.00 cmodels 03-StrategicCompanies 04-strategic_companies-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 cmodels 03-StrategicCompanies 18-strategic_companies-0-0.asp N/A Time out - - 0.00 0.00 0.00 cmodels 03-StrategicCompanies 20-strategic_companies-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 cmodels 03-StrategicCompanies 24-strategic_companies-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 cmodels 03-StrategicCompanies 26-strategic_companies-0-0.asp N/A Time out - - 0.00 0.00 0.00 cmodels 03-StrategicCompanies 27-strategic_companies-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 cmodels 03-StrategicCompanies 35-strategic_companies-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 cmodels 03-StrategicCompanies 51-strategic_companies-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 cmodels 18-MinimalDiagnosis 015-minimal_diagnosis-99-0.asp Witness Found OK 0.22 - 9.84 5.00 4.84 cmodels 18-MinimalDiagnosis 050-minimal_diagnosis-99-0.asp Witness Found OK 9.28 - 8.18 5.00 3.18 cmodels 18-MinimalDiagnosis 186-minimal_diagnosis-174-0.asp Witness Found OK 21.96 - 7.55 5.00 2.55 cmodels 18-MinimalDiagnosis 207-minimal_diagnosis-199-0.asp Witness Found OK 62.51 - 6.76 5.00 1.76 cmodels 18-MinimalDiagnosis 228-minimal_diagnosis-199-0.asp Witness Found OK 11.86 - 8.00 5.00 3.00 cmodels 18-MinimalDiagnosis 272-minimal_diagnosis-224-0.asp Witness Found OK 17.86 - 7.70 5.00 2.70 cmodels 18-MinimalDiagnosis 282-minimal_diagnosis-224-0.asp Witness Found OK 52.37 - 6.89 5.00 1.89 cmodels 18-MinimalDiagnosis 374-minimal_diagnosis-274-0.asp Witness Found OK 29.74 - 7.32 5.00 2.32 cmodels 18-MinimalDiagnosis 461-minimal_diagnosis-49-0.asp Witness Found OK 0.26 - 9.82 5.00 4.82 cmodels 18-MinimalDiagnosis 466-minimal_diagnosis-49-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2gminisat 02-Reachability 13-reachability-0-0.asp N/A Mem out/Fail 52.30 - 0.00 0.00 0.00 lp2sat2gminisat 02-Reachability 14-reachability-0-0.asp N/A Mem out/Fail 69.90 - 0.00 0.00 0.00 lp2sat2gminisat 02-Reachability 02-reachability-0-0.asp Inconsistent OK 0.38 - 9.75 5.00 4.75 lp2sat2gminisat 02-Reachability 08-reachability-0-0.asp N/A Mem out/Fail 93.36 - 0.00 0.00 0.00 lp2sat2gminisat 02-Reachability 07-reachability-0-0.asp N/A Mem out/Fail 57.54 - 0.00 0.00 0.00 lp2sat2gminisat 02-Reachability 03-reachability-0-0.asp Inconsistent OK 596.33 - 5.00 5.00 0.00 lp2sat2gminisat 02-Reachability 09-reachability-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2gminisat 02-Reachability 15-reachability-0-0.asp N/A Mem out/Fail 52.92 - 0.00 0.00 0.00 lp2sat2gminisat 02-Reachability 01-reachability-0-0.asp Inconsistent OK 7.12 - 8.36 5.00 3.36 lp2sat2gminisat 02-Reachability 06-reachability-0-0.asp Inconsistent OK 44.34 - 7.02 5.00 2.02 lp2sat2gminisat 06-Grammar-BasedInformationExtraction 03-grammar_based_information_extraction-797206-0.asp Inconsistent OK 40.66 - 7.09 5.00 2.09 lp2sat2gminisat 06-Grammar-BasedInformationExtraction 06-grammar_based_information_extraction-1359311-0.asp Witness Found OK 77.38 - 6.59 5.00 1.59 lp2sat2gminisat 06-Grammar-BasedInformationExtraction 04-grammar_based_information_extraction-1256479-0.asp Witness Found OK 77.02 - 6.60 5.00 1.60 lp2sat2gminisat 06-Grammar-BasedInformationExtraction 09-grammar_based_information_extraction-1479675-0.asp Witness Found OK 81.26 - 6.55 5.00 1.55 lp2sat2gminisat 06-Grammar-BasedInformationExtraction 07-grammar_based_information_extraction-1284391-0.asp Witness Found OK 112.75 - 6.30 5.00 1.30 lp2sat2gminisat 06-Grammar-BasedInformationExtraction 08-grammar_based_information_extraction-1412644-0.asp Witness Found OK 123.07 - 6.23 5.00 1.23 lp2sat2gminisat 06-Grammar-BasedInformationExtraction 10-grammar_based_information_extraction-1088505-0.asp Witness Found OK 100.38 - 6.39 5.00 1.39 lp2sat2gminisat 06-Grammar-BasedInformationExtraction 02-grammar_based_information_extraction-1290780-0.asp Witness Found OK 84.04 - 6.53 5.00 1.53 lp2sat2gminisat 06-Grammar-BasedInformationExtraction 01-grammar_based_information_extraction-1305896-0.asp Inconsistent OK 32.00 - 7.27 5.00 2.27 lp2sat2gminisat 06-Grammar-BasedInformationExtraction 05-grammar_based_information_extraction-1136348-0.asp Inconsistent OK 51.81 - 6.90 5.00 1.90 lp2sat2gminisat 10-SokobanDecision 12-sokoban_decision-0-0.asp Witness Found OK 121.55 - 6.24 5.00 1.24 lp2sat2gminisat 10-SokobanDecision 4-sokoban_decision-0-0.asp Inconsistent OK 117.95 - 6.27 5.00 1.27 lp2sat2gminisat 10-SokobanDecision 49-sokoban_decision-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2gminisat 10-SokobanDecision 42-sokoban_decision-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2gminisat 10-SokobanDecision 7-sokoban_decision-0-0.asp Inconsistent OK 165.71 - 6.00 5.00 1.00 lp2sat2gminisat 10-SokobanDecision 17-sokoban_decision-0-0.asp Witness Found OK 269.02 - 5.63 5.00 0.63 lp2sat2gminisat 10-SokobanDecision 48-sokoban_decision-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2gminisat 10-SokobanDecision 16-sokoban_decision-0-0.asp Inconsistent OK 238.54 - 5.72 5.00 0.72 lp2sat2gminisat 10-SokobanDecision 6-sokoban_decision-0-0.asp Inconsistent OK 113.26 - 6.30 5.00 1.30 lp2sat2gminisat 10-SokobanDecision 50-sokoban_decision-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2gminisat 12-KnightTour 01-knight_tour-8-0.asp Witness Found OK 0.72 - 9.58 5.00 4.58 lp2sat2gminisat 12-KnightTour 05-knight_tour-16-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2sat2gminisat 12-KnightTour 04-knight_tour-14-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2gminisat 12-KnightTour 09-knight_tour-46-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2gminisat 12-KnightTour 03-knight_tour-12-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2sat2gminisat 12-KnightTour 06-knight_tour-20-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2gminisat 12-KnightTour 08-knight_tour-40-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2gminisat 12-KnightTour 02-knight_tour-10-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2gminisat 12-KnightTour 10-knight_tour-50-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2gminisat 12-KnightTour 07-knight_tour-30-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2gminisat 13-DisjunctiveScheduling 09-disjunctive_scheduling-183-0.asp Witness Found OK 124.20 - 6.23 5.00 1.23 lp2sat2gminisat 13-DisjunctiveScheduling 01-disjunctive_scheduling-1000-0.asp Witness Found OK 47.98 - 6.96 5.00 1.96 lp2sat2gminisat 13-DisjunctiveScheduling 10-disjunctive_scheduling-205-0.asp Witness Found OK 131.20 - 6.18 5.00 1.18 lp2sat2gminisat 13-DisjunctiveScheduling 03-disjunctive_scheduling-947-0.asp N/A Mem out/Fail 180.00 - 0.00 0.00 0.00 lp2sat2gminisat 13-DisjunctiveScheduling 04-disjunctive_scheduling-959-0.asp N/A Mem out/Fail 182.05 - 0.00 0.00 0.00 lp2sat2gminisat 13-DisjunctiveScheduling 06-disjunctive_scheduling-941-0.asp N/A Mem out/Fail 186.33 - 0.00 0.00 0.00 lp2sat2gminisat 13-DisjunctiveScheduling 07-disjunctive_scheduling-205-0.asp Witness Found OK 131.78 - 6.18 5.00 1.18 lp2sat2gminisat 13-DisjunctiveScheduling 08-disjunctive_scheduling-188-0.asp Witness Found OK 119.46 - 6.26 5.00 1.26 lp2sat2gminisat 13-DisjunctiveScheduling 02-disjunctive_scheduling-941-0.asp N/A Mem out/Fail 183.21 - 0.00 0.00 0.00 lp2sat2gminisat 13-DisjunctiveScheduling 05-disjunctive_scheduling-959-0.asp N/A Mem out/Fail 180.21 - 0.00 0.00 0.00 lp2sat2gminisat 14-PackingProblem 46-packing-0-0.asp N/A Mem out/Fail 149.10 - 0.00 0.00 0.00 lp2sat2gminisat 14-PackingProblem 34-packing-0-0.asp N/A Mem out/Fail 164.24 - 0.00 0.00 0.00 lp2sat2gminisat 14-PackingProblem 18-packing-0-0.asp N/A Mem out/Fail 153.85 - 0.00 0.00 0.00 lp2sat2gminisat 14-PackingProblem 22-packing-0-0.asp N/A Mem out/Fail 158.77 - 0.00 0.00 0.00 lp2sat2gminisat 14-PackingProblem 8-packing-0-0.asp N/A Mem out/Fail 155.53 - 0.00 0.00 0.00 lp2sat2gminisat 14-PackingProblem 20-packing-0-0.asp N/A Mem out/Fail 155.73 - 0.00 0.00 0.00 lp2sat2gminisat 14-PackingProblem 10-packing-0-0.asp N/A Mem out/Fail 160.96 - 0.00 0.00 0.00 lp2sat2gminisat 14-PackingProblem 45-packing-0-0.asp N/A Mem out/Fail 138.88 - 0.00 0.00 0.00 lp2sat2gminisat 14-PackingProblem 9-packing-0-0.asp N/A Mem out/Fail 158.97 - 0.00 0.00 0.00 lp2sat2gminisat 14-PackingProblem 5-packing-0-0.asp N/A Mem out/Fail 155.97 - 0.00 0.00 0.00 lp2sat2gminisat 17-Labyrinth 028-labyrinth-12-0.asp Witness Found OK 45.34 - 7.00 5.00 2.00 lp2sat2gminisat 17-Labyrinth 045-labyrinth-13-0.asp Witness Found OK 590.56 - 5.01 5.00 0.01 lp2sat2gminisat 17-Labyrinth 162-labyrinth-19-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2gminisat 17-Labyrinth 123-labyrinth-17-0.asp Witness Found OK 85.09 - 6.52 5.00 1.52 lp2sat2gminisat 17-Labyrinth 225-labyrinth-22-0.asp Witness Found OK 104.48 - 6.36 5.00 1.36 lp2sat2gminisat 17-Labyrinth 147-labyrinth-18-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2gminisat 17-Labyrinth 015-labyrinth-11-0.asp Witness Found OK 6.38 - 8.44 5.00 3.44 lp2sat2gminisat 17-Labyrinth 131-labyrinth-17-0.asp Witness Found OK 18.40 - 7.68 5.00 2.68 lp2sat2gminisat 17-Labyrinth 003-labyrinth-11-0.asp Witness Found OK 579.33 - 5.03 5.00 0.03 lp2sat2gminisat 17-Labyrinth 169-labyrinth-19-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2gminisat 19-MultiContextSystemQuerying 56-multi_context_system_querying-0-0.asp Inconsistent OK 83.37 - 6.53 5.00 1.53 lp2sat2gminisat 19-MultiContextSystemQuerying 60-multi_context_system_querying-0-0.asp Inconsistent OK 85.50 - 6.51 5.00 1.51 lp2sat2gminisat 19-MultiContextSystemQuerying 32-multi_context_system_querying-0-0.asp Inconsistent OK 39.42 - 7.11 5.00 2.11 lp2sat2gminisat 19-MultiContextSystemQuerying 00-multi_context_system_querying-0-0.asp Inconsistent OK 10.54 - 8.09 5.00 3.09 lp2sat2gminisat 19-MultiContextSystemQuerying 20-multi_context_system_querying-0-0.asp Inconsistent OK 10.22 - 8.11 5.00 3.11 lp2sat2gminisat 19-MultiContextSystemQuerying 64-multi_context_system_querying-0-0.asp Inconsistent OK 119.90 - 6.25 5.00 1.25 lp2sat2gminisat 19-MultiContextSystemQuerying 41-multi_context_system_querying-0-0.asp Inconsistent OK 20.24 - 7.61 5.00 2.61 lp2sat2gminisat 19-MultiContextSystemQuerying 39-multi_context_system_querying-0-0.asp Inconsistent OK 20.54 - 7.60 5.00 2.60 lp2sat2gminisat 19-MultiContextSystemQuerying 70-multi_context_system_querying-0-0.asp Inconsistent OK 118.54 - 6.26 5.00 1.26 lp2sat2gminisat 19-MultiContextSystemQuerying 31-multi_context_system_querying-0-0.asp Inconsistent OK 38.68 - 7.12 5.00 2.12 lp2sat2gminisat 20-Numberlink 86-numberlink-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2gminisat 20-Numberlink 94-numberlink-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2gminisat 20-Numberlink 87-numberlink-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2gminisat 20-Numberlink 2-numberlink-0-0.asp Witness Found OK 2.10 - 9.12 5.00 4.12 lp2sat2gminisat 20-Numberlink 9-numberlink-0-0.asp Witness Found OK 18.22 - 7.69 5.00 2.69 lp2sat2gminisat 20-Numberlink 48-numberlink-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2gminisat 20-Numberlink 123-numberlink-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2sat2gminisat 20-Numberlink 62-numberlink-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2gminisat 20-Numberlink 32-numberlink-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2gminisat 20-Numberlink 112-numberlink-0-0.asp Witness Found OK 453.93 - 5.22 5.00 0.22 lp2sat2gminisat 22-HanoiTower 51-hanoi_tower-120-0.asp Witness Found OK 124.93 - 6.22 5.00 1.22 lp2sat2gminisat 22-HanoiTower 10-hanoi_tower-29-0.asp Witness Found OK 21.78 - 7.56 5.00 2.56 lp2sat2gminisat 22-HanoiTower 46-hanoi_tower-100-0.asp Witness Found OK 275.96 - 5.61 5.00 0.61 lp2sat2gminisat 22-HanoiTower 57-hanoi_tower-120-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2gminisat 22-HanoiTower 59-hanoi_tower-120-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2sat2gminisat 22-HanoiTower 56-hanoi_tower-120-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2gminisat 22-HanoiTower 09-hanoi_tower-28-0.asp Witness Found OK 44.51 - 7.02 5.00 2.02 lp2sat2gminisat 22-HanoiTower 40-hanoi_tower-80-0.asp Witness Found OK 230.52 - 5.75 5.00 0.75 lp2sat2gminisat 22-HanoiTower 03-hanoi_tower-60-0.asp Witness Found OK 23.60 - 7.50 5.00 2.50 lp2sat2gminisat 22-HanoiTower 43-hanoi_tower-100-0.asp Witness Found OK 46.69 - 6.98 5.00 1.98 lp2sat2gminisat 25-GraphColouring 41-graph_colouring-145-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2sat2gminisat 25-GraphColouring 58-graph_colouring-150-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2gminisat 25-GraphColouring 59-graph_colouring-150-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2gminisat 25-GraphColouring 53-graph_colouring-150-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2gminisat 25-GraphColouring 60-graph_colouring-150-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2gminisat 25-GraphColouring 9-graph_colouring-125-0.asp Witness Found OK 0.88 - 9.51 5.00 4.51 lp2sat2gminisat 25-GraphColouring 12-graph_colouring-130-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2sat2gminisat 25-GraphColouring 38-graph_colouring-140-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2sat2gminisat 25-GraphColouring 6-graph_colouring-125-0.asp Witness Found OK 39.82 - 7.10 5.00 2.10 lp2sat2gminisat 25-GraphColouring 37-graph_colouring-140-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2gminisat 30-HydraulicLeaking 125-hydraulic_leaking-633-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2sat2gminisat 30-HydraulicLeaking 1000-hydraulic_leaking-677-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2gminisat 30-HydraulicLeaking 290-hydraulic_leaking-348-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2gminisat 30-HydraulicLeaking 13-hydraulic_leaking-364-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2sat2gminisat 30-HydraulicLeaking 274-hydraulic_leaking-392-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2gminisat 30-HydraulicLeaking 232-hydraulic_leaking-348-0.asp Witness Found OK 567.95 - 5.04 5.00 0.04 lp2sat2gminisat 30-HydraulicLeaking 141-hydraulic_leaking-304-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2gminisat 30-HydraulicLeaking 17-hydraulic_leaking-408-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2sat2gminisat 30-HydraulicLeaking 271-hydraulic_leaking-348-0.asp Witness Found OK 566.03 - 5.05 5.00 0.05 lp2sat2gminisat 30-HydraulicLeaking 168-hydraulic_leaking-348-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2sat2gminisat 31-HydraulicPlanning 109-hydraulic_planning-619-0.asp Witness Found OK 54.74 - 6.86 5.00 1.86 lp2sat2gminisat 31-HydraulicPlanning 99-hydraulic_planning-684-0.asp Witness Found OK 70.82 - 6.66 5.00 1.66 lp2sat2gminisat 31-HydraulicPlanning 138-hydraulic_planning-626-0.asp Witness Found OK 59.50 - 6.79 5.00 1.79 lp2sat2gminisat 31-HydraulicPlanning 382-hydraulic_planning-624-0.asp Witness Found OK 58.66 - 6.81 5.00 1.81 lp2sat2gminisat 31-HydraulicPlanning 106-hydraulic_planning-619-0.asp Witness Found OK 56.32 - 6.84 5.00 1.84 lp2sat2gminisat 31-HydraulicPlanning 1000-hydraulic_planning-684-0.asp Witness Found OK 70.46 - 6.66 5.00 1.66 lp2sat2gminisat 31-HydraulicPlanning 379-hydraulic_planning-610-0.asp Witness Found OK 53.44 - 6.88 5.00 1.88 lp2sat2gminisat 31-HydraulicPlanning 155-hydraulic_planning-670-0.asp Witness Found OK 64.32 - 6.73 5.00 1.73 lp2sat2gminisat 31-HydraulicPlanning 100-hydraulic_planning-728-0.asp Witness Found OK 76.20 - 6.60 5.00 1.60 lp2sat2gminisat 31-HydraulicPlanning 101-hydraulic_planning-612-0.asp Witness Found OK 53.94 - 6.87 5.00 1.87 lp2sat2gminisat 32-StableMarriage 12-stable_marriage-0-0.asp N/A Mem out/Fail 390.80 - 0.00 0.00 0.00 lp2sat2gminisat 32-StableMarriage 2-stable_marriage-0-0.asp N/A Mem out/Fail 155.04 - 0.00 0.00 0.00 lp2sat2gminisat 32-StableMarriage 8-stable_marriage-0-0.asp N/A Mem out/Fail 154.71 - 0.00 0.00 0.00 lp2sat2gminisat 32-StableMarriage 29-stable_marriage-0-0.asp N/A Mem out/Fail 154.24 - 0.00 0.00 0.00 lp2sat2gminisat 32-StableMarriage 44-stable_marriage-0-0.asp N/A Mem out/Fail 154.61 - 0.00 0.00 0.00 lp2sat2gminisat 32-StableMarriage 11-stable_marriage-0-0.asp N/A Mem out/Fail 154.98 - 0.00 0.00 0.00 lp2sat2gminisat 32-StableMarriage 47-stable_marriage-0-0.asp N/A Mem out/Fail 154.47 - 0.00 0.00 0.00 lp2sat2gminisat 32-StableMarriage 23-stable_marriage-0-0.asp N/A Mem out/Fail 154.78 - 0.00 0.00 0.00 lp2sat2gminisat 32-StableMarriage 26-stable_marriage-0-0.asp N/A Mem out/Fail 154.62 - 0.00 0.00 0.00 lp2sat2gminisat 32-StableMarriage 43-stable_marriage-0-0.asp N/A Mem out/Fail 149.80 - 0.00 0.00 0.00 lp2sat2gminisat 33-MazeGeneration 14-maze_generation-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2gminisat 33-MazeGeneration 10-maze_generation-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2sat2gminisat 33-MazeGeneration 22-maze_generation-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2gminisat 33-MazeGeneration 31-maze_generation-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2gminisat 33-MazeGeneration 47-maze_generation-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2gminisat 33-MazeGeneration 04-maze_generation-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2sat2gminisat 33-MazeGeneration 42-maze_generation-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2gminisat 33-MazeGeneration 41-maze_generation-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2gminisat 33-MazeGeneration 26-maze_generation-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2gminisat 33-MazeGeneration 37-maze_generation-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2gminisat 34-PartnerUnitsPolynomial 206-partner_units_polynomial-63-0.asp Witness Found OK 432.82 - 5.25 5.00 0.25 lp2sat2gminisat 34-PartnerUnitsPolynomial 67-partner_units_polynomial-100-0.asp N/A Mem out/Fail 187.39 - 0.00 0.00 0.00 lp2sat2gminisat 34-PartnerUnitsPolynomial 64-partner_units_polynomial-100-0.asp N/A Mem out/Fail 185.84 - 0.00 0.00 0.00 lp2sat2gminisat 34-PartnerUnitsPolynomial 52-partner_units_polynomial-100-0.asp N/A Mem out/Fail 186.27 - 0.00 0.00 0.00 lp2sat2gminisat 34-PartnerUnitsPolynomial 187-partner_units_polynomial-51-0.asp Witness Found OK 282.53 - 5.59 5.00 0.59 lp2sat2gminisat 34-PartnerUnitsPolynomial 60-partner_units_polynomial-100-0.asp N/A Mem out/Fail 186.42 - 0.00 0.00 0.00 lp2sat2gminisat 34-PartnerUnitsPolynomial 175-partner_units_polynomial-75-0.asp N/A Mem out/Fail 162.09 - 0.00 0.00 0.00 lp2sat2gminisat 34-PartnerUnitsPolynomial 57-partner_units_polynomial-100-0.asp N/A Mem out/Fail 187.93 - 0.00 0.00 0.00 lp2sat2gminisat 34-PartnerUnitsPolynomial 127-partner_units_polynomial-100-0.asp N/A Mem out/Fail 186.49 - 0.00 0.00 0.00 lp2sat2gminisat 34-PartnerUnitsPolynomial 41-partner_units_polynomial-79-0.asp N/A Mem out/Fail 161.40 - 0.00 0.00 0.00 lp2sat2minisat 02-Reachability 13-reachability-0-0.asp N/A Mem out/Fail 52.28 - 0.00 0.00 0.00 lp2sat2minisat 02-Reachability 14-reachability-0-0.asp N/A Mem out/Fail 74.00 - 0.00 0.00 0.00 lp2sat2minisat 02-Reachability 02-reachability-0-0.asp Inconsistent OK 10.28 - 8.11 5.00 3.11 lp2sat2minisat 02-Reachability 08-reachability-0-0.asp N/A Mem out/Fail 110.76 - 0.00 0.00 0.00 lp2sat2minisat 02-Reachability 07-reachability-0-0.asp Inconsistent OK 103.21 - 6.37 5.00 1.37 lp2sat2minisat 02-Reachability 03-reachability-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2minisat 02-Reachability 09-reachability-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2minisat 02-Reachability 15-reachability-0-0.asp N/A Mem out/Fail 54.02 - 0.00 0.00 0.00 lp2sat2minisat 02-Reachability 01-reachability-0-0.asp Inconsistent OK 7.18 - 8.36 5.00 3.36 lp2sat2minisat 02-Reachability 06-reachability-0-0.asp Inconsistent OK 44.52 - 7.02 5.00 2.02 lp2sat2minisat 06-Grammar-BasedInformationExtraction 03-grammar_based_information_extraction-797206-0.asp Inconsistent OK 38.22 - 7.13 5.00 2.13 lp2sat2minisat 06-Grammar-BasedInformationExtraction 06-grammar_based_information_extraction-1359311-0.asp Witness Found OK 77.20 - 6.59 5.00 1.59 lp2sat2minisat 06-Grammar-BasedInformationExtraction 04-grammar_based_information_extraction-1256479-0.asp Witness Found OK 77.12 - 6.59 5.00 1.59 lp2sat2minisat 06-Grammar-BasedInformationExtraction 09-grammar_based_information_extraction-1479675-0.asp Witness Found OK 81.08 - 6.56 5.00 1.56 lp2sat2minisat 06-Grammar-BasedInformationExtraction 07-grammar_based_information_extraction-1284391-0.asp Witness Found OK 113.10 - 6.30 5.00 1.30 lp2sat2minisat 06-Grammar-BasedInformationExtraction 08-grammar_based_information_extraction-1412644-0.asp Witness Found OK 123.15 - 6.23 5.00 1.23 lp2sat2minisat 06-Grammar-BasedInformationExtraction 10-grammar_based_information_extraction-1088505-0.asp Witness Found OK 100.27 - 6.39 5.00 1.39 lp2sat2minisat 06-Grammar-BasedInformationExtraction 02-grammar_based_information_extraction-1290780-0.asp Witness Found OK 84.36 - 6.53 5.00 1.53 lp2sat2minisat 06-Grammar-BasedInformationExtraction 01-grammar_based_information_extraction-1305896-0.asp Inconsistent OK 31.76 - 7.27 5.00 2.27 lp2sat2minisat 06-Grammar-BasedInformationExtraction 05-grammar_based_information_extraction-1136348-0.asp Inconsistent OK 51.83 - 6.90 5.00 1.90 lp2sat2minisat 10-SokobanDecision 12-sokoban_decision-0-0.asp Witness Found OK 50.15 - 6.93 5.00 1.93 lp2sat2minisat 10-SokobanDecision 4-sokoban_decision-0-0.asp Inconsistent OK 62.01 - 6.76 5.00 1.76 lp2sat2minisat 10-SokobanDecision 49-sokoban_decision-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2minisat 10-SokobanDecision 42-sokoban_decision-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2minisat 10-SokobanDecision 7-sokoban_decision-0-0.asp Inconsistent OK 103.24 - 6.37 5.00 1.37 lp2sat2minisat 10-SokobanDecision 17-sokoban_decision-0-0.asp Witness Found OK 137.31 - 6.15 5.00 1.15 lp2sat2minisat 10-SokobanDecision 48-sokoban_decision-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2minisat 10-SokobanDecision 16-sokoban_decision-0-0.asp Inconsistent OK 94.03 - 6.44 5.00 1.44 lp2sat2minisat 10-SokobanDecision 6-sokoban_decision-0-0.asp Inconsistent OK 56.26 - 6.84 5.00 1.84 lp2sat2minisat 10-SokobanDecision 50-sokoban_decision-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2minisat 12-KnightTour 01-knight_tour-8-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2sat2minisat 12-KnightTour 05-knight_tour-16-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2sat2minisat 12-KnightTour 04-knight_tour-14-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2sat2minisat 12-KnightTour 09-knight_tour-46-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2minisat 12-KnightTour 03-knight_tour-12-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2sat2minisat 12-KnightTour 06-knight_tour-20-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2sat2minisat 12-KnightTour 08-knight_tour-40-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2minisat 12-KnightTour 02-knight_tour-10-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2sat2minisat 12-KnightTour 10-knight_tour-50-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2minisat 12-KnightTour 07-knight_tour-30-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2minisat 13-DisjunctiveScheduling 09-disjunctive_scheduling-183-0.asp Witness Found OK 124.36 - 6.22 5.00 1.22 lp2sat2minisat 13-DisjunctiveScheduling 01-disjunctive_scheduling-1000-0.asp Witness Found OK 47.82 - 6.96 5.00 1.96 lp2sat2minisat 13-DisjunctiveScheduling 10-disjunctive_scheduling-205-0.asp Witness Found OK 131.48 - 6.18 5.00 1.18 lp2sat2minisat 13-DisjunctiveScheduling 03-disjunctive_scheduling-947-0.asp N/A Mem out/Fail 180.44 - 0.00 0.00 0.00 lp2sat2minisat 13-DisjunctiveScheduling 04-disjunctive_scheduling-959-0.asp N/A Mem out/Fail 181.41 - 0.00 0.00 0.00 lp2sat2minisat 13-DisjunctiveScheduling 06-disjunctive_scheduling-941-0.asp N/A Mem out/Fail 183.02 - 0.00 0.00 0.00 lp2sat2minisat 13-DisjunctiveScheduling 07-disjunctive_scheduling-205-0.asp Witness Found OK 131.46 - 6.18 5.00 1.18 lp2sat2minisat 13-DisjunctiveScheduling 08-disjunctive_scheduling-188-0.asp Witness Found OK 119.50 - 6.26 5.00 1.26 lp2sat2minisat 13-DisjunctiveScheduling 02-disjunctive_scheduling-941-0.asp N/A Mem out/Fail 182.87 - 0.00 0.00 0.00 lp2sat2minisat 13-DisjunctiveScheduling 05-disjunctive_scheduling-959-0.asp N/A Mem out/Fail 180.13 - 0.00 0.00 0.00 lp2sat2minisat 14-PackingProblem 46-packing-0-0.asp N/A Mem out/Fail 153.08 - 0.00 0.00 0.00 lp2sat2minisat 14-PackingProblem 34-packing-0-0.asp N/A Mem out/Fail 163.42 - 0.00 0.00 0.00 lp2sat2minisat 14-PackingProblem 18-packing-0-0.asp N/A Mem out/Fail 152.75 - 0.00 0.00 0.00 lp2sat2minisat 14-PackingProblem 22-packing-0-0.asp N/A Mem out/Fail 158.90 - 0.00 0.00 0.00 lp2sat2minisat 14-PackingProblem 8-packing-0-0.asp N/A Mem out/Fail 156.18 - 0.00 0.00 0.00 lp2sat2minisat 14-PackingProblem 20-packing-0-0.asp N/A Mem out/Fail 155.62 - 0.00 0.00 0.00 lp2sat2minisat 14-PackingProblem 10-packing-0-0.asp N/A Mem out/Fail 160.68 - 0.00 0.00 0.00 lp2sat2minisat 14-PackingProblem 45-packing-0-0.asp N/A Mem out/Fail 138.99 - 0.00 0.00 0.00 lp2sat2minisat 14-PackingProblem 9-packing-0-0.asp N/A Mem out/Fail 158.78 - 0.00 0.00 0.00 lp2sat2minisat 14-PackingProblem 5-packing-0-0.asp N/A Mem out/Fail 155.97 - 0.00 0.00 0.00 lp2sat2minisat 17-Labyrinth 028-labyrinth-12-0.asp Witness Found OK 86.09 - 6.51 5.00 1.51 lp2sat2minisat 17-Labyrinth 045-labyrinth-13-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2minisat 17-Labyrinth 162-labyrinth-19-0.asp Witness Found OK 322.87 - 5.48 5.00 0.48 lp2sat2minisat 17-Labyrinth 123-labyrinth-17-0.asp Witness Found OK 41.48 - 7.07 5.00 2.07 lp2sat2minisat 17-Labyrinth 225-labyrinth-22-0.asp Witness Found OK 276.86 - 5.60 5.00 0.60 lp2sat2minisat 17-Labyrinth 147-labyrinth-18-0.asp Witness Found OK 119.27 - 6.26 5.00 1.26 lp2sat2minisat 17-Labyrinth 015-labyrinth-11-0.asp Witness Found OK 24.48 - 7.47 5.00 2.47 lp2sat2minisat 17-Labyrinth 131-labyrinth-17-0.asp Witness Found OK 19.94 - 7.62 5.00 2.62 lp2sat2minisat 17-Labyrinth 003-labyrinth-11-0.asp Witness Found OK 145.50 - 6.10 5.00 1.10 lp2sat2minisat 17-Labyrinth 169-labyrinth-19-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2minisat 19-MultiContextSystemQuerying 56-multi_context_system_querying-0-0.asp Inconsistent OK 83.61 - 6.53 5.00 1.53 lp2sat2minisat 19-MultiContextSystemQuerying 60-multi_context_system_querying-0-0.asp Inconsistent OK 85.48 - 6.51 5.00 1.51 lp2sat2minisat 19-MultiContextSystemQuerying 32-multi_context_system_querying-0-0.asp Inconsistent OK 39.20 - 7.11 5.00 2.11 lp2sat2minisat 19-MultiContextSystemQuerying 00-multi_context_system_querying-0-0.asp Inconsistent OK 10.28 - 8.11 5.00 3.11 lp2sat2minisat 19-MultiContextSystemQuerying 20-multi_context_system_querying-0-0.asp Inconsistent OK 10.28 - 8.11 5.00 3.11 lp2sat2minisat 19-MultiContextSystemQuerying 64-multi_context_system_querying-0-0.asp Inconsistent OK 119.50 - 6.26 5.00 1.26 lp2sat2minisat 19-MultiContextSystemQuerying 41-multi_context_system_querying-0-0.asp Inconsistent OK 20.82 - 7.59 5.00 2.59 lp2sat2minisat 19-MultiContextSystemQuerying 39-multi_context_system_querying-0-0.asp Inconsistent OK 20.30 - 7.61 5.00 2.61 lp2sat2minisat 19-MultiContextSystemQuerying 70-multi_context_system_querying-0-0.asp Inconsistent OK 118.62 - 6.26 5.00 1.26 lp2sat2minisat 19-MultiContextSystemQuerying 31-multi_context_system_querying-0-0.asp Inconsistent OK 38.90 - 7.12 5.00 2.12 lp2sat2minisat 20-Numberlink 86-numberlink-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2minisat 20-Numberlink 94-numberlink-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2minisat 20-Numberlink 87-numberlink-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2minisat 20-Numberlink 2-numberlink-0-0.asp Witness Found OK 3.82 - 8.77 5.00 3.77 lp2sat2minisat 20-Numberlink 9-numberlink-0-0.asp Witness Found OK 152.58 - 6.07 5.00 1.07 lp2sat2minisat 20-Numberlink 48-numberlink-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2minisat 20-Numberlink 123-numberlink-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2sat2minisat 20-Numberlink 62-numberlink-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2sat2minisat 20-Numberlink 32-numberlink-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2sat2minisat 20-Numberlink 112-numberlink-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2minisat 22-HanoiTower 51-hanoi_tower-120-0.asp Witness Found OK 125.52 - 6.22 5.00 1.22 lp2sat2minisat 22-HanoiTower 10-hanoi_tower-29-0.asp Witness Found OK 21.76 - 7.56 5.00 2.56 lp2sat2minisat 22-HanoiTower 46-hanoi_tower-100-0.asp Witness Found OK 274.99 - 5.61 5.00 0.61 lp2sat2minisat 22-HanoiTower 57-hanoi_tower-120-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2minisat 22-HanoiTower 59-hanoi_tower-120-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2minisat 22-HanoiTower 56-hanoi_tower-120-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2sat2minisat 22-HanoiTower 09-hanoi_tower-28-0.asp Witness Found OK 43.84 - 7.03 5.00 2.03 lp2sat2minisat 22-HanoiTower 40-hanoi_tower-80-0.asp Witness Found OK 230.43 - 5.75 5.00 0.75 lp2sat2minisat 22-HanoiTower 03-hanoi_tower-60-0.asp Witness Found OK 23.58 - 7.50 5.00 2.50 lp2sat2minisat 22-HanoiTower 43-hanoi_tower-100-0.asp Witness Found OK 46.65 - 6.98 5.00 1.98 lp2sat2minisat 25-GraphColouring 41-graph_colouring-145-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2minisat 25-GraphColouring 58-graph_colouring-150-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2sat2minisat 25-GraphColouring 59-graph_colouring-150-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2sat2minisat 25-GraphColouring 53-graph_colouring-150-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2sat2minisat 25-GraphColouring 60-graph_colouring-150-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2sat2minisat 25-GraphColouring 9-graph_colouring-125-0.asp Witness Found OK 0.90 - 9.50 5.00 4.50 lp2sat2minisat 25-GraphColouring 12-graph_colouring-130-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2sat2minisat 25-GraphColouring 38-graph_colouring-140-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2sat2minisat 25-GraphColouring 6-graph_colouring-125-0.asp Witness Found OK 39.78 - 7.10 5.00 2.10 lp2sat2minisat 25-GraphColouring 37-graph_colouring-140-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2minisat 30-HydraulicLeaking 125-hydraulic_leaking-633-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2sat2minisat 30-HydraulicLeaking 1000-hydraulic_leaking-677-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2sat2minisat 30-HydraulicLeaking 290-hydraulic_leaking-348-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2minisat 30-HydraulicLeaking 13-hydraulic_leaking-364-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2minisat 30-HydraulicLeaking 274-hydraulic_leaking-392-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2minisat 30-HydraulicLeaking 232-hydraulic_leaking-348-0.asp Witness Found OK 563.33 - 5.05 5.00 0.05 lp2sat2minisat 30-HydraulicLeaking 141-hydraulic_leaking-304-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2minisat 30-HydraulicLeaking 17-hydraulic_leaking-408-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2sat2minisat 30-HydraulicLeaking 271-hydraulic_leaking-348-0.asp Witness Found OK 566.47 - 5.04 5.00 0.04 lp2sat2minisat 30-HydraulicLeaking 168-hydraulic_leaking-348-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2sat2minisat 31-HydraulicPlanning 109-hydraulic_planning-619-0.asp Witness Found OK 54.80 - 6.86 5.00 1.86 lp2sat2minisat 31-HydraulicPlanning 99-hydraulic_planning-684-0.asp Witness Found OK 70.94 - 6.66 5.00 1.66 lp2sat2minisat 31-HydraulicPlanning 138-hydraulic_planning-626-0.asp Witness Found OK 59.58 - 6.79 5.00 1.79 lp2sat2minisat 31-HydraulicPlanning 382-hydraulic_planning-624-0.asp Witness Found OK 58.92 - 6.80 5.00 1.80 lp2sat2minisat 31-HydraulicPlanning 106-hydraulic_planning-619-0.asp Witness Found OK 56.94 - 6.83 5.00 1.83 lp2sat2minisat 31-HydraulicPlanning 1000-hydraulic_planning-684-0.asp Witness Found OK 70.50 - 6.66 5.00 1.66 lp2sat2minisat 31-HydraulicPlanning 379-hydraulic_planning-610-0.asp Witness Found OK 53.38 - 6.88 5.00 1.88 lp2sat2minisat 31-HydraulicPlanning 155-hydraulic_planning-670-0.asp Witness Found OK 64.30 - 6.73 5.00 1.73 lp2sat2minisat 31-HydraulicPlanning 100-hydraulic_planning-728-0.asp Witness Found OK 76.45 - 6.60 5.00 1.60 lp2sat2minisat 31-HydraulicPlanning 101-hydraulic_planning-612-0.asp Witness Found OK 53.96 - 6.87 5.00 1.87 lp2sat2minisat 32-StableMarriage 12-stable_marriage-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2minisat 32-StableMarriage 2-stable_marriage-0-0.asp N/A Mem out/Fail 155.13 - 0.00 0.00 0.00 lp2sat2minisat 32-StableMarriage 8-stable_marriage-0-0.asp N/A Mem out/Fail 155.05 - 0.00 0.00 0.00 lp2sat2minisat 32-StableMarriage 29-stable_marriage-0-0.asp N/A Mem out/Fail 155.13 - 0.00 0.00 0.00 lp2sat2minisat 32-StableMarriage 44-stable_marriage-0-0.asp N/A Mem out/Fail 157.56 - 0.00 0.00 0.00 lp2sat2minisat 32-StableMarriage 11-stable_marriage-0-0.asp N/A Mem out/Fail 154.67 - 0.00 0.00 0.00 lp2sat2minisat 32-StableMarriage 47-stable_marriage-0-0.asp N/A Mem out/Fail 150.23 - 0.00 0.00 0.00 lp2sat2minisat 32-StableMarriage 23-stable_marriage-0-0.asp N/A Mem out/Fail 150.36 - 0.00 0.00 0.00 lp2sat2minisat 32-StableMarriage 26-stable_marriage-0-0.asp N/A Mem out/Fail 149.39 - 0.00 0.00 0.00 lp2sat2minisat 32-StableMarriage 43-stable_marriage-0-0.asp N/A Mem out/Fail 149.73 - 0.00 0.00 0.00 lp2sat2minisat 33-MazeGeneration 14-maze_generation-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2minisat 33-MazeGeneration 10-maze_generation-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2minisat 33-MazeGeneration 22-maze_generation-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2minisat 33-MazeGeneration 31-maze_generation-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2minisat 33-MazeGeneration 47-maze_generation-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2minisat 33-MazeGeneration 04-maze_generation-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2minisat 33-MazeGeneration 42-maze_generation-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2minisat 33-MazeGeneration 41-maze_generation-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2minisat 33-MazeGeneration 26-maze_generation-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2minisat 33-MazeGeneration 37-maze_generation-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2minisat 34-PartnerUnitsPolynomial 206-partner_units_polynomial-63-0.asp Witness Found OK 429.25 - 5.26 5.00 0.26 lp2sat2minisat 34-PartnerUnitsPolynomial 67-partner_units_polynomial-100-0.asp N/A Mem out/Fail 186.12 - 0.00 0.00 0.00 lp2sat2minisat 34-PartnerUnitsPolynomial 64-partner_units_polynomial-100-0.asp N/A Mem out/Fail 186.40 - 0.00 0.00 0.00 lp2sat2minisat 34-PartnerUnitsPolynomial 52-partner_units_polynomial-100-0.asp N/A Mem out/Fail 186.14 - 0.00 0.00 0.00 lp2sat2minisat 34-PartnerUnitsPolynomial 187-partner_units_polynomial-51-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2minisat 34-PartnerUnitsPolynomial 60-partner_units_polynomial-100-0.asp N/A Mem out/Fail 186.78 - 0.00 0.00 0.00 lp2sat2minisat 34-PartnerUnitsPolynomial 175-partner_units_polynomial-75-0.asp N/A Mem out/Fail 161.99 - 0.00 0.00 0.00 lp2sat2minisat 34-PartnerUnitsPolynomial 57-partner_units_polynomial-100-0.asp N/A Mem out/Fail 184.87 - 0.00 0.00 0.00 lp2sat2minisat 34-PartnerUnitsPolynomial 127-partner_units_polynomial-100-0.asp N/A Mem out/Fail 186.09 - 0.00 0.00 0.00 lp2sat2minisat 34-PartnerUnitsPolynomial 41-partner_units_polynomial-79-0.asp N/A Mem out/Fail 160.62 - 0.00 0.00 0.00 clasp 02-Reachability 01-reachability-0-0.asp Inconsistent OK 5.78 - 8.50 5.00 3.50 clasp 02-Reachability 02-reachability-0-0.asp Inconsistent OK 8.32 - 8.26 5.00 3.26 clasp 02-Reachability 03-reachability-0-0.asp Inconsistent OK 570.19 - 5.04 5.00 0.04 clasp 02-Reachability 06-reachability-0-0.asp Inconsistent OK 25.80 - 7.43 5.00 2.43 clasp 02-Reachability 07-reachability-0-0.asp Inconsistent OK 53.18 - 6.88 5.00 1.88 clasp 02-Reachability 08-reachability-0-0.asp N/A Mem out/Fail 58.48 - 0.00 0.00 0.00 clasp 02-Reachability 09-reachability-0-0.asp N/A Time out - - 0.00 0.00 0.00 clasp 02-Reachability 13-reachability-0-0.asp N/A Mem out/Fail 47.40 - 0.00 0.00 0.00 clasp 02-Reachability 14-reachability-0-0.asp N/A Mem out/Fail 46.94 - 0.00 0.00 0.00 clasp 02-Reachability 15-reachability-0-0.asp N/A Mem out/Fail 47.16 - 0.00 0.00 0.00 clasp 06-Grammar-BasedInformationExtraction 01-grammar_based_information_extraction-1305896-0.asp Inconsistent OK 28.06 - 7.37 5.00 2.37 clasp 06-Grammar-BasedInformationExtraction 02-grammar_based_information_extraction-1290780-0.asp Witness Found OK 32.74 - 7.25 5.00 2.25 clasp 06-Grammar-BasedInformationExtraction 03-grammar_based_information_extraction-797206-0.asp Inconsistent OK 34.40 - 7.21 5.00 2.21 clasp 06-Grammar-BasedInformationExtraction 04-grammar_based_information_extraction-1256479-0.asp Witness Found OK 30.08 - 7.31 5.00 2.31 clasp 06-Grammar-BasedInformationExtraction 05-grammar_based_information_extraction-1136348-0.asp Inconsistent OK 47.46 - 6.97 5.00 1.97 clasp 06-Grammar-BasedInformationExtraction 06-grammar_based_information_extraction-1359311-0.asp Witness Found OK 28.52 - 7.35 5.00 2.35 clasp 06-Grammar-BasedInformationExtraction 07-grammar_based_information_extraction-1284391-0.asp Witness Found OK 44.40 - 7.02 5.00 2.02 clasp 06-Grammar-BasedInformationExtraction 08-grammar_based_information_extraction-1412644-0.asp Witness Found OK 52.38 - 6.89 5.00 1.89 clasp 06-Grammar-BasedInformationExtraction 09-grammar_based_information_extraction-1479675-0.asp Witness Found OK 30.12 - 7.31 5.00 2.31 clasp 06-Grammar-BasedInformationExtraction 10-grammar_based_information_extraction-1088505-0.asp Witness Found OK 38.34 - 7.13 5.00 2.13 clasp 10-SokobanDecision 12-sokoban_decision-0-0.asp Witness Found OK 0.74 - 9.57 5.00 4.57 clasp 10-SokobanDecision 16-sokoban_decision-0-0.asp Inconsistent OK 4.28 - 8.70 5.00 3.70 clasp 10-SokobanDecision 17-sokoban_decision-0-0.asp Witness Found OK 1.40 - 9.32 5.00 4.32 clasp 10-SokobanDecision 42-sokoban_decision-0-0.asp Inconsistent OK 185.21 - 5.92 5.00 0.92 clasp 10-SokobanDecision 48-sokoban_decision-0-0.asp Witness Found OK 203.11 - 5.84 5.00 0.84 clasp 10-SokobanDecision 49-sokoban_decision-0-0.asp Witness Found OK 304.72 - 5.53 5.00 0.53 clasp 10-SokobanDecision 4-sokoban_decision-0-0.asp Inconsistent OK 3.78 - 8.78 5.00 3.78 clasp 10-SokobanDecision 50-sokoban_decision-0-0.asp Witness Found OK 50.54 - 6.92 5.00 1.92 clasp 10-SokobanDecision 6-sokoban_decision-0-0.asp Inconsistent OK 2.70 - 8.98 5.00 3.98 clasp 10-SokobanDecision 7-sokoban_decision-0-0.asp Inconsistent OK 4.96 - 8.61 5.00 3.61 clasp 12-KnightTour 01-knight_tour-8-0.asp Witness Found OK 0.04 - 9.97 5.00 4.97 clasp 12-KnightTour 02-knight_tour-10-0.asp Witness Found OK 0.14 - 9.90 5.00 4.90 clasp 12-KnightTour 03-knight_tour-12-0.asp Witness Found OK 0.42 - 9.73 5.00 4.73 clasp 12-KnightTour 04-knight_tour-14-0.asp Witness Found OK 0.84 - 9.52 5.00 4.52 clasp 12-KnightTour 05-knight_tour-16-0.asp Witness Found OK 1.62 - 9.25 5.00 4.25 clasp 12-KnightTour 06-knight_tour-20-0.asp Witness Found OK 5.06 - 8.59 5.00 3.59 clasp 12-KnightTour 07-knight_tour-30-0.asp Witness Found OK 146.68 - 6.10 5.00 1.10 clasp 12-KnightTour 08-knight_tour-40-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 clasp 12-KnightTour 09-knight_tour-46-0.asp N/A Time out - - 0.00 0.00 0.00 clasp 12-KnightTour 10-knight_tour-50-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 clasp 13-DisjunctiveScheduling 01-disjunctive_scheduling-1000-0.asp Witness Found OK 7.72 - 8.31 5.00 3.31 clasp 13-DisjunctiveScheduling 02-disjunctive_scheduling-941-0.asp N/A Mem out/Fail 194.17 - 0.00 0.00 0.00 clasp 13-DisjunctiveScheduling 03-disjunctive_scheduling-947-0.asp N/A Mem out/Fail 193.65 - 0.00 0.00 0.00 clasp 13-DisjunctiveScheduling 04-disjunctive_scheduling-959-0.asp N/A Mem out/Fail 193.90 - 0.00 0.00 0.00 clasp 13-DisjunctiveScheduling 05-disjunctive_scheduling-959-0.asp N/A Mem out/Fail 192.68 - 0.00 0.00 0.00 clasp 13-DisjunctiveScheduling 06-disjunctive_scheduling-941-0.asp N/A Mem out/Fail 194.46 - 0.00 0.00 0.00 clasp 13-DisjunctiveScheduling 07-disjunctive_scheduling-205-0.asp Witness Found OK 27.14 - 7.39 5.00 2.39 clasp 13-DisjunctiveScheduling 08-disjunctive_scheduling-188-0.asp Witness Found OK 22.04 - 7.55 5.00 2.55 clasp 13-DisjunctiveScheduling 09-disjunctive_scheduling-183-0.asp Witness Found OK 21.56 - 7.56 5.00 2.56 clasp 13-DisjunctiveScheduling 10-disjunctive_scheduling-205-0.asp Witness Found OK 27.14 - 7.39 5.00 2.39 clasp 14-PackingProblem 10-packing-0-0.asp N/A Mem out/Fail 162.90 - 0.00 0.00 0.00 clasp 14-PackingProblem 18-packing-0-0.asp N/A Mem out/Fail 122.56 - 0.00 0.00 0.00 clasp 14-PackingProblem 20-packing-0-0.asp N/A Mem out/Fail 110.20 - 0.00 0.00 0.00 clasp 14-PackingProblem 22-packing-0-0.asp N/A Mem out/Fail 111.34 - 0.00 0.00 0.00 clasp 14-PackingProblem 34-packing-0-0.asp N/A Mem out/Fail 106.99 - 0.00 0.00 0.00 clasp 14-PackingProblem 45-packing-0-0.asp N/A Mem out/Fail 89.77 - 0.00 0.00 0.00 clasp 14-PackingProblem 46-packing-0-0.asp N/A Mem out/Fail 96.35 - 0.00 0.00 0.00 clasp 14-PackingProblem 5-packing-0-0.asp N/A Mem out/Fail 164.64 - 0.00 0.00 0.00 clasp 14-PackingProblem 8-packing-0-0.asp N/A Mem out/Fail 163.05 - 0.00 0.00 0.00 clasp 14-PackingProblem 9-packing-0-0.asp N/A Mem out/Fail 163.70 - 0.00 0.00 0.00 clasp 17-Labyrinth 003-labyrinth-11-0.asp Witness Found OK 54.09 - 6.87 5.00 1.87 clasp 17-Labyrinth 015-labyrinth-11-0.asp Witness Found OK 2.20 - 9.09 5.00 4.09 clasp 17-Labyrinth 028-labyrinth-12-0.asp Witness Found OK 3.96 - 8.75 5.00 3.75 clasp 17-Labyrinth 045-labyrinth-13-0.asp Witness Found OK 177.33 - 5.95 5.00 0.95 clasp 17-Labyrinth 123-labyrinth-17-0.asp Witness Found OK 11.30 - 8.04 5.00 3.04 clasp 17-Labyrinth 131-labyrinth-17-0.asp Witness Found OK 2.50 - 9.02 5.00 4.02 clasp 17-Labyrinth 147-labyrinth-18-0.asp Witness Found OK 7.70 - 8.31 5.00 3.31 clasp 17-Labyrinth 162-labyrinth-19-0.asp Witness Found OK 80.33 - 6.56 5.00 1.56 clasp 17-Labyrinth 169-labyrinth-19-0.asp Witness Found OK 72.10 - 6.65 5.00 1.65 clasp 17-Labyrinth 225-labyrinth-22-0.asp Witness Found OK 6.02 - 8.48 5.00 3.48 clasp 19-MultiContextSystemQuerying 00-multi_context_system_querying-0-0.asp Inconsistent OK 9.66 - 8.15 5.00 3.15 clasp 19-MultiContextSystemQuerying 20-multi_context_system_querying-0-0.asp Inconsistent OK 9.78 - 8.14 5.00 3.14 clasp 19-MultiContextSystemQuerying 31-multi_context_system_querying-0-0.asp Inconsistent OK 18.82 - 7.67 5.00 2.67 clasp 19-MultiContextSystemQuerying 32-multi_context_system_querying-0-0.asp Inconsistent OK 17.54 - 7.72 5.00 2.72 clasp 19-MultiContextSystemQuerying 39-multi_context_system_querying-0-0.asp Inconsistent OK 18.80 - 7.67 5.00 2.67 clasp 19-MultiContextSystemQuerying 41-multi_context_system_querying-0-0.asp Inconsistent OK 18.90 - 7.66 5.00 2.66 clasp 19-MultiContextSystemQuerying 56-multi_context_system_querying-0-0.asp Inconsistent OK 35.20 - 7.20 5.00 2.20 clasp 19-MultiContextSystemQuerying 60-multi_context_system_querying-0-0.asp Inconsistent OK 35.26 - 7.19 5.00 2.19 clasp 19-MultiContextSystemQuerying 64-multi_context_system_querying-0-0.asp Inconsistent OK 46.72 - 6.98 5.00 1.98 clasp 19-MultiContextSystemQuerying 70-multi_context_system_querying-0-0.asp Inconsistent OK 57.44 - 6.82 5.00 1.82 clasp 20-Numberlink 112-numberlink-0-0.asp Witness Found OK 0.62 - 9.62 5.00 4.62 clasp 20-Numberlink 123-numberlink-0-0.asp Witness Found OK 5.24 - 8.57 5.00 3.57 clasp 20-Numberlink 2-numberlink-0-0.asp Witness Found OK 0.00 - 10.00 5.00 5.00 clasp 20-Numberlink 32-numberlink-0-0.asp Witness Found OK 5.44 - 8.54 5.00 3.54 clasp 20-Numberlink 48-numberlink-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 clasp 20-Numberlink 62-numberlink-0-0.asp Witness Found OK 2.18 - 9.10 5.00 4.10 clasp 20-Numberlink 86-numberlink-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 clasp 20-Numberlink 87-numberlink-0-0.asp N/A Time out - - 0.00 0.00 0.00 clasp 20-Numberlink 94-numberlink-0-0.asp Witness Found OK 2.96 - 8.92 5.00 3.92 clasp 20-Numberlink 9-numberlink-0-0.asp Witness Found OK 0.18 - 9.87 5.00 4.87 clasp 22-HanoiTower 03-hanoi_tower-60-0.asp Witness Found OK 277.73 - 5.60 5.00 0.60 clasp 22-HanoiTower 09-hanoi_tower-28-0.asp Witness Found OK 4.48 - 8.67 5.00 3.67 clasp 22-HanoiTower 10-hanoi_tower-29-0.asp Witness Found OK 280.20 - 5.59 5.00 0.59 clasp 22-HanoiTower 40-hanoi_tower-80-0.asp N/A Time out - - 0.00 0.00 0.00 clasp 22-HanoiTower 43-hanoi_tower-100-0.asp Witness Found OK 60.54 - 6.78 5.00 1.78 clasp 22-HanoiTower 46-hanoi_tower-100-0.asp Witness Found OK 281.93 - 5.59 5.00 0.59 clasp 22-HanoiTower 51-hanoi_tower-120-0.asp Witness Found OK 94.32 - 6.44 5.00 1.44 clasp 22-HanoiTower 56-hanoi_tower-120-0.asp N/A Time out - - 0.00 0.00 0.00 clasp 22-HanoiTower 57-hanoi_tower-120-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 clasp 22-HanoiTower 59-hanoi_tower-120-0.asp N/A Time out - - 0.00 0.00 0.00 clasp 25-GraphColouring 12-graph_colouring-130-0.asp Witness Found OK 240.91 - 5.71 5.00 0.71 clasp 25-GraphColouring 37-graph_colouring-140-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 clasp 25-GraphColouring 38-graph_colouring-140-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 clasp 25-GraphColouring 41-graph_colouring-145-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 clasp 25-GraphColouring 53-graph_colouring-150-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 clasp 25-GraphColouring 58-graph_colouring-150-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 clasp 25-GraphColouring 59-graph_colouring-150-0.asp N/A Time out - - 0.00 0.00 0.00 clasp 25-GraphColouring 60-graph_colouring-150-0.asp N/A Time out - - 0.00 0.00 0.00 clasp 25-GraphColouring 6-graph_colouring-125-0.asp Witness Found OK 11.44 - 8.03 5.00 3.03 clasp 25-GraphColouring 9-graph_colouring-125-0.asp Witness Found OK 1.60 - 9.25 5.00 4.25 clasp 26-Solitaire 08-solitaire-50-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 clasp 26-Solitaire 09-solitaire-50-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 clasp 26-Solitaire 15-solitaire-50-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 clasp 26-Solitaire 16-solitaire-50-0.asp Witness Found OK 65.31 - 6.72 5.00 1.72 clasp 26-Solitaire 17-solitaire-50-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 clasp 26-Solitaire 18-solitaire-50-0.asp N/A Time out - - 0.00 0.00 0.00 clasp 26-Solitaire 24-solitaire-50-0.asp Witness Found OK 80.61 - 6.56 5.00 1.56 clasp 26-Solitaire 25-solitaire-50-0.asp Witness Found OK 32.20 - 7.26 5.00 2.26 clasp 26-Solitaire 26-solitaire-50-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 clasp 26-Solitaire 27-solitaire-50-0.asp N/A Time out - - 0.00 0.00 0.00 clasp 28-Weight-AssignmentTree 06-weight_assignment_tree-560-0.asp N/A Mem out/Fail 53.46 - 0.00 0.00 0.00 clasp 28-Weight-AssignmentTree 09-weight_assignment_tree-778-0.asp N/A Mem out/Fail 64.30 - 0.00 0.00 0.00 clasp 28-Weight-AssignmentTree 30-weight_assignment_tree-631-0.asp Witness Found OK 53.14 - 6.88 5.00 1.88 clasp 28-Weight-AssignmentTree 43-weight_assignment_tree-645-0.asp Witness Found OK 62.40 - 6.76 5.00 1.76 clasp 28-Weight-AssignmentTree 45-weight_assignment_tree-312-0.asp Witness Found OK 20.20 - 7.61 5.00 2.61 clasp 28-Weight-AssignmentTree 52-weight_assignment_tree-1777-0.asp N/A Mem out/Fail 135.22 - 0.00 0.00 0.00 clasp 28-Weight-AssignmentTree 55-weight_assignment_tree-1620-0.asp N/A Mem out/Fail 135.39 - 0.00 0.00 0.00 clasp 28-Weight-AssignmentTree 58-weight_assignment_tree-1647-0.asp N/A Mem out/Fail 134.60 - 0.00 0.00 0.00 clasp 28-Weight-AssignmentTree 59-weight_assignment_tree-1595-0.asp N/A Mem out/Fail 134.70 - 0.00 0.00 0.00 clasp 28-Weight-AssignmentTree 61-weight_assignment_tree-1542-0.asp N/A Mem out/Fail 134.87 - 0.00 0.00 0.00 clasp 30-HydraulicLeaking 1000-hydraulic_leaking-677-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 clasp 30-HydraulicLeaking 125-hydraulic_leaking-633-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 clasp 30-HydraulicLeaking 13-hydraulic_leaking-364-0.asp Witness Found OK 600.09 - 0.00 0.00 0.00 clasp 30-HydraulicLeaking 141-hydraulic_leaking-304-0.asp N/A Time out - - 0.00 0.00 0.00 clasp 30-HydraulicLeaking 168-hydraulic_leaking-348-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 clasp 30-HydraulicLeaking 17-hydraulic_leaking-408-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 clasp 30-HydraulicLeaking 232-hydraulic_leaking-348-0.asp Witness Found OK 485.19 - 5.17 5.00 0.17 clasp 30-HydraulicLeaking 271-hydraulic_leaking-348-0.asp Witness Found OK 485.63 - 5.16 5.00 0.16 clasp 30-HydraulicLeaking 274-hydraulic_leaking-392-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 clasp 30-HydraulicLeaking 290-hydraulic_leaking-348-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 clasp 31-HydraulicPlanning 1000-hydraulic_planning-684-0.asp Witness Found OK 29.44 - 7.33 5.00 2.33 clasp 31-HydraulicPlanning 100-hydraulic_planning-728-0.asp Witness Found OK 32.42 - 7.26 5.00 2.26 clasp 31-HydraulicPlanning 101-hydraulic_planning-612-0.asp Witness Found OK 21.30 - 7.57 5.00 2.57 clasp 31-HydraulicPlanning 106-hydraulic_planning-619-0.asp Witness Found OK 22.48 - 7.53 5.00 2.53 clasp 31-HydraulicPlanning 109-hydraulic_planning-619-0.asp Witness Found OK 21.74 - 7.56 5.00 2.56 clasp 31-HydraulicPlanning 138-hydraulic_planning-626-0.asp Witness Found OK 23.64 - 7.50 5.00 2.50 clasp 31-HydraulicPlanning 155-hydraulic_planning-670-0.asp Witness Found OK 26.52 - 7.41 5.00 2.41 clasp 31-HydraulicPlanning 379-hydraulic_planning-610-0.asp Witness Found OK 21.12 - 7.58 5.00 2.58 clasp 31-HydraulicPlanning 382-hydraulic_planning-624-0.asp Witness Found OK 23.66 - 7.50 5.00 2.50 clasp 31-HydraulicPlanning 99-hydraulic_planning-684-0.asp Witness Found OK 29.46 - 7.33 5.00 2.33 clasp 32-StableMarriage 11-stable_marriage-0-0.asp N/A Mem out/Fail 356.08 - 0.00 0.00 0.00 clasp 32-StableMarriage 12-stable_marriage-0-0.asp N/A Time out - - 0.00 0.00 0.00 clasp 32-StableMarriage 23-stable_marriage-0-0.asp N/A Mem out/Fail 358.00 - 0.00 0.00 0.00 clasp 32-StableMarriage 26-stable_marriage-0-0.asp N/A Mem out/Fail 358.49 - 0.00 0.00 0.00 clasp 32-StableMarriage 29-stable_marriage-0-0.asp N/A Mem out/Fail 353.85 - 0.00 0.00 0.00 clasp 32-StableMarriage 2-stable_marriage-0-0.asp N/A Mem out/Fail 356.03 - 0.00 0.00 0.00 clasp 32-StableMarriage 43-stable_marriage-0-0.asp Witness Found OK 186.51 - 5.91 5.00 0.91 clasp 32-StableMarriage 44-stable_marriage-0-0.asp N/A Mem out/Fail 357.04 - 0.00 0.00 0.00 clasp 32-StableMarriage 47-stable_marriage-0-0.asp N/A Mem out/Fail 356.03 - 0.00 0.00 0.00 clasp 32-StableMarriage 8-stable_marriage-0-0.asp N/A Mem out/Fail 356.06 - 0.00 0.00 0.00 clasp 33-MazeGeneration 04-maze_generation-0-0.asp Witness Found OK 0.06 - 9.95 5.00 4.95 clasp 33-MazeGeneration 10-maze_generation-0-0.asp Witness Found OK 1.62 - 9.25 5.00 4.25 clasp 33-MazeGeneration 14-maze_generation-0-0.asp Witness Found OK 0.18 - 9.87 5.00 4.87 clasp 33-MazeGeneration 22-maze_generation-0-0.asp Witness Found OK 0.26 - 9.82 5.00 4.82 clasp 33-MazeGeneration 26-maze_generation-0-0.asp Witness Found OK 0.56 - 9.65 5.00 4.65 clasp 33-MazeGeneration 31-maze_generation-0-0.asp Witness Found OK 0.30 - 9.79 5.00 4.79 clasp 33-MazeGeneration 37-maze_generation-0-0.asp Witness Found OK 1.52 - 9.28 5.00 4.28 clasp 33-MazeGeneration 41-maze_generation-0-0.asp Witness Found OK 0.44 - 9.72 5.00 4.72 clasp 33-MazeGeneration 42-maze_generation-0-0.asp Witness Found OK 0.56 - 9.65 5.00 4.65 clasp 33-MazeGeneration 47-maze_generation-0-0.asp Witness Found OK 1.82 - 9.19 5.00 4.19 clasp 34-PartnerUnitsPolynomial 127-partner_units_polynomial-100-0.asp N/A Mem out/Fail 280.28 - 0.00 0.00 0.00 clasp 34-PartnerUnitsPolynomial 175-partner_units_polynomial-75-0.asp N/A Time out - - 0.00 0.00 0.00 clasp 34-PartnerUnitsPolynomial 187-partner_units_polynomial-51-0.asp Witness Found OK 32.40 - 7.26 5.00 2.26 clasp 34-PartnerUnitsPolynomial 206-partner_units_polynomial-63-0.asp Witness Found OK 44.96 - 7.01 5.00 2.01 clasp 34-PartnerUnitsPolynomial 41-partner_units_polynomial-79-0.asp N/A Time out - - 0.00 0.00 0.00 clasp 34-PartnerUnitsPolynomial 52-partner_units_polynomial-100-0.asp N/A Mem out/Fail 288.53 - 0.00 0.00 0.00 clasp 34-PartnerUnitsPolynomial 57-partner_units_polynomial-100-0.asp N/A Mem out/Fail 287.30 - 0.00 0.00 0.00 clasp 34-PartnerUnitsPolynomial 60-partner_units_polynomial-100-0.asp N/A Mem out/Fail 286.85 - 0.00 0.00 0.00 clasp 34-PartnerUnitsPolynomial 64-partner_units_polynomial-100-0.asp N/A Mem out/Fail 290.75 - 0.00 0.00 0.00 clasp 34-PartnerUnitsPolynomial 67-partner_units_polynomial-100-0.asp N/A Mem out/Fail 287.76 - 0.00 0.00 0.00 claspd 02-Reachability 01-reachability-0-0.asp Inconsistent OK 5.88 - 8.49 5.00 3.49 claspd 02-Reachability 02-reachability-0-0.asp Inconsistent OK 8.48 - 8.24 5.00 3.24 claspd 02-Reachability 03-reachability-0-0.asp Inconsistent OK 569.99 - 5.04 5.00 0.04 claspd 02-Reachability 06-reachability-0-0.asp Inconsistent OK 26.98 - 7.40 5.00 2.40 claspd 02-Reachability 07-reachability-0-0.asp Inconsistent OK 56.45 - 6.83 5.00 1.83 claspd 02-Reachability 08-reachability-0-0.asp N/A Mem out/Fail 76.60 - 0.00 0.00 0.00 claspd 02-Reachability 09-reachability-0-0.asp N/A Time out - - 0.00 0.00 0.00 claspd 02-Reachability 13-reachability-0-0.asp N/A Mem out/Fail 44.38 - 0.00 0.00 0.00 claspd 02-Reachability 14-reachability-0-0.asp N/A Mem out/Fail 44.16 - 0.00 0.00 0.00 claspd 02-Reachability 15-reachability-0-0.asp N/A Mem out/Fail 44.36 - 0.00 0.00 0.00 claspd 06-Grammar-BasedInformationExtraction 01-grammar_based_information_extraction-1305896-0.asp Inconsistent OK 28.50 - 7.36 5.00 2.36 claspd 06-Grammar-BasedInformationExtraction 02-grammar_based_information_extraction-1290780-0.asp Witness Found OK 33.14 - 7.24 5.00 2.24 claspd 06-Grammar-BasedInformationExtraction 03-grammar_based_information_extraction-797206-0.asp Inconsistent OK 34.90 - 7.20 5.00 2.20 claspd 06-Grammar-BasedInformationExtraction 04-grammar_based_information_extraction-1256479-0.asp Witness Found OK 29.96 - 7.32 5.00 2.32 claspd 06-Grammar-BasedInformationExtraction 05-grammar_based_information_extraction-1136348-0.asp Inconsistent OK 47.73 - 6.96 5.00 1.96 claspd 06-Grammar-BasedInformationExtraction 06-grammar_based_information_extraction-1359311-0.asp Witness Found OK 28.22 - 7.36 5.00 2.36 claspd 06-Grammar-BasedInformationExtraction 07-grammar_based_information_extraction-1284391-0.asp Witness Found OK 44.77 - 7.01 5.00 2.01 claspd 06-Grammar-BasedInformationExtraction 08-grammar_based_information_extraction-1412644-0.asp Witness Found OK 53.07 - 6.88 5.00 1.88 claspd 06-Grammar-BasedInformationExtraction 09-grammar_based_information_extraction-1479675-0.asp Witness Found OK 30.30 - 7.31 5.00 2.31 claspd 06-Grammar-BasedInformationExtraction 10-grammar_based_information_extraction-1088505-0.asp Witness Found OK 38.61 - 7.13 5.00 2.13 claspd 10-SokobanDecision 12-sokoban_decision-0-0.asp Witness Found OK 3.46 - 8.83 5.00 3.83 claspd 10-SokobanDecision 16-sokoban_decision-0-0.asp Inconsistent OK 6.54 - 8.42 5.00 3.42 claspd 10-SokobanDecision 17-sokoban_decision-0-0.asp Witness Found OK 1.42 - 9.31 5.00 4.31 claspd 10-SokobanDecision 42-sokoban_decision-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 claspd 10-SokobanDecision 48-sokoban_decision-0-0.asp Witness Found OK 401.15 - 5.31 5.00 0.31 claspd 10-SokobanDecision 49-sokoban_decision-0-0.asp Witness Found OK 521.85 - 5.11 5.00 0.11 claspd 10-SokobanDecision 4-sokoban_decision-0-0.asp Inconsistent OK 3.56 - 8.81 5.00 3.81 claspd 10-SokobanDecision 50-sokoban_decision-0-0.asp Witness Found OK 313.67 - 5.51 5.00 0.51 claspd 10-SokobanDecision 6-sokoban_decision-0-0.asp Inconsistent OK 4.46 - 8.67 5.00 3.67 claspd 10-SokobanDecision 7-sokoban_decision-0-0.asp Inconsistent OK 7.40 - 8.34 5.00 3.34 claspd 12-KnightTour 01-knight_tour-8-0.asp Witness Found OK 0.04 - 9.97 5.00 4.97 claspd 12-KnightTour 02-knight_tour-10-0.asp Witness Found OK 0.24 - 9.83 5.00 4.83 claspd 12-KnightTour 03-knight_tour-12-0.asp Witness Found OK 0.34 - 9.77 5.00 4.77 claspd 12-KnightTour 04-knight_tour-14-0.asp Witness Found OK 1.58 - 9.26 5.00 4.26 claspd 12-KnightTour 05-knight_tour-16-0.asp Witness Found OK 2.00 - 9.14 5.00 4.14 claspd 12-KnightTour 06-knight_tour-20-0.asp Witness Found OK 8.50 - 8.24 5.00 3.24 claspd 12-KnightTour 07-knight_tour-30-0.asp Witness Found OK 67.31 - 6.70 5.00 1.70 claspd 12-KnightTour 08-knight_tour-40-0.asp Witness Found OK 469.78 - 5.19 5.00 0.19 claspd 12-KnightTour 09-knight_tour-46-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 claspd 12-KnightTour 10-knight_tour-50-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 claspd 13-DisjunctiveScheduling 01-disjunctive_scheduling-1000-0.asp Witness Found OK 13.02 - 7.94 5.00 2.94 claspd 13-DisjunctiveScheduling 02-disjunctive_scheduling-941-0.asp N/A Mem out/Fail 173.29 - 0.00 0.00 0.00 claspd 13-DisjunctiveScheduling 03-disjunctive_scheduling-947-0.asp N/A Mem out/Fail 172.83 - 0.00 0.00 0.00 claspd 13-DisjunctiveScheduling 04-disjunctive_scheduling-959-0.asp N/A Mem out/Fail 173.17 - 0.00 0.00 0.00 claspd 13-DisjunctiveScheduling 05-disjunctive_scheduling-959-0.asp N/A Mem out/Fail 172.60 - 0.00 0.00 0.00 claspd 13-DisjunctiveScheduling 06-disjunctive_scheduling-941-0.asp N/A Mem out/Fail 173.39 - 0.00 0.00 0.00 claspd 13-DisjunctiveScheduling 07-disjunctive_scheduling-205-0.asp Witness Found OK 361.96 - 5.39 5.00 0.39 claspd 13-DisjunctiveScheduling 08-disjunctive_scheduling-188-0.asp Witness Found OK 279.10 - 5.60 5.00 0.60 claspd 13-DisjunctiveScheduling 09-disjunctive_scheduling-183-0.asp Witness Found OK 280.24 - 5.59 5.00 0.59 claspd 13-DisjunctiveScheduling 10-disjunctive_scheduling-205-0.asp Witness Found OK 360.88 - 5.40 5.00 0.40 claspd 14-PackingProblem 10-packing-0-0.asp N/A Mem out/Fail 173.98 - 0.00 0.00 0.00 claspd 14-PackingProblem 18-packing-0-0.asp N/A Mem out/Fail 123.26 - 0.00 0.00 0.00 claspd 14-PackingProblem 20-packing-0-0.asp N/A Mem out/Fail 97.09 - 0.00 0.00 0.00 claspd 14-PackingProblem 22-packing-0-0.asp N/A Mem out/Fail 103.62 - 0.00 0.00 0.00 claspd 14-PackingProblem 34-packing-0-0.asp N/A Mem out/Fail 93.50 - 0.00 0.00 0.00 claspd 14-PackingProblem 45-packing-0-0.asp N/A Mem out/Fail 74.84 - 0.00 0.00 0.00 claspd 14-PackingProblem 46-packing-0-0.asp N/A Mem out/Fail 82.20 - 0.00 0.00 0.00 claspd 14-PackingProblem 5-packing-0-0.asp N/A Mem out/Fail 174.71 - 0.00 0.00 0.00 claspd 14-PackingProblem 8-packing-0-0.asp N/A Mem out/Fail 174.82 - 0.00 0.00 0.00 claspd 14-PackingProblem 9-packing-0-0.asp N/A Mem out/Fail 184.40 - 0.00 0.00 0.00 claspd 17-Labyrinth 003-labyrinth-11-0.asp Witness Found OK 2.30 - 9.07 5.00 4.07 claspd 17-Labyrinth 015-labyrinth-11-0.asp Witness Found OK 2.40 - 9.04 5.00 4.04 claspd 17-Labyrinth 028-labyrinth-12-0.asp Witness Found OK 3.76 - 8.78 5.00 3.78 claspd 17-Labyrinth 045-labyrinth-13-0.asp Witness Found OK 460.34 - 5.21 5.00 0.21 claspd 17-Labyrinth 123-labyrinth-17-0.asp Witness Found OK 34.91 - 7.20 5.00 2.20 claspd 17-Labyrinth 131-labyrinth-17-0.asp Witness Found OK 44.30 - 7.02 5.00 2.02 claspd 17-Labyrinth 147-labyrinth-18-0.asp Witness Found OK 47.10 - 6.97 5.00 1.97 claspd 17-Labyrinth 162-labyrinth-19-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 claspd 17-Labyrinth 169-labyrinth-19-0.asp Witness Found OK 193.69 - 5.88 5.00 0.88 claspd 17-Labyrinth 225-labyrinth-22-0.asp Witness Found OK 154.43 - 6.06 5.00 1.06 claspd 19-MultiContextSystemQuerying 00-multi_context_system_querying-0-0.asp Inconsistent OK 9.78 - 8.14 5.00 3.14 claspd 19-MultiContextSystemQuerying 20-multi_context_system_querying-0-0.asp Inconsistent OK 9.96 - 8.13 5.00 3.13 claspd 19-MultiContextSystemQuerying 31-multi_context_system_querying-0-0.asp Inconsistent OK 19.92 - 7.62 5.00 2.62 claspd 19-MultiContextSystemQuerying 32-multi_context_system_querying-0-0.asp Inconsistent OK 17.62 - 7.71 5.00 2.71 claspd 19-MultiContextSystemQuerying 39-multi_context_system_querying-0-0.asp Inconsistent OK 19.16 - 7.65 5.00 2.65 claspd 19-MultiContextSystemQuerying 41-multi_context_system_querying-0-0.asp Inconsistent OK 19.59 - 7.64 5.00 2.64 claspd 19-MultiContextSystemQuerying 56-multi_context_system_querying-0-0.asp Inconsistent OK 34.36 - 7.21 5.00 2.21 claspd 19-MultiContextSystemQuerying 60-multi_context_system_querying-0-0.asp Inconsistent OK 36.36 - 7.17 5.00 2.17 claspd 19-MultiContextSystemQuerying 64-multi_context_system_querying-0-0.asp Inconsistent OK 49.70 - 6.93 5.00 1.93 claspd 19-MultiContextSystemQuerying 70-multi_context_system_querying-0-0.asp Inconsistent OK 62.83 - 6.75 5.00 1.75 claspd 20-Numberlink 112-numberlink-0-0.asp Witness Found OK 1.70 - 9.22 5.00 4.22 claspd 20-Numberlink 123-numberlink-0-0.asp Witness Found OK 6.10 - 8.47 5.00 3.47 claspd 20-Numberlink 2-numberlink-0-0.asp Witness Found OK 0.04 - 9.97 5.00 4.97 claspd 20-Numberlink 32-numberlink-0-0.asp Witness Found OK 0.92 - 9.49 5.00 4.49 claspd 20-Numberlink 48-numberlink-0-0.asp N/A Time out - - 0.00 0.00 0.00 claspd 20-Numberlink 62-numberlink-0-0.asp Witness Found OK 1.88 - 9.17 5.00 4.17 claspd 20-Numberlink 86-numberlink-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 claspd 20-Numberlink 87-numberlink-0-0.asp Witness Found OK 336.54 - 5.45 5.00 0.45 claspd 20-Numberlink 94-numberlink-0-0.asp Witness Found OK 20.24 - 7.61 5.00 2.61 claspd 20-Numberlink 9-numberlink-0-0.asp Witness Found OK 0.18 - 9.87 5.00 4.87 claspd 22-HanoiTower 03-hanoi_tower-60-0.asp Witness Found OK 188.89 - 5.90 5.00 0.90 claspd 22-HanoiTower 09-hanoi_tower-28-0.asp N/A Time out - - 0.00 0.00 0.00 claspd 22-HanoiTower 10-hanoi_tower-29-0.asp Witness Found OK 59.60 - 6.79 5.00 1.79 claspd 22-HanoiTower 40-hanoi_tower-80-0.asp Witness Found OK 432.25 - 5.26 5.00 0.26 claspd 22-HanoiTower 43-hanoi_tower-100-0.asp Witness Found OK 30.00 - 7.32 5.00 2.32 claspd 22-HanoiTower 46-hanoi_tower-100-0.asp N/A Time out - - 0.00 0.00 0.00 claspd 22-HanoiTower 51-hanoi_tower-120-0.asp Witness Found OK 170.77 - 5.98 5.00 0.98 claspd 22-HanoiTower 56-hanoi_tower-120-0.asp N/A Time out - - 0.00 0.00 0.00 claspd 22-HanoiTower 57-hanoi_tower-120-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 claspd 22-HanoiTower 59-hanoi_tower-120-0.asp N/A Time out - - 0.00 0.00 0.00 claspd 25-GraphColouring 12-graph_colouring-130-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 claspd 25-GraphColouring 37-graph_colouring-140-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 claspd 25-GraphColouring 38-graph_colouring-140-0.asp N/A Time out - - 0.00 0.00 0.00 claspd 25-GraphColouring 41-graph_colouring-145-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 claspd 25-GraphColouring 53-graph_colouring-150-0.asp N/A Time out - - 0.00 0.00 0.00 claspd 25-GraphColouring 58-graph_colouring-150-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 claspd 25-GraphColouring 59-graph_colouring-150-0.asp N/A Time out - - 0.00 0.00 0.00 claspd 25-GraphColouring 60-graph_colouring-150-0.asp N/A Time out - - 0.00 0.00 0.00 claspd 25-GraphColouring 6-graph_colouring-125-0.asp Witness Found OK 1.40 - 9.32 5.00 4.32 claspd 25-GraphColouring 9-graph_colouring-125-0.asp Witness Found OK 1.00 - 9.46 5.00 4.46 claspd 26-Solitaire 08-solitaire-50-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 claspd 26-Solitaire 09-solitaire-50-0.asp N/A Time out - - 0.00 0.00 0.00 claspd 26-Solitaire 15-solitaire-50-0.asp Witness Found OK 324.78 - 5.48 5.00 0.48 claspd 26-Solitaire 16-solitaire-50-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 claspd 26-Solitaire 17-solitaire-50-0.asp N/A Time out - - 0.00 0.00 0.00 claspd 26-Solitaire 18-solitaire-50-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 claspd 26-Solitaire 24-solitaire-50-0.asp Witness Found OK 541.68 - 5.08 5.00 0.08 claspd 26-Solitaire 25-solitaire-50-0.asp N/A Time out - - 0.00 0.00 0.00 claspd 26-Solitaire 26-solitaire-50-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 claspd 26-Solitaire 27-solitaire-50-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 claspd 28-Weight-AssignmentTree 06-weight_assignment_tree-560-0.asp N/A Mem out/Fail 86.77 - 0.00 0.00 0.00 claspd 28-Weight-AssignmentTree 09-weight_assignment_tree-778-0.asp N/A Mem out/Fail 99.91 - 0.00 0.00 0.00 claspd 28-Weight-AssignmentTree 30-weight_assignment_tree-631-0.asp Witness Found OK 107.00 - 6.34 5.00 1.34 claspd 28-Weight-AssignmentTree 43-weight_assignment_tree-645-0.asp Witness Found OK 76.95 - 6.60 5.00 1.60 claspd 28-Weight-AssignmentTree 45-weight_assignment_tree-312-0.asp Witness Found OK 28.06 - 7.37 5.00 2.37 claspd 28-Weight-AssignmentTree 52-weight_assignment_tree-1777-0.asp N/A Mem out/Fail 123.39 - 0.00 0.00 0.00 claspd 28-Weight-AssignmentTree 55-weight_assignment_tree-1620-0.asp N/A Mem out/Fail 123.54 - 0.00 0.00 0.00 claspd 28-Weight-AssignmentTree 58-weight_assignment_tree-1647-0.asp N/A Mem out/Fail 122.68 - 0.00 0.00 0.00 claspd 28-Weight-AssignmentTree 59-weight_assignment_tree-1595-0.asp N/A Mem out/Fail 123.01 - 0.00 0.00 0.00 claspd 28-Weight-AssignmentTree 61-weight_assignment_tree-1542-0.asp N/A Mem out/Fail 122.79 - 0.00 0.00 0.00 claspd 30-HydraulicLeaking 1000-hydraulic_leaking-677-0.asp N/A Time out - - 0.00 0.00 0.00 claspd 30-HydraulicLeaking 125-hydraulic_leaking-633-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 claspd 30-HydraulicLeaking 13-hydraulic_leaking-364-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 claspd 30-HydraulicLeaking 141-hydraulic_leaking-304-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 claspd 30-HydraulicLeaking 168-hydraulic_leaking-348-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 claspd 30-HydraulicLeaking 17-hydraulic_leaking-408-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 claspd 30-HydraulicLeaking 232-hydraulic_leaking-348-0.asp Witness Found OK 485.77 - 5.16 5.00 0.16 claspd 30-HydraulicLeaking 271-hydraulic_leaking-348-0.asp Witness Found OK 489.45 - 5.16 5.00 0.16 claspd 30-HydraulicLeaking 274-hydraulic_leaking-392-0.asp N/A Time out - - 0.00 0.00 0.00 claspd 30-HydraulicLeaking 290-hydraulic_leaking-348-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 claspd 31-HydraulicPlanning 1000-hydraulic_planning-684-0.asp Witness Found OK 29.56 - 7.33 5.00 2.33 claspd 31-HydraulicPlanning 100-hydraulic_planning-728-0.asp Witness Found OK 32.50 - 7.26 5.00 2.26 claspd 31-HydraulicPlanning 101-hydraulic_planning-612-0.asp Witness Found OK 21.42 - 7.57 5.00 2.57 claspd 31-HydraulicPlanning 106-hydraulic_planning-619-0.asp Witness Found OK 22.62 - 7.53 5.00 2.53 claspd 31-HydraulicPlanning 109-hydraulic_planning-619-0.asp Witness Found OK 21.98 - 7.55 5.00 2.55 claspd 31-HydraulicPlanning 138-hydraulic_planning-626-0.asp Witness Found OK 23.96 - 7.49 5.00 2.49 claspd 31-HydraulicPlanning 155-hydraulic_planning-670-0.asp Witness Found OK 26.70 - 7.40 5.00 2.40 claspd 31-HydraulicPlanning 379-hydraulic_planning-610-0.asp Witness Found OK 21.22 - 7.58 5.00 2.58 claspd 31-HydraulicPlanning 382-hydraulic_planning-624-0.asp Witness Found OK 23.98 - 7.49 5.00 2.49 claspd 31-HydraulicPlanning 99-hydraulic_planning-684-0.asp Witness Found OK 29.56 - 7.33 5.00 2.33 claspd 32-StableMarriage 11-stable_marriage-0-0.asp N/A Mem out/Fail 390.69 - 0.00 0.00 0.00 claspd 32-StableMarriage 12-stable_marriage-0-0.asp N/A Time out - - 0.00 0.00 0.00 claspd 32-StableMarriage 23-stable_marriage-0-0.asp N/A Mem out/Fail 383.39 - 0.00 0.00 0.00 claspd 32-StableMarriage 26-stable_marriage-0-0.asp N/A Mem out/Fail 386.46 - 0.00 0.00 0.00 claspd 32-StableMarriage 29-stable_marriage-0-0.asp N/A Mem out/Fail 381.48 - 0.00 0.00 0.00 claspd 32-StableMarriage 2-stable_marriage-0-0.asp N/A Mem out/Fail 388.27 - 0.00 0.00 0.00 claspd 32-StableMarriage 43-stable_marriage-0-0.asp N/A Mem out/Fail 180.13 - 0.00 0.00 0.00 claspd 32-StableMarriage 44-stable_marriage-0-0.asp N/A Mem out/Fail 382.91 - 0.00 0.00 0.00 claspd 32-StableMarriage 47-stable_marriage-0-0.asp N/A Mem out/Fail 382.99 - 0.00 0.00 0.00 claspd 32-StableMarriage 8-stable_marriage-0-0.asp N/A Mem out/Fail 383.85 - 0.00 0.00 0.00 claspd 33-MazeGeneration 04-maze_generation-0-0.asp Witness Found OK 0.06 - 9.95 5.00 4.95 claspd 33-MazeGeneration 10-maze_generation-0-0.asp Witness Found OK 0.78 - 9.55 5.00 4.55 claspd 33-MazeGeneration 14-maze_generation-0-0.asp Witness Found OK 0.20 - 9.86 5.00 4.86 claspd 33-MazeGeneration 22-maze_generation-0-0.asp Witness Found OK 0.22 - 9.84 5.00 4.84 claspd 33-MazeGeneration 26-maze_generation-0-0.asp Witness Found OK 0.66 - 9.60 5.00 4.60 claspd 33-MazeGeneration 31-maze_generation-0-0.asp Witness Found OK 0.28 - 9.81 5.00 4.81 claspd 33-MazeGeneration 37-maze_generation-0-0.asp Witness Found OK 2.02 - 9.14 5.00 4.14 claspd 33-MazeGeneration 41-maze_generation-0-0.asp Witness Found OK 0.44 - 9.72 5.00 4.72 claspd 33-MazeGeneration 42-maze_generation-0-0.asp Witness Found OK 0.54 - 9.66 5.00 4.66 claspd 33-MazeGeneration 47-maze_generation-0-0.asp Witness Found OK 2.58 - 9.00 5.00 4.00 claspd 34-PartnerUnitsPolynomial 127-partner_units_polynomial-100-0.asp N/A Time out - - 0.00 0.00 0.00 claspd 34-PartnerUnitsPolynomial 175-partner_units_polynomial-75-0.asp N/A Mem out/Fail 288.83 - 0.00 0.00 0.00 claspd 34-PartnerUnitsPolynomial 187-partner_units_polynomial-51-0.asp Witness Found OK 51.34 - 6.91 5.00 1.91 claspd 34-PartnerUnitsPolynomial 206-partner_units_polynomial-63-0.asp Witness Found OK 117.86 - 6.27 5.00 1.27 claspd 34-PartnerUnitsPolynomial 41-partner_units_polynomial-79-0.asp N/A Mem out/Fail 288.81 - 0.00 0.00 0.00 claspd 34-PartnerUnitsPolynomial 52-partner_units_polynomial-100-0.asp N/A Time out - - 0.00 0.00 0.00 claspd 34-PartnerUnitsPolynomial 57-partner_units_polynomial-100-0.asp N/A Time out - - 0.00 0.00 0.00 claspd 34-PartnerUnitsPolynomial 60-partner_units_polynomial-100-0.asp N/A Time out - - 0.00 0.00 0.00 claspd 34-PartnerUnitsPolynomial 64-partner_units_polynomial-100-0.asp N/A Mem out/Fail 549.53 - 0.00 0.00 0.00 claspd 34-PartnerUnitsPolynomial 67-partner_units_polynomial-100-0.asp N/A Time out - - 0.00 0.00 0.00 claspfolio 02-Reachability 01-reachability-0-0.asp Inconsistent OK 6.52 - 8.42 5.00 3.42 claspfolio 02-Reachability 02-reachability-0-0.asp Inconsistent OK 9.40 - 8.17 5.00 3.17 claspfolio 02-Reachability 03-reachability-0-0.asp Inconsistent OK 580.65 - 5.03 5.00 0.03 claspfolio 02-Reachability 06-reachability-0-0.asp Inconsistent OK 38.28 - 7.13 5.00 2.13 claspfolio 02-Reachability 07-reachability-0-0.asp Inconsistent OK 81.71 - 6.55 5.00 1.55 claspfolio 02-Reachability 08-reachability-0-0.asp N/A Mem out/Fail 105.10 - 0.00 0.00 0.00 claspfolio 02-Reachability 09-reachability-0-0.asp N/A Time out - - 0.00 0.00 0.00 claspfolio 02-Reachability 13-reachability-0-0.asp N/A Mem out/Fail 70.25 - 0.00 0.00 0.00 claspfolio 02-Reachability 14-reachability-0-0.asp N/A Mem out/Fail 69.72 - 0.00 0.00 0.00 claspfolio 02-Reachability 15-reachability-0-0.asp N/A Mem out/Fail 70.16 - 0.00 0.00 0.00 claspfolio 06-Grammar-BasedInformationExtraction 01-grammar_based_information_extraction-1305896-0.asp Inconsistent OK 28.80 - 7.35 5.00 2.35 claspfolio 06-Grammar-BasedInformationExtraction 02-grammar_based_information_extraction-1290780-0.asp Witness Found OK 33.52 - 7.23 5.00 2.23 claspfolio 06-Grammar-BasedInformationExtraction 03-grammar_based_information_extraction-797206-0.asp Inconsistent OK 35.48 - 7.19 5.00 2.19 claspfolio 06-Grammar-BasedInformationExtraction 04-grammar_based_information_extraction-1256479-0.asp Witness Found OK 30.68 - 7.30 5.00 2.30 claspfolio 06-Grammar-BasedInformationExtraction 05-grammar_based_information_extraction-1136348-0.asp Inconsistent OK 48.46 - 6.95 5.00 1.95 claspfolio 06-Grammar-BasedInformationExtraction 06-grammar_based_information_extraction-1359311-0.asp Witness Found OK 28.92 - 7.34 5.00 2.34 claspfolio 06-Grammar-BasedInformationExtraction 07-grammar_based_information_extraction-1284391-0.asp Witness Found OK 45.59 - 7.00 5.00 2.00 claspfolio 06-Grammar-BasedInformationExtraction 08-grammar_based_information_extraction-1412644-0.asp Witness Found OK 53.84 - 6.87 5.00 1.87 claspfolio 06-Grammar-BasedInformationExtraction 09-grammar_based_information_extraction-1479675-0.asp Witness Found OK 31.16 - 7.29 5.00 2.29 claspfolio 06-Grammar-BasedInformationExtraction 10-grammar_based_information_extraction-1088505-0.asp Witness Found OK 39.41 - 7.11 5.00 2.11 claspfolio 10-SokobanDecision 12-sokoban_decision-0-0.asp Witness Found OK 8.52 - 8.24 5.00 3.24 claspfolio 10-SokobanDecision 16-sokoban_decision-0-0.asp Inconsistent OK 14.86 - 7.84 5.00 2.84 claspfolio 10-SokobanDecision 17-sokoban_decision-0-0.asp Witness Found OK 10.84 - 8.07 5.00 3.07 claspfolio 10-SokobanDecision 42-sokoban_decision-0-0.asp Inconsistent OK 230.21 - 5.75 5.00 0.75 claspfolio 10-SokobanDecision 48-sokoban_decision-0-0.asp Witness Found OK 474.42 - 5.18 5.00 0.18 claspfolio 10-SokobanDecision 49-sokoban_decision-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 claspfolio 10-SokobanDecision 4-sokoban_decision-0-0.asp Inconsistent OK 5.64 - 8.52 5.00 3.52 claspfolio 10-SokobanDecision 50-sokoban_decision-0-0.asp Witness Found OK 336.26 - 5.45 5.00 0.45 claspfolio 10-SokobanDecision 6-sokoban_decision-0-0.asp Inconsistent OK 5.34 - 8.56 5.00 3.56 claspfolio 10-SokobanDecision 7-sokoban_decision-0-0.asp Inconsistent OK 12.52 - 7.97 5.00 2.97 claspfolio 12-KnightTour 01-knight_tour-8-0.asp Witness Found OK 0.04 - 9.97 5.00 4.97 claspfolio 12-KnightTour 02-knight_tour-10-0.asp Witness Found OK 0.14 - 9.90 5.00 4.90 claspfolio 12-KnightTour 03-knight_tour-12-0.asp Witness Found OK 1.22 - 9.38 5.00 4.38 claspfolio 12-KnightTour 04-knight_tour-14-0.asp Witness Found OK 1.38 - 9.32 5.00 4.32 claspfolio 12-KnightTour 05-knight_tour-16-0.asp Witness Found OK 1.60 - 9.25 5.00 4.25 claspfolio 12-KnightTour 06-knight_tour-20-0.asp Witness Found OK 2.50 - 9.02 5.00 4.02 claspfolio 12-KnightTour 07-knight_tour-30-0.asp Witness Found OK 7.32 - 8.34 5.00 3.34 claspfolio 12-KnightTour 08-knight_tour-40-0.asp N/A Time out - - 0.00 0.00 0.00 claspfolio 12-KnightTour 09-knight_tour-46-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 claspfolio 12-KnightTour 10-knight_tour-50-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 claspfolio 13-DisjunctiveScheduling 01-disjunctive_scheduling-1000-0.asp Witness Found OK 9.98 - 8.13 5.00 3.13 claspfolio 13-DisjunctiveScheduling 02-disjunctive_scheduling-941-0.asp N/A Mem out/Fail 148.02 - 0.00 0.00 0.00 claspfolio 13-DisjunctiveScheduling 03-disjunctive_scheduling-947-0.asp N/A Mem out/Fail 147.54 - 0.00 0.00 0.00 claspfolio 13-DisjunctiveScheduling 04-disjunctive_scheduling-959-0.asp N/A Mem out/Fail 148.04 - 0.00 0.00 0.00 claspfolio 13-DisjunctiveScheduling 05-disjunctive_scheduling-959-0.asp N/A Mem out/Fail 147.77 - 0.00 0.00 0.00 claspfolio 13-DisjunctiveScheduling 06-disjunctive_scheduling-941-0.asp N/A Mem out/Fail 148.30 - 0.00 0.00 0.00 claspfolio 13-DisjunctiveScheduling 07-disjunctive_scheduling-205-0.asp Witness Found OK 34.06 - 7.22 5.00 2.22 claspfolio 13-DisjunctiveScheduling 08-disjunctive_scheduling-188-0.asp Witness Found OK 28.34 - 7.36 5.00 2.36 claspfolio 13-DisjunctiveScheduling 09-disjunctive_scheduling-183-0.asp Witness Found OK 28.34 - 7.36 5.00 2.36 claspfolio 13-DisjunctiveScheduling 10-disjunctive_scheduling-205-0.asp Witness Found OK 34.04 - 7.22 5.00 2.22 claspfolio 14-PackingProblem 10-packing-0-0.asp N/A Mem out/Fail 151.89 - 0.00 0.00 0.00 claspfolio 14-PackingProblem 18-packing-0-0.asp N/A Mem out/Fail 146.80 - 0.00 0.00 0.00 claspfolio 14-PackingProblem 20-packing-0-0.asp N/A Mem out/Fail 147.32 - 0.00 0.00 0.00 claspfolio 14-PackingProblem 22-packing-0-0.asp N/A Mem out/Fail 153.26 - 0.00 0.00 0.00 claspfolio 14-PackingProblem 34-packing-0-0.asp N/A Mem out/Fail 154.30 - 0.00 0.00 0.00 claspfolio 14-PackingProblem 45-packing-0-0.asp N/A Mem out/Fail 155.30 - 0.00 0.00 0.00 claspfolio 14-PackingProblem 46-packing-0-0.asp N/A Mem out/Fail 156.05 - 0.00 0.00 0.00 claspfolio 14-PackingProblem 5-packing-0-0.asp N/A Mem out/Fail 153.06 - 0.00 0.00 0.00 claspfolio 14-PackingProblem 8-packing-0-0.asp N/A Mem out/Fail 151.24 - 0.00 0.00 0.00 claspfolio 14-PackingProblem 9-packing-0-0.asp N/A Mem out/Fail 152.80 - 0.00 0.00 0.00 claspfolio 17-Labyrinth 003-labyrinth-11-0.asp Witness Found OK 42.41 - 7.05 5.00 2.05 claspfolio 17-Labyrinth 015-labyrinth-11-0.asp Witness Found OK 2.30 - 9.07 5.00 4.07 claspfolio 17-Labyrinth 028-labyrinth-12-0.asp Witness Found OK 9.06 - 8.20 5.00 3.20 claspfolio 17-Labyrinth 045-labyrinth-13-0.asp N/A Time out - - 0.00 0.00 0.00 claspfolio 17-Labyrinth 123-labyrinth-17-0.asp Witness Found OK 3.48 - 8.83 5.00 3.83 claspfolio 17-Labyrinth 131-labyrinth-17-0.asp Witness Found OK 12.40 - 7.97 5.00 2.97 claspfolio 17-Labyrinth 147-labyrinth-18-0.asp Witness Found OK 13.58 - 7.91 5.00 2.91 claspfolio 17-Labyrinth 162-labyrinth-19-0.asp Witness Found OK 300.69 - 5.54 5.00 0.54 claspfolio 17-Labyrinth 169-labyrinth-19-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 claspfolio 17-Labyrinth 225-labyrinth-22-0.asp Witness Found OK 6.68 - 8.41 5.00 3.41 claspfolio 19-MultiContextSystemQuerying 00-multi_context_system_querying-0-0.asp Inconsistent OK 10.08 - 8.12 5.00 3.12 claspfolio 19-MultiContextSystemQuerying 20-multi_context_system_querying-0-0.asp Inconsistent OK 10.36 - 8.10 5.00 3.10 claspfolio 19-MultiContextSystemQuerying 31-multi_context_system_querying-0-0.asp Inconsistent OK 19.62 - 7.64 5.00 2.64 claspfolio 19-MultiContextSystemQuerying 32-multi_context_system_querying-0-0.asp Inconsistent OK 18.22 - 7.69 5.00 2.69 claspfolio 19-MultiContextSystemQuerying 39-multi_context_system_querying-0-0.asp Inconsistent OK 19.68 - 7.63 5.00 2.63 claspfolio 19-MultiContextSystemQuerying 41-multi_context_system_querying-0-0.asp Inconsistent OK 19.70 - 7.63 5.00 2.63 claspfolio 19-MultiContextSystemQuerying 56-multi_context_system_querying-0-0.asp Inconsistent OK 36.18 - 7.17 5.00 2.17 claspfolio 19-MultiContextSystemQuerying 60-multi_context_system_querying-0-0.asp Inconsistent OK 37.04 - 7.16 5.00 2.16 claspfolio 19-MultiContextSystemQuerying 64-multi_context_system_querying-0-0.asp Inconsistent OK 47.53 - 6.97 5.00 1.97 claspfolio 19-MultiContextSystemQuerying 70-multi_context_system_querying-0-0.asp Inconsistent OK 58.42 - 6.81 5.00 1.81 claspfolio 20-Numberlink 112-numberlink-0-0.asp Witness Found OK 2.10 - 9.12 5.00 4.12 claspfolio 20-Numberlink 123-numberlink-0-0.asp Witness Found OK 4.04 - 8.74 5.00 3.74 claspfolio 20-Numberlink 2-numberlink-0-0.asp Witness Found OK 0.04 - 9.97 5.00 4.97 claspfolio 20-Numberlink 32-numberlink-0-0.asp Witness Found OK 2.18 - 9.10 5.00 4.10 claspfolio 20-Numberlink 48-numberlink-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 claspfolio 20-Numberlink 62-numberlink-0-0.asp Witness Found OK 6.12 - 8.47 5.00 3.47 claspfolio 20-Numberlink 86-numberlink-0-0.asp N/A Time out - - 0.00 0.00 0.00 claspfolio 20-Numberlink 87-numberlink-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 claspfolio 20-Numberlink 94-numberlink-0-0.asp Witness Found OK 2.88 - 8.94 5.00 3.94 claspfolio 20-Numberlink 9-numberlink-0-0.asp Witness Found OK 1.16 - 9.40 5.00 4.40 claspfolio 22-HanoiTower 03-hanoi_tower-60-0.asp Witness Found OK 311.54 - 5.51 5.00 0.51 claspfolio 22-HanoiTower 09-hanoi_tower-28-0.asp Witness Found OK 20.58 - 7.60 5.00 2.60 claspfolio 22-HanoiTower 10-hanoi_tower-29-0.asp Witness Found OK 40.05 - 7.10 5.00 2.10 claspfolio 22-HanoiTower 40-hanoi_tower-80-0.asp Witness Found OK 233.66 - 5.73 5.00 0.73 claspfolio 22-HanoiTower 43-hanoi_tower-100-0.asp Witness Found OK 29.18 - 7.34 5.00 2.34 claspfolio 22-HanoiTower 46-hanoi_tower-100-0.asp Witness Found OK 220.89 - 5.78 5.00 0.78 claspfolio 22-HanoiTower 51-hanoi_tower-120-0.asp Witness Found OK 18.10 - 7.70 5.00 2.70 claspfolio 22-HanoiTower 56-hanoi_tower-120-0.asp N/A Time out - - 0.00 0.00 0.00 claspfolio 22-HanoiTower 57-hanoi_tower-120-0.asp N/A Time out - - 0.00 0.00 0.00 claspfolio 22-HanoiTower 59-hanoi_tower-120-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 claspfolio 25-GraphColouring 12-graph_colouring-130-0.asp Witness Found OK 2.38 - 9.05 5.00 4.05 claspfolio 25-GraphColouring 37-graph_colouring-140-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 claspfolio 25-GraphColouring 38-graph_colouring-140-0.asp Inconsistent OK 391.29 - 5.33 5.00 0.33 claspfolio 25-GraphColouring 41-graph_colouring-145-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 claspfolio 25-GraphColouring 53-graph_colouring-150-0.asp Inconsistent OK 478.70 - 5.18 5.00 0.18 claspfolio 25-GraphColouring 58-graph_colouring-150-0.asp Inconsistent OK 596.91 - 5.00 5.00 0.00 claspfolio 25-GraphColouring 59-graph_colouring-150-0.asp Inconsistent OK 381.07 - 5.35 5.00 0.35 claspfolio 25-GraphColouring 60-graph_colouring-150-0.asp Inconsistent OK 100.51 - 6.39 5.00 1.39 claspfolio 25-GraphColouring 6-graph_colouring-125-0.asp Witness Found OK 1.90 - 9.17 5.00 4.17 claspfolio 25-GraphColouring 9-graph_colouring-125-0.asp Witness Found OK 1.00 - 9.46 5.00 4.46 claspfolio 26-Solitaire 08-solitaire-50-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 claspfolio 26-Solitaire 09-solitaire-50-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 claspfolio 26-Solitaire 15-solitaire-50-0.asp Witness Found OK 44.92 - 7.01 5.00 2.01 claspfolio 26-Solitaire 16-solitaire-50-0.asp Witness Found OK 297.72 - 5.55 5.00 0.55 claspfolio 26-Solitaire 17-solitaire-50-0.asp N/A Time out - - 0.00 0.00 0.00 claspfolio 26-Solitaire 18-solitaire-50-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 claspfolio 26-Solitaire 24-solitaire-50-0.asp Witness Found OK 9.50 - 8.16 5.00 3.16 claspfolio 26-Solitaire 25-solitaire-50-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 claspfolio 26-Solitaire 26-solitaire-50-0.asp N/A Time out - - 0.00 0.00 0.00 claspfolio 26-Solitaire 27-solitaire-50-0.asp N/A Time out - - 0.00 0.00 0.00 claspfolio 28-Weight-AssignmentTree 06-weight_assignment_tree-560-0.asp N/A Mem out/Fail 69.55 - 0.00 0.00 0.00 claspfolio 28-Weight-AssignmentTree 09-weight_assignment_tree-778-0.asp N/A Mem out/Fail 84.66 - 0.00 0.00 0.00 claspfolio 28-Weight-AssignmentTree 30-weight_assignment_tree-631-0.asp Witness Found OK 64.04 - 6.74 5.00 1.74 claspfolio 28-Weight-AssignmentTree 43-weight_assignment_tree-645-0.asp Witness Found OK 73.40 - 6.63 5.00 1.63 claspfolio 28-Weight-AssignmentTree 45-weight_assignment_tree-312-0.asp Witness Found OK 24.82 - 7.46 5.00 2.46 claspfolio 28-Weight-AssignmentTree 52-weight_assignment_tree-1777-0.asp N/A Mem out/Fail 213.87 - 0.00 0.00 0.00 claspfolio 28-Weight-AssignmentTree 55-weight_assignment_tree-1620-0.asp N/A Mem out/Fail 214.25 - 0.00 0.00 0.00 claspfolio 28-Weight-AssignmentTree 58-weight_assignment_tree-1647-0.asp N/A Mem out/Fail 208.22 - 0.00 0.00 0.00 claspfolio 28-Weight-AssignmentTree 59-weight_assignment_tree-1595-0.asp N/A Mem out/Fail 207.16 - 0.00 0.00 0.00 claspfolio 28-Weight-AssignmentTree 61-weight_assignment_tree-1542-0.asp N/A Mem out/Fail 207.07 - 0.00 0.00 0.00 claspfolio 30-HydraulicLeaking 1000-hydraulic_leaking-677-0.asp N/A Time out - - 0.00 0.00 0.00 claspfolio 30-HydraulicLeaking 125-hydraulic_leaking-633-0.asp N/A Time out - - 0.00 0.00 0.00 claspfolio 30-HydraulicLeaking 13-hydraulic_leaking-364-0.asp Witness Found OK 600.09 - 0.00 0.00 0.00 claspfolio 30-HydraulicLeaking 141-hydraulic_leaking-304-0.asp N/A Time out - - 0.00 0.00 0.00 claspfolio 30-HydraulicLeaking 168-hydraulic_leaking-348-0.asp N/A Time out - - 0.00 0.00 0.00 claspfolio 30-HydraulicLeaking 17-hydraulic_leaking-408-0.asp N/A Time out - - 0.00 0.00 0.00 claspfolio 30-HydraulicLeaking 232-hydraulic_leaking-348-0.asp Witness Found OK 487.69 - 5.16 5.00 0.16 claspfolio 30-HydraulicLeaking 271-hydraulic_leaking-348-0.asp Witness Found OK 487.89 - 5.16 5.00 0.16 claspfolio 30-HydraulicLeaking 274-hydraulic_leaking-392-0.asp N/A Time out - - 0.00 0.00 0.00 claspfolio 30-HydraulicLeaking 290-hydraulic_leaking-348-0.asp N/A Time out - - 0.00 0.00 0.00 claspfolio 31-HydraulicPlanning 1000-hydraulic_planning-684-0.asp Witness Found OK 30.04 - 7.32 5.00 2.32 claspfolio 31-HydraulicPlanning 100-hydraulic_planning-728-0.asp Witness Found OK 32.96 - 7.25 5.00 2.25 claspfolio 31-HydraulicPlanning 101-hydraulic_planning-612-0.asp Witness Found OK 21.82 - 7.56 5.00 2.56 claspfolio 31-HydraulicPlanning 106-hydraulic_planning-619-0.asp Witness Found OK 23.16 - 7.51 5.00 2.51 claspfolio 31-HydraulicPlanning 109-hydraulic_planning-619-0.asp Witness Found OK 22.32 - 7.54 5.00 2.54 claspfolio 31-HydraulicPlanning 138-hydraulic_planning-626-0.asp Witness Found OK 24.28 - 7.48 5.00 2.48 claspfolio 31-HydraulicPlanning 155-hydraulic_planning-670-0.asp Witness Found OK 27.10 - 7.39 5.00 2.39 claspfolio 31-HydraulicPlanning 379-hydraulic_planning-610-0.asp Witness Found OK 21.60 - 7.56 5.00 2.56 claspfolio 31-HydraulicPlanning 382-hydraulic_planning-624-0.asp Witness Found OK 24.16 - 7.48 5.00 2.48 claspfolio 31-HydraulicPlanning 99-hydraulic_planning-684-0.asp Witness Found OK 29.94 - 7.32 5.00 2.32 claspfolio 32-StableMarriage 11-stable_marriage-0-0.asp N/A Mem out/Fail 180.87 - 0.00 0.00 0.00 claspfolio 32-StableMarriage 12-stable_marriage-0-0.asp Inconsistent OK 453.14 - 5.22 5.00 0.22 claspfolio 32-StableMarriage 23-stable_marriage-0-0.asp N/A Mem out/Fail 181.03 - 0.00 0.00 0.00 claspfolio 32-StableMarriage 26-stable_marriage-0-0.asp N/A Mem out/Fail 180.13 - 0.00 0.00 0.00 claspfolio 32-StableMarriage 29-stable_marriage-0-0.asp N/A Mem out/Fail 180.24 - 0.00 0.00 0.00 claspfolio 32-StableMarriage 2-stable_marriage-0-0.asp N/A Mem out/Fail 181.44 - 0.00 0.00 0.00 claspfolio 32-StableMarriage 43-stable_marriage-0-0.asp N/A Mem out/Fail 208.91 - 0.00 0.00 0.00 claspfolio 32-StableMarriage 44-stable_marriage-0-0.asp N/A Mem out/Fail 180.72 - 0.00 0.00 0.00 claspfolio 32-StableMarriage 47-stable_marriage-0-0.asp N/A Mem out/Fail 180.79 - 0.00 0.00 0.00 claspfolio 32-StableMarriage 8-stable_marriage-0-0.asp N/A Mem out/Fail 180.85 - 0.00 0.00 0.00 claspfolio 33-MazeGeneration 04-maze_generation-0-0.asp Witness Found OK 0.06 - 9.95 5.00 4.95 claspfolio 33-MazeGeneration 10-maze_generation-0-0.asp Witness Found OK 1.76 - 9.21 5.00 4.21 claspfolio 33-MazeGeneration 14-maze_generation-0-0.asp Witness Found OK 0.18 - 9.87 5.00 4.87 claspfolio 33-MazeGeneration 22-maze_generation-0-0.asp Witness Found OK 0.32 - 9.78 5.00 4.78 claspfolio 33-MazeGeneration 26-maze_generation-0-0.asp Witness Found OK 0.58 - 9.64 5.00 4.64 claspfolio 33-MazeGeneration 31-maze_generation-0-0.asp Witness Found OK 0.28 - 9.81 5.00 4.81 claspfolio 33-MazeGeneration 37-maze_generation-0-0.asp Witness Found OK 3.12 - 8.89 5.00 3.89 claspfolio 33-MazeGeneration 41-maze_generation-0-0.asp Witness Found OK 0.56 - 9.65 5.00 4.65 claspfolio 33-MazeGeneration 42-maze_generation-0-0.asp Witness Found OK 0.62 - 9.62 5.00 4.62 claspfolio 33-MazeGeneration 47-maze_generation-0-0.asp Witness Found OK 3.76 - 8.78 5.00 3.78 claspfolio 34-PartnerUnitsPolynomial 127-partner_units_polynomial-100-0.asp N/A Mem out/Fail 159.06 - 0.00 0.00 0.00 claspfolio 34-PartnerUnitsPolynomial 175-partner_units_polynomial-75-0.asp N/A Mem out/Fail 167.21 - 0.00 0.00 0.00 claspfolio 34-PartnerUnitsPolynomial 187-partner_units_polynomial-51-0.asp Witness Found OK 98.58 - 6.40 5.00 1.40 claspfolio 34-PartnerUnitsPolynomial 206-partner_units_polynomial-63-0.asp Witness Found OK 66.44 - 6.71 5.00 1.71 claspfolio 34-PartnerUnitsPolynomial 41-partner_units_polynomial-79-0.asp N/A Mem out/Fail 166.59 - 0.00 0.00 0.00 claspfolio 34-PartnerUnitsPolynomial 52-partner_units_polynomial-100-0.asp N/A Mem out/Fail 159.14 - 0.00 0.00 0.00 claspfolio 34-PartnerUnitsPolynomial 57-partner_units_polynomial-100-0.asp N/A Mem out/Fail 164.24 - 0.00 0.00 0.00 claspfolio 34-PartnerUnitsPolynomial 60-partner_units_polynomial-100-0.asp N/A Mem out/Fail 159.49 - 0.00 0.00 0.00 claspfolio 34-PartnerUnitsPolynomial 64-partner_units_polynomial-100-0.asp N/A Mem out/Fail 159.60 - 0.00 0.00 0.00 claspfolio 34-PartnerUnitsPolynomial 67-partner_units_polynomial-100-0.asp N/A Mem out/Fail 163.77 - 0.00 0.00 0.00 cmodels 02-Reachability 01-reachability-0-0.asp Inconsistent OK 6.34 - 8.44 5.00 3.44 cmodels 02-Reachability 02-reachability-0-0.asp Inconsistent OK 9.02 - 8.20 5.00 3.20 cmodels 02-Reachability 03-reachability-0-0.asp Inconsistent OK 576.32 - 5.03 5.00 0.03 cmodels 02-Reachability 06-reachability-0-0.asp Inconsistent OK 32.06 - 7.27 5.00 2.27 cmodels 02-Reachability 07-reachability-0-0.asp Inconsistent OK 43.48 - 0.00 0.00 0.00 cmodels 02-Reachability 08-reachability-0-0.asp N/A Mem out/Fail 67.08 - 0.00 0.00 0.00 cmodels 02-Reachability 09-reachability-0-0.asp N/A Time out - - 0.00 0.00 0.00 cmodels 02-Reachability 13-reachability-0-0.asp N/A Mem out/Fail 35.48 - 0.00 0.00 0.00 cmodels 02-Reachability 14-reachability-0-0.asp N/A Mem out/Fail 35.62 - 0.00 0.00 0.00 cmodels 02-Reachability 15-reachability-0-0.asp N/A Mem out/Fail 36.28 - 0.00 0.00 0.00 cmodels 06-Grammar-BasedInformationExtraction 01-grammar_based_information_extraction-1305896-0.asp Inconsistent OK 30.14 - 7.31 5.00 2.31 cmodels 06-Grammar-BasedInformationExtraction 02-grammar_based_information_extraction-1290780-0.asp Witness Found OK 36.06 - 7.18 5.00 2.18 cmodels 06-Grammar-BasedInformationExtraction 03-grammar_based_information_extraction-797206-0.asp Inconsistent OK 36.54 - 7.17 5.00 2.17 cmodels 06-Grammar-BasedInformationExtraction 04-grammar_based_information_extraction-1256479-0.asp Witness Found OK 33.24 - 7.24 5.00 2.24 cmodels 06-Grammar-BasedInformationExtraction 05-grammar_based_information_extraction-1136348-0.asp Inconsistent OK 50.37 - 6.92 5.00 1.92 cmodels 06-Grammar-BasedInformationExtraction 06-grammar_based_information_extraction-1359311-0.asp Witness Found OK 31.32 - 7.28 5.00 2.28 cmodels 06-Grammar-BasedInformationExtraction 07-grammar_based_information_extraction-1284391-0.asp Witness Found OK 48.81 - 6.95 5.00 1.95 cmodels 06-Grammar-BasedInformationExtraction 08-grammar_based_information_extraction-1412644-0.asp Witness Found OK 57.16 - 6.82 5.00 1.82 cmodels 06-Grammar-BasedInformationExtraction 09-grammar_based_information_extraction-1479675-0.asp Witness Found OK 33.62 - 7.23 5.00 2.23 cmodels 06-Grammar-BasedInformationExtraction 10-grammar_based_information_extraction-1088505-0.asp Witness Found OK 42.79 - 7.05 5.00 2.05 cmodels 10-SokobanDecision 12-sokoban_decision-0-0.asp Witness Found OK 8.40 - 8.25 5.00 3.25 cmodels 10-SokobanDecision 16-sokoban_decision-0-0.asp Inconsistent OK 9.76 - 8.14 5.00 3.14 cmodels 10-SokobanDecision 17-sokoban_decision-0-0.asp Witness Found OK 10.56 - 8.09 5.00 3.09 cmodels 10-SokobanDecision 42-sokoban_decision-0-0.asp Inconsistent OK 246.73 - 5.69 5.00 0.69 cmodels 10-SokobanDecision 48-sokoban_decision-0-0.asp Witness Found OK 325.48 - 5.48 5.00 0.48 cmodels 10-SokobanDecision 49-sokoban_decision-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 cmodels 10-SokobanDecision 4-sokoban_decision-0-0.asp Inconsistent OK 8.28 - 8.26 5.00 3.26 cmodels 10-SokobanDecision 50-sokoban_decision-0-0.asp Witness Found OK 158.52 - 6.04 5.00 1.04 cmodels 10-SokobanDecision 6-sokoban_decision-0-0.asp Inconsistent OK 6.62 - 8.41 5.00 3.41 cmodels 10-SokobanDecision 7-sokoban_decision-0-0.asp Inconsistent OK 9.44 - 8.17 5.00 3.17 cmodels 12-KnightTour 01-knight_tour-8-0.asp Witness Found OK 0.06 - 9.95 5.00 4.95 cmodels 12-KnightTour 02-knight_tour-10-0.asp Witness Found OK 0.14 - 9.90 5.00 4.90 cmodels 12-KnightTour 03-knight_tour-12-0.asp Witness Found OK 0.34 - 9.77 5.00 4.77 cmodels 12-KnightTour 04-knight_tour-14-0.asp Witness Found OK 0.94 - 9.48 5.00 4.48 cmodels 12-KnightTour 05-knight_tour-16-0.asp Witness Found OK 4.56 - 8.66 5.00 3.66 cmodels 12-KnightTour 06-knight_tour-20-0.asp Witness Found OK 10.84 - 8.07 5.00 3.07 cmodels 12-KnightTour 07-knight_tour-30-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 cmodels 12-KnightTour 08-knight_tour-40-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 cmodels 12-KnightTour 09-knight_tour-46-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 cmodels 12-KnightTour 10-knight_tour-50-0.asp N/A Time out - - 0.00 0.00 0.00 cmodels 13-DisjunctiveScheduling 01-disjunctive_scheduling-1000-0.asp N/A Time out - - 0.00 0.00 0.00 cmodels 13-DisjunctiveScheduling 02-disjunctive_scheduling-941-0.asp N/A Mem out/Fail 116.55 - 0.00 0.00 0.00 cmodels 13-DisjunctiveScheduling 03-disjunctive_scheduling-947-0.asp N/A Mem out/Fail 116.95 - 0.00 0.00 0.00 cmodels 13-DisjunctiveScheduling 04-disjunctive_scheduling-959-0.asp N/A Mem out/Fail 116.86 - 0.00 0.00 0.00 cmodels 13-DisjunctiveScheduling 05-disjunctive_scheduling-959-0.asp N/A Mem out/Fail 117.37 - 0.00 0.00 0.00 cmodels 13-DisjunctiveScheduling 06-disjunctive_scheduling-941-0.asp N/A Mem out/Fail 117.06 - 0.00 0.00 0.00 cmodels 13-DisjunctiveScheduling 07-disjunctive_scheduling-205-0.asp Witness Found OK 453.56 - 5.22 5.00 0.22 cmodels 13-DisjunctiveScheduling 08-disjunctive_scheduling-188-0.asp Witness Found OK 449.99 - 5.22 5.00 0.22 cmodels 13-DisjunctiveScheduling 09-disjunctive_scheduling-183-0.asp Witness Found OK 466.50 - 5.20 5.00 0.20 cmodels 13-DisjunctiveScheduling 10-disjunctive_scheduling-205-0.asp Witness Found OK 453.77 - 5.22 5.00 0.22 cmodels 14-PackingProblem 10-packing-0-0.asp N/A Mem out/Fail 108.38 - 0.00 0.00 0.00 cmodels 14-PackingProblem 18-packing-0-0.asp N/A Mem out/Fail 104.43 - 0.00 0.00 0.00 cmodels 14-PackingProblem 20-packing-0-0.asp N/A Mem out/Fail 106.03 - 0.00 0.00 0.00 cmodels 14-PackingProblem 22-packing-0-0.asp N/A Mem out/Fail 108.58 - 0.00 0.00 0.00 cmodels 14-PackingProblem 34-packing-0-0.asp N/A Mem out/Fail 108.06 - 0.00 0.00 0.00 cmodels 14-PackingProblem 45-packing-0-0.asp N/A Mem out/Fail 89.48 - 0.00 0.00 0.00 cmodels 14-PackingProblem 46-packing-0-0.asp N/A Mem out/Fail 98.51 - 0.00 0.00 0.00 cmodels 14-PackingProblem 5-packing-0-0.asp N/A Mem out/Fail 109.28 - 0.00 0.00 0.00 cmodels 14-PackingProblem 8-packing-0-0.asp N/A Mem out/Fail 107.32 - 0.00 0.00 0.00 cmodels 14-PackingProblem 9-packing-0-0.asp N/A Mem out/Fail 107.50 - 0.00 0.00 0.00 cmodels 17-Labyrinth 003-labyrinth-11-0.asp Witness Found OK 453.30 - 5.22 5.00 0.22 cmodels 17-Labyrinth 015-labyrinth-11-0.asp Witness Found OK 7.80 - 8.30 5.00 3.30 cmodels 17-Labyrinth 028-labyrinth-12-0.asp Witness Found OK 25.86 - 7.43 5.00 2.43 cmodels 17-Labyrinth 045-labyrinth-13-0.asp Witness Found OK 114.86 - 6.29 5.00 1.29 cmodels 17-Labyrinth 123-labyrinth-17-0.asp Witness Found OK 20.18 - 7.61 5.00 2.61 cmodels 17-Labyrinth 131-labyrinth-17-0.asp Witness Found OK 6.74 - 8.40 5.00 3.40 cmodels 17-Labyrinth 147-labyrinth-18-0.asp Witness Found OK 67.29 - 6.70 5.00 1.70 cmodels 17-Labyrinth 162-labyrinth-19-0.asp Witness Found OK 131.23 - 6.18 5.00 1.18 cmodels 17-Labyrinth 169-labyrinth-19-0.asp N/A Time out - - 0.00 0.00 0.00 cmodels 17-Labyrinth 225-labyrinth-22-0.asp Witness Found OK 131.29 - 6.18 5.00 1.18 cmodels 19-MultiContextSystemQuerying 00-multi_context_system_querying-0-0.asp Inconsistent OK 10.06 - 8.12 5.00 3.12 cmodels 19-MultiContextSystemQuerying 20-multi_context_system_querying-0-0.asp Inconsistent OK 10.06 - 8.12 5.00 3.12 cmodels 19-MultiContextSystemQuerying 31-multi_context_system_querying-0-0.asp Inconsistent OK 20.54 - 7.60 5.00 2.60 cmodels 19-MultiContextSystemQuerying 32-multi_context_system_querying-0-0.asp Inconsistent OK 21.04 - 7.58 5.00 2.58 cmodels 19-MultiContextSystemQuerying 39-multi_context_system_querying-0-0.asp Inconsistent OK 19.08 - 7.66 5.00 2.66 cmodels 19-MultiContextSystemQuerying 41-multi_context_system_querying-0-0.asp Inconsistent OK 19.06 - 7.66 5.00 2.66 cmodels 19-MultiContextSystemQuerying 56-multi_context_system_querying-0-0.asp Inconsistent OK 39.46 - 7.11 5.00 2.11 cmodels 19-MultiContextSystemQuerying 60-multi_context_system_querying-0-0.asp Inconsistent OK 41.70 - 7.07 5.00 2.07 cmodels 19-MultiContextSystemQuerying 64-multi_context_system_querying-0-0.asp Inconsistent OK 55.13 - 6.85 5.00 1.85 cmodels 19-MultiContextSystemQuerying 70-multi_context_system_querying-0-0.asp Inconsistent OK 56.22 - 6.84 5.00 1.84 cmodels 20-Numberlink 112-numberlink-0-0.asp Witness Found OK 69.81 - 6.67 5.00 1.67 cmodels 20-Numberlink 123-numberlink-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 cmodels 20-Numberlink 2-numberlink-0-0.asp Witness Found OK 0.28 - 9.81 5.00 4.81 cmodels 20-Numberlink 32-numberlink-0-0.asp N/A Time out - - 0.00 0.00 0.00 cmodels 20-Numberlink 48-numberlink-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 cmodels 20-Numberlink 62-numberlink-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 cmodels 20-Numberlink 86-numberlink-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 cmodels 20-Numberlink 87-numberlink-0-0.asp N/A Time out - - 0.00 0.00 0.00 cmodels 20-Numberlink 94-numberlink-0-0.asp Witness Found OK 505.99 - 5.13 5.00 0.13 cmodels 20-Numberlink 9-numberlink-0-0.asp Witness Found OK 9.02 - 8.20 5.00 3.20 cmodels 22-HanoiTower 03-hanoi_tower-60-0.asp Witness Found OK 55.08 - 6.85 5.00 1.85 cmodels 22-HanoiTower 09-hanoi_tower-28-0.asp Witness Found OK 13.02 - 7.94 5.00 2.94 cmodels 22-HanoiTower 10-hanoi_tower-29-0.asp Witness Found OK 53.72 - 6.87 5.00 1.87 cmodels 22-HanoiTower 40-hanoi_tower-80-0.asp Witness Found OK 48.98 - 6.94 5.00 1.94 cmodels 22-HanoiTower 43-hanoi_tower-100-0.asp Witness Found OK 11.12 - 8.05 5.00 3.05 cmodels 22-HanoiTower 46-hanoi_tower-100-0.asp Witness Found OK 48.30 - 6.95 5.00 1.95 cmodels 22-HanoiTower 51-hanoi_tower-120-0.asp Witness Found OK 24.22 - 7.48 5.00 2.48 cmodels 22-HanoiTower 56-hanoi_tower-120-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 cmodels 22-HanoiTower 57-hanoi_tower-120-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 cmodels 22-HanoiTower 59-hanoi_tower-120-0.asp N/A Time out - - 0.00 0.00 0.00 cmodels 25-GraphColouring 12-graph_colouring-130-0.asp Witness Found OK 263.41 - 5.64 5.00 0.64 cmodels 25-GraphColouring 37-graph_colouring-140-0.asp N/A Time out - - 0.00 0.00 0.00 cmodels 25-GraphColouring 38-graph_colouring-140-0.asp N/A Time out - - 0.00 0.00 0.00 cmodels 25-GraphColouring 41-graph_colouring-145-0.asp N/A Time out - - 0.00 0.00 0.00 cmodels 25-GraphColouring 53-graph_colouring-150-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 cmodels 25-GraphColouring 58-graph_colouring-150-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 cmodels 25-GraphColouring 59-graph_colouring-150-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 cmodels 25-GraphColouring 60-graph_colouring-150-0.asp Inconsistent OK 370.81 - 5.38 5.00 0.38 cmodels 25-GraphColouring 6-graph_colouring-125-0.asp Witness Found OK 7.44 - 8.33 5.00 3.33 cmodels 25-GraphColouring 9-graph_colouring-125-0.asp Witness Found OK 0.34 - 9.77 5.00 4.77 cmodels 26-Solitaire 08-solitaire-50-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 cmodels 26-Solitaire 09-solitaire-50-0.asp N/A Time out - - 0.00 0.00 0.00 cmodels 26-Solitaire 15-solitaire-50-0.asp Witness Found OK 513.27 - 5.12 5.00 0.12 cmodels 26-Solitaire 16-solitaire-50-0.asp Witness Found OK 124.22 - 6.23 5.00 1.23 cmodels 26-Solitaire 17-solitaire-50-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 cmodels 26-Solitaire 18-solitaire-50-0.asp N/A Time out - - 0.00 0.00 0.00 cmodels 26-Solitaire 24-solitaire-50-0.asp Witness Found OK 38.58 - 7.13 5.00 2.13 cmodels 26-Solitaire 25-solitaire-50-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 cmodels 26-Solitaire 26-solitaire-50-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 cmodels 26-Solitaire 27-solitaire-50-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 cmodels 28-Weight-AssignmentTree 06-weight_assignment_tree-560-0.asp N/A Mem out/Fail 81.14 - 0.00 0.00 0.00 cmodels 28-Weight-AssignmentTree 09-weight_assignment_tree-778-0.asp N/A Mem out/Fail 94.93 - 0.00 0.00 0.00 cmodels 28-Weight-AssignmentTree 30-weight_assignment_tree-631-0.asp N/A Mem out/Fail 54.22 - 0.00 0.00 0.00 cmodels 28-Weight-AssignmentTree 43-weight_assignment_tree-645-0.asp N/A Mem out/Fail 53.90 - 0.00 0.00 0.00 cmodels 28-Weight-AssignmentTree 45-weight_assignment_tree-312-0.asp Witness Found OK 126.72 - 6.21 5.00 1.21 cmodels 28-Weight-AssignmentTree 52-weight_assignment_tree-1777-0.asp N/A Mem out/Fail 130.11 - 0.00 0.00 0.00 cmodels 28-Weight-AssignmentTree 55-weight_assignment_tree-1620-0.asp N/A Mem out/Fail 129.58 - 0.00 0.00 0.00 cmodels 28-Weight-AssignmentTree 58-weight_assignment_tree-1647-0.asp N/A Mem out/Fail 128.79 - 0.00 0.00 0.00 cmodels 28-Weight-AssignmentTree 59-weight_assignment_tree-1595-0.asp N/A Mem out/Fail 129.88 - 0.00 0.00 0.00 cmodels 28-Weight-AssignmentTree 61-weight_assignment_tree-1542-0.asp N/A Mem out/Fail 129.03 - 0.00 0.00 0.00 cmodels 30-HydraulicLeaking 1000-hydraulic_leaking-677-0.asp N/A Time out - - 0.00 0.00 0.00 cmodels 30-HydraulicLeaking 125-hydraulic_leaking-633-0.asp N/A Time out - - 0.00 0.00 0.00 cmodels 30-HydraulicLeaking 13-hydraulic_leaking-364-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 cmodels 30-HydraulicLeaking 141-hydraulic_leaking-304-0.asp N/A Time out - - 0.00 0.00 0.00 cmodels 30-HydraulicLeaking 168-hydraulic_leaking-348-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 cmodels 30-HydraulicLeaking 17-hydraulic_leaking-408-0.asp N/A Time out - - 0.00 0.00 0.00 cmodels 30-HydraulicLeaking 232-hydraulic_leaking-348-0.asp Witness Found OK 490.07 - 5.16 5.00 0.16 cmodels 30-HydraulicLeaking 271-hydraulic_leaking-348-0.asp Witness Found OK 494.71 - 5.15 5.00 0.15 cmodels 30-HydraulicLeaking 274-hydraulic_leaking-392-0.asp N/A Mem out/Fail 585.31 - 0.00 0.00 0.00 cmodels 30-HydraulicLeaking 290-hydraulic_leaking-348-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 cmodels 31-HydraulicPlanning 1000-hydraulic_planning-684-0.asp Witness Found OK 32.08 - 7.27 5.00 2.27 cmodels 31-HydraulicPlanning 100-hydraulic_planning-728-0.asp Witness Found OK 35.06 - 7.20 5.00 2.20 cmodels 31-HydraulicPlanning 101-hydraulic_planning-612-0.asp Witness Found OK 23.50 - 7.50 5.00 2.50 cmodels 31-HydraulicPlanning 106-hydraulic_planning-619-0.asp Witness Found OK 24.94 - 7.46 5.00 2.46 cmodels 31-HydraulicPlanning 109-hydraulic_planning-619-0.asp Witness Found OK 24.00 - 7.48 5.00 2.48 cmodels 31-HydraulicPlanning 138-hydraulic_planning-626-0.asp Witness Found OK 26.12 - 7.42 5.00 2.42 cmodels 31-HydraulicPlanning 155-hydraulic_planning-670-0.asp Witness Found OK 29.04 - 7.34 5.00 2.34 cmodels 31-HydraulicPlanning 379-hydraulic_planning-610-0.asp Witness Found OK 23.28 - 7.51 5.00 2.51 cmodels 31-HydraulicPlanning 382-hydraulic_planning-624-0.asp Witness Found OK 26.02 - 7.42 5.00 2.42 cmodels 31-HydraulicPlanning 99-hydraulic_planning-684-0.asp Witness Found OK 32.40 - 7.26 5.00 2.26 cmodels 32-StableMarriage 11-stable_marriage-0-0.asp N/A Mem out/Fail 104.32 - 0.00 0.00 0.00 cmodels 32-StableMarriage 12-stable_marriage-0-0.asp N/A Time out - - 0.00 0.00 0.00 cmodels 32-StableMarriage 23-stable_marriage-0-0.asp N/A Mem out/Fail 103.82 - 0.00 0.00 0.00 cmodels 32-StableMarriage 26-stable_marriage-0-0.asp N/A Mem out/Fail 103.72 - 0.00 0.00 0.00 cmodels 32-StableMarriage 29-stable_marriage-0-0.asp N/A Mem out/Fail 103.74 - 0.00 0.00 0.00 cmodels 32-StableMarriage 2-stable_marriage-0-0.asp N/A Mem out/Fail 105.07 - 0.00 0.00 0.00 cmodels 32-StableMarriage 43-stable_marriage-0-0.asp N/A Mem out/Fail 103.61 - 0.00 0.00 0.00 cmodels 32-StableMarriage 44-stable_marriage-0-0.asp N/A Mem out/Fail 104.42 - 0.00 0.00 0.00 cmodels 32-StableMarriage 47-stable_marriage-0-0.asp N/A Mem out/Fail 104.36 - 0.00 0.00 0.00 cmodels 32-StableMarriage 8-stable_marriage-0-0.asp N/A Mem out/Fail 105.29 - 0.00 0.00 0.00 cmodels 33-MazeGeneration 04-maze_generation-0-0.asp Witness Found OK 0.26 - 9.82 5.00 4.82 cmodels 33-MazeGeneration 10-maze_generation-0-0.asp Witness Found OK 3.12 - 8.89 5.00 3.89 cmodels 33-MazeGeneration 14-maze_generation-0-0.asp Witness Found OK 0.34 - 9.77 5.00 4.77 cmodels 33-MazeGeneration 22-maze_generation-0-0.asp Witness Found OK 0.50 - 9.68 5.00 4.68 cmodels 33-MazeGeneration 26-maze_generation-0-0.asp Witness Found OK 0.64 - 9.61 5.00 4.61 cmodels 33-MazeGeneration 31-maze_generation-0-0.asp Witness Found OK 0.58 - 9.64 5.00 4.64 cmodels 33-MazeGeneration 37-maze_generation-0-0.asp Witness Found OK 1.06 - 9.44 5.00 4.44 cmodels 33-MazeGeneration 41-maze_generation-0-0.asp Witness Found OK 0.92 - 9.49 5.00 4.49 cmodels 33-MazeGeneration 42-maze_generation-0-0.asp Witness Found OK 1.02 - 9.45 5.00 4.45 cmodels 33-MazeGeneration 47-maze_generation-0-0.asp Witness Found OK 1.40 - 9.32 5.00 4.32 cmodels 34-PartnerUnitsPolynomial 127-partner_units_polynomial-100-0.asp N/A Mem out/Fail 129.36 - 0.00 0.00 0.00 cmodels 34-PartnerUnitsPolynomial 175-partner_units_polynomial-75-0.asp N/A Mem out/Fail 124.34 - 0.00 0.00 0.00 cmodels 34-PartnerUnitsPolynomial 187-partner_units_polynomial-51-0.asp N/A Time out - - 0.00 0.00 0.00 cmodels 34-PartnerUnitsPolynomial 206-partner_units_polynomial-63-0.asp N/A Time out - - 0.00 0.00 0.00 cmodels 34-PartnerUnitsPolynomial 41-partner_units_polynomial-79-0.asp N/A Mem out/Fail 123.21 - 0.00 0.00 0.00 cmodels 34-PartnerUnitsPolynomial 52-partner_units_polynomial-100-0.asp N/A Mem out/Fail 129.09 - 0.00 0.00 0.00 cmodels 34-PartnerUnitsPolynomial 57-partner_units_polynomial-100-0.asp N/A Mem out/Fail 130.40 - 0.00 0.00 0.00 cmodels 34-PartnerUnitsPolynomial 60-partner_units_polynomial-100-0.asp N/A Mem out/Fail 129.38 - 0.00 0.00 0.00 cmodels 34-PartnerUnitsPolynomial 64-partner_units_polynomial-100-0.asp N/A Mem out/Fail 128.71 - 0.00 0.00 0.00 cmodels 34-PartnerUnitsPolynomial 67-partner_units_polynomial-100-0.asp N/A Mem out/Fail 128.82 - 0.00 0.00 0.00 idp 02-Reachability 01-reachability-0-0.asp Inconsistent OK 6.62 - 8.41 5.00 3.41 idp 02-Reachability 02-reachability-0-0.asp Inconsistent OK 9.76 - 8.14 5.00 3.14 idp 02-Reachability 03-reachability-0-0.asp Inconsistent OK 593.08 - 5.01 5.00 0.01 idp 02-Reachability 06-reachability-0-0.asp Inconsistent OK 45.34 - 7.00 5.00 2.00 idp 02-Reachability 07-reachability-0-0.asp N/A Mem out/Fail 67.30 - 0.00 0.00 0.00 idp 02-Reachability 08-reachability-0-0.asp N/A Mem out/Fail 77.23 - 0.00 0.00 0.00 idp 02-Reachability 09-reachability-0-0.asp N/A Time out - - 0.00 0.00 0.00 idp 02-Reachability 13-reachability-0-0.asp N/A Mem out/Fail 44.32 - 0.00 0.00 0.00 idp 02-Reachability 14-reachability-0-0.asp N/A Mem out/Fail 44.01 - 0.00 0.00 0.00 idp 02-Reachability 15-reachability-0-0.asp N/A Mem out/Fail 44.84 - 0.00 0.00 0.00 idp 06-Grammar-BasedInformationExtraction 01-grammar_based_information_extraction-1305896-0.asp Inconsistent OK 31.72 - 7.27 5.00 2.27 idp 06-Grammar-BasedInformationExtraction 02-grammar_based_information_extraction-1290780-0.asp Witness Found OK 38.00 - 7.14 5.00 2.14 idp 06-Grammar-BasedInformationExtraction 03-grammar_based_information_extraction-797206-0.asp Inconsistent OK 37.92 - 7.14 5.00 2.14 idp 06-Grammar-BasedInformationExtraction 04-grammar_based_information_extraction-1256479-0.asp Witness Found OK 34.78 - 7.20 5.00 2.20 idp 06-Grammar-BasedInformationExtraction 05-grammar_based_information_extraction-1136348-0.asp Inconsistent OK 51.64 - 6.90 5.00 1.90 idp 06-Grammar-BasedInformationExtraction 06-grammar_based_information_extraction-1359311-0.asp Witness Found OK 33.20 - 7.24 5.00 2.24 idp 06-Grammar-BasedInformationExtraction 07-grammar_based_information_extraction-1284391-0.asp Witness Found OK 51.53 - 6.90 5.00 1.90 idp 06-Grammar-BasedInformationExtraction 08-grammar_based_information_extraction-1412644-0.asp Witness Found OK 59.63 - 6.79 5.00 1.79 idp 06-Grammar-BasedInformationExtraction 09-grammar_based_information_extraction-1479675-0.asp Witness Found OK 35.60 - 7.19 5.00 2.19 idp 06-Grammar-BasedInformationExtraction 10-grammar_based_information_extraction-1088505-0.asp Witness Found OK 45.13 - 7.01 5.00 2.01 idp 10-SokobanDecision 12-sokoban_decision-0-0.asp Witness Found OK 9.42 - 8.17 5.00 3.17 idp 10-SokobanDecision 16-sokoban_decision-0-0.asp Inconsistent OK 15.96 - 7.79 5.00 2.79 idp 10-SokobanDecision 17-sokoban_decision-0-0.asp Witness Found OK 13.52 - 7.91 5.00 2.91 idp 10-SokobanDecision 42-sokoban_decision-0-0.asp Inconsistent OK 392.10 - 5.33 5.00 0.33 idp 10-SokobanDecision 48-sokoban_decision-0-0.asp N/A Time out - - 0.00 0.00 0.00 idp 10-SokobanDecision 49-sokoban_decision-0-0.asp Witness Found OK 557.05 - 5.06 5.00 0.06 idp 10-SokobanDecision 4-sokoban_decision-0-0.asp Inconsistent OK 7.18 - 8.36 5.00 3.36 idp 10-SokobanDecision 50-sokoban_decision-0-0.asp Witness Found OK 404.72 - 5.31 5.00 0.31 idp 10-SokobanDecision 6-sokoban_decision-0-0.asp Inconsistent OK 8.06 - 8.28 5.00 3.28 idp 10-SokobanDecision 7-sokoban_decision-0-0.asp Inconsistent OK 16.80 - 7.75 5.00 2.75 idp 12-KnightTour 01-knight_tour-8-0.asp Witness Found OK 0.04 - 9.97 5.00 4.97 idp 12-KnightTour 02-knight_tour-10-0.asp Witness Found OK 0.20 - 9.86 5.00 4.86 idp 12-KnightTour 03-knight_tour-12-0.asp Witness Found OK 0.44 - 9.72 5.00 4.72 idp 12-KnightTour 04-knight_tour-14-0.asp Witness Found OK 1.58 - 9.26 5.00 4.26 idp 12-KnightTour 05-knight_tour-16-0.asp Witness Found OK 2.64 - 8.99 5.00 3.99 idp 12-KnightTour 06-knight_tour-20-0.asp Witness Found OK 8.12 - 8.27 5.00 3.27 idp 12-KnightTour 07-knight_tour-30-0.asp Witness Found OK 69.77 - 6.67 5.00 1.67 idp 12-KnightTour 08-knight_tour-40-0.asp Witness Found OK 292.49 - 5.56 5.00 0.56 idp 12-KnightTour 09-knight_tour-46-0.asp Witness Found OK 405.10 - 5.31 5.00 0.31 idp 12-KnightTour 10-knight_tour-50-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 idp 13-DisjunctiveScheduling 01-disjunctive_scheduling-1000-0.asp Witness Found OK 11.06 - 8.05 5.00 3.05 idp 13-DisjunctiveScheduling 02-disjunctive_scheduling-941-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 idp 13-DisjunctiveScheduling 03-disjunctive_scheduling-947-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 idp 13-DisjunctiveScheduling 04-disjunctive_scheduling-959-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 idp 13-DisjunctiveScheduling 05-disjunctive_scheduling-959-0.asp N/A Time out - - 0.00 0.00 0.00 idp 13-DisjunctiveScheduling 06-disjunctive_scheduling-941-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 idp 13-DisjunctiveScheduling 07-disjunctive_scheduling-205-0.asp Witness Found OK 29.14 - 7.34 5.00 2.34 idp 13-DisjunctiveScheduling 08-disjunctive_scheduling-188-0.asp Witness Found OK 26.48 - 7.41 5.00 2.41 idp 13-DisjunctiveScheduling 09-disjunctive_scheduling-183-0.asp Witness Found OK 27.60 - 7.38 5.00 2.38 idp 13-DisjunctiveScheduling 10-disjunctive_scheduling-205-0.asp Witness Found OK 29.08 - 7.34 5.00 2.34 idp 14-PackingProblem 10-packing-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 idp 14-PackingProblem 18-packing-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 idp 14-PackingProblem 20-packing-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 idp 14-PackingProblem 22-packing-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 idp 14-PackingProblem 34-packing-0-0.asp N/A Time out - - 0.00 0.00 0.00 idp 14-PackingProblem 45-packing-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 idp 14-PackingProblem 46-packing-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 idp 14-PackingProblem 5-packing-0-0.asp N/A Time out - - 0.00 0.00 0.00 idp 14-PackingProblem 8-packing-0-0.asp N/A Time out - - 0.00 0.00 0.00 idp 14-PackingProblem 9-packing-0-0.asp N/A Time out - - 0.00 0.00 0.00 idp 17-Labyrinth 003-labyrinth-11-0.asp Witness Found OK 2.14 - 9.11 5.00 4.11 idp 17-Labyrinth 015-labyrinth-11-0.asp Witness Found OK 2.42 - 9.04 5.00 4.04 idp 17-Labyrinth 028-labyrinth-12-0.asp Witness Found OK 0.80 - 9.54 5.00 4.54 idp 17-Labyrinth 045-labyrinth-13-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 idp 17-Labyrinth 123-labyrinth-17-0.asp Witness Found OK 14.84 - 7.84 5.00 2.84 idp 17-Labyrinth 131-labyrinth-17-0.asp Witness Found OK 7.24 - 8.35 5.00 3.35 idp 17-Labyrinth 147-labyrinth-18-0.asp Witness Found OK 8.98 - 8.20 5.00 3.20 idp 17-Labyrinth 162-labyrinth-19-0.asp N/A Time out - - 0.00 0.00 0.00 idp 17-Labyrinth 169-labyrinth-19-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 idp 17-Labyrinth 225-labyrinth-22-0.asp N/A Mem out/Fail 48.64 - 0.00 0.00 0.00 idp 19-MultiContextSystemQuerying 00-multi_context_system_querying-0-0.asp Inconsistent OK 10.62 - 8.08 5.00 3.08 idp 19-MultiContextSystemQuerying 20-multi_context_system_querying-0-0.asp Inconsistent OK 10.58 - 8.09 5.00 3.09 idp 19-MultiContextSystemQuerying 31-multi_context_system_querying-0-0.asp Inconsistent OK 18.80 - 7.67 5.00 2.67 idp 19-MultiContextSystemQuerying 32-multi_context_system_querying-0-0.asp Inconsistent OK 18.74 - 7.67 5.00 2.67 idp 19-MultiContextSystemQuerying 39-multi_context_system_querying-0-0.asp Inconsistent OK 20.26 - 7.61 5.00 2.61 idp 19-MultiContextSystemQuerying 41-multi_context_system_querying-0-0.asp Inconsistent OK 20.16 - 7.62 5.00 2.62 idp 19-MultiContextSystemQuerying 56-multi_context_system_querying-0-0.asp Inconsistent OK 40.12 - 7.10 5.00 2.10 idp 19-MultiContextSystemQuerying 60-multi_context_system_querying-0-0.asp Inconsistent OK 40.14 - 7.10 5.00 2.10 idp 19-MultiContextSystemQuerying 64-multi_context_system_querying-0-0.asp Inconsistent OK 53.64 - 6.87 5.00 1.87 idp 19-MultiContextSystemQuerying 70-multi_context_system_querying-0-0.asp Inconsistent OK 51.06 - 6.91 5.00 1.91 idp 20-Numberlink 112-numberlink-0-0.asp Witness Found OK 1.32 - 9.34 5.00 4.34 idp 20-Numberlink 123-numberlink-0-0.asp Witness Found OK 3.86 - 8.76 5.00 3.76 idp 20-Numberlink 2-numberlink-0-0.asp Witness Found OK 0.02 - 9.98 5.00 4.98 idp 20-Numberlink 32-numberlink-0-0.asp Witness Found OK 1.24 - 9.37 5.00 4.37 idp 20-Numberlink 48-numberlink-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 idp 20-Numberlink 62-numberlink-0-0.asp Witness Found OK 24.72 - 7.46 5.00 2.46 idp 20-Numberlink 86-numberlink-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 idp 20-Numberlink 87-numberlink-0-0.asp Witness Found OK 96.22 - 6.42 5.00 1.42 idp 20-Numberlink 94-numberlink-0-0.asp Witness Found OK 5.36 - 8.55 5.00 3.55 idp 20-Numberlink 9-numberlink-0-0.asp Witness Found OK 0.58 - 9.64 5.00 4.64 idp 22-HanoiTower 03-hanoi_tower-60-0.asp Witness Found OK 68.47 - 6.69 5.00 1.69 idp 22-HanoiTower 09-hanoi_tower-28-0.asp Witness Found OK 13.56 - 7.91 5.00 2.91 idp 22-HanoiTower 10-hanoi_tower-29-0.asp Witness Found OK 5.60 - 8.53 5.00 3.53 idp 22-HanoiTower 40-hanoi_tower-80-0.asp Witness Found OK 17.84 - 7.71 5.00 2.71 idp 22-HanoiTower 43-hanoi_tower-100-0.asp Witness Found OK 10.78 - 8.07 5.00 3.07 idp 22-HanoiTower 46-hanoi_tower-100-0.asp Witness Found OK 9.86 - 8.14 5.00 3.14 idp 22-HanoiTower 51-hanoi_tower-120-0.asp Witness Found OK 34.70 - 7.21 5.00 2.21 idp 22-HanoiTower 56-hanoi_tower-120-0.asp Witness Found OK 300.89 - 5.54 5.00 0.54 idp 22-HanoiTower 57-hanoi_tower-120-0.asp Witness Found OK 403.02 - 5.31 5.00 0.31 idp 22-HanoiTower 59-hanoi_tower-120-0.asp N/A Time out - - 0.00 0.00 0.00 idp 25-GraphColouring 12-graph_colouring-130-0.asp N/A Time out - - 0.00 0.00 0.00 idp 25-GraphColouring 37-graph_colouring-140-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 idp 25-GraphColouring 38-graph_colouring-140-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 idp 25-GraphColouring 41-graph_colouring-145-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 idp 25-GraphColouring 53-graph_colouring-150-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 idp 25-GraphColouring 58-graph_colouring-150-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 idp 25-GraphColouring 59-graph_colouring-150-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 idp 25-GraphColouring 60-graph_colouring-150-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 idp 25-GraphColouring 6-graph_colouring-125-0.asp Witness Found OK 21.26 - 7.58 5.00 2.58 idp 25-GraphColouring 9-graph_colouring-125-0.asp Witness Found OK 0.02 - 9.98 5.00 4.98 idp 26-Solitaire 08-solitaire-50-0.asp Witness Found OK 125.03 - 6.22 5.00 1.22 idp 26-Solitaire 09-solitaire-50-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 idp 26-Solitaire 15-solitaire-50-0.asp Witness Found OK 2.72 - 8.97 5.00 3.97 idp 26-Solitaire 16-solitaire-50-0.asp Witness Found OK 20.70 - 7.60 5.00 2.60 idp 26-Solitaire 17-solitaire-50-0.asp N/A Time out - - 0.00 0.00 0.00 idp 26-Solitaire 18-solitaire-50-0.asp N/A Time out - - 0.00 0.00 0.00 idp 26-Solitaire 24-solitaire-50-0.asp Witness Found OK 10.32 - 8.10 5.00 3.10 idp 26-Solitaire 25-solitaire-50-0.asp Witness Found OK 20.74 - 7.59 5.00 2.59 idp 26-Solitaire 26-solitaire-50-0.asp N/A Time out - - 0.00 0.00 0.00 idp 26-Solitaire 27-solitaire-50-0.asp N/A Time out - - 0.00 0.00 0.00 idp 28-Weight-AssignmentTree 06-weight_assignment_tree-560-0.asp N/A Mem out/Fail 48.76 - 0.00 0.00 0.00 idp 28-Weight-AssignmentTree 09-weight_assignment_tree-778-0.asp N/A Mem out/Fail 57.26 - 0.00 0.00 0.00 idp 28-Weight-AssignmentTree 30-weight_assignment_tree-631-0.asp N/A Mem out/Fail 39.70 - 0.00 0.00 0.00 idp 28-Weight-AssignmentTree 43-weight_assignment_tree-645-0.asp N/A Mem out/Fail 40.60 - 0.00 0.00 0.00 idp 28-Weight-AssignmentTree 45-weight_assignment_tree-312-0.asp Witness Found OK 20.98 - 7.59 5.00 2.59 idp 28-Weight-AssignmentTree 52-weight_assignment_tree-1777-0.asp N/A Mem out/Fail 172.74 - 0.00 0.00 0.00 idp 28-Weight-AssignmentTree 55-weight_assignment_tree-1620-0.asp N/A Mem out/Fail 173.47 - 0.00 0.00 0.00 idp 28-Weight-AssignmentTree 58-weight_assignment_tree-1647-0.asp N/A Mem out/Fail 165.18 - 0.00 0.00 0.00 idp 28-Weight-AssignmentTree 59-weight_assignment_tree-1595-0.asp N/A Mem out/Fail 164.79 - 0.00 0.00 0.00 idp 28-Weight-AssignmentTree 61-weight_assignment_tree-1542-0.asp N/A Mem out/Fail 165.05 - 0.00 0.00 0.00 idp 30-HydraulicLeaking 1000-hydraulic_leaking-677-0.asp N/A Time out - - 0.00 0.00 0.00 idp 30-HydraulicLeaking 125-hydraulic_leaking-633-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 idp 30-HydraulicLeaking 13-hydraulic_leaking-364-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 idp 30-HydraulicLeaking 141-hydraulic_leaking-304-0.asp N/A Time out - - 0.00 0.00 0.00 idp 30-HydraulicLeaking 168-hydraulic_leaking-348-0.asp N/A Time out - - 0.00 0.00 0.00 idp 30-HydraulicLeaking 17-hydraulic_leaking-408-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 idp 30-HydraulicLeaking 232-hydraulic_leaking-348-0.asp Witness Found OK 491.93 - 5.15 5.00 0.15 idp 30-HydraulicLeaking 271-hydraulic_leaking-348-0.asp Witness Found OK 492.45 - 5.15 5.00 0.15 idp 30-HydraulicLeaking 274-hydraulic_leaking-392-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 idp 30-HydraulicLeaking 290-hydraulic_leaking-348-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 idp 31-HydraulicPlanning 1000-hydraulic_planning-684-0.asp Witness Found OK 33.22 - 7.24 5.00 2.24 idp 31-HydraulicPlanning 100-hydraulic_planning-728-0.asp Witness Found OK 36.65 - 7.16 5.00 2.16 idp 31-HydraulicPlanning 101-hydraulic_planning-612-0.asp Witness Found OK 24.38 - 7.47 5.00 2.47 idp 31-HydraulicPlanning 106-hydraulic_planning-619-0.asp Witness Found OK 25.74 - 7.43 5.00 2.43 idp 31-HydraulicPlanning 109-hydraulic_planning-619-0.asp Witness Found OK 24.98 - 7.45 5.00 2.45 idp 31-HydraulicPlanning 138-hydraulic_planning-626-0.asp Witness Found OK 27.14 - 7.39 5.00 2.39 idp 31-HydraulicPlanning 155-hydraulic_planning-670-0.asp Witness Found OK 30.14 - 7.31 5.00 2.31 idp 31-HydraulicPlanning 379-hydraulic_planning-610-0.asp Witness Found OK 24.10 - 7.48 5.00 2.48 idp 31-HydraulicPlanning 382-hydraulic_planning-624-0.asp Witness Found OK 26.98 - 7.40 5.00 2.40 idp 31-HydraulicPlanning 99-hydraulic_planning-684-0.asp Witness Found OK 33.22 - 7.24 5.00 2.24 idp 32-StableMarriage 11-stable_marriage-0-0.asp N/A Mem out/Fail 350.37 - 0.00 0.00 0.00 idp 32-StableMarriage 12-stable_marriage-0-0.asp N/A Mem out/Fail 48.50 - 0.00 0.00 0.00 idp 32-StableMarriage 23-stable_marriage-0-0.asp N/A Mem out/Fail 352.18 - 0.00 0.00 0.00 idp 32-StableMarriage 26-stable_marriage-0-0.asp N/A Mem out/Fail 348.95 - 0.00 0.00 0.00 idp 32-StableMarriage 29-stable_marriage-0-0.asp N/A Mem out/Fail 349.59 - 0.00 0.00 0.00 idp 32-StableMarriage 2-stable_marriage-0-0.asp N/A Mem out/Fail 351.60 - 0.00 0.00 0.00 idp 32-StableMarriage 43-stable_marriage-0-0.asp N/A Mem out/Fail 170.01 - 0.00 0.00 0.00 idp 32-StableMarriage 44-stable_marriage-0-0.asp N/A Mem out/Fail 350.60 - 0.00 0.00 0.00 idp 32-StableMarriage 47-stable_marriage-0-0.asp N/A Mem out/Fail 351.70 - 0.00 0.00 0.00 idp 32-StableMarriage 8-stable_marriage-0-0.asp N/A Mem out/Fail 350.52 - 0.00 0.00 0.00 idp 33-MazeGeneration 04-maze_generation-0-0.asp Witness Found OK 0.14 - 9.90 5.00 4.90 idp 33-MazeGeneration 10-maze_generation-0-0.asp Witness Found OK 0.36 - 9.76 5.00 4.76 idp 33-MazeGeneration 14-maze_generation-0-0.asp Witness Found OK 0.36 - 9.76 5.00 4.76 idp 33-MazeGeneration 22-maze_generation-0-0.asp Witness Found OK 0.48 - 9.69 5.00 4.69 idp 33-MazeGeneration 26-maze_generation-0-0.asp Witness Found OK 0.68 - 9.59 5.00 4.59 idp 33-MazeGeneration 31-maze_generation-0-0.asp Witness Found OK 0.40 - 9.74 5.00 4.74 idp 33-MazeGeneration 37-maze_generation-0-0.asp Witness Found OK 1.56 - 9.27 5.00 4.27 idp 33-MazeGeneration 41-maze_generation-0-0.asp Witness Found OK 0.88 - 9.51 5.00 4.51 idp 33-MazeGeneration 42-maze_generation-0-0.asp Witness Found OK 0.96 - 9.47 5.00 4.47 idp 33-MazeGeneration 47-maze_generation-0-0.asp Witness Found OK 4.06 - 8.73 5.00 3.73 idp 34-PartnerUnitsPolynomial 127-partner_units_polynomial-100-0.asp N/A Mem out/Fail 263.38 - 0.00 0.00 0.00 idp 34-PartnerUnitsPolynomial 175-partner_units_polynomial-75-0.asp N/A Mem out/Fail 120.56 - 0.00 0.00 0.00 idp 34-PartnerUnitsPolynomial 187-partner_units_polynomial-51-0.asp N/A Mem out/Fail 39.56 - 0.00 0.00 0.00 idp 34-PartnerUnitsPolynomial 206-partner_units_polynomial-63-0.asp N/A Mem out/Fail 55.44 - 0.00 0.00 0.00 idp 34-PartnerUnitsPolynomial 41-partner_units_polynomial-79-0.asp N/A Mem out/Fail 121.41 - 0.00 0.00 0.00 idp 34-PartnerUnitsPolynomial 52-partner_units_polynomial-100-0.asp N/A Mem out/Fail 266.09 - 0.00 0.00 0.00 idp 34-PartnerUnitsPolynomial 57-partner_units_polynomial-100-0.asp N/A Mem out/Fail 266.25 - 0.00 0.00 0.00 idp 34-PartnerUnitsPolynomial 60-partner_units_polynomial-100-0.asp N/A Mem out/Fail 266.16 - 0.00 0.00 0.00 idp 34-PartnerUnitsPolynomial 64-partner_units_polynomial-100-0.asp N/A Mem out/Fail 267.54 - 0.00 0.00 0.00 idp 34-PartnerUnitsPolynomial 67-partner_units_polynomial-100-0.asp N/A Mem out/Fail 266.59 - 0.00 0.00 0.00 lp2diffz3 26-Solitaire 08-solitaire-50-0.asp N/A Time out - - 0.00 0.00 0.00 lp2diffz3 26-Solitaire 09-solitaire-50-0.asp N/A Time out - - 0.00 0.00 0.00 lp2diffz3 26-Solitaire 15-solitaire-50-0.asp Witness Found OK 69.38 - 6.68 5.00 1.68 lp2diffz3 26-Solitaire 16-solitaire-50-0.asp Witness Found OK 252.49 - 5.67 5.00 0.67 lp2diffz3 26-Solitaire 17-solitaire-50-0.asp N/A Time out - - 0.00 0.00 0.00 lp2diffz3 26-Solitaire 18-solitaire-50-0.asp N/A Time out - - 0.00 0.00 0.00 lp2diffz3 26-Solitaire 24-solitaire-50-0.asp Witness Found OK 53.40 - 6.88 5.00 1.88 lp2diffz3 26-Solitaire 25-solitaire-50-0.asp Witness Found OK 127.61 - 6.20 5.00 1.20 lp2diffz3 26-Solitaire 26-solitaire-50-0.asp N/A Time out - - 0.00 0.00 0.00 lp2diffz3 26-Solitaire 27-solitaire-50-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2gminisat 26-Solitaire 08-solitaire-50-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2gminisat 26-Solitaire 09-solitaire-50-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2gminisat 26-Solitaire 15-solitaire-50-0.asp Witness Found OK 110.63 - 6.32 5.00 1.32 lp2sat2gminisat 26-Solitaire 16-solitaire-50-0.asp Witness Found OK 25.06 - 7.45 5.00 2.45 lp2sat2gminisat 26-Solitaire 17-solitaire-50-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2gminisat 26-Solitaire 18-solitaire-50-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2gminisat 26-Solitaire 24-solitaire-50-0.asp Witness Found OK 13.02 - 7.94 5.00 2.94 lp2sat2gminisat 26-Solitaire 25-solitaire-50-0.asp Witness Found OK 28.72 - 7.35 5.00 2.35 lp2sat2gminisat 26-Solitaire 26-solitaire-50-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2gminisat 26-Solitaire 27-solitaire-50-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2lminisat 26-Solitaire 08-solitaire-50-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2lminisat 26-Solitaire 09-solitaire-50-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2lminisat 26-Solitaire 15-solitaire-50-0.asp Witness Found OK 111.38 - 6.31 5.00 1.31 lp2sat2lminisat 26-Solitaire 16-solitaire-50-0.asp Witness Found OK 24.86 - 7.46 5.00 2.46 lp2sat2lminisat 26-Solitaire 17-solitaire-50-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2lminisat 26-Solitaire 18-solitaire-50-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2lminisat 26-Solitaire 24-solitaire-50-0.asp Witness Found OK 13.06 - 7.93 5.00 2.93 lp2sat2lminisat 26-Solitaire 25-solitaire-50-0.asp Witness Found OK 28.88 - 7.35 5.00 2.35 lp2sat2lminisat 26-Solitaire 26-solitaire-50-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2lminisat 26-Solitaire 27-solitaire-50-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2minisat 26-Solitaire 08-solitaire-50-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2minisat 26-Solitaire 09-solitaire-50-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2minisat 26-Solitaire 15-solitaire-50-0.asp Witness Found OK 110.64 - 6.32 5.00 1.32 lp2sat2minisat 26-Solitaire 16-solitaire-50-0.asp Witness Found OK 24.68 - 7.46 5.00 2.46 lp2sat2minisat 26-Solitaire 17-solitaire-50-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2minisat 26-Solitaire 18-solitaire-50-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2minisat 26-Solitaire 24-solitaire-50-0.asp Witness Found OK 12.84 - 7.95 5.00 2.95 lp2sat2minisat 26-Solitaire 25-solitaire-50-0.asp Witness Found OK 28.60 - 7.35 5.00 2.35 lp2sat2minisat 26-Solitaire 26-solitaire-50-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2minisat 26-Solitaire 27-solitaire-50-0.asp N/A Time out - - 0.00 0.00 0.00 smodels 26-Solitaire 08-solitaire-50-0.asp N/A Time out - - 0.00 0.00 0.00 smodels 26-Solitaire 09-solitaire-50-0.asp N/A Time out - - 0.00 0.00 0.00 smodels 26-Solitaire 15-solitaire-50-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 smodels 26-Solitaire 16-solitaire-50-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 smodels 26-Solitaire 17-solitaire-50-0.asp N/A Time out - - 0.00 0.00 0.00 smodels 26-Solitaire 18-solitaire-50-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 smodels 26-Solitaire 24-solitaire-50-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 smodels 26-Solitaire 25-solitaire-50-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 smodels 26-Solitaire 26-solitaire-50-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 smodels 26-Solitaire 27-solitaire-50-0.asp N/A Time out - - 0.00 0.00 0.00 sup 02-Reachability 01-reachability-0-0.asp Inconsistent OK 6.34 - 8.44 5.00 3.44 sup 02-Reachability 02-reachability-0-0.asp Inconsistent OK 9.14 - 8.19 5.00 3.19 sup 02-Reachability 03-reachability-0-0.asp Inconsistent OK 578.76 - 5.03 5.00 0.03 sup 02-Reachability 06-reachability-0-0.asp Inconsistent OK 33.34 - 7.24 5.00 2.24 sup 02-Reachability 07-reachability-0-0.asp Inconsistent OK 43.00 - 0.00 0.00 0.00 sup 02-Reachability 08-reachability-0-0.asp N/A Mem out/Fail 55.94 - 0.00 0.00 0.00 sup 02-Reachability 09-reachability-0-0.asp N/A Time out - - 0.00 0.00 0.00 sup 02-Reachability 13-reachability-0-0.asp N/A Mem out/Fail 35.16 - 0.00 0.00 0.00 sup 02-Reachability 14-reachability-0-0.asp N/A Mem out/Fail 35.16 - 0.00 0.00 0.00 sup 02-Reachability 15-reachability-0-0.asp N/A Mem out/Fail 35.60 - 0.00 0.00 0.00 sup 06-Grammar-BasedInformationExtraction 01-grammar_based_information_extraction-1305896-0.asp Inconsistent OK 30.26 - 7.31 5.00 2.31 sup 06-Grammar-BasedInformationExtraction 02-grammar_based_information_extraction-1290780-0.asp Witness Found OK 35.96 - 7.18 5.00 2.18 sup 06-Grammar-BasedInformationExtraction 03-grammar_based_information_extraction-797206-0.asp Inconsistent OK 36.56 - 7.17 5.00 2.17 sup 06-Grammar-BasedInformationExtraction 04-grammar_based_information_extraction-1256479-0.asp Witness Found OK 33.20 - 7.24 5.00 2.24 sup 06-Grammar-BasedInformationExtraction 05-grammar_based_information_extraction-1136348-0.asp Inconsistent OK 49.96 - 6.93 5.00 1.93 sup 06-Grammar-BasedInformationExtraction 06-grammar_based_information_extraction-1359311-0.asp Witness Found OK 31.36 - 7.28 5.00 2.28 sup 06-Grammar-BasedInformationExtraction 07-grammar_based_information_extraction-1284391-0.asp Witness Found OK 48.97 - 6.94 5.00 1.94 sup 06-Grammar-BasedInformationExtraction 08-grammar_based_information_extraction-1412644-0.asp Witness Found OK 57.20 - 6.82 5.00 1.82 sup 06-Grammar-BasedInformationExtraction 09-grammar_based_information_extraction-1479675-0.asp Witness Found OK 33.90 - 7.22 5.00 2.22 sup 06-Grammar-BasedInformationExtraction 10-grammar_based_information_extraction-1088505-0.asp Witness Found OK 42.71 - 7.05 5.00 2.05 sup 10-SokobanDecision 12-sokoban_decision-0-0.asp Witness Found OK 5.76 - 8.51 5.00 3.51 sup 10-SokobanDecision 16-sokoban_decision-0-0.asp Inconsistent OK 25.18 - 7.45 5.00 2.45 sup 10-SokobanDecision 17-sokoban_decision-0-0.asp Witness Found OK 48.95 - 6.94 5.00 1.94 sup 10-SokobanDecision 42-sokoban_decision-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 sup 10-SokobanDecision 48-sokoban_decision-0-0.asp N/A Time out - - 0.00 0.00 0.00 sup 10-SokobanDecision 49-sokoban_decision-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 sup 10-SokobanDecision 4-sokoban_decision-0-0.asp Inconsistent OK 10.84 - 8.07 5.00 3.07 sup 10-SokobanDecision 50-sokoban_decision-0-0.asp Witness Found OK 527.78 - 5.10 5.00 0.10 sup 10-SokobanDecision 6-sokoban_decision-0-0.asp Inconsistent OK 7.92 - 8.29 5.00 3.29 sup 10-SokobanDecision 7-sokoban_decision-0-0.asp Inconsistent OK 18.32 - 7.69 5.00 2.69 sup 12-KnightTour 01-knight_tour-8-0.asp Witness Found OK 0.08 - 9.94 5.00 4.94 sup 12-KnightTour 02-knight_tour-10-0.asp Witness Found OK 1.32 - 9.34 5.00 4.34 sup 12-KnightTour 03-knight_tour-12-0.asp Witness Found OK 4.38 - 8.69 5.00 3.69 sup 12-KnightTour 04-knight_tour-14-0.asp Witness Found OK 34.44 - 7.21 5.00 2.21 sup 12-KnightTour 05-knight_tour-16-0.asp Witness Found OK 399.76 - 5.32 5.00 0.32 sup 12-KnightTour 06-knight_tour-20-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 sup 12-KnightTour 07-knight_tour-30-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 sup 12-KnightTour 08-knight_tour-40-0.asp N/A Time out - - 0.00 0.00 0.00 sup 12-KnightTour 09-knight_tour-46-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 sup 12-KnightTour 10-knight_tour-50-0.asp N/A Time out - - 0.00 0.00 0.00 sup 13-DisjunctiveScheduling 01-disjunctive_scheduling-1000-0.asp Witness Found OK 12.14 - 7.99 5.00 2.99 sup 13-DisjunctiveScheduling 02-disjunctive_scheduling-941-0.asp N/A Mem out/Fail 115.95 - 0.00 0.00 0.00 sup 13-DisjunctiveScheduling 03-disjunctive_scheduling-947-0.asp N/A Mem out/Fail 115.78 - 0.00 0.00 0.00 sup 13-DisjunctiveScheduling 04-disjunctive_scheduling-959-0.asp N/A Mem out/Fail 115.95 - 0.00 0.00 0.00 sup 13-DisjunctiveScheduling 05-disjunctive_scheduling-959-0.asp N/A Mem out/Fail 116.72 - 0.00 0.00 0.00 sup 13-DisjunctiveScheduling 06-disjunctive_scheduling-941-0.asp N/A Mem out/Fail 115.73 - 0.00 0.00 0.00 sup 13-DisjunctiveScheduling 07-disjunctive_scheduling-205-0.asp Witness Found OK 28.94 - 7.34 5.00 2.34 sup 13-DisjunctiveScheduling 08-disjunctive_scheduling-188-0.asp Witness Found OK 26.60 - 7.41 5.00 2.41 sup 13-DisjunctiveScheduling 09-disjunctive_scheduling-183-0.asp Witness Found OK 27.78 - 7.37 5.00 2.37 sup 13-DisjunctiveScheduling 10-disjunctive_scheduling-205-0.asp Witness Found OK 29.06 - 7.34 5.00 2.34 sup 14-PackingProblem 10-packing-0-0.asp N/A Mem out/Fail 110.18 - 0.00 0.00 0.00 sup 14-PackingProblem 18-packing-0-0.asp N/A Mem out/Fail 102.46 - 0.00 0.00 0.00 sup 14-PackingProblem 20-packing-0-0.asp N/A Mem out/Fail 106.81 - 0.00 0.00 0.00 sup 14-PackingProblem 22-packing-0-0.asp N/A Mem out/Fail 109.92 - 0.00 0.00 0.00 sup 14-PackingProblem 34-packing-0-0.asp N/A Mem out/Fail 108.33 - 0.00 0.00 0.00 sup 14-PackingProblem 45-packing-0-0.asp N/A Mem out/Fail 90.39 - 0.00 0.00 0.00 sup 14-PackingProblem 46-packing-0-0.asp N/A Mem out/Fail 98.84 - 0.00 0.00 0.00 sup 14-PackingProblem 5-packing-0-0.asp N/A Mem out/Fail 108.49 - 0.00 0.00 0.00 sup 14-PackingProblem 8-packing-0-0.asp N/A Mem out/Fail 106.93 - 0.00 0.00 0.00 sup 14-PackingProblem 9-packing-0-0.asp N/A Mem out/Fail 108.37 - 0.00 0.00 0.00 sup 17-Labyrinth 003-labyrinth-11-0.asp Witness Found OK 434.26 - 5.25 5.00 0.25 sup 17-Labyrinth 015-labyrinth-11-0.asp Witness Found OK 6.44 - 8.43 5.00 3.43 sup 17-Labyrinth 028-labyrinth-12-0.asp Witness Found OK 6.52 - 8.42 5.00 3.42 sup 17-Labyrinth 045-labyrinth-13-0.asp N/A Time out - - 0.00 0.00 0.00 sup 17-Labyrinth 123-labyrinth-17-0.asp Witness Found OK 55.35 - 6.85 5.00 1.85 sup 17-Labyrinth 131-labyrinth-17-0.asp Witness Found OK 4.70 - 8.64 5.00 3.64 sup 17-Labyrinth 147-labyrinth-18-0.asp Witness Found OK 7.94 - 8.29 5.00 3.29 sup 17-Labyrinth 162-labyrinth-19-0.asp Witness Found OK 248.49 - 5.69 5.00 0.69 sup 17-Labyrinth 169-labyrinth-19-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 sup 17-Labyrinth 225-labyrinth-22-0.asp Witness Found OK 93.84 - 6.44 5.00 1.44 sup 19-MultiContextSystemQuerying 00-multi_context_system_querying-0-0.asp Inconsistent OK 10.04 - 8.12 5.00 3.12 sup 19-MultiContextSystemQuerying 20-multi_context_system_querying-0-0.asp Inconsistent OK 9.74 - 8.14 5.00 3.14 sup 19-MultiContextSystemQuerying 31-multi_context_system_querying-0-0.asp Inconsistent OK 19.38 - 7.64 5.00 2.64 sup 19-MultiContextSystemQuerying 32-multi_context_system_querying-0-0.asp Inconsistent OK 21.82 - 7.56 5.00 2.56 sup 19-MultiContextSystemQuerying 39-multi_context_system_querying-0-0.asp Inconsistent OK 19.08 - 7.66 5.00 2.66 sup 19-MultiContextSystemQuerying 41-multi_context_system_querying-0-0.asp Inconsistent OK 19.36 - 7.65 5.00 2.65 sup 19-MultiContextSystemQuerying 56-multi_context_system_querying-0-0.asp Inconsistent OK 147.79 - 6.09 5.00 1.09 sup 19-MultiContextSystemQuerying 60-multi_context_system_querying-0-0.asp Inconsistent OK 404.04 - 5.31 5.00 0.31 sup 19-MultiContextSystemQuerying 64-multi_context_system_querying-0-0.asp Inconsistent OK 60.26 - 6.78 5.00 1.78 sup 19-MultiContextSystemQuerying 70-multi_context_system_querying-0-0.asp Inconsistent OK 52.73 - 6.89 5.00 1.89 sup 20-Numberlink 112-numberlink-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 sup 20-Numberlink 123-numberlink-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 sup 20-Numberlink 2-numberlink-0-0.asp N/A Mem out/Fail 461.15 - 0.00 0.00 0.00 sup 20-Numberlink 32-numberlink-0-0.asp N/A Time out - - 0.00 0.00 0.00 sup 20-Numberlink 48-numberlink-0-0.asp N/A Time out - - 0.00 0.00 0.00 sup 20-Numberlink 62-numberlink-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 sup 20-Numberlink 86-numberlink-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 sup 20-Numberlink 87-numberlink-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 sup 20-Numberlink 94-numberlink-0-0.asp N/A Time out - - 0.00 0.00 0.00 sup 20-Numberlink 9-numberlink-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 sup 22-HanoiTower 03-hanoi_tower-60-0.asp Witness Found OK 383.12 - 5.35 5.00 0.35 sup 22-HanoiTower 09-hanoi_tower-28-0.asp Witness Found OK 110.24 - 6.32 5.00 1.32 sup 22-HanoiTower 10-hanoi_tower-29-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 sup 22-HanoiTower 40-hanoi_tower-80-0.asp Witness Found OK 118.06 - 6.27 5.00 1.27 sup 22-HanoiTower 43-hanoi_tower-100-0.asp Witness Found OK 28.80 - 7.35 5.00 2.35 sup 22-HanoiTower 46-hanoi_tower-100-0.asp N/A Time out - - 0.00 0.00 0.00 sup 22-HanoiTower 51-hanoi_tower-120-0.asp Witness Found OK 178.77 - 5.94 5.00 0.94 sup 22-HanoiTower 56-hanoi_tower-120-0.asp N/A Time out - - 0.00 0.00 0.00 sup 22-HanoiTower 57-hanoi_tower-120-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 sup 22-HanoiTower 59-hanoi_tower-120-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 sup 25-GraphColouring 12-graph_colouring-130-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 sup 25-GraphColouring 37-graph_colouring-140-0.asp N/A Time out - - 0.00 0.00 0.00 sup 25-GraphColouring 38-graph_colouring-140-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 sup 25-GraphColouring 41-graph_colouring-145-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 sup 25-GraphColouring 53-graph_colouring-150-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 sup 25-GraphColouring 58-graph_colouring-150-0.asp N/A Time out - - 0.00 0.00 0.00 sup 25-GraphColouring 59-graph_colouring-150-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 sup 25-GraphColouring 60-graph_colouring-150-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 sup 25-GraphColouring 6-graph_colouring-125-0.asp Witness Found OK 16.58 - 7.76 5.00 2.76 sup 25-GraphColouring 9-graph_colouring-125-0.asp Witness Found OK 12.46 - 7.97 5.00 2.97 sup 26-Solitaire 08-solitaire-50-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 sup 26-Solitaire 09-solitaire-50-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 sup 26-Solitaire 15-solitaire-50-0.asp Witness Found OK 40.44 - 7.09 5.00 2.09 sup 26-Solitaire 16-solitaire-50-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 sup 26-Solitaire 17-solitaire-50-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 sup 26-Solitaire 18-solitaire-50-0.asp N/A Time out - - 0.00 0.00 0.00 sup 26-Solitaire 24-solitaire-50-0.asp Witness Found OK 18.92 - 7.66 5.00 2.66 sup 26-Solitaire 25-solitaire-50-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 sup 26-Solitaire 26-solitaire-50-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 sup 26-Solitaire 27-solitaire-50-0.asp N/A Time out - - 0.00 0.00 0.00 sup 28-Weight-AssignmentTree 06-weight_assignment_tree-560-0.asp Witness Found OK 289.05 - 5.57 5.00 0.57 sup 28-Weight-AssignmentTree 09-weight_assignment_tree-778-0.asp N/A Mem out/Fail 103.22 - 0.00 0.00 0.00 sup 28-Weight-AssignmentTree 30-weight_assignment_tree-631-0.asp Witness Found OK 203.33 - 5.84 5.00 0.84 sup 28-Weight-AssignmentTree 43-weight_assignment_tree-645-0.asp Witness Found OK 95.45 - 6.43 5.00 1.43 sup 28-Weight-AssignmentTree 45-weight_assignment_tree-312-0.asp Witness Found OK 39.25 - 7.11 5.00 2.11 sup 28-Weight-AssignmentTree 52-weight_assignment_tree-1777-0.asp N/A Mem out/Fail 129.29 - 0.00 0.00 0.00 sup 28-Weight-AssignmentTree 55-weight_assignment_tree-1620-0.asp N/A Mem out/Fail 129.53 - 0.00 0.00 0.00 sup 28-Weight-AssignmentTree 58-weight_assignment_tree-1647-0.asp N/A Mem out/Fail 129.89 - 0.00 0.00 0.00 sup 28-Weight-AssignmentTree 59-weight_assignment_tree-1595-0.asp N/A Mem out/Fail 128.93 - 0.00 0.00 0.00 sup 28-Weight-AssignmentTree 61-weight_assignment_tree-1542-0.asp N/A Mem out/Fail 130.57 - 0.00 0.00 0.00 sup 30-HydraulicLeaking 1000-hydraulic_leaking-677-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 sup 30-HydraulicLeaking 125-hydraulic_leaking-633-0.asp N/A Time out - - 0.00 0.00 0.00 sup 30-HydraulicLeaking 13-hydraulic_leaking-364-0.asp Witness Found OK 600.01 - 0.00 0.00 0.00 sup 30-HydraulicLeaking 141-hydraulic_leaking-304-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 sup 30-HydraulicLeaking 168-hydraulic_leaking-348-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 sup 30-HydraulicLeaking 17-hydraulic_leaking-408-0.asp N/A Time out - - 0.00 0.00 0.00 sup 30-HydraulicLeaking 232-hydraulic_leaking-348-0.asp Witness Found OK 490.57 - 5.16 5.00 0.16 sup 30-HydraulicLeaking 271-hydraulic_leaking-348-0.asp Witness Found OK 489.79 - 5.16 5.00 0.16 sup 30-HydraulicLeaking 274-hydraulic_leaking-392-0.asp N/A Time out - - 0.00 0.00 0.00 sup 30-HydraulicLeaking 290-hydraulic_leaking-348-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 sup 31-HydraulicPlanning 1000-hydraulic_planning-684-0.asp Witness Found OK 32.20 - 7.26 5.00 2.26 sup 31-HydraulicPlanning 100-hydraulic_planning-728-0.asp Witness Found OK 35.12 - 7.20 5.00 2.20 sup 31-HydraulicPlanning 101-hydraulic_planning-612-0.asp Witness Found OK 23.50 - 7.50 5.00 2.50 sup 31-HydraulicPlanning 106-hydraulic_planning-619-0.asp Witness Found OK 24.92 - 7.46 5.00 2.46 sup 31-HydraulicPlanning 109-hydraulic_planning-619-0.asp Witness Found OK 24.16 - 7.48 5.00 2.48 sup 31-HydraulicPlanning 138-hydraulic_planning-626-0.asp Witness Found OK 26.08 - 7.42 5.00 2.42 sup 31-HydraulicPlanning 155-hydraulic_planning-670-0.asp Witness Found OK 29.06 - 7.34 5.00 2.34 sup 31-HydraulicPlanning 379-hydraulic_planning-610-0.asp Witness Found OK 23.28 - 7.51 5.00 2.51 sup 31-HydraulicPlanning 382-hydraulic_planning-624-0.asp Witness Found OK 26.32 - 7.42 5.00 2.42 sup 31-HydraulicPlanning 99-hydraulic_planning-684-0.asp Witness Found OK 32.26 - 7.26 5.00 2.26 sup 32-StableMarriage 11-stable_marriage-0-0.asp N/A Mem out/Fail 103.97 - 0.00 0.00 0.00 sup 32-StableMarriage 12-stable_marriage-0-0.asp N/A Time out - - 0.00 0.00 0.00 sup 32-StableMarriage 23-stable_marriage-0-0.asp N/A Mem out/Fail 103.75 - 0.00 0.00 0.00 sup 32-StableMarriage 26-stable_marriage-0-0.asp N/A Mem out/Fail 105.67 - 0.00 0.00 0.00 sup 32-StableMarriage 29-stable_marriage-0-0.asp N/A Mem out/Fail 106.82 - 0.00 0.00 0.00 sup 32-StableMarriage 2-stable_marriage-0-0.asp N/A Mem out/Fail 104.32 - 0.00 0.00 0.00 sup 32-StableMarriage 43-stable_marriage-0-0.asp N/A Mem out/Fail 105.68 - 0.00 0.00 0.00 sup 32-StableMarriage 44-stable_marriage-0-0.asp N/A Mem out/Fail 104.26 - 0.00 0.00 0.00 sup 32-StableMarriage 47-stable_marriage-0-0.asp N/A Mem out/Fail 106.19 - 0.00 0.00 0.00 sup 32-StableMarriage 8-stable_marriage-0-0.asp N/A Mem out/Fail 107.14 - 0.00 0.00 0.00 sup 33-MazeGeneration 04-maze_generation-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 sup 33-MazeGeneration 10-maze_generation-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 sup 33-MazeGeneration 14-maze_generation-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 sup 33-MazeGeneration 22-maze_generation-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 sup 33-MazeGeneration 26-maze_generation-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 sup 33-MazeGeneration 31-maze_generation-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 sup 33-MazeGeneration 37-maze_generation-0-0.asp N/A Time out - - 0.00 0.00 0.00 sup 33-MazeGeneration 41-maze_generation-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 sup 33-MazeGeneration 42-maze_generation-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 sup 33-MazeGeneration 47-maze_generation-0-0.asp N/A Time out - - 0.00 0.00 0.00 sup 34-PartnerUnitsPolynomial 127-partner_units_polynomial-100-0.asp N/A Mem out/Fail 128.04 - 0.00 0.00 0.00 sup 34-PartnerUnitsPolynomial 175-partner_units_polynomial-75-0.asp N/A Mem out/Fail 126.03 - 0.00 0.00 0.00 sup 34-PartnerUnitsPolynomial 187-partner_units_polynomial-51-0.asp Witness Found OK 585.59 - 5.02 5.00 0.02 sup 34-PartnerUnitsPolynomial 206-partner_units_polynomial-63-0.asp Witness Found OK 97.93 - 6.41 5.00 1.41 sup 34-PartnerUnitsPolynomial 41-partner_units_polynomial-79-0.asp N/A Mem out/Fail 123.21 - 0.00 0.00 0.00 sup 34-PartnerUnitsPolynomial 52-partner_units_polynomial-100-0.asp N/A Mem out/Fail 128.79 - 0.00 0.00 0.00 sup 34-PartnerUnitsPolynomial 57-partner_units_polynomial-100-0.asp N/A Mem out/Fail 129.28 - 0.00 0.00 0.00 sup 34-PartnerUnitsPolynomial 60-partner_units_polynomial-100-0.asp N/A Mem out/Fail 128.19 - 0.00 0.00 0.00 sup 34-PartnerUnitsPolynomial 64-partner_units_polynomial-100-0.asp N/A Mem out/Fail 130.29 - 0.00 0.00 0.00 sup 34-PartnerUnitsPolynomial 67-partner_units_polynomial-100-0.asp N/A Mem out/Fail 130.31 - 0.00 0.00 0.00 smodels 02-Reachability 13-reachability-0-0.asp N/A Mem out/Fail 52.18 - 0.00 0.00 0.00 smodels 02-Reachability 14-reachability-0-0.asp N/A Mem out/Fail 71.22 - 0.00 0.00 0.00 smodels 02-Reachability 02-reachability-0-0.asp Inconsistent OK 10.84 - 8.07 5.00 3.07 smodels 02-Reachability 08-reachability-0-0.asp N/A Mem out/Fail 90.58 - 0.00 0.00 0.00 smodels 02-Reachability 07-reachability-0-0.asp N/A Mem out/Fail 70.52 - 0.00 0.00 0.00 smodels 02-Reachability 03-reachability-0-0.asp Inconsistent OK 598.25 - 5.00 5.00 0.00 smodels 02-Reachability 09-reachability-0-0.asp N/A Time out - - 0.00 0.00 0.00 smodels 02-Reachability 15-reachability-0-0.asp N/A Mem out/Fail 53.38 - 0.00 0.00 0.00 smodels 02-Reachability 01-reachability-0-0.asp Inconsistent OK 7.18 - 8.36 5.00 3.36 smodels 02-Reachability 06-reachability-0-0.asp Inconsistent OK 46.28 - 6.99 5.00 1.99 smodels 06-Grammar-BasedInformationExtraction 03-grammar_based_information_extraction-797206-0.asp Inconsistent OK 39.88 - 7.10 5.00 2.10 smodels 06-Grammar-BasedInformationExtraction 06-grammar_based_information_extraction-1359311-0.asp Witness Found OK 40.72 - 7.08 5.00 2.08 smodels 06-Grammar-BasedInformationExtraction 04-grammar_based_information_extraction-1256479-0.asp Witness Found OK 40.92 - 7.08 5.00 2.08 smodels 06-Grammar-BasedInformationExtraction 09-grammar_based_information_extraction-1479675-0.asp Witness Found OK 42.06 - 7.06 5.00 2.06 smodels 06-Grammar-BasedInformationExtraction 07-grammar_based_information_extraction-1284391-0.asp Witness Found OK 59.87 - 6.79 5.00 1.79 smodels 06-Grammar-BasedInformationExtraction 08-grammar_based_information_extraction-1412644-0.asp Witness Found OK 68.64 - 6.68 5.00 1.68 smodels 06-Grammar-BasedInformationExtraction 10-grammar_based_information_extraction-1088505-0.asp Witness Found OK 52.59 - 6.89 5.00 1.89 smodels 06-Grammar-BasedInformationExtraction 02-grammar_based_information_extraction-1290780-0.asp Witness Found OK 44.28 - 7.02 5.00 2.02 smodels 06-Grammar-BasedInformationExtraction 01-grammar_based_information_extraction-1305896-0.asp Inconsistent OK 31.60 - 7.28 5.00 2.28 smodels 06-Grammar-BasedInformationExtraction 05-grammar_based_information_extraction-1136348-0.asp Inconsistent OK 51.72 - 6.90 5.00 1.90 smodels 10-SokobanDecision 12-sokoban_decision-0-0.asp N/A Time out - - 0.00 0.00 0.00 smodels 10-SokobanDecision 4-sokoban_decision-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 smodels 10-SokobanDecision 49-sokoban_decision-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 smodels 10-SokobanDecision 42-sokoban_decision-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 smodels 10-SokobanDecision 7-sokoban_decision-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 smodels 10-SokobanDecision 17-sokoban_decision-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 smodels 10-SokobanDecision 48-sokoban_decision-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 smodels 10-SokobanDecision 16-sokoban_decision-0-0.asp N/A Time out - - 0.00 0.00 0.00 smodels 10-SokobanDecision 6-sokoban_decision-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 smodels 10-SokobanDecision 50-sokoban_decision-0-0.asp N/A Time out - - 0.00 0.00 0.00 smodels 12-KnightTour 01-knight_tour-8-0.asp Witness Found OK 0.10 - 9.93 5.00 4.93 smodels 12-KnightTour 05-knight_tour-16-0.asp Witness Found OK 4.74 - 8.63 5.00 3.63 smodels 12-KnightTour 04-knight_tour-14-0.asp Witness Found OK 1.34 - 9.34 5.00 4.34 smodels 12-KnightTour 09-knight_tour-46-0.asp N/A Time out - - 0.00 0.00 0.00 smodels 12-KnightTour 03-knight_tour-12-0.asp Witness Found OK 0.76 - 9.56 5.00 4.56 smodels 12-KnightTour 06-knight_tour-20-0.asp Witness Found OK 17.00 - 7.74 5.00 2.74 smodels 12-KnightTour 08-knight_tour-40-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 smodels 12-KnightTour 02-knight_tour-10-0.asp Witness Found OK 0.16 - 9.88 5.00 4.88 smodels 12-KnightTour 10-knight_tour-50-0.asp N/A Time out - - 0.00 0.00 0.00 smodels 12-KnightTour 07-knight_tour-30-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 smodels 13-DisjunctiveScheduling 09-disjunctive_scheduling-183-0.asp Witness Found OK 38.80 - 7.12 5.00 2.12 smodels 13-DisjunctiveScheduling 01-disjunctive_scheduling-1000-0.asp Witness Found OK 15.52 - 7.81 5.00 2.81 smodels 13-DisjunctiveScheduling 10-disjunctive_scheduling-205-0.asp Witness Found OK 40.96 - 7.08 5.00 2.08 smodels 13-DisjunctiveScheduling 03-disjunctive_scheduling-947-0.asp N/A Mem out/Fail 177.93 - 0.00 0.00 0.00 smodels 13-DisjunctiveScheduling 04-disjunctive_scheduling-959-0.asp N/A Mem out/Fail 180.23 - 0.00 0.00 0.00 smodels 13-DisjunctiveScheduling 06-disjunctive_scheduling-941-0.asp N/A Mem out/Fail 180.79 - 0.00 0.00 0.00 smodels 13-DisjunctiveScheduling 07-disjunctive_scheduling-205-0.asp Witness Found OK 41.08 - 7.08 5.00 2.08 smodels 13-DisjunctiveScheduling 08-disjunctive_scheduling-188-0.asp Witness Found OK 37.26 - 7.15 5.00 2.15 smodels 13-DisjunctiveScheduling 02-disjunctive_scheduling-941-0.asp N/A Mem out/Fail 182.18 - 0.00 0.00 0.00 smodels 13-DisjunctiveScheduling 05-disjunctive_scheduling-959-0.asp N/A Mem out/Fail 178.32 - 0.00 0.00 0.00 smodels 14-PackingProblem 46-packing-0-0.asp N/A Mem out/Fail 148.76 - 0.00 0.00 0.00 smodels 14-PackingProblem 34-packing-0-0.asp N/A Mem out/Fail 162.22 - 0.00 0.00 0.00 smodels 14-PackingProblem 18-packing-0-0.asp N/A Mem out/Fail 152.51 - 0.00 0.00 0.00 smodels 14-PackingProblem 22-packing-0-0.asp N/A Mem out/Fail 159.82 - 0.00 0.00 0.00 smodels 14-PackingProblem 8-packing-0-0.asp N/A Mem out/Fail 155.17 - 0.00 0.00 0.00 smodels 14-PackingProblem 20-packing-0-0.asp N/A Mem out/Fail 155.32 - 0.00 0.00 0.00 smodels 14-PackingProblem 10-packing-0-0.asp N/A Mem out/Fail 161.43 - 0.00 0.00 0.00 smodels 14-PackingProblem 45-packing-0-0.asp N/A Mem out/Fail 138.50 - 0.00 0.00 0.00 smodels 14-PackingProblem 9-packing-0-0.asp N/A Mem out/Fail 158.10 - 0.00 0.00 0.00 smodels 14-PackingProblem 5-packing-0-0.asp N/A Mem out/Fail 158.20 - 0.00 0.00 0.00 smodels 17-Labyrinth 028-labyrinth-12-0.asp N/A Time out - - 0.00 0.00 0.00 smodels 17-Labyrinth 045-labyrinth-13-0.asp Witness Found OK 2.46 - 9.03 5.00 4.03 smodels 17-Labyrinth 162-labyrinth-19-0.asp N/A Time out - - 0.00 0.00 0.00 smodels 17-Labyrinth 123-labyrinth-17-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 smodels 17-Labyrinth 225-labyrinth-22-0.asp N/A Time out - - 0.00 0.00 0.00 smodels 17-Labyrinth 147-labyrinth-18-0.asp N/A Time out - - 0.00 0.00 0.00 smodels 17-Labyrinth 015-labyrinth-11-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 smodels 17-Labyrinth 131-labyrinth-17-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 smodels 17-Labyrinth 003-labyrinth-11-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 smodels 17-Labyrinth 169-labyrinth-19-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 smodels 19-MultiContextSystemQuerying 56-multi_context_system_querying-0-0.asp N/A Time out - - 0.00 0.00 0.00 smodels 19-MultiContextSystemQuerying 60-multi_context_system_querying-0-0.asp N/A Time out - - 0.00 0.00 0.00 smodels 19-MultiContextSystemQuerying 32-multi_context_system_querying-0-0.asp Inconsistent OK 27.36 - 7.39 5.00 2.39 smodels 19-MultiContextSystemQuerying 00-multi_context_system_querying-0-0.asp Inconsistent OK 10.64 - 8.08 5.00 3.08 smodels 19-MultiContextSystemQuerying 20-multi_context_system_querying-0-0.asp Inconsistent OK 10.36 - 8.10 5.00 3.10 smodels 19-MultiContextSystemQuerying 64-multi_context_system_querying-0-0.asp N/A Time out - - 0.00 0.00 0.00 smodels 19-MultiContextSystemQuerying 41-multi_context_system_querying-0-0.asp Inconsistent OK 20.60 - 7.60 5.00 2.60 smodels 19-MultiContextSystemQuerying 39-multi_context_system_querying-0-0.asp Inconsistent OK 20.28 - 7.61 5.00 2.61 smodels 19-MultiContextSystemQuerying 70-multi_context_system_querying-0-0.asp Inconsistent OK 57.76 - 6.82 5.00 1.82 smodels 19-MultiContextSystemQuerying 31-multi_context_system_querying-0-0.asp Inconsistent OK 22.00 - 7.55 5.00 2.55 smodels 20-Numberlink 86-numberlink-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 smodels 20-Numberlink 94-numberlink-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 smodels 20-Numberlink 87-numberlink-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 smodels 20-Numberlink 2-numberlink-0-0.asp Witness Found OK 0.34 - 9.77 5.00 4.77 smodels 20-Numberlink 9-numberlink-0-0.asp Witness Found OK 85.35 - 6.52 5.00 1.52 smodels 20-Numberlink 48-numberlink-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 smodels 20-Numberlink 123-numberlink-0-0.asp N/A Time out - - 0.00 0.00 0.00 smodels 20-Numberlink 62-numberlink-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 smodels 20-Numberlink 32-numberlink-0-0.asp Witness Found OK 194.00 - 5.88 5.00 0.88 smodels 20-Numberlink 112-numberlink-0-0.asp Witness Found OK 462.63 - 5.20 5.00 0.20 smodels 22-HanoiTower 51-hanoi_tower-120-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 smodels 22-HanoiTower 10-hanoi_tower-29-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 smodels 22-HanoiTower 46-hanoi_tower-100-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 smodels 22-HanoiTower 57-hanoi_tower-120-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 smodels 22-HanoiTower 59-hanoi_tower-120-0.asp N/A Time out - - 0.00 0.00 0.00 smodels 22-HanoiTower 56-hanoi_tower-120-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 smodels 22-HanoiTower 09-hanoi_tower-28-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 smodels 22-HanoiTower 40-hanoi_tower-80-0.asp N/A Time out - - 0.00 0.00 0.00 smodels 22-HanoiTower 03-hanoi_tower-60-0.asp N/A Time out - - 0.00 0.00 0.00 smodels 22-HanoiTower 43-hanoi_tower-100-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 smodels 25-GraphColouring 41-graph_colouring-145-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 smodels 25-GraphColouring 58-graph_colouring-150-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 smodels 25-GraphColouring 59-graph_colouring-150-0.asp N/A Time out - - 0.00 0.00 0.00 smodels 25-GraphColouring 53-graph_colouring-150-0.asp N/A Time out - - 0.00 0.00 0.00 smodels 25-GraphColouring 60-graph_colouring-150-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 smodels 25-GraphColouring 9-graph_colouring-125-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 smodels 25-GraphColouring 12-graph_colouring-130-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 smodels 25-GraphColouring 38-graph_colouring-140-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 smodels 25-GraphColouring 6-graph_colouring-125-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 smodels 25-GraphColouring 37-graph_colouring-140-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 smodels 28-Weight-AssignmentTree 58-weight_assignment_tree-1647-0.asp N/A Mem out/Fail 186.83 - 0.00 0.00 0.00 smodels 28-Weight-AssignmentTree 43-weight_assignment_tree-645-0.asp N/A Time out - - 0.00 0.00 0.00 smodels 28-Weight-AssignmentTree 09-weight_assignment_tree-778-0.asp N/A Time out - - 0.00 0.00 0.00 smodels 28-Weight-AssignmentTree 45-weight_assignment_tree-312-0.asp N/A Time out - - 0.00 0.00 0.00 smodels 28-Weight-AssignmentTree 52-weight_assignment_tree-1777-0.asp N/A Mem out/Fail 187.73 - 0.00 0.00 0.00 smodels 28-Weight-AssignmentTree 30-weight_assignment_tree-631-0.asp N/A Time out - - 0.00 0.00 0.00 smodels 28-Weight-AssignmentTree 59-weight_assignment_tree-1595-0.asp N/A Mem out/Fail 188.44 - 0.00 0.00 0.00 smodels 28-Weight-AssignmentTree 61-weight_assignment_tree-1542-0.asp N/A Mem out/Fail 186.95 - 0.00 0.00 0.00 smodels 28-Weight-AssignmentTree 06-weight_assignment_tree-560-0.asp N/A Time out - - 0.00 0.00 0.00 smodels 28-Weight-AssignmentTree 55-weight_assignment_tree-1620-0.asp N/A Mem out/Fail 190.07 - 0.00 0.00 0.00 smodels 30-HydraulicLeaking 125-hydraulic_leaking-633-0.asp N/A Time out - - 0.00 0.00 0.00 smodels 30-HydraulicLeaking 1000-hydraulic_leaking-677-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 smodels 30-HydraulicLeaking 290-hydraulic_leaking-348-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 smodels 30-HydraulicLeaking 13-hydraulic_leaking-364-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 smodels 30-HydraulicLeaking 274-hydraulic_leaking-392-0.asp N/A Time out - - 0.00 0.00 0.00 smodels 30-HydraulicLeaking 232-hydraulic_leaking-348-0.asp Witness Found OK 502.73 - 5.14 5.00 0.14 smodels 30-HydraulicLeaking 141-hydraulic_leaking-304-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 smodels 30-HydraulicLeaking 17-hydraulic_leaking-408-0.asp N/A Time out - - 0.00 0.00 0.00 smodels 30-HydraulicLeaking 271-hydraulic_leaking-348-0.asp Witness Found OK 502.79 - 5.14 5.00 0.14 smodels 30-HydraulicLeaking 168-hydraulic_leaking-348-0.asp N/A Time out - - 0.00 0.00 0.00 smodels 31-HydraulicPlanning 109-hydraulic_planning-619-0.asp Witness Found OK 30.78 - 7.30 5.00 2.30 smodels 31-HydraulicPlanning 99-hydraulic_planning-684-0.asp Witness Found OK 40.52 - 7.09 5.00 2.09 smodels 31-HydraulicPlanning 138-hydraulic_planning-626-0.asp Witness Found OK 33.24 - 7.24 5.00 2.24 smodels 31-HydraulicPlanning 382-hydraulic_planning-624-0.asp Witness Found OK 33.04 - 7.24 5.00 2.24 smodels 31-HydraulicPlanning 106-hydraulic_planning-619-0.asp Witness Found OK 31.78 - 7.27 5.00 2.27 smodels 31-HydraulicPlanning 1000-hydraulic_planning-684-0.asp Witness Found OK 40.56 - 7.09 5.00 2.09 smodels 31-HydraulicPlanning 379-hydraulic_planning-610-0.asp Witness Found OK 29.82 - 7.32 5.00 2.32 smodels 31-HydraulicPlanning 155-hydraulic_planning-670-0.asp Witness Found OK 36.80 - 7.16 5.00 2.16 smodels 31-HydraulicPlanning 100-hydraulic_planning-728-0.asp Witness Found OK 46.73 - 6.98 5.00 1.98 smodels 31-HydraulicPlanning 101-hydraulic_planning-612-0.asp Witness Found OK 30.20 - 7.31 5.00 2.31 smodels 32-StableMarriage 12-stable_marriage-0-0.asp N/A Time out - - 0.00 0.00 0.00 smodels 32-StableMarriage 2-stable_marriage-0-0.asp N/A Mem out/Fail 154.39 - 0.00 0.00 0.00 smodels 32-StableMarriage 8-stable_marriage-0-0.asp N/A Mem out/Fail 150.09 - 0.00 0.00 0.00 smodels 32-StableMarriage 29-stable_marriage-0-0.asp N/A Mem out/Fail 149.18 - 0.00 0.00 0.00 smodels 32-StableMarriage 44-stable_marriage-0-0.asp N/A Mem out/Fail 150.84 - 0.00 0.00 0.00 smodels 32-StableMarriage 11-stable_marriage-0-0.asp N/A Mem out/Fail 150.14 - 0.00 0.00 0.00 smodels 32-StableMarriage 47-stable_marriage-0-0.asp N/A Mem out/Fail 150.52 - 0.00 0.00 0.00 smodels 32-StableMarriage 23-stable_marriage-0-0.asp N/A Mem out/Fail 150.52 - 0.00 0.00 0.00 smodels 32-StableMarriage 26-stable_marriage-0-0.asp N/A Mem out/Fail 149.43 - 0.00 0.00 0.00 smodels 32-StableMarriage 43-stable_marriage-0-0.asp N/A Mem out/Fail 149.58 - 0.00 0.00 0.00 smodels 33-MazeGeneration 14-maze_generation-0-0.asp Witness Found OK 1.40 - 9.32 5.00 4.32 smodels 33-MazeGeneration 10-maze_generation-0-0.asp Witness Found OK 8.98 - 8.20 5.00 3.20 smodels 33-MazeGeneration 22-maze_generation-0-0.asp Witness Found OK 1.76 - 9.21 5.00 4.21 smodels 33-MazeGeneration 31-maze_generation-0-0.asp Witness Found OK 1.12 - 9.41 5.00 4.41 smodels 33-MazeGeneration 47-maze_generation-0-0.asp Witness Found OK 3.54 - 8.82 5.00 3.82 smodels 33-MazeGeneration 04-maze_generation-0-0.asp Witness Found OK 0.80 - 9.54 5.00 4.54 smodels 33-MazeGeneration 42-maze_generation-0-0.asp Witness Found OK 1.72 - 9.22 5.00 4.22 smodels 33-MazeGeneration 41-maze_generation-0-0.asp Witness Found OK 2.28 - 9.07 5.00 4.07 smodels 33-MazeGeneration 26-maze_generation-0-0.asp Witness Found OK 2.32 - 9.06 5.00 4.06 smodels 33-MazeGeneration 37-maze_generation-0-0.asp Witness Found OK 50.76 - 6.92 5.00 1.92 smodels 34-PartnerUnitsPolynomial 206-partner_units_polynomial-63-0.asp N/A Time out - - 0.00 0.00 0.00 smodels 34-PartnerUnitsPolynomial 67-partner_units_polynomial-100-0.asp N/A Mem out/Fail 185.84 - 0.00 0.00 0.00 smodels 34-PartnerUnitsPolynomial 64-partner_units_polynomial-100-0.asp N/A Mem out/Fail 186.09 - 0.00 0.00 0.00 smodels 34-PartnerUnitsPolynomial 52-partner_units_polynomial-100-0.asp N/A Mem out/Fail 185.25 - 0.00 0.00 0.00 smodels 34-PartnerUnitsPolynomial 187-partner_units_polynomial-51-0.asp N/A Time out - - 0.00 0.00 0.00 smodels 34-PartnerUnitsPolynomial 60-partner_units_polynomial-100-0.asp N/A Mem out/Fail 185.37 - 0.00 0.00 0.00 smodels 34-PartnerUnitsPolynomial 175-partner_units_polynomial-75-0.asp N/A Mem out/Fail 160.99 - 0.00 0.00 0.00 smodels 34-PartnerUnitsPolynomial 57-partner_units_polynomial-100-0.asp N/A Mem out/Fail 185.55 - 0.00 0.00 0.00 smodels 34-PartnerUnitsPolynomial 127-partner_units_polynomial-100-0.asp N/A Mem out/Fail 186.01 - 0.00 0.00 0.00 smodels 34-PartnerUnitsPolynomial 41-partner_units_polynomial-79-0.asp N/A Mem out/Fail 161.48 - 0.00 0.00 0.00 lp2diffz3 28-Weight-AssignmentTree 58-weight_assignment_tree-1647-0.asp N/A Mem out/Fail 189.07 - 0.00 0.00 0.00 lp2diffz3 28-Weight-AssignmentTree 43-weight_assignment_tree-645-0.asp N/A Mem out/Fail 175.10 - 0.00 0.00 0.00 lp2diffz3 28-Weight-AssignmentTree 09-weight_assignment_tree-778-0.asp N/A Mem out/Fail 239.88 - 0.00 0.00 0.00 lp2diffz3 28-Weight-AssignmentTree 45-weight_assignment_tree-312-0.asp N/A Time out - - 0.00 0.00 0.00 lp2diffz3 28-Weight-AssignmentTree 52-weight_assignment_tree-1777-0.asp N/A Mem out/Fail 190.03 - 0.00 0.00 0.00 lp2diffz3 28-Weight-AssignmentTree 30-weight_assignment_tree-631-0.asp N/A Mem out/Fail 146.76 - 0.00 0.00 0.00 lp2diffz3 28-Weight-AssignmentTree 59-weight_assignment_tree-1595-0.asp N/A Mem out/Fail 187.97 - 0.00 0.00 0.00 lp2diffz3 28-Weight-AssignmentTree 61-weight_assignment_tree-1542-0.asp N/A Mem out/Fail 187.68 - 0.00 0.00 0.00 lp2diffz3 28-Weight-AssignmentTree 06-weight_assignment_tree-560-0.asp N/A Mem out/Fail 212.32 - 0.00 0.00 0.00 lp2diffz3 28-Weight-AssignmentTree 55-weight_assignment_tree-1620-0.asp N/A Mem out/Fail 188.43 - 0.00 0.00 0.00 lp2diffz3 02-Reachability 13-reachability-0-0.asp N/A Mem out/Fail 52.48 - 0.00 0.00 0.00 lp2diffz3 02-Reachability 14-reachability-0-0.asp N/A Mem out/Fail 69.56 - 0.00 0.00 0.00 lp2diffz3 02-Reachability 02-reachability-0-0.asp Inconsistent OK 11.26 - 8.04 5.00 3.04 lp2diffz3 02-Reachability 08-reachability-0-0.asp N/A Mem out/Fail 86.26 - 0.00 0.00 0.00 lp2diffz3 02-Reachability 07-reachability-0-0.asp Inconsistent OK 96.24 - 6.42 5.00 1.42 lp2diffz3 02-Reachability 03-reachability-0-0.asp Inconsistent OK 591.78 - 5.01 5.00 0.01 lp2diffz3 02-Reachability 09-reachability-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2diffz3 02-Reachability 15-reachability-0-0.asp N/A Mem out/Fail 52.42 - 0.00 0.00 0.00 lp2diffz3 02-Reachability 01-reachability-0-0.asp Inconsistent OK 7.10 - 8.37 5.00 3.37 lp2diffz3 02-Reachability 06-reachability-0-0.asp Inconsistent OK 44.98 - 7.01 5.00 2.01 lp2diffz3 06-Grammar-BasedInformationExtraction 03-grammar_based_information_extraction-797206-0.asp Inconsistent OK 38.18 - 7.13 5.00 2.13 lp2diffz3 06-Grammar-BasedInformationExtraction 06-grammar_based_information_extraction-1359311-0.asp Witness Found OK 81.28 - 6.55 5.00 1.55 lp2diffz3 06-Grammar-BasedInformationExtraction 04-grammar_based_information_extraction-1256479-0.asp Witness Found OK 81.16 - 6.55 5.00 1.55 lp2diffz3 06-Grammar-BasedInformationExtraction 09-grammar_based_information_extraction-1479675-0.asp Witness Found OK 85.36 - 6.52 5.00 1.52 lp2diffz3 06-Grammar-BasedInformationExtraction 07-grammar_based_information_extraction-1284391-0.asp Witness Found OK 118.48 - 6.26 5.00 1.26 lp2diffz3 06-Grammar-BasedInformationExtraction 08-grammar_based_information_extraction-1412644-0.asp Witness Found OK 129.39 - 6.19 5.00 1.19 lp2diffz3 06-Grammar-BasedInformationExtraction 10-grammar_based_information_extraction-1088505-0.asp Witness Found OK 105.20 - 6.35 5.00 1.35 lp2diffz3 06-Grammar-BasedInformationExtraction 02-grammar_based_information_extraction-1290780-0.asp Witness Found OK 88.74 - 6.49 5.00 1.49 lp2diffz3 06-Grammar-BasedInformationExtraction 01-grammar_based_information_extraction-1305896-0.asp Inconsistent OK 31.90 - 7.27 5.00 2.27 lp2diffz3 06-Grammar-BasedInformationExtraction 05-grammar_based_information_extraction-1136348-0.asp Inconsistent OK 53.38 - 6.88 5.00 1.88 lp2diffz3 10-SokobanDecision 12-sokoban_decision-0-0.asp Witness Found OK 71.86 - 6.65 5.00 1.65 lp2diffz3 10-SokobanDecision 4-sokoban_decision-0-0.asp Inconsistent OK 21.28 - 7.57 5.00 2.57 lp2diffz3 10-SokobanDecision 49-sokoban_decision-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2diffz3 10-SokobanDecision 42-sokoban_decision-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2diffz3 10-SokobanDecision 7-sokoban_decision-0-0.asp Inconsistent OK 36.35 - 7.17 5.00 2.17 lp2diffz3 10-SokobanDecision 17-sokoban_decision-0-0.asp Witness Found OK 139.43 - 6.14 5.00 1.14 lp2diffz3 10-SokobanDecision 48-sokoban_decision-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2diffz3 10-SokobanDecision 16-sokoban_decision-0-0.asp Inconsistent OK 40.74 - 7.08 5.00 2.08 lp2diffz3 10-SokobanDecision 6-sokoban_decision-0-0.asp Inconsistent OK 19.22 - 7.65 5.00 2.65 lp2diffz3 10-SokobanDecision 50-sokoban_decision-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2diffz3 12-KnightTour 01-knight_tour-8-0.asp Witness Found OK 0.78 - 9.55 5.00 4.55 lp2diffz3 12-KnightTour 05-knight_tour-16-0.asp Witness Found OK 24.28 - 7.48 5.00 2.48 lp2diffz3 12-KnightTour 04-knight_tour-14-0.asp Witness Found OK 9.24 - 8.18 5.00 3.18 lp2diffz3 12-KnightTour 09-knight_tour-46-0.asp N/A Time out - - 0.00 0.00 0.00 lp2diffz3 12-KnightTour 03-knight_tour-12-0.asp Witness Found OK 5.44 - 8.54 5.00 3.54 lp2diffz3 12-KnightTour 06-knight_tour-20-0.asp Witness Found OK 47.52 - 6.97 5.00 1.97 lp2diffz3 12-KnightTour 08-knight_tour-40-0.asp N/A Time out - - 0.00 0.00 0.00 lp2diffz3 12-KnightTour 02-knight_tour-10-0.asp Witness Found OK 1.84 - 9.18 5.00 4.18 lp2diffz3 12-KnightTour 10-knight_tour-50-0.asp N/A Time out - - 0.00 0.00 0.00 lp2diffz3 12-KnightTour 07-knight_tour-30-0.asp Witness Found OK 470.14 - 5.19 5.00 0.19 lp2diffz3 13-DisjunctiveScheduling 09-disjunctive_scheduling-183-0.asp N/A Mem out/Fail 102.80 - 0.00 0.00 0.00 lp2diffz3 13-DisjunctiveScheduling 01-disjunctive_scheduling-1000-0.asp N/A Time out - - 0.00 0.00 0.00 lp2diffz3 13-DisjunctiveScheduling 10-disjunctive_scheduling-205-0.asp N/A Mem out/Fail 110.52 - 0.00 0.00 0.00 lp2diffz3 13-DisjunctiveScheduling 03-disjunctive_scheduling-947-0.asp N/A Mem out/Fail 180.73 - 0.00 0.00 0.00 lp2diffz3 13-DisjunctiveScheduling 04-disjunctive_scheduling-959-0.asp N/A Mem out/Fail 180.30 - 0.00 0.00 0.00 lp2diffz3 13-DisjunctiveScheduling 06-disjunctive_scheduling-941-0.asp N/A Mem out/Fail 181.47 - 0.00 0.00 0.00 lp2diffz3 13-DisjunctiveScheduling 07-disjunctive_scheduling-205-0.asp N/A Mem out/Fail 109.54 - 0.00 0.00 0.00 lp2diffz3 13-DisjunctiveScheduling 08-disjunctive_scheduling-188-0.asp N/A Mem out/Fail 100.10 - 0.00 0.00 0.00 lp2diffz3 13-DisjunctiveScheduling 02-disjunctive_scheduling-941-0.asp N/A Mem out/Fail 183.47 - 0.00 0.00 0.00 lp2diffz3 13-DisjunctiveScheduling 05-disjunctive_scheduling-959-0.asp N/A Mem out/Fail 179.21 - 0.00 0.00 0.00 lp2diffz3 14-PackingProblem 46-packing-0-0.asp N/A Mem out/Fail 153.72 - 0.00 0.00 0.00 lp2diffz3 14-PackingProblem 34-packing-0-0.asp N/A Mem out/Fail 163.71 - 0.00 0.00 0.00 lp2diffz3 14-PackingProblem 18-packing-0-0.asp N/A Mem out/Fail 153.04 - 0.00 0.00 0.00 lp2diffz3 14-PackingProblem 22-packing-0-0.asp N/A Mem out/Fail 160.92 - 0.00 0.00 0.00 lp2diffz3 14-PackingProblem 8-packing-0-0.asp N/A Mem out/Fail 155.94 - 0.00 0.00 0.00 lp2diffz3 14-PackingProblem 20-packing-0-0.asp N/A Mem out/Fail 156.21 - 0.00 0.00 0.00 lp2diffz3 14-PackingProblem 10-packing-0-0.asp N/A Mem out/Fail 160.75 - 0.00 0.00 0.00 lp2diffz3 14-PackingProblem 45-packing-0-0.asp N/A Mem out/Fail 139.57 - 0.00 0.00 0.00 lp2diffz3 14-PackingProblem 9-packing-0-0.asp N/A Mem out/Fail 159.32 - 0.00 0.00 0.00 lp2diffz3 14-PackingProblem 5-packing-0-0.asp N/A Mem out/Fail 156.64 - 0.00 0.00 0.00 lp2diffz3 17-Labyrinth 028-labyrinth-12-0.asp N/A Time out - - 0.00 0.00 0.00 lp2diffz3 17-Labyrinth 045-labyrinth-13-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2diffz3 17-Labyrinth 162-labyrinth-19-0.asp N/A Time out - - 0.00 0.00 0.00 lp2diffz3 17-Labyrinth 123-labyrinth-17-0.asp N/A Time out - - 0.00 0.00 0.00 lp2diffz3 17-Labyrinth 225-labyrinth-22-0.asp N/A Time out - - 0.00 0.00 0.00 lp2diffz3 17-Labyrinth 147-labyrinth-18-0.asp N/A Time out - - 0.00 0.00 0.00 lp2diffz3 17-Labyrinth 015-labyrinth-11-0.asp N/A Time out - - 0.00 0.00 0.00 lp2diffz3 17-Labyrinth 131-labyrinth-17-0.asp N/A Time out - - 0.00 0.00 0.00 lp2diffz3 17-Labyrinth 003-labyrinth-11-0.asp N/A Time out - - 0.00 0.00 0.00 lp2diffz3 17-Labyrinth 169-labyrinth-19-0.asp N/A Time out - - 0.00 0.00 0.00 lp2diffz3 19-MultiContextSystemQuerying 56-multi_context_system_querying-0-0.asp Inconsistent OK 142.15 - 6.12 5.00 1.12 lp2diffz3 19-MultiContextSystemQuerying 60-multi_context_system_querying-0-0.asp Inconsistent OK 104.17 - 6.36 5.00 1.36 lp2diffz3 19-MultiContextSystemQuerying 32-multi_context_system_querying-0-0.asp Inconsistent OK 38.88 - 7.12 5.00 2.12 lp2diffz3 19-MultiContextSystemQuerying 00-multi_context_system_querying-0-0.asp Inconsistent OK 10.36 - 8.10 5.00 3.10 lp2diffz3 19-MultiContextSystemQuerying 20-multi_context_system_querying-0-0.asp Inconsistent OK 10.56 - 8.09 5.00 3.09 lp2diffz3 19-MultiContextSystemQuerying 64-multi_context_system_querying-0-0.asp Inconsistent OK 134.94 - 6.16 5.00 1.16 lp2diffz3 19-MultiContextSystemQuerying 41-multi_context_system_querying-0-0.asp Inconsistent OK 20.94 - 7.59 5.00 2.59 lp2diffz3 19-MultiContextSystemQuerying 39-multi_context_system_querying-0-0.asp Inconsistent OK 20.44 - 7.60 5.00 2.60 lp2diffz3 19-MultiContextSystemQuerying 70-multi_context_system_querying-0-0.asp Inconsistent OK 140.51 - 6.13 5.00 1.13 lp2diffz3 19-MultiContextSystemQuerying 31-multi_context_system_querying-0-0.asp Inconsistent OK 38.24 - 7.13 5.00 2.13 lp2diffz3 20-Numberlink 86-numberlink-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2diffz3 20-Numberlink 94-numberlink-0-0.asp Witness Found OK 105.90 - 6.35 5.00 1.35 lp2diffz3 20-Numberlink 87-numberlink-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2diffz3 20-Numberlink 2-numberlink-0-0.asp Witness Found OK 0.86 - 9.52 5.00 4.52 lp2diffz3 20-Numberlink 9-numberlink-0-0.asp Witness Found OK 4.60 - 8.65 5.00 3.65 lp2diffz3 20-Numberlink 48-numberlink-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2diffz3 20-Numberlink 123-numberlink-0-0.asp Witness Found OK 18.84 - 7.67 5.00 2.67 lp2diffz3 20-Numberlink 62-numberlink-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2diffz3 20-Numberlink 32-numberlink-0-0.asp Witness Found OK 424.76 - 5.27 5.00 0.27 lp2diffz3 20-Numberlink 112-numberlink-0-0.asp Witness Found OK 17.24 - 7.73 5.00 2.73 lp2diffz3 22-HanoiTower 51-hanoi_tower-120-0.asp Witness Found OK 153.55 - 6.06 5.00 1.06 lp2diffz3 22-HanoiTower 10-hanoi_tower-29-0.asp Witness Found OK 30.42 - 7.31 5.00 2.31 lp2diffz3 22-HanoiTower 46-hanoi_tower-100-0.asp Witness Found OK 76.43 - 6.60 5.00 1.60 lp2diffz3 22-HanoiTower 57-hanoi_tower-120-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2diffz3 22-HanoiTower 59-hanoi_tower-120-0.asp N/A Time out - - 0.00 0.00 0.00 lp2diffz3 22-HanoiTower 56-hanoi_tower-120-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2diffz3 22-HanoiTower 09-hanoi_tower-28-0.asp Witness Found OK 29.20 - 7.34 5.00 2.34 lp2diffz3 22-HanoiTower 40-hanoi_tower-80-0.asp Witness Found OK 81.75 - 6.55 5.00 1.55 lp2diffz3 22-HanoiTower 03-hanoi_tower-60-0.asp Witness Found OK 372.41 - 5.37 5.00 0.37 lp2diffz3 22-HanoiTower 43-hanoi_tower-100-0.asp Witness Found OK 27.42 - 7.38 5.00 2.38 lp2diffz3 25-GraphColouring 41-graph_colouring-145-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2diffz3 25-GraphColouring 58-graph_colouring-150-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2diffz3 25-GraphColouring 59-graph_colouring-150-0.asp N/A Time out - - 0.00 0.00 0.00 lp2diffz3 25-GraphColouring 53-graph_colouring-150-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2diffz3 25-GraphColouring 60-graph_colouring-150-0.asp Inconsistent OK 484.03 - 5.17 5.00 0.17 lp2diffz3 25-GraphColouring 9-graph_colouring-125-0.asp Witness Found OK 3.54 - 8.82 5.00 3.82 lp2diffz3 25-GraphColouring 12-graph_colouring-130-0.asp Witness Found OK 420.83 - 5.28 5.00 0.28 lp2diffz3 25-GraphColouring 38-graph_colouring-140-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2diffz3 25-GraphColouring 6-graph_colouring-125-0.asp Witness Found OK 26.64 - 7.41 5.00 2.41 lp2diffz3 25-GraphColouring 37-graph_colouring-140-0.asp N/A Time out - - 0.00 0.00 0.00 lp2diffz3 30-HydraulicLeaking 125-hydraulic_leaking-633-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2diffz3 30-HydraulicLeaking 1000-hydraulic_leaking-677-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2diffz3 30-HydraulicLeaking 290-hydraulic_leaking-348-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2diffz3 30-HydraulicLeaking 13-hydraulic_leaking-364-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2diffz3 30-HydraulicLeaking 274-hydraulic_leaking-392-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2diffz3 30-HydraulicLeaking 232-hydraulic_leaking-348-0.asp Witness Found OK 568.33 - 5.04 5.00 0.04 lp2diffz3 30-HydraulicLeaking 141-hydraulic_leaking-304-0.asp N/A Time out - - 0.00 0.00 0.00 lp2diffz3 30-HydraulicLeaking 17-hydraulic_leaking-408-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2diffz3 30-HydraulicLeaking 271-hydraulic_leaking-348-0.asp Witness Found OK 564.31 - 5.05 5.00 0.05 lp2diffz3 30-HydraulicLeaking 168-hydraulic_leaking-348-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2diffz3 31-HydraulicPlanning 109-hydraulic_planning-619-0.asp Witness Found OK 58.26 - 6.81 5.00 1.81 lp2diffz3 31-HydraulicPlanning 99-hydraulic_planning-684-0.asp Witness Found OK 73.34 - 6.63 5.00 1.63 lp2diffz3 31-HydraulicPlanning 138-hydraulic_planning-626-0.asp Witness Found OK 61.98 - 6.76 5.00 1.76 lp2diffz3 31-HydraulicPlanning 382-hydraulic_planning-624-0.asp Witness Found OK 61.44 - 6.77 5.00 1.77 lp2diffz3 31-HydraulicPlanning 106-hydraulic_planning-619-0.asp Witness Found OK 60.02 - 6.79 5.00 1.79 lp2diffz3 31-HydraulicPlanning 1000-hydraulic_planning-684-0.asp Witness Found OK 73.06 - 6.64 5.00 1.64 lp2diffz3 31-HydraulicPlanning 379-hydraulic_planning-610-0.asp Witness Found OK 56.88 - 6.83 5.00 1.83 lp2diffz3 31-HydraulicPlanning 155-hydraulic_planning-670-0.asp Witness Found OK 67.08 - 6.70 5.00 1.70 lp2diffz3 31-HydraulicPlanning 100-hydraulic_planning-728-0.asp Witness Found OK 79.00 - 6.58 5.00 1.58 lp2diffz3 31-HydraulicPlanning 101-hydraulic_planning-612-0.asp Witness Found OK 57.10 - 6.83 5.00 1.83 lp2diffz3 32-StableMarriage 12-stable_marriage-0-0.asp N/A Mem out/Fail 235.68 - 0.00 0.00 0.00 lp2diffz3 32-StableMarriage 2-stable_marriage-0-0.asp N/A Mem out/Fail 152.07 - 0.00 0.00 0.00 lp2diffz3 32-StableMarriage 8-stable_marriage-0-0.asp N/A Mem out/Fail 150.30 - 0.00 0.00 0.00 lp2diffz3 32-StableMarriage 29-stable_marriage-0-0.asp N/A Mem out/Fail 150.01 - 0.00 0.00 0.00 lp2diffz3 32-StableMarriage 44-stable_marriage-0-0.asp N/A Mem out/Fail 150.35 - 0.00 0.00 0.00 lp2diffz3 32-StableMarriage 11-stable_marriage-0-0.asp N/A Mem out/Fail 150.79 - 0.00 0.00 0.00 lp2diffz3 32-StableMarriage 47-stable_marriage-0-0.asp N/A Mem out/Fail 150.15 - 0.00 0.00 0.00 lp2diffz3 32-StableMarriage 23-stable_marriage-0-0.asp N/A Mem out/Fail 150.53 - 0.00 0.00 0.00 lp2diffz3 32-StableMarriage 26-stable_marriage-0-0.asp N/A Mem out/Fail 149.74 - 0.00 0.00 0.00 lp2diffz3 32-StableMarriage 43-stable_marriage-0-0.asp N/A Mem out/Fail 149.83 - 0.00 0.00 0.00 lp2diffz3 33-MazeGeneration 14-maze_generation-0-0.asp Witness Found OK 6.82 - 8.39 5.00 3.39 lp2diffz3 33-MazeGeneration 10-maze_generation-0-0.asp Witness Found OK 12.76 - 7.95 5.00 2.95 lp2diffz3 33-MazeGeneration 22-maze_generation-0-0.asp Witness Found OK 5.52 - 8.53 5.00 3.53 lp2diffz3 33-MazeGeneration 31-maze_generation-0-0.asp Witness Found OK 6.44 - 8.43 5.00 3.43 lp2diffz3 33-MazeGeneration 47-maze_generation-0-0.asp Witness Found OK 16.88 - 7.75 5.00 2.75 lp2diffz3 33-MazeGeneration 04-maze_generation-0-0.asp Witness Found OK 2.06 - 9.13 5.00 4.13 lp2diffz3 33-MazeGeneration 42-maze_generation-0-0.asp Witness Found OK 10.28 - 8.11 5.00 3.11 lp2diffz3 33-MazeGeneration 41-maze_generation-0-0.asp Witness Found OK 11.16 - 8.05 5.00 3.05 lp2diffz3 33-MazeGeneration 26-maze_generation-0-0.asp Witness Found OK 7.32 - 8.34 5.00 3.34 lp2diffz3 33-MazeGeneration 37-maze_generation-0-0.asp Witness Found OK 10.48 - 8.09 5.00 3.09 lp2diffz3 34-PartnerUnitsPolynomial 206-partner_units_polynomial-63-0.asp N/A Mem out/Fail 248.47 - 0.00 0.00 0.00 lp2diffz3 34-PartnerUnitsPolynomial 67-partner_units_polynomial-100-0.asp N/A Mem out/Fail 187.01 - 0.00 0.00 0.00 lp2diffz3 34-PartnerUnitsPolynomial 64-partner_units_polynomial-100-0.asp N/A Mem out/Fail 186.45 - 0.00 0.00 0.00 lp2diffz3 34-PartnerUnitsPolynomial 52-partner_units_polynomial-100-0.asp N/A Mem out/Fail 186.44 - 0.00 0.00 0.00 lp2diffz3 34-PartnerUnitsPolynomial 187-partner_units_polynomial-51-0.asp N/A Mem out/Fail 162.25 - 0.00 0.00 0.00 lp2diffz3 34-PartnerUnitsPolynomial 60-partner_units_polynomial-100-0.asp N/A Mem out/Fail 187.93 - 0.00 0.00 0.00 lp2diffz3 34-PartnerUnitsPolynomial 175-partner_units_polynomial-75-0.asp N/A Mem out/Fail 162.12 - 0.00 0.00 0.00 lp2diffz3 34-PartnerUnitsPolynomial 57-partner_units_polynomial-100-0.asp N/A Mem out/Fail 186.46 - 0.00 0.00 0.00 lp2diffz3 34-PartnerUnitsPolynomial 127-partner_units_polynomial-100-0.asp N/A Mem out/Fail 186.72 - 0.00 0.00 0.00 lp2diffz3 34-PartnerUnitsPolynomial 41-partner_units_polynomial-79-0.asp N/A Mem out/Fail 161.76 - 0.00 0.00 0.00 lp2sat2lminisat 02-Reachability 13-reachability-0-0.asp N/A Mem out/Fail 52.18 - 0.00 0.00 0.00 lp2sat2lminisat 02-Reachability 14-reachability-0-0.asp N/A Mem out/Fail 67.89 - 0.00 0.00 0.00 lp2sat2lminisat 02-Reachability 02-reachability-0-0.asp Inconsistent OK 12.78 - 7.95 5.00 2.95 lp2sat2lminisat 02-Reachability 08-reachability-0-0.asp N/A Mem out/Fail 95.09 - 0.00 0.00 0.00 lp2sat2lminisat 02-Reachability 07-reachability-0-0.asp N/A Mem out/Fail 68.77 - 0.00 0.00 0.00 lp2sat2lminisat 02-Reachability 03-reachability-0-0.asp Inconsistent OK 593.98 - 5.01 5.00 0.01 lp2sat2lminisat 02-Reachability 09-reachability-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2lminisat 02-Reachability 15-reachability-0-0.asp N/A Mem out/Fail 53.92 - 0.00 0.00 0.00 lp2sat2lminisat 02-Reachability 01-reachability-0-0.asp Inconsistent OK 7.18 - 8.36 5.00 3.36 lp2sat2lminisat 02-Reachability 06-reachability-0-0.asp Inconsistent OK 45.74 - 7.00 5.00 2.00 lp2sat2lminisat 06-Grammar-BasedInformationExtraction 03-grammar_based_information_extraction-797206-0.asp Inconsistent OK 39.10 - 7.12 5.00 2.12 lp2sat2lminisat 06-Grammar-BasedInformationExtraction 06-grammar_based_information_extraction-1359311-0.asp Witness Found OK 80.78 - 6.56 5.00 1.56 lp2sat2lminisat 06-Grammar-BasedInformationExtraction 04-grammar_based_information_extraction-1256479-0.asp Witness Found OK 80.18 - 6.56 5.00 1.56 lp2sat2lminisat 06-Grammar-BasedInformationExtraction 09-grammar_based_information_extraction-1479675-0.asp Witness Found OK 84.40 - 6.52 5.00 1.52 lp2sat2lminisat 06-Grammar-BasedInformationExtraction 07-grammar_based_information_extraction-1284391-0.asp Witness Found OK 117.19 - 6.27 5.00 1.27 lp2sat2lminisat 06-Grammar-BasedInformationExtraction 08-grammar_based_information_extraction-1412644-0.asp Witness Found OK 127.47 - 6.21 5.00 1.21 lp2sat2lminisat 06-Grammar-BasedInformationExtraction 10-grammar_based_information_extraction-1088505-0.asp Witness Found OK 104.74 - 6.36 5.00 1.36 lp2sat2lminisat 06-Grammar-BasedInformationExtraction 02-grammar_based_information_extraction-1290780-0.asp Witness Found OK 87.58 - 6.50 5.00 1.50 lp2sat2lminisat 06-Grammar-BasedInformationExtraction 01-grammar_based_information_extraction-1305896-0.asp Inconsistent OK 31.88 - 7.27 5.00 2.27 lp2sat2lminisat 06-Grammar-BasedInformationExtraction 05-grammar_based_information_extraction-1136348-0.asp Inconsistent OK 51.96 - 6.90 5.00 1.90 lp2sat2lminisat 10-SokobanDecision 12-sokoban_decision-0-0.asp Witness Found OK 128.73 - 6.20 5.00 1.20 lp2sat2lminisat 10-SokobanDecision 4-sokoban_decision-0-0.asp Inconsistent OK 159.52 - 6.03 5.00 1.03 lp2sat2lminisat 10-SokobanDecision 49-sokoban_decision-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2lminisat 10-SokobanDecision 42-sokoban_decision-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2lminisat 10-SokobanDecision 7-sokoban_decision-0-0.asp Inconsistent OK 308.98 - 5.52 5.00 0.52 lp2sat2lminisat 10-SokobanDecision 17-sokoban_decision-0-0.asp Witness Found OK 329.92 - 5.47 5.00 0.47 lp2sat2lminisat 10-SokobanDecision 48-sokoban_decision-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2lminisat 10-SokobanDecision 16-sokoban_decision-0-0.asp Inconsistent OK 187.85 - 5.90 5.00 0.90 lp2sat2lminisat 10-SokobanDecision 6-sokoban_decision-0-0.asp Inconsistent OK 160.62 - 6.03 5.00 1.03 lp2sat2lminisat 10-SokobanDecision 50-sokoban_decision-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2lminisat 12-KnightTour 01-knight_tour-8-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2lminisat 12-KnightTour 05-knight_tour-16-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2sat2lminisat 12-KnightTour 04-knight_tour-14-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2sat2lminisat 12-KnightTour 09-knight_tour-46-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2lminisat 12-KnightTour 03-knight_tour-12-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2sat2lminisat 12-KnightTour 06-knight_tour-20-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2sat2lminisat 12-KnightTour 08-knight_tour-40-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2lminisat 12-KnightTour 02-knight_tour-10-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2sat2lminisat 12-KnightTour 10-knight_tour-50-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2lminisat 12-KnightTour 07-knight_tour-30-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2lminisat 13-DisjunctiveScheduling 09-disjunctive_scheduling-183-0.asp Witness Found OK 132.90 - 6.17 5.00 1.17 lp2sat2lminisat 13-DisjunctiveScheduling 01-disjunctive_scheduling-1000-0.asp Witness Found OK 51.18 - 6.91 5.00 1.91 lp2sat2lminisat 13-DisjunctiveScheduling 10-disjunctive_scheduling-205-0.asp Witness Found OK 139.90 - 6.13 5.00 1.13 lp2sat2lminisat 13-DisjunctiveScheduling 03-disjunctive_scheduling-947-0.asp N/A Mem out/Fail 180.40 - 0.00 0.00 0.00 lp2sat2lminisat 13-DisjunctiveScheduling 04-disjunctive_scheduling-959-0.asp N/A Mem out/Fail 181.94 - 0.00 0.00 0.00 lp2sat2lminisat 13-DisjunctiveScheduling 06-disjunctive_scheduling-941-0.asp N/A Mem out/Fail 183.35 - 0.00 0.00 0.00 lp2sat2lminisat 13-DisjunctiveScheduling 07-disjunctive_scheduling-205-0.asp Witness Found OK 140.22 - 6.13 5.00 1.13 lp2sat2lminisat 13-DisjunctiveScheduling 08-disjunctive_scheduling-188-0.asp Witness Found OK 127.60 - 6.20 5.00 1.20 lp2sat2lminisat 13-DisjunctiveScheduling 02-disjunctive_scheduling-941-0.asp N/A Mem out/Fail 183.21 - 0.00 0.00 0.00 lp2sat2lminisat 13-DisjunctiveScheduling 05-disjunctive_scheduling-959-0.asp N/A Mem out/Fail 181.06 - 0.00 0.00 0.00 lp2sat2lminisat 14-PackingProblem 46-packing-0-0.asp N/A Mem out/Fail 149.58 - 0.00 0.00 0.00 lp2sat2lminisat 14-PackingProblem 34-packing-0-0.asp N/A Mem out/Fail 163.09 - 0.00 0.00 0.00 lp2sat2lminisat 14-PackingProblem 18-packing-0-0.asp N/A Mem out/Fail 153.08 - 0.00 0.00 0.00 lp2sat2lminisat 14-PackingProblem 22-packing-0-0.asp N/A Mem out/Fail 159.69 - 0.00 0.00 0.00 lp2sat2lminisat 14-PackingProblem 8-packing-0-0.asp N/A Mem out/Fail 156.17 - 0.00 0.00 0.00 lp2sat2lminisat 14-PackingProblem 20-packing-0-0.asp N/A Mem out/Fail 156.60 - 0.00 0.00 0.00 lp2sat2lminisat 14-PackingProblem 10-packing-0-0.asp N/A Mem out/Fail 160.53 - 0.00 0.00 0.00 lp2sat2lminisat 14-PackingProblem 45-packing-0-0.asp N/A Mem out/Fail 139.32 - 0.00 0.00 0.00 lp2sat2lminisat 14-PackingProblem 9-packing-0-0.asp N/A Mem out/Fail 159.14 - 0.00 0.00 0.00 lp2sat2lminisat 14-PackingProblem 5-packing-0-0.asp N/A Mem out/Fail 157.01 - 0.00 0.00 0.00 lp2sat2lminisat 17-Labyrinth 028-labyrinth-12-0.asp Witness Found OK 40.89 - 7.08 5.00 2.08 lp2sat2lminisat 17-Labyrinth 045-labyrinth-13-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2lminisat 17-Labyrinth 162-labyrinth-19-0.asp Witness Found OK 364.50 - 5.39 5.00 0.39 lp2sat2lminisat 17-Labyrinth 123-labyrinth-17-0.asp Witness Found OK 52.55 - 6.89 5.00 1.89 lp2sat2lminisat 17-Labyrinth 225-labyrinth-22-0.asp Witness Found OK 121.41 - 6.24 5.00 1.24 lp2sat2lminisat 17-Labyrinth 147-labyrinth-18-0.asp Witness Found OK 516.83 - 5.12 5.00 0.12 lp2sat2lminisat 17-Labyrinth 015-labyrinth-11-0.asp Witness Found OK 50.31 - 6.92 5.00 1.92 lp2sat2lminisat 17-Labyrinth 131-labyrinth-17-0.asp Witness Found OK 17.84 - 7.71 5.00 2.71 lp2sat2lminisat 17-Labyrinth 003-labyrinth-11-0.asp Witness Found OK 18.40 - 7.68 5.00 2.68 lp2sat2lminisat 17-Labyrinth 169-labyrinth-19-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2lminisat 19-MultiContextSystemQuerying 56-multi_context_system_querying-0-0.asp Inconsistent OK 86.90 - 6.50 5.00 1.50 lp2sat2lminisat 19-MultiContextSystemQuerying 60-multi_context_system_querying-0-0.asp Inconsistent OK 88.68 - 6.49 5.00 1.49 lp2sat2lminisat 19-MultiContextSystemQuerying 32-multi_context_system_querying-0-0.asp Inconsistent OK 40.51 - 7.09 5.00 2.09 lp2sat2lminisat 19-MultiContextSystemQuerying 00-multi_context_system_querying-0-0.asp Inconsistent OK 10.58 - 8.09 5.00 3.09 lp2sat2lminisat 19-MultiContextSystemQuerying 20-multi_context_system_querying-0-0.asp Inconsistent OK 10.50 - 8.09 5.00 3.09 lp2sat2lminisat 19-MultiContextSystemQuerying 64-multi_context_system_querying-0-0.asp Inconsistent OK 123.79 - 6.23 5.00 1.23 lp2sat2lminisat 19-MultiContextSystemQuerying 41-multi_context_system_querying-0-0.asp Inconsistent OK 20.62 - 7.60 5.00 2.60 lp2sat2lminisat 19-MultiContextSystemQuerying 39-multi_context_system_querying-0-0.asp Inconsistent OK 20.62 - 7.60 5.00 2.60 lp2sat2lminisat 19-MultiContextSystemQuerying 70-multi_context_system_querying-0-0.asp Inconsistent OK 121.04 - 6.25 5.00 1.25 lp2sat2lminisat 19-MultiContextSystemQuerying 31-multi_context_system_querying-0-0.asp Inconsistent OK 40.02 - 7.10 5.00 2.10 lp2sat2lminisat 20-Numberlink 86-numberlink-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2lminisat 20-Numberlink 94-numberlink-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2lminisat 20-Numberlink 87-numberlink-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2lminisat 20-Numberlink 2-numberlink-0-0.asp Witness Found OK 2.06 - 9.13 5.00 4.13 lp2sat2lminisat 20-Numberlink 9-numberlink-0-0.asp Witness Found OK 15.20 - 7.82 5.00 2.82 lp2sat2lminisat 20-Numberlink 48-numberlink-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2lminisat 20-Numberlink 123-numberlink-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2sat2lminisat 20-Numberlink 62-numberlink-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2lminisat 20-Numberlink 32-numberlink-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2lminisat 20-Numberlink 112-numberlink-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2lminisat 22-HanoiTower 51-hanoi_tower-120-0.asp Witness Found OK 126.25 - 6.21 5.00 1.21 lp2sat2lminisat 22-HanoiTower 10-hanoi_tower-29-0.asp Witness Found OK 21.98 - 7.55 5.00 2.55 lp2sat2lminisat 22-HanoiTower 46-hanoi_tower-100-0.asp Witness Found OK 276.16 - 5.60 5.00 0.60 lp2sat2lminisat 22-HanoiTower 57-hanoi_tower-120-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2lminisat 22-HanoiTower 59-hanoi_tower-120-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2sat2lminisat 22-HanoiTower 56-hanoi_tower-120-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2lminisat 22-HanoiTower 09-hanoi_tower-28-0.asp Witness Found OK 45.03 - 7.01 5.00 2.01 lp2sat2lminisat 22-HanoiTower 40-hanoi_tower-80-0.asp Witness Found OK 230.90 - 5.74 5.00 0.74 lp2sat2lminisat 22-HanoiTower 03-hanoi_tower-60-0.asp Witness Found OK 23.76 - 7.49 5.00 2.49 lp2sat2lminisat 22-HanoiTower 43-hanoi_tower-100-0.asp Witness Found OK 46.95 - 6.98 5.00 1.98 lp2sat2lminisat 25-GraphColouring 41-graph_colouring-145-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2sat2lminisat 25-GraphColouring 58-graph_colouring-150-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2sat2lminisat 25-GraphColouring 59-graph_colouring-150-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2sat2lminisat 25-GraphColouring 53-graph_colouring-150-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2sat2lminisat 25-GraphColouring 60-graph_colouring-150-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2lminisat 25-GraphColouring 9-graph_colouring-125-0.asp Witness Found OK 0.92 - 9.49 5.00 4.49 lp2sat2lminisat 25-GraphColouring 12-graph_colouring-130-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2sat2lminisat 25-GraphColouring 38-graph_colouring-140-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2lminisat 25-GraphColouring 6-graph_colouring-125-0.asp Witness Found OK 39.93 - 7.10 5.00 2.10 lp2sat2lminisat 25-GraphColouring 37-graph_colouring-140-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2lminisat 30-HydraulicLeaking 125-hydraulic_leaking-633-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2lminisat 30-HydraulicLeaking 1000-hydraulic_leaking-677-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2sat2lminisat 30-HydraulicLeaking 290-hydraulic_leaking-348-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2sat2lminisat 30-HydraulicLeaking 13-hydraulic_leaking-364-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2lminisat 30-HydraulicLeaking 274-hydraulic_leaking-392-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2sat2lminisat 30-HydraulicLeaking 232-hydraulic_leaking-348-0.asp Witness Found OK 567.63 - 5.04 5.00 0.04 lp2sat2lminisat 30-HydraulicLeaking 141-hydraulic_leaking-304-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2sat2lminisat 30-HydraulicLeaking 17-hydraulic_leaking-408-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2sat2lminisat 30-HydraulicLeaking 271-hydraulic_leaking-348-0.asp Witness Found OK 570.71 - 5.04 5.00 0.04 lp2sat2lminisat 30-HydraulicLeaking 168-hydraulic_leaking-348-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2lminisat 31-HydraulicPlanning 109-hydraulic_planning-619-0.asp Witness Found OK 56.88 - 6.83 5.00 1.83 lp2sat2lminisat 31-HydraulicPlanning 99-hydraulic_planning-684-0.asp Witness Found OK 73.16 - 6.64 5.00 1.64 lp2sat2lminisat 31-HydraulicPlanning 138-hydraulic_planning-626-0.asp Witness Found OK 61.70 - 6.77 5.00 1.77 lp2sat2lminisat 31-HydraulicPlanning 382-hydraulic_planning-624-0.asp Witness Found OK 61.18 - 6.77 5.00 1.77 lp2sat2lminisat 31-HydraulicPlanning 106-hydraulic_planning-619-0.asp Witness Found OK 58.46 - 6.81 5.00 1.81 lp2sat2lminisat 31-HydraulicPlanning 1000-hydraulic_planning-684-0.asp Witness Found OK 73.02 - 6.64 5.00 1.64 lp2sat2lminisat 31-HydraulicPlanning 379-hydraulic_planning-610-0.asp Witness Found OK 55.36 - 6.85 5.00 1.85 lp2sat2lminisat 31-HydraulicPlanning 155-hydraulic_planning-670-0.asp Witness Found OK 66.58 - 6.71 5.00 1.71 lp2sat2lminisat 31-HydraulicPlanning 100-hydraulic_planning-728-0.asp Witness Found OK 79.18 - 6.57 5.00 1.57 lp2sat2lminisat 31-HydraulicPlanning 101-hydraulic_planning-612-0.asp Witness Found OK 55.84 - 6.84 5.00 1.84 lp2sat2lminisat 32-StableMarriage 12-stable_marriage-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2lminisat 32-StableMarriage 2-stable_marriage-0-0.asp N/A Mem out/Fail 155.80 - 0.00 0.00 0.00 lp2sat2lminisat 32-StableMarriage 8-stable_marriage-0-0.asp N/A Mem out/Fail 155.57 - 0.00 0.00 0.00 lp2sat2lminisat 32-StableMarriage 29-stable_marriage-0-0.asp N/A Mem out/Fail 154.85 - 0.00 0.00 0.00 lp2sat2lminisat 32-StableMarriage 44-stable_marriage-0-0.asp N/A Mem out/Fail 155.34 - 0.00 0.00 0.00 lp2sat2lminisat 32-StableMarriage 11-stable_marriage-0-0.asp N/A Mem out/Fail 155.45 - 0.00 0.00 0.00 lp2sat2lminisat 32-StableMarriage 47-stable_marriage-0-0.asp N/A Mem out/Fail 150.88 - 0.00 0.00 0.00 lp2sat2lminisat 32-StableMarriage 23-stable_marriage-0-0.asp N/A Mem out/Fail 151.45 - 0.00 0.00 0.00 lp2sat2lminisat 32-StableMarriage 26-stable_marriage-0-0.asp N/A Mem out/Fail 152.17 - 0.00 0.00 0.00 lp2sat2lminisat 32-StableMarriage 43-stable_marriage-0-0.asp N/A Mem out/Fail 150.37 - 0.00 0.00 0.00 lp2sat2lminisat 33-MazeGeneration 14-maze_generation-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2sat2lminisat 33-MazeGeneration 10-maze_generation-0-0.asp N/A Mem out/Fail - - 0.00 0.00 0.00 lp2sat2lminisat 33-MazeGeneration 22-maze_generation-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2lminisat 33-MazeGeneration 31-maze_generation-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2lminisat 33-MazeGeneration 47-maze_generation-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2lminisat 33-MazeGeneration 04-maze_generation-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2lminisat 33-MazeGeneration 42-maze_generation-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2lminisat 33-MazeGeneration 41-maze_generation-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2lminisat 33-MazeGeneration 26-maze_generation-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2lminisat 33-MazeGeneration 37-maze_generation-0-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2lminisat 34-PartnerUnitsPolynomial 206-partner_units_polynomial-63-0.asp N/A Mem out/Fail 324.22 - 0.00 0.00 0.00 lp2sat2lminisat 34-PartnerUnitsPolynomial 67-partner_units_polynomial-100-0.asp N/A Mem out/Fail 188.79 - 0.00 0.00 0.00 lp2sat2lminisat 34-PartnerUnitsPolynomial 64-partner_units_polynomial-100-0.asp N/A Mem out/Fail 187.66 - 0.00 0.00 0.00 lp2sat2lminisat 34-PartnerUnitsPolynomial 52-partner_units_polynomial-100-0.asp N/A Mem out/Fail 186.55 - 0.00 0.00 0.00 lp2sat2lminisat 34-PartnerUnitsPolynomial 187-partner_units_polynomial-51-0.asp N/A Time out - - 0.00 0.00 0.00 lp2sat2lminisat 34-PartnerUnitsPolynomial 60-partner_units_polynomial-100-0.asp N/A Mem out/Fail 187.49 - 0.00 0.00 0.00 lp2sat2lminisat 34-PartnerUnitsPolynomial 175-partner_units_polynomial-75-0.asp N/A Mem out/Fail 162.35 - 0.00 0.00 0.00 lp2sat2lminisat 34-PartnerUnitsPolynomial 57-partner_units_polynomial-100-0.asp N/A Mem out/Fail 186.79 - 0.00 0.00 0.00 lp2sat2lminisat 34-PartnerUnitsPolynomial 127-partner_units_polynomial-100-0.asp N/A Mem out/Fail 187.39 - 0.00 0.00 0.00 lp2sat2lminisat 34-PartnerUnitsPolynomial 41-partner_units_polynomial-79-0.asp N/A Mem out/Fail 161.10 - 0.00 0.00 0.00