normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/liu/dbst/ normalized-dbst_v30_e350_d15_mw10_1.opb.PB06.opb
|
SAT TT=1.445 T1=1.44
|
? (MO) TT=180.669
|
SAT TT=58.048 T1=58.06
|
SAT TT=57.972 T1=57.99
|
SAT TT=57.909 T1=57.91
|
SAT TT=4.989 T1=3.9
|
SAT TT=13.214 T1=9.42
|
SAT TT=8.831 T1=6.61
|
? (TO) TT=1800.21
|
? TT=1799.3
|
SAT TT=1.445 T1=1.44
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/liu/dbst/ normalized-dbst_v30_e350_d15_mw10_2.opb.PB06.opb
|
SAT TT=1.435 T1=1.43
|
? (MO) TT=180.738
|
SAT TT=58.115 T1=58.12
|
SAT TT=58.043 T1=58.04
|
SAT TT=57.995 T1=58
|
SAT TT=4.535 T1=3.44
|
SAT TT=10.965 T1=8.04
|
SAT TT=8.576 T1=6.52
|
? TT=1799.56
|
? TT=1799.34
|
SAT TT=1.435 T1=1.43
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/liu/dbst/ normalized-dbst_v30_e350_d15_mw10_3.opb.PB06.opb
|
SAT TT=1.446 T1=1.44
|
? (MO) TT=183.751
|
SAT TT=57.945 T1=57.96
|
SAT TT=58.05 T1=58.06
|
SAT TT=57.917 T1=57.94
|
SAT TT=4.918 T1=3.81
|
SAT TT=13.072 T1=9.14
|
SAT TT=9.189 T1=6.82
|
? (TO) TT=1800.2
|
? (TO) TT=1802.16
|
SAT TT=1.446 T1=1.44
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/liu/dbst/ normalized-dbst_v30_e350_d15_mw10_8.opb.PB06.opb
|
SAT TT=1.547 T1=1.54
|
? (MO) TT=185.282
|
SAT TT=55.624 T1=55.63
|
SAT TT=57.406 T1=57.41
|
SAT TT=57.389 T1=57.4
|
SAT TT=4.94 T1=3.84
|
SAT TT=12.161 T1=8.45
|
SAT TT=8.322 T1=6.47
|
? (TO) TT=1800.07
|
? TT=1799.19
|
SAT TT=1.547 T1=1.54
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/liu/dbst/ normalized-dbst_v30_e350_d15_mw10_9.opb.PB06.opb
|
SAT TT=1.538 T1=1.53
|
? (MO) TT=187.102
|
SAT TT=57.178 T1=57.18
|
SAT TT=57.425 T1=57.44
|
SAT TT=57.459 T1=57.48
|
SAT TT=4.886 T1=3.78
|
SAT TT=12.458 T1=8.65
|
SAT TT=8.137 T1=6.32
|
? TT=1799.43
|
? (TO) TT=1802.18
|
SAT TT=1.538 T1=1.53
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/liu/dbst/ normalized-dbst_v40_e600_d20_mw10_0.opb.PB06.opb
|
SAT TT=4.518 T1=4.5
|
? (exit code) TT=422.596
|
SAT TT=184.594 T1=184.63
|
SAT TT=184.594 T1=184.61
|
SAT TT=184.588 T1=184.63
|
SAT TT=15.334 T1=11.41
|
SAT TT=19.916 T1=15.81
|
SAT TT=16.833 T1=13.88
|
? (MO) TT=47.884
|
? (MO) TT=36.081
|
SAT TT=4.518 T1=4.5
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/liu/dbst/ normalized-dbst_v40_e600_d20_mw10_2.opb.PB06.opb
|
SAT TT=4.551 T1=4.54
|
? (exit code) TT=455.895
|
SAT TT=184.943 T1=184.95
|
SAT TT=184.934 T1=184.96
|
SAT TT=184.935 T1=184.94
|
SAT TT=15.3 T1=11.46
|
SAT TT=20.68 T1=16.44
|
SAT TT=17.63 T1=14.65
|
? (MO) TT=47.639
|
? (MO) TT=37.994
|
SAT TT=4.551 T1=4.54
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/liu/dbst/ normalized-dbst_v40_e600_d20_mw10_5.opb.PB06.opb
|
SAT TT=4.871 T1=4.86
|
? (exit code) TT=480.999
|
SAT TT=184.877 T1=184.89
|
SAT TT=184.932 T1=184.98
|
SAT TT=184.937 T1=184.9
|
SAT TT=15.311 T1=11.47
|
SAT TT=20.185 T1=15.88
|
SAT TT=17.001 T1=13.96
|
? (MO) TT=47.323
|
? (MO) TT=38.302
|
SAT TT=4.871 T1=4.86
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/liu/dbst/ normalized-dbst_v40_e600_d20_mw10_6.opb.PB06.opb
|
SAT TT=4.843 T1=4.83
|
? (exit code) TT=485.917
|
SAT TT=184.938 T1=184.98
|
SAT TT=184.933 T1=184.9
|
SAT TT=184.951 T1=184.99
|
SAT TT=15.749 T1=11.86
|
SAT TT=19.998 T1=15.95
|
SAT TT=17.181 T1=14.22
|
? (MO) TT=48.249
|
? (MO) TT=38.002
|
SAT TT=4.843 T1=4.83
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/liu/dbst/ normalized-dbst_v40_e600_d20_mw10_9.opb.PB06.opb
|
SAT TT=4.547 T1=4.53
|
? (exit code) TT=455.076
|
SAT TT=184.601 T1=184.64
|
SAT TT=184.565 T1=184.61
|
SAT TT=184.959 T1=184.99
|
SAT TT=15.326 T1=11.48
|
SAT TT=19.889 T1=15.75
|
SAT TT=17.695 T1=14.62
|
? (MO) TT=48.219
|
? (MO) TT=38.047
|
SAT TT=4.547 T1=4.53
|
Bench name | Best results | BoolVar 2009-04-26 (complete) | bsolo 3.1 (complete) | bsolo 3.1 cl (complete) | bsolo 3.1 pb (complete) | pbclasp 2009-04-24 (complete) | SAT4J Pseudo CP 2.1.1 (complete) | SAT4J Pseudo Resolution 2.1.1 (complete) | SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 (complete) | SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete) | wbo 1.0 (complete) |
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/liu/dbst/ normalized-dbst_v50_e1000_d25_mw10_1.opb.PB06.opb
|
SAT TT=11.962 T1=11.94
|
? (exit code) TT=442.218
|
SAT TT=194.573 T1=194.53
|
SAT TT=194.603 T1=194.57
|
SAT TT=194.575 T1=194.54
|
SAT TT=42.462 T1=31.35
|
SAT TT=39.412 T1=33.63
|
SAT TT=36.854 T1=31.87
|
? (MO) TT=40.294
|
? (MO) TT=39.842
|
SAT TT=11.962 T1=11.94
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/liu/dbst/ normalized-dbst_v50_e1000_d25_mw10_3.opb.PB06.opb
|
SAT TT=11.933 T1=11.91
|
? (exit code) TT=539.591
|
SAT TT=194.475 T1=194.44
|
SAT TT=194.56 T1=194.53
|
SAT TT=194.527 T1=194.49
|
SAT TT=41.738 T1=30.39
|
SAT TT=40.742 T1=35.02
|
SAT TT=36.446 T1=31.64
|
? (MO) TT=42.734
|
? (MO) TT=42.793
|
SAT TT=11.933 T1=11.91
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/liu/dbst/ normalized-dbst_v50_e1000_d25_mw10_5.opb.PB06.opb
|
SAT TT=11.922 T1=11.9
|
? (exit code) TT=480.98
|
SAT TT=193.604 T1=193.6
|
SAT TT=194.617 T1=194.6
|
SAT TT=193.688 T1=193.69
|
SAT TT=41.939 T1=30.79
|
SAT TT=43.672 T1=37.46
|
SAT TT=38.903 T1=34.2
|
? (MO) TT=42.546
|
? (MO) TT=42.918
|
SAT TT=11.922 T1=11.9
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/liu/dbst/ normalized-dbst_v50_e1000_d25_mw10_6.opb.PB06.opb
|
SAT TT=11.94 T1=11.91
|
? (exit code) TT=421.855
|
SAT TT=193.608 T1=193.6
|
SAT TT=194.613 T1=194.6
|
SAT TT=194.544 T1=194.52
|
SAT TT=42.144 T1=30.69
|
SAT TT=41.975 T1=36.25
|
SAT TT=36.681 T1=31.83
|
? (MO) TT=42.884
|
? (MO) TT=41.006
|
SAT TT=11.94 T1=11.91
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/liu/dbst/ normalized-dbst_v50_e1000_d25_mw10_9.opb.PB06.opb
|
SAT TT=12.768 T1=12.74
|
? (exit code) TT=451.186
|
SAT TT=194.601 T1=194.5
|
SAT TT=194.609 T1=194.57
|
SAT TT=194.603 T1=194.59
|
SAT TT=42.253 T1=30.89
|
SAT TT=37.749 T1=32.71
|
SAT TT=38.517 T1=33.83
|
? (MO) TT=43.057
|
? (MO) TT=42.806
|
SAT TT=12.768 T1=12.74
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/liu/vdw/ normalized-vdw_k3_l5_n550.opb
|
SAT TT=555.424 T1=554.54
|
? (MO) TT=206.793
|
? TT=1798.06
|
? TT=1798.05
|
? TT=1798.09
|
SAT TT=555.424 T1=554.54
|
? (TO) TT=1800.26
|
? (TO) TT=1800.54
|
? TT=1795.58
|
? TT=1795.29
|
? (TO) TT=1800.13
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/liu/vdw/ normalized-vdw_k3_l6_n1500.opb
|
SAT TT=5.819 T1=5.81
|
? (exit code) TT=494.605
|
SAT TT=186.663 T1=186.73
|
SAT TT=186.985 T1=187.05
|
SAT TT=186.533 T1=186.61
|
SAT TT=16.745 T1=13.47
|
SAT TT=17.538 T1=15.82
|
SAT TT=16.817 T1=14.98
|
? (MO) TT=43.732
|
? (MO) TT=33.082
|
SAT TT=5.819 T1=5.81
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/liu/vdw/ normalized-vdw_k4_l4_n360.opb
|
|
? (MO) TT=1018.55
|
? TT=1798.05
|
? TT=1798.06
|
? TT=1798.07
|
? (TO) TT=1800.07
|
? (TO) TT=1800.35
|
? (TO) TT=1800.63
|
? TT=1794.25
|
? (TO) TT=1802.08
|
? (TO) TT=1800.18
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/liu/vdw/ normalized-vdw_k5_l4_n750.opb
|
SAT TT=1466.35 T1=1456.81
|
? (MO) TT=204.977
|
? TT=1798.21
|
? TT=1798.15
|
? TT=1798.2
|
SAT TT=1466.35 T1=1456.81
|
? (TO) TT=1800.26
|
? (TO) TT=1800.6
|
? (TO) TT=1802.27
|
? (TO) TT=1802.27
|
? (TO) TT=1800.19
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/liu/vdw/ normalized-vdw_k6_l3_n170.opb
|
|
? (TO) TT=1800.13
|
? TT=1798.05
|
? (TO) TT=1800.12
|
? TT=1798.04
|
? (TO) TT=1800.04
|
? (TO) TT=1800.34
|
? (TO) TT=1800.48
|
? TT=1794.17
|
? TT=1794.01
|
? (TO) TT=1800.22
|
Bench name | Best results | BoolVar 2009-04-26 (complete) | bsolo 3.1 (complete) | bsolo 3.1 cl (complete) | bsolo 3.1 pb (complete) | pbclasp 2009-04-24 (complete) | SAT4J Pseudo CP 2.1.1 (complete) | SAT4J Pseudo Resolution 2.1.1 (complete) | SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 (complete) | SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete) | wbo 1.0 (complete) |
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900544463.opb
|
SAT TT=0.102 T1=0.1
|
SAT TT=3.871 T1=3.77
|
SAT TT=5.657 T1=5.65
|
SAT TT=19.571 T1=19.57
|
SAT TT=236.099 T1=236.15
|
SAT TT=0.856 T1=0.84
|
? (TO) TT=1800.28
|
SAT TT=1.838 T1=1.12
|
SAT TT=48.957 T1=48.95
|
SAT TT=11.273 T1=11.26
|
SAT TT=0.102 T1=0.1
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900544484.opb
|
UNSAT TT=14.456
|
UNSAT TT=38.121
|
UNSAT TT=922.091
|
UNSAT TT=1095.5
|
? (TO) TT=1800.12
|
UNSAT TT=18.928
|
? (TO) TT=1800.27
|
UNSAT TT=14.456
|
UNSAT TT=827.841
|
UNSAT TT=1224.85
|
UNSAT TT=190.943
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900545610.opb
|
UNSAT TT=43.563
|
UNSAT TT=94.44
|
? TT=1798
|
? TT=1798
|
? TT=1798.01
|
UNSAT TT=43.563
|
? (TO) TT=1800.29
|
UNSAT TT=61.582
|
UNSAT TT=1219.75
|
UNSAT TT=925.669
|
UNSAT TT=531.003
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900546076.opb
|
UNSAT TT=5.181
|
UNSAT TT=13.221
|
UNSAT TT=884.914
|
UNSAT TT=702.559
|
? (TO) TT=1800.05
|
UNSAT TT=5.181
|
? (TO) TT=1800.26
|
UNSAT TT=5.394
|
UNSAT TT=296.1
|
UNSAT TT=589.905
|
UNSAT TT=20.613
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900546417.opb
|
UNSAT TT=35.212
|
UNSAT TT=103.069
|
? TT=1798
|
UNSAT TT=1751.7
|
? TT=1798.02
|
UNSAT TT=35.212
|
? (TO) TT=1800.22
|
UNSAT TT=64.476
|
UNSAT TT=938.282
|
UNSAT TT=1734.02
|
UNSAT TT=382.073
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900547334.opb
|
SAT TT=0.853 T1=0.75
|
SAT TT=0.853 T1=0.75
|
SAT TT=5.363 T1=5.36
|
SAT TT=14.603 T1=14.6
|
SAT TT=40.297 T1=40.3
|
SAT TT=2.488 T1=2.48
|
? (TO) TT=1800.3
|
SAT TT=1.834 T1=1.1
|
SAT TT=46.892 T1=46.88
|
SAT TT=36.791 T1=36.78
|
SAT TT=1.808 T1=1.81
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900547353.opb
|
SAT TT=0.432 T1=0.42
|
SAT TT=4.155 T1=4.04
|
SAT TT=4.08 T1=4.08
|
SAT TT=22.481 T1=22.48
|
SAT TT=308.762 T1=308.88
|
SAT TT=0.432 T1=0.42
|
? (TO) TT=1800.27
|
SAT TT=3.688 T1=2.24
|
SAT TT=47.167 T1=47.17
|
SAT TT=22.5 T1=22.49
|
SAT TT=1.326 T1=1.32
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900547389.opb
|
UNSAT TT=22.394
|
UNSAT TT=80.742
|
UNSAT TT=1351.29
|
UNSAT TT=1352.14
|
? TT=1798.01
|
UNSAT TT=58.48
|
? (TO) TT=1800.2
|
UNSAT TT=22.394
|
UNSAT TT=719.054
|
UNSAT TT=768.311
|
UNSAT TT=283.87
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900547416.opb
|
SAT TT=0.125 T1=0.11
|
SAT TT=5.6 T1=5.48
|
SAT TT=10.852 T1=10.85
|
SAT TT=6.421 T1=6.42
|
SAT TT=166.62 T1=166.66
|
SAT TT=0.125 T1=0.11
|
? (TO) TT=1800.31
|
SAT TT=7.521 T1=6.58
|
SAT TT=38.17 T1=38.16
|
SAT TT=51.609 T1=51.6
|
SAT TT=1.342 T1=1.33
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900547427.opb
|
SAT TT=0.049 T1=0.03
|
SAT TT=0.748 T1=0.64
|
SAT TT=2.734 T1=2.73
|
SAT TT=7.566 T1=7.57
|
SAT TT=54.935 T1=54.95
|
SAT TT=0.049 T1=0.03
|
? (TO) TT=1800.24
|
SAT TT=1.917 T1=1.25
|
SAT TT=5.923 T1=5.91
|
SAT TT=21.671 T1=21.67
|
SAT TT=0.691 T1=0.68
|
Bench name | Best results | BoolVar 2009-04-26 (complete) | bsolo 3.1 (complete) | bsolo 3.1 cl (complete) | bsolo 3.1 pb (complete) | pbclasp 2009-04-24 (complete) | SAT4J Pseudo CP 2.1.1 (complete) | SAT4J Pseudo Resolution 2.1.1 (complete) | SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 (complete) | SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete) | wbo 1.0 (complete) |
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900547461.opb
|
SAT TT=2.21 T1=1.5
|
SAT TT=7.325 T1=7.22
|
SAT TT=47.987 T1=48
|
SAT TT=102.178 T1=102.2
|
SAT TT=52.622 T1=52.63
|
SAT TT=2.21 T1=2.19
|
? (TO) TT=1800.26
|
SAT TT=2.293 T1=1.5
|
SAT TT=205.956 T1=205.99
|
SAT TT=134.148 T1=134.17
|
SAT TT=6.95 T1=6.95
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900548667.opb
|
UNSAT TT=109.527
|
UNSAT TT=315.409
|
? TT=1798
|
? TT=1798
|
? TT=1798.02
|
UNSAT TT=109.527
|
? (TO) TT=1800.25
|
UNSAT TT=571.209
|
? (TO) TT=1800.09
|
UNSAT TT=1305.04
|
UNSAT TT=1608.34
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900549974.opb
|
SAT TT=0.462 T1=0.44
|
SAT TT=1.084 T1=0.99
|
SAT TT=12.175 T1=12.17
|
SAT TT=11.771 T1=11.77
|
SAT TT=206.512 T1=206.58
|
SAT TT=0.462 T1=0.44
|
? (TO) TT=1800.26
|
SAT TT=5.339 T1=4.43
|
SAT TT=16.41 T1=16.4
|
SAT TT=139.03 T1=138.99
|
SAT TT=3.53 T1=3.53
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900550006.opb
|
UNSAT TT=82.294
|
UNSAT TT=154.029
|
? TT=1798
|
? TT=1798.01
|
? TT=1798.01
|
UNSAT TT=82.294
|
? (TO) TT=1800.3
|
UNSAT TT=248.617
|
UNSAT TT=1047.96
|
UNSAT TT=1608.48
|
UNSAT TT=727.953
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900550720.opb
|
UNSAT TT=58.321
|
UNSAT TT=121.776
|
? TT=1798.01
|
? TT=1798
|
? TT=1798.04
|
UNSAT TT=58.321
|
? (TO) TT=1800.37
|
UNSAT TT=122.76
|
UNSAT TT=1130.27
|
UNSAT TT=880.71
|
UNSAT TT=635.658
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900551347.opb
|
UNSAT TT=7.484
|
UNSAT TT=18.325
|
UNSAT TT=765.807
|
UNSAT TT=1143.75
|
? (TO) TT=1800.07
|
UNSAT TT=7.484
|
? (TO) TT=1800.31
|
UNSAT TT=8.05
|
UNSAT TT=551.688
|
UNSAT TT=231.735
|
UNSAT TT=168.456
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900551864.opb
|
UNSAT TT=8.625
|
UNSAT TT=26.188
|
UNSAT TT=1613.45
|
UNSAT TT=1131.34
|
? TT=1798.04
|
UNSAT TT=9.283
|
? (TO) TT=1800.23
|
UNSAT TT=8.625
|
UNSAT TT=469.865
|
UNSAT TT=826.419
|
UNSAT TT=75.549
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900552288.opb
|
UNSAT TT=19.466
|
UNSAT TT=69.034
|
? TT=1798
|
UNSAT TT=1037.8
|
? TT=1798.02
|
UNSAT TT=43.045
|
? (TO) TT=1800.25
|
UNSAT TT=19.466
|
UNSAT TT=915.302
|
UNSAT TT=752.612
|
UNSAT TT=448.902
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900552311.opb
|
SAT TT=0.4 T1=0.38
|
SAT TT=1.779 T1=1.96
|
SAT TT=5.045 T1=5.04
|
SAT TT=2.068 T1=2.06
|
SAT TT=256.623 T1=256.69
|
SAT TT=0.4 T1=0.38
|
SAT TT=239.692 T1=235.87
|
SAT TT=6.687 T1=5.37
|
SAT TT=46.836 T1=46.83
|
SAT TT=54.224 T1=54.22
|
SAT TT=0.552 T1=0.55
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900552423.opb
|
UNSAT TT=1.738
|
UNSAT TT=4.3
|
UNSAT TT=376.655
|
UNSAT TT=392.67
|
UNSAT TT=1489.27
|
UNSAT TT=1.738
|
? (TO) TT=1800.31
|
UNSAT TT=3.134
|
UNSAT TT=184.64
|
UNSAT TT=82.149
|
UNSAT TT=4.411
|
Bench name | Best results | BoolVar 2009-04-26 (complete) | bsolo 3.1 (complete) | bsolo 3.1 cl (complete) | bsolo 3.1 pb (complete) | pbclasp 2009-04-24 (complete) | SAT4J Pseudo CP 2.1.1 (complete) | SAT4J Pseudo Resolution 2.1.1 (complete) | SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 (complete) | SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete) | wbo 1.0 (complete) |
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900552735.opb
|
UNSAT TT=22.072
|
UNSAT TT=40.558
|
? TT=1798
|
UNSAT TT=1545.21
|
? (TO) TT=1800.08
|
UNSAT TT=22.072
|
? (TO) TT=1800.27
|
UNSAT TT=33.36
|
UNSAT TT=703.066
|
UNSAT TT=727.355
|
UNSAT TT=310.581
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900553606.opb
|
SAT TT=2.311 T1=2.29
|
SAT TT=6.164 T1=6.05
|
SAT TT=25.514 T1=25.52
|
SAT TT=14.16 T1=14.16
|
SAT TT=752.91 T1=753.1
|
SAT TT=2.311 T1=2.29
|
? (TO) TT=1800.21
|
SAT TT=3.788 T1=2.91
|
SAT TT=49.974 T1=49.99
|
SAT TT=72.703 T1=72.68
|
SAT TT=2.418 T1=2.41
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900553644.opb
|
SAT TT=0.052 T1=0.04
|
SAT TT=1.546 T1=1.43
|
SAT TT=3.121 T1=3.12
|
SAT TT=10.753 T1=10.75
|
SAT TT=23.361 T1=23.36
|
SAT TT=0.052 T1=0.04
|
SAT TT=943.885 T1=932.93
|
SAT TT=2.282 T1=1.43
|
SAT TT=16.366 T1=16.35
|
SAT TT=8.556 T1=8.55
|
SAT TT=0.513 T1=0.51
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900553647.opb
|
UNSAT TT=18.903
|
UNSAT TT=105.131
|
UNSAT TT=1334.05
|
? TT=1798
|
? (TO) TT=1800.08
|
UNSAT TT=47.719
|
? (TO) TT=1800.26
|
UNSAT TT=18.903
|
UNSAT TT=1081.37
|
UNSAT TT=755.554
|
UNSAT TT=267.303
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900553812.opb
|
UNSAT TT=8.883
|
UNSAT TT=29.167
|
UNSAT TT=1011.51
|
UNSAT TT=1512.69
|
? TT=1798.02
|
UNSAT TT=18.665
|
? (TO) TT=1800.3
|
UNSAT TT=8.883
|
UNSAT TT=745.03
|
UNSAT TT=791.701
|
UNSAT TT=171.772
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900554067.opb
|
SAT TT=0.239 T1=0.23
|
SAT TT=1.082 T1=0.97
|
SAT TT=7.145 T1=7.14
|
SAT TT=1.215 T1=1.21
|
SAT TT=1.802 T1=1.8
|
SAT TT=0.239 T1=0.23
|
? (TO) TT=1800.36
|
SAT TT=2.803 T1=1.59
|
SAT TT=20.733 T1=20.72
|
SAT TT=35.794 T1=35.79
|
SAT TT=1.526 T1=1.52
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900554072.opb
|
UNSAT TT=8.109
|
UNSAT TT=45.027
|
UNSAT TT=1165.79
|
UNSAT TT=686.089
|
? (TO) TT=1800.02
|
UNSAT TT=22.25
|
? (TO) TT=1800.3
|
UNSAT TT=8.109
|
UNSAT TT=630.541
|
UNSAT TT=1332.52
|
UNSAT TT=195.579
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900554154.opb
|
SAT TT=0.205 T1=0.19
|
SAT TT=0.806 T1=0.69
|
SAT TT=5.69 T1=5.69
|
SAT TT=11.699 T1=11.7
|
SAT TT=1.037 T1=1.03
|
SAT TT=0.205 T1=0.19
|
? (TO) TT=1800.21
|
SAT TT=2.142 T1=1.32
|
SAT TT=17.127 T1=17.12
|
SAT TT=17.207 T1=17.19
|
SAT TT=1.906 T1=1.9
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900554373.opb
|
SAT TT=0.061 T1=0.06
|
SAT TT=0.836 T1=0.74
|
SAT TT=2.391 T1=2.39
|
SAT TT=1.907 T1=1.9
|
SAT TT=2.928 T1=2.92
|
SAT TT=0.206 T1=0.19
|
SAT TT=131.4 T1=128.39
|
SAT TT=2.456 T1=1.68
|
SAT TT=6.062 T1=6.04
|
SAT TT=6.991 T1=6.98
|
SAT TT=0.061 T1=0.06
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900554375.opb
|
SAT TT=0.034 T1=0.03
|
SAT TT=0.972 T1=0.86
|
SAT TT=8.093 T1=8.09
|
SAT TT=11.342 T1=11.34
|
SAT TT=73.159 T1=73.18
|
SAT TT=0.207 T1=0.19
|
? (TO) TT=1800.27
|
SAT TT=1.753 T1=1.11
|
SAT TT=21.338 T1=21.32
|
SAT TT=21.833 T1=21.82
|
SAT TT=0.034 T1=0.03
|
Bench name | Best results | BoolVar 2009-04-26 (complete) | bsolo 3.1 (complete) | bsolo 3.1 cl (complete) | bsolo 3.1 pb (complete) | pbclasp 2009-04-24 (complete) | SAT4J Pseudo CP 2.1.1 (complete) | SAT4J Pseudo Resolution 2.1.1 (complete) | SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 (complete) | SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete) | wbo 1.0 (complete) |
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900554389.opb
|
SAT TT=0.205 T1=0.2
|
SAT TT=0.819 T1=1.03
|
SAT TT=0.261 T1=0.26
|
SAT TT=0.205 T1=0.2
|
SAT TT=23.461 T1=23.46
|
SAT TT=0.528 T1=0.52
|
SAT TT=74.499 T1=71.81
|
SAT TT=1.841 T1=1.05
|
SAT TT=6.814 T1=6.79
|
SAT TT=17.02 T1=17.01
|
SAT TT=0.375 T1=0.37
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900554420.opb
|
UNSAT TT=9.184
|
UNSAT TT=16.597
|
UNSAT TT=1353.07
|
UNSAT TT=1473.86
|
? TT=1798.76
|
UNSAT TT=17.787
|
? (TO) TT=1800.27
|
UNSAT TT=9.184
|
UNSAT TT=839.865
|
UNSAT TT=1109.58
|
UNSAT TT=188.348
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900556231.opb
|
UNSAT TT=36.178
|
UNSAT TT=125.614
|
? TT=1798
|
UNSAT TT=1682.97
|
? (TO) TT=1800.11
|
UNSAT TT=36.178
|
? (TO) TT=1800.24
|
UNSAT TT=36.261
|
UNSAT TT=702.624
|
UNSAT TT=842.021
|
UNSAT TT=434.432
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900557362.opb
|
UNSAT TT=11.966
|
UNSAT TT=18.459
|
UNSAT TT=1293.21
|
UNSAT TT=1303.34
|
? TT=1798.01
|
UNSAT TT=11.966
|
? (TO) TT=1800.24
|
UNSAT TT=13.102
|
UNSAT TT=363.853
|
UNSAT TT=308.715
|
UNSAT TT=218.283
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900557413.opb
|
SAT TT=0.322 T1=0.32
|
SAT TT=1.568 T1=1.46
|
SAT TT=56.61 T1=56.62
|
SAT TT=35.348 T1=35.34
|
SAT TT=49.238 T1=49.25
|
SAT TT=3.609 T1=3.6
|
SAT TT=1003.37 T1=992.41
|
SAT TT=7.56 T1=6.52
|
SAT TT=257.914 T1=257.98
|
SAT TT=39.673 T1=39.67
|
SAT TT=0.322 T1=0.32
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900557568.opb
|
SAT TT=0.021 T1=0.02
|
SAT TT=0.804 T1=0.99
|
SAT TT=2.147 T1=2.14
|
SAT TT=0.197 T1=0.19
|
SAT TT=11.768 T1=12.02
|
SAT TT=0.058 T1=0.04
|
? (TO) TT=1800.32
|
SAT TT=2.462 T1=1.37
|
SAT TT=12.579 T1=12.59
|
SAT TT=8.394 T1=8.82
|
SAT TT=0.021 T1=0.02
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900557574.opb
|
UNSAT TT=5.246
|
UNSAT TT=34.022
|
UNSAT TT=1693.68
|
UNSAT TT=1499.07
|
? TT=1798.01
|
UNSAT TT=5.261
|
? (TO) TT=1800.34
|
UNSAT TT=5.246
|
UNSAT TT=261.914
|
UNSAT TT=639.44
|
UNSAT TT=255.403
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900557957.opb
|
UNSAT TT=22.354
|
UNSAT TT=45.174
|
UNSAT TT=1677.81
|
UNSAT TT=1464.18
|
? TT=1799.42
|
UNSAT TT=22.354
|
? (TO) TT=1800.25
|
UNSAT TT=25.787
|
UNSAT TT=728.19
|
UNSAT TT=489.867
|
UNSAT TT=361.969
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900558106.opb
|
UNSAT TT=8.606
|
UNSAT TT=9.288
|
UNSAT TT=477.426
|
UNSAT TT=605.826
|
? TT=1798.01
|
UNSAT TT=9.082
|
? (TO) TT=1800.24
|
UNSAT TT=8.606
|
UNSAT TT=511.817
|
UNSAT TT=434.241
|
UNSAT TT=160.788
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900558739.opb
|
UNSAT TT=45.88
|
UNSAT TT=85.251
|
? TT=1798.01
|
UNSAT TT=1655.87
|
? TT=1798.01
|
UNSAT TT=83.599
|
? (TO) TT=1800.26
|
UNSAT TT=45.88
|
UNSAT TT=1233.29
|
UNSAT TT=1060.89
|
UNSAT TT=472.513
|
Bench name | Best results | BoolVar 2009-04-26 (complete) | bsolo 3.1 (complete) | bsolo 3.1 cl (complete) | bsolo 3.1 pb (complete) | pbclasp 2009-04-24 (complete) | SAT4J Pseudo CP 2.1.1 (complete) | SAT4J Pseudo Resolution 2.1.1 (complete) | SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 (complete) | SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete) | wbo 1.0 (complete) |
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900559365.opb
|
SAT TT=0.318 T1=0.3
|
SAT TT=0.808 T1=0.7
|
SAT TT=11.076 T1=11.07
|
SAT TT=1.219 T1=1.21
|
SAT TT=10.689 T1=10.69
|
SAT TT=0.318 T1=0.3
|
? (TO) TT=1800.28
|
SAT TT=2.831 T1=1.97
|
SAT TT=134.384 T1=134.4
|
SAT TT=124.973 T1=124.99
|
SAT TT=2.484 T1=2.48
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900559416.opb
|
SAT TT=0.423 T1=0.4
|
SAT TT=1.494 T1=1.39
|
SAT TT=93.771 T1=93.79
|
SAT TT=1.343 T1=1.34
|
SAT TT=381.516 T1=381.64
|
SAT TT=0.423 T1=0.4
|
? (TO) TT=1800.22
|
SAT TT=3.385 T1=1.99
|
SAT TT=403.89 T1=403.97
|
SAT TT=11.503 T1=11.49
|
SAT TT=3.268 T1=3.26
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900559641.opb
|
SAT TT=0.383 T1=0.37
|
SAT TT=2.722 T1=2.62
|
SAT TT=1.058 T1=1.05
|
SAT TT=1.631 T1=1.62
|
SAT TT=342.059 T1=342.16
|
SAT TT=0.383 T1=0.37
|
SAT TT=46.43 T1=44.05
|
SAT TT=1.34 T1=0.84
|
SAT TT=74.364 T1=74.36
|
SAT TT=10.216 T1=10.2
|
SAT TT=0.54 T1=0.54
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900559676.opb
|
UNSAT TT=103.874
|
UNSAT TT=247.585
|
? TT=1798
|
? TT=1798.01
|
? (TO) TT=1800.12
|
UNSAT TT=103.874
|
? (TO) TT=1800.22
|
UNSAT TT=177.605
|
UNSAT TT=1432.1
|
UNSAT TT=1198.22
|
UNSAT TT=933.33
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900561288.opb
|
UNSAT TT=151.416
|
UNSAT TT=337.78
|
? TT=1798
|
? TT=1798
|
? TT=1798.02
|
UNSAT TT=151.416
|
? (TO) TT=1800.28
|
UNSAT TT=564.915
|
UNSAT TT=1611.4
|
UNSAT TT=1662.2
|
UNSAT TT=993.302
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900561384.opb
|
SAT TT=0.084 T1=0.08
|
SAT TT=1.021 T1=0.92
|
SAT TT=2.989 T1=2.98
|
SAT TT=3.475 T1=3.47
|
SAT TT=15.679 T1=15.68
|
SAT TT=0.125 T1=0.11
|
? (TO) TT=1800.31
|
SAT TT=4.071 T1=3.19
|
SAT TT=12.042 T1=12.02
|
SAT TT=19.878 T1=19.86
|
SAT TT=0.084 T1=0.08
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900561389.opb
|
SAT TT=1.069 T1=1.06
|
SAT TT=2.378 T1=2.27
|
SAT TT=24.943 T1=24.94
|
SAT TT=15.436 T1=15.43
|
SAT TT=666.065 T1=666.93
|
SAT TT=1.069 T1=1.06
|
? (TO) TT=1800.28
|
SAT TT=14.631 T1=13.61
|
SAT TT=36.097 T1=36.11
|
SAT TT=7.122 T1=7.28
|
SAT TT=1.845 T1=1.84
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900562192.opb
|
UNSAT TT=34.574
|
UNSAT TT=44.152
|
UNSAT TT=1538.16
|
UNSAT TT=1002.55
|
? TT=1798.25
|
UNSAT TT=34.574
|
? (TO) TT=1800.31
|
UNSAT TT=66.85
|
UNSAT TT=855.705
|
UNSAT TT=905.19
|
UNSAT TT=339.001
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900563250.opb
|
UNSAT TT=35.444
|
UNSAT TT=121.141
|
? TT=1798.01
|
? TT=1798
|
? TT=1799.93
|
UNSAT TT=49.809
|
? (TO) TT=1800.29
|
UNSAT TT=35.444
|
UNSAT TT=1082.91
|
UNSAT TT=1365.8
|
UNSAT TT=494.423
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900563801.opb
|
UNSAT TT=4.198
|
UNSAT TT=16.934
|
UNSAT TT=1405.36
|
UNSAT TT=921.982
|
? TT=1798.04
|
UNSAT TT=7.47
|
? (TO) TT=1800.29
|
UNSAT TT=4.198
|
UNSAT TT=480.892
|
UNSAT TT=587.477
|
UNSAT TT=97.87
|
Bench name | Best results | BoolVar 2009-04-26 (complete) | bsolo 3.1 (complete) | bsolo 3.1 cl (complete) | bsolo 3.1 pb (complete) | pbclasp 2009-04-24 (complete) | SAT4J Pseudo CP 2.1.1 (complete) | SAT4J Pseudo Resolution 2.1.1 (complete) | SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 (complete) | SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete) | wbo 1.0 (complete) |
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900564281.opb
|
UNSAT TT=6.871
|
UNSAT TT=24.449
|
UNSAT TT=953.322
|
UNSAT TT=878.678
|
? TT=1798.07
|
UNSAT TT=7.22
|
? (TO) TT=1800.3
|
UNSAT TT=6.871
|
UNSAT TT=629.541
|
UNSAT TT=854.533
|
UNSAT TT=153.756
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900564822.opb
|
SAT TT=0.084 T1=0.07
|
SAT TT=0.942 T1=0.83
|
SAT TT=0.561 T1=0.56
|
SAT TT=0.652 T1=0.65
|
SAT TT=34.474 T1=34.48
|
SAT TT=0.084 T1=0.07
|
? (TO) TT=1800.36
|
SAT TT=2.1 T1=1.31
|
SAT TT=3.817 T1=3.8
|
SAT TT=7.255 T1=7.24
|
SAT TT=0.12 T1=0.11
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900564824.opb
|
UNSAT TT=0.627
|
UNSAT TT=3.385
|
UNSAT TT=399.632
|
UNSAT TT=250.569
|
UNSAT TT=603.682
|
UNSAT TT=0.627
|
? (TO) TT=1800.3
|
UNSAT TT=2.611
|
UNSAT TT=362.681
|
UNSAT TT=108.048
|
UNSAT TT=7.546
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900565527.opb
|
SAT TT=0.281 T1=0.27
|
SAT TT=0.991 T1=0.89
|
SAT TT=20.161 T1=20.43
|
SAT TT=16.051 T1=16.05
|
SAT TT=216.298 T1=216.38
|
SAT TT=0.281 T1=0.27
|
? (TO) TT=1800.23
|
SAT TT=3.825 T1=2.41
|
SAT TT=17.299 T1=17.28
|
SAT TT=39.978 T1=40.58
|
SAT TT=1.384 T1=1.38
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900565534.opb
|
UNSAT TT=16.531
|
UNSAT TT=98.522
|
? TT=1798.02
|
UNSAT TT=1289.04
|
? (TO) TT=1800.12
|
UNSAT TT=57.002
|
? (TO) TT=1800.32
|
UNSAT TT=16.531
|
UNSAT TT=1379.22
|
UNSAT TT=1576.52
|
UNSAT TT=686.95
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900566151.opb
|
SAT TT=0.209 T1=0.19
|
SAT TT=1.049 T1=0.95
|
SAT TT=2.719 T1=2.71
|
SAT TT=1.47 T1=1.47
|
SAT TT=43.694 T1=43.7
|
SAT TT=0.209 T1=0.19
|
? (TO) TT=1800.23
|
SAT TT=2.383 T1=1.61
|
SAT TT=36.454 T1=36.45
|
SAT TT=7.211 T1=7.19
|
SAT TT=0.216 T1=0.21
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900566157.opb
|
UNSAT TT=25.911
|
UNSAT TT=31.712
|
UNSAT TT=593.822
|
UNSAT TT=504.651
|
UNSAT TT=1631.15
|
UNSAT TT=25.911
|
? (TO) TT=1800.25
|
UNSAT TT=35.097
|
UNSAT TT=534.363
|
UNSAT TT=490.315
|
UNSAT TT=130.412
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900566263.opb
|
SAT TT=0.1 T1=0.09
|
SAT TT=0.782 T1=0.66
|
SAT TT=7.437 T1=7.43
|
SAT TT=30.799 T1=30.8
|
SAT TT=14.755 T1=14.75
|
SAT TT=0.104 T1=0.09
|
? (TO) TT=1800.23
|
SAT TT=2.258 T1=1.53
|
SAT TT=12.714 T1=12.69
|
SAT TT=7.649 T1=7.63
|
SAT TT=0.1 T1=0.1
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900566270.opb
|
SAT TT=0.163 T1=0.15
|
SAT TT=1.158 T1=1.05
|
SAT TT=6.281 T1=6.28
|
SAT TT=10.008 T1=10.01
|
SAT TT=113.327 T1=113.35
|
SAT TT=0.163 T1=0.15
|
? (TO) TT=1800.22
|
SAT TT=5.888 T1=4.99
|
SAT TT=8.473 T1=8.46
|
SAT TT=25.324 T1=25.31
|
SAT TT=1.382 T1=1.38
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567003.opb
|
SAT TT=0.129 T1=0.12
|
SAT TT=4.133 T1=4.02
|
SAT TT=9.866 T1=9.86
|
SAT TT=12.788 T1=12.79
|
SAT TT=332.795 T1=332.92
|
SAT TT=0.129 T1=0.12
|
? (TO) TT=1800.29
|
SAT TT=11.542 T1=10.63
|
SAT TT=354.999 T1=355.08
|
SAT TT=19.684 T1=19.68
|
SAT TT=10.858 T1=10.85
|
Bench name | Best results | BoolVar 2009-04-26 (complete) | bsolo 3.1 (complete) | bsolo 3.1 cl (complete) | bsolo 3.1 pb (complete) | pbclasp 2009-04-24 (complete) | SAT4J Pseudo CP 2.1.1 (complete) | SAT4J Pseudo Resolution 2.1.1 (complete) | SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 (complete) | SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete) | wbo 1.0 (complete) |
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567024.opb
|
UNSAT TT=6.953
|
UNSAT TT=23.362
|
UNSAT TT=1197.48
|
UNSAT TT=835.43
|
? TT=1798.09
|
UNSAT TT=8.351
|
? (TO) TT=1800.21
|
UNSAT TT=6.953
|
UNSAT TT=1022.7
|
UNSAT TT=306.646
|
UNSAT TT=224.375
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567135.opb
|
UNSAT TT=7.84
|
UNSAT TT=20.283
|
UNSAT TT=574.386
|
UNSAT TT=633.739
|
? (TO) TT=1800.09
|
UNSAT TT=14.716
|
? (TO) TT=1800.24
|
UNSAT TT=7.84
|
UNSAT TT=450.857
|
UNSAT TT=501.631
|
UNSAT TT=163.138
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567939.opb
|
SAT TT=0.119 T1=0.1
|
SAT TT=1.575 T1=1.47
|
SAT TT=20.334 T1=20.33
|
SAT TT=10.572 T1=10.57
|
SAT TT=1083.37 T1=1083.73
|
SAT TT=0.119 T1=0.1
|
? (TO) TT=1800.22
|
SAT TT=1.759 T1=1.12
|
SAT TT=111.558 T1=111.56
|
SAT TT=250.488 T1=250.52
|
SAT TT=1.421 T1=1.42
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567985.opb
|
UNSAT TT=112.264
|
UNSAT TT=205.595
|
? TT=1798.01
|
? TT=1798
|
? (TO) TT=1800.1
|
UNSAT TT=112.264
|
? (TO) TT=1800.3
|
UNSAT TT=197.852
|
UNSAT TT=1435.08
|
UNSAT TT=1700.74
|
UNSAT TT=1399.06
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900568186.opb
|
UNSAT TT=4.484
|
UNSAT TT=5.427
|
UNSAT TT=1155.14
|
UNSAT TT=827.967
|
? (TO) TT=1800.06
|
UNSAT TT=9.699
|
? (TO) TT=1800.29
|
UNSAT TT=4.484
|
UNSAT TT=354.932
|
UNSAT TT=462.229
|
UNSAT TT=181.733
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900568706.opb
|
UNSAT TT=15.475
|
UNSAT TT=43.054
|
UNSAT TT=1580.58
|
UNSAT TT=1354.18
|
? (TO) TT=1800.06
|
UNSAT TT=15.475
|
? (TO) TT=1800.3
|
UNSAT TT=16.777
|
UNSAT TT=846.969
|
UNSAT TT=618.904
|
UNSAT TT=285.059
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900568952.opb
|
SAT TT=0.425 T1=0.41
|
SAT TT=1.219 T1=1.11
|
SAT TT=70.573 T1=70.6
|
SAT TT=55.558 T1=55.57
|
SAT TT=845.152 T1=845.36
|
SAT TT=0.425 T1=0.41
|
? (TO) TT=1800.36
|
SAT TT=5.421 T1=4.51
|
SAT TT=178.666 T1=178.69
|
SAT TT=66.693 T1=66.69
|
SAT TT=1.226 T1=1.22
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900569834.opb
|
UNSAT TT=6.777
|
UNSAT TT=48.134
|
? TT=1798
|
UNSAT TT=1138.11
|
? TT=1798.01
|
UNSAT TT=27.619
|
? (TO) TT=1800.25
|
UNSAT TT=6.777
|
UNSAT TT=581.507
|
UNSAT TT=591.327
|
UNSAT TT=532.193
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900570242.opb
|
UNSAT TT=6.631
|
UNSAT TT=15.977
|
UNSAT TT=1244.1
|
UNSAT TT=880.905
|
? (TO) TT=1800.09
|
UNSAT TT=6.631
|
? (TO) TT=1800.27
|
UNSAT TT=8.199
|
UNSAT TT=604.846
|
UNSAT TT=369.545
|
UNSAT TT=214.586
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900571131.opb
|
SAT TT=0.095 T1=0.08
|
SAT TT=1.665 T1=1.56
|
SAT TT=1.302 T1=1.3
|
SAT TT=0.427 T1=0.42
|
SAT TT=235.948 T1=236.02
|
SAT TT=0.095 T1=0.08
|
SAT TT=18.03 T1=15.44
|
SAT TT=2.393 T1=1.34
|
SAT TT=5.441 T1=5.42
|
SAT TT=28.761 T1=28.75
|
SAT TT=0.138 T1=0.13
|
Bench name | Best results | BoolVar 2009-04-26 (complete) | bsolo 3.1 (complete) | bsolo 3.1 cl (complete) | bsolo 3.1 pb (complete) | pbclasp 2009-04-24 (complete) | SAT4J Pseudo CP 2.1.1 (complete) | SAT4J Pseudo Resolution 2.1.1 (complete) | SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 (complete) | SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete) | wbo 1.0 (complete) |
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900571132.opb
|
UNSAT TT=48.621
|
UNSAT TT=67.177
|
UNSAT TT=1507.32
|
UNSAT TT=981.044
|
? TT=1798.04
|
UNSAT TT=48.621
|
? (TO) TT=1800.31
|
UNSAT TT=92.722
|
UNSAT TT=864.191
|
UNSAT TT=1088.12
|
UNSAT TT=538.407
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900571761.opb
|
UNSAT TT=34.713
|
UNSAT TT=88.304
|
? TT=1798
|
? TT=1798
|
? TT=1798.03
|
UNSAT TT=46.979
|
? (TO) TT=1800.3
|
UNSAT TT=34.713
|
UNSAT TT=831.872
|
UNSAT TT=962.992
|
UNSAT TT=467.125
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900573137.opb
|
UNSAT TT=23.869
|
UNSAT TT=139.926
|
? TT=1798
|
UNSAT TT=1266.45
|
? TT=1799.46
|
UNSAT TT=44.966
|
? (TO) TT=1800.27
|
UNSAT TT=23.869
|
UNSAT TT=1035.09
|
UNSAT TT=1775.93
|
UNSAT TT=530.101
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900573901.opb
|
UNSAT TT=18.171
|
UNSAT TT=168.658
|
UNSAT TT=1683.02
|
UNSAT TT=1349.99
|
? (TO) TT=1800.12
|
UNSAT TT=37.731
|
? (TO) TT=1800.27
|
UNSAT TT=18.171
|
? (TO) TT=1800.07
|
UNSAT TT=1022.15
|
UNSAT TT=337.158
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900574864.opb
|
UNSAT TT=17.408
|
UNSAT TT=80.568
|
UNSAT TT=1630.62
|
UNSAT TT=1260.02
|
? (TO) TT=1800.07
|
UNSAT TT=20.791
|
? (TO) TT=1800.33
|
UNSAT TT=17.408
|
UNSAT TT=886.364
|
UNSAT TT=874.059
|
UNSAT TT=231.661
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900574948.opb
|
SAT TT=0.065 T1=0.05
|
SAT TT=1.311 T1=1.22
|
SAT TT=4.827 T1=4.82
|
SAT TT=1.964 T1=1.96
|
SAT TT=17.141 T1=17.14
|
SAT TT=0.065 T1=0.05
|
? (TO) TT=1800.26
|
SAT TT=1.815 T1=1.15
|
SAT TT=5.649 T1=5.63
|
SAT TT=6.44 T1=6.42
|
SAT TT=0.097 T1=0.09
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900574974.opb
|
SAT TT=0.116 T1=0.1
|
SAT TT=1.344 T1=1.25
|
SAT TT=6.617 T1=6.61
|
SAT TT=7.422 T1=7.42
|
SAT TT=230.764 T1=230.85
|
SAT TT=0.116 T1=0.1
|
? (TO) TT=1800.23
|
SAT TT=1.489 T1=0.96
|
SAT TT=6.551 T1=6.53
|
SAT TT=8.695 T1=8.68
|
SAT TT=0.24 T1=0.23
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900575442.opb
|
UNSAT TT=8.278
|
UNSAT TT=50.435
|
UNSAT TT=1086.24
|
UNSAT TT=1037.54
|
? TT=1798.03
|
UNSAT TT=20.114
|
? (TO) TT=1800.26
|
UNSAT TT=8.278
|
UNSAT TT=733.927
|
UNSAT TT=639.983
|
UNSAT TT=273.151
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900576151.opb
|
UNSAT TT=100.466
|
UNSAT TT=131.031
|
? TT=1798
|
? TT=1798
|
? (TO) TT=1800.1
|
UNSAT TT=100.466
|
? (TO) TT=1800.26
|
UNSAT TT=117.105
|
UNSAT TT=1058.76
|
UNSAT TT=833.206
|
UNSAT TT=647.266
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900576360.opb
|
UNSAT TT=15.199
|
UNSAT TT=60.303
|
UNSAT TT=1096.27
|
UNSAT TT=619.405
|
? (TO) TT=1800.08
|
UNSAT TT=26.824
|
? (TO) TT=1800.29
|
UNSAT TT=15.199
|
UNSAT TT=922.644
|
UNSAT TT=726.981
|
UNSAT TT=309.158
|
Bench name | Best results | BoolVar 2009-04-26 (complete) | bsolo 3.1 (complete) | bsolo 3.1 cl (complete) | bsolo 3.1 pb (complete) | pbclasp 2009-04-24 (complete) | SAT4J Pseudo CP 2.1.1 (complete) | SAT4J Pseudo Resolution 2.1.1 (complete) | SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 (complete) | SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete) | wbo 1.0 (complete) |
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900576918.opb
|
SAT TT=0.265 T1=0.26
|
SAT TT=1.133 T1=1.02
|
SAT TT=1.277 T1=1.27
|
SAT TT=13.324 T1=13.32
|
SAT TT=54.927 T1=54.94
|
SAT TT=0.826 T1=0.81
|
? (TO) TT=1800.25
|
SAT TT=2 T1=1.32
|
SAT TT=40.878 T1=40.88
|
SAT TT=17.06 T1=17.05
|
SAT TT=0.265 T1=0.26
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900576927.opb
|
UNSAT TT=72.721
|
UNSAT TT=168.709
|
? TT=1798
|
? TT=1798
|
? TT=1798.01
|
UNSAT TT=72.721
|
? (TO) TT=1800.25
|
UNSAT TT=251.702
|
UNSAT TT=1616.15
|
UNSAT TT=897.949
|
UNSAT TT=734.424
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900577000.opb
|
SAT TT=0.101 T1=0.09
|
SAT TT=0.766 T1=0.65
|
SAT TT=8.539 T1=8.54
|
SAT TT=3.898 T1=3.89
|
SAT TT=99.353 T1=99.39
|
SAT TT=0.101 T1=0.09
|
SAT TT=274.91 T1=270.71
|
SAT TT=3.065 T1=1.9
|
SAT TT=38.348 T1=38.35
|
SAT TT=28.18 T1=28.17
|
SAT TT=0.2 T1=0.2
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900577940.opb
|
UNSAT TT=62.789
|
UNSAT TT=295.28
|
? TT=1798.01
|
? TT=1798
|
? TT=1798.05
|
UNSAT TT=62.789
|
? (TO) TT=1800.32
|
UNSAT TT=636.85
|
UNSAT TT=1400.18
|
? (TO) TT=1800.17
|
UNSAT TT=1260.6
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900579996.opb
|
UNSAT TT=105.271
|
UNSAT TT=105.271
|
? TT=1798
|
? TT=1798
|
? TT=1798.01
|
UNSAT TT=120.119
|
? (TO) TT=1800.23
|
UNSAT TT=255.229
|
UNSAT TT=1514.53
|
UNSAT TT=1633.32
|
UNSAT TT=912.457
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900581320.opb
|
UNSAT TT=26.935
|
UNSAT TT=134.572
|
? TT=1798
|
? TT=1798.01
|
? (TO) TT=1800.07
|
UNSAT TT=43.429
|
? (TO) TT=1800.34
|
UNSAT TT=26.935
|
UNSAT TT=762.54
|
UNSAT TT=1510.68
|
UNSAT TT=592.837
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900581321.opb
|
SAT TT=0.028 T1=0.02
|
SAT TT=0.747 T1=0.65
|
SAT TT=1.336 T1=1.33
|
SAT TT=1.794 T1=1.79
|
SAT TT=24.48 T1=24.49
|
SAT TT=0.103 T1=0.09
|
SAT TT=20.712 T1=18.5
|
SAT TT=1.316 T1=0.8
|
SAT TT=3.716 T1=3.7
|
SAT TT=7.06 T1=7.04
|
SAT TT=0.028 T1=0.02
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900582300.opb
|
UNSAT TT=43.212
|
UNSAT TT=130.667
|
? TT=1798
|
UNSAT TT=1702.93
|
? TT=1798.03
|
UNSAT TT=52.449
|
? (TO) TT=1800.3
|
UNSAT TT=43.212
|
UNSAT TT=913.24
|
UNSAT TT=1356.98
|
UNSAT TT=1019.6
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900582376.opb
|
SAT TT=1.711 T1=1.7
|
SAT TT=2.305 T1=2.2
|
SAT TT=22.052 T1=22.05
|
SAT TT=35.112 T1=35.12
|
SAT TT=49.201 T1=49.22
|
SAT TT=1.711 T1=1.7
|
? (TO) TT=1800.24
|
SAT TT=4.336 T1=3.47
|
SAT TT=310.19 T1=310.42
|
SAT TT=83.337 T1=83.34
|
SAT TT=1.785 T1=1.78
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900583053.opb
|
UNSAT TT=70.012
|
UNSAT TT=187.464
|
? TT=1798.01
|
? TT=1798
|
? TT=1798.05
|
UNSAT TT=70.012
|
? (TO) TT=1800.32
|
UNSAT TT=178.362
|
UNSAT TT=913.771
|
UNSAT TT=1067.67
|
UNSAT TT=855.297
|
Bench name | Best results | BoolVar 2009-04-26 (complete) | bsolo 3.1 (complete) | bsolo 3.1 cl (complete) | bsolo 3.1 pb (complete) | pbclasp 2009-04-24 (complete) | SAT4J Pseudo CP 2.1.1 (complete) | SAT4J Pseudo Resolution 2.1.1 (complete) | SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 (complete) | SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete) | wbo 1.0 (complete) |
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900584106.opb
|
UNSAT TT=6.636
|
UNSAT TT=19.077
|
UNSAT TT=906.984
|
UNSAT TT=744.675
|
? TT=1798.22
|
UNSAT TT=6.636
|
? (TO) TT=1800.23
|
UNSAT TT=6.669
|
UNSAT TT=377.615
|
UNSAT TT=273.2
|
UNSAT TT=154.547
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900584219.opb
|
UNSAT TT=12.02
|
UNSAT TT=73.51
|
UNSAT TT=1724.92
|
UNSAT TT=1461.22
|
? (TO) TT=1800.04
|
UNSAT TT=33.35
|
? (TO) TT=1800.26
|
UNSAT TT=12.02
|
UNSAT TT=845.969
|
UNSAT TT=653.827
|
UNSAT TT=699.535
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900667195.opb
|
UNSAT TT=67.013
|
UNSAT TT=162.923
|
? TT=1798
|
? TT=1798
|
? TT=1798.02
|
UNSAT TT=67.013
|
? (TO) TT=1800.31
|
UNSAT TT=247.228
|
UNSAT TT=1175.18
|
? (TO) TT=1800.14
|
UNSAT TT=493.955
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900669299.opb
|
SAT TT=0.224 T1=0.22
|
SAT TT=3.321 T1=3.21
|
SAT TT=4.695 T1=4.69
|
SAT TT=4.428 T1=4.42
|
SAT TT=131.783 T1=131.81
|
SAT TT=0.352 T1=0.34
|
? (TO) TT=1800.31
|
SAT TT=3.187 T1=1.89
|
SAT TT=23.574 T1=23.56
|
SAT TT=23.513 T1=23.5
|
SAT TT=0.224 T1=0.22
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900669309.opb
|
SAT TT=1.611 T1=1.6
|
SAT TT=12.869 T1=12.8
|
SAT TT=74.953 T1=74.97
|
SAT TT=10.547 T1=10.55
|
SAT TT=739.207 T1=739.42
|
SAT TT=1.611 T1=1.6
|
? (TO) TT=1800.32
|
SAT TT=4.283 T1=3.37
|
SAT TT=7.133 T1=7.11
|
SAT TT=167.556 T1=167.58
|
SAT TT=7.142 T1=7.14
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900669797.opb
|
UNSAT TT=13.958
|
UNSAT TT=77.775
|
? TT=1798
|
UNSAT TT=1106.47
|
? (TO) TT=1800.04
|
UNSAT TT=25.293
|
? (TO) TT=1800.22
|
UNSAT TT=13.958
|
UNSAT TT=909.398
|
UNSAT TT=910.534
|
UNSAT TT=367.965
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900670167.opb
|
UNSAT TT=15.024
|
UNSAT TT=33.791
|
? TT=1798
|
UNSAT TT=1262.85
|
? TT=1798.01
|
UNSAT TT=17.481
|
? (TO) TT=1800.3
|
UNSAT TT=15.024
|
UNSAT TT=453.615
|
UNSAT TT=849.573
|
UNSAT TT=449.115
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900670234.opb
|
UNSAT TT=88.612
|
UNSAT TT=282.666
|
? TT=1798.01
|
? TT=1798.03
|
? TT=1798.01
|
UNSAT TT=123.555
|
? (TO) TT=1800.28
|
UNSAT TT=88.612
|
UNSAT TT=1398.78
|
UNSAT TT=1333.86
|
UNSAT TT=1044.21
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900670675.opb
|
UNSAT TT=5.852
|
UNSAT TT=49.194
|
UNSAT TT=828.734
|
UNSAT TT=1540.38
|
? (TO) TT=1800.12
|
UNSAT TT=10.475
|
? (TO) TT=1800.31
|
UNSAT TT=5.852
|
UNSAT TT=344.601
|
UNSAT TT=425.519
|
UNSAT TT=184.505
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900670756.opb
|
SAT TT=0.066 T1=0.06
|
SAT TT=0.983 T1=1.23
|
SAT TT=8.832 T1=8.83
|
SAT TT=14.26 T1=14.26
|
SAT TT=56.508 T1=56.52
|
SAT TT=0.246 T1=0.23
|
? (TO) TT=1800.21
|
SAT TT=3.42 T1=2.06
|
SAT TT=3.143 T1=3.12
|
SAT TT=30.411 T1=30.4
|
SAT TT=0.066 T1=0.06
|
Bench name | Best results | BoolVar 2009-04-26 (complete) | bsolo 3.1 (complete) | bsolo 3.1 cl (complete) | bsolo 3.1 pb (complete) | pbclasp 2009-04-24 (complete) | SAT4J Pseudo CP 2.1.1 (complete) | SAT4J Pseudo Resolution 2.1.1 (complete) | SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 (complete) | SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete) | wbo 1.0 (complete) |
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110966483.opb
|
UNSAT TT=0.068
|
UNSAT TT=4.942
|
UNSAT TT=35.45
|
UNSAT TT=33.651
|
UNSAT TT=0.29
|
UNSAT TT=1.451
|
UNSAT TT=8.039
|
UNSAT TT=4.516
|
UNSAT TT=0.068
|
UNSAT TT=0.071
|
UNSAT TT=7.498
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110966688.opb
|
UNSAT TT=0.278
|
UNSAT TT=6.672
|
UNSAT TT=39.131
|
UNSAT TT=35.227
|
UNSAT TT=5.305
|
UNSAT TT=1.387
|
? (TO) TT=1800.19
|
UNSAT TT=5.616
|
UNSAT TT=0.5
|
UNSAT TT=0.278
|
UNSAT TT=5.423
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110967142.opb
|
UNSAT TT=3.136
|
UNSAT TT=14.071
|
UNSAT TT=124.513
|
UNSAT TT=104.621
|
UNSAT TT=70.447
|
UNSAT TT=3.136
|
? (TO) TT=1800.19
|
UNSAT TT=22.92
|
UNSAT TT=3.6
|
UNSAT TT=4.157
|
UNSAT TT=21.773
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110967327.opb
|
SAT TT=0.064 T1=0.05
|
SAT TT=8.385 T1=8.52
|
SAT TT=73.787 T1=73.81
|
SAT TT=6.875 T1=6.88
|
SAT TT=17.099 T1=17.1
|
SAT TT=0.064 T1=0.05
|
SAT TT=14.268 T1=12.35
|
SAT TT=3.75 T1=3.05
|
SAT TT=1.507 T1=1.49
|
SAT TT=3.904 T1=3.89
|
SAT TT=3.101 T1=3.1
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110967523.opb
|
UNSAT TT=2.137
|
UNSAT TT=9.985
|
UNSAT TT=58.275
|
UNSAT TT=63.784
|
UNSAT TT=74.62
|
UNSAT TT=2.137
|
? (TO) TT=1801.16
|
UNSAT TT=9.116
|
UNSAT TT=2.216
|
UNSAT TT=2.368
|
UNSAT TT=10.632
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110967729.opb
|
UNSAT TT=0.161
|
UNSAT TT=5.534
|
UNSAT TT=23.22
|
UNSAT TT=28.319
|
UNSAT TT=8.979
|
UNSAT TT=1.332
|
? (TO) TT=1800.17
|
UNSAT TT=4.052
|
UNSAT TT=0.236
|
UNSAT TT=0.161
|
UNSAT TT=3.786
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110968094.opb
|
UNSAT TT=0.399
|
UNSAT TT=6.193
|
UNSAT TT=57.785
|
UNSAT TT=36.571
|
UNSAT TT=1.518
|
UNSAT TT=1.772
|
UNSAT TT=82.946
|
UNSAT TT=6.341
|
UNSAT TT=0.658
|
UNSAT TT=0.399
|
UNSAT TT=8.147
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110968431.opb
|
SAT TT=0.182 T1=0.17
|
SAT TT=2.126 T1=2.05
|
SAT TT=10.341 T1=10.34
|
SAT TT=17.484 T1=17.49
|
SAT TT=1.147 T1=1.14
|
SAT TT=1.081 T1=1.07
|
SAT TT=3.458 T1=1.9
|
SAT TT=3.176 T1=2.52
|
SAT TT=0.182 T1=0.17
|
SAT TT=0.89 T1=0.88
|
SAT TT=3.574 T1=3.57
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110968561.opb
|
UNSAT TT=1.224
|
UNSAT TT=7.861
|
UNSAT TT=65.727
|
UNSAT TT=53.947
|
UNSAT TT=21.271
|
UNSAT TT=2.497
|
? (TO) TT=1801.06
|
UNSAT TT=7.028
|
UNSAT TT=1.943
|
UNSAT TT=1.224
|
UNSAT TT=11.125
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110968898.opb
|
UNSAT TT=0.308
|
UNSAT TT=9.859
|
UNSAT TT=68.669
|
UNSAT TT=64.502
|
UNSAT TT=2.897
|
UNSAT TT=2.444
|
? (TO) TT=1801.02
|
UNSAT TT=8.624
|
UNSAT TT=0.64
|
UNSAT TT=0.308
|
UNSAT TT=7.172
|
Bench name | Best results | BoolVar 2009-04-26 (complete) | bsolo 3.1 (complete) | bsolo 3.1 cl (complete) | bsolo 3.1 pb (complete) | pbclasp 2009-04-24 (complete) | SAT4J Pseudo CP 2.1.1 (complete) | SAT4J Pseudo Resolution 2.1.1 (complete) | SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 (complete) | SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete) | wbo 1.0 (complete) |
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110969170.opb
|
UNSAT TT=0.041
|
UNSAT TT=5.885
|
UNSAT TT=50.207
|
UNSAT TT=41.769
|
UNSAT TT=3.481
|
UNSAT TT=2.076
|
? (TO) TT=1800.17
|
UNSAT TT=6.82
|
UNSAT TT=0.041
|
UNSAT TT=0.043
|
UNSAT TT=7.607
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110969577.opb
|
UNSAT TT=0.04
|
UNSAT TT=4.513
|
UNSAT TT=42.5
|
UNSAT TT=43.041
|
UNSAT TT=3.304
|
UNSAT TT=1.536
|
UNSAT TT=1049.87
|
UNSAT TT=6.631
|
UNSAT TT=0.04
|
UNSAT TT=0.047
|
UNSAT TT=6.78
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110969860.opb
|
UNSAT TT=1.082
|
UNSAT TT=13.377
|
UNSAT TT=88.692
|
UNSAT TT=62.974
|
UNSAT TT=33.296
|
UNSAT TT=2.837
|
? (TO) TT=1800.25
|
UNSAT TT=15.925
|
UNSAT TT=1.082
|
UNSAT TT=2.245
|
UNSAT TT=12.375
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110969933.opb
|
SAT TT=0.099 T1=0.09
|
SAT TT=1.205 T1=2.43
|
SAT TT=5.418 T1=5.41
|
SAT TT=4.237 T1=4.23
|
SAT TT=15.521 T1=15.52
|
SAT TT=0.099 T1=0.09
|
? (TO) TT=1800.1
|
SAT TT=3.057 T1=2.36
|
SAT TT=0.505 T1=0.49
|
SAT TT=2.22 T1=2.21
|
SAT TT=1.114 T1=1.11
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110970170.opb
|
SAT TT=0.575 T1=0.56
|
SAT TT=8.633 T1=8.55
|
SAT TT=81.62 T1=81.64
|
SAT TT=52.212 T1=52.22
|
SAT TT=16.905 T1=16.9
|
SAT TT=0.709 T1=0.7
|
SAT TT=15.131 T1=13.01
|
SAT TT=2.772 T1=1.98
|
SAT TT=0.575 T1=0.56
|
SAT TT=1.385 T1=1.37
|
SAT TT=19.768 T1=19.86
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110970277.opb
|
SAT TT=0.188 T1=0.18
|
SAT TT=3.358 T1=3.28
|
SAT TT=54.118 T1=54.13
|
SAT TT=53.892 T1=53.9
|
SAT TT=4.281 T1=4.28
|
SAT TT=0.188 T1=0.18
|
? (TO) TT=1800.19
|
SAT TT=5.487 T1=4.82
|
SAT TT=1.253 T1=1.24
|
SAT TT=3.435 T1=3.42
|
SAT TT=3.657 T1=3.66
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110970444.opb
|
UNSAT TT=0.108
|
UNSAT TT=5.463
|
UNSAT TT=27.007
|
UNSAT TT=29.198
|
UNSAT TT=0.54
|
UNSAT TT=1.361
|
? (TO) TT=1800.32
|
UNSAT TT=4.734
|
UNSAT TT=0.108
|
UNSAT TT=0.114
|
UNSAT TT=4.385
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110970631.opb
|
UNSAT TT=0.143
|
UNSAT TT=6.333
|
UNSAT TT=44.284
|
UNSAT TT=34.671
|
UNSAT TT=1.507
|
UNSAT TT=1.601
|
UNSAT TT=28.451
|
UNSAT TT=6.628
|
UNSAT TT=0.143
|
UNSAT TT=0.175
|
UNSAT TT=5.13
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110971097.opb
|
SAT TT=0.948 T1=0.94
|
SAT TT=13.023 T1=12.97
|
SAT TT=74.31 T1=74.33
|
SAT TT=88.129 T1=88.17
|
SAT TT=32.539 T1=32.55
|
SAT TT=0.948 T1=0.94
|
? (TO) TT=1800.37
|
SAT TT=4.557 T1=3.87
|
SAT TT=3.77 T1=3.76
|
SAT TT=3.261 T1=3.26
|
SAT TT=5.13 T1=5.12
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110971363.opb
|
UNSAT TT=0.269
|
UNSAT TT=9.061
|
UNSAT TT=54.199
|
UNSAT TT=48.861
|
UNSAT TT=9.906
|
UNSAT TT=1.721
|
? (TO) TT=1800.35
|
UNSAT TT=7.272
|
UNSAT TT=0.505
|
UNSAT TT=0.269
|
UNSAT TT=7.176
|
Bench name | Best results | BoolVar 2009-04-26 (complete) | bsolo 3.1 (complete) | bsolo 3.1 cl (complete) | bsolo 3.1 pb (complete) | pbclasp 2009-04-24 (complete) | SAT4J Pseudo CP 2.1.1 (complete) | SAT4J Pseudo Resolution 2.1.1 (complete) | SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 (complete) | SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete) | wbo 1.0 (complete) |
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110971697.opb
|
UNSAT TT=0.548
|
UNSAT TT=5.931
|
UNSAT TT=58.57
|
UNSAT TT=49.163
|
UNSAT TT=15.916
|
UNSAT TT=1.574
|
? (TO) TT=1800.18
|
UNSAT TT=7.85
|
UNSAT TT=1.309
|
UNSAT TT=0.548
|
UNSAT TT=9.716
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110971766.opb
|
SAT TT=0.269 T1=0.26
|
SAT TT=5.704 T1=5.61
|
SAT TT=81.262 T1=81.28
|
SAT TT=9.777 T1=9.77
|
SAT TT=1.329 T1=1.32
|
SAT TT=0.269 T1=0.26
|
? (TO) TT=1800.13
|
SAT TT=5.414 T1=4.39
|
SAT TT=0.982 T1=0.97
|
SAT TT=1.446 T1=1.43
|
SAT TT=4.769 T1=4.76
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110972154.opb
|
UNSAT TT=0.545
|
UNSAT TT=6.555
|
UNSAT TT=73.504
|
UNSAT TT=53.379
|
UNSAT TT=22.216
|
UNSAT TT=2.322
|
? (TO) TT=1800.38
|
UNSAT TT=9.528
|
UNSAT TT=0.94
|
UNSAT TT=0.545
|
UNSAT TT=10.079
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110972763.opb
|
UNSAT TT=0.328
|
UNSAT TT=8.968
|
UNSAT TT=58.913
|
UNSAT TT=44.93
|
UNSAT TT=1.296
|
UNSAT TT=1.601
|
? (TO) TT=1800.34
|
UNSAT TT=7.488
|
UNSAT TT=0.485
|
UNSAT TT=0.328
|
UNSAT TT=9.074
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110972958.opb
|
SAT TT=0.762 T1=0.76
|
SAT TT=5.439 T1=5.36
|
SAT TT=14.625 T1=14.62
|
SAT TT=69.335 T1=69.35
|
SAT TT=0.762 T1=0.76
|
SAT TT=0.776 T1=0.77
|
? (TO) TT=1800.21
|
SAT TT=4.525 T1=3.88
|
SAT TT=1.669 T1=1.66
|
SAT TT=6.221 T1=6.21
|
SAT TT=8.492 T1=4.3
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110973163.opb
|
UNSAT TT=0.118
|
UNSAT TT=9.769
|
UNSAT TT=100.569
|
UNSAT TT=62.515
|
UNSAT TT=13.948
|
UNSAT TT=2.842
|
? (TO) TT=1800.3
|
UNSAT TT=10.675
|
UNSAT TT=0.268
|
UNSAT TT=0.118
|
UNSAT TT=14.679
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110973364.opb
|
UNSAT TT=0.71
|
UNSAT TT=4.632
|
UNSAT TT=35.214
|
UNSAT TT=22.37
|
UNSAT TT=3.678
|
UNSAT TT=1.373
|
? (TO) TT=1800.18
|
UNSAT TT=4.466
|
UNSAT TT=1.113
|
UNSAT TT=0.71
|
UNSAT TT=5.757
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110973478.opb
|
SAT TT=0.353 T1=0.34
|
SAT TT=10.732 T1=10.66
|
SAT TT=90.907 T1=90.93
|
SAT TT=53.405 T1=53.42
|
SAT TT=39.663 T1=39.67
|
SAT TT=0.353 T1=0.34
|
SAT TT=386.371 T1=384.22
|
SAT TT=5.182 T1=4.45
|
SAT TT=1.264 T1=1.25
|
SAT TT=4.46 T1=4.45
|
SAT TT=1.589 T1=1.58
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110973670.opb
|
UNSAT TT=0.885
|
UNSAT TT=8.159
|
UNSAT TT=84.482
|
UNSAT TT=57.337
|
UNSAT TT=7.31
|
UNSAT TT=1.8
|
? (TO) TT=1800.45
|
UNSAT TT=8.122
|
UNSAT TT=1.241
|
UNSAT TT=0.885
|
UNSAT TT=11.153
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110973863.opb
|
SAT TT=0.223 T1=0.21
|
SAT TT=4.999 T1=4.92
|
SAT TT=125.427 T1=125.47
|
SAT TT=68.477 T1=68.49
|
SAT TT=39.932 T1=39.93
|
SAT TT=0.223 T1=0.21
|
? (TO) TT=1800.13
|
SAT TT=6.67 T1=5.99
|
SAT TT=1.444 T1=1.43
|
SAT TT=4.801 T1=4.79
|
SAT TT=14.026 T1=14.02
|
Bench name | Best results | BoolVar 2009-04-26 (complete) | bsolo 3.1 (complete) | bsolo 3.1 cl (complete) | bsolo 3.1 pb (complete) | pbclasp 2009-04-24 (complete) | SAT4J Pseudo CP 2.1.1 (complete) | SAT4J Pseudo Resolution 2.1.1 (complete) | SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 (complete) | SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete) | wbo 1.0 (complete) |
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110974180.opb
|
UNSAT TT=0.485
|
UNSAT TT=8.035
|
UNSAT TT=73.836
|
UNSAT TT=49.367
|
UNSAT TT=1.448
|
UNSAT TT=2.629
|
? (TO) TT=1800.24
|
UNSAT TT=8.674
|
UNSAT TT=0.923
|
UNSAT TT=0.485
|
UNSAT TT=14.978
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110974372.opb
|
UNSAT TT=0.04
|
UNSAT TT=5.162
|
UNSAT TT=45.008
|
UNSAT TT=30.728
|
UNSAT TT=0.76
|
UNSAT TT=1.526
|
UNSAT TT=26.034
|
UNSAT TT=4.952
|
UNSAT TT=0.04
|
UNSAT TT=0.043
|
UNSAT TT=6.142
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110974553.opb
|
SAT TT=0.494 T1=0.49
|
SAT TT=1.907 T1=1.81
|
SAT TT=7.508 T1=7.51
|
SAT TT=22.779 T1=22.78
|
SAT TT=32.509 T1=32.51
|
SAT TT=0.494 T1=0.49
|
? (TO) TT=1800.35
|
SAT TT=1.706 T1=1.12
|
SAT TT=1.039 T1=1.03
|
SAT TT=5.521 T1=5.51
|
SAT TT=4.91 T1=4.91
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110975607.opb
|
UNSAT TT=0.156
|
UNSAT TT=5.319
|
UNSAT TT=34.154
|
UNSAT TT=36.731
|
UNSAT TT=2.171
|
UNSAT TT=1.825
|
? (TO) TT=1800.15
|
UNSAT TT=4.939
|
UNSAT TT=0.156
|
UNSAT TT=0.156
|
UNSAT TT=6.129
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110975678.opb
|
SAT TT=1.182 T1=1.18
|
SAT TT=9.047 T1=8.98
|
SAT TT=71.004 T1=71.02
|
SAT TT=6.598 T1=6.59
|
SAT TT=1.182 T1=1.18
|
SAT TT=2.836 T1=2.83
|
? (TO) TT=1800.19
|
SAT TT=4.499 T1=3.81
|
SAT TT=2.072 T1=2.06
|
SAT TT=5.57 T1=5.56
|
SAT TT=7.405 T1=7.4
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110975832.opb
|
SAT TT=0.43 T1=0.42
|
SAT TT=7.08 T1=7.01
|
SAT TT=58.135 T1=58.14
|
SAT TT=7.857 T1=7.85
|
SAT TT=18.494 T1=18.49
|
SAT TT=0.43 T1=0.42
|
? (TO) TT=1800.2
|
SAT TT=3.089 T1=2.45
|
SAT TT=0.994 T1=0.98
|
SAT TT=3.617 T1=3.6
|
SAT TT=3.014 T1=3.01
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110975965.opb
|
UNSAT TT=2.764
|
UNSAT TT=8.424
|
UNSAT TT=115.28
|
UNSAT TT=81.591
|
UNSAT TT=21.017
|
UNSAT TT=3.487
|
? (TO) TT=1800.19
|
UNSAT TT=12.975
|
UNSAT TT=2.764
|
UNSAT TT=2.774
|
UNSAT TT=16.371
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110976157.opb
|
UNSAT TT=0.039
|
UNSAT TT=4.851
|
UNSAT TT=37.748
|
UNSAT TT=25.178
|
UNSAT TT=0.584
|
UNSAT TT=1.83
|
UNSAT TT=12.629
|
UNSAT TT=4.702
|
UNSAT TT=0.039
|
UNSAT TT=0.042
|
UNSAT TT=5.308
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110976730.opb
|
UNSAT TT=0.374
|
UNSAT TT=11.135
|
UNSAT TT=115.545
|
UNSAT TT=86.92
|
UNSAT TT=17.565
|
UNSAT TT=3.011
|
? (TO) TT=1800.23
|
UNSAT TT=13.115
|
UNSAT TT=0.614
|
UNSAT TT=0.374
|
UNSAT TT=19.034
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110976735.opb
|
SAT TT=0.05 T1=0.04
|
SAT TT=0.984 T1=0.89
|
SAT TT=3.076 T1=3.07
|
SAT TT=43.734 T1=43.74
|
SAT TT=6.656 T1=6.65
|
SAT TT=0.05 T1=0.04
|
SAT TT=4.643 T1=2.81
|
SAT TT=3.546 T1=2.81
|
SAT TT=0.997 T1=0.98
|
SAT TT=1.659 T1=1.65
|
SAT TT=11.912 T1=11.91
|
Bench name | Best results | BoolVar 2009-04-26 (complete) | bsolo 3.1 (complete) | bsolo 3.1 cl (complete) | bsolo 3.1 pb (complete) | pbclasp 2009-04-24 (complete) | SAT4J Pseudo CP 2.1.1 (complete) | SAT4J Pseudo Resolution 2.1.1 (complete) | SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 (complete) | SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete) | wbo 1.0 (complete) |
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110976935.opb
|
UNSAT TT=0.041
|
UNSAT TT=4.604
|
UNSAT TT=45.27
|
UNSAT TT=31.558
|
UNSAT TT=1.912
|
UNSAT TT=1.557
|
? (TO) TT=1800.26
|
UNSAT TT=8.732
|
UNSAT TT=0.041
|
UNSAT TT=0.044
|
UNSAT TT=7.417
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110977266.opb
|
SAT TT=1.138 T1=1.13
|
SAT TT=5.344 T1=5.27
|
SAT TT=22.613 T1=22.61
|
SAT TT=34.772 T1=34.79
|
SAT TT=15.54 T1=15.54
|
SAT TT=1.369 T1=1.36
|
SAT TT=5.458 T1=3.64
|
SAT TT=1.847 T1=1.19
|
SAT TT=1.138 T1=1.13
|
SAT TT=3.828 T1=3.82
|
SAT TT=5.391 T1=5.39
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110977273.opb
|
UNSAT TT=0.759
|
UNSAT TT=6.605
|
UNSAT TT=63.055
|
UNSAT TT=46.13
|
UNSAT TT=3.441
|
UNSAT TT=1.449
|
? (TO) TT=1800.15
|
UNSAT TT=6.201
|
UNSAT TT=1.054
|
UNSAT TT=0.759
|
UNSAT TT=8.874
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110977464.opb
|
SAT TT=0.739 T1=0.73
|
SAT TT=8.356 T1=8.28
|
SAT TT=100.277 T1=100.3
|
SAT TT=16.983 T1=16.99
|
SAT TT=22.518 T1=22.52
|
SAT TT=1.924 T1=1.92
|
? (TO) TT=1800.13
|
SAT TT=1.732 T1=1.18
|
SAT TT=0.739 T1=0.73
|
SAT TT=2.1 T1=2.09
|
SAT TT=14.525 T1=14.52
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110977780.opb
|
UNSAT TT=0.041
|
UNSAT TT=4.102
|
UNSAT TT=34.485
|
UNSAT TT=28.965
|
UNSAT TT=3.754
|
UNSAT TT=1.785
|
UNSAT TT=9.433
|
UNSAT TT=5.477
|
UNSAT TT=0.041
|
UNSAT TT=0.042
|
UNSAT TT=7.945
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110978113.opb
|
UNSAT TT=2.233
|
UNSAT TT=8.527
|
UNSAT TT=92.764
|
UNSAT TT=64.707
|
UNSAT TT=30.454
|
UNSAT TT=2.809
|
? (TO) TT=1800.19
|
UNSAT TT=11.134
|
UNSAT TT=2.552
|
UNSAT TT=2.233
|
UNSAT TT=14.346
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110978334.opb
|
UNSAT TT=0.176
|
UNSAT TT=6.409
|
UNSAT TT=65.625
|
UNSAT TT=45.896
|
UNSAT TT=2.911
|
UNSAT TT=1.741
|
UNSAT TT=703.64
|
UNSAT TT=7.716
|
UNSAT TT=0.524
|
UNSAT TT=0.176
|
UNSAT TT=9.558
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111212272.opb
|
UNSAT TT=0.7
|
UNSAT TT=9.305
|
UNSAT TT=64.181
|
UNSAT TT=50.793
|
UNSAT TT=19.707
|
UNSAT TT=1.94
|
? (TO) TT=1800.13
|
UNSAT TT=9.43
|
UNSAT TT=0.7
|
UNSAT TT=0.783
|
UNSAT TT=11.223
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111212476.opb
|
UNSAT TT=1.071
|
UNSAT TT=13.84
|
UNSAT TT=106.495
|
UNSAT TT=101.062
|
UNSAT TT=14.922
|
UNSAT TT=2.605
|
? (TO) TT=1800.18
|
UNSAT TT=12.162
|
UNSAT TT=1.684
|
UNSAT TT=1.071
|
UNSAT TT=18.104
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111212923.opb
|
UNSAT TT=1.22
|
UNSAT TT=6.363
|
UNSAT TT=47.377
|
UNSAT TT=36.559
|
UNSAT TT=4.252
|
UNSAT TT=1.605
|
? (TO) TT=1800.12
|
UNSAT TT=5.718
|
UNSAT TT=1.352
|
UNSAT TT=1.22
|
UNSAT TT=5.977
|
Bench name | Best results | BoolVar 2009-04-26 (complete) | bsolo 3.1 (complete) | bsolo 3.1 cl (complete) | bsolo 3.1 pb (complete) | pbclasp 2009-04-24 (complete) | SAT4J Pseudo CP 2.1.1 (complete) | SAT4J Pseudo Resolution 2.1.1 (complete) | SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 (complete) | SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete) | wbo 1.0 (complete) |
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111213670.opb
|
UNSAT TT=0.04
|
UNSAT TT=6.229
|
UNSAT TT=44.109
|
UNSAT TT=37.049
|
UNSAT TT=3.533
|
UNSAT TT=1.513
|
UNSAT TT=10.398
|
UNSAT TT=7.171
|
UNSAT TT=0.04
|
UNSAT TT=0.044
|
UNSAT TT=7.457
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111213868.opb
|
UNSAT TT=0.817
|
UNSAT TT=7.252
|
UNSAT TT=64.577
|
UNSAT TT=38.492
|
UNSAT TT=30.178
|
UNSAT TT=1.818
|
? (TO) TT=1800.37
|
UNSAT TT=7.953
|
UNSAT TT=1.421
|
UNSAT TT=0.817
|
UNSAT TT=7.991
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111216188.opb
|
SAT TT=0.581 T1=0.58
|
SAT TT=2.439 T1=2.36
|
SAT TT=45.455 T1=45.48
|
SAT TT=48.782 T1=48.79
|
SAT TT=0.581 T1=0.58
|
SAT TT=1.365 T1=1.36
|
SAT TT=79.023 T1=76.77
|
SAT TT=4.201 T1=3.48
|
SAT TT=0.653 T1=0.64
|
SAT TT=2.177 T1=2.17
|
SAT TT=11.245 T1=11.24
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111216411.opb
|
UNSAT TT=0.378
|
UNSAT TT=8.029
|
UNSAT TT=75.793
|
UNSAT TT=73.858
|
UNSAT TT=58.065
|
UNSAT TT=2.692
|
UNSAT TT=188.622
|
UNSAT TT=10.283
|
UNSAT TT=0.522
|
UNSAT TT=0.378
|
UNSAT TT=16.211
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111216823.opb
|
UNSAT TT=1.689
|
UNSAT TT=6.035
|
UNSAT TT=57.23
|
UNSAT TT=36.357
|
UNSAT TT=4.101
|
UNSAT TT=1.689
|
? (TO) TT=1800.15
|
UNSAT TT=6.587
|
UNSAT TT=1.905
|
UNSAT TT=1.82
|
UNSAT TT=7.649
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111216864.opb
|
SAT TT=1.342 T1=1.33
|
SAT TT=5.36 T1=5.28
|
SAT TT=30.793 T1=30.8
|
SAT TT=17.312 T1=17.31
|
SAT TT=2.189 T1=2.18
|
SAT TT=1.53 T1=1.52
|
SAT TT=2.823 T1=1.54
|
SAT TT=4.501 T1=3.84
|
SAT TT=1.781 T1=1.77
|
SAT TT=1.342 T1=1.33
|
SAT TT=1.684 T1=1.68
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111217374.opb
|
SAT TT=0.128 T1=0.12
|
SAT TT=3.462 T1=3.38
|
SAT TT=10.506 T1=10.5
|
SAT TT=3.986 T1=3.98
|
SAT TT=18.139 T1=18.14
|
SAT TT=0.128 T1=0.12
|
? (TO) TT=1800.83
|
SAT TT=1.169 T1=0.74
|
SAT TT=1.743 T1=1.73
|
SAT TT=2.745 T1=2.73
|
SAT TT=2.03 T1=2.03
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111217380.opb
|
SAT TT=0.593 T1=0.58
|
SAT TT=1.863 T1=1.77
|
SAT TT=82.55 T1=82.57
|
SAT TT=45.263 T1=45.27
|
SAT TT=5.052 T1=5.05
|
SAT TT=0.648 T1=0.65
|
? (TO) TT=1800.14
|
SAT TT=2.484 T1=1.78
|
SAT TT=0.593 T1=0.58
|
SAT TT=1.046 T1=1.03
|
SAT TT=11.962 T1=11.95
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111217392.opb
|
UNSAT TT=0.648
|
UNSAT TT=6.265
|
UNSAT TT=47.033
|
UNSAT TT=37.659
|
UNSAT TT=5.481
|
UNSAT TT=1.934
|
? (TO) TT=1800.52
|
UNSAT TT=6.383
|
UNSAT TT=0.76
|
UNSAT TT=0.648
|
UNSAT TT=10.282
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111217555.opb
|
UNSAT TT=1.901
|
UNSAT TT=7.852
|
UNSAT TT=65.29
|
UNSAT TT=47.505
|
UNSAT TT=30.249
|
UNSAT TT=2.141
|
? (TO) TT=1800.43
|
UNSAT TT=8.893
|
UNSAT TT=1.901
|
UNSAT TT=1.93
|
UNSAT TT=12.057
|
Bench name | Best results | BoolVar 2009-04-26 (complete) | bsolo 3.1 (complete) | bsolo 3.1 cl (complete) | bsolo 3.1 pb (complete) | pbclasp 2009-04-24 (complete) | SAT4J Pseudo CP 2.1.1 (complete) | SAT4J Pseudo Resolution 2.1.1 (complete) | SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 (complete) | SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete) | wbo 1.0 (complete) |
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218024.opb
|
UNSAT TT=0.039
|
UNSAT TT=7.974
|
UNSAT TT=82.321
|
UNSAT TT=66.199
|
UNSAT TT=10.462
|
UNSAT TT=2.053
|
? (TO) TT=1800.22
|
UNSAT TT=8.441
|
UNSAT TT=0.039
|
UNSAT TT=0.051
|
UNSAT TT=12.97
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218308.opb
|
UNSAT TT=1.284
|
UNSAT TT=18.781
|
UNSAT TT=120.495
|
UNSAT TT=127.424
|
UNSAT TT=58.876
|
UNSAT TT=3.906
|
? (TO) TT=1801.05
|
UNSAT TT=19.859
|
UNSAT TT=1.284
|
UNSAT TT=3.944
|
UNSAT TT=20.182
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218757.opb
|
UNSAT TT=0.195
|
UNSAT TT=9.225
|
UNSAT TT=58.94
|
UNSAT TT=51.278
|
UNSAT TT=3.103
|
UNSAT TT=2.326
|
? (TO) TT=1800.25
|
UNSAT TT=7.605
|
UNSAT TT=0.204
|
UNSAT TT=0.195
|
UNSAT TT=10.491
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218955.opb
|
UNSAT TT=0.377
|
UNSAT TT=6.951
|
UNSAT TT=38.386
|
UNSAT TT=32.449
|
UNSAT TT=8.746
|
UNSAT TT=1.873
|
? (TO) TT=1800.28
|
UNSAT TT=4.675
|
UNSAT TT=0.573
|
UNSAT TT=0.377
|
UNSAT TT=5.855
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111219348.opb
|
UNSAT TT=1.34
|
UNSAT TT=8.544
|
UNSAT TT=65.502
|
UNSAT TT=50.418
|
UNSAT TT=1.558
|
UNSAT TT=1.611
|
? (TO) TT=1800.28
|
UNSAT TT=7.28
|
UNSAT TT=1.854
|
UNSAT TT=1.34
|
UNSAT TT=11.337
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111219399.opb
|
SAT TT=0.147 T1=0.14
|
SAT TT=1.564 T1=1.48
|
SAT TT=7.011 T1=7.01
|
SAT TT=36.693 T1=36.7
|
SAT TT=18.168 T1=18.17
|
SAT TT=0.147 T1=0.14
|
SAT TT=4.482 T1=2.73
|
SAT TT=1.747 T1=1.19
|
SAT TT=1.926 T1=1.91
|
SAT TT=2.974 T1=2.96
|
SAT TT=4.255 T1=4.25
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111219799.opb
|
UNSAT TT=0.808
|
UNSAT TT=7.049
|
UNSAT TT=37.537
|
UNSAT TT=37.361
|
UNSAT TT=22.763
|
UNSAT TT=1.905
|
? (TO) TT=1800.3
|
UNSAT TT=6.196
|
UNSAT TT=1.359
|
UNSAT TT=0.808
|
UNSAT TT=7.726
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111220019.opb
|
UNSAT TT=0.525
|
UNSAT TT=10.174
|
UNSAT TT=60.655
|
UNSAT TT=55.52
|
UNSAT TT=2.393
|
UNSAT TT=2.008
|
UNSAT TT=7.852
|
UNSAT TT=8.42
|
UNSAT TT=1.293
|
UNSAT TT=0.525
|
UNSAT TT=10.741
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111220546.opb
|
UNSAT TT=1.386
|
UNSAT TT=7.158
|
UNSAT TT=63
|
UNSAT TT=41.783
|
UNSAT TT=5.692
|
UNSAT TT=1.847
|
? (TO) TT=1800.2
|
UNSAT TT=7.27
|
UNSAT TT=1.75
|
UNSAT TT=1.386
|
UNSAT TT=10.797
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111220767.opb
|
UNSAT TT=0.436
|
UNSAT TT=7.626
|
UNSAT TT=85.784
|
UNSAT TT=59.52
|
UNSAT TT=3.442
|
UNSAT TT=2.122
|
? (TO) TT=1800.18
|
UNSAT TT=8.471
|
UNSAT TT=0.436
|
UNSAT TT=0.584
|
UNSAT TT=13.804
|
Bench name | Best results | BoolVar 2009-04-26 (complete) | bsolo 3.1 (complete) | bsolo 3.1 cl (complete) | bsolo 3.1 pb (complete) | pbclasp 2009-04-24 (complete) | SAT4J Pseudo CP 2.1.1 (complete) | SAT4J Pseudo Resolution 2.1.1 (complete) | SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 (complete) | SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete) | wbo 1.0 (complete) |
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111221203.opb
|
UNSAT TT=1.237
|
UNSAT TT=7.88
|
UNSAT TT=67.262
|
UNSAT TT=40.815
|
UNSAT TT=15.775
|
UNSAT TT=1.886
|
? (TO) TT=1800.18
|
UNSAT TT=7.046
|
UNSAT TT=1.775
|
UNSAT TT=1.237
|
UNSAT TT=8.563
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111221624.opb
|
UNSAT TT=1.118
|
UNSAT TT=5.753
|
UNSAT TT=69.742
|
UNSAT TT=43.483
|
UNSAT TT=15.877
|
UNSAT TT=2.39
|
? (TO) TT=1800.23
|
UNSAT TT=7.297
|
UNSAT TT=1.118
|
UNSAT TT=1.322
|
UNSAT TT=12.168
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111221953.opb
|
SAT TT=0.245 T1=0.23
|
SAT TT=4.895 T1=4.82
|
SAT TT=54.711 T1=54.72
|
SAT TT=29.354 T1=29.36
|
SAT TT=1.41 T1=1.4
|
SAT TT=0.245 T1=0.23
|
SAT TT=6.018 T1=4.11
|
SAT TT=1.534 T1=1.03
|
SAT TT=0.548 T1=0.53
|
SAT TT=1.057 T1=1.04
|
SAT TT=4.086 T1=4.08
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111222080.opb
|
SAT TT=0.57 T1=0.56
|
SAT TT=2.943 T1=2.87
|
SAT TT=66.16 T1=66.17
|
SAT TT=40.203 T1=40.21
|
SAT TT=1.979 T1=1.97
|
SAT TT=1.971 T1=1.96
|
SAT TT=1009.04 T1=1007.21
|
SAT TT=3.65 T1=2.99
|
SAT TT=0.57 T1=0.56
|
SAT TT=0.608 T1=0.6
|
SAT TT=3.319 T1=3.31
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111222248.opb
|
SAT TT=0.166 T1=0.16
|
SAT TT=1.398 T1=1.32
|
SAT TT=3.395 T1=3.39
|
SAT TT=33.776 T1=33.78
|
SAT TT=10.008 T1=10
|
SAT TT=0.166 T1=0.16
|
? (TO) TT=1800.09
|
SAT TT=2.842 T1=2.2
|
SAT TT=1.2 T1=1.19
|
SAT TT=1.856 T1=1.84
|
SAT TT=4.408 T1=4.4
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111222257.opb
|
UNSAT TT=0.709
|
UNSAT TT=6.011
|
UNSAT TT=47.623
|
UNSAT TT=46.963
|
UNSAT TT=3.602
|
UNSAT TT=1.81
|
? (TO) TT=1800.16
|
UNSAT TT=7.293
|
UNSAT TT=0.881
|
UNSAT TT=0.709
|
UNSAT TT=12.076
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111222539.opb
|
UNSAT TT=0.062
|
UNSAT TT=8.309
|
UNSAT TT=59.371
|
UNSAT TT=63.339
|
UNSAT TT=2.557
|
UNSAT TT=1.966
|
UNSAT TT=4.303
|
UNSAT TT=7.42
|
UNSAT TT=0.065
|
UNSAT TT=0.062
|
UNSAT TT=9.766
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111223004.opb
|
UNSAT TT=2.403
|
UNSAT TT=8.942
|
UNSAT TT=90.262
|
UNSAT TT=59.365
|
UNSAT TT=78.749
|
UNSAT TT=2.403
|
? (TO) TT=1800.25
|
UNSAT TT=12.024
|
UNSAT TT=2.773
|
UNSAT TT=5.01
|
UNSAT TT=11.167
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111223220.opb
|
UNSAT TT=0.367
|
UNSAT TT=8.7
|
UNSAT TT=78.603
|
UNSAT TT=62.621
|
UNSAT TT=22.873
|
UNSAT TT=1.798
|
? (TO) TT=1800.23
|
UNSAT TT=8.863
|
UNSAT TT=0.655
|
UNSAT TT=0.367
|
UNSAT TT=13.607
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111223416.opb
|
SAT TT=0.704 T1=0.69
|
SAT TT=1.015 T1=0.93
|
SAT TT=19.237 T1=19.24
|
SAT TT=22.172 T1=22.17
|
SAT TT=4.796 T1=4.79
|
SAT TT=0.704 T1=0.69
|
? (TO) TT=1800.37
|
SAT TT=2.447 T1=1.79
|
SAT TT=1.02 T1=1.01
|
SAT TT=2.219 T1=2.21
|
SAT TT=1.421 T1=1.42
|
Bench name | Best results | BoolVar 2009-04-26 (complete) | bsolo 3.1 (complete) | bsolo 3.1 cl (complete) | bsolo 3.1 pb (complete) | pbclasp 2009-04-24 (complete) | SAT4J Pseudo CP 2.1.1 (complete) | SAT4J Pseudo Resolution 2.1.1 (complete) | SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 (complete) | SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete) | wbo 1.0 (complete) |
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111223596.opb
|
SAT TT=0.369 T1=0.36
|
SAT TT=2.498 T1=2.41
|
SAT TT=29.644 T1=29.65
|
SAT TT=50.552 T1=50.56
|
SAT TT=2.497 T1=2.49
|
SAT TT=0.369 T1=0.36
|
SAT TT=5.918 T1=4.01
|
SAT TT=2.44 T1=1.72
|
SAT TT=1.741 T1=1.73
|
SAT TT=4.53 T1=4.52
|
SAT TT=13.062 T1=13.05
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111223689.opb
|
SAT TT=0.076 T1=0.06
|
SAT TT=0.935 T1=0.84
|
SAT TT=26.906 T1=26.91
|
SAT TT=38.626 T1=38.64
|
SAT TT=10.937 T1=10.93
|
SAT TT=0.076 T1=0.06
|
SAT TT=3.186 T1=1.77
|
SAT TT=2.247 T1=1.57
|
SAT TT=1.154 T1=1.14
|
SAT TT=1.513 T1=1.5
|
SAT TT=5.583 T1=5.58
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111223696.opb
|
SAT TT=0.569 T1=0.57
|
SAT TT=2.937 T1=2.87
|
SAT TT=34.829 T1=34.84
|
SAT TT=27.627 T1=27.63
|
SAT TT=32.316 T1=32.32
|
SAT TT=0.569 T1=0.57
|
? (TO) TT=1800.16
|
SAT TT=2.669 T1=1.94
|
SAT TT=1.904 T1=1.89
|
SAT TT=2.979 T1=2.97
|
SAT TT=9.417 T1=9.41
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224059.opb
|
UNSAT TT=0.041
|
UNSAT TT=4.442
|
UNSAT TT=26.926
|
UNSAT TT=18.328
|
UNSAT TT=0.255
|
UNSAT TT=1.246
|
UNSAT TT=47.715
|
UNSAT TT=4.055
|
UNSAT TT=0.041
|
UNSAT TT=0.043
|
UNSAT TT=5.648
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224255.opb
|
UNSAT TT=0.821
|
UNSAT TT=10.052
|
UNSAT TT=69.999
|
UNSAT TT=61.656
|
UNSAT TT=65.128
|
UNSAT TT=2.055
|
? (TO) TT=1800.17
|
UNSAT TT=8.596
|
UNSAT TT=0.821
|
UNSAT TT=1.57
|
UNSAT TT=10.15
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224451.opb
|
UNSAT TT=0.475
|
UNSAT TT=6.155
|
UNSAT TT=57.128
|
UNSAT TT=39.936
|
UNSAT TT=2.182
|
UNSAT TT=1.826
|
? (TO) TT=1800.18
|
UNSAT TT=7.406
|
UNSAT TT=0.694
|
UNSAT TT=0.475
|
UNSAT TT=7.564
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224522.opb
|
SAT TT=0.357 T1=0.34
|
SAT TT=4.108 T1=4.03
|
SAT TT=18.669 T1=18.67
|
SAT TT=18.444 T1=18.44
|
SAT TT=3.047 T1=3.04
|
SAT TT=0.924 T1=0.91
|
SAT TT=19.382 T1=17.59
|
SAT TT=3.644 T1=3.22
|
SAT TT=0.357 T1=0.34
|
SAT TT=0.698 T1=0.7
|
SAT TT=4.262 T1=4.26
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224929.opb
|
UNSAT TT=0.179
|
UNSAT TT=5.844
|
UNSAT TT=50.384
|
UNSAT TT=41.769
|
UNSAT TT=1.587
|
UNSAT TT=1.451
|
UNSAT TT=7.917
|
UNSAT TT=5.654
|
UNSAT TT=0.526
|
UNSAT TT=0.179
|
UNSAT TT=9.15
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111225122.opb
|
UNSAT TT=0.345
|
UNSAT TT=4.663
|
UNSAT TT=38.771
|
UNSAT TT=36.517
|
UNSAT TT=1.36
|
UNSAT TT=1.395
|
? (TO) TT=1800.24
|
UNSAT TT=7.019
|
UNSAT TT=0.833
|
UNSAT TT=0.345
|
UNSAT TT=6.708
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111225605.opb
|
UNSAT TT=1.208
|
UNSAT TT=6.901
|
UNSAT TT=58.319
|
UNSAT TT=39.231
|
UNSAT TT=5.209
|
UNSAT TT=1.676
|
? (TO) TT=1800.22
|
UNSAT TT=7.316
|
UNSAT TT=1.39
|
UNSAT TT=1.208
|
UNSAT TT=11.456
|
Bench name | Best results | BoolVar 2009-04-26 (complete) | bsolo 3.1 (complete) | bsolo 3.1 cl (complete) | bsolo 3.1 pb (complete) | pbclasp 2009-04-24 (complete) | SAT4J Pseudo CP 2.1.1 (complete) | SAT4J Pseudo Resolution 2.1.1 (complete) | SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 (complete) | SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete) | wbo 1.0 (complete) |
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111226062.opb
|
UNSAT TT=0.992
|
UNSAT TT=5.868
|
UNSAT TT=46.039
|
UNSAT TT=34.065
|
UNSAT TT=4.459
|
UNSAT TT=1.256
|
? (TO) TT=1800.21
|
UNSAT TT=6.791
|
UNSAT TT=0.992
|
UNSAT TT=1.074
|
UNSAT TT=7.447
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111226241.opb
|
SAT TT=1.218 T1=1.21
|
SAT TT=3.118 T1=3.03
|
SAT TT=17.546 T1=17.54
|
SAT TT=2.387 T1=2.38
|
SAT TT=48.773 T1=48.78
|
SAT TT=1.218 T1=1.21
|
? (TO) TT=1800.19
|
SAT TT=2.266 T1=1.64
|
SAT TT=1.49 T1=1.48
|
SAT TT=3.584 T1=3.57
|
SAT TT=3.39 T1=3.38
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111226284.opb
|
SAT TT=0.258 T1=0.25
|
SAT TT=3.471 T1=3.39
|
SAT TT=12.695 T1=12.69
|
SAT TT=24.409 T1=24.41
|
SAT TT=4.071 T1=4.07
|
SAT TT=0.258 T1=0.25
|
SAT TT=23.569 T1=21.59
|
SAT TT=2.452 T1=1.78
|
SAT TT=0.678 T1=0.67
|
SAT TT=1.809 T1=1.8
|
SAT TT=2.686 T1=2.68
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111226368.opb
|
UNSAT TT=0.086
|
UNSAT TT=5.278
|
UNSAT TT=36.563
|
UNSAT TT=23.328
|
UNSAT TT=1.377
|
UNSAT TT=0.915
|
UNSAT TT=16.679
|
UNSAT TT=6.003
|
UNSAT TT=0.09
|
UNSAT TT=0.086
|
UNSAT TT=5.605
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111226680.opb
|
UNSAT TT=0.413
|
UNSAT TT=6.923
|
UNSAT TT=58.192
|
UNSAT TT=39.505
|
UNSAT TT=0.922
|
UNSAT TT=1.767
|
? (TO) TT=1800.18
|
UNSAT TT=5.211
|
UNSAT TT=0.653
|
UNSAT TT=0.413
|
UNSAT TT=11.045
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111227012.opb
|
UNSAT TT=0.705
|
UNSAT TT=7.037
|
UNSAT TT=62.683
|
UNSAT TT=47.299
|
UNSAT TT=3.514
|
UNSAT TT=1.878
|
? (TO) TT=1800.19
|
UNSAT TT=7.072
|
UNSAT TT=1.242
|
UNSAT TT=0.705
|
UNSAT TT=8.445
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111227326.opb
|
UNSAT TT=0.258
|
UNSAT TT=5.146
|
UNSAT TT=37.141
|
UNSAT TT=19.088
|
UNSAT TT=1.666
|
UNSAT TT=1.026
|
? (TO) TT=1800.17
|
UNSAT TT=4.33
|
UNSAT TT=0.618
|
UNSAT TT=0.258
|
UNSAT TT=5.385
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111227418.opb
|
SAT TT=0.787 T1=0.77
|
SAT TT=3.689 T1=3.6
|
SAT TT=5.162 T1=5.16
|
SAT TT=14.338 T1=14.34
|
SAT TT=4.722 T1=4.72
|
SAT TT=1.17 T1=1.16
|
? (TO) TT=1800.18
|
SAT TT=3.15 T1=2.4
|
SAT TT=0.787 T1=0.77
|
SAT TT=5.834 T1=5.83
|
SAT TT=13.06 T1=13.05
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111227861.opb
|
UNSAT TT=0.115
|
UNSAT TT=7.402
|
UNSAT TT=60.628
|
UNSAT TT=39.386
|
UNSAT TT=1.417
|
UNSAT TT=1.692
|
UNSAT TT=157.019
|
UNSAT TT=7.054
|
UNSAT TT=0.143
|
UNSAT TT=0.115
|
UNSAT TT=10.787
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111228076.opb
|
UNSAT TT=0.496
|
UNSAT TT=9.835
|
UNSAT TT=78.964
|
UNSAT TT=92.821
|
UNSAT TT=3.996
|
UNSAT TT=2.984
|
? (TO) TT=1800.31
|
UNSAT TT=9.795
|
UNSAT TT=1.218
|
UNSAT TT=0.496
|
UNSAT TT=13.106
|
Bench name | Best results | BoolVar 2009-04-26 (complete) | bsolo 3.1 (complete) | bsolo 3.1 cl (complete) | bsolo 3.1 pb (complete) | pbclasp 2009-04-24 (complete) | SAT4J Pseudo CP 2.1.1 (complete) | SAT4J Pseudo Resolution 2.1.1 (complete) | SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 (complete) | SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete) | wbo 1.0 (complete) |
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/prestwich/armies/ normalized-army10.14bt.opb
|
SAT TT=12.376 T1=12.38
|
SAT TT=726.026 T1=726.53
|
? TT=1798.01
|
SAT TT=1795.91 T1=1796.42
|
SAT TT=1405.69 T1=1406.03
|
SAT TT=12.376 T1=12.38
|
? (TO) TT=1800.15
|
SAT TT=121.88 T1=120.68
|
SAT TT=1039.86 T1=1040.06
|
SAT TT=152.361 T1=152.39
|
SAT TT=741.297 T1=741.42
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/prestwich/armies/ normalized-army10.14ls.opb
|
SAT TT=1.629 T1=1.63
|
SAT TT=5.215 T1=5.13
|
? TT=1798.01
|
? TT=1798.02
|
SAT TT=22.005 T1=22.01
|
SAT TT=1.629 T1=1.63
|
SAT TT=225.231 T1=221.34
|
SAT TT=828.406 T1=826.59
|
SAT TT=231.436 T1=231.4
|
SAT TT=188.714 T1=188.7
|
? (TO) TT=1800.21
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/prestwich/armies/ normalized-army11.17bt.opb
|
SAT TT=46.967 T1=44.71
|
SAT TT=508.366 T1=509.34
|
? TT=1798.02
|
? TT=1798.04
|
? TT=1798.01
|
SAT TT=197.587 T1=197.62
|
SAT TT=46.967 T1=44.71
|
? (TO) TT=1800.46
|
SAT TT=105.481 T1=105.52
|
SAT TT=964.899 T1=965.12
|
SAT TT=984.517 T1=984.69
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/prestwich/armies/ normalized-army11.17ls.opb
|
SAT TT=2.368 T1=2.37
|
SAT TT=3.762 T1=3.66
|
SAT TT=200.942 T1=201
|
? TT=1798.01
|
? TT=1798.03
|
SAT TT=2.368 T1=2.37
|
? (TO) TT=1800.25
|
? (TO) TT=1800.41
|
SAT TT=614.777 T1=614.75
|
SAT TT=394.382 T1=394.4
|
? (TO) TT=1800.33
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/prestwich/armies/ normalized-army12.21bt.opb
|
|
? (TO) TT=1800.14
|
? TT=1798.02
|
? TT=1798.02
|
? TT=1798.01
|
? (TO) TT=1800.12
|
? (TO) TT=1800.16
|
? (TO) TT=1800.58
|
? TT=1796.34
|
? (TO) TT=1800.11
|
? (TO) TT=1800.23
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/prestwich/armies/ normalized-army12.21ls.opb
|
SAT TT=442.746 T1=442.8
|
SAT TT=442.746 T1=442.8
|
? TT=1798.02
|
? TT=1798.02
|
? TT=1798.13
|
? (TO) TT=1800.05
|
? (TO) TT=1800.23
|
? (TO) TT=1800.45
|
? (TO) TT=1800.54
|
? (TO) TT=1800.44
|
? (TO) TT=1800.38
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/prestwich/armies/ normalized-army13.24bt.opb
|
|
? (TO) TT=1800.14
|
? TT=1798.03
|
? TT=1798.01
|
? TT=1798.04
|
? (TO) TT=1800.05
|
? (TO) TT=1800.17
|
? (TO) TT=1800.51
|
? TT=1795.99
|
? (TO) TT=1800.13
|
? (TO) TT=1800.29
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/prestwich/armies/ normalized-army13.24ls.opb
|
SAT TT=411.487 T1=411.59
|
? (TO) TT=1800.06
|
? TT=1798.02
|
? TT=1798.02
|
? TT=1798.12
|
SAT TT=411.487 T1=411.59
|
? (TO) TT=1800.23
|
? (TO) TT=1800.49
|
? TT=1799.75
|
? (TO) TT=1800.42
|
? (MO) TT=1418.46
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/prestwich/armies/ normalized-army8.9bt.opb
|
SAT TT=0.085 T1=0.08
|
SAT TT=0.586 T1=0.86
|
SAT TT=7.678 T1=7.68
|
SAT TT=12.02 T1=12.02
|
SAT TT=7.494 T1=7.49
|
SAT TT=0.085 T1=0.08
|
SAT TT=96.513 T1=93.43
|
SAT TT=1.41 T1=0.89
|
SAT TT=20.182 T1=20.17
|
SAT TT=50.205 T1=50.21
|
SAT TT=3.365 T1=3.36
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/prestwich/armies/ normalized-army8.9ls.opb
|
SAT TT=0.027 T1=0.02
|
SAT TT=0.616 T1=0.83
|
SAT TT=0.216 T1=0.21
|
SAT TT=0.126 T1=0.12
|
SAT TT=2.077 T1=2.07
|
SAT TT=0.027 T1=0.02
|
SAT TT=6.326 T1=3.81
|
SAT TT=1.236 T1=0.76
|
SAT TT=7.211 T1=7.2
|
SAT TT=17.243 T1=17.24
|
SAT TT=113.626 T1=113.64
|
Bench name | Best results | BoolVar 2009-04-26 (complete) | bsolo 3.1 (complete) | bsolo 3.1 cl (complete) | bsolo 3.1 pb (complete) | pbclasp 2009-04-24 (complete) | SAT4J Pseudo CP 2.1.1 (complete) | SAT4J Pseudo Resolution 2.1.1 (complete) | SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 (complete) | SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete) | wbo 1.0 (complete) |
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/prestwich/armies/ normalized-army9.12bt.opb
|
SAT TT=0.92 T1=0.82
|
SAT TT=0.92 T1=0.82
|
SAT TT=13.023 T1=13.02
|
SAT TT=66.647 T1=66.64
|
SAT TT=124.698 T1=124.73
|
SAT TT=2.293 T1=2.29
|
SAT TT=7.71 T1=6.11
|
SAT TT=6.132 T1=5.16
|
SAT TT=110.328 T1=110.36
|
SAT TT=36.099 T1=36.1
|
SAT TT=73.654 T1=73.67
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/prestwich/armies/ normalized-army9.12ls.opb
|
SAT TT=15.941 T1=15.94
|
SAT TT=54.306 T1=54.22
|
SAT TT=118.758 T1=118.79
|
? TT=1798.01
|
SAT TT=1581.24 T1=1581.74
|
SAT TT=15.941 T1=15.94
|
SAT TT=653.382 T1=647.02
|
? (TO) TT=1800.36
|
SAT TT=29.843 T1=29.83
|
SAT TT=78.212 T1=78.2
|
SAT TT=405.203 T1=405.27
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/prestwich/ robin/normalized-robin10.opb
|
SAT TT=0.176 T1=0.17
|
SAT TT=17.245 T1=17.17
|
SAT TT=1.654 T1=1.65
|
SAT TT=1.904 T1=1.9
|
SAT TT=81.185 T1=81.2
|
SAT TT=0.176 T1=0.17
|
SAT TT=94.011 T1=90.32
|
SAT TT=3.263 T1=2.44
|
SAT TT=30.664 T1=30.65
|
SAT TT=56.599 T1=56.6
|
SAT TT=0.213 T1=0.21
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/prestwich/ robin/normalized-robin12.opb
|
SAT TT=0.69 T1=0.69
|
? (MO) TT=80.64
|
SAT TT=352.88 T1=352.91
|
SAT TT=192.174 T1=192.16
|
? TT=1798.47
|
SAT TT=3.823 T1=3.81
|
SAT TT=896.95 T1=882.72
|
SAT TT=7.494 T1=7.57
|
SAT TT=309.813 T1=309.89
|
SAT TT=549.618 T1=549.77
|
SAT TT=0.69 T1=0.69
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/prestwich/ robin/normalized-robin14.opb
|
SAT TT=33.202 T1=33.15
|
? (MO) TT=208.461
|
? TT=1798.43
|
SAT TT=92.048 T1=92.02
|
? TT=1799.32
|
SAT TT=33.202 T1=33.15
|
? (TO) TT=1800.3
|
SAT TT=167.032 T1=165.58
|
? TT=1793.89
|
? TT=1795.95
|
? (MO) TT=627.464
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/prestwich/ robin/normalized-robin16.opb
|
|
? (MO) TT=591.468
|
? TT=1798.87
|
? (MO) TT=651.198
|
? (TO) TT=1800.23
|
? (TO) TT=1800.06
|
? (TO) TT=1800.18
|
? (TO) TT=1800.45
|
? TT=1795.24
|
? TT=1794.91
|
? (MO) TT=610.006
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/prestwich/ robin/normalized-robin18.opb
|
|
? (TO) TT=1802.29
|
? TT=1798.33
|
? (MO) TT=778.1
|
? TT=1798.28
|
? (TO) TT=1800.02
|
? (TO) TT=1800.28
|
? (TO) TT=1800.51
|
? TT=1796.66
|
? (TO) TT=1801.47
|
? (MO) TT=479.983
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/prestwich/ robin/normalized-robin8.opb
|
SAT TT=0.024 T1=0.02
|
SAT TT=3.458 T1=3.71
|
SAT TT=0.233 T1=0.23
|
SAT TT=0.076 T1=0.08
|
SAT TT=0.851 T1=0.85
|
SAT TT=0.06 T1=0.05
|
SAT TT=3.252 T1=2.06
|
SAT TT=1.48 T1=0.95
|
SAT TT=7.065 T1=7.03
|
SAT TT=44.226 T1=44.22
|
SAT TT=0.024 T1=0.02
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/ normalized-pigeon-cardinality-101-100.opb
|
UNSAT TT=0.658
|
? (MO) TT=64.955
|
UNSAT TT=30.592
|
? (MO) TT=1048.88
|
UNSAT TT=5.711
|
? (TO) TT=1800.06
|
UNSAT TT=12.706
|
? (TO) TT=1800.43
|
UNSAT TT=1.062
|
UNSAT TT=0.658
|
? (MO) TT=1137.14
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/ normalized-pigeon-cardinality-105-100.opb
|
UNSAT TT=0.736
|
? (MO) TT=58.991
|
UNSAT TT=5.8
|
? (MO) TT=807.358
|
? (TO) TT=1800.15
|
? (TO) TT=1800.03
|
UNSAT TT=2.53
|
? (TO) TT=1800.46
|
UNSAT TT=1.191
|
UNSAT TT=0.736
|
? (MO) TT=1612.12
|
Bench name | Best results | BoolVar 2009-04-26 (complete) | bsolo 3.1 (complete) | bsolo 3.1 cl (complete) | bsolo 3.1 pb (complete) | pbclasp 2009-04-24 (complete) | SAT4J Pseudo CP 2.1.1 (complete) | SAT4J Pseudo Resolution 2.1.1 (complete) | SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 (complete) | SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete) | wbo 1.0 (complete) |
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/ normalized-pigeon-cardinality-11-10.opb
|
UNSAT TT=0.005
|
UNSAT TT=65.868
|
UNSAT TT=0.005
|
UNSAT TT=221.633
|
UNSAT TT=0.024
|
UNSAT TT=110.502
|
UNSAT TT=0.342
|
UNSAT TT=196.281
|
UNSAT TT=0.03
|
UNSAT TT=0.029
|
UNSAT TT=273.339
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/ normalized-pigeon-cardinality-15-10.opb
|
UNSAT TT=0.005
|
UNSAT TT=157.194
|
UNSAT TT=0.005
|
UNSAT TT=375.665
|
UNSAT TT=0.006
|
UNSAT TT=116.922
|
UNSAT TT=0.332
|
? (TO) TT=1800.35
|
UNSAT TT=0.03
|
UNSAT TT=0.031
|
UNSAT TT=1214.88
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/ normalized-pigeon-cardinality-21-20.opb
|
UNSAT TT=0.024
|
? (TO) TT=1800.09
|
UNSAT TT=0.024
|
? TT=1798.01
|
UNSAT TT=0.035
|
? (TO) TT=1800.08
|
UNSAT TT=0.574
|
? (TO) TT=1800.37
|
UNSAT TT=0.039
|
UNSAT TT=0.039
|
? (TO) TT=1800.17
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/ normalized-pigeon-cardinality-25-20.opb
|
UNSAT TT=0.026
|
? (TO) TT=1800.15
|
UNSAT TT=0.026
|
? TT=1798.03
|
UNSAT TT=0.039
|
? (TO) TT=1800.08
|
UNSAT TT=0.451
|
? (TO) TT=1800.41
|
UNSAT TT=0.042
|
UNSAT TT=0.043
|
? (TO) TT=1800.28
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/ normalized-pigeon-cardinality-31-30.opb
|
UNSAT TT=0.06
|
? (TO) TT=1800.11
|
UNSAT TT=0.078
|
? TT=1798.1
|
UNSAT TT=0.741
|
? (TO) TT=1800.07
|
UNSAT TT=1.191
|
? (TO) TT=1800.37
|
UNSAT TT=0.06
|
UNSAT TT=0.063
|
? (TO) TT=1800.2
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/ normalized-pigeon-cardinality-35-30.opb
|
UNSAT TT=0.063
|
? (TO) TT=1800.1
|
UNSAT TT=0.089
|
? TT=1798.09
|
UNSAT TT=0.289
|
? (TO) TT=1800.05
|
UNSAT TT=0.713
|
? (TO) TT=1801.22
|
UNSAT TT=0.063
|
UNSAT TT=0.073
|
? (TO) TT=1800.26
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/ normalized-pigeon-cardinality-41-40.opb
|
UNSAT TT=0.094
|
? (MO) TT=470.553
|
UNSAT TT=0.2
|
? TT=1798.3
|
UNSAT TT=0.208
|
? (TO) TT=1800.12
|
UNSAT TT=1.667
|
? (TO) TT=1800.4
|
UNSAT TT=0.094
|
UNSAT TT=0.099
|
? (TO) TT=1800.3
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/ normalized-pigeon-cardinality-45-40.opb
|
UNSAT TT=0.1
|
? (MO) TT=333.512
|
UNSAT TT=0.291
|
? TT=1798.37
|
UNSAT TT=25.411
|
? (TO) TT=1800.06
|
UNSAT TT=0.888
|
? (TO) TT=1800.43
|
UNSAT TT=0.1
|
UNSAT TT=0.106
|
? (TO) TT=1800.36
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/ normalized-pigeon-cardinality-51-50.opb
|
UNSAT TT=0.14
|
? (MO) TT=691.16
|
UNSAT TT=0.552
|
? (MO) TT=1394.09
|
UNSAT TT=0.452
|
? (TO) TT=1800.14
|
UNSAT TT=1.985
|
? (TO) TT=1800.39
|
UNSAT TT=0.149
|
UNSAT TT=0.14
|
? (MO) TT=1589.94
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/ normalized-pigeon-cardinality-55-50.opb
|
UNSAT TT=0.158
|
? (MO) TT=1686.71
|
UNSAT TT=6.521
|
? (MO) TT=989.966
|
UNSAT TT=54.813
|
? (TO) TT=1800.12
|
UNSAT TT=1.126
|
? (TO) TT=1800.46
|
UNSAT TT=0.158
|
UNSAT TT=0.16
|
? (MO) TT=1644.67
|
Bench name | Best results | BoolVar 2009-04-26 (complete) | bsolo 3.1 (complete) | bsolo 3.1 cl (complete) | bsolo 3.1 pb (complete) | pbclasp 2009-04-24 (complete) | SAT4J Pseudo CP 2.1.1 (complete) | SAT4J Pseudo Resolution 2.1.1 (complete) | SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 (complete) | SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete) | wbo 1.0 (complete) |
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/ normalized-pigeon-cardinality-61-60.opb
|
UNSAT TT=0.217
|
? (MO) TT=272.441
|
UNSAT TT=0.702
|
? (MO) TT=898.129
|
UNSAT TT=83.366
|
? (TO) TT=1800.09
|
UNSAT TT=2.655
|
? (TO) TT=1800.43
|
UNSAT TT=0.25
|
UNSAT TT=0.217
|
? (MO) TT=1132.4
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/ normalized-pigeon-cardinality-65-60.opb
|
UNSAT TT=0.23
|
? (MO) TT=75.038
|
UNSAT TT=1.271
|
? (MO) TT=1331.17
|
UNSAT TT=2.773
|
? (TO) TT=1800.05
|
UNSAT TT=1.34
|
? (TO) TT=1800.39
|
UNSAT TT=0.264
|
UNSAT TT=0.23
|
? (MO) TT=1459.48
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/ normalized-pigeon-cardinality-71-70.opb
|
UNSAT TT=0.307
|
? (MO) TT=50.903
|
UNSAT TT=1.419
|
? (MO) TT=671.704
|
UNSAT TT=55.254
|
? (TO) TT=1800.05
|
UNSAT TT=3.855
|
? (TO) TT=1800.5
|
UNSAT TT=0.379
|
UNSAT TT=0.307
|
? (MO) TT=1048.89
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/ normalized-pigeon-cardinality-75-70.opb
|
UNSAT TT=0.304
|
? (MO) TT=88.263
|
UNSAT TT=7.736
|
? (MO) TT=1439.13
|
UNSAT TT=13.986
|
? (TO) TT=1800.07
|
UNSAT TT=2.098
|
? (TO) TT=1800.42
|
UNSAT TT=0.413
|
UNSAT TT=0.304
|
? (MO) TT=1317.15
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/ normalized-pigeon-cardinality-81-80.opb
|
UNSAT TT=0.384
|
? (MO) TT=41.016
|
? (TO) TT=1800.05
|
? (MO) TT=887.464
|
UNSAT TT=2.408
|
? (TO) TT=1800.03
|
UNSAT TT=5.42
|
? (TO) TT=1800.44
|
UNSAT TT=0.519
|
UNSAT TT=0.384
|
? (MO) TT=1099.98
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/ normalized-pigeon-cardinality-85-80.opb
|
UNSAT TT=0.407
|
? (MO) TT=45.574
|
UNSAT TT=1.908
|
? (MO) TT=546.3
|
UNSAT TT=241.218
|
? (TO) TT=1800
|
UNSAT TT=1.874
|
? (TO) TT=1800.46
|
UNSAT TT=0.585
|
UNSAT TT=0.407
|
? (MO) TT=1614.35
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/ normalized-pigeon-cardinality-91-90.opb
|
UNSAT TT=0.51
|
? (MO) TT=47.078
|
UNSAT TT=4.594
|
? (MO) TT=904.466
|
? (TO) TT=1800.26
|
? (TO) TT=1800
|
UNSAT TT=8.593
|
? (TO) TT=1800.45
|
UNSAT TT=0.818
|
UNSAT TT=0.51
|
? (MO) TT=1146.65
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/ normalized-pigeon-cardinality-95-90.opb
|
UNSAT TT=0.611
|
? (MO) TT=54.502
|
UNSAT TT=3.032
|
? (MO) TT=831.41
|
? TT=1798.38
|
? (TO) TT=1800.05
|
UNSAT TT=1.988
|
? (TO) TT=1800.38
|
UNSAT TT=0.856
|
UNSAT TT=0.611
|
? (MO) TT=1320.02
|
normalized-PB06/SATUNSAT-SMALLINT/web/ www.ps.uni-sb.de/~walser/benchmarks/ ppp-problems/normalized-ppp:1-11,19,21.opb
|
|
? (MO) TT=1402.42
|
? TT=1798.11
|
? TT=1798.06
|
? TT=1798.1
|
? (TO) TT=1800.07
|
? (TO) TT=1800.27
|
? (TO) TT=1800.57
|
? TT=1794.49
|
? TT=1795.26
|
? (TO) TT=1800.22
|
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/ppp-problems/normalized-ppp:1-12,16.opb
|
SAT TT=0.607 T1=0.6
|
SAT TT=18.222 T1=18.36
|
SAT TT=1.792 T1=1.78
|
SAT TT=0.928 T1=0.92
|
SAT TT=7.87 T1=7.86
|
SAT TT=0.86 T1=0.76
|
? (TO) TT=1800.31
|
? (TO) TT=1800.4
|
? TT=1795.48
|
? TT=1793.92
|
SAT TT=0.607 T1=0.6
|
Bench name | Best results | BoolVar 2009-04-26 (complete) | bsolo 3.1 (complete) | bsolo 3.1 cl (complete) | bsolo 3.1 pb (complete) | pbclasp 2009-04-24 (complete) | SAT4J Pseudo CP 2.1.1 (complete) | SAT4J Pseudo Resolution 2.1.1 (complete) | SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 (complete) | SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete) | wbo 1.0 (complete) |
normalized-PB06/SATUNSAT-SMALLINT/web/ www.ps.uni-sb.de/~walser/benchmarks/ ppp-problems/normalized-ppp:1-13.opb
|
SAT TT=1.29 T1=1.28
|
? (MO) TT=1095.33
|
SAT TT=4.088 T1=4.08
|
SAT TT=30.374 T1=30.36
|
SAT TT=16.927 T1=16.92
|
SAT TT=3.545 T1=3.45
|
? (TO) TT=1800.4
|
? (TO) TT=1800.48
|
? TT=1794.24
|
? TT=1793.92
|
SAT TT=1.29 T1=1.28
|
normalized-PB06/SATUNSAT-SMALLINT/web/ www.ps.uni-sb.de/~walser/benchmarks/ ppp-problems/normalized-ppp:1,3-13,19.opb
|
SAT TT=0.979 T1=0.88
|
? (MO) TT=1240.79
|
SAT TT=8.028 T1=8.02
|
SAT TT=1.833 T1=1.82
|
SAT TT=23.258 T1=23.24
|
SAT TT=0.979 T1=0.88
|
? (TO) TT=1800.34
|
? (TO) TT=1800.46
|
? TT=1795.14
|
? TT=1793.87
|
SAT TT=2.865 T1=2.86
|
normalized-PB06/SATUNSAT-SMALLINT/web/ www.ps.uni-sb.de/~walser/benchmarks/ ppp-problems/normalized-ppp:1-9,16-19.opb
|
|
? (MO) TT=1520.45
|
? TT=1798.19
|
? TT=1798.08
|
? TT=1798.13
|
? (TO) TT=1800
|
? (TO) TT=1800.26
|
? (TO) TT=1800.6
|
? TT=1794.37
|
? TT=1794.91
|
? (TO) TT=1800.24
|
normalized-PB06/SATUNSAT-SMALLINT/web/ www.ps.uni-sb.de/~walser/benchmarks/ ppp-problems/normalized-ppp:3-13,25,26.opb
|
SAT TT=3.548 T1=3.54
|
? (MO) TT=742.038
|
SAT TT=3.548 T1=3.54
|
? TT=1798.07
|
SAT TT=12.269 T1=12.26
|
SAT TT=22.407 T1=22.31
|
? (TO) TT=1800.33
|
? (TO) TT=1800.53
|
? TT=1794.55
|
? TT=1794.08
|
? (TO) TT=1800.2
|
|
Statistics | BoolVar 2009-04-26 (complete) | bsolo 3.1 (complete) | bsolo 3.1 cl (complete) | bsolo 3.1 pb (complete) | pbclasp 2009-04-24 (complete) | SAT4J Pseudo CP 2.1.1 (complete) | SAT4J Pseudo Resolution 2.1.1 (complete) | SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 (complete) | SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete) | wbo 1.0 (complete) |
Number of times the solver is able to give the best known answer | 214 | 219 | 211 | 188 | 237 | 85 | 226 | 229 | 229 | 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) | 4 | 5 | 1 | 3 | 90 | 1 | 32 | 34 | 55 | 31 |