|benchmark |suite |solver |cube wc |total wc |total cpu |max discr |#cubes refuted by cdcl |#refuted by la |#cubes cut off aloul-chnl11-13 app09 CCC_lgl4 550.150000 3600.030000 10164.690000 16 816816 10745051 50822 AProVE07-08 app09 CCC_lgl4 2.620000 313.320000 1209.390000 13 262 110 1815 AProVE07-27 app09 CCC_lgl4 1.245000 188.330000 643.800000 13 61 12 556 AProVE09-07 app09 CCC_lgl4 2.435000 4.680000 4.760000 12 346 137 928 AProVE09-08 app09 CCC_lgl4 2.040000 5.880000 6.170000 11 274 42 898 cmu-bmc-longmult15 app09 CCC_lgl4 1.335000 7.270000 13.660000 11 169 28 2181 countbitsrotate016 app09 CCC_lgl4 3.840000 7.520000 9.320000 14 1267 1389 4494 countbitssrl016 app09 CCC_lgl4 1.120000 4.670000 8.500000 11 559 517 708 cube-11-h14-sat app09 CCC_lgl4 3600.040000 7179.300000 dated-5-15-u app09 CCC_lgl4 3.300000 156.530000 186.540000 9 85 0 26 eq.atree.braun.10.unsat app09 CCC_lgl4 14.880000 44.190000 111.250000 13 698 116 29280 eq.atree.braun.11.unsat app09 CCC_lgl4 68.475000 216.190000 575.610000 15 1801 308 110787 eq.atree.braun.12.unsat app09 CCC_lgl4 332.800000 1089.530000 3005.420000 17 7929 1496 474599 eq.atree.braun.13.unsat app09 CCC_lgl4 1643.640000 3600.110000 7765.860000 19 24985 3610 1854095 eq.atree.braun.8.unsat app09 CCC_lgl4 0.980000 3.250000 5.520000 10 401 175 2538 eq.atree.braun.9.unsat app09 CCC_lgl4 3.365000 11.560000 26.530000 11 325 102 8106 gss-13-s100 app09 CCC_lgl4 2.905000 5.880000 5.830000 10 113 23 3 gss-14-s100 app09 CCC_lgl4 13.775000 17.720000 27.500000 14 525 128 571 gss-15-s100 app09 CCC_lgl4 15.970000 23.100000 31.870000 17 308 73 1774 gss-16-s100 app09 CCC_lgl4 21.120000 28.470000 42.230000 12 182 36 3480 icbrt1_32 app09 CCC_lgl4 1.835000 6.350000 10.560000 10 117 24 173 mulhs016 app09 CCC_lgl4 3600.090000 7197.940000 q_query_3_L200_coli.sat app09 CCC_lgl4 21.560000 1038.870000 3691.010000 22 57 22 159 q_query_3_l39_lambda app09 CCC_lgl4 4.995000 7.750000 9.900000 13 1005 72 502 q_query_3_l41_lambda app09 CCC_lgl4 7.015000 9.780000 14.030000 11 1267 120 821 rbcl_xits_06_UNSAT app09 CCC_lgl4 5.095000 20.200000 57.200000 10 297 16 795 rbcl_xits_08_UNSAT app09 CCC_lgl4 12.510000 3600.050000 14185.250000 16 402 0 1930 rbcl_xits_09_UNKNOWN app09 CCC_lgl4 28.295000 3600.090000 14119.370000 18 312 24 6611 rpoc_xits_08_UNSAT app09 CCC_lgl4 28.325000 694.210000 2627.550000 14 709 33 4848 rpoc_xits_09_UNSAT app09 CCC_lgl4 82.120000 3600.090000 13903.030000 17 715 9 16007 schup-l2s-guid-1-k56 app09 CCC_lgl4 4.180000 136.870000 258.880000 9 87 20 144 simon-s02b-dp11u10 app09 CCC_lgl4 5.855000 95.680000 354.880000 17 1753 755 7374 simon-s02b-k2f-gr-rcs-w8 app09 CCC_lgl4 18.765000 55.260000 72.040000 9 450 219 1015 simon-s03-w08-15 app09 CCC_lgl4 4.870000 93.890000 307.880000 6 24 11 26 total-5-15-u app09 CCC_lgl4 4.260000 3600.080000 7256.120000 9 31 2 21 velev-engi-uns-1.0-4nd app09 CCC_lgl4 1.545000 11.210000 25.440000 7 90 5 150 vmpc_24 app09 CCC_lgl4 1.505000 5.440000 10.550000 4 94 24 113 vmpc_25 app09 CCC_lgl4 1.895000 9.030000 22.600000 4 106 24 113 vmpc_26 app09 CCC_lgl4 2.345000 8.930000 19.120000 4 125 22 160 vmpc_28 app09 CCC_lgl4 4.445000 9.680000 10.620000 5 187 31 281 vmpc_29 app09 CCC_lgl4 4.850000 25.480000 69.950000 5 182 24 291 vmpc_30 app09 CCC_lgl4 5.615000 69.350000 232.310000 5 193 27 351 vmpc_33 app09 CCC_lgl4 11.510000 1669.920000 6545.380000 6 283 46 558 vmpc_34 app09 CCC_lgl4 177.480000 2712.390000 10010.140000 6 1247 380 19522 aloul-chnl11-13 app09 CCC_mini 554.375000 623.050000 1108.630000 15 788338 10861465 47181 AProVE07-08 app09 CCC_mini 3.830000 543.270000 536.950000 13 381 176 2483 AProVE07-27 app09 CCC_mini 1.480000 466.150000 462.290000 11 75 27 743 AProVE09-07 app09 CCC_mini 2.030000 4.780000 3.910000 11 305 89 707 AProVE09-08 app09 CCC_mini 2.040000 6.020000 4.080000 9 283 35 807 cmu-bmc-longmult15 app09 CCC_mini 1.220000 9.070000 5.050000 11 165 22 1939 countbitsrotate016 app09 CCC_mini 4.240000 10.300000 8.480000 14 1511 1664 4253 countbitssrl016 app09 CCC_mini 0.885000 6.220000 3.040000 10 414 335 600 cube-11-h14-sat app09 CCC_mini 3600.020000 7178.830000 dated-5-15-u app09 CCC_mini 3.300000 222.940000 214.110000 9 83 0 28 eq.atree.braun.10.unsat app09 CCC_mini 14.670000 77.000000 61.090000 14 735 211 28160 eq.atree.braun.11.unsat app09 CCC_mini 68.475000 408.330000 336.960000 15 1803 345 109681 eq.atree.braun.12.unsat app09 CCC_mini 344.165000 2090.740000 1743.580000 18 8280 1708 490473 eq.atree.braun.13.unsat app09 CCC_mini 1648.000000 3600.060000 3295.920000 18 25205 3794 1864857 eq.atree.braun.8.unsat app09 CCC_mini 0.935000 5.150000 2.380000 10 390 169 2442 eq.atree.braun.9.unsat app09 CCC_mini 3.275000 19.290000 14.720000 12 341 112 8011 gss-13-s100 app09 CCC_mini 2.890000 6.250000 5.790000 10 106 16 20 gss-14-s100 app09 CCC_mini 13.815000 18.340000 27.520000 12 545 118 556 gss-15-s100 app09 CCC_mini 15.605000 28.550000 31.190000 22 269 57 1864 gss-16-s100 app09 CCC_mini 21.495000 37.560000 43.000000 11 157 26 3661 icbrt1_32 app09 CCC_mini 1.845000 6.060000 3.580000 9 126 20 174 mulhs016 app09 CCC_mini 3600.120000 7195.750000 q_query_3_L200_coli.sat app09 CCC_mini 23.420000 3405.730000 3341.080000 22 64 46 165 q_query_3_l39_lambda app09 CCC_mini 3.745000 7.420000 7.450000 12 716 63 387 q_query_3_l41_lambda app09 CCC_mini 6.755000 10.290000 13.460000 13 1253 117 739 rbcl_xits_06_UNSAT app09 CCC_mini 5.375000 32.330000 25.120000 10 279 17 847 rbcl_xits_08_UNSAT app09 CCC_mini 12.290000 3600.070000 3549.350000 17 397 1 1916 rbcl_xits_09_UNKNOWN app09 CCC_mini 894.875000 3600.100000 2702.640000 24 9982 832 327361 rpoc_xits_08_UNSAT app09 CCC_mini 26.460000 3455.990000 3426.660000 14 604 21 4702 rpoc_xits_09_UNSAT app09 CCC_mini 83.000000 3600.100000 3514.680000 17 734 21 15965 schup-l2s-guid-1-k56 app09 CCC_mini 4.370000 45.470000 31.920000 9 91 22 140 simon-s02b-dp11u10 app09 CCC_mini 6.670000 104.790000 91.680000 14 2046 918 8423 simon-s02b-k2f-gr-rcs-w8 app09 CCC_mini 18.395000 3600.050000 3575.370000 9 431 166 970 simon-s03-w08-15 app09 CCC_mini 4.920000 127.170000 110.540000 6 25 11 25 total-5-15-u app09 CCC_mini 5.385000 3600.130000 3586.770000 9 62 3 53 velev-engi-uns-1.0-4nd app09 CCC_mini 1.565000 9.900000 5.280000 8 90 3 142 vmpc_24 app09 CCC_mini 1.435000 5.280000 2.750000 4 88 21 99 vmpc_25 app09 CCC_mini 1.875000 8.670000 5.050000 4 112 25 110 vmpc_26 app09 CCC_mini 0.645000 2.260000 1.390000 4 30 4 11 vmpc_28 app09 CCC_mini 4.170000 8.260000 8.200000 5 172 25 275 vmpc_29 app09 CCC_mini 4.810000 33.820000 26.240000 5 178 24 300 vmpc_30 app09 CCC_mini 6.175000 61.280000 52.000000 5 208 34 388 vmpc_33 app09 CCC_mini 12.145000 1489.030000 1471.150000 6 314 64 589 vmpc_34 app09 CCC_mini 181.960000 3600.050000 3414.210000 6 1276 344 20070 aloul-chnl11-13 app09 CCC_infty 267.555000 273.270000 534.960000 13 14679 2365290 0 AProVE07-08 app09 CCC_infty 408.260000 409.890000 816.370000 20 68121 7848 0 AProVE07-27 app09 CCC_infty 346.700000 355.010000 693.390000 28 101057 4214 0 AProVE09-07 app09 CCC_infty 0.450000 2.230000 1.540000 18 62 14 0 AProVE09-08 app09 CCC_infty 1.465000 3.230000 2.870000 14 243 215 0 cmu-bmc-longmult15 app09 CCC_infty 5.420000 7.320000 10.740000 13 3235 1461 0 countbitsrotate016 app09 CCC_infty 6.410000 6.980000 12.680000 14 1289 1728 0 countbitssrl016 app09 CCC_infty 3.675000 4.430000 7.280000 14 2531 1437 0 cube-11-h14-sat app09 CCC_infty 3600.070000 7129.200000 dated-5-15-u app09 CCC_infty 659.860000 665.060000 1319.670000 23 96499 6978 0 eq.atree.braun.10.unsat app09 CCC_infty 68.235000 69.330000 136.360000 15 24352 8051 0 eq.atree.braun.11.unsat app09 CCC_infty 355.870000 363.520000 711.670000 16 102927 31469 0 eq.atree.braun.12.unsat app09 CCC_infty 1690.575000 1691.670000 3381.060000 19 446012 106222 0 eq.atree.braun.13.unsat app09 CCC_infty 3600.100000 7199.120000 eq.atree.braun.8.unsat app09 CCC_infty 3.100000 3.410000 6.130000 11 1808 1212 0 eq.atree.braun.9.unsat app09 CCC_infty 16.505000 16.830000 32.920000 13 6168 3537 0 gss-13-s100 app09 CCC_infty 2.835000 5.290000 5.660000 9 66 16 0 gss-14-s100 app09 CCC_infty 2.530000 4.950000 4.980000 11 67 23 0 gss-15-s100 app09 CCC_infty 9.535000 11.970000 18.970000 14 255 82 0 gss-16-s100 app09 CCC_infty 11.365000 13.830000 22.710000 11 207 98 0 icbrt1_32 app09 CCC_infty 2.645000 4.340000 5.160000 10 228 25 0 mulhs016 app09 CCC_infty 3600.100000 7197.410000 q_query_3_L200_coli.sat app09 CCC_infty 493.070000 532.960000 986.520000 71 2971 1768 0 q_query_3_l39_lambda app09 CCC_infty 2.260000 4.940000 4.410000 47 512 27 0 q_query_3_l41_lambda app09 CCC_infty 2.415000 5.020000 4.790000 70 591 74 0 rbcl_xits_06_UNSAT app09 CCC_infty 36.375000 36.850000 72.610000 16 9665 488 0 rbcl_xits_08_UNSAT app09 CCC_infty 3600.100000 7198.820000 rbcl_xits_09_UNKNOWN app09 CCC_infty 3600.120000 7199.100000 rpoc_xits_08_UNSAT app09 CCC_infty 2931.090000 2931.670000 5862.190000 38 657781 30038 0 rpoc_xits_09_UNSAT app09 CCC_infty 3600.070000 7198.150000 schup-l2s-guid-1-k56 app09 CCC_infty 18.510000 26.790000 37.060000 21 1128 69 0 simon-s02b-dp11u10 app09 CCC_infty 182.755000 183.660000 365.400000 19 160122 28561 0 simon-s02b-k2f-gr-rcs-w8 app09 CCC_infty 3600.080000 7194.070000 simon-s03-w08-15 app09 CCC_infty 826.520000 836.980000 1653.120000 42 31778 5237 0 total-5-15-u app09 CCC_infty 3600.070000 7185.420000 velev-engi-uns-1.0-4nd app09 CCC_infty 5.375000 8.120000 10.720000 15 1495 43 0 vmpc_24 app09 CCC_infty 3.555000 4.830000 7.050000 4 347 91 0 vmpc_25 app09 CCC_infty 5.610000 7.100000 11.180000 4 580 158 0 vmpc_26 app09 CCC_infty 2.700000 4.300000 5.360000 4 194 38 0 vmpc_28 app09 CCC_infty 3.305000 5.650000 6.590000 5 218 49 0 vmpc_29 app09 CCC_infty 29.510000 31.970000 59.020000 5 3563 1016 0 vmpc_30 app09 CCC_infty 64.070000 66.970000 127.970000 6 7343 2034 0 vmpc_33 app09 CCC_infty 535.360000 538.630000 1070.710000 7 52772 13843 0 vmpc_34 app09 CCC_infty 1844.815000 1848.270000 3689.650000 7 167074 43102 0 aloul-chnl11-13 app09 CC_mini 1.200000 3600.010000 3453.110000 34197 AProVE07-08 app09 CC_mini 50.490000 566.560000 463.870000 35466 AProVE07-27 app09 CC_mini 68.805000 459.940000 320.630000 60688 AProVE09-07 app09 CC_mini 4.665000 11.840000 9.320000 2875 AProVE09-08 app09 CC_mini 3.780000 10.440000 7.500000 2046 cmu-bmc-longmult15 app09 CC_mini 3.850000 15.030000 7.720000 7192 countbitsrotate016 app09 CC_mini 2.245000 10.210000 4.790000 2268 countbitssrl016 app09 CC_mini 0.450000 5.990000 3.540000 787 cube-11-h14-sat app09 CC_mini 83.840000 3600.070000 3415.890000 70 dated-5-15-u app09 CC_mini 39.545000 352.410000 261.540000 7436 eq.atree.braun.10.unsat app09 CC_mini 54.885000 167.510000 109.850000 58126 eq.atree.braun.11.unsat app09 CC_mini 108.430000 592.470000 373.950000 133606 eq.atree.braun.12.unsat app09 CC_mini 47.970000 2243.440000 2146.370000 88192 eq.atree.braun.13.unsat app09 CC_mini 52.520000 3600.030000 3493.310000 91603 eq.atree.braun.8.unsat app09 CC_mini 1.800000 6.490000 3.600000 3498 eq.atree.braun.9.unsat app09 CC_mini 11.015000 34.880000 22.030000 13375 gss-13-s100 app09 CC_mini 11.760000 29.250000 23.530000 2594 gss-14-s100 app09 CC_mini 11.645000 28.430000 23.240000 1410 gss-15-s100 app09 CC_mini 20.515000 53.150000 41.010000 2661 gss-16-s100 app09 CC_mini 30.145000 74.380000 60.250000 2300 icbrt1_32 app09 CC_mini 4.890000 14.300000 9.720000 1432 mulhs016 app09 CC_mini 7.465000 3600.040000 3582.800000 24674 q_query_3_L200_coli.sat app09 CC_mini 15.850000 212.510000 140.200000 412 q_query_3_l39_lambda app09 CC_mini 7.305000 18.940000 14.600000 4188 q_query_3_l41_lambda app09 CC_mini 7.180000 19.600000 14.340000 3534 rbcl_xits_06_UNSAT app09 CC_mini 40.295000 111.910000 80.590000 26091 rbcl_xits_08_UNSAT app09 CC_mini 162.370000 3600.070000 3273.690000 128967 rbcl_xits_09_UNKNOWN app09 CC_mini 271.800000 3600.130000 3054.480000 182497 rpoc_xits_08_UNSAT app09 CC_mini 167.905000 3178.000000 2840.500000 92845 rpoc_xits_09_UNSAT app09 CC_mini 230.465000 3600.100000 3137.250000 144585 schup-l2s-guid-1-k56 app09 CC_mini 599.435000 1258.420000 1199.330000 177374 simon-s02b-dp11u10 app09 CC_mini 5.260000 106.170000 89.220000 14678 simon-s02b-k2f-gr-rcs-w8 app09 CC_mini 127.205000 3600.060000 3341.790000 20121 simon-s03-w08-15 app09 CC_mini 5.460000 121.400000 96.030000 361 total-5-15-u app09 CC_mini 26.655000 3600.050000 3539.170000 2508 velev-engi-uns-1.0-4nd app09 CC_mini 12.345000 38.060000 24.690000 28889 vmpc_24 app09 CC_mini 1.955000 8.380000 3.900000 260 vmpc_25 app09 CC_mini 2.100000 10.270000 4.540000 320 vmpc_26 app09 CC_mini 3.275000 9.810000 6.520000 560 vmpc_28 app09 CC_mini 5.600000 15.140000 11.190000 886 vmpc_29 app09 CC_mini 7.730000 46.340000 28.130000 1373 vmpc_30 app09 CC_mini 7.785000 70.120000 51.580000 1341 vmpc_33 app09 CC_mini 18.110000 696.930000 657.330000 2468 vmpc_34 app09 CC_mini 20.355000 3600.040000 3555.720000 2637 aloul-chnl11-13 app09 CC_lgl1 1.240000 1930.140000 1925.510000 34197 AProVE07-08 app09 CC_lgl1 50.340000 1642.250000 1538.920000 35466 AProVE07-27 app09 CC_lgl1 68.005000 1023.920000 876.710000 60688 AProVE09-07 app09 CC_lgl1 4.655000 11.990000 9.320000 2875 AProVE09-08 app09 CC_lgl1 3.765000 11.680000 7.460000 2046 cmu-bmc-longmult15 app09 CC_lgl1 3.915000 20.280000 10.080000 7192 countbitsrotate016 app09 CC_lgl1 2.240000 13.000000 7.490000 2268 countbitssrl016 app09 CC_lgl1 0.440000 7.860000 6.120000 787 cube-11-h14-sat app09 CC_lgl1 84.730000 3600.070000 3419.910000 70 dated-5-15-u app09 CC_lgl1 39.275000 408.480000 321.590000 7436 eq.atree.braun.10.unsat app09 CC_lgl1 52.615000 215.230000 105.360000 58126 eq.atree.braun.11.unsat app09 CC_lgl1 107.420000 814.990000 586.920000 133606 eq.atree.braun.12.unsat app09 CC_lgl1 47.990000 3217.840000 3117.030000 88192 eq.atree.braun.13.unsat app09 CC_lgl1 52.540000 3600.080000 3493.960000 91603 eq.atree.braun.8.unsat app09 CC_lgl1 1.875000 7.680000 3.760000 3498 eq.atree.braun.9.unsat app09 CC_lgl1 11.030000 41.470000 22.080000 13375 gss-13-s100 app09 CC_lgl1 11.660000 29.490000 23.320000 2594 gss-14-s100 app09 CC_lgl1 11.480000 28.740000 22.940000 1410 gss-15-s100 app09 CC_lgl1 20.465000 57.530000 40.890000 2661 gss-16-s100 app09 CC_lgl1 30.115000 79.110000 60.230000 2300 icbrt1_32 app09 CC_lgl1 4.880000 16.490000 9.750000 1432 mulhs016 app09 CC_lgl1 7.350000 3600.080000 3584.410000 24674 q_query_3_L200_coli.sat app09 CC_lgl1 15.950000 3600.130000 3524.360000 412 q_query_3_l39_lambda app09 CC_lgl1 7.270000 26.000000 14.510000 4188 q_query_3_l41_lambda app09 CC_lgl1 7.185000 25.190000 14.340000 3534 rbcl_xits_06_UNSAT app09 CC_lgl1 40.205000 154.250000 80.430000 26091 rbcl_xits_08_UNSAT app09 CC_lgl1 162.500000 3600.080000 3272.100000 128967 rbcl_xits_09_UNKNOWN app09 CC_lgl1 271.345000 3600.070000 3048.310000 182497 rpoc_xits_08_UNSAT app09 CC_lgl1 171.950000 2855.000000 2506.250000 92845 rpoc_xits_09_UNSAT app09 CC_lgl1 231.310000 3600.050000 3135.480000 144585 schup-l2s-guid-1-k56 app09 CC_lgl1 598.710000 2254.200000 1197.900000 177374 simon-s02b-dp11u10 app09 CC_lgl1 5.330000 323.090000 310.850000 14678 simon-s02b-k2f-gr-rcs-w8 app09 CC_lgl1 105.765000 3600.060000 3385.120000 20121 simon-s03-w08-15 app09 CC_lgl1 5.280000 176.920000 154.430000 361 total-5-15-u app09 CC_lgl1 26.595000 3600.070000 3536.380000 2508 velev-engi-uns-1.0-4nd app09 CC_lgl1 12.480000 74.830000 45.300000 28889 vmpc_24 app09 CC_lgl1 1.950000 14.080000 8.770000 260 vmpc_25 app09 CC_lgl1 2.095000 18.890000 13.280000 320 vmpc_26 app09 CC_lgl1 3.245000 13.580000 6.500000 560 vmpc_28 app09 CC_lgl1 5.560000 19.620000 11.100000 886 vmpc_29 app09 CC_lgl1 7.745000 92.520000 74.440000 1373 vmpc_30 app09 CC_lgl1 7.800000 212.130000 193.400000 1341 vmpc_33 app09 CC_lgl1 17.925000 2532.270000 2492.540000 2468 vmpc_34 app09 CC_lgl1 24.405000 3600.070000 3547.640000 2637 aloul-chnl11-13 app09 CC_lgl4 1.225000 2299.630000 8159.960000 34197 AProVE07-08 app09 CC_lgl4 50.385000 528.540000 1679.330000 35466 AProVE07-27 app09 CC_lgl4 69.440000 402.360000 973.260000 60688 AProVE09-07 app09 CC_lgl4 4.650000 11.480000 9.280000 2875 AProVE09-08 app09 CC_lgl4 3.905000 10.030000 7.760000 2046 cmu-bmc-longmult15 app09 CC_lgl4 3.875000 12.890000 10.770000 7192 countbitsrotate016 app09 CC_lgl4 2.255000 7.120000 7.810000 2268 countbitssrl016 app09 CC_lgl4 0.455000 3.500000 7.160000 787 cube-11-h14-sat app09 CC_lgl4 84.435000 3600.060000 13518.090000 70 dated-5-15-u app09 CC_lgl4 39.340000 362.760000 350.450000 7436 eq.atree.braun.10.unsat app09 CC_lgl4 53.235000 138.000000 109.000000 58126 eq.atree.braun.11.unsat app09 CC_lgl4 108.175000 373.960000 596.140000 133606 eq.atree.braun.12.unsat app09 CC_lgl4 48.000000 879.000000 3108.540000 88192 eq.atree.braun.13.unsat app09 CC_lgl4 52.520000 3600.090000 13812.240000 91603 eq.atree.braun.8.unsat app09 CC_lgl4 1.820000 5.110000 3.760000 3498 eq.atree.braun.9.unsat app09 CC_lgl4 10.895000 28.660000 21.770000 13375 gss-13-s100 app09 CC_lgl4 11.635000 26.810000 23.280000 2594 gss-14-s100 app09 CC_lgl4 11.500000 26.480000 22.980000 1410 gss-15-s100 app09 CC_lgl4 20.600000 47.760000 41.140000 2661 gss-16-s100 app09 CC_lgl4 29.285000 67.990000 58.590000 2300 icbrt1_32 app09 CC_lgl4 4.860000 13.350000 9.670000 1432 mulhs016 app09 CC_lgl4 7.375000 3600.090000 14181.670000 24674 q_query_3_L200_coli.sat app09 CC_lgl4 16.295000 3600.050000 14073.710000 412 q_query_3_l39_lambda app09 CC_lgl4 7.385000 20.750000 14.730000 4188 q_query_3_l41_lambda app09 CC_lgl4 7.360000 20.180000 14.710000 3534 rbcl_xits_06_UNSAT app09 CC_lgl4 40.285000 101.690000 80.620000 26091 rbcl_xits_08_UNSAT app09 CC_lgl4 162.310000 3600.050000 12934.110000 128967 rbcl_xits_09_UNKNOWN app09 CC_lgl4 271.850000 3600.050000 12079.830000 182497 rpoc_xits_08_UNSAT app09 CC_lgl4 167.775000 1030.310000 2618.340000 92845 rpoc_xits_09_UNSAT app09 CC_lgl4 230.780000 3600.090000 12400.980000 144585 schup-l2s-guid-1-k56 app09 CC_lgl4 597.770000 1726.620000 1830.680000 177374 simon-s02b-dp11u10 app09 CC_lgl4 5.465000 103.360000 358.830000 14678 simon-s02b-k2f-gr-rcs-w8 app09 CC_lgl4 105.510000 2113.790000 6977.110000 20121 simon-s03-w08-15 app09 CC_lgl4 5.310000 121.460000 367.700000 361 total-5-15-u app09 CC_lgl4 26.515000 3600.090000 3532.400000 2508 velev-engi-uns-1.0-4nd app09 CC_lgl4 12.315000 42.780000 55.200000 28889 vmpc_24 app09 CC_lgl4 1.970000 8.160000 11.200000 260 vmpc_25 app09 CC_lgl4 2.070000 9.190000 13.680000 320 vmpc_26 app09 CC_lgl4 3.215000 9.220000 6.340000 560 vmpc_28 app09 CC_lgl4 5.605000 15.590000 11.120000 886 vmpc_29 app09 CC_lgl4 7.775000 37.090000 74.240000 1373 vmpc_30 app09 CC_lgl4 7.900000 79.240000 238.230000 1341 vmpc_33 app09 CC_lgl4 17.935000 655.030000 2434.540000 2468 vmpc_34 app09 CC_lgl4 20.425000 2674.640000 10507.650000 2637 aloul-chnl11-13 app09 lingeling 1638.920000 1638.750000 AProVE07-08 app09 lingeling 1892.150000 1891.140000 AProVE07-27 app09 lingeling 1182.770000 1181.590000 AProVE09-07 app09 lingeling 8.130000 6.360000 AProVE09-08 app09 lingeling 11.630000 9.510000 cmu-bmc-longmult15 app09 lingeling 19.590000 17.350000 countbitsrotate016 app09 lingeling 15.190000 14.600000 countbitssrl016 app09 lingeling 3.360000 2.540000 cube-11-h14-sat app09 lingeling 2288.640000 2187.660000 dated-5-15-u app09 lingeling 97.870000 92.990000 eq.atree.braun.10.unsat app09 lingeling 421.870000 421.210000 eq.atree.braun.11.unsat app09 lingeling 2747.140000 2745.080000 eq.atree.braun.12.unsat app09 lingeling 3600.080000 3599.650000 eq.atree.braun.13.unsat app09 lingeling 3600.090000 3598.940000 eq.atree.braun.8.unsat app09 lingeling 9.420000 9.070000 eq.atree.braun.9.unsat app09 lingeling 44.090000 43.760000 gss-13-s100 app09 lingeling 13.080000 10.710000 gss-14-s100 app09 lingeling 9.240000 6.780000 gss-15-s100 app09 lingeling 29.050000 26.550000 gss-16-s100 app09 lingeling 6.690000 4.280000 icbrt1_32 app09 lingeling 16.500000 14.750000 mulhs016 app09 lingeling 3600.080000 3598.830000 q_query_3_L200_coli.sat app09 lingeling 696.060000 655.890000 q_query_3_l39_lambda app09 lingeling 3.750000 2.340000 q_query_3_l41_lambda app09 lingeling 5.910000 3.230000 rbcl_xits_06_UNSAT app09 lingeling 19.340000 18.780000 rbcl_xits_08_UNSAT app09 lingeling 3600.060000 3599.280000 rbcl_xits_09_UNKNOWN app09 lingeling 3600.080000 3599.370000 rpoc_xits_08_UNSAT app09 lingeling 3600.050000 3598.810000 rpoc_xits_09_UNSAT app09 lingeling 3600.080000 3599.220000 schup-l2s-guid-1-k56 app09 lingeling 61.070000 52.910000 simon-s02b-dp11u10 app09 lingeling 240.230000 239.350000 simon-s02b-k2f-gr-rcs-w8 app09 lingeling 20.300000 17.250000 simon-s03-w08-15 app09 lingeling 39.090000 28.730000 total-5-15-u app09 lingeling 3600.080000 3592.730000 velev-engi-uns-1.0-4nd app09 lingeling 20.280000 17.590000 vmpc_24 app09 lingeling 13.790000 12.560000 vmpc_25 app09 lingeling 123.550000 122.020000 vmpc_26 app09 lingeling 10.580000 8.960000 vmpc_28 app09 lingeling 2256.180000 2253.850000 vmpc_29 app09 lingeling 14.010000 11.400000 vmpc_30 app09 lingeling 857.790000 854.840000 vmpc_33 app09 lingeling 3600.060000 3596.660000 vmpc_34 app09 lingeling 3600.070000 3596.390000 aloul-chnl11-13 app09 march_rw 328.200000 314.890000 AProVE07-08 app09 march_rw 3600.060000 3598.400000 AProVE07-27 app09 march_rw 3600.060000 3598.980000 AProVE09-07 app09 march_rw 528.790000 526.980000 AProVE09-08 app09 march_rw 88.640000 86.800000 cmu-bmc-longmult15 app09 march_rw 41.430000 39.430000 countbitsrotate016 app09 march_rw 24.700000 24.110000 countbitssrl016 app09 march_rw 333.950000 332.930000 cube-11-h14-sat app09 march_rw 3600.050000 3590.810000 dated-5-15-u app09 march_rw 3600.070000 3591.220000 eq.atree.braun.10.unsat app09 march_rw 162.880000 162.470000 eq.atree.braun.11.unsat app09 march_rw 764.940000 764.480000 eq.atree.braun.12.unsat app09 march_rw 3578.100000 3577.480000 eq.atree.braun.13.unsat app09 march_rw 3600.050000 3599.570000 eq.atree.braun.8.unsat app09 march_rw 6.400000 6.100000 eq.atree.braun.9.unsat app09 march_rw 34.640000 32.890000 gss-13-s100 app09 march_rw 3600.060000 3453.490000 gss-14-s100 app09 march_rw 195.830000 193.110000 gss-15-s100 app09 march_rw 3600.070000 3597.140000 gss-16-s100 app09 march_rw 3600.050000 3596.620000 icbrt1_32 app09 march_rw 3600.070000 3597.990000 mulhs016 app09 march_rw 3600.110000 3599.110000 q_query_3_L200_coli.sat app09 march_rw 3600.100000 3559.160000 q_query_3_l39_lambda app09 march_rw 3600.070000 3594.180000 q_query_3_l41_lambda app09 march_rw 3600.060000 3597.060000 rbcl_xits_06_UNSAT app09 march_rw 3600.080000 3599.250000 rbcl_xits_08_UNSAT app09 march_rw 3600.090000 3599.650000 rbcl_xits_09_UNKNOWN app09 march_rw 3600.080000 3599.590000 rpoc_xits_08_UNSAT app09 march_rw 3600.060000 3599.330000 rpoc_xits_09_UNSAT app09 march_rw 3600.080000 3482.550000 schup-l2s-guid-1-k56 app09 march_rw 3600.080000 3592.100000 simon-s02b-dp11u10 app09 march_rw 3600.070000 3599.110000 simon-s02b-k2f-gr-rcs-w8 app09 march_rw 3600.070000 3584.950000 simon-s03-w08-15 app09 march_rw 3600.060000 3589.140000 total-5-15-u app09 march_rw 3600.080000 3586.220000 velev-engi-uns-1.0-4nd app09 march_rw 3600.100000 3582.020000 vmpc_24 app09 march_rw 64.490000 63.210000 vmpc_25 app09 march_rw 149.830000 148.020000 vmpc_26 app09 march_rw 288.600000 286.890000 vmpc_28 app09 march_rw 949.150000 946.820000 vmpc_29 app09 march_rw 3097.130000 3094.520000 vmpc_30 app09 march_rw 2428.170000 2420.850000 vmpc_33 app09 march_rw 3600.060000 3596.700000 vmpc_34 app09 march_rw 3600.070000 3596.870000 aloul-chnl11-13 app09 minisat22 3600.080000 3599.910000 AProVE07-08 app09 minisat22 2309.710000 2306.950000 AProVE07-27 app09 minisat22 2414.530000 2412.770000 AProVE09-07 app09 minisat22 5.920000 4.170000 AProVE09-08 app09 minisat22 6.200000 4.460000 cmu-bmc-longmult15 app09 minisat22 17.850000 15.890000 countbitsrotate016 app09 minisat22 29.140000 28.210000 countbitssrl016 app09 minisat22 3.220000 2.470000 cube-11-h14-sat app09 minisat22 807.640000 798.140000 dated-5-15-u app09 minisat22 149.590000 145.000000 eq.atree.braun.10.unsat app09 minisat22 1028.060000 986.700000 eq.atree.braun.11.unsat app09 minisat22 3600.080000 3599.730000 eq.atree.braun.12.unsat app09 minisat22 3600.080000 3598.000000 eq.atree.braun.13.unsat app09 minisat22 3600.070000 3599.560000 eq.atree.braun.8.unsat app09 minisat22 15.980000 15.710000 eq.atree.braun.9.unsat app09 minisat22 79.700000 79.390000 gss-13-s100 app09 minisat22 3.640000 2.130000 gss-14-s100 app09 minisat22 14.500000 11.970000 gss-15-s100 app09 minisat22 24.790000 22.260000 gss-16-s100 app09 minisat22 25.810000 22.970000 icbrt1_32 app09 minisat22 7.290000 5.360000 mulhs016 app09 minisat22 3600.050000 3599.030000 q_query_3_L200_coli.sat app09 minisat22 179.640000 140.440000 q_query_3_l39_lambda app09 minisat22 4.030000 2.310000 q_query_3_l41_lambda app09 minisat22 3.930000 2.270000 rbcl_xits_06_UNSAT app09 minisat22 5.940000 5.420000 rbcl_xits_08_UNSAT app09 minisat22 3600.060000 3598.860000 rbcl_xits_09_UNKNOWN app09 minisat22 3600.060000 3599.220000 rpoc_xits_08_UNSAT app09 minisat22 3600.100000 3589.450000 rpoc_xits_09_UNSAT app09 minisat22 3600.110000 3599.180000 schup-l2s-guid-1-k56 app09 minisat22 51.500000 43.310000 simon-s02b-dp11u10 app09 minisat22 508.660000 507.570000 simon-s02b-k2f-gr-rcs-w8 app09 minisat22 3600.010000 3596.740000 simon-s03-w08-15 app09 minisat22 32.620000 21.820000 total-5-15-u app09 minisat22 3600.020000 3591.330000 velev-engi-uns-1.0-4nd app09 minisat22 9.890000 7.080000 vmpc_24 app09 minisat22 12.620000 11.380000 vmpc_25 app09 minisat22 12.910000 11.520000 vmpc_26 app09 minisat22 30.330000 28.720000 vmpc_28 app09 minisat22 48.240000 45.990000 vmpc_29 app09 minisat22 714.480000 711.850000 vmpc_30 app09 minisat22 56.340000 53.320000 vmpc_33 app09 minisat22 2424.870000 2421.370000 vmpc_34 app09 minisat22 3600.050000 3596.370000 aes_32_2_keyfind_1 app11 CCC_lgl4 3.115000 9.220000 19.020000 20 706 196 36543 AProVE07-21 app11 CCC_lgl4 7.080000 46.270000 149.560000 18 1238 1354 10124 cube-11-h14-sat app11 CCC_lgl4 3600.060000 7125.170000 dated-5-11-u app11 CCC_lgl4 4.290000 27.590000 72.210000 10 119 18 223 dated-5-13-u app11 CCC_lgl4 5.475000 2490.660000 3250.360000 8 120 8 67 dekker.used-as.sat04-989 app11 CCC_lgl4 3.675000 75.360000 279.000000 14 353 83 1238 dp10s10.shuffled app11 CCC_lgl4 0.290000 1.860000 0.490000 11 59 28 199 E02F17 app11 CCC_lgl4 1.515000 111.930000 322.920000 9 82 1 96 E05X15 app11 CCC_lgl4 2.445000 69.410000 248.120000 10 182 24 610 eq.atree.braun.11.unsat app11 CCC_lgl4 62.280000 212.370000 580.740000 15 1629 254 102633 eq.atree.braun.12.unsat app11 CCC_lgl4 335.725000 1093.860000 3011.100000 18 7892 1359 478276 gss-14-s100 app11 CCC_lgl4 2.280000 5.210000 4.480000 18 69 17 87 gss-16-s100 app11 CCC_lgl4 20.855000 29.880000 41.630000 10 144 26 3523 hwmcc10-timeframe-expansion-k45-pdtswvrod6x8p1-tseitin app11 CCC_lgl4 3.115000 43.040000 75.250000 7 28 9 57 k2fix_gr_rcs_w8.shuffled app11 CCC_lgl4 17.825000 3600.060000 14150.310000 8 406 159 937 korf-15 app11 CCC_lgl4 5.760000 82.240000 291.970000 17 351 71 902 korf-17 app11 CCC_lgl4 7.655000 634.850000 2228.470000 13 337 30 730 mulhs016 app11 CCC_lgl4 3600.080000 7195.440000 myciel6-tr.used-as.sat04-320 app11 CCC_lgl4 60.145000 474.990000 1632.940000 20 58853 73145 706503 openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.025-NOTKNOWN app11 CCC_lgl4 3.540000 3600.090000 5629.830000 13 31 158 119 openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN app11 CCC_lgl4 15.535000 3600.050000 14155.410000 22 250 889 432 openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.035-NOTKNOWN app11 CCC_lgl4 14.730000 3600.070000 14157.980000 20 222 750 684 rand_net60-25-10.shuffled app11 CCC_lgl4 5.965000 37.710000 124.520000 19 205 30 17303 rand_net60-40-10.shuffled app11 CCC_lgl4 2.650000 207.640000 797.950000 16 174 59 3276 rand_net70-60-10.shuffled app11 CCC_lgl4 2.810000 260.090000 783.710000 11 216 51 1100 rbcl_xits_08_UNSAT app11 CCC_lgl4 12.230000 3600.060000 14186.840000 16 419 1 1790 rbcl_xits_09_UNKNOWN app11 CCC_lgl4 796.570000 3600.070000 11079.440000 23 9214 837 292032 slp-synthesis-aes-bottom12 app11 CCC_lgl4 1.285000 199.590000 642.690000 13 151 1 481 sokoban-sequential-p145-microban-sequential.040-NOTKNOWN app11 CCC_lgl4 303.025000 3600.080000 13016.760000 13 242 270 2939 traffic_3b_unknown app11 CCC_lgl4 17.425000 120.770000 330.480000 9 368 23 324 traffic_b_unsat app11 CCC_lgl4 26.235000 203.710000 575.140000 8 367 27 351 traffic_fb_unknown app11 CCC_lgl4 20.775000 142.060000 395.820000 8 391 23 322 traffic_f_unknown app11 CCC_lgl4 19.235000 134.040000 382.440000 7 341 25 318 traffic_kkb_unknown app11 CCC_lgl4 19.605000 156.130000 441.020000 9 338 21 391 traffic_pcb_unknown app11 CCC_lgl4 18.605000 139.800000 408.210000 7 336 12 278 vmpc_25.renamed-as.sat05-1913 app11 CCC_lgl4 1.955000 9.880000 25.530000 4 121 30 121 vmpc_29.renamed-as.sat05-1916 app11 CCC_lgl4 4.660000 27.680000 79.550000 5 180 22 288 vmpc_32.renamed-as.sat05-1919 app11 CCC_lgl4 13.400000 471.070000 1814.810000 5 370 105 725 vmpc_34.renamed-as.sat05-1926 app11 CCC_lgl4 179.320000 3600.060000 13514.170000 6 1283 358 19937 vmpc_35.renamed-as.sat05-1921 app11 CCC_lgl4 550.925000 3600.060000 12026.090000 6 2010 495 41549 vmpc_36.renamed-as.sat05-1922 app11 CCC_lgl4 576.995000 3600.020000 11938.970000 6 1500 189 55481 aes_32_2_keyfind_1 app11 CCC_mini 3.165000 11.730000 7.770000 20 736 213 37968 AProVE07-21 app11 CCC_mini 5.275000 120.810000 114.440000 16 914 957 8150 cube-11-h14-sat app11 CCC_mini 3600.050000 7179.060000 dated-5-11-u app11 CCC_mini 4.485000 56.480000 46.370000 10 134 22 254 dated-5-13-u app11 CCC_mini 5.485000 3600.020000 3445.620000 8 125 7 67 dekker.used-as.sat04-989 app11 CCC_mini 3.135000 328.740000 323.960000 15 329 123 970 dp10s10.shuffled app11 CCC_mini 0.230000 1.390000 0.550000 10 41 15 179 E02F17 app11 CCC_mini 1.705000 27.620000 24.780000 10 107 3 109 E05X15 app11 CCC_mini 2.240000 20.270000 16.230000 9 180 16 503 eq.atree.braun.11.unsat app11 CCC_mini 69.505000 403.960000 333.240000 15 1820 351 111420 eq.atree.braun.12.unsat app11 CCC_mini 340.265000 2069.010000 1726.430000 18 8062 1556 484254 gss-14-s100 app11 CCC_mini 13.635000 17.470000 27.140000 16 531 119 466 gss-16-s100 app11 CCC_mini 21.715000 34.180000 43.320000 11 173 36 3605 hwmcc10-timeframe-expansion-k45-pdtswvrod6x8p1-tseitin app11 CCC_mini 2.890000 33.160000 15.120000 9 34 13 55 k2fix_gr_rcs_w8.shuffled app11 CCC_mini 18.260000 3600.090000 3578.120000 8 441 239 923 korf-15 app11 CCC_mini 6.260000 39.220000 31.730000 17 345 70 1230 korf-17 app11 CCC_mini 8.760000 562.320000 551.780000 10 399 42 811 mulhs016 app11 CCC_mini 3600.080000 7053.570000 myciel6-tr.used-as.sat04-320 app11 CCC_mini 64.855000 926.890000 859.020000 20 63231 78023 782907 openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.025-NOTKNOWN app11 CCC_mini 4.595000 3600.050000 3592.730000 14 33 184 423 openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN app11 CCC_mini 19.925000 3600.080000 3432.690000 25 373 1363 544 openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.035-NOTKNOWN app11 CCC_mini 17.125000 3600.080000 3578.330000 18 319 875 695 rand_net60-25-10.shuffled app11 CCC_mini 3.900000 67.430000 62.960000 18 144 22 10899 rand_net60-40-10.shuffled app11 CCC_mini 2.155000 525.610000 522.820000 11 112 32 2120 rand_net70-60-10.shuffled app11 CCC_mini 3.050000 1863.260000 1859.390000 15 259 72 1357 rbcl_xits_08_UNSAT app11 CCC_mini 11.805000 3600.070000 3587.410000 16 420 0 1737 rbcl_xits_09_UNKNOWN app11 CCC_mini 26.070000 3600.080000 3572.890000 16 283 0 4744 slp-synthesis-aes-bottom12 app11 CCC_mini 1.520000 224.640000 221.200000 12 184 3 597 sokoban-sequential-p145-microban-sequential.040-NOTKNOWN app11 CCC_mini 358.650000 3600.060000 3236.240000 16 365 1248 3786 traffic_3b_unknown app11 CCC_mini 17.530000 171.300000 144.560000 9 349 22 344 traffic_b_unsat app11 CCC_mini 19.980000 184.630000 151.710000 8 357 21 345 traffic_fb_unknown app11 CCC_mini 21.025000 180.450000 145.840000 8 398 28 304 traffic_f_unknown app11 CCC_mini 19.195000 189.800000 157.350000 8 351 25 313 traffic_kkb_unknown app11 CCC_mini 19.345000 198.250000 166.520000 8 342 20 398 traffic_pcb_unknown app11 CCC_mini 18.745000 186.470000 153.850000 7 341 11 283 vmpc_25.renamed-as.sat05-1913 app11 CCC_mini 1.910000 8.690000 5.340000 4 119 26 109 vmpc_29.renamed-as.sat05-1916 app11 CCC_mini 4.895000 37.600000 28.950000 5 179 28 297 vmpc_32.renamed-as.sat05-1919 app11 CCC_mini 10.495000 542.940000 529.100000 6 293 57 516 vmpc_34.renamed-as.sat05-1926 app11 CCC_mini 172.625000 3600.080000 3423.780000 6 1180 327 18963 vmpc_35.renamed-as.sat05-1921 app11 CCC_mini 376.620000 3600.080000 3211.790000 6 1969 502 38572 vmpc_36.renamed-as.sat05-1922 app11 CCC_mini 565.740000 3600.060000 3030.310000 6 1492 177 54658 aes_32_2_keyfind_1 app11 CCC_infty 7.480000 7.760000 14.780000 18 20236 5210 0 AProVE07-21 app11 CCC_infty 82.435000 83.070000 164.710000 20 31911 30128 0 cube-11-h14-sat app11 CCC_infty 3600.070000 7180.750000 dated-5-11-u app11 CCC_infty 152.195000 155.400000 304.410000 21 38185 1719 0 dated-5-13-u app11 CCC_infty 3600.080000 7155.600000 dekker.used-as.sat04-989 app11 CCC_infty 44.430000 45.410000 88.850000 18 14526 1814 0 dp10s10.shuffled app11 CCC_infty 1.520000 2.240000 2.910000 16 1215 309 0 E02F17 app11 CCC_infty 20.550000 21.140000 40.980000 23 3455 96 0 E05X15 app11 CCC_infty 1362.075000 1362.640000 2724.060000 30 488541 19918 0 eq.atree.braun.11.unsat app11 CCC_infty 364.715000 365.100000 729.390000 17 103165 31259 0 eq.atree.braun.12.unsat app11 CCC_infty 1741.790000 1742.290000 3483.550000 19 450758 118369 0 gss-14-s100 app11 CCC_infty 1.565000 3.950000 3.050000 13 47 10 0 gss-16-s100 app11 CCC_infty 14.115000 16.830000 28.180000 10 241 99 0 hwmcc10-timeframe-expansion-k45-pdtswvrod6x8p1-tseitin app11 CCC_infty 10.590000 26.760000 21.150000 31 770 55 0 k2fix_gr_rcs_w8.shuffled app11 CCC_infty 3600.090000 7194.660000 korf-15 app11 CCC_infty 11.875000 12.480000 23.750000 29 3984 485 0 korf-17 app11 CCC_infty 3600.080000 7198.830000 mulhs016 app11 CCC_infty 3600.090000 7198.060000 myciel6-tr.used-as.sat04-320 app11 CCC_infty 500.215000 500.480000 1000.330000 24 1930083 1445147 0 openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.025-NOTKNOWN app11 CCC_infty 3600.080000 7195.220000 openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN app11 CCC_infty 3600.070000 7190.490000 openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.035-NOTKNOWN app11 CCC_infty 3600.080000 7192.030000 rand_net60-25-10.shuffled app11 CCC_infty 150.015000 150.430000 299.910000 24 188896 485 0 rand_net60-40-10.shuffled app11 CCC_infty 3600.060000 7199.440000 rand_net70-60-10.shuffled app11 CCC_infty 3600.060000 7198.850000 rbcl_xits_08_UNSAT app11 CCC_infty 3600.070000 7198.700000 rbcl_xits_09_UNKNOWN app11 CCC_infty 3600.080000 7198.810000 slp-synthesis-aes-bottom12 app11 CCC_infty 48.405000 50.220000 96.700000 28 21760 555 0 sokoban-sequential-p145-microban-sequential.040-NOTKNOWN app11 CCC_infty 3600.070000 7190.860000 traffic_3b_unknown app11 CCC_infty 110.520000 119.440000 221.050000 11 5129 611 0 traffic_b_unsat app11 CCC_infty 133.250000 145.550000 266.540000 10 5950 662 0 traffic_fb_unknown app11 CCC_infty 140.115000 153.320000 280.260000 10 5810 590 0 traffic_f_unknown app11 CCC_infty 145.535000 158.580000 291.160000 10 6192 633 0 traffic_kkb_unknown app11 CCC_infty 143.615000 154.990000 287.270000 10 6178 640 0 traffic_pcb_unknown app11 CCC_infty 199.455000 216.200000 398.970000 10 6382 698 0 vmpc_25.renamed-as.sat05-1913 app11 CCC_infty 6.040000 7.360000 11.930000 4 659 174 0 vmpc_29.renamed-as.sat05-1916 app11 CCC_infty 30.865000 33.340000 61.580000 5 3761 1006 0 vmpc_32.renamed-as.sat05-1919 app11 CCC_infty 349.045000 352.280000 698.110000 6 37175 9993 0 vmpc_34.renamed-as.sat05-1926 app11 CCC_infty 1859.320000 1862.640000 3718.600000 7 168778 43672 0 vmpc_35.renamed-as.sat05-1921 app11 CCC_infty 3600.070000 7050.000000 vmpc_36.renamed-as.sat05-1922 app11 CCC_infty 3522.380000 3525.780000 7044.780000 7 273565 71247 0 aes_32_2_keyfind_1 app11 CC_mini 18.355000 50.810000 37.230000 199391 AProVE07-21 app11 CC_mini 11.795000 152.490000 127.150000 20062 cube-11-h14-sat app11 CC_mini 84.795000 3600.070000 3419.840000 70 dated-5-11-u app11 CC_mini 43.860000 148.300000 87.800000 20330 dated-5-13-u app11 CC_mini 101.745000 3600.040000 3391.440000 21048 dekker.used-as.sat04-989 app11 CC_mini 29.595000 218.650000 157.960000 34718 dp10s10.shuffled app11 CC_mini 4.425000 11.370000 8.820000 11828 E02F17 app11 CC_mini 32.820000 130.200000 65.660000 20177 E05X15 app11 CC_mini 113.530000 415.360000 227.180000 80816 eq.atree.braun.11.unsat app11 CC_mini 108.335000 592.490000 373.990000 133606 eq.atree.braun.12.unsat app11 CC_mini 48.035000 2229.240000 2131.680000 88192 gss-14-s100 app11 CC_mini 11.595000 27.730000 23.170000 1410 gss-16-s100 app11 CC_mini 29.820000 72.980000 59.620000 2300 hwmcc10-timeframe-expansion-k45-pdtswvrod6x8p1-tseitin app11 CC_mini 46.345000 128.660000 92.720000 23367 k2fix_gr_rcs_w8.shuffled app11 CC_mini 104.515000 3600.080000 3387.720000 20045 korf-15 app11 CC_mini 157.530000 413.240000 315.310000 99823 korf-17 app11 CC_mini 289.605000 1495.900000 915.410000 75763 mulhs016 app11 CC_mini 7.355000 3600.010000 3583.860000 24674 myciel6-tr.used-as.sat04-320 app11 CC_mini 2.420000 567.790000 560.920000 52785 openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.025-NOTKNOWN app11 CC_mini 22.985000 3600.070000 3551.400000 17083 openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN app11 CC_mini 247.415000 3600.070000 3100.690000 101974 openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.035-NOTKNOWN app11 CC_mini 216.480000 3600.080000 3035.850000 87291 rand_net60-25-10.shuffled app11 CC_mini 12.400000 126.300000 100.730000 68026 rand_net60-40-10.shuffled app11 CC_mini 10.085000 787.290000 766.500000 27127 rand_net70-60-10.shuffled app11 CC_mini 27.535000 920.590000 864.480000 54865 rbcl_xits_08_UNSAT app11 CC_mini 162.510000 3600.090000 3273.790000 128967 rbcl_xits_09_UNKNOWN app11 CC_mini 271.705000 3600.080000 3054.940000 182497 slp-synthesis-aes-bottom12 app11 CC_mini 133.375000 380.640000 267.300000 234008 sokoban-sequential-p145-microban-sequential.040-NOTKNOWN app11 CC_mini 1571.050000 3600.070000 3142.340000 73509 traffic_3b_unknown app11 CC_mini 26.670000 187.430000 122.310000 2600 traffic_b_unsat app11 CC_mini 35.580000 234.150000 150.780000 3372 traffic_fb_unknown app11 CC_mini 39.120000 242.570000 150.780000 3390 traffic_f_unknown app11 CC_mini 36.850000 237.670000 150.560000 3280 traffic_kkb_unknown app11 CC_mini 36.600000 247.050000 162.070000 3216 traffic_pcb_unknown app11 CC_mini 36.275000 222.220000 136.330000 3126 vmpc_25.renamed-as.sat05-1913 app11 CC_mini 2.095000 10.330000 4.550000 320 vmpc_29.renamed-as.sat05-1916 app11 CC_mini 7.700000 46.420000 28.180000 1373 vmpc_32.renamed-as.sat05-1919 app11 CC_mini 13.355000 519.210000 489.290000 1991 vmpc_34.renamed-as.sat05-1926 app11 CC_mini 20.175000 3578.390000 3534.400000 2637 vmpc_35.renamed-as.sat05-1921 app11 CC_mini 23.850000 3600.070000 3546.290000 2784 vmpc_36.renamed-as.sat05-1922 app11 CC_mini 31.860000 3600.080000 3526.080000 3470 aes_32_2_keyfind_1 app11 CC_lgl1 18.030000 70.890000 36.480000 199391 AProVE07-21 app11 CC_lgl1 12.145000 166.920000 140.810000 20062 cube-11-h14-sat app11 CC_lgl1 84.760000 3600.080000 3399.510000 70 dated-5-11-u app11 CC_lgl1 43.605000 189.390000 98.170000 20330 dated-5-13-u app11 CC_lgl1 101.670000 2049.910000 1841.270000 21048 dekker.used-as.sat04-989 app11 CC_lgl1 29.470000 589.210000 527.080000 34718 dp10s10.shuffled app11 CC_lgl1 4.390000 13.710000 8.740000 11828 E02F17 app11 CC_lgl1 32.720000 244.230000 177.400000 20177 E05X15 app11 CC_lgl1 113.665000 817.830000 585.290000 80816 eq.atree.braun.11.unsat app11 CC_lgl1 108.185000 811.620000 587.230000 133606 eq.atree.braun.12.unsat app11 CC_lgl1 48.205000 3216.810000 3115.810000 88192 gss-14-s100 app11 CC_lgl1 11.645000 28.780000 23.240000 1410 gss-16-s100 app11 CC_lgl1 29.505000 77.860000 59.030000 2300 hwmcc10-timeframe-expansion-k45-pdtswvrod6x8p1-tseitin app11 CC_lgl1 45.250000 197.200000 90.590000 23367 k2fix_gr_rcs_w8.shuffled app11 CC_lgl1 104.270000 3600.080000 3380.050000 20045 korf-15 app11 CC_lgl1 158.020000 1218.880000 896.500000 99823 korf-17 app11 CC_lgl1 288.655000 3600.110000 3020.250000 75763 mulhs016 app11 CC_lgl1 7.350000 3600.090000 3584.480000 24674 myciel6-tr.used-as.sat04-320 app11 CC_lgl1 2.420000 1096.280000 1088.410000 52785 openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.025-NOTKNOWN app11 CC_lgl1 23.220000 3600.110000 3550.140000 17083 openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN app11 CC_lgl1 246.325000 3600.110000 3096.520000 101974 openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.035-NOTKNOWN app11 CC_lgl1 214.420000 3600.100000 3038.750000 87291 rand_net60-25-10.shuffled app11 CC_lgl1 12.425000 544.940000 515.570000 68026 rand_net60-40-10.shuffled app11 CC_lgl1 10.085000 3600.100000 3578.750000 27127 rand_net70-60-10.shuffled app11 CC_lgl1 27.720000 3600.080000 3541.710000 54865 rbcl_xits_08_UNSAT app11 CC_lgl1 162.415000 3600.100000 3271.590000 128967 rbcl_xits_09_UNKNOWN app11 CC_lgl1 271.700000 3600.080000 3055.530000 182497 slp-synthesis-aes-bottom12 app11 CC_lgl1 135.925000 651.470000 365.480000 234008 sokoban-sequential-p145-microban-sequential.040-NOTKNOWN app11 CC_lgl1 1588.405000 3600.090000 3177.040000 73509 traffic_3b_unknown app11 CC_lgl1 26.700000 226.070000 161.950000 2600 traffic_b_unsat app11 CC_lgl1 35.380000 271.520000 180.820000 3372 traffic_fb_unknown app11 CC_lgl1 39.040000 288.640000 197.160000 3390 traffic_f_unknown app11 CC_lgl1 36.735000 283.370000 188.580000 3280 traffic_kkb_unknown app11 CC_lgl1 36.335000 281.940000 197.310000 3216 traffic_pcb_unknown app11 CC_lgl1 36.260000 267.050000 181.150000 3126 vmpc_25.renamed-as.sat05-1913 app11 CC_lgl1 2.095000 18.890000 13.280000 320 vmpc_29.renamed-as.sat05-1916 app11 CC_lgl1 7.840000 92.780000 71.510000 1373 vmpc_32.renamed-as.sat05-1919 app11 CC_lgl1 13.470000 1625.930000 1595.720000 1991 vmpc_34.renamed-as.sat05-1926 app11 CC_lgl1 20.235000 3600.050000 3556.200000 2637 vmpc_35.renamed-as.sat05-1921 app11 CC_lgl1 23.455000 3600.090000 3509.840000 2784 vmpc_36.renamed-as.sat05-1922 app11 CC_lgl1 32.220000 3600.110000 3532.290000 3470 aes_32_2_keyfind_1 app11 CC_lgl4 18.315000 48.760000 37.120000 199391 AProVE07-21 app11 CC_lgl4 11.865000 62.230000 145.000000 20062 cube-11-h14-sat app11 CC_lgl4 84.445000 3600.100000 13518.820000 70 dated-5-11-u app11 CC_lgl4 43.930000 120.240000 109.990000 20330 dated-5-13-u app11 CC_lgl4 101.420000 1116.750000 2713.690000 21048 dekker.used-as.sat04-989 app11 CC_lgl4 29.255000 220.320000 628.780000 34718 dp10s10.shuffled app11 CC_lgl4 4.410000 10.960000 8.830000 11828 E02F17 app11 CC_lgl4 32.945000 147.460000 247.270000 20177 E05X15 app11 CC_lgl4 113.465000 490.160000 1030.240000 80816 eq.atree.braun.11.unsat app11 CC_lgl4 108.460000 375.270000 598.250000 133606 eq.atree.braun.12.unsat app11 CC_lgl4 48.155000 885.030000 3114.340000 88192 gss-14-s100 app11 CC_lgl4 11.535000 26.540000 23.040000 1410 gss-16-s100 app11 CC_lgl4 29.715000 66.190000 59.400000 2300 hwmcc10-timeframe-expansion-k45-pdtswvrod6x8p1-tseitin app11 CC_lgl4 46.145000 158.640000 190.540000 23367 k2fix_gr_rcs_w8.shuffled app11 CC_lgl4 103.850000 3600.090000 13402.070000 20045 korf-15 app11 CC_lgl4 157.850000 648.870000 1273.560000 99823 korf-17 app11 CC_lgl4 288.435000 1555.750000 3423.620000 75763 mulhs016 app11 CC_lgl4 7.355000 3600.080000 14176.190000 24674 myciel6-tr.used-as.sat04-320 app11 CC_lgl4 2.475000 508.560000 1880.640000 52785 openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.025-NOTKNOWN app11 CC_lgl4 23.105000 3600.090000 6459.470000 17083 openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN app11 CC_lgl4 246.685000 3600.070000 12359.220000 101974 openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.035-NOTKNOWN app11 CC_lgl4 216.145000 3600.100000 12490.480000 87291 rand_net60-25-10.shuffled app11 CC_lgl4 12.410000 228.640000 797.860000 68026 rand_net60-40-10.shuffled app11 CC_lgl4 9.895000 1212.680000 4636.840000 27127 rand_net70-60-10.shuffled app11 CC_lgl4 27.650000 1439.180000 4397.210000 54865 rbcl_xits_08_UNSAT app11 CC_lgl4 162.310000 3600.080000 12933.020000 128967 rbcl_xits_09_UNKNOWN app11 CC_lgl4 271.315000 3600.080000 12153.700000 182497 slp-synthesis-aes-bottom12 app11 CC_lgl4 172.100000 831.620000 1793.830000 234008 sokoban-sequential-p145-microban-sequential.040-NOTKNOWN app11 CC_lgl4 1580.205000 3600.070000 3160.630000 73509 traffic_3b_unknown app11 CC_lgl4 26.705000 133.940000 216.440000 2600 traffic_b_unsat app11 CC_lgl4 35.530000 149.330000 235.500000 3372 traffic_fb_unknown app11 CC_lgl4 38.900000 160.800000 250.910000 3390 traffic_f_unknown app11 CC_lgl4 36.595000 152.570000 234.870000 3280 traffic_kkb_unknown app11 CC_lgl4 36.630000 156.830000 255.140000 3216 traffic_pcb_unknown app11 CC_lgl4 36.175000 149.070000 234.380000 3126 vmpc_25.renamed-as.sat05-1913 app11 CC_lgl4 2.095000 9.320000 14.520000 320 vmpc_29.renamed-as.sat05-1916 app11 CC_lgl4 7.755000 36.680000 73.270000 1373 vmpc_32.renamed-as.sat05-1919 app11 CC_lgl4 13.335000 436.640000 1624.270000 1991 vmpc_34.renamed-as.sat05-1926 app11 CC_lgl4 20.570000 2574.290000 10105.690000 2637 vmpc_35.renamed-as.sat05-1921 app11 CC_lgl4 23.515000 3600.120000 14037.880000 2784 vmpc_36.renamed-as.sat05-1922 app11 CC_lgl4 31.870000 3600.100000 14113.200000 3470 aes_32_2_keyfind_1 app11 lingeling 6.430000 6.100000 AProVE07-21 app11 lingeling 153.400000 152.630000 cube-11-h14-sat app11 lingeling 2229.360000 2219.300000 dated-5-11-u app11 lingeling 22.830000 18.930000 dated-5-13-u app11 lingeling 3600.050000 3595.360000 dekker.used-as.sat04-989 app11 lingeling 4.140000 3.150000 dp10s10.shuffled app11 lingeling 0.980000 0.570000 E02F17 app11 lingeling 33.950000 32.900000 E05X15 app11 lingeling 7.440000 6.850000 eq.atree.braun.11.unsat app11 lingeling 2749.440000 2749.170000 eq.atree.braun.12.unsat app11 lingeling 3600.060000 3599.610000 gss-14-s100 app11 lingeling 9.270000 6.780000 gss-16-s100 app11 lingeling 6.760000 4.250000 hwmcc10-timeframe-expansion-k45-pdtswvrod6x8p1-tseitin app11 lingeling 24.240000 15.260000 k2fix_gr_rcs_w8.shuffled app11 lingeling 18.740000 15.590000 korf-15 app11 lingeling 40.280000 39.520000 korf-17 app11 lingeling 1367.800000 1366.860000 mulhs016 app11 lingeling 3600.060000 3599.040000 myciel6-tr.used-as.sat04-320 app11 lingeling 3600.150000 3599.830000 openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.025-NOTKNOWN app11 lingeling 3600.090000 3597.600000 openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN app11 lingeling 3600.080000 3595.780000 openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.035-NOTKNOWN app11 lingeling 3600.080000 3595.570000 rand_net60-25-10.shuffled app11 lingeling 2.030000 1.490000 rand_net60-40-10.shuffled app11 lingeling 8.760000 7.830000 rand_net70-60-10.shuffled app11 lingeling 85.560000 84.080000 rbcl_xits_08_UNSAT app11 lingeling 3600.080000 3599.000000 rbcl_xits_09_UNKNOWN app11 lingeling 3600.090000 3599.090000 slp-synthesis-aes-bottom12 app11 lingeling 59.860000 57.960000 sokoban-sequential-p145-microban-sequential.040-NOTKNOWN app11 lingeling 2755.420000 2750.650000 traffic_3b_unknown app11 lingeling 330.810000 321.910000 traffic_b_unsat app11 lingeling 300.820000 288.790000 traffic_fb_unknown app11 lingeling 331.210000 318.010000 traffic_f_unknown app11 lingeling 354.590000 341.640000 traffic_kkb_unknown app11 lingeling 360.080000 348.750000 traffic_pcb_unknown app11 lingeling 335.050000 321.740000 vmpc_25.renamed-as.sat05-1913 app11 lingeling 123.990000 122.100000 vmpc_29.renamed-as.sat05-1916 app11 lingeling 13.990000 11.460000 vmpc_32.renamed-as.sat05-1919 app11 lingeling 3600.170000 3596.690000 vmpc_34.renamed-as.sat05-1926 app11 lingeling 3600.090000 3595.570000 vmpc_35.renamed-as.sat05-1921 app11 lingeling 3600.030000 3596.240000 vmpc_36.renamed-as.sat05-1922 app11 lingeling 3600.080000 3595.840000 aes_32_2_keyfind_1 app11 march_rw 23.730000 23.380000 AProVE07-21 app11 march_rw 267.150000 266.530000 cube-11-h14-sat app11 march_rw 3600.090000 3582.850000 dated-5-11-u app11 march_rw 3600.060000 3583.780000 dated-5-13-u app11 march_rw 3600.070000 3529.670000 dekker.used-as.sat04-989 app11 march_rw 3600.060000 3598.710000 dp10s10.shuffled app11 march_rw 16.420000 15.620000 E02F17 app11 march_rw 3600.080000 3595.040000 E05X15 app11 march_rw 3600.070000 3585.600000 eq.atree.braun.11.unsat app11 march_rw 766.120000 765.710000 eq.atree.braun.12.unsat app11 march_rw 3567.130000 3566.730000 gss-14-s100 app11 march_rw 194.550000 192.090000 gss-16-s100 app11 march_rw 3600.060000 3597.230000 hwmcc10-timeframe-expansion-k45-pdtswvrod6x8p1-tseitin app11 march_rw 3600.070000 3580.780000 k2fix_gr_rcs_w8.shuffled app11 march_rw 3600.080000 3569.440000 korf-15 app11 march_rw 3600.050000 3599.570000 korf-17 app11 march_rw 3600.090000 3599.470000 mulhs016 app11 march_rw 3600.080000 3598.280000 myciel6-tr.used-as.sat04-320 app11 march_rw 3600.070000 3599.680000 openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.025-NOTKNOWN app11 march_rw 3600.050000 3597.670000 openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN app11 march_rw 3600.070000 3593.360000 openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.035-NOTKNOWN app11 march_rw 3600.070000 3596.010000 rand_net60-25-10.shuffled app11 march_rw 3600.090000 3599.240000 rand_net60-40-10.shuffled app11 march_rw 3600.070000 3599.580000 rand_net70-60-10.shuffled app11 march_rw 3600.080000 3579.730000 rbcl_xits_08_UNSAT app11 march_rw 3600.080000 3560.120000 rbcl_xits_09_UNKNOWN app11 march_rw 3600.060000 3599.230000 slp-synthesis-aes-bottom12 app11 march_rw 3600.080000 3598.470000 sokoban-sequential-p145-microban-sequential.040-NOTKNOWN app11 march_rw 3600.080000 3595.060000 traffic_3b_unknown app11 march_rw 3600.080000 3591.110000 traffic_b_unsat app11 march_rw 3600.070000 3566.450000 traffic_fb_unknown app11 march_rw 3600.070000 3586.930000 traffic_f_unknown app11 march_rw 3600.060000 3527.750000 traffic_kkb_unknown app11 march_rw 3600.080000 3579.260000 traffic_pcb_unknown app11 march_rw 3600.100000 3586.670000 vmpc_25.renamed-as.sat05-1913 app11 march_rw 149.640000 148.230000 vmpc_29.renamed-as.sat05-1916 app11 march_rw 3052.140000 3047.410000 vmpc_32.renamed-as.sat05-1919 app11 march_rw 3600.060000 3589.920000 vmpc_34.renamed-as.sat05-1926 app11 march_rw 3600.060000 3596.640000 vmpc_35.renamed-as.sat05-1921 app11 march_rw 3600.050000 3596.860000 vmpc_36.renamed-as.sat05-1922 app11 march_rw 3600.060000 3594.470000 aes_32_2_keyfind_1 app11 minisat22 7.090000 6.610000 AProVE07-21 app11 minisat22 140.110000 139.430000 cube-11-h14-sat app11 minisat22 808.140000 798.450000 dated-5-11-u app11 minisat22 18.830000 15.560000 dated-5-13-u app11 minisat22 3600.080000 3595.210000 dekker.used-as.sat04-989 app11 minisat22 70.430000 66.650000 dp10s10.shuffled app11 minisat22 8.450000 7.660000 E02F17 app11 minisat22 37.010000 36.390000 E05X15 app11 minisat22 6.050000 5.540000 eq.atree.braun.11.unsat app11 minisat22 3600.140000 3599.330000 eq.atree.braun.12.unsat app11 minisat22 3600.070000 3599.390000 gss-14-s100 app11 minisat22 14.330000 11.840000 gss-16-s100 app11 minisat22 25.390000 23.020000 hwmcc10-timeframe-expansion-k45-pdtswvrod6x8p1-tseitin app11 minisat22 18.640000 15.030000 k2fix_gr_rcs_w8.shuffled app11 minisat22 3600.340000 3595.760000 korf-15 app11 minisat22 23.310000 22.680000 korf-17 app11 minisat22 594.460000 593.400000 mulhs016 app11 minisat22 3600.070000 3579.100000 myciel6-tr.used-as.sat04-320 app11 minisat22 3600.060000 3599.670000 openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.025-NOTKNOWN app11 minisat22 3600.090000 3597.350000 openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN app11 minisat22 3600.050000 3595.660000 openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.035-NOTKNOWN app11 minisat22 3600.060000 3595.360000 rand_net60-25-10.shuffled app11 minisat22 5.500000 4.830000 rand_net60-40-10.shuffled app11 minisat22 2107.430000 2106.750000 rand_net70-60-10.shuffled app11 minisat22 3600.060000 3599.120000 rbcl_xits_08_UNSAT app11 minisat22 3600.050000 3599.190000 rbcl_xits_09_UNKNOWN app11 minisat22 3600.060000 3599.210000 slp-synthesis-aes-bottom12 app11 minisat22 36.580000 34.710000 sokoban-sequential-p145-microban-sequential.040-NOTKNOWN app11 minisat22 3600.070000 3595.400000 traffic_3b_unknown app11 minisat22 390.810000 381.780000 traffic_b_unsat app11 minisat22 302.360000 290.380000 traffic_fb_unknown app11 minisat22 397.540000 384.310000 traffic_f_unknown app11 minisat22 349.080000 336.220000 traffic_kkb_unknown app11 minisat22 392.190000 380.390000 traffic_pcb_unknown app11 minisat22 478.590000 465.380000 vmpc_25.renamed-as.sat05-1913 app11 minisat22 13.080000 11.480000 vmpc_29.renamed-as.sat05-1916 app11 minisat22 714.900000 712.290000 vmpc_32.renamed-as.sat05-1919 app11 minisat22 1122.080000 1118.680000 vmpc_34.renamed-as.sat05-1926 app11 minisat22 3600.050000 3596.360000 vmpc_35.renamed-as.sat05-1921 app11 minisat22 3600.080000 3594.620000 vmpc_36.renamed-as.sat05-1922 app11 minisat22 3600.070000 3596.030000 999999000001nw.sat05-447.reshuffled-07 craft09 CCC_lgl4 17.800000 110.030000 362.020000 15 1631 2760 20333 bqwh.40.reg.520.sat05-433.reshuffled-07 craft09 CCC_lgl4 3600.070000 7190.110000 connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07 craft09 CCC_lgl4 287.625000 1238.750000 3728.400000 13 13823 3817 959652 connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07 craft09 CCC_lgl4 104.695000 296.730000 743.780000 14 40038 46168 187170 contest02-Mat26.sat05-457.reshuffled-07 craft09 CCC_lgl4 27.675000 437.340000 1610.060000 19 20540 18653 251638 contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07 craft09 CCC_lgl4 1.890000 974.620000 1096.450000 7 66 29 220 contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07 craft09 CCC_lgl4 1.620000 3600.050000 3669.730000 9 120 23 116 contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07 craft09 CCC_lgl4 5.285000 36.350000 119.600000 11 1168 448 19747 contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07 craft09 CCC_lgl4 17.360000 100.400000 323.540000 11 1105 140 66087 contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07 craft09 CCC_lgl4 12.915000 56.930000 170.190000 13 11955 11823 18592 contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07 craft09 CCC_lgl4 8.765000 33.740000 95.900000 14 7355 7187 11370 counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07 craft09 CCC_lgl4 2.620000 24.120000 83.530000 17 1433 553 20239 em_7_3_6_all craft09 CCC_lgl4 29.305000 29.730000 58.530000 20 439 7 59391 em_7_4_8_all craft09 CCC_lgl4 71.260000 601.250000 2091.240000 14 7151 2805 102006 em_7_4_8_fbc craft09 CCC_lgl4 3363.640000 3600.070000 6727.130000 19 182198 63469 6463148 em_7_4_9_all craft09 CCC_lgl4 3.800000 23.670000 76.480000 10 405 103 3121 em_7_4_9_exp craft09 CCC_lgl4 6.715000 70.520000 250.030000 22 201 6 14346 em_7_4_9_fbc craft09 CCC_lgl4 8.210000 637.810000 2487.620000 12 589 216 10661 ezfact64_3.sat05-450.reshuffled-07 craft09 CCC_lgl4 62.895000 65.230000 125.680000 18 983 151 101786 hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07 craft09 CCC_lgl4 3600.070000 7199.650000 hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07 craft09 CCC_lgl4 3600.070000 7199.720000 instance_n5_i6_pp_ci_ce craft09 CCC_lgl4 0.615000 1.830000 2.490000 10 146 36 88 linvrinv5.sat05-564.reshuffled-07 craft09 CCC_lgl4 62.225000 351.750000 1127.940000 17 90272 210467 530539 mod3_4vars_6gates craft09 CCC_lgl4 1.850000 58.150000 220.840000 16 232 83 5887 new-difficult-20-152-18-95 craft09 CCC_lgl4 0.365000 13.200000 47.360000 7 176 304 382 new-difficult-21-168-19-90 craft09 CCC_lgl4 2.695000 47.590000 159.050000 11 3408 17274 984 new-difficult-22-173-20-80 craft09 CCC_lgl4 0.345000 3.410000 8.490000 5 73 10 194 new-difficult-23-189-21-75 craft09 CCC_lgl4 0.295000 13.570000 44.860000 5 72 25 140 new-difficult-24-193-22-70 craft09 CCC_lgl4 0.480000 4.580000 11.580000 6 58 14 190 new-difficult-26-243-24-70 craft09 CCC_lgl4 0.410000 3600.080000 7649.220000 4 81 6 60 new-difficult-28-302-26-75 craft09 CCC_lgl4 3600.100000 7196.260000 pmg-11-UNSAT.sat05-3939.reshuffled-07 craft09 CCC_lgl4 122.765000 136.300000 245.430000 16 333764 1478313 39677 pmg-12-UNSAT.sat05-3940.reshuffled-07 craft09 CCC_lgl4 534.220000 3600.140000 12041.380000 19 1793255 4467455 2233279 pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07 craft09 CCC_lgl4 2.000000 183.120000 349.240000 15 490 1101 968 Q32inK09 craft09 CCC_lgl4 3.620000 5.330000 7.140000 9 560 2 632 QG6-dead-dnd002.sat05-2713.reshuffled-07 craft09 CCC_lgl4 3.335000 43.910000 157.640000 18 2943 9885 8068 QG6-gensys-icl001.sat05-2695.reshuffled-07 craft09 CCC_lgl4 0.805000 40.720000 151.970000 17 357 641 1734 QG6-gensys-icl009.sat05-2721.reshuffled-07 craft09 CCC_lgl4 1.010000 44.330000 170.410000 18 575 837 3107 QG6-gensys-ukn003.sat05-2726.reshuffled-07 craft09 CCC_lgl4 1.160000 36.690000 139.090000 14 98 36 2485 QG7a-gensys-icl004.sat05-3825.reshuffled-07 craft09 CCC_lgl4 0.545000 20.970000 67.790000 19 147 26 502 QG7a-gensys-ukn005.sat05-3845.reshuffled-07 craft09 CCC_lgl4 0.785000 2.460000 3.460000 13 244 5 783 QG7-dead-dnd001.sat05-3419.reshuffled-07 craft09 CCC_lgl4 1.870000 255.710000 776.590000 11 226 35 4622 QG7-dead-dnd005.sat05-3111.reshuffled-07 craft09 CCC_lgl4 6.010000 94.080000 350.200000 12 1197 426 19338 QG7-gensys-icl001.sat05-2926.reshuffled-07 craft09 CCC_lgl4 1.310000 6.710000 19.820000 9 366 145 1739 QG7-gensys-icl006.sat05-3132.reshuffled-07 craft09 CCC_lgl4 8.325000 141.650000 527.520000 11 797 518 23603 QG7-gensys-icl100.sat05-3226.reshuffled-07 craft09 CCC_lgl4 24.100000 411.490000 1528.180000 11 1235 416 65334 QG7-gensys-ukn003.sat05-3346.reshuffled-07 craft09 CCC_lgl4 82.750000 566.480000 1897.530000 12 7941 5210 312425 QG8-gensys-ukn005.sat05-3584.reshuffled-07 craft09 CCC_lgl4 6.570000 11.740000 16.870000 10 238 26 375 QG-gensys-brn008.sat05-2685.reshuffled-07 craft09 CCC_lgl4 0.440000 49.080000 185.030000 9 255 82 978 rbsat-v1375c111739g6 craft09 CCC_lgl4 3600.080000 7168.400000 rbsat-v760c43649g10 craft09 CCC_lgl4 3.090000 13.650000 26.900000 9 335 171 1061 rbsat-v760c43649g1 craft09 CCC_lgl4 2.090000 58.520000 130.260000 11 266 120 499 rbsat-v760c43649g4 craft09 CCC_lgl4 3.655000 262.410000 452.820000 8 476 340 1595 rbsat-v760c43649g8 craft09 CCC_lgl4 1.965000 14.920000 37.150000 9 272 181 549 rbsat-v760c43649gyes10 craft09 CCC_lgl4 1.560000 8.850000 14.670000 7 191 87 383 rbsat-v760c43649gyes1-random craft09 CCC_lgl4 3.840000 22.330000 58.980000 10 630 567 1397 rbsat-v760c43649gyes4 craft09 CCC_lgl4 1.930000 15.090000 37.770000 8 287 169 514 rbsat-v760c43649gyes6 craft09 CCC_lgl4 5.475000 36.980000 110.170000 10 813 800 2606 rbsat-v945c61409g10 craft09 CCC_lgl4 6.325000 51.100000 163.370000 12 267 88 2538 rbsat-v945c61409gyes2 craft09 CCC_lgl4 1778.985000 3600.050000 7177.450000 19 47640 46281 1910821 rbsat-v945c61409gyes4 craft09 CCC_lgl4 39.495000 204.590000 643.190000 13 1484 1049 34075 rbsat-v945c61409gyes8 craft09 CCC_lgl4 2657.705000 3600.080000 5315.360000 19 89576 108721 2974029 rbsat-v945c61409gyes9 craft09 CCC_lgl4 14.230000 413.850000 1564.420000 21 552 316 8786 sgen1-sat-140-100 craft09 CCC_lgl4 2.115000 2.310000 4.080000 16 2822 41614 8 sgen1-sat-160-100 craft09 CCC_lgl4 17.045000 17.250000 34.090000 19 23807 355403 251 sgen1-sat-180-100 craft09 CCC_lgl4 142.275000 142.550000 284.560000 22 159651 2788072 996 sgen1-sat-200-100 craft09 CCC_lgl4 221.980000 222.170000 443.820000 24 193616 3978397 2111 sgen1-unsat-61-100 craft09 CCC_lgl4 2.125000 2.470000 4.120000 20 8583 40479 1052 unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07 craft09 CCC_lgl4 3600.070000 7055.000000 unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07 craft09 CCC_lgl4 304.390000 3341.840000 12060.000000 30 110745 411017 2301142 999999000001nw.sat05-447.reshuffled-07 craft09 CCC_mini 14.885000 115.660000 99.010000 15 1805 2810 14412 bqwh.40.reg.520.sat05-433.reshuffled-07 craft09 CCC_mini 3600.010000 7198.870000 connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07 craft09 CCC_mini 282.925000 2220.340000 1933.380000 13 13670 3699 942582 connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07 craft09 CCC_mini 101.835000 490.450000 387.310000 14 37985 42255 182877 contest02-Mat26.sat05-457.reshuffled-07 craft09 CCC_mini 24.995000 676.430000 650.160000 18 18945 16675 230984 contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07 craft09 CCC_mini 2.095000 748.080000 743.370000 8 100 77 272 contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07 craft09 CCC_mini 1.695000 470.380000 466.240000 9 131 27 127 contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07 craft09 CCC_mini 5.565000 59.180000 50.860000 11 1223 505 21404 contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07 craft09 CCC_mini 16.770000 129.880000 107.520000 11 1055 129 65289 contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07 craft09 CCC_mini 14.625000 90.260000 75.100000 14 13347 13489 20458 contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07 craft09 CCC_mini 10.450000 52.750000 41.680000 13 9191 8968 11937 counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07 craft09 CCC_mini 2.920000 60.600000 57.150000 16 1518 563 22471 em_7_3_6_all craft09 CCC_mini 131.790000 132.160000 263.410000 24 1945 85 263313 em_7_4_8_all craft09 CCC_mini 70.365000 723.040000 652.040000 15 6774 2666 100820 em_7_4_8_fbc craft09 CCC_mini 3330.650000 3600.070000 6661.330000 19 170439 57179 6395845 em_7_4_9_all craft09 CCC_mini 3.905000 34.620000 28.830000 11 394 102 3290 em_7_4_9_exp craft09 CCC_mini 10.205000 62.350000 51.140000 22 295 28 23108 em_7_4_9_fbc craft09 CCC_mini 7.770000 1047.250000 1038.670000 11 556 178 9927 ezfact64_3.sat05-450.reshuffled-07 craft09 CCC_mini 95.185000 300.040000 198.000000 18 1528 145 159658 hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07 craft09 CCC_mini 3600.080000 7199.780000 hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07 craft09 CCC_mini 3600.090000 7199.540000 instance_n5_i6_pp_ci_ce craft09 CCC_mini 0.645000 1.470000 1.260000 11 144 55 79 linvrinv5.sat05-564.reshuffled-07 craft09 CCC_mini 64.785000 668.760000 601.390000 17 95755 226703 543433 mod3_4vars_6gates craft09 CCC_mini 2.105000 105.250000 102.730000 16 277 105 7065 new-difficult-20-152-18-95 craft09 CCC_mini 0.730000 109.140000 107.610000 10 673 2292 512 new-difficult-21-168-19-90 craft09 CCC_mini 4.630000 3600.070000 3594.660000 10 6912 29676 3239 new-difficult-22-173-20-80 craft09 CCC_mini 0.345000 12.360000 11.060000 6 85 63 195 new-difficult-23-189-21-75 craft09 CCC_mini 0.325000 50.800000 48.610000 5 62 27 143 new-difficult-24-193-22-70 craft09 CCC_mini 0.450000 10.170000 8.310000 6 57 13 181 new-difficult-26-243-24-70 craft09 CCC_mini 0.450000 3600.060000 3596.810000 4 83 11 63 new-difficult-28-302-26-75 craft09 CCC_mini 3600.090000 7196.660000 pmg-11-UNSAT.sat05-3939.reshuffled-07 craft09 CCC_mini 118.645000 159.320000 237.220000 16 352049 1368341 56690 pmg-12-UNSAT.sat05-3940.reshuffled-07 craft09 CCC_mini 391.930000 3600.080000 3205.230000 18 1228498 2463976 2712418 pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07 craft09 CCC_mini 1.205000 467.120000 464.090000 14 259 502 452 Q32inK09 craft09 CCC_mini 3.680000 8.450000 7.360000 9 567 3 592 QG6-dead-dnd002.sat05-2713.reshuffled-07 craft09 CCC_mini 5.055000 110.710000 105.220000 20 4076 17741 10656 QG6-gensys-icl001.sat05-2695.reshuffled-07 craft09 CCC_mini 0.825000 74.030000 72.530000 13 276 125 1474 QG6-gensys-icl009.sat05-2721.reshuffled-07 craft09 CCC_mini 0.930000 96.320000 94.940000 18 534 996 2878 QG6-gensys-ukn003.sat05-2726.reshuffled-07 craft09 CCC_mini 1.165000 177.190000 175.520000 13 78 20 2189 QG7a-gensys-icl004.sat05-3825.reshuffled-07 craft09 CCC_mini 0.515000 99.980000 98.870000 18 152 29 505 QG7a-gensys-ukn005.sat05-3845.reshuffled-07 craft09 CCC_mini 0.805000 3.440000 1.910000 10 218 3 831 QG7-dead-dnd001.sat05-3419.reshuffled-07 craft09 CCC_mini 1.710000 444.010000 436.850000 12 176 29 4247 QG7-dead-dnd005.sat05-3111.reshuffled-07 craft09 CCC_mini 5.685000 165.070000 159.090000 12 1016 364 18410 QG7-gensys-icl001.sat05-2926.reshuffled-07 craft09 CCC_mini 1.270000 12.240000 10.550000 8 375 217 1604 QG7-gensys-icl006.sat05-3132.reshuffled-07 craft09 CCC_mini 6.700000 235.680000 228.370000 11 640 397 18757 QG7-gensys-icl100.sat05-3226.reshuffled-07 craft09 CCC_mini 28.015000 933.810000 905.050000 12 1424 618 77482 QG7-gensys-ukn003.sat05-3346.reshuffled-07 craft09 CCC_mini 85.260000 989.480000 902.770000 12 8139 5413 319916 QG8-gensys-ukn005.sat05-3584.reshuffled-07 craft09 CCC_mini 7.175000 17.530000 14.220000 9 276 76 413 QG-gensys-brn008.sat05-2685.reshuffled-07 craft09 CCC_mini 0.430000 82.100000 81.340000 9 275 36 938 rbsat-v1375c111739g6 craft09 CCC_mini 3600.090000 7191.610000 rbsat-v760c43649g10 craft09 CCC_mini 3.080000 22.380000 15.630000 9 362 188 1021 rbsat-v760c43649g1 craft09 CCC_mini 2.010000 60.800000 55.000000 9 239 81 511 rbsat-v760c43649g4 craft09 CCC_mini 3.265000 231.820000 224.840000 9 409 244 1334 rbsat-v760c43649g8 craft09 CCC_mini 2.400000 27.260000 21.130000 10 392 342 601 rbsat-v760c43649gyes10 craft09 CCC_mini 1.645000 14.400000 8.650000 7 210 104 431 rbsat-v760c43649gyes1-random craft09 CCC_mini 3.410000 7.070000 6.840000 9 605 480 1206 rbsat-v760c43649gyes4 craft09 CCC_mini 1.960000 26.890000 21.280000 8 294 210 475 rbsat-v760c43649gyes6 craft09 CCC_mini 4.260000 75.210000 67.340000 9 655 666 1618 rbsat-v945c61409g10 craft09 CCC_mini 5.790000 115.800000 106.240000 11 272 76 2233 rbsat-v945c61409gyes2 craft09 CCC_mini 1696.700000 3600.060000 3393.350000 19 41664 36930 1775759 rbsat-v945c61409gyes4 craft09 CCC_mini 37.810000 934.060000 891.700000 14 1674 1369 32250 rbsat-v945c61409gyes8 craft09 CCC_mini 2431.100000 3600.040000 4862.220000 18 79124 89485 2735284 rbsat-v945c61409gyes9 craft09 CCC_mini 11.970000 1015.210000 999.220000 16 422 152 6813 sgen1-sat-140-100 craft09 CCC_mini 2.090000 2.240000 4.050000 16 2926 40867 13 sgen1-sat-160-100 craft09 CCC_mini 17.285000 17.440000 34.480000 19 24639 354935 194 sgen1-sat-180-100 craft09 CCC_mini 147.210000 147.560000 294.430000 21 163709 2888736 1355 sgen1-sat-200-100 craft09 CCC_mini 225.645000 226.010000 451.230000 24 249041 3912285 2905 sgen1-unsat-61-100 craft09 CCC_mini 2.090000 2.330000 4.020000 20 8031 41406 979 unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07 craft09 CCC_mini 3600.070000 7150.150000 unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07 craft09 CCC_mini 299.950000 3600.070000 3298.250000 28 109415 394687 2266662 999999000001nw.sat05-447.reshuffled-07 craft09 CCC_infty 68.940000 70.250000 137.880000 16 22042 5281 0 bqwh.40.reg.520.sat05-433.reshuffled-07 craft09 CCC_infty 3600.090000 7199.220000 connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07 craft09 CCC_infty 1743.530000 1744.080000 3487.040000 13 1456222 619768 0 connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07 craft09 CCC_infty 296.865000 297.370000 593.730000 14 211376 173978 0 contest02-Mat26.sat05-457.reshuffled-07 craft09 CCC_infty 3600.060000 7199.550000 contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07 craft09 CCC_infty 3600.050000 7102.300000 contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07 craft09 CCC_infty 3600.080000 7051.870000 contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07 craft09 CCC_infty 49.905000 50.370000 99.810000 12 70912 10699 0 contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07 craft09 CCC_infty 119.925000 120.530000 239.800000 12 115443 39831 0 contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07 craft09 CCC_infty 66.305000 66.720000 132.500000 13 36317 54826 0 contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07 craft09 CCC_infty 39.850000 40.350000 79.700000 14 19726 30880 0 counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07 craft09 CCC_infty 1002.265000 1002.530000 2004.540000 31 320370 14311317 0 em_7_3_6_all craft09 CCC_infty 15.160000 15.560000 30.320000 21 11947 236 0 em_7_4_8_all craft09 CCC_infty 2020.435000 2020.800000 4040.790000 18 1078937 56466 0 em_7_4_8_fbc craft09 CCC_infty 3600.060000 7198.550000 em_7_4_9_all craft09 CCC_infty 100.820000 102.450000 201.570000 14 43919 4739 0 em_7_4_9_exp craft09 CCC_infty 315.595000 316.050000 631.050000 21 288890 3231 0 em_7_4_9_fbc craft09 CCC_infty 2679.565000 2680.060000 5358.970000 15 1350327 68312 0 ezfact64_3.sat05-450.reshuffled-07 craft09 CCC_infty 254.445000 256.730000 508.840000 20 118259 44797 0 hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07 craft09 CCC_infty 3600.070000 7199.950000 hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07 craft09 CCC_infty 3600.070000 7199.990000 instance_n5_i6_pp_ci_ce craft09 CCC_infty 0.645000 1.160000 1.290000 13 107 30 0 linvrinv5.sat05-564.reshuffled-07 craft09 CCC_infty 216.010000 220.630000 431.950000 19 745559 1518312 0 mod3_4vars_6gates craft09 CCC_infty 160.635000 164.040000 321.170000 31 541516 69102 0 new-difficult-20-152-18-95 craft09 CCC_infty 77.195000 77.910000 154.340000 13 123496 285885 0 new-difficult-21-168-19-90 craft09 CCC_infty 2949.700000 2950.250000 5899.420000 23 3479889 12279859 0 new-difficult-22-173-20-80 craft09 CCC_infty 27.925000 29.310000 55.780000 15 29797 128074 0 new-difficult-23-189-21-75 craft09 CCC_infty 135.290000 137.180000 270.580000 18 139212 482237 0 new-difficult-24-193-22-70 craft09 CCC_infty 17.125000 18.130000 34.160000 11 21168 20358 0 new-difficult-26-243-24-70 craft09 CCC_infty 3600.050000 7195.120000 new-difficult-28-302-26-75 craft09 CCC_infty 3600.070000 7195.720000 pmg-11-UNSAT.sat05-3939.reshuffled-07 craft09 CCC_infty 84.790000 85.020000 169.520000 16 17847 572366 0 pmg-12-UNSAT.sat05-3940.reshuffled-07 craft09 CCC_infty 747.020000 747.300000 1494.000000 18 507434 4767148 0 pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07 craft09 CCC_infty 101.760000 103.490000 203.520000 18 80375 30519 0 Q32inK09 craft09 CCC_infty 6.760000 7.090000 13.510000 9 1781 97 0 QG6-dead-dnd002.sat05-2713.reshuffled-07 craft09 CCC_infty 3600.080000 7199.690000 QG6-gensys-icl001.sat05-2695.reshuffled-07 craft09 CCC_infty 3600.040000 7165.210000 QG6-gensys-icl009.sat05-2721.reshuffled-07 craft09 CCC_infty 3600.060000 7198.490000 QG6-gensys-ukn003.sat05-2726.reshuffled-07 craft09 CCC_infty 3600.080000 7199.380000 QG7a-gensys-icl004.sat05-3825.reshuffled-07 craft09 CCC_infty 3600.080000 7195.810000 QG7a-gensys-ukn005.sat05-3845.reshuffled-07 craft09 CCC_infty 1.800000 2.460000 3.460000 22 2241 472 0 QG7-dead-dnd001.sat05-3419.reshuffled-07 craft09 CCC_infty 438.265000 438.790000 876.480000 13 541116 133115 0 QG7-dead-dnd005.sat05-3111.reshuffled-07 craft09 CCC_infty 186.680000 186.950000 373.220000 13 275804 95116 0 QG7-gensys-icl001.sat05-2926.reshuffled-07 craft09 CCC_infty 13.425000 14.000000 26.810000 11 15255 4865 0 QG7-gensys-icl006.sat05-3132.reshuffled-07 craft09 CCC_infty 546.680000 547.180000 1093.340000 12 613304 167897 0 QG7-gensys-icl100.sat05-3226.reshuffled-07 craft09 CCC_infty 1756.325000 1757.070000 3512.650000 14 1796214 517868 0 QG7-gensys-ukn003.sat05-3346.reshuffled-07 craft09 CCC_infty 940.430000 940.930000 1880.770000 13 841715 597327 0 QG8-gensys-ukn005.sat05-3584.reshuffled-07 craft09 CCC_infty 11.195000 12.000000 22.340000 10 2632 407 0 QG-gensys-brn008.sat05-2685.reshuffled-07 craft09 CCC_infty 3600.060000 7160.250000 rbsat-v1375c111739g6 craft09 CCC_infty 3600.050000 7191.250000 rbsat-v760c43649g10 craft09 CCC_infty 15.315000 18.950000 30.520000 12 3798 4400 0 rbsat-v760c43649g1 craft09 CCC_infty 52.225000 55.910000 104.360000 14 15998 18075 0 rbsat-v760c43649g4 craft09 CCC_infty 152.200000 155.890000 304.390000 16 45876 64681 0 rbsat-v760c43649g8 craft09 CCC_infty 17.475000 21.030000 34.890000 12 3877 7076 0 rbsat-v760c43649gyes10 craft09 CCC_infty 8.680000 12.260000 17.200000 9 2224 2325 0 rbsat-v760c43649gyes1-random craft09 CCC_infty 35.480000 39.130000 70.850000 16 7308 16260 0 rbsat-v760c43649gyes4 craft09 CCC_infty 17.650000 21.200000 35.270000 12 3445 6536 0 rbsat-v760c43649gyes6 craft09 CCC_infty 51.125000 54.710000 102.170000 15 11827 23620 0 rbsat-v945c61409g10 craft09 CCC_infty 165.040000 168.740000 329.940000 23 68640 41992 0 rbsat-v945c61409gyes2 craft09 CCC_infty 3600.080000 7192.330000 rbsat-v945c61409gyes4 craft09 CCC_infty 487.050000 490.900000 974.050000 19 165317 222479 0 rbsat-v945c61409gyes8 craft09 CCC_infty 3600.070000 7192.200000 rbsat-v945c61409gyes9 craft09 CCC_infty 1333.410000 1337.110000 2666.770000 23 507953 494839 0 sgen1-sat-140-100 craft09 CCC_infty 2.220000 2.370000 4.240000 17 422 34711 0 sgen1-sat-160-100 craft09 CCC_infty 3.240000 3.360000 6.470000 18 613 52053 0 sgen1-sat-180-100 craft09 CCC_infty 43.485000 43.670000 86.970000 21 6938 654671 0 sgen1-sat-200-100 craft09 CCC_infty 384.695000 385.150000 769.270000 23 54787 5003199 0 sgen1-unsat-61-100 craft09 CCC_infty 1.765000 1.880000 3.470000 20 2399 31880 0 unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07 craft09 CCC_infty 3600.070000 7196.520000 unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07 craft09 CCC_infty 3600.050000 7199.210000 999999000001nw.sat05-447.reshuffled-07 craft09 CC_mini 18.185000 123.630000 85.680000 28792 bqwh.40.reg.520.sat05-433.reshuffled-07 craft09 CC_mini 98.625000 3600.060000 3401.080000 424487 connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07 craft09 CC_mini 8.420000 1739.700000 1722.210000 42343 connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07 craft09 CC_mini 4.885000 327.550000 316.680000 18820 contest02-Mat26.sat05-457.reshuffled-07 craft09 CC_mini 5.305000 526.030000 514.700000 101024 contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07 craft09 CC_mini 1.185000 631.020000 625.820000 375 contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07 craft09 CC_mini 2.075000 514.120000 503.110000 1240 contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07 craft09 CC_mini 9.550000 72.900000 52.270000 47098 contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07 craft09 CC_mini 7.085000 104.970000 90.040000 31634 contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07 craft09 CC_mini 5.520000 92.620000 80.580000 22508 contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07 craft09 CC_mini 3.530000 52.030000 44.350000 12929 counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07 craft09 CC_mini 12.285000 89.530000 64.250000 86526 em_7_3_6_all craft09 CC_mini 143.945000 309.590000 289.050000 484853 em_7_4_8_all craft09 CC_mini 82.250000 785.980000 620.480000 139610 em_7_4_8_fbc craft09 CC_mini 135.810000 3600.060000 3327.140000 283359 em_7_4_9_all craft09 CC_mini 28.110000 101.020000 56.300000 35181 em_7_4_9_exp craft09 CC_mini 95.050000 259.470000 191.060000 393461 em_7_4_9_fbc craft09 CC_mini 69.940000 1178.270000 1037.520000 107416 ezfact64_3.sat05-450.reshuffled-07 craft09 CC_mini 292.790000 861.530000 587.210000 544773 hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07 craft09 CC_mini 11.050000 3600.070000 3572.350000 169017 hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07 craft09 CC_mini 11.055000 3600.080000 3577.430000 167951 instance_n5_i6_pp_ci_ce craft09 CC_mini 4.675000 11.750000 9.290000 8687 linvrinv5.sat05-564.reshuffled-07 craft09 CC_mini 12.460000 370.660000 344.170000 252916 mod3_4vars_6gates craft09 CC_mini 4.675000 116.090000 101.970000 39768 new-difficult-20-152-18-95 craft09 CC_mini 0.245000 51.800000 50.590000 658 new-difficult-21-168-19-90 craft09 CC_mini 0.360000 3600.070000 3557.380000 1082 new-difficult-22-173-20-80 craft09 CC_mini 0.390000 13.680000 12.050000 846 new-difficult-23-189-21-75 craft09 CC_mini 0.505000 67.180000 64.350000 969 new-difficult-24-193-22-70 craft09 CC_mini 1.085000 12.430000 8.740000 3096 new-difficult-26-243-24-70 craft09 CC_mini 0.480000 3600.050000 3596.530000 354 new-difficult-28-302-26-75 craft09 CC_mini 2.800000 3600.090000 3592.230000 7076 pmg-11-UNSAT.sat05-3939.reshuffled-07 craft09 CC_mini 10.110000 379.800000 356.220000 186150 pmg-12-UNSAT.sat05-3940.reshuffled-07 craft09 CC_mini 25.300000 3389.910000 3301.540000 624838 pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07 craft09 CC_mini 0.415000 332.750000 329.060000 395 Q32inK09 craft09 CC_mini 7.745000 20.020000 15.480000 6416 QG6-dead-dnd002.sat05-2713.reshuffled-07 craft09 CC_mini 2.905000 234.660000 219.140000 27390 QG6-gensys-icl001.sat05-2695.reshuffled-07 craft09 CC_mini 3.490000 100.270000 89.080000 26970 QG6-gensys-icl009.sat05-2721.reshuffled-07 craft09 CC_mini 3.925000 126.890000 118.450000 32489 QG6-gensys-ukn003.sat05-2726.reshuffled-07 craft09 CC_mini 6.230000 200.190000 187.060000 52796 QG7a-gensys-icl004.sat05-3825.reshuffled-07 craft09 CC_mini 10.905000 110.540000 86.370000 46887 QG7a-gensys-ukn005.sat05-3845.reshuffled-07 craft09 CC_mini 33.935000 70.940000 68.260000 109969 QG7-dead-dnd001.sat05-3419.reshuffled-07 craft09 CC_mini 6.845000 484.570000 470.470000 25500 QG7-dead-dnd005.sat05-3111.reshuffled-07 craft09 CC_mini 4.330000 236.770000 225.460000 20286 QG7-gensys-icl001.sat05-2926.reshuffled-07 craft09 CC_mini 1.405000 14.250000 11.000000 3499 QG7-gensys-icl006.sat05-3132.reshuffled-07 craft09 CC_mini 14.905000 304.700000 270.630000 61504 QG7-gensys-icl100.sat05-3226.reshuffled-07 craft09 CC_mini 34.985000 969.340000 897.830000 123935 QG7-gensys-ukn003.sat05-3346.reshuffled-07 craft09 CC_mini 38.130000 1080.500000 960.080000 115599 QG8-gensys-ukn005.sat05-3584.reshuffled-07 craft09 CC_mini 11.130000 29.940000 22.290000 17282 QG-gensys-brn008.sat05-2685.reshuffled-07 craft09 CC_mini 1.970000 105.390000 100.940000 16993 rbsat-v1375c111739g6 craft09 CC_mini 148.325000 3600.050000 3298.120000 203614 rbsat-v760c43649g10 craft09 CC_mini 5.220000 28.270000 14.200000 4531 rbsat-v760c43649g1 craft09 CC_mini 3.040000 66.650000 56.810000 2559 rbsat-v760c43649g4 craft09 CC_mini 5.990000 450.300000 424.150000 6697 rbsat-v760c43649g8 craft09 CC_mini 2.610000 28.350000 18.560000 2199 rbsat-v760c43649gyes10 craft09 CC_mini 1.970000 16.180000 8.190000 1366 rbsat-v760c43649gyes1-random craft09 CC_mini 6.230000 52.150000 35.920000 6917 rbsat-v760c43649gyes4 craft09 CC_mini 2.600000 27.380000 18.360000 1785 rbsat-v760c43649gyes6 craft09 CC_mini 6.740000 75.310000 58.040000 7268 rbsat-v945c61409g10 craft09 CC_mini 17.965000 157.840000 117.950000 22052 rbsat-v945c61409gyes2 craft09 CC_mini 47.105000 3600.090000 3501.940000 86708 rbsat-v945c61409gyes4 craft09 CC_mini 23.195000 1020.230000 969.710000 31624 rbsat-v945c61409gyes8 craft09 CC_mini 40.655000 3600.080000 3514.490000 75289 rbsat-v945c61409gyes9 craft09 CC_mini 25.170000 1101.310000 1046.650000 31306 sgen1-sat-140-100 craft09 CC_mini 0.945000 14.290000 12.090000 37737 sgen1-sat-160-100 craft09 CC_mini 3.190000 45.360000 38.260000 146176 sgen1-sat-180-100 craft09 CC_mini 8.305000 624.870000 606.230000 409668 sgen1-sat-200-100 craft09 CC_mini 14.330000 3600.050000 3568.520000 815972 sgen1-unsat-61-100 craft09 CC_mini 0.475000 5.300000 3.910000 19631 unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07 craft09 CC_mini 251.180000 3600.020000 3094.720000 228233 unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07 craft09 CC_mini 26.490000 3600.080000 3546.460000 64055 999999000001nw.sat05-447.reshuffled-07 craft09 CC_lgl1 18.210000 306.170000 266.580000 28792 bqwh.40.reg.520.sat05-433.reshuffled-07 craft09 CC_lgl1 98.615000 3600.080000 3400.750000 424487 connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07 craft09 CC_lgl1 8.385000 2507.220000 2388.400000 42343 connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07 craft09 CC_lgl1 4.950000 555.280000 543.470000 18820 contest02-Mat26.sat05-457.reshuffled-07 craft09 CC_lgl1 5.310000 998.970000 979.840000 101024 contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07 craft09 CC_lgl1 1.190000 1176.300000 1171.090000 375 contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07 craft09 CC_lgl1 2.025000 819.440000 780.510000 1240 contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07 craft09 CC_lgl1 9.605000 141.100000 118.210000 47098 contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07 craft09 CC_lgl1 7.070000 210.150000 193.500000 31634 contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07 craft09 CC_lgl1 5.510000 169.380000 156.250000 22508 contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07 craft09 CC_lgl1 3.525000 95.830000 87.440000 12929 counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07 craft09 CC_lgl1 12.295000 138.060000 108.050000 86526 em_7_3_6_all craft09 CC_lgl1 143.895000 304.140000 289.010000 484853 em_7_4_8_all craft09 CC_lgl1 80.850000 1758.630000 1582.190000 139610 em_7_4_8_fbc craft09 CC_lgl1 135.840000 3600.090000 3326.540000 283359 em_7_4_9_all craft09 CC_lgl1 27.660000 146.260000 84.050000 35181 em_7_4_9_exp craft09 CC_lgl1 94.985000 826.590000 622.980000 393461 em_7_4_9_fbc craft09 CC_lgl1 69.920000 2787.240000 2643.740000 107416 ezfact64_3.sat05-450.reshuffled-07 craft09 CC_lgl1 364.500000 1653.700000 900.680000 544773 hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07 craft09 CC_lgl1 11.155000 3600.160000 3577.110000 169017 hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07 craft09 CC_lgl1 11.040000 3600.150000 3576.720000 167951 instance_n5_i6_pp_ci_ce craft09 CC_lgl1 4.670000 20.780000 9.970000 8687 linvrinv5.sat05-564.reshuffled-07 craft09 CC_lgl1 12.470000 562.790000 520.140000 252916 mod3_4vars_6gates craft09 CC_lgl1 4.690000 275.030000 262.840000 39768 new-difficult-20-152-18-95 craft09 CC_lgl1 0.260000 53.940000 52.600000 658 new-difficult-21-168-19-90 craft09 CC_lgl1 0.360000 1854.910000 1853.530000 1082 new-difficult-22-173-20-80 craft09 CC_lgl1 0.380000 10.350000 8.610000 846 new-difficult-23-189-21-75 craft09 CC_lgl1 0.505000 65.160000 62.320000 969 new-difficult-24-193-22-70 craft09 CC_lgl1 1.110000 15.160000 11.760000 3096 new-difficult-26-243-24-70 craft09 CC_lgl1 0.460000 3600.090000 3596.020000 354 new-difficult-28-302-26-75 craft09 CC_lgl1 2.855000 3600.070000 3584.090000 7076 pmg-11-UNSAT.sat05-3939.reshuffled-07 craft09 CC_lgl1 10.265000 378.390000 332.670000 186150 pmg-12-UNSAT.sat05-3940.reshuffled-07 craft09 CC_lgl1 25.335000 3600.230000 3513.800000 624838 pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07 craft09 CC_lgl1 0.415000 194.190000 191.460000 395 Q32inK09 craft09 CC_lgl1 7.860000 21.320000 15.660000 6416 QG6-dead-dnd002.sat05-2713.reshuffled-07 craft09 CC_lgl1 2.975000 724.040000 716.300000 27390 QG6-gensys-icl001.sat05-2695.reshuffled-07 craft09 CC_lgl1 3.470000 243.080000 234.080000 26970 QG6-gensys-icl009.sat05-2721.reshuffled-07 craft09 CC_lgl1 3.935000 317.180000 307.110000 32489 QG6-gensys-ukn003.sat05-2726.reshuffled-07 craft09 CC_lgl1 6.225000 613.370000 596.930000 52796 QG7a-gensys-icl004.sat05-3825.reshuffled-07 craft09 CC_lgl1 10.775000 130.240000 103.950000 46887 QG7a-gensys-ukn005.sat05-3845.reshuffled-07 craft09 CC_lgl1 27.900000 59.370000 56.010000 109969 QG7-dead-dnd001.sat05-3419.reshuffled-07 craft09 CC_lgl1 6.720000 754.710000 739.210000 25500 QG7-dead-dnd005.sat05-3111.reshuffled-07 craft09 CC_lgl1 4.330000 385.380000 375.310000 20286 QG7-gensys-icl001.sat05-2926.reshuffled-07 craft09 CC_lgl1 1.370000 20.750000 17.230000 3499 QG7-gensys-icl006.sat05-3132.reshuffled-07 craft09 CC_lgl1 14.890000 546.740000 512.880000 61504 QG7-gensys-icl100.sat05-3226.reshuffled-07 craft09 CC_lgl1 34.990000 1810.720000 1732.760000 123935 QG7-gensys-ukn003.sat05-3346.reshuffled-07 craft09 CC_lgl1 29.575000 1260.730000 1193.960000 115599 QG8-gensys-ukn005.sat05-3584.reshuffled-07 craft09 CC_lgl1 11.135000 46.140000 22.290000 17282 QG-gensys-brn008.sat05-2685.reshuffled-07 craft09 CC_lgl1 2.010000 183.550000 178.090000 16993 rbsat-v1375c111739g6 craft09 CC_lgl1 148.340000 3600.010000 3298.120000 203614 rbsat-v760c43649g10 craft09 CC_lgl1 5.095000 31.710000 17.710000 4531 rbsat-v760c43649g1 craft09 CC_lgl1 3.045000 120.710000 110.770000 2559 rbsat-v760c43649g4 craft09 CC_lgl1 5.985000 329.850000 313.690000 6697 rbsat-v760c43649g8 craft09 CC_lgl1 2.675000 31.530000 22.350000 2199 rbsat-v760c43649gyes10 craft09 CC_lgl1 1.960000 17.190000 9.610000 1366 rbsat-v760c43649gyes1-random craft09 CC_lgl1 6.135000 59.250000 40.780000 6917 rbsat-v760c43649gyes4 craft09 CC_lgl1 2.655000 30.800000 20.910000 1785 rbsat-v760c43649gyes6 craft09 CC_lgl1 6.720000 90.170000 72.140000 7268 rbsat-v945c61409g10 craft09 CC_lgl1 17.835000 178.200000 137.870000 22052 rbsat-v945c61409gyes2 craft09 CC_lgl1 47.115000 3600.090000 3501.150000 86708 rbsat-v945c61409gyes4 craft09 CC_lgl1 23.125000 1171.880000 1120.650000 31624 rbsat-v945c61409gyes8 craft09 CC_lgl1 40.675000 3600.080000 3513.830000 75289 rbsat-v945c61409gyes9 craft09 CC_lgl1 32.875000 2024.880000 1948.300000 31306 sgen1-sat-140-100 craft09 CC_lgl1 0.940000 13.010000 9.910000 37737 sgen1-sat-160-100 craft09 CC_lgl1 3.180000 35.420000 27.170000 146176 sgen1-sat-180-100 craft09 CC_lgl1 8.310000 413.790000 386.740000 409668 sgen1-sat-200-100 craft09 CC_lgl1 14.295000 3600.200000 3544.960000 815972 sgen1-unsat-61-100 craft09 CC_lgl1 0.480000 8.770000 6.320000 19631 unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07 craft09 CC_lgl1 251.285000 3600.100000 3094.860000 228233 unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07 craft09 CC_lgl1 26.475000 3600.090000 3544.710000 64055 999999000001nw.sat05-447.reshuffled-07 craft09 CC_lgl4 18.200000 120.430000 321.360000 28792 bqwh.40.reg.520.sat05-433.reshuffled-07 craft09 CC_lgl4 98.825000 3600.060000 13444.820000 424487 connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07 craft09 CC_lgl4 8.260000 664.580000 2573.350000 42343 connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07 craft09 CC_lgl4 5.085000 154.310000 567.860000 18820 contest02-Mat26.sat05-457.reshuffled-07 craft09 CC_lgl4 5.290000 296.790000 1112.520000 101024 contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07 craft09 CC_lgl4 1.160000 872.510000 967.640000 375 contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07 craft09 CC_lgl4 2.020000 3600.110000 3505.690000 1240 contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07 craft09 CC_lgl4 9.605000 53.930000 127.390000 47098 contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07 craft09 CC_lgl4 7.105000 66.930000 199.040000 31634 contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07 craft09 CC_lgl4 5.615000 56.380000 172.210000 22508 contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07 craft09 CC_lgl4 3.625000 33.210000 98.260000 12929 counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07 craft09 CC_lgl4 12.300000 58.780000 111.910000 86526 em_7_3_6_all craft09 CC_lgl4 144.035000 294.760000 289.290000 484853 em_7_4_8_all craft09 CC_lgl4 82.255000 642.550000 1867.340000 139610 em_7_4_8_fbc craft09 CC_lgl4 135.815000 3600.080000 13151.100000 283359 em_7_4_9_all craft09 CC_lgl4 28.755000 85.500000 104.490000 35181 em_7_4_9_exp craft09 CC_lgl4 95.165000 474.200000 1067.450000 393461 em_7_4_9_fbc craft09 CC_lgl4 69.895000 963.570000 3245.340000 107416 ezfact64_3.sat05-450.reshuffled-07 craft09 CC_lgl4 298.615000 845.760000 926.070000 544773 hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07 craft09 CC_lgl4 10.900000 3600.130000 14145.170000 169017 hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07 craft09 CC_lgl4 10.960000 3600.100000 14282.470000 167951 instance_n5_i6_pp_ci_ce craft09 CC_lgl4 4.685000 14.560000 14.380000 8687 linvrinv5.sat05-564.reshuffled-07 craft09 CC_lgl4 12.460000 181.610000 552.230000 252916 mod3_4vars_6gates craft09 CC_lgl4 4.760000 85.490000 293.360000 39768 new-difficult-20-152-18-95 craft09 CC_lgl4 0.250000 117.100000 137.130000 658 new-difficult-21-168-19-90 craft09 CC_lgl4 0.380000 2037.320000 2126.090000 1082 new-difficult-22-173-20-80 craft09 CC_lgl4 0.390000 3.720000 6.620000 846 new-difficult-23-189-21-75 craft09 CC_lgl4 0.515000 20.640000 68.840000 969 new-difficult-24-193-22-70 craft09 CC_lgl4 1.110000 6.650000 12.800000 3096 new-difficult-26-243-24-70 craft09 CC_lgl4 0.480000 3600.020000 3734.020000 354 new-difficult-28-302-26-75 craft09 CC_lgl4 2.850000 3600.020000 14204.300000 7076 pmg-11-UNSAT.sat05-3939.reshuffled-07 craft09 CC_lgl4 10.375000 169.240000 542.440000 186150 pmg-12-UNSAT.sat05-3940.reshuffled-07 craft09 CC_lgl4 25.365000 1321.660000 4899.760000 624838 pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07 craft09 CC_lgl4 0.415000 142.540000 370.910000 395 Q32inK09 craft09 CC_lgl4 7.740000 17.790000 15.510000 6416 QG6-dead-dnd002.sat05-2713.reshuffled-07 craft09 CC_lgl4 2.900000 279.940000 1072.660000 27390 QG6-gensys-icl001.sat05-2695.reshuffled-07 craft09 CC_lgl4 3.480000 99.990000 356.800000 26970 QG6-gensys-icl009.sat05-2721.reshuffled-07 craft09 CC_lgl4 3.915000 126.060000 458.630000 32489 QG6-gensys-ukn003.sat05-2726.reshuffled-07 craft09 CC_lgl4 6.145000 250.990000 928.750000 52796 QG7a-gensys-icl004.sat05-3825.reshuffled-07 craft09 CC_lgl4 11.090000 62.600000 146.380000 46887 QG7a-gensys-ukn005.sat05-3845.reshuffled-07 craft09 CC_lgl4 27.945000 57.780000 56.110000 109969 QG7-dead-dnd001.sat05-3419.reshuffled-07 craft09 CC_lgl4 6.845000 275.060000 821.320000 25500 QG7-dead-dnd005.sat05-3111.reshuffled-07 craft09 CC_lgl4 4.255000 116.950000 397.100000 20286 QG7-gensys-icl001.sat05-2926.reshuffled-07 craft09 CC_lgl4 1.360000 8.620000 20.110000 3499 QG7-gensys-icl006.sat05-3132.reshuffled-07 craft09 CC_lgl4 14.900000 196.250000 589.990000 61504 QG7-gensys-icl100.sat05-3226.reshuffled-07 craft09 CC_lgl4 35.075000 548.920000 1857.190000 123935 QG7-gensys-ukn003.sat05-3346.reshuffled-07 craft09 CC_lgl4 30.125000 413.040000 1364.290000 115599 QG8-gensys-ukn005.sat05-3584.reshuffled-07 craft09 CC_lgl4 11.225000 31.140000 27.720000 17282 QG-gensys-brn008.sat05-2685.reshuffled-07 craft09 CC_lgl4 2.040000 68.740000 250.260000 16993 rbsat-v1375c111739g6 craft09 CC_lgl4 145.840000 3600.090000 13014.370000 203614 rbsat-v760c43649g10 craft09 CC_lgl4 5.095000 18.930000 19.630000 4531 rbsat-v760c43649g1 craft09 CC_lgl4 3.045000 48.780000 77.620000 2559 rbsat-v760c43649g4 craft09 CC_lgl4 5.985000 295.930000 416.670000 6697 rbsat-v760c43649g8 craft09 CC_lgl4 2.610000 15.340000 24.670000 2199 rbsat-v760c43649gyes10 craft09 CC_lgl4 1.950000 10.320000 9.900000 1366 rbsat-v760c43649gyes1-random craft09 CC_lgl4 6.225000 28.430000 45.130000 6917 rbsat-v760c43649gyes4 craft09 CC_lgl4 2.655000 15.620000 26.220000 1785 rbsat-v760c43649gyes6 craft09 CC_lgl4 6.725000 35.800000 72.740000 7268 rbsat-v945c61409g10 craft09 CC_lgl4 17.920000 77.340000 147.540000 22052 rbsat-v945c61409gyes2 craft09 CC_lgl4 47.115000 3600.060000 13844.680000 86708 rbsat-v945c61409gyes4 craft09 CC_lgl4 23.660000 196.830000 573.820000 31624 rbsat-v945c61409gyes8 craft09 CC_lgl4 40.625000 3600.080000 14038.360000 75289 rbsat-v945c61409gyes9 craft09 CC_lgl4 25.105000 434.150000 1501.090000 31306 sgen1-sat-140-100 craft09 CC_lgl4 0.940000 6.070000 11.520000 37737 sgen1-sat-160-100 craft09 CC_lgl4 3.130000 16.140000 29.820000 146176 sgen1-sat-180-100 craft09 CC_lgl4 8.320000 136.490000 441.610000 409668 sgen1-sat-200-100 craft09 CC_lgl4 14.155000 1859.820000 7107.400000 815972 sgen1-unsat-61-100 craft09 CC_lgl4 0.480000 4.580000 8.490000 19631 unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07 craft09 CC_lgl4 251.260000 3600.070000 12239.170000 228233 unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07 craft09 CC_lgl4 26.830000 3600.090000 14152.560000 64055 999999000001nw.sat05-447.reshuffled-07 craft09 lingeling 282.100000 280.680000 bqwh.40.reg.520.sat05-433.reshuffled-07 craft09 lingeling 3600.070000 3599.430000 connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07 craft09 lingeling 3600.080000 3593.470000 connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07 craft09 lingeling 996.000000 995.270000 contest02-Mat26.sat05-457.reshuffled-07 craft09 lingeling 352.640000 352.320000 contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07 craft09 lingeling 1598.430000 1595.740000 contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07 craft09 lingeling 1427.040000 1424.740000 contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07 craft09 lingeling 123.390000 122.840000 contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07 craft09 lingeling 329.500000 328.860000 contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07 craft09 lingeling 2517.020000 2516.580000 contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07 craft09 lingeling 1723.240000 1722.710000 counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07 craft09 lingeling 10.530000 10.280000 em_7_3_6_all craft09 lingeling 19.460000 18.370000 em_7_4_8_all craft09 lingeling 154.610000 154.150000 em_7_4_8_fbc craft09 lingeling 846.510000 845.920000 em_7_4_9_all craft09 lingeling 14.850000 14.250000 em_7_4_9_exp craft09 lingeling 18.620000 18.160000 em_7_4_9_fbc craft09 lingeling 74.920000 74.320000 ezfact64_3.sat05-450.reshuffled-07 craft09 lingeling 290.170000 287.770000 hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07 craft09 lingeling 3600.110000 3599.980000 hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07 craft09 lingeling 3600.070000 3599.920000 instance_n5_i6_pp_ci_ce craft09 lingeling 1.660000 1.160000 linvrinv5.sat05-564.reshuffled-07 craft09 lingeling 3600.080000 3599.880000 mod3_4vars_6gates craft09 lingeling 294.390000 282.270000 new-difficult-20-152-18-95 craft09 lingeling 62.960000 62.180000 new-difficult-21-168-19-90 craft09 lingeling 556.620000 555.970000 new-difficult-22-173-20-80 craft09 lingeling 201.300000 200.430000 new-difficult-23-189-21-75 craft09 lingeling 3600.140000 3598.070000 new-difficult-24-193-22-70 craft09 lingeling 956.900000 955.780000 new-difficult-26-243-24-70 craft09 lingeling 3600.080000 3597.290000 new-difficult-28-302-26-75 craft09 lingeling 3600.080000 3595.750000 pmg-11-UNSAT.sat05-3939.reshuffled-07 craft09 lingeling 1396.170000 1395.840000 pmg-12-UNSAT.sat05-3940.reshuffled-07 craft09 lingeling 3600.080000 3599.540000 pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07 craft09 lingeling 243.000000 240.910000 Q32inK09 craft09 lingeling 19.990000 19.780000 QG6-dead-dnd002.sat05-2713.reshuffled-07 craft09 lingeling 150.220000 149.940000 QG6-gensys-icl001.sat05-2695.reshuffled-07 craft09 lingeling 86.680000 86.030000 QG6-gensys-icl009.sat05-2721.reshuffled-07 craft09 lingeling 66.950000 66.660000 QG6-gensys-ukn003.sat05-2726.reshuffled-07 craft09 lingeling 87.620000 87.220000 QG7a-gensys-icl004.sat05-3825.reshuffled-07 craft09 lingeling 66.870000 66.200000 QG7a-gensys-ukn005.sat05-3845.reshuffled-07 craft09 lingeling 4.770000 4.040000 QG7-dead-dnd001.sat05-3419.reshuffled-07 craft09 lingeling 3437.830000 3437.420000 QG7-dead-dnd005.sat05-3111.reshuffled-07 craft09 lingeling 1721.360000 1711.470000 QG7-gensys-icl001.sat05-2926.reshuffled-07 craft09 lingeling 78.270000 77.780000 QG7-gensys-icl006.sat05-3132.reshuffled-07 craft09 lingeling 3600.070000 3599.600000 QG7-gensys-icl100.sat05-3226.reshuffled-07 craft09 lingeling 3600.020000 3599.140000 QG7-gensys-ukn003.sat05-3346.reshuffled-07 craft09 lingeling 3600.070000 3561.820000 QG8-gensys-ukn005.sat05-3584.reshuffled-07 craft09 lingeling 13.440000 12.770000 QG-gensys-brn008.sat05-2685.reshuffled-07 craft09 lingeling 48.580000 46.990000 rbsat-v1375c111739g6 craft09 lingeling 3600.000000 3595.700000 rbsat-v760c43649g10 craft09 lingeling 106.220000 102.620000 rbsat-v760c43649g1 craft09 lingeling 138.600000 134.960000 rbsat-v760c43649g4 craft09 lingeling 668.230000 661.250000 rbsat-v760c43649g8 craft09 lingeling 38.160000 34.510000 rbsat-v760c43649gyes10 craft09 lingeling 59.800000 56.240000 rbsat-v760c43649gyes1-random craft09 lingeling 6.510000 3.310000 rbsat-v760c43649gyes4 craft09 lingeling 17.300000 13.290000 rbsat-v760c43649gyes6 craft09 lingeling 12.500000 8.880000 rbsat-v945c61409g10 craft09 lingeling 734.730000 730.780000 rbsat-v945c61409gyes2 craft09 lingeling 3600.110000 3595.140000 rbsat-v945c61409gyes4 craft09 lingeling 3557.470000 3553.310000 rbsat-v945c61409gyes8 craft09 lingeling 3600.060000 3596.180000 rbsat-v945c61409gyes9 craft09 lingeling 2375.550000 2371.560000 sgen1-sat-140-100 craft09 lingeling 36.420000 34.790000 sgen1-sat-160-100 craft09 lingeling 327.690000 327.450000 sgen1-sat-180-100 craft09 lingeling 3600.080000 3599.890000 sgen1-sat-200-100 craft09 lingeling 1958.140000 1957.590000 sgen1-unsat-61-100 craft09 lingeling 1.790000 1.680000 unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07 craft09 lingeling 3600.070000 3597.890000 unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07 craft09 lingeling 3600.100000 3599.580000 999999000001nw.sat05-447.reshuffled-07 craft09 march_rw 536.050000 534.550000 bqwh.40.reg.520.sat05-433.reshuffled-07 craft09 march_rw 3600.060000 3535.310000 connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07 craft09 march_rw 3600.070000 3599.650000 connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07 craft09 march_rw 3600.090000 3596.080000 contest02-Mat26.sat05-457.reshuffled-07 craft09 march_rw 3600.060000 3597.610000 contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07 craft09 march_rw 3600.050000 3597.680000 contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07 craft09 march_rw 3600.070000 3597.850000 contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07 craft09 march_rw 3600.060000 3599.670000 contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07 craft09 march_rw 3600.060000 3595.030000 contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07 craft09 march_rw 177.840000 177.290000 contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07 craft09 march_rw 78.930000 78.350000 counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07 craft09 march_rw 3600.070000 3599.880000 em_7_3_6_all craft09 march_rw 3600.010000 3599.650000 em_7_4_8_all craft09 march_rw 3600.060000 3599.280000 em_7_4_8_fbc craft09 march_rw 3600.060000 3461.930000 em_7_4_9_all craft09 march_rw 3600.070000 3599.730000 em_7_4_9_exp craft09 march_rw 3600.070000 3599.430000 em_7_4_9_fbc craft09 march_rw 3600.090000 3599.810000 ezfact64_3.sat05-450.reshuffled-07 craft09 march_rw 3600.070000 3597.620000 hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07 craft09 march_rw 3600.060000 3599.630000 hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07 craft09 march_rw 3600.110000 3584.290000 instance_n5_i6_pp_ci_ce craft09 march_rw 431.530000 430.900000 linvrinv5.sat05-564.reshuffled-07 craft09 march_rw 468.940000 468.680000 mod3_4vars_6gates craft09 march_rw 3600.060000 3589.520000 new-difficult-20-152-18-95 craft09 march_rw 3600.060000 3598.140000 new-difficult-21-168-19-90 craft09 march_rw 3600.070000 3599.370000 new-difficult-22-173-20-80 craft09 march_rw 3600.060000 3599.360000 new-difficult-23-189-21-75 craft09 march_rw 3600.070000 3597.630000 new-difficult-24-193-22-70 craft09 march_rw 3600.050000 3584.200000 new-difficult-26-243-24-70 craft09 march_rw 3600.060000 3562.970000 new-difficult-28-302-26-75 craft09 march_rw 3600.070000 3598.290000 pmg-11-UNSAT.sat05-3939.reshuffled-07 craft09 march_rw 111.070000 110.810000 pmg-12-UNSAT.sat05-3940.reshuffled-07 craft09 march_rw 1120.440000 1120.220000 pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07 craft09 march_rw 1676.090000 1674.310000 Q32inK09 craft09 march_rw 36.600000 36.340000 QG6-dead-dnd002.sat05-2713.reshuffled-07 craft09 march_rw 3600.070000 3599.860000 QG6-gensys-icl001.sat05-2695.reshuffled-07 craft09 march_rw 3600.070000 3599.850000 QG6-gensys-icl009.sat05-2721.reshuffled-07 craft09 march_rw 3600.060000 3599.920000 QG6-gensys-ukn003.sat05-2726.reshuffled-07 craft09 march_rw 3600.060000 3564.850000 QG7a-gensys-icl004.sat05-3825.reshuffled-07 craft09 march_rw 3600.070000 3576.810000 QG7a-gensys-ukn005.sat05-3845.reshuffled-07 craft09 march_rw 842.980000 842.350000 QG7-dead-dnd001.sat05-3419.reshuffled-07 craft09 march_rw 3600.080000 3599.890000 QG7-dead-dnd005.sat05-3111.reshuffled-07 craft09 march_rw 3600.060000 3599.860000 QG7-gensys-icl001.sat05-2926.reshuffled-07 craft09 march_rw 70.900000 70.550000 QG7-gensys-icl006.sat05-3132.reshuffled-07 craft09 march_rw 3600.050000 3579.060000 QG7-gensys-icl100.sat05-3226.reshuffled-07 craft09 march_rw 3600.070000 3599.490000 QG7-gensys-ukn003.sat05-3346.reshuffled-07 craft09 march_rw 3600.070000 3552.450000 QG8-gensys-ukn005.sat05-3584.reshuffled-07 craft09 march_rw 433.950000 433.140000 QG-gensys-brn008.sat05-2685.reshuffled-07 craft09 march_rw 3600.050000 3599.800000 rbsat-v1375c111739g6 craft09 march_rw 3600.090000 3596.010000 rbsat-v760c43649g10 craft09 march_rw 3600.080000 3596.350000 rbsat-v760c43649g1 craft09 march_rw 3600.080000 3596.250000 rbsat-v760c43649g4 craft09 march_rw 3600.100000 3595.930000 rbsat-v760c43649g8 craft09 march_rw 3600.080000 3596.350000 rbsat-v760c43649gyes10 craft09 march_rw 3600.070000 3553.750000 rbsat-v760c43649gyes1-random craft09 march_rw 3600.050000 3596.630000 rbsat-v760c43649gyes4 craft09 march_rw 3600.070000 3525.300000 rbsat-v760c43649gyes6 craft09 march_rw 3600.070000 3596.530000 rbsat-v945c61409g10 craft09 march_rw 3600.070000 3595.860000 rbsat-v945c61409gyes2 craft09 march_rw 3600.060000 3596.480000 rbsat-v945c61409gyes4 craft09 march_rw 3600.080000 3586.140000 rbsat-v945c61409gyes8 craft09 march_rw 3600.070000 3595.920000 rbsat-v945c61409gyes9 craft09 march_rw 3600.060000 3596.340000 sgen1-sat-140-100 craft09 march_rw 1.450000 1.180000 sgen1-sat-160-100 craft09 march_rw 4.080000 3.820000 sgen1-sat-180-100 craft09 march_rw 34.040000 33.830000 sgen1-sat-200-100 craft09 march_rw 516.640000 516.440000 sgen1-unsat-61-100 craft09 march_rw 1.940000 1.750000 unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07 craft09 march_rw 3600.050000 3598.330000 unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07 craft09 march_rw 3600.090000 3599.790000 999999000001nw.sat05-447.reshuffled-07 craft09 minisat22 527.080000 525.560000 bqwh.40.reg.520.sat05-433.reshuffled-07 craft09 minisat22 3600.060000 3599.480000 connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07 craft09 minisat22 3600.060000 3599.560000 connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07 craft09 minisat22 2459.230000 2458.480000 contest02-Mat26.sat05-457.reshuffled-07 craft09 minisat22 320.480000 320.210000 contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07 craft09 minisat22 507.560000 499.780000 contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07 craft09 minisat22 617.980000 615.730000 contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07 craft09 minisat22 331.450000 331.040000 contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07 craft09 minisat22 691.180000 690.450000 contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07 craft09 minisat22 2867.170000 2866.480000 contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07 craft09 minisat22 1538.810000 1538.300000 counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07 craft09 minisat22 9.500000 8.900000 em_7_3_6_all craft09 minisat22 1.940000 1.430000 em_7_4_8_all craft09 minisat22 107.750000 106.930000 em_7_4_8_fbc craft09 minisat22 3600.090000 3599.530000 em_7_4_9_all craft09 minisat22 1.900000 1.380000 em_7_4_9_exp craft09 minisat22 16.750000 15.690000 em_7_4_9_fbc craft09 minisat22 15.000000 14.480000 ezfact64_3.sat05-450.reshuffled-07 craft09 minisat22 101.900000 99.640000 hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07 craft09 minisat22 3600.050000 3599.810000 hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07 craft09 minisat22 3600.050000 3599.690000 instance_n5_i6_pp_ci_ce craft09 minisat22 0.880000 0.400000 linvrinv5.sat05-564.reshuffled-07 craft09 minisat22 3600.090000 3599.960000 mod3_4vars_6gates craft09 minisat22 421.280000 420.970000 new-difficult-20-152-18-95 craft09 minisat22 8.640000 7.590000 new-difficult-21-168-19-90 craft09 minisat22 1876.920000 1875.980000 new-difficult-22-173-20-80 craft09 minisat22 7.290000 6.450000 new-difficult-23-189-21-75 craft09 minisat22 3600.040000 3597.940000 new-difficult-24-193-22-70 craft09 minisat22 183.830000 182.700000 new-difficult-26-243-24-70 craft09 minisat22 3600.060000 3597.590000 new-difficult-28-302-26-75 craft09 minisat22 3600.070000 3598.130000 pmg-11-UNSAT.sat05-3939.reshuffled-07 craft09 minisat22 1008.030000 1002.020000 pmg-12-UNSAT.sat05-3940.reshuffled-07 craft09 minisat22 3600.070000 3599.820000 pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07 craft09 minisat22 505.520000 502.650000 Q32inK09 craft09 minisat22 50.260000 49.980000 QG6-dead-dnd002.sat05-2713.reshuffled-07 craft09 minisat22 221.260000 212.290000 QG6-gensys-icl001.sat05-2695.reshuffled-07 craft09 minisat22 312.940000 312.410000 QG6-gensys-icl009.sat05-2721.reshuffled-07 craft09 minisat22 159.050000 158.010000 QG6-gensys-ukn003.sat05-2726.reshuffled-07 craft09 minisat22 580.310000 579.500000 QG7a-gensys-icl004.sat05-3825.reshuffled-07 craft09 minisat22 121.020000 120.070000 QG7a-gensys-ukn005.sat05-3845.reshuffled-07 craft09 minisat22 1.590000 0.950000 QG7-dead-dnd001.sat05-3419.reshuffled-07 craft09 minisat22 3600.060000 3599.660000 QG7-dead-dnd005.sat05-3111.reshuffled-07 craft09 minisat22 1090.150000 1089.500000 QG7-gensys-icl001.sat05-2926.reshuffled-07 craft09 minisat22 22.330000 21.080000 QG7-gensys-icl006.sat05-3132.reshuffled-07 craft09 minisat22 1306.350000 1305.480000 QG7-gensys-icl100.sat05-3226.reshuffled-07 craft09 minisat22 3600.080000 3599.010000 QG7-gensys-ukn003.sat05-3346.reshuffled-07 craft09 minisat22 3600.040000 3455.580000 QG8-gensys-ukn005.sat05-3584.reshuffled-07 craft09 minisat22 18.750000 18.170000 QG-gensys-brn008.sat05-2685.reshuffled-07 craft09 minisat22 120.110000 119.770000 rbsat-v1375c111739g6 craft09 minisat22 3600.070000 3595.740000 rbsat-v760c43649g10 craft09 minisat22 9.720000 6.080000 rbsat-v760c43649g1 craft09 minisat22 39.690000 36.110000 rbsat-v760c43649g4 craft09 minisat22 325.030000 321.360000 rbsat-v760c43649g8 craft09 minisat22 25.400000 21.750000 rbsat-v760c43649gyes10 craft09 minisat22 23.030000 19.140000 rbsat-v760c43649gyes1-random craft09 minisat22 247.170000 243.280000 rbsat-v760c43649gyes4 craft09 minisat22 13.490000 9.900000 rbsat-v760c43649gyes6 craft09 minisat22 41.680000 38.010000 rbsat-v945c61409g10 craft09 minisat22 160.210000 156.450000 rbsat-v945c61409gyes2 craft09 minisat22 3600.060000 3596.020000 rbsat-v945c61409gyes4 craft09 minisat22 1301.870000 1297.920000 rbsat-v945c61409gyes8 craft09 minisat22 3600.040000 3596.220000 rbsat-v945c61409gyes9 craft09 minisat22 627.970000 624.100000 sgen1-sat-140-100 craft09 minisat22 9.860000 9.720000 sgen1-sat-160-100 craft09 minisat22 46.370000 46.210000 sgen1-sat-180-100 craft09 minisat22 917.950000 917.740000 sgen1-sat-200-100 craft09 minisat22 3600.050000 3599.970000 sgen1-unsat-61-100 craft09 minisat22 4.940000 4.770000 unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07 craft09 minisat22 3600.060000 3598.180000 unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07 craft09 minisat22 3080.280000 3079.640000 battleship-11-11-unsat craft11 CCC_lgl4 5.915000 6.370000 11.700000 16 9846 81771 839 battleship-12-12-unsat craft11 CCC_lgl4 9.435000 12.170000 18.730000 20 25536 107516 11598 battleship-13-13-unsat craft11 CCC_lgl4 338.080000 341.040000 676.050000 26 291913 5218362 7038 battleship-14-14-unsat craft11 CCC_lgl4 759.830000 1390.670000 2410.610000 30 1519437 9724398 644858 Composite-024BitPrimes-1.used-as.sat04-861 craft11 CCC_lgl4 35.480000 54.520000 70.910000 15 1220 121 101020 connm-ue-csp-sat-n800-d0.02-s111845174.used-as.sat04-958 craft11 CCC_lgl4 130.250000 612.690000 1893.170000 14 33188 17547 405978 connm-ue-csp-sat-n800-d0.04-s1788334438.used-as.sat04-976 craft11 CCC_lgl4 1808.145000 3600.140000 6941.010000 16 158223 38958 6526270 dead-dnd003.shuffled-as.sat05-3109 craft11 CCC_lgl4 2.850000 56.180000 207.540000 11 704 266 8561 frb45-21-1.used-as.sat04-883 craft11 CCC_lgl4 48.015000 2725.020000 10577.570000 15 1302 738 40862 frb59-26-1.used-as.sat04-891 craft11 CCC_lgl4 3600.080000 7171.280000 frb75-13-2.used-as.sat04-878 craft11 CCC_lgl4 28.855000 589.640000 2210.640000 14 5182 6858 26491 frb80-14-2.used-as.sat04-880 craft11 CCC_lgl4 34.070000 940.290000 3574.130000 15 2155 1467 39087 gensys-icl005.shuffled-as.sat05-3826 craft11 CCC_lgl4 1.550000 169.630000 615.720000 13 576 258 1803 gensys-icl007.shuffled-as.sat05-3133 craft11 CCC_lgl4 5.345000 216.810000 834.180000 11 783 340 13992 gensys-ukn004.shuffled-as.sat05-3844 craft11 CCC_lgl4 0.755000 2804.020000 8483.000000 10 265 3 681 GreenTao_2-3-5_527 craft11 CCC_lgl4 17.585000 23.100000 35.140000 15 5052 2268 74698 GreenTao_2-3-5_528 craft11 CCC_lgl4 18.325000 105.080000 338.280000 16 4663 5353 73403 lksat-n1100-m4103-k3-l5-s558351420.used-as.sat04-934 craft11 CCC_lgl4 3.845000 8.510000 17.190000 15 2745 1406 13579 lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938 craft11 CCC_lgl4 0.445000 0.680000 0.890000 12 425 256 948 lksat-n900-m6174-k4-l4-s819398222.used-as.sat04-929 craft11 CCC_lgl4 0.835000 1.210000 1.590000 11 729 672 816 crafted11istics-rotate-07t5.shuffled-as.sat05-1137.log craft11 CCC_lgl4 17.680000 23.680000 35.210000 15 5267 2442 74677 new-difficult-23-189-21-75 craft11 CCC_lgl4 0.325000 14.220000 48.150000 5 69 40 137 par32-3.shuffled craft11 CCC_lgl4 16.050000 16.510000 32.040000 18 2152 136777 4806 rbsat-ru-v760c43649g7 craft11 CCC_lgl4 3.395000 17.210000 39.950000 9 611 560 978 rbsat-ru-v945c61409g3 craft11 CCC_lgl4 93.170000 3600.060000 13898.170000 15 2110 1120 94383 rbsat-v1150c84314g1 craft11 CCC_lgl4 45.300000 3600.070000 14184.360000 14 507 125 24420 rbsat-v1375c111739g6 craft11 CCC_lgl4 8.395000 3600.060000 14186.850000 12 217 49 2632 rbsat-v1560c133795gyes1 craft11 CCC_lgl4 3600.070000 7122.940000 rbsat-v1820c171155gyes3 craft11 CCC_lgl4 3600.050000 7190.970000 rbsat-v2100c215164g4 craft11 CCC_lgl4 3600.060000 7190.990000 rbsat-v2400c266431gyes7 craft11 CCC_lgl4 3600.080000 7190.960000 rbsat-v760c43649g2 craft11 CCC_lgl4 37.025000 1471.310000 5712.170000 11 1825 1672 40392 rbsat-v760c43649g5 craft11 CCC_lgl4 5.145000 22.680000 55.090000 9 645 442 2008 rbsat-v760c43649g7 craft11 CCC_lgl4 73.755000 3254.370000 12562.930000 13 4435 6383 90049 rbsat-v760c43649g9 craft11 CCC_lgl4 76.345000 236.800000 617.590000 15 4382 5498 90741 rbsat-v760c43649gyes5 craft11 CCC_lgl4 208.870000 1326.440000 4393.950000 16 7106 8065 185475 rbsat-v760c43649gyes6 craft11 CCC_lgl4 40.710000 1342.910000 5133.540000 14 2028 2001 46718 rbsat-v760c43649gyes8 craft11 CCC_lgl4 71.780000 2629.790000 10099.450000 16 3898 4163 83456 rbsat-v945c61409g4 craft11 CCC_lgl4 46.025000 3600.090000 14183.280000 15 1164 797 40473 rbsat-v945c61409g6 craft11 CCC_lgl4 20.210000 2217.420000 7917.480000 15 629 254 15487 rbsat-v945c61409g7 craft11 CCC_lgl4 12.305000 361.210000 1378.020000 12 405 145 7410 rbsat-v945c61409gyes10 craft11 CCC_lgl4 818.780000 3600.090000 10897.210000 18 16712 11288 819599 rbsat-v945c61409gyes1 craft11 CCC_lgl4 616.245000 3600.080000 11721.620000 19 15852 14354 652990 rbsat-v945c61409gyes5 craft11 CCC_lgl4 5.410000 225.260000 862.770000 11 312 104 2200 rnd_100_27_s craft11 CCC_lgl4 60.070000 60.560000 120.010000 20 2970 11 167561 rnd_100_28_s craft11 CCC_lgl4 15.640000 32.180000 63.180000 18 1195 1 37919 rnd_150_29_u craft11 CCC_lgl4 34.195000 124.770000 358.470000 19 1815 12 23575 SGI_30_60_20_50_3-dir.shuffled-as.sat03-114 craft11 CCC_lgl4 0.660000 3600.090000 3876.050000 6 69 29 169 SGI_30_60_29_30_6-dir.shuffled-as.sat03-130 craft11 CCC_lgl4 3.470000 3600.070000 13954.240000 14 545 893 1159 SGI_30_70_15_90_1-dir.shuffled-as.sat03-136 craft11 CCC_lgl4 0.620000 3600.050000 4284.410000 7 147 129 247 SGI_30_70_15_90_1.shuffled-as.sat03-137.log craft11 CCC_lgl4 21.360000 261.150000 956.350000 13 658 329 14812 SGI_30_70_18_80_10-dir.shuffled-as.sat03-140 craft11 CCC_lgl4 0.700000 3600.070000 4046.260000 4 76 2 88 SGI_30_70_20_60_10-dir.shuffled-as.sat03-144 craft11 CCC_lgl4 1.320000 3600.060000 10906.800000 8 169 52 376 SGI_30_70_20_70_1-dir.shuffled-as.sat03-146 craft11 CCC_lgl4 1.465000 3600.070000 5455.330000 8 193 120 307 SGI_30_70_22_70_7-dir.shuffled-as.sat03-154 craft11 CCC_lgl4 1.170000 3600.090000 4149.680000 7 112 107 326 SGI_30_70_26_40_6-dir.shuffled-as.sat03-163 craft11 CCC_lgl4 0.995000 3600.050000 13878.970000 6 56 22 105 SGI_30_70_26_60_1-dir.shuffled-as.sat03-167 craft11 CCC_lgl4 1.830000 3600.040000 9678.790000 8 176 14 221 SGI_30_70_27_50_3-dir.shuffled-as.sat03-169 craft11 CCC_lgl4 1.560000 3600.070000 14220.790000 8 241 255 570 SGI_30_70_29_50_3-dir.shuffled-as.sat03-179 craft11 CCC_lgl4 2.280000 3600.010000 7534.380000 10 141 1 180 SGI_30_80_15_90_4-dir.shuffled-as.sat03-6 craft11 CCC_lgl4 1.210000 2088.630000 8241.890000 7 196 87 504 SGI_30_80_28_70_8-dir.shuffled-as.sat03-215 craft11 CCC_lgl4 2156.850000 2431.470000 4313.620000 63 538654 3256296 4011245 srhd-sgi-m27-q225-n25-p15-s58217873 craft11 CCC_lgl4 0.575000 4.180000 8.740000 8 64 19 75 srhd-sgi-m27-q225-n25-p30-s70617701 craft11 CCC_lgl4 0.875000 9.780000 24.650000 5 71 19 99 srhd-sgi-m27-q255-n25-p15-s2076598 craft11 CCC_lgl4 0.165000 0.760000 0.460000 4 14 2 3 srhd-sgi-m27-q255-n25-p30-s39712998 craft11 CCC_lgl4 1.090000 41.740000 156.100000 6 146 56 470 srhd-sgi-m32-q326.25-n30-p15-s44266159 craft11 CCC_lgl4 1.795000 9.880000 16.750000 6 110 26 203 srhd-sgi-m32-q326.25-n30-p30-s48700942 craft11 CCC_lgl4 1.710000 12.640000 27.310000 4 54 0 67 srhd-sgi-m32-q369.75-n30-p15-s59317012 craft11 CCC_lgl4 4.525000 2776.710000 10944.950000 9 193 84 793 srhd-sgi-m32-q369.75-n30-p30-s25693430 craft11 CCC_lgl4 1.420000 380.520000 1481.970000 6 150 4 225 srhd-sgi-m37-q446.25-n35-p15-s25120921 craft11 CCC_lgl4 3.135000 37.060000 117.760000 5 130 8 152 srhd-sgi-m37-q446.25-n35-p30-s33692332 craft11 CCC_lgl4 4.770000 3600.060000 14199.520000 6 182 16 307 srhd-sgi-m42-q585-n40-p15-s54275047 craft11 CCC_lgl4 8.695000 3600.060000 14316.730000 13 130 0 170 srhd-sgi-m42-q585-n40-p30-s19690873 craft11 CCC_lgl4 9.295000 3600.060000 14178.620000 13 191 2 370 VanDerWaerden_2-3-12_135 craft11 CCC_lgl4 3.000000 9.860000 26.360000 8 443 110 7094 VanDerWaerden_2-3-13_160 craft11 CCC_lgl4 12.105000 61.080000 193.930000 10 916 177 30800 VanDerWaerden_2-3-14_186 craft11 CCC_lgl4 74.070000 433.490000 1430.840000 12 4574 1236 163583 VanDerWaerden_2-3-15_218 craft11 CCC_lgl4 368.965000 2884.560000 9933.150000 12 15481 3592 651150 VanDerWaerden_2-3-16_238 craft11 CCC_lgl4 2359.770000 3600.060000 4836.310000 15 79829 19249 3859393 VanDerWaerden_2-3-17_279 craft11 CCC_lgl4 3600.080000 7199.370000 VanDerWaerden_2-3-18_312 craft11 CCC_lgl4 3600.060000 7198.610000 VanDerWaerden_2-3-19_349 craft11 CCC_lgl4 3600.070000 7199.070000 VanDerWaerden_2-3-20_388 craft11 CCC_lgl4 3600.070000 7198.060000 VanDerWaerden_2-3-20_389 craft11 CCC_lgl4 3600.070000 7198.190000 VanDerWaerden_pd_2-3-19_348 craft11 CCC_lgl4 2.890000 16.630000 51.350000 8 274 15 1245 VanDerWaerden_pd_2-3-20_381 craft11 CCC_lgl4 5.015000 17.720000 48.230000 8 286 7 1894 VanDerWaerden_pd_2-3-20_390 craft11 CCC_lgl4 5.230000 41.660000 141.740000 8 300 6 1965 VanDerWaerden_pd_2-3-21_399 craft11 CCC_lgl4 6.685000 19.910000 50.020000 8 292 5 2961 VanDerWaerden_pd_2-3-21_401 craft11 CCC_lgl4 6.845000 37.520000 119.900000 8 308 7 3043 VanDerWaerden_pd_2-3-21_404 craft11 CCC_lgl4 7.660000 29.040000 82.260000 8 276 4 3275 VanDerWaerden_pd_2-3-21_406 craft11 CCC_lgl4 7.815000 156.610000 585.320000 8 282 3 3174 VanDerWaerden_pd_2-3-22_443 craft11 CCC_lgl4 16.920000 118.150000 397.420000 9 301 10 7263 VanDerWaerden_pd_2-3-22_445 craft11 CCC_lgl4 16.605000 158.230000 556.800000 9 306 12 7065 VanDerWaerden_pd_2-3-22_462 craft11 CCC_lgl4 20.750000 320.780000 1183.270000 10 333 7 8173 VanDerWaerden_pd_2-3-22_464 craft11 CCC_lgl4 20.575000 468.990000 1767.590000 9 311 9 7978 VanDerWaerden_pd_2-3-23_505 craft11 CCC_lgl4 36.680000 299.120000 1033.520000 9 378 5 12837 VanDerWaerden_pd_2-3-23_506 craft11 CCC_lgl4 62.420000 1753.420000 6752.070000 9 513 15 22512 VanDerWaerden_pd_2-3-23_507 craft11 CCC_lgl4 37.975000 418.360000 1514.020000 10 383 14 13192 VanDerWaerden_pd_2-3-23_508 craft11 CCC_lgl4 60.715000 1832.090000 7003.150000 10 482 9 21757 VanDerWaerden_pd_2-3-24_567 craft11 CCC_lgl4 127.715000 427.580000 1183.160000 10 725 10 38869 battleship-11-11-unsat craft11 CCC_mini 5.930000 6.320000 11.860000 19 8192 85873 481 battleship-12-12-unsat craft11 CCC_mini 8.735000 17.270000 17.310000 21 24675 90319 15148 battleship-13-13-unsat craft11 CCC_mini 344.970000 352.270000 689.880000 26 311259 5202432 9134 battleship-14-14-unsat craft11 CCC_mini 822.825000 2523.500000 1699.330000 29 1557767 11635908 452168 Composite-024BitPrimes-1.used-as.sat04-861 craft11 CCC_mini 36.905000 65.860000 73.750000 16 1292 289 104907 connm-ue-csp-sat-n800-d0.02-s111845174.used-as.sat04-958 craft11 CCC_mini 130.505000 1222.770000 1089.780000 14 34274 17710 406405 connm-ue-csp-sat-n800-d0.04-s1788334438.used-as.sat04-976 craft11 CCC_mini 1800.480000 3600.020000 3600.950000 17 154193 36571 6415982 dead-dnd003.shuffled-as.sat05-3109 craft11 CCC_mini 2.880000 102.780000 99.500000 11 522 164 9086 frb45-21-1.used-as.sat04-883 craft11 CCC_mini 45.345000 3600.090000 3550.760000 15 1224 678 38776 frb59-26-1.used-as.sat04-891 craft11 CCC_mini 3600.080000 7063.420000 frb75-13-2.used-as.sat04-878 craft11 CCC_mini 27.795000 1331.300000 1301.870000 14 4563 5775 26586 frb80-14-2.used-as.sat04-880 craft11 CCC_mini 33.945000 2046.380000 2010.390000 13 2293 1653 38575 gensys-icl005.shuffled-as.sat05-3826 craft11 CCC_mini 1.790000 570.870000 568.340000 15 759 371 2111 gensys-icl007.shuffled-as.sat05-3133 craft11 CCC_mini 5.330000 352.930000 347.120000 11 686 210 14401 gensys-ukn004.shuffled-as.sat05-3844 craft11 CCC_mini 0.745000 3600.030000 3598.030000 9 248 9 716 GreenTao_2-3-5_527 craft11 CCC_mini 17.055000 25.650000 34.090000 15 4841 2247 72587 GreenTao_2-3-5_528 craft11 CCC_mini 19.790000 205.860000 178.160000 16 5072 7627 75704 lksat-n1100-m4103-k3-l5-s558351420.used-as.sat04-934 craft11 CCC_mini 4.130000 10.860000 8.090000 14 3024 1487 15303 lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938 craft11 CCC_mini 0.385000 0.610000 0.710000 12 420 296 689 lksat-n900-m6174-k4-l4-s819398222.used-as.sat04-929 craft11 CCC_mini 1.895000 2.310000 3.690000 13 1796 1693 1773 crafted11istics-rotate-07t5.shuffled-as.sat05-1137.log craft11 CCC_mini 2.235000 2.400000 4.400000 12 2076 2057 2555 new-difficult-23-189-21-75 craft11 CCC_mini 0.330000 54.710000 52.590000 5 80 36 196 par32-3.shuffled craft11 CCC_mini 28.750000 29.760000 57.500000 19 7435 230219 4235 rbsat-ru-v760c43649g7 craft11 CCC_mini 3.225000 34.660000 27.790000 9 548 483 956 rbsat-ru-v945c61409g3 craft11 CCC_mini 77.985000 3600.070000 3517.570000 16 1907 1000 77031 rbsat-v1150c84314g1 craft11 CCC_mini 44.355000 3600.100000 3551.270000 14 491 113 24416 rbsat-v1375c111739g6 craft11 CCC_mini 9.440000 3600.050000 3585.910000 12 217 89 3162 rbsat-v1560c133795gyes1 craft11 CCC_mini 3600.060000 7048.390000 rbsat-v1820c171155gyes3 craft11 CCC_mini 3600.080000 7192.090000 rbsat-v2100c215164g4 craft11 CCC_mini 3600.080000 7075.200000 rbsat-v2400c266431gyes7 craft11 CCC_mini 3600.060000 7189.820000 rbsat-v760c43649g2 craft11 CCC_mini 37.365000 3600.070000 3558.580000 12 2024 2109 39819 rbsat-v760c43649g5 craft11 CCC_mini 4.460000 45.400000 37.300000 9 501 324 1732 rbsat-v760c43649g7 craft11 CCC_mini 73.490000 3600.050000 3522.600000 16 4036 4888 91110 rbsat-v760c43649g9 craft11 CCC_mini 80.720000 543.190000 458.510000 13 4169 4276 98944 rbsat-v760c43649gyes5 craft11 CCC_mini 137.860000 1514.130000 1317.540000 17 6354 7011 176233 rbsat-v760c43649gyes6 craft11 CCC_mini 47.560000 3399.690000 3348.150000 13 2229 2106 54920 rbsat-v760c43649gyes8 craft11 CCC_mini 74.160000 3600.070000 3521.390000 16 4262 5102 86043 rbsat-v945c61409g4 craft11 CCC_mini 48.405000 3600.050000 3547.630000 17 1101 553 43093 rbsat-v945c61409g6 craft11 CCC_mini 19.190000 3600.070000 3570.730000 12 542 177 14610 rbsat-v945c61409g7 craft11 CCC_mini 13.715000 890.160000 872.570000 11 465 163 8406 rbsat-v945c61409gyes10 craft11 CCC_mini 1200.020000 3600.060000 2399.890000 18 18077 12071 858565 rbsat-v945c61409gyes1 craft11 CCC_mini 672.425000 3600.080000 2922.760000 19 19323 19447 722111 rbsat-v945c61409gyes5 craft11 CCC_mini 18.335000 605.600000 582.830000 12 541 194 12711 rnd_100_27_s craft11 CCC_mini 63.585000 63.950000 127.020000 19 3041 2 177188 rnd_100_28_s craft11 CCC_mini 14.735000 39.690000 29.370000 21 1223 3 33278 rnd_150_29_u craft11 CCC_mini 34.490000 190.880000 154.910000 19 1787 6 23690 SGI_30_60_20_50_3-dir.shuffled-as.sat03-114 craft11 CCC_mini 0.680000 3600.050000 3596.960000 6 79 39 151 SGI_30_60_29_30_6-dir.shuffled-as.sat03-130 craft11 CCC_mini 3.220000 3600.070000 3594.140000 14 608 1348 929 SGI_30_70_15_90_1-dir.shuffled-as.sat03-136 craft11 CCC_mini 0.570000 3600.060000 3596.770000 6 141 35 222 SGI_30_70_15_90_1.shuffled-as.sat03-137.log craft11 CCC_mini 13.180000 879.970000 864.240000 11 415 131 8202 SGI_30_70_18_80_10-dir.shuffled-as.sat03-140 craft11 CCC_mini 0.710000 3600.060000 3597.500000 5 77 8 87 SGI_30_70_20_60_10-dir.shuffled-as.sat03-144 craft11 CCC_mini 1.785000 3600.090000 3596.080000 7 199 112 509 SGI_30_70_20_70_1-dir.shuffled-as.sat03-146 craft11 CCC_mini 1.150000 3600.050000 3596.930000 8 189 85 256 SGI_30_70_22_70_7-dir.shuffled-as.sat03-154 craft11 CCC_mini 1.170000 3600.090000 3596.930000 7 122 86 321 SGI_30_70_26_40_6-dir.shuffled-as.sat03-163 craft11 CCC_mini 1.240000 3600.060000 3596.390000 5 51 24 92 SGI_30_70_26_60_1-dir.shuffled-as.sat03-167 craft11 CCC_mini 2.100000 3600.080000 3595.790000 8 183 95 231 SGI_30_70_27_50_3-dir.shuffled-as.sat03-169 craft11 CCC_mini 1.885000 3600.060000 3595.670000 8 265 274 556 SGI_30_70_29_50_3-dir.shuffled-as.sat03-179 craft11 CCC_mini 2.285000 3600.110000 3595.610000 10 137 9 174 SGI_30_80_15_90_4-dir.shuffled-as.sat03-6 craft11 CCC_mini 1.265000 3600.080000 3595.990000 6 187 108 520 SGI_30_80_28_70_8-dir.shuffled-as.sat03-215 craft11 CCC_mini 2.050000 3600.080000 3595.340000 7 175 27 752 srhd-sgi-m27-q225-n25-p15-s58217873 craft11 CCC_mini 0.760000 14.880000 12.630000 7 73 34 82 srhd-sgi-m27-q225-n25-p30-s70617701 craft11 CCC_mini 0.900000 17.760000 14.110000 5 76 17 98 srhd-sgi-m27-q255-n25-p15-s2076598 craft11 CCC_mini 0.395000 1.010000 0.760000 4 14 3 3 srhd-sgi-m27-q255-n25-p30-s39712998 craft11 CCC_mini 988.280000 1499.360000 1976.500000 19 312961 3330643 120282 srhd-sgi-m32-q326.25-n30-p15-s44266159 craft11 CCC_mini 1.385000 27.670000 22.750000 6 111 14 209 srhd-sgi-m32-q326.25-n30-p30-s48700942 craft11 CCC_mini 1.655000 86.190000 80.520000 4 53 0 67 srhd-sgi-m32-q369.75-n30-p15-s59317012 craft11 CCC_mini 4.885000 3600.070000 3590.730000 7 183 6 922 srhd-sgi-m32-q369.75-n30-p30-s25693430 craft11 CCC_mini 1.430000 3515.670000 3509.900000 6 156 9 222 srhd-sgi-m37-q446.25-n35-p15-s25120921 craft11 CCC_mini 2.970000 401.030000 394.020000 5 127 2 130 srhd-sgi-m37-q446.25-n35-p30-s33692332 craft11 CCC_mini 4.715000 3600.060000 3590.600000 6 182 18 315 srhd-sgi-m42-q585-n40-p15-s54275047 craft11 CCC_mini 9.055000 3600.060000 3585.590000 14 127 0 199 srhd-sgi-m42-q585-n40-p30-s19690873 craft11 CCC_mini 9.240000 3600.050000 3585.750000 13 195 10 372 VanDerWaerden_2-3-12_135 craft11 CCC_mini 2.595000 18.950000 15.380000 8 377 87 6012 VanDerWaerden_2-3-13_160 craft11 CCC_mini 12.625000 133.240000 119.470000 10 978 200 32344 VanDerWaerden_2-3-14_186 craft11 CCC_mini 75.510000 1020.150000 943.920000 12 4314 1087 163049 VanDerWaerden_2-3-15_218 craft11 CCC_mini 376.055000 3600.060000 3223.420000 12 15843 3632 660217 VanDerWaerden_2-3-16_238 craft11 CCC_mini 2357.905000 3600.070000 4715.720000 15 79371 18130 3840987 VanDerWaerden_2-3-17_279 craft11 CCC_mini 3600.040000 7199.540000 VanDerWaerden_2-3-18_312 craft11 CCC_mini 3600.070000 7199.030000 VanDerWaerden_2-3-19_349 craft11 CCC_mini 3600.070000 7056.540000 VanDerWaerden_2-3-20_388 craft11 CCC_mini 3600.050000 7197.990000 VanDerWaerden_2-3-20_389 craft11 CCC_mini 3600.080000 7198.390000 VanDerWaerden_pd_2-3-19_348 craft11 CCC_mini 2.805000 34.400000 29.500000 7 283 11 1158 VanDerWaerden_pd_2-3-20_381 craft11 CCC_mini 4.500000 32.950000 27.880000 8 267 7 1873 VanDerWaerden_pd_2-3-20_390 craft11 CCC_mini 5.370000 89.630000 83.630000 8 294 12 2098 VanDerWaerden_pd_2-3-21_399 craft11 CCC_mini 6.820000 35.990000 28.450000 8 294 12 3082 VanDerWaerden_pd_2-3-21_401 craft11 CCC_mini 6.570000 81.300000 71.050000 8 303 7 2900 VanDerWaerden_pd_2-3-21_404 craft11 CCC_mini 9.110000 59.740000 49.820000 8 300 8 4167 VanDerWaerden_pd_2-3-21_406 craft11 CCC_mini 8.120000 362.820000 353.990000 8 273 5 3389 VanDerWaerden_pd_2-3-22_443 craft11 CCC_mini 16.810000 269.080000 251.230000 9 308 11 7452 VanDerWaerden_pd_2-3-22_445 craft11 CCC_mini 17.035000 371.900000 354.120000 9 315 10 7453 VanDerWaerden_pd_2-3-22_462 craft11 CCC_mini 23.265000 758.830000 705.380000 10 358 16 9400 VanDerWaerden_pd_2-3-22_464 craft11 CCC_mini 22.295000 1127.160000 1103.910000 9 332 6 8724 VanDerWaerden_pd_2-3-23_505 craft11 CCC_mini 37.860000 714.240000 675.410000 9 388 7 13287 VanDerWaerden_pd_2-3-23_506 craft11 CCC_mini 62.195000 3600.050000 3536.950000 9 512 13 23068 VanDerWaerden_pd_2-3-23_507 craft11 CCC_mini 40.865000 1006.550000 964.530000 9 408 11 14416 VanDerWaerden_pd_2-3-23_508 craft11 CCC_mini 89.645000 3600.070000 3509.610000 9 538 13 23266 VanDerWaerden_pd_2-3-24_567 craft11 CCC_mini 120.820000 928.100000 806.810000 10 699 18 36659 battleship-11-11-unsat craft11 CCC_infty 4.350000 4.480000 8.520000 15 320 27486 0 battleship-12-12-unsat craft11 CCC_infty 11.965000 12.110000 23.890000 20 12063 86864 0 battleship-13-13-unsat craft11 CCC_infty 270.790000 276.470000 541.450000 25 17422 2108763 0 battleship-14-14-unsat craft11 CCC_infty 924.750000 925.120000 1849.470000 30 771689 9528652 0 Composite-024BitPrimes-1.used-as.sat04-861 craft11 CCC_infty 24.165000 27.610000 48.260000 18 24789 5794 0 connm-ue-csp-sat-n800-d0.02-s111845174.used-as.sat04-958 craft11 CCC_infty 792.470000 792.970000 1584.780000 14 842538 247401 0 connm-ue-csp-sat-n800-d0.04-s1788334438.used-as.sat04-976 craft11 CCC_infty 3600.100000 7198.670000 dead-dnd003.shuffled-as.sat05-3109 craft11 CCC_infty 116.700000 116.930000 233.290000 14 184841 56808 0 frb45-21-1.used-as.sat04-883 craft11 CCC_infty 3600.090000 7192.840000 frb59-26-1.used-as.sat04-891 craft11 CCC_infty 3600.080000 7191.820000 frb75-13-2.used-as.sat04-878 craft11 CCC_infty 1076.825000 1078.340000 2153.520000 16 264118 476293 0 frb80-14-2.used-as.sat04-880 craft11 CCC_infty 2025.220000 2068.730000 4050.320000 20 529987 645230 0 gensys-icl005.shuffled-as.sat05-3826 craft11 CCC_infty 3600.070000 7198.820000 gensys-icl007.shuffled-as.sat05-3133 craft11 CCC_infty 762.505000 762.980000 1524.850000 13 817773 334310 0 gensys-ukn004.shuffled-as.sat05-3844 craft11 CCC_infty 3600.080000 7198.810000 GreenTao_2-3-5_527 craft11 CCC_infty 10.855000 11.180000 21.710000 29 8426 4559 0 GreenTao_2-3-5_528 craft11 CCC_infty 277.035000 277.320000 554.000000 16 209480 124732 0 lksat-n1100-m4103-k3-l5-s558351420.used-as.sat04-934 craft11 CCC_infty 5.760000 6.040000 11.400000 18 6069 3405 0 lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938 craft11 CCC_infty 0.645000 0.910000 1.270000 12 571 376 0 lksat-n900-m6174-k4-l4-s819398222.used-as.sat04-929 craft11 CCC_infty 2.865000 3.400000 5.580000 13 1481 2038 0 crafted11istics-rotate-07t5.shuffled-as.sat05-1137.log craft11 CCC_infty 280.380000 280.620000 560.720000 24 16980 2118025 0 new-difficult-23-189-21-75 craft11 CCC_infty 138.145000 139.970000 276.270000 18 140448 484705 0 par32-3.shuffled craft11 CCC_infty 370.415000 371.420000 740.720000 21 70420 1418118 0 rbsat-ru-v760c43649g7 craft11 CCC_infty 23.320000 27.060000 46.510000 11 4899 9483 0 rbsat-ru-v945c61409g3 craft11 CCC_infty 3600.070000 7192.760000 rbsat-v1150c84314g1 craft11 CCC_infty 3600.080000 7192.330000 rbsat-v1375c111739g6 craft11 CCC_infty 3600.060000 7192.080000 rbsat-v1560c133795gyes1 craft11 CCC_infty 3600.060000 7192.160000 rbsat-v1820c171155gyes3 craft11 CCC_infty 3600.080000 7191.720000 rbsat-v2100c215164g4 craft11 CCC_infty 3600.090000 7190.900000 rbsat-v2400c266431gyes7 craft11 CCC_infty 3600.060000 7188.770000 rbsat-v760c43649g2 craft11 CCC_infty 2417.095000 2420.880000 4834.190000 23 954447 1537161 0 rbsat-v760c43649g5 craft11 CCC_infty 36.160000 39.890000 72.280000 12 6984 12526 0 rbsat-v760c43649g7 craft11 CCC_infty 3600.060000 7193.240000 rbsat-v760c43649g9 craft11 CCC_infty 114.825000 118.530000 229.550000 20 38989 95547 0 rbsat-v760c43649gyes5 craft11 CCC_infty 577.885000 585.690000 1155.780000 23 188375 462270 0 rbsat-v760c43649gyes6 craft11 CCC_infty 1546.940000 1550.630000 3093.790000 23 591081 1069603 0 rbsat-v760c43649gyes8 craft11 CCC_infty 3563.135000 3566.970000 7126.110000 23 1235715 2563966 0 rbsat-v945c61409g4 craft11 CCC_infty 3600.120000 7190.260000 rbsat-v945c61409g6 craft11 CCC_infty 3600.110000 7191.860000 rbsat-v945c61409g7 craft11 CCC_infty 707.960000 711.800000 1415.880000 22 311456 216114 0 rbsat-v945c61409gyes10 craft11 CCC_infty 3600.090000 7049.800000 rbsat-v945c61409gyes1 craft11 CCC_infty 3600.090000 7192.710000 rbsat-v945c61409gyes5 craft11 CCC_infty 483.600000 487.380000 967.030000 23 189368 159438 0 rnd_100_27_s craft11 CCC_infty 258.445000 258.800000 516.860000 21 274687 23911 0 rnd_100_28_s craft11 CCC_infty 25.945000 26.450000 51.720000 18 36526 621 0 rnd_150_29_u craft11 CCC_infty 135.540000 136.310000 271.050000 19 88324 478 0 SGI_30_60_20_50_3-dir.shuffled-as.sat03-114 craft11 CCC_infty 3600.070000 7196.300000 SGI_30_60_29_30_6-dir.shuffled-as.sat03-130 craft11 CCC_infty 3600.090000 7195.730000 SGI_30_70_15_90_1-dir.shuffled-as.sat03-136 craft11 CCC_infty 3600.060000 7196.030000 SGI_30_70_15_90_1.shuffled-as.sat03-137.log craft11 CCC_infty 129.995000 130.420000 259.940000 19 84949 320 0 SGI_30_70_18_80_10-dir.shuffled-as.sat03-140 craft11 CCC_infty 3600.060000 7196.900000 SGI_30_70_20_60_10-dir.shuffled-as.sat03-144 craft11 CCC_infty 3600.060000 7196.080000 SGI_30_70_20_70_1-dir.shuffled-as.sat03-146 craft11 CCC_infty 3600.080000 7196.440000 SGI_30_70_22_70_7-dir.shuffled-as.sat03-154 craft11 CCC_infty 3600.070000 7197.010000 SGI_30_70_26_40_6-dir.shuffled-as.sat03-163 craft11 CCC_infty 3600.060000 7195.970000 SGI_30_70_26_60_1-dir.shuffled-as.sat03-167 craft11 CCC_infty 3600.060000 7196.230000 SGI_30_70_27_50_3-dir.shuffled-as.sat03-169 craft11 CCC_infty 3600.090000 7196.060000 SGI_30_70_29_50_3-dir.shuffled-as.sat03-179 craft11 CCC_infty 3600.090000 7196.770000 SGI_30_80_15_90_4-dir.shuffled-as.sat03-6 craft11 CCC_infty 3600.100000 7194.910000 SGI_30_80_28_70_8-dir.shuffled-as.sat03-215 craft11 CCC_infty 3600.080000 7195.620000 srhd-sgi-m27-q225-n25-p15-s58217873 craft11 CCC_infty 30.110000 31.560000 60.090000 16 46891 54653 0 srhd-sgi-m27-q225-n25-p30-s70617701 craft11 CCC_infty 59.120000 61.800000 118.210000 12 41192 55231 0 srhd-sgi-m27-q255-n25-p15-s2076598 craft11 CCC_infty 3.550000 4.150000 6.960000 11 4397 4719 0 srhd-sgi-m27-q255-n25-p30-s39712998 craft11 CCC_infty 1491.210000 1492.250000 2982.280000 18 885956 4541622 0 srhd-sgi-m32-q326.25-n30-p15-s44266159 craft11 CCC_infty 217.705000 221.230000 435.360000 13 148782 314767 0 srhd-sgi-m32-q326.25-n30-p30-s48700942 craft11 CCC_infty 701.010000 705.520000 1402.000000 15 338368 925494 0 srhd-sgi-m32-q369.75-n30-p15-s59317012 craft11 CCC_infty 3600.070000 7192.040000 srhd-sgi-m32-q369.75-n30-p30-s25693430 craft11 CCC_infty 3600.070000 7192.330000 srhd-sgi-m37-q446.25-n35-p15-s25120921 craft11 CCC_infty 3600.060000 7192.630000 srhd-sgi-m37-q446.25-n35-p30-s33692332 craft11 CCC_infty 3600.070000 7192.000000 srhd-sgi-m42-q585-n40-p15-s54275047 craft11 CCC_infty 3600.070000 7073.430000 srhd-sgi-m42-q585-n40-p30-s19690873 craft11 CCC_infty 3600.080000 7171.060000 VanDerWaerden_2-3-12_135 craft11 CCC_infty 16.465000 16.620000 32.800000 9 8959 12704 0 VanDerWaerden_2-3-13_160 craft11 CCC_infty 119.590000 119.770000 239.150000 12 69819 75363 0 VanDerWaerden_2-3-14_186 craft11 CCC_infty 871.120000 871.360000 1742.120000 13 432909 448622 0 VanDerWaerden_2-3-15_218 craft11 CCC_infty 3600.070000 7199.250000 VanDerWaerden_2-3-16_238 craft11 CCC_infty 3600.070000 7087.220000 VanDerWaerden_2-3-17_279 craft11 CCC_infty 3600.060000 7199.480000 VanDerWaerden_2-3-18_312 craft11 CCC_infty 3600.070000 7058.600000 VanDerWaerden_2-3-19_349 craft11 CCC_infty 3600.070000 7198.810000 VanDerWaerden_2-3-20_388 craft11 CCC_infty 3600.120000 7198.050000 VanDerWaerden_2-3-20_389 craft11 CCC_infty 3600.070000 7198.320000 VanDerWaerden_pd_2-3-19_348 craft11 CCC_infty 28.765000 29.760000 57.410000 10 8231 1831 0 VanDerWaerden_pd_2-3-20_381 craft11 CCC_infty 28.740000 29.220000 57.400000 9 7189 1179 0 VanDerWaerden_pd_2-3-20_390 craft11 CCC_infty 79.025000 79.580000 157.880000 10 20521 4048 0 VanDerWaerden_pd_2-3-21_399 craft11 CCC_infty 28.355000 28.910000 56.700000 10 6992 1126 0 VanDerWaerden_pd_2-3-21_401 craft11 CCC_infty 68.545000 70.510000 137.050000 10 18462 3010 0 VanDerWaerden_pd_2-3-21_404 craft11 CCC_infty 45.580000 46.210000 91.130000 11 13097 2439 0 VanDerWaerden_pd_2-3-21_406 craft11 CCC_infty 274.895000 275.430000 549.690000 11 81554 15537 0 VanDerWaerden_pd_2-3-22_443 craft11 CCC_infty 226.230000 226.850000 452.300000 11 58721 9864 0 VanDerWaerden_pd_2-3-22_445 craft11 CCC_infty 325.505000 326.130000 650.870000 12 82120 14124 0 VanDerWaerden_pd_2-3-22_462 craft11 CCC_infty 568.730000 569.430000 1137.360000 12 138764 22661 0 VanDerWaerden_pd_2-3-22_464 craft11 CCC_infty 882.025000 882.770000 1763.940000 13 214455 36031 0 VanDerWaerden_pd_2-3-23_505 craft11 CCC_infty 590.620000 603.570000 1181.240000 11 122805 16542 0 VanDerWaerden_pd_2-3-23_506 craft11 CCC_infty 3205.820000 3206.520000 6411.570000 13 739923 106777 0 VanDerWaerden_pd_2-3-23_507 craft11 CCC_infty 868.970000 870.110000 1737.920000 12 181003 24517 0 VanDerWaerden_pd_2-3-23_508 craft11 CCC_infty 3454.725000 3455.190000 6909.420000 12 790075 114587 0 VanDerWaerden_pd_2-3-24_567 craft11 CCC_infty 687.195000 687.720000 1374.390000 12 120416 14613 0 battleship-11-11-unsat craft11 CC_mini 0.700000 12.260000 10.600000 10135 battleship-12-12-unsat craft11 CC_mini 2.020000 27.490000 22.420000 27840 battleship-13-13-unsat craft11 CC_mini 3.730000 2794.600000 2758.280000 64675 battleship-14-14-unsat craft11 CC_mini 6.645000 3600.050000 3586.020000 106447 Composite-024BitPrimes-1.used-as.sat04-861 craft11 CC_mini 11.070000 52.020000 26.420000 43824 connm-ue-csp-sat-n800-d0.02-s111845174.used-as.sat04-958 craft11 CC_mini 6.935000 1158.130000 1143.590000 41859 connm-ue-csp-sat-n800-d0.04-s1788334438.used-as.sat04-976 craft11 CC_mini 6.260000 3600.050000 3586.980000 44849 dead-dnd003.shuffled-as.sat05-3109 craft11 CC_mini 4.200000 122.070000 112.520000 19907 frb45-21-1.used-as.sat04-883 craft11 CC_mini 31.710000 3600.090000 3532.930000 43290 frb59-26-1.used-as.sat04-891 craft11 CC_mini 151.650000 3600.040000 3291.570000 167612 frb75-13-2.used-as.sat04-878 craft11 CC_mini 16.535000 1951.340000 1916.750000 25138 frb80-14-2.used-as.sat04-880 craft11 CC_mini 28.645000 2884.190000 2824.510000 37049 gensys-icl005.shuffled-as.sat05-3826 craft11 CC_mini 11.665000 534.210000 510.030000 40283 gensys-icl007.shuffled-as.sat05-3133 craft11 CC_mini 21.565000 497.240000 452.820000 91926 gensys-ukn004.shuffled-as.sat05-3844 craft11 CC_mini 26.910000 3600.070000 3544.780000 115543 GreenTao_2-3-5_527 craft11 CC_mini 33.070000 78.940000 66.570000 161122 GreenTao_2-3-5_528 craft11 CC_mini 34.755000 327.560000 256.910000 164235 lksat-n1100-m4103-k3-l5-s558351420.used-as.sat04-934 craft11 CC_mini 5.230000 17.150000 10.440000 30359 lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938 craft11 CC_mini 4.035000 9.050000 8.100000 20654 lksat-n900-m6174-k4-l4-s819398222.used-as.sat04-929 craft11 CC_mini 3.070000 9.640000 6.100000 10532 crafted11istics-rotate-07t5.shuffled-as.sat05-1137.log craft11 CC_mini 3.970000 8.790000 7.960000 20654 new-difficult-23-189-21-75 craft11 CC_mini 0.535000 67.190000 64.380000 969 par32-3.shuffled craft11 CC_mini 4.380000 3600.060000 3590.680000 55103 rbsat-ru-v760c43649g7 craft11 CC_mini 4.220000 35.680000 23.480000 4242 rbsat-ru-v945c61409g3 craft11 CC_mini 28.890000 3600.040000 3538.340000 44649 rbsat-v1150c84314g1 craft11 CC_mini 73.055000 3600.090000 3449.550000 96382 rbsat-v1375c111739g6 craft11 CC_mini 56.170000 3600.060000 3467.190000 66379 rbsat-v1560c133795gyes1 craft11 CC_mini 251.920000 3600.040000 3091.220000 243769 rbsat-v1820c171155gyes3 craft11 CC_mini 202.750000 3600.040000 3189.130000 197376 rbsat-v2100c215164g4 craft11 CC_mini 279.780000 3600.080000 3034.250000 228353 rbsat-v2400c266431gyes7 craft11 CC_mini 364.565000 3600.090000 2865.180000 236836 rbsat-v760c43649g2 craft11 CC_mini 11.520000 3600.070000 3573.290000 18255 rbsat-v760c43649g5 craft11 CC_mini 5.130000 50.160000 36.250000 4202 rbsat-v760c43649g7 craft11 CC_mini 13.225000 3600.060000 3569.740000 22481 rbsat-v760c43649g9 craft11 CC_mini 12.970000 296.030000 255.610000 22783 rbsat-v760c43649gyes5 craft11 CC_mini 18.410000 849.650000 809.030000 32910 rbsat-v760c43649gyes6 craft11 CC_mini 13.620000 3600.070000 3569.230000 22870 rbsat-v760c43649gyes8 craft11 CC_mini 13.450000 3600.060000 3569.630000 22093 rbsat-v945c61409g4 craft11 CC_mini 42.210000 3600.020000 3511.290000 64041 rbsat-v945c61409g6 craft11 CC_mini 23.650000 3600.060000 3548.580000 29536 rbsat-v945c61409g7 craft11 CC_mini 15.285000 979.450000 944.900000 19553 rbsat-v945c61409gyes10 craft11 CC_mini 38.675000 3600.050000 3515.710000 65762 rbsat-v945c61409gyes1 craft11 CC_mini 38.440000 3600.080000 3517.920000 68160 rbsat-v945c61409gyes5 craft11 CC_mini 15.095000 595.150000 560.870000 18963 rnd_100_27_s craft11 CC_mini 17.395000 295.580000 260.050000 79303 rnd_100_28_s craft11 CC_mini 10.665000 49.810000 27.760000 63735 rnd_150_29_u craft11 CC_mini 124.450000 374.700000 249.540000 262386 SGI_30_60_20_50_3-dir.shuffled-as.sat03-114 craft11 CC_mini 0.530000 3600.070000 3596.770000 638 SGI_30_60_29_30_6-dir.shuffled-as.sat03-130 craft11 CC_mini 2.460000 3600.080000 3592.720000 3146 SGI_30_70_15_90_1-dir.shuffled-as.sat03-136 craft11 CC_mini 0.635000 3600.060000 3596.060000 1180 SGI_30_70_15_90_1.shuffled-as.sat03-137.log craft11 CC_mini 124.045000 374.860000 248.770000 262386 SGI_30_70_18_80_10-dir.shuffled-as.sat03-140 craft11 CC_mini 0.725000 3600.050000 3595.080000 536 SGI_30_70_20_60_10-dir.shuffled-as.sat03-144 craft11 CC_mini 2.075000 3600.050000 3593.910000 3458 SGI_30_70_20_70_1-dir.shuffled-as.sat03-146 craft11 CC_mini 1.600000 3600.040000 3594.650000 1906 SGI_30_70_22_70_7-dir.shuffled-as.sat03-154 craft11 CC_mini 1.865000 3600.090000 3594.310000 4630 SGI_30_70_26_40_6-dir.shuffled-as.sat03-163 craft11 CC_mini 0.910000 3600.040000 3595.650000 842 SGI_30_70_26_60_1-dir.shuffled-as.sat03-167 craft11 CC_mini 2.715000 3600.080000 3592.540000 2120 SGI_30_70_27_50_3-dir.shuffled-as.sat03-169 craft11 CC_mini 1.285000 3600.020000 3595.060000 1314 SGI_30_70_29_50_3-dir.shuffled-as.sat03-179 craft11 CC_mini 4.360000 3600.060000 3588.970000 8353 SGI_30_80_15_90_4-dir.shuffled-as.sat03-6 craft11 CC_mini 1.890000 3600.050000 3593.160000 5071 SGI_30_80_28_70_8-dir.shuffled-as.sat03-215 craft11 CC_mini 3.610000 3600.080000 3588.850000 5759 srhd-sgi-m27-q225-n25-p15-s58217873 craft11 CC_mini 0.520000 10.080000 7.500000 344 srhd-sgi-m27-q225-n25-p30-s70617701 craft11 CC_mini 1.200000 19.220000 14.090000 927 srhd-sgi-m27-q255-n25-p15-s2076598 craft11 CC_mini 0.450000 2.370000 0.820000 812 srhd-sgi-m27-q255-n25-p30-s39712998 craft11 CC_mini 2.220000 249.180000 243.400000 4378 srhd-sgi-m32-q326.25-n30-p15-s44266159 craft11 CC_mini 2.685000 33.300000 23.450000 3337 srhd-sgi-m32-q326.25-n30-p30-s48700942 craft11 CC_mini 2.240000 120.890000 112.400000 775 srhd-sgi-m32-q369.75-n30-p15-s59317012 craft11 CC_mini 13.695000 3600.070000 3568.020000 20228 srhd-sgi-m32-q369.75-n30-p30-s25693430 craft11 CC_mini 2.240000 3600.060000 3591.180000 3647 srhd-sgi-m37-q446.25-n35-p15-s25120921 craft11 CC_mini 2.325000 245.930000 236.880000 563 srhd-sgi-m37-q446.25-n35-p30-s33692332 craft11 CC_mini 4.420000 3600.070000 3586.480000 2336 srhd-sgi-m42-q585-n40-p15-s54275047 craft11 CC_mini 11.365000 3600.070000 3572.250000 2655 srhd-sgi-m42-q585-n40-p30-s19690873 craft11 CC_mini 7.170000 3600.070000 3580.830000 1261 VanDerWaerden_2-3-12_135 craft11 CC_mini 3.880000 22.790000 14.760000 9122 VanDerWaerden_2-3-13_160 craft11 CC_mini 9.150000 160.320000 141.680000 21267 VanDerWaerden_2-3-14_186 craft11 CC_mini 12.640000 2237.830000 2212.230000 22636 VanDerWaerden_2-3-15_218 craft11 CC_mini 101.735000 3600.100000 3395.470000 188877 VanDerWaerden_2-3-16_238 craft11 CC_mini 158.245000 3600.080000 3282.350000 283275 VanDerWaerden_2-3-17_279 craft11 CC_mini 221.940000 3600.080000 3154.940000 325273 VanDerWaerden_2-3-18_312 craft11 CC_mini 276.575000 3600.090000 3045.600000 343139 VanDerWaerden_2-3-19_349 craft11 CC_mini 332.480000 3600.070000 2906.950000 332122 VanDerWaerden_2-3-20_388 craft11 CC_mini 403.690000 3600.070000 2790.670000 314382 VanDerWaerden_2-3-20_389 craft11 CC_mini 409.545000 3600.060000 2777.600000 314088 VanDerWaerden_pd_2-3-19_348 craft11 CC_mini 14.545000 55.630000 29.080000 9435 VanDerWaerden_pd_2-3-20_381 craft11 CC_mini 20.965000 65.260000 41.890000 11272 VanDerWaerden_pd_2-3-20_390 craft11 CC_mini 27.510000 131.920000 72.930000 16677 VanDerWaerden_pd_2-3-21_399 craft11 CC_mini 33.520000 91.510000 67.070000 21128 VanDerWaerden_pd_2-3-21_401 craft11 CC_mini 33.175000 129.830000 66.340000 20637 VanDerWaerden_pd_2-3-21_404 craft11 CC_mini 46.685000 137.600000 93.360000 32591 VanDerWaerden_pd_2-3-21_406 craft11 CC_mini 47.290000 402.520000 306.840000 32162 VanDerWaerden_pd_2-3-22_443 craft11 CC_mini 74.760000 375.610000 225.210000 46726 VanDerWaerden_pd_2-3-22_445 craft11 CC_mini 75.280000 488.040000 336.020000 46106 VanDerWaerden_pd_2-3-22_462 craft11 CC_mini 84.335000 848.250000 651.500000 47392 VanDerWaerden_pd_2-3-22_464 craft11 CC_mini 83.860000 1274.370000 1061.470000 47283 VanDerWaerden_pd_2-3-23_505 craft11 CC_mini 122.240000 894.650000 648.850000 60013 VanDerWaerden_pd_2-3-23_506 craft11 CC_mini 146.750000 3600.080000 3305.110000 74991 VanDerWaerden_pd_2-3-23_507 craft11 CC_mini 125.240000 1230.670000 978.510000 61524 VanDerWaerden_pd_2-3-23_508 craft11 CC_mini 146.010000 3600.090000 3307.370000 74072 VanDerWaerden_pd_2-3-24_567 craft11 CC_mini 273.400000 1488.820000 940.860000 91213 battleship-11-11-unsat craft11 CC_lgl1 0.800000 13.290000 10.780000 10135 battleship-12-12-unsat craft11 CC_lgl1 2.585000 31.810000 24.570000 27840 battleship-13-13-unsat craft11 CC_lgl1 3.820000 3600.100000 3589.020000 64675 battleship-14-14-unsat craft11 CC_lgl1 6.745000 3600.080000 3581.670000 106447 Composite-024BitPrimes-1.used-as.sat04-861 craft11 CC_lgl1 11.000000 80.750000 53.830000 43824 connm-ue-csp-sat-n800-d0.02-s111845174.used-as.sat04-958 craft11 CC_lgl1 6.830000 1494.850000 1477.840000 41859 connm-ue-csp-sat-n800-d0.04-s1788334438.used-as.sat04-976 craft11 CC_lgl1 6.270000 3600.160000 3586.350000 44849 dead-dnd003.shuffled-as.sat05-3109 craft11 CC_lgl1 4.295000 217.050000 207.360000 19907 frb45-21-1.used-as.sat04-883 craft11 CC_lgl1 31.800000 3600.100000 3531.660000 43290 frb59-26-1.used-as.sat04-891 craft11 CC_lgl1 151.545000 3600.130000 3276.990000 167612 frb75-13-2.used-as.sat04-878 craft11 CC_lgl1 16.515000 3007.630000 2971.890000 25138 frb80-14-2.used-as.sat04-880 craft11 CC_lgl1 28.625000 3600.060000 3539.090000 37049 gensys-icl005.shuffled-as.sat05-3826 craft11 CC_lgl1 11.650000 529.040000 502.960000 40283 gensys-icl007.shuffled-as.sat05-3133 craft11 CC_lgl1 21.650000 885.880000 837.040000 91926 gensys-ukn004.shuffled-as.sat05-3844 craft11 CC_lgl1 27.075000 3600.090000 3542.330000 115543 GreenTao_2-3-5_527 craft11 CC_lgl1 33.035000 87.020000 66.490000 161122 GreenTao_2-3-5_528 craft11 CC_lgl1 34.015000 499.590000 421.180000 164235 lksat-n1100-m4103-k3-l5-s558351420.used-as.sat04-934 craft11 CC_lgl1 5.250000 24.500000 12.820000 30359 lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938 craft11 CC_lgl1 3.970000 9.530000 7.940000 20654 lksat-n900-m6174-k4-l4-s819398222.used-as.sat04-929 craft11 CC_lgl1 3.065000 12.770000 6.110000 10532 crafted11istics-rotate-07t5.shuffled-as.sat05-1137.log craft11 CC_lgl1 5.275000 24.180000 12.940000 30359 new-difficult-23-189-21-75 craft11 CC_lgl1 0.515000 65.200000 62.410000 969 par32-3.shuffled craft11 CC_lgl1 4.370000 3600.060000 3590.890000 55103 rbsat-ru-v760c43649g7 craft11 CC_lgl1 4.225000 38.950000 26.640000 4242 rbsat-ru-v945c61409g3 craft11 CC_lgl1 28.885000 3600.070000 3471.360000 44649 rbsat-v1150c84314g1 craft11 CC_lgl1 73.025000 3600.080000 3448.370000 96382 rbsat-v1375c111739g6 craft11 CC_lgl1 57.515000 3600.070000 3480.730000 66379 rbsat-v1560c133795gyes1 craft11 CC_lgl1 208.295000 3600.070000 3178.530000 243769 rbsat-v1820c171155gyes3 craft11 CC_lgl1 197.745000 3600.080000 3199.310000 197376 rbsat-v2100c215164g4 craft11 CC_lgl1 280.680000 3600.080000 3031.680000 228353 rbsat-v2400c266431gyes7 craft11 CC_lgl1 364.025000 3600.070000 2866.310000 236836 rbsat-v760c43649g2 craft11 CC_lgl1 11.520000 3600.090000 3553.400000 18255 rbsat-v760c43649g5 craft11 CC_lgl1 5.145000 58.190000 43.950000 4202 rbsat-v760c43649g7 craft11 CC_lgl1 13.225000 3600.070000 3569.060000 22481 rbsat-v760c43649g9 craft11 CC_lgl1 13.285000 297.320000 266.690000 22783 rbsat-v760c43649gyes5 craft11 CC_lgl1 18.420000 1153.550000 1112.860000 32910 rbsat-v760c43649gyes6 craft11 CC_lgl1 13.380000 3600.060000 3569.130000 22870 rbsat-v760c43649gyes8 craft11 CC_lgl1 13.380000 3600.070000 3569.300000 22093 rbsat-v945c61409g4 craft11 CC_lgl1 43.030000 3600.080000 3508.850000 64041 rbsat-v945c61409g6 craft11 CC_lgl1 23.570000 3600.060000 3547.470000 29536 rbsat-v945c61409g7 craft11 CC_lgl1 15.280000 1123.340000 1088.160000 19553 rbsat-v945c61409gyes10 craft11 CC_lgl1 38.670000 3600.100000 3518.500000 65762 rbsat-v945c61409gyes1 craft11 CC_lgl1 38.445000 3600.110000 3519.000000 68160 rbsat-v945c61409gyes5 craft11 CC_lgl1 15.120000 818.190000 783.510000 18963 rnd_100_27_s craft11 CC_lgl1 17.810000 526.990000 486.220000 79303 rnd_100_28_s craft11 CC_lgl1 10.665000 79.670000 56.000000 63735 rnd_150_29_u craft11 CC_lgl1 123.840000 712.250000 432.760000 262386 SGI_30_60_20_50_3-dir.shuffled-as.sat03-114 craft11 CC_lgl1 0.535000 3600.090000 3596.660000 638 SGI_30_60_29_30_6-dir.shuffled-as.sat03-130 craft11 CC_lgl1 2.455000 3600.080000 3593.020000 3146 SGI_30_70_15_90_1-dir.shuffled-as.sat03-136 craft11 CC_lgl1 0.635000 3600.070000 3596.100000 1180 SGI_30_70_15_90_1.shuffled-as.sat03-137.log craft11 CC_lgl1 15.405000 1119.580000 1087.730000 19553 SGI_30_70_18_80_10-dir.shuffled-as.sat03-140 craft11 CC_lgl1 0.735000 3600.080000 3596.900000 536 SGI_30_70_20_60_10-dir.shuffled-as.sat03-144 craft11 CC_lgl1 2.515000 3600.080000 3592.700000 3458 SGI_30_70_20_70_1-dir.shuffled-as.sat03-146 craft11 CC_lgl1 1.600000 3600.060000 3594.910000 1906 SGI_30_70_22_70_7-dir.shuffled-as.sat03-154 craft11 CC_lgl1 1.815000 3600.080000 3594.370000 4630 SGI_30_70_26_40_6-dir.shuffled-as.sat03-163 craft11 CC_lgl1 0.915000 3600.070000 3595.580000 842 SGI_30_70_26_60_1-dir.shuffled-as.sat03-167 craft11 CC_lgl1 2.700000 3600.060000 3592.560000 2120 SGI_30_70_27_50_3-dir.shuffled-as.sat03-169 craft11 CC_lgl1 1.280000 3600.070000 3595.010000 1314 SGI_30_70_29_50_3-dir.shuffled-as.sat03-179 craft11 CC_lgl1 4.435000 3600.070000 3589.070000 8353 SGI_30_80_15_90_4-dir.shuffled-as.sat03-6 craft11 CC_lgl1 1.925000 3600.090000 3593.540000 5071 SGI_30_80_28_70_8-dir.shuffled-as.sat03-215 craft11 CC_lgl1 3.600000 3600.130000 3590.470000 5759 srhd-sgi-m27-q225-n25-p15-s58217873 craft11 CC_lgl1 0.500000 6.300000 3.910000 344 srhd-sgi-m27-q225-n25-p30-s70617701 craft11 CC_lgl1 1.205000 20.430000 14.620000 927 srhd-sgi-m27-q255-n25-p15-s2076598 craft11 CC_lgl1 0.470000 2.220000 0.880000 812 srhd-sgi-m27-q255-n25-p30-s39712998 craft11 CC_lgl1 2.240000 184.470000 178.780000 4378 srhd-sgi-m32-q326.25-n30-p15-s44266159 craft11 CC_lgl1 2.680000 29.510000 20.440000 3337 srhd-sgi-m32-q326.25-n30-p30-s48700942 craft11 CC_lgl1 2.270000 76.560000 68.040000 775 srhd-sgi-m32-q369.75-n30-p15-s59317012 craft11 CC_lgl1 13.750000 3600.050000 3428.240000 20228 srhd-sgi-m32-q369.75-n30-p30-s25693430 craft11 CC_lgl1 2.295000 3600.070000 3591.210000 3647 srhd-sgi-m37-q446.25-n35-p15-s25120921 craft11 CC_lgl1 2.220000 174.190000 165.390000 563 srhd-sgi-m37-q446.25-n35-p30-s33692332 craft11 CC_lgl1 4.435000 3600.080000 3586.760000 2336 srhd-sgi-m42-q585-n40-p15-s54275047 craft11 CC_lgl1 11.380000 3600.070000 3559.440000 2655 srhd-sgi-m42-q585-n40-p30-s19690873 craft11 CC_lgl1 7.165000 3600.080000 3580.510000 1261 VanDerWaerden_2-3-12_135 craft11 CC_lgl1 3.865000 30.290000 20.970000 9122 VanDerWaerden_2-3-13_160 craft11 CC_lgl1 9.155000 227.770000 207.890000 21267 VanDerWaerden_2-3-14_186 craft11 CC_lgl1 10.795000 2635.820000 2612.740000 22636 VanDerWaerden_2-3-15_218 craft11 CC_lgl1 101.715000 3600.190000 3389.850000 188877 VanDerWaerden_2-3-16_238 craft11 CC_lgl1 156.465000 3600.080000 3283.600000 283275 VanDerWaerden_2-3-17_279 craft11 CC_lgl1 221.745000 3600.100000 3154.190000 325273 VanDerWaerden_2-3-18_312 craft11 CC_lgl1 271.865000 3600.100000 3031.540000 343139 VanDerWaerden_2-3-19_349 craft11 CC_lgl1 332.380000 3600.070000 2933.630000 332122 VanDerWaerden_2-3-20_388 craft11 CC_lgl1 403.550000 3600.080000 2791.260000 314382 VanDerWaerden_2-3-20_389 craft11 CC_lgl1 409.845000 3600.080000 2778.460000 314088 VanDerWaerden_pd_2-3-19_348 craft11 CC_lgl1 14.865000 66.960000 36.230000 9435 VanDerWaerden_pd_2-3-20_381 craft11 CC_lgl1 20.995000 75.420000 42.010000 11272 VanDerWaerden_pd_2-3-20_390 craft11 CC_lgl1 27.615000 158.420000 101.580000 16677 VanDerWaerden_pd_2-3-21_399 craft11 CC_lgl1 33.520000 101.780000 67.060000 21128 VanDerWaerden_pd_2-3-21_401 craft11 CC_lgl1 33.930000 156.830000 87.500000 20637 VanDerWaerden_pd_2-3-21_404 craft11 CC_lgl1 46.695000 154.330000 93.440000 32591 VanDerWaerden_pd_2-3-21_406 craft11 CC_lgl1 47.355000 513.300000 416.210000 32162 VanDerWaerden_pd_2-3-22_443 craft11 CC_lgl1 76.480000 461.790000 305.670000 46726 VanDerWaerden_pd_2-3-22_445 craft11 CC_lgl1 74.150000 607.890000 456.100000 46106 VanDerWaerden_pd_2-3-22_462 craft11 CC_lgl1 84.350000 1086.990000 911.670000 47392 VanDerWaerden_pd_2-3-22_464 craft11 CC_lgl1 83.865000 1630.650000 1459.970000 47283 VanDerWaerden_pd_2-3-23_505 craft11 CC_lgl1 122.165000 1154.920000 906.420000 60013 VanDerWaerden_pd_2-3-23_506 craft11 CC_lgl1 146.680000 3600.110000 3303.030000 74991 VanDerWaerden_pd_2-3-23_507 craft11 CC_lgl1 123.240000 1579.800000 1317.720000 61524 VanDerWaerden_pd_2-3-23_508 craft11 CC_lgl1 143.470000 3600.070000 3166.350000 74072 VanDerWaerden_pd_2-3-24_567 craft11 CC_lgl1 219.350000 1503.190000 1061.410000 91213 battleship-11-11-unsat craft11 CC_lgl4 0.690000 4.800000 10.560000 10135 battleship-12-12-unsat craft11 CC_lgl4 1.985000 12.420000 25.380000 27840 battleship-13-13-unsat craft11 CC_lgl4 3.730000 993.630000 3886.870000 64675 battleship-14-14-unsat craft11 CC_lgl4 6.550000 2178.940000 8561.120000 106447 Composite-024BitPrimes-1.used-as.sat04-861 craft11 CC_lgl4 11.060000 41.220000 58.150000 43824 connm-ue-csp-sat-n800-d0.02-s111845174.used-as.sat04-958 craft11 CC_lgl4 6.930000 403.180000 1541.520000 41859 connm-ue-csp-sat-n800-d0.04-s1788334438.used-as.sat04-976 craft11 CC_lgl4 6.265000 3600.100000 14182.770000 44849 dead-dnd003.shuffled-as.sat05-3109 craft11 CC_lgl4 5.515000 106.730000 358.570000 19907 frb45-21-1.used-as.sat04-883 craft11 CC_lgl4 31.735000 3600.080000 13059.980000 43290 frb59-26-1.used-as.sat04-891 craft11 CC_lgl4 197.040000 3600.060000 12606.670000 167612 frb75-13-2.used-as.sat04-878 craft11 CC_lgl4 16.545000 885.010000 3327.880000 25138 frb80-14-2.used-as.sat04-880 craft11 CC_lgl4 28.620000 1348.920000 5094.030000 37049 gensys-icl005.shuffled-as.sat05-3826 craft11 CC_lgl4 11.650000 188.500000 641.080000 40283 gensys-icl007.shuffled-as.sat05-3133 craft11 CC_lgl4 21.305000 274.800000 852.560000 91926 gensys-ukn004.shuffled-as.sat05-3844 craft11 CC_lgl4 26.965000 2048.580000 7496.410000 115543 GreenTao_2-3-5_527 craft11 CC_lgl4 33.220000 73.830000 66.800000 161122 GreenTao_2-3-5_528 craft11 CC_lgl4 33.390000 201.880000 486.790000 164235 lksat-n1100-m4103-k3-l5-s558351420.used-as.sat04-934 craft11 CC_lgl4 5.160000 15.190000 14.460000 30359 lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938 craft11 CC_lgl4 3.995000 8.790000 8.030000 20654 lksat-n900-m6174-k4-l4-s819398222.used-as.sat04-929 craft11 CC_lgl4 3.025000 8.660000 6.950000 10532 crafted11istics-rotate-07t5.shuffled-as.sat05-1137.log craft11 CC_lgl4 3.085000 8.180000 6.730000 10532 new-difficult-23-189-21-75 craft11 CC_lgl4 0.525000 20.040000 68.330000 969 par32-3.shuffled craft11 CC_lgl4 4.470000 3600.070000 14343.260000 55103 rbsat-ru-v760c43649g7 craft11 CC_lgl4 4.315000 19.770000 29.120000 4242 rbsat-ru-v945c61409g3 craft11 CC_lgl4 28.410000 3600.070000 13982.300000 44649 rbsat-v1150c84314g1 craft11 CC_lgl4 73.030000 3600.090000 13637.950000 96382 rbsat-v1375c111739g6 craft11 CC_lgl4 56.190000 3600.120000 13773.450000 66379 rbsat-v1560c133795gyes1 craft11 CC_lgl4 199.915000 3600.100000 12563.950000 243769 rbsat-v1820c171155gyes3 craft11 CC_lgl4 194.670000 3600.090000 12610.390000 197376 rbsat-v2100c215164g4 craft11 CC_lgl4 280.185000 3600.060000 11994.750000 228353 rbsat-v2400c266431gyes7 craft11 CC_lgl4 363.095000 3600.090000 11455.830000 236836 rbsat-v760c43649g2 craft11 CC_lgl4 11.570000 3600.100000 7525.560000 18255 rbsat-v760c43649g5 craft11 CC_lgl4 5.130000 25.110000 43.480000 4202 rbsat-v760c43649g7 craft11 CC_lgl4 13.240000 3600.080000 14119.720000 22481 rbsat-v760c43649g9 craft11 CC_lgl4 12.975000 651.580000 2458.060000 22783 rbsat-v760c43649gyes5 craft11 CC_lgl4 18.400000 1862.460000 7202.100000 32910 rbsat-v760c43649gyes6 craft11 CC_lgl4 13.310000 2209.350000 8434.900000 22870 rbsat-v760c43649gyes8 craft11 CC_lgl4 13.310000 3600.070000 13656.600000 22093 rbsat-v945c61409g4 craft11 CC_lgl4 42.170000 3600.060000 14024.370000 64041 rbsat-v945c61409g6 craft11 CC_lgl4 23.580000 3600.070000 8503.450000 29536 rbsat-v945c61409g7 craft11 CC_lgl4 15.290000 328.090000 1158.400000 19553 rbsat-v945c61409gyes10 craft11 CC_lgl4 38.665000 3600.070000 13913.350000 65762 rbsat-v945c61409gyes1 craft11 CC_lgl4 38.410000 3600.060000 13916.110000 68160 rbsat-v945c61409gyes5 craft11 CC_lgl4 15.100000 209.160000 690.670000 18963 rnd_100_27_s craft11 CC_lgl4 17.395000 182.120000 572.070000 79303 rnd_100_28_s craft11 CC_lgl4 10.775000 39.880000 63.290000 63735 rnd_150_29_u craft11 CC_lgl4 124.005000 394.600000 516.100000 262386 SGI_30_60_20_50_3-dir.shuffled-as.sat03-114 craft11 CC_lgl4 0.530000 3600.090000 3622.140000 638 SGI_30_60_29_30_6-dir.shuffled-as.sat03-130 craft11 CC_lgl4 2.395000 3600.010000 9029.170000 3146 SGI_30_70_15_90_1-dir.shuffled-as.sat03-136 craft11 CC_lgl4 0.640000 3600.090000 3987.300000 1180 SGI_30_70_15_90_1.shuffled-as.sat03-137.log craft11 CC_lgl4 15.240000 191.240000 633.340000 18963 SGI_30_70_18_80_10-dir.shuffled-as.sat03-140 craft11 CC_lgl4 0.740000 3600.060000 3764.570000 536 SGI_30_70_20_60_10-dir.shuffled-as.sat03-144 craft11 CC_lgl4 2.070000 3600.060000 4042.820000 3458 SGI_30_70_20_70_1-dir.shuffled-as.sat03-146 craft11 CC_lgl4 1.615000 3600.080000 4815.250000 1906 SGI_30_70_22_70_7-dir.shuffled-as.sat03-154 craft11 CC_lgl4 1.790000 3600.070000 3849.900000 4630 SGI_30_70_26_40_6-dir.shuffled-as.sat03-163 craft11 CC_lgl4 0.920000 3600.060000 10276.110000 842 SGI_30_70_26_60_1-dir.shuffled-as.sat03-167 craft11 CC_lgl4 2.700000 3600.080000 4196.590000 2120 SGI_30_70_27_50_3-dir.shuffled-as.sat03-169 craft11 CC_lgl4 1.290000 3600.060000 11321.780000 1314 SGI_30_70_29_50_3-dir.shuffled-as.sat03-179 craft11 CC_lgl4 4.350000 3600.060000 5725.160000 8353 SGI_30_80_15_90_4-dir.shuffled-as.sat03-6 craft11 CC_lgl4 1.935000 3162.340000 12598.920000 5071 SGI_30_80_28_70_8-dir.shuffled-as.sat03-215 craft11 CC_lgl4 3.600000 3600.050000 14198.270000 5759 srhd-sgi-m27-q225-n25-p15-s58217873 craft11 CC_lgl4 0.520000 3.150000 2.340000 344 srhd-sgi-m27-q225-n25-p30-s70617701 craft11 CC_lgl4 1.200000 8.240000 11.680000 927 srhd-sgi-m27-q255-n25-p15-s2076598 craft11 CC_lgl4 0.465000 1.700000 0.890000 812 srhd-sgi-m27-q255-n25-p30-s39712998 craft11 CC_lgl4 2.220000 49.430000 172.690000 4378 srhd-sgi-m32-q326.25-n30-p15-s44266159 craft11 CC_lgl4 2.675000 13.540000 17.490000 3337 srhd-sgi-m32-q326.25-n30-p30-s48700942 craft11 CC_lgl4 2.240000 70.240000 245.900000 775 srhd-sgi-m32-q369.75-n30-p15-s59317012 craft11 CC_lgl4 13.695000 1694.400000 6574.140000 20228 srhd-sgi-m32-q369.75-n30-p30-s25693430 craft11 CC_lgl4 2.340000 2526.260000 9951.950000 3647 srhd-sgi-m37-q446.25-n35-p15-s25120921 craft11 CC_lgl4 2.240000 31.910000 91.470000 563 srhd-sgi-m37-q446.25-n35-p30-s33692332 craft11 CC_lgl4 4.370000 3600.070000 14183.100000 2336 srhd-sgi-m42-q585-n40-p15-s54275047 craft11 CC_lgl4 14.785000 3528.080000 13793.710000 2655 srhd-sgi-m42-q585-n40-p30-s19690873 craft11 CC_lgl4 7.340000 3600.040000 14281.460000 1261 VanDerWaerden_2-3-12_135 craft11 CC_lgl4 3.880000 14.390000 23.330000 9122 VanDerWaerden_2-3-13_160 craft11 CC_lgl4 9.075000 78.520000 229.730000 21267 VanDerWaerden_2-3-14_186 craft11 CC_lgl4 10.685000 758.610000 2857.910000 22636 VanDerWaerden_2-3-15_218 craft11 CC_lgl4 101.765000 3600.070000 13533.000000 188877 VanDerWaerden_2-3-16_238 craft11 CC_lgl4 156.420000 3600.210000 12983.030000 283275 VanDerWaerden_2-3-17_279 craft11 CC_lgl4 221.700000 3600.080000 12470.830000 325273 VanDerWaerden_2-3-18_312 craft11 CC_lgl4 276.185000 3600.080000 12031.290000 343139 VanDerWaerden_2-3-19_349 craft11 CC_lgl4 332.440000 3600.060000 11598.340000 332122 VanDerWaerden_2-3-20_388 craft11 CC_lgl4 403.545000 3600.050000 11140.600000 314382 VanDerWaerden_2-3-20_389 craft11 CC_lgl4 409.545000 3600.090000 10989.920000 314088 VanDerWaerden_pd_2-3-19_348 craft11 CC_lgl4 14.545000 39.930000 38.610000 9435 VanDerWaerden_pd_2-3-20_381 craft11 CC_lgl4 20.975000 52.060000 41.910000 11272 VanDerWaerden_pd_2-3-20_390 craft11 CC_lgl4 27.645000 84.300000 109.960000 16677 VanDerWaerden_pd_2-3-21_399 craft11 CC_lgl4 33.530000 77.500000 67.110000 21128 VanDerWaerden_pd_2-3-21_401 craft11 CC_lgl4 33.165000 92.540000 96.970000 20637 VanDerWaerden_pd_2-3-21_404 craft11 CC_lgl4 47.740000 112.470000 95.510000 32591 VanDerWaerden_pd_2-3-21_406 craft11 CC_lgl4 47.380000 210.980000 446.730000 32162 VanDerWaerden_pd_2-3-22_443 craft11 CC_lgl4 74.660000 237.090000 337.550000 46726 VanDerWaerden_pd_2-3-22_445 craft11 CC_lgl4 74.105000 277.030000 494.860000 46106 VanDerWaerden_pd_2-3-22_462 craft11 CC_lgl4 84.400000 419.660000 980.810000 47392 VanDerWaerden_pd_2-3-22_464 craft11 CC_lgl4 83.850000 575.600000 1609.160000 47283 VanDerWaerden_pd_2-3-23_505 craft11 CC_lgl4 122.235000 496.700000 991.030000 60013 VanDerWaerden_pd_2-3-23_506 craft11 CC_lgl4 146.835000 2262.940000 7771.080000 74991 VanDerWaerden_pd_2-3-23_507 craft11 CC_lgl4 125.435000 631.840000 1484.850000 61524 VanDerWaerden_pd_2-3-23_508 craft11 CC_lgl4 145.935000 2564.760000 8738.270000 74072 VanDerWaerden_pd_2-3-24_567 craft11 CC_lgl4 219.170000 721.860000 1109.290000 91213 battleship-11-11-unsat craft11 lingeling 62.080000 61.430000 battleship-12-12-unsat craft11 lingeling 44.270000 42.200000 battleship-13-13-unsat craft11 lingeling 3600.060000 3599.900000 battleship-14-14-unsat craft11 lingeling 3600.050000 3599.770000 Composite-024BitPrimes-1.used-as.sat04-861 craft11 lingeling 39.930000 36.630000 connm-ue-csp-sat-n800-d0.02-s111845174.used-as.sat04-958 craft11 lingeling 3600.080000 3599.500000 connm-ue-csp-sat-n800-d0.04-s1788334438.used-as.sat04-976 craft11 lingeling 3600.070000 3599.280000 dead-dnd003.shuffled-as.sat05-3109 craft11 lingeling 2355.260000 2354.530000 frb45-21-1.used-as.sat04-883 craft11 lingeling 438.080000 434.280000 frb59-26-1.used-as.sat04-891 craft11 lingeling 3600.030000 3595.700000 frb75-13-2.used-as.sat04-878 craft11 lingeling 3600.070000 3598.160000 frb80-14-2.used-as.sat04-880 craft11 lingeling 1892.200000 1889.680000 gensys-icl005.shuffled-as.sat05-3826 craft11 lingeling 3600.060000 3599.260000 gensys-icl007.shuffled-as.sat05-3133 craft11 lingeling 3600.070000 3599.320000 gensys-ukn004.shuffled-as.sat05-3844 craft11 lingeling 3600.100000 3599.330000 GreenTao_2-3-5_527 craft11 lingeling 20.320000 19.680000 GreenTao_2-3-5_528 craft11 lingeling 1008.820000 1008.510000 lksat-n1100-m4103-k3-l5-s558351420.used-as.sat04-934 craft11 lingeling 58.300000 57.980000 lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938 craft11 lingeling 11.530000 10.850000 lksat-n900-m6174-k4-l4-s819398222.used-as.sat04-929 craft11 lingeling 2.700000 2.300000 crafted11istics-rotate-07t5.shuffled-as.sat05-1137.log craft11 lingeling 2.550000 2.320000 new-difficult-23-189-21-75 craft11 lingeling 3600.080000 3598.060000 par32-3.shuffled craft11 lingeling 3600.070000 3599.700000 rbsat-ru-v760c43649g7 craft11 lingeling 293.880000 290.300000 rbsat-ru-v945c61409g3 craft11 lingeling 3600.060000 3596.060000 rbsat-v1150c84314g1 craft11 lingeling 3600.080000 3590.760000 rbsat-v1375c111739g6 craft11 lingeling 3600.080000 3595.710000 rbsat-v1560c133795gyes1 craft11 lingeling 3600.070000 3595.640000 rbsat-v1820c171155gyes3 craft11 lingeling 3600.080000 3595.140000 rbsat-v2100c215164g4 craft11 lingeling 3600.100000 3585.190000 rbsat-v2400c266431gyes7 craft11 lingeling 3600.060000 3595.130000 rbsat-v760c43649g2 craft11 lingeling 3600.050000 3595.710000 rbsat-v760c43649g5 craft11 lingeling 130.740000 127.120000 rbsat-v760c43649g7 craft11 lingeling 3600.070000 3596.260000 rbsat-v760c43649g9 craft11 lingeling 87.630000 83.940000 rbsat-v760c43649gyes5 craft11 lingeling 3600.050000 3596.100000 rbsat-v760c43649gyes6 craft11 lingeling 3600.070000 3596.280000 rbsat-v760c43649gyes8 craft11 lingeling 3600.070000 3596.250000 rbsat-v945c61409g4 craft11 lingeling 2226.360000 2222.190000 rbsat-v945c61409g6 craft11 lingeling 3600.080000 3596.150000 rbsat-v945c61409g7 craft11 lingeling 558.750000 554.850000 rbsat-v945c61409gyes10 craft11 lingeling 3600.010000 3595.850000 rbsat-v945c61409gyes1 craft11 lingeling 70.720000 66.970000 rbsat-v945c61409gyes5 craft11 lingeling 3600.090000 3596.210000 rnd_100_27_s craft11 lingeling 20.490000 20.060000 rnd_100_28_s craft11 lingeling 3.250000 2.670000 rnd_150_29_u craft11 lingeling 65.270000 64.570000 SGI_30_60_20_50_3-dir.shuffled-as.sat03-114 craft11 lingeling 3600.050000 3597.810000 SGI_30_60_29_30_6-dir.shuffled-as.sat03-130 craft11 lingeling 3600.070000 3597.270000 SGI_30_70_15_90_1-dir.shuffled-as.sat03-136 craft11 lingeling 3600.080000 3597.610000 SGI_30_70_15_90_1.shuffled-as.sat03-137.log craft11 lingeling 3600.070000 3599.560000 SGI_30_70_18_80_10-dir.shuffled-as.sat03-140 craft11 lingeling 3600.090000 3598.180000 SGI_30_70_20_60_10-dir.shuffled-as.sat03-144 craft11 lingeling 3600.050000 3597.740000 SGI_30_70_20_70_1-dir.shuffled-as.sat03-146 craft11 lingeling 3600.050000 3598.100000 SGI_30_70_22_70_7-dir.shuffled-as.sat03-154 craft11 lingeling 3600.080000 3598.150000 SGI_30_70_26_40_6-dir.shuffled-as.sat03-163 craft11 lingeling 3600.070000 3597.620000 SGI_30_70_26_60_1-dir.shuffled-as.sat03-167 craft11 lingeling 3600.060000 3597.830000 SGI_30_70_27_50_3-dir.shuffled-as.sat03-169 craft11 lingeling 3600.080000 3597.620000 SGI_30_70_29_50_3-dir.shuffled-as.sat03-179 craft11 lingeling 3600.070000 3598.110000 SGI_30_80_15_90_4-dir.shuffled-as.sat03-6 craft11 lingeling 387.530000 384.810000 SGI_30_80_28_70_8-dir.shuffled-as.sat03-215 craft11 lingeling 3600.080000 3597.370000 srhd-sgi-m27-q225-n25-p15-s58217873 craft11 lingeling 27.310000 25.870000 srhd-sgi-m27-q225-n25-p30-s70617701 craft11 lingeling 477.360000 474.560000 srhd-sgi-m27-q255-n25-p15-s2076598 craft11 lingeling 3600.050000 3599.060000 srhd-sgi-m27-q255-n25-p30-s39712998 craft11 lingeling 1958.110000 1956.800000 srhd-sgi-m32-q326.25-n30-p15-s44266159 craft11 lingeling 3600.070000 3596.210000 srhd-sgi-m32-q326.25-n30-p30-s48700942 craft11 lingeling 404.720000 400.250000 srhd-sgi-m32-q369.75-n30-p15-s59317012 craft11 lingeling 103.620000 99.530000 srhd-sgi-m32-q369.75-n30-p30-s25693430 craft11 lingeling 3600.070000 3595.740000 srhd-sgi-m37-q446.25-n35-p15-s25120921 craft11 lingeling 3600.080000 3595.750000 srhd-sgi-m37-q446.25-n35-p30-s33692332 craft11 lingeling 3600.070000 3595.750000 srhd-sgi-m42-q585-n40-p15-s54275047 craft11 lingeling 3600.050000 3595.180000 srhd-sgi-m42-q585-n40-p30-s19690873 craft11 lingeling 3600.070000 3594.820000 VanDerWaerden_2-3-12_135 craft11 lingeling 303.680000 303.390000 VanDerWaerden_2-3-13_160 craft11 lingeling 3600.070000 3599.860000 VanDerWaerden_2-3-14_186 craft11 lingeling 3600.060000 3599.710000 VanDerWaerden_2-3-15_218 craft11 lingeling 3600.080000 3599.420000 VanDerWaerden_2-3-16_238 craft11 lingeling 3600.080000 3599.380000 VanDerWaerden_2-3-17_279 craft11 lingeling 3600.080000 3599.470000 VanDerWaerden_2-3-18_312 craft11 lingeling 3600.090000 3599.040000 VanDerWaerden_2-3-19_349 craft11 lingeling 3600.060000 3598.950000 VanDerWaerden_2-3-20_388 craft11 lingeling 3600.060000 3598.830000 VanDerWaerden_2-3-20_389 craft11 lingeling 3600.080000 3598.630000 VanDerWaerden_pd_2-3-19_348 craft11 lingeling 249.490000 248.670000 VanDerWaerden_pd_2-3-20_381 craft11 lingeling 247.070000 246.590000 VanDerWaerden_pd_2-3-20_390 craft11 lingeling 977.020000 976.440000 VanDerWaerden_pd_2-3-21_399 craft11 lingeling 104.050000 103.440000 VanDerWaerden_pd_2-3-21_401 craft11 lingeling 976.530000 975.860000 VanDerWaerden_pd_2-3-21_404 craft11 lingeling 930.230000 929.620000 VanDerWaerden_pd_2-3-21_406 craft11 lingeling 3600.100000 3599.450000 VanDerWaerden_pd_2-3-22_443 craft11 lingeling 1179.930000 1178.750000 VanDerWaerden_pd_2-3-22_445 craft11 lingeling 3600.060000 3599.280000 VanDerWaerden_pd_2-3-22_462 craft11 lingeling 3600.050000 3599.170000 VanDerWaerden_pd_2-3-22_464 craft11 lingeling 3600.070000 3598.750000 VanDerWaerden_pd_2-3-23_505 craft11 lingeling 916.550000 915.510000 VanDerWaerden_pd_2-3-23_506 craft11 lingeling 3600.050000 3598.920000 VanDerWaerden_pd_2-3-23_507 craft11 lingeling 3600.050000 3599.070000 VanDerWaerden_pd_2-3-23_508 craft11 lingeling 3600.060000 3598.990000 VanDerWaerden_pd_2-3-24_567 craft11 lingeling 3600.050000 3599.510000 battleship-11-11-unsat craft11 march_rw 4.960000 4.790000 battleship-12-12-unsat craft11 march_rw 16.120000 15.560000 battleship-13-13-unsat craft11 march_rw 387.300000 387.130000 battleship-14-14-unsat craft11 march_rw 1844.600000 1823.730000 Composite-024BitPrimes-1.used-as.sat04-861 craft11 march_rw 1602.170000 1598.850000 connm-ue-csp-sat-n800-d0.02-s111845174.used-as.sat04-958 craft11 march_rw 3600.080000 3596.990000 connm-ue-csp-sat-n800-d0.04-s1788334438.used-as.sat04-976 craft11 march_rw 3600.050000 3562.370000 dead-dnd003.shuffled-as.sat05-3109 craft11 march_rw 3600.070000 3587.940000 frb45-21-1.used-as.sat04-883 craft11 march_rw 3600.080000 3596.450000 frb59-26-1.used-as.sat04-891 craft11 march_rw 3600.060000 3595.970000 frb75-13-2.used-as.sat04-878 craft11 march_rw 3600.050000 3598.700000 frb80-14-2.used-as.sat04-880 craft11 march_rw 3600.070000 3568.940000 gensys-icl005.shuffled-as.sat05-3826 craft11 march_rw 3600.050000 3599.410000 gensys-icl007.shuffled-as.sat05-3133 craft11 march_rw 3600.100000 3599.750000 gensys-ukn004.shuffled-as.sat05-3844 craft11 march_rw 3600.060000 3561.300000 GreenTao_2-3-5_527 craft11 march_rw 2757.000000 2756.770000 GreenTao_2-3-5_528 craft11 march_rw 3517.950000 3517.570000 lksat-n1100-m4103-k3-l5-s558351420.used-as.sat04-934 craft11 march_rw 1.120000 0.800000 lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938 craft11 march_rw 1.710000 1.450000 lksat-n900-m6174-k4-l4-s819398222.used-as.sat04-929 craft11 march_rw 0.430000 0.180000 crafted11istics-rotate-07t5.shuffled-as.sat05-1137.log craft11 march_rw 0.240000 0.030000 new-difficult-23-189-21-75 craft11 march_rw 3600.040000 3598.590000 par32-3.shuffled craft11 march_rw 142.800000 142.310000 rbsat-ru-v760c43649g7 craft11 march_rw 3600.090000 3596.460000 rbsat-ru-v945c61409g3 craft11 march_rw 3600.060000 3593.460000 rbsat-v1150c84314g1 craft11 march_rw 3600.060000 3590.640000 rbsat-v1375c111739g6 craft11 march_rw 3600.060000 3587.560000 rbsat-v1560c133795gyes1 craft11 march_rw 3600.070000 3594.500000 rbsat-v1820c171155gyes3 craft11 march_rw 3600.080000 3518.530000 rbsat-v2100c215164g4 craft11 march_rw 3600.050000 3595.710000 rbsat-v2400c266431gyes7 craft11 march_rw 3600.060000 3595.560000 rbsat-v760c43649g2 craft11 march_rw 3600.050000 3563.510000 rbsat-v760c43649g5 craft11 march_rw 3600.080000 3571.990000 rbsat-v760c43649g7 craft11 march_rw 3600.060000 3592.700000 rbsat-v760c43649g9 craft11 march_rw 3600.070000 3590.570000 rbsat-v760c43649gyes5 craft11 march_rw 3600.060000 3596.430000 rbsat-v760c43649gyes6 craft11 march_rw 3600.070000 3596.400000 rbsat-v760c43649gyes8 craft11 march_rw 3600.060000 3596.580000 rbsat-v945c61409g4 craft11 march_rw 3600.080000 3456.900000 rbsat-v945c61409g6 craft11 march_rw 3600.070000 3596.330000 rbsat-v945c61409g7 craft11 march_rw 3600.050000 3596.180000 rbsat-v945c61409gyes10 craft11 march_rw 3600.050000 3596.280000 rbsat-v945c61409gyes1 craft11 march_rw 3600.080000 3596.400000 rbsat-v945c61409gyes5 craft11 march_rw 3600.060000 3596.560000 rnd_100_27_s craft11 march_rw 3600.090000 3599.770000 rnd_100_28_s craft11 march_rw 3600.070000 3599.380000 rnd_150_29_u craft11 march_rw 3600.070000 3552.930000 SGI_30_60_20_50_3-dir.shuffled-as.sat03-114 craft11 march_rw 3600.070000 3564.380000 SGI_30_60_29_30_6-dir.shuffled-as.sat03-130 craft11 march_rw 3600.080000 3597.900000 SGI_30_70_15_90_1-dir.shuffled-as.sat03-136 craft11 march_rw 3600.060000 3583.090000 SGI_30_70_15_90_1.shuffled-as.sat03-137.log craft11 march_rw 3600.040000 3600.010000 SGI_30_70_18_80_10-dir.shuffled-as.sat03-140 craft11 march_rw 3600.080000 3598.640000 SGI_30_70_20_60_10-dir.shuffled-as.sat03-144 craft11 march_rw 3600.070000 3555.740000 SGI_30_70_20_70_1-dir.shuffled-as.sat03-146 craft11 march_rw 3600.080000 3598.280000 SGI_30_70_22_70_7-dir.shuffled-as.sat03-154 craft11 march_rw 3600.060000 3598.160000 SGI_30_70_26_40_6-dir.shuffled-as.sat03-163 craft11 march_rw 3600.050000 3597.470000 SGI_30_70_26_60_1-dir.shuffled-as.sat03-167 craft11 march_rw 3600.050000 3581.190000 SGI_30_70_27_50_3-dir.shuffled-as.sat03-169 craft11 march_rw 3600.060000 3587.960000 SGI_30_70_29_50_3-dir.shuffled-as.sat03-179 craft11 march_rw 3600.050000 3598.140000 SGI_30_80_15_90_4-dir.shuffled-as.sat03-6 craft11 march_rw 3600.050000 3586.830000 SGI_30_80_28_70_8-dir.shuffled-as.sat03-215 craft11 march_rw 3600.080000 3597.800000 srhd-sgi-m27-q225-n25-p15-s58217873 craft11 march_rw 3600.060000 3520.590000 srhd-sgi-m27-q225-n25-p30-s70617701 craft11 march_rw 3600.050000 3597.310000 srhd-sgi-m27-q255-n25-p15-s2076598 craft11 march_rw 3600.090000 3532.360000 srhd-sgi-m27-q255-n25-p30-s39712998 craft11 march_rw 3600.060000 3599.280000 srhd-sgi-m32-q326.25-n30-p15-s44266159 craft11 march_rw 3600.050000 3595.420000 srhd-sgi-m32-q326.25-n30-p30-s48700942 craft11 march_rw 3600.050000 3594.920000 srhd-sgi-m32-q369.75-n30-p15-s59317012 craft11 march_rw 3600.080000 3596.210000 srhd-sgi-m32-q369.75-n30-p30-s25693430 craft11 march_rw 3600.070000 3594.330000 srhd-sgi-m37-q446.25-n35-p15-s25120921 craft11 march_rw 3600.100000 3595.980000 srhd-sgi-m37-q446.25-n35-p30-s33692332 craft11 march_rw 3600.070000 3596.120000 srhd-sgi-m42-q585-n40-p15-s54275047 craft11 march_rw 183.170000 178.560000 srhd-sgi-m42-q585-n40-p30-s19690873 craft11 march_rw 250.370000 244.730000 VanDerWaerden_2-3-12_135 craft11 march_rw 36.220000 35.990000 VanDerWaerden_2-3-13_160 craft11 march_rw 284.200000 283.330000 VanDerWaerden_2-3-14_186 craft11 march_rw 2330.750000 2330.490000 VanDerWaerden_2-3-15_218 craft11 march_rw 3600.080000 3599.630000 VanDerWaerden_2-3-16_238 craft11 march_rw 3600.040000 3599.280000 VanDerWaerden_2-3-17_279 craft11 march_rw 3600.080000 3599.600000 VanDerWaerden_2-3-18_312 craft11 march_rw 3600.070000 3599.610000 VanDerWaerden_2-3-19_349 craft11 march_rw 3600.060000 3565.200000 VanDerWaerden_2-3-20_388 craft11 march_rw 3600.070000 3599.400000 VanDerWaerden_2-3-20_389 craft11 march_rw 3600.090000 3599.260000 VanDerWaerden_pd_2-3-19_348 craft11 march_rw 208.160000 207.630000 VanDerWaerden_pd_2-3-20_381 craft11 march_rw 247.690000 246.770000 VanDerWaerden_pd_2-3-20_390 craft11 march_rw 459.430000 458.890000 VanDerWaerden_pd_2-3-21_399 craft11 march_rw 524.960000 523.920000 VanDerWaerden_pd_2-3-21_401 craft11 march_rw 602.710000 599.770000 VanDerWaerden_pd_2-3-21_404 craft11 march_rw 1349.200000 1346.820000 VanDerWaerden_pd_2-3-21_406 craft11 march_rw 2320.790000 2317.770000 VanDerWaerden_pd_2-3-22_443 craft11 march_rw 1786.340000 1785.340000 VanDerWaerden_pd_2-3-22_445 craft11 march_rw 2498.620000 2498.050000 VanDerWaerden_pd_2-3-22_462 craft11 march_rw 3600.060000 3599.520000 VanDerWaerden_pd_2-3-22_464 craft11 march_rw 3600.060000 3570.590000 VanDerWaerden_pd_2-3-23_505 craft11 march_rw 3600.050000 3552.830000 VanDerWaerden_pd_2-3-23_506 craft11 march_rw 3600.060000 3582.730000 VanDerWaerden_pd_2-3-23_507 craft11 march_rw 3600.040000 3599.360000 VanDerWaerden_pd_2-3-23_508 craft11 march_rw 3600.040000 3599.840000 VanDerWaerden_pd_2-3-24_567 craft11 march_rw 3600.050000 3577.310000 battleship-11-11-unsat craft11 minisat22 203.090000 202.920000 battleship-12-12-unsat craft11 minisat22 455.280000 455.120000 battleship-13-13-unsat craft11 minisat22 3600.060000 3600.000000 battleship-14-14-unsat craft11 minisat22 3600.070000 3600.040000 Composite-024BitPrimes-1.used-as.sat04-861 craft11 minisat22 4.600000 3.160000 connm-ue-csp-sat-n800-d0.02-s111845174.used-as.sat04-958 craft11 minisat22 3600.070000 3599.580000 connm-ue-csp-sat-n800-d0.04-s1788334438.used-as.sat04-976 craft11 minisat22 3600.050000 3599.180000 dead-dnd003.shuffled-as.sat05-3109 craft11 minisat22 314.370000 313.640000 frb45-21-1.used-as.sat04-883 craft11 minisat22 1366.010000 1362.200000 frb59-26-1.used-as.sat04-891 craft11 minisat22 3600.090000 3595.430000 frb75-13-2.used-as.sat04-878 craft11 minisat22 2584.460000 2582.850000 frb80-14-2.used-as.sat04-880 craft11 minisat22 3600.080000 3597.760000 gensys-icl005.shuffled-as.sat05-3826 craft11 minisat22 3600.070000 3599.250000 gensys-icl007.shuffled-as.sat05-3133 craft11 minisat22 2229.570000 2229.030000 gensys-ukn004.shuffled-as.sat05-3844 craft11 minisat22 3600.080000 3599.340000 GreenTao_2-3-5_527 craft11 minisat22 122.380000 121.580000 GreenTao_2-3-5_528 craft11 minisat22 521.670000 520.910000 lksat-n1100-m4103-k3-l5-s558351420.used-as.sat04-934 craft11 minisat22 63.110000 60.290000 lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938 craft11 minisat22 6.990000 6.480000 lksat-n900-m6174-k4-l4-s819398222.used-as.sat04-929 craft11 minisat22 0.410000 0.250000 crafted11istics-rotate-07t5.shuffled-as.sat05-1137.log craft11 minisat22 3600.010000 3595.410000 new-difficult-23-189-21-75 craft11 minisat22 3600.050000 3594.210000 par32-3.shuffled craft11 minisat22 3600.020000 3599.270000 rbsat-ru-v760c43649g7 craft11 minisat22 97.990000 93.850000 rbsat-ru-v945c61409g3 craft11 minisat22 3600.070000 3595.850000 rbsat-v1150c84314g1 craft11 minisat22 1803.780000 1799.570000 rbsat-v1375c111739g6 craft11 minisat22 3600.080000 3595.450000 rbsat-v1560c133795gyes1 craft11 minisat22 3600.070000 3595.310000 rbsat-v1820c171155gyes3 craft11 minisat22 3600.050000 3594.800000 rbsat-v2100c215164g4 craft11 minisat22 3600.080000 3595.310000 rbsat-v2400c266431gyes7 craft11 minisat22 3600.070000 3594.350000 rbsat-v760c43649g2 craft11 minisat22 3600.070000 3596.190000 rbsat-v760c43649g5 craft11 minisat22 73.600000 70.000000 rbsat-v760c43649g7 craft11 minisat22 3600.080000 3596.330000 rbsat-v760c43649g9 craft11 minisat22 3600.070000 3596.360000 rbsat-v760c43649gyes5 craft11 minisat22 989.170000 985.360000 rbsat-v760c43649gyes6 craft11 minisat22 1023.530000 1019.410000 rbsat-v760c43649gyes8 craft11 minisat22 3600.070000 3596.280000 rbsat-v945c61409g4 craft11 minisat22 3600.070000 3585.510000 rbsat-v945c61409g6 craft11 minisat22 3600.050000 3596.230000 rbsat-v945c61409g7 craft11 minisat22 125.940000 122.150000 rbsat-v945c61409gyes10 craft11 minisat22 3600.070000 3592.860000 rbsat-v945c61409gyes1 craft11 minisat22 3600.080000 3596.000000 rbsat-v945c61409gyes5 craft11 minisat22 3600.080000 3596.220000 rnd_100_27_s craft11 minisat22 27.430000 27.040000 rnd_100_28_s craft11 minisat22 11.980000 11.500000 rnd_150_29_u craft11 minisat22 444.470000 443.630000 SGI_30_60_20_50_3-dir.shuffled-as.sat03-114 craft11 minisat22 3600.060000 3584.480000 SGI_30_60_29_30_6-dir.shuffled-as.sat03-130 craft11 minisat22 3600.090000 3597.580000 SGI_30_70_15_90_1-dir.shuffled-as.sat03-136 craft11 minisat22 3600.070000 3597.830000 SGI_30_70_15_90_1.shuffled-as.sat03-137.log craft11 minisat22 2590.270000 2589.970000 SGI_30_70_18_80_10-dir.shuffled-as.sat03-140 craft11 minisat22 3600.060000 3596.250000 SGI_30_70_20_60_10-dir.shuffled-as.sat03-144 craft11 minisat22 3600.070000 3597.670000 SGI_30_70_20_70_1-dir.shuffled-as.sat03-146 craft11 minisat22 3600.070000 3597.680000 SGI_30_70_22_70_7-dir.shuffled-as.sat03-154 craft11 minisat22 3600.080000 3598.100000 SGI_30_70_26_40_6-dir.shuffled-as.sat03-163 craft11 minisat22 3600.090000 3597.470000 SGI_30_70_26_60_1-dir.shuffled-as.sat03-167 craft11 minisat22 3600.080000 3597.820000 SGI_30_70_27_50_3-dir.shuffled-as.sat03-169 craft11 minisat22 3600.060000 3597.380000 SGI_30_70_29_50_3-dir.shuffled-as.sat03-179 craft11 minisat22 3600.070000 3597.900000 SGI_30_80_15_90_4-dir.shuffled-as.sat03-6 craft11 minisat22 3600.070000 3597.300000 SGI_30_80_28_70_8-dir.shuffled-as.sat03-215 craft11 minisat22 3600.090000 3597.410000 srhd-sgi-m27-q225-n25-p15-s58217873 craft11 minisat22 119.050000 117.640000 srhd-sgi-m27-q225-n25-p30-s70617701 craft11 minisat22 326.650000 323.880000 srhd-sgi-m27-q255-n25-p15-s2076598 craft11 minisat22 3600.100000 3599.050000 srhd-sgi-m27-q255-n25-p30-s39712998 craft11 minisat22 3505.620000 3504.290000 srhd-sgi-m32-q326.25-n30-p15-s44266159 craft11 minisat22 333.000000 329.410000 srhd-sgi-m32-q326.25-n30-p30-s48700942 craft11 minisat22 3600.080000 3595.460000 srhd-sgi-m32-q369.75-n30-p15-s59317012 craft11 minisat22 3600.080000 3595.660000 srhd-sgi-m32-q369.75-n30-p30-s25693430 craft11 minisat22 3600.050000 3596.060000 srhd-sgi-m37-q446.25-n35-p15-s25120921 craft11 minisat22 3600.060000 3595.630000 srhd-sgi-m37-q446.25-n35-p30-s33692332 craft11 minisat22 3600.080000 3595.540000 srhd-sgi-m42-q585-n40-p15-s54275047 craft11 minisat22 3600.070000 3595.260000 srhd-sgi-m42-q585-n40-p30-s19690873 craft11 minisat22 3600.070000 3595.110000 VanDerWaerden_2-3-12_135 craft11 minisat22 239.310000 239.110000 VanDerWaerden_2-3-13_160 craft11 minisat22 1737.240000 1736.880000 VanDerWaerden_2-3-14_186 craft11 minisat22 3600.060000 3599.750000 VanDerWaerden_2-3-15_218 craft11 minisat22 3600.050000 3599.430000 VanDerWaerden_2-3-16_238 craft11 minisat22 3600.070000 3597.480000 VanDerWaerden_2-3-17_279 craft11 minisat22 3600.050000 3599.270000 VanDerWaerden_2-3-18_312 craft11 minisat22 3600.070000 3599.350000 VanDerWaerden_2-3-19_349 craft11 minisat22 3600.070000 3599.280000 VanDerWaerden_2-3-20_388 craft11 minisat22 3600.080000 3596.070000 VanDerWaerden_2-3-20_389 craft11 minisat22 3600.110000 3598.730000 VanDerWaerden_pd_2-3-19_348 craft11 minisat22 206.180000 201.360000 VanDerWaerden_pd_2-3-20_381 craft11 minisat22 223.060000 222.560000 VanDerWaerden_pd_2-3-20_390 craft11 minisat22 648.210000 647.450000 VanDerWaerden_pd_2-3-21_399 craft11 minisat22 263.240000 262.660000 VanDerWaerden_pd_2-3-21_401 craft11 minisat22 527.200000 526.610000 VanDerWaerden_pd_2-3-21_404 craft11 minisat22 94.640000 94.020000 VanDerWaerden_pd_2-3-21_406 craft11 minisat22 3368.920000 3368.280000 VanDerWaerden_pd_2-3-22_443 craft11 minisat22 182.680000 182.020000 VanDerWaerden_pd_2-3-22_445 craft11 minisat22 3600.070000 3599.310000 VanDerWaerden_pd_2-3-22_462 craft11 minisat22 3111.270000 3110.470000 VanDerWaerden_pd_2-3-22_464 craft11 minisat22 3600.070000 3599.230000 VanDerWaerden_pd_2-3-23_505 craft11 minisat22 1550.830000 1549.920000 VanDerWaerden_pd_2-3-23_506 craft11 minisat22 3600.070000 3598.990000 VanDerWaerden_pd_2-3-23_507 craft11 minisat22 3600.050000 3598.730000 VanDerWaerden_pd_2-3-23_508 craft11 minisat22 3600.080000 3599.640000 VanDerWaerden_pd_2-3-24_567 craft11 minisat22 3600.090000 3599.460000