normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/liu/dbst/ normalized-dbst_v30_e350_d15_mw10_1.opb.PB06.opb |
SAT
TT=1.968 T1=1.89
|
? (TO) TT=1800.1
|
SAT TT=58.508 T1=58.46
|
SAT TT=58.557 T1=58.47
|
? (TO) TT=1800.08
|
SAT TT=43.253 T1=43.11
|
SAT TT=4.645 T1=4.49
|
? (MO) TT=73.5
|
SAT TT=29.45 T1=29.4
|
SAT TT=3.546 T1=3.49
|
SAT TT=3.536 T1=3.49
|
SAT TT=6.123 T1=6.08
|
SAT TT=13.223 T1=12.92
|
SAT TT=11.01 T1=10.87
|
SAT TT=9.781 T1=9.64
|
SAT TT=4.406 T1=4.3
|
SAT TT=1.968 T1=1.89
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/liu/dbst/ normalized-dbst_v30_e350_d15_mw10_2.opb.PB06.opb |
SAT
TT=1.935 T1=1.89
|
SAT TT=863.294 T1=863.15
|
SAT TT=57.986 T1=57.96
|
SAT TT=57.787 T1=57.74
|
? (TO) TT=1800.06
|
SAT TT=36.185 T1=36.02
|
SAT TT=4.802 T1=4.69
|
? (MO) TT=75.5
|
SAT TT=29.495 T1=29.35
|
SAT TT=3.544 T1=3.49
|
SAT TT=3.562 T1=3.49
|
SAT TT=6.247 T1=6.18
|
? (TO) TT=1800.25
|
? (TO) TT=1800.35
|
SAT TT=9.979 T1=9.83
|
SAT TT=4.779 T1=4.69
|
SAT TT=1.935 T1=1.89
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/liu/dbst/ normalized-dbst_v30_e350_d15_mw10_3.opb.PB06.opb |
SAT
TT=3.55 T1=3.09
|
? (TO) TT=1800.11
|
SAT TT=58.463 T1=58.36
|
SAT TT=58.574 T1=58.48
|
? (TO) TT=1800.11
|
SAT TT=34.19 T1=34.02
|
SAT TT=4.764 T1=4.69
|
? (MO) TT=74.09
|
SAT TT=32.302 T1=32.21
|
SAT TT=3.567 T1=3.49
|
SAT TT=3.55 T1=3.49
|
SAT TT=8.219 T1=8.18
|
SAT TT=15.818 T1=15.68
|
SAT TT=19.455 T1=19.31
|
SAT TT=9.646 T1=9.44
|
SAT TT=5.325 T1=5.29
|
SAT TT=6.288 T1=3.09
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/liu/dbst/ normalized-dbst_v30_e350_d15_mw10_8.opb.PB06.opb |
SAT
TT=1.846 T1=1.79
|
? (TO) TT=1800.1
|
SAT TT=57.954 T1=57.87
|
SAT TT=57.875 T1=57.75
|
? (TO) TT=1800.14
|
SAT TT=41.175 T1=41.08
|
SAT TT=4.801 T1=4.69
|
? (MO) TT=72.84
|
SAT TT=32.276 T1=32.16
|
SAT TT=3.341 T1=3.29
|
SAT TT=3.548 T1=3.49
|
SAT TT=30.991 T1=30.88
|
? (TO) TT=1800.23
|
? (TO) TT=1800.27
|
SAT TT=10.147 T1=9.85
|
SAT TT=4.56 T1=4.49
|
SAT TT=1.846 T1=1.79
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/liu/dbst/ normalized-dbst_v30_e350_d15_mw10_9.opb.PB06.opb |
SAT
TT=2.549 T1=2.49
|
? (TO) TT=1800.18
|
SAT TT=57.697 T1=57.58
|
SAT TT=57.824 T1=57.77
|
? (TO) TT=1800.15
|
SAT TT=31.162 T1=31.03
|
SAT TT=5.23 T1=5.09
|
? (MO) TT=72.26
|
SAT TT=29.534 T1=29.46
|
SAT TT=3.563 T1=3.49
|
SAT TT=3.571 T1=3.49
|
SAT TT=72.363 T1=72.26
|
SAT TT=15.206 T1=15.05
|
SAT TT=12.899 T1=12.8
|
SAT TT=10.074 T1=9.86
|
SAT TT=6.042 T1=5.99
|
SAT TT=2.549 T1=2.49
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/liu/dbst/ normalized-dbst_v40_e600_d20_mw10_0.opb.PB06.opb |
SAT
TT=5.43 T1=5.29
|
? (TO) TT=1800.17
|
SAT TT=187.187 T1=187.14
|
SAT TT=186.284 T1=186.23
|
? (TO) TT=1800.14
|
SAT TT=87.957 T1=87.86
|
SAT TT=15.172 T1=14.98
|
? (MO) TT=141.4
|
SAT TT=126.344 T1=126.23
|
SAT TT=11.108 T1=11.08
|
SAT TT=11.078 T1=10.99
|
SAT TT=21.997 T1=21.88
|
? (TO) TT=1800.29
|
? (TO) TT=1800.23
|
SAT TT=21.997 T1=21.82
|
SAT TT=17.445 T1=17.38
|
SAT TT=5.43 T1=5.29
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/liu/dbst/ normalized-dbst_v40_e600_d20_mw10_2.opb.PB06.opb |
SAT
TT=6.11 T1=5.98
|
? (TO) TT=1800.14
|
SAT TT=187.107 T1=187.04
|
SAT TT=186.277 T1=186.22
|
? (TO) TT=1800.18
|
SAT TT=100.184 T1=100.03
|
SAT TT=13.715 T1=13.48
|
? (MO) TT=142.64
|
SAT TT=103.118 T1=103.05
|
SAT TT=11.079 T1=10.99
|
SAT TT=11.112 T1=11.08
|
SAT TT=21.375 T1=21.29
|
SAT TT=43.239 T1=43.05
|
SAT TT=24.406 T1=24.19
|
SAT TT=22.058 T1=21.9
|
SAT TT=15.412 T1=15.27
|
SAT TT=6.11 T1=5.98
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/liu/dbst/ normalized-dbst_v40_e600_d20_mw10_5.opb.PB06.opb |
SAT
TT=5.774 T1=5.69
|
? (TO) TT=1800.23
|
SAT TT=187.23 T1=187.15
|
SAT TT=186.294 T1=186.24
|
? (TO) TT=1800.18
|
SAT TT=242.152 T1=242
|
SAT TT=13.324 T1=13.1
|
? (MO) TT=142.795
|
SAT TT=95.383 T1=95.29
|
SAT TT=11.094 T1=10.99
|
SAT TT=11.027 T1=10.99
|
SAT TT=20.771 T1=20.69
|
SAT TT=24.308 T1=24.16
|
SAT TT=23.669 T1=23.55
|
SAT TT=21.741 T1=21.53
|
SAT TT=14.066 T1=13.98
|
SAT TT=5.774 T1=5.69
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/liu/dbst/ normalized-dbst_v40_e600_d20_mw10_6.opb.PB06.opb |
SAT
TT=6.586 T1=6.49
|
? (TO) TT=1800.16
|
SAT TT=187.001 T1=186.9
|
SAT TT=186.304 T1=186.23
|
? (TO) TT=1800.2
|
SAT TT=202.772 T1=202.6
|
SAT TT=13.29 T1=13.09
|
? (MO) TT=142.13
|
SAT TT=109.019 T1=108.9
|
SAT TT=11.035 T1=10.99
|
SAT TT=11.039 T1=10.98
|
SAT TT=23.047 T1=22.98
|
SAT TT=24.552 T1=24.39
|
SAT TT=23.057 T1=22.96
|
SAT TT=22.249 T1=22.06
|
SAT TT=15.682 T1=15.58
|
SAT TT=6.586 T1=6.49
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/liu/dbst/ normalized-dbst_v40_e600_d20_mw10_9.opb.PB06.opb |
SAT
TT=6.101 T1=5.99
|
? (TO) TT=1800.24
|
SAT TT=187.202 T1=187.11
|
SAT TT=186.292 T1=186.24
|
? (TO) TT=1800.18
|
SAT TT=103.31 T1=103.15
|
SAT TT=13.317 T1=13.09
|
? (MO) TT=141.8
|
SAT TT=111.34 T1=111.27
|
SAT TT=11.072 T1=11
|
SAT TT=11.047 T1=10.99
|
SAT TT=21.221 T1=21.14
|
SAT TT=24.156 T1=23.88
|
SAT TT=22.198 T1=22.03
|
SAT TT=21.623 T1=21.49
|
SAT TT=13.254 T1=13.19
|
SAT TT=6.101 T1=5.99
|
Bench name | Best results on this instance | absconPseudo 102 | bsolo 3.0.16 | bsolo 3.0.17 | glpPB 0.2 | minisat+ 1.14 | oree 0.1.2 alpha | PB-clasp 2007-03-23 | PB-clasp 2007-04-10 | PBS4 2007-03-23 | PBS4_v2 2007-03-23 | Pueblo 1.4 | sat4jPseudoCP 2007-03-23 | sat4jPseudoCPClause 2007-03-23 | SAT4JPseudoResolution 2007-03-23 | wildcat-rnp 2007-03-21 | wildcat-skc 2007-03-21 |
---|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/liu/dbst/ normalized-dbst_v50_e1000_d25_mw10_1.opb.PB06.opb |
SAT
TT=15.116 T1=14.99
|
? (TO) TT=1800.25
|
SAT TT=198.706 T1=198.54
|
SAT TT=197.888 T1=197.79
|
? (exit code) TT=1581.53
|
SAT TT=222.843 T1=222.57
|
SAT TT=36.866 T1=36.37
|
? (MO) TT=302.95
|
SAT TT=362.02 T1=361.92
|
SAT TT=30.239 T1=30.18
|
SAT TT=28.13 T1=28.08
|
SAT TT=569.926 T1=569.75
|
? (TO) TT=1800.26
|
? (TO) TT=1800.29
|
SAT TT=50.495 T1=50.37
|
SAT TT=44.44 T1=44.27
|
SAT TT=15.116 T1=14.99
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/liu/dbst/ normalized-dbst_v50_e1000_d25_mw10_3.opb.PB06.opb |
SAT
TT=14.275 T1=14.09
|
? (TO) TT=1800.31
|
SAT TT=198.633 T1=198.52
|
SAT TT=198.01 T1=197.84
|
? (TO) TT=1800.28
|
SAT TT=1123.36 T1=1123.07
|
SAT TT=37.091 T1=36.58
|
? (MO) TT=301.779
|
SAT TT=289.14 T1=289.05
|
SAT TT=30.146 T1=30.08
|
SAT TT=30.014 T1=29.88
|
SAT TT=77.527 T1=77.37
|
SAT TT=57.319 T1=57.09
|
SAT TT=52.466 T1=52.25
|
SAT TT=50.282 T1=50.06
|
SAT TT=42.779 T1=42.67
|
SAT TT=14.275 T1=14.09
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/liu/dbst/ normalized-dbst_v50_e1000_d25_mw10_5.opb.PB06.opb |
SAT
TT=14.425 T1=14.28
|
? (TO) TT=1800.23
|
SAT TT=198.675 T1=198.53
|
SAT TT=197.961 T1=197.84
|
? (exit code) TT=1484.01
|
SAT TT=193.404 T1=193.16
|
SAT TT=35.597 T1=35.06
|
? (MO) TT=302.12
|
SAT TT=393.768 T1=393.64
|
SAT TT=30.115 T1=30.07
|
SAT TT=30.044 T1=29.98
|
SAT TT=71.897 T1=71.76
|
? (TO) TT=1800.3
|
SAT TT=52.41 T1=52.17
|
SAT TT=49.82 T1=49.64
|
SAT TT=41.606 T1=41.48
|
SAT TT=14.425 T1=14.28
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/liu/dbst/ normalized-dbst_v50_e1000_d25_mw10_6.opb.PB06.opb |
SAT
TT=13.985 T1=13.87
|
? (TO) TT=1800.29
|
SAT TT=198.475 T1=198.28
|
SAT TT=198.03 T1=197.85
|
? (TO) TT=1800.35
|
SAT TT=665.228 T1=664.97
|
SAT TT=37.223 T1=36.77
|
? (MO) TT=302.45
|
SAT TT=417.025 T1=416.93
|
SAT TT=30.118 T1=29.98
|
SAT TT=29.946 T1=29.88
|
SAT TT=413.621 T1=413.49
|
SAT TT=55.264 T1=55.03
|
SAT TT=54.816 T1=54.54
|
SAT TT=48.062 T1=47.9
|
SAT TT=39.073 T1=38.88
|
SAT TT=13.985 T1=13.87
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/liu/dbst/ normalized-dbst_v50_e1000_d25_mw10_9.opb.PB06.opb |
SAT
TT=15.188 T1=14.98
|
? (TO) TT=1800.23
|
SAT TT=198.569 T1=198.42
|
SAT TT=198.034 T1=197.93
|
? (exit code) TT=1456.72
|
SAT TT=562.452 T1=562.14
|
SAT TT=36.94 T1=36.47
|
? (MO) TT=300.41
|
SAT TT=362.324 T1=362.26
|
SAT TT=29.949 T1=29.87
|
SAT TT=29.789 T1=29.67
|
SAT TT=62.52 T1=62.36
|
SAT TT=57.466 T1=57.31
|
SAT TT=55.795 T1=55.64
|
SAT TT=51.32 T1=51.2
|
SAT TT=37.369 T1=37.17
|
SAT TT=15.188 T1=14.98
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/liu/vdw/ normalized-vdw_k3_l5_n550.opb |
SAT
TT=14.968 T1=14.88
|
? (TO) TT=1800.26
|
? (TO) TT=1800.07
|
? (TO) TT=1800.13
|
? (TO) TT=1800.05
|
? (TO) TT=1800.09
|
? (TO) TT=1800.14
|
SAT TT=37.726 T1=37.64
|
? (TO) TT=1800.07
|
? (TO) TT=1800.1
|
? (TO) TT=1800.08
|
? (TO) TT=1800.11
|
? (TO) TT=1800.2
|
? (TO) TT=1800.28
|
? (TO) TT=1800.22
|
SAT TT=1337.04 T1=1336.95
|
SAT TT=14.968 T1=14.88
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/liu/vdw/ normalized-vdw_k3_l6_n1500.opb |
SAT
TT=11.17 T1=11.08
|
? TT=10.846
|
SAT TT=189.483 T1=189.44
|
SAT TT=188.539 T1=188.42
|
? (TO) TT=1800.18
|
SAT TT=44.183 T1=44.05
|
SAT TT=26.549 T1=26.39
|
SAT TT=112.621 T1=112.57
|
SAT TT=87.708 T1=87.58
|
SAT TT=14.354 T1=14.29
|
SAT TT=14.285 T1=14.19
|
SAT TT=22.032 T1=21.98
|
SAT TT=22.846 T1=22.63
|
SAT TT=22.368 T1=22.16
|
SAT TT=21.954 T1=21.84
|
? (TO) TT=1800.09
|
SAT TT=11.17 T1=11.08
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/liu/vdw/ normalized-vdw_k4_l4_n360.opb |
SAT
TT=3.335 T1=3.29
|
? (TO) TT=1800.18
|
? TT=1800.06
|
? (TO) TT=1800.09
|
? (TO) TT=1800.09
|
? (TO) TT=1800.04
|
? (TO) TT=1800.43
|
? (TO) TT=1800.09
|
? (TO) TT=1800.02
|
? (TO) TT=1800.04
|
? (TO) TT=1800.05
|
? (TO) TT=1800.11
|
? (TO) TT=1800.18
|
? (TO) TT=1800.17
|
? (TO) TT=1800.27
|
? (TO) TT=1800.02
|
SAT TT=3.335 T1=3.29
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/liu/vdw/ normalized-vdw_k5_l4_n750.opb |
SAT
TT=31.218 T1=31.18
|
? TT=10.835
|
? (TO) TT=1800.2
|
? (TO) TT=1800.19
|
? (TO) TT=1800.09
|
? (TO) TT=1800.18
|
? (TO) TT=1800.73
|
? (TO) TT=1800.08
|
? (TO) TT=1800
|
? (TO) TT=1800.06
|
? (TO) TT=1800.1
|
? (TO) TT=1800.09
|
? (TO) TT=1800.18
|
? (TO) TT=1800.18
|
? (TO) TT=1800.28
|
? (TO) TT=1800.05
|
SAT TT=31.218 T1=31.18
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/liu/vdw/ normalized-vdw_k6_l3_n170.opb |
SAT
TT=9.874 T1=9.8
|
? (TO) TT=1800.05
|
? (TO) TT=1800.05
|
? (TO) TT=1800.08
|
? (TO) TT=1800.1
|
? (TO) TT=1800.1
|
? (TO) TT=1800.17
|
? (TO) TT=1800.01
|
? (TO) TT=1800
|
? (TO) TT=1800.05
|
? (TO) TT=1800.04
|
? (TO) TT=1800.02
|
? (TO) TT=1800.23
|
? (TO) TT=1800.16
|
? (TO) TT=1800.24
|
? (TO) TT=1800.1
|
SAT TT=9.874 T1=9.8
|
Bench name | Best results on this instance | absconPseudo 102 | bsolo 3.0.16 | bsolo 3.0.17 | glpPB 0.2 | minisat+ 1.14 | oree 0.1.2 alpha | PB-clasp 2007-03-23 | PB-clasp 2007-04-10 | PBS4 2007-03-23 | PBS4_v2 2007-03-23 | Pueblo 1.4 | sat4jPseudoCP 2007-03-23 | sat4jPseudoCPClause 2007-03-23 | SAT4JPseudoResolution 2007-03-23 | wildcat-rnp 2007-03-21 | wildcat-skc 2007-03-21 |
---|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900544463.opb |
SAT
TT=0.243 T1=0
|
SAT TT=18.929 T1=18.83
|
SAT TT=12.724 T1=12.67
|
SAT TT=12.668 T1=12.57
|
SAT TT=168.201 T1=168.15
|
SAT TT=12.915 T1=12.87
|
SAT TT=1075.64 T1=1075.53
|
SAT TT=17.203 T1=17.14
|
SAT TT=0.815 T1=0
|
SAT TT=0.675 T1=0.59
|
SAT TT=0.682 T1=0.59
|
SAT TT=9.365 T1=9.29
|
? (TO) TT=1800.28
|
? (TO) TT=1800.22
|
SAT TT=8.025 T1=7.92
|
SAT TT=0.243 T1=0.19
|
SAT TT=1.048 T1=1
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900544484.opb |
UNSAT
TT=36.733
|
? (TO) TT=1800.14
|
UNSAT TT=1548.41
|
UNSAT TT=1554.36
|
? (TO) TT=1800.03
|
UNSAT TT=50.656
|
? (TO) TT=1800.24
|
UNSAT TT=252.247
|
UNSAT TT=36.733
|
UNSAT TT=445.84
|
UNSAT TT=446.734
|
UNSAT TT=167.629
|
? (TO) TT=1800.19
|
? (TO) TT=1800.19
|
UNSAT TT=78.103
|
? (TO) TT=1800.09
|
? (TO) TT=1800.1
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900545610.opb |
UNSAT
TT=90.275
|
? (TO) TT=1800.14
|
? TT=1800
|
? (TO) TT=1800.02
|
? (TO) TT=1800.08
|
UNSAT TT=395.557
|
? (TO) TT=1800.09
|
UNSAT TT=407.618
|
UNSAT TT=90.275
|
UNSAT TT=1238.06
|
UNSAT TT=1238.5
|
UNSAT TT=576.105
|
? (TO) TT=1800.21
|
? (TO) TT=1800.16
|
UNSAT TT=105.182
|
? (TO) TT=1800.02
|
? (TO) TT=1800.05
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900546076.opb |
UNSAT
TT=4.993
|
? (TO) TT=1800.1
|
UNSAT TT=1666.13
|
UNSAT TT=1662.7
|
? (TO) TT=1800.05
|
UNSAT TT=6.944
|
UNSAT TT=1398.55
|
UNSAT TT=98.705
|
UNSAT TT=8.508
|
UNSAT TT=200.564
|
UNSAT TT=201.311
|
UNSAT TT=75.42
|
? (TO) TT=1800.2
|
? (TO) TT=1800.35
|
UNSAT TT=4.993
|
? (TO) TT=1800.05
|
? (TO) TT=1800.1
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900546417.opb |
UNSAT
TT=29.867
|
? (TO) TT=1800.2
|
? TT=1800.01
|
? (TO) TT=1800.08
|
? (TO) TT=1800.03
|
UNSAT TT=893.109
|
? (TO) TT=1800.1
|
UNSAT TT=339.951
|
UNSAT TT=63.966
|
UNSAT TT=1504.3
|
UNSAT TT=1506.52
|
UNSAT TT=320.562
|
? (TO) TT=1800.2
|
? (TO) TT=1800.21
|
UNSAT TT=29.867
|
? (TO) TT=1800.08
|
? (TO) TT=1800.05
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900547334.opb |
SAT
TT=0.36 T1=0
|
SAT TT=139.589 T1=139.55
|
SAT TT=35.58 T1=35.48
|
SAT TT=36.091 T1=36.07
|
SAT TT=229.586 T1=229.51
|
SAT TT=5.779 T1=5.69
|
? (TO) TT=1800.25
|
SAT TT=3.515 T1=3.44
|
SAT TT=0.522 T1=0
|
SAT TT=28.038 T1=27.98
|
SAT TT=28.077 T1=27.98
|
SAT TT=12.895 T1=12.88
|
? (TO) TT=1800.12
|
? (TO) TT=1800.2
|
SAT TT=3.692 T1=3.66
|
SAT TT=0.36 T1=0.29
|
SAT TT=4.899 T1=4.79
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900547353.opb |
SAT
TT=0.432 T1=0
|
SAT TT=4.971 T1=4.92
|
SAT TT=6.86 T1=6.78
|
SAT TT=7.018 T1=6.99
|
SAT TT=344.157 T1=344.05
|
SAT TT=10.654 T1=10.58
|
SAT TT=456.81 T1=456.79
|
SAT TT=1.078 T1=0
|
SAT TT=0.432 T1=0
|
SAT TT=8.395 T1=8.29
|
SAT TT=8.402 T1=8.39
|
SAT TT=4.097 T1=3.99
|
? (TO) TT=1800.22
|
? (TO) TT=1800.23
|
SAT TT=1.818 T1=1.79
|
SAT TT=0.557 T1=0.49
|
SAT TT=0.554 T1=0.49
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900547389.opb |
UNSAT
TT=119.797
|
? (TO) TT=1800.09
|
UNSAT TT=1746.64
|
UNSAT TT=1741.78
|
? (TO) TT=1800.06
|
? (TO) TT=1800.11
|
? (TO) TT=1800.19
|
UNSAT TT=367.561
|
UNSAT TT=136.052
|
UNSAT TT=1474.72
|
UNSAT TT=1419.11
|
UNSAT TT=258.17
|
? (TO) TT=1800.21
|
? (TO) TT=1800.19
|
UNSAT TT=119.797
|
? (TO) TT=1800.03
|
? (TO) TT=1800.06
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900547416.opb |
SAT
TT=0.275 T1=0.19
|
SAT TT=4.872 T1=4.82
|
SAT TT=23.499 T1=23.48
|
SAT TT=24.521 T1=24.49
|
SAT TT=68.056 T1=67.97
|
SAT TT=32.484 T1=32.38
|
? (TO) TT=1800.12
|
SAT TT=3.464 T1=3.34
|
SAT TT=3.445 T1=3.39
|
SAT TT=1.805 T1=1.79
|
SAT TT=1.79 T1=1.69
|
SAT TT=5.556 T1=5.45
|
? (TO) TT=1800.24
|
? (TO) TT=1800.27
|
SAT TT=6.435 T1=6.33
|
SAT TT=0.275 T1=0.19
|
SAT TT=0.376 T1=0.3
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900547427.opb |
SAT
TT=0.067 T1=0
|
SAT TT=2.25 T1=2.2
|
SAT TT=4.8 T1=4.69
|
SAT TT=4.812 T1=4.79
|
SAT TT=671.349 T1=671.31
|
SAT TT=17.16 T1=17.09
|
? (TO) TT=1800.18
|
SAT TT=0.889 T1=0
|
SAT TT=0.879 T1=0
|
SAT TT=0.825 T1=0.79
|
SAT TT=0.829 T1=0.79
|
SAT TT=0.445 T1=0.39
|
? (TO) TT=1800.21
|
? (TO) TT=1800.17
|
SAT TT=2.632 T1=2.61
|
SAT TT=0.067 T1=0.06
|
SAT TT=0.403 T1=0.39
|
Bench name | Best results on this instance | absconPseudo 102 | bsolo 3.0.16 | bsolo 3.0.17 | glpPB 0.2 | minisat+ 1.14 | oree 0.1.2 alpha | PB-clasp 2007-03-23 | PB-clasp 2007-04-10 | PBS4 2007-03-23 | PBS4_v2 2007-03-23 | Pueblo 1.4 | sat4jPseudoCP 2007-03-23 | sat4jPseudoCPClause 2007-03-23 | SAT4JPseudoResolution 2007-03-23 | wildcat-rnp 2007-03-21 | wildcat-skc 2007-03-21 |
---|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900547461.opb |
SAT
TT=0.556 T1=0.49
|
SAT TT=12.539 T1=12.52
|
SAT TT=9.112 T1=9.08
|
SAT TT=9.044 T1=8.97
|
SAT TT=580.244 T1=580.23
|
SAT TT=30.589 T1=30.57
|
? (TO) TT=1800.19
|
SAT TT=5.458 T1=5.34
|
SAT TT=1.177 T1=1.08
|
SAT TT=8.912 T1=8.88
|
SAT TT=9.407 T1=9.39
|
SAT TT=14.051 T1=13.98
|
? (TO) TT=1800.14
|
? (TO) TT=1800.22
|
SAT TT=2.47 T1=2.35
|
SAT TT=2.252 T1=2.2
|
SAT TT=0.556 T1=0.49
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900548667.opb |
UNSAT
TT=247.211
|
? (TO) TT=1800.1
|
? TT=1800.01
|
? (TO) TT=1800.02
|
? (TO) TT=1800.06
|
? (TO) TT=1800.05
|
? (TO) TT=1800.31
|
UNSAT TT=944.167
|
UNSAT TT=247.211
|
? (TO) TT=1800.05
|
? (TO) TT=1800.08
|
UNSAT TT=791.075
|
? (TO) TT=1800.23
|
? (TO) TT=1800.23
|
UNSAT TT=871.461
|
? (TO) TT=1800.1
|
? (TO) TT=1800.06
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900549974.opb |
SAT
TT=0.227 T1=0
|
SAT TT=76.221 T1=76.15
|
SAT TT=9.964 T1=9.89
|
SAT TT=9.972 T1=9.89
|
SAT TT=555.851 T1=555.74
|
SAT TT=12.639 T1=12.59
|
? (TO) TT=1800.27
|
SAT TT=4.538 T1=4.44
|
SAT TT=0.33 T1=0
|
SAT TT=8.797 T1=8.69
|
SAT TT=8.83 T1=8.79
|
SAT TT=17.512 T1=17.49
|
? (TO) TT=1800.22
|
? (TO) TT=1800.17
|
SAT TT=11.378 T1=11.32
|
SAT TT=0.602 T1=0.59
|
SAT TT=0.227 T1=0.19
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900550006.opb |
UNSAT
TT=153.987
|
? (TO) TT=1800.11
|
? TT=1800.01
|
? (TO) TT=1800.07
|
? (TO) TT=1800.02
|
? (TO) TT=1800.04
|
? (TO) TT=1800.04
|
UNSAT TT=510.469
|
UNSAT TT=153.987
|
? (TO) TT=1800.06
|
? (TO) TT=1800.05
|
UNSAT TT=736.888
|
? (TO) TT=1800.23
|
? (TO) TT=1800.15
|
UNSAT TT=1131.22
|
? (TO) TT=1800.06
|
? (TO) TT=1800.06
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900550720.opb |
UNSAT
TT=128.886
|
? (TO) TT=1800.04
|
? TT=1800.01
|
? (TO) TT=1800.03
|
? (TO) TT=1800.08
|
UNSAT TT=577.276
|
? (TO) TT=1800.09
|
UNSAT TT=527.165
|
UNSAT TT=128.886
|
? (TO) TT=1800.13
|
? (TO) TT=1800.13
|
UNSAT TT=621.817
|
? (TO) TT=1800.21
|
? (TO) TT=1800.17
|
UNSAT TT=1007.18
|
? (TO) TT=1800.03
|
? (TO) TT=1800.07
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900551347.opb |
UNSAT
TT=11.578
|
? (TO) TT=1800.14
|
UNSAT TT=1146.93
|
UNSAT TT=1136.4
|
? (TO) TT=1800.09
|
UNSAT TT=737.141
|
? (TO) TT=1800.06
|
UNSAT TT=220.94
|
UNSAT TT=21.464
|
UNSAT TT=408.61
|
UNSAT TT=407.926
|
UNSAT TT=133.768
|
? (TO) TT=1800.21
|
? (TO) TT=1800.12
|
UNSAT TT=11.578
|
? (TO) TT=1800.07
|
? (TO) TT=1800.07
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900551864.opb |
UNSAT
TT=7.672
|
? (TO) TT=1800.12
|
UNSAT TT=1345.9
|
UNSAT TT=1346.34
|
? (TO) TT=1800.06
|
UNSAT TT=176.645
|
? (TO) TT=1800.21
|
UNSAT TT=170.634
|
UNSAT TT=25.314
|
UNSAT TT=424.461
|
UNSAT TT=425.365
|
UNSAT TT=119.602
|
? (TO) TT=1800.22
|
? (TO) TT=1800.18
|
UNSAT TT=7.672
|
? (TO) TT=1800.03
|
? (TO) TT=1800.04
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900552288.opb |
UNSAT
TT=99.774
|
? (TO) TT=1800.14
|
? TT=1800
|
? (TO) TT=1800.06
|
? (TO) TT=1800.08
|
UNSAT TT=112.125
|
? (TO) TT=1800.08
|
UNSAT TT=411.489
|
UNSAT TT=99.774
|
UNSAT TT=1137.87
|
UNSAT TT=1136.19
|
UNSAT TT=186.407
|
? (TO) TT=1800.16
|
? (TO) TT=1800.18
|
UNSAT TT=273.283
|
? (TO) TT=1800.09
|
? (TO) TT=1800.07
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900552311.opb |
SAT
TT=0.257 T1=0
|
SAT TT=10.556 T1=10.51
|
SAT TT=15.458 T1=15.39
|
SAT TT=15.572 T1=15.49
|
SAT TT=16.736 T1=16.67
|
SAT TT=9.273 T1=9.18
|
? (TO) TT=1800.19
|
SAT TT=8.502 T1=8.43
|
SAT TT=0.794 T1=0
|
SAT TT=0.257 T1=0.19
|
SAT TT=0.257 T1=0.19
|
SAT TT=0.789 T1=0.69
|
? (TO) TT=1800.15
|
? (TO) TT=1800.17
|
SAT TT=3.143 T1=3.06
|
SAT TT=0.542 T1=0.49
|
SAT TT=2.808 T1=2.79
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900552423.opb |
UNSAT
TT=1.403
|
? (TO) TT=1800.14
|
UNSAT TT=711.62
|
UNSAT TT=707.526
|
? (TO) TT=1800.03
|
UNSAT TT=10.35
|
UNSAT TT=317.06
|
UNSAT TT=61.57
|
UNSAT TT=1.403
|
UNSAT TT=29.18
|
UNSAT TT=30.838
|
UNSAT TT=17.656
|
? (TO) TT=1800.19
|
? (TO) TT=1800.23
|
UNSAT TT=2.673
|
? (TO) TT=1800.05
|
? (TO) TT=1800.05
|
Bench name | Best results on this instance | absconPseudo 102 | bsolo 3.0.16 | bsolo 3.0.17 | glpPB 0.2 | minisat+ 1.14 | oree 0.1.2 alpha | PB-clasp 2007-03-23 | PB-clasp 2007-04-10 | PBS4 2007-03-23 | PBS4_v2 2007-03-23 | Pueblo 1.4 | sat4jPseudoCP 2007-03-23 | sat4jPseudoCPClause 2007-03-23 | SAT4JPseudoResolution 2007-03-23 | wildcat-rnp 2007-03-21 | wildcat-skc 2007-03-21 |
---|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900552735.opb |
UNSAT
TT=63.158
|
? (TO) TT=1800.12
|
? TT=1800.01
|
? (TO) TT=1800.07
|
? (TO) TT=1800.07
|
UNSAT TT=63.158
|
? (TO) TT=1800.07
|
UNSAT TT=382.614
|
UNSAT TT=84.055
|
UNSAT TT=1285.37
|
UNSAT TT=1287.67
|
UNSAT TT=169.519
|
? (TO) TT=1800.21
|
? (TO) TT=1800.17
|
UNSAT TT=1003.95
|
? (TO) TT=1800.05
|
? (TO) TT=1800.04
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900553606.opb |
SAT
TT=1.134 T1=1.1
|
SAT TT=129.595 T1=129.51
|
SAT TT=106.007 T1=105.95
|
SAT TT=106.445 T1=106.35
|
SAT TT=1372.28 T1=1372.24
|
SAT TT=21.004 T1=20.98
|
SAT TT=238.174 T1=238.12
|
SAT TT=4.642 T1=4.54
|
SAT TT=3.944 T1=3.88
|
SAT TT=1.134 T1=1.1
|
SAT TT=1.145 T1=1.1
|
SAT TT=11.091 T1=10.99
|
? (TO) TT=1800.33
|
? (TO) TT=1800.21
|
SAT TT=2.013 T1=1.89
|
SAT TT=2.344 T1=2.29
|
SAT TT=6.558 T1=6.5
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900553644.opb |
SAT
TT=0.062 T1=0
|
SAT TT=73.212 T1=73.1
|
SAT TT=2.21 T1=2.18
|
SAT TT=2.39 T1=2.29
|
SAT TT=26.393 T1=26.29
|
SAT TT=0.785 T1=0.68
|
SAT TT=1.634 T1=1.59
|
SAT TT=1.713 T1=1.64
|
SAT TT=0.352 T1=0
|
SAT TT=0.129 T1=0.09
|
SAT TT=0.12 T1=0.1
|
SAT TT=0.251 T1=0.19
|
? (TO) TT=1800.21
|
? (TO) TT=1800.16
|
SAT TT=4.06 T1=3.99
|
SAT TT=0.062 T1=0
|
SAT TT=0.075 T1=0.07
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900553647.opb |
UNSAT
TT=96.8
|
? (TO) TT=1800.15
|
? TT=1800.01
|
? (TO) TT=1800.04
|
? (TO) TT=1800.09
|
UNSAT TT=403.638
|
? (TO) TT=1800.21
|
UNSAT TT=354.695
|
UNSAT TT=96.8
|
UNSAT TT=1499.47
|
UNSAT TT=1502.12
|
UNSAT TT=428.132
|
? (TO) TT=1800.19
|
? (TO) TT=1800.16
|
UNSAT TT=254.339
|
? (TO) TT=1800.03
|
? (TO) TT=1800.08
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900553812.opb |
UNSAT
TT=18.75
|
? (TO) TT=1800.06
|
UNSAT TT=1597.34
|
UNSAT TT=1595.93
|
? (TO) TT=1800.05
|
UNSAT TT=41.969
|
? (TO) TT=1800.18
|
UNSAT TT=182.936
|
UNSAT TT=18.75
|
UNSAT TT=350.457
|
UNSAT TT=350.121
|
UNSAT TT=68.974
|
? (TO) TT=1800.13
|
? (TO) TT=1800.22
|
UNSAT TT=65.676
|
? (TO) TT=1800.09
|
? (TO) TT=1800.07
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900554067.opb |
SAT
TT=0.242 T1=0
|
SAT TT=36.901 T1=36.8
|
SAT TT=4.572 T1=4.49
|
SAT TT=4.647 T1=4.59
|
SAT TT=208.754 T1=208.71
|
SAT TT=2.587 T1=2.49
|
? (TO) TT=1800.08
|
SAT TT=1.283 T1=1.24
|
SAT TT=0.288 T1=0
|
SAT TT=0.833 T1=0.79
|
SAT TT=0.843 T1=0.79
|
SAT TT=1.778 T1=1.69
|
? (TO) TT=1800.17
|
? (TO) TT=1800.14
|
SAT TT=2.129 T1=2.03
|
SAT TT=0.242 T1=0.19
|
SAT TT=1.056 T1=1
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900554072.opb |
UNSAT
TT=11.883
|
? (TO) TT=1800.08
|
? TT=1800.01
|
? (TO) TT=1800.04
|
? (TO) TT=1800.05
|
UNSAT TT=88.431
|
? (TO) TT=1800.12
|
UNSAT TT=268.042
|
UNSAT TT=36.301
|
UNSAT TT=540.991
|
UNSAT TT=518.353
|
UNSAT TT=191.165
|
? (TO) TT=1800.19
|
? (TO) TT=1800.2
|
UNSAT TT=11.883
|
? (TO) TT=1800.02
|
? (TO) TT=1800.12
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900554154.opb |
SAT
TT=0.081 T1=0
|
SAT TT=20.836 T1=20.81
|
SAT TT=0.45 T1=0.39
|
SAT TT=0.457 T1=0.39
|
SAT TT=43.445 T1=43.37
|
SAT TT=0.9 T1=0.79
|
SAT TT=30.336 T1=30.29
|
SAT TT=1.198 T1=1.14
|
SAT TT=2.834 T1=2.78
|
SAT TT=0.081 T1=0
|
SAT TT=0.083 T1=0.06
|
SAT TT=5.879 T1=5.79
|
? (TO) TT=1800.2
|
? (TO) TT=1800.18
|
SAT TT=8.214 T1=8.13
|
SAT TT=0.323 T1=0.3
|
SAT TT=0.176 T1=0.09
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900554373.opb |
SAT
TT=0.065 T1=0
|
SAT TT=9.8 T1=9.73
|
SAT TT=3.499 T1=3.49
|
SAT TT=3.599 T1=3.49
|
SAT TT=162.581 T1=162.53
|
SAT TT=0.557 T1=0.49
|
? (TO) TT=1800.07
|
SAT TT=1.483 T1=1.44
|
SAT TT=0.309 T1=0
|
SAT TT=0.802 T1=0.69
|
SAT TT=0.801 T1=0.69
|
SAT TT=0.456 T1=0.39
|
SAT TT=399.029 T1=398.88
|
? (TO) TT=1800.19
|
SAT TT=1.577 T1=1.37
|
SAT TT=0.065 T1=0
|
SAT TT=0.593 T1=0.49
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900554375.opb |
SAT
TT=0.085 T1=0
|
SAT TT=1.341 T1=1.31
|
SAT TT=1.998 T1=1.89
|
SAT TT=2.017 T1=1.99
|
SAT TT=109.016 T1=108.96
|
SAT TT=10.653 T1=10.58
|
? (TO) TT=1800.08
|
SAT TT=1.707 T1=1.65
|
SAT TT=0.279 T1=0
|
SAT TT=2.491 T1=2.4
|
SAT TT=2.518 T1=2.49
|
SAT TT=4.06 T1=3.99
|
SAT TT=260.591 T1=260.48
|
? (TO) TT=1800.18
|
SAT TT=5.282 T1=5.17
|
SAT TT=0.085 T1=0.06
|
SAT TT=1.784 T1=1.69
|
Bench name | Best results on this instance | absconPseudo 102 | bsolo 3.0.16 | bsolo 3.0.17 | glpPB 0.2 | minisat+ 1.14 | oree 0.1.2 alpha | PB-clasp 2007-03-23 | PB-clasp 2007-04-10 | PBS4 2007-03-23 | PBS4_v2 2007-03-23 | Pueblo 1.4 | sat4jPseudoCP 2007-03-23 | sat4jPseudoCPClause 2007-03-23 | SAT4JPseudoResolution 2007-03-23 | wildcat-rnp 2007-03-21 | wildcat-skc 2007-03-21 |
---|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900554389.opb |
SAT
TT=0.066 T1=0
|
SAT TT=4.076 T1=4.03
|
SAT TT=3.867 T1=3.79
|
SAT TT=3.876 T1=3.78
|
SAT TT=29.197 T1=29.17
|
SAT TT=13.409 T1=13.38
|
? (TO) TT=1800.29
|
SAT TT=0.507 T1=0
|
SAT TT=0.334 T1=0
|
SAT TT=0.261 T1=0.19
|
SAT TT=0.243 T1=0.19
|
SAT TT=0.148 T1=0.09
|
SAT TT=544.442 T1=544.35
|
? (TO) TT=1800.15
|
SAT TT=2.181 T1=2.14
|
SAT TT=0.066 T1=0
|
SAT TT=0.665 T1=0.59
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900554420.opb |
UNSAT
TT=14.15
|
? (TO) TT=1800.11
|
? TT=1800.01
|
? (TO) TT=1800.06
|
? (TO) TT=1800.04
|
UNSAT TT=205.635
|
? (TO) TT=1800.21
|
UNSAT TT=200.585
|
UNSAT TT=23.297
|
UNSAT TT=629.872
|
UNSAT TT=605.853
|
UNSAT TT=234.829
|
? (TO) TT=1800.2
|
? (TO) TT=1800.35
|
UNSAT TT=14.15
|
? (TO) TT=1800.03
|
? (TO) TT=1800.02
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900556231.opb |
UNSAT
TT=37.995
|
? (TO) TT=1800.1
|
? TT=1800.01
|
? (TO) TT=1800.07
|
? (TO) TT=1800.01
|
UNSAT TT=438.763
|
? (TO) TT=1800.19
|
UNSAT TT=333.483
|
UNSAT TT=37.995
|
UNSAT TT=952.121
|
UNSAT TT=953.591
|
UNSAT TT=364.574
|
? (TO) TT=1800.19
|
? (TO) TT=1800.17
|
UNSAT TT=177.496
|
? (TO) TT=1800.02
|
? (TO) TT=1800.1
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900557362.opb |
UNSAT
TT=16.328
|
? (TO) TT=1800.14
|
UNSAT TT=1757.75
|
UNSAT TT=1764.15
|
? (TO) TT=1800.01
|
UNSAT TT=23.098
|
? (TO) TT=1800.19
|
UNSAT TT=286.624
|
UNSAT TT=16.328
|
UNSAT TT=488.395
|
UNSAT TT=488.231
|
UNSAT TT=63.58
|
? (TO) TT=1800.31
|
? (TO) TT=1800.19
|
UNSAT TT=450.914
|
? (TO) TT=1800.09
|
? (TO) TT=1800.07
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900557413.opb |
SAT
TT=0.542 T1=0.49
|
SAT TT=13.971 T1=13.94
|
SAT TT=19.661 T1=19.58
|
SAT TT=19.697 T1=19.59
|
SAT TT=60.605 T1=60.56
|
SAT TT=40.814 T1=40.77
|
? (TO) TT=1800.12
|
SAT TT=3.735 T1=3.64
|
SAT TT=1.436 T1=1.38
|
SAT TT=0.542 T1=0.49
|
SAT TT=0.55 T1=0.49
|
SAT TT=2.972 T1=2.89
|
SAT TT=773.679 T1=773.54
|
? (TO) TT=1800.19
|
SAT TT=9.848 T1=9.75
|
SAT TT=8.267 T1=8.19
|
SAT TT=3.624 T1=3.59
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900557568.opb |
SAT
TT=0.018 T1=0
|
SAT TT=6.314 T1=6.28
|
SAT TT=0.41 T1=0.38
|
SAT TT=0.411 T1=0.39
|
SAT TT=7.791 T1=7.69
|
SAT TT=5.254 T1=5.18
|
SAT TT=1.077 T1=1
|
SAT TT=0.367 T1=0
|
SAT TT=0.294 T1=0
|
SAT TT=0.034 T1=0
|
SAT TT=0.031 T1=0
|
SAT TT=0.35 T1=0.29
|
SAT TT=34.384 T1=34.25
|
SAT TT=22.205 T1=22.13
|
SAT TT=1.703 T1=1.58
|
SAT TT=0.018 T1=0
|
SAT TT=0.388 T1=0.29
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900557574.opb |
UNSAT
TT=8.911
|
? (TO) TT=1800.11
|
UNSAT TT=1143.75
|
UNSAT TT=1139.91
|
? (TO) TT=1800.04
|
UNSAT TT=432.83
|
? (TO) TT=1800.15
|
UNSAT TT=297.035
|
UNSAT TT=21.447
|
UNSAT TT=467.557
|
UNSAT TT=468.676
|
UNSAT TT=168.028
|
? (TO) TT=1800.19
|
? (TO) TT=1800.21
|
UNSAT TT=8.911
|
? (TO) TT=1800.1
|
? (TO) TT=1800.06
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900557957.opb |
UNSAT
TT=80.422
|
? (TO) TT=1800.1
|
UNSAT TT=1117.77
|
UNSAT TT=1111.75
|
? (TO) TT=1800.06
|
UNSAT TT=82.806
|
? (TO) TT=1800.18
|
UNSAT TT=359.304
|
UNSAT TT=80.422
|
UNSAT TT=730.363
|
UNSAT TT=704.113
|
UNSAT TT=131.48
|
? (TO) TT=1800.21
|
? (TO) TT=1800.19
|
UNSAT TT=465.922
|
? (TO) TT=1800.03
|
? (TO) TT=1800.03
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900558106.opb |
UNSAT
TT=19.502
|
? (TO) TT=1800.17
|
UNSAT TT=710.485
|
UNSAT TT=710.312
|
UNSAT TT=1616.74
|
UNSAT TT=98.112
|
? (TO) TT=1800.18
|
UNSAT TT=118.952
|
UNSAT TT=20.465
|
UNSAT TT=137.84
|
UNSAT TT=137.694
|
UNSAT TT=49.597
|
? (TO) TT=1800.2
|
? (TO) TT=1800.21
|
UNSAT TT=19.502
|
? (TO) TT=1800.08
|
? (TO) TT=1800.11
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900558739.opb |
UNSAT
TT=88.995
|
? (TO) TT=1800.13
|
? TT=1800.01
|
? (TO) TT=1800.05
|
? (TO) TT=1800.08
|
UNSAT TT=269.726
|
? (TO) TT=1800.38
|
UNSAT TT=358.26
|
UNSAT TT=93.108
|
UNSAT TT=1418.59
|
UNSAT TT=1419.58
|
UNSAT TT=296.417
|
? (TO) TT=1800.09
|
? (TO) TT=1800.24
|
UNSAT TT=88.995
|
? (TO) TT=1800.04
|
? (TO) TT=1800.03
|
Bench name | Best results on this instance | absconPseudo 102 | bsolo 3.0.16 | bsolo 3.0.17 | glpPB 0.2 | minisat+ 1.14 | oree 0.1.2 alpha | PB-clasp 2007-03-23 | PB-clasp 2007-04-10 | PBS4 2007-03-23 | PBS4_v2 2007-03-23 | Pueblo 1.4 | sat4jPseudoCP 2007-03-23 | sat4jPseudoCPClause 2007-03-23 | SAT4JPseudoResolution 2007-03-23 | wildcat-rnp 2007-03-21 | wildcat-skc 2007-03-21 |
---|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900559365.opb |
SAT
TT=0.089 T1=0
|
SAT TT=1.662 T1=1.64
|
SAT TT=33.639 T1=33.58
|
SAT TT=33.803 T1=33.78
|
SAT TT=52.227 T1=52.17
|
SAT TT=8.537 T1=8.49
|
SAT TT=109.679 T1=109.65
|
SAT TT=0.957 T1=0
|
SAT TT=1.38 T1=1.29
|
SAT TT=2.615 T1=2.59
|
SAT TT=2.458 T1=2.39
|
SAT TT=13.655 T1=13.58
|
? (TO) TT=1800.32
|
? (TO) TT=1800.21
|
SAT TT=2.651 T1=2.55
|
SAT TT=0.471 T1=0.39
|
SAT TT=0.089 T1=0.01
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900559416.opb |
SAT
TT=1.085 T1=0.99
|
SAT TT=117.223 T1=117.2
|
SAT TT=92.238 T1=92.18
|
SAT TT=92.816 T1=92.76
|
SAT TT=584.882 T1=584.84
|
SAT TT=152.016 T1=151.99
|
? (TO) TT=1800.09
|
SAT TT=27.905 T1=27.84
|
SAT TT=1.301 T1=1.18
|
SAT TT=1.085 T1=1
|
SAT TT=1.098 T1=0.99
|
SAT TT=38.298 T1=38.24
|
? (TO) TT=1800.13
|
? (TO) TT=1800.17
|
SAT TT=3.623 T1=3.54
|
SAT TT=1.495 T1=1.39
|
SAT TT=8.525 T1=8.49
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900559641.opb |
SAT
TT=0.503 T1=0.49
|
SAT TT=12.776 T1=12.71
|
SAT TT=26.562 T1=26.48
|
SAT TT=26.838 T1=26.78
|
SAT TT=50.89 T1=50.88
|
SAT TT=15.969 T1=15.89
|
? (TO) TT=1800.27
|
SAT TT=13.604 T1=13.54
|
SAT TT=1.651 T1=1.59
|
SAT TT=0.616 T1=0.59
|
SAT TT=0.622 T1=0.59
|
SAT TT=20.223 T1=20.18
|
? (TO) TT=1800.17
|
SAT TT=164.104 T1=164.02
|
SAT TT=2.331 T1=2.27
|
SAT TT=1.602 T1=1.49
|
SAT TT=0.503 T1=0.49
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900559676.opb |
UNSAT
TT=153.747
|
? (TO) TT=1800.12
|
? TT=1800
|
? (TO) TT=1800.06
|
? (TO) TT=1800.03
|
? (TO) TT=1800.08
|
? (TO) TT=1800.22
|
UNSAT TT=888.066
|
UNSAT TT=153.747
|
? (TO) TT=1800.14
|
? (TO) TT=1800.11
|
UNSAT TT=940.491
|
? (TO) TT=1800.21
|
? (TO) TT=1800.2
|
UNSAT TT=860.019
|
? (TO) TT=1800.09
|
? (TO) TT=1800.04
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900561288.opb |
UNSAT
TT=252.784
|
? (TO) TT=1800.06
|
? TT=1800.01
|
? (TO) TT=1800.04
|
? (TO) TT=1800.1
|
? (TO) TT=1800.09
|
? (TO) TT=1800.21
|
UNSAT TT=773.399
|
UNSAT TT=252.784
|
? (TO) TT=1800.09
|
? (TO) TT=1800.07
|
UNSAT TT=654.215
|
? (TO) TT=1800.19
|
? (TO) TT=1800.15
|
? (TO) TT=1800.2
|
? (TO) TT=1800.09
|
? (TO) TT=1800.06
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900561384.opb |
SAT
TT=0.063 T1=0
|
SAT TT=14.761 T1=14.71
|
SAT TT=6.434 T1=6.38
|
SAT TT=12.874 T1=6.38
|
SAT TT=21.875 T1=21.78
|
SAT TT=0.236 T1=0.19
|
SAT TT=0.478 T1=0.4
|
SAT TT=1.186 T1=1.14
|
SAT TT=0.66 T1=0
|
SAT TT=0.084 T1=0
|
SAT TT=0.085 T1=0.05
|
SAT TT=2.7 T1=2.59
|
? (TO) TT=1800.22
|
? (TO) TT=1800.22
|
SAT TT=2.639 T1=2.58
|
SAT TT=0.063 T1=0.04
|
SAT TT=0.868 T1=0.79
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900561389.opb |
SAT
TT=0.355 T1=0.29
|
SAT TT=28.316 T1=28.21
|
SAT TT=13.93 T1=13.88
|
SAT TT=13.767 T1=13.68
|
SAT TT=97.72 T1=97.66
|
SAT TT=21.429 T1=21.37
|
SAT TT=30.205 T1=30.18
|
SAT TT=2.19 T1=2.14
|
SAT TT=4.364 T1=4.28
|
SAT TT=4.598 T1=4.49
|
SAT TT=4.596 T1=4.49
|
SAT TT=3.1 T1=2.99
|
? (TO) TT=1800.24
|
? (TO) TT=1800.15
|
SAT TT=5.224 T1=5.19
|
SAT TT=0.355 T1=0.29
|
SAT TT=8.554 T1=8.49
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900562192.opb |
UNSAT
TT=45.073
|
? (TO) TT=1800.11
|
UNSAT TT=1387.53
|
UNSAT TT=1390.95
|
? (TO) TT=1800.07
|
UNSAT TT=361.2
|
? (TO) TT=1800.18
|
UNSAT TT=263.785
|
UNSAT TT=45.073
|
UNSAT TT=732.35
|
UNSAT TT=731.669
|
UNSAT TT=200.168
|
? (TO) TT=1800.17
|
? (TO) TT=1800.21
|
UNSAT TT=129.248
|
? (TO) TT=1800.04
|
? (TO) TT=1800.02
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900563250.opb |
UNSAT
TT=107.81
|
? (TO) TT=1800.11
|
? (TO) TT=1800
|
? (TO) TT=1800.05
|
? (TO) TT=1800.07
|
UNSAT TT=975.341
|
? (TO) TT=1800.22
|
UNSAT TT=603.592
|
UNSAT TT=107.81
|
? (TO) TT=1800.06
|
? (TO) TT=1800.09
|
UNSAT TT=531.37
|
? (TO) TT=1800.13
|
? (TO) TT=1800.23
|
UNSAT TT=205.59
|
? (TO) TT=1800.03
|
? (TO) TT=1800.04
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900563801.opb |
UNSAT
TT=4.672
|
? (TO) TT=1800.14
|
UNSAT TT=935.913
|
UNSAT TT=944.364
|
? (TO) TT=1800.07
|
UNSAT TT=52.386
|
? (TO) TT=1800.17
|
UNSAT TT=186.059
|
UNSAT TT=16.123
|
UNSAT TT=337.048
|
UNSAT TT=337.069
|
UNSAT TT=201.766
|
? (TO) TT=1800.15
|
? (TO) TT=1800.25
|
UNSAT TT=4.672
|
? (TO) TT=1800.04
|
? (TO) TT=1800.08
|
Bench name | Best results on this instance | absconPseudo 102 | bsolo 3.0.16 | bsolo 3.0.17 | glpPB 0.2 | minisat+ 1.14 | oree 0.1.2 alpha | PB-clasp 2007-03-23 | PB-clasp 2007-04-10 | PBS4 2007-03-23 | PBS4_v2 2007-03-23 | Pueblo 1.4 | sat4jPseudoCP 2007-03-23 | sat4jPseudoCPClause 2007-03-23 | SAT4JPseudoResolution 2007-03-23 | wildcat-rnp 2007-03-21 | wildcat-skc 2007-03-21 |
---|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900564281.opb |
UNSAT
TT=9.605
|
? (TO) TT=1800.13
|
UNSAT TT=1487.39
|
UNSAT TT=1490.59
|
? (TO) TT=1800.1
|
UNSAT TT=154.07
|
? (TO) TT=1800.13
|
UNSAT TT=185.308
|
UNSAT TT=35.377
|
UNSAT TT=471.359
|
UNSAT TT=491.258
|
UNSAT TT=100.118
|
? (TO) TT=1800.14
|
? (TO) TT=1800.19
|
UNSAT TT=9.605
|
? (TO) TT=1800.04
|
? (TO) TT=1800.07
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900564822.opb |
SAT
TT=0.057 T1=0
|
SAT TT=1.739 T1=1.63
|
SAT TT=0.166 T1=0.09
|
SAT TT=0.164 T1=0.09
|
SAT TT=47.13 T1=47.08
|
SAT TT=0.987 T1=0.89
|
SAT TT=74.495 T1=74.46
|
SAT TT=0.534 T1=0
|
SAT TT=0.293 T1=0
|
SAT TT=0.284 T1=0.19
|
SAT TT=0.284 T1=0.19
|
SAT TT=0.231 T1=0.19
|
? (TO) TT=1800.16
|
SAT TT=1127.28 T1=1127.14
|
SAT TT=2.238 T1=2.21
|
SAT TT=0.057 T1=0.05
|
SAT TT=0.093 T1=0.01
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900564824.opb |
UNSAT
TT=2.497
|
? (TO) TT=1800.12
|
UNSAT TT=303.86
|
UNSAT TT=306.004
|
UNSAT TT=1783.48
|
UNSAT TT=68.944
|
UNSAT TT=765.812
|
UNSAT TT=29.293
|
UNSAT TT=2.611
|
UNSAT TT=24.732
|
UNSAT TT=24.801
|
UNSAT TT=9.014
|
? (TO) TT=1800.2
|
? (TO) TT=1800.15
|
UNSAT TT=2.497
|
? (TO) TT=1800.02
|
? (TO) TT=1800.04
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900565527.opb |
SAT
TT=1.67 T1=1.59
|
SAT TT=96.692 T1=96.6
|
SAT TT=10.811 T1=10.76
|
SAT TT=10.76 T1=10.68
|
SAT TT=343.976 T1=343.91
|
SAT TT=1.727 T1=1.69
|
? (TO) TT=1800.26
|
SAT TT=1.879 T1=1.83
|
SAT TT=1.67 T1=1.59
|
SAT TT=2.304 T1=2.29
|
SAT TT=2.303 T1=2.29
|
SAT TT=3.455 T1=3.39
|
? (TO) TT=1800.2
|
? (TO) TT=1800.13
|
SAT TT=2.587 T1=2.43
|
SAT TT=2.615 T1=2.59
|
SAT TT=3.92 T1=3.89
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900565534.opb |
UNSAT
TT=42.764
|
? (TO) TT=1800.14
|
? TT=1800.01
|
? (TO) TT=1800.05
|
? (TO) TT=1800.07
|
UNSAT TT=305.718
|
? (TO) TT=1800.09
|
UNSAT TT=355.19
|
UNSAT TT=72.875
|
UNSAT TT=1442.07
|
UNSAT TT=1444.64
|
UNSAT TT=309.717
|
? (TO) TT=1800.29
|
? (TO) TT=1800.2
|
UNSAT TT=42.764
|
? (TO) TT=1800.05
|
? (TO) TT=1800.1
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900566151.opb |
SAT
TT=0.03 T1=0
|
SAT TT=0.926 T1=0.91
|
SAT TT=1.517 T1=1.5
|
SAT TT=1.576 T1=1.49
|
SAT TT=4.763 T1=4.69
|
SAT TT=4.237 T1=4.19
|
SAT TT=1210.71 T1=1210.69
|
SAT TT=1.381 T1=1.34
|
SAT TT=0.282 T1=0
|
SAT TT=0.032 T1=0
|
SAT TT=0.03 T1=0
|
SAT TT=1.638 T1=1.59
|
? (TO) TT=1800.18
|
? (TO) TT=1800.19
|
SAT TT=1.856 T1=1.77
|
SAT TT=0.134 T1=0.1
|
SAT TT=0.306 T1=0.29
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900566157.opb |
UNSAT
TT=72.336
|
? (TO) TT=1800.14
|
UNSAT TT=622.418
|
UNSAT TT=616.659
|
? (TO) TT=1800.02
|
? (TO) TT=1800.05
|
? (TO) TT=1800.13
|
UNSAT TT=167.715
|
UNSAT TT=72.336
|
UNSAT TT=407.328
|
UNSAT TT=406.823
|
UNSAT TT=134.655
|
? (TO) TT=1800.18
|
? (TO) TT=1800.15
|
UNSAT TT=370.582
|
? (TO) TT=1800.03
|
? (TO) TT=1800.11
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900566263.opb |
SAT
TT=0.026 T1=0
|
SAT TT=0.843 T1=0.8
|
SAT TT=0.467 T1=0.39
|
SAT TT=0.455 T1=0.39
|
SAT TT=91.107 T1=91.07
|
SAT TT=0.847 T1=0.79
|
? (TO) TT=1800.21
|
SAT TT=0.949 T1=0
|
SAT TT=0.412 T1=0
|
SAT TT=0.913 T1=0.89
|
SAT TT=0.918 T1=0.89
|
SAT TT=6.956 T1=6.89
|
? (TO) TT=1800.19
|
? (TO) TT=1800.26
|
SAT TT=1.868 T1=1.78
|
SAT TT=0.057 T1=0
|
SAT TT=0.026 T1=0
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900566270.opb |
SAT
TT=0.163 T1=0
|
SAT TT=12.053 T1=12
|
SAT TT=8.846 T1=8.79
|
SAT TT=8.825 T1=8.79
|
SAT TT=68.145 T1=68.07
|
SAT TT=18.388 T1=18.29
|
SAT TT=1005.31 T1=1005.23
|
SAT TT=1.201 T1=1.14
|
SAT TT=0.303 T1=0
|
SAT TT=2.046 T1=1.99
|
SAT TT=2.058 T1=1.99
|
SAT TT=20.183 T1=20.08
|
? (TO) TT=1800.19
|
? (TO) TT=1800.21
|
SAT TT=2.757 T1=2.72
|
SAT TT=0.226 T1=0.19
|
SAT TT=0.163 T1=0.09
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567003.opb |
SAT
TT=2.285 T1=2.19
|
SAT TT=75.852 T1=75.77
|
SAT TT=7.403 T1=7.39
|
SAT TT=7.136 T1=7.1
|
SAT TT=808.101 T1=808.02
|
SAT TT=3.122 T1=3.08
|
? (TO) TT=1800.07
|
SAT TT=9.482 T1=9.43
|
SAT TT=2.392 T1=2.29
|
SAT TT=2.296 T1=2.19
|
SAT TT=2.285 T1=2.19
|
SAT TT=18.893 T1=18.78
|
? (TO) TT=1800.37
|
? (TO) TT=1800.2
|
SAT TT=3.599 T1=3.58
|
SAT TT=5.265 T1=5.19
|
SAT TT=3.2 T1=3.09
|
Bench name | Best results on this instance | absconPseudo 102 | bsolo 3.0.16 | bsolo 3.0.17 | glpPB 0.2 | minisat+ 1.14 | oree 0.1.2 alpha | PB-clasp 2007-03-23 | PB-clasp 2007-04-10 | PBS4 2007-03-23 | PBS4_v2 2007-03-23 | Pueblo 1.4 | sat4jPseudoCP 2007-03-23 | sat4jPseudoCPClause 2007-03-23 | SAT4JPseudoResolution 2007-03-23 | wildcat-rnp 2007-03-21 | wildcat-skc 2007-03-21 |
---|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567024.opb |
UNSAT
TT=6.231
|
? (TO) TT=1800.17
|
UNSAT TT=1439.61
|
UNSAT TT=1434.19
|
? (TO) TT=1800.05
|
UNSAT TT=33.045
|
? (TO) TT=1800.15
|
UNSAT TT=170.601
|
UNSAT TT=48.455
|
UNSAT TT=703.544
|
UNSAT TT=703.051
|
UNSAT TT=217.608
|
? (TO) TT=1800.19
|
? (TO) TT=1800.2
|
UNSAT TT=6.231
|
? (TO) TT=1800.1
|
? (TO) TT=1800.1
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567135.opb |
UNSAT
TT=30.443
|
? (TO) TT=1800.06
|
UNSAT TT=1066.53
|
UNSAT TT=1060.11
|
? (TO) TT=1800.08
|
? (TO) TT=1800.07
|
? (TO) TT=1800.18
|
UNSAT TT=182.271
|
UNSAT TT=30.443
|
UNSAT TT=355.544
|
UNSAT TT=356.423
|
UNSAT TT=128.307
|
? (TO) TT=1800.13
|
? (TO) TT=1800.36
|
UNSAT TT=247.204
|
? (TO) TT=1800.04
|
? (TO) TT=1800.09
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567939.opb |
SAT
TT=0.221 T1=0.19
|
SAT TT=188.142 T1=188.07
|
SAT TT=51.082 T1=50.97
|
SAT TT=51.292 T1=51.27
|
SAT TT=40.591 T1=40.57
|
SAT TT=11.212 T1=11.18
|
? (TO) TT=1800.12
|
SAT TT=1.342 T1=1.24
|
SAT TT=2.307 T1=2.19
|
SAT TT=0.221 T1=0.19
|
SAT TT=0.222 T1=0.19
|
SAT TT=2.571 T1=2.49
|
? (TO) TT=1800.23
|
? (TO) TT=1800.18
|
SAT TT=4.006 T1=3.97
|
SAT TT=0.498 T1=0.4
|
SAT TT=13.36 T1=13.29
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567985.opb |
UNSAT
TT=255.099
|
? (TO) TT=1800.12
|
? TT=1800.01
|
? (TO) TT=1800.02
|
? (TO) TT=1800.05
|
UNSAT TT=1001.9
|
? (TO) TT=1800.12
|
UNSAT TT=797.19
|
UNSAT TT=255.099
|
? (TO) TT=1800.11
|
? (TO) TT=1800.08
|
UNSAT TT=590.85
|
? (TO) TT=1800.16
|
? (TO) TT=1800.23
|
? (TO) TT=1800.15
|
? (TO) TT=1800.02
|
? (TO) TT=1800.09
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900568186.opb |
UNSAT
TT=5.704
|
? (TO) TT=1800.13
|
UNSAT TT=1450.41
|
UNSAT TT=1453.74
|
? (TO) TT=1800.02
|
UNSAT TT=443.433
|
? (TO) TT=1800.52
|
UNSAT TT=263.546
|
UNSAT TT=19.835
|
UNSAT TT=336.013
|
UNSAT TT=336.652
|
UNSAT TT=122.314
|
? (TO) TT=1800.2
|
? (TO) TT=1800.17
|
UNSAT TT=5.704
|
? (TO) TT=1800.02
|
? (TO) TT=1800.05
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900568706.opb |
UNSAT
TT=19.514
|
? (TO) TT=1800.12
|
? TT=1800.01
|
? (TO) TT=1800.09
|
? (TO) TT=1800.07
|
UNSAT TT=36.312
|
? (TO) TT=1800.29
|
UNSAT TT=289.196
|
UNSAT TT=26.645
|
UNSAT TT=952.233
|
UNSAT TT=951.228
|
UNSAT TT=150.816
|
? (TO) TT=1800.22
|
? (TO) TT=1800.16
|
UNSAT TT=19.514
|
? (TO) TT=1800.08
|
? (TO) TT=1800.06
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900568952.opb |
SAT
TT=1.661 T1=1.57
|
SAT TT=135.398 T1=135.35
|
SAT TT=49.218 T1=49.17
|
SAT TT=49.767 T1=49.75
|
SAT TT=237.048 T1=237.01
|
SAT TT=105.01 T1=104.95
|
? (TO) TT=1800.36
|
SAT TT=20.702 T1=20.63
|
SAT TT=1.661 T1=1.57
|
SAT TT=4.848 T1=4.79
|
SAT TT=5.231 T1=5.19
|
SAT TT=48.364 T1=48.27
|
? (TO) TT=1800.17
|
? (TO) TT=1800.23
|
SAT TT=13.511 T1=13.4
|
SAT TT=7.956 T1=7.89
|
SAT TT=6.476 T1=6.39
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900569834.opb |
UNSAT
TT=37.324
|
? (TO) TT=1800.1
|
? TT=1800.01
|
? (TO) TT=1800.05
|
? (TO) TT=1800.1
|
UNSAT TT=84.686
|
? (TO) TT=1800.13
|
UNSAT TT=263.859
|
UNSAT TT=37.324
|
UNSAT TT=733.812
|
UNSAT TT=735.513
|
UNSAT TT=215.911
|
? (TO) TT=1800.15
|
? (TO) TT=1800.17
|
UNSAT TT=48.438
|
? (TO) TT=1800.09
|
? (TO) TT=1800.02
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900570242.opb |
UNSAT
TT=31.311
|
? (TO) TT=1800.09
|
UNSAT TT=1555.83
|
UNSAT TT=1551.58
|
? (TO) TT=1800.04
|
UNSAT TT=184.739
|
? (TO) TT=1800.22
|
UNSAT TT=189.123
|
UNSAT TT=31.311
|
UNSAT TT=440.601
|
UNSAT TT=440.608
|
UNSAT TT=135.89
|
? (TO) TT=1800.23
|
? (TO) TT=1800.15
|
UNSAT TT=38.419
|
? (TO) TT=1800.08
|
? (TO) TT=1800.05
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900571131.opb |
SAT
TT=0.039 T1=0
|
SAT TT=1.083 T1=1
|
SAT TT=1.201 T1=1.19
|
SAT TT=1.201 T1=1.09
|
SAT TT=87.395 T1=87.36
|
SAT TT=0.649 T1=0.59
|
SAT TT=810.257 T1=810.19
|
SAT TT=0.588 T1=0
|
SAT TT=0.443 T1=0
|
SAT TT=0.48 T1=0.39
|
SAT TT=0.482 T1=0.39
|
SAT TT=0.711 T1=0.69
|
? (TO) TT=1800.33
|
? (TO) TT=1800.15
|
SAT TT=2.097 T1=2
|
SAT TT=0.039 T1=0
|
SAT TT=0.082 T1=0
|
Bench name | Best results on this instance | absconPseudo 102 | bsolo 3.0.16 | bsolo 3.0.17 | glpPB 0.2 | minisat+ 1.14 | oree 0.1.2 alpha | PB-clasp 2007-03-23 | PB-clasp 2007-04-10 | PBS4 2007-03-23 | PBS4_v2 2007-03-23 | Pueblo 1.4 | sat4jPseudoCP 2007-03-23 | sat4jPseudoCPClause 2007-03-23 | SAT4JPseudoResolution 2007-03-23 | wildcat-rnp 2007-03-21 | wildcat-skc 2007-03-21 |
---|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900571132.opb |
UNSAT
TT=136.413
|
? (TO) TT=1800.09
|
UNSAT TT=1696.8
|
UNSAT TT=1687.63
|
? (TO) TT=1800.02
|
UNSAT TT=1153.71
|
? (TO) TT=1800.12
|
UNSAT TT=278.648
|
UNSAT TT=136.413
|
UNSAT TT=1166.36
|
UNSAT TT=1168.93
|
UNSAT TT=345.236
|
? (TO) TT=1800.15
|
? (TO) TT=1800.18
|
UNSAT TT=252.831
|
? (TO) TT=1800.03
|
? (TO) TT=1800.05
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900571761.opb |
UNSAT
TT=133.24
|
? (TO) TT=1800.14
|
? TT=1800.01
|
? (TO) TT=1800.11
|
? (TO) TT=1800.03
|
UNSAT TT=1587.12
|
? (TO) TT=1800.15
|
UNSAT TT=400.908
|
UNSAT TT=133.24
|
UNSAT TT=1632.11
|
UNSAT TT=1631.53
|
UNSAT TT=351.727
|
? (TO) TT=1800.16
|
? (TO) TT=1800.15
|
UNSAT TT=689.269
|
? (TO) TT=1800.04
|
? (TO) TT=1800.03
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900573137.opb |
UNSAT
TT=134.304
|
? (TO) TT=1800.1
|
? TT=1800.01
|
? (TO) TT=1800.04
|
? (TO) TT=1800.09
|
UNSAT TT=204.588
|
? (TO) TT=1800.24
|
UNSAT TT=434.428
|
UNSAT TT=134.304
|
UNSAT TT=1749.3
|
UNSAT TT=1746.88
|
UNSAT TT=321.04
|
? (TO) TT=1800.18
|
? (TO) TT=1800.19
|
? (TO) TT=1800.03
|
? (TO) TT=1800.04
|
? (TO) TT=1800.04
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900573901.opb |
UNSAT
TT=38.912
|
? (TO) TT=1800.15
|
? TT=1800
|
? (TO) TT=1800.05
|
? (TO) TT=1800.08
|
UNSAT TT=991.536
|
? (TO) TT=1800.15
|
UNSAT TT=437.126
|
UNSAT TT=95.161
|
UNSAT TT=1303.01
|
UNSAT TT=1355.51
|
UNSAT TT=341.253
|
? (TO) TT=1800.15
|
? (TO) TT=1800.21
|
UNSAT TT=38.912
|
? (TO) TT=1800.07
|
? (TO) TT=1800.03
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900574864.opb |
UNSAT
TT=37.667
|
? (TO) TT=1800.14
|
? TT=1800.01
|
? (TO) TT=1800.07
|
? (TO) TT=1800.03
|
UNSAT TT=207.209
|
? (TO) TT=1800.32
|
UNSAT TT=217.545
|
UNSAT TT=37.667
|
UNSAT TT=594.791
|
UNSAT TT=595.537
|
UNSAT TT=176.322
|
? (TO) TT=1800.14
|
? (TO) TT=1800.19
|
UNSAT TT=58.838
|
? (TO) TT=1800.08
|
? (TO) TT=1800.09
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900574948.opb |
SAT
TT=0.15 T1=0
|
SAT TT=26.78 T1=26.72
|
SAT TT=8.727 T1=8.69
|
SAT TT=8.783 T1=8.69
|
SAT TT=95.1 T1=95.06
|
SAT TT=7.346 T1=7.29
|
? (TO) TT=1800.11
|
SAT TT=1.631 T1=1.54
|
SAT TT=0.306 T1=0
|
SAT TT=0.7 T1=0.59
|
SAT TT=0.695 T1=0.58
|
SAT TT=3.827 T1=3.79
|
SAT TT=210.116 T1=209.96
|
SAT TT=217.589 T1=217.5
|
SAT TT=1.887 T1=1.76
|
SAT TT=0.15 T1=0.09
|
SAT TT=0.527 T1=0.49
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900574974.opb |
SAT
TT=0.025 T1=0
|
SAT TT=8.644 T1=8.62
|
SAT TT=0.293 T1=0.19
|
SAT TT=0.294 T1=0.19
|
SAT TT=35.24 T1=35.18
|
SAT TT=3.754 T1=3.68
|
SAT TT=21.172 T1=21.08
|
SAT TT=0.78 T1=0
|
SAT TT=0.731 T1=0
|
SAT TT=0.308 T1=0.29
|
SAT TT=0.312 T1=0.29
|
SAT TT=2.026 T1=1.99
|
? (TO) TT=1800.13
|
? (TO) TT=1800.11
|
SAT TT=3.613 T1=3.55
|
SAT TT=0.025 T1=0
|
SAT TT=0.597 T1=0.49
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900575442.opb |
UNSAT
TT=15.93
|
? (TO) TT=1800.11
|
UNSAT TT=1700.32
|
UNSAT TT=1709.72
|
? (TO) TT=1800.06
|
UNSAT TT=67.407
|
? (TO) TT=1800.12
|
UNSAT TT=339.02
|
UNSAT TT=35.368
|
UNSAT TT=595.336
|
UNSAT TT=596.023
|
UNSAT TT=261.837
|
? (TO) TT=1800.22
|
? (TO) TT=1800.19
|
UNSAT TT=15.93
|
? (TO) TT=1800.07
|
? (TO) TT=1800.05
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900576151.opb |
UNSAT
TT=119.662
|
? (TO) TT=1800.15
|
? TT=1800.01
|
? (TO) TT=1800.06
|
? (TO) TT=1800.04
|
UNSAT TT=286.636
|
? (TO) TT=1800.32
|
UNSAT TT=508.716
|
UNSAT TT=119.662
|
? (TO) TT=1800.11
|
? (TO) TT=1800.06
|
UNSAT TT=609.925
|
UNSAT TT=516.144
|
? (TO) TT=1800.15
|
UNSAT TT=597.417
|
? (TO) TT=1800.01
|
? (TO) TT=1800.01
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900576360.opb |
UNSAT
TT=95.302
|
? (TO) TT=1800.13
|
UNSAT TT=1363.13
|
UNSAT TT=1362.95
|
? (TO) TT=1800.04
|
UNSAT TT=282.09
|
? (TO) TT=1800.46
|
UNSAT TT=237.4
|
UNSAT TT=95.302
|
UNSAT TT=694.427
|
UNSAT TT=696.08
|
UNSAT TT=167.213
|
? (TO) TT=1800.12
|
? (TO) TT=1800.23
|
UNSAT TT=849.72
|
? (TO) TT=1800.05
|
? (TO) TT=1800.1
|
Bench name | Best results on this instance | absconPseudo 102 | bsolo 3.0.16 | bsolo 3.0.17 | glpPB 0.2 | minisat+ 1.14 | oree 0.1.2 alpha | PB-clasp 2007-03-23 | PB-clasp 2007-04-10 | PBS4 2007-03-23 | PBS4_v2 2007-03-23 | Pueblo 1.4 | sat4jPseudoCP 2007-03-23 | sat4jPseudoCPClause 2007-03-23 | SAT4JPseudoResolution 2007-03-23 | wildcat-rnp 2007-03-21 | wildcat-skc 2007-03-21 |
---|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900576918.opb |
SAT
TT=0.038 T1=0
|
SAT TT=4.303 T1=4.21
|
SAT TT=18.306 T1=18.28
|
SAT TT=18.403 T1=18.39
|
SAT TT=208.005 T1=207.94
|
SAT TT=5.409 T1=5.39
|
? (TO) TT=1800.15
|
SAT TT=1.026 T1=0
|
SAT TT=0.267 T1=0
|
SAT TT=1.622 T1=1.59
|
SAT TT=1.606 T1=1.59
|
SAT TT=0.674 T1=0.59
|
? (TO) TT=1800.21
|
? (TO) TT=1800.14
|
SAT TT=2.059 T1=2.02
|
SAT TT=0.045 T1=0
|
SAT TT=0.038 T1=0
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900576927.opb |
UNSAT
TT=143.279
|
? (TO) TT=1800.04
|
? TT=1800.01
|
? (TO) TT=1800.1
|
? (TO) TT=1800.09
|
UNSAT TT=879.57
|
? (TO) TT=1800.22
|
UNSAT TT=445.534
|
UNSAT TT=143.279
|
? (TO) TT=1800.11
|
? (TO) TT=1800.06
|
UNSAT TT=353.663
|
? (TO) TT=1800.22
|
? (TO) TT=1800.21
|
UNSAT TT=551.406
|
? (TO) TT=1800.06
|
? (TO) TT=1800.05
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900577000.opb |
SAT
TT=0.022 T1=0
|
SAT TT=1.471 T1=1.42
|
SAT TT=0.982 T1=0.89
|
SAT TT=1.05 T1=0.99
|
SAT TT=256.816 T1=256.71
|
SAT TT=11.754 T1=11.68
|
SAT TT=0.168 T1=0.09
|
SAT TT=3.951 T1=3.84
|
SAT TT=0.544 T1=0
|
SAT TT=0.75 T1=0.69
|
SAT TT=0.752 T1=0.69
|
SAT TT=0.58 T1=0.49
|
? (TO) TT=1800.17
|
SAT TT=42.14 T1=42.02
|
SAT TT=1.831 T1=1.77
|
SAT TT=0.022 T1=0
|
SAT TT=0.084 T1=0.07
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900577940.opb |
UNSAT
TT=152.087
|
? (TO) TT=1800.16
|
? TT=1800
|
? (TO) TT=1800.08
|
? (TO) TT=1800.08
|
UNSAT TT=661.057
|
? (TO) TT=1800.24
|
UNSAT TT=616.281
|
UNSAT TT=152.087
|
? (TO) TT=1800.09
|
? (TO) TT=1800.1
|
UNSAT TT=582.822
|
? (TO) TT=1800.17
|
? (TO) TT=1800.15
|
UNSAT TT=746.591
|
? (TO) TT=1800.1
|
? (TO) TT=1800.06
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900579996.opb |
UNSAT
TT=203.491
|
? (TO) TT=1800.1
|
? TT=1800.01
|
? (TO) TT=1800.06
|
? (TO) TT=1800.11
|
UNSAT TT=541.051
|
? (TO) TT=1800.32
|
UNSAT TT=541.344
|
UNSAT TT=203.491
|
? (TO) TT=1800.05
|
? (TO) TT=1800.14
|
UNSAT TT=587.83
|
? (TO) TT=1800.13
|
? (TO) TT=1800.19
|
? (TO) TT=1800.19
|
? (TO) TT=1800.03
|
? (TO) TT=1800.09
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900581320.opb |
UNSAT
TT=65.752
|
? (TO) TT=1800.13
|
? TT=1800.01
|
? (TO) TT=1800.09
|
? (TO) TT=1800.02
|
? (TO) TT=1800.08
|
? (TO) TT=1800.17
|
UNSAT TT=457.544
|
UNSAT TT=65.752
|
UNSAT TT=1396.65
|
UNSAT TT=1396.75
|
UNSAT TT=395.569
|
? (TO) TT=1800.25
|
? (TO) TT=1800.14
|
UNSAT TT=253.922
|
? (TO) TT=1800.06
|
? (TO) TT=1800.07
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900581321.opb |
SAT
TT=0.021 T1=0
|
SAT TT=14.193 T1=14.11
|
SAT TT=0.081 T1=0
|
SAT TT=0.079 T1=0.05
|
SAT TT=82.167 T1=82.06
|
SAT TT=0.384 T1=0.29
|
SAT TT=546.65 T1=546.57
|
SAT TT=0.608 T1=0
|
SAT TT=0.3 T1=0
|
SAT TT=0.1 T1=0.02
|
SAT TT=0.099 T1=0.08
|
SAT TT=0.31 T1=0.29
|
SAT TT=130.394 T1=130.26
|
SAT TT=153.534 T1=153.39
|
SAT TT=2.674 T1=2.59
|
SAT TT=0.066 T1=0
|
SAT TT=0.021 T1=0
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900582300.opb |
UNSAT
TT=109.025
|
? (TO) TT=1800.12
|
? TT=1800.01
|
? (TO) TT=1800.09
|
? (TO) TT=1800.05
|
UNSAT TT=964.99
|
? (TO) TT=1800.41
|
UNSAT TT=611.203
|
UNSAT TT=109.025
|
? (TO) TT=1800.04
|
? (TO) TT=1800.08
|
UNSAT TT=465.21
|
? (TO) TT=1800.14
|
? (TO) TT=1800.2
|
UNSAT TT=115.823
|
? (TO) TT=1800.01
|
? (TO) TT=1800.01
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900582376.opb |
SAT
TT=0.094 T1=0
|
SAT TT=119.271 T1=119.18
|
SAT TT=50.678 T1=50.66
|
SAT TT=49.986 T1=49.97
|
SAT TT=25.76 T1=25.69
|
SAT TT=13.028 T1=12.99
|
? (TO) TT=1800.15
|
SAT TT=7.408 T1=7.34
|
SAT TT=0.371 T1=0
|
SAT TT=0.094 T1=0.02
|
SAT TT=0.094 T1=0.05
|
SAT TT=4.761 T1=4.69
|
? (TO) TT=1800.17
|
? (TO) TT=1800.3
|
SAT TT=4.369 T1=4.34
|
SAT TT=0.44 T1=0.39
|
SAT TT=1.599 T1=1.49
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900583053.opb |
UNSAT
TT=182.982
|
? (TO) TT=1800.13
|
? TT=1800.01
|
? (TO) TT=1800.02
|
? (TO) TT=1800.1
|
UNSAT TT=991.926
|
? (TO) TT=1800.08
|
UNSAT TT=599.247
|
UNSAT TT=182.982
|
? (TO) TT=1800.09
|
? (TO) TT=1800.06
|
UNSAT TT=722.509
|
? (TO) TT=1800.29
|
? (TO) TT=1800.18
|
UNSAT TT=940.074
|
? (TO) TT=1800.02
|
? (TO) TT=1800.11
|
Bench name | Best results on this instance | absconPseudo 102 | bsolo 3.0.16 | bsolo 3.0.17 | glpPB 0.2 | minisat+ 1.14 | oree 0.1.2 alpha | PB-clasp 2007-03-23 | PB-clasp 2007-04-10 | PBS4 2007-03-23 | PBS4_v2 2007-03-23 | Pueblo 1.4 | sat4jPseudoCP 2007-03-23 | sat4jPseudoCPClause 2007-03-23 | SAT4JPseudoResolution 2007-03-23 | wildcat-rnp 2007-03-21 | wildcat-skc 2007-03-21 |
---|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900584106.opb |
UNSAT
TT=6.941
|
? (TO) TT=1800.1
|
UNSAT TT=1261.08
|
UNSAT TT=1265.16
|
? (TO) TT=1800.08
|
UNSAT TT=105.12
|
? (TO) TT=1800.17
|
UNSAT TT=251.889
|
UNSAT TT=6.941
|
UNSAT TT=347.529
|
UNSAT TT=333.199
|
UNSAT TT=92.933
|
? (TO) TT=1800.18
|
? (TO) TT=1800.18
|
UNSAT TT=22.583
|
? (TO) TT=1800.1
|
? (TO) TT=1800.07
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900584219.opb |
UNSAT
TT=20.824
|
? (TO) TT=1800.11
|
? TT=1800
|
? (TO) TT=1800.08
|
? (TO) TT=1800.03
|
UNSAT TT=1354.28
|
? (TO) TT=1800.17
|
UNSAT TT=403.73
|
UNSAT TT=60.427
|
UNSAT TT=1414.77
|
UNSAT TT=1418.08
|
UNSAT TT=240.155
|
? (TO) TT=1800.13
|
? (TO) TT=1800.27
|
UNSAT TT=20.824
|
? (TO) TT=1800.07
|
? (TO) TT=1800.08
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900667195.opb |
UNSAT
TT=125.706
|
? (TO) TT=1800.09
|
? (TO) TT=1800.01
|
? (TO) TT=1800.05
|
? (TO) TT=1800.03
|
UNSAT TT=536.755
|
? (TO) TT=1800.26
|
UNSAT TT=642.327
|
UNSAT TT=125.706
|
? (TO) TT=1800.09
|
? (TO) TT=1800.12
|
UNSAT TT=567.528
|
? (TO) TT=1800.14
|
? (TO) TT=1800.29
|
UNSAT TT=1091.94
|
? (TO) TT=1800.1
|
? (TO) TT=1800.07
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900669299.opb |
SAT
TT=0.145 T1=0
|
SAT TT=6.84 T1=6.75
|
SAT TT=5.72 T1=5.69
|
SAT TT=5.699 T1=5.68
|
SAT TT=326.47 T1=326.42
|
SAT TT=0.247 T1=0.19
|
? (TO) TT=1800.31
|
SAT TT=0.851 T1=0
|
SAT TT=0.449 T1=0
|
SAT TT=0.773 T1=0.69
|
SAT TT=0.775 T1=0.69
|
SAT TT=9.196 T1=9.09
|
SAT TT=5.326 T1=5.27
|
? (TO) TT=1800.2
|
SAT TT=1.994 T1=1.91
|
SAT TT=0.145 T1=0.09
|
SAT TT=1.047 T1=1
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900669309.opb |
SAT
TT=3.192 T1=3.12
|
SAT TT=7.485 T1=7.43
|
SAT TT=123.104 T1=123.07
|
SAT TT=123.519 T1=123.44
|
SAT TT=336.836 T1=336.81
|
SAT TT=38.925 T1=38.86
|
? (TO) TT=1800.12
|
SAT TT=20.623 T1=20.54
|
SAT TT=12.873 T1=12.79
|
SAT TT=7.176 T1=7.09
|
SAT TT=7.177 T1=7.08
|
SAT TT=42.193 T1=42.1
|
? (TO) TT=1800.13
|
? (TO) TT=1800.34
|
SAT TT=3.192 T1=3.12
|
SAT TT=11.912 T1=11.89
|
SAT TT=5.33 T1=5.29
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900669797.opb |
UNSAT
TT=65.275
|
? (TO) TT=1800.13
|
? TT=1800
|
? (TO) TT=1800.08
|
? (TO) TT=1800.01
|
UNSAT TT=76.76
|
? (TO) TT=1800.15
|
UNSAT TT=351.337
|
UNSAT TT=65.275
|
UNSAT TT=1288.97
|
UNSAT TT=1291.04
|
UNSAT TT=228.989
|
? (TO) TT=1800.22
|
? (TO) TT=1800.24
|
UNSAT TT=1155.7
|
? (TO) TT=1800.1
|
? (TO) TT=1800.09
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900670167.opb |
UNSAT
TT=16.639
|
? (TO) TT=1800.1
|
UNSAT TT=1701.49
|
UNSAT TT=1775.63
|
? (TO) TT=1800.06
|
UNSAT TT=33.587
|
? (TO) TT=1800.1
|
UNSAT TT=400.395
|
UNSAT TT=32.163
|
UNSAT TT=1713.73
|
UNSAT TT=1720.5
|
UNSAT TT=243.662
|
? (TO) TT=1800.14
|
? (TO) TT=1800.23
|
UNSAT TT=16.639
|
? (TO) TT=1800.04
|
? (TO) TT=1800.05
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900670234.opb |
UNSAT
TT=224.554
|
? (TO) TT=1800.12
|
? TT=1799.9
|
? (TO) TT=1800.06
|
? (TO) TT=1800.07
|
? (TO) TT=1800.08
|
? (TO) TT=1800.17
|
UNSAT TT=754.187
|
UNSAT TT=224.554
|
? (TO) TT=1800.09
|
? (TO) TT=1800.14
|
UNSAT TT=623.633
|
? (TO) TT=1800.14
|
? (TO) TT=1800.24
|
? (TO) TT=1800.15
|
? (TO) TT=1800.11
|
? (TO) TT=1800.07
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900670675.opb |
UNSAT
TT=7.884
|
? (TO) TT=1800.12
|
? TT=1800
|
? (TO) TT=1800.1
|
? (TO) TT=1800.08
|
UNSAT TT=51.104
|
? (TO) TT=1800.36
|
UNSAT TT=168.814
|
UNSAT TT=9.448
|
UNSAT TT=402.379
|
UNSAT TT=401.893
|
UNSAT TT=196.836
|
? (TO) TT=1800.17
|
? (TO) TT=1800.13
|
UNSAT TT=7.884
|
? (TO) TT=1800.06
|
? (TO) TT=1800.02
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900670756.opb |
SAT
TT=0.023 T1=0
|
SAT TT=10.118 T1=10.01
|
SAT TT=2.187 T1=2.09
|
SAT TT=2.224 T1=2.2
|
SAT TT=100.728 T1=100.66
|
SAT TT=13.552 T1=13.47
|
SAT TT=1564.35 T1=1564.32
|
SAT TT=0.81 T1=0
|
SAT TT=0.56 T1=0
|
SAT TT=2.225 T1=2.2
|
SAT TT=2.064 T1=1.99
|
SAT TT=0.15 T1=0.1
|
? (TO) TT=1800.19
|
? (TO) TT=1800.35
|
SAT TT=1.825 T1=1.75
|
SAT TT=0.111 T1=0.09
|
SAT TT=0.023 T1=0
|
Bench name | Best results on this instance | absconPseudo 102 | bsolo 3.0.16 | bsolo 3.0.17 | glpPB 0.2 | minisat+ 1.14 | oree 0.1.2 alpha | PB-clasp 2007-03-23 | PB-clasp 2007-04-10 | PBS4 2007-03-23 | PBS4_v2 2007-03-23 | Pueblo 1.4 | sat4jPseudoCP 2007-03-23 | sat4jPseudoCPClause 2007-03-23 | SAT4JPseudoResolution 2007-03-23 | wildcat-rnp 2007-03-21 | wildcat-skc 2007-03-21 |
---|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110966483.opb |
UNSAT
TT=0.064
|
UNSAT TT=17.394
|
UNSAT TT=26.754
|
UNSAT TT=26.709
|
UNSAT TT=0.064
|
UNSAT TT=268.528
|
? (TO) TT=1800.23
|
UNSAT TT=31.951
|
UNSAT TT=2.514
|
UNSAT TT=15.496
|
UNSAT TT=15.428
|
UNSAT TT=30.334
|
UNSAT TT=113.278
|
UNSAT TT=12.69
|
UNSAT TT=4.648
|
? (TO) TT=1800.08
|
? (TO) TT=1800.05
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110966688.opb |
UNSAT
TT=0.09
|
UNSAT TT=21.738
|
UNSAT TT=37.31
|
UNSAT TT=40.159
|
UNSAT TT=0.09
|
UNSAT TT=249.732
|
? (TO) TT=1800.22
|
UNSAT TT=44.626
|
UNSAT TT=4.132
|
UNSAT TT=16.814
|
UNSAT TT=16.787
|
UNSAT TT=7.96
|
? (TO) TT=1800.21
|
? (TO) TT=1800.2
|
UNSAT TT=6.199
|
? (TO) TT=1800.07
|
? (TO) TT=1800.11
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110967142.opb |
UNSAT
TT=1.939
|
UNSAT TT=37.214
|
UNSAT TT=95.374
|
UNSAT TT=94.736
|
UNSAT TT=1.939
|
UNSAT TT=507.906
|
? (TO) TT=1800.14
|
UNSAT TT=94.109
|
UNSAT TT=5.516
|
UNSAT TT=52.079
|
UNSAT TT=52.052
|
UNSAT TT=4.002
|
? (TO) TT=1800.32
|
? (TO) TT=1800.18
|
UNSAT TT=23.098
|
? (TO) TT=1800.08
|
? (TO) TT=1800.02
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110967327.opb |
SAT
TT=0.058 T1=0.01
|
SAT TT=16.913 T1=16.9
|
SAT TT=29.449 T1=29.37
|
SAT TT=29.547 T1=29.48
|
SAT TT=0.554 T1=0.48
|
SAT TT=60.412 T1=60.38
|
? (TO) TT=1800.14
|
SAT TT=53.598 T1=53.57
|
SAT TT=1.28 T1=1.17
|
SAT TT=12.839 T1=12.78
|
SAT TT=12.76 T1=12.68
|
SAT TT=2.849 T1=2.81
|
? (TO) TT=1800.15
|
? (TO) TT=1800.21
|
SAT TT=1.951 T1=1.84
|
SAT TT=0.072 T1=0.03
|
SAT TT=0.058 T1=0.01
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110967523.opb |
UNSAT
TT=1.071
|
UNSAT TT=23.322
|
UNSAT TT=58.069
|
UNSAT TT=58.063
|
UNSAT TT=1.071
|
UNSAT TT=393.38
|
? (TO) TT=1800.22
|
UNSAT TT=71.309
|
UNSAT TT=5.849
|
UNSAT TT=34.23
|
UNSAT TT=34.092
|
UNSAT TT=22.834
|
? (TO) TT=1800.13
|
? (TO) TT=1800.13
|
UNSAT TT=15.088
|
? (TO) TT=1800.06
|
? (TO) TT=1800.02
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110967729.opb |
UNSAT
TT=0.058
|
UNSAT TT=20.65
|
UNSAT TT=31.398
|
UNSAT TT=31.283
|
UNSAT TT=0.058
|
UNSAT TT=328.846
|
? (TO) TT=1800.12
|
UNSAT TT=38.158
|
UNSAT TT=1.943
|
UNSAT TT=11.222
|
UNSAT TT=11.195
|
UNSAT TT=60.288
|
UNSAT TT=22.696
|
UNSAT TT=12.218
|
UNSAT TT=6.242
|
? (TO) TT=1800.04
|
? (TO) TT=1800.07
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110968094.opb |
UNSAT
TT=0.106
|
UNSAT TT=17.244
|
UNSAT TT=43.554
|
UNSAT TT=43.355
|
UNSAT TT=0.106
|
UNSAT TT=408.786
|
? (TO) TT=1800.09
|
UNSAT TT=53.811
|
UNSAT TT=3.477
|
UNSAT TT=16.77
|
UNSAT TT=16.785
|
UNSAT TT=6.142
|
? (TO) TT=1800.14
|
UNSAT TT=816.833
|
UNSAT TT=7.995
|
? (TO) TT=1800.11
|
? (TO) TT=1800.08
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110968431.opb |
SAT
TT=0.011 T1=0
|
SAT TT=14.323 T1=14.28
|
SAT TT=24.253 T1=24.18
|
SAT TT=25.767 T1=25.68
|
SAT TT=0.274 T1=0.19
|
SAT TT=79.547 T1=79.46
|
SAT TT=1479.67 T1=1479.64
|
SAT TT=36.702 T1=36.64
|
SAT TT=0.206 T1=0
|
SAT TT=4.343 T1=4.29
|
SAT TT=4.34 T1=4.3
|
SAT TT=50.928 T1=50.87
|
SAT TT=78.774 T1=78.66
|
SAT TT=5.181 T1=5.13
|
SAT TT=1.791 T1=1.68
|
SAT TT=0.011 T1=0
|
SAT TT=0.045 T1=0
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110968561.opb |
UNSAT
TT=0.556
|
UNSAT TT=27.535
|
UNSAT TT=40.57
|
UNSAT TT=40.235
|
UNSAT TT=0.556
|
UNSAT TT=281.664
|
? (TO) TT=1800.11
|
UNSAT TT=59.33
|
UNSAT TT=4.078
|
UNSAT TT=34.661
|
UNSAT TT=34.518
|
UNSAT TT=29.45
|
? (TO) TT=1800.15
|
? (TO) TT=1800.14
|
UNSAT TT=10.433
|
? (TO) TT=1800.06
|
? (TO) TT=1800.07
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110968898.opb |
UNSAT
TT=0.066
|
UNSAT TT=17.845
|
UNSAT TT=54.686
|
UNSAT TT=54.823
|
UNSAT TT=0.066
|
UNSAT TT=205.519
|
? (TO) TT=1800.13
|
UNSAT TT=60.156
|
UNSAT TT=4.894
|
UNSAT TT=25.372
|
UNSAT TT=25.041
|
UNSAT TT=8.02
|
? (TO) TT=1800.2
|
? (TO) TT=1800.19
|
UNSAT TT=11.266
|
? (TO) TT=1800.05
|
? (TO) TT=1800.1
|
Bench name | Best results on this instance | absconPseudo 102 | bsolo 3.0.16 | bsolo 3.0.17 | glpPB 0.2 | minisat+ 1.14 | oree 0.1.2 alpha | PB-clasp 2007-03-23 | PB-clasp 2007-04-10 | PBS4 2007-03-23 | PBS4_v2 2007-03-23 | Pueblo 1.4 | sat4jPseudoCP 2007-03-23 | sat4jPseudoCPClause 2007-03-23 | SAT4JPseudoResolution 2007-03-23 | wildcat-rnp 2007-03-21 | wildcat-skc 2007-03-21 |
---|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110969170.opb |
UNSAT
TT=0.017
|
UNSAT TT=23.199
|
UNSAT TT=42.266
|
UNSAT TT=41.914
|
UNSAT TT=0.017
|
UNSAT TT=362.458
|
? (TO) TT=1800.15
|
UNSAT TT=53.982
|
UNSAT TT=4.151
|
UNSAT TT=20.553
|
UNSAT TT=20.449
|
UNSAT TT=15.018
|
UNSAT TT=164.804
|
UNSAT TT=279.886
|
UNSAT TT=7.677
|
? (TO) TT=1800.02
|
? (TO) TT=1800.09
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110969577.opb |
UNSAT
TT=0.014
|
UNSAT TT=21.705
|
UNSAT TT=35.243
|
UNSAT TT=35.162
|
UNSAT TT=0.014
|
UNSAT TT=306.967
|
? (TO) TT=1800.12
|
UNSAT TT=51.936
|
UNSAT TT=3.775
|
UNSAT TT=16.169
|
UNSAT TT=16.123
|
UNSAT TT=47.144
|
? (TO) TT=1800.24
|
UNSAT TT=518.972
|
UNSAT TT=8.129
|
? (TO) TT=1800.07
|
? (TO) TT=1800.04
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110969860.opb |
UNSAT
TT=0.803
|
UNSAT TT=38.771
|
UNSAT TT=65.947
|
UNSAT TT=65.775
|
UNSAT TT=0.803
|
UNSAT TT=526.977
|
? (TO) TT=1800.25
|
UNSAT TT=82.163
|
UNSAT TT=6.085
|
UNSAT TT=33.316
|
UNSAT TT=33.29
|
UNSAT TT=1.462
|
? (TO) TT=1800.12
|
? (TO) TT=1800.21
|
UNSAT TT=14.139
|
? (TO) TT=1800.05
|
? (TO) TT=1800.05
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110969933.opb |
SAT
TT=0.02 T1=0
|
SAT TT=19.313 T1=19.21
|
SAT TT=18.148 T1=18.08
|
SAT TT=18.414 T1=18.39
|
SAT TT=0.401 T1=0.39
|
SAT TT=33.892 T1=33.78
|
SAT TT=73.461 T1=73.37
|
SAT TT=14.445 T1=14.38
|
SAT TT=0.081 T1=0
|
SAT TT=2.786 T1=2.69
|
SAT TT=2.803 T1=2.69
|
SAT TT=23.42 T1=23.38
|
SAT TT=5.239 T1=5.17
|
SAT TT=766.992 T1=766.86
|
SAT TT=3.779 T1=3.7
|
SAT TT=0.02 T1=0
|
SAT TT=0.041 T1=0
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110970170.opb |
SAT
TT=0.079 T1=0
|
SAT TT=29.121 T1=29.09
|
SAT TT=33.527 T1=33.47
|
SAT TT=33.524 T1=33.48
|
SAT TT=0.512 T1=0.49
|
SAT TT=70.073 T1=69.97
|
? (TO) TT=1800.14
|
SAT TT=16.266 T1=16.18
|
SAT TT=1.792 T1=1.68
|
SAT TT=13.244 T1=13.19
|
SAT TT=13.257 T1=13.19
|
SAT TT=11.659 T1=11.59
|
? (TO) TT=1800.15
|
? (TO) TT=1800.16
|
SAT TT=8.678 T1=8.64
|
SAT TT=0.321 T1=0.29
|
SAT TT=0.079 T1=0
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110970277.opb |
SAT
TT=0.057 T1=0.01
|
SAT TT=7.154 T1=7.1
|
SAT TT=40.74 T1=40.67
|
SAT TT=40.797 T1=40.77
|
SAT TT=0.461 T1=0.39
|
SAT TT=53.96 T1=53.89
|
SAT TT=1191.7 T1=1191.66
|
SAT TT=45.467 T1=45.37
|
SAT TT=3.056 T1=2.97
|
SAT TT=15.93 T1=15.89
|
SAT TT=15.888 T1=15.78
|
SAT TT=5.263 T1=5.19
|
? (TO) TT=1800.22
|
SAT TT=1199.98 T1=1199.81
|
SAT TT=2.766 T1=2.68
|
SAT TT=0.057 T1=0.01
|
SAT TT=0.267 T1=0.19
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110970444.opb |
UNSAT
TT=0.064
|
UNSAT TT=24.585
|
UNSAT TT=29.686
|
UNSAT TT=29.682
|
UNSAT TT=0.064
|
UNSAT TT=730.927
|
? (TO) TT=1800.08
|
UNSAT TT=44.989
|
UNSAT TT=2.624
|
UNSAT TT=16.588
|
UNSAT TT=16.526
|
UNSAT TT=4.226
|
? (TO) TT=1800.09
|
? (TO) TT=1800.18
|
UNSAT TT=5.984
|
? (TO) TT=1800.11
|
? (TO) TT=1800.01
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110970631.opb |
UNSAT
TT=0.068
|
UNSAT TT=17.185
|
UNSAT TT=44.014
|
UNSAT TT=44.032
|
UNSAT TT=0.068
|
UNSAT TT=319.355
|
? (TO) TT=1800.26
|
UNSAT TT=46.779
|
UNSAT TT=2.31
|
UNSAT TT=21.103
|
UNSAT TT=19.66
|
UNSAT TT=46.3
|
? (TO) TT=1800.13
|
UNSAT TT=198.354
|
UNSAT TT=8.789
|
? (TO) TT=1800.03
|
? (TO) TT=1800.02
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110971097.opb |
SAT
TT=0.082 T1=0
|
SAT TT=28.814 T1=28.78
|
SAT TT=12.686 T1=12.59
|
SAT TT=12.762 T1=12.69
|
SAT TT=0.286 T1=0.19
|
SAT TT=201.363 T1=201.34
|
? (TO) TT=1800.11
|
SAT TT=56.082 T1=55.97
|
SAT TT=1.399 T1=1.27
|
SAT TT=41.46 T1=41.38
|
SAT TT=41.353 T1=41.28
|
SAT TT=2.045 T1=1.98
|
? (TO) TT=1800.26
|
? (TO) TT=1800.17
|
SAT TT=7.134 T1=7.11
|
SAT TT=0.082 T1=0.04
|
SAT TT=0.101 T1=0
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110971363.opb |
UNSAT
TT=0.092
|
UNSAT TT=27.159
|
UNSAT TT=50.425
|
UNSAT TT=49.489
|
UNSAT TT=0.092
|
UNSAT TT=197.048
|
? (TO) TT=1800.16
|
UNSAT TT=53.014
|
UNSAT TT=4.742
|
UNSAT TT=20.228
|
UNSAT TT=20.12
|
UNSAT TT=3.826
|
? (TO) TT=1800.16
|
? (TO) TT=1800.13
|
UNSAT TT=6.203
|
? (TO) TT=1800.09
|
? (TO) TT=1800.1
|
Bench name | Best results on this instance | absconPseudo 102 | bsolo 3.0.16 | bsolo 3.0.17 | glpPB 0.2 | minisat+ 1.14 | oree 0.1.2 alpha | PB-clasp 2007-03-23 | PB-clasp 2007-04-10 | PBS4 2007-03-23 | PBS4_v2 2007-03-23 | Pueblo 1.4 | sat4jPseudoCP 2007-03-23 | sat4jPseudoCPClause 2007-03-23 | SAT4JPseudoResolution 2007-03-23 | wildcat-rnp 2007-03-21 | wildcat-skc 2007-03-21 |
---|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110971697.opb |
UNSAT
TT=0.231
|
UNSAT TT=24.718
|
UNSAT TT=34.728
|
UNSAT TT=34.509
|
UNSAT TT=0.231
|
UNSAT TT=313.798
|
? (TO) TT=1800.19
|
UNSAT TT=50.899
|
UNSAT TT=4.638
|
UNSAT TT=19.217
|
UNSAT TT=17.952
|
UNSAT TT=23.381
|
? (TO) TT=1800.14
|
? (TO) TT=1800.26
|
UNSAT TT=8.782
|
? (TO) TT=1800.12
|
? (TO) TT=1800.02
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110971766.opb |
SAT
TT=0.025 T1=0
|
SAT TT=13.167 T1=13.13
|
SAT TT=10.189 T1=10.16
|
SAT TT=10.005 T1=9.98
|
SAT TT=1.187 T1=1.09
|
SAT TT=53.538 T1=53.47
|
? (TO) TT=1800.13
|
SAT TT=25.531 T1=25.43
|
SAT TT=1.225 T1=1.18
|
SAT TT=4.561 T1=4.49
|
SAT TT=4.82 T1=4.79
|
SAT TT=4.191 T1=4.17
|
? (TO) TT=1800.23
|
? (TO) TT=1800.14
|
SAT TT=2.024 T1=1.9
|
SAT TT=0.025 T1=0
|
SAT TT=0.032 T1=0.01
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110972154.opb |
UNSAT
TT=0.169
|
UNSAT TT=23.307
|
UNSAT TT=66.535
|
UNSAT TT=65.73
|
UNSAT TT=0.169
|
UNSAT TT=431.516
|
? (TO) TT=1800.14
|
UNSAT TT=74.324
|
UNSAT TT=4.31
|
UNSAT TT=37.386
|
UNSAT TT=37.295
|
UNSAT TT=19.892
|
? (TO) TT=1800.18
|
? (TO) TT=1800.18
|
UNSAT TT=13.366
|
? (TO) TT=1800.08
|
? (TO) TT=1800.04
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110972763.opb |
UNSAT
TT=0.182
|
UNSAT TT=32.677
|
UNSAT TT=46.912
|
UNSAT TT=48.253
|
UNSAT TT=0.182
|
UNSAT TT=552.343
|
? (TO) TT=1800.14
|
UNSAT TT=54.865
|
UNSAT TT=3.122
|
UNSAT TT=24.07
|
UNSAT TT=23.895
|
UNSAT TT=3.064
|
? (TO) TT=1800.2
|
? (TO) TT=1800.11
|
UNSAT TT=8.681
|
? (TO) TT=1800.08
|
? (TO) TT=1800.09
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110972958.opb |
SAT
TT=0.026 T1=0
|
SAT TT=27.534 T1=27.43
|
SAT TT=55.636 T1=55.56
|
SAT TT=56.128 T1=56.07
|
SAT TT=0.151 T1=0.09
|
SAT TT=71.959 T1=71.86
|
SAT TT=852.004 T1=851.95
|
SAT TT=40.436 T1=40.35
|
SAT TT=1.02 T1=0.98
|
SAT TT=3.023 T1=2.99
|
SAT TT=3.223 T1=3.19
|
SAT TT=3.135 T1=3.09
|
? (TO) TT=1800.15
|
? (TO) TT=1800.18
|
SAT TT=16.035 T1=16
|
SAT TT=0.026 T1=0
|
SAT TT=0.123 T1=0.09
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110973163.opb |
UNSAT
TT=0.057
|
UNSAT TT=19.236
|
UNSAT TT=63.644
|
UNSAT TT=63.849
|
UNSAT TT=0.057
|
UNSAT TT=483.289
|
? (TO) TT=1800.1
|
UNSAT TT=93.038
|
UNSAT TT=4.719
|
UNSAT TT=44.515
|
UNSAT TT=44.266
|
UNSAT TT=8.253
|
? (TO) TT=1800.22
|
? (TO) TT=1800.2
|
UNSAT TT=15.732
|
? (TO) TT=1800.05
|
? (TO) TT=1800.02
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110973364.opb |
UNSAT
TT=0.244
|
UNSAT TT=33.258
|
UNSAT TT=40.708
|
UNSAT TT=43.083
|
UNSAT TT=0.244
|
UNSAT TT=249.912
|
? (TO) TT=1800.07
|
UNSAT TT=42.512
|
UNSAT TT=2.58
|
UNSAT TT=22.311
|
UNSAT TT=22.235
|
UNSAT TT=12.92
|
? (TO) TT=1800.23
|
? (TO) TT=1800.21
|
UNSAT TT=4.969
|
? (TO) TT=1800.1
|
? (TO) TT=1800.08
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110973478.opb |
SAT
TT=0.195 T1=0.09
|
SAT TT=18.571 T1=18.53
|
SAT TT=39.242 T1=39.18
|
SAT TT=38.949 T1=38.85
|
SAT TT=0.195 T1=0.09
|
SAT TT=36.314 T1=36.29
|
SAT TT=1618.27 T1=1618.19
|
SAT TT=6.678 T1=6.58
|
SAT TT=1.514 T1=1.48
|
SAT TT=15.181 T1=15.09
|
SAT TT=15.1 T1=15.08
|
SAT TT=15.821 T1=15.78
|
SAT TT=29.455 T1=29.32
|
? (TO) TT=1800.24
|
SAT TT=7.379 T1=7.33
|
SAT TT=0.239 T1=0.19
|
SAT TT=0.219 T1=0.19
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110973670.opb |
UNSAT
TT=0.383
|
UNSAT TT=19.266
|
UNSAT TT=50.224
|
UNSAT TT=50.932
|
UNSAT TT=0.383
|
UNSAT TT=493.744
|
? (TO) TT=1800.22
|
UNSAT TT=62.065
|
UNSAT TT=3.996
|
UNSAT TT=27.267
|
UNSAT TT=27.164
|
UNSAT TT=10.809
|
? (TO) TT=1800.18
|
? (TO) TT=1800.21
|
UNSAT TT=13.061
|
? (TO) TT=1800.06
|
? (TO) TT=1800.03
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110973863.opb |
SAT
TT=0.092 T1=0
|
SAT TT=17.404 T1=17.31
|
SAT TT=1.612 T1=1.59
|
SAT TT=1.614 T1=1.59
|
SAT TT=0.294 T1=0.19
|
SAT TT=144.239 T1=144.14
|
? (TO) TT=1800.06
|
SAT TT=45.962 T1=45.86
|
SAT TT=0.704 T1=0
|
SAT TT=26.749 T1=26.68
|
SAT TT=26.634 T1=26.59
|
SAT TT=4.089 T1=1.99
|
? (TO) TT=1800.21
|
SAT TT=60.773 T1=60.72
|
SAT TT=5.924 T1=5.84
|
SAT TT=0.092 T1=0.06
|
SAT TT=0.103 T1=0.1
|
Bench name | Best results on this instance | absconPseudo 102 | bsolo 3.0.16 | bsolo 3.0.17 | glpPB 0.2 | minisat+ 1.14 | oree 0.1.2 alpha | PB-clasp 2007-03-23 | PB-clasp 2007-04-10 | PBS4 2007-03-23 | PBS4_v2 2007-03-23 | Pueblo 1.4 | sat4jPseudoCP 2007-03-23 | sat4jPseudoCPClause 2007-03-23 | SAT4JPseudoResolution 2007-03-23 | wildcat-rnp 2007-03-21 | wildcat-skc 2007-03-21 |
---|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110974180.opb |
UNSAT
TT=0.242
|
UNSAT TT=27.027
|
UNSAT TT=53.328
|
UNSAT TT=52.864
|
UNSAT TT=0.242
|
UNSAT TT=443.126
|
? (TO) TT=1800.26
|
UNSAT TT=68.363
|
UNSAT TT=3.995
|
UNSAT TT=31.142
|
UNSAT TT=30.987
|
UNSAT TT=6.551
|
? (TO) TT=1800.23
|
? (TO) TT=1800.21
|
UNSAT TT=12.808
|
? (TO) TT=1800.09
|
? (TO) TT=1800.08
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110974372.opb |
UNSAT
TT=0.012
|
UNSAT TT=26.611
|
UNSAT TT=43.668
|
UNSAT TT=40.898
|
UNSAT TT=0.012
|
UNSAT TT=355.044
|
? (TO) TT=1800.17
|
UNSAT TT=51.265
|
UNSAT TT=2.211
|
UNSAT TT=17.658
|
UNSAT TT=17.582
|
UNSAT TT=8.231
|
UNSAT TT=8.271
|
UNSAT TT=7.183
|
UNSAT TT=8.289
|
? (TO) TT=1800.07
|
? (TO) TT=1800.07
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110974553.opb |
SAT
TT=0.015 T1=0
|
SAT TT=14.017 T1=14
|
SAT TT=64.313 T1=64.27
|
SAT TT=64.334 T1=64.24
|
SAT TT=1.331 T1=1.29
|
SAT TT=51.01 T1=50.98
|
SAT TT=4.427 T1=4.39
|
SAT TT=1.016 T1=0.99
|
SAT TT=0.171 T1=0
|
SAT TT=5.127 T1=5.09
|
SAT TT=4.935 T1=4.88
|
SAT TT=3.125 T1=3.09
|
? (TO) TT=1800.15
|
? (TO) TT=1800.14
|
SAT TT=0.975 T1=0.85
|
SAT TT=0.015 T1=0
|
SAT TT=0.019 T1=0
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110975607.opb |
UNSAT
TT=0.087
|
UNSAT TT=18.53
|
UNSAT TT=29.919
|
UNSAT TT=30.265
|
UNSAT TT=0.087
|
UNSAT TT=139.242
|
? (TO) TT=1800.03
|
UNSAT TT=38.018
|
UNSAT TT=2.261
|
UNSAT TT=12.251
|
UNSAT TT=12.173
|
UNSAT TT=16.409
|
? (TO) TT=1800.19
|
UNSAT TT=129.84
|
UNSAT TT=5.726
|
? (TO) TT=1800.1
|
? (TO) TT=1800.05
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110975678.opb |
SAT
TT=0.141 T1=0.09
|
SAT TT=27.937 T1=27.87
|
SAT TT=36.471 T1=36.38
|
SAT TT=36.618 T1=36.6
|
SAT TT=0.774 T1=0.69
|
SAT TT=6.393 T1=6.29
|
SAT TT=1326.26 T1=1326.22
|
SAT TT=83.057 T1=82.95
|
SAT TT=3.34 T1=3.29
|
SAT TT=25.638 T1=25.59
|
SAT TT=25.588 T1=25.49
|
SAT TT=29.248 T1=29.17
|
? (TO) TT=1800.21
|
? (TO) TT=1800.15
|
SAT TT=13.52 T1=13.48
|
SAT TT=0.141 T1=0.09
|
SAT TT=1.335 T1=1.29
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110975832.opb |
SAT
TT=0.029 T1=0
|
SAT TT=13.769 T1=13.73
|
SAT TT=4.862 T1=4.79
|
SAT TT=4.847 T1=4.79
|
SAT TT=0.029 T1=0
|
SAT TT=95.607 T1=95.56
|
SAT TT=10.736 T1=10.69
|
SAT TT=12.539 T1=12.48
|
SAT TT=0.378 T1=0
|
SAT TT=33.798 T1=33.78
|
SAT TT=33.673 T1=33.58
|
SAT TT=1.652 T1=1.59
|
? (TO) TT=1800.12
|
? (TO) TT=1800.27
|
SAT TT=1.409 T1=1.34
|
SAT TT=0.301 T1=0.19
|
SAT TT=0.112 T1=0.09
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110975965.opb |
UNSAT
TT=0.941
|
UNSAT TT=26.47
|
UNSAT TT=101.635
|
UNSAT TT=102.558
|
UNSAT TT=0.941
|
UNSAT TT=455.333
|
? (TO) TT=1800.16
|
UNSAT TT=101.404
|
UNSAT TT=6.501
|
UNSAT TT=65.878
|
UNSAT TT=65.611
|
UNSAT TT=4.564
|
? (TO) TT=1800.15
|
? (TO) TT=1800.22
|
UNSAT TT=19.244
|
? (TO) TT=1800.03
|
? (TO) TT=1800.09
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110976157.opb |
UNSAT
TT=0.016
|
UNSAT TT=17.123
|
UNSAT TT=38.477
|
UNSAT TT=38.257
|
UNSAT TT=0.016
|
UNSAT TT=242.038
|
? (TO) TT=1800.15
|
UNSAT TT=44.792
|
UNSAT TT=1.996
|
UNSAT TT=17.209
|
UNSAT TT=17.165
|
UNSAT TT=19.749
|
UNSAT TT=11.908
|
UNSAT TT=8.994
|
UNSAT TT=5.4
|
? (TO) TT=1800.05
|
? (TO) TT=1800.06
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110976730.opb |
UNSAT
TT=0.152
|
UNSAT TT=33.379
|
UNSAT TT=68.5
|
UNSAT TT=67.198
|
UNSAT TT=0.152
|
UNSAT TT=241.178
|
? (TO) TT=1800.36
|
UNSAT TT=97.322
|
UNSAT TT=5.255
|
UNSAT TT=40.679
|
UNSAT TT=40.619
|
UNSAT TT=13.125
|
? (TO) TT=1800.17
|
? (TO) TT=1800.26
|
UNSAT TT=21.337
|
? (TO) TT=1800.05
|
? (TO) TT=1800.1
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110976735.opb |
SAT
TT=0.027 T1=0
|
SAT TT=2.808 T1=2.75
|
SAT TT=32.611 T1=32.58
|
SAT TT=31.442 T1=31.36
|
SAT TT=0.276 T1=0.19
|
SAT TT=1.156 T1=1.1
|
SAT TT=607.005 T1=606.93
|
SAT TT=10.708 T1=10.67
|
SAT TT=0.242 T1=0
|
SAT TT=1.892 T1=0.89
|
SAT TT=0.929 T1=0.89
|
SAT TT=1.212 T1=1.19
|
? (TO) TT=1800.23
|
? (TO) TT=1800.13
|
SAT TT=2.362 T1=2.25
|
SAT TT=0.052 T1=0.04
|
SAT TT=0.027 T1=0
|
Bench name | Best results on this instance | absconPseudo 102 | bsolo 3.0.16 | bsolo 3.0.17 | glpPB 0.2 | minisat+ 1.14 | oree 0.1.2 alpha | PB-clasp 2007-03-23 | PB-clasp 2007-04-10 | PBS4 2007-03-23 | PBS4_v2 2007-03-23 | Pueblo 1.4 | sat4jPseudoCP 2007-03-23 | sat4jPseudoCPClause 2007-03-23 | SAT4JPseudoResolution 2007-03-23 | wildcat-rnp 2007-03-21 | wildcat-skc 2007-03-21 |
---|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110976935.opb |
UNSAT
TT=0.017
|
UNSAT TT=20.801
|
UNSAT TT=62.668
|
UNSAT TT=62.412
|
UNSAT TT=0.017
|
UNSAT TT=162.218
|
? (TO) TT=1800.05
|
UNSAT TT=55.929
|
UNSAT TT=3.51
|
UNSAT TT=28.423
|
UNSAT TT=28.265
|
UNSAT TT=4.418
|
UNSAT TT=63.605
|
UNSAT TT=40.327
|
UNSAT TT=9.418
|
? (TO) TT=1800.09
|
? (TO) TT=1800.09
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110977266.opb |
SAT
TT=0.074 T1=0
|
SAT TT=28.181 T1=28.13
|
SAT TT=14.91 T1=14.89
|
SAT TT=14.818 T1=14.77
|
SAT TT=0.972 T1=0.88
|
SAT TT=1.432 T1=1.39
|
SAT TT=120.251 T1=120.15
|
SAT TT=38.85 T1=38.77
|
SAT TT=0.639 T1=0
|
SAT TT=16.153 T1=16.09
|
SAT TT=16.085 T1=15.99
|
SAT TT=1.454 T1=1.39
|
? (TO) TT=1800.17
|
SAT TT=644.944 T1=644.86
|
SAT TT=1.797 T1=1.7
|
SAT TT=0.074 T1=0
|
SAT TT=0.165 T1=0.1
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110977273.opb |
UNSAT
TT=0.257
|
UNSAT TT=21.148
|
UNSAT TT=45.33
|
UNSAT TT=45.773
|
UNSAT TT=0.257
|
UNSAT TT=336.366
|
? (TO) TT=1800.18
|
UNSAT TT=51.019
|
UNSAT TT=3.421
|
UNSAT TT=22.585
|
UNSAT TT=22.495
|
UNSAT TT=8.308
|
? (TO) TT=1800.14
|
UNSAT TT=402.645
|
UNSAT TT=8.941
|
? (TO) TT=1800.04
|
? (TO) TT=1800.04
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110977464.opb |
SAT
TT=0.069 T1=0
|
SAT TT=7.451 T1=7.41
|
SAT TT=45.964 T1=45.87
|
SAT TT=46.082 T1=45.97
|
SAT TT=0.325 T1=0.29
|
SAT TT=29.274 T1=29.18
|
? (TO) TT=1800.18
|
SAT TT=11.876 T1=11.77
|
SAT TT=0.23 T1=0
|
SAT TT=12.24 T1=12.19
|
SAT TT=11.408 T1=11.39
|
SAT TT=11.886 T1=11.79
|
SAT TT=39.753 T1=39.66
|
? (TO) TT=1800.21
|
SAT TT=3.233 T1=3.21
|
SAT TT=0.069 T1=0.04
|
SAT TT=0.078 T1=0
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110977780.opb |
UNSAT
TT=0.016
|
UNSAT TT=12.28
|
UNSAT TT=27.085
|
UNSAT TT=27.378
|
UNSAT TT=0.016
|
UNSAT TT=585.942
|
? (TO) TT=1800.3
|
UNSAT TT=44.739
|
UNSAT TT=2.774
|
UNSAT TT=13.904
|
UNSAT TT=13.895
|
UNSAT TT=41.36
|
UNSAT TT=569.712
|
UNSAT TT=115.488
|
UNSAT TT=5.683
|
? (TO) TT=1800.06
|
? (TO) TT=1800.08
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110978113.opb |
UNSAT
TT=1.253
|
UNSAT TT=23.04
|
UNSAT TT=68.309
|
UNSAT TT=71.45
|
UNSAT TT=1.253
|
UNSAT TT=264.603
|
? (TO) TT=1800.2
|
UNSAT TT=102.349
|
UNSAT TT=5.475
|
UNSAT TT=43.791
|
UNSAT TT=46.697
|
Signal TT=33.032
|
? (TO) TT=1800.15
|
? (TO) TT=1800.16
|
UNSAT TT=20.661
|
? (TO) TT=1800.09
|
? (TO) TT=1800.09
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110978334.opb |
UNSAT
TT=0.098
|
UNSAT TT=17.866
|
UNSAT TT=36.554
|
UNSAT TT=38.351
|
UNSAT TT=0.098
|
UNSAT TT=521.749
|
? (TO) TT=1800.13
|
UNSAT TT=56.985
|
UNSAT TT=3.652
|
UNSAT TT=21.563
|
UNSAT TT=21.467
|
UNSAT TT=11.06
|
? (TO) TT=1800.16
|
UNSAT TT=355.597
|
UNSAT TT=8.772
|
? (TO) TT=1800.05
|
? (TO) TT=1800.05
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111212272.opb |
UNSAT
TT=0.141
|
UNSAT TT=29.514
|
UNSAT TT=65.363
|
UNSAT TT=64.605
|
UNSAT TT=0.141
|
UNSAT TT=268.256
|
? (TO) TT=1800.11
|
UNSAT TT=73.533
|
UNSAT TT=4.506
|
UNSAT TT=39.884
|
UNSAT TT=39.725
|
UNSAT TT=15.149
|
? (TO) TT=1800.17
|
? (TO) TT=1800.15
|
UNSAT TT=11.873
|
? (TO) TT=1800.06
|
? (TO) TT=1800.05
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111212476.opb |
UNSAT
TT=0.371
|
UNSAT TT=34.575
|
UNSAT TT=59.305
|
UNSAT TT=58.592
|
UNSAT TT=0.371
|
UNSAT TT=268.449
|
? (TO) TT=1800.27
|
UNSAT TT=81.154
|
UNSAT TT=6.076
|
UNSAT TT=34.727
|
UNSAT TT=34.667
|
UNSAT TT=10.013
|
? (TO) TT=1800.14
|
? (TO) TT=1800.17
|
UNSAT TT=15.713
|
? (TO) TT=1800.04
|
? (TO) TT=1800.05
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111212923.opb |
UNSAT
TT=0.479
|
UNSAT TT=32.421
|
UNSAT TT=37.832
|
UNSAT TT=37.79
|
UNSAT TT=0.479
|
UNSAT TT=536.448
|
? (TO) TT=1800.18
|
UNSAT TT=46.156
|
UNSAT TT=2.766
|
UNSAT TT=21.266
|
UNSAT TT=21.191
|
UNSAT TT=14.94
|
? (TO) TT=1800.15
|
? (TO) TT=1800.19
|
UNSAT TT=6.442
|
? (TO) TT=1800.11
|
? (TO) TT=1800.04
|
Bench name | Best results on this instance | absconPseudo 102 | bsolo 3.0.16 | bsolo 3.0.17 | glpPB 0.2 | minisat+ 1.14 | oree 0.1.2 alpha | PB-clasp 2007-03-23 | PB-clasp 2007-04-10 | PBS4 2007-03-23 | PBS4_v2 2007-03-23 | Pueblo 1.4 | sat4jPseudoCP 2007-03-23 | sat4jPseudoCPClause 2007-03-23 | SAT4JPseudoResolution 2007-03-23 | wildcat-rnp 2007-03-21 | wildcat-skc 2007-03-21 |
---|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111213670.opb |
UNSAT
TT=0.016
|
UNSAT TT=19.839
|
UNSAT TT=64.64
|
UNSAT TT=64.741
|
UNSAT TT=0.016
|
UNSAT TT=241.774
|
? (TO) TT=1800.26
|
UNSAT TT=52.734
|
UNSAT TT=2.885
|
UNSAT TT=18.872
|
UNSAT TT=19.619
|
UNSAT TT=17.062
|
? (TO) TT=1800.15
|
UNSAT TT=11.373
|
UNSAT TT=6.454
|
? (TO) TT=1800.08
|
? (TO) TT=1800.04
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111213868.opb |
UNSAT
TT=0.495
|
UNSAT TT=26.754
|
UNSAT TT=65.647
|
UNSAT TT=65.358
|
UNSAT TT=0.495
|
UNSAT TT=642.267
|
? (TO) TT=1800.15
|
UNSAT TT=68.501
|
UNSAT TT=6.05
|
UNSAT TT=20.401
|
UNSAT TT=20.341
|
UNSAT TT=22.723
|
UNSAT TT=737.231
|
? (TO) TT=1800.19
|
UNSAT TT=10.17
|
? (TO) TT=1800.08
|
? (TO) TT=1800.08
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111216188.opb |
SAT
TT=0.082 T1=0.03
|
SAT TT=24.591 T1=24.51
|
SAT TT=7.804 T1=7.79
|
SAT TT=7.753 T1=7.69
|
SAT TT=0.219 T1=0.19
|
SAT TT=170.622 T1=170.55
|
? (TO) TT=1800.12
|
SAT TT=59.617 T1=59.56
|
SAT TT=4.086 T1=1.98
|
SAT TT=4.002 T1=3.99
|
SAT TT=3.987 T1=3.89
|
SAT TT=12.212 T1=12.19
|
? (TO) TT=1800.17
|
? (TO) TT=1800.17
|
SAT TT=2.415 T1=2.4
|
SAT TT=0.082 T1=0.03
|
SAT TT=0.648 T1=0.59
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111216411.opb |
UNSAT
TT=0.115
|
UNSAT TT=28.888
|
UNSAT TT=43.833
|
UNSAT TT=44.087
|
UNSAT TT=0.115
|
UNSAT TT=361.299
|
? (TO) TT=1800.13
|
UNSAT TT=62.336
|
UNSAT TT=3.991
|
UNSAT TT=26.442
|
UNSAT TT=26.353
|
UNSAT TT=14.876
|
? (TO) TT=1800.12
|
UNSAT TT=27.603
|
UNSAT TT=14.677
|
? (TO) TT=1800.08
|
? (TO) TT=1800.06
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111216823.opb |
UNSAT
TT=0.628
|
UNSAT TT=28.124
|
UNSAT TT=44.02
|
UNSAT TT=43.993
|
UNSAT TT=0.628
|
UNSAT TT=535.578
|
? (TO) TT=1800.23
|
UNSAT TT=57.535
|
UNSAT TT=2.997
|
UNSAT TT=21.955
|
UNSAT TT=21.918
|
UNSAT TT=20.384
|
? (TO) TT=1800.18
|
? (TO) TT=1800.15
|
UNSAT TT=11.141
|
? (TO) TT=1800.1
|
? (TO) TT=1800.07
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111216864.opb |
SAT
TT=0.011 T1=0
|
SAT TT=13.486 T1=13.4
|
SAT TT=11.588 T1=11.57
|
SAT TT=12.408 T1=12.38
|
SAT TT=0.3 T1=0.19
|
SAT TT=49.012 T1=48.98
|
? (TO) TT=1800.16
|
SAT TT=28.38 T1=28.26
|
SAT TT=2.159 T1=2.08
|
SAT TT=6.836 T1=6.79
|
SAT TT=6.82 T1=6.78
|
SAT TT=20.774 T1=20.67
|
? (TO) TT=1800.23
|
SAT TT=1575.71 T1=1575.56
|
SAT TT=2.408 T1=2.29
|
SAT TT=0.011 T1=0
|
SAT TT=0.088 T1=0.02
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111217374.opb |
SAT
TT=0.03 T1=0
|
SAT TT=2.423 T1=2.32
|
SAT TT=18.238 T1=18.2
|
SAT TT=18.138 T1=18.09
|
SAT TT=0.544 T1=0.49
|
SAT TT=5.069 T1=4.99
|
SAT TT=253.092 T1=253
|
SAT TT=1.489 T1=1.38
|
SAT TT=0.263 T1=0
|
SAT TT=11.854 T1=11.79
|
SAT TT=11.862 T1=11.79
|
SAT TT=0.715 T1=0.69
|
SAT TT=203.111 T1=202.97
|
? (TO) TT=1800.2
|
SAT TT=1.723 T1=1.56
|
SAT TT=0.03 T1=0
|
SAT TT=0.047 T1=0
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111217380.opb |
SAT
TT=0.088 T1=0.01
|
SAT TT=17.764 T1=17.67
|
SAT TT=43.172 T1=43.06
|
SAT TT=45.643 T1=45.57
|
SAT TT=0.24 T1=0.19
|
SAT TT=14.998 T1=14.88
|
SAT TT=28.306 T1=28.28
|
SAT TT=1.426 T1=1.37
|
SAT TT=1.395 T1=1.28
|
SAT TT=8.749 T1=8.69
|
SAT TT=8.764 T1=8.7
|
SAT TT=3.249 T1=3.14
|
? (TO) TT=1800.15
|
SAT TT=760.728 T1=760.63
|
SAT TT=3.709 T1=3.68
|
SAT TT=0.224 T1=0.2
|
SAT TT=0.088 T1=0.01
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111217392.opb |
UNSAT
TT=0.231
|
UNSAT TT=17.352
|
UNSAT TT=40.617
|
UNSAT TT=40.17
|
UNSAT TT=0.231
|
UNSAT TT=211.037
|
? (TO) TT=1800.24
|
UNSAT TT=41.994
|
UNSAT TT=4.494
|
UNSAT TT=21.006
|
UNSAT TT=20.895
|
UNSAT TT=24.333
|
UNSAT TT=1527.68
|
? (TO) TT=1800.17
|
UNSAT TT=9.758
|
? (TO) TT=1800.03
|
? (TO) TT=1800.04
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111217555.opb |
UNSAT
TT=0.459
|
UNSAT TT=21.773
|
UNSAT TT=44.812
|
UNSAT TT=45.209
|
UNSAT TT=0.459
|
UNSAT TT=300.582
|
? (TO) TT=1800.15
|
UNSAT TT=66.446
|
UNSAT TT=5.285
|
UNSAT TT=32.969
|
UNSAT TT=32.931
|
UNSAT TT=35.685
|
? (TO) TT=1800.2
|
? (TO) TT=1800.16
|
UNSAT TT=18.552
|
? (TO) TT=1800.04
|
? (TO) TT=1800.08
|
Bench name | Best results on this instance | absconPseudo 102 | bsolo 3.0.16 | bsolo 3.0.17 | glpPB 0.2 | minisat+ 1.14 | oree 0.1.2 alpha | PB-clasp 2007-03-23 | PB-clasp 2007-04-10 | PBS4 2007-03-23 | PBS4_v2 2007-03-23 | Pueblo 1.4 | sat4jPseudoCP 2007-03-23 | sat4jPseudoCPClause 2007-03-23 | SAT4JPseudoResolution 2007-03-23 | wildcat-rnp 2007-03-21 | wildcat-skc 2007-03-21 |
---|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218024.opb |
UNSAT
TT=0.016
|
UNSAT TT=23.519
|
UNSAT TT=50.234
|
UNSAT TT=49.932
|
UNSAT TT=0.016
|
UNSAT TT=264.956
|
? (TO) TT=1800.06
|
UNSAT TT=66.167
|
UNSAT TT=6.065
|
UNSAT TT=27.509
|
UNSAT TT=27.299
|
UNSAT TT=24.96
|
UNSAT TT=5.945
|
UNSAT TT=6.318
|
UNSAT TT=11.944
|
? (TO) TT=1800.02
|
? (TO) TT=1800.04
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218308.opb |
UNSAT
TT=0.764
|
UNSAT TT=35.661
|
UNSAT TT=127.785
|
UNSAT TT=127.178
|
UNSAT TT=0.764
|
UNSAT TT=504.963
|
? (TO) TT=1800.1
|
UNSAT TT=110.116
|
UNSAT TT=7.46
|
UNSAT TT=85.167
|
UNSAT TT=84.69
|
UNSAT TT=5.127
|
? (TO) TT=1800.21
|
? (TO) TT=1800.14
|
UNSAT TT=31.426
|
? (TO) TT=1800.09
|
? (TO) TT=1800.06
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218757.opb |
UNSAT
TT=0.038
|
UNSAT TT=22.68
|
UNSAT TT=44.687
|
UNSAT TT=44.393
|
UNSAT TT=0.038
|
UNSAT TT=331.201
|
? (TO) TT=1800.21
|
UNSAT TT=70.338
|
UNSAT TT=4.115
|
UNSAT TT=30.791
|
UNSAT TT=30.659
|
UNSAT TT=29.541
|
? (TO) TT=1800.25
|
? (TO) TT=1800.23
|
UNSAT TT=10.816
|
? (TO) TT=1800.06
|
? (TO) TT=1800.02
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218955.opb |
UNSAT
TT=0.113
|
UNSAT TT=29.449
|
UNSAT TT=37.792
|
UNSAT TT=37.735
|
UNSAT TT=0.113
|
UNSAT TT=625.241
|
? (TO) TT=1800.16
|
UNSAT TT=45.896
|
UNSAT TT=2.845
|
UNSAT TT=18.94
|
UNSAT TT=17.63
|
UNSAT TT=22.86
|
UNSAT TT=143.727
|
UNSAT TT=1113.95
|
UNSAT TT=7.268
|
? (TO) TT=1800.05
|
? (TO) TT=1800.03
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111219348.opb |
UNSAT
TT=0.695
|
UNSAT TT=29.819
|
UNSAT TT=43.983
|
UNSAT TT=44.315
|
UNSAT TT=0.695
|
UNSAT TT=345.318
|
? (TO) TT=1800.13
|
UNSAT TT=53.047
|
UNSAT TT=4.287
|
UNSAT TT=21.527
|
UNSAT TT=20.049
|
UNSAT TT=12.106
|
? (TO) TT=1800.23
|
? (TO) TT=1800.23
|
UNSAT TT=14.805
|
? (TO) TT=1800.04
|
? (TO) TT=1800.08
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111219399.opb |
SAT
TT=0.047 T1=0.02
|
SAT TT=2.028 T1=1.91
|
SAT TT=3.422 T1=3.39
|
SAT TT=3.454 T1=3.39
|
SAT TT=0.409 T1=0.39
|
SAT TT=64.394 T1=64.37
|
? (TO) TT=1800.08
|
SAT TT=12.377 T1=12.27
|
SAT TT=1.301 T1=1.18
|
SAT TT=3.7 T1=3.59
|
SAT TT=3.696 T1=3.59
|
SAT TT=2.998 T1=2.99
|
? (TO) TT=1800.17
|
SAT TT=11.612 T1=11.51
|
SAT TT=1.132 T1=1.01
|
SAT TT=0.047 T1=0.02
|
SAT TT=0.06 T1=0.05
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111219799.opb |
UNSAT
TT=0.304
|
UNSAT TT=24.4
|
UNSAT TT=46.926
|
UNSAT TT=47.216
|
UNSAT TT=0.304
|
UNSAT TT=433.897
|
? (TO) TT=1800.08
|
UNSAT TT=52.451
|
UNSAT TT=3.401
|
UNSAT TT=23.5
|
UNSAT TT=23.212
|
UNSAT TT=56.128
|
? (TO) TT=1800.13
|
? (TO) TT=1800.2
|
UNSAT TT=7.83
|
? (TO) TT=1800.03
|
? (TO) TT=1800.05
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111220019.opb |
UNSAT
TT=0.096
|
UNSAT TT=21.985
|
UNSAT TT=46.839
|
UNSAT TT=46.652
|
UNSAT TT=0.096
|
UNSAT TT=325.095
|
? (TO) TT=1800.28
|
UNSAT TT=63.268
|
UNSAT TT=4.27
|
UNSAT TT=25.687
|
UNSAT TT=27.26
|
UNSAT TT=21.283
|
? (TO) TT=1800.19
|
? (TO) TT=1800.14
|
UNSAT TT=12.846
|
? (TO) TT=1800.06
|
? (TO) TT=1800.01
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111220546.opb |
UNSAT
TT=0.442
|
UNSAT TT=27.378
|
UNSAT TT=37.494
|
UNSAT TT=37.238
|
UNSAT TT=0.442
|
UNSAT TT=310.571
|
? (TO) TT=1800.17
|
UNSAT TT=57.041
|
UNSAT TT=4.19
|
UNSAT TT=21.255
|
UNSAT TT=22.558
|
UNSAT TT=37.822
|
? (TO) TT=1800.13
|
? (TO) TT=1800.19
|
UNSAT TT=12.462
|
? (TO) TT=1800.03
|
? (TO) TT=1800.07
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111220767.opb |
UNSAT
TT=0.109
|
UNSAT TT=24.617
|
UNSAT TT=56.075
|
UNSAT TT=55.974
|
UNSAT TT=0.109
|
UNSAT TT=532.886
|
? (TO) TT=1800.15
|
UNSAT TT=65.066
|
UNSAT TT=5.888
|
UNSAT TT=23.848
|
UNSAT TT=22.264
|
UNSAT TT=4.775
|
? (TO) TT=1800.13
|
? (TO) TT=1800.17
|
UNSAT TT=13.886
|
? (TO) TT=1800.09
|
? (TO) TT=1800.05
|
Bench name | Best results on this instance | absconPseudo 102 | bsolo 3.0.16 | bsolo 3.0.17 | glpPB 0.2 | minisat+ 1.14 | oree 0.1.2 alpha | PB-clasp 2007-03-23 | PB-clasp 2007-04-10 | PBS4 2007-03-23 | PBS4_v2 2007-03-23 | Pueblo 1.4 | sat4jPseudoCP 2007-03-23 | sat4jPseudoCPClause 2007-03-23 | SAT4JPseudoResolution 2007-03-23 | wildcat-rnp 2007-03-21 | wildcat-skc 2007-03-21 |
---|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111221203.opb |
UNSAT
TT=0.356
|
UNSAT TT=30.607
|
UNSAT TT=28.809
|
UNSAT TT=28.893
|
UNSAT TT=0.356
|
UNSAT TT=146.256
|
? (TO) TT=1800.07
|
UNSAT TT=58.91
|
UNSAT TT=3.529
|
UNSAT TT=27.807
|
UNSAT TT=27.642
|
UNSAT TT=6.268
|
? (TO) TT=1800.24
|
? (TO) TT=1800.17
|
UNSAT TT=9.429
|
? (TO) TT=1800.05
|
? (TO) TT=1800.01
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111221624.opb |
UNSAT
TT=0.293
|
UNSAT TT=21.38
|
UNSAT TT=52.86
|
UNSAT TT=52.287
|
UNSAT TT=0.293
|
UNSAT TT=631.288
|
? (TO) TT=1800.19
|
UNSAT TT=54.874
|
UNSAT TT=7.397
|
UNSAT TT=26.155
|
UNSAT TT=26.022
|
UNSAT TT=19.248
|
? (TO) TT=1800.21
|
? (TO) TT=1800.32
|
UNSAT TT=13.461
|
? (TO) TT=1800.08
|
? (TO) TT=1800.06
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111221953.opb |
SAT
TT=0.181 T1=0
|
SAT TT=6.496 T1=6.42
|
SAT TT=23.65 T1=23.58
|
SAT TT=23.359 T1=23.28
|
SAT TT=0.181 T1=0.09
|
SAT TT=77.139 T1=77.07
|
SAT TT=48.77 T1=48.69
|
SAT TT=33.676 T1=33.55
|
SAT TT=0.769 T1=0
|
SAT TT=10.097 T1=9.99
|
SAT TT=10.047 T1=9.99
|
SAT TT=38.534 T1=38.48
|
? (TO) TT=1800.14
|
? (TO) TT=1800.19
|
SAT TT=2.43 T1=2.4
|
SAT TT=0.215 T1=0.19
|
SAT TT=0.645 T1=0.59
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111222080.opb |
SAT
TT=0.045 T1=0
|
SAT TT=8.433 T1=8.4
|
SAT TT=8.611 T1=8.56
|
SAT TT=8.813 T1=8.79
|
SAT TT=0.145 T1=0.09
|
SAT TT=129.39 T1=129.35
|
SAT TT=618.876 T1=618.77
|
SAT TT=33.065 T1=32.94
|
SAT TT=2.435 T1=2.36
|
SAT TT=12.863 T1=12.78
|
SAT TT=12.852 T1=12.79
|
SAT TT=8.006 T1=7.99
|
SAT TT=189.614 T1=189.57
|
SAT TT=50.239 T1=50.17
|
SAT TT=3.824 T1=3.75
|
SAT TT=0.045 T1=0
|
SAT TT=0.092 T1=0.05
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111222248.opb |
SAT
TT=0.023 T1=0
|
SAT TT=3.383 T1=3.32
|
SAT TT=5.623 T1=5.59
|
SAT TT=5.591 T1=5.57
|
SAT TT=0.77 T1=0.69
|
SAT TT=5.559 T1=5.49
|
? (TO) TT=1800.3
|
SAT TT=27.038 T1=26.98
|
SAT TT=0.349 T1=0
|
SAT TT=11.581 T1=11.48
|
SAT TT=11.481 T1=11.38
|
SAT TT=1.563 T1=1.49
|
SAT TT=30.648 T1=30.55
|
? (TO) TT=1800.29
|
SAT TT=1.389 T1=1.29
|
SAT TT=0.024 T1=0
|
SAT TT=0.023 T1=0
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111222257.opb |
UNSAT
TT=0.229
|
UNSAT TT=28.757
|
UNSAT TT=40.401
|
UNSAT TT=40.318
|
UNSAT TT=0.229
|
UNSAT TT=353.528
|
? (TO) TT=1800.09
|
UNSAT TT=52.811
|
UNSAT TT=3.394
|
UNSAT TT=25.187
|
UNSAT TT=25.11
|
UNSAT TT=33.547
|
? (TO) TT=1800.17
|
? (TO) TT=1800.24
|
UNSAT TT=8.69
|
? (TO) TT=1800.05
|
? (TO) TT=1800.03
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111222539.opb |
UNSAT
TT=0.025
|
UNSAT TT=26.415
|
UNSAT TT=42.939
|
UNSAT TT=43.275
|
UNSAT TT=0.025
|
UNSAT TT=500.024
|
? (TO) TT=1800.19
|
UNSAT TT=71.845
|
UNSAT TT=4.992
|
UNSAT TT=20.234
|
UNSAT TT=18.959
|
UNSAT TT=20.32
|
UNSAT TT=519.633
|
? (TO) TT=1800.22
|
UNSAT TT=8.9
|
? (TO) TT=1800.07
|
? (TO) TT=1800.04
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111223004.opb |
UNSAT
TT=1.966
|
UNSAT TT=31.577
|
UNSAT TT=59.461
|
UNSAT TT=58.744
|
UNSAT TT=1.966
|
UNSAT TT=528.608
|
? (TO) TT=1800.09
|
UNSAT TT=63.65
|
UNSAT TT=5.345
|
UNSAT TT=27.777
|
UNSAT TT=27.696
|
UNSAT TT=42.079
|
? (TO) TT=1800.16
|
? (TO) TT=1800.2
|
UNSAT TT=13.109
|
? (TO) TT=1800.01
|
? (TO) TT=1800.09
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111223220.opb |
UNSAT
TT=0.09
|
UNSAT TT=26.17
|
UNSAT TT=57.311
|
UNSAT TT=56.651
|
UNSAT TT=0.09
|
UNSAT TT=553.548
|
? (TO) TT=1800.28
|
UNSAT TT=71.06
|
UNSAT TT=4.649
|
UNSAT TT=35.432
|
UNSAT TT=35.334
|
UNSAT TT=24.749
|
? (TO) TT=1800.17
|
? (TO) TT=1800.16
|
UNSAT TT=10.349
|
? (TO) TT=1800.03
|
? (TO) TT=1800.02
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111223416.opb |
SAT
TT=0.027 T1=0
|
SAT TT=13.493 T1=13.42
|
SAT TT=29.237 T1=29.19
|
SAT TT=29.287 T1=29.22
|
SAT TT=0.12 T1=0.09
|
SAT TT=213.287 T1=213.26
|
SAT TT=888.597 T1=888.5
|
SAT TT=18.686 T1=18.57
|
SAT TT=1.307 T1=1.18
|
SAT TT=7.966 T1=7.89
|
SAT TT=7.902 T1=7.88
|
SAT TT=13.02 T1=12.99
|
SAT TT=6.101 T1=6.05
|
SAT TT=473.747 T1=473.63
|
SAT TT=1.301 T1=1.22
|
SAT TT=0.027 T1=0
|
SAT TT=0.082 T1=0.07
|
Bench name | Best results on this instance | absconPseudo 102 | bsolo 3.0.16 | bsolo 3.0.17 | glpPB 0.2 | minisat+ 1.14 | oree 0.1.2 alpha | PB-clasp 2007-03-23 | PB-clasp 2007-04-10 | PBS4 2007-03-23 | PBS4_v2 2007-03-23 | Pueblo 1.4 | sat4jPseudoCP 2007-03-23 | sat4jPseudoCPClause 2007-03-23 | SAT4JPseudoResolution 2007-03-23 | wildcat-rnp 2007-03-21 | wildcat-skc 2007-03-21 |
---|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111223596.opb |
SAT
TT=0.015 T1=0
|
SAT TT=1.935 T1=1.82
|
SAT TT=91.85 T1=91.76
|
SAT TT=91.659 T1=91.65
|
SAT TT=0.651 T1=0.59
|
SAT TT=69.93 T1=69.87
|
? (TO) TT=1800.1
|
SAT TT=82.119 T1=82.05
|
SAT TT=5.157 T1=5.06
|
SAT TT=23.78 T1=23.68
|
SAT TT=23.717 T1=23.69
|
SAT TT=7.527 T1=7.48
|
? (TO) TT=1800.14
|
? (TO) TT=1800.17
|
SAT TT=5.19 T1=5.16
|
SAT TT=0.209 T1=0.19
|
SAT TT=0.015 T1=0
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111223689.opb |
SAT
TT=0.016 T1=0
|
SAT TT=3.763 T1=3.7
|
SAT TT=44.241 T1=44.18
|
SAT TT=44.644 T1=44.57
|
SAT TT=0.572 T1=0.5
|
SAT TT=3.837 T1=3.79
|
SAT TT=1105.87 T1=1105.82
|
SAT TT=4.11 T1=4.06
|
SAT TT=0.856 T1=0
|
SAT TT=0.147 T1=0.09
|
SAT TT=0.147 T1=0.09
|
SAT TT=0.359 T1=0.29
|
? (TO) TT=1800.16
|
SAT TT=4.519 T1=4.36
|
SAT TT=1.762 T1=1.73
|
SAT TT=0.016 T1=0
|
SAT TT=0.101 T1=0.03
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111223696.opb |
SAT
TT=0.061 T1=0.04
|
SAT TT=17.442 T1=17.42
|
SAT TT=64.706 T1=64.67
|
SAT TT=64.143 T1=64.07
|
SAT TT=0.093 T1=0.05
|
SAT TT=178.231 T1=178.14
|
? (TO) TT=1800.13
|
SAT TT=24.091 T1=23.97
|
SAT TT=2.414 T1=2.37
|
SAT TT=21.016 T1=20.99
|
SAT TT=20.933 T1=20.89
|
SAT TT=11.584 T1=11.49
|
SAT TT=16.308 T1=16.19
|
? (TO) TT=1800.21
|
SAT TT=5.068 T1=5.02
|
SAT TT=0.061 T1=0.04
|
SAT TT=0.061 T1=0.05
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224059.opb |
UNSAT
TT=0.013
|
UNSAT TT=17.96
|
UNSAT TT=23.136
|
UNSAT TT=23.348
|
UNSAT TT=0.013
|
UNSAT TT=227.421
|
UNSAT TT=1652.45
|
UNSAT TT=38.628
|
UNSAT TT=2.429
|
UNSAT TT=12.473
|
UNSAT TT=12.444
|
UNSAT TT=32.273
|
? (TO) TT=1800.24
|
UNSAT TT=9.934
|
UNSAT TT=5.295
|
? (TO) TT=1800.07
|
? (TO) TT=1800.1
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224255.opb |
UNSAT
TT=0.59
|
UNSAT TT=23.422
|
UNSAT TT=44.951
|
UNSAT TT=44.336
|
UNSAT TT=0.59
|
UNSAT TT=433.019
|
? (TO) TT=1800.05
|
UNSAT TT=59.878
|
UNSAT TT=4.074
|
UNSAT TT=20.841
|
UNSAT TT=20.731
|
UNSAT TT=32.642
|
? (TO) TT=1800.2
|
? (TO) TT=1800.15
|
UNSAT TT=8.111
|
? (TO) TT=1800.07
|
? (TO) TT=1800.07
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224451.opb |
UNSAT
TT=0.161
|
UNSAT TT=21.082
|
UNSAT TT=48.83
|
UNSAT TT=49.101
|
UNSAT TT=0.161
|
UNSAT TT=331.553
|
? (TO) TT=1800.21
|
UNSAT TT=49.188
|
UNSAT TT=3.377
|
UNSAT TT=21.514
|
UNSAT TT=21.476
|
UNSAT TT=48.774
|
? (TO) TT=1800.25
|
? (TO) TT=1800.13
|
UNSAT TT=7.561
|
? (TO) TT=1800.08
|
? (TO) TT=1800.02
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224522.opb |
SAT
TT=0.184 T1=0.09
|
SAT TT=16.071 T1=16
|
SAT TT=34.08 T1=33.98
|
SAT TT=34.022 T1=33.99
|
SAT TT=0.184 T1=0.09
|
SAT TT=28.304 T1=28.28
|
SAT TT=881.203 T1=881.16
|
SAT TT=10.087 T1=9.97
|
SAT TT=1.395 T1=1.27
|
SAT TT=11.848 T1=11.78
|
SAT TT=11.847 T1=11.79
|
SAT TT=23.175 T1=23.06
|
? (TO) TT=1800.13
|
SAT TT=11.002 T1=10.9
|
SAT TT=3.361 T1=3.31
|
SAT TT=0.226 T1=0.19
|
SAT TT=0.514 T1=0.49
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224929.opb |
UNSAT
TT=0.046
|
UNSAT TT=27.159
|
UNSAT TT=35.308
|
UNSAT TT=35.032
|
UNSAT TT=0.046
|
UNSAT TT=275.286
|
? (TO) TT=1800.32
|
UNSAT TT=45.474
|
UNSAT TT=3.079
|
UNSAT TT=20.478
|
UNSAT TT=20.378
|
UNSAT TT=12.053
|
? (TO) TT=1800.2
|
UNSAT TT=933.336
|
UNSAT TT=9.267
|
? (TO) TT=1800.04
|
? (TO) TT=1800.07
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111225122.opb |
UNSAT
TT=0.185
|
UNSAT TT=22.741
|
UNSAT TT=46.476
|
UNSAT TT=46.289
|
UNSAT TT=0.185
|
UNSAT TT=455.048
|
? (TO) TT=1800.13
|
UNSAT TT=45.204
|
UNSAT TT=4.15
|
UNSAT TT=23.857
|
UNSAT TT=22.461
|
UNSAT TT=18.963
|
? (TO) TT=1800.12
|
? (TO) TT=1800.24
|
UNSAT TT=6.003
|
? (TO) TT=1800.08
|
? (TO) TT=1800.05
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111225605.opb |
UNSAT
TT=0.604
|
UNSAT TT=26.428
|
UNSAT TT=43.5
|
UNSAT TT=43.596
|
UNSAT TT=0.604
|
UNSAT TT=363.442
|
? (TO) TT=1800.12
|
UNSAT TT=55.831
|
UNSAT TT=4.737
|
UNSAT TT=22.253
|
UNSAT TT=22.203
|
UNSAT TT=23.007
|
? (TO) TT=1800.13
|
? (TO) TT=1800.22
|
UNSAT TT=11.964
|
? (TO) TT=1800.04
|
? (TO) TT=1800.09
|
Bench name | Best results on this instance | absconPseudo 102 | bsolo 3.0.16 | bsolo 3.0.17 | glpPB 0.2 | minisat+ 1.14 | oree 0.1.2 alpha | PB-clasp 2007-03-23 | PB-clasp 2007-04-10 | PBS4 2007-03-23 | PBS4_v2 2007-03-23 | Pueblo 1.4 | sat4jPseudoCP 2007-03-23 | sat4jPseudoCPClause 2007-03-23 | SAT4JPseudoResolution 2007-03-23 | wildcat-rnp 2007-03-21 | wildcat-skc 2007-03-21 |
---|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111226062.opb |
UNSAT
TT=0.433
|
UNSAT TT=24.307
|
UNSAT TT=54.74
|
UNSAT TT=54.775
|
UNSAT TT=0.433
|
UNSAT TT=483.42
|
? (TO) TT=1800.07
|
UNSAT TT=48.279
|
UNSAT TT=4.074
|
UNSAT TT=21.63
|
UNSAT TT=21.567
|
UNSAT TT=2.861
|
? (TO) TT=1800.19
|
? (TO) TT=1800.21
|
UNSAT TT=7.981
|
? (TO) TT=1800.05
|
? (TO) TT=1800.04
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111226241.opb |
SAT
TT=0.057 T1=0
|
SAT TT=11.844 T1=11.8
|
SAT TT=17.333 T1=17.26
|
SAT TT=17.255 T1=17.18
|
SAT TT=0.057 T1=0
|
SAT TT=26.839 T1=26.79
|
? (TO) TT=1800.34
|
SAT TT=38.853 T1=38.77
|
SAT TT=1.472 T1=1.34
|
SAT TT=18.33 T1=18.28
|
SAT TT=18.293 T1=18.19
|
SAT TT=5.1 T1=5.09
|
? (TO) TT=1800.21
|
SAT TT=26.304 T1=26.23
|
SAT TT=2.381 T1=2.33
|
SAT TT=0.058 T1=0.02
|
SAT TT=0.249 T1=0.2
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111226284.opb |
SAT
TT=0.011 T1=0
|
SAT TT=12.727 T1=12.68
|
SAT TT=29.661 T1=29.57
|
SAT TT=31.362 T1=31.28
|
SAT TT=0.208 T1=0.19
|
SAT TT=134.063 T1=133.95
|
? (TO) TT=1800.12
|
SAT TT=0.183 T1=0
|
SAT TT=2.662 T1=2.58
|
SAT TT=23.837 T1=23.78
|
SAT TT=23.808 T1=23.79
|
SAT TT=4.194 T1=4.09
|
SAT TT=4.723 T1=4.68
|
SAT TT=2.089 T1=1.99
|
SAT TT=11.356 T1=11.34
|
SAT TT=0.011 T1=0
|
SAT TT=0.133 T1=0.09
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111226368.opb |
UNSAT
TT=0.078
|
UNSAT TT=25.383
|
UNSAT TT=20.78
|
UNSAT TT=20.702
|
UNSAT TT=0.078
|
UNSAT TT=231.05
|
? (TO) TT=1800.11
|
UNSAT TT=40.386
|
UNSAT TT=2.563
|
UNSAT TT=13.967
|
UNSAT TT=14.885
|
UNSAT TT=15.333
|
UNSAT TT=1054.13
|
UNSAT TT=106.167
|
UNSAT TT=5.745
|
? (TO) TT=1800.08
|
? (TO) TT=1800.02
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111226680.opb |
UNSAT
TT=0.142
|
UNSAT TT=25.513
|
UNSAT TT=40.087
|
UNSAT TT=42.067
|
UNSAT TT=0.142
|
UNSAT TT=347.653
|
? (TO) TT=1800.21
|
UNSAT TT=65.585
|
UNSAT TT=2.603
|
UNSAT TT=18.157
|
UNSAT TT=18.105
|
UNSAT TT=11.474
|
? (TO) TT=1800.21
|
UNSAT TT=217.739
|
UNSAT TT=7.762
|
? (TO) TT=1800.1
|
? (TO) TT=1800.1
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111227012.opb |
UNSAT
TT=0.113
|
UNSAT TT=33.075
|
UNSAT TT=39.808
|
UNSAT TT=39.351
|
UNSAT TT=0.113
|
UNSAT TT=370.39
|
? (TO) TT=1800.36
|
UNSAT TT=65.866
|
UNSAT TT=3.707
|
UNSAT TT=25.183
|
UNSAT TT=25.159
|
UNSAT TT=0.365
|
? (TO) TT=1800.18
|
? (TO) TT=1800.2
|
UNSAT TT=12.153
|
? (TO) TT=1800.03
|
? (TO) TT=1800.07
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111227326.opb |
UNSAT
TT=0.142
|
UNSAT TT=24.157
|
UNSAT TT=33.722
|
UNSAT TT=33.243
|
UNSAT TT=0.142
|
UNSAT TT=316.906
|
UNSAT TT=1331.17
|
UNSAT TT=35.561
|
UNSAT TT=2.048
|
UNSAT TT=14.859
|
UNSAT TT=14.824
|
UNSAT TT=21.048
|
? (TO) TT=1800.18
|
? (TO) TT=1800.17
|
UNSAT TT=5.027
|
? (TO) TT=1800.01
|
? (TO) TT=1800.08
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111227418.opb |
SAT
TT=0.353 T1=0.29
|
SAT TT=26.037 T1=25.96
|
SAT TT=43.723 T1=43.66
|
SAT TT=43.188 T1=43.16
|
SAT TT=0.394 T1=0.29
|
SAT TT=272.723 T1=272.63
|
? (TO) TT=1800.19
|
SAT TT=48.967 T1=48.87
|
SAT TT=1.16 T1=1.08
|
SAT TT=24.205 T1=24.18
|
SAT TT=24.225 T1=24.19
|
SAT TT=1.491 T1=1.39
|
? (TO) TT=1800.21
|
? (TO) TT=1800.2
|
SAT TT=14.971 T1=14.93
|
SAT TT=0.353 T1=0.29
|
SAT TT=0.394 T1=0.29
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111227861.opb |
UNSAT
TT=0.101
|
UNSAT TT=18.166
|
UNSAT TT=60.142
|
UNSAT TT=60.107
|
UNSAT TT=0.101
|
UNSAT TT=319.834
|
? (TO) TT=1800.08
|
UNSAT TT=59.586
|
UNSAT TT=4.181
|
UNSAT TT=34.911
|
UNSAT TT=34.817
|
UNSAT TT=41.288
|
? (TO) TT=1800.2
|
UNSAT TT=1354.51
|
UNSAT TT=8.647
|
? (TO) TT=1800.09
|
? (TO) TT=1800.05
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111228076.opb |
UNSAT
TT=0.242
|
UNSAT TT=30.24
|
UNSAT TT=69.924
|
UNSAT TT=68.664
|
UNSAT TT=0.242
|
UNSAT TT=387.163
|
? (TO) TT=1800.09
|
UNSAT TT=80.09
|
UNSAT TT=5.734
|
UNSAT TT=46.568
|
UNSAT TT=46.328
|
UNSAT TT=44.401
|
? (TO) TT=1800.2
|
? (TO) TT=1800.21
|
UNSAT TT=14.276
|
? (TO) TT=1800.11
|
? (TO) TT=1800.08
|
Bench name | Best results on this instance | absconPseudo 102 | bsolo 3.0.16 | bsolo 3.0.17 | glpPB 0.2 | minisat+ 1.14 | oree 0.1.2 alpha | PB-clasp 2007-03-23 | PB-clasp 2007-04-10 | PBS4 2007-03-23 | PBS4_v2 2007-03-23 | Pueblo 1.4 | sat4jPseudoCP 2007-03-23 | sat4jPseudoCPClause 2007-03-23 | SAT4JPseudoResolution 2007-03-23 | wildcat-rnp 2007-03-21 | wildcat-skc 2007-03-21 |
---|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/prestwich/armies/ normalized-army10.14bt.opb |
SAT
TT=0.657 T1=0
|
SAT TT=55.256 T1=55.14
|
SAT TT=104.782 T1=104.75
|
SAT TT=104.837 T1=104.74
|
? (TO) TT=1800.11
|
SAT TT=1769 T1=1768.9
|
? (TO) TT=1800.18
|
SAT TT=6.984 T1=6.89
|
SAT TT=0.657 T1=0
|
SAT TT=93.114 T1=93.06
|
SAT TT=89.068 T1=89.03
|
SAT TT=374.342 T1=374.29
|
? (TO) TT=1800.2
|
? (TO) TT=1800.16
|
SAT TT=8.407 T1=8.29
|
SAT TT=1.176 T1=1.09
|
SAT TT=8.701 T1=8.69
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/prestwich/armies/ normalized-army10.14ls.opb |
SAT
TT=0.198 T1=0
|
SAT TT=766.66 T1=766.55
|
? TT=1800.01
|
? (TO) TT=1800.11
|
? (TO) TT=1800.06
|
SAT TT=168.093 T1=168.05
|
SAT TT=0.66 T1=0.6
|
SAT TT=0.198 T1=0
|
SAT TT=89.2 T1=89.07
|
SAT TT=2.685 T1=2.59
|
SAT TT=2.688 T1=2.6
|
? (TO) TT=1800.09
|
? (TO) TT=1800.16
|
? (TO) TT=1800.17
|
SAT TT=1716.74 T1=1716.61
|
SAT TT=46.678 T1=46.58
|
SAT TT=0.439 T1=0.39
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/prestwich/armies/ normalized-army11.17bt.opb |
SAT
TT=1.995 T1=1.89
|
SAT TT=129.491 T1=129.39
|
? TT=1800.02
|
? (TO) TT=1800.05
|
? (TO) TT=1800.1
|
? (TO) TT=1800.06
|
? (TO) TT=1800.54
|
SAT TT=792.014 T1=791.94
|
SAT TT=25.392 T1=25.34
|
SAT TT=33.814 T1=33.78
|
SAT TT=33.813 T1=33.78
|
? (TO) TT=1800.03
|
? (TO) TT=1800.2
|
SAT TT=31.046 T1=30.91
|
SAT TT=54.652 T1=54.59
|
SAT TT=1.995 T1=1.89
|
SAT TT=6.552 T1=6.49
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/prestwich/armies/ normalized-army11.17ls.opb |
SAT
TT=1.753 T1=1.69
|
? (TO) TT=1800.12
|
? (TO) TT=1800.05
|
? (TO) TT=1800.05
|
? (TO) TT=1800.02
|
? (TO) TT=1800.05
|
? (TO) TT=1800.4
|
SAT TT=678.479 T1=678.44
|
SAT TT=43.882 T1=43.75
|
SAT TT=32.283 T1=32.18
|
SAT TT=32.259 T1=32.18
|
? (TO) TT=1800.04
|
? (TO) TT=1800.11
|
? (TO) TT=1800.21
|
? (TO) TT=1800.16
|
SAT TT=308.555 T1=308.51
|
SAT TT=1.753 T1=1.69
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/prestwich/armies/ normalized-army12.21bt.opb |
SAT
TT=11.766 T1=11.69
|
? (TO) TT=1800.16
|
? TT=1800.02
|
? (TO) TT=1800.12
|
? (TO) TT=1800.08
|
? (TO) TT=1800.03
|
? (TO) TT=1800.25
|
? (TO) TT=1800.03
|
? (TO) TT=1800.14
|
? (TO) TT=1800.14
|
? (TO) TT=1800.14
|
? (TO) TT=1800.04
|
? (TO) TT=1800.15
|
? (TO) TT=1800.19
|
? (TO) TT=1800.19
|
SAT TT=11.766 T1=11.69
|
SAT TT=450.651 T1=450.57
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/prestwich/armies/ normalized-army12.21ls.opb |
SAT
TT=9.925 T1=9.89
|
? (TO) TT=1800.14
|
? TT=1800.02
|
? (TO) TT=1800.08
|
? (TO) TT=1800.02
|
? (TO) TT=1800.1
|
? (TO) TT=1800.12
|
? (TO) TT=1800.06
|
? (TO) TT=1800.11
|
? (TO) TT=1800.07
|
? (TO) TT=1800.08
|
? (TO) TT=1800.04
|
? (TO) TT=1800.19
|
? (TO) TT=1800.25
|
? (TO) TT=1800.13
|
SAT TT=1622.81 T1=1622.71
|
SAT TT=9.925 T1=9.89
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/prestwich/armies/ normalized-army13.24bt.opb |
SAT
TT=2.945 T1=2.89
|
? (TO) TT=1800.07
|
? TT=1800.02
|
? (TO) TT=1800.09
|
? (TO) TT=1800.03
|
? (TO) TT=1800.05
|
? (TO) TT=1800.3
|
? (TO) TT=1800.09
|
SAT TT=87.016 T1=86.96
|
? (TO) TT=1800.14
|
? (TO) TT=1800.08
|
? (TO) TT=1800.1
|
? (TO) TT=1800.19
|
? (TO) TT=1800.22
|
? (TO) TT=1800.18
|
SAT TT=2.945 T1=2.89
|
SAT TT=32.868 T1=32.78
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/prestwich/armies/ normalized-army13.24ls.opb |
SAT
TT=0.156 T1=0.09
|
? (TO) TT=1800.08
|
? TT=1800.02
|
? (TO) TT=1800.06
|
? (TO) TT=1800.05
|
? (TO) TT=1800.09
|
? (TO) TT=1800.44
|
SAT TT=1132.15 T1=1132.09
|
? (TO) TT=1800.14
|
SAT TT=1413.32 T1=1413.25
|
SAT TT=1413.52 T1=1413.44
|
? (TO) TT=1800.06
|
? (TO) TT=1800.18
|
? (TO) TT=1800.26
|
? (TO) TT=1800.2
|
SAT TT=0.156 T1=0.09
|
SAT TT=2.045 T1=1.99
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/prestwich/armies/ normalized-army8.9bt.opb |
SAT
TT=0.049 T1=0
|
SAT TT=1.205 T1=1.13
|
SAT TT=5.16 T1=5.09
|
SAT TT=5.144 T1=5.08
|
? (TO) TT=1800.09
|
SAT TT=0.219 T1=0.19
|
SAT TT=0.92 T1=0.89
|
SAT TT=0.323 T1=0.3
|
SAT TT=0.1 T1=0
|
SAT TT=0.049 T1=0.02
|
SAT TT=0.049 T1=0.03
|
SAT TT=0.956 T1=0.89
|
SAT TT=6.098 T1=5.98
|
SAT TT=113.845 T1=113.78
|
SAT TT=1.233 T1=1.16
|
SAT TT=0.106 T1=0.09
|
SAT TT=6.171 T1=6.09
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/prestwich/armies/ normalized-army8.9ls.opb |
SAT
TT=0.058 T1=0
|
SAT TT=3.286 T1=3.23
|
SAT TT=38.107 T1=38.06
|
SAT TT=40.144 T1=40.08
|
? (TO) TT=1800.1
|
SAT TT=0.296 T1=0.19
|
SAT TT=11.182 T1=11.09
|
SAT TT=0.137 T1=0
|
SAT TT=0.177 T1=0
|
SAT TT=0.059 T1=0
|
SAT TT=0.058 T1=0
|
SAT TT=0.968 T1=0.89
|
SAT TT=1364.46 T1=1364.3
|
SAT TT=3.187 T1=2.96
|
SAT TT=0.921 T1=0.83
|
SAT TT=5.241 T1=5.19
|
SAT TT=0.228 T1=0.2
|
Bench name | Best results on this instance | absconPseudo 102 | bsolo 3.0.16 | bsolo 3.0.17 | glpPB 0.2 | minisat+ 1.14 | oree 0.1.2 alpha | PB-clasp 2007-03-23 | PB-clasp 2007-04-10 | PBS4 2007-03-23 | PBS4_v2 2007-03-23 | Pueblo 1.4 | sat4jPseudoCP 2007-03-23 | sat4jPseudoCPClause 2007-03-23 | SAT4JPseudoResolution 2007-03-23 | wildcat-rnp 2007-03-21 | wildcat-skc 2007-03-21 |
---|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/prestwich/armies/ normalized-army9.12bt.opb |
SAT
TT=0.468 T1=0
|
SAT TT=112.157 T1=112.07
|
SAT TT=216.359 T1=216.31
|
SAT TT=215.602 T1=215.54
|
? (TO) TT=1800.04
|
SAT TT=59.995 T1=59.96
|
? (TO) TT=1800.42
|
SAT TT=3.929 T1=3.89
|
SAT TT=0.468 T1=0
|
SAT TT=2.205 T1=2.09
|
SAT TT=2.223 T1=2.19
|
SAT TT=13.385 T1=13.29
|
SAT TT=10.764 T1=10.68
|
? (TO) TT=1800.11
|
SAT TT=325.092 T1=324.96
|
SAT TT=1.226 T1=1.19
|
SAT TT=8.459 T1=8.39
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/prestwich/armies/ normalized-army9.12ls.opb |
SAT
TT=0.124 T1=0.09
|
SAT TT=125.787 T1=125.68
|
? TT=1800.01
|
? (TO) TT=1800.04
|
? (TO) TT=1800.07
|
SAT TT=10.677 T1=10.59
|
? (TO) TT=1800.17
|
SAT TT=3.663 T1=3.59
|
SAT TT=9.832 T1=9.79
|
SAT TT=6.694 T1=6.6
|
SAT TT=7.082 T1=6.99
|
SAT TT=108.788 T1=108.77
|
? (TO) TT=1800.13
|
? (TO) TT=1800.2
|
SAT TT=12.737 T1=12.68
|
SAT TT=0.124 T1=0.09
|
SAT TT=0.701 T1=0.59
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/prestwich/ robin/normalized-robin10.opb |
SAT
TT=0.709 T1=0
|
? (TO) TT=1800.08
|
SAT TT=20.068 T1=19.99
|
SAT TT=19.959 T1=19.88
|
SAT TT=231.487 T1=231.42
|
SAT TT=2.033 T1=1.99
|
SAT TT=237.3 T1=237.21
|
SAT TT=2.291 T1=2.19
|
SAT TT=0.709 T1=0
|
SAT TT=100.902 T1=100.87
|
SAT TT=101.003 T1=100.96
|
SAT TT=2.006 T1=1.97
|
SAT TT=1242.45 T1=1242.24
|
? (TO) TT=1800.21
|
SAT TT=2.15 T1=2.02
|
SAT TT=138.794 T1=138.75
|
SAT TT=1.055 T1=0.99
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/prestwich/ robin/normalized-robin12.opb |
SAT
TT=2.293 T1=2.24
|
? (TO) TT=1800.15
|
SAT TT=5.284 T1=5.19
|
SAT TT=5.22 T1=5.19
|
? (TO) TT=1800.04
|
SAT TT=289.198 T1=289.11
|
SAT TT=720.115 T1=719.96
|
SAT TT=252.124 T1=252.08
|
SAT TT=2.293 T1=2.24
|
SAT TT=64.055 T1=63.97
|
SAT TT=63.514 T1=63.47
|
SAT TT=76.599 T1=76.49
|
? (TO) TT=1800.14
|
? (TO) TT=1800.15
|
SAT TT=7.119 T1=6.95
|
? (TO) TT=1800.04
|
SAT TT=3.982 T1=3.89
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/prestwich/ robin/normalized-robin14.opb |
SAT
TT=103.522 T1=103.46
|
? (TO) TT=1800.06
|
? (MO) TT=758.22
|
? (MO) TT=757.991
|
? (TO) TT=1800.05
|
SAT TT=1187.14 T1=1186.95
|
? (TO) TT=1800.16
|
? (TO) TT=1800.04
|
SAT TT=103.522 T1=103.46
|
? (TO) TT=1800.06
|
? (TO) TT=1800.04
|
? (TO) TT=1800.11
|
? (TO) TT=1800.24
|
? (TO) TT=1800.22
|
SAT TT=1684.29 T1=1684.2
|
? (TO) TT=1800.07
|
SAT TT=106.844 T1=106.75
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/prestwich/ robin/normalized-robin16.opb |
|
? (TO) TT=1800.11
|
? (MO) TT=513.909
|
? (MO) TT=513.727
|
? (TO) TT=1800.1
|
? (TO) TT=1800.26
|
? (TO) TT=1800.27
|
? (MO) TT=1038.69
|
? (TO) TT=1800.07
|
? (TO) TT=1800.02
|
? (TO) TT=1800.08
|
? (TO) TT=1800.12
|
? (TO) TT=1800.2
|
? (TO) TT=1800.21
|
? (TO) TT=1800.21
|
? (TO) TT=1800.09
|
? (TO) TT=1800.12
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/prestwich/ robin/normalized-robin18.opb |
|
? (TO) TT=1800.17
|
? (MO) TT=426.287
|
? (MO) TT=426.277
|
? (TO) TT=1800.09
|
? (TO) TT=1800.26
|
? (TO) TT=1800.3
|
? (MO) TT=39.43
|
? (TO) TT=1800.08
|
? (TO) TT=1800.06
|
? (TO) TT=1800.04
|
? (TO) TT=1800.07
|
? (TO) TT=1800.22
|
? (TO) TT=1800.21
|
? (TO) TT=1800.25
|
? (TO) TT=1800.08
|
? (TO) TT=1800.09
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/prestwich/ robin/normalized-robin8.opb |
SAT
TT=0.042 T1=0
|
SAT TT=2.09 T1=2.04
|
SAT TT=0.123 T1=0.09
|
SAT TT=0.116 T1=0.09
|
SAT TT=30.465 T1=30.39
|
SAT TT=0.556 T1=0.49
|
SAT TT=1.122 T1=1.09
|
SAT TT=0.545 T1=0
|
SAT TT=0.142 T1=0
|
SAT TT=0.062 T1=0.03
|
SAT TT=0.062 T1=0
|
SAT TT=0.107 T1=0.08
|
SAT TT=18.718 T1=18.59
|
SAT TT=17.718 T1=17.66
|
SAT TT=1.312 T1=1.26
|
SAT TT=0.042 T1=0
|
SAT TT=0.746 T1=0.69
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/ normalized-pigeon-cardinality-101-100.opb |
UNSAT
TT=0.094
|
? (TO) TT=1800.14
|
? (MO) TT=933.728
|
? (MO) TT=874.777
|
UNSAT TT=0.253
|
? (TO) TT=1800.16
|
? (TO) TT=1800.2
|
? (TO) TT=1800.03
|
? (TO) TT=1800.1
|
UNSAT TT=0.094
|
UNSAT TT=0.094
|
? (TO) TT=1800.11
|
UNSAT TT=223.204
|
UNSAT TT=230.413
|
? (TO) TT=1800.42
|
? (TO) TT=1800.03
|
? (TO) TT=1800.05
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/ normalized-pigeon-cardinality-105-100.opb |
UNSAT
TT=0.098
|
? (TO) TT=1800.14
|
? (MO) TT=798.39
|
? (MO) TT=749.302
|
UNSAT TT=0.262
|
? (TO) TT=1800.15
|
? (TO) TT=1800.35
|
? (TO) TT=1800.02
|
? (TO) TT=1800.04
|
UNSAT TT=0.098
|
UNSAT TT=0.098
|
? (TO) TT=1800.08
|
UNSAT TT=2.367
|
UNSAT TT=2.348
|
? (TO) TT=1800.5
|
? (TO) TT=1800.11
|
? (TO) TT=1800.02
|
Bench name | Best results on this instance | absconPseudo 102 | bsolo 3.0.16 | bsolo 3.0.17 | glpPB 0.2 | minisat+ 1.14 | oree 0.1.2 alpha | PB-clasp 2007-03-23 | PB-clasp 2007-04-10 | PBS4 2007-03-23 | PBS4_v2 2007-03-23 | Pueblo 1.4 | sat4jPseudoCP 2007-03-23 | sat4jPseudoCPClause 2007-03-23 | SAT4JPseudoResolution 2007-03-23 | wildcat-rnp 2007-03-21 | wildcat-skc 2007-03-21 |
---|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/ normalized-pigeon-cardinality-11-10.opb |
UNSAT
TT=0.001
|
UNSAT TT=1280.59
|
UNSAT TT=297.786
|
UNSAT TT=297.274
|
UNSAT TT=0.007
|
UNSAT TT=60.94
|
? (TO) TT=1800.24
|
UNSAT TT=98.771
|
UNSAT TT=142.062
|
UNSAT TT=0.001
|
UNSAT TT=0.001
|
UNSAT TT=0.006
|
UNSAT TT=0.53
|
UNSAT TT=0.532
|
UNSAT TT=867.756
|
? (TO) TT=1800.01
|
? (TO) TT=1800.05
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/ normalized-pigeon-cardinality-15-10.opb |
UNSAT
TT=0.002
|
? (TO) TT=1800.09
|
UNSAT TT=647.899
|
UNSAT TT=649.994
|
UNSAT TT=0.005
|
UNSAT TT=111.711
|
? (TO) TT=1800.11
|
UNSAT TT=150.743
|
UNSAT TT=136.615
|
UNSAT TT=0.002
|
UNSAT TT=0.002
|
UNSAT TT=0.006
|
UNSAT TT=0.306
|
UNSAT TT=0.303
|
? (TO) TT=1800.16
|
? (TO) TT=1800.07
|
? (TO) TT=1800.07
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/ normalized-pigeon-cardinality-21-20.opb |
UNSAT
TT=0.004
|
? (TO) TT=1800.03
|
? TT=1800.02
|
? (TO) TT=1800.07
|
UNSAT TT=0.009
|
? (TO) TT=1800.03
|
? (TO) TT=1800.32
|
? (TO) TT=1800.1
|
? (TO) TT=1800.07
|
UNSAT TT=0.004
|
UNSAT TT=0.004
|
UNSAT TT=0.011
|
UNSAT TT=0.83
|
UNSAT TT=0.833
|
? (TO) TT=1800.23
|
? (TO) TT=1800.09
|
? (TO) TT=1800.04
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/ normalized-pigeon-cardinality-25-20.opb |
UNSAT
TT=0.004
|
? (TO) TT=1800.09
|
? TT=1800.02
|
? (TO) TT=1800.09
|
UNSAT TT=0.01
|
? (TO) TT=1800.05
|
? (TO) TT=1800.29
|
? (TO) TT=1800.03
|
? (TO) TT=1800.07
|
UNSAT TT=0.004
|
UNSAT TT=0.006
|
UNSAT TT=0.014
|
UNSAT TT=0.429
|
UNSAT TT=0.431
|
? (TO) TT=1800.17
|
? (TO) TT=1800.11
|
? (TO) TT=1800.04
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/ normalized-pigeon-cardinality-31-30.opb |
UNSAT
TT=0.008
|
? (TO) TT=1800.11
|
? (TO) TT=1800.12
|
? (TO) TT=1800.12
|
UNSAT TT=0.015
|
? (TO) TT=1800.09
|
? (TO) TT=1800.16
|
? (TO) TT=1800
|
? (TO) TT=1800.13
|
UNSAT TT=0.008
|
UNSAT TT=0.008
|
UNSAT TT=0.038
|
UNSAT TT=2.07
|
UNSAT TT=2.068
|
? (TO) TT=1800.23
|
? (TO) TT=1800.09
|
? (TO) TT=1800.06
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/ normalized-pigeon-cardinality-35-30.opb |
UNSAT
TT=0.008
|
? (TO) TT=1800.14
|
? (TO) TT=1800.12
|
? (TO) TT=1800.18
|
UNSAT TT=0.02
|
? (TO) TT=1800.07
|
? (TO) TT=1800.2
|
? (TO) TT=1800
|
? (TO) TT=1800.03
|
UNSAT TT=0.008
|
UNSAT TT=0.009
|
UNSAT TT=0.054
|
UNSAT TT=0.672
|
UNSAT TT=0.688
|
? (TO) TT=1800.23
|
? (TO) TT=1800.11
|
? (TO) TT=1800.02
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/ normalized-pigeon-cardinality-41-40.opb |
UNSAT
TT=0.015
|
? (TO) TT=1800.1
|
? (TO) TT=1800.22
|
? (TO) TT=1800.27
|
UNSAT TT=0.029
|
? (TO) TT=1800.06
|
? (TO) TT=1800.42
|
? (TO) TT=1800.02
|
? (TO) TT=1800.04
|
UNSAT TT=0.015
|
UNSAT TT=0.015
|
UNSAT TT=0.106
|
UNSAT TT=4.266
|
UNSAT TT=4.265
|
? (TO) TT=1800.35
|
? (TO) TT=1800.02
|
? (TO) TT=1800.04
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/ normalized-pigeon-cardinality-45-40.opb |
UNSAT
TT=0.015
|
? (TO) TT=1800.09
|
? (TO) TT=1800.2
|
? (TO) TT=1800.22
|
UNSAT TT=0.03
|
? (TO) TT=1800.12
|
? (TO) TT=1800.3
|
? (TO) TT=1800.02
|
? (TO) TT=1800.11
|
UNSAT TT=0.016
|
UNSAT TT=0.015
|
UNSAT TT=0.125
|
UNSAT TT=0.884
|
UNSAT TT=0.892
|
? (TO) TT=1800.29
|
? (TO) TT=1800.04
|
? (TO) TT=1800.02
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/ normalized-pigeon-cardinality-51-50.opb |
UNSAT
TT=0.021
|
? (TO) TT=1800.14
|
? (MO) TT=1437.03
|
? (MO) TT=1434.61
|
UNSAT TT=0.048
|
? (TO) TT=1800.08
|
? (TO) TT=1800.13
|
? (TO) TT=1800.04
|
? (TO) TT=1800.03
|
UNSAT TT=0.023
|
UNSAT TT=0.021
|
UNSAT TT=0.242
|
UNSAT TT=9.629
|
UNSAT TT=9.615
|
? (TO) TT=1800.28
|
? (TO) TT=1800.05
|
? (TO) TT=1800.09
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/ normalized-pigeon-cardinality-55-50.opb |
UNSAT
TT=0.023
|
? (TO) TT=1800.16
|
? (MO) TT=1074.96
|
? (MO) TT=1071.6
|
UNSAT TT=0.052
|
? (TO) TT=1800.07
|
? (TO) TT=1800.21
|
? (TO) TT=1800.01
|
? (TO) TT=1800.07
|
UNSAT TT=0.023
|
UNSAT TT=0.024
|
UNSAT TT=0.407
|
UNSAT TT=1.247
|
UNSAT TT=1.295
|
? (TO) TT=1800.26
|
? (TO) TT=1800.02
|
? (TO) TT=1800.04
|
Bench name | Best results on this instance | absconPseudo 102 | bsolo 3.0.16 | bsolo 3.0.17 | glpPB 0.2 | minisat+ 1.14 | oree 0.1.2 alpha | PB-clasp 2007-03-23 | PB-clasp 2007-04-10 | PBS4 2007-03-23 | PBS4_v2 2007-03-23 | Pueblo 1.4 | sat4jPseudoCP 2007-03-23 | sat4jPseudoCPClause 2007-03-23 | SAT4JPseudoResolution 2007-03-23 | wildcat-rnp 2007-03-21 | wildcat-skc 2007-03-21 |
---|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/ normalized-pigeon-cardinality-61-60.opb |
UNSAT
TT=0.031
|
? (TO) TT=1800.06
|
? (MO) TT=891.862
|
? (MO) TT=889.038
|
UNSAT TT=0.073
|
? (TO) TT=1800.08
|
? (TO) TT=1800.22
|
? (TO) TT=1800.05
|
? (TO) TT=1800.04
|
UNSAT TT=0.031
|
UNSAT TT=0.032
|
UNSAT TT=0.575
|
UNSAT TT=20.91
|
UNSAT TT=20.211
|
? (TO) TT=1800.1
|
? (TO) TT=1800.07
|
? (TO) TT=1800.02
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/ normalized-pigeon-cardinality-65-60.opb |
UNSAT
TT=0.034
|
? (TO) TT=1800.07
|
? (MO) TT=731.48
|
? (MO) TT=727.923
|
UNSAT TT=0.089
|
? (TO) TT=1800.07
|
? (TO) TT=1800.19
|
? (TO) TT=1800.1
|
? (TO) TT=1800.01
|
UNSAT TT=0.034
|
UNSAT TT=0.034
|
UNSAT TT=2.128
|
UNSAT TT=1.418
|
UNSAT TT=1.427
|
? (TO) TT=1800.11
|
? (TO) TT=1800.06
|
? (TO) TT=1800.02
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/ normalized-pigeon-cardinality-71-70.opb |
UNSAT
TT=0.044
|
? (TO) TT=1800.08
|
? (MO) TT=860.484
|
? (MO) TT=850.187
|
UNSAT TT=0.104
|
? (TO) TT=1800.09
|
? (TO) TT=1800.32
|
? (TO) TT=1800.04
|
? (TO) TT=1800.03
|
UNSAT TT=0.045
|
UNSAT TT=0.044
|
UNSAT TT=101.045
|
UNSAT TT=41.48
|
UNSAT TT=42.022
|
? (TO) TT=1800.35
|
? (TO) TT=1800.06
|
? (TO) TT=1800.06
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/ normalized-pigeon-cardinality-75-70.opb |
UNSAT
TT=0.046
|
? (TO) TT=1800.05
|
? (MO) TT=750.267
|
? (MO) TT=740.89
|
UNSAT TT=0.112
|
? (TO) TT=1800.06
|
? (TO) TT=1800.32
|
? (TO) TT=1800.07
|
? (TO) TT=1800.02
|
UNSAT TT=0.046
|
UNSAT TT=0.046
|
? (TO) TT=1800.11
|
UNSAT TT=1.938
|
UNSAT TT=1.935
|
? (TO) TT=1800.12
|
? (TO) TT=1800.06
|
? (TO) TT=1800.01
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/ normalized-pigeon-cardinality-81-80.opb |
UNSAT
TT=0.057
|
? (TO) TT=1800.17
|
? (MO) TT=764.28
|
? (MO) TT=742.634
|
UNSAT TT=0.134
|
? (TO) TT=1800.15
|
? (TO) TT=1800.2
|
? (TO) TT=1800.09
|
? (TO) TT=1800.04
|
UNSAT TT=0.057
|
UNSAT TT=0.058
|
? TT=1784.95
|
UNSAT TT=79.975
|
UNSAT TT=79.861
|
? (TO) TT=1800.2
|
? (TO) TT=1800.05
|
? (TO) TT=1800.1
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/ normalized-pigeon-cardinality-85-80.opb |
UNSAT
TT=0.06
|
? (TO) TT=1800.14
|
? (MO) TT=563.183
|
? (MO) TT=544.695
|
UNSAT TT=0.152
|
? (TO) TT=1800.11
|
? (TO) TT=1800.23
|
? (TO) TT=1800
|
? (TO) TT=1800.02
|
UNSAT TT=0.061
|
UNSAT TT=0.06
|
? TT=1799.47
|
UNSAT TT=2.03
|
UNSAT TT=2.052
|
? (TO) TT=1800.26
|
? (TO) TT=1800.02
|
? (TO) TT=1800.09
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/ normalized-pigeon-cardinality-91-90.opb |
UNSAT
TT=0.074
|
? (TO) TT=1800.11
|
? (MO) TT=570.002
|
? (MO) TT=551.248
|
UNSAT TT=0.196
|
? (TO) TT=1800.15
|
? (TO) TT=1800.32
|
? (TO) TT=1800.04
|
? (TO) TT=1800.06
|
UNSAT TT=0.074
|
UNSAT TT=0.074
|
? (TO) TT=1800.06
|
UNSAT TT=136.688
|
UNSAT TT=136.448
|
? (TO) TT=1800.33
|
? (TO) TT=1800.03
|
? (TO) TT=1800.11
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/ normalized-pigeon-cardinality-95-90.opb |
UNSAT
TT=0.077
|
? (TO) TT=1800.09
|
? (MO) TT=887.816
|
? (MO) TT=851.577
|
UNSAT TT=0.199
|
? (TO) TT=1800.12
|
? (TO) TT=1800.27
|
? (TO) TT=1800.11
|
? (TO) TT=1800.07
|
UNSAT TT=0.077
|
UNSAT TT=0.078
|
? (TO) TT=1800.13
|
UNSAT TT=2.224
|
UNSAT TT=2.189
|
? (TO) TT=1800.23
|
? (TO) TT=1800.01
|
? (TO) TT=1800.02
|
normalized-PB06/SATUNSAT-SMALLINT/web/ www.ps.uni-sb.de/~walser/benchmarks/ ppp-problems/normalized-ppp:1-11,19,21.opb |
SAT
TT=33.113 T1=33.08
|
? (TO) TT=1800.13
|
? TT=1800.08
|
? (TO) TT=1800.12
|
? (TO) TT=1800.03
|
? (TO) TT=1800.1
|
? (TO) TT=1800.52
|
? (TO) TT=1800.02
|
? (TO) TT=1800.03
|
? (TO) TT=1800.08
|
? (TO) TT=1800.07
|
SAT TT=33.113 T1=33.08
|
? (TO) TT=1800.26
|
? (TO) TT=1800.21
|
? (TO) TT=1800.2
|
? (TO) TT=1800.11
|
? (TO) TT=1800.07
|
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/ppp-problems/normalized-ppp:1-12,16.opb |
SAT
TT=0.249 T1=0.19
|
? (TO) TT=1800.06
|
SAT TT=0.892 T1=0.79
|
SAT TT=0.869 T1=0.79
|
? (TO) TT=1800.07
|
SAT TT=11.611 T1=11.59
|
SAT TT=1.494 T1=1.39
|
SAT TT=5.568 T1=5.52
|
SAT TT=9.621 T1=9.55
|
SAT TT=1.556 T1=1.49
|
SAT TT=1.525 T1=1.49
|
SAT TT=1.787 T1=1.69
|
? (TO) TT=1800.27
|
? (TO) TT=1800.17
|
? (TO) TT=1800.12
|
SAT TT=0.271 T1=0.19
|
SAT TT=0.249 T1=0.19
|
Bench name | Best results on this instance | absconPseudo 102 | bsolo 3.0.16 | bsolo 3.0.17 | glpPB 0.2 | minisat+ 1.14 | oree 0.1.2 alpha | PB-clasp 2007-03-23 | PB-clasp 2007-04-10 | PBS4 2007-03-23 | PBS4_v2 2007-03-23 | Pueblo 1.4 | sat4jPseudoCP 2007-03-23 | sat4jPseudoCPClause 2007-03-23 | SAT4JPseudoResolution 2007-03-23 | wildcat-rnp 2007-03-21 | wildcat-skc 2007-03-21 |
---|
normalized-PB06/SATUNSAT-SMALLINT/web/ www.ps.uni-sb.de/~walser/benchmarks/ ppp-problems/normalized-ppp:1-13.opb |
SAT
TT=2.185 T1=2.1
|
? (TO) TT=1800.13
|
SAT TT=8.502 T1=8.38
|
SAT TT=8.477 T1=8.39
|
? (TO) TT=1800.05
|
SAT TT=695.052 T1=695.01
|
SAT TT=4.824 T1=4.79
|
SAT TT=14.752 T1=14.67
|
? (TO) TT=1800.03
|
SAT TT=24.364 T1=24.29
|
SAT TT=24.611 T1=24.59
|
SAT TT=4.35 T1=4.29
|
? (TO) TT=1800.21
|
? (TO) TT=1800.16
|
? (TO) TT=1800.17
|
SAT TT=2.393 T1=2.29
|
SAT TT=2.185 T1=2.1
|
normalized-PB06/SATUNSAT-SMALLINT/web/ www.ps.uni-sb.de/~walser/benchmarks/ ppp-problems/normalized-ppp:1,3-13,19.opb |
SAT
TT=1.216 T1=1.17
|
? (TO) TT=1800.09
|
SAT TT=1.218 T1=1.17
|
SAT TT=1.216 T1=1.19
|
? (TO) TT=1800.06
|
SAT TT=177.215 T1=177.13
|
? (TO) TT=1800.21
|
SAT TT=12.069 T1=11.97
|
? (TO) TT=1800.08
|
SAT TT=16.308 T1=16.28
|
SAT TT=16.487 T1=16.39
|
SAT TT=1.654 T1=1.59
|
? (TO) TT=1800.27
|
? (TO) TT=1800.21
|
? (TO) TT=1800.22
|
SAT TT=3.167 T1=3.09
|
SAT TT=3.673 T1=3.59
|
normalized-PB06/SATUNSAT-SMALLINT/web/ www.ps.uni-sb.de/~walser/benchmarks/ ppp-problems/normalized-ppp:1-9,16-19.opb |
SAT
TT=549.057 T1=549
|
? (TO) TT=1800.11
|
? (TO) TT=1800.09
|
? (TO) TT=1800.16
|
? (TO) TT=1800.03
|
? (TO) TT=1800.09
|
? (TO) TT=1800.25
|
? (TO) TT=1800.07
|
? (TO) TT=1800.07
|
? (TO) TT=1800.1
|
? (TO) TT=1800.04
|
SAT TT=549.057 T1=549
|
? (TO) TT=1800.27
|
? (TO) TT=1800.26
|
? (TO) TT=1800.22
|
? (TO) TT=1800.08
|
? (TO) TT=1800.11
|
normalized-PB06/SATUNSAT-SMALLINT/web/ www.ps.uni-sb.de/~walser/benchmarks/ ppp-problems/normalized-ppp:3-13,25,26.opb |
SAT
TT=1.968 T1=1.89
|
? (TO) TT=1800.13
|
? (TO) TT=1800.18
|
? (TO) TT=1800.18
|
? (TO) TT=1800.02
|
SAT TT=11.516 T1=11.48
|
? (TO) TT=1800.17
|
SAT TT=7.803 T1=7.68
|
? (TO) TT=1800.06
|
? (TO) TT=1800.05
|
? (TO) TT=1800.04
|
SAT TT=4.613 T1=4.59
|
? (TO) TT=1800.24
|
? (TO) TT=1800.15
|
? (TO) TT=1800.19
|
SAT TT=44.768 T1=44.68
|
SAT TT=1.968 T1=1.89
|