normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/liu/dbst/ normalized-dbst_v30_e350_d15_mw10_1.opb.PB06.opb
|
SAT TT=0.834 T1=0.83
|
SAT TT=9.84 T1=10.03
|
SAT TT=22.179 T1=22.17
|
SAT TT=3.88 T1=3.87
|
SAT TT=4.665 T1=4.66
|
SAT TT=13.776 T1=13.73
|
SAT TT=5.209 T1=5.18
|
SAT TT=13.963 T1=13.92
|
SAT TT=5.095 T1=3.38
|
SAT TT=4.629 T1=3.07
|
SAT TT=3.096 T1=2.28
|
? (TO) TT=1800.78
|
? TT=1797.73
|
? (TO) TT=1800.78
|
? TT=1797.74
|
SAT TT=0.834 T1=0.83
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/liu/dbst/ normalized-dbst_v30_e350_d15_mw10_2.opb.PB06.opb
|
SAT TT=0.835 T1=0.83
|
SAT TT=9.877 T1=9.96
|
SAT TT=22.205 T1=22.19
|
SAT TT=3.878 T1=3.87
|
SAT TT=4.52 T1=4.49
|
SAT TT=13.127 T1=13.08
|
SAT TT=4.5 T1=4.48
|
SAT TT=13.328 T1=13.28
|
SAT TT=4.595 T1=2.95
|
SAT TT=4.892 T1=3.07
|
SAT TT=3.25 T1=2.34
|
SAT TT=1734.45 T1=1733.85
|
SAT TT=1701.03 T1=1700.4
|
? (TO) TT=1802.09
|
SAT TT=1720.32 T1=1719.69
|
SAT TT=0.835 T1=0.83
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/liu/dbst/ normalized-dbst_v30_e350_d15_mw10_3.opb.PB06.opb
|
SAT TT=0.835 T1=0.83
|
SAT TT=9.486 T1=9.58
|
SAT TT=24.203 T1=24.2
|
SAT TT=3.889 T1=3.88
|
SAT TT=5.856 T1=5.83
|
SAT TT=18.162 T1=18.11
|
SAT TT=5.121 T1=5.1
|
SAT TT=15.825 T1=15.78
|
SAT TT=5.122 T1=3.3
|
SAT TT=4.488 T1=3.11
|
SAT TT=3.189 T1=2.33
|
SAT TT=1712.97 T1=1712.31
|
SAT TT=1676.74 T1=1676.05
|
SAT TT=1717.85 T1=1717.17
|
SAT TT=1694.37 T1=1693.71
|
SAT TT=0.835 T1=0.83
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/liu/dbst/ normalized-dbst_v30_e350_d15_mw10_8.opb.PB06.opb
|
SAT TT=0.833 T1=0.83
|
SAT TT=9.43 T1=9.55
|
SAT TT=23.411 T1=23.41
|
SAT TT=3.874 T1=3.87
|
SAT TT=4.474 T1=4.45
|
SAT TT=13.046 T1=13
|
SAT TT=4.501 T1=4.47
|
SAT TT=12.997 T1=12.95
|
SAT TT=4.805 T1=3
|
SAT TT=3.905 T1=3.08
|
SAT TT=3.103 T1=2.29
|
SAT TT=1544.48 T1=1543.89
|
SAT TT=1516.37 T1=1515.74
|
SAT TT=1537.21 T1=1536.55
|
SAT TT=1462.61 T1=1461.97
|
SAT TT=0.833 T1=0.83
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/liu/dbst/ normalized-dbst_v30_e350_d15_mw10_9.opb.PB06.opb
|
SAT TT=0.836 T1=0.83
|
SAT TT=10.457 T1=10.49
|
SAT TT=21.797 T1=21.79
|
SAT TT=3.883 T1=3.88
|
SAT TT=4.927 T1=4.9
|
SAT TT=15.226 T1=15.18
|
SAT TT=5.444 T1=5.42
|
SAT TT=18.005 T1=17.96
|
SAT TT=4.971 T1=3.19
|
SAT TT=4.285 T1=3.08
|
SAT TT=3.082 T1=2.28
|
SAT TT=1473.98 T1=1473.33
|
SAT TT=1581.36 T1=1580.66
|
SAT TT=1481.48 T1=1481.02
|
SAT TT=1477.8 T1=1477.16
|
SAT TT=0.836 T1=0.83
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/liu/dbst/ normalized-dbst_v40_e600_d20_mw10_0.opb.PB06.opb
|
SAT TT=2.595 T1=2.6
|
SAT TT=25.416 T1=24.24
|
SAT TT=149.937 T1=149.92
|
SAT TT=24.039 T1=24.03
|
SAT TT=16.223 T1=16.15
|
SAT TT=48.21 T1=48.09
|
SAT TT=14.44 T1=14.38
|
SAT TT=43.213 T1=43.09
|
SAT TT=8.19 T1=6.24
|
SAT TT=8.818 T1=6.88
|
SAT TT=7.158 T1=6.2
|
? (TO) TT=1802.16
|
? (TO) TT=1800.14
|
? (TO) TT=1802.14
|
? TT=1799.89
|
SAT TT=2.595 T1=2.6
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/liu/dbst/ normalized-dbst_v40_e600_d20_mw10_2.opb.PB06.opb
|
SAT TT=2.6 T1=2.59
|
SAT TT=26.889 T1=24.96
|
SAT TT=150.81 T1=150.82
|
SAT TT=24.184 T1=24.17
|
SAT TT=13.155 T1=13.09
|
SAT TT=35.754 T1=35.64
|
SAT TT=13.009 T1=12.94
|
SAT TT=38.662 T1=38.54
|
SAT TT=8.709 T1=6.47
|
SAT TT=8.843 T1=6.97
|
SAT TT=6.588 T1=5.67
|
? (TO) TT=1802.14
|
? (TO) TT=1800.14
|
? (TO) TT=1802.15
|
? (TO) TT=1802.12
|
SAT TT=2.6 T1=2.59
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/liu/dbst/ normalized-dbst_v40_e600_d20_mw10_5.opb.PB06.opb
|
SAT TT=2.597 T1=2.58
|
SAT TT=26.809 T1=23.73
|
SAT TT=148.262 T1=148.27
|
SAT TT=24.154 T1=24.14
|
SAT TT=15.27 T1=15.2
|
SAT TT=44.537 T1=44.42
|
SAT TT=17.274 T1=17.21
|
SAT TT=54.374 T1=54.25
|
SAT TT=8.495 T1=6.44
|
SAT TT=8.451 T1=6.99
|
SAT TT=6.597 T1=5.64
|
? (TO) TT=1802.13
|
? (TO) TT=1800.17
|
? (TO) TT=1802.16
|
? TT=1799.24
|
SAT TT=2.597 T1=2.58
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/liu/dbst/ normalized-dbst_v40_e600_d20_mw10_6.opb.PB06.opb
|
SAT TT=2.599 T1=2.59
|
SAT TT=24.55 T1=23.01
|
SAT TT=150.131 T1=150.11
|
SAT TT=24.092 T1=24.08
|
SAT TT=15.35 T1=15.29
|
SAT TT=39.88 T1=39.8
|
SAT TT=13.95 T1=13.89
|
SAT TT=39.791 T1=39.67
|
SAT TT=7.84 T1=6.13
|
SAT TT=8.966 T1=6.91
|
SAT TT=7.189 T1=6.16
|
? (TO) TT=1802.17
|
? (TO) TT=1800.17
|
? (TO) TT=1802.17
|
? TT=1799.6
|
SAT TT=2.599 T1=2.59
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/liu/dbst/ normalized-dbst_v40_e600_d20_mw10_9.opb.PB06.opb
|
SAT TT=2.601 T1=2.59
|
SAT TT=26.683 T1=25.24
|
SAT TT=150.311 T1=150.3
|
SAT TT=24.184 T1=24.17
|
SAT TT=13.527 T1=13.46
|
SAT TT=37.696 T1=37.58
|
SAT TT=13.485 T1=13.42
|
SAT TT=37.424 T1=37.31
|
SAT TT=7.655 T1=6
|
SAT TT=8.904 T1=6.93
|
SAT TT=6.602 T1=5.67
|
? (TO) TT=1802.16
|
? TT=1799.87
|
? (TO) TT=1802.16
|
? (TO) TT=1800.13
|
SAT TT=2.601 T1=2.59
|
Bench name | Best results | borg pb-dec-11.04.03 (complete) | bsolo 3.2 (complete) | clasp 2.0-R4191 (complete) | MinisatID 2.4.8 [DEPRECATED] (complete) | MinisatID 2.4.8-gmp [DEPRECATED] (complete) | MinisatID 2.5.2 (fixed) (complete) | MinisatID 2.5.2-gmp (fixed) (complete) | Sat4j CuttingPlanes 2.3.0 (complete) | Sat4j Res//CP 2.3.0 (complete) | Sat4j Resolution 2.3.0 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx 2 2011-06-10 (fixed) (complete) | SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx E_2 2011-06-10 (fixed) (complete) | wbo 1.6 (complete) |
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/liu/dbst/ normalized-dbst_v50_e1000_d25_mw10_1.opb.PB06.opb
|
SAT TT=6.798 T1=6.78
|
SAT TT=303.488 T1=296.73
|
SAT TT=186.155 T1=186.12
|
SAT TT=106.777 T1=106.77
|
SAT TT=36.069 T1=35.94
|
SAT TT=99.088 T1=98.83
|
SAT TT=42.027 T1=41.86
|
SAT TT=107.364 T1=107.06
|
SAT TT=15.15 T1=12.45
|
SAT TT=18.261 T1=14.18
|
SAT TT=13.305 T1=11.79
|
? (TO) TT=1802.26
|
? (TO) TT=1800.32
|
? (TO) TT=1802.3
|
? (TO) TT=1802.27
|
SAT TT=6.798 T1=6.78
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/liu/dbst/ normalized-dbst_v50_e1000_d25_mw10_3.opb.PB06.opb
|
SAT TT=6.779 T1=6.78
|
SAT TT=303.472 T1=303.59
|
SAT TT=186.633 T1=186.6
|
SAT TT=106.999 T1=106.98
|
SAT TT=40.842 T1=40.67
|
SAT TT=104.484 T1=104.24
|
SAT TT=36.888 T1=36.76
|
SAT TT=100.414 T1=100.16
|
SAT TT=15.182 T1=12.48
|
SAT TT=18.864 T1=14.61
|
SAT TT=14.375 T1=12.8
|
? (TO) TT=1802.28
|
? (TO) TT=1800.27
|
? (TO) TT=1802.28
|
? (TO) TT=1802.24
|
SAT TT=6.779 T1=6.78
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/liu/dbst/ normalized-dbst_v50_e1000_d25_mw10_5.opb.PB06.opb
|
SAT TT=6.787 T1=6.76
|
SAT TT=302.751 T1=302.3
|
SAT TT=186.225 T1=186.19
|
SAT TT=106.402 T1=106.38
|
SAT TT=36.887 T1=36.74
|
SAT TT=101.219 T1=100.96
|
SAT TT=40.205 T1=40.06
|
SAT TT=106.269 T1=105.94
|
SAT TT=17.104 T1=14.23
|
SAT TT=18.717 T1=14.39
|
SAT TT=13.91 T1=12.53
|
? (TO) TT=1802.32
|
? (TO) TT=1800.27
|
? (TO) TT=1802.26
|
? (TO) TT=1800.24
|
SAT TT=6.787 T1=6.76
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/liu/dbst/ normalized-dbst_v50_e1000_d25_mw10_6.opb.PB06.opb
|
SAT TT=7.326 T1=7.32
|
SAT TT=277.685 T1=277.38
|
SAT TT=186.184 T1=186.28
|
SAT TT=114.404 T1=114.4
|
SAT TT=36.367 T1=36.2
|
SAT TT=99.391 T1=99.11
|
SAT TT=36.453 T1=36.31
|
SAT TT=110.3 T1=109.94
|
SAT TT=15.358 T1=12.69
|
SAT TT=18.318 T1=14.37
|
SAT TT=13.327 T1=11.88
|
? (TO) TT=1802.31
|
? (TO) TT=1800.28
|
? (TO) TT=1802.3
|
? (TO) TT=1802.26
|
SAT TT=7.326 T1=7.32
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/liu/dbst/ normalized-dbst_v50_e1000_d25_mw10_9.opb.PB06.opb
|
SAT TT=6.791 T1=6.77
|
SAT TT=302.857 T1=303.15
|
SAT TT=186.142 T1=186.13
|
SAT TT=107.762 T1=107.74
|
SAT TT=35.133 T1=34.98
|
SAT TT=95.511 T1=95.23
|
SAT TT=34.942 T1=34.81
|
SAT TT=94.039 T1=93.79
|
SAT TT=14.315 T1=11.91
|
SAT TT=18.605 T1=14.41
|
SAT TT=13.798 T1=12.39
|
? (TO) TT=1802.31
|
? (TO) TT=1800.24
|
? (TO) TT=1802.29
|
? (TO) TT=1802.26
|
SAT TT=6.791 T1=6.77
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/liu/vdw/ normalized-vdw_k3_l5_n550.opb
|
|
? (MO) TT=1685.22
|
? TT=1798.02
|
? (TO) TT=1800.09
|
? (TO) TT=1800.06
|
? (TO) TT=1800.08
|
? (TO) TT=1800.06
|
? (TO) TT=1800.07
|
? (TO) TT=1800.25
|
? (TO) TT=1800.36
|
? (TO) TT=1800.15
|
? (TO) TT=1800.33
|
? (TO) TT=1800.09
|
? (TO) TT=1800.42
|
? TT=1797.34
|
? (TO) TT=1800.08
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/liu/vdw/ normalized-vdw_k3_l6_n1500.opb
|
SAT TT=3.016 T1=3
|
SAT TT=34.262 T1=34.27
|
SAT TT=126.264 T1=126.25
|
SAT TT=13.249 T1=13.21
|
? (TO) TT=1800.1
|
? (TO) TT=1800.17
|
? (TO) TT=1800.1
|
? (TO) TT=1800.17
|
SAT TT=7.425 T1=6.48
|
SAT TT=8.609 T1=7.51
|
SAT TT=7.655 T1=6.66
|
? (TO) TT=1802.21
|
? (TO) TT=1800.17
|
? (TO) TT=1802.21
|
? (TO) TT=1802.15
|
SAT TT=3.016 T1=3
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/liu/vdw/ normalized-vdw_k4_l4_n360.opb
|
SAT TT=419.029 T1=417.65
|
SAT TT=419.029 T1=417.65
|
? TT=1798.02
|
? (TO) TT=1800.07
|
? (TO) TT=1800.07
|
? (TO) TT=1800.08
|
? (TO) TT=1800.07
|
? (TO) TT=1800.07
|
? (TO) TT=1800.25
|
? (TO) TT=1800.53
|
? (TO) TT=1800.2
|
? (TO) TT=1800.13
|
? TT=1797.23
|
? (TO) TT=1801.45
|
? TT=1797.25
|
? (TO) TT=1800.04
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/liu/vdw/ normalized-vdw_k5_l4_n750.opb
|
|
? (TO) TT=1800.09
|
? TT=1798.06
|
? (TO) TT=1800.06
|
? (TO) TT=1800.16
|
? (TO) TT=1800.14
|
? (TO) TT=1800.08
|
? (TO) TT=1800.11
|
? (TO) TT=1800.33
|
? (TO) TT=1800.49
|
? (TO) TT=1800.26
|
? (TO) TT=1802.12
|
? (TO) TT=1800.12
|
? (TO) TT=1802.16
|
? (TO) TT=1802.09
|
? (TO) TT=1800.12
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/liu/vdw/ normalized-vdw_k6_l3_n170.opb
|
|
? (TO) TT=1800.08
|
? TT=1798.02
|
? (TO) TT=1800.06
|
? (TO) TT=1800.07
|
? (TO) TT=1800.07
|
? (TO) TT=1800.06
|
? (TO) TT=1800.07
|
? (TO) TT=1800.32
|
? (TO) TT=1800.33
|
? (TO) TT=1800.16
|
? (TO) TT=1800.07
|
? TT=1797.17
|
? (TO) TT=1800.16
|
? TT=1797.16
|
? (TO) TT=1800.09
|
Bench name | Best results | borg pb-dec-11.04.03 (complete) | bsolo 3.2 (complete) | clasp 2.0-R4191 (complete) | MinisatID 2.4.8 [DEPRECATED] (complete) | MinisatID 2.4.8-gmp [DEPRECATED] (complete) | MinisatID 2.5.2 (fixed) (complete) | MinisatID 2.5.2-gmp (fixed) (complete) | Sat4j CuttingPlanes 2.3.0 (complete) | Sat4j Res//CP 2.3.0 (complete) | Sat4j Resolution 2.3.0 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx 2 2011-06-10 (fixed) (complete) | SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx E_2 2011-06-10 (fixed) (complete) | wbo 1.6 (complete) |
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900544463.opb
|
SAT TT=0.095 T1=0.09
|
SAT TT=0.56 T1=0.72
|
SAT TT=1.666 T1=1.66
|
SAT TT=0.129 T1=0.13
|
SAT TT=88.152 T1=88.14
|
SAT TT=141.417 T1=141.41
|
SAT TT=1.353 T1=1.35
|
SAT TT=5.388 T1=5.39
|
? (TO) TT=1800.27
|
SAT TT=3.793 T1=1.33
|
SAT TT=1.626 T1=1.09
|
SAT TT=13.319 T1=13.31
|
SAT TT=13.285 T1=13.27
|
SAT TT=13.302 T1=13.29
|
SAT TT=13.297 T1=13.28
|
SAT TT=0.095 T1=0.09
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900544484.opb
|
UNSAT TT=6.479
|
UNSAT TT=9.787
|
UNSAT TT=588.907
|
UNSAT TT=6.479
|
? (TO) TT=1800.09
|
? (TO) TT=1800.04
|
UNSAT TT=89.296
|
UNSAT TT=255.623
|
? (TO) TT=1800.28
|
UNSAT TT=86.348
|
UNSAT TT=39.067
|
UNSAT TT=255.611
|
UNSAT TT=257.295
|
UNSAT TT=256.021
|
UNSAT TT=266.358
|
UNSAT TT=27.053
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900545610.opb
|
UNSAT TT=8.787
|
UNSAT TT=22.316
|
UNSAT TT=1320.38
|
UNSAT TT=8.787
|
? (TO) TT=1800.06
|
? (TO) TT=1800.04
|
UNSAT TT=172.131
|
UNSAT TT=451.233
|
? (TO) TT=1800.22
|
UNSAT TT=1305.09
|
UNSAT TT=563.84
|
UNSAT TT=361.738
|
UNSAT TT=337.065
|
UNSAT TT=336.667
|
UNSAT TT=336.799
|
UNSAT TT=106.458
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900546076.opb
|
UNSAT TT=1.216
|
UNSAT TT=2.849
|
UNSAT TT=411.115
|
UNSAT TT=1.216
|
? (TO) TT=1800.06
|
? (TO) TT=1800.07
|
UNSAT TT=121.774
|
UNSAT TT=334.759
|
? (TO) TT=1800.25
|
UNSAT TT=40.738
|
UNSAT TT=19.389
|
UNSAT TT=55.639
|
UNSAT TT=55.533
|
UNSAT TT=55.411
|
UNSAT TT=55.464
|
UNSAT TT=5.489
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900546417.opb
|
UNSAT TT=11.876
|
UNSAT TT=18.377
|
UNSAT TT=1063.7
|
UNSAT TT=11.876
|
? (TO) TT=1800.08
|
? (TO) TT=1800.06
|
UNSAT TT=275.611
|
UNSAT TT=805.722
|
? (TO) TT=1800.24
|
UNSAT TT=1359.46
|
UNSAT TT=587.721
|
UNSAT TT=650.624
|
UNSAT TT=681.403
|
UNSAT TT=651.415
|
UNSAT TT=652.016
|
UNSAT TT=98.041
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900547334.opb
|
SAT TT=0.239 T1=0.24
|
SAT TT=0.564 T1=0.65
|
SAT TT=3.991 T1=3.99
|
SAT TT=0.239 T1=0.24
|
SAT TT=44.089 T1=44.08
|
SAT TT=69.874 T1=69.88
|
SAT TT=5.199 T1=5.19
|
SAT TT=20.359 T1=20.35
|
SAT TT=1387.96 T1=1383.84
|
SAT TT=4.339 T1=1.83
|
SAT TT=1.854 T1=1.31
|
SAT TT=17.225 T1=17.21
|
SAT TT=18.945 T1=18.93
|
SAT TT=17.207 T1=17.19
|
SAT TT=17.216 T1=17.2
|
SAT TT=1.6 T1=1.59
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900547353.opb
|
SAT TT=0.109 T1=0.1
|
SAT TT=0.816 T1=0.9
|
SAT TT=1.043 T1=1.04
|
SAT TT=0.109 T1=0.1
|
SAT TT=115.591 T1=115.58
|
SAT TT=170.059 T1=170.05
|
SAT TT=3.451 T1=3.45
|
SAT TT=12.805 T1=12.8
|
? (TO) TT=1800.25
|
SAT TT=3.529 T1=1.34
|
SAT TT=1.49 T1=0.96
|
SAT TT=16.907 T1=16.9
|
SAT TT=12.811 T1=12.8
|
SAT TT=14.022 T1=14.01
|
SAT TT=12.791 T1=12.78
|
SAT TT=4.556 T1=4.55
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900547389.opb
|
UNSAT TT=14.983
|
UNSAT TT=27.403
|
UNSAT TT=783.533
|
UNSAT TT=14.983
|
? (TO) TT=1800.07
|
? (TO) TT=1800.06
|
UNSAT TT=84.235
|
UNSAT TT=226.387
|
? (TO) TT=1800.25
|
UNSAT TT=931.694
|
UNSAT TT=407.302
|
UNSAT TT=215.386
|
UNSAT TT=215.978
|
UNSAT TT=196.445
|
UNSAT TT=196.033
|
UNSAT TT=91.862
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900547416.opb
|
SAT TT=0.049 T1=0.04
|
SAT TT=0.755 T1=0.82
|
SAT TT=13.784 T1=13.78
|
SAT TT=0.049 T1=0.04
|
SAT TT=11.192 T1=11.19
|
SAT TT=17.483 T1=17.48
|
SAT TT=2.511 T1=2.5
|
SAT TT=10.662 T1=10.66
|
SAT TT=515.393 T1=512.82
|
SAT TT=9.726 T1=4.35
|
SAT TT=4.447 T1=3.85
|
SAT TT=17.425 T1=17.41
|
SAT TT=17.392 T1=17.38
|
SAT TT=17.426 T1=17.41
|
SAT TT=17.387 T1=17.37
|
SAT TT=0.147 T1=0.14
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900547427.opb
|
SAT TT=0.096 T1=0.09
|
SAT TT=0.507 T1=1.16
|
SAT TT=8.437 T1=8.43
|
SAT TT=0.096 T1=0.09
|
SAT TT=9.518 T1=9.51
|
SAT TT=13.312 T1=13.31
|
SAT TT=3.526 T1=3.52
|
SAT TT=15.899 T1=15.89
|
? (TO) TT=1800.29
|
SAT TT=3.784 T1=1.34
|
SAT TT=1.582 T1=1.06
|
SAT TT=1.633 T1=1.62
|
SAT TT=1.757 T1=1.74
|
SAT TT=1.62 T1=1.61
|
SAT TT=1.61 T1=1.6
|
SAT TT=0.143 T1=0.14
|
Bench name | Best results | borg pb-dec-11.04.03 (complete) | bsolo 3.2 (complete) | clasp 2.0-R4191 (complete) | MinisatID 2.4.8 [DEPRECATED] (complete) | MinisatID 2.4.8-gmp [DEPRECATED] (complete) | MinisatID 2.5.2 (fixed) (complete) | MinisatID 2.5.2-gmp (fixed) (complete) | Sat4j CuttingPlanes 2.3.0 (complete) | Sat4j Res//CP 2.3.0 (complete) | Sat4j Resolution 2.3.0 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx 2 2011-06-10 (fixed) (complete) | SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx E_2 2011-06-10 (fixed) (complete) | wbo 1.6 (complete) |
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900547461.opb
|
SAT TT=0.607 T1=0.6
|
SAT TT=0.75 T1=0.83
|
SAT TT=10.687 T1=10.68
|
SAT TT=0.607 T1=0.6
|
SAT TT=237.465 T1=237.45
|
SAT TT=348.158 T1=348.14
|
SAT TT=12.486 T1=12.48
|
SAT TT=43.728 T1=43.72
|
? (TO) TT=1800.27
|
SAT TT=15.606 T1=7.37
|
SAT TT=7.042 T1=6.46
|
SAT TT=12.389 T1=12.38
|
SAT TT=14.002 T1=13.99
|
SAT TT=12.42 T1=12.41
|
SAT TT=12.354 T1=12.34
|
SAT TT=1.969 T1=1.96
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900548667.opb
|
UNSAT TT=37.258
|
UNSAT TT=57.516
|
? TT=1798
|
UNSAT TT=37.258
|
? (TO) TT=1800.07
|
? (TO) TT=1800.02
|
UNSAT TT=362.652
|
UNSAT TT=1216.5
|
? (TO) TT=1800.31
|
? (TO) TT=1800.22
|
UNSAT TT=1047.41
|
UNSAT TT=904.814
|
UNSAT TT=903.413
|
UNSAT TT=900.653
|
UNSAT TT=956.317
|
UNSAT TT=273.559
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900549974.opb
|
SAT TT=0.045 T1=0.05
|
SAT TT=0.696 T1=6.55
|
SAT TT=18.817 T1=18.81
|
SAT TT=0.045 T1=0.05
|
SAT TT=115.968 T1=115.98
|
SAT TT=192.897 T1=192.9
|
SAT TT=10.54 T1=10.53
|
SAT TT=37.894 T1=37.89
|
? (TO) TT=1800.23
|
SAT TT=8.374 T1=3.84
|
SAT TT=3.823 T1=3.24
|
SAT TT=3.078 T1=3.07
|
SAT TT=2.688 T1=2.68
|
SAT TT=2.714 T1=2.7
|
SAT TT=2.7 T1=2.69
|
SAT TT=1.074 T1=1.07
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900550006.opb
|
UNSAT TT=18.046
|
UNSAT TT=31.086
|
UNSAT TT=1385.59
|
UNSAT TT=18.046
|
? (TO) TT=1800.1
|
? (TO) TT=1800.06
|
UNSAT TT=195.701
|
UNSAT TT=563.817
|
? (TO) TT=1800.26
|
UNSAT TT=1773.42
|
UNSAT TT=748.764
|
UNSAT TT=884.064
|
UNSAT TT=796.526
|
UNSAT TT=795.647
|
UNSAT TT=869.838
|
UNSAT TT=158.245
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900550720.opb
|
UNSAT TT=15.793
|
UNSAT TT=22.572
|
UNSAT TT=1088.69
|
UNSAT TT=15.793
|
? (TO) TT=1800.03
|
? (TO) TT=1800.05
|
UNSAT TT=130.611
|
UNSAT TT=348.937
|
? (TO) TT=1800.26
|
UNSAT TT=1456.13
|
UNSAT TT=556.263
|
UNSAT TT=326.743
|
UNSAT TT=416.133
|
UNSAT TT=370.028
|
UNSAT TT=387.345
|
UNSAT TT=217.229
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900551347.opb
|
UNSAT TT=1.915
|
UNSAT TT=3.699
|
UNSAT TT=468.006
|
UNSAT TT=1.915
|
? (TO) TT=1800.07
|
? (TO) TT=1800.09
|
UNSAT TT=98.361
|
UNSAT TT=237.387
|
? (TO) TT=1800.27
|
UNSAT TT=22.864
|
UNSAT TT=11.085
|
UNSAT TT=163.489
|
UNSAT TT=279.301
|
UNSAT TT=179.897
|
UNSAT TT=245.975
|
UNSAT TT=19.941
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900551864.opb
|
UNSAT TT=2.693
|
UNSAT TT=7.555
|
UNSAT TT=466.895
|
UNSAT TT=2.693
|
? (TO) TT=1800.07
|
? (TO) TT=1800.03
|
UNSAT TT=94.532
|
UNSAT TT=252.924
|
? (TO) TT=1800.22
|
UNSAT TT=22.78
|
UNSAT TT=10.374
|
UNSAT TT=149.683
|
UNSAT TT=149.761
|
UNSAT TT=155.126
|
UNSAT TT=154.964
|
UNSAT TT=11.385
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900552288.opb
|
UNSAT TT=8.624
|
UNSAT TT=22.834
|
UNSAT TT=969.491
|
UNSAT TT=8.624
|
? (TO) TT=1800.12
|
? (TO) TT=1800.08
|
UNSAT TT=132.227
|
UNSAT TT=379.619
|
? (TO) TT=1800.27
|
UNSAT TT=1309.04
|
UNSAT TT=530.948
|
UNSAT TT=345.102
|
UNSAT TT=345.623
|
UNSAT TT=344.148
|
UNSAT TT=345.07
|
UNSAT TT=103.468
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900552311.opb
|
SAT TT=0.127 T1=0.13
|
SAT TT=0.513 T1=0.69
|
SAT TT=3.083 T1=3.08
|
SAT TT=0.127 T1=0.13
|
SAT TT=5.552 T1=5.55
|
SAT TT=8.543 T1=8.54
|
SAT TT=0.385 T1=0.38
|
SAT TT=1.565 T1=1.56
|
SAT TT=1101.67 T1=1098.05
|
SAT TT=3.371 T1=1.33
|
SAT TT=1.521 T1=0.89
|
SAT TT=8.717 T1=8.7
|
SAT TT=9.649 T1=9.64
|
SAT TT=8.675 T1=8.66
|
SAT TT=9.557 T1=9.54
|
SAT TT=0.265 T1=0.28
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900552423.opb
|
UNSAT TT=0.299
|
UNSAT TT=1.043
|
UNSAT TT=274.344
|
UNSAT TT=0.299
|
? (TO) TT=1800.08
|
? (TO) TT=1800.06
|
UNSAT TT=156.171
|
UNSAT TT=427.766
|
? (TO) TT=1800.25
|
UNSAT TT=4.492
|
UNSAT TT=2.046
|
UNSAT TT=110.55
|
UNSAT TT=54.163
|
UNSAT TT=110.786
|
UNSAT TT=53.894
|
UNSAT TT=0.988
|
Bench name | Best results | borg pb-dec-11.04.03 (complete) | bsolo 3.2 (complete) | clasp 2.0-R4191 (complete) | MinisatID 2.4.8 [DEPRECATED] (complete) | MinisatID 2.4.8-gmp [DEPRECATED] (complete) | MinisatID 2.5.2 (fixed) (complete) | MinisatID 2.5.2-gmp (fixed) (complete) | Sat4j CuttingPlanes 2.3.0 (complete) | Sat4j Res//CP 2.3.0 (complete) | Sat4j Resolution 2.3.0 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx 2 2011-06-10 (fixed) (complete) | SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx E_2 2011-06-10 (fixed) (complete) | wbo 1.6 (complete) |
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900552735.opb
|
UNSAT TT=5.474
|
UNSAT TT=16.47
|
UNSAT TT=819.098
|
UNSAT TT=5.474
|
? (TO) TT=1800.07
|
? (TO) TT=1800.03
|
UNSAT TT=130.878
|
UNSAT TT=354.517
|
? (TO) TT=1800.28
|
UNSAT TT=852.752
|
UNSAT TT=352.626
|
UNSAT TT=170.036
|
UNSAT TT=170.451
|
UNSAT TT=169.848
|
UNSAT TT=169.656
|
UNSAT TT=115.513
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900553606.opb
|
SAT TT=0.1 T1=0.1
|
SAT TT=0.85 T1=1.23
|
SAT TT=31.549 T1=31.55
|
SAT TT=0.1 T1=0.1
|
SAT TT=248.572 T1=248.56
|
SAT TT=365.217 T1=365.21
|
SAT TT=3.7 T1=3.7
|
SAT TT=14.23 T1=14.23
|
? (TO) TT=1800.27
|
SAT TT=4.585 T1=1.87
|
SAT TT=1.995 T1=1.42
|
SAT TT=14.24 T1=14.23
|
SAT TT=12.484 T1=12.47
|
SAT TT=12.535 T1=12.52
|
SAT TT=12.532 T1=12.52
|
SAT TT=1.649 T1=1.64
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900553644.opb
|
SAT TT=0.013 T1=0.01
|
SAT TT=0.492 T1=1.37
|
SAT TT=0.862 T1=0.86
|
SAT TT=0.013 T1=0.01
|
SAT TT=29.493 T1=29.49
|
SAT TT=41.842 T1=41.85
|
SAT TT=2.881 T1=2.88
|
SAT TT=10.516 T1=10.51
|
? (TO) TT=1800.27
|
SAT TT=2.114 T1=0.83
|
SAT TT=1.232 T1=0.72
|
SAT TT=3.185 T1=3.17
|
SAT TT=3.15 T1=3.14
|
SAT TT=3.179 T1=3.16
|
SAT TT=3.45 T1=3.44
|
SAT TT=0.118 T1=0.11
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900553647.opb
|
UNSAT TT=25.115
|
UNSAT TT=29.184
|
UNSAT TT=648.39
|
UNSAT TT=25.115
|
? (TO) TT=1800.06
|
? (TO) TT=1800.12
|
UNSAT TT=150.197
|
UNSAT TT=375.286
|
? (TO) TT=1800.32
|
UNSAT TT=1325.72
|
UNSAT TT=539.309
|
UNSAT TT=312.191
|
UNSAT TT=355.155
|
UNSAT TT=311.78
|
UNSAT TT=311.541
|
UNSAT TT=148.126
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900553812.opb
|
UNSAT TT=1.899
|
UNSAT TT=10.497
|
UNSAT TT=767.023
|
UNSAT TT=1.899
|
? (TO) TT=1800.06
|
? (TO) TT=1800.02
|
UNSAT TT=169.75
|
UNSAT TT=485.124
|
? (TO) TT=1800.26
|
UNSAT TT=29.721
|
UNSAT TT=13.623
|
UNSAT TT=257.662
|
UNSAT TT=232.722
|
UNSAT TT=233.247
|
UNSAT TT=232.744
|
UNSAT TT=30.543
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900554067.opb
|
SAT TT=0.182 T1=0.18
|
SAT TT=0.753 T1=0.82
|
SAT TT=3.452 T1=3.45
|
SAT TT=0.182 T1=0.18
|
SAT TT=36.914 T1=36.91
|
SAT TT=53.262 T1=53.26
|
SAT TT=2.863 T1=2.86
|
SAT TT=11.273 T1=11.27
|
? (TO) TT=1800.29
|
SAT TT=3.823 T1=1.33
|
SAT TT=1.606 T1=1.07
|
SAT TT=1.766 T1=1.75
|
SAT TT=1.738 T1=1.73
|
SAT TT=1.762 T1=1.75
|
SAT TT=1.741 T1=1.73
|
SAT TT=0.304 T1=0.3
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900554072.opb
|
UNSAT TT=3.758
|
UNSAT TT=10.702
|
UNSAT TT=400.072
|
UNSAT TT=3.758
|
? (TO) TT=1800.06
|
? (TO) TT=1800.05
|
UNSAT TT=118.582
|
UNSAT TT=308.825
|
UNSAT TT=1083.37
|
UNSAT TT=701.983
|
UNSAT TT=292.731
|
UNSAT TT=127.676
|
UNSAT TT=145.081
|
UNSAT TT=128.013
|
UNSAT TT=127.228
|
UNSAT TT=68.172
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900554154.opb
|
SAT TT=0.472 T1=0.47
|
SAT TT=1.194 T1=1.44
|
SAT TT=1.857 T1=1.87
|
SAT TT=0.472 T1=0.47
|
SAT TT=63.719 T1=63.71
|
SAT TT=93.23 T1=93.22
|
SAT TT=1.693 T1=1.69
|
SAT TT=6.478 T1=6.47
|
? (TO) TT=1800.27
|
SAT TT=7.983 T1=3.37
|
SAT TT=3.438 T1=2.82
|
SAT TT=12.019 T1=12.01
|
SAT TT=11.979 T1=11.97
|
SAT TT=12.02 T1=12.01
|
SAT TT=11.993 T1=11.98
|
SAT TT=2.208 T1=2.2
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900554373.opb
|
SAT TT=0.033 T1=0.03
|
SAT TT=0.559 T1=0.77
|
SAT TT=3.143 T1=3.14
|
SAT TT=0.033 T1=0.03
|
SAT TT=3.86 T1=3.86
|
SAT TT=5.419 T1=5.41
|
SAT TT=0.329 T1=0.32
|
SAT TT=1.446 T1=1.44
|
SAT TT=58.675 T1=56.84
|
SAT TT=1.218 T1=0.85
|
SAT TT=0.855 T1=0.42
|
SAT TT=3.85 T1=3.84
|
SAT TT=3.823 T1=3.81
|
SAT TT=3.841 T1=3.83
|
SAT TT=3.825 T1=3.81
|
SAT TT=0.331 T1=0.33
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900554375.opb
|
SAT TT=0.02 T1=0.02
|
SAT TT=0.553 T1=0.66
|
SAT TT=3.029 T1=3.04
|
SAT TT=0.104 T1=0.1
|
SAT TT=23.421 T1=23.42
|
SAT TT=30.151 T1=30.15
|
SAT TT=0.532 T1=0.53
|
SAT TT=2.167 T1=2.16
|
? (TO) TT=1800.31
|
SAT TT=3.065 T1=1.33
|
SAT TT=1.314 T1=0.77
|
SAT TT=3.238 T1=3.23
|
SAT TT=3.213 T1=3.2
|
SAT TT=3.237 T1=3.22
|
SAT TT=3.578 T1=3.56
|
SAT TT=0.02 T1=0.02
|
Bench name | Best results | borg pb-dec-11.04.03 (complete) | bsolo 3.2 (complete) | clasp 2.0-R4191 (complete) | MinisatID 2.4.8 [DEPRECATED] (complete) | MinisatID 2.4.8-gmp [DEPRECATED] (complete) | MinisatID 2.5.2 (fixed) (complete) | MinisatID 2.5.2-gmp (fixed) (complete) | Sat4j CuttingPlanes 2.3.0 (complete) | Sat4j Res//CP 2.3.0 (complete) | Sat4j Resolution 2.3.0 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx 2 2011-06-10 (fixed) (complete) | SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx E_2 2011-06-10 (fixed) (complete) | wbo 1.6 (complete) |
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900554389.opb
|
SAT TT=0.069 T1=0.07
|
SAT TT=0.538 T1=0.94
|
SAT TT=1.77 T1=1.76
|
SAT TT=0.069 T1=0.07
|
SAT TT=14.631 T1=14.62
|
SAT TT=22.997 T1=22.99
|
SAT TT=0.109 T1=0.1
|
SAT TT=0.537 T1=0.53
|
? (TO) TT=1800.32
|
SAT TT=4.35 T1=1.84
|
SAT TT=1.866 T1=1.33
|
SAT TT=17.883 T1=17.87
|
SAT TT=19.934 T1=19.92
|
SAT TT=17.856 T1=17.84
|
SAT TT=17.846 T1=17.83
|
SAT TT=0.406 T1=0.4
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900554420.opb
|
UNSAT TT=3.998
|
UNSAT TT=7.792
|
UNSAT TT=972.37
|
UNSAT TT=3.998
|
? (TO) TT=1800.06
|
? (TO) TT=1800.08
|
UNSAT TT=198.911
|
UNSAT TT=541.858
|
? (TO) TT=1800.26
|
UNSAT TT=36.34
|
UNSAT TT=17.277
|
UNSAT TT=173.135
|
UNSAT TT=173.344
|
UNSAT TT=173.69
|
UNSAT TT=172.78
|
UNSAT TT=36.987
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900556231.opb
|
UNSAT TT=10.98
|
UNSAT TT=25.468
|
UNSAT TT=1116.03
|
UNSAT TT=10.98
|
? (TO) TT=1800.05
|
? (TO) TT=1800.05
|
UNSAT TT=144.131
|
UNSAT TT=394.444
|
? (TO) TT=1800.32
|
UNSAT TT=1026.93
|
UNSAT TT=396.189
|
UNSAT TT=360.639
|
UNSAT TT=324.623
|
UNSAT TT=352.933
|
UNSAT TT=322.5
|
UNSAT TT=120.835
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900557362.opb
|
UNSAT TT=4.052
|
UNSAT TT=13.962
|
UNSAT TT=826.159
|
UNSAT TT=4.052
|
? (TO) TT=1800.06
|
? (TO) TT=1800.08
|
UNSAT TT=161.752
|
UNSAT TT=463.07
|
? (TO) TT=1800.28
|
UNSAT TT=29.178
|
UNSAT TT=13.833
|
UNSAT TT=68.471
|
UNSAT TT=68.047
|
UNSAT TT=65.794
|
UNSAT TT=65.729
|
UNSAT TT=29.821
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900557413.opb
|
SAT TT=0.543 T1=0.61
|
SAT TT=0.543 T1=0.95
|
SAT TT=10.424 T1=10.42
|
SAT TT=0.923 T1=0.92
|
SAT TT=583.541 T1=583.53
|
SAT TT=984.727 T1=984.71
|
SAT TT=2.101 T1=2.1
|
SAT TT=9.009 T1=9
|
? (TO) TT=1800.23
|
SAT TT=2.191 T1=0.83
|
SAT TT=1.12 T1=0.64
|
SAT TT=61.263 T1=61.25
|
SAT TT=54.191 T1=54.17
|
SAT TT=54.117 T1=54.1
|
SAT TT=56.356 T1=56.34
|
SAT TT=0.612 T1=0.61
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900557568.opb
|
SAT TT=0.008 T1=0.02
|
SAT TT=0.548 T1=0.66
|
SAT TT=0.508 T1=0.5
|
SAT TT=0.008 T1=0.02
|
SAT TT=7.128 T1=7.12
|
SAT TT=9.921 T1=9.92
|
SAT TT=0.41 T1=0.41
|
SAT TT=1.688 T1=1.68
|
SAT TT=8.881 T1=7.36
|
SAT TT=1.71 T1=0.83
|
SAT TT=0.955 T1=0.5
|
SAT TT=4.788 T1=4.78
|
SAT TT=4.758 T1=4.75
|
SAT TT=4.781 T1=4.77
|
SAT TT=5.237 T1=5.22
|
SAT TT=0.041 T1=0.04
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900557574.opb
|
UNSAT TT=2.695
|
UNSAT TT=2.754
|
UNSAT TT=772.398
|
UNSAT TT=2.695
|
? (TO) TT=1800.04
|
? (TO) TT=1800.06
|
UNSAT TT=229.483
|
UNSAT TT=660.636
|
? (TO) TT=1800.29
|
UNSAT TT=43.972
|
UNSAT TT=20.495
|
UNSAT TT=106.462
|
UNSAT TT=106.533
|
UNSAT TT=106.625
|
UNSAT TT=106.325
|
UNSAT TT=31.512
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900557957.opb
|
UNSAT TT=8.636
|
UNSAT TT=18.228
|
UNSAT TT=767.826
|
UNSAT TT=8.636
|
? (TO) TT=1800.06
|
? (TO) TT=1800.06
|
UNSAT TT=204.412
|
UNSAT TT=558.586
|
? (TO) TT=1800.27
|
UNSAT TT=860.6
|
UNSAT TT=353.367
|
UNSAT TT=175.398
|
UNSAT TT=175.527
|
UNSAT TT=175.393
|
UNSAT TT=175.238
|
UNSAT TT=69.569
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900558106.opb
|
UNSAT TT=0.53
|
UNSAT TT=3.173
|
UNSAT TT=272.885
|
UNSAT TT=0.53
|
? (TO) TT=1800.06
|
? (TO) TT=1800.04
|
UNSAT TT=74.654
|
UNSAT TT=202.844
|
? (TO) TT=1800.24
|
UNSAT TT=18.207
|
UNSAT TT=8.403
|
UNSAT TT=103.663
|
UNSAT TT=116.231
|
UNSAT TT=104.017
|
UNSAT TT=103.678
|
UNSAT TT=8.86
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900558739.opb
|
UNSAT TT=19.596
|
UNSAT TT=30.342
|
UNSAT TT=1141.91
|
UNSAT TT=19.596
|
? (TO) TT=1800.09
|
? (TO) TT=1800.09
|
UNSAT TT=202.3
|
UNSAT TT=587.586
|
? (TO) TT=1800.24
|
UNSAT TT=1440.51
|
UNSAT TT=581.819
|
UNSAT TT=484.04
|
UNSAT TT=484.89
|
UNSAT TT=483.36
|
UNSAT TT=533.41
|
UNSAT TT=151.292
|
Bench name | Best results | borg pb-dec-11.04.03 (complete) | bsolo 3.2 (complete) | clasp 2.0-R4191 (complete) | MinisatID 2.4.8 [DEPRECATED] (complete) | MinisatID 2.4.8-gmp [DEPRECATED] (complete) | MinisatID 2.5.2 (fixed) (complete) | MinisatID 2.5.2-gmp (fixed) (complete) | Sat4j CuttingPlanes 2.3.0 (complete) | Sat4j Res//CP 2.3.0 (complete) | Sat4j Resolution 2.3.0 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx 2 2011-06-10 (fixed) (complete) | SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx E_2 2011-06-10 (fixed) (complete) | wbo 1.6 (complete) |
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900559365.opb
|
SAT TT=0.168 T1=0.17
|
SAT TT=0.665 T1=1.1
|
SAT TT=2.596 T1=2.59
|
SAT TT=0.168 T1=0.17
|
SAT TT=0.503 T1=0.5
|
SAT TT=0.851 T1=0.85
|
SAT TT=8.273 T1=8.27
|
SAT TT=30.104 T1=30.1
|
? (TO) TT=1800.23
|
SAT TT=4.062 T1=1.83
|
SAT TT=1.797 T1=1.25
|
SAT TT=7.285 T1=7.27
|
SAT TT=7.281 T1=7.27
|
SAT TT=7.285 T1=7.27
|
SAT TT=7.89 T1=7.88
|
SAT TT=0.695 T1=0.69
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900559416.opb
|
SAT TT=1.809 T1=1.81
|
SAT TT=2.89 T1=3
|
SAT TT=12.498 T1=12.49
|
SAT TT=1.809 T1=1.81
|
SAT TT=488.283 T1=488.27
|
SAT TT=725.703 T1=725.68
|
SAT TT=25.379 T1=25.37
|
SAT TT=90.676 T1=90.67
|
? (TO) TT=1800.25
|
SAT TT=58.851 T1=30.26
|
SAT TT=27.162 T1=26.43
|
SAT TT=11.717 T1=11.7
|
SAT TT=11.654 T1=11.64
|
SAT TT=11.659 T1=11.65
|
SAT TT=11.693 T1=11.68
|
SAT TT=2.671 T1=2.67
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900559641.opb
|
SAT TT=0.097 T1=0.09
|
SAT TT=1.326 T1=1.4
|
SAT TT=6.75 T1=6.74
|
SAT TT=0.097 T1=0.09
|
SAT TT=102.062 T1=102.05
|
SAT TT=150.472 T1=150.46
|
SAT TT=7.487 T1=7.48
|
SAT TT=24.133 T1=24.13
|
SAT TT=197.487 T1=195.47
|
SAT TT=6.85 T1=2.89
|
SAT TT=3.039 T1=2.44
|
SAT TT=7.16 T1=7.15
|
SAT TT=7.118 T1=7.11
|
SAT TT=7.111 T1=7.1
|
SAT TT=7.117 T1=7.1
|
SAT TT=0.208 T1=0.2
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900559676.opb
|
UNSAT TT=27.549
|
UNSAT TT=58.96
|
? TT=1798
|
UNSAT TT=27.549
|
? (TO) TT=1800.08
|
? (TO) TT=1800.08
|
UNSAT TT=343.811
|
UNSAT TT=969.127
|
? (TO) TT=1800.33
|
? (TO) TT=1800.3
|
UNSAT TT=832.817
|
UNSAT TT=456.669
|
UNSAT TT=461.699
|
UNSAT TT=413.324
|
UNSAT TT=456.559
|
UNSAT TT=295.118
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900561288.opb
|
UNSAT TT=43.18
|
UNSAT TT=56.639
|
? TT=1798
|
UNSAT TT=43.18
|
? (TO) TT=1800.07
|
? (TO) TT=1800.07
|
UNSAT TT=204.995
|
UNSAT TT=653.121
|
? (TO) TT=1800.26
|
? (TO) TT=1800.34
|
UNSAT TT=839.739
|
UNSAT TT=788.733
|
UNSAT TT=785.152
|
UNSAT TT=783.31
|
UNSAT TT=784.033
|
UNSAT TT=341.208
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900561384.opb
|
SAT TT=0.032 T1=0.03
|
SAT TT=0.553 T1=1.8
|
SAT TT=0.728 T1=0.72
|
SAT TT=0.032 T1=0.03
|
SAT TT=12.451 T1=12.47
|
SAT TT=17.483 T1=17.48
|
SAT TT=0.218 T1=0.21
|
SAT TT=0.992 T1=0.99
|
? (TO) TT=1800.25
|
SAT TT=2.181 T1=0.83
|
SAT TT=1.087 T1=0.6
|
SAT TT=8.937 T1=8.92
|
SAT TT=8.872 T1=8.86
|
SAT TT=8.901 T1=8.89
|
SAT TT=9.824 T1=9.81
|
SAT TT=0.049 T1=0.04
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900561389.opb
|
SAT TT=0.186 T1=0.18
|
SAT TT=1.255 T1=1.4
|
SAT TT=0.186 T1=0.18
|
SAT TT=0.751 T1=0.75
|
SAT TT=13.17 T1=13.16
|
SAT TT=18.474 T1=18.48
|
SAT TT=23.998 T1=23.99
|
SAT TT=79.446 T1=79.44
|
? (TO) TT=1800.25
|
SAT TT=4.336 T1=1.83
|
SAT TT=1.981 T1=1.41
|
SAT TT=20.256 T1=20.24
|
SAT TT=22.277 T1=22.26
|
SAT TT=20.208 T1=20.19
|
SAT TT=22.279 T1=22.26
|
SAT TT=0.48 T1=0.48
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900562192.opb
|
UNSAT TT=11.414
|
UNSAT TT=11.811
|
UNSAT TT=667.201
|
UNSAT TT=11.414
|
? (TO) TT=1800.03
|
? (TO) TT=1800.03
|
UNSAT TT=73.198
|
UNSAT TT=196.797
|
? (TO) TT=1800.27
|
UNSAT TT=638.696
|
UNSAT TT=265.14
|
UNSAT TT=255.222
|
UNSAT TT=255.161
|
UNSAT TT=254.888
|
UNSAT TT=280.096
|
UNSAT TT=46.128
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900563250.opb
|
UNSAT TT=13.942
|
UNSAT TT=33.785
|
UNSAT TT=1431.86
|
UNSAT TT=13.942
|
? (TO) TT=1800.05
|
? (TO) TT=1800.08
|
UNSAT TT=216.117
|
UNSAT TT=636.461
|
? (TO) TT=1800.29
|
UNSAT TT=1758.96
|
UNSAT TT=735.647
|
UNSAT TT=405.482
|
UNSAT TT=404.539
|
UNSAT TT=402.752
|
UNSAT TT=403.088
|
UNSAT TT=128.195
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900563801.opb
|
UNSAT TT=0.904
|
UNSAT TT=1.813
|
UNSAT TT=694.835
|
UNSAT TT=0.904
|
? (TO) TT=1800.09
|
? (TO) TT=1800.05
|
UNSAT TT=49.513
|
UNSAT TT=130.268
|
? (TO) TT=1800.24
|
UNSAT TT=11.746
|
UNSAT TT=5.364
|
UNSAT TT=203.057
|
UNSAT TT=202.594
|
UNSAT TT=202.603
|
UNSAT TT=202.61
|
UNSAT TT=12.617
|
Bench name | Best results | borg pb-dec-11.04.03 (complete) | bsolo 3.2 (complete) | clasp 2.0-R4191 (complete) | MinisatID 2.4.8 [DEPRECATED] (complete) | MinisatID 2.4.8-gmp [DEPRECATED] (complete) | MinisatID 2.5.2 (fixed) (complete) | MinisatID 2.5.2-gmp (fixed) (complete) | Sat4j CuttingPlanes 2.3.0 (complete) | Sat4j Res//CP 2.3.0 (complete) | Sat4j Resolution 2.3.0 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx 2 2011-06-10 (fixed) (complete) | SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx E_2 2011-06-10 (fixed) (complete) | wbo 1.6 (complete) |
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900564281.opb
|
UNSAT TT=2.03
|
UNSAT TT=3.419
|
UNSAT TT=751.4
|
UNSAT TT=2.03
|
? (TO) TT=1800.05
|
? (TO) TT=1800.06
|
UNSAT TT=155.441
|
UNSAT TT=424.646
|
? (TO) TT=1800.3
|
UNSAT TT=12.461
|
UNSAT TT=5.793
|
UNSAT TT=149.456
|
UNSAT TT=165.398
|
UNSAT TT=165.644
|
UNSAT TT=149.475
|
UNSAT TT=31.683
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900564822.opb
|
SAT TT=0.008 T1=0.02
|
SAT TT=0.521 T1=0.66
|
SAT TT=0.661 T1=0.66
|
SAT TT=0.008 T1=0.02
|
SAT TT=15.54 T1=15.53
|
SAT TT=24.064 T1=24.08
|
SAT TT=0.61 T1=0.6
|
SAT TT=2.533 T1=2.53
|
SAT TT=30.924 T1=29.35
|
SAT TT=1.018 T1=0.82
|
SAT TT=0.764 T1=0.39
|
SAT TT=6.943 T1=6.93
|
SAT TT=7.59 T1=7.58
|
SAT TT=6.93 T1=6.92
|
SAT TT=6.902 T1=6.89
|
SAT TT=0.011 T1=0.02
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900564824.opb
|
UNSAT TT=0.509
|
UNSAT TT=1.062
|
UNSAT TT=136.042
|
UNSAT TT=0.509
|
? (TO) TT=1800.05
|
? (TO) TT=1800.06
|
UNSAT TT=96.385
|
UNSAT TT=261.049
|
? (TO) TT=1800.22
|
UNSAT TT=6.219
|
UNSAT TT=2.799
|
UNSAT TT=70.301
|
UNSAT TT=70.089
|
UNSAT TT=70.115
|
UNSAT TT=70.04
|
UNSAT TT=3.758
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900565527.opb
|
SAT TT=0.014 T1=0.03
|
SAT TT=1.59 T1=1.66
|
SAT TT=1.324 T1=1.32
|
SAT TT=0.457 T1=0.45
|
SAT TT=72.449 T1=72.44
|
SAT TT=116.591 T1=116.58
|
SAT TT=0.155 T1=0.15
|
SAT TT=0.675 T1=0.67
|
? (TO) TT=1800.28
|
SAT TT=6.295 T1=2.84
|
SAT TT=2.773 T1=2.19
|
SAT TT=9.995 T1=9.98
|
SAT TT=9.914 T1=9.9
|
SAT TT=9.954 T1=9.94
|
SAT TT=9.91 T1=9.9
|
SAT TT=0.014 T1=0.03
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900565534.opb
|
UNSAT TT=11.402
|
UNSAT TT=46.278
|
UNSAT TT=1150.81
|
UNSAT TT=11.402
|
? (TO) TT=1800.06
|
? (TO) TT=1800.03
|
UNSAT TT=136.046
|
UNSAT TT=453.982
|
? (TO) TT=1800.25
|
UNSAT TT=1498.53
|
UNSAT TT=573.922
|
UNSAT TT=382.098
|
UNSAT TT=377.518
|
UNSAT TT=342.277
|
UNSAT TT=342.443
|
UNSAT TT=151.92
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900566151.opb
|
SAT TT=0.094 T1=0.09
|
SAT TT=0.597 T1=0.76
|
SAT TT=2.402 T1=2.4
|
SAT TT=0.094 T1=0.09
|
SAT TT=19.436 T1=19.43
|
SAT TT=28.093 T1=28.09
|
SAT TT=8.115 T1=8.11
|
SAT TT=26.495 T1=26.49
|
SAT TT=16.336 T1=14.87
|
SAT TT=2.976 T1=1.33
|
SAT TT=1.353 T1=0.82
|
SAT TT=2.499 T1=2.49
|
SAT TT=2.471 T1=2.46
|
SAT TT=2.493 T1=2.48
|
SAT TT=2.476 T1=2.46
|
SAT TT=0.246 T1=0.24
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900566157.opb
|
UNSAT TT=8.29
|
UNSAT TT=27.162
|
UNSAT TT=265.095
|
UNSAT TT=8.29
|
? (TO) TT=1800.07
|
? (TO) TT=1800.04
|
UNSAT TT=73.513
|
UNSAT TT=198.252
|
? (TO) TT=1800.31
|
UNSAT TT=428.167
|
UNSAT TT=183.074
|
UNSAT TT=178.92
|
UNSAT TT=202.781
|
UNSAT TT=178.66
|
UNSAT TT=178.532
|
UNSAT TT=29.502
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900566263.opb
|
SAT TT=0.011 T1=0.01
|
SAT TT=0.633 T1=0.72
|
SAT TT=1.052 T1=1.05
|
SAT TT=0.011 T1=0.01
|
SAT TT=0.216 T1=0.21
|
SAT TT=0.445 T1=0.44
|
SAT TT=0.72 T1=0.71
|
SAT TT=3.041 T1=3.04
|
? (TO) TT=1800.22
|
SAT TT=1.356 T1=0.82
|
SAT TT=0.922 T1=0.46
|
SAT TT=5.025 T1=5.01
|
SAT TT=4.981 T1=4.97
|
SAT TT=4.994 T1=4.98
|
SAT TT=4.973 T1=4.96
|
SAT TT=0.047 T1=0.04
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900566270.opb
|
SAT TT=0.271 T1=0.27
|
SAT TT=0.522 T1=0.78
|
SAT TT=2.516 T1=2.51
|
SAT TT=0.464 T1=0.46
|
SAT TT=37.125 T1=37.12
|
SAT TT=54.312 T1=54.31
|
SAT TT=4.355 T1=4.35
|
SAT TT=17.898 T1=17.89
|
SAT TT=1520.82 T1=1516.65
|
SAT TT=5.4 T1=2.35
|
SAT TT=2.385 T1=1.81
|
SAT TT=17.131 T1=17.16
|
SAT TT=18.516 T1=18.5
|
SAT TT=16.384 T1=16.37
|
SAT TT=16.349 T1=16.34
|
SAT TT=0.271 T1=0.27
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567003.opb
|
SAT TT=0.403 T1=0.4
|
SAT TT=0.574 T1=0.64
|
SAT TT=7.067 T1=7.07
|
SAT TT=0.403 T1=0.4
|
SAT TT=494.715 T1=494.7
|
SAT TT=731.665 T1=731.65
|
SAT TT=1.647 T1=1.64
|
SAT TT=7.042 T1=7.04
|
SAT TT=502.522 T1=499.77
|
SAT TT=12.566 T1=5.84
|
SAT TT=5.862 T1=5.28
|
SAT TT=9.717 T1=9.7
|
SAT TT=10.637 T1=10.63
|
SAT TT=9.76 T1=9.74
|
SAT TT=9.718 T1=9.7
|
SAT TT=2.385 T1=2.38
|
Bench name | Best results | borg pb-dec-11.04.03 (complete) | bsolo 3.2 (complete) | clasp 2.0-R4191 (complete) | MinisatID 2.4.8 [DEPRECATED] (complete) | MinisatID 2.4.8-gmp [DEPRECATED] (complete) | MinisatID 2.5.2 (fixed) (complete) | MinisatID 2.5.2-gmp (fixed) (complete) | Sat4j CuttingPlanes 2.3.0 (complete) | Sat4j Res//CP 2.3.0 (complete) | Sat4j Resolution 2.3.0 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx 2 2011-06-10 (fixed) (complete) | SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx E_2 2011-06-10 (fixed) (complete) | wbo 1.6 (complete) |
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567024.opb
|
UNSAT TT=1.446
|
UNSAT TT=5.225
|
UNSAT TT=660.957
|
UNSAT TT=1.446
|
? (TO) TT=1800.07
|
? (TO) TT=1800.07
|
UNSAT TT=153.197
|
UNSAT TT=409.796
|
UNSAT TT=335.499
|
UNSAT TT=328.759
|
UNSAT TT=148.583
|
UNSAT TT=113.091
|
UNSAT TT=113.673
|
UNSAT TT=113.128
|
UNSAT TT=112.776
|
UNSAT TT=28.399
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567135.opb
|
UNSAT TT=4.643
|
UNSAT TT=8.055
|
UNSAT TT=495.111
|
UNSAT TT=4.643
|
? (TO) TT=1800.06
|
? (TO) TT=1800.06
|
UNSAT TT=107.608
|
UNSAT TT=300.407
|
? (TO) TT=1800.21
|
UNSAT TT=48.073
|
UNSAT TT=21.381
|
UNSAT TT=262.878
|
UNSAT TT=232.613
|
UNSAT TT=231.878
|
UNSAT TT=232.034
|
UNSAT TT=24.086
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567939.opb
|
SAT TT=0.126 T1=0.12
|
SAT TT=1.794 T1=1.85
|
SAT TT=9.601 T1=9.59
|
SAT TT=0.126 T1=0.12
|
SAT TT=187.524 T1=187.51
|
SAT TT=273.474 T1=273.46
|
SAT TT=13.366 T1=13.36
|
SAT TT=43.247 T1=43.24
|
? (TO) TT=1800.24
|
SAT TT=9.479 T1=4.41
|
SAT TT=4.513 T1=3.93
|
SAT TT=16.957 T1=16.94
|
SAT TT=16.9 T1=16.89
|
SAT TT=18.534 T1=18.52
|
SAT TT=16.88 T1=16.87
|
SAT TT=2.643 T1=2.64
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567985.opb
|
UNSAT TT=36.726
|
UNSAT TT=55.165
|
? TT=1798
|
UNSAT TT=36.726
|
? (TO) TT=1800.07
|
? (TO) TT=1800.06
|
UNSAT TT=227.147
|
UNSAT TT=628.394
|
? (TO) TT=1800.29
|
? (TO) TT=1800.22
|
UNSAT TT=912.72
|
UNSAT TT=711.284
|
UNSAT TT=713.736
|
UNSAT TT=787.099
|
UNSAT TT=709.869
|
UNSAT TT=270.712
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900568186.opb
|
UNSAT TT=5.131
|
UNSAT TT=8.551
|
UNSAT TT=435.548
|
UNSAT TT=5.131
|
? (TO) TT=1800.06
|
? (TO) TT=1800.05
|
UNSAT TT=87.347
|
UNSAT TT=234.467
|
? (TO) TT=1800.28
|
UNSAT TT=33.995
|
UNSAT TT=16.334
|
UNSAT TT=145.221
|
UNSAT TT=157.09
|
UNSAT TT=141.79
|
UNSAT TT=156.922
|
UNSAT TT=27.449
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900568706.opb
|
UNSAT TT=3.501
|
UNSAT TT=5.624
|
UNSAT TT=741.187
|
UNSAT TT=3.501
|
? (TO) TT=1800.07
|
? (TO) TT=1800.05
|
UNSAT TT=101.435
|
UNSAT TT=273.381
|
? (TO) TT=1800.29
|
UNSAT TT=830.971
|
UNSAT TT=342.803
|
UNSAT TT=259.341
|
UNSAT TT=283.889
|
UNSAT TT=262.582
|
UNSAT TT=262.692
|
UNSAT TT=74.679
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900568952.opb
|
SAT TT=1.196 T1=1.95
|
SAT TT=1.196 T1=7.02
|
SAT TT=53.311 T1=53.32
|
SAT TT=1.954 T1=1.95
|
? (TO) TT=1800.06
|
? (TO) TT=1800.08
|
SAT TT=8.241 T1=8.24
|
SAT TT=30.147 T1=30.14
|
? (TO) TT=1800.29
|
SAT TT=8.776 T1=3.85
|
SAT TT=3.863 T1=3.27
|
SAT TT=15.269 T1=15.26
|
SAT TT=15.465 T1=15.45
|
SAT TT=13.599 T1=13.58
|
SAT TT=13.583 T1=13.57
|
SAT TT=6.041 T1=6.04
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900569834.opb
|
UNSAT TT=2.013
|
UNSAT TT=7.885
|
UNSAT TT=611.903
|
UNSAT TT=2.013
|
? (TO) TT=1800.08
|
? (TO) TT=1800.06
|
UNSAT TT=123.142
|
UNSAT TT=304.872
|
? (TO) TT=1800.27
|
UNSAT TT=624.009
|
UNSAT TT=266.454
|
UNSAT TT=252.234
|
UNSAT TT=273.41
|
UNSAT TT=243.129
|
UNSAT TT=243.427
|
UNSAT TT=58.751
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900570242.opb
|
UNSAT TT=3.518
|
UNSAT TT=3.981
|
UNSAT TT=587.208
|
UNSAT TT=3.518
|
? (TO) TT=1800.06
|
? (TO) TT=1800.06
|
UNSAT TT=120.093
|
UNSAT TT=286.188
|
? (TO) TT=1800.23
|
UNSAT TT=17.738
|
UNSAT TT=9.055
|
UNSAT TT=208.785
|
UNSAT TT=229.785
|
UNSAT TT=208.998
|
UNSAT TT=208.455
|
UNSAT TT=35.397
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900571131.opb
|
SAT TT=0.008 T1=0
|
SAT TT=0.621 T1=3.48
|
SAT TT=2.002 T1=2
|
SAT TT=0.008 T1=0
|
SAT TT=7.139 T1=7.13
|
SAT TT=10.042 T1=10.04
|
SAT TT=0.057 T1=0.05
|
SAT TT=0.263 T1=0.26
|
? (TO) TT=1800.32
|
SAT TT=1.491 T1=0.82
|
SAT TT=0.876 T1=0.43
|
SAT TT=6.125 T1=6.11
|
SAT TT=6.561 T1=6.55
|
SAT TT=6.115 T1=6.1
|
SAT TT=6.114 T1=6.1
|
SAT TT=0.176 T1=0.18
|
Bench name | Best results | borg pb-dec-11.04.03 (complete) | bsolo 3.2 (complete) | clasp 2.0-R4191 (complete) | MinisatID 2.4.8 [DEPRECATED] (complete) | MinisatID 2.4.8-gmp [DEPRECATED] (complete) | MinisatID 2.5.2 (fixed) (complete) | MinisatID 2.5.2-gmp (fixed) (complete) | Sat4j CuttingPlanes 2.3.0 (complete) | Sat4j Res//CP 2.3.0 (complete) | Sat4j Resolution 2.3.0 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx 2 2011-06-10 (fixed) (complete) | SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx E_2 2011-06-10 (fixed) (complete) | wbo 1.6 (complete) |
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900571132.opb
|
UNSAT TT=10.356
|
UNSAT TT=20.302
|
UNSAT TT=586.785
|
UNSAT TT=10.356
|
? (TO) TT=1800.06
|
? (TO) TT=1800.02
|
UNSAT TT=135.719
|
UNSAT TT=395.686
|
? (TO) TT=1800.29
|
UNSAT TT=857.624
|
UNSAT TT=356.264
|
UNSAT TT=223.615
|
UNSAT TT=258.353
|
UNSAT TT=224.171
|
UNSAT TT=258.89
|
UNSAT TT=120.828
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900571761.opb
|
UNSAT TT=14.522
|
UNSAT TT=26.735
|
UNSAT TT=943.843
|
UNSAT TT=14.522
|
? (TO) TT=1800.07
|
? (TO) TT=1800.07
|
UNSAT TT=198.943
|
UNSAT TT=551.206
|
? (TO) TT=1800.26
|
UNSAT TT=1446.66
|
UNSAT TT=541.613
|
UNSAT TT=269.303
|
UNSAT TT=350.376
|
UNSAT TT=269.008
|
UNSAT TT=350.071
|
UNSAT TT=112.509
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900573137.opb
|
UNSAT TT=18.583
|
UNSAT TT=31.907
|
UNSAT TT=1087.17
|
UNSAT TT=18.583
|
? (TO) TT=1800.06
|
? (TO) TT=1800.07
|
UNSAT TT=206.888
|
UNSAT TT=578.526
|
? (TO) TT=1800.31
|
UNSAT TT=1314.97
|
UNSAT TT=557.165
|
UNSAT TT=346.431
|
UNSAT TT=347.904
|
UNSAT TT=355.386
|
UNSAT TT=391.881
|
UNSAT TT=149.563
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900573901.opb
|
UNSAT TT=14.248
|
UNSAT TT=23.883
|
UNSAT TT=822.062
|
UNSAT TT=14.248
|
? (TO) TT=1800.08
|
? (TO) TT=1800.11
|
UNSAT TT=95.852
|
UNSAT TT=248.129
|
? (TO) TT=1800.26
|
UNSAT TT=1213.19
|
UNSAT TT=509.079
|
UNSAT TT=472.635
|
UNSAT TT=533.83
|
UNSAT TT=520.334
|
UNSAT TT=473.688
|
UNSAT TT=101.162
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900574864.opb
|
UNSAT TT=6.051
|
UNSAT TT=11.987
|
UNSAT TT=1122.3
|
UNSAT TT=6.051
|
? (TO) TT=1800.06
|
? (TO) TT=1800.07
|
UNSAT TT=129.544
|
UNSAT TT=367.345
|
? (TO) TT=1800.27
|
UNSAT TT=916.147
|
UNSAT TT=388.277
|
UNSAT TT=357.432
|
UNSAT TT=357.268
|
UNSAT TT=355.566
|
UNSAT TT=357.618
|
UNSAT TT=55.249
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900574948.opb
|
SAT TT=0.016 T1=0.01
|
SAT TT=0.599 T1=1.24
|
SAT TT=0.391 T1=0.39
|
SAT TT=0.016 T1=0.01
|
SAT TT=163.017 T1=163.12
|
SAT TT=217.259 T1=217.25
|
SAT TT=0.495 T1=0.49
|
SAT TT=1.928 T1=1.92
|
? (TO) TT=1800.28
|
SAT TT=3.479 T1=1.34
|
SAT TT=1.499 T1=0.95
|
SAT TT=3.394 T1=3.38
|
SAT TT=3.443 T1=3.43
|
SAT TT=3.393 T1=3.38
|
SAT TT=3.434 T1=3.42
|
SAT TT=0.081 T1=0.08
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900574974.opb
|
SAT TT=0.01 T1=0.01
|
SAT TT=0.502 T1=0.65
|
SAT TT=5.978 T1=5.98
|
SAT TT=0.01 T1=0.01
|
SAT TT=51.689 T1=51.69
|
SAT TT=75.734 T1=75.73
|
SAT TT=4.154 T1=4.15
|
SAT TT=17.01 T1=17
|
SAT TT=4.238 T1=2.84
|
SAT TT=4.075 T1=1.83
|
SAT TT=1.759 T1=1.19
|
SAT TT=4.085 T1=4.07
|
SAT TT=4.103 T1=4.09
|
SAT TT=4.204 T1=4.19
|
SAT TT=3.764 T1=3.75
|
SAT TT=0.03 T1=0.03
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900575442.opb
|
UNSAT TT=4.296
|
UNSAT TT=8.531
|
UNSAT TT=843.258
|
UNSAT TT=4.296
|
? (TO) TT=1800.07
|
? (TO) TT=1800.05
|
UNSAT TT=125.76
|
UNSAT TT=333.193
|
? (TO) TT=1800.23
|
UNSAT TT=395.766
|
UNSAT TT=171.924
|
UNSAT TT=260.054
|
UNSAT TT=260.362
|
UNSAT TT=261.043
|
UNSAT TT=259.374
|
UNSAT TT=16.866
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900576151.opb
|
UNSAT TT=20.852
|
UNSAT TT=44.249
|
UNSAT TT=1270.41
|
UNSAT TT=20.852
|
? (TO) TT=1800.08
|
? (TO) TT=1800.09
|
UNSAT TT=141.847
|
UNSAT TT=421.658
|
? (TO) TT=1800.32
|
? (TO) TT=1800.22
|
UNSAT TT=757.375
|
UNSAT TT=426.495
|
UNSAT TT=487.544
|
UNSAT TT=426.009
|
UNSAT TT=427.625
|
UNSAT TT=203.957
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900576360.opb
|
UNSAT TT=8.881
|
UNSAT TT=17.008
|
UNSAT TT=513.995
|
UNSAT TT=8.881
|
? (TO) TT=1800.08
|
? (TO) TT=1800.06
|
UNSAT TT=84.713
|
UNSAT TT=255.552
|
? (TO) TT=1800.27
|
UNSAT TT=845.177
|
UNSAT TT=343.032
|
UNSAT TT=255.823
|
UNSAT TT=285.981
|
UNSAT TT=256.092
|
UNSAT TT=256.473
|
UNSAT TT=81.621
|
Bench name | Best results | borg pb-dec-11.04.03 (complete) | bsolo 3.2 (complete) | clasp 2.0-R4191 (complete) | MinisatID 2.4.8 [DEPRECATED] (complete) | MinisatID 2.4.8-gmp [DEPRECATED] (complete) | MinisatID 2.5.2 (fixed) (complete) | MinisatID 2.5.2-gmp (fixed) (complete) | Sat4j CuttingPlanes 2.3.0 (complete) | Sat4j Res//CP 2.3.0 (complete) | Sat4j Resolution 2.3.0 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx 2 2011-06-10 (fixed) (complete) | SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx E_2 2011-06-10 (fixed) (complete) | wbo 1.6 (complete) |
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900576918.opb
|
SAT TT=0.033 T1=0.03
|
SAT TT=0.749 T1=1.14
|
SAT TT=0.688 T1=0.68
|
SAT TT=0.033 T1=0.03
|
SAT TT=7.585 T1=7.58
|
SAT TT=10.736 T1=10.73
|
SAT TT=1.793 T1=1.79
|
SAT TT=7.462 T1=7.46
|
? (TO) TT=1800.28
|
SAT TT=1.705 T1=0.83
|
SAT TT=0.928 T1=0.49
|
SAT TT=5.345 T1=5.33
|
SAT TT=6.007 T1=5.99
|
SAT TT=5.334 T1=5.32
|
SAT TT=5.319 T1=5.31
|
SAT TT=0.044 T1=0.04
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900576927.opb
|
UNSAT TT=25.643
|
UNSAT TT=46.018
|
UNSAT TT=1465.15
|
UNSAT TT=25.643
|
? (TO) TT=1800.09
|
? (TO) TT=1800.09
|
UNSAT TT=225.98
|
UNSAT TT=565.975
|
? (TO) TT=1800.26
|
? (TO) TT=1800.4
|
UNSAT TT=720.863
|
UNSAT TT=636.676
|
UNSAT TT=634.18
|
UNSAT TT=643.746
|
UNSAT TT=708.92
|
UNSAT TT=154.194
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900577000.opb
|
SAT TT=0.145 T1=0.14
|
SAT TT=0.567 T1=0.64
|
SAT TT=0.498 T1=0.49
|
SAT TT=0.367 T1=0.36
|
SAT TT=39.386 T1=39.38
|
SAT TT=63.652 T1=63.64
|
SAT TT=0.145 T1=0.14
|
SAT TT=0.64 T1=0.64
|
? (TO) TT=1800.27
|
SAT TT=1.532 T1=0.82
|
SAT TT=0.911 T1=0.47
|
SAT TT=8.735 T1=8.73
|
SAT TT=7.834 T1=7.82
|
SAT TT=7.857 T1=7.84
|
SAT TT=7.845 T1=7.83
|
SAT TT=0.163 T1=0.16
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900577940.opb
|
UNSAT TT=21.615
|
UNSAT TT=47.171
|
? TT=1798
|
UNSAT TT=21.615
|
? (TO) TT=1800.06
|
? (TO) TT=1800.08
|
UNSAT TT=211.235
|
UNSAT TT=603.493
|
? (TO) TT=1800.28
|
UNSAT TT=1521.98
|
UNSAT TT=579.718
|
UNSAT TT=497.557
|
UNSAT TT=436.47
|
UNSAT TT=435.93
|
UNSAT TT=438.555
|
UNSAT TT=226.417
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900579996.opb
|
UNSAT TT=35.571
|
UNSAT TT=42.298
|
UNSAT TT=1518.39
|
UNSAT TT=35.571
|
? (TO) TT=1800.07
|
? (TO) TT=1800.06
|
UNSAT TT=236.909
|
UNSAT TT=659.292
|
? (TO) TT=1800.26
|
UNSAT TT=1476.59
|
UNSAT TT=565.469
|
UNSAT TT=563.659
|
UNSAT TT=570.983
|
UNSAT TT=568.303
|
UNSAT TT=563.198
|
UNSAT TT=192.147
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900581320.opb
|
UNSAT TT=11.67
|
UNSAT TT=22.416
|
UNSAT TT=1425.83
|
UNSAT TT=11.67
|
? (TO) TT=1800.07
|
? (TO) TT=1800.09
|
UNSAT TT=155.696
|
UNSAT TT=488.519
|
? (TO) TT=1800.27
|
UNSAT TT=1357.87
|
UNSAT TT=547.766
|
UNSAT TT=234.898
|
UNSAT TT=236.1
|
UNSAT TT=231.402
|
UNSAT TT=253.769
|
UNSAT TT=131.315
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900581321.opb
|
SAT TT=0.01 T1=0.01
|
SAT TT=0.602 T1=1.25
|
SAT TT=0.21 T1=0.2
|
SAT TT=0.01 T1=0.02
|
SAT TT=4.865 T1=4.86
|
SAT TT=6.797 T1=6.79
|
SAT TT=0.974 T1=0.97
|
SAT TT=3.986 T1=3.98
|
SAT TT=1000.73 T1=997.32
|
SAT TT=1.164 T1=0.82
|
SAT TT=0.789 T1=0.4
|
SAT TT=10.92 T1=10.91
|
SAT TT=12.165 T1=12.15
|
SAT TT=10.898 T1=10.88
|
SAT TT=10.88 T1=10.87
|
SAT TT=0.01 T1=0.01
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900582300.opb
|
UNSAT TT=13.15
|
UNSAT TT=25.203
|
UNSAT TT=1115
|
UNSAT TT=13.15
|
? (TO) TT=1800.06
|
? (TO) TT=1800.08
|
UNSAT TT=194.681
|
UNSAT TT=573.215
|
? (TO) TT=1800.27
|
UNSAT TT=1361.85
|
UNSAT TT=586.863
|
UNSAT TT=498.368
|
UNSAT TT=467.304
|
UNSAT TT=441.248
|
UNSAT TT=485.705
|
UNSAT TT=87.347
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900582376.opb
|
SAT TT=0.195 T1=0.19
|
SAT TT=0.506 T1=26.07
|
SAT TT=21.786 T1=21.78
|
SAT TT=0.447 T1=0.45
|
SAT TT=709.916 T1=709.93
|
SAT TT=998.318 T1=998.3
|
SAT TT=12.799 T1=12.79
|
SAT TT=38.957 T1=38.95
|
? (TO) TT=1800.21
|
SAT TT=9.023 T1=3.85
|
SAT TT=4.105 T1=3.53
|
SAT TT=3.275 T1=3.26
|
SAT TT=3.234 T1=3.22
|
SAT TT=3.253 T1=3.24
|
SAT TT=3.236 T1=3.22
|
SAT TT=0.195 T1=0.19
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900583053.opb
|
UNSAT TT=21.937
|
UNSAT TT=30.221
|
UNSAT TT=1351.45
|
UNSAT TT=21.937
|
? (TO) TT=1800.1
|
? (TO) TT=1800.04
|
UNSAT TT=213.792
|
UNSAT TT=601.898
|
? (TO) TT=1800.24
|
UNSAT TT=1766.51
|
UNSAT TT=687.635
|
UNSAT TT=552.422
|
UNSAT TT=553.775
|
UNSAT TT=549.667
|
UNSAT TT=602.229
|
UNSAT TT=197.481
|
Bench name | Best results | borg pb-dec-11.04.03 (complete) | bsolo 3.2 (complete) | clasp 2.0-R4191 (complete) | MinisatID 2.4.8 [DEPRECATED] (complete) | MinisatID 2.4.8-gmp [DEPRECATED] (complete) | MinisatID 2.5.2 (fixed) (complete) | MinisatID 2.5.2-gmp (fixed) (complete) | Sat4j CuttingPlanes 2.3.0 (complete) | Sat4j Res//CP 2.3.0 (complete) | Sat4j Resolution 2.3.0 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx 2 2011-06-10 (fixed) (complete) | SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx E_2 2011-06-10 (fixed) (complete) | wbo 1.6 (complete) |
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900584106.opb
|
UNSAT TT=0.617
|
UNSAT TT=4.973
|
UNSAT TT=675.795
|
UNSAT TT=0.617
|
? (TO) TT=1800.07
|
? (TO) TT=1800.06
|
UNSAT TT=73.564
|
UNSAT TT=191.972
|
? (TO) TT=1800.22
|
UNSAT TT=304.746
|
UNSAT TT=132.393
|
UNSAT TT=130.67
|
UNSAT TT=79.649
|
UNSAT TT=114.635
|
UNSAT TT=75.007
|
UNSAT TT=27.545
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900584219.opb
|
UNSAT TT=8.381
|
UNSAT TT=12.777
|
UNSAT TT=920.595
|
UNSAT TT=8.381
|
? (TO) TT=1800.08
|
? (TO) TT=1800.08
|
UNSAT TT=127.958
|
UNSAT TT=327.183
|
UNSAT TT=428.83
|
UNSAT TT=500.744
|
UNSAT TT=214.41
|
UNSAT TT=223.192
|
UNSAT TT=248.324
|
UNSAT TT=223.239
|
UNSAT TT=222.594
|
UNSAT TT=60.097
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900667195.opb
|
UNSAT TT=17.783
|
UNSAT TT=41.47
|
? TT=1798
|
UNSAT TT=17.783
|
? (TO) TT=1800.06
|
? (TO) TT=1800.08
|
UNSAT TT=308.104
|
UNSAT TT=879.103
|
? (TO) TT=1800.28
|
? (TO) TT=1800.27
|
UNSAT TT=1110.28
|
UNSAT TT=481.636
|
UNSAT TT=491.516
|
UNSAT TT=509.213
|
UNSAT TT=520.762
|
UNSAT TT=205.125
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900669299.opb
|
SAT TT=0.03 T1=0.02
|
SAT TT=1.123 T1=1.56
|
SAT TT=9.338 T1=9.33
|
SAT TT=0.317 T1=0.31
|
SAT TT=30.017 T1=30.01
|
SAT TT=47.821 T1=47.82
|
SAT TT=1.272 T1=1.27
|
SAT TT=5.277 T1=5.27
|
? (TO) TT=1800.24
|
SAT TT=1.557 T1=0.85
|
SAT TT=0.859 T1=0.42
|
SAT TT=3.987 T1=3.97
|
SAT TT=3.942 T1=3.93
|
SAT TT=4.345 T1=4.33
|
SAT TT=3.964 T1=3.95
|
SAT TT=0.03 T1=0.02
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900669309.opb
|
SAT TT=0.143 T1=0.14
|
SAT TT=4.177 T1=4.72
|
SAT TT=110.15 T1=110.14
|
SAT TT=0.143 T1=0.14
|
SAT TT=1491.64 T1=1491.59
|
? (TO) TT=1800.11
|
SAT TT=1.981 T1=1.98
|
SAT TT=7.96 T1=7.96
|
? (TO) TT=1800.26
|
SAT TT=4.378 T1=1.86
|
SAT TT=1.817 T1=1.28
|
SAT TT=63.42 T1=63.4
|
SAT TT=44.235 T1=44.22
|
SAT TT=63.371 T1=63.35
|
SAT TT=38.903 T1=38.89
|
SAT TT=1.785 T1=1.78
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900669797.opb
|
UNSAT TT=11.594
|
UNSAT TT=16.546
|
UNSAT TT=1161.66
|
UNSAT TT=11.594
|
? (TO) TT=1800.08
|
? (TO) TT=1800.09
|
UNSAT TT=119.779
|
UNSAT TT=287.785
|
? (TO) TT=1800.28
|
UNSAT TT=921.553
|
UNSAT TT=369.302
|
UNSAT TT=227.193
|
UNSAT TT=254.957
|
UNSAT TT=228.402
|
UNSAT TT=252.195
|
UNSAT TT=79.39
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900670167.opb
|
UNSAT TT=4.153
|
UNSAT TT=9.958
|
UNSAT TT=1073.09
|
UNSAT TT=4.153
|
? (TO) TT=1800.07
|
? (TO) TT=1800.07
|
UNSAT TT=144.079
|
UNSAT TT=359.84
|
? (TO) TT=1800.25
|
UNSAT TT=514.548
|
UNSAT TT=228.626
|
UNSAT TT=227.168
|
UNSAT TT=230.604
|
UNSAT TT=226.801
|
UNSAT TT=226.658
|
UNSAT TT=26.747
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900670234.opb
|
UNSAT TT=34.016
|
UNSAT TT=54.94
|
? TT=1798
|
UNSAT TT=34.016
|
? (TO) TT=1800.06
|
? (TO) TT=1800.11
|
UNSAT TT=357.629
|
UNSAT TT=1039.9
|
? (TO) TT=1800.24
|
? (TO) TT=1800.25
|
UNSAT TT=832.337
|
UNSAT TT=527.823
|
UNSAT TT=487.995
|
UNSAT TT=483.154
|
UNSAT TT=486.771
|
UNSAT TT=315.601
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900670675.opb
|
UNSAT TT=2.489
|
UNSAT TT=6.489
|
UNSAT TT=416.478
|
UNSAT TT=2.489
|
? (TO) TT=1800.06
|
? (TO) TT=1800.11
|
UNSAT TT=75.754
|
UNSAT TT=223.285
|
? (TO) TT=1800.22
|
UNSAT TT=28.364
|
UNSAT TT=14.094
|
UNSAT TT=167.775
|
UNSAT TT=167.781
|
UNSAT TT=166.742
|
UNSAT TT=182.966
|
UNSAT TT=32.508
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900670756.opb
|
SAT TT=0.046 T1=0.04
|
SAT TT=0.717 T1=1.09
|
SAT TT=2.259 T1=2.25
|
SAT TT=0.046 T1=0.04
|
SAT TT=27.316 T1=27.31
|
SAT TT=39.747 T1=39.74
|
SAT TT=1.897 T1=1.89
|
SAT TT=7.517 T1=7.51
|
? (TO) TT=1800.26
|
SAT TT=1.682 T1=0.83
|
SAT TT=0.967 T1=0.5
|
SAT TT=7.891 T1=7.88
|
SAT TT=7.839 T1=7.83
|
SAT TT=8.674 T1=8.66
|
SAT TT=7.859 T1=7.85
|
SAT TT=0.385 T1=0.38
|
Bench name | Best results | borg pb-dec-11.04.03 (complete) | bsolo 3.2 (complete) | clasp 2.0-R4191 (complete) | MinisatID 2.4.8 [DEPRECATED] (complete) | MinisatID 2.4.8-gmp [DEPRECATED] (complete) | MinisatID 2.5.2 (fixed) (complete) | MinisatID 2.5.2-gmp (fixed) (complete) | Sat4j CuttingPlanes 2.3.0 (complete) | Sat4j Res//CP 2.3.0 (complete) | Sat4j Resolution 2.3.0 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx 2 2011-06-10 (fixed) (complete) | SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx E_2 2011-06-10 (fixed) (complete) | wbo 1.6 (complete) |
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110966483.opb
|
UNSAT TT=0.049
|
UNSAT TT=6.029
|
UNSAT TT=25.46
|
UNSAT TT=0.474
|
UNSAT TT=49.028
|
UNSAT TT=92.151
|
UNSAT TT=4.077
|
UNSAT TT=20.521
|
UNSAT TT=3.074
|
UNSAT TT=5.464
|
UNSAT TT=4.927
|
UNSAT TT=0.056
|
UNSAT TT=0.049
|
UNSAT TT=0.053
|
UNSAT TT=0.053
|
UNSAT TT=1.235
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110966688.opb
|
UNSAT TT=0.122
|
UNSAT TT=6.302
|
UNSAT TT=19.52
|
UNSAT TT=0.694
|
UNSAT TT=109.754
|
UNSAT TT=188.464
|
UNSAT TT=10.952
|
UNSAT TT=32.165
|
UNSAT TT=711.899
|
UNSAT TT=10.986
|
UNSAT TT=4.919
|
UNSAT TT=0.138
|
UNSAT TT=0.122
|
UNSAT TT=0.127
|
UNSAT TT=0.126
|
UNSAT TT=1.904
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110967142.opb
|
UNSAT TT=1.438
|
UNSAT TT=15.203
|
UNSAT TT=57.139
|
UNSAT TT=1.438
|
UNSAT TT=338.264
|
UNSAT TT=502.275
|
UNSAT TT=23.748
|
UNSAT TT=53.869
|
? (TO) TT=1800.25
|
UNSAT TT=38.911
|
UNSAT TT=19.001
|
UNSAT TT=1.872
|
UNSAT TT=1.669
|
UNSAT TT=1.664
|
UNSAT TT=1.678
|
UNSAT TT=7.226
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110967327.opb
|
SAT TT=0.844 T1=0.83
|
SAT TT=8.752 T1=8.92
|
SAT TT=29.857 T1=29.85
|
SAT TT=0.939 T1=0.94
|
SAT TT=89.96 T1=89.95
|
SAT TT=159.539 T1=159.53
|
SAT TT=1.039 T1=1.03
|
SAT TT=6.445 T1=6.44
|
SAT TT=7.314 T1=5.91
|
SAT TT=12.796 T1=6.2
|
SAT TT=8.91 T1=8.49
|
SAT TT=0.94 T1=0.93
|
SAT TT=0.847 T1=0.84
|
SAT TT=0.844 T1=0.83
|
SAT TT=0.847 T1=0.84
|
SAT TT=2.611 T1=2.61
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110967523.opb
|
UNSAT TT=0.642
|
UNSAT TT=9.731
|
UNSAT TT=36.779
|
UNSAT TT=1.112
|
UNSAT TT=157.347
|
UNSAT TT=247.135
|
UNSAT TT=9.153
|
UNSAT TT=32.698
|
? (TO) TT=1800.18
|
UNSAT TT=29.845
|
UNSAT TT=13.118
|
UNSAT TT=0.72
|
UNSAT TT=0.642
|
UNSAT TT=0.647
|
UNSAT TT=0.654
|
UNSAT TT=3.684
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110967729.opb
|
UNSAT TT=0.1
|
UNSAT TT=5.431
|
UNSAT TT=16.913
|
UNSAT TT=0.587
|
UNSAT TT=109.903
|
UNSAT TT=183.784
|
UNSAT TT=4.092
|
UNSAT TT=19.819
|
UNSAT TT=1287.27
|
UNSAT TT=8.418
|
UNSAT TT=3.708
|
UNSAT TT=0.109
|
UNSAT TT=0.108
|
UNSAT TT=0.101
|
UNSAT TT=0.1
|
UNSAT TT=1.39
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110968094.opb
|
UNSAT TT=0.166
|
UNSAT TT=6.448
|
UNSAT TT=31.658
|
UNSAT TT=0.751
|
UNSAT TT=60.279
|
UNSAT TT=122.094
|
UNSAT TT=10.299
|
UNSAT TT=35.177
|
? (TO) TT=1800.22
|
UNSAT TT=22.641
|
UNSAT TT=9.75
|
UNSAT TT=0.182
|
UNSAT TT=0.174
|
UNSAT TT=0.167
|
UNSAT TT=0.166
|
UNSAT TT=1.954
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110968431.opb
|
SAT TT=0.004 T1=0
|
SAT TT=2.913 T1=14.49
|
SAT TT=11.367 T1=11.36
|
SAT TT=0.004 T1=0
|
SAT TT=10.066 T1=10.06
|
SAT TT=19.403 T1=19.4
|
SAT TT=3.83 T1=3.83
|
SAT TT=15.578 T1=15.57
|
SAT TT=1.445 T1=0.59
|
SAT TT=2.409 T1=0.75
|
SAT TT=1.623 T1=1.24
|
SAT TT=0.255 T1=0.25
|
SAT TT=0.226 T1=0.22
|
SAT TT=0.231 T1=0.22
|
SAT TT=0.229 T1=0.22
|
SAT TT=1.299 T1=1.29
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110968561.opb
|
UNSAT TT=0.301
|
UNSAT TT=7.784
|
UNSAT TT=33.11
|
UNSAT TT=0.945
|
UNSAT TT=57.407
|
UNSAT TT=113.361
|
UNSAT TT=5.37
|
UNSAT TT=20.991
|
? (TO) TT=1800.72
|
UNSAT TT=21.391
|
UNSAT TT=11.069
|
UNSAT TT=0.337
|
UNSAT TT=0.301
|
UNSAT TT=0.303
|
UNSAT TT=0.305
|
UNSAT TT=3.059
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110968898.opb
|
UNSAT TT=0.109
|
UNSAT TT=7.545
|
UNSAT TT=34.719
|
UNSAT TT=0.84
|
UNSAT TT=108.417
|
UNSAT TT=192.75
|
UNSAT TT=8.231
|
UNSAT TT=27.333
|
? (TO) TT=1800.19
|
UNSAT TT=21.418
|
UNSAT TT=10.614
|
UNSAT TT=0.124
|
UNSAT TT=0.109
|
UNSAT TT=0.115
|
UNSAT TT=0.114
|
UNSAT TT=2.372
|
Bench name | Best results | borg pb-dec-11.04.03 (complete) | bsolo 3.2 (complete) | clasp 2.0-R4191 (complete) | MinisatID 2.4.8 [DEPRECATED] (complete) | MinisatID 2.4.8-gmp [DEPRECATED] (complete) | MinisatID 2.5.2 (fixed) (complete) | MinisatID 2.5.2-gmp (fixed) (complete) | Sat4j CuttingPlanes 2.3.0 (complete) | Sat4j Res//CP 2.3.0 (complete) | Sat4j Resolution 2.3.0 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx 2 2011-06-10 (fixed) (complete) | SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx E_2 2011-06-10 (fixed) (complete) | wbo 1.6 (complete) |
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110969170.opb
|
UNSAT TT=0.018
|
UNSAT TT=7.433
|
UNSAT TT=30.622
|
UNSAT TT=0.847
|
UNSAT TT=54.664
|
UNSAT TT=105.365
|
UNSAT TT=5.091
|
UNSAT TT=22.439
|
UNSAT TT=272.11
|
UNSAT TT=16.145
|
UNSAT TT=7.651
|
UNSAT TT=0.022
|
UNSAT TT=0.018
|
UNSAT TT=0.022
|
UNSAT TT=0.02
|
UNSAT TT=1.801
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110969577.opb
|
UNSAT TT=0.019
|
UNSAT TT=6.69
|
UNSAT TT=23.058
|
UNSAT TT=0.69
|
UNSAT TT=97.467
|
UNSAT TT=157.324
|
UNSAT TT=5.759
|
UNSAT TT=26.714
|
UNSAT TT=34.635
|
UNSAT TT=12.897
|
UNSAT TT=6.153
|
UNSAT TT=0.022
|
UNSAT TT=0.019
|
UNSAT TT=0.022
|
UNSAT TT=0.021
|
UNSAT TT=1.79
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110969860.opb
|
UNSAT TT=0.645
|
UNSAT TT=10.89
|
UNSAT TT=58.024
|
UNSAT TT=1.141
|
UNSAT TT=366.399
|
UNSAT TT=580.31
|
UNSAT TT=19.912
|
UNSAT TT=45.144
|
? (TO) TT=1800.63
|
UNSAT TT=33.498
|
UNSAT TT=16.649
|
UNSAT TT=0.721
|
UNSAT TT=0.728
|
UNSAT TT=0.645
|
UNSAT TT=0.65
|
UNSAT TT=3.691
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110969933.opb
|
SAT TT=0.003 T1=0
|
SAT TT=2.044 T1=2.18
|
SAT TT=1.524 T1=1.52
|
SAT TT=0.003 T1=0
|
SAT TT=47.036 T1=47.03
|
SAT TT=71.19 T1=71.18
|
SAT TT=1.486 T1=1.48
|
SAT TT=9.488 T1=9.48
|
? (TO) TT=1800.19
|
SAT TT=7.737 T1=3.7
|
SAT TT=3.49 T1=3.06
|
SAT TT=0.468 T1=0.46
|
SAT TT=0.418 T1=0.41
|
SAT TT=0.421 T1=0.41
|
SAT TT=0.422 T1=0.41
|
SAT TT=1.684 T1=1.68
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110970170.opb
|
SAT TT=0.135 T1=0.13
|
SAT TT=4.718 T1=4.88
|
SAT TT=16.18 T1=16.17
|
SAT TT=1.114 T1=1.11
|
SAT TT=57.133 T1=57.13
|
SAT TT=81.777 T1=81.77
|
SAT TT=1.236 T1=1.23
|
SAT TT=6.4 T1=6.4
|
SAT TT=118.733 T1=116.86
|
SAT TT=14.148 T1=6.71
|
SAT TT=6.241 T1=5.82
|
SAT TT=1.617 T1=1.61
|
SAT TT=1.443 T1=1.43
|
SAT TT=1.443 T1=1.43
|
SAT TT=1.456 T1=1.45
|
SAT TT=0.135 T1=0.13
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110970277.opb
|
SAT TT=0.376 T1=0.37
|
SAT TT=0.568 T1=17.43
|
SAT TT=31.313 T1=31.31
|
SAT TT=0.749 T1=0.75
|
SAT TT=8.405 T1=8.4
|
SAT TT=16.941 T1=16.94
|
SAT TT=0.376 T1=0.37
|
SAT TT=2.356 T1=2.35
|
? (TO) TT=1800.23
|
SAT TT=8.743 T1=3.77
|
SAT TT=3.938 T1=3.52
|
SAT TT=1.141 T1=1.13
|
SAT TT=1.022 T1=1.01
|
SAT TT=1.018 T1=1.01
|
SAT TT=1.029 T1=1.02
|
SAT TT=2.298 T1=2.29
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110970444.opb
|
UNSAT TT=0.061
|
UNSAT TT=4.807
|
UNSAT TT=18.577
|
UNSAT TT=0.733
|
UNSAT TT=45.634
|
UNSAT TT=94.812
|
UNSAT TT=4.415
|
UNSAT TT=19.193
|
? (TO) TT=1800.4
|
UNSAT TT=11.94
|
UNSAT TT=5.647
|
UNSAT TT=0.065
|
UNSAT TT=0.063
|
UNSAT TT=0.063
|
UNSAT TT=0.061
|
UNSAT TT=1.209
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110970631.opb
|
UNSAT TT=0.079
|
UNSAT TT=8.27
|
UNSAT TT=25.141
|
UNSAT TT=0.603
|
UNSAT TT=52.307
|
UNSAT TT=105.699
|
UNSAT TT=4.402
|
UNSAT TT=21.623
|
UNSAT TT=34.821
|
UNSAT TT=16.188
|
UNSAT TT=7.693
|
UNSAT TT=0.091
|
UNSAT TT=0.079
|
UNSAT TT=0.085
|
UNSAT TT=0.083
|
UNSAT TT=1.81
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110971097.opb
|
SAT TT=0.177 T1=0.17
|
SAT TT=1.754 T1=1.89
|
SAT TT=10.274 T1=10.28
|
SAT TT=0.84 T1=0.84
|
SAT TT=44.915 T1=44.91
|
SAT TT=73.763 T1=73.75
|
SAT TT=14.463 T1=14.46
|
SAT TT=34.307 T1=34.3
|
? (TO) TT=1800.21
|
SAT TT=16.025 T1=8.76
|
SAT TT=6.235 T1=5.81
|
SAT TT=1.273 T1=1.26
|
SAT TT=1.136 T1=1.13
|
SAT TT=1.142 T1=1.13
|
SAT TT=1.144 T1=1.13
|
SAT TT=0.177 T1=0.17
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110971363.opb
|
UNSAT TT=0.111
|
UNSAT TT=6.745
|
UNSAT TT=32.416
|
UNSAT TT=0.785
|
UNSAT TT=140.196
|
UNSAT TT=216.547
|
UNSAT TT=5.538
|
UNSAT TT=23.807
|
? (TO) TT=1800.56
|
UNSAT TT=16.652
|
UNSAT TT=7.745
|
UNSAT TT=0.126
|
UNSAT TT=0.111
|
UNSAT TT=0.117
|
UNSAT TT=0.115
|
UNSAT TT=1.558
|
Bench name | Best results | borg pb-dec-11.04.03 (complete) | bsolo 3.2 (complete) | clasp 2.0-R4191 (complete) | MinisatID 2.4.8 [DEPRECATED] (complete) | MinisatID 2.4.8-gmp [DEPRECATED] (complete) | MinisatID 2.5.2 (fixed) (complete) | MinisatID 2.5.2-gmp (fixed) (complete) | Sat4j CuttingPlanes 2.3.0 (complete) | Sat4j Res//CP 2.3.0 (complete) | Sat4j Resolution 2.3.0 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx 2 2011-06-10 (fixed) (complete) | SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx E_2 2011-06-10 (fixed) (complete) | wbo 1.6 (complete) |
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110971697.opb
|
UNSAT TT=0.164
|
UNSAT TT=6.379
|
UNSAT TT=38.185
|
UNSAT TT=0.755
|
UNSAT TT=157.351
|
UNSAT TT=228.032
|
UNSAT TT=7.804
|
UNSAT TT=26.799
|
? (TO) TT=1800.42
|
UNSAT TT=18.97
|
UNSAT TT=9.113
|
UNSAT TT=0.186
|
UNSAT TT=0.164
|
UNSAT TT=0.171
|
UNSAT TT=0.169
|
UNSAT TT=3.099
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110971766.opb
|
SAT TT=0.027 T1=0.02
|
SAT TT=1.67 T1=2.52
|
SAT TT=19.242 T1=19.24
|
SAT TT=0.027 T1=0.02
|
SAT TT=44.338 T1=44.33
|
SAT TT=76.933 T1=76.93
|
SAT TT=0.742 T1=0.74
|
SAT TT=4.266 T1=4.26
|
? (TO) TT=1800.24
|
SAT TT=7.73 T1=3.7
|
SAT TT=3.426 T1=3.02
|
SAT TT=0.378 T1=0.37
|
SAT TT=0.37 T1=0.36
|
SAT TT=0.338 T1=0.33
|
SAT TT=0.344 T1=0.33
|
SAT TT=2.88 T1=2.87
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110972154.opb
|
UNSAT TT=0.19
|
UNSAT TT=9.476
|
UNSAT TT=49.712
|
UNSAT TT=1.163
|
UNSAT TT=160.418
|
UNSAT TT=244.268
|
UNSAT TT=11.218
|
UNSAT TT=36.003
|
? (TO) TT=1800.25
|
UNSAT TT=18.681
|
UNSAT TT=8.408
|
UNSAT TT=0.214
|
UNSAT TT=0.19
|
UNSAT TT=0.195
|
UNSAT TT=0.196
|
UNSAT TT=3.019
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110972763.opb
|
UNSAT TT=0.124
|
UNSAT TT=9.367
|
UNSAT TT=35.615
|
UNSAT TT=0.894
|
UNSAT TT=101.826
|
UNSAT TT=174.743
|
UNSAT TT=9.621
|
UNSAT TT=28.349
|
UNSAT TT=296.285
|
UNSAT TT=22.824
|
UNSAT TT=10.904
|
UNSAT TT=0.139
|
UNSAT TT=0.124
|
UNSAT TT=0.127
|
UNSAT TT=0.127
|
UNSAT TT=2.202
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110972958.opb
|
SAT TT=0.142 T1=0.14
|
SAT TT=2.676 T1=2.91
|
SAT TT=40.437 T1=40.43
|
SAT TT=0.142 T1=0.14
|
SAT TT=19.188 T1=19.18
|
SAT TT=35.24 T1=35.24
|
SAT TT=1.476 T1=1.47
|
SAT TT=8.006 T1=8
|
? (TO) TT=1800.58
|
SAT TT=12.665 T1=6.25
|
SAT TT=5.926 T1=5.5
|
SAT TT=0.288 T1=0.28
|
SAT TT=0.283 T1=0.27
|
SAT TT=0.26 T1=0.25
|
SAT TT=0.261 T1=0.25
|
SAT TT=2.239 T1=2.23
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110973163.opb
|
UNSAT TT=0.089
|
UNSAT TT=10.07
|
UNSAT TT=42.658
|
UNSAT TT=1.272
|
UNSAT TT=180.218
|
UNSAT TT=249.142
|
UNSAT TT=18.324
|
UNSAT TT=42.851
|
? (TO) TT=1800.25
|
UNSAT TT=29.377
|
UNSAT TT=14.784
|
UNSAT TT=0.097
|
UNSAT TT=0.093
|
UNSAT TT=0.09
|
UNSAT TT=0.089
|
UNSAT TT=3.093
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110973364.opb
|
UNSAT TT=0.181
|
UNSAT TT=5.205
|
UNSAT TT=19.663
|
UNSAT TT=0.638
|
UNSAT TT=54.687
|
UNSAT TT=102.728
|
UNSAT TT=6.229
|
UNSAT TT=24.147
|
? (TO) TT=1800.24
|
UNSAT TT=10.428
|
UNSAT TT=4.849
|
UNSAT TT=0.205
|
UNSAT TT=0.181
|
UNSAT TT=0.185
|
UNSAT TT=0.186
|
UNSAT TT=1.818
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110973478.opb
|
SAT TT=0.208 T1=0.2
|
SAT TT=4.566 T1=4.68
|
SAT TT=8.505 T1=8.5
|
SAT TT=0.208 T1=0.2
|
SAT TT=62.548 T1=62.54
|
SAT TT=103.16 T1=103.16
|
SAT TT=2.294 T1=2.29
|
SAT TT=11.143 T1=11.14
|
? (TO) TT=1800.19
|
SAT TT=14.192 T1=6.74
|
SAT TT=6.116 T1=5.69
|
SAT TT=1.128 T1=1.12
|
SAT TT=1.013 T1=1.01
|
SAT TT=1.016 T1=1.01
|
SAT TT=1.024 T1=1.01
|
SAT TT=1.7 T1=1.69
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110973670.opb
|
UNSAT TT=0.251
|
UNSAT TT=10.247
|
UNSAT TT=36.012
|
UNSAT TT=0.902
|
UNSAT TT=158.047
|
UNSAT TT=246.556
|
UNSAT TT=7.993
|
UNSAT TT=27.88
|
? (TO) TT=1800.79
|
UNSAT TT=21.405
|
UNSAT TT=10.383
|
UNSAT TT=0.284
|
UNSAT TT=0.251
|
UNSAT TT=0.256
|
UNSAT TT=0.254
|
UNSAT TT=3.916
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110973863.opb
|
SAT TT=0.818 T1=0.82
|
SAT TT=10.417 T1=10.53
|
SAT TT=37.724 T1=37.72
|
SAT TT=0.818 T1=0.82
|
SAT TT=78.074 T1=78.07
|
SAT TT=124.504 T1=124.5
|
SAT TT=9.992 T1=9.99
|
SAT TT=26.002 T1=26
|
SAT TT=9.919 T1=8.72
|
SAT TT=18.438 T1=9.23
|
SAT TT=13.942 T1=13.48
|
SAT TT=1.611 T1=1.6
|
SAT TT=1.446 T1=1.44
|
SAT TT=1.429 T1=1.42
|
SAT TT=1.449 T1=1.44
|
SAT TT=2.574 T1=2.57
|
Bench name | Best results | borg pb-dec-11.04.03 (complete) | bsolo 3.2 (complete) | clasp 2.0-R4191 (complete) | MinisatID 2.4.8 [DEPRECATED] (complete) | MinisatID 2.4.8-gmp [DEPRECATED] (complete) | MinisatID 2.5.2 (fixed) (complete) | MinisatID 2.5.2-gmp (fixed) (complete) | Sat4j CuttingPlanes 2.3.0 (complete) | Sat4j Res//CP 2.3.0 (complete) | Sat4j Resolution 2.3.0 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx 2 2011-06-10 (fixed) (complete) | SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx E_2 2011-06-10 (fixed) (complete) | wbo 1.6 (complete) |
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110974180.opb
|
UNSAT TT=0.131
|
UNSAT TT=10.155
|
UNSAT TT=39.235
|
UNSAT TT=0.909
|
UNSAT TT=137.323
|
UNSAT TT=230.108
|
UNSAT TT=8.907
|
UNSAT TT=33.053
|
? (TO) TT=1800.17
|
UNSAT TT=23.243
|
UNSAT TT=11.077
|
UNSAT TT=0.149
|
UNSAT TT=0.131
|
UNSAT TT=0.136
|
UNSAT TT=0.135
|
UNSAT TT=3.761
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110974372.opb
|
UNSAT TT=0.019
|
UNSAT TT=5.747
|
UNSAT TT=22.334
|
UNSAT TT=0.708
|
UNSAT TT=53.437
|
UNSAT TT=97.423
|
UNSAT TT=6.257
|
UNSAT TT=25.366
|
UNSAT TT=7.843
|
UNSAT TT=14.306
|
UNSAT TT=6.493
|
UNSAT TT=0.022
|
UNSAT TT=0.019
|
UNSAT TT=0.021
|
UNSAT TT=0.02
|
UNSAT TT=1.954
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110974553.opb
|
SAT TT=0.059 T1=0.06
|
SAT TT=1.961 T1=11.67
|
SAT TT=4.42 T1=4.42
|
SAT TT=0.059 T1=0.06
|
SAT TT=7.971 T1=7.97
|
SAT TT=17.41 T1=17.41
|
SAT TT=0.979 T1=0.98
|
SAT TT=5.278 T1=5.27
|
SAT TT=9.637 T1=8.25
|
SAT TT=5.201 T1=2.2
|
SAT TT=2.177 T1=1.75
|
SAT TT=0.393 T1=0.38
|
SAT TT=0.349 T1=0.34
|
SAT TT=0.351 T1=0.34
|
SAT TT=0.353 T1=0.34
|
SAT TT=0.913 T1=0.91
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110975607.opb
|
UNSAT TT=0.07
|
UNSAT TT=4.914
|
UNSAT TT=17.582
|
UNSAT TT=0.619
|
UNSAT TT=95.555
|
UNSAT TT=168.189
|
UNSAT TT=4.082
|
UNSAT TT=19.968
|
UNSAT TT=61.91
|
UNSAT TT=12.036
|
UNSAT TT=5.479
|
UNSAT TT=0.081
|
UNSAT TT=0.07
|
UNSAT TT=0.075
|
UNSAT TT=0.075
|
UNSAT TT=1.17
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110975678.opb
|
SAT TT=0.191 T1=0.19
|
SAT TT=8.032 T1=8.15
|
SAT TT=48.426 T1=48.44
|
SAT TT=1.108 T1=1.1
|
SAT TT=34.117 T1=34.11
|
SAT TT=56.931 T1=56.93
|
SAT TT=0.191 T1=0.19
|
SAT TT=1.371 T1=1.37
|
? (TO) TT=1800.24
|
SAT TT=13.143 T1=6.23
|
SAT TT=6.321 T1=5.89
|
SAT TT=1.191 T1=1.19
|
SAT TT=1.187 T1=1.18
|
SAT TT=1.064 T1=1.05
|
SAT TT=1.073 T1=1.06
|
SAT TT=0.642 T1=0.64
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110975832.opb
|
SAT TT=0.108 T1=0.1
|
SAT TT=9.45 T1=15.63
|
SAT TT=12.36 T1=12.36
|
SAT TT=0.108 T1=0.1
|
SAT TT=62.511 T1=62.5
|
SAT TT=106.387 T1=106.38
|
SAT TT=2.2 T1=2.19
|
SAT TT=10.668 T1=10.66
|
SAT TT=16.794 T1=15.32
|
SAT TT=6.503 T1=2.69
|
SAT TT=2.96 T1=2.54
|
SAT TT=1.13 T1=1.12
|
SAT TT=1.142 T1=1.13
|
SAT TT=1.015 T1=1
|
SAT TT=1.014 T1=1
|
SAT TT=0.313 T1=0.31
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110975965.opb
|
UNSAT TT=0.875
|
UNSAT TT=11.161
|
UNSAT TT=60.457
|
UNSAT TT=1.303
|
UNSAT TT=332.952
|
UNSAT TT=481.275
|
UNSAT TT=13.777
|
UNSAT TT=39.118
|
? (TO) TT=1800.3
|
UNSAT TT=35.974
|
UNSAT TT=16.238
|
UNSAT TT=0.977
|
UNSAT TT=0.954
|
UNSAT TT=0.875
|
UNSAT TT=0.882
|
UNSAT TT=4.351
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110976157.opb
|
UNSAT TT=0.02
|
UNSAT TT=4.697
|
UNSAT TT=17.862
|
UNSAT TT=0.667
|
UNSAT TT=43.775
|
UNSAT TT=85.426
|
UNSAT TT=4.019
|
UNSAT TT=19.319
|
UNSAT TT=3.898
|
UNSAT TT=6.965
|
UNSAT TT=3.673
|
UNSAT TT=0.021
|
UNSAT TT=0.02
|
UNSAT TT=0.022
|
UNSAT TT=0.02
|
UNSAT TT=1.189
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110976730.opb
|
UNSAT TT=0.117
|
UNSAT TT=10.63
|
UNSAT TT=44.295
|
UNSAT TT=1.346
|
UNSAT TT=322.267
|
UNSAT TT=479.606
|
UNSAT TT=9.152
|
UNSAT TT=32.482
|
? (TO) TT=1800.16
|
UNSAT TT=32.583
|
UNSAT TT=15.277
|
UNSAT TT=0.129
|
UNSAT TT=0.127
|
UNSAT TT=0.119
|
UNSAT TT=0.117
|
UNSAT TT=4.008
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110976735.opb
|
SAT TT=0.077 T1=0.07
|
SAT TT=4.909 T1=5.07
|
SAT TT=21.941 T1=21.94
|
SAT TT=0.077 T1=0.07
|
SAT TT=20.784 T1=20.78
|
SAT TT=36.214 T1=36.21
|
SAT TT=0.561 T1=0.56
|
SAT TT=3.194 T1=3.19
|
? (TO) TT=1800.32
|
SAT TT=3.336 T1=1.18
|
SAT TT=1.202 T1=0.84
|
SAT TT=0.317 T1=0.31
|
SAT TT=0.284 T1=0.28
|
SAT TT=0.286 T1=0.28
|
SAT TT=0.289 T1=0.28
|
SAT TT=1.536 T1=1.53
|
Bench name | Best results | borg pb-dec-11.04.03 (complete) | bsolo 3.2 (complete) | clasp 2.0-R4191 (complete) | MinisatID 2.4.8 [DEPRECATED] (complete) | MinisatID 2.4.8-gmp [DEPRECATED] (complete) | MinisatID 2.5.2 (fixed) (complete) | MinisatID 2.5.2-gmp (fixed) (complete) | Sat4j CuttingPlanes 2.3.0 (complete) | Sat4j Res//CP 2.3.0 (complete) | Sat4j Resolution 2.3.0 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx 2 2011-06-10 (fixed) (complete) | SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx E_2 2011-06-10 (fixed) (complete) | wbo 1.6 (complete) |
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110976935.opb
|
UNSAT TT=0.02
|
UNSAT TT=7.227
|
UNSAT TT=24.832
|
UNSAT TT=0.772
|
UNSAT TT=115.695
|
UNSAT TT=201.162
|
UNSAT TT=11.432
|
UNSAT TT=38.91
|
? (TO) TT=1800.18
|
UNSAT TT=16.259
|
UNSAT TT=7.859
|
UNSAT TT=0.021
|
UNSAT TT=0.02
|
UNSAT TT=0.021
|
UNSAT TT=0.02
|
UNSAT TT=2.655
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110977266.opb
|
SAT TT=0.27 T1=0.27
|
SAT TT=7.459 T1=7.53
|
SAT TT=38.288 T1=38.28
|
SAT TT=0.27 T1=0.27
|
SAT TT=18.356 T1=18.35
|
SAT TT=37.646 T1=37.64
|
SAT TT=4.608 T1=4.6
|
SAT TT=17.521 T1=17.52
|
SAT TT=3.667 T1=2.26
|
SAT TT=6.257 T1=2.68
|
SAT TT=2.941 T1=2.5
|
SAT TT=0.992 T1=0.98
|
SAT TT=0.985 T1=0.98
|
SAT TT=0.886 T1=0.88
|
SAT TT=0.894 T1=0.88
|
SAT TT=0.862 T1=0.86
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110977273.opb
|
UNSAT TT=0.243
|
UNSAT TT=7.917
|
UNSAT TT=29.818
|
UNSAT TT=0.942
|
UNSAT TT=162.692
|
UNSAT TT=248.047
|
UNSAT TT=6.307
|
UNSAT TT=24.826
|
? (TO) TT=1800.5
|
UNSAT TT=20.962
|
UNSAT TT=10.234
|
UNSAT TT=0.273
|
UNSAT TT=0.243
|
UNSAT TT=0.247
|
UNSAT TT=0.247
|
UNSAT TT=2.399
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110977464.opb
|
SAT TT=0.379 T1=0.37
|
SAT TT=10.967 T1=11.07
|
SAT TT=50.048 T1=50.04
|
SAT TT=1.108 T1=1.11
|
SAT TT=22.83 T1=22.82
|
SAT TT=42.866 T1=42.86
|
SAT TT=9.499 T1=9.49
|
SAT TT=31.417 T1=31.41
|
SAT TT=1007.66 T1=1005.75
|
SAT TT=10.84 T1=5.23
|
SAT TT=4.982 T1=4.56
|
SAT TT=0.423 T1=0.42
|
SAT TT=0.379 T1=0.37
|
SAT TT=0.382 T1=0.37
|
SAT TT=0.382 T1=0.37
|
SAT TT=6.647 T1=6.64
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110977780.opb
|
UNSAT TT=0.019
|
UNSAT TT=5.552
|
UNSAT TT=26.148
|
UNSAT TT=0.564
|
UNSAT TT=44.366
|
UNSAT TT=93.559
|
UNSAT TT=5.3
|
UNSAT TT=26.934
|
UNSAT TT=3.593
|
UNSAT TT=6.544
|
UNSAT TT=5.215
|
UNSAT TT=0.021
|
UNSAT TT=0.019
|
UNSAT TT=0.021
|
UNSAT TT=0.02
|
UNSAT TT=1.745
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110978113.opb
|
UNSAT TT=0.703
|
UNSAT TT=11.863
|
UNSAT TT=69.81
|
UNSAT TT=1.273
|
UNSAT TT=374.718
|
UNSAT TT=595.418
|
UNSAT TT=22.416
|
UNSAT TT=55.701
|
? (TO) TT=1800.2
|
UNSAT TT=32.018
|
UNSAT TT=15.766
|
UNSAT TT=0.791
|
UNSAT TT=0.703
|
UNSAT TT=0.708
|
UNSAT TT=0.712
|
UNSAT TT=4.613
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110978334.opb
|
UNSAT TT=0.099
|
UNSAT TT=7.965
|
UNSAT TT=32.973
|
UNSAT TT=0.945
|
UNSAT TT=167.061
|
UNSAT TT=242.065
|
UNSAT TT=9.396
|
UNSAT TT=28.103
|
UNSAT TT=9.265
|
UNSAT TT=17.824
|
UNSAT TT=9.924
|
UNSAT TT=0.113
|
UNSAT TT=0.099
|
UNSAT TT=0.103
|
UNSAT TT=0.103
|
UNSAT TT=2.762
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111212272.opb
|
UNSAT TT=0.278
|
UNSAT TT=11.149
|
UNSAT TT=38.435
|
UNSAT TT=0.992
|
UNSAT TT=175.171
|
UNSAT TT=288.407
|
UNSAT TT=9.608
|
UNSAT TT=32.163
|
? (TO) TT=1800.22
|
UNSAT TT=28.539
|
UNSAT TT=13.682
|
UNSAT TT=0.315
|
UNSAT TT=0.278
|
UNSAT TT=0.283
|
UNSAT TT=0.282
|
UNSAT TT=2.572
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111212476.opb
|
UNSAT TT=0.336
|
UNSAT TT=9.325
|
UNSAT TT=48.658
|
UNSAT TT=1.061
|
UNSAT TT=126.014
|
UNSAT TT=224.096
|
UNSAT TT=12.116
|
UNSAT TT=35.596
|
? (TO) TT=1800.37
|
UNSAT TT=24.844
|
UNSAT TT=11.713
|
UNSAT TT=0.336
|
UNSAT TT=0.336
|
UNSAT TT=0.341
|
UNSAT TT=0.34
|
UNSAT TT=3.699
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111212923.opb
|
UNSAT TT=0.54
|
UNSAT TT=7.591
|
UNSAT TT=22.746
|
UNSAT TT=0.645
|
UNSAT TT=48.886
|
UNSAT TT=101.888
|
UNSAT TT=6.001
|
UNSAT TT=23.084
|
? (TO) TT=1800.24
|
UNSAT TT=15.331
|
UNSAT TT=7.448
|
UNSAT TT=0.605
|
UNSAT TT=0.54
|
UNSAT TT=0.543
|
UNSAT TT=0.548
|
UNSAT TT=2.051
|
Bench name | Best results | borg pb-dec-11.04.03 (complete) | bsolo 3.2 (complete) | clasp 2.0-R4191 (complete) | MinisatID 2.4.8 [DEPRECATED] (complete) | MinisatID 2.4.8-gmp [DEPRECATED] (complete) | MinisatID 2.5.2 (fixed) (complete) | MinisatID 2.5.2-gmp (fixed) (complete) | Sat4j CuttingPlanes 2.3.0 (complete) | Sat4j Res//CP 2.3.0 (complete) | Sat4j Resolution 2.3.0 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx 2 2011-06-10 (fixed) (complete) | SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx E_2 2011-06-10 (fixed) (complete) | wbo 1.6 (complete) |
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111213670.opb
|
UNSAT TT=0.019
|
UNSAT TT=6.065
|
UNSAT TT=21.619
|
UNSAT TT=0.728
|
UNSAT TT=53.662
|
UNSAT TT=101.062
|
UNSAT TT=5.119
|
UNSAT TT=24.729
|
? (TO) TT=1800.53
|
UNSAT TT=15.54
|
UNSAT TT=7.426
|
UNSAT TT=0.022
|
UNSAT TT=0.019
|
UNSAT TT=0.021
|
UNSAT TT=0.02
|
UNSAT TT=1.782
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111213868.opb
|
UNSAT TT=0.223
|
UNSAT TT=7.916
|
UNSAT TT=39.497
|
UNSAT TT=0.857
|
UNSAT TT=130.303
|
UNSAT TT=220.447
|
UNSAT TT=6.215
|
UNSAT TT=24.399
|
? (TO) TT=1800.32
|
UNSAT TT=18.38
|
UNSAT TT=8.512
|
UNSAT TT=0.249
|
UNSAT TT=0.243
|
UNSAT TT=0.224
|
UNSAT TT=0.223
|
UNSAT TT=2.893
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111216188.opb
|
SAT TT=0.242 T1=0.24
|
SAT TT=3.849 T1=3.96
|
SAT TT=8.134 T1=8.13
|
SAT TT=0.242 T1=0.24
|
SAT TT=93.397 T1=93.39
|
SAT TT=148.847 T1=148.84
|
SAT TT=4.702 T1=4.7
|
SAT TT=22.719 T1=22.71
|
? (TO) TT=1800.25
|
SAT TT=7.538 T1=3.2
|
SAT TT=3.549 T1=3.15
|
SAT TT=0.828 T1=0.82
|
SAT TT=0.744 T1=0.74
|
SAT TT=0.744 T1=0.73
|
SAT TT=0.75 T1=0.74
|
SAT TT=1.52 T1=1.52
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111216411.opb
|
UNSAT TT=0.109
|
UNSAT TT=9.73
|
UNSAT TT=36.307
|
UNSAT TT=0.999
|
UNSAT TT=117.17
|
UNSAT TT=225.758
|
UNSAT TT=15.398
|
UNSAT TT=39.126
|
? (TO) TT=1800.22
|
UNSAT TT=31.219
|
UNSAT TT=14.651
|
UNSAT TT=0.121
|
UNSAT TT=0.118
|
UNSAT TT=0.11
|
UNSAT TT=0.109
|
UNSAT TT=3.292
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111216823.opb
|
UNSAT TT=0.427
|
UNSAT TT=6.899
|
UNSAT TT=31.422
|
UNSAT TT=0.761
|
UNSAT TT=120.714
|
UNSAT TT=224.262
|
UNSAT TT=11.236
|
UNSAT TT=32.713
|
? (TO) TT=1800.21
|
UNSAT TT=14.377
|
UNSAT TT=6.254
|
UNSAT TT=0.476
|
UNSAT TT=0.472
|
UNSAT TT=0.427
|
UNSAT TT=0.43
|
UNSAT TT=2.762
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111216864.opb
|
SAT TT=0.341 T1=0.34
|
SAT TT=6.409 T1=6.47
|
SAT TT=21.404 T1=21.4
|
SAT TT=0.341 T1=0.34
|
SAT TT=20.285 T1=20.28
|
SAT TT=38.265 T1=38.26
|
SAT TT=0.761 T1=0.76
|
SAT TT=4.7 T1=4.69
|
SAT TT=1.241 T1=0.52
|
SAT TT=2.505 T1=1.17
|
SAT TT=3.539 T1=3.13
|
SAT TT=0.45 T1=0.44
|
SAT TT=0.4 T1=0.39
|
SAT TT=0.406 T1=0.4
|
SAT TT=0.404 T1=0.39
|
SAT TT=1.77 T1=1.76
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111217374.opb
|
SAT TT=0.099 T1=0.09
|
SAT TT=1.027 T1=7.25
|
SAT TT=14.522 T1=14.52
|
SAT TT=0.25 T1=0.25
|
SAT TT=1.086 T1=1.08
|
SAT TT=2.245 T1=2.24
|
SAT TT=0.099 T1=0.09
|
SAT TT=0.617 T1=0.61
|
? (TO) TT=1800.24
|
SAT TT=2.418 T1=1.19
|
SAT TT=0.857 T1=0.51
|
SAT TT=0.398 T1=0.39
|
SAT TT=0.356 T1=0.35
|
SAT TT=0.358 T1=0.35
|
SAT TT=0.36 T1=0.35
|
SAT TT=1.247 T1=1.24
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111217380.opb
|
SAT TT=0.135 T1=0.13
|
SAT TT=5.893 T1=17.45
|
SAT TT=32.756 T1=32.75
|
SAT TT=0.395 T1=0.39
|
SAT TT=0.697 T1=0.69
|
SAT TT=1.739 T1=1.73
|
SAT TT=0.135 T1=0.13
|
SAT TT=0.834 T1=0.83
|
? (TO) TT=1800.21
|
SAT TT=4.017 T1=1.68
|
SAT TT=1.571 T1=1.19
|
SAT TT=1.692 T1=1.69
|
SAT TT=1.507 T1=1.5
|
SAT TT=1.505 T1=1.5
|
SAT TT=1.526 T1=1.52
|
SAT TT=0.355 T1=0.35
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111217392.opb
|
UNSAT TT=0.167
|
UNSAT TT=7.692
|
UNSAT TT=29.983
|
UNSAT TT=0.718
|
UNSAT TT=99.477
|
UNSAT TT=161.671
|
UNSAT TT=10.454
|
UNSAT TT=34.256
|
? (TO) TT=1800.25
|
UNSAT TT=15.249
|
UNSAT TT=6.938
|
UNSAT TT=0.19
|
UNSAT TT=0.167
|
UNSAT TT=0.171
|
UNSAT TT=0.17
|
UNSAT TT=2.204
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111217555.opb
|
UNSAT TT=0.706
|
UNSAT TT=8.098
|
UNSAT TT=33.301
|
UNSAT TT=1.018
|
UNSAT TT=182.999
|
UNSAT TT=249.271
|
UNSAT TT=11.602
|
UNSAT TT=39.982
|
? (TO) TT=1800.24
|
UNSAT TT=27.475
|
UNSAT TT=14.808
|
UNSAT TT=0.792
|
UNSAT TT=0.706
|
UNSAT TT=0.709
|
UNSAT TT=0.721
|
UNSAT TT=2.273
|
Bench name | Best results | borg pb-dec-11.04.03 (complete) | bsolo 3.2 (complete) | clasp 2.0-R4191 (complete) | MinisatID 2.4.8 [DEPRECATED] (complete) | MinisatID 2.4.8-gmp [DEPRECATED] (complete) | MinisatID 2.5.2 (fixed) (complete) | MinisatID 2.5.2-gmp (fixed) (complete) | Sat4j CuttingPlanes 2.3.0 (complete) | Sat4j Res//CP 2.3.0 (complete) | Sat4j Resolution 2.3.0 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx 2 2011-06-10 (fixed) (complete) | SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx E_2 2011-06-10 (fixed) (complete) | wbo 1.6 (complete) |
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218024.opb
|
UNSAT TT=0.02
|
UNSAT TT=9.889
|
UNSAT TT=36.173
|
UNSAT TT=0.918
|
UNSAT TT=98.35
|
UNSAT TT=176.078
|
UNSAT TT=7.398
|
UNSAT TT=31.483
|
? (TO) TT=1800.24
|
UNSAT TT=23.117
|
UNSAT TT=11.423
|
UNSAT TT=0.023
|
UNSAT TT=0.02
|
UNSAT TT=0.022
|
UNSAT TT=0.022
|
UNSAT TT=2.735
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218308.opb
|
UNSAT TT=0.436
|
UNSAT TT=16.543
|
UNSAT TT=84.691
|
UNSAT TT=1.708
|
UNSAT TT=422.273
|
UNSAT TT=595.501
|
UNSAT TT=22.045
|
UNSAT TT=53.711
|
? (TO) TT=1800.34
|
UNSAT TT=45.066
|
UNSAT TT=22.153
|
UNSAT TT=0.486
|
UNSAT TT=0.436
|
UNSAT TT=0.439
|
UNSAT TT=0.442
|
UNSAT TT=5.264
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218757.opb
|
UNSAT TT=0.079
|
UNSAT TT=9.999
|
UNSAT TT=32.351
|
UNSAT TT=1.086
|
UNSAT TT=75.598
|
UNSAT TT=139.643
|
UNSAT TT=9.781
|
UNSAT TT=30.833
|
? (TO) TT=1800.21
|
UNSAT TT=23.04
|
UNSAT TT=10.715
|
UNSAT TT=0.09
|
UNSAT TT=0.079
|
UNSAT TT=0.084
|
UNSAT TT=0.083
|
UNSAT TT=1.993
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218955.opb
|
UNSAT TT=0.099
|
UNSAT TT=5.558
|
UNSAT TT=19.529
|
UNSAT TT=0.694
|
UNSAT TT=140.298
|
UNSAT TT=235.559
|
UNSAT TT=6.722
|
UNSAT TT=27.547
|
? (TO) TT=1800.15
|
UNSAT TT=12.943
|
UNSAT TT=5.843
|
UNSAT TT=0.099
|
UNSAT TT=0.099
|
UNSAT TT=0.104
|
UNSAT TT=0.101
|
UNSAT TT=1.434
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111219348.opb
|
UNSAT TT=0.362
|
UNSAT TT=8.077
|
UNSAT TT=29.287
|
UNSAT TT=0.755
|
UNSAT TT=119.854
|
UNSAT TT=201.58
|
UNSAT TT=9.38
|
UNSAT TT=29.196
|
? (TO) TT=1800.23
|
UNSAT TT=14.138
|
UNSAT TT=6.961
|
UNSAT TT=0.405
|
UNSAT TT=0.362
|
UNSAT TT=0.366
|
UNSAT TT=0.367
|
UNSAT TT=2.589
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111219399.opb
|
SAT TT=0.108 T1=0.1
|
SAT TT=1.59 T1=13.43
|
SAT TT=4.693 T1=4.69
|
SAT TT=0.108 T1=0.1
|
SAT TT=18.688 T1=18.68
|
SAT TT=34.548 T1=34.54
|
SAT TT=0.561 T1=0.56
|
SAT TT=3.409 T1=3.4
|
SAT TT=76.909 T1=75.44
|
SAT TT=6.165 T1=2.69
|
SAT TT=2.465 T1=2.06
|
SAT TT=0.327 T1=0.32
|
SAT TT=0.295 T1=0.29
|
SAT TT=0.296 T1=0.29
|
SAT TT=0.3 T1=0.29
|
SAT TT=0.563 T1=0.56
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111219799.opb
|
UNSAT TT=0.221
|
UNSAT TT=8.472
|
UNSAT TT=29.832
|
UNSAT TT=0.677
|
UNSAT TT=91.538
|
UNSAT TT=159.912
|
UNSAT TT=5.49
|
UNSAT TT=25.651
|
UNSAT TT=1067.35
|
UNSAT TT=12.558
|
UNSAT TT=5.721
|
UNSAT TT=0.249
|
UNSAT TT=0.221
|
UNSAT TT=0.226
|
UNSAT TT=0.226
|
UNSAT TT=1.967
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111220019.opb
|
UNSAT TT=0.145
|
UNSAT TT=8.79
|
UNSAT TT=29.502
|
UNSAT TT=1
|
UNSAT TT=133.968
|
UNSAT TT=204.859
|
UNSAT TT=8.909
|
UNSAT TT=29.981
|
UNSAT TT=4.847
|
UNSAT TT=7.721
|
UNSAT TT=10.879
|
UNSAT TT=0.167
|
UNSAT TT=0.145
|
UNSAT TT=0.151
|
UNSAT TT=0.151
|
UNSAT TT=3.296
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111220546.opb
|
UNSAT TT=0.348
|
UNSAT TT=8.697
|
UNSAT TT=33.133
|
UNSAT TT=0.854
|
UNSAT TT=134.995
|
UNSAT TT=226.301
|
UNSAT TT=8.338
|
UNSAT TT=27.415
|
? (TO) TT=1800.25
|
UNSAT TT=17.145
|
UNSAT TT=7.956
|
UNSAT TT=0.396
|
UNSAT TT=0.348
|
UNSAT TT=0.354
|
UNSAT TT=0.354
|
UNSAT TT=2.871
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111220767.opb
|
UNSAT TT=0.114
|
UNSAT TT=8.981
|
UNSAT TT=47.234
|
UNSAT TT=1.059
|
UNSAT TT=128.763
|
UNSAT TT=206.612
|
UNSAT TT=13.244
|
UNSAT TT=37.459
|
? (TO) TT=1800.22
|
UNSAT TT=29.654
|
UNSAT TT=13.584
|
UNSAT TT=0.129
|
UNSAT TT=0.114
|
UNSAT TT=0.119
|
UNSAT TT=0.118
|
UNSAT TT=2.821
|
Bench name | Best results | borg pb-dec-11.04.03 (complete) | bsolo 3.2 (complete) | clasp 2.0-R4191 (complete) | MinisatID 2.4.8 [DEPRECATED] (complete) | MinisatID 2.4.8-gmp [DEPRECATED] (complete) | MinisatID 2.5.2 (fixed) (complete) | MinisatID 2.5.2-gmp (fixed) (complete) | Sat4j CuttingPlanes 2.3.0 (complete) | Sat4j Res//CP 2.3.0 (complete) | Sat4j Resolution 2.3.0 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx 2 2011-06-10 (fixed) (complete) | SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx E_2 2011-06-10 (fixed) (complete) | wbo 1.6 (complete) |
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111221203.opb
|
UNSAT TT=0.346
|
UNSAT TT=9.476
|
UNSAT TT=30.127
|
UNSAT TT=0.836
|
UNSAT TT=164.211
|
UNSAT TT=245.514
|
UNSAT TT=9.029
|
UNSAT TT=27.912
|
? (TO) TT=1800.25
|
UNSAT TT=29.097
|
UNSAT TT=13.286
|
UNSAT TT=0.387
|
UNSAT TT=0.346
|
UNSAT TT=0.352
|
UNSAT TT=0.354
|
UNSAT TT=2.692
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111221624.opb
|
UNSAT TT=0.447
|
UNSAT TT=8.633
|
UNSAT TT=31.549
|
UNSAT TT=0.963
|
UNSAT TT=148.653
|
UNSAT TT=229.328
|
UNSAT TT=9.341
|
UNSAT TT=29.283
|
? (TO) TT=1800.44
|
UNSAT TT=24.139
|
UNSAT TT=11.131
|
UNSAT TT=0.509
|
UNSAT TT=0.447
|
UNSAT TT=0.453
|
UNSAT TT=0.453
|
UNSAT TT=2.809
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111221953.opb
|
SAT TT=0.322 T1=0.32
|
SAT TT=4.213 T1=5.47
|
SAT TT=7.775 T1=7.77
|
SAT TT=0.322 T1=0.32
|
SAT TT=69.197 T1=69.19
|
SAT TT=107.755 T1=107.76
|
SAT TT=2.336 T1=2.33
|
SAT TT=11.404 T1=11.4
|
SAT TT=9.891 T1=8.58
|
SAT TT=8.001 T1=3.69
|
SAT TT=3.504 T1=3.09
|
SAT TT=0.475 T1=0.47
|
SAT TT=0.418 T1=0.41
|
SAT TT=0.423 T1=0.42
|
SAT TT=0.428 T1=0.42
|
SAT TT=0.96 T1=0.95
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111222080.opb
|
SAT TT=0.138 T1=0.13
|
SAT TT=3.179 T1=7.06
|
SAT TT=11.533 T1=11.53
|
SAT TT=0.189 T1=0.18
|
SAT TT=9.358 T1=9.35
|
SAT TT=18.35 T1=18.34
|
SAT TT=1.341 T1=1.34
|
SAT TT=7.966 T1=7.96
|
SAT TT=248.397 T1=247.07
|
SAT TT=16.632 T1=7.83
|
SAT TT=7.851 T1=7.45
|
SAT TT=0.157 T1=0.15
|
SAT TT=0.138 T1=0.13
|
SAT TT=0.144 T1=0.13
|
SAT TT=0.143 T1=0.13
|
SAT TT=3.401 T1=3.4
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111222248.opb
|
SAT TT=0.013 T1=0.01
|
SAT TT=1.965 T1=2.29
|
SAT TT=13.279 T1=13.27
|
SAT TT=0.013 T1=0.01
|
SAT TT=10.211 T1=10.21
|
SAT TT=22.324 T1=22.32
|
SAT TT=0.344 T1=0.34
|
SAT TT=2.1 T1=2.09
|
? (TO) TT=1800.27
|
SAT TT=4.926 T1=2.2
|
SAT TT=1.88 T1=1.49
|
SAT TT=1.175 T1=1.17
|
SAT TT=1.049 T1=1.04
|
SAT TT=1.047 T1=1.04
|
SAT TT=1.064 T1=1.05
|
SAT TT=2.408 T1=2.4
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111222257.opb
|
UNSAT TT=0.163
|
UNSAT TT=7.586
|
UNSAT TT=29.313
|
UNSAT TT=0.9
|
UNSAT TT=127.339
|
UNSAT TT=237.106
|
UNSAT TT=7.448
|
UNSAT TT=27.718
|
? (TO) TT=1800.21
|
UNSAT TT=22.583
|
UNSAT TT=10.858
|
UNSAT TT=0.179
|
UNSAT TT=0.173
|
UNSAT TT=0.164
|
UNSAT TT=0.163
|
UNSAT TT=2.922
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111222539.opb
|
UNSAT TT=0.044
|
UNSAT TT=7.59
|
UNSAT TT=39.242
|
UNSAT TT=0.898
|
UNSAT TT=86.508
|
UNSAT TT=153.786
|
UNSAT TT=9.032
|
UNSAT TT=31.887
|
UNSAT TT=2.012
|
UNSAT TT=3.349
|
UNSAT TT=10.464
|
UNSAT TT=0.051
|
UNSAT TT=0.044
|
UNSAT TT=0.049
|
UNSAT TT=0.048
|
UNSAT TT=2.953
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111223004.opb
|
UNSAT TT=0.988
|
UNSAT TT=8.641
|
UNSAT TT=38.009
|
UNSAT TT=0.988
|
UNSAT TT=234.593
|
UNSAT TT=354.787
|
UNSAT TT=9.747
|
UNSAT TT=28.532
|
? (TO) TT=1800.19
|
UNSAT TT=23.837
|
UNSAT TT=11.733
|
UNSAT TT=1.719
|
UNSAT TT=1.538
|
UNSAT TT=1.535
|
UNSAT TT=1.551
|
UNSAT TT=3.001
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111223220.opb
|
UNSAT TT=0.103
|
UNSAT TT=7.902
|
UNSAT TT=33.695
|
UNSAT TT=0.926
|
UNSAT TT=161.336
|
UNSAT TT=245.683
|
UNSAT TT=7.876
|
UNSAT TT=26.704
|
? (TO) TT=1800.26
|
UNSAT TT=18.429
|
UNSAT TT=7.927
|
UNSAT TT=0.119
|
UNSAT TT=0.103
|
UNSAT TT=0.11
|
UNSAT TT=0.108
|
UNSAT TT=2.637
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111223416.opb
|
SAT TT=0.115 T1=0.11
|
SAT TT=2.601 T1=2.73
|
SAT TT=22.401 T1=22.4
|
SAT TT=0.115 T1=0.11
|
SAT TT=24.81 T1=24.81
|
SAT TT=44.952 T1=44.95
|
SAT TT=0.24 T1=0.24
|
SAT TT=1.502 T1=1.5
|
SAT TT=169.218 T1=167.7
|
SAT TT=5.628 T1=2.2
|
SAT TT=2.284 T1=1.86
|
SAT TT=0.522 T1=0.52
|
SAT TT=0.465 T1=0.46
|
SAT TT=0.469 T1=0.46
|
SAT TT=0.47 T1=0.46
|
SAT TT=1.989 T1=1.98
|
Bench name | Best results | borg pb-dec-11.04.03 (complete) | bsolo 3.2 (complete) | clasp 2.0-R4191 (complete) | MinisatID 2.4.8 [DEPRECATED] (complete) | MinisatID 2.4.8-gmp [DEPRECATED] (complete) | MinisatID 2.5.2 (fixed) (complete) | MinisatID 2.5.2-gmp (fixed) (complete) | Sat4j CuttingPlanes 2.3.0 (complete) | Sat4j Res//CP 2.3.0 (complete) | Sat4j Resolution 2.3.0 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx 2 2011-06-10 (fixed) (complete) | SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx E_2 2011-06-10 (fixed) (complete) | wbo 1.6 (complete) |
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111223596.opb
|
SAT TT=0.528 T1=0.53
|
SAT TT=3.281 T1=3.51
|
SAT TT=30.124 T1=30.12
|
SAT TT=0.528 T1=0.53
|
SAT TT=5.835 T1=5.83
|
SAT TT=11.905 T1=11.9
|
SAT TT=6.058 T1=6.05
|
SAT TT=20.773 T1=20.77
|
? (TO) TT=1800.18
|
SAT TT=14.809 T1=7.25
|
SAT TT=6.893 T1=6.47
|
SAT TT=1.539 T1=1.53
|
SAT TT=1.558 T1=1.55
|
SAT TT=1.368 T1=1.36
|
SAT TT=1.377 T1=1.37
|
SAT TT=4.711 T1=4.71
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111223689.opb
|
SAT TT=0.247 T1=0.24
|
SAT TT=2.04 T1=2.45
|
SAT TT=40.299 T1=40.29
|
SAT TT=0.344 T1=0.34
|
SAT TT=16.768 T1=16.76
|
SAT TT=30.104 T1=30.1
|
SAT TT=0.247 T1=0.24
|
SAT TT=1.671 T1=1.67
|
SAT TT=1.545 T1=0.62
|
SAT TT=2.695 T1=1.18
|
SAT TT=1.562 T1=1.19
|
SAT TT=0.617 T1=0.61
|
SAT TT=0.625 T1=0.62
|
SAT TT=0.55 T1=0.54
|
SAT TT=0.561 T1=0.55
|
SAT TT=1.791 T1=1.79
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111223696.opb
|
SAT TT=0.313 T1=0.31
|
SAT TT=6.741 T1=6.98
|
SAT TT=29.184 T1=29.18
|
SAT TT=0.313 T1=0.31
|
SAT TT=19.547 T1=19.54
|
SAT TT=41.027 T1=41.02
|
SAT TT=2.1 T1=2.09
|
SAT TT=9.654 T1=9.65
|
? (TO) TT=1800.22
|
SAT TT=16.154 T1=7.84
|
SAT TT=7.825 T1=7.38
|
SAT TT=1.053 T1=1.04
|
SAT TT=0.937 T1=0.93
|
SAT TT=0.941 T1=0.93
|
SAT TT=0.943 T1=0.93
|
SAT TT=1.954 T1=1.95
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224059.opb
|
UNSAT TT=0.02
|
UNSAT TT=4.715
|
UNSAT TT=17.911
|
UNSAT TT=0.564
|
UNSAT TT=57.351
|
UNSAT TT=111.725
|
UNSAT TT=3.844
|
UNSAT TT=18.789
|
UNSAT TT=3.109
|
UNSAT TT=5.378
|
UNSAT TT=5.412
|
UNSAT TT=0.021
|
UNSAT TT=0.02
|
UNSAT TT=0.022
|
UNSAT TT=0.021
|
UNSAT TT=1.371
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224255.opb
|
UNSAT TT=0.336
|
UNSAT TT=7.935
|
UNSAT TT=37.477
|
UNSAT TT=0.916
|
UNSAT TT=154.694
|
UNSAT TT=244.754
|
UNSAT TT=10.898
|
UNSAT TT=30.719
|
? (TO) TT=1800.27
|
UNSAT TT=18.93
|
UNSAT TT=8.481
|
UNSAT TT=0.375
|
UNSAT TT=0.336
|
UNSAT TT=0.34
|
UNSAT TT=0.339
|
UNSAT TT=2.085
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224451.opb
|
UNSAT TT=0.16
|
UNSAT TT=7.486
|
UNSAT TT=24.963
|
UNSAT TT=0.919
|
UNSAT TT=59.676
|
UNSAT TT=106.265
|
UNSAT TT=6.866
|
UNSAT TT=24.888
|
? (TO) TT=1800.3
|
UNSAT TT=16.688
|
UNSAT TT=8.197
|
UNSAT TT=0.177
|
UNSAT TT=0.175
|
UNSAT TT=0.161
|
UNSAT TT=0.16
|
UNSAT TT=2.204
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224522.opb
|
SAT TT=0.04 T1=0.04
|
SAT TT=4.413 T1=4.66
|
SAT TT=5.517 T1=5.51
|
SAT TT=0.04 T1=0.04
|
SAT TT=17.054 T1=17.05
|
SAT TT=32.354 T1=32.35
|
SAT TT=0.652 T1=0.65
|
SAT TT=4.498 T1=4.49
|
SAT TT=5.426 T1=4.27
|
SAT TT=9.838 T1=4.71
|
SAT TT=4.554 T1=4.15
|
SAT TT=0.25 T1=0.24
|
SAT TT=0.222 T1=0.21
|
SAT TT=0.226 T1=0.22
|
SAT TT=0.226 T1=0.22
|
SAT TT=1.203 T1=1.2
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224929.opb
|
UNSAT TT=0.078
|
UNSAT TT=7.118
|
UNSAT TT=29.637
|
UNSAT TT=0.747
|
UNSAT TT=64.211
|
UNSAT TT=114.08
|
UNSAT TT=7.32
|
UNSAT TT=27.74
|
UNSAT TT=14.319
|
UNSAT TT=20.278
|
UNSAT TT=9.432
|
UNSAT TT=0.086
|
UNSAT TT=0.081
|
UNSAT TT=0.08
|
UNSAT TT=0.078
|
UNSAT TT=2.258
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111225122.opb
|
UNSAT TT=0.109
|
UNSAT TT=5.559
|
UNSAT TT=21.721
|
UNSAT TT=0.62
|
UNSAT TT=156.491
|
UNSAT TT=251.908
|
UNSAT TT=5.701
|
UNSAT TT=23.52
|
? (TO) TT=1800.27
|
UNSAT TT=9.608
|
UNSAT TT=4.311
|
UNSAT TT=0.124
|
UNSAT TT=0.109
|
UNSAT TT=0.115
|
UNSAT TT=0.113
|
UNSAT TT=1.666
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111225605.opb
|
UNSAT TT=0.557
|
UNSAT TT=6.237
|
UNSAT TT=27.061
|
UNSAT TT=0.871
|
UNSAT TT=83.184
|
UNSAT TT=140.339
|
UNSAT TT=11.912
|
UNSAT TT=32.68
|
? (TO) TT=1800.22
|
UNSAT TT=20.087
|
UNSAT TT=9.616
|
UNSAT TT=0.623
|
UNSAT TT=0.557
|
UNSAT TT=0.559
|
UNSAT TT=0.564
|
UNSAT TT=1.708
|
Bench name | Best results | borg pb-dec-11.04.03 (complete) | bsolo 3.2 (complete) | clasp 2.0-R4191 (complete) | MinisatID 2.4.8 [DEPRECATED] (complete) | MinisatID 2.4.8-gmp [DEPRECATED] (complete) | MinisatID 2.5.2 (fixed) (complete) | MinisatID 2.5.2-gmp (fixed) (complete) | Sat4j CuttingPlanes 2.3.0 (complete) | Sat4j Res//CP 2.3.0 (complete) | Sat4j Resolution 2.3.0 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx 2 2011-06-10 (fixed) (complete) | SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx E_2 2011-06-10 (fixed) (complete) | wbo 1.6 (complete) |
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111226062.opb
|
UNSAT TT=0.223
|
UNSAT TT=7.607
|
UNSAT TT=25.415
|
UNSAT TT=0.643
|
UNSAT TT=55.049
|
UNSAT TT=101.083
|
UNSAT TT=6.514
|
UNSAT TT=27.028
|
? (TO) TT=1800.23
|
UNSAT TT=15.367
|
UNSAT TT=7.233
|
UNSAT TT=0.25
|
UNSAT TT=0.223
|
UNSAT TT=0.227
|
UNSAT TT=0.227
|
UNSAT TT=2.217
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111226241.opb
|
SAT TT=0.042 T1=0.04
|
SAT TT=2.297 T1=2.68
|
SAT TT=21.343 T1=21.34
|
SAT TT=0.042 T1=0.04
|
SAT TT=28.933 T1=28.93
|
SAT TT=51.37 T1=51.36
|
SAT TT=1.718 T1=1.71
|
SAT TT=8.821 T1=8.82
|
SAT TT=48.176 T1=46.79
|
SAT TT=11.921 T1=5.7
|
SAT TT=5.435 T1=5.04
|
SAT TT=1.278 T1=1.27
|
SAT TT=1.302 T1=1.29
|
SAT TT=1.145 T1=1.14
|
SAT TT=1.148 T1=1.14
|
SAT TT=0.557 T1=0.55
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111226284.opb
|
SAT TT=0.221 T1=0.22
|
SAT TT=0.986 T1=7.28
|
SAT TT=15.098 T1=15.09
|
SAT TT=0.221 T1=0.22
|
SAT TT=25.548 T1=25.54
|
SAT TT=44.708 T1=44.7
|
SAT TT=2.145 T1=2.14
|
SAT TT=11.734 T1=11.73
|
SAT TT=155.049 T1=153.63
|
SAT TT=6.828 T1=3.19
|
SAT TT=3.082 T1=2.57
|
SAT TT=0.297 T1=0.29
|
SAT TT=0.265 T1=0.26
|
SAT TT=0.268 T1=0.26
|
SAT TT=0.268 T1=0.26
|
SAT TT=2.587 T1=2.58
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111226368.opb
|
UNSAT TT=0.053
|
UNSAT TT=5.004
|
UNSAT TT=17.389
|
UNSAT TT=0.636
|
UNSAT TT=37.003
|
UNSAT TT=77.75
|
UNSAT TT=7.089
|
UNSAT TT=25.737
|
UNSAT TT=4.532
|
UNSAT TT=7.683
|
UNSAT TT=5.65
|
UNSAT TT=0.061
|
UNSAT TT=0.053
|
UNSAT TT=0.058
|
UNSAT TT=0.057
|
UNSAT TT=1.338
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111226680.opb
|
UNSAT TT=0.178
|
UNSAT TT=7.024
|
UNSAT TT=39.276
|
UNSAT TT=0.754
|
UNSAT TT=224.136
|
UNSAT TT=343.2
|
UNSAT TT=6.022
|
UNSAT TT=25.999
|
? (TO) TT=1800.66
|
UNSAT TT=17.212
|
UNSAT TT=7.947
|
UNSAT TT=0.197
|
UNSAT TT=0.195
|
UNSAT TT=0.179
|
UNSAT TT=0.178
|
UNSAT TT=1.591
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111227012.opb
|
UNSAT TT=0.191
|
UNSAT TT=8.164
|
UNSAT TT=36.244
|
UNSAT TT=0.857
|
UNSAT TT=131.588
|
UNSAT TT=216.01
|
UNSAT TT=6.339
|
UNSAT TT=25.436
|
? (TO) TT=1800.27
|
UNSAT TT=18.132
|
UNSAT TT=8.748
|
UNSAT TT=0.216
|
UNSAT TT=0.191
|
UNSAT TT=0.195
|
UNSAT TT=0.196
|
UNSAT TT=2.556
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111227326.opb
|
UNSAT TT=0.103
|
UNSAT TT=4.582
|
UNSAT TT=15.149
|
UNSAT TT=0.494
|
UNSAT TT=94.503
|
UNSAT TT=157.045
|
UNSAT TT=5.96
|
UNSAT TT=22.755
|
? (TO) TT=1800.23
|
UNSAT TT=9.219
|
UNSAT TT=4.191
|
UNSAT TT=0.118
|
UNSAT TT=0.103
|
UNSAT TT=0.108
|
UNSAT TT=0.108
|
UNSAT TT=1.086
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111227418.opb
|
SAT TT=0.086 T1=0.08
|
SAT TT=7.775 T1=19.59
|
SAT TT=31.584 T1=31.58
|
SAT TT=0.086 T1=0.08
|
SAT TT=27.961 T1=27.96
|
SAT TT=47.637 T1=47.63
|
SAT TT=1.075 T1=1.07
|
SAT TT=5.149 T1=5.14
|
SAT TT=2.279 T1=1.11
|
SAT TT=3.909 T1=1.68
|
SAT TT=12.011 T1=11.57
|
SAT TT=1.017 T1=1.01
|
SAT TT=0.913 T1=0.9
|
SAT TT=0.916 T1=0.91
|
SAT TT=0.913 T1=0.9
|
SAT TT=1.002 T1=1
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111227861.opb
|
UNSAT TT=0.06
|
UNSAT TT=8.234
|
UNSAT TT=37.619
|
UNSAT TT=0.781
|
UNSAT TT=146.27
|
UNSAT TT=234.865
|
UNSAT TT=9.227
|
UNSAT TT=33.023
|
? (TO) TT=1800.27
|
UNSAT TT=22.473
|
UNSAT TT=10.311
|
UNSAT TT=0.07
|
UNSAT TT=0.06
|
UNSAT TT=0.066
|
UNSAT TT=0.064
|
UNSAT TT=2.491
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111228076.opb
|
UNSAT TT=0.185
|
UNSAT TT=9.343
|
UNSAT TT=45.318
|
UNSAT TT=1.13
|
UNSAT TT=160.139
|
UNSAT TT=232.064
|
UNSAT TT=14.704
|
UNSAT TT=36.931
|
? (TO) TT=1800.39
|
UNSAT TT=30.739
|
UNSAT TT=14.54
|
UNSAT TT=0.205
|
UNSAT TT=0.205
|
UNSAT TT=0.185
|
UNSAT TT=0.185
|
UNSAT TT=3.877
|
Bench name | Best results | borg pb-dec-11.04.03 (complete) | bsolo 3.2 (complete) | clasp 2.0-R4191 (complete) | MinisatID 2.4.8 [DEPRECATED] (complete) | MinisatID 2.4.8-gmp [DEPRECATED] (complete) | MinisatID 2.5.2 (fixed) (complete) | MinisatID 2.5.2-gmp (fixed) (complete) | Sat4j CuttingPlanes 2.3.0 (complete) | Sat4j Res//CP 2.3.0 (complete) | Sat4j Resolution 2.3.0 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx 2 2011-06-10 (fixed) (complete) | SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx E_2 2011-06-10 (fixed) (complete) | wbo 1.6 (complete) |
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/prestwich/armies/ normalized-army10.14bt.opb
|
SAT TT=1.292 T1=1.29
|
SAT TT=41.02 T1=56.45
|
SAT TT=270.125 T1=270.11
|
SAT TT=1.292 T1=1.29
|
SAT TT=1494.21 T1=1494.16
|
? (TO) TT=1800.09
|
SAT TT=130.773 T1=130.76
|
SAT TT=316.341 T1=316.32
|
SAT TT=14.628 T1=13.16
|
SAT TT=27.792 T1=13.3
|
SAT TT=306.297 T1=305.56
|
SAT TT=148.751 T1=148.75
|
SAT TT=149.121 T1=149.11
|
SAT TT=148.558 T1=148.54
|
SAT TT=148.983 T1=148.97
|
SAT TT=44.12 T1=44.12
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/prestwich/armies/ normalized-army10.14ls.opb
|
SAT TT=0.418 T1=0.41
|
SAT TT=50.854 T1=68.48
|
SAT TT=400.043 T1=400.03
|
SAT TT=0.418 T1=0.41
|
SAT TT=142.397 T1=142.39
|
SAT TT=626.377 T1=626.38
|
SAT TT=92.581 T1=92.57
|
SAT TT=227.969 T1=227.96
|
SAT TT=776.172 T1=772.82
|
SAT TT=97.846 T1=49.24
|
SAT TT=43.956 T1=43.39
|
SAT TT=699.221 T1=699.19
|
SAT TT=708.553 T1=708.52
|
SAT TT=702.61 T1=702.59
|
SAT TT=708.327 T1=708.3
|
? (TO) TT=1800.09
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/prestwich/armies/ normalized-army11.17bt.opb
|
SAT TT=40.66 T1=40.65
|
SAT TT=200.522 T1=215.39
|
? TT=1798.01
|
SAT TT=40.66 T1=40.65
|
? (TO) TT=1800.06
|
? (TO) TT=1800.06
|
? (TO) TT=1800.07
|
? (TO) TT=1800.06
|
? (TO) TT=1800.32
|
SAT TT=1024.52 T1=531.31
|
SAT TT=438.114 T1=436.82
|
SAT TT=859.131 T1=859.09
|
SAT TT=954.648 T1=954.62
|
SAT TT=953.27 T1=953.22
|
SAT TT=868.202 T1=868.17
|
SAT TT=1082.88 T1=1082.92
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/prestwich/armies/ normalized-army11.17ls.opb
|
SAT TT=7.388 T1=7.39
|
SAT TT=57.136 T1=73.28
|
SAT TT=7.388 T1=7.39
|
SAT TT=14.291 T1=14.28
|
? (TO) TT=1800.07
|
? (TO) TT=1800.07
|
? (TO) TT=1800.06
|
? (TO) TT=1800.06
|
SAT TT=233.901 T1=231.8
|
SAT TT=544.383 T1=282.77
|
? (TO) TT=1800.1
|
? (TO) TT=1800.05
|
? TT=1797.07
|
? (TO) TT=1800.06
|
? TT=1797.06
|
? (TO) TT=1800.09
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/prestwich/armies/ normalized-army12.21bt.opb
|
|
? (TO) TT=1800.04
|
? TT=1798.01
|
? (TO) TT=1800.06
|
? (TO) TT=1800.05
|
? (TO) TT=1800.06
|
? (TO) TT=1800.06
|
? (TO) TT=1800.05
|
? (TO) TT=1800.28
|
? (TO) TT=1800.29
|
? (TO) TT=1800.13
|
? (TO) TT=1800.05
|
? TT=1797.07
|
? (TO) TT=1800.07
|
? TT=1797.06
|
? (TO) TT=1800.07
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/prestwich/armies/ normalized-army12.21ls.opb
|
SAT TT=64.997 T1=64.99
|
? (TO) TT=1800.04
|
? TT=1798.01
|
SAT TT=64.997 T1=64.99
|
? (TO) TT=1800.05
|
? (TO) TT=1800.05
|
? (TO) TT=1800.06
|
? (TO) TT=1800.06
|
? (TO) TT=1800.23
|
? (TO) TT=1800.19
|
? (TO) TT=1800.12
|
? (TO) TT=1800.08
|
? TT=1797.07
|
? TT=1799.99
|
? TT=1797.07
|
? (TO) TT=1800.09
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/prestwich/armies/ normalized-army13.24bt.opb
|
SAT TT=976.778 T1=976.75
|
? (TO) TT=1800.07
|
? TT=1798.01
|
SAT TT=976.778 T1=976.75
|
? (TO) TT=1800.06
|
? (TO) TT=1800.1
|
? (TO) TT=1800.05
|
? (TO) TT=1800.09
|
? (TO) TT=1800.29
|
? (TO) TT=1800.19
|
? (TO) TT=1800.08
|
? (TO) TT=1800.06
|
? TT=1797.05
|
? (TO) TT=1800.07
|
? TT=1797.06
|
? (TO) TT=1800.07
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/prestwich/armies/ normalized-army13.24ls.opb
|
SAT TT=125.497 T1=132.86
|
SAT TT=125.497 T1=132.86
|
? TT=1798.01
|
SAT TT=165.419 T1=165.42
|
? (TO) TT=1800.07
|
? (TO) TT=1800.04
|
? (TO) TT=1800.06
|
? (TO) TT=1800.06
|
? (TO) TT=1800.3
|
? (TO) TT=1800.15
|
? (TO) TT=1800.13
|
? (TO) TT=1800.06
|
? TT=1797.04
|
? (TO) TT=1800.06
|
? TT=1797.05
|
? (TO) TT=1800.08
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/prestwich/armies/ normalized-army8.9bt.opb
|
SAT TT=0.004 T1=0
|
SAT TT=29.224 T1=52.32
|
SAT TT=2.457 T1=2.45
|
SAT TT=0.004 T1=0
|
SAT TT=4.23 T1=4.23
|
SAT TT=19.272 T1=19.27
|
SAT TT=0.398 T1=0.39
|
SAT TT=1.626 T1=1.62
|
SAT TT=4.281 T1=2.82
|
SAT TT=6.481 T1=2.77
|
SAT TT=2.632 T1=2.14
|
SAT TT=14.297 T1=14.28
|
SAT TT=14.571 T1=14.56
|
SAT TT=13.069 T1=13.07
|
SAT TT=13.107 T1=13.09
|
SAT TT=1.205 T1=1.2
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/prestwich/armies/ normalized-army8.9ls.opb
|
SAT TT=0.03 T1=0.03
|
SAT TT=4.481 T1=20.11
|
SAT TT=0.145 T1=0.14
|
SAT TT=0.03 T1=0.03
|
SAT TT=1.054 T1=1.05
|
SAT TT=5.148 T1=5.14
|
SAT TT=0.509 T1=0.5
|
SAT TT=1.889 T1=1.88
|
SAT TT=2.881 T1=1.58
|
SAT TT=2.288 T1=1.22
|
SAT TT=0.794 T1=0.49
|
SAT TT=0.062 T1=0.05
|
SAT TT=0.059 T1=0.05
|
SAT TT=0.064 T1=0.05
|
SAT TT=0.063 T1=0.05
|
SAT TT=0.743 T1=0.74
|
Bench name | Best results | borg pb-dec-11.04.03 (complete) | bsolo 3.2 (complete) | clasp 2.0-R4191 (complete) | MinisatID 2.4.8 [DEPRECATED] (complete) | MinisatID 2.4.8-gmp [DEPRECATED] (complete) | MinisatID 2.5.2 (fixed) (complete) | MinisatID 2.5.2-gmp (fixed) (complete) | Sat4j CuttingPlanes 2.3.0 (complete) | Sat4j Res//CP 2.3.0 (complete) | Sat4j Resolution 2.3.0 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx 2 2011-06-10 (fixed) (complete) | SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx E_2 2011-06-10 (fixed) (complete) | wbo 1.6 (complete) |
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/prestwich/armies/ normalized-army9.12bt.opb
|
SAT TT=0.035 T1=0.03
|
SAT TT=13.579 T1=38.1
|
SAT TT=100.969 T1=100.96
|
SAT TT=0.035 T1=0.03
|
SAT TT=168.89 T1=168.88
|
SAT TT=692.242 T1=692.22
|
SAT TT=38.591 T1=38.59
|
SAT TT=108.81 T1=108.8
|
? (TO) TT=1800.28
|
SAT TT=21.598 T1=10.27
|
SAT TT=9.853 T1=9.07
|
SAT TT=201.278 T1=201.26
|
SAT TT=225.885 T1=225.86
|
SAT TT=202.249 T1=202.23
|
SAT TT=223.033 T1=223.01
|
SAT TT=5.806 T1=5.8
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/prestwich/armies/ normalized-army9.12ls.opb
|
SAT TT=0.694 T1=0.69
|
SAT TT=12.509 T1=36.63
|
? TT=1798
|
SAT TT=0.694 T1=0.69
|
SAT TT=151.413 T1=151.4
|
SAT TT=779.741 T1=779.78
|
SAT TT=244.592 T1=244.58
|
SAT TT=510.269 T1=510.25
|
SAT TT=34.086 T1=32.41
|
SAT TT=65.435 T1=32.93
|
SAT TT=167.72 T1=166.98
|
SAT TT=29.459 T1=29.45
|
SAT TT=29.808 T1=29.8
|
SAT TT=29.54 T1=29.53
|
SAT TT=29.833 T1=29.82
|
SAT TT=60.076 T1=60.07
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/prestwich/ robin/normalized-robin10.opb
|
SAT TT=0.111 T1=0.11
|
SAT TT=1.088 T1=30.84
|
SAT TT=23.665 T1=23.66
|
SAT TT=0.111 T1=0.11
|
? (TO) TT=1800.09
|
? (TO) TT=1800.06
|
? (TO) TT=1800.05
|
? (TO) TT=1800.05
|
SAT TT=3.761 T1=2.21
|
SAT TT=5.427 T1=2.36
|
SAT TT=3.567 T1=2.94
|
SAT TT=16.512 T1=16.49
|
SAT TT=16.731 T1=16.72
|
SAT TT=14.714 T1=14.7
|
SAT TT=16.592 T1=16.58
|
SAT TT=0.407 T1=0.4
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/prestwich/ robin/normalized-robin12.opb
|
SAT TT=0.478 T1=0.47
|
SAT TT=1.225 T1=30.91
|
SAT TT=92.464 T1=92.45
|
SAT TT=0.478 T1=0.47
|
? (TO) TT=1800.1
|
? (TO) TT=1800.11
|
? (TO) TT=1800.06
|
? (TO) TT=1800.09
|
? (TO) TT=1800.33
|
SAT TT=18.913 T1=8.99
|
SAT TT=8.943 T1=8.21
|
SAT TT=77.468 T1=77.44
|
SAT TT=88.57 T1=88.54
|
SAT TT=77.555 T1=77.52
|
SAT TT=86.755 T1=86.73
|
SAT TT=37.347 T1=37.34
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/prestwich/ robin/normalized-robin14.opb
|
SAT TT=10.7 T1=35.79
|
SAT TT=10.7 T1=35.79
|
SAT TT=1375.01 T1=1374.92
|
SAT TT=35.943 T1=35.93
|
? (TO) TT=1800.06
|
? (TO) TT=1800.06
|
? (TO) TT=1800.07
|
? (TO) TT=1800.06
|
? (TO) TT=1800.26
|
SAT TT=1013.11 T1=511.28
|
SAT TT=454.349 T1=453.04
|
? (TO) TT=1800.06
|
SAT TT=1542.54 T1=1542.46
|
? (TO) TT=1800.13
|
SAT TT=1541.14 T1=1541.04
|
? (TO) TT=1800.08
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/prestwich/ robin/normalized-robin16.opb
|
SAT TT=1773.19 T1=1773.12
|
? (TO) TT=1800.07
|
? TT=1798.1
|
SAT TT=1773.19 T1=1773.12
|
? (TO) TT=1800.11
|
? (TO) TT=1800.07
|
? (TO) TT=1800.05
|
? (TO) TT=1800.08
|
? (TO) TT=1800.22
|
? (TO) TT=1800.39
|
? (TO) TT=1800.16
|
? (TO) TT=1800.08
|
? TT=1797.34
|
? (TO) TT=1800.07
|
? TT=1797.15
|
? (TO) TT=1800.09
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/prestwich/ robin/normalized-robin18.opb
|
|
? (TO) TT=1800.09
|
? TT=1798.2
|
? (TO) TT=1800.08
|
? (TO) TT=1800.07
|
? (TO) TT=1800.07
|
? (TO) TT=1800.05
|
? (TO) TT=1800.08
|
? (TO) TT=1800.25
|
? (TO) TT=1800.39
|
? (TO) TT=1800.12
|
? (TO) TT=1800.13
|
? TT=1797.18
|
? (TO) TT=1800.69
|
? TT=1797.46
|
? (TO) TT=1800.07
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/prestwich/ robin/normalized-robin8.opb
|
SAT TT=0.014 T1=0.02
|
SAT TT=1.594 T1=30.44
|
SAT TT=0.158 T1=0.15
|
SAT TT=0.014 T1=0.02
|
SAT TT=660.875 T1=660.89
|
SAT TT=616.718 T1=616.69
|
SAT TT=0.676 T1=0.67
|
SAT TT=1.319 T1=1.31
|
SAT TT=1.312 T1=0.57
|
SAT TT=2.123 T1=0.79
|
SAT TT=0.868 T1=0.47
|
SAT TT=0.134 T1=0.13
|
SAT TT=0.128 T1=0.12
|
SAT TT=0.135 T1=0.12
|
SAT TT=0.132 T1=0.12
|
SAT TT=0.027 T1=0.02
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/ normalized-pigeon-cardinality-101-100.opb
|
UNSAT TT=0.208
|
UNSAT TT=1.347
|
UNSAT TT=257.828
|
? (TO) TT=1800.12
|
? (TO) TT=1800.07
|
? (TO) TT=1800.06
|
? (TO) TT=1800.05
|
? (TO) TT=1800.09
|
UNSAT TT=8.807
|
UNSAT TT=18.363
|
? (TO) TT=1800.16
|
UNSAT TT=0.218
|
UNSAT TT=0.212
|
UNSAT TT=0.217
|
UNSAT TT=0.208
|
? (TO) TT=1800.11
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/ normalized-pigeon-cardinality-105-100.opb
|
UNSAT TT=0.238
|
UNSAT TT=1.442
|
UNSAT TT=3.755
|
? (TO) TT=1800.07
|
? (TO) TT=1800.03
|
? (TO) TT=1800.1
|
? (TO) TT=1800.06
|
? (TO) TT=1800.05
|
UNSAT TT=1.074
|
UNSAT TT=1.653
|
? (TO) TT=1800.1
|
UNSAT TT=0.251
|
UNSAT TT=0.245
|
UNSAT TT=0.248
|
UNSAT TT=0.238
|
? (TO) TT=1800.09
|
Bench name | Best results | borg pb-dec-11.04.03 (complete) | bsolo 3.2 (complete) | clasp 2.0-R4191 (complete) | MinisatID 2.4.8 [DEPRECATED] (complete) | MinisatID 2.4.8-gmp [DEPRECATED] (complete) | MinisatID 2.5.2 (fixed) (complete) | MinisatID 2.5.2-gmp (fixed) (complete) | Sat4j CuttingPlanes 2.3.0 (complete) | Sat4j Res//CP 2.3.0 (complete) | Sat4j Resolution 2.3.0 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx 2 2011-06-10 (fixed) (complete) | SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx E_2 2011-06-10 (fixed) (complete) | wbo 1.6 (complete) |
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/ normalized-pigeon-cardinality-11-10.opb
|
UNSAT TT=0.002
|
UNSAT TT=0.46
|
UNSAT TT=0.002
|
UNSAT TT=23.258
|
? (TO) TT=1800.04
|
? (TO) TT=1800.06
|
UNSAT TT=359.732
|
UNSAT TT=320.912
|
UNSAT TT=0.172
|
UNSAT TT=0.226
|
UNSAT TT=407.206
|
UNSAT TT=0.014
|
UNSAT TT=0.013
|
UNSAT TT=0.016
|
UNSAT TT=0.015
|
UNSAT TT=76.901
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/ normalized-pigeon-cardinality-15-10.opb
|
UNSAT TT=0.002
|
UNSAT TT=0.462
|
UNSAT TT=0.002
|
UNSAT TT=24.707
|
? (TO) TT=1800.05
|
? (TO) TT=1800.09
|
UNSAT TT=189.182
|
UNSAT TT=192.353
|
UNSAT TT=0.173
|
UNSAT TT=0.205
|
? (TO) TT=1800.05
|
UNSAT TT=0.015
|
UNSAT TT=0.014
|
UNSAT TT=0.015
|
UNSAT TT=0.016
|
UNSAT TT=225.591
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/ normalized-pigeon-cardinality-21-20.opb
|
UNSAT TT=0.014
|
UNSAT TT=0.474
|
UNSAT TT=0.014
|
? (TO) TT=1800.09
|
? (TO) TT=1800.06
|
? (TO) TT=1800.06
|
? (TO) TT=1800.07
|
? (TO) TT=1800.06
|
UNSAT TT=0.26
|
UNSAT TT=0.452
|
? (TO) TT=1800.1
|
UNSAT TT=0.019
|
UNSAT TT=0.02
|
UNSAT TT=0.019
|
UNSAT TT=0.019
|
? (TO) TT=1800.11
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/ normalized-pigeon-cardinality-25-20.opb
|
UNSAT TT=0.017
|
UNSAT TT=0.463
|
UNSAT TT=0.017
|
? (TO) TT=1800.1
|
? (TO) TT=1800.04
|
? (TO) TT=1800.06
|
? (TO) TT=1800.07
|
? (TO) TT=1800.08
|
UNSAT TT=0.219
|
UNSAT TT=0.339
|
? (TO) TT=1800.13
|
UNSAT TT=0.019
|
UNSAT TT=0.018
|
UNSAT TT=0.022
|
UNSAT TT=0.02
|
? (TO) TT=1800.1
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/ normalized-pigeon-cardinality-31-30.opb
|
UNSAT TT=0.024
|
UNSAT TT=0.483
|
UNSAT TT=0.052
|
? (TO) TT=1800.07
|
? (TO) TT=1800.06
|
? (TO) TT=1800.08
|
? (TO) TT=1800.1
|
? (TO) TT=1800.06
|
UNSAT TT=0.467
|
UNSAT TT=1.042
|
? (TO) TT=1800.06
|
UNSAT TT=0.026
|
UNSAT TT=0.024
|
UNSAT TT=0.028
|
UNSAT TT=0.026
|
? (TO) TT=1800.1
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/ normalized-pigeon-cardinality-35-30.opb
|
UNSAT TT=0.027
|
UNSAT TT=0.478
|
UNSAT TT=0.059
|
? (TO) TT=1800.09
|
? (TO) TT=1800.06
|
? (TO) TT=1800.1
|
? (TO) TT=1800.07
|
? (TO) TT=1800.06
|
UNSAT TT=0.323
|
UNSAT TT=0.494
|
? (TO) TT=1800.12
|
UNSAT TT=0.028
|
UNSAT TT=0.027
|
UNSAT TT=0.029
|
UNSAT TT=0.031
|
? (TO) TT=1800.08
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/ normalized-pigeon-cardinality-41-40.opb
|
UNSAT TT=0.037
|
UNSAT TT=0.496
|
UNSAT TT=0.148
|
? (TO) TT=1800.1
|
? (TO) TT=1800.06
|
? (TO) TT=1800.07
|
? (TO) TT=1800.05
|
? (TO) TT=1800.06
|
UNSAT TT=0.765
|
UNSAT TT=1.384
|
? (TO) TT=1800.16
|
UNSAT TT=0.037
|
UNSAT TT=0.037
|
UNSAT TT=0.039
|
UNSAT TT=0.038
|
? (TO) TT=1800.07
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/ normalized-pigeon-cardinality-45-40.opb
|
UNSAT TT=0.039
|
UNSAT TT=0.548
|
UNSAT TT=0.206
|
? (TO) TT=1800.07
|
? (TO) TT=1800.06
|
? (TO) TT=1800.06
|
? (TO) TT=1800.06
|
? (TO) TT=1800.07
|
UNSAT TT=0.398
|
UNSAT TT=0.644
|
? (TO) TT=1800.15
|
UNSAT TT=0.04
|
UNSAT TT=0.039
|
UNSAT TT=0.041
|
UNSAT TT=0.04
|
? (TO) TT=1800.1
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/ normalized-pigeon-cardinality-51-50.opb
|
UNSAT TT=0.048
|
UNSAT TT=0.574
|
UNSAT TT=0.373
|
? (TO) TT=1800.06
|
? (TO) TT=1800.07
|
? (TO) TT=1800.07
|
? (TO) TT=1800.05
|
? (TO) TT=1800.04
|
UNSAT TT=1.03
|
UNSAT TT=1.946
|
? (TO) TT=1800.11
|
UNSAT TT=0.05
|
UNSAT TT=0.048
|
UNSAT TT=0.051
|
UNSAT TT=0.05
|
? (TO) TT=1800.04
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/ normalized-pigeon-cardinality-55-50.opb
|
UNSAT TT=0.049
|
UNSAT TT=0.573
|
UNSAT TT=3.346
|
? (TO) TT=1800.07
|
? (TO) TT=1800.05
|
? (TO) TT=1800.07
|
? (TO) TT=1800.04
|
? (TO) TT=1800.06
|
UNSAT TT=0.507
|
UNSAT TT=0.989
|
? (TO) TT=1800.1
|
UNSAT TT=0.051
|
UNSAT TT=0.049
|
UNSAT TT=0.052
|
UNSAT TT=0.056
|
? (TO) TT=1800.1
|
Bench name | Best results | borg pb-dec-11.04.03 (complete) | bsolo 3.2 (complete) | clasp 2.0-R4191 (complete) | MinisatID 2.4.8 [DEPRECATED] (complete) | MinisatID 2.4.8-gmp [DEPRECATED] (complete) | MinisatID 2.5.2 (fixed) (complete) | MinisatID 2.5.2-gmp (fixed) (complete) | Sat4j CuttingPlanes 2.3.0 (complete) | Sat4j Res//CP 2.3.0 (complete) | Sat4j Resolution 2.3.0 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx 2 2011-06-10 (fixed) (complete) | SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx E_2 2011-06-10 (fixed) (complete) | wbo 1.6 (complete) |
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/ normalized-pigeon-cardinality-61-60.opb
|
UNSAT TT=0.065
|
UNSAT TT=0.64
|
UNSAT TT=0.497
|
? (TO) TT=1800.09
|
? (TO) TT=1800.08
|
? (TO) TT=1800.06
|
? (TO) TT=1800.06
|
? (TO) TT=1800.05
|
UNSAT TT=1.444
|
UNSAT TT=2.836
|
? (TO) TT=1800.14
|
UNSAT TT=0.068
|
UNSAT TT=0.065
|
UNSAT TT=0.069
|
UNSAT TT=0.065
|
? (TO) TT=1800.11
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/ normalized-pigeon-cardinality-65-60.opb
|
UNSAT TT=0.066
|
UNSAT TT=0.657
|
UNSAT TT=0.959
|
? (TO) TT=1800.05
|
? (TO) TT=1800.05
|
? (TO) TT=1800.06
|
? (TO) TT=1800.07
|
? (TO) TT=1800.06
|
UNSAT TT=0.565
|
UNSAT TT=1.167
|
? (TO) TT=1800.07
|
UNSAT TT=0.07
|
UNSAT TT=0.066
|
UNSAT TT=0.07
|
UNSAT TT=0.068
|
? (TO) TT=1800.07
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/ normalized-pigeon-cardinality-71-70.opb
|
UNSAT TT=0.091
|
UNSAT TT=0.799
|
UNSAT TT=0.996
|
? (TO) TT=1800.1
|
? (TO) TT=1800.06
|
? (TO) TT=1800.06
|
? (TO) TT=1800.05
|
? (TO) TT=1800.06
|
UNSAT TT=2.407
|
UNSAT TT=4.345
|
? (TO) TT=1800.11
|
UNSAT TT=0.094
|
UNSAT TT=0.091
|
UNSAT TT=0.103
|
UNSAT TT=0.091
|
? (TO) TT=1800.08
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/ normalized-pigeon-cardinality-75-70.opb
|
UNSAT TT=0.1
|
UNSAT TT=0.775
|
UNSAT TT=4.702
|
? (TO) TT=1800.09
|
? (TO) TT=1800.07
|
? (TO) TT=1800.04
|
? (TO) TT=1800.06
|
? (TO) TT=1800.06
|
UNSAT TT=0.849
|
UNSAT TT=1.406
|
? (TO) TT=1800.12
|
UNSAT TT=0.104
|
UNSAT TT=0.101
|
UNSAT TT=0.105
|
UNSAT TT=0.1
|
? (TO) TT=1800.05
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/ normalized-pigeon-cardinality-81-80.opb
|
UNSAT TT=0.123
|
UNSAT TT=0.895
|
? (TO) TT=1800.09
|
? (TO) TT=1800.08
|
? (TO) TT=1800.05
|
? (TO) TT=1800.06
|
? (TO) TT=1800.05
|
? (TO) TT=1800.05
|
UNSAT TT=3.707
|
UNSAT TT=7.512
|
? (TO) TT=1800.16
|
UNSAT TT=0.13
|
UNSAT TT=0.124
|
UNSAT TT=0.127
|
UNSAT TT=0.123
|
? (TO) TT=1800.06
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/ normalized-pigeon-cardinality-85-80.opb
|
UNSAT TT=0.118
|
UNSAT TT=0.917
|
UNSAT TT=1.276
|
? (TO) TT=1800.05
|
? (TO) TT=1800.08
|
? (TO) TT=1800.07
|
? (TO) TT=1800.04
|
? (TO) TT=1800.04
|
UNSAT TT=0.878
|
UNSAT TT=1.555
|
? (TO) TT=1800.08
|
UNSAT TT=0.124
|
UNSAT TT=0.12
|
UNSAT TT=0.123
|
UNSAT TT=0.118
|
? (TO) TT=1800.14
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/ normalized-pigeon-cardinality-91-90.opb
|
UNSAT TT=0.172
|
UNSAT TT=1.07
|
UNSAT TT=3.048
|
? (TO) TT=1800.06
|
? (TO) TT=1800.06
|
? (TO) TT=1800.05
|
? (TO) TT=1800.08
|
? (TO) TT=1800.04
|
UNSAT TT=5.86
|
UNSAT TT=11.313
|
? (TO) TT=1800.12
|
UNSAT TT=0.179
|
UNSAT TT=0.173
|
UNSAT TT=0.191
|
UNSAT TT=0.172
|
? (TO) TT=1800.05
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/ normalized-pigeon-cardinality-95-90.opb
|
UNSAT TT=0.17
|
UNSAT TT=1.217
|
UNSAT TT=2.149
|
? (TO) TT=1800.06
|
? (TO) TT=1800.06
|
? (TO) TT=1800.05
|
? (TO) TT=1800.05
|
? (TO) TT=1800.06
|
UNSAT TT=1.009
|
UNSAT TT=1.641
|
? (TO) TT=1800.08
|
UNSAT TT=0.178
|
UNSAT TT=0.173
|
UNSAT TT=0.19
|
UNSAT TT=0.17
|
? (TO) TT=1800.09
|
normalized-PB06/SATUNSAT-SMALLINT/web/ www.ps.uni-sb.de/~walser/benchmarks/ ppp-problems/normalized-ppp:1-11,19,21.opb
|
|
? (MO) TT=526.07
|
? TT=1798.02
|
? (TO) TT=1800.03
|
? (TO) TT=1800.11
|
? (TO) TT=1800.1
|
? (TO) TT=1800.07
|
? (TO) TT=1800.05
|
? (TO) TT=1800.35
|
? (TO) TT=1800.48
|
? (TO) TT=1800.14
|
? (TO) TT=1800.2
|
? TT=1797.15
|
? (TO) TT=1800.08
|
? TT=1797.15
|
? (TO) TT=1800.05
|
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/ppp-problems/normalized-ppp:1-12,16.opb
|
SAT TT=0.089 T1=0.09
|
SAT TT=1.232 T1=1.4
|
SAT TT=0.822 T1=0.82
|
SAT TT=0.089 T1=0.09
|
? (TO) TT=1800.07
|
? (TO) TT=1800.06
|
SAT TT=442.585 T1=442.57
|
? (TO) TT=1800.07
|
? (TO) TT=1800.32
|
SAT TT=2.892 T1=1.12
|
SAT TT=1.715 T1=0.8
|
SAT TT=886.993 T1=886.89
|
SAT TT=208.935 T1=208.85
|
SAT TT=880.98 T1=880.87
|
SAT TT=208.859 T1=208.79
|
SAT TT=0.199 T1=0.19
|
Bench name | Best results | borg pb-dec-11.04.03 (complete) | bsolo 3.2 (complete) | clasp 2.0-R4191 (complete) | MinisatID 2.4.8 [DEPRECATED] (complete) | MinisatID 2.4.8-gmp [DEPRECATED] (complete) | MinisatID 2.5.2 (fixed) (complete) | MinisatID 2.5.2-gmp (fixed) (complete) | Sat4j CuttingPlanes 2.3.0 (complete) | Sat4j Res//CP 2.3.0 (complete) | Sat4j Resolution 2.3.0 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx 2 2011-06-10 (fixed) (complete) | SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx E_2 2011-06-10 (fixed) (complete) | wbo 1.6 (complete) |
normalized-PB06/SATUNSAT-SMALLINT/web/ www.ps.uni-sb.de/~walser/benchmarks/ ppp-problems/normalized-ppp:1-13.opb
|
SAT TT=0.651 T1=0.65
|
SAT TT=7.623 T1=7.65
|
SAT TT=3.725 T1=3.72
|
SAT TT=0.715 T1=0.73
|
? (TO) TT=1800.08
|
? (TO) TT=1800.07
|
SAT TT=1760.93 T1=1760.88
|
? (TO) TT=1800.05
|
? (TO) TT=1800.3
|
SAT TT=4.202 T1=1.63
|
SAT TT=2.101 T1=1.18
|
SAT TT=1020.07 T1=1020.01
|
SAT TT=965.196 T1=965.1
|
SAT TT=1015.91 T1=1015.8
|
SAT TT=966.886 T1=966.79
|
SAT TT=0.651 T1=0.65
|
normalized-PB06/SATUNSAT-SMALLINT/web/ www.ps.uni-sb.de/~walser/benchmarks/ ppp-problems/normalized-ppp:1,3-13,19.opb
|
SAT TT=0.568 T1=0.56
|
SAT TT=1.613 T1=1.82
|
SAT TT=1.959 T1=1.95
|
SAT TT=2.05 T1=2.04
|
? (TO) TT=1800.04
|
? (TO) TT=1800.05
|
SAT TT=1597.87 T1=1597.81
|
? (TO) TT=1800.06
|
? (TO) TT=1800.29
|
SAT TT=2.918 T1=1.13
|
SAT TT=1.702 T1=0.83
|
SAT TT=722.048 T1=721.96
|
? TT=1797.21
|
SAT TT=722.184 T1=722.08
|
? TT=1797.13
|
SAT TT=0.568 T1=0.56
|
normalized-PB06/SATUNSAT-SMALLINT/web/ www.ps.uni-sb.de/~walser/benchmarks/ ppp-problems/normalized-ppp:1-9,16-19.opb
|
SAT TT=205.837 T1=205.2
|
SAT TT=205.837 T1=205.2
|
? TT=1798.03
|
? (TO) TT=1800.07
|
? (TO) TT=1800.07
|
? (TO) TT=1800.06
|
? (TO) TT=1800.07
|
? (TO) TT=1800.07
|
? (TO) TT=1800.32
|
? (TO) TT=1800.44
|
? (TO) TT=1800.12
|
? TT=1800.06
|
? TT=1797.37
|
? (TO) TT=1800.14
|
? TT=1797.15
|
? (TO) TT=1800.09
|
normalized-PB06/SATUNSAT-SMALLINT/web/ www.ps.uni-sb.de/~walser/benchmarks/ ppp-problems/normalized-ppp:3-13,25,26.opb
|
SAT TT=4.029 T1=3.03
|
SAT TT=6.186 T1=11.48
|
SAT TT=10.608 T1=10.6
|
SAT TT=59.685 T1=59.68
|
? (TO) TT=1800.08
|
? (TO) TT=1800.1
|
? (TO) TT=1800.07
|
? (TO) TT=1800.06
|
? (TO) TT=1800.33
|
SAT TT=8.628 T1=3.64
|
SAT TT=4.029 T1=3.03
|
? (TO) TT=1800.06
|
SAT TT=1333.74 T1=1333.62
|
? (TO) TT=1800.15
|
SAT TT=1338.55 T1=1338.44
|
? (TO) TT=1800.08
|
|
Statistics | borg pb-dec-11.04.03 (complete) | bsolo 3.2 (complete) | clasp 2.0-R4191 (complete) | MinisatID 2.4.8 [DEPRECATED] (complete) | MinisatID 2.4.8-gmp [DEPRECATED] (complete) | MinisatID 2.5.2 (fixed) (complete) | MinisatID 2.5.2-gmp (fixed) (complete) | Sat4j CuttingPlanes 2.3.0 (complete) | Sat4j Res//CP 2.3.0 (complete) | Sat4j Resolution 2.3.0 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx 2 2011-06-10 (fixed) (complete) | SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx E_2 2011-06-10 (fixed) (complete) | wbo 1.6 (complete) |
Number of times the solver is able to give the best known answer | 255 | 242 | 238 | 0 | 0 | 227 | 224 | 95 | 244 | 232 | 237 | 238 | 236 | 238 | 230 |
Number of times the solver is the best solver from a complete solver point of view (i.e. best known answer and best TT time) | 6 | 6 | 128 | 0 | 0 | 6 | 0 | 0 | 0 | 1 | 3 | 61 | 4 | 23 | 26 |