/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl10_11_pb.cnf.cr--soft-33-100-0.wbo
|
MOPT f=3 TT=0.044 T1=0.01
|
OPTIMUM f=3 TT=104.936 T1=63.4
|
MSAT (TO) f=3 TT=1800.13 T1=20.73
|
OPTIMUM f=3 TT=0.044 T1=0.01
|
OPTIMUM f=3 TT=302.443 T1=302.4
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl10_11_pb.cnf.cr--soft-66-100-0.wbo
|
MOPT f=15 TT=0.039 T1=0
|
OPTIMUM f=15 TT=94.248 T1=5.2
|
MSAT (TO) f=15 TT=1800.1 T1=69.67
|
OPTIMUM f=15 TT=0.039 T1=0
|
OPTIMUM f=15 TT=255.082 T1=255
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl10_15_pb.cnf.cr--soft-33-100-0.wbo
|
MOPT f=21 TT=0.053 T1=0.02
|
OPTIMUM f=21 TT=130.146 T1=82.6
|
MSAT (TO) f=21 TT=1800.11 T1=0.3
|
OPTIMUM f=21 TT=0.053 T1=0.02
|
OPTIMUM f=21 TT=838.385 T1=838.31
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl10_15_pb.cnf.cr--soft-66-100-0.wbo
|
MOPT f=58 TT=0.045 T1=0.01
|
OPTIMUM f=58 TT=252.88 T1=252.8
|
MSAT (TO) f=58 TT=1800.11 T1=53.05
|
OPTIMUM f=58 TT=0.045 T1=0.01
|
? (TO)
TT=1800.04
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl10_20_pb.cnf.cr--soft-33-100-0.wbo
|
MOPT f=20 TT=0.06 T1=0
|
OPTIMUM f=20 TT=395.482 T1=291.81
|
MSAT (TO) f=20 TT=1800.1 T1=117.34
|
OPTIMUM f=20 TT=0.06 T1=0
|
? (TO)
TT=1800.09
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl10_20_pb.cnf.cr--soft-66-100-0.wbo
|
MOPT f=96 TT=0.047 T1=0.01
|
OPTIMUM f=96 TT=385.416 T1=385.4
|
MSAT (TO) f=96 TT=1800.11 T1=0.62
|
OPTIMUM f=96 TT=0.047 T1=0.01
|
? (TO)
TT=1800.09
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl15_16_pb.cnf.cr--soft-33-100-0.wbo
|
MOPT f=3 TT=0.068 T1=0.02
|
MSAT (TO) f=485 TT=1800.05 T1=1758.54
|
MSAT (TO) f=3 TT=1800.06 T1=6.36
|
OPTIMUM f=3 TT=0.068 T1=0.02
|
? (TO)
TT=1800.08
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl15_16_pb.cnf.cr--soft-66-100-0.wbo
|
MOPT f=25 TT=0.057 T1=0
|
MSAT (TO) f=245 TT=1800.05 T1=1654.63
|
MSAT (TO) f=25 TT=1800.13 T1=0.67
|
OPTIMUM f=25 TT=0.057 T1=0
|
? (TO)
TT=1800.08
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl15_20_pb.cnf.cr--soft-33-100-0.wbo
|
MOPT f=23 TT=0.075 T1=0.05
|
MSAT (TO) f=803 TT=1800.04 T1=1289.02
|
MSAT (TO) f=23 TT=1800.06 T1=130.08
|
OPTIMUM f=23 TT=0.075 T1=0.05
|
? (TO)
TT=1800.1
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl15_20_pb.cnf.cr--soft-66-100-0.wbo
|
MOPT f=49 TT=0.062 T1=0.02
|
MSAT (TO) f=338 TT=1800.03 T1=541.6
|
MSAT (TO) f=49 TT=1800.1 T1=0.85
|
OPTIMUM f=49 TT=0.062 T1=0.02
|
? (TO)
TT=1800.07
|
Bench name | Best results | clasp 2.0-RC2 (complete) | Sat4j Resolution 2011-06-08 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 (complete) | wbo 1.6 (complete) |
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl15_25_pb.cnf.cr--soft-33-100-0.wbo
|
MOPT f=15 TT=0.081 T1=0.05
|
MSAT (TO) f=1337 TT=1800.03 T1=1593.41
|
MSAT (TO) f=28 TT=1800.1 T1=1694.15
|
OPTIMUM f=15 TT=0.081 T1=0.05
|
? (TO)
TT=1800.09
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl15_25_pb.cnf.cr--soft-66-100-0.wbo
|
MOPT f=7 TT=0.182 T1=0.09
|
MSAT (TO) f=379 TT=1800.07 T1=1314.74
|
MSAT (TO) f=7 TT=1800.11 T1=0.64
|
OPTIMUM f=7 TT=0.182 T1=0.09
|
? (TO)
TT=1800.09
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl20_21_pb.cnf.cr--soft-33-100-0.wbo
|
MOPT f=6 TT=0.084 T1=0.02
|
MSAT (TO) f=871 TT=1800.06 T1=1230.12
|
MSAT (TO) f=6 TT=1800.1 T1=0.63
|
OPTIMUM f=6 TT=0.084 T1=0.02
|
? (TO)
TT=1800.1
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl20_21_pb.cnf.cr--soft-66-100-0.wbo
|
MOPT f=6 TT=0.075 T1=0
|
MSAT (TO) f=426 TT=1800.06 T1=1204.32
|
MSAT (TO) f=6 TT=1800.11 T1=0.95
|
OPTIMUM f=6 TT=0.075 T1=0
|
? (TO)
TT=1800.05
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl20_25_pb.cnf.cr--soft-33-100-0.wbo
|
MOPT f=17 TT=0.098 T1=0.06
|
MSAT (TO) f=1504 TT=1800.05 T1=1467.53
|
MSAT (TO) f=17 TT=1800.13 T1=0.7
|
OPTIMUM f=17 TT=0.098 T1=0.06
|
? (TO)
TT=1800.06
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl20_25_pb.cnf.cr--soft-66-100-0.wbo
|
MOPT f=19 TT=0.09 T1=0
|
MSAT (TO) f=692 TT=1800.05 T1=1315.32
|
MSAT (TO) f=19 TT=1800.07 T1=28.92
|
OPTIMUM f=19 TT=0.09 T1=0
|
? (TO)
TT=1800.07
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl20_30_pb.cnf.cr--soft-33-100-0.wbo
|
MOPT f=13 TT=0.117 T1=0.09
|
MSAT (TO) f=1863 TT=1800.06 T1=1477.24
|
MSAT (TO) f=13 TT=1800.08 T1=14.45
|
OPTIMUM f=13 TT=0.117 T1=0.09
|
? (TO)
TT=1800.07
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl20_30_pb.cnf.cr--soft-66-100-0.wbo
|
MOPT f=8 TT=0.254 T1=0.19
|
MSAT (TO) f=729 TT=1800.03 T1=1410.41
|
MSAT (TO) f=8 TT=1800.1 T1=4.09
|
OPTIMUM f=8 TT=0.254 T1=0.19
|
? (TO)
TT=1800.09
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl30_31_pb.cnf.cr--soft-33-100-0.wbo
|
MOPT f=3 TT=0.259 T1=0.09
|
MSAT (TO) f=1779 TT=1800.03 T1=1421.51
|
MSAT (TO) f=3 TT=1800.11 T1=1.38
|
OPTIMUM f=3 TT=0.259 T1=0.09
|
? (TO)
TT=1800.09
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl30_31_pb.cnf.cr--soft-66-100-0.wbo
|
MOPT f=3 TT=0.21 T1=0.19
|
MSAT (TO) f=824 TT=1800.05 T1=1345.12
|
MSAT (TO) f=3 TT=1800.08 T1=4.25
|
OPTIMUM f=3 TT=0.21 T1=0.19
|
? (TO)
TT=1800.08
|
Bench name | Best results | clasp 2.0-RC2 (complete) | Sat4j Resolution 2011-06-08 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 (complete) | wbo 1.6 (complete) |
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl30_35_pb.cnf.cr--soft-33-100-0.wbo
|
MOPT f=12 TT=0.335 T1=0.19
|
MSAT (TO) f=2081 TT=1800.08 T1=1486.55
|
MSAT (TO) f=12 TT=1800.17 T1=7.29
|
OPTIMUM f=12 TT=0.335 T1=0.19
|
? (TO)
TT=1800.07
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl30_35_pb.cnf.cr--soft-66-100-0.wbo
|
MOPT f=2 TT=0.145 T1=0.09
|
MSAT (TO) f=837 TT=1800.05 T1=1009.31
|
MSAT (TO) f=2 TT=1800.15 T1=1.12
|
OPTIMUM f=2 TT=0.145 T1=0.09
|
? (TO)
TT=1800.07
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl30_40_pb.cnf.cr--soft-33-100-0.wbo
|
MOPT f=14 TT=0.263 T1=0.19
|
MSAT (TO) f=1956 TT=1800.05 T1=1722.83
|
? (TO)
TT=1800.11
|
OPTIMUM f=14 TT=0.263 T1=0.19
|
? (TO)
TT=1800.09
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl30_40_pb.cnf.cr--soft-66-100-0.wbo
|
MOPT f=18 TT=0.172 T1=0.09
|
MSAT (TO) f=1373 TT=1800.07 T1=1543.04
|
MSAT (TO) f=18 TT=1800.13 T1=8.4
|
OPTIMUM f=18 TT=0.172 T1=0.09
|
? (TO)
TT=1800.08
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl35_36_pb.cnf.cr--soft-33-100-0.wbo
|
MOPT f=3 TT=0.232 T1=0.09
|
MSAT (TO) f=2134 TT=1800.07 T1=1780.15
|
MSAT (TO) f=3 TT=1800.1 T1=3.96
|
OPTIMUM f=3 TT=0.232 T1=0.09
|
? (TO)
TT=1800.08
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl35_36_pb.cnf.cr--soft-66-100-0.wbo
|
MOPT f=2 TT=0.187 T1=0.09
|
MSAT (TO) f=979 TT=1800.08 T1=1688.56
|
MSAT (TO) f=2 TT=1800.12 T1=3.3
|
OPTIMUM f=2 TT=0.187 T1=0.09
|
? (TO)
TT=1800.12
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl35_40_pb.cnf.cr--soft-33-100-0.wbo
|
MOPT f=4 TT=0.28 T1=0.19
|
MSAT (TO) f=2454 TT=1800.08 T1=1242.16
|
MSAT (TO) f=4 TT=1800.17 T1=3.12
|
OPTIMUM f=4 TT=0.28 T1=0.19
|
? (TO)
TT=1800.06
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl35_40_pb.cnf.cr--soft-66-100-0.wbo
|
MOPT f=15 TT=2.355 T1=0.09
|
MSAT (TO) f=1059 TT=1800.04 T1=1783.62
|
MSAT (TO) f=15 TT=1800.16 T1=1.56
|
OPTIMUM f=15 TT=2.355 T1=0.09
|
? (TO)
TT=1800.07
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl35_45_pb.cnf.cr--soft-33-100-0.wbo
|
MOPT f=25 TT=0.794 T1=0.69
|
MSAT (TO) f=2084 TT=1800.07 T1=1326.33
|
MSAT (TO) f=25 TT=1800.18 T1=15.09
|
OPTIMUM f=25 TT=0.794 T1=0.69
|
? (TO)
TT=1800.09
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl35_45_pb.cnf.cr--soft-66-100-0.wbo
|
MOPT f=12 TT=0.238 T1=0.19
|
MSAT (TO) f=1368 TT=1800.04 T1=1242.81
|
MSAT (TO) f=12 TT=1800.18 T1=8.71
|
OPTIMUM f=12 TT=0.238 T1=0.19
|
? (TO)
TT=1800.08
|
Bench name | Best results | clasp 2.0-RC2 (complete) | Sat4j Resolution 2011-06-08 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 (complete) | wbo 1.6 (complete) |
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl40_41_pb.cnf.cr--soft-33-100-0.wbo
|
MOPT f=4 TT=0.288 T1=0.19
|
MSAT (TO) f=2706 TT=1800.08 T1=1257.94
|
MSAT (TO) f=4 TT=1800.16 T1=6.29
|
OPTIMUM f=4 TT=0.288 T1=0.19
|
? (TO)
TT=1800.08
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl40_41_pb.cnf.cr--soft-66-100-0.wbo
|
MOPT f=4 TT=0.295 T1=0.19
|
MSAT (TO) f=994 TT=1800.03 T1=1379.6
|
MSAT (TO) f=4 TT=1800.19 T1=28.62
|
OPTIMUM f=4 TT=0.295 T1=0.19
|
? (TO)
TT=1800.07
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl40_45_pb.cnf.cr--soft-33-100-0.wbo
|
MOPT f=5 TT=0.681 T1=0.49
|
MSAT (TO) f=2829 TT=1800.03 T1=1380.61
|
MSAT (TO) f=5 TT=1800.23 T1=8.56
|
OPTIMUM f=5 TT=0.681 T1=0.49
|
? (TO)
TT=1800.08
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl40_45_pb.cnf.cr--soft-66-100-0.wbo
|
MOPT f=3 TT=0.296 T1=0.19
|
MSAT (TO) f=1363 TT=1800.05 T1=1354.82
|
MSAT (TO) f=3 TT=1800.14 T1=1.72
|
OPTIMUM f=3 TT=0.296 T1=0.19
|
? (TO)
TT=1800.07
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl40_50_pb.cnf.cr--soft-33-100-0.wbo
|
MOPT f=9 TT=0.867 T1=0.79
|
MSAT (TO) f=3379 TT=1800.05 T1=1415.63
|
MSAT (TO) f=9 TT=1800.17 T1=5.15
|
OPTIMUM f=9 TT=0.867 T1=0.79
|
? (TO)
TT=1800.08
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl40_50_pb.cnf.cr--soft-66-100-0.wbo
|
MOPT f=5 TT=0.491 T1=0.19
|
MSAT (TO) f=1474 TT=1800.05 T1=1392.13
|
MSAT (TO) f=5 TT=1800.17 T1=17.46
|
OPTIMUM f=5 TT=0.491 T1=0.19
|
? (TO)
TT=1800.09
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl50_51_pb.cnf.cr--soft-33-100-0.wbo
|
MOPT f=4 TT=0.474 T1=0.39
|
MSAT (TO) f=3377 TT=1800.07 T1=1180.03
|
MSAT (TO) f=4 TT=1800.14 T1=15.04
|
OPTIMUM f=4 TT=0.474 T1=0.39
|
? (TO)
TT=1800.05
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl50_51_pb.cnf.cr--soft-66-100-0.wbo
|
MOPT f=12 TT=0.456 T1=0.39
|
MSAT (TO) f=1786 TT=1800.08 T1=1629.65
|
MSAT (TO) f=12 TT=1800.11 T1=153.8
|
OPTIMUM f=12 TT=0.456 T1=0.39
|
? (TO)
TT=1800.07
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl50_55_pb.cnf.cr--soft-33-100-0.wbo
|
MOPT f=3 TT=0.572 T1=0.49
|
MSAT (TO) f=3741 TT=1800.05 T1=1694.64
|
MSAT (TO) f=3 TT=1800.1 T1=20.18
|
OPTIMUM f=3 TT=0.572 T1=0.49
|
? (TO)
TT=1800.08
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl50_55_pb.cnf.cr--soft-66-100-0.wbo
|
MOPT f=15 TT=0.49 T1=0.39
|
MSAT (TO) f=2004 TT=1800.05 T1=1160.71
|
MSAT (TO) f=15 TT=1800.18 T1=11.24
|
OPTIMUM f=15 TT=0.49 T1=0.39
|
? (TO)
TT=1800.1
|
Bench name | Best results | clasp 2.0-RC2 (complete) | Sat4j Resolution 2011-06-08 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 (complete) | wbo 1.6 (complete) |
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl50_60_pb.cnf.cr--soft-33-100-0.wbo
|
MOPT f=10 TT=3.775 T1=0.89
|
MSAT (TO) f=3972 TT=1800.07 T1=1193.93
|
MSAT (TO) f=10 TT=1800.16 T1=12.08
|
OPTIMUM f=10 TT=3.775 T1=0.89
|
? (TO)
TT=1800.06
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl50_60_pb.cnf.cr--soft-66-100-0.wbo
|
MOPT f=22 TT=0.684 T1=0.39
|
MSAT (TO) f=2274 TT=1800.03 T1=1179.6
|
MSAT (TO) f=22 TT=1800.23 T1=21.89
|
OPTIMUM f=22 TT=0.684 T1=0.39
|
? (TO)
TT=1800.05
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900544484--soft-33-100-0.wbo
|
MOPT f=1 TT=31.111 T1=10.33
|
OPTIMUM f=1 TT=31.111 T1=31.1
|
OPTIMUM f=1 TT=151.958 T1=10.33
|
OPTIMUM f=1 TT=1219.65 T1=60.59
|
OPTIMUM f=1 TT=66.063 T1=65.99
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900544484--soft-66-100-0.wbo
|
MOPT f=2 TT=24.07 T1=6.2
|
OPTIMUM f=2 TT=24.07 T1=23.49
|
OPTIMUM f=2 TT=53.22 T1=6.2
|
MSAT (TO) f=2 TT=1800.04 T1=84.9
|
OPTIMUM f=2 TT=123.405 T1=123.3
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900545610--soft-33-100-0.wbo
|
MOPT f=2 TT=60.483 T1=6.27
|
OPTIMUM f=2 TT=60.483 T1=60.4
|
OPTIMUM f=2 TT=570.014 T1=6.27
|
OPTIMUM f=2 TT=1501.79 T1=185.5
|
OPTIMUM f=2 TT=296.626 T1=296.6
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900545610--soft-66-100-0.wbo
|
MOPT f=1 TT=58.725 T1=42.8
|
OPTIMUM f=1 TT=58.725 T1=42.8
|
OPTIMUM f=1 TT=504.099 T1=59.29
|
? (TO)
TT=1800.05
|
OPTIMUM f=1 TT=145.53 T1=145.49
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900546076--soft-33-100-0.wbo
|
MOPT f=4 TT=15.13 T1=10.49
|
OPTIMUM f=4 TT=15.13 T1=10.49
|
OPTIMUM f=4 TT=148.576 T1=42.51
|
MSAT (TO) f=4 TT=1800.08 T1=227.19
|
OPTIMUM f=4 TT=152.352 T1=152.29
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900546076--soft-66-100-0.wbo
|
MOPT f=13 TT=44.231 T1=10.45
|
OPTIMUM f=13 TT=44.231 T1=32.59
|
OPTIMUM f=13 TT=246.199 T1=10.45
|
OPTIMUM f=13 TT=1418.87 T1=760.71
|
OPTIMUM f=13 TT=1069.78 T1=1069.72
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900546417--soft-33-100-0.wbo
|
MOPT f=1 TT=60.498 T1=7.13
|
OPTIMUM f=1 TT=60.498 T1=60.4
|
OPTIMUM f=1 TT=404.365 T1=7.13
|
OPTIMUM f=1 TT=1514.52 T1=202.9
|
OPTIMUM f=1 TT=128.501 T1=128.39
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900546417--soft-66-100-0.wbo
|
MOPT f=1 TT=32.828 T1=13.29
|
OPTIMUM f=1 TT=32.828 T1=13.29
|
OPTIMUM f=1 TT=543.554 T1=21.6
|
OPTIMUM f=1 TT=1688.5 T1=301.5
|
OPTIMUM f=1 TT=89.306 T1=89.19
|
Bench name | Best results | clasp 2.0-RC2 (complete) | Sat4j Resolution 2011-06-08 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 (complete) | wbo 1.6 (complete) |
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900547389--soft-33-100-0.wbo
|
MOPT f=2 TT=85.245 T1=85.19
|
OPTIMUM f=2 TT=85.245 T1=85.19
|
OPTIMUM f=2 TT=530.37 T1=114.28
|
OPTIMUM f=2 TT=1664.6 T1=317
|
OPTIMUM f=2 TT=321.763 T1=321.71
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900547389--soft-66-100-0.wbo
|
MOPT f=2 TT=45.149 T1=24.59
|
OPTIMUM f=2 TT=45.149 T1=24.59
|
OPTIMUM f=2 TT=387.066 T1=75.73
|
MSAT (TO) f=4 TT=1800.13 T1=449.11
|
OPTIMUM f=2 TT=278.186 T1=278.1
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900548667--soft-33-100-0.wbo
|
MOPT f=1 TT=130.374 T1=4.61
|
OPTIMUM f=1 TT=130.374 T1=130.3
|
OPTIMUM f=1 TT=1200.94 T1=4.61
|
OPTIMUM f=1 TT=1436.72 T1=60.19
|
OPTIMUM f=1 TT=372.235 T1=372.16
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900548667--soft-66-100-0.wbo
|
MOPT f=1 TT=151.013 T1=9.53
|
OPTIMUM f=1 TT=151.013 T1=151
|
OPTIMUM f=1 TT=1415.55 T1=9.53
|
MSAT (TO) f=1 TT=1800.06 T1=15.99
|
OPTIMUM f=1 TT=547.848 T1=547.8
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900550006--soft-33-100-0.wbo
|
MOPT f=1 TT=90.616 T1=5.88
|
OPTIMUM f=1 TT=90.616 T1=90.59
|
OPTIMUM f=1 TT=815.662 T1=5.88
|
OPTIMUM f=1 TT=1431.82 T1=28.39
|
OPTIMUM f=1 TT=230.185 T1=230.09
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900550006--soft-66-100-0.wbo
|
MOPT f=1 TT=36.71 T1=3.51
|
OPTIMUM f=1 TT=36.71 T1=14.3
|
OPTIMUM f=1 TT=853.435 T1=3.51
|
OPTIMUM f=1 TT=1091.41 T1=28
|
OPTIMUM f=1 TT=162.712 T1=162.6
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900550720--soft-33-100-0.wbo
|
MOPT f=1 TT=69.928 T1=55.4
|
OPTIMUM f=1 TT=69.928 T1=69.9
|
OPTIMUM f=1 TT=845.052 T1=55.4
|
OPTIMUM f=1 TT=1169.58 T1=155.1
|
OPTIMUM f=1 TT=196.52 T1=196.49
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900550720--soft-66-100-0.wbo
|
MOPT f=1 TT=60.746 T1=60.69
|
OPTIMUM f=1 TT=60.746 T1=60.69
|
OPTIMUM f=1 TT=575.788 T1=77.01
|
OPTIMUM f=1 TT=1405.73 T1=554.3
|
OPTIMUM f=1 TT=179.951 T1=179.9
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900551347--soft-33-100-0.wbo
|
MOPT f=2 TT=25.955 T1=21.02
|
OPTIMUM f=2 TT=25.955 T1=25.89
|
OPTIMUM f=2 TT=147.916 T1=21.02
|
OPTIMUM f=2 TT=1773.61 T1=589.81
|
OPTIMUM f=2 TT=129.754 T1=129.7
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900551347--soft-66-100-0.wbo
|
MOPT f=11 TT=72.283 T1=61.6
|
OPTIMUM f=11 TT=72.283 T1=61.6
|
OPTIMUM f=11 TT=173.752 T1=93.12
|
OPTIMUM f=11 TT=1681.76 T1=305.8
|
OPTIMUM f=11 TT=662.984 T1=662.91
|
Bench name | Best results | clasp 2.0-RC2 (complete) | Sat4j Resolution 2011-06-08 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 (complete) | wbo 1.6 (complete) |
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900551864--soft-33-100-0.wbo
|
MOPT f=1 TT=16.119 T1=9.63
|
OPTIMUM f=1 TT=16.119 T1=15.99
|
OPTIMUM f=1 TT=18.244 T1=9.63
|
? (TO)
TT=1800.03
|
OPTIMUM f=1 TT=28.191 T1=28.09
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900551864--soft-66-100-0.wbo
|
MOPT f=1 TT=12.471 T1=12.4
|
OPTIMUM f=1 TT=12.471 T1=12.4
|
OPTIMUM f=1 TT=17.803 T1=13.36
|
OPTIMUM f=1 TT=324.542 T1=304.89
|
OPTIMUM f=1 TT=96.945 T1=96.9
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900552288--soft-33-100-0.wbo
|
MOPT f=1 TT=90.365 T1=6.88
|
OPTIMUM f=1 TT=90.365 T1=90.29
|
OPTIMUM f=1 TT=391.006 T1=6.88
|
OPTIMUM f=1 TT=1720.85 T1=118.5
|
OPTIMUM f=1 TT=161.641 T1=161.6
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900552288--soft-66-100-0.wbo
|
MOPT f=2 TT=68.166 T1=37.69
|
OPTIMUM f=2 TT=68.166 T1=68.1
|
OPTIMUM f=2 TT=612.693 T1=37.69
|
OPTIMUM f=2 TT=1370.64 T1=103.09
|
OPTIMUM f=2 TT=390.927 T1=390.9
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900552423--soft-33-100-0.wbo
|
MOPT f=7 TT=17.654 T1=13.99
|
OPTIMUM f=7 TT=17.654 T1=13.99
|
OPTIMUM f=7 TT=56.508 T1=45.45
|
MSAT (TO) f=8 TT=1800.07 T1=552
|
OPTIMUM f=7 TT=129.685 T1=129.59
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900552423--soft-66-100-0.wbo
|
MOPT f=12 TT=10.377 T1=8.29
|
OPTIMUM f=12 TT=10.377 T1=8.29
|
OPTIMUM f=12 TT=37.279 T1=32.74
|
OPTIMUM f=12 TT=423.034 T1=236.7
|
OPTIMUM f=12 TT=143.165 T1=143.09
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900552735--soft-33-100-0.wbo
|
MOPT f=4 TT=153.159 T1=138.41
|
OPTIMUM f=4 TT=153.159 T1=147.89
|
OPTIMUM f=4 TT=290.968 T1=138.41
|
OPTIMUM f=4 TT=1509.14 T1=299.21
|
OPTIMUM f=4 TT=563.296 T1=563.2
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900552735--soft-66-100-0.wbo
|
MOPT f=6 TT=229.011 T1=8.59
|
OPTIMUM f=6 TT=229.011 T1=207.4
|
OPTIMUM f=6 TT=291.921 T1=273.89
|
OPTIMUM f=6 TT=1057.77 T1=8.59
|
OPTIMUM f=6 TT=964.35 T1=964.31
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900553647--soft-33-100-0.wbo
|
MOPT f=1 TT=94.71 T1=15.47
|
OPTIMUM f=1 TT=135.034 T1=135
|
OPTIMUM f=1 TT=556.145 T1=15.47
|
OPTIMUM f=1 TT=1054.04 T1=75.89
|
OPTIMUM f=1 TT=94.71 T1=94.6
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900553647--soft-66-100-0.wbo
|
MOPT f=1 TT=87.374 T1=58.64
|
OPTIMUM f=1 TT=87.374 T1=87.29
|
OPTIMUM f=1 TT=565.091 T1=58.64
|
OPTIMUM f=1 TT=476.721 T1=389.1
|
OPTIMUM f=1 TT=216.072 T1=215.99
|
Bench name | Best results | clasp 2.0-RC2 (complete) | Sat4j Resolution 2011-06-08 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 (complete) | wbo 1.6 (complete) |
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900553812--soft-33-100-0.wbo
|
MOPT f=3 TT=49.439 T1=36.09
|
OPTIMUM f=3 TT=49.439 T1=36.09
|
OPTIMUM f=3 TT=356.373 T1=52.8
|
MSAT (TO) f=3 TT=1800.06 T1=1107.32
|
OPTIMUM f=3 TT=233.24 T1=233.2
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900553812--soft-66-100-0.wbo
|
MOPT f=3 TT=27.916 T1=26.2
|
OPTIMUM f=3 TT=27.916 T1=26.2
|
OPTIMUM f=3 TT=185.863 T1=109.88
|
OPTIMUM f=3 TT=331.123 T1=209.1
|
OPTIMUM f=3 TT=263.229 T1=263.2
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900554072--soft-33-100-0.wbo
|
MOPT f=1 TT=27.595 T1=12.11
|
OPTIMUM f=1 TT=28.176 T1=28.09
|
OPTIMUM f=1 TT=27.595 T1=12.11
|
OPTIMUM f=1 TT=1743.29 T1=207.49
|
OPTIMUM f=1 TT=66.398 T1=66.3
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900554072--soft-66-100-0.wbo
|
MOPT f=3 TT=30.821 T1=23.89
|
OPTIMUM f=3 TT=30.821 T1=23.89
|
OPTIMUM f=3 TT=406.208 T1=39.72
|
MSAT (TO) f=6 TT=1800.14 T1=386.11
|
OPTIMUM f=3 TT=263.246 T1=263.19
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900554420--soft-33-100-0.wbo
|
MOPT f=2 TT=27.172 T1=27.09
|
OPTIMUM f=2 TT=27.172 T1=27.09
|
OPTIMUM f=2 TT=171.283 T1=33.79
|
? (TO)
TT=1800.04
|
OPTIMUM f=2 TT=149.094 T1=149
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900554420--soft-66-100-0.wbo
|
MOPT f=1 TT=22.259 T1=21.17
|
OPTIMUM f=1 TT=22.259 T1=22.19
|
OPTIMUM f=1 TT=155.704 T1=21.17
|
MSAT (TO) f=1 TT=1800.07 T1=562.71
|
OPTIMUM f=1 TT=55.512 T1=55.49
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900556231--soft-33-100-0.wbo
|
MOPT f=1 TT=44.591 T1=4.2
|
OPTIMUM f=1 TT=44.591 T1=44.49
|
OPTIMUM f=1 TT=574.559 T1=4.2
|
? (TO)
TT=1800.09
|
OPTIMUM f=1 TT=154.851 T1=154.79
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900556231--soft-66-100-0.wbo
|
MOPT f=1 TT=23.399 T1=2.49
|
OPTIMUM f=1 TT=23.399 T1=2.49
|
OPTIMUM f=1 TT=373.554 T1=7.33
|
MSAT (TO) f=1 TT=1800.06 T1=212.1
|
OPTIMUM f=1 TT=126.031 T1=125.99
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900557362--soft-33-100-0.wbo
|
MOPT f=5 TT=140.662 T1=68.53
|
OPTIMUM f=5 TT=140.662 T1=117.19
|
OPTIMUM f=5 TT=388.892 T1=68.53
|
MSAT (TO) f=5 TT=1800.17 T1=1057.82
|
OPTIMUM f=5 TT=583.972 T1=583.91
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900557362--soft-66-100-0.wbo
|
MOPT f=7 TT=105.273 T1=91.49
|
OPTIMUM f=7 TT=105.273 T1=91.49
|
OPTIMUM f=7 TT=365.299 T1=112.8
|
MSAT (TO) f=7 TT=1800.22 T1=1720.65
|
OPTIMUM f=7 TT=845.446 T1=845.42
|
Bench name | Best results | clasp 2.0-RC2 (complete) | Sat4j Resolution 2011-06-08 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 (complete) | wbo 1.6 (complete) |
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900557574--soft-33-100-0.wbo
|
MOPT f=8 TT=58.489 T1=50.69
|
OPTIMUM f=8 TT=58.489 T1=55.69
|
OPTIMUM f=8 TT=186.45 T1=50.69
|
MSAT (TO) f=8 TT=1800.08 T1=131.19
|
OPTIMUM f=8 TT=979.029 T1=978.92
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900557574--soft-66-100-0.wbo
|
MOPT f=9 TT=114.942 T1=99.79
|
OPTIMUM f=9 TT=114.942 T1=99.79
|
OPTIMUM f=9 TT=432.274 T1=122.22
|
OPTIMUM f=9 TT=1557.65 T1=986.71
|
OPTIMUM f=9 TT=1105.59 T1=1105.51
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900557957--soft-33-100-0.wbo
|
MOPT f=3 TT=85.471 T1=17.42
|
OPTIMUM f=3 TT=85.471 T1=47.59
|
OPTIMUM f=3 TT=509.006 T1=17.42
|
MSAT (TO) f=3 TT=1800.06 T1=418.9
|
OPTIMUM f=3 TT=497.102 T1=497
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900557957--soft-66-100-0.wbo
|
MOPT f=7 TT=139.442 T1=26.07
|
OPTIMUM f=7 TT=139.442 T1=114.29
|
OPTIMUM f=7 TT=508.485 T1=26.07
|
OPTIMUM f=7 TT=1071.05 T1=162.29
|
OPTIMUM f=7 TT=1122.44 T1=1122.33
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900558106--soft-33-100-0.wbo
|
MOPT f=4 TT=23.963 T1=23.19
|
OPTIMUM f=4 TT=23.963 T1=23.19
|
OPTIMUM f=4 TT=119.813 T1=93.43
|
OPTIMUM f=4 TT=1446.15 T1=515.1
|
OPTIMUM f=4 TT=210.26 T1=210.19
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900558106--soft-66-100-0.wbo
|
MOPT f=13 TT=59.058 T1=55.75
|
OPTIMUM f=13 TT=59.058 T1=58.89
|
OPTIMUM f=13 TT=139.942 T1=55.75
|
OPTIMUM f=13 TT=1027.66 T1=775.71
|
OPTIMUM f=13 TT=719.936 T1=719.9
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900558739--soft-33-100-0.wbo
|
MOPT f=1 TT=109.892 T1=7.18
|
OPTIMUM f=1 TT=109.892 T1=109.79
|
OPTIMUM f=1 TT=557.862 T1=7.18
|
MSAT (TO) f=1 TT=1800.17 T1=140.7
|
OPTIMUM f=1 TT=152.995 T1=152.9
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900558739--soft-66-100-0.wbo
|
MOPT f=2 TT=119.157 T1=13.06
|
OPTIMUM f=2 TT=119.157 T1=119.1
|
OPTIMUM f=2 TT=618.067 T1=13.06
|
OPTIMUM f=2 TT=442.277 T1=143.49
|
OPTIMUM f=2 TT=416.358 T1=416.29
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900559676--soft-33-100-0.wbo
|
MOPT f=1 TT=153.216 T1=9.28
|
OPTIMUM f=1 TT=153.216 T1=153.2
|
OPTIMUM f=1 TT=1286.93 T1=9.28
|
OPTIMUM f=1 TT=1740.08 T1=282.7
|
OPTIMUM f=1 TT=337.184 T1=337.09
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900559676--soft-66-100-0.wbo
|
MOPT f=1 TT=75.748 T1=19.21
|
OPTIMUM f=1 TT=75.748 T1=75.7
|
OPTIMUM f=1 TT=1157.81 T1=19.21
|
MSAT (TO) f=1 TT=1800.2 T1=137.89
|
OPTIMUM f=1 TT=352.281 T1=352.2
|
Bench name | Best results | clasp 2.0-RC2 (complete) | Sat4j Resolution 2011-06-08 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 (complete) | wbo 1.6 (complete) |
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900561288--soft-33-100-0.wbo
|
MOPT f=1 TT=148.522 T1=6.04
|
OPTIMUM f=1 TT=148.522 T1=148.5
|
OPTIMUM f=1 TT=1108.93 T1=6.04
|
MSAT (TO) f=1 TT=1800.06 T1=92.4
|
OPTIMUM f=1 TT=343.555 T1=343.5
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900561288--soft-66-100-0.wbo
|
MOPT f=1 TT=188.987 T1=11.35
|
OPTIMUM f=1 TT=188.987 T1=140.39
|
OPTIMUM f=1 TT=921.557 T1=11.35
|
OPTIMUM f=1 TT=1348.55 T1=114.59
|
OPTIMUM f=1 TT=270.935 T1=270.9
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900562192--soft-33-100-0.wbo
|
MOPT f=1 TT=70.165 T1=16.73
|
OPTIMUM f=1 TT=70.165 T1=70.1
|
OPTIMUM f=1 TT=279.584 T1=16.73
|
OPTIMUM f=1 TT=1532.49 T1=803.91
|
OPTIMUM f=1 TT=112.477 T1=112.39
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900562192--soft-66-100-0.wbo
|
MOPT f=1 TT=87.684 T1=72.08
|
OPTIMUM f=1 TT=87.684 T1=87.59
|
OPTIMUM f=1 TT=369.825 T1=113.05
|
OPTIMUM f=1 TT=1060.18 T1=72.08
|
OPTIMUM f=1 TT=97.853 T1=97.8
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900563250--soft-33-100-0.wbo
|
MOPT f=1 TT=79.151 T1=46.59
|
OPTIMUM f=1 TT=79.151 T1=78.99
|
OPTIMUM f=1 TT=387.101 T1=46.59
|
OPTIMUM f=1 TT=1180.42 T1=175.09
|
OPTIMUM f=1 TT=250.074 T1=249.99
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900563250--soft-66-100-0.wbo
|
MOPT f=1 TT=76.976 T1=5.86
|
OPTIMUM f=1 TT=76.976 T1=76.9
|
OPTIMUM f=1 TT=593.766 T1=5.86
|
MSAT f=1 TT=1800.08 T1=30.79
|
OPTIMUM f=1 TT=267.598 T1=267.5
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900563801--soft-33-100-0.wbo
|
MOPT f=1 TT=12.814 T1=9.75
|
OPTIMUM f=1 TT=19.56 T1=19.49
|
OPTIMUM f=1 TT=12.814 T1=9.75
|
MSAT (TO) f=1 TT=1800.1 T1=1553.23
|
OPTIMUM f=1 TT=57.89 T1=57.79
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900563801--soft-66-100-0.wbo
|
MOPT f=5 TT=31.238 T1=28.19
|
OPTIMUM f=5 TT=31.238 T1=28.19
|
OPTIMUM f=5 TT=41.072 T1=30.15
|
MSAT (TO) f=5 TT=1800.06 T1=773.41
|
OPTIMUM f=5 TT=289.061 T1=289
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900564281--soft-33-100-0.wbo
|
MOPT f=1 TT=12.652 T1=12.59
|
OPTIMUM f=1 TT=12.652 T1=12.59
|
OPTIMUM f=1 TT=102.946 T1=27.49
|
OPTIMUM f=1 TT=482.115 T1=381.9
|
OPTIMUM f=1 TT=100.066 T1=99.99
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900564281--soft-66-100-0.wbo
|
MOPT f=3 TT=18.767 T1=15.42
|
OPTIMUM f=3 TT=18.767 T1=16.29
|
OPTIMUM f=3 TT=188.324 T1=15.42
|
OPTIMUM f=3 TT=496.808 T1=133.79
|
OPTIMUM f=3 TT=225.696 T1=225.6
|
Bench name | Best results | clasp 2.0-RC2 (complete) | Sat4j Resolution 2011-06-08 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 (complete) | wbo 1.6 (complete) |
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900564824--soft-33-100-0.wbo
|
MOPT f=4 TT=6.424 T1=4.59
|
OPTIMUM f=4 TT=6.424 T1=4.59
|
OPTIMUM f=4 TT=22.655 T1=21.45
|
OPTIMUM f=4 TT=574.084 T1=527.8
|
OPTIMUM f=4 TT=32.939 T1=32.9
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900564824--soft-66-100-0.wbo
|
MOPT f=19 TT=16.837 T1=14.99
|
OPTIMUM f=19 TT=16.837 T1=14.99
|
OPTIMUM f=19 TT=55.512 T1=28.99
|
OPTIMUM f=19 TT=1346.46 T1=1115.87
|
? (TO)
TT=1800.07
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900565534--soft-33-100-0.wbo
|
MOPT f=1 TT=145.178 T1=5.63
|
OPTIMUM f=1 TT=145.178 T1=145.08
|
OPTIMUM f=1 TT=596.286 T1=5.63
|
MSAT (TO) f=1 TT=1800.07 T1=21.59
|
OPTIMUM f=1 TT=222.326 T1=222.29
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900565534--soft-66-100-0.wbo
|
MOPT f=1 TT=72.614 T1=14.2
|
OPTIMUM f=1 TT=72.614 T1=72.5
|
OPTIMUM f=1 TT=609.703 T1=14.2
|
OPTIMUM f=1 TT=1421.58 T1=448.71
|
OPTIMUM f=1 TT=187.635 T1=187.59
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900566157--soft-33-100-0.wbo
|
MOPT f=1 TT=42.953 T1=35.02
|
OPTIMUM f=1 TT=42.953 T1=42.89
|
OPTIMUM f=1 TT=257.731 T1=35.02
|
OPTIMUM f=1 TT=612.484 T1=380.39
|
OPTIMUM f=1 TT=67.909 T1=67.89
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900566157--soft-66-100-0.wbo
|
MOPT f=6 TT=70.516 T1=24.48
|
OPTIMUM f=6 TT=70.516 T1=68.8
|
OPTIMUM f=6 TT=244.641 T1=24.48
|
OPTIMUM f=6 TT=1225.24 T1=1054.12
|
OPTIMUM f=6 TT=322.808 T1=322.7
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900567024--soft-33-100-0.wbo
|
MOPT f=6 TT=45.191 T1=36.59
|
OPTIMUM f=6 TT=45.191 T1=36.59
|
OPTIMUM f=6 TT=228.823 T1=78.73
|
OPTIMUM f=6 TT=1614.12 T1=1285.02
|
OPTIMUM f=6 TT=464.919 T1=464.89
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900567024--soft-66-100-0.wbo
|
MOPT f=12 TT=27.616 T1=26.1
|
OPTIMUM f=12 TT=27.616 T1=26.1
|
OPTIMUM f=12 TT=190.903 T1=147.7
|
MSAT (TO) f=12 TT=1800.12 T1=1273.62
|
OPTIMUM f=12 TT=903.388 T1=903.3
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900567135--soft-33-100-0.wbo
|
MOPT f=1 TT=25.255 T1=14.84
|
OPTIMUM f=1 TT=25.255 T1=25.2
|
OPTIMUM f=1 TT=25.634 T1=14.84
|
MSAT f=1 TT=1800.04 T1=419.08
|
OPTIMUM f=1 TT=59.038 T1=58.99
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900567135--soft-66-100-0.wbo
|
MOPT f=2 TT=15.187 T1=4.36
|
OPTIMUM f=2 TT=15.187 T1=8.5
|
OPTIMUM f=2 TT=20.311 T1=4.36
|
? (TO)
TT=1800.05
|
OPTIMUM f=2 TT=128.824 T1=128.8
|
Bench name | Best results | clasp 2.0-RC2 (complete) | Sat4j Resolution 2011-06-08 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 (complete) | wbo 1.6 (complete) |
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900567985--soft-33-100-0.wbo
|
MOPT f=1 TT=155.336 T1=7.98
|
OPTIMUM f=1 TT=155.336 T1=155.29
|
OPTIMUM f=1 TT=835.2 T1=7.98
|
MSAT f=1 TT=1800.06 T1=30.19
|
OPTIMUM f=1 TT=362.264 T1=362.2
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900567985--soft-66-100-0.wbo
|
MOPT f=1 TT=58.868 T1=6.4
|
OPTIMUM f=1 TT=58.868 T1=6.4
|
OPTIMUM f=1 TT=948.137 T1=34.52
|
? (TO)
TT=1800.08
|
OPTIMUM f=1 TT=281.156 T1=281.1
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900568186--soft-33-100-0.wbo
|
MOPT f=3 TT=59.815 T1=13.72
|
OPTIMUM f=3 TT=59.815 T1=51.89
|
OPTIMUM f=3 TT=345.939 T1=13.72
|
OPTIMUM f=3 TT=1208.53 T1=707.51
|
OPTIMUM f=3 TT=208.293 T1=208.19
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900568186--soft-66-100-0.wbo
|
MOPT f=13 TT=73.62 T1=33.36
|
OPTIMUM f=13 TT=73.62 T1=64.49
|
OPTIMUM f=13 TT=351.534 T1=33.36
|
OPTIMUM f=13 TT=1407.45 T1=91.69
|
OPTIMUM f=13 TT=1153.4 T1=1153.37
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900568706--soft-33-100-0.wbo
|
MOPT f=2 TT=48.828 T1=37.83
|
OPTIMUM f=2 TT=48.828 T1=48.79
|
OPTIMUM f=2 TT=231.964 T1=37.83
|
OPTIMUM f=2 TT=1098.53 T1=1079.29
|
OPTIMUM f=2 TT=227.326 T1=227.29
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900568706--soft-66-100-0.wbo
|
MOPT f=7 TT=91.879 T1=10.89
|
OPTIMUM f=7 TT=91.879 T1=83.5
|
OPTIMUM f=7 TT=321.557 T1=10.89
|
OPTIMUM f=7 TT=1260.21 T1=326.09
|
OPTIMUM f=7 TT=845.841 T1=845.8
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900569834--soft-33-100-0.wbo
|
MOPT f=8 TT=194.59 T1=106.66
|
OPTIMUM f=8 TT=194.59 T1=150.29
|
OPTIMUM f=8 TT=841.992 T1=106.66
|
MSAT (TO) f=8 TT=1800.07 T1=439.4
|
OPTIMUM f=8 TT=1658.1 T1=1658.04
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900569834--soft-66-100-0.wbo
|
MOPT f=12 TT=247.631 T1=35.21
|
OPTIMUM f=12 TT=247.631 T1=211.7
|
OPTIMUM f=12 TT=599.416 T1=35.21
|
MSAT (TO) f=13 TT=1800.13 T1=830.91
|
OPTIMUM f=12 TT=1721.16 T1=1721.12
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900570242--soft-33-100-0.wbo
|
MOPT f=8 TT=141.252 T1=33.78
|
OPTIMUM f=8 TT=141.252 T1=82.59
|
OPTIMUM f=8 TT=918.216 T1=33.78
|
MSAT (TO) f=8 TT=1800.05 T1=429.4
|
OPTIMUM f=8 TT=1208.22 T1=1208.12
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900570242--soft-66-100-0.wbo
|
MOPT f=16 TT=146.66 T1=66.2
|
OPTIMUM f=16 TT=146.66 T1=114.99
|
OPTIMUM f=16 TT=549.396 T1=66.2
|
OPTIMUM f=16 TT=1305.05 T1=537.91
|
? (TO)
TT=1800.05
|
Bench name | Best results | clasp 2.0-RC2 (complete) | Sat4j Resolution 2011-06-08 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 (complete) | wbo 1.6 (complete) |
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900571132--soft-33-100-0.wbo
|
MOPT f=1 TT=60.798 T1=15.02
|
OPTIMUM f=1 TT=60.798 T1=60.69
|
OPTIMUM f=1 TT=517.55 T1=15.02
|
OPTIMUM f=1 TT=1198.16 T1=61.29
|
OPTIMUM f=1 TT=196.486 T1=196.4
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900571132--soft-66-100-0.wbo
|
MOPT f=1 TT=61.711 T1=17.68
|
OPTIMUM f=1 TT=61.711 T1=61.69
|
OPTIMUM f=1 TT=378.135 T1=17.68
|
OPTIMUM f=1 TT=1464.14 T1=505.6
|
OPTIMUM f=1 TT=124.69 T1=124.59
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900571761--soft-33-100-0.wbo
|
MOPT f=1 TT=56.93 T1=56.89
|
OPTIMUM f=1 TT=56.93 T1=56.89
|
OPTIMUM f=1 TT=573.204 T1=401.46
|
OPTIMUM f=1 TT=1227.93 T1=852.71
|
OPTIMUM f=1 TT=225.981 T1=225.89
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900571761--soft-66-100-0.wbo
|
MOPT f=2 TT=161.414 T1=10.68
|
OPTIMUM f=2 TT=161.414 T1=161.4
|
OPTIMUM f=2 TT=575.868 T1=10.68
|
MSAT (TO) f=2 TT=1800.05 T1=620.81
|
OPTIMUM f=2 TT=350.474 T1=350.4
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900573137--soft-33-100-0.wbo
|
MOPT f=1 TT=122.301 T1=15.27
|
OPTIMUM f=1 TT=122.301 T1=122.2
|
OPTIMUM f=1 TT=540.083 T1=15.27
|
OPTIMUM f=1 TT=773.507 T1=179.09
|
OPTIMUM f=1 TT=207.394 T1=207.3
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900573137--soft-66-100-0.wbo
|
MOPT f=1 TT=45.083 T1=17.3
|
OPTIMUM f=1 TT=45.083 T1=18.8
|
OPTIMUM f=1 TT=553.393 T1=17.3
|
MSAT (TO) f=1 TT=1800.06 T1=718.41
|
OPTIMUM f=1 TT=168.848 T1=168.8
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900573901--soft-33-100-0.wbo
|
MOPT f=1 TT=66.919 T1=14.49
|
OPTIMUM f=1 TT=66.919 T1=66.89
|
OPTIMUM f=1 TT=515.715 T1=14.49
|
MSAT (TO) f=1 TT=1800.08 T1=65.59
|
OPTIMUM f=1 TT=113.857 T1=113.79
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900573901--soft-66-100-0.wbo
|
MOPT f=1 TT=55.084 T1=20.27
|
OPTIMUM f=1 TT=55.084 T1=55
|
OPTIMUM f=1 TT=529.989 T1=20.27
|
OPTIMUM f=1 TT=1282.1 T1=222.3
|
OPTIMUM f=1 TT=115.93 T1=115.89
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900574864--soft-33-100-0.wbo
|
MOPT f=1 TT=38.526 T1=9.85
|
OPTIMUM f=1 TT=38.526 T1=38.5
|
OPTIMUM f=1 TT=134.372 T1=9.85
|
OPTIMUM f=1 TT=1215.25 T1=178.7
|
OPTIMUM f=1 TT=90.415 T1=90.39
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900574864--soft-66-100-0.wbo
|
MOPT f=1 TT=20.736 T1=5.9
|
OPTIMUM f=1 TT=20.736 T1=5.9
|
OPTIMUM f=1 TT=336.625 T1=20.43
|
MSAT (TO) f=1 TT=1800.06 T1=46.2
|
OPTIMUM f=1 TT=154.802 T1=154.7
|
Bench name | Best results | clasp 2.0-RC2 (complete) | Sat4j Resolution 2011-06-08 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 (complete) | wbo 1.6 (complete) |
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900575442--soft-33-100-0.wbo
|
MOPT f=1 TT=21.507 T1=3.76
|
OPTIMUM f=1 TT=31.301 T1=31.19
|
OPTIMUM f=1 TT=21.507 T1=3.76
|
MSAT (TO) f=1 TT=1800.06 T1=608.7
|
OPTIMUM f=1 TT=90.408 T1=90.3
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900575442--soft-66-100-0.wbo
|
MOPT f=1 TT=14.939 T1=12.37
|
OPTIMUM f=1 TT=14.939 T1=14.39
|
OPTIMUM f=1 TT=16.208 T1=12.37
|
OPTIMUM f=1 TT=1394.39 T1=1379.54
|
OPTIMUM f=1 TT=96.354 T1=96.29
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900576151--soft-33-100-0.wbo
|
MOPT f=1 TT=123.84 T1=9.1
|
OPTIMUM f=1 TT=123.84 T1=123.39
|
OPTIMUM f=1 TT=854.382 T1=9.1
|
OPTIMUM f=1 TT=1738.69 T1=66.69
|
OPTIMUM f=1 TT=186.834 T1=186.8
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900576151--soft-66-100-0.wbo
|
MOPT f=1 TT=58.584 T1=3.06
|
OPTIMUM f=1 TT=58.584 T1=8.49
|
OPTIMUM f=1 TT=807.494 T1=3.06
|
? (TO)
TT=1800.06
|
OPTIMUM f=1 TT=273.641 T1=273.6
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900576360--soft-33-100-0.wbo
|
MOPT f=2 TT=113.427 T1=29.67
|
OPTIMUM f=2 TT=113.427 T1=113.19
|
OPTIMUM f=2 TT=372.301 T1=29.67
|
OPTIMUM f=2 TT=844.512 T1=503.72
|
OPTIMUM f=2 TT=244.219 T1=244.1
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900576360--soft-66-100-0.wbo
|
MOPT f=2 TT=52.179 T1=16.25
|
OPTIMUM f=2 TT=52.179 T1=51.96
|
OPTIMUM f=2 TT=276.586 T1=16.25
|
OPTIMUM f=2 TT=756.505 T1=711.11
|
OPTIMUM f=2 TT=165.679 T1=165.59
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900576927--soft-33-100-0.wbo
|
MOPT f=1 TT=113.746 T1=10.05
|
OPTIMUM f=1 TT=113.746 T1=113.69
|
OPTIMUM f=1 TT=587.037 T1=10.05
|
OPTIMUM f=1 TT=1626.43 T1=68.39
|
OPTIMUM f=1 TT=230.437 T1=230.38
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900576927--soft-66-100-0.wbo
|
MOPT f=1 TT=78.224 T1=5.4
|
OPTIMUM f=1 TT=78.224 T1=78.2
|
OPTIMUM f=1 TT=845.231 T1=5.4
|
OPTIMUM f=1 TT=1103.05 T1=32.29
|
OPTIMUM f=1 TT=176.616 T1=176.49
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900577940--soft-33-100-0.wbo
|
MOPT f=1 TT=124.917 T1=11.6
|
OPTIMUM f=1 TT=124.917 T1=124.89
|
OPTIMUM f=1 TT=861.415 T1=11.6
|
? (TO)
TT=1800.06
|
OPTIMUM f=1 TT=382.242 T1=382.2
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900577940--soft-66-100-0.wbo
|
MOPT f=1 TT=92.308 T1=33.89
|
OPTIMUM f=1 TT=92.308 T1=92.2
|
OPTIMUM f=1 TT=461.833 T1=33.89
|
OPTIMUM f=1 TT=752.856 T1=182.4
|
OPTIMUM f=1 TT=236.299 T1=236.2
|
Bench name | Best results | clasp 2.0-RC2 (complete) | Sat4j Resolution 2011-06-08 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 (complete) | wbo 1.6 (complete) |
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900579996--soft-33-100-0.wbo
|
MOPT f=1 TT=169.293 T1=4.33
|
OPTIMUM f=1 TT=169.293 T1=169.2
|
OPTIMUM f=1 TT=596.453 T1=4.33
|
OPTIMUM f=1 TT=1382.57 T1=189.18
|
OPTIMUM f=1 TT=287.569 T1=287.5
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900579996--soft-66-100-0.wbo
|
MOPT f=1 TT=81.653 T1=31
|
OPTIMUM f=1 TT=81.653 T1=81.59
|
OPTIMUM f=1 TT=829.504 T1=31
|
? (TO)
TT=1800.05
|
OPTIMUM f=1 TT=311.037 T1=311
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900581320--soft-33-100-0.wbo
|
MOPT f=1 TT=83.61 T1=3.13
|
OPTIMUM f=1 TT=83.61 T1=83.6
|
OPTIMUM f=1 TT=402.956 T1=3.13
|
OPTIMUM f=1 TT=774.105 T1=234.59
|
OPTIMUM f=1 TT=212.67 T1=212.59
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900581320--soft-66-100-0.wbo
|
MOPT f=1 TT=39.887 T1=1.68
|
OPTIMUM f=1 TT=39.887 T1=39.8
|
OPTIMUM f=1 TT=558.885 T1=1.68
|
OPTIMUM f=1 TT=1610.64 T1=79.89
|
OPTIMUM f=1 TT=163.25 T1=163.19
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900582300--soft-33-100-0.wbo
|
MOPT f=1 TT=76.971 T1=7.02
|
OPTIMUM f=1 TT=76.971 T1=76.9
|
OPTIMUM f=1 TT=508.13 T1=7.02
|
MSAT (TO) f=1 TT=1800.05 T1=376.5
|
OPTIMUM f=1 TT=320.488 T1=320.39
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900582300--soft-66-100-0.wbo
|
MOPT f=1 TT=42.674 T1=16.85
|
OPTIMUM f=1 TT=42.674 T1=42.6
|
OPTIMUM f=1 TT=564.453 T1=16.85
|
OPTIMUM f=1 TT=661.038 T1=102.19
|
OPTIMUM f=1 TT=242.392 T1=242.3
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900583053--soft-33-100-0.wbo
|
MOPT f=1 TT=122.075 T1=7.25
|
OPTIMUM f=1 TT=122.075 T1=122
|
OPTIMUM f=1 TT=634.38 T1=7.25
|
OPTIMUM f=1 TT=905.428 T1=32.39
|
OPTIMUM f=1 TT=297.189 T1=297.1
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900583053--soft-66-100-0.wbo
|
MOPT f=1 TT=87.264 T1=16.2
|
OPTIMUM f=1 TT=87.264 T1=87.2
|
OPTIMUM f=1 TT=844.742 T1=16.2
|
OPTIMUM f=1 TT=1069.59 T1=406.7
|
OPTIMUM f=1 TT=334.693 T1=334.6
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900584106--soft-33-100-0.wbo
|
MOPT f=10 TT=95.708 T1=62.72
|
OPTIMUM f=10 TT=95.708 T1=94.69
|
OPTIMUM f=10 TT=378.887 T1=62.72
|
? (TO)
TT=1800.07
|
OPTIMUM f=10 TT=1157.35 T1=1157.33
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900584106--soft-66-100-0.wbo
|
MOPT f=12 TT=45.294 T1=26.2
|
OPTIMUM f=12 TT=45.294 T1=26.2
|
OPTIMUM f=12 TT=391.678 T1=27.06
|
? (TO)
TT=1800.07
|
OPTIMUM f=12 TT=1019.81 T1=1019.72
|
Bench name | Best results | clasp 2.0-RC2 (complete) | Sat4j Resolution 2011-06-08 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 (complete) | wbo 1.6 (complete) |
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900584219--soft-33-100-0.wbo
|
MOPT f=1 TT=96.347 T1=23.23
|
OPTIMUM f=1 TT=96.347 T1=96.19
|
OPTIMUM f=1 TT=253.751 T1=23.23
|
OPTIMUM f=1 TT=828.895 T1=186.69
|
OPTIMUM f=1 TT=222.71 T1=222.6
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900584219--soft-66-100-0.wbo
|
MOPT f=3 TT=28.444 T1=22.49
|
OPTIMUM f=3 TT=28.444 T1=22.49
|
OPTIMUM f=3 TT=275.057 T1=186.99
|
OPTIMUM f=3 TT=1786.87 T1=505.41
|
OPTIMUM f=3 TT=516.026 T1=516.01
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900667195--soft-33-100-0.wbo
|
MOPT f=1 TT=134.936 T1=9.88
|
OPTIMUM f=1 TT=134.936 T1=134.89
|
OPTIMUM f=1 TT=776.243 T1=9.88
|
? (TO)
TT=1800.06
|
OPTIMUM f=1 TT=171.695 T1=171.61
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900667195--soft-66-100-0.wbo
|
MOPT f=1 TT=60.22 T1=8.44
|
OPTIMUM f=1 TT=60.22 T1=60.2
|
OPTIMUM f=1 TT=910.537 T1=8.44
|
OPTIMUM f=1 TT=881.155 T1=195.19
|
OPTIMUM f=1 TT=334.726 T1=334.6
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900669797--soft-33-100-0.wbo
|
MOPT f=1 TT=61.795 T1=6.46
|
OPTIMUM f=1 TT=61.795 T1=61.69
|
OPTIMUM f=1 TT=468.036 T1=6.46
|
OPTIMUM f=1 TT=1530.36 T1=64.8
|
OPTIMUM f=1 TT=154.503 T1=154.4
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900669797--soft-66-100-0.wbo
|
MOPT f=1 TT=43.717 T1=41.42
|
OPTIMUM f=1 TT=43.717 T1=43.7
|
OPTIMUM f=1 TT=350.666 T1=41.42
|
OPTIMUM f=1 TT=1173.68 T1=161.99
|
OPTIMUM f=1 TT=208.149 T1=208.1
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900670167--soft-33-100-0.wbo
|
MOPT f=2 TT=39.512 T1=13.54
|
OPTIMUM f=2 TT=39.512 T1=39.49
|
OPTIMUM f=2 TT=331.621 T1=13.54
|
OPTIMUM f=2 TT=978.857 T1=418.6
|
OPTIMUM f=2 TT=258.978 T1=258.9
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900670167--soft-66-100-0.wbo
|
MOPT f=2 TT=82.293 T1=28.66
|
OPTIMUM f=2 TT=82.293 T1=81.7
|
OPTIMUM f=2 TT=353.744 T1=28.66
|
? (TO)
TT=1800.05
|
OPTIMUM f=2 TT=244.841 T1=244.8
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900670234--soft-33-100-0.wbo
|
MOPT f=1 TT=275.955 T1=168.35
|
OPTIMUM f=1 TT=275.955 T1=275.88
|
OPTIMUM f=1 TT=842.301 T1=168.35
|
? (TO)
TT=1800.08
|
OPTIMUM f=1 TT=332.335 T1=332.3
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900670234--soft-66-100-0.wbo
|
MOPT f=2 TT=396.721 T1=12.39
|
OPTIMUM f=2 TT=396.721 T1=396.7
|
OPTIMUM f=2 TT=880.651 T1=13.86
|
OPTIMUM f=2 TT=878.375 T1=12.39
|
OPTIMUM f=2 TT=855.163 T1=855.12
|
Bench name | Best results | clasp 2.0-RC2 (complete) | Sat4j Resolution 2011-06-08 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 (complete) | wbo 1.6 (complete) |
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900670675--soft-33-100-0.wbo
|
MOPT f=2 TT=24.037 T1=11.9
|
OPTIMUM f=2 TT=24.037 T1=15.79
|
OPTIMUM f=2 TT=222.227 T1=11.9
|
MSAT (TO) f=2 TT=1800.14 T1=51.39
|
OPTIMUM f=2 TT=189.947 T1=189.89
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900670675--soft-66-100-0.wbo
|
MOPT f=1 TT=17.013 T1=6.99
|
OPTIMUM f=1 TT=17.013 T1=16.99
|
OPTIMUM f=1 TT=46.688 T1=6.99
|
OPTIMUM f=1 TT=142.86 T1=83.69
|
OPTIMUM f=1 TT=50.223 T1=50.19
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110966483--soft-33-100-0.wbo
|
MOPT f=1 TT=0.593 T1=0.49
|
OPTIMUM f=1 TT=1.38 T1=1.29
|
OPTIMUM f=1 TT=11.605 T1=11.12
|
OPTIMUM f=1 TT=0.593 T1=0.49
|
OPTIMUM f=1 TT=4.178 T1=4.09
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110966483--soft-66-100-0.wbo
|
MOPT f=51 TT=1.136 T1=1.1
|
OPTIMUM f=51 TT=7.783 T1=6.8
|
OPTIMUM f=51 TT=50.115 T1=37.21
|
OPTIMUM f=51 TT=1.136 T1=1.1
|
? (TO)
TT=1800.09
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110966688--soft-33-100-0.wbo
|
MOPT f=2 TT=0.915 T1=0.79
|
OPTIMUM f=2 TT=1.819 T1=1.8
|
OPTIMUM f=2 TT=31.833 T1=29.18
|
OPTIMUM f=2 TT=0.915 T1=0.79
|
OPTIMUM f=2 TT=7.577 T1=7.49
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110966688--soft-66-100-0.wbo
|
MOPT f=19 TT=1.129 T1=1.1
|
OPTIMUM f=19 TT=5.396 T1=5
|
OPTIMUM f=19 TT=26.162 T1=22.18
|
OPTIMUM f=19 TT=1.129 T1=1.1
|
OPTIMUM f=19 TT=22.764 T1=22.69
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110967142--soft-33-100-0.wbo
|
MOPT f=2 TT=1.78 T1=1.19
|
OPTIMUM f=2 TT=3.78 T1=3.69
|
OPTIMUM f=2 TT=19.503 T1=2.02
|
OPTIMUM f=2 TT=1.78 T1=1.19
|
OPTIMUM f=2 TT=16.078 T1=15.99
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110967142--soft-66-100-0.wbo
|
MOPT f=1 TT=1.528 T1=0.3
|
OPTIMUM f=1 TT=1.528 T1=0.3
|
OPTIMUM f=1 TT=19.144 T1=3.09
|
OPTIMUM f=1 TT=1.929 T1=1.1
|
OPTIMUM f=1 TT=8.314 T1=8.29
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110967523--soft-33-100-0.wbo
|
MOPT f=8 TT=1.781 T1=1.49
|
OPTIMUM f=8 TT=9.149 T1=7.79
|
OPTIMUM f=8 TT=55.048 T1=43.71
|
OPTIMUM f=8 TT=1.781 T1=1.49
|
OPTIMUM f=8 TT=70.729 T1=70.69
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110967523--soft-66-100-0.wbo
|
MOPT f=14 TT=2.816 T1=2.59
|
OPTIMUM f=14 TT=10.789 T1=10.09
|
OPTIMUM f=14 TT=21.634 T1=14.09
|
OPTIMUM f=14 TT=2.816 T1=2.59
|
OPTIMUM f=14 TT=52.656 T1=52.59
|
Bench name | Best results | clasp 2.0-RC2 (complete) | Sat4j Resolution 2011-06-08 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 (complete) | wbo 1.6 (complete) |
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110967729--soft-33-100-0.wbo
|
MOPT f=4 TT=1.671 T1=1.59
|
OPTIMUM f=4 TT=6.044 T1=5.89
|
OPTIMUM f=4 TT=18.944 T1=14.85
|
OPTIMUM f=4 TT=1.671 T1=1.59
|
OPTIMUM f=4 TT=11.418 T1=11.39
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110967729--soft-66-100-0.wbo
|
MOPT f=80 TT=1.065 T1=0.2
|
OPTIMUM f=80 TT=1.065 T1=0.2
|
OPTIMUM f=80 TT=15.646 T1=14.28
|
OPTIMUM f=80 TT=1.115 T1=1
|
? (TO)
TT=1800.09
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110968094--soft-33-100-0.wbo
|
MOPT f=23 TT=1.196 T1=0.79
|
OPTIMUM f=23 TT=11.304 T1=9.9
|
OPTIMUM f=23 TT=19.712 T1=12.07
|
OPTIMUM f=23 TT=1.196 T1=0.79
|
OPTIMUM f=23 TT=128.655 T1=128.6
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110968094--soft-66-100-0.wbo
|
MOPT f=17 TT=1.172 T1=1.1
|
OPTIMUM f=17 TT=3.351 T1=3.3
|
OPTIMUM f=17 TT=17.58 T1=12.77
|
OPTIMUM f=17 TT=1.172 T1=1.1
|
OPTIMUM f=17 TT=24.974 T1=24.89
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110968561--soft-33-100-0.wbo
|
MOPT f=8 TT=1.784 T1=1.59
|
OPTIMUM f=8 TT=6.983 T1=5.7
|
OPTIMUM f=8 TT=25.106 T1=18.11
|
OPTIMUM f=8 TT=1.784 T1=1.59
|
OPTIMUM f=8 TT=49.541 T1=49.49
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110968561--soft-66-100-0.wbo
|
MOPT f=19 TT=1.517 T1=1.39
|
OPTIMUM f=19 TT=4.531 T1=3.9
|
OPTIMUM f=19 TT=32.053 T1=27.09
|
OPTIMUM f=19 TT=1.517 T1=1.39
|
OPTIMUM f=19 TT=96.481 T1=96.37
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110968898--soft-33-100-0.wbo
|
MOPT f=2 TT=1.657 T1=1.3
|
OPTIMUM f=2 TT=2.78 T1=1.3
|
OPTIMUM f=2 TT=12.489 T1=8.4
|
OPTIMUM f=2 TT=1.657 T1=1.49
|
OPTIMUM f=2 TT=10.8 T1=10.69
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110968898--soft-66-100-0.wbo
|
MOPT f=80 TT=1.273 T1=0.19
|
OPTIMUM f=80 TT=3.165 T1=0.19
|
OPTIMUM f=80 TT=33.411 T1=33.29
|
OPTIMUM f=80 TT=1.273 T1=1.1
|
? (TO)
TT=1800.06
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110969170--soft-33-100-0.wbo
|
MOPT f=14 TT=1.971 T1=1.89
|
OPTIMUM f=14 TT=11.327 T1=9.29
|
OPTIMUM f=14 TT=34.364 T1=23.31
|
OPTIMUM f=14 TT=1.971 T1=1.89
|
OPTIMUM f=14 TT=139.937 T1=139.9
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110969170--soft-66-100-0.wbo
|
MOPT f=49 TT=1.132 T1=0.89
|
OPTIMUM f=49 TT=7.316 T1=7.1
|
OPTIMUM f=49 TT=53.798 T1=44.52
|
OPTIMUM f=49 TT=1.132 T1=0.89
|
? (TO)
TT=1800.11
|
Bench name | Best results | clasp 2.0-RC2 (complete) | Sat4j Resolution 2011-06-08 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 (complete) | wbo 1.6 (complete) |
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110969577--soft-33-100-0.wbo
|
MOPT f=12 TT=1.225 T1=0.89
|
OPTIMUM f=12 TT=16.632 T1=16.1
|
OPTIMUM f=12 TT=57.092 T1=50.06
|
OPTIMUM f=12 TT=1.225 T1=0.89
|
OPTIMUM f=12 TT=77.423 T1=77.39
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110969577--soft-66-100-0.wbo
|
MOPT f=58 TT=1.304 T1=1.09
|
OPTIMUM f=58 TT=11.47 T1=11.19
|
OPTIMUM f=58 TT=92.118 T1=71.98
|
OPTIMUM f=58 TT=1.304 T1=1.09
|
? (TO)
TT=1800.07
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110969860--soft-33-100-0.wbo
|
MOPT f=8 TT=1.912 T1=1.29
|
OPTIMUM f=8 TT=7.276 T1=5.69
|
OPTIMUM f=8 TT=53.87 T1=34.65
|
OPTIMUM f=8 TT=1.912 T1=1.29
|
OPTIMUM f=8 TT=94.681 T1=94.6
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110969860--soft-66-100-0.wbo
|
MOPT f=22 TT=2.761 T1=2.69
|
OPTIMUM f=22 TT=16.247 T1=15.4
|
OPTIMUM f=22 TT=48.345 T1=32.73
|
OPTIMUM f=22 TT=2.761 T1=2.69
|
OPTIMUM f=22 TT=158.973 T1=158.9
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110970444--soft-33-100-0.wbo
|
MOPT f=10 TT=1.22 T1=1.09
|
OPTIMUM f=10 TT=4.596 T1=4.4
|
OPTIMUM f=10 TT=38.681 T1=35.41
|
OPTIMUM f=10 TT=1.22 T1=1.09
|
OPTIMUM f=10 TT=30.312 T1=30.29
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110970444--soft-66-100-0.wbo
|
MOPT f=80 TT=0.784 T1=0.29
|
OPTIMUM f=80 TT=2.793 T1=0.29
|
OPTIMUM f=80 TT=35.02 T1=34.95
|
OPTIMUM f=80 TT=0.784 T1=0.69
|
? (TO)
TT=1800.08
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110970631--soft-33-100-0.wbo
|
MOPT f=19 TT=1.935 T1=1.79
|
OPTIMUM f=19 TT=14.89 T1=13.59
|
OPTIMUM f=19 TT=78.019 T1=70.55
|
OPTIMUM f=19 TT=1.935 T1=1.79
|
? (TO)
TT=1800.12
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110970631--soft-66-100-0.wbo
|
MOPT f=73 TT=1.417 T1=1.39
|
OPTIMUM f=73 TT=12.879 T1=12.4
|
OPTIMUM f=73 TT=88.338 T1=69.04
|
OPTIMUM f=73 TT=1.417 T1=1.39
|
? (TO)
TT=1800.09
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110971363--soft-33-100-0.wbo
|
MOPT f=25 TT=2.52 T1=2.39
|
OPTIMUM f=25 TT=20.852 T1=18.4
|
OPTIMUM f=25 TT=93.86 T1=92.01
|
OPTIMUM f=25 TT=2.52 T1=2.39
|
? (TO)
TT=1800.05
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110971363--soft-66-100-0.wbo
|
MOPT f=59 TT=1.299 T1=0.69
|
OPTIMUM f=59 TT=7.452 T1=4.6
|
OPTIMUM f=59 TT=59.651 T1=41.74
|
OPTIMUM f=59 TT=1.299 T1=0.69
|
? (TO)
TT=1800.07
|
Bench name | Best results | clasp 2.0-RC2 (complete) | Sat4j Resolution 2011-06-08 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 (complete) | wbo 1.6 (complete) |
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110971697--soft-33-100-0.wbo
|
MOPT f=2 TT=1.74 T1=1.49
|
OPTIMUM f=2 TT=4.507 T1=4.3
|
OPTIMUM f=2 TT=12.728 T1=11.23
|
OPTIMUM f=2 TT=1.74 T1=1.49
|
OPTIMUM f=2 TT=9.795 T1=9.69
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110971697--soft-66-100-0.wbo
|
MOPT f=80 TT=1.409 T1=0.1
|
OPTIMUM f=80 TT=3.204 T1=0.1
|
OPTIMUM f=80 TT=63.546 T1=63.24
|
OPTIMUM f=80 TT=1.409 T1=0.79
|
? (TO)
TT=1800.07
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110972154--soft-33-100-0.wbo
|
MOPT f=2 TT=1.249 T1=1.19
|
OPTIMUM f=2 TT=3.648 T1=3.3
|
OPTIMUM f=2 TT=15.832 T1=10
|
OPTIMUM f=2 TT=1.249 T1=1.19
|
OPTIMUM f=2 TT=12.863 T1=12.79
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110972154--soft-66-100-0.wbo
|
MOPT f=66 TT=1.462 T1=0.69
|
OPTIMUM f=66 TT=3.095 T1=0.69
|
OPTIMUM f=66 TT=63.241 T1=44.02
|
OPTIMUM f=66 TT=1.462 T1=1
|
OPTIMUM f=66 TT=1126.63 T1=1126.51
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110972763--soft-33-100-0.wbo
|
MOPT f=6 TT=1.547 T1=1.49
|
OPTIMUM f=6 TT=5.349 T1=5.19
|
OPTIMUM f=6 TT=48.834 T1=48.68
|
OPTIMUM f=6 TT=1.547 T1=1.49
|
OPTIMUM f=6 TT=38.466 T1=38.39
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110972763--soft-66-100-0.wbo
|
MOPT f=39 TT=1.348 T1=0.99
|
OPTIMUM f=39 TT=9.252 T1=7.29
|
OPTIMUM f=39 TT=74.558 T1=62.96
|
OPTIMUM f=39 TT=1.348 T1=0.99
|
? (TO)
TT=1800.06
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110973163--soft-33-100-0.wbo
|
MOPT f=15 TT=1.364 T1=1.29
|
OPTIMUM f=15 TT=15.009 T1=13.7
|
OPTIMUM f=15 TT=47.695 T1=31.17
|
OPTIMUM f=15 TT=1.364 T1=1.29
|
OPTIMUM f=15 TT=156.677 T1=156.59
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110973163--soft-66-100-0.wbo
|
MOPT f=69 TT=0.444 T1=0.29
|
OPTIMUM f=69 TT=8.827 T1=7.19
|
OPTIMUM f=69 TT=46.795 T1=19.05
|
OPTIMUM f=69 TT=0.444 T1=0.29
|
? (TO)
TT=1800.07
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110973364--soft-33-100-0.wbo
|
MOPT f=2 TT=1.696 T1=1.59
|
OPTIMUM f=2 TT=5.988 T1=5.8
|
OPTIMUM f=2 TT=14.648 T1=12.37
|
OPTIMUM f=2 TT=1.696 T1=1.59
|
OPTIMUM f=2 TT=7.786 T1=7.7
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110973364--soft-66-100-0.wbo
|
MOPT f=80 TT=1.174 T1=0.88
|
OPTIMUM f=80 TT=3.519 T1=1.6
|
OPTIMUM f=80 TT=46.902 T1=46.86
|
OPTIMUM f=80 TT=1.174 T1=0.88
|
? (TO)
TT=1800.08
|
Bench name | Best results | clasp 2.0-RC2 (complete) | Sat4j Resolution 2011-06-08 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 (complete) | wbo 1.6 (complete) |
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110973670--soft-33-100-0.wbo
|
MOPT f=8 TT=2.528 T1=2.39
|
OPTIMUM f=8 TT=6.803 T1=6.6
|
OPTIMUM f=8 TT=38.631 T1=38.32
|
OPTIMUM f=8 TT=2.528 T1=2.39
|
OPTIMUM f=8 TT=51.691 T1=51.59
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110973670--soft-66-100-0.wbo
|
MOPT f=22 TT=1.446 T1=1.29
|
OPTIMUM f=22 TT=3.547 T1=2.5
|
OPTIMUM f=22 TT=37.168 T1=31.12
|
OPTIMUM f=22 TT=1.446 T1=1.29
|
OPTIMUM f=22 TT=119.746 T1=119.69
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110974180--soft-33-100-0.wbo
|
MOPT f=2 TT=1.574 T1=0.6
|
OPTIMUM f=2 TT=1.627 T1=0.6
|
OPTIMUM f=2 TT=16.033 T1=8.21
|
OPTIMUM f=2 TT=1.574 T1=1.39
|
OPTIMUM f=2 TT=11.109 T1=11.08
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110974180--soft-66-100-0.wbo
|
MOPT f=23 TT=0.953 T1=0.68
|
OPTIMUM f=23 TT=2.215 T1=1
|
OPTIMUM f=23 TT=48.856 T1=40.8
|
OPTIMUM f=23 TT=0.953 T1=0.68
|
OPTIMUM f=23 TT=97.979 T1=97.89
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110974372--soft-33-100-0.wbo
|
MOPT f=29 TT=0.665 T1=0.59
|
OPTIMUM f=29 TT=17.938 T1=17.9
|
OPTIMUM f=29 TT=182.918 T1=182.78
|
OPTIMUM f=29 TT=0.665 T1=0.59
|
OPTIMUM f=29 TT=103.183 T1=103.09
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110974372--soft-66-100-0.wbo
|
MOPT f=207 TT=0.346 T1=0.29
|
OPTIMUM f=207 TT=5.329 T1=2.4
|
OPTIMUM f=207 TT=33.679 T1=17.45
|
OPTIMUM f=207 TT=0.346 T1=0.29
|
? (TO)
TT=1800.05
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110975607--soft-33-100-0.wbo
|
MOPT f=24 TT=1.625 T1=1.49
|
OPTIMUM f=24 TT=7.628 T1=6.2
|
OPTIMUM f=24 TT=40.464 T1=27.57
|
OPTIMUM f=24 TT=1.625 T1=1.49
|
OPTIMUM f=24 TT=123.935 T1=123.89
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110975607--soft-66-100-0.wbo
|
MOPT f=18 TT=0.863 T1=0.69
|
OPTIMUM f=18 TT=2.997 T1=2.5
|
OPTIMUM f=18 TT=23.085 T1=18.68
|
OPTIMUM f=18 TT=0.863 T1=0.69
|
OPTIMUM f=18 TT=17.692 T1=17.6
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110975965--soft-33-100-0.wbo
|
MOPT f=2 TT=2.2 T1=1.69
|
OPTIMUM f=2 TT=2.961 T1=2.89
|
OPTIMUM f=2 TT=33.016 T1=25.49
|
OPTIMUM f=2 TT=2.2 T1=1.69
|
OPTIMUM f=2 TT=16.876 T1=16.79
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110975965--soft-66-100-0.wbo
|
MOPT f=23 TT=2.724 T1=2.39
|
OPTIMUM f=23 TT=17.438 T1=15.5
|
OPTIMUM f=23 TT=67.267 T1=45.51
|
OPTIMUM f=23 TT=2.724 T1=2.39
|
? (TO)
TT=1800.08
|
Bench name | Best results | clasp 2.0-RC2 (complete) | Sat4j Resolution 2011-06-08 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 (complete) | wbo 1.6 (complete) |
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110976157--soft-33-100-0.wbo
|
MOPT f=8 TT=1.007 T1=0.89
|
OPTIMUM f=8 TT=3.647 T1=3.2
|
OPTIMUM f=8 TT=26.507 T1=26.41
|
OPTIMUM f=8 TT=1.007 T1=0.89
|
OPTIMUM f=8 TT=18.206 T1=18.19
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110976157--soft-66-100-0.wbo
|
MOPT f=80 TT=0.85 T1=0.6
|
OPTIMUM f=80 TT=2.49 T1=0.6
|
OPTIMUM f=80 TT=49.04 T1=48.88
|
OPTIMUM f=80 TT=0.85 T1=0.79
|
? (TO)
TT=1800.07
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110976730--soft-33-100-0.wbo
|
MOPT f=4 TT=1.972 T1=1.89
|
OPTIMUM f=4 TT=13.444 T1=12.9
|
OPTIMUM f=4 TT=38.677 T1=31.65
|
OPTIMUM f=4 TT=1.972 T1=1.89
|
OPTIMUM f=4 TT=31.667 T1=31.59
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110976730--soft-66-100-0.wbo
|
MOPT f=78 TT=0.863 T1=0.59
|
OPTIMUM f=78 TT=4.172 T1=1.89
|
OPTIMUM f=78 TT=75.827 T1=53.25
|
OPTIMUM f=78 TT=0.863 T1=0.59
|
? (TO)
TT=1800.07
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110976935--soft-33-100-0.wbo
|
MOPT f=2 TT=0.981 T1=0.89
|
OPTIMUM f=2 TT=4.063 T1=3.39
|
OPTIMUM f=2 TT=23.982 T1=13.51
|
OPTIMUM f=2 TT=0.981 T1=0.89
|
OPTIMUM f=2 TT=14.406 T1=14.39
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110976935--soft-66-100-0.wbo
|
MOPT f=68 TT=1.364 T1=1.29
|
OPTIMUM f=68 TT=7.819 T1=7.39
|
OPTIMUM f=68 TT=60.612 T1=41.21
|
OPTIMUM f=68 TT=1.364 T1=1.29
|
? (TO)
TT=1800.07
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110977273--soft-33-100-0.wbo
|
MOPT f=8 TT=1.907 T1=1.79
|
OPTIMUM f=8 TT=10.079 T1=9.1
|
OPTIMUM f=8 TT=42.627 T1=33.58
|
OPTIMUM f=8 TT=1.907 T1=1.79
|
OPTIMUM f=8 TT=51.566 T1=51.49
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110977273--soft-66-100-0.wbo
|
MOPT f=22 TT=0.658 T1=0.48
|
OPTIMUM f=22 TT=7.741 T1=7.09
|
OPTIMUM f=22 TT=41.209 T1=36.32
|
OPTIMUM f=22 TT=0.658 T1=0.48
|
OPTIMUM f=22 TT=80.29 T1=80.2
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110977780--soft-33-100-0.wbo
|
MOPT f=27 TT=1.086 T1=0.79
|
OPTIMUM f=27 TT=22.474 T1=20.09
|
OPTIMUM f=27 TT=53.103 T1=44.49
|
OPTIMUM f=27 TT=1.086 T1=0.79
|
? (TO)
TT=1800.08
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110977780--soft-66-100-0.wbo
|
MOPT f=80 TT=1.147 T1=0.19
|
OPTIMUM f=80 TT=1.715 T1=0.19
|
OPTIMUM f=80 TT=44.226 T1=44.19
|
OPTIMUM f=80 TT=1.147 T1=1.09
|
? (TO)
TT=1800.08
|
Bench name | Best results | clasp 2.0-RC2 (complete) | Sat4j Resolution 2011-06-08 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 (complete) | wbo 1.6 (complete) |
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110978113--soft-33-100-0.wbo
|
MOPT f=2 TT=1.772 T1=1.59
|
OPTIMUM f=2 TT=3.714 T1=3.69
|
OPTIMUM f=2 TT=24.379 T1=19.98
|
OPTIMUM f=2 TT=1.772 T1=1.59
|
OPTIMUM f=2 TT=13.018 T1=12.99
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110978113--soft-66-100-0.wbo
|
MOPT f=17 TT=1.543 T1=0.99
|
OPTIMUM f=17 TT=2.437 T1=1.4
|
OPTIMUM f=17 TT=21.011 T1=3.98
|
OPTIMUM f=17 TT=1.543 T1=0.99
|
OPTIMUM f=17 TT=39.076 T1=38.99
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110978334--soft-33-100-0.wbo
|
MOPT f=29 TT=0.868 T1=0.69
|
OPTIMUM f=29 TT=13.593 T1=11.9
|
OPTIMUM f=29 TT=80.736 T1=72.33
|
OPTIMUM f=29 TT=0.868 T1=0.69
|
? (TO)
TT=1800.09
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110978334--soft-66-100-0.wbo
|
MOPT f=63 TT=1.253 T1=1.09
|
OPTIMUM f=63 TT=9.644 T1=7.79
|
OPTIMUM f=63 TT=45.616 T1=21.47
|
OPTIMUM f=63 TT=1.253 T1=1.09
|
? (TO)
TT=1800.06
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111212272--soft-33-100-0.wbo
|
MOPT f=2 TT=1.115 T1=1
|
OPTIMUM f=2 TT=2.877 T1=2.8
|
OPTIMUM f=2 TT=37.695 T1=31.85
|
OPTIMUM f=2 TT=1.115 T1=1
|
OPTIMUM f=2 TT=9.134 T1=9.09
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111212272--soft-66-100-0.wbo
|
MOPT f=36 TT=0.942 T1=0.89
|
OPTIMUM f=36 TT=3.281 T1=2.59
|
OPTIMUM f=36 TT=20.178 T1=10.31
|
OPTIMUM f=36 TT=0.942 T1=0.89
|
OPTIMUM f=36 TT=206.676 T1=206.59
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111212476--soft-33-100-0.wbo
|
MOPT f=1 TT=1.504 T1=1.29
|
OPTIMUM f=1 TT=5.92 T1=5.9
|
OPTIMUM f=1 TT=17.129 T1=8.4
|
OPTIMUM f=1 TT=1.504 T1=1.29
|
OPTIMUM f=1 TT=8.938 T1=8.89
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111212476--soft-66-100-0.wbo
|
MOPT f=17 TT=1.113 T1=1
|
OPTIMUM f=17 TT=3.012 T1=2.2
|
OPTIMUM f=17 TT=33.664 T1=26.46
|
OPTIMUM f=17 TT=1.113 T1=1
|
OPTIMUM f=17 TT=52.525 T1=52.49
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111212923--soft-33-100-0.wbo
|
MOPT f=8 TT=2.015 T1=1.89
|
OPTIMUM f=8 TT=13.339 T1=13.3
|
OPTIMUM f=8 TT=25.6 T1=17.92
|
OPTIMUM f=8 TT=2.015 T1=1.89
|
OPTIMUM f=8 TT=51.338 T1=51.29
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111212923--soft-66-100-0.wbo
|
MOPT f=22 TT=1.362 T1=0.89
|
OPTIMUM f=22 TT=2.765 T1=2
|
OPTIMUM f=22 TT=21.549 T1=14.92
|
OPTIMUM f=22 TT=1.362 T1=0.89
|
OPTIMUM f=22 TT=68.236 T1=68.2
|
Bench name | Best results | clasp 2.0-RC2 (complete) | Sat4j Resolution 2011-06-08 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 (complete) | wbo 1.6 (complete) |
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111213670--soft-33-100-0.wbo
|
MOPT f=29 TT=0.894 T1=0.78
|
OPTIMUM f=29 TT=15.993 T1=15.89
|
OPTIMUM f=29 TT=203.955 T1=203.9
|
OPTIMUM f=29 TT=0.894 T1=0.78
|
OPTIMUM f=29 TT=91.469 T1=91.39
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111213670--soft-66-100-0.wbo
|
MOPT f=80 TT=0.982 T1=0.3
|
OPTIMUM f=80 TT=1.709 T1=0.3
|
OPTIMUM f=80 TT=23.163 T1=23.05
|
OPTIMUM f=80 TT=0.982 T1=0.89
|
? (TO)
TT=1800.07
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111213868--soft-33-100-0.wbo
|
MOPT f=2 TT=2.201 T1=2.1
|
OPTIMUM f=2 TT=3.934 T1=3.9
|
OPTIMUM f=2 TT=35.251 T1=31.53
|
OPTIMUM f=2 TT=2.201 T1=2.1
|
OPTIMUM f=2 TT=9.479 T1=9.39
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111213868--soft-66-100-0.wbo
|
MOPT f=14 TT=1.563 T1=1.29
|
OPTIMUM f=14 TT=13.101 T1=13
|
OPTIMUM f=14 TT=35.688 T1=30.62
|
OPTIMUM f=14 TT=1.563 T1=1.29
|
OPTIMUM f=14 TT=31.938 T1=31.9
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111216411--soft-33-100-0.wbo
|
MOPT f=2 TT=1.443 T1=1.39
|
OPTIMUM f=2 TT=3.079 T1=2.2
|
OPTIMUM f=2 TT=24.223 T1=17.64
|
OPTIMUM f=2 TT=1.443 T1=1.39
|
OPTIMUM f=2 TT=17.881 T1=17.79
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111216411--soft-66-100-0.wbo
|
MOPT f=6 TT=0.34 T1=0.29
|
OPTIMUM f=6 TT=2.052 T1=1.5
|
OPTIMUM f=6 TT=16.472 T1=11.91
|
OPTIMUM f=6 TT=0.34 T1=0.29
|
OPTIMUM f=6 TT=9.53 T1=9.49
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111216823--soft-33-100-0.wbo
|
MOPT f=4 TT=4.746 T1=2.05
|
OPTIMUM f=4 TT=5.321 T1=5.29
|
OPTIMUM f=4 TT=24.195 T1=15.06
|
OPTIMUM f=4 TT=4.746 T1=2.05
|
OPTIMUM f=4 TT=20.09 T1=19.99
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111216823--soft-66-100-0.wbo
|
MOPT f=18 TT=1.976 T1=1.79
|
OPTIMUM f=18 TT=5.456 T1=5.4
|
OPTIMUM f=18 TT=12.108 T1=10.14
|
OPTIMUM f=18 TT=1.976 T1=1.79
|
OPTIMUM f=18 TT=13.447 T1=13.39
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111217392--soft-33-100-0.wbo
|
MOPT f=2 TT=1.327 T1=1.19
|
OPTIMUM f=2 TT=1.327 T1=1.19
|
OPTIMUM f=2 TT=14.274 T1=6.77
|
OPTIMUM f=2 TT=1.546 T1=1.39
|
OPTIMUM f=2 TT=10.862 T1=10.79
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111217392--soft-66-100-0.wbo
|
MOPT f=14 TT=2.25 T1=2.19
|
OPTIMUM f=14 TT=6.513 T1=6.1
|
OPTIMUM f=14 TT=30.197 T1=25.7
|
OPTIMUM f=14 TT=2.25 T1=2.19
|
OPTIMUM f=14 TT=45.416 T1=45.4
|
Bench name | Best results | clasp 2.0-RC2 (complete) | Sat4j Resolution 2011-06-08 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 (complete) | wbo 1.6 (complete) |
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111217555--soft-33-100-0.wbo
|
MOPT f=8 TT=2.009 T1=1.79
|
OPTIMUM f=8 TT=6.433 T1=6.4
|
OPTIMUM f=8 TT=33.789 T1=28.41
|
OPTIMUM f=8 TT=2.009 T1=1.79
|
OPTIMUM f=8 TT=66.1 T1=66.09
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111217555--soft-66-100-0.wbo
|
MOPT f=22 TT=1.927 T1=1.59
|
OPTIMUM f=22 TT=19.759 T1=19
|
OPTIMUM f=22 TT=50.557 T1=44.29
|
OPTIMUM f=22 TT=1.927 T1=1.59
|
OPTIMUM f=22 TT=114.212 T1=114.19
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111218024--soft-33-100-0.wbo
|
MOPT f=12 TT=1.109 T1=0.99
|
OPTIMUM f=12 TT=15.5 T1=13.5
|
OPTIMUM f=12 TT=47.109 T1=38.14
|
OPTIMUM f=12 TT=1.109 T1=0.99
|
OPTIMUM f=12 TT=105.291 T1=105.2
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111218024--soft-66-100-0.wbo
|
MOPT f=80 TT=0.703 T1=0.59
|
OPTIMUM f=80 TT=3.261 T1=1.5
|
OPTIMUM f=80 TT=48.426 T1=48.35
|
OPTIMUM f=80 TT=0.703 T1=0.59
|
OPTIMUM f=80 TT=556.167 T1=556.16
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111218308--soft-33-100-0.wbo
|
MOPT f=2 TT=1.962 T1=1.79
|
OPTIMUM f=2 TT=2.846 T1=2.79
|
OPTIMUM f=2 TT=38.696 T1=32.17
|
OPTIMUM f=2 TT=1.962 T1=1.79
|
OPTIMUM f=2 TT=18.133 T1=18.09
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111218308--soft-66-100-0.wbo
|
MOPT f=9 TT=1.718 T1=1.49
|
OPTIMUM f=9 TT=8.239 T1=7.99
|
OPTIMUM f=9 TT=39.457 T1=27.98
|
OPTIMUM f=9 TT=1.718 T1=1.49
|
OPTIMUM f=9 TT=49.185 T1=49.09
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111218757--soft-33-100-0.wbo
|
MOPT f=24 TT=1.049 T1=0.99
|
OPTIMUM f=24 TT=14.569 T1=13.2
|
OPTIMUM f=24 TT=39.909 T1=20.85
|
OPTIMUM f=24 TT=1.049 T1=0.99
|
OPTIMUM f=24 TT=205.297 T1=205.19
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111218757--soft-66-100-0.wbo
|
MOPT f=80 TT=1.086 T1=0.2
|
OPTIMUM f=80 TT=2.513 T1=0.2
|
OPTIMUM f=80 TT=45.767 T1=45.61
|
OPTIMUM f=80 TT=1.086 T1=0.99
|
? (TO)
TT=1800.08
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111218955--soft-33-100-0.wbo
|
MOPT f=2 TT=0.544 T1=0.49
|
OPTIMUM f=2 TT=2.017 T1=1.99
|
OPTIMUM f=2 TT=23.862 T1=21.23
|
OPTIMUM f=2 TT=0.544 T1=0.49
|
OPTIMUM f=2 TT=5.873 T1=5.78
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111218955--soft-66-100-0.wbo
|
MOPT f=19 TT=0.556 T1=0.49
|
OPTIMUM f=19 TT=3.691 T1=2.8
|
OPTIMUM f=19 TT=13.611 T1=9.71
|
OPTIMUM f=19 TT=0.556 T1=0.49
|
OPTIMUM f=19 TT=18.524 T1=18.49
|
Bench name | Best results | clasp 2.0-RC2 (complete) | Sat4j Resolution 2011-06-08 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 (complete) | wbo 1.6 (complete) |
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111219348--soft-33-100-0.wbo
|
MOPT f=9 TT=1.6 T1=1.49
|
OPTIMUM f=9 TT=5.681 T1=5.6
|
OPTIMUM f=9 TT=41.723 T1=35.02
|
OPTIMUM f=9 TT=1.6 T1=1.49
|
OPTIMUM f=9 TT=43.833 T1=43.79
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111219348--soft-66-100-0.wbo
|
MOPT f=80 TT=1.733 T1=0.19
|
OPTIMUM f=80 TT=2.438 T1=0.19
|
OPTIMUM f=80 TT=29.74 T1=29.37
|
OPTIMUM f=80 TT=1.733 T1=0.69
|
? (TO)
TT=1800.07
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111219799--soft-33-100-0.wbo
|
MOPT f=4 TT=1.426 T1=1.29
|
OPTIMUM f=4 TT=4.64 T1=4.6
|
OPTIMUM f=4 TT=40.98 T1=36.02
|
OPTIMUM f=4 TT=1.426 T1=1.29
|
OPTIMUM f=4 TT=20.329 T1=20.28
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111219799--soft-66-100-0.wbo
|
MOPT f=1 TT=0.855 T1=0.69
|
OPTIMUM f=1 TT=2.057 T1=1.69
|
OPTIMUM f=1 TT=28.422 T1=26.32
|
OPTIMUM f=1 TT=0.855 T1=0.69
|
OPTIMUM f=1 TT=5.016 T1=4.99
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111220019--soft-33-100-0.wbo
|
MOPT f=2 TT=1.355 T1=1.19
|
OPTIMUM f=2 TT=2.166 T1=1.99
|
OPTIMUM f=2 TT=15.07 T1=9.41
|
OPTIMUM f=2 TT=1.355 T1=1.19
|
OPTIMUM f=2 TT=10.182 T1=10.09
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111220019--soft-66-100-0.wbo
|
MOPT f=60 TT=1.052 T1=0.89
|
OPTIMUM f=60 TT=2.562 T1=2
|
OPTIMUM f=60 TT=21.827 T1=6.67
|
OPTIMUM f=60 TT=1.052 T1=0.89
|
? (TO)
TT=1800.08
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111220546--soft-33-100-0.wbo
|
MOPT f=2 TT=1.847 T1=1.69
|
OPTIMUM f=2 TT=3.152 T1=2.69
|
OPTIMUM f=2 TT=19.241 T1=15.31
|
OPTIMUM f=2 TT=1.847 T1=1.69
|
OPTIMUM f=2 TT=10.653 T1=10.59
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111220546--soft-66-100-0.wbo
|
MOPT f=69 TT=1.553 T1=0.59
|
OPTIMUM f=69 TT=2.289 T1=0.59
|
OPTIMUM f=69 TT=32.463 T1=21.55
|
OPTIMUM f=69 TT=1.553 T1=1.29
|
? (TO)
TT=1800.08
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111220767--soft-33-100-0.wbo
|
MOPT f=28 TT=1.397 T1=1.18
|
OPTIMUM f=28 TT=21.446 T1=17
|
OPTIMUM f=28 TT=49.691 T1=40.06
|
OPTIMUM f=28 TT=1.397 T1=1.18
|
? (TO)
TT=1800.07
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111220767--soft-66-100-0.wbo
|
MOPT f=80 TT=1.591 T1=0
|
OPTIMUM f=80 TT=3.436 T1=0
|
OPTIMUM f=80 TT=94.473 T1=89.38
|
OPTIMUM f=80 TT=1.591 T1=1.49
|
? (TO)
TT=1800.07
|
Bench name | Best results | clasp 2.0-RC2 (complete) | Sat4j Resolution 2011-06-08 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 (complete) | wbo 1.6 (complete) |
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111221203--soft-33-100-0.wbo
|
MOPT f=2 TT=1.966 T1=1.9
|
OPTIMUM f=2 TT=1.966 T1=1.9
|
OPTIMUM f=2 TT=25.487 T1=25.12
|
OPTIMUM f=2 TT=2.099 T1=1.99
|
OPTIMUM f=2 TT=8.817 T1=8.79
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111221203--soft-66-100-0.wbo
|
MOPT f=23 TT=2.257 T1=1.8
|
OPTIMUM f=23 TT=2.575 T1=1.8
|
OPTIMUM f=23 TT=23.251 T1=6.86
|
OPTIMUM f=23 TT=2.257 T1=1.99
|
OPTIMUM f=23 TT=273.66 T1=273.59
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111221624--soft-33-100-0.wbo
|
MOPT f=5 TT=1.734 T1=0.8
|
OPTIMUM f=5 TT=1.837 T1=0.8
|
OPTIMUM f=5 TT=17.998 T1=10.11
|
OPTIMUM f=5 TT=1.734 T1=1.19
|
OPTIMUM f=5 TT=25.083 T1=24.99
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111221624--soft-66-100-0.wbo
|
MOPT f=22 TT=1.418 T1=1.39
|
OPTIMUM f=22 TT=4.153 T1=3.1
|
OPTIMUM f=22 TT=17.13 T1=7.49
|
OPTIMUM f=22 TT=1.418 T1=1.39
|
OPTIMUM f=22 TT=92.629 T1=92.59
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111222257--soft-33-100-0.wbo
|
MOPT f=8 TT=1.638 T1=1.49
|
OPTIMUM f=8 TT=15.943 T1=14.69
|
OPTIMUM f=8 TT=45.37 T1=44.03
|
OPTIMUM f=8 TT=1.638 T1=1.49
|
OPTIMUM f=8 TT=50.291 T1=50.19
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111222257--soft-66-100-0.wbo
|
MOPT f=78 TT=1.841 T1=1.39
|
OPTIMUM f=78 TT=3.944 T1=3.1
|
OPTIMUM f=78 TT=31.161 T1=22.18
|
OPTIMUM f=78 TT=1.841 T1=1.39
|
? (TO)
TT=1800.07
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111222539--soft-33-100-0.wbo
|
MOPT f=9 TT=1.296 T1=0.79
|
OPTIMUM f=9 TT=12.63 T1=10.9
|
OPTIMUM f=9 TT=24.631 T1=6.88
|
OPTIMUM f=9 TT=1.296 T1=0.79
|
OPTIMUM f=9 TT=71.606 T1=71.59
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111222539--soft-66-100-0.wbo
|
MOPT f=80 TT=0.842 T1=0.6
|
OPTIMUM f=80 TT=2.326 T1=0.6
|
OPTIMUM f=80 TT=41.519 T1=41.39
|
OPTIMUM f=80 TT=0.842 T1=0.79
|
OPTIMUM f=80 TT=1303.68 T1=1303.63
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111223004--soft-33-100-0.wbo
|
MOPT f=2 TT=2.407 T1=1.99
|
OPTIMUM f=2 TT=2.941 T1=2.89
|
OPTIMUM f=2 TT=23.688 T1=14.32
|
OPTIMUM f=2 TT=2.407 T1=1.99
|
OPTIMUM f=2 TT=14.657 T1=14.59
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111223004--soft-66-100-0.wbo
|
MOPT f=19 TT=1.861 T1=1.59
|
OPTIMUM f=19 TT=17.311 T1=17.29
|
OPTIMUM f=19 TT=27.023 T1=19.48
|
OPTIMUM f=19 TT=1.861 T1=1.59
|
OPTIMUM f=19 TT=84.489 T1=84.39
|
Bench name | Best results | clasp 2.0-RC2 (complete) | Sat4j Resolution 2011-06-08 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 (complete) | wbo 1.6 (complete) |
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111223220--soft-33-100-0.wbo
|
MOPT f=12 TT=2.384 T1=2.29
|
OPTIMUM f=12 TT=10.438 T1=9.9
|
OPTIMUM f=12 TT=59.872 T1=51.76
|
OPTIMUM f=12 TT=2.384 T1=2.29
|
OPTIMUM f=12 TT=97.906 T1=97.79
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111223220--soft-66-100-0.wbo
|
MOPT f=39 TT=2.043 T1=1.99
|
OPTIMUM f=39 TT=11.437 T1=9.8
|
OPTIMUM f=39 TT=50.111 T1=40.18
|
OPTIMUM f=39 TT=2.043 T1=1.99
|
? (TO)
TT=1800.07
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111224059--soft-33-100-0.wbo
|
MOPT f=15 TT=0.594 T1=0.49
|
OPTIMUM f=15 TT=5.711 T1=5.5
|
OPTIMUM f=15 TT=37.159 T1=31.45
|
OPTIMUM f=15 TT=0.594 T1=0.49
|
? (TO)
TT=1800.07
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111224059--soft-66-100-0.wbo
|
MOPT f=80 TT=0.62 T1=0.09
|
OPTIMUM f=80 TT=1.379 T1=0.09
|
OPTIMUM f=80 TT=26.162 T1=26.11
|
OPTIMUM f=80 TT=0.62 T1=0.59
|
OPTIMUM f=80 TT=193.889 T1=193.79
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111224255--soft-33-100-0.wbo
|
MOPT f=8 TT=2.003 T1=1.79
|
OPTIMUM f=8 TT=6.806 T1=6.79
|
OPTIMUM f=8 TT=34.98 T1=33.59
|
OPTIMUM f=8 TT=2.003 T1=1.79
|
OPTIMUM f=8 TT=51.039 T1=50.99
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111224255--soft-66-100-0.wbo
|
MOPT f=22 TT=1.65 T1=1.49
|
OPTIMUM f=22 TT=5.734 T1=5.7
|
OPTIMUM f=22 TT=37.962 T1=37.53
|
OPTIMUM f=22 TT=1.65 T1=1.49
|
OPTIMUM f=22 TT=95.204 T1=95.19
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111224451--soft-33-100-0.wbo
|
MOPT f=2 TT=1.397 T1=1.29
|
OPTIMUM f=2 TT=1.821 T1=1.79
|
OPTIMUM f=2 TT=15.12 T1=12.16
|
OPTIMUM f=2 TT=1.397 T1=1.29
|
OPTIMUM f=2 TT=9.373 T1=9.29
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111224451--soft-66-100-0.wbo
|
MOPT f=64 TT=1.089 T1=0.99
|
OPTIMUM f=64 TT=3.101 T1=1.3
|
OPTIMUM f=64 TT=46.679 T1=45.34
|
OPTIMUM f=64 TT=1.089 T1=0.99
|
? (TO)
TT=1800.04
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111224929--soft-33-100-0.wbo
|
MOPT f=8 TT=1.207 T1=0.79
|
OPTIMUM f=8 TT=10.187 T1=9.09
|
OPTIMUM f=8 TT=18.041 T1=10.48
|
OPTIMUM f=8 TT=1.207 T1=0.79
|
OPTIMUM f=8 TT=35.581 T1=35.49
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111224929--soft-66-100-0.wbo
|
MOPT f=71 TT=1.238 T1=1.1
|
OPTIMUM f=71 TT=20.56 T1=17.6
|
OPTIMUM f=71 TT=55.166 T1=22.99
|
OPTIMUM f=71 TT=1.238 T1=1.1
|
? (TO)
TT=1800.08
|
Bench name | Best results | clasp 2.0-RC2 (complete) | Sat4j Resolution 2011-06-08 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 (complete) | wbo 1.6 (complete) |
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111225122--soft-33-100-0.wbo
|
MOPT f=2 TT=1.779 T1=1.69
|
OPTIMUM f=2 TT=2.009 T1=2
|
OPTIMUM f=2 TT=28.553 T1=28.5
|
OPTIMUM f=2 TT=1.779 T1=1.69
|
OPTIMUM f=2 TT=9.865 T1=9.8
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111225122--soft-66-100-0.wbo
|
MOPT f=35 TT=1.203 T1=0.99
|
OPTIMUM f=35 TT=4.554 T1=3.89
|
OPTIMUM f=35 TT=35.702 T1=30.89
|
OPTIMUM f=35 TT=1.203 T1=0.99
|
OPTIMUM f=35 TT=169.612 T1=169.59
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111225605--soft-33-100-0.wbo
|
MOPT f=1 TT=1.439 T1=1.29
|
OPTIMUM f=1 TT=2.743 T1=2.7
|
OPTIMUM f=1 TT=11.822 T1=10.33
|
OPTIMUM f=1 TT=1.439 T1=1.29
|
OPTIMUM f=1 TT=7.987 T1=7.89
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111225605--soft-66-100-0.wbo
|
MOPT f=17 TT=0.793 T1=0.59
|
OPTIMUM f=17 TT=2.523 T1=2
|
OPTIMUM f=17 TT=23.07 T1=19.18
|
OPTIMUM f=17 TT=0.793 T1=0.59
|
OPTIMUM f=17 TT=32.675 T1=32.59
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111226062--soft-33-100-0.wbo
|
MOPT f=10 TT=2.273 T1=2.09
|
OPTIMUM f=10 TT=9.497 T1=8.2
|
OPTIMUM f=10 TT=32.523 T1=23.91
|
OPTIMUM f=10 TT=2.273 T1=2.09
|
OPTIMUM f=10 TT=61.997 T1=61.89
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111226062--soft-66-100-0.wbo
|
MOPT f=40 TT=0.955 T1=0.79
|
OPTIMUM f=40 TT=2.379 T1=1.3
|
OPTIMUM f=40 TT=14.899 T1=6.89
|
OPTIMUM f=40 TT=0.955 T1=0.79
|
OPTIMUM f=40 TT=81.966 T1=81.89
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111226368--soft-33-100-0.wbo
|
MOPT f=15 TT=1.538 T1=1.48
|
OPTIMUM f=15 TT=8.905 T1=8.3
|
OPTIMUM f=15 TT=44.609 T1=39.89
|
OPTIMUM f=15 TT=1.538 T1=1.48
|
OPTIMUM f=15 TT=60.816 T1=60.79
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111226368--soft-66-100-0.wbo
|
MOPT f=19 TT=1.035 T1=1
|
OPTIMUM f=19 TT=7.164 T1=6.69
|
OPTIMUM f=19 TT=39.645 T1=38.32
|
OPTIMUM f=19 TT=1.035 T1=1
|
OPTIMUM f=19 TT=50.709 T1=50.69
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111226680--soft-33-100-0.wbo
|
MOPT f=2 TT=1.57 T1=1.49
|
OPTIMUM f=2 TT=2.89 T1=2.1
|
OPTIMUM f=2 TT=21.963 T1=16.32
|
OPTIMUM f=2 TT=1.57 T1=1.49
|
OPTIMUM f=2 TT=8.653 T1=8.59
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111226680--soft-66-100-0.wbo
|
MOPT f=66 TT=0.983 T1=0.69
|
OPTIMUM f=66 TT=1.96 T1=0.69
|
OPTIMUM f=66 TT=29.792 T1=17.55
|
OPTIMUM f=66 TT=0.983 T1=0.89
|
OPTIMUM f=66 TT=376.558 T1=376.5
|
Bench name | Best results | clasp 2.0-RC2 (complete) | Sat4j Resolution 2011-06-08 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 (complete) | wbo 1.6 (complete) |
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111227012--soft-33-100-0.wbo
|
MOPT f=2 TT=1.789 T1=1.69
|
OPTIMUM f=2 TT=1.789 T1=1.69
|
OPTIMUM f=2 TT=57.545 T1=56.56
|
OPTIMUM f=2 TT=1.99 T1=1.89
|
OPTIMUM f=2 TT=10.621 T1=10.59
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111227012--soft-66-100-0.wbo
|
MOPT f=49 TT=1.9 T1=0.39
|
OPTIMUM f=49 TT=2.085 T1=0.39
|
OPTIMUM f=49 TT=35.708 T1=27.37
|
OPTIMUM f=49 TT=1.9 T1=1.79
|
OPTIMUM f=49 TT=185.162 T1=185.1
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111227326--soft-33-100-0.wbo
|
MOPT f=2 TT=1.171 T1=1.1
|
OPTIMUM f=2 TT=1.54 T1=1.49
|
OPTIMUM f=2 TT=18.816 T1=15.92
|
OPTIMUM f=2 TT=1.171 T1=1.1
|
OPTIMUM f=2 TT=5.389 T1=5.29
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111227326--soft-66-100-0.wbo
|
MOPT f=17 TT=0.612 T1=0.49
|
OPTIMUM f=17 TT=1.232 T1=1
|
OPTIMUM f=17 TT=14.319 T1=13.85
|
OPTIMUM f=17 TT=0.612 T1=0.49
|
OPTIMUM f=17 TT=14.898 T1=14.79
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111227861--soft-33-100-0.wbo
|
MOPT f=11 TT=1.059 T1=0.89
|
OPTIMUM f=11 TT=4.42 T1=3.2
|
OPTIMUM f=11 TT=20.866 T1=17.73
|
OPTIMUM f=11 TT=1.059 T1=0.89
|
OPTIMUM f=11 TT=51.361 T1=51.29
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111227861--soft-66-100-0.wbo
|
MOPT f=80 TT=1.318 T1=0.1
|
OPTIMUM f=80 TT=2.301 T1=0.1
|
OPTIMUM f=80 TT=38.779 T1=35.81
|
OPTIMUM f=80 TT=1.318 T1=1.19
|
? (TO)
TT=1800.06
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111228076--soft-33-100-0.wbo
|
MOPT f=10 TT=1.995 T1=1.78
|
OPTIMUM f=10 TT=9.745 T1=8.19
|
OPTIMUM f=10 TT=74.364 T1=64.78
|
OPTIMUM f=10 TT=1.995 T1=1.78
|
OPTIMUM f=10 TT=87.748 T1=87.69
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111228076--soft-66-100-0.wbo
|
MOPT f=10 TT=1.541 T1=1.38
|
OPTIMUM f=10 TT=4.822 T1=4.2
|
OPTIMUM f=10 TT=22.219 T1=14.87
|
OPTIMUM f=10 TT=1.541 T1=1.38
|
OPTIMUM f=10 TT=45.679 T1=45.59
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-101-100--soft-33-100-0.wbo
|
MOPT f=1 TT=0.753 T1=0.69
|
MSAT (TO) f=3015 TT=1800.07 T1=1578.03
|
MSAT (TO) f=1 TT=1800.18 T1=9.08
|
OPTIMUM f=1 TT=0.753 T1=0.69
|
? (TO)
TT=1800.08
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-101-100--soft-66-100-0.wbo
|
MOPT f=1 TT=0.68 T1=0.59
|
MSAT (TO) f=1612 TT=1800.07 T1=1583.74
|
MSAT (TO) f=1 TT=1800.22 T1=7.36
|
OPTIMUM f=1 TT=0.68 T1=0.59
|
? (TO)
TT=1800.08
|
Bench name | Best results | clasp 2.0-RC2 (complete) | Sat4j Resolution 2011-06-08 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 (complete) | wbo 1.6 (complete) |
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-105-100--soft-33-100-0.wbo
|
MOPT f=3 TT=1.212 T1=1.1
|
MSAT (TO) f=3539 TT=1800.06 T1=1785.54
|
MSAT (TO) f=3 TT=1800.13 T1=13.26
|
OPTIMUM f=3 TT=1.212 T1=1.1
|
? (TO)
TT=1800.07
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-105-100--soft-66-100-0.wbo
|
MOPT f=4 TT=0.971 T1=0.79
|
MSAT (TO) f=1638 TT=1800.07 T1=1779.44
|
MSAT (TO) f=4 TT=1800.23 T1=5.63
|
OPTIMUM f=4 TT=0.971 T1=0.79
|
? (TO)
TT=1800.07
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-11-10--soft-33-100-0.wbo
|
MOPT f=1 TT=0.033 T1=0
|
OPTIMUM f=1 TT=62.762 T1=1.7
|
OPTIMUM f=1 TT=338.872 T1=0.14
|
OPTIMUM f=1 TT=0.033 T1=0
|
OPTIMUM f=1 TT=84.918 T1=84.88
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-11-10--soft-66-100-0.wbo
|
MOPT f=1 TT=0.032 T1=0
|
OPTIMUM f=1 TT=51.891 T1=0.1
|
OPTIMUM f=1 TT=412.736 T1=6.66
|
OPTIMUM f=1 TT=0.032 T1=0
|
OPTIMUM f=1 TT=141.175 T1=141.09
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-15-10--soft-33-100-0.wbo
|
MOPT f=2 TT=0.035 T1=0
|
OPTIMUM f=2 TT=76.51 T1=76.49
|
OPTIMUM f=2 TT=1069.1 T1=0.29
|
OPTIMUM f=2 TT=0.035 T1=0
|
OPTIMUM f=2 TT=1099.85 T1=1099.79
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-15-10--soft-66-100-0.wbo
|
MOPT f=35 TT=0.034 T1=0
|
OPTIMUM f=35 TT=58.109 T1=0
|
OPTIMUM f=35 TT=641.408 T1=0.26
|
OPTIMUM f=35 TT=0.034 T1=0
|
OPTIMUM f=35 TT=1523.27 T1=1523.22
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-21-20--soft-33-100-0.wbo
|
MOPT f=1 TT=0.063 T1=0.02
|
MSAT (TO) f=272 TT=1800.05 T1=1635.63
|
MSAT (TO) f=1 TT=1800.06 T1=0.53
|
OPTIMUM f=1 TT=0.063 T1=0.02
|
? (TO)
TT=1800.09
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-21-20--soft-66-100-0.wbo
|
MOPT f=1 TT=0.043 T1=0
|
MSAT (TO) f=23 TT=1800.07 T1=0.1
|
MSAT (TO) f=1 TT=1800.12 T1=0.78
|
OPTIMUM f=1 TT=0.043 T1=0
|
? (TO)
TT=1800.08
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-25-20--soft-33-100-0.wbo
|
MOPT f=7 TT=0.281 T1=0
|
MSAT (TO) f=297 TT=1800.05 T1=1584.23
|
MSAT (TO) f=7 TT=1800.14 T1=0.5
|
OPTIMUM f=7 TT=0.281 T1=0
|
? (TO)
TT=1800.09
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-25-20--soft-66-100-0.wbo
|
MOPT f=7 TT=0.051 T1=0
|
MSAT (TO) f=7 TT=1800.03 T1=21.5
|
MSAT (TO) f=7 TT=1800.07 T1=0.47
|
OPTIMUM f=7 TT=0.051 T1=0
|
? (TO)
TT=1800.07
|
Bench name | Best results | clasp 2.0-RC2 (complete) | Sat4j Resolution 2011-06-08 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 (complete) | wbo 1.6 (complete) |
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-31-30--soft-33-100-0.wbo
|
MOPT f=1 TT=0.088 T1=0.06
|
MSAT (TO) f=987 TT=1800.06 T1=1664.04
|
MSAT (TO) f=1 TT=1800.09 T1=0.8
|
OPTIMUM f=1 TT=0.088 T1=0.06
|
? (TO)
TT=1800.06
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-31-30--soft-66-100-0.wbo
|
MOPT f=1 TT=0.065 T1=0.02
|
MSAT (TO) f=1 TT=1800.08 T1=20.49
|
MSAT (TO) f=1 TT=1800.09 T1=1164.52
|
OPTIMUM f=1 TT=0.065 T1=0.02
|
? (TO)
TT=1800.07
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-35-30--soft-33-100-0.wbo
|
MOPT f=9 TT=0.097 T1=0.07
|
MSAT (TO) f=1055 TT=1800.06 T1=1745.14
|
MSAT (TO) f=9 TT=1800.12 T1=1.14
|
OPTIMUM f=9 TT=0.097 T1=0.07
|
? (TO)
TT=1800.1
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-35-30--soft-66-100-0.wbo
|
MOPT f=23 TT=0.067 T1=0
|
MSAT (TO) f=23 TT=1800.05 T1=1653.93
|
MSAT (TO) f=23 TT=1800.15 T1=0.27
|
OPTIMUM f=23 TT=0.067 T1=0
|
? (TO)
TT=1800.1
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-41-40--soft-33-100-0.wbo
|
MOPT f=1 TT=0.123 T1=0.09
|
MSAT (TO) f=1375 TT=1800.06 T1=1621.64
|
MSAT (TO) f=1 TT=1800.09 T1=0.97
|
OPTIMUM f=1 TT=0.123 T1=0.09
|
? (TO)
TT=1800.09
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-41-40--soft-66-100-0.wbo
|
MOPT f=1 TT=0.115 T1=0.09
|
MSAT (TO) f=418 TT=1800.05 T1=1703.94
|
MSAT (TO) f=1 TT=1800.1 T1=1.33
|
OPTIMUM f=1 TT=0.115 T1=0.09
|
? (TO)
TT=1800.08
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-45-40--soft-33-100-0.wbo
|
MOPT f=10 TT=0.175 T1=0.09
|
MSAT (TO) f=1640 TT=1800.05 T1=1707.93
|
MSAT (TO) f=10 TT=1800.15 T1=1.74
|
OPTIMUM f=10 TT=0.175 T1=0.09
|
? (TO)
TT=1800.06
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-45-40--soft-66-100-0.wbo
|
MOPT f=23 TT=0.137 T1=0.06
|
MSAT (TO) f=406 TT=1800.06 T1=1642.83
|
MSAT (TO) f=23 TT=1800.14 T1=1.02
|
OPTIMUM f=23 TT=0.137 T1=0.06
|
? (TO)
TT=1800.08
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-51-50--soft-33-100-0.wbo
|
MOPT f=1 TT=0.17 T1=0.09
|
MSAT (TO) f=1657 TT=1800.05 T1=1401.32
|
MSAT (TO) f=1 TT=1800.16 T1=2.26
|
OPTIMUM f=1 TT=0.17 T1=0.09
|
? (TO)
TT=1800.05
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-51-50--soft-66-100-0.wbo
|
MOPT f=1 TT=0.158 T1=0.09
|
MSAT (TO) f=638 TT=1800.07 T1=1363.54
|
MSAT (TO) f=1 TT=1800.13 T1=0.93
|
OPTIMUM f=1 TT=0.158 T1=0.09
|
? (TO)
TT=1800.11
|
Bench name | Best results | clasp 2.0-RC2 (complete) | Sat4j Resolution 2011-06-08 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 (complete) | wbo 1.6 (complete) |
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-55-50--soft-33-100-0.wbo
|
MOPT f=1 TT=0.2 T1=0.09
|
MSAT (TO) f=1717 TT=1800.06 T1=1451.63
|
MSAT (TO) f=1 TT=1800.15 T1=1.61
|
OPTIMUM f=1 TT=0.2 T1=0.09
|
? (TO)
TT=1800.08
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-55-50--soft-66-100-0.wbo
|
MOPT f=9 TT=0.187 T1=0.09
|
MSAT (TO) f=770 TT=1800.02 T1=1445.41
|
MSAT (TO) f=9 TT=1800.13 T1=2.38
|
OPTIMUM f=9 TT=0.187 T1=0.09
|
? (TO)
TT=1800.07
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-61-60--soft-33-100-0.wbo
|
MOPT f=1 TT=0.278 T1=0.19
|
MSAT (TO) f=1653 TT=1800.06 T1=1682.84
|
MSAT (TO) f=1 TT=1800.14 T1=2.28
|
OPTIMUM f=1 TT=0.278 T1=0.19
|
? (TO)
TT=1800.08
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-61-60--soft-66-100-0.wbo
|
MOPT f=1 TT=0.255 T1=0.19
|
MSAT (TO) f=801 TT=1800.07 T1=1643.65
|
MSAT (TO) f=1 TT=1800.14 T1=2.87
|
OPTIMUM f=1 TT=0.255 T1=0.19
|
? (TO)
TT=1800.08
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-65-60--soft-33-100-0.wbo
|
MOPT f=1 TT=0.341 T1=0.29
|
MSAT (TO) f=1914 TT=1800.05 T1=1214.01
|
MSAT (TO) f=1 TT=1800.2 T1=3.84
|
OPTIMUM f=1 TT=0.341 T1=0.29
|
? (TO)
TT=1800.05
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-65-60--soft-66-100-0.wbo
|
MOPT f=4 TT=0.327 T1=0.29
|
MSAT (TO) f=790 TT=1800.06 T1=1692.54
|
MSAT (TO) f=4 TT=1800.12 T1=1.83
|
OPTIMUM f=4 TT=0.327 T1=0.29
|
? (TO)
TT=1800.08
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-71-70--soft-33-100-0.wbo
|
MOPT f=1 TT=0.384 T1=0.29
|
MSAT (TO) f=2715 TT=1800.04 T1=1690.73
|
MSAT (TO) f=1 TT=1800.13 T1=1.53
|
OPTIMUM f=1 TT=0.384 T1=0.29
|
? (TO)
TT=1800.11
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-71-70--soft-66-100-0.wbo
|
MOPT f=1 TT=0.298 T1=0.19
|
MSAT (TO) f=958 TT=1800.06 T1=1753.44
|
MSAT (TO) f=1 TT=1800.2 T1=1.73
|
OPTIMUM f=1 TT=0.298 T1=0.19
|
? (TO)
TT=1800.07
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-75-70--soft-33-100-0.wbo
|
MOPT f=6 TT=0.557 T1=0.49
|
MSAT (TO) f=2423 TT=1800.05 T1=1271.92
|
MSAT (TO) f=6 TT=1800.21 T1=1.98
|
OPTIMUM f=6 TT=0.557 T1=0.49
|
? (TO)
TT=1800.08
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-75-70--soft-66-100-0.wbo
|
MOPT f=1 TT=0.407 T1=0.29
|
MSAT (TO) f=1076 TT=1800.07 T1=1167.93
|
MSAT (TO) f=1 TT=1800.17 T1=2.7
|
OPTIMUM f=1 TT=0.407 T1=0.29
|
? (TO)
TT=1800.09
|
Bench name | Best results | clasp 2.0-RC2 (complete) | Sat4j Resolution 2011-06-08 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 (complete) | wbo 1.6 (complete) |
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-81-80--soft-33-100-0.wbo
|
MOPT f=1 TT=0.575 T1=0.49
|
MSAT (TO) f=3065 TT=1800.07 T1=1302.64
|
MSAT (TO) f=1 TT=1800.15 T1=2.03
|
OPTIMUM f=1 TT=0.575 T1=0.49
|
? (TO)
TT=1800.07
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-81-80--soft-66-100-0.wbo
|
MOPT f=1 TT=0.392 T1=0.28
|
MSAT (TO) f=1126 TT=1800.05 T1=1344.72
|
MSAT (TO) f=1 TT=1800.13 T1=1.86
|
OPTIMUM f=1 TT=0.392 T1=0.28
|
? (TO)
TT=1800.1
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-85-80--soft-33-100-0.wbo
|
MOPT f=1 TT=0.792 T1=0.69
|
MSAT (TO) f=3028 TT=1800.06 T1=1305.92
|
MSAT (TO) f=1 TT=1800.14 T1=7.25
|
OPTIMUM f=1 TT=0.792 T1=0.69
|
? (TO)
TT=1800.08
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-85-80--soft-66-100-0.wbo
|
MOPT f=1 TT=0.587 T1=0.55
|
MSAT (TO) f=1041 TT=1800.08 T1=1368.84
|
MSAT (TO) f=1 TT=1800.21 T1=2.21
|
OPTIMUM f=1 TT=0.587 T1=0.55
|
? (TO)
TT=1800.07
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-91-90--soft-33-100-0.wbo
|
MOPT f=1 TT=0.625 T1=0.49
|
MSAT (TO) f=2668 TT=1800.07 T1=1386.43
|
MSAT (TO) f=1 TT=1800.19 T1=3.8
|
OPTIMUM f=1 TT=0.625 T1=0.49
|
? (TO)
TT=1800.11
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-91-90--soft-66-100-0.wbo
|
MOPT f=1 TT=0.651 T1=0.59
|
MSAT (TO) f=1342 TT=1800.07 T1=1367.94
|
MSAT (TO) f=1 TT=1800.15 T1=2.3
|
OPTIMUM f=1 TT=0.651 T1=0.59
|
? (TO)
TT=1800.06
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-95-90--soft-33-100-0.wbo
|
MOPT f=1 TT=1.051 T1=0.99
|
MSAT (TO) f=3531 TT=1800.04 T1=1411.81
|
MSAT (TO) f=1 TT=1800.13 T1=7.38
|
OPTIMUM f=1 TT=1.051 T1=0.99
|
? (TO)
TT=1800.12
|
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-95-90--soft-66-100-0.wbo
|
MOPT f=2 TT=0.698 T1=0.59
|
MSAT (TO) f=1491 TT=1800.05 T1=1540.72
|
MSAT (TO) f=2 TT=1800.21 T1=6.59
|
OPTIMUM f=2 TT=0.698 T1=0.59
|
? (TO)
TT=1800.06
|
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-22s.smv--soft-33-100-0.wbo
|
MOPT f=1 TT=0.093 T1=0.03
|
OPTIMUM f=1 TT=0.983 T1=0.89
|
OPTIMUM f=1 TT=6.28 T1=6.13
|
MSAT (TO) f=4326 TT=1800.24 T1=1800.03
|
OPTIMUM f=1 TT=0.093 T1=0.03
|
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-22s.smv--soft-66-100-0.wbo
|
MOPT f=1 TT=0.098 T1=0.08
|
OPTIMUM f=1 TT=4.833 T1=4.69
|
OPTIMUM f=1 TT=2.569 T1=2.46
|
MSAT (TO) f=4041 TT=1800.26 T1=1800.05
|
OPTIMUM f=1 TT=0.098 T1=0.08
|
Bench name | Best results | clasp 2.0-RC2 (complete) | Sat4j Resolution 2011-06-08 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 (complete) | wbo 1.6 (complete) |
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-25s.smv--soft-33-100-0.wbo
|
MOPT f=2 TT=0.082 T1=0
|
OPTIMUM f=2 TT=1.606 T1=1.49
|
OPTIMUM f=2 TT=3.18 T1=3.07
|
MSAT (TO) f=3564 TT=1800.2 T1=1800.04
|
OPTIMUM f=2 TT=0.082 T1=0
|
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-25s.smv--soft-66-100-0.wbo
|
MOPT f=1 TT=0.074 T1=0
|
OPTIMUM f=1 TT=1.04 T1=1
|
OPTIMUM f=1 TT=2.142 T1=1.85
|
MSAT (TO) f=2390 TT=1800.21 T1=1800.03
|
OPTIMUM f=1 TT=0.074 T1=0
|
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-37s.smv--soft-33-100-0.wbo
|
MOPT f=1 TT=0.018 T1=0
|
OPTIMUM f=1 TT=0.064 T1=0
|
OPTIMUM f=1 TT=1.149 T1=1.06
|
MSAT (TO) f=504 TT=1800.24 T1=1791.74
|
OPTIMUM f=1 TT=0.018 T1=0
|
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-37s.smv--soft-66-100-0.wbo
|
MOPT f=1 TT=0.017 T1=0
|
OPTIMUM f=1 TT=0.023 T1=0
|
OPTIMUM f=1 TT=0.95 T1=0.76
|
OPTIMUM f=1 TT=67.201 T1=56
|
OPTIMUM f=1 TT=0.017 T1=0
|
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-43s.smv--soft-33-100-0.wbo
|
MOPT f=1 TT=0.138 T1=0.09
|
OPTIMUM f=1 TT=1.741 T1=1.4
|
OPTIMUM f=1 TT=2.507 T1=2.28
|
MSAT (TO) f=3093 TT=1800.24 T1=1800.04
|
OPTIMUM f=1 TT=0.138 T1=0.09
|
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-43s.smv--soft-66-100-0.wbo
|
MOPT f=1 TT=0.124 T1=0.09
|
OPTIMUM f=1 TT=3.969 T1=3.69
|
OPTIMUM f=1 TT=2.318 T1=2.1
|
MSAT (TO) f=1987 TT=1800.26 T1=1800.06
|
OPTIMUM f=1 TT=0.124 T1=0.09
|
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-44s.smv--soft-33-100-0.wbo
|
MOPT f=1 TT=0.011 T1=0
|
OPTIMUM f=1 TT=0.018 T1=0
|
OPTIMUM f=1 TT=0.752 T1=0.48
|
OPTIMUM f=1 TT=20.413 T1=19.19
|
OPTIMUM f=1 TT=0.011 T1=0
|
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-44s.smv--soft-66-100-0.wbo
|
MOPT f=1 TT=0.01 T1=0
|
OPTIMUM f=1 TT=0.012 T1=0
|
OPTIMUM f=1 TT=0.65 T1=0.53
|
OPTIMUM f=1 TT=12.174 T1=11.99
|
OPTIMUM f=1 TT=0.01 T1=0
|
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-46s.smv--soft-33-100-0.wbo
|
MOPT f=1 TT=0.033 T1=0.02
|
OPTIMUM f=1 TT=0.119 T1=0.09
|
OPTIMUM f=1 TT=1.626 T1=1.57
|
? (TO)
TT=1800.08
|
OPTIMUM f=1 TT=0.033 T1=0.02
|
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-46s.smv--soft-66-100-0.wbo
|
MOPT f=1 TT=0.03 T1=0
|
OPTIMUM f=1 TT=0.109 T1=0
|
OPTIMUM f=1 TT=1.199 T1=0.74
|
MSAT (TO) f=854 TT=1800.19 T1=1688.75
|
OPTIMUM f=1 TT=0.03 T1=0
|
Bench name | Best results | clasp 2.0-RC2 (complete) | Sat4j Resolution 2011-06-08 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 (complete) | wbo 1.6 (complete) |
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-blast-floppy1-2.ucl--soft-33-100-0.wbo
|
MOPT f=1 TT=0.009 T1=0
|
OPTIMUM f=1 TT=0.009 T1=0
|
OPTIMUM f=1 TT=0.571 T1=0.28
|
OPTIMUM f=1 TT=0.858 T1=0.79
|
OPTIMUM f=1 TT=0.012 T1=0
|
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-blast-floppy1-2.ucl--soft-66-100-0.wbo
|
MOPT f=1 TT=0.01 T1=0
|
OPTIMUM f=1 TT=0.011 T1=0
|
OPTIMUM f=1 TT=0.5 T1=0.29
|
OPTIMUM f=1 TT=0.181 T1=0.09
|
OPTIMUM f=1 TT=0.01 T1=0
|
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-blast-floppy1-3.ucl--soft-33-100-0.wbo
|
MOPT f=8 TT=0.002 T1=0
|
OPTIMUM f=8 TT=0.004 T1=0
|
OPTIMUM f=8 TT=0.275 T1=0.11
|
OPTIMUM f=8 TT=0.233 T1=0.19
|
OPTIMUM f=8 TT=0.002 T1=0
|
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-blast-floppy1-3.ucl--soft-66-100-0.wbo
|
MOPT f=1 TT=0.002 T1=0
|
OPTIMUM f=1 TT=0.005 T1=0
|
OPTIMUM f=1 TT=0.261 T1=0.1
|
OPTIMUM f=1 TT=0.58 T1=0.49
|
OPTIMUM f=1 TT=0.002 T1=0
|
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-blast-floppy1-4.ucl--soft-33-100-0.wbo
|
MOPT f=13 TT=0.001 T1=0
|
OPTIMUM f=13 TT=0.004 T1=0
|
OPTIMUM f=13 TT=0.241 T1=0.1
|
OPTIMUM f=13 TT=0.331 T1=0.29
|
OPTIMUM f=13 TT=0.001 T1=0
|
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-blast-floppy1-4.ucl--soft-66-100-0.wbo
|
MOPT f=5 TT=0.001 T1=0
|
OPTIMUM f=5 TT=0.003 T1=0
|
OPTIMUM f=5 TT=0.238 T1=0.1
|
OPTIMUM f=5 TT=0.144 T1=0.09
|
OPTIMUM f=5 TT=0.001 T1=0
|
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-blast-floppy1-6.ucl--soft-33-100-0.wbo
|
MOPT f=1 TT=0.02 T1=0
|
OPTIMUM f=1 TT=0.068 T1=0.01
|
OPTIMUM f=1 TT=0.997 T1=0.77
|
OPTIMUM f=1 TT=28.648 T1=28.59
|
OPTIMUM f=1 TT=0.02 T1=0
|
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-blast-floppy1-6.ucl--soft-66-100-0.wbo
|
MOPT f=1 TT=0.019 T1=0
|
OPTIMUM f=1 TT=0.078 T1=0
|
OPTIMUM f=1 TT=0.786 T1=0.28
|
OPTIMUM f=1 TT=30.612 T1=30.49
|
OPTIMUM f=1 TT=0.019 T1=0.01
|
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-blast-floppy1-7.ucl--soft-33-100-0.wbo
|
MOPT f=1 TT=0.026 T1=0
|
OPTIMUM f=1 TT=11.502 T1=11.39
|
OPTIMUM f=1 TT=4.202 T1=4.05
|
MSAT (TO) f=684 TT=1800.15 T1=1800.06
|
OPTIMUM f=1 TT=0.026 T1=0
|
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-blast-floppy1-7.ucl--soft-66-100-0.wbo
|
MOPT f=4 TT=0.199 T1=0.09
|
OPTIMUM f=4 TT=13.496 T1=13.4
|
OPTIMUM f=4 TT=1.852 T1=1.73
|
MSAT (TO) f=4898 TT=1800.18 T1=1800.04
|
OPTIMUM f=4 TT=0.199 T1=0.09
|
Bench name | Best results | clasp 2.0-RC2 (complete) | Sat4j Resolution 2011-06-08 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 (complete) | wbo 1.6 (complete) |
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-blast-floppy1-8.ucl--soft-33-100-0.wbo
|
MOPT f=3 TT=0.192 T1=0.09
|
OPTIMUM f=3 TT=17.138 T1=17.09
|
OPTIMUM f=3 TT=21.914 T1=21.76
|
MSAT (TO) f=14707 TT=1800.14 T1=1800.05
|
OPTIMUM f=3 TT=0.192 T1=0.09
|
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-blast-floppy1-8.ucl--soft-66-100-0.wbo
|
MOPT f=4 TT=0.037 T1=0
|
OPTIMUM f=4 TT=62.637 T1=62.6
|
OPTIMUM f=4 TT=1.652 T1=1.52
|
MSAT (TO) f=653 TT=1800.15 T1=1800.04
|
OPTIMUM f=4 TT=0.037 T1=0
|
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-blast-tlan2.ucl--soft-33-100-0.wbo
|
MOPT f=1 TT=0.047 T1=0
|
OPTIMUM f=1 TT=0.512 T1=0.5
|
OPTIMUM f=1 TT=2.159 T1=2
|
? (TO)
TT=1800.06
|
OPTIMUM f=1 TT=0.047 T1=0
|
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-blast-tlan2.ucl--soft-66-100-0.wbo
|
MOPT f=2 TT=0.044 T1=0.01
|
OPTIMUM f=2 TT=1.047 T1=1
|
OPTIMUM f=2 TT=1.638 T1=1.52
|
? (TO)
TT=1800.08
|
OPTIMUM f=2 TT=0.044 T1=0.01
|
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-blast-tlan3.ucl--soft-66-100-0.wbo
|
MOPT f=4 TT=0.225 T1=0.18
|
OPTIMUM f=4 TT=26.697 T1=26.59
|
OPTIMUM f=4 TT=2.933 T1=2.64
|
MSAT (TO) f=1501 TT=1800.51 T1=1800.03
|
OPTIMUM f=4 TT=0.225 T1=0.18
|
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-cache.inv10.ucl--soft-33-100-0.wbo
|
MOPT f=3 TT=0.164 T1=0.09
|
OPTIMUM f=3 TT=0.95 T1=0.79
|
OPTIMUM f=3 TT=7.576 T1=7.43
|
MSAT (TO) f=881 TT=1800.39 T1=1800.06
|
OPTIMUM f=3 TT=0.164 T1=0.09
|
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-cache.inv10.ucl--soft-66-100-0.wbo
|
MOPT f=3 TT=0.12 T1=0.09
|
OPTIMUM f=3 TT=0.534 T1=0.49
|
OPTIMUM f=3 TT=2.712 T1=2.54
|
MSAT (TO) f=3080 TT=1800.29 T1=497.51
|
OPTIMUM f=3 TT=0.12 T1=0.09
|
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-cache.inv8.ucl--soft-33-100-0.wbo
|
MOPT f=2 TT=0.037 T1=0
|
OPTIMUM f=2 TT=0.219 T1=0.19
|
OPTIMUM f=2 TT=1.585 T1=1.49
|
MSAT (TO) f=1758 TT=1800.18 T1=1800.03
|
OPTIMUM f=2 TT=0.037 T1=0
|
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-cache.inv8.ucl--soft-66-100-0.wbo
|
MOPT f=41 TT=0.032 T1=0
|
OPTIMUM f=41 TT=0.039 T1=0
|
OPTIMUM f=41 TT=1.507 T1=1.32
|
OPTIMUM f=41 TT=552.733 T1=548.51
|
OPTIMUM f=41 TT=0.032 T1=0
|
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-dlx1c.rwmem1.ucl--soft-33-100-0.wbo
|
MOPT f=1 TT=0.226 T1=0.19
|
OPTIMUM f=1 TT=1.848 T1=1.59
|
OPTIMUM f=1 TT=13.845 T1=13.73
|
MSAT (TO) f=11724 TT=1800.35 T1=1800.05
|
OPTIMUM f=1 TT=0.226 T1=0.19
|
Bench name | Best results | clasp 2.0-RC2 (complete) | Sat4j Resolution 2011-06-08 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 (complete) | wbo 1.6 (complete) |
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-dlx1c.rwmem1.ucl--soft-66-100-0.wbo
|
MOPT f=1 TT=0.252 T1=0.19
|
OPTIMUM f=1 TT=2.986 T1=2.89
|
OPTIMUM f=1 TT=5.157 T1=5.03
|
MSAT (TO) f=8546 TT=1800.28 T1=1800.06
|
OPTIMUM f=1 TT=0.252 T1=0.19
|
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-dlx1c.rwmem.ucl--soft-33-100-0.wbo
|
MOPT f=1 TT=0.271 T1=0.19
|
OPTIMUM f=1 TT=45.311 T1=45.19
|
OPTIMUM f=1 TT=7.014 T1=6.91
|
MSAT (TO) f=1984 TT=1800.39 T1=1800.08
|
OPTIMUM f=1 TT=0.271 T1=0.19
|
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-dlx1c.rwmem.ucl--soft-66-100-0.wbo
|
MOPT f=1 TT=0.254 T1=0.19
|
OPTIMUM f=1 TT=0.943 T1=0.89
|
OPTIMUM f=1 TT=9.328 T1=9.14
|
MSAT (TO) f=1717 TT=1800.29 T1=1800.04
|
OPTIMUM f=1 TT=0.254 T1=0.19
|
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-dlx1c.ucl--soft-33-100-0.wbo
|
MOPT f=1 TT=0.143 T1=0.09
|
OPTIMUM f=1 TT=0.37 T1=0.29
|
OPTIMUM f=1 TT=6.848 T1=6.7
|
MSAT (TO) f=8608 TT=1800.33 T1=1800.08
|
OPTIMUM f=1 TT=0.143 T1=0.09
|
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-dlx1c.ucl--soft-66-100-0.wbo
|
MOPT f=1 TT=0.124 T1=0.09
|
OPTIMUM f=1 TT=0.267 T1=0.19
|
OPTIMUM f=1 TT=4.246 T1=4.13
|
MSAT (TO) f=5626 TT=1800.3 T1=1800.05
|
OPTIMUM f=1 TT=0.124 T1=0.09
|
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf6.ucl--soft-33-100-0.wbo
|
MOPT f=1 TT=0.001 T1=0
|
OPTIMUM f=1 TT=0.001 T1=0
|
OPTIMUM f=1 TT=0.178 T1=0.1
|
OPTIMUM f=1 TT=0.163 T1=0.08
|
OPTIMUM f=1 TT=0.001 T1=0
|
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf6.ucl--soft-66-100-0.wbo
|
MOPT f=9 TT=0.001 T1=0
|
OPTIMUM f=9 TT=0.001 T1=0
|
OPTIMUM f=9 TT=0.175 T1=0.1
|
OPTIMUM f=9 TT=0.116 T1=0.09
|
OPTIMUM f=9 TT=0.001 T1=0
|
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf7.ucl--soft-33-100-0.wbo
|
MOPT f=1 TT=0.013 T1=0
|
OPTIMUM f=1 TT=0.148 T1=0.09
|
OPTIMUM f=1 TT=1.255 T1=1.05
|
OPTIMUM f=1 TT=538.36 T1=537.5
|
OPTIMUM f=1 TT=0.013 T1=0
|
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf7.ucl--soft-66-100-0.wbo
|
MOPT f=2 TT=0.014 T1=0
|
OPTIMUM f=2 TT=0.024 T1=0
|
OPTIMUM f=2 TT=0.855 T1=0.72
|
OPTIMUM f=2 TT=176.609 T1=176.3
|
OPTIMUM f=2 TT=0.014 T1=0
|
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf8.ucl--soft-33-100-0.wbo
|
MOPT f=1 TT=0.094 T1=0
|
OPTIMUM f=1 TT=0.387 T1=0.29
|
OPTIMUM f=1 TT=3.087 T1=2.98
|
MSAT (TO) f=6629 TT=1800.3 T1=1800.07
|
OPTIMUM f=1 TT=0.094 T1=0
|
Bench name | Best results | clasp 2.0-RC2 (complete) | Sat4j Resolution 2011-06-08 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 (complete) | wbo 1.6 (complete) |
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf8.ucl--soft-66-100-0.wbo
|
MOPT f=1 TT=0.084 T1=0
|
OPTIMUM f=1 TT=0.212 T1=0.19
|
OPTIMUM f=1 TT=2.283 T1=2.17
|
? (TO)
TT=1800.04
|
OPTIMUM f=1 TT=0.084 T1=0
|
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf9.ucl--soft-66-100-0.wbo
|
MOPT f=1 TT=0.441 T1=0.39
|
OPTIMUM f=1 TT=18.551 T1=18.4
|
OPTIMUM f=1 TT=8.127 T1=7.99
|
MSAT (TO) f=5441 TT=1800.12 T1=1799.98
|
OPTIMUM f=1 TT=0.441 T1=0.39
|
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.burch_dill.2.accl.ucl--soft-33-100-0.wbo
|
MOPT f=1 TT=0.844 T1=0.79
|
OPTIMUM f=1 TT=2.495 T1=1.69
|
OPTIMUM f=1 TT=5.454 T1=5.36
|
MSAT (TO) f=4083 TT=1800.21 T1=1800.04
|
OPTIMUM f=1 TT=0.844 T1=0.79
|
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.burch_dill.2.accl.ucl--soft-66-100-0.wbo
|
MOPT f=1 TT=0.632 T1=0.09
|
OPTIMUM f=1 TT=0.688 T1=0.09
|
OPTIMUM f=1 TT=16.433 T1=14.77
|
? (TO)
TT=1800.06
|
OPTIMUM f=1 TT=0.632 T1=0.59
|
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.burch_dill.3.accl.ucl--soft-33-100-0.wbo
|
MOPT f=1 TT=2.003 T1=1.39
|
OPTIMUM f=1 TT=4.264 T1=1.39
|
OPTIMUM f=1 TT=34.869 T1=29.2
|
MSAT (TO) f=2357 TT=1800.27 T1=1800.04
|
OPTIMUM f=1 TT=2.003 T1=1.99
|
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.burch_dill.3.accl.ucl--soft-66-100-0.wbo
|
MOPT f=1 TT=1.827 T1=0.69
|
OPTIMUM f=1 TT=3.44 T1=0.69
|
OPTIMUM f=1 TT=79.815 T1=70.7
|
MSAT (TO) f=1058 TT=1800.2 T1=1777.23
|
OPTIMUM f=1 TT=1.827 T1=1.79
|
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.burch_dill.4.accl.ucl--soft-33-100-0.wbo
|
MOPT f=1 TT=0.156 T1=0.09
|
OPTIMUM f=1 TT=0.362 T1=0.29
|
OPTIMUM f=1 TT=3.012 T1=2.89
|
MSAT (TO) f=1723 TT=1800.24 T1=1800.08
|
OPTIMUM f=1 TT=0.156 T1=0.09
|
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.burch_dill.4.accl.ucl--soft-66-100-0.wbo
|
MOPT f=1 TT=0.144 T1=0.09
|
OPTIMUM f=1 TT=0.49 T1=0.39
|
OPTIMUM f=1 TT=5.727 T1=5.6
|
MSAT (TO) f=1098 TT=1800.3 T1=1800.05
|
OPTIMUM f=1 TT=0.144 T1=0.09
|
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.burch_dill.8.accl.ucl--soft-66-100-0.wbo
|
MOPT f=1 TT=412.963 T1=11.77
|
OPTIMUM f=1 TT=762.483 T1=599.09
|
OPTIMUM f=1 TT=412.963 T1=11.77
|
MSAT (TO) f=2754 TT=1800.52 T1=1800.04
|
OPTIMUM f=1 TT=1781.05 T1=1780.93
|
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.rf10.ucl--soft-66-100-0.wbo
|
MOPT f=1 TT=6.856 T1=6.79
|
OPTIMUM f=1 TT=56.859 T1=43.88
|
OPTIMUM f=1 TT=916.764 T1=916.61
|
MSAT (TO) f=16154 TT=1800.41 T1=1800.02
|
OPTIMUM f=1 TT=6.856 T1=6.79
|
Bench name | Best results | clasp 2.0-RC2 (complete) | Sat4j Resolution 2011-06-08 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 (complete) | wbo 1.6 (complete) |
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf6.ucl--soft-33-100-0.wbo
|
MOPT f=1 TT=0.028 T1=0
|
OPTIMUM f=1 TT=0.066 T1=0.05
|
OPTIMUM f=1 TT=1.462 T1=1.32
|
? (TO)
TT=1800.06
|
OPTIMUM f=1 TT=0.028 T1=0
|
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf6.ucl--soft-66-100-0.wbo
|
MOPT f=2 TT=0.037 T1=0
|
OPTIMUM f=2 TT=0.052 T1=0
|
OPTIMUM f=2 TT=1.618 T1=1.36
|
OPTIMUM f=2 TT=1004.78 T1=939.9
|
OPTIMUM f=2 TT=0.037 T1=0
|
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf7.ucl--soft-33-100-0.wbo
|
MOPT f=1 TT=0.079 T1=0.01
|
OPTIMUM f=1 TT=0.46 T1=0.39
|
OPTIMUM f=1 TT=2.787 T1=2.68
|
MSAT (TO) f=2269 TT=1800.23 T1=1800.04
|
OPTIMUM f=1 TT=0.079 T1=0.01
|
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf7.ucl--soft-66-100-0.wbo
|
MOPT f=1 TT=0.088 T1=0.02
|
OPTIMUM f=1 TT=0.187 T1=0.09
|
OPTIMUM f=1 TT=2.801 T1=2.66
|
MSAT (TO) f=698 TT=1800.24 T1=1701.97
|
OPTIMUM f=1 TT=0.088 T1=0.02
|
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf8.ucl--soft-33-100-0.wbo
|
MOPT f=1 TT=0.313 T1=0.29
|
OPTIMUM f=1 TT=1.662 T1=1.39
|
OPTIMUM f=1 TT=4.978 T1=4.45
|
? (TO)
TT=1800.08
|
OPTIMUM f=1 TT=0.313 T1=0.29
|
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf8.ucl--soft-66-100-0.wbo
|
MOPT f=1 TT=0.255 T1=0.19
|
OPTIMUM f=1 TT=0.6 T1=0.29
|
OPTIMUM f=1 TT=8.268 T1=8.11
|
MSAT (TO) f=4498 TT=1800.29 T1=482.11
|
OPTIMUM f=1 TT=0.255 T1=0.19
|
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf9.ucl--soft-66-100-0.wbo
|
MOPT f=1 TT=1.165 T1=1
|
OPTIMUM f=1 TT=2.536 T1=1
|
OPTIMUM f=1 TT=65.887 T1=63.99
|
MSAT (TO) f=10376 TT=1800.3 T1=1800.04
|
OPTIMUM f=1 TT=1.165 T1=1.1
|
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.tag10.ucl--soft-33-100-0.wbo
|
MOPT f=1 TT=6.791 T1=6.6
|
OPTIMUM f=1 TT=6.791 T1=6.6
|
OPTIMUM f=1 TT=22.976 T1=22.79
|
MSAT (TO) f=37767 TT=1800.39 T1=1800.04
|
OPTIMUM f=1 TT=9.183 T1=9.09
|
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.tag10.ucl--soft-66-100-0.wbo
|
MOPT f=1 TT=7.497 T1=7.39
|
OPTIMUM f=1 TT=7.497 T1=7.39
|
OPTIMUM f=1 TT=25.114 T1=24.91
|
MSAT (TO) f=2551 TT=1800.3 T1=1800.04
|
OPTIMUM f=1 TT=7.946 T1=7.89
|
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.tag12.ucl--soft-66-100-0.wbo
|
MOPT f=1 TT=36.681 T1=36.59
|
OPTIMUM f=1 TT=72.192 T1=72.09
|
OPTIMUM f=1 TT=220.965 T1=220.8
|
MSAT (TO) f=16236 TT=1800.54 T1=1800.05
|
OPTIMUM f=1 TT=36.681 T1=36.59
|
Bench name | Best results | clasp 2.0-RC2 (complete) | Sat4j Resolution 2011-06-08 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 (complete) | wbo 1.6 (complete) |
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.tag8.ucl--soft-33-100-0.wbo
|
MOPT f=1 TT=1.213 T1=1.19
|
OPTIMUM f=1 TT=1.365 T1=1.28
|
OPTIMUM f=1 TT=3.782 T1=3.71
|
MSAT (TO) f=3527 TT=1800.2 T1=1800.04
|
OPTIMUM f=1 TT=1.213 T1=1.19
|
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.tag8.ucl--soft-66-100-0.wbo
|
MOPT f=2 TT=1.461 T1=1.39
|
OPTIMUM f=2 TT=1.461 T1=1.39
|
OPTIMUM f=2 TT=6.347 T1=6.22
|
MSAT (TO) f=603 TT=1800.21 T1=1097.61
|
OPTIMUM f=2 TT=2.004 T1=1.99
|
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j30/ normalized-j301_4-unsat--soft-33-100-0.wbo
|
MOPT f=9 TT=0.047 T1=0
|
OPTIMUM f=9 TT=0.047 T1=0.04
|
OPTIMUM f=9 TT=1.848 T1=1.56
|
MSAT (TO) f=4981 TT=1800.24 T1=1800.05
|
OPTIMUM f=9 TT=0.05 T1=0
|
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j30/ normalized-j301_4-unsat--soft-66-100-0.wbo
|
MOPT f=21 TT=0.033 T1=0
|
OPTIMUM f=21 TT=0.033 T1=0
|
OPTIMUM f=21 TT=1.703 T1=1.37
|
OPTIMUM f=21 TT=9.721 T1=9.59
|
OPTIMUM f=21 TT=0.044 T1=0
|
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j30/ normalized-j3029_8-unsat--soft-33-100-0.wbo
|
MOPT f=4 TT=41.602 T1=41.58
|
MSAT (TO) f=1329 TT=1800.05 T1=5.39
|
MSAT (TO) f=1276 TT=1800.13 T1=1504.99
|
MSAT (TO) f=15291 TT=1800.24 T1=1800.04
|
OPTIMUM f=4 TT=41.602 T1=41.58
|
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j30/ normalized-j3029_8-unsat--soft-66-100-0.wbo
|
MOPT f=2 TT=10.205 T1=6.5
|
OPTIMUM f=2 TT=10.205 T1=6.5
|
OPTIMUM f=2 TT=1217.98 T1=1214.23
|
MSAT (TO) f=4838 TT=1800.16 T1=1800.05
|
OPTIMUM f=2 TT=13.113 T1=13.09
|
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j30/ normalized-j3041_4-unsat--soft-33-100-0.wbo
|
MOPT f=1 TT=0.114 T1=0.09
|
OPTIMUM f=1 TT=1.643 T1=1.59
|
OPTIMUM f=1 TT=3.068 T1=2.91
|
MSAT (TO) f=16163 TT=1800.24 T1=1800.04
|
OPTIMUM f=1 TT=0.114 T1=0.09
|
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j30/ normalized-j3041_4-unsat--soft-66-100-0.wbo
|
MOPT f=5 TT=0.277 T1=0.19
|
OPTIMUM f=5 TT=0.487 T1=0.39
|
OPTIMUM f=5 TT=7.46 T1=7.32
|
MSAT (TO) f=4436 TT=1800.2 T1=1800.03
|
OPTIMUM f=5 TT=0.277 T1=0.19
|
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j30/ normalized-j3046_4-unsat--soft-33-100-0.wbo
|
MOPT f=2 TT=0.055 T1=0.04
|
OPTIMUM f=2 TT=0.263 T1=0.19
|
OPTIMUM f=2 TT=1.907 T1=1.59
|
MSAT (TO) f=8908 TT=1800.21 T1=1800.04
|
OPTIMUM f=2 TT=0.055 T1=0.04
|
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j30/ normalized-j3046_4-unsat--soft-66-100-0.wbo
|
MOPT f=2 TT=0.048 T1=0
|
OPTIMUM f=2 TT=0.048 T1=0.02
|
OPTIMUM f=2 TT=1.927 T1=1.66
|
OPTIMUM f=2 TT=55.498 T1=54.29
|
OPTIMUM f=2 TT=0.052 T1=0
|
Bench name | Best results | clasp 2.0-RC2 (complete) | Sat4j Resolution 2011-06-08 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 (complete) | wbo 1.6 (complete) |
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j30/ normalized-j308_1-unsat--soft-33-100-0.wbo
|
MOPT f=5 TT=0.024 T1=0
|
OPTIMUM f=5 TT=0.04 T1=0
|
OPTIMUM f=5 TT=1.238 T1=1.03
|
OPTIMUM f=5 TT=23.214 T1=9.69
|
OPTIMUM f=5 TT=0.024 T1=0
|
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j30/ normalized-j308_1-unsat--soft-66-100-0.wbo
|
MOPT f=83 TT=0.02 T1=0
|
OPTIMUM f=83 TT=0.02 T1=0
|
OPTIMUM f=83 TT=1.342 T1=1.07
|
OPTIMUM f=83 TT=1.978 T1=1.89
|
OPTIMUM f=83 TT=0.023 T1=0
|
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j30/ normalized-j309_10-unsat--soft-33-100-0.wbo
|
MOPT f=2 TT=0.386 T1=0.29
|
OPTIMUM f=2 TT=5.343 T1=5.19
|
OPTIMUM f=2 TT=50.886 T1=50.78
|
MSAT (TO) f=21509 TT=1800.24 T1=1800.06
|
OPTIMUM f=2 TT=0.386 T1=0.29
|
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j30/ normalized-j309_10-unsat--soft-66-100-0.wbo
|
MOPT f=1 TT=0.256 T1=0.19
|
OPTIMUM f=1 TT=8.013 T1=7.99
|
OPTIMUM f=1 TT=3.547 T1=3.44
|
MSAT (TO) f=8606 TT=1800.19 T1=1800.06
|
OPTIMUM f=1 TT=0.256 T1=0.19
|
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j60/ normalized-j6010_2-unsat--soft-33-100-0.wbo
|
MOPT f=6 TT=0.065 T1=0
|
OPTIMUM f=6 TT=0.065 T1=0
|
OPTIMUM f=6 TT=2.097 T1=1.9
|
MSAT (TO) f=17766 TT=1800.31 T1=1800.07
|
OPTIMUM f=6 TT=0.068 T1=0.02
|
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j60/ normalized-j6010_2-unsat--soft-66-100-0.wbo
|
MOPT f=12 TT=0.067 T1=0
|
OPTIMUM f=12 TT=0.082 T1=0
|
OPTIMUM f=12 TT=2.064 T1=1.88
|
MSAT (TO) f=4704 TT=1800.19 T1=74.8
|
OPTIMUM f=12 TT=0.067 T1=0.03
|
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j60/ normalized-j6027_4-unsat--soft-33-100-0.wbo
|
MOPT f=22 TT=0.063 T1=0
|
OPTIMUM f=22 TT=0.064 T1=0
|
OPTIMUM f=22 TT=2.166 T1=1.94
|
MSAT (TO) f=20524 TT=1800.3 T1=1800.04
|
OPTIMUM f=22 TT=0.063 T1=0
|
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j60/ normalized-j6027_4-unsat--soft-66-100-0.wbo
|
MOPT f=24 TT=0.062 T1=0.03
|
OPTIMUM f=24 TT=0.072 T1=0.03
|
OPTIMUM f=24 TT=2.069 T1=1.88
|
MSAT (TO) f=3015 TT=1800.25 T1=685.21
|
OPTIMUM f=24 TT=0.062 T1=0.05
|
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j60/ normalized-j602_7-unsat--soft-33-100-0.wbo
|
MOPT f=6 TT=0.052 T1=0
|
OPTIMUM f=6 TT=0.052 T1=0.01
|
OPTIMUM f=6 TT=2.059 T1=1.82
|
MSAT (TO) f=15196 TT=1800.26 T1=1800.01
|
OPTIMUM f=6 TT=0.056 T1=0
|
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j60/ normalized-j602_7-unsat--soft-66-100-0.wbo
|
MOPT f=3 TT=0.057 T1=0
|
OPTIMUM f=3 TT=0.057 T1=0.02
|
OPTIMUM f=3 TT=1.875 T1=1.62
|
MSAT (TO) f=425 TT=1800.27 T1=1774.15
|
OPTIMUM f=3 TT=0.061 T1=0
|
Bench name | Best results | clasp 2.0-RC2 (complete) | Sat4j Resolution 2011-06-08 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 (complete) | wbo 1.6 (complete) |
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j60/ normalized-j6030_9-unsat--soft-66-100-0.wbo
|
MOPT f=8 TT=0.122 T1=0.09
|
OPTIMUM f=8 TT=5.842 T1=5.79
|
OPTIMUM f=8 TT=2.54 T1=2.38
|
? (TO)
TT=1800.05
|
OPTIMUM f=8 TT=0.122 T1=0.09
|
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j60/ normalized-j603_2-unsat--soft-33-100-0.wbo
|
MOPT f=6 TT=0.064 T1=0
|
OPTIMUM f=6 TT=0.078 T1=0
|
OPTIMUM f=6 TT=2.187 T1=1.9
|
MSAT (TO) f=14331 TT=1800.43 T1=1800.14
|
OPTIMUM f=6 TT=0.064 T1=0
|
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j60/ normalized-j603_2-unsat--soft-66-100-0.wbo
|
MOPT f=31 TT=0.049 T1=0
|
OPTIMUM f=31 TT=0.049 T1=0
|
OPTIMUM f=31 TT=1.942 T1=1.76
|
OPTIMUM f=31 TT=47.512 T1=47.3
|
OPTIMUM f=31 TT=0.064 T1=0.01
|
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j60/ normalized-j6033_2-unsat--soft-66-100-0.wbo
|
MOPT f=51 TT=0.072 T1=0.02
|
OPTIMUM f=51 TT=0.072 T1=0.02
|
OPTIMUM f=51 TT=2.373 T1=2.14
|
MSAT (TO) f=2529 TT=1800.28 T1=57.99
|
OPTIMUM f=51 TT=0.129 T1=0.09
|
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j60/ normalized-j605_10-unsat--soft-33-100-0.wbo
|
MSAT TO f=180 TT=1800.08 T1=1773.54
|
MSAT (TO) f=180 TT=1800.08 T1=1773.54
|
MSAT (TO) f=1903 TT=1800.13 T1=1721.86
|
MSAT (TO) f=30602 TT=1800.42 T1=1800.05
|
? (TO)
TT=1800.07
|
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j60/ normalized-j605_10-unsat--soft-66-100-0.wbo
|
MSAT TO f=69 TT=1800.06 T1=1792.13
|
MSAT (TO) f=69 TT=1800.06 T1=1792.13
|
MSAT (TO) f=267 TT=1800.2 T1=1516.82
|
MSAT (TO) f=5322 TT=1800.21 T1=1800.03
|
? (TO)
TT=1800.05
|
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j60/ normalized-j605_1-unsat--soft-33-100-0.wbo
|
MOPT f=1 TT=1.775 T1=1.69
|
OPTIMUM f=1 TT=586.887 T1=586.31
|
MSAT (TO) f=2479 TT=1800.15 T1=1750.7
|
MSAT (TO) f=35658 TT=1800.36 T1=1800.04
|
OPTIMUM f=1 TT=1.775 T1=1.69
|
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j60/ normalized-j605_1-unsat--soft-66-100-0.wbo
|
MOPT f=1 TT=2.295 T1=2.2
|
OPTIMUM f=1 TT=8.119 T1=7.69
|
OPTIMUM f=1 TT=89.43 T1=89.24
|
MSAT (TO) f=12179 TT=1801.18 T1=1800.93
|
OPTIMUM f=1 TT=2.295 T1=2.2
|
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j60/ normalized-j606_1-unsat--soft-33-100-0.wbo
|
MOPT f=3 TT=0.058 T1=0
|
OPTIMUM f=3 TT=0.073 T1=0
|
OPTIMUM f=3 TT=2.281 T1=2.02
|
MSAT (TO) f=18386 TT=1800.31 T1=1800.07
|
OPTIMUM f=3 TT=0.058 T1=0
|
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j60/ normalized-j606_1-unsat--soft-66-100-0.wbo
|
MOPT f=25 TT=0.065 T1=0
|
OPTIMUM f=25 TT=0.086 T1=0.06
|
OPTIMUM f=25 TT=2.217 T1=1.94
|
MSAT (TO) f=1172 TT=1800.46 T1=107.19
|
OPTIMUM f=25 TT=0.065 T1=0
|
Bench name | Best results | clasp 2.0-RC2 (complete) | Sat4j Resolution 2011-06-08 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 (complete) | wbo 1.6 (complete) |
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j90/ normalized-j9010_6-unsat--soft-66-100-0.wbo
|
MOPT f=9 TT=0.104 T1=0.02
|
OPTIMUM f=9 TT=0.104 T1=0.02
|
OPTIMUM f=9 TT=2.792 T1=2.53
|
MSAT (TO) f=5932 TT=1800.4 T1=1800.14
|
OPTIMUM f=9 TT=0.143 T1=0.09
|
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j90/ normalized-j9012_2-unsat--soft-66-100-0.wbo
|
MOPT f=54 TT=0.077 T1=0.02
|
OPTIMUM f=54 TT=0.077 T1=0.02
|
OPTIMUM f=54 TT=2.31 T1=2.1
|
OPTIMUM f=54 TT=10.472 T1=10.19
|
OPTIMUM f=54 TT=0.122 T1=0.09
|
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j90/ normalized-j9014_1-unsat--soft-66-100-0.wbo
|
MOPT f=6 TT=0.105 T1=0.04
|
OPTIMUM f=6 TT=0.105 T1=0.04
|
OPTIMUM f=6 TT=9.38 T1=9.24
|
MSAT (TO) f=4100 TT=1800.08 T1=354.92
|
OPTIMUM f=6 TT=0.168 T1=0.09
|
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j90/ normalized-j9015_10-unsat--soft-66-100-0.wbo
|
MOPT f=29 TT=0.089 T1=0
|
OPTIMUM f=29 TT=0.089 T1=0
|
OPTIMUM f=29 TT=2.642 T1=2.41
|
MSAT (TO) f=3286 TT=1800.35 T1=343.7
|
OPTIMUM f=29 TT=0.128 T1=0.09
|
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j90/ normalized-j9028_2-unsat--soft-66-100-0.wbo
|
MOPT f=20 TT=0.084 T1=0
|
OPTIMUM f=20 TT=0.084 T1=0
|
OPTIMUM f=20 TT=2.68 T1=2.5
|
OPTIMUM f=20 TT=15.104 T1=14.79
|
OPTIMUM f=20 TT=0.121 T1=0.09
|
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j90/ normalized-j903_10-unsat--soft-66-100-0.wbo
|
MOPT f=4 TT=0.068 T1=0.01
|
OPTIMUM f=4 TT=0.068 T1=0.01
|
OPTIMUM f=4 TT=2.305 T1=2.11
|
MSAT (TO) f=3711 TT=1800.3 T1=1058.92
|
OPTIMUM f=4 TT=0.1 T1=0.07
|
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j90/ normalized-j9039_3-unsat--soft-66-100-0.wbo
|
MOPT f=42 TT=0.09 T1=0.04
|
OPTIMUM f=42 TT=0.09 T1=0.04
|
OPTIMUM f=42 TT=2.766 T1=2.55
|
MSAT (TO) f=1317 TT=1800.32 T1=139.89
|
OPTIMUM f=42 TT=0.131 T1=0.09
|
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j90/ normalized-j9048_1-unsat--soft-66-100-0.wbo
|
MOPT f=22 TT=0.097 T1=0
|
OPTIMUM f=22 TT=0.097 T1=0
|
OPTIMUM f=22 TT=2.838 T1=2.65
|
MSAT (TO) f=3066 TT=1800.13 T1=634.97
|
OPTIMUM f=22 TT=0.157 T1=0.09
|
/PARTIAL-SMALLINT-LIN/PB10/ oliveras/j90/ normalized-j907_8-unsat--soft-66-100-0.wbo
|
MOPT f=14 TT=0.06 T1=0.01
|
OPTIMUM f=14 TT=0.06 T1=0.01
|
OPTIMUM f=14 TT=2.257 T1=2.05
|
MSAT (TO) f=11071 TT=1800.11 T1=1799.98
|
OPTIMUM f=14 TT=0.086 T1=0.06
|
/PARTIAL-SMALLINT-LIN/ wcsp/academics/ normalized-16wqueens_wcsp.wbo
|
MOPT f=2 TT=0.089 T1=0
|
OPTIMUM f=2 TT=0.089 T1=0
|
OPTIMUM f=2 TT=5.527 T1=4.06
|
OPTIMUM f=2 TT=177.006 T1=152.89
|
OPTIMUM f=2 TT=1218.36 T1=1218.33
|
Bench name | Best results | clasp 2.0-RC2 (complete) | Sat4j Resolution 2011-06-08 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 (complete) | wbo 1.6 (complete) |
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-4queens_wcsp.wbo
|
MOPT f=0 TT=0.001 T1=0
|
OPTIMUM f=0 TT=0.001 T1=0
|
OPTIMUM f=0 TT=0.225 T1=0.11
|
OPTIMUM f=0 TT=0.043 T1=0
|
MSAT f=0 TT=0.001 T1=0
|
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-4wqueens_wcsp.wbo
|
MOPT f=0 TT=0 T1=0
|
OPTIMUM f=0 TT=0 T1=0
|
OPTIMUM f=0 TT=0.164 T1=0.11
|
OPTIMUM f=0 TT=0.017 T1=0
|
MSAT f=0 TT=0.001 T1=0
|
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-8queens_wcsp.wbo
|
MOPT f=0 TT=0.001 T1=0
|
OPTIMUM f=0 TT=0.001 T1=0
|
OPTIMUM f=0 TT=0.312 T1=0.27
|
OPTIMUM f=0 TT=0.062 T1=0.03
|
MSAT f=0 TT=0.001 T1=0
|
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-8wqueens_wcsp.wbo
|
MOPT f=2 TT=0.002 T1=0
|
OPTIMUM f=2 TT=0.003 T1=0
|
OPTIMUM f=2 TT=0.391 T1=0.23
|
OPTIMUM f=2 TT=0.322 T1=0.29
|
OPTIMUM f=2 TT=0.002 T1=0
|
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-donald_wcsp.wbo
|
MOPT f=0 TT=0.049 T1=0
|
OPTIMUM f=0 TT=0.049 T1=0
|
OPTIMUM f=0 TT=1.091 T1=0.94
|
OPTIMUM f=0 TT=19.679 T1=19.59
|
MSAT f=0 TT=0.027 T1=0
|
/PARTIAL-SMALLINT-LIN/ wcsp/academics/ normalized-langford-2-4_wcsp.wbo
|
MOPT f=0 TT=0.001 T1=0
|
OPTIMUM f=0 TT=0.001 T1=0
|
OPTIMUM f=0 TT=0.294 T1=0.27
|
OPTIMUM f=0 TT=0.033 T1=0
|
MSAT f=0 TT=0.002 T1=0
|
/PARTIAL-SMALLINT-LIN/ wcsp/academics/ normalized-langford-3-11_wcsp.wbo
|
UNSAT
TT=11.136
|
UNSAT
TT=11.136
|
UNSAT
TT=75.224
|
UNSAT
TT=126.925
|
UNSAT
TT=334.699
|
/PARTIAL-SMALLINT-LIN/ wcsp/academics/ normalized-langford-3-9_wcsp.wbo
|
MOPT f=0 TT=0.382 T1=0.29
|
OPTIMUM f=0 TT=0.382 T1=0.29
|
OPTIMUM f=0 TT=2.878 T1=2.75
|
OPTIMUM f=0 TT=4.43 T1=4.29
|
MSAT f=0 TT=1.568 T1=1.49
|
/PARTIAL-SMALLINT-LIN/wcsp/ academics/normalized-send_wcsp.wbo
|
MOPT f=0 TT=0.05 T1=0.04
|
OPTIMUM f=0 TT=0.05 T1=0.04
|
OPTIMUM f=0 TT=1.525 T1=1.44
|
OPTIMUM f=0 TT=44.696 T1=44.6
|
MSAT f=0 TT=0.034 T1=0.01
|
/PARTIAL-SMALLINT-LIN/ wcsp/academics/ normalized-warehouse0_wcsp.wbo
|
MOPT f=328 TT=0.006 T1=0
|
OPTIMUM f=328 TT=0.006 T1=0
|
OPTIMUM f=328 TT=0.513 T1=0.1
|
OPTIMUM f=328 TT=0.042 T1=0
|
? (TO)
TT=1800.09
|
Bench name | Best results | clasp 2.0-RC2 (complete) | Sat4j Resolution 2011-06-08 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 (complete) | wbo 1.6 (complete) |
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-zebra_wcsp.wbo
|
MOPT f=0 TT=0.069 T1=0.03
|
OPTIMUM f=0 TT=0.069 T1=0.03
|
OPTIMUM f=0 TT=1.817 T1=1.7
|
OPTIMUM f=0 TT=9.159 T1=8.99
|
MSAT f=0 TT=0.049 T1=0
|
/PARTIAL-SMALLINT-LIN/ wcsp/academics/ normalized-zebre-ext_wcsp.wbo
|
MOPT f=0 TT=0.002 T1=0
|
OPTIMUM f=0 TT=0.002 T1=0
|
OPTIMUM f=0 TT=0.246 T1=0.11
|
OPTIMUM f=0 TT=0.035 T1=0.01
|
MSAT f=0 TT=0.001 T1=0
|
/PARTIAL-SMALLINT-LIN/ wcsp/coloring/ normalized-dsjc125-1-4_wcsp.wbo
|
MSAT TO f=41 TT=1800.06 T1=13.69
|
MSAT (TO) f=41 TT=1800.06 T1=13.69
|
MSAT (TO) f=67 TT=1800.12 T1=0.97
|
? (TO)
TT=1800.06
|
? (TO)
TT=1800.06
|
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-geom30a-4_wcsp.wbo
|
MOPT f=4 TT=0.008 T1=0
|
OPTIMUM f=4 TT=10.012 T1=0
|
OPTIMUM f=4 TT=10.775 T1=0.58
|
MSAT (TO) f=4 TT=1800.06 T1=1.19
|
OPTIMUM f=4 TT=0.008 T1=0
|
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-geom30a-5_wcsp.wbo
|
MOPT f=1 TT=0.004 T1=0
|
OPTIMUM f=1 TT=0.004 T1=0
|
OPTIMUM f=1 TT=0.509 T1=0.27
|
OPTIMUM f=1 TT=1.534 T1=0.99
|
OPTIMUM f=1 TT=0.004 T1=0
|
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-geom40-2_wcsp.wbo
|
MOPT f=22 TT=0.008 T1=0
|
OPTIMUM f=22 TT=529.881 T1=5.4
|
MSAT (TO) f=22 TT=1800.07 T1=27.84
|
OPTIMUM f=22 TT=15.52 T1=2.79
|
OPTIMUM f=22 TT=0.008 T1=0
|
/PARTIAL-SMALLINT-LIN/ wcsp/coloring/ normalized-le450-5a-2_wcsp.wbo
|
MSAT TO f=2637 TT=1800.17 T1=784.38
|
MSAT (TO) f=2725 TT=1800.06 T1=24.29
|
MSAT (TO) f=2637 TT=1800.17 T1=784.38
|
MSAT (TO) f=2660 TT=1800.31 T1=7.39
|
? (TO)
TT=1800.07
|
/PARTIAL-SMALLINT-LIN/ wcsp/coloring/ normalized-le450-5a-4_wcsp.wbo
|
MSAT TO f=969 TT=1800.37 T1=11.39
|
MSAT (TO) f=1421 TT=1800.09 T1=68.39
|
MSAT (TO) f=1069 TT=1800.13 T1=1.91
|
MSAT (TO) f=969 TT=1800.37 T1=11.39
|
? (TO)
TT=1800.08
|
/PARTIAL-SMALLINT-LIN/ wcsp/coloring/ normalized-myciel5g-3_wcsp.wbo
|
MSAT TO f=17 TT=1800.07 T1=7.74
|
MSAT (TO) f=19 TT=1800.07 T1=494.6
|
MSAT (TO) f=17 TT=1800.13 T1=7.74
|
MSAT (TO) f=17 TT=1800.07 T1=626.81
|
? (TO)
TT=1800.08
|
/PARTIAL-SMALLINT-LIN/ wcsp/coloring/ normalized-myciel5g-5_wcsp.wbo
|
MOPT f=1 TT=34.325 T1=0.78
|
OPTIMUM f=1 TT=34.325 T1=34.26
|
OPTIMUM f=1 TT=464.375 T1=0.78
|
MSAT (TO) f=1 TT=1800.06 T1=5.99
|
OPTIMUM f=1 TT=869.827 T1=869.7
|
Bench name | Best results | clasp 2.0-RC2 (complete) | Sat4j Resolution 2011-06-08 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 (complete) | wbo 1.6 (complete) |
/PARTIAL-SMALLINT-LIN/ wcsp/coloring/ normalized-myciel5g-6_wcsp.wbo
|
MOPT f=0 TT=0.005 T1=0
|
OPTIMUM f=0 TT=0.005 T1=0
|
OPTIMUM f=0 TT=0.43 T1=0.25
|
OPTIMUM f=0 TT=2.715 T1=2.59
|
MSAT f=0 TT=0.003 T1=0
|
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-bf0432-007_ext.wbo
|
MOPT f=1 TT=0.052 T1=0
|
MSAT (TO) f=58 TT=1800.05 T1=0.06
|
OPTIMUM f=1 TT=1.501 T1=1.06
|
OPTIMUM f=1 TT=459.808 T1=444.5
|
OPTIMUM f=1 TT=0.052 T1=0
|
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-bf2670-001_ext.wbo
|
MOPT f=1 TT=0.017 T1=0
|
OPTIMUM f=1 TT=0.022 T1=0.01
|
OPTIMUM f=1 TT=1.301 T1=1.06
|
OPTIMUM f=1 TT=1323.1 T1=1321.24
|
OPTIMUM f=1 TT=0.017 T1=0
|
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois100_ext.wbo
|
MOPT f=1 TT=0.02 T1=0
|
OPTIMUM f=1 TT=0.026 T1=0
|
OPTIMUM f=1 TT=1.125 T1=1
|
OPTIMUM f=1 TT=123.888 T1=1.39
|
OPTIMUM f=1 TT=0.02 T1=0
|
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois20_ext.wbo
|
MOPT f=1 TT=0.003 T1=0
|
OPTIMUM f=1 TT=0.003 T1=0
|
OPTIMUM f=1 TT=0.35 T1=0.29
|
OPTIMUM f=1 TT=0.473 T1=0.09
|
OPTIMUM f=1 TT=0.006 T1=0
|
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois21_ext.wbo
|
MOPT f=1 TT=0.002 T1=0
|
OPTIMUM f=1 TT=0.002 T1=0
|
OPTIMUM f=1 TT=0.333 T1=0.29
|
OPTIMUM f=1 TT=0.43 T1=0.08
|
OPTIMUM f=1 TT=0.005 T1=0
|
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois22_ext.wbo
|
MOPT f=1 TT=0.004 T1=0
|
OPTIMUM f=1 TT=0.004 T1=0
|
OPTIMUM f=1 TT=0.348 T1=0.28
|
OPTIMUM f=1 TT=0.567 T1=0.09
|
OPTIMUM f=1 TT=0.005 T1=0
|
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois23_ext.wbo
|
MOPT f=1 TT=0.003 T1=0
|
OPTIMUM f=1 TT=0.003 T1=0
|
OPTIMUM f=1 TT=0.366 T1=0.28
|
OPTIMUM f=1 TT=0.468 T1=0.09
|
OPTIMUM f=1 TT=0.006 T1=0
|
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois24_ext.wbo
|
MOPT f=1 TT=0.003 T1=0
|
OPTIMUM f=1 TT=0.003 T1=0
|
OPTIMUM f=1 TT=0.372 T1=0.29
|
OPTIMUM f=1 TT=0.577 T1=0.19
|
OPTIMUM f=1 TT=0.006 T1=0
|
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois25_ext.wbo
|
MOPT f=1 TT=0.003 T1=0
|
OPTIMUM f=1 TT=0.003 T1=0
|
OPTIMUM f=1 TT=0.364 T1=0.28
|
OPTIMUM f=1 TT=0.586 T1=0.09
|
OPTIMUM f=1 TT=0.005 T1=0
|
Bench name | Best results | clasp 2.0-RC2 (complete) | Sat4j Resolution 2011-06-08 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 (complete) | wbo 1.6 (complete) |
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois26_ext.wbo
|
MOPT f=1 TT=0.003 T1=0
|
OPTIMUM f=1 TT=0.003 T1=0
|
OPTIMUM f=1 TT=0.403 T1=0.28
|
OPTIMUM f=1 TT=0.861 T1=0.19
|
OPTIMUM f=1 TT=0.006 T1=0
|
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois27_ext.wbo
|
MOPT f=1 TT=0.003 T1=0
|
OPTIMUM f=1 TT=0.003 T1=0
|
OPTIMUM f=1 TT=0.411 T1=0.29
|
OPTIMUM f=1 TT=0.6 T1=0.09
|
OPTIMUM f=1 TT=0.007 T1=0
|
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois28_ext.wbo
|
MOPT f=1 TT=0.004 T1=0
|
OPTIMUM f=1 TT=0.004 T1=0
|
OPTIMUM f=1 TT=0.421 T1=0.27
|
OPTIMUM f=1 TT=1.013 T1=0.19
|
OPTIMUM f=1 TT=0.007 T1=0
|
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois29_ext.wbo
|
MOPT f=1 TT=0.005 T1=0
|
OPTIMUM f=1 TT=0.005 T1=0
|
OPTIMUM f=1 TT=0.438 T1=0.29
|
OPTIMUM f=1 TT=0.695 T1=0.19
|
OPTIMUM f=1 TT=0.008 T1=0
|
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois30_ext.wbo
|
MOPT f=1 TT=0.005 T1=0
|
OPTIMUM f=1 TT=0.005 T1=0
|
OPTIMUM f=1 TT=0.451 T1=0.29
|
OPTIMUM f=1 TT=1.755 T1=0.39
|
OPTIMUM f=1 TT=0.007 T1=0
|
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois50_ext.wbo
|
MOPT f=1 TT=0.007 T1=0
|
OPTIMUM f=1 TT=0.007 T1=0
|
OPTIMUM f=1 TT=0.643 T1=0.52
|
OPTIMUM f=1 TT=19.877 T1=0.79
|
OPTIMUM f=1 TT=0.016 T1=0
|
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-pret150_25_ext.wbo
|
MOPT f=1 TT=0.01 T1=0
|
OPTIMUM f=1 TT=0.042 T1=0.02
|
OPTIMUM f=1 TT=0.914 T1=0.76
|
MSAT (TO) f=1 TT=1800.06 T1=0.59
|
OPTIMUM f=1 TT=0.01 T1=0
|
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-pret150_40_ext.wbo
|
MOPT f=1 TT=0.011 T1=0
|
OPTIMUM f=1 TT=0.059 T1=0
|
OPTIMUM f=1 TT=0.94 T1=0.85
|
MSAT (TO) f=1 TT=1800.09 T1=0.59
|
OPTIMUM f=1 TT=0.011 T1=0
|
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-pret150_60_ext.wbo
|
MOPT f=1 TT=0.01 T1=0
|
OPTIMUM f=1 TT=0.094 T1=0
|
OPTIMUM f=1 TT=0.783 T1=0.48
|
OPTIMUM f=1 TT=130.532 T1=1.19
|
OPTIMUM f=1 TT=0.01 T1=0
|
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-pret150_75_ext.wbo
|
MOPT f=1 TT=0.011 T1=0
|
OPTIMUM f=1 TT=0.011 T1=0
|
OPTIMUM f=1 TT=0.824 T1=0.53
|
MSAT (TO) f=1 TT=1800.08 T1=0.99
|
OPTIMUM f=1 TT=0.012 T1=0
|
Bench name | Best results | clasp 2.0-RC2 (complete) | Sat4j Resolution 2011-06-08 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 (complete) | wbo 1.6 (complete) |
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-pret60_25_ext.wbo
|
MOPT f=1 TT=0.005 T1=0
|
OPTIMUM f=1 TT=0.012 T1=0
|
OPTIMUM f=1 TT=0.529 T1=0.21
|
OPTIMUM f=1 TT=82.52 T1=0.09
|
OPTIMUM f=1 TT=0.005 T1=0
|
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-pret60_40_ext.wbo
|
MOPT f=1 TT=0.006 T1=0
|
OPTIMUM f=1 TT=0.023 T1=0
|
OPTIMUM f=1 TT=0.465 T1=0.3
|
OPTIMUM f=1 TT=111.657 T1=0.09
|
OPTIMUM f=1 TT=0.006 T1=0
|
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-pret60_60_ext.wbo
|
MOPT f=1 TT=0.005 T1=0
|
OPTIMUM f=1 TT=0.015 T1=0.01
|
OPTIMUM f=1 TT=0.52 T1=0.29
|
OPTIMUM f=1 TT=42.708 T1=0.19
|
OPTIMUM f=1 TT=0.005 T1=0
|
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-pret60_75_ext.wbo
|
MOPT f=1 TT=0.003 T1=0
|
OPTIMUM f=1 TT=0.003 T1=0
|
OPTIMUM f=1 TT=0.539 T1=0.3
|
OPTIMUM f=1 TT=20.166 T1=0.09
|
OPTIMUM f=1 TT=0.005 T1=0
|
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-ssa0432-003_ext.wbo
|
MOPT f=1 TT=0.007 T1=0
|
OPTIMUM f=1 TT=0.007 T1=0
|
OPTIMUM f=1 TT=0.615 T1=0.49
|
OPTIMUM f=1 TT=24.559 T1=24.39
|
OPTIMUM f=1 TT=0.007 T1=0
|
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-ssa2670-141_ext.wbo
|
MOPT f=1 TT=0.022 T1=0
|
OPTIMUM f=1 TT=0.082 T1=0
|
OPTIMUM f=1 TT=1.268 T1=1.05
|
OPTIMUM f=1 TT=53.029 T1=49.9
|
OPTIMUM f=1 TT=0.022 T1=0
|
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh01_wcsp.wbo
|
MOPT f=0 TT=0.005 T1=0
|
OPTIMUM f=0 TT=0.005 T1=0
|
OPTIMUM f=0 TT=0.468 T1=0.27
|
OPTIMUM f=0 TT=131.095 T1=130.99
|
MSAT f=0 TT=0.004 T1=0
|
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh04_wcsp.wbo
|
MOPT f=95 TT=0.015 T1=0
|
OPTIMUM f=95 TT=0.015 T1=0
|
OPTIMUM f=95 TT=0.845 T1=0.5
|
MSAT (TO) f=1200 TT=1800.04 T1=1222.12
|
? (TO)
TT=1800.06
|
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh05_wcsp.wbo
|
MOPT f=183 TT=0.046 T1=0.02
|
OPTIMUM f=183 TT=0.046 T1=0.02
|
OPTIMUM f=183 TT=0.86 T1=0.78
|
OPTIMUM f=183 TT=1513.18 T1=1511.94
|
? (TO)
TT=1800.07
|
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh06_wcsp.wbo
|
MOPT f=99 TT=0.024 T1=0
|
OPTIMUM f=99 TT=0.024 T1=0
|
OPTIMUM f=99 TT=0.742 T1=0.51
|
MSAT (TO) f=1983 TT=1800.07 T1=1266.53
|
OPTIMUM f=99 TT=0.92 T1=0.89
|
Bench name | Best results | clasp 2.0-RC2 (complete) | Sat4j Resolution 2011-06-08 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 (complete) | wbo 1.6 (complete) |
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh07_wcsp.wbo
|
MOPT f=0 TT=0.004 T1=0
|
OPTIMUM f=0 TT=0.004 T1=0
|
OPTIMUM f=0 TT=0.483 T1=0.26
|
OPTIMUM f=0 TT=443.071 T1=443.01
|
MSAT f=0 TT=0.004 T1=0
|
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh08_wcsp.wbo
|
MOPT f=462 TT=0.304 T1=0.29
|
OPTIMUM f=462 TT=0.304 T1=0.29
|
OPTIMUM f=462 TT=1.192 T1=1.09
|
? (TO)
TT=1800.05
|
? (TO)
TT=1800.07
|
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh09_wcsp.wbo
|
MOPT f=333 TT=0.111 T1=0.07
|
OPTIMUM f=333 TT=0.111 T1=0.07
|
OPTIMUM f=333 TT=1.365 T1=1.13
|
MSAT (TO) f=1984 TT=1800.06 T1=941.32
|
? (TO)
TT=1800.08
|
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh10_wcsp.wbo
|
MOPT f=85 TT=0.017 T1=0
|
OPTIMUM f=85 TT=0.017 T1=0
|
OPTIMUM f=85 TT=0.623 T1=0.5
|
OPTIMUM f=85 TT=419.79 T1=419.7
|
OPTIMUM f=85 TT=0.024 T1=0
|
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh11_wcsp.wbo
|
MOPT f=172 TT=0.103 T1=0.06
|
OPTIMUM f=172 TT=0.103 T1=0.06
|
OPTIMUM f=172 TT=0.979 T1=0.8
|
MSAT (TO) f=1219 TT=1800.09 T1=1730.86
|
? (TO)
TT=1800.07
|
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh12_wcsp.wbo
|
MOPT f=0 TT=0.005 T1=0
|
OPTIMUM f=0 TT=0.005 T1=0
|
OPTIMUM f=0 TT=0.593 T1=0.52
|
MSAT (TO) f=1616 TT=1800.07 T1=1796.54
|
MSAT f=0 TT=0.004 T1=0
|
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh13_wcsp.wbo
|
MOPT f=109 TT=0.027 T1=0
|
OPTIMUM f=109 TT=0.042 T1=0
|
OPTIMUM f=109 TT=0.662 T1=0.51
|
OPTIMUM f=109 TT=597.215 T1=597
|
OPTIMUM f=109 TT=0.027 T1=0
|
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh14_wcsp.wbo
|
MOPT f=101 TT=0.065 T1=0
|
OPTIMUM f=101 TT=0.065 T1=0
|
OPTIMUM f=101 TT=0.85 T1=0.77
|
OPTIMUM f=101 TT=1140.35 T1=1138.32
|
? (TO)
TT=1800.08
|
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh15_wcsp.wbo
|
MOPT f=206 TT=0.431 T1=0.39
|
OPTIMUM f=206 TT=0.431 T1=0.39
|
OPTIMUM f=206 TT=0.863 T1=0.74
|
OPTIMUM f=206 TT=706.981 T1=706.41
|
? (TO)
TT=1800.07
|
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh16_wcsp.wbo
|
MOPT f=6 TT=0.034 T1=0
|
OPTIMUM f=6 TT=0.034 T1=0
|
OPTIMUM f=6 TT=1.178 T1=1.06
|
OPTIMUM f=6 TT=571.899 T1=567.21
|
OPTIMUM f=6 TT=0.036 T1=0
|
Bench name | Best results | clasp 2.0-RC2 (complete) | Sat4j Resolution 2011-06-08 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 (complete) | wbo 1.6 (complete) |
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh17_wcsp.wbo
|
MOPT f=0 TT=0.005 T1=0
|
OPTIMUM f=0 TT=0.005 T1=0
|
OPTIMUM f=0 TT=0.508 T1=0.25
|
OPTIMUM f=0 TT=360.456 T1=360.4
|
MSAT f=0 TT=0.004 T1=0
|
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh18_wcsp.wbo
|
MOPT f=130 TT=0.037 T1=0
|
OPTIMUM f=130 TT=0.037 T1=0
|
OPTIMUM f=130 TT=1.084 T1=0.97
|
OPTIMUM f=130 TT=508.003 T1=506.1
|
? (TO)
TT=1800.07
|
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh19_wcsp.wbo
|
MOPT f=166 TT=0.022 T1=0
|
OPTIMUM f=166 TT=0.022 T1=0
|
OPTIMUM f=166 TT=0.745 T1=0.52
|
OPTIMUM f=166 TT=1602.39 T1=1600.54
|
OPTIMUM f=166 TT=2.539 T1=2.49
|
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh201_wcsp.wbo
|
MOPT f=0 TT=0.014 T1=0.01
|
OPTIMUM f=0 TT=0.014 T1=0.01
|
OPTIMUM f=0 TT=0.477 T1=0.29
|
OPTIMUM f=0 TT=136.325 T1=136.2
|
MSAT f=0 TT=0.005 T1=0
|
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh202_wcsp.wbo
|
MOPT f=68 TT=0.006 T1=0
|
OPTIMUM f=68 TT=0.016 T1=0
|
OPTIMUM f=68 TT=0.627 T1=0.5
|
OPTIMUM f=68 TT=877.874 T1=877.82
|
OPTIMUM f=68 TT=0.006 T1=0
|
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh203_wcsp.wbo
|
MOPT f=39 TT=0.008 T1=0
|
OPTIMUM f=39 TT=0.008 T1=0
|
OPTIMUM f=39 TT=0.579 T1=0.5
|
MSAT (TO) f=970 TT=1800.09 T1=1667.56
|
OPTIMUM f=39 TT=0.02 T1=0
|
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh205_wcsp.wbo
|
MOPT f=0 TT=0.005 T1=0
|
OPTIMUM f=0 TT=0.005 T1=0
|
OPTIMUM f=0 TT=0.585 T1=0.49
|
OPTIMUM f=0 TT=569.307 T1=569.2
|
MSAT f=0 TT=0.004 T1=0
|
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh207_wcsp.wbo
|
MOPT f=0 TT=0.006 T1=0
|
OPTIMUM f=0 TT=0.006 T1=0
|
OPTIMUM f=0 TT=0.635 T1=0.49
|
OPTIMUM f=0 TT=216.67 T1=216.6
|
MSAT f=0 TT=0.004 T1=0
|
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh208_wcsp.wbo
|
MOPT f=79 TT=0.136 T1=0.09
|
OPTIMUM f=79 TT=0.172 T1=0.09
|
OPTIMUM f=79 TT=0.91 T1=0.8
|
OPTIMUM f=79 TT=843.138 T1=842.92
|
OPTIMUM f=79 TT=0.136 T1=0.09
|
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh209_wcsp.wbo
|
MOPT f=0 TT=0.007 T1=0
|
OPTIMUM f=0 TT=0.007 T1=0
|
OPTIMUM f=0 TT=0.534 T1=0.51
|
OPTIMUM f=0 TT=275.553 T1=275.5
|
MSAT f=0 TT=0.004 T1=0
|
Bench name | Best results | clasp 2.0-RC2 (complete) | Sat4j Resolution 2011-06-08 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 (complete) | wbo 1.6 (complete) |
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh210_wcsp.wbo
|
MOPT f=0 TT=0.009 T1=0
|
OPTIMUM f=0 TT=0.009 T1=0
|
OPTIMUM f=0 TT=0.462 T1=0.27
|
OPTIMUM f=0 TT=1379.02 T1=1378.92
|
MSAT f=0 TT=0.004 T1=0
|
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh211_wcsp.wbo
|
MOPT f=259 TT=0.014 T1=0
|
OPTIMUM f=259 TT=0.014 T1=0
|
OPTIMUM f=259 TT=0.849 T1=0.5
|
MSAT (TO) f=1118 TT=1800.07 T1=967
|
? (TO)
TT=1800.08
|
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh212_wcsp.wbo
|
MOPT f=0 TT=0.015 T1=0
|
OPTIMUM f=0 TT=0.015 T1=0
|
OPTIMUM f=0 TT=0.511 T1=0.26
|
OPTIMUM f=0 TT=291.392 T1=291.3
|
MSAT f=0 TT=0.006 T1=0
|
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh214_wcsp.wbo
|
MOPT f=75 TT=0.019 T1=0
|
OPTIMUM f=75 TT=0.019 T1=0
|
OPTIMUM f=75 TT=0.809 T1=0.5
|
MSAT (TO) f=1821 TT=1800.06 T1=1608.82
|
OPTIMUM f=75 TT=0.22 T1=0.19
|
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh215_wcsp.wbo
|
MOPT f=88 TT=0.011 T1=0
|
OPTIMUM f=88 TT=0.011 T1=0
|
OPTIMUM f=88 TT=0.734 T1=0.5
|
MSAT (TO) f=1461 TT=1800.29 T1=1128.61
|
OPTIMUM f=88 TT=0.13 T1=0.09
|
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh216_wcsp.wbo
|
MOPT f=12 TT=0.025 T1=0
|
OPTIMUM f=12 TT=0.108 T1=0.09
|
OPTIMUM f=12 TT=0.743 T1=0.49
|
MSAT (TO) f=1641 TT=1800.3 T1=1762.73
|
OPTIMUM f=12 TT=0.025 T1=0
|
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh217_wcsp.wbo
|
MOPT f=0 TT=0.011 T1=0
|
OPTIMUM f=0 TT=0.011 T1=0
|
OPTIMUM f=0 TT=0.454 T1=0.27
|
OPTIMUM f=0 TT=69.18 T1=69.09
|
MSAT f=0 TT=0.004 T1=0
|
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh218_wcsp.wbo
|
MOPT f=0 TT=0.053 T1=0.05
|
OPTIMUM f=0 TT=0.053 T1=0.05
|
OPTIMUM f=0 TT=0.472 T1=0.26
|
OPTIMUM f=0 TT=1188.23 T1=1188.12
|
MSAT f=0 TT=0.004 T1=0
|
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh219_wcsp.wbo
|
MOPT f=82 TT=0.013 T1=0
|
OPTIMUM f=82 TT=0.013 T1=0
|
OPTIMUM f=82 TT=0.76 T1=0.49
|
OPTIMUM f=82 TT=1218.4 T1=1218.1
|
? (TO)
TT=1800.07
|
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh220_wcsp.wbo
|
MOPT f=0 TT=0.005 T1=0
|
OPTIMUM f=0 TT=0.005 T1=0
|
OPTIMUM f=0 TT=0.57 T1=0.51
|
MSAT (TO) f=1761 TT=1800.07 T1=1331.53
|
MSAT f=0 TT=0.005 T1=0
|
Bench name | Best results | clasp 2.0-RC2 (complete) | Sat4j Resolution 2011-06-08 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 (complete) | wbo 1.6 (complete) |
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh301_wcsp.wbo
|
MOPT f=0 TT=0.019 T1=0
|
OPTIMUM f=0 TT=0.019 T1=0
|
OPTIMUM f=0 TT=0.675 T1=0.48
|
OPTIMUM f=0 TT=333.808 T1=333.7
|
MSAT f=0 TT=0.005 T1=0
|
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh302_wcsp.wbo
|
MOPT f=395 TT=0.127 T1=0.09
|
OPTIMUM f=395 TT=0.127 T1=0.09
|
OPTIMUM f=395 TT=0.929 T1=0.49
|
MSAT (TO) f=4287 TT=1800.07 T1=1733.14
|
? (TO)
TT=1800.07
|
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh303_wcsp.wbo
|
MOPT f=351 TT=0.458 T1=0.4
|
OPTIMUM f=351 TT=0.458 T1=0.4
|
OPTIMUM f=351 TT=1.482 T1=1.01
|
MSAT (TO) f=1353 TT=1800.05 T1=1718.31
|
? (TO)
TT=1800.08
|
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh304_wcsp.wbo
|
MOPT f=321 TT=0.046 T1=0
|
OPTIMUM f=321 TT=0.046 T1=0
|
OPTIMUM f=321 TT=0.928 T1=0.78
|
MSAT (TO) f=3354 TT=1800.07 T1=1384.94
|
? (TO)
TT=1800.05
|
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh305_wcsp.wbo
|
MOPT f=742 TT=3.675 T1=0.51
|
OPTIMUM f=742 TT=4.499 T1=4.4
|
OPTIMUM f=742 TT=3.675 T1=0.51
|
? (TO)
TT=1800.08
|
? (TO)
TT=1800.08
|
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh306_wcsp.wbo
|
MOPT f=16 TT=0.013 T1=0
|
OPTIMUM f=16 TT=0.029 T1=0
|
OPTIMUM f=16 TT=0.924 T1=0.76
|
MSAT (TO) f=1045 TT=1800.27 T1=1614.07
|
OPTIMUM f=16 TT=0.013 T1=0
|
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh307_wcsp.wbo
|
MOPT f=540 TT=0.186 T1=0.09
|
OPTIMUM f=540 TT=0.186 T1=0.09
|
OPTIMUM f=540 TT=1.631 T1=1.17
|
MSAT (TO) f=3649 TT=1800.38 T1=1661.42
|
? (TO)
TT=1800.08
|
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh308_wcsp.wbo
|
MOPT f=130 TT=0.014 T1=0
|
OPTIMUM f=130 TT=0.014 T1=0
|
OPTIMUM f=130 TT=0.819 T1=0.49
|
MSAT (TO) f=2496 TT=1800.08 T1=1767.45
|
? (TO)
TT=1800.07
|
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh309_wcsp.wbo
|
MOPT f=276 TT=0.243 T1=0.2
|
OPTIMUM f=276 TT=0.243 T1=0.2
|
OPTIMUM f=276 TT=1.005 T1=0.76
|
OPTIMUM f=276 TT=656.921 T1=648.19
|
? (TO)
TT=1800.07
|
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh310_wcsp.wbo
|
MOPT f=463 TT=1.262 T1=1.19
|
OPTIMUM f=463 TT=1.262 T1=1.19
|
OPTIMUM f=463 TT=3.25 T1=1.74
|
MSAT (TO) f=1601 TT=1800.28 T1=1701.42
|
? (TO)
TT=1800.07
|
Bench name | Best results | clasp 2.0-RC2 (complete) | Sat4j Resolution 2011-06-08 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 (complete) | wbo 1.6 (complete) |
/PARTIAL-SMALLINT-LIN/wcsp/pedigree/ normalized-connell_wcsp.wbo
|
MOPT f=1 TT=0.003 T1=0
|
OPTIMUM f=1 TT=0.003 T1=0
|
OPTIMUM f=1 TT=0.605 T1=0.5
|
OPTIMUM f=1 TT=0.473 T1=0.39
|
OPTIMUM f=1 TT=0.003 T1=0
|
/PARTIAL-SMALLINT-LIN/wcsp/pedigree/ normalized-simple_wcsp.wbo
|
MOPT f=1 TT=0.004 T1=0
|
OPTIMUM f=1 TT=0.004 T1=0
|
OPTIMUM f=1 TT=0.555 T1=0.51
|
OPTIMUM f=1 TT=0.168 T1=0.09
|
OPTIMUM f=1 TT=0.004 T1=0
|
/PARTIAL-SMALLINT-LIN/wcsp/ pedigree/normalized-sobel_wcsp.wbo
|
MOPT f=0 TT=0.002 T1=0
|
OPTIMUM f=0 TT=0.002 T1=0
|
OPTIMUM f=0 TT=0.312 T1=0.25
|
OPTIMUM f=0 TT=0.081 T1=0.06
|
MSAT f=0 TT=0.002 T1=0
|
/PARTIAL-SMALLINT-LIN/wcsp/spot5/ normalized-spot5-404_wcsp.wbo
|
MOPT f=114 TT=0.567 T1=0.49
|
MSAT (TO) f=116 TT=1800.03 T1=1.99
|
MSAT (TO) f=115 TT=1800.1 T1=63.81
|
OPTIMUM f=114 TT=0.567 T1=0.49
|
OPTIMUM f=114 TT=1456.91 T1=1456.85
|
/PARTIAL-SMALLINT-LIN/wcsp/spot5/ normalized-spot5-54_wcsp.wbo
|
MOPT f=37 TT=0.433 T1=0.39
|
OPTIMUM f=37 TT=0.469 T1=0.39
|
OPTIMUM f=37 TT=2.165 T1=1.82
|
OPTIMUM f=37 TT=0.433 T1=0.39
|
OPTIMUM f=37 TT=5.823 T1=5.79
|
/PARTIAL-SMALLINT-LIN/wcsp/spot5/ normalized-spot5-8_wcsp.wbo
|
MOPT f=2 TT=0 T1=0
|
OPTIMUM f=2 TT=0 T1=0
|
OPTIMUM f=2 TT=0.16 T1=0.1
|
OPTIMUM f=2 TT=0.013 T1=0
|
OPTIMUM f=2 TT=0.001 T1=0
|
|
Statistics | clasp 2.0-RC2 (complete) | Sat4j Resolution 2011-06-08 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 (complete) | wbo 1.6 (complete) |
Number of times the solver is able to give the best known answer | 458 | 450 | 385 | 373 |
Number of times the solver is the best solver from a complete solver point of view (i.e. best known answer and best TT time) | 221 | 7 | 217 | 96 |