welcome: please sign in

Revision 4 as of 2015-07-30 16:46:49

Clear message
location: DetailedResults

Detailed Results

      clasp       lp2bv2+boolector     lp2graph       lp2maxsat+clasp     lp2mip2       lp2normal2+clasp     lp2sat3+glucose     lp2sat3+lingeling     wasp-1       wasp-1.5       wasp-2       wasp-wpm1-only-weak   clasp-mt       lp2mip2-mt     lp2sat3+plingeling-mt  
Track Domain P Score Time TO MO Score Time TO MO Score Time TO MO Score Time TO MO Score Time TO MO Score Time TO MO Score Time TO MO Score Time TO MO Score Time TO MO Score Time TO MO Score Time TO MO Score Time TO MO Score Time TO MO Score Time TO MO Score Time TO MO
#1 Labyrinth D 90 3396 2 0 15 1510,4 17 0 65 3201,9 7 0 40 2254 12 0 0 - 20 0 70 1831,5 6 0 35 1668,9 13 0 30 1600,7 14 0 45 2098,3 11 0 60 2754,6 1 7 60 2787,5 1 7 - - - - 95 512,5 1 0 0 - 20 0 30 1659,3 14 0
#1 Stable Marriage D 95 2136,6 1 0 0 - 0 20 95 3122,9 1 0 100 3617,5 0 0 0 - 0 20 95 2911,3 1 0 95 3140,1 1 0 65 2060,7 7 0 65 1657,6 0 7 100 1164,1 0 0 100 1161,5 0 0 - - - - 100 1427,3 0 0 0 - 0 20 100 2570,9 0 0
#2 Bottle Filling D 100 170,4 0 0 55 2184,1 0 9 5 457,8 10 9 50 3100,8 1 9 0 - 11 9 100 270,7 0 0 5 439,3 10 9 55 4622,3 0 9 100 1700 0 0 100 167,3 0 0 100 169,7 0 0 - - - - 100 124,7 0 0 0 - 0 20 55 4023,4 0 9
#2 Graceful Graphs D 40 756,4 12 0 35 1253,2 13 0 40 509,9 12 0 50 1068,1 10 0 0 - 20 0 40 1356,5 12 0 40 497,9 12 0 45 2038,5 11 0 5 559,1 19 0 20 569,7 16 0 20 552,4 16 0 - - - - 60 1117,3 8 0 0 - 20 0 55 1172 9 0
#2 Graph Colouring D 45 834,1 11 0 25 25,2 13 0 45 814,2 11 0 50 1055 10 0 30 1342,4 14 0 45 608,9 11 0 45 811,9 11 0 50 873,7 10 0 25 202,1 15 0 35 409,3 13 0 35 393 13 0 - - - - 95 1691,3 1 0 75 3852,3 5 0 65 1681,4 7 0
#2 Hanoi Tower D 85 1498,3 3 0 85 1022 3 0 100 347,5 0 0 100 935,8 0 0 0 - 20 0 100 1307 0 0 100 316,5 0 0 85 794,5 3 0 40 2670,4 12 0 70 1221,5 6 0 70 1203,3 6 0 - - - - 100 919,2 0 0 0 - 20 0 100 613,2 0 0
#2 Incremental Scheduling D 0 - 5 15 0 - 3 17 0 - 3 17 0 - 3 17 0 - 3 17 0 - 3 17 0 - 3 17 0 - 3 17 0 - 5 15 0 - 3 17 0 - 3 17 - - - - 0 - 3 17 0 - 3 17 0 - 3 17
#2 Knight Tour with Holes D 0 - 0 20 0 - 0 20 0 - 0 20 0 - 0 20 0 - 0 20 0 - 0 20 0 - 0 20 0 - 0 20 0 - 18 2 0 - 0 20 0 - 0 20 - - - - 0 - 0 20 0 - 0 20 0 - 0 20
#2 Nomystery D 40 621,8 10 2 45 1363,8 3 8 45 834,2 6 5 45 726,6 7 4 5 196,6 10 9 40 85,3 8 4 45 877,9 6 5 40 605,8 8 4 25 1501,2 15 0 35 1032 5 8 35 663,5 5 8 - - - - 40 620,1 7 5 5 393,5 6 13 45 809,6 4 7
#2 Partner Units D 20 290,6 16 0 0 - 1 19 15 729,6 1 16 20 1133,4 0 16 0 - 1 19 20 905,2 0 16 15 828,3 1 16 15 1236,9 1 16 5 125,5 3 16 15 994,7 2 15 15 1205,3 2 15 - - - - 25 488,2 15 0 0 - 1 19 10 234,9 0 18
#2 Permutation Pattern Matching D 70 1556,6 1 5 40 735,8 0 12 65 1258,4 0 7 65 1589,5 0 7 35 1134,6 1 12 65 1542,3 0 7 65 1265,1 0 7 65 1061,5 0 7 55 1053 1 8 65 611,3 1 6 65 538,9 1 6 - - - - 70 1040,8 1 5 35 1133,2 1 12 65 552,4 0 7
#2 Qualitative Spatial Reasoning D 100 2124,4 0 0 0 - 19 1 50 688 10 0 50 716,7 10 0 10 1140,9 18 0 100 1701,7 0 0 50 684 10 0 50 926 10 0 90 2276,1 2 0 75 1992,9 0 5 75 2171,4 0 5 - - - - 95 1518,5 1 0 0 - 14 6 50 482 10 0
#2 Reachability Q - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 80 2182,1 0 4 80 2408 0 4 - - - - - - - - - - - - - - - - - - - -
#2 Ricochet Robots D 100 2464,4 0 0 100 952,4 0 0 100 749,5 0 0 100 2267,5 0 0 0 - 20 0 100 1255,5 0 0 100 891,8 0 0 100 945 0 0 30 1859,3 14 0 35 1144,3 13 0 35 1157,5 13 0 - - - - 100 744,3 0 0 0 - 20 0 100 400,7 0 0
#2 Sokoban D 35 1076,9 13 0 35 852,6 6 7 30 739,5 13 1 35 1043,9 12 1 0 - 18 2 30 581,4 14 0 30 831,6 13 1 25 245,5 14 1 5 60 19 0 30 742,5 12 2 30 598,7 12 2 - - - - 50 1205,5 9 1 0 - 15 5 40 813,8 11 1
#2 Solitaire D 85 112,6 3 0 80 1026 4 0 80 263,7 4 0 80 733,6 4 0 25 1287,6 15 0 80 627,9 4 0 80 298,1 4 0 85 561,8 3 0 75 685,5 5 0 85 609,3 3 0 85 609,4 3 0 - - - - 85 18 3 0 50 1801,5 10 0 85 319 3 0
#2 Visit-all D 55 1846,2 9 0 100 2819,7 0 0 65 724 7 0 60 922,9 7 0 35 560,7 13 0 65 918,6 7 0 65 783,7 7 0 90 2997 2 0 25 28,9 15 0 30 20,1 14 0 30 17,6 14 0 - - - - 95 2470,8 1 0 40 1193,4 12 0 100 1260,1 0 0
#2 Weighted-Sequence Problem D 85 1551,3 3 0 70 2933 6 0 95 1477,1 1 0 90 2892,9 2 0 0 - 20 0 85 2588,4 3 0 95 1751,5 1 0 85 3093,4 3 0 45 2608 11 0 65 2699,5 7 0 65 2659,8 7 0 - - - - 80 1230,3 2 2 0 - 11 9 95 1970,3 1 0
#3 Connected Still Life O 72,5 9613,3 16 0 - - - - - - - - 15 3,3 17 0 10 424,8 18 0 20 151 16 0 - - - - - - - - 96,3 10202,5 17 0 85,6 9601,2 17 0 85,6 9601,2 17 0 45,6 12000 20 0 100 9648,1 16 0 10 287,5 18 0 - - - -
#3 Crossing Minimization O 95,6 4466,4 6 0 - - - - - - - - 30 637,2 14 0 0 - 20 0 70 1931,6 6 0 - - - - - - - - 58,8 10800 20 0 40,6 7200 20 0 40,6 7200 20 0 0 - 20 0 100 6142,4 7 0 0 - 20 0 - - - -
#3 Maximal Clique O 100 938,3 0 0 - - - - - - - - 65 1732,2 7 0 100 99 0 0 15 1344 17 0 - - - - - - - - 69,4 11451 17 0 55 12000 20 0 55 12000 20 0 0 - 20 0 90 4544,9 4 0 100 95,7 0 0 - - - -
#3 Valves Location O 53,8 6000,7 19 0 - - - - - - - - 5 156,9 6 13 0 - 0 20 20 1240,4 18 0 - - - - - - - - Disq. Disq. Disq. Disq. 5 1,1 13 6 5 1,1 13 6 Disq. Disq. Disq. Disq. 90 9323,6 17 0 0 - 0 20 - - - -
#4 Abstract Dialectical Frameworks O 100 1555 0 0 - - - - - - - - - - - - - - - - 80 1617,9 4 0 - - - - - - - - 35,6 2699,2 15 0 35,6 2710,5 15 0 - - - - 25 451,4 15 0 Disq. Disq. Disq. Disq. - - - - - - - -
#4 Complex Optimization D 85 553,6 3 0 - - - - - - - - - - - - - - - - 100 1340,7 0 0 - - - - - - - - 0 - 20 0 0 - 20 0 - - - - - - - - 100 461,7 0 0 - - - - - - - -
#4 Minimal Diagnosis D 100 199,1 0 0 - - - - - - - - - - - - - - - - 100 519,9 0 0 - - - - - - - - 65 4793,2 7 0 65 4831,3 7 0 - - - - - - - - 100 191,4 0 0 - - - - - - - -
#4 Strategic Companies Q - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 0 - 0 20 0 - 0 20 - - - - - - - - - - - - - - - - - - - -
Track #1   185 5532,6 3 0 15 1510,4 17 20 160 6324,8 8 0 140 5871,5 12 0 0 0 20 20 165 4742,8 7 0 130 4809 14 0 95 3661,4 21 0 110 3755,9 11 7 160 3918,7 1 7 160 3949 1 7 0 0 0 0 195 1939,8 1 0 0 0 20 20 130 4230,2 14 0
Track #2   860 14904 86 42 670 15167,8 71 93 735 9593,4 78 75 795 18186,7 66 74 140 5662,8 184 88 870 13749,4 62 64 735 10277,6 78 75 790 20001,9 68 74 605 17511,2 154 45 740 14622,4 95 77 660 11940,5 95 73 0 0 0 0 995 13189 51 50 205 8373,9 138 121 865 14332,8 48 79
Track #3   321,9 21018,7 41 0 0 0 0 0 0 0 0 0 115 2529,6 44 13 110 523,8 38 20 125 4667 57 0 0 0 0 0 0 0 0 0 224,5 32453,5 54 0 186,2 28802,3 70 6 186,2 28802,3 70 6 45,6 12000 60 0 380 29659 44 0 110 383,2 38 20 0 0 0 0
Track #4   285 2307,7 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 280 3478,5 4 0 0 0 0 0 0 0 0 0 100,6 7492,4 42 20 100,6 7541,8 42 20 0 0 0 0 25 451,4 15 0 200 653,1 0 0 0 0 0 0 0 0 0 0
Overall   1652 43763 133 42 685 16678,2 88 113 895 15918,2 86 75 1050 26587,8 122 87 250 6186,6 242 128 1440 26637,7 130 64 865 15086,6 92 75 885 23663,2 89 74 1040 61213 261 72 1187 54885,2 208 110 1006 44691,8 166 86 71 12451,4 75 0 1770 45440,9 96 50 315 8757,1 196 161 995 18563 62 79

ASPCOMP-2014-Detailed-Results.html