PB'11 competition: WBO track: results by benchmark

Results by benchmark for category both soft and hard constraints, small integers, linear constraints (PARTIAL-SMALLINT-LIN)

This page displays the results of the different solvers for each benchmark for category both soft and hard constraints, small integers, linear constraints (PARTIAL-SMALLINT-LIN)

REMINDER

Keep in mind that the 'Best result' columns only provide the best result given by one of the solvers. This 'Best result' may be wrong in case of an UNSATISFIABLE or OPTIMUM FOUND answer (because there's no efficient way to check these answers).

Description of a cell contents:

Cell example	Meaning
Answer	Solver result
f=...	value of the objective function for the model reported by the solver
TT=...	Total Time (TT): this is the CPU time (in seconds) used by the solver until termination. This time is only meaningful for complete solvers because incomplete solvers will always run until they time out

Remember that CPU time and wall clock time are two very different notions. The CPU time represents the time during which the instructions of the solver were executed by the processor. The wall clock time represents how much time ellapsed on the clock. For a same event, the CPU time may be either smaller or greater than the wall clock time depending on the number of threads of execution and the number of processors.

Meaning of some abbreviations:

Abbreviation	Meaning
f=...	Value of the objective function
TO	Time Out
MO	Mem. Out (out of memory)

Meaning of the different colors:

Color	Meaning
text	the solver cannot handle this instance
text	the solver gave no answer
text	the solver could give an answer (SAT)
text	the solver gave a definitive answer (OPTIMUM FOUND or UNSAT)
text	the solver performed better than the other ones on that instance
text	the solver was ended by a signal
text	the solver gave an incomplete answer
text	the solver was disqualified in the category
text	the solver gave a wrong answer

For better readability, you may choose to hide some solvers:
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)

Bench name	Best results on this instance	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-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