PB'12 competition: WBO track: results by benchmark

Results by benchmark for category only soft constraints, small integers, linear constraints (SOFT-SMALLINT-LIN)

This page displays the results of the different solvers for each benchmark for category only soft constraints, small integers, linear constraints (SOFT-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.6-R5325 (complete)
npSolver 1.0 (complete)
npSolver 1.0 (fixed) (complete)
npSolver inc (complete)
npSolver inc (fixed) (complete)
npSolver inc-topDown (complete)
npSolver inc-topDown (fixed) (complete)
npSolver inc-topdown-quickBound (complete)
npSolver inc-topdown-quickBound (fixed) (complete)
pwbo 2.01 (complete)
pwbo 2.02 (complete)
Sat4j PB 2012-05-28 (complete)
SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed (complete)
toysat 2012-05-17 (complete)
wbo 1.71 (complete)
wbo 1.72 (complete)
wbo2sat 2012-05-19 (complete)
wbo2satCp2 2012-05-19 (complete)

Bench name	Best results on this instance	clasp 2.0.6-R5325 (complete)	npSolver 1.0 (complete)	npSolver 1.0 (fixed) (complete)	npSolver inc (complete)	npSolver inc (fixed) (complete)	npSolver inc-topDown (complete)	npSolver inc-topDown (fixed) (complete)	npSolver inc-topdown-quickBound (complete)	npSolver inc-topdown-quickBound (fixed) (complete)	pwbo 2.01 (complete)	pwbo 2.02 (complete)	Sat4j PB 2012-05-28 (complete)	SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed (complete)	toysat 2012-05-17 (complete)	wbo 1.71 (complete)	wbo 1.72 (complete)	wbo2sat 2012-05-19 (complete)	wbo2satCp2 2012-05-19 (complete)
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl10_11_pb.cnf.cr--soft-0-100-0.wbo	MOPT f=9 TT=0.057 T1=0.01	OPTIMUM f=9 TT=58.58 T1=49.05	OPTIMUM f=9 TT=7.021 T1=3.53	OPTIMUM f=9 TT=15.854 T1=5.64	OPTIMUM f=9 TT=7.103 T1=3.59	OPTIMUM f=9 TT=15.932 T1=5.72	OPTIMUM f=9 TT=4.948 T1=3.78	OPTIMUM f=9 TT=14.604 T1=10.56	? (TO) TT=1800.08	? (TO) TT=1800.24	MSAT (TO) f=9 TT=1800.05 T1=900.21	MSAT (TO) f=9 TT=1800.41 T1=900.21	OPTIMUM f=9 TT=1053.01 T1=0.22	OPTIMUM f=9 TT=0.057 T1=0.01	OPTIMUM f=9 TT=1204.27 T1=0.18	OPTIMUM f=9 TT=1158.88 T1=1158.97	OPTIMUM f=9 TT=1253.94 T1=1254.27	OPTIMUM f=9 TT=10.35 T1=5.54	OPTIMUM f=9 TT=10.395 T1=5.58
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl10_15_pb.cnf.cr--soft-0-100-0.wbo	MOPT f=6 TT=0.082 T1=0.01	OPTIMUM f=6 TT=62.418 T1=36.48	OPTIMUM f=6 TT=16.885 T1=13.01	OPTIMUM f=6 TT=25.134 T1=20.49	OPTIMUM f=6 TT=32.858 T1=12.67	OPTIMUM f=6 TT=25.499 T1=20.84	OPTIMUM f=6 TT=15.734 T1=12.91	OPTIMUM f=6 TT=99.959 T1=96.38	? (TO) TT=1800.04	? (TO) TT=1800.1	MSAT (TO) f=6 TT=1800.37 T1=900.21	MSAT (TO) f=6 TT=1800.04 T1=900.21	OPTIMUM f=6 TT=1413.82 T1=600.44	OPTIMUM f=6 TT=0.082 T1=0.01	OPTIMUM f=6 TT=1784.24 T1=3.72	? (TO) TT=1800.43	? TT=1800.01	OPTIMUM f=6 TT=33.451 T1=28.91	OPTIMUM f=6 TT=33.348 T1=28.83
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl10_20_pb.cnf.cr--soft-0-100-0.wbo	MOPT f=7 TT=0.092 T1=0.01	OPTIMUM f=7 TT=172.396 T1=172.42	OPTIMUM f=7 TT=20.498 T1=15.43	OPTIMUM f=7 TT=23.1 T1=23.11	OPTIMUM f=7 TT=20.641 T1=15.56	OPTIMUM f=7 TT=23.127 T1=23.12	OPTIMUM f=7 TT=18.629 T1=15.89	OPTIMUM f=7 TT=380.33 T1=377.77	? (TO) TT=1800.08	? (TO) TT=1800.12	MSAT (TO) f=7 TT=1800.03 T1=900.21	MSAT (TO) f=7 TT=1800.43 T1=900.21	OPTIMUM f=7 TT=1577.02 T1=3.81	OPTIMUM f=7 TT=0.092 T1=0.01	? (TO) TT=1800.02	? TT=1799.65	? TT=1799.93	OPTIMUM f=7 TT=24.121 T1=18.83	OPTIMUM f=7 TT=24.48 T1=19.2
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl15_16_pb.cnf.cr--soft-0-100-0.wbo	MOPT f=8 TT=0.074 T1=0.01	MSAT (TO) f=1152 TT=1800.03 T1=1261.47	? (TO) TT=1800.13	? (TO) TT=1800.11	? (TO) TT=1800.13	? (TO) TT=1800.12	? (TO) TT=1800.08	? (TO) TT=1800.11	? (TO) TT=1815.98	? (TO) TT=1800.06	MSAT (TO) f=8 TT=1800.28 T1=900.21	MSAT (TO) f=8 TT=1800.05 T1=900.21	MSAT (TO) f=8 TT=1800.03 T1=0.57	OPTIMUM f=8 TT=0.074 T1=0.01	? (TO) TT=1800.02	? TT=1799.66	? TT=1800.05	? (TO) TT=1800.12	? (TO) TT=1800.08
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl15_20_pb.cnf.cr--soft-0-100-0.wbo	MOPT f=17 TT=0.093 T1=0.02	MSAT (TO) f=1417 TT=1800.03 T1=1311.47	? (TO) TT=1800.12	? (TO) TT=1800.09	? (TO) TT=1800.11	? (TO) TT=1800.11	? (TO) TT=1800.12	? (TO) TT=1800.15	? (TO) TT=1800.08	? (TO) TT=1800.24	MSAT (TO) f=17 TT=1800.43 T1=900.31	MSAT (TO) f=17 TT=1800.37 T1=900.21	MSAT (TO) f=17 TT=1800.63 T1=195.74	OPTIMUM f=17 TT=0.093 T1=0.02	? (TO) TT=1800.02	? TT=1799.63	? TT=1800.01	? (TO) TT=1800.07	? (TO) TT=1800.09
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl15_25_pb.cnf.cr--soft-0-100-0.wbo	MOPT f=10 TT=0.155 T1=0.02	MSAT (TO) f=1971 TT=1800.03 T1=1315.28	? (TO) TT=1800.09	? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800.07	? (TO) TT=1800.09	? (TO) TT=1800.13	? (TO) TT=1800.11	MSAT (TO) f=10 TT=1800.17 T1=900.31	MSAT (TO) f=10 TT=1800.35 T1=900.21	MSAT (TO) f=10 TT=1800.59 T1=1.51	OPTIMUM f=10 TT=0.155 T1=0.02	? (TO) TT=1800.02	? TT=1799.65	? TT=1799.64	? (TO) TT=1800.1	? (TO) TT=1800.09
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl20_21_pb.cnf.cr--soft-0-100-0.wbo	MOPT f=2 TT=0.116 T1=0.02	MSAT (TO) f=1971 TT=1800.03 T1=1494.33	? (TO) TT=1800.14	? (TO) TT=1800.11	? (TO) TT=1800.1	? (TO) TT=1800.13	? (TO) TT=1800.13	? (TO) TT=1800.11	? (TO) TT=1800.23	? (TO) TT=1800.04	MSAT (TO) f=2 TT=1800.02 T1=900.21	MSAT (TO) f=2 TT=1800.07 T1=900.21	MSAT (TO) f=8 TT=1800.06 T1=1.1	OPTIMUM f=2 TT=0.116 T1=0.02	? (TO) TT=1800.02	? TT=1799.65	? TT=1800.03	? (TO) TT=1800.14	? (TO) TT=1800.01
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl20_25_pb.cnf.cr--soft-0-100-0.wbo	MOPT f=10 TT=0.257 T1=0.03	MSAT (TO) f=2395 TT=1800.03 T1=1531.87	? (TO) TT=1800.14	? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800.11	? (TO) TT=1800.13	? (TO) TT=1800.09	? (TO) TT=1800.06	? (TO) TT=1800.11	MSAT (TO) f=10 TT=1800.04 T1=900.21	MSAT (TO) f=10 TT=1800.36 T1=900.21	MSAT (TO) f=10 TT=1800.06 T1=1.02	OPTIMUM f=10 TT=0.257 T1=0.03	? (TO) TT=1800.02	? TT=1799.67	? TT=1799.66	? (TO) TT=1800.12	? (TO) TT=1800.14
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl20_30_pb.cnf.cr--soft-0-100-0.wbo	MOPT f=9 TT=0.27 T1=0.03	MSAT (TO) f=2481 TT=1800.03 T1=1566.19	? (TO) TT=1800.06	? (TO) TT=1800.07	? (TO) TT=1800.1	? (TO) TT=1800.12	? (TO) TT=1800.11	? (TO) TT=1800.04	? (TO) TT=1800.1	? (TO) TT=1800.11	MSAT (TO) f=9 TT=1800.37 T1=900.21	MSAT (TO) f=9 TT=1800.05 T1=900.21	MSAT (TO) f=9 TT=1800.07 T1=0.99	OPTIMUM f=9 TT=0.27 T1=0.03	? (TO) TT=1800.02	? TT=1799.67	? TT=1800.04	? (TO) TT=1800.05	? (TO) TT=1800.13
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl30_31_pb.cnf.cr--soft-0-100-0.wbo	MOPT f=5 TT=0.598 T1=0.3	MSAT (TO) f=2767 TT=1800.03 T1=1483.91	? (TO) TT=1800.08	? (TO) TT=1800.09	? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800.14	? (TO) TT=1800.06	? (TO) TT=1800.12	? (TO) TT=1800.1	MSAT (TO) f=5 TT=1800.16 T1=900.31	MSAT (TO) f=5 TT=1800.11 T1=900.31	MSAT (TO) f=7 TT=1800.09 T1=1.18	OPTIMUM f=5 TT=0.598 T1=0.3	? (TO) TT=1800.1	? TT=1799.58	? TT=1799.6	? (TO) TT=1800.06	? (TO) TT=1800.07
Bench name	Best results	clasp 2.0.6-R5325 (complete)	npSolver 1.0 (complete)	npSolver 1.0 (fixed) (complete)	npSolver inc (complete)	npSolver inc (fixed) (complete)	npSolver inc-topDown (complete)	npSolver inc-topDown (fixed) (complete)	npSolver inc-topdown-quickBound (complete)	npSolver inc-topdown-quickBound (fixed) (complete)	pwbo 2.01 (complete)	pwbo 2.02 (complete)	Sat4j PB 2012-05-28 (complete)	SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed (complete)	toysat 2012-05-17 (complete)	wbo 1.71 (complete)	wbo 1.72 (complete)	wbo2sat 2012-05-19 (complete)	wbo2satCp2 2012-05-19 (complete)
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl30_35_pb.cnf.cr--soft-0-100-0.wbo	MOPT f=7 TT=0.629 T1=0.38	MSAT (TO) f=3077 TT=1800.03 T1=1578.76	? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800.05	? (TO) TT=1800.12	? (TO) TT=1800.12	? (TO) TT=1800.26	? (TO) TT=1800	MSAT (TO) f=7 TT=1800.09 T1=900.31	MSAT (TO) f=7 TT=1800.58 T1=900.41	MSAT (TO) f=7 TT=1800.08 T1=1.2	OPTIMUM f=7 TT=0.629 T1=0.38	? (TO) TT=1800.08	? TT=1799.52	? TT=1799.54	? (TO) TT=1800.13	? (TO) TT=1800.08
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl30_40_pb.cnf.cr--soft-0-100-0.wbo	MOPT f=10 TT=0.555 T1=0.39	MSAT (TO) f=3810 TT=1800.02 T1=1652.06	? (TO) TT=1800.07	? (TO) TT=1800.12	? (TO) TT=1800.09	? (TO) TT=1800.1	? (TO) TT=1800.03	? (TO) TT=1800.12	? (TO) TT=1800.09	? (TO) TT=1800.04	MSAT (TO) f=10 TT=1800.09 T1=900.31	MSAT (TO) f=10 TT=1800.17 T1=900.31	MSAT (TO) f=10 TT=1800.07 T1=3.45	OPTIMUM f=10 TT=0.555 T1=0.39	? (TO) TT=1800.08	? TT=1799.5	? (TO) TT=1800.06	? (TO) TT=1800.05	? (TO) TT=1800.08
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl35_36_pb.cnf.cr--soft-0-100-0.wbo	MOPT f=5 TT=0.793 T1=0.41	MSAT (TO) f=3259 TT=1800.02 T1=1450.29	? (TO) TT=1800.09	? (TO) TT=1800.1	? (TO) TT=1800.06	? (TO) TT=1800.12	? (TO) TT=1800.09	? (TO) TT=1800.05	? (TO) TT=1800.06	? (TO) TT=1800.06	MSAT (TO) f=5 TT=1800.54 T1=900.31	MSAT (TO) f=5 TT=1800.18 T1=900.31	MSAT (TO) f=5 TT=1800.05 T1=0.98	OPTIMUM f=5 TT=0.793 T1=0.41	? (TO) TT=1800.05	? TT=1799.63	? TT=1799.62	? (TO) TT=1800	? (TO) TT=1800.08
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl35_40_pb.cnf.cr--soft-0-100-0.wbo	MOPT f=8 TT=0.556 T1=0.12	MSAT (TO) f=3694 TT=1800.02 T1=1487.85	? (TO) TT=1800.02	? (TO) TT=1800.12	? (TO) TT=1800.1	? (TO) TT=1800.06	? (TO) TT=1800.15	? (TO) TT=1800.01	? (TO) TT=1800.04	? (TO) TT=1800.2	MSAT (TO) f=8 TT=1800.16 T1=900.31	MSAT (TO) f=8 TT=1800.06 T1=900.31	MSAT (TO) f=8 TT=1800.04 T1=0.48	OPTIMUM f=8 TT=0.556 T1=0.12	? (TO) TT=1800.11	? TT=1800.01	? TT=1799.57	? (TO) TT=1800.08	? (TO) TT=1800.05
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl35_45_pb.cnf.cr--soft-0-100-0.wbo	MOPT f=10 TT=1.416 T1=1.04	MSAT (TO) f=4325 TT=1800.01 T1=1571.95	? (TO) TT=1800.02	? (TO) TT=1800.04	? (TO) TT=1800.03	? (TO) TT=1800.08	? (TO) TT=1800.06	? (TO) TT=1800.09	? (TO) TT=1800.1	? (TO) TT=1800.04	MSAT (TO) f=10 TT=1800.49 T1=900.31	MSAT (TO) f=10 TT=1800.4 T1=900.31	MSAT (TO) f=10 TT=1800.06 T1=1.04	OPTIMUM f=10 TT=1.416 T1=1.06	? (TO) TT=1800.09	? TT=1799.53	? TT=1799.51	? (TO) TT=1800.01	? (TO) TT=1800.08
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl40_41_pb.cnf.cr--soft-0-100-0.wbo	MOPT f=5 TT=1.337 T1=1.32	MSAT (TO) f=3865 TT=1800.02 T1=1708.91	? (TO) TT=1800.07	? (TO) TT=1800.09	? (TO) TT=1800.06	? (TO) TT=1800.09	? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.13	? (TO) TT=1800.04	MSAT (TO) f=5 TT=1800.05 T1=900.31	MSAT (TO) f=5 TT=1800.1 T1=900.31	MSAT (TO) f=5 TT=1800.04 T1=3.22	OPTIMUM f=5 TT=1.337 T1=1.32	? (TO) TT=1800.08	? TT=1799.89	? TT=1799.57	? (TO) TT=1800.08	? (TO) TT=1800
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl40_45_pb.cnf.cr--soft-0-100-0.wbo	MOPT f=4 TT=0.974 T1=0.11	MSAT (TO) f=3943 TT=1800.02 T1=1759.85	? (TO) TT=1800.03	? (TO) TT=1800.08	? (TO) TT=1800.05	? (TO) TT=1800.04	? (TO) TT=1800.06	? (TO) TT=1800.05	? (TO) TT=1800.03	? (TO) TT=1800.12	MSAT (TO) f=4 TT=1800.49 T1=900.31	MSAT (TO) f=4 TT=1800.48 T1=900.31	MSAT (TO) f=4 TT=1800.82 T1=7.05	OPTIMUM f=4 TT=0.974 T1=0.11	? (TO) TT=1800.07	? TT=1799.57	? TT=1799.48	? (TO) TT=1800.08	? (TO) TT=1800.08
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl40_50_pb.cnf.cr--soft-0-100-0.wbo	MOPT f=6 TT=1.401 T1=0.18	MSAT (TO) f=5005 TT=1800.03 T1=1171.69	? (TO) TT=1800.01	? (TO) TT=1800	? (TO) TT=1800.03	? (TO) TT=1800.13	? (TO) TT=1800.06	? (TO) TT=1800.08	? (TO) TT=1800.04	? (TO) TT=1800.1	MSAT (TO) f=6 TT=1800.49 T1=900.31	MSAT (TO) f=6 TT=1800.04 T1=900.31	MSAT (TO) f=6 TT=1800.04 T1=2.64	OPTIMUM f=6 TT=1.401 T1=0.18	? (TO) TT=1800.07	? TT=1799.84	? TT=1799.74	? (TO) TT=1800.07	? (TO) TT=1800.13
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl50_51_pb.cnf.cr--soft-0-100-0.wbo	MOPT f=3 TT=1.187 T1=0.92	MSAT (TO) f=5028 TT=1800.02 T1=1389.2	? (TO) TT=1800.07	? (TO) TT=1800.1	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.04	? (TO) TT=1800.08	? (TO) TT=1800.07	? (TO) TT=1800.13	MSAT (TO) f=3 TT=1800.19 T1=900.41	MSAT (TO) f=3 TT=1800.57 T1=900.31	MSAT (TO) f=3 TT=1800.08 T1=3.44	OPTIMUM f=3 TT=1.187 T1=0.92	? (TO) TT=1800.04	? TT=1799.56	? TT=1799.53	? (TO) TT=1800.06	? (TO) TT=1800.07
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl50_55_pb.cnf.cr--soft-0-100-0.wbo	MOPT f=6 TT=2.669 T1=2.17	MSAT (TO) f=5429 TT=1800.03 T1=1441.69	? (TO) TT=1800.07	? (TO) TT=1800.09	? (TO) TT=1800.12	? (TO) TT=1800.07	? (TO) TT=1800.04	? (TO) TT=1800.07	? (TO) TT=1800.09	? (TO) TT=1800.13	MSAT (TO) f=6 TT=1800.01 T1=900.41	MSAT (TO) f=6 TT=1800.14 T1=900.41	MSAT (TO) f=6 TT=1800.01 T1=3.72	OPTIMUM f=6 TT=2.669 T1=2.17	? (TO) TT=1800.06	? TT=1799.79	? TT=1799.89	? (TO) TT=1800.08	? (TO) TT=1800.14
Bench name	Best results	clasp 2.0.6-R5325 (complete)	npSolver 1.0 (complete)	npSolver 1.0 (fixed) (complete)	npSolver inc (complete)	npSolver inc (fixed) (complete)	npSolver inc-topDown (complete)	npSolver inc-topDown (fixed) (complete)	npSolver inc-topdown-quickBound (complete)	npSolver inc-topdown-quickBound (fixed) (complete)	pwbo 2.01 (complete)	pwbo 2.02 (complete)	Sat4j PB 2012-05-28 (complete)	SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed (complete)	toysat 2012-05-17 (complete)	wbo 1.71 (complete)	wbo 1.72 (complete)	wbo2sat 2012-05-19 (complete)	wbo2satCp2 2012-05-19 (complete)
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl50_60_pb.cnf.cr--soft-0-100-0.wbo	MOPT f=3 TT=1.863 T1=0.21	MSAT (TO) f=6072 TT=1800.11 T1=1436.48	? (TO) TT=1800.15	? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800.08	? (TO) TT=1800.06	? (TO) TT=1800.05	? (TO) TT=1800.09	? (TO) TT=1800.06	MSAT (TO) f=3 TT=1800.03 T1=900.31	MSAT (TO) f=3 TT=1800.06 T1=900.41	MSAT (TO) f=3 TT=1800.42 T1=5.48	OPTIMUM f=3 TT=1.863 T1=0.21	? (TO) TT=1800.07	? TT=1799.4	? TT=1799.87	? (TO) TT=1800.12	? (TO) TT=1800.05
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900544484--soft-0-100-0.wbo	MOPT f=1 TT=23.28 T1=10.83	OPTIMUM f=1 TT=53.511 T1=53.52	OPTIMUM f=1 TT=80.012 T1=71.97	OPTIMUM f=1 TT=239.241 T1=228.26	OPTIMUM f=1 TT=79.394 T1=71.45	OPTIMUM f=1 TT=239.583 T1=228.1	OPTIMUM f=1 TT=1038.26 T1=1030.39	OPTIMUM f=1 TT=1624.29 T1=1614.09	? (TO) TT=1800.12	? (TO) TT=1800.13	OPTIMUM f=1 TT=857.97 T1=429.15	OPTIMUM f=1 TT=1079.14 T1=539.6	OPTIMUM f=1 TT=23.28 T1=10.83	OPTIMUM f=1 TT=226.875 T1=25.67	OPTIMUM f=1 TT=60.065 T1=36.62	OPTIMUM f=1 TT=346.9 T1=347.05	OPTIMUM f=1 TT=335.808 T1=335.91	OPTIMUM f=1 TT=69.2 T1=65.3	OPTIMUM f=1 TT=68.15 T1=64.25
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900545610--soft-0-100-0.wbo	MOPT f=1 TT=56.506 T1=12.66	OPTIMUM f=1 TT=75.739 T1=75.75	OPTIMUM f=1 TT=64.809 T1=43.15	OPTIMUM f=1 TT=272.887 T1=260.64	OPTIMUM f=1 TT=61.652 T1=40.34	OPTIMUM f=1 TT=277.118 T1=264.79	? (TO) TT=1800.05	OPTIMUM f=1 TT=346.726 T1=334.55	? (TO) TT=1800.12	? (TO) TT=1800.08	MSAT (TO) f=1 TT=1800.06 T1=900.31	MSAT (TO) f=1 TT=1800.07 T1=900.31	OPTIMUM f=1 TT=56.506 T1=12.66	OPTIMUM f=1 TT=447.529 T1=18.84	OPTIMUM f=1 TT=72.866 T1=37.6	OPTIMUM f=1 TT=1568.55 T1=1568.72	OPTIMUM f=1 TT=1515.86 T1=1516.41	OPTIMUM f=1 TT=69.509 T1=36.11	OPTIMUM f=1 TT=68.705 T1=35.29
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900548667--soft-0-100-0.wbo	MOPT f=1 TT=125.61 T1=5.16	OPTIMUM f=1 TT=203.553 T1=203.59	OPTIMUM f=1 TT=147.613 T1=56.18	? (TO) TT=1800.12	OPTIMUM f=1 TT=146.171 T1=53.46	? (TO) TT=1800.1	OPTIMUM f=1 TT=1098.52 T1=1003.14	? (TO) TT=1800.13	? (TO) TT=1800.1	? (TO) TT=1800.13	MSAT (TO) f=1 TT=1800.62 T1=900.41	MSAT (TO) f=1 TT=1800.12 T1=900.41	OPTIMUM f=1 TT=125.61 T1=5.16	OPTIMUM f=1 TT=937.787 T1=20.57	OPTIMUM f=1 TT=380.718 T1=31.88	? TT=1799.48	? TT=1799.72	OPTIMUM f=1 TT=139.611 T1=34.68	OPTIMUM f=1 TT=138.441 T1=33.24
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900550006--soft-0-100-0.wbo	MOPT f=1 TT=75.662 T1=5.66	OPTIMUM f=1 TT=114.007 T1=114.01	OPTIMUM f=1 TT=233.709 T1=177.54	OPTIMUM f=1 TT=75.662 T1=23.82	OPTIMUM f=1 TT=234.258 T1=177.23	OPTIMUM f=1 TT=77.463 T1=24.11	OPTIMUM f=1 TT=1162.94 T1=1106.77	OPTIMUM f=1 TT=661.999 T1=610.54	? (TO) TT=1800.13	? (TO) TT=1800.13	MSAT (TO) f=1 TT=1800.18 T1=900.41	MSAT (TO) f=1 TT=1800.01 T1=900.31	OPTIMUM f=1 TT=91.409 T1=5.66	OPTIMUM f=1 TT=895.1 T1=25.12	OPTIMUM f=1 TT=81.43 T1=25.93	? TT=1799.83	? TT=1799.8	OPTIMUM f=1 TT=160.998 T1=109.08	OPTIMUM f=1 TT=156.572 T1=105.48
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900550720--soft-0-100-0.wbo	MOPT f=1 TT=77.75 T1=26.62	OPTIMUM f=1 TT=145.472 T1=145.5	OPTIMUM f=1 TT=117.364 T1=77.88	OPTIMUM f=1 TT=219.339 T1=183.13	OPTIMUM f=1 TT=116.002 T1=76.23	OPTIMUM f=1 TT=221.036 T1=184.75	? (TO) TT=1800.07	OPTIMUM f=1 TT=1794.22 T1=1758.8	? (TO) TT=1800.11	? (TO) TT=1800.13	MSAT (TO) f=1 TT=1800.19 T1=900.41	MSAT (TO) f=1 TT=1800.02 T1=900.41	OPTIMUM f=1 TT=77.75 T1=26.62	OPTIMUM f=1 TT=634.255 T1=155.03	OPTIMUM f=1 TT=227.818 T1=192.36	? TT=1799.89	? TT=1799.47	OPTIMUM f=1 TT=94.397 T1=44.39	OPTIMUM f=1 TT=90.506 T1=43.74
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900551347--soft-0-100-0.wbo	MOPT f=2 TT=35.805 T1=32.9	OPTIMUM f=2 TT=35.805 T1=32.9	OPTIMUM f=2 TT=61.362 T1=61.4	OPTIMUM f=2 TT=613.866 T1=606.07	OPTIMUM f=2 TT=73.866 T1=61.19	OPTIMUM f=2 TT=648.873 T1=640.68	? (TO) TT=1800.06	OPTIMUM f=2 TT=1185.75 T1=1171.1	? (TO) TT=1800.13	? (TO) TT=1800.13	OPTIMUM f=2 TT=1049.59 T1=524.94	OPTIMUM f=2 TT=731.839 T1=365.99	OPTIMUM f=2 TT=45.507 T1=37.07	OPTIMUM f=2 TT=351.942 T1=101.72	OPTIMUM f=2 TT=98.124 T1=68.73	OPTIMUM f=2 TT=740.2 T1=740.57	OPTIMUM f=2 TT=725.32 T1=725.75	OPTIMUM f=2 TT=84.237 T1=84.32	OPTIMUM f=2 TT=81.592 T1=81.65
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900552288--soft-0-100-0.wbo	MOPT f=1 TT=56.54 T1=12.09	OPTIMUM f=1 TT=107.41 T1=107.38	OPTIMUM f=1 TT=56.54 T1=17.97	OPTIMUM f=1 TT=115.121 T1=113.95	OPTIMUM f=1 TT=56.585 T1=17.64	OPTIMUM f=1 TT=113.312 T1=112.22	OPTIMUM f=1 TT=597.534 T1=559.26	OPTIMUM f=1 TT=500.594 T1=499.66	? (TO) TT=1800.13	? (TO) TT=1800.08	MSAT (TO) f=1 TT=1800.18 T1=900.41	MSAT (TO) f=1 TT=1800.12 T1=900.31	OPTIMUM f=1 TT=75.67 T1=12.09	OPTIMUM f=1 TT=454.039 T1=25.99	OPTIMUM f=1 TT=188.602 T1=181.43	OPTIMUM f=1 TT=1566.54 T1=1567.05	OPTIMUM f=1 TT=1637.61 T1=1638.13	OPTIMUM f=1 TT=71.696 T1=58.8	OPTIMUM f=1 TT=69.265 T1=56.68
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900552735--soft-0-100-0.wbo	MOPT f=4 TT=110.225 T1=87.84	OPTIMUM f=4 TT=110.225 T1=87.84	OPTIMUM f=4 TT=134.221 T1=124.53	? (TO) TT=1800.12	OPTIMUM f=4 TT=134.397 T1=124.7	? (TO) TT=1800.12	OPTIMUM f=4 TT=1227.16 T1=1217.89	? (TO) TT=1800.07	? (TO) TT=1800.06	? (TO) TT=1800.12	MSAT (TO) f=4 TT=1800.19 T1=900.41	MSAT (TO) f=5 TT=1800.43 T1=900.31	OPTIMUM f=4 TT=118.2 T1=93.77	OPTIMUM f=4 TT=398.14 T1=345.72	? (TO) TT=1800.02	? TT=1799.49	? TT=1799.52	OPTIMUM f=4 TT=130.709 T1=130.74	OPTIMUM f=4 TT=128.935 T1=128.96
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900554072--soft-0-100-0.wbo	MOPT f=1 TT=26.26 T1=17.35	OPTIMUM f=1 TT=46.244 T1=46.25	OPTIMUM f=1 TT=45.279 T1=42.64	OPTIMUM f=1 TT=434.096 T1=429.8	OPTIMUM f=1 TT=44.624 T1=42.16	OPTIMUM f=1 TT=432.776 T1=428.4	OPTIMUM f=1 TT=1148.38 T1=1146.31	OPTIMUM f=1 TT=1184.11 T1=1180.32	? (TO) TT=1800.16	? (TO) TT=1800.06	OPTIMUM f=1 TT=1656.66 T1=828.69	OPTIMUM f=1 TT=1579.08 T1=789.65	OPTIMUM f=1 TT=26.26 T1=17.35	OPTIMUM f=1 TT=557.814 T1=161.72	OPTIMUM f=1 TT=62.526 T1=57.57	OPTIMUM f=1 TT=702.669 T1=702.99	OPTIMUM f=1 TT=703.183 T1=703.24	OPTIMUM f=1 TT=52.646 T1=47.79	OPTIMUM f=1 TT=52.142 T1=47.09
Bench name	Best results	clasp 2.0.6-R5325 (complete)	npSolver 1.0 (complete)	npSolver 1.0 (fixed) (complete)	npSolver inc (complete)	npSolver inc (fixed) (complete)	npSolver inc-topDown (complete)	npSolver inc-topDown (fixed) (complete)	npSolver inc-topdown-quickBound (complete)	npSolver inc-topdown-quickBound (fixed) (complete)	pwbo 2.01 (complete)	pwbo 2.02 (complete)	Sat4j PB 2012-05-28 (complete)	SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed (complete)	toysat 2012-05-17 (complete)	wbo 1.71 (complete)	wbo 1.72 (complete)	wbo2sat 2012-05-19 (complete)	wbo2satCp2 2012-05-19 (complete)
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900556231--soft-0-100-0.wbo	MOPT f=1 TT=40.664 T1=40.44	OPTIMUM f=1 TT=40.664 T1=40.66	OPTIMUM f=1 TT=132.402 T1=116.7	OPTIMUM f=1 TT=424.087 T1=408.24	OPTIMUM f=1 TT=133.04 T1=118.19	OPTIMUM f=1 TT=424.36 T1=408.58	OPTIMUM f=1 TT=975.049 T1=960.1	? (TO) TT=1800.06	? (TO) TT=1800.1	? (TO) TT=1800.11	MSAT (TO) f=1 TT=1800.66 T1=900.31	MSAT (TO) f=1 TT=1800.45 T1=900.31	OPTIMUM f=1 TT=92.56 T1=43.87	OPTIMUM f=1 TT=335.662 T1=43.89	OPTIMUM f=1 TT=1307.9 T1=1296.65	OPTIMUM f=1 TT=895.59 T1=895.96	OPTIMUM f=1 TT=825.05 T1=825.46	OPTIMUM f=1 TT=59.142 T1=41.94	OPTIMUM f=1 TT=57.602 T1=40.44
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900557574--soft-0-100-0.wbo	MOPT f=6 TT=59.355 T1=40.19	OPTIMUM f=6 TT=117.74 T1=81.05	OPTIMUM f=6 TT=128.828 T1=95.43	OPTIMUM f=6 TT=153.958 T1=153.98	OPTIMUM f=6 TT=134.012 T1=99.59	OPTIMUM f=6 TT=158.803 T1=158.86	? (TO) TT=1800.12	? (TO) TT=1800.13	? (TO) TT=1800.12	? (TO) TT=1800.13	MSAT (TO) f=6 TT=1800.14 T1=900.41	MSAT (TO) f=6 TT=1800.48 T1=900.41	OPTIMUM f=6 TT=59.355 T1=40.19	OPTIMUM f=6 TT=487.159 T1=121.5	? (TO) TT=1800.01	? TT=1799.49	? TT=1799.51	OPTIMUM f=6 TT=77.525 T1=55.81	OPTIMUM f=6 TT=77.527 T1=55.89
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900557957--soft-0-100-0.wbo	MOPT f=3 TT=66.65 T1=40.06	OPTIMUM f=3 TT=100.628 T1=71.73	OPTIMUM f=3 TT=76.488 T1=76.63	OPTIMUM f=3 TT=794.519 T1=740.8	OPTIMUM f=3 TT=73.453 T1=73.47	OPTIMUM f=3 TT=793.486 T1=739.4	OPTIMUM f=3 TT=940.683 T1=923.4	? (TO) TT=1800.09	? (TO) TT=1800.13	? (TO) TT=1800.12	MSAT (TO) f=3 TT=1800.11 T1=900.41	MSAT (TO) f=4 TT=1800.55 T1=900.31	OPTIMUM f=3 TT=105.32 T1=74.77	OPTIMUM f=3 TT=225.497 T1=126.39	OPTIMUM f=3 TT=794.541 T1=736.63	? TT=1799.52	? TT=1799.52	OPTIMUM f=3 TT=68.801 T1=42.1	OPTIMUM f=3 TT=66.65 T1=40.06
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900558739--soft-0-100-0.wbo	MOPT f=1 TT=53.166 T1=10.85	OPTIMUM f=1 TT=103.087 T1=103.1	OPTIMUM f=1 TT=199.969 T1=173.22	? (TO) TT=1800.13	OPTIMUM f=1 TT=195.867 T1=168.81	? (TO) TT=1800.14	? (TO) TT=1800.12	OPTIMUM f=1 TT=839.616 T1=814.28	? (TO) TT=1800.12	? (TO) TT=1800.09	MSAT (TO) f=1 TT=1800.38 T1=900.31	MSAT (TO) f=1 TT=1800.14 T1=900.41	OPTIMUM f=1 TT=76.621 T1=10.85	OPTIMUM f=1 TT=759.947 T1=74.19	OPTIMUM f=1 TT=759.193 T1=727.76	OPTIMUM f=1 TT=1173.71 T1=1173.85	OPTIMUM f=1 TT=1160.98 T1=1161.52	OPTIMUM f=1 TT=53.477 T1=48.78	OPTIMUM f=1 TT=53.166 T1=48.59
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900562192--soft-0-100-0.wbo	MOPT f=1 TT=29.215 T1=19.01	OPTIMUM f=1 TT=29.215 T1=29.15	OPTIMUM f=1 TT=195.003 T1=181.5	OPTIMUM f=1 TT=960.675 T1=944.88	OPTIMUM f=1 TT=189.633 T1=176.8	OPTIMUM f=1 TT=961.02 T1=945.37	? (TO) TT=1800.13	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.12	OPTIMUM f=1 TT=1339.56 T1=670.02	OPTIMUM f=1 TT=1221 T1=610.76	OPTIMUM f=1 TT=36.68 T1=19.01	OPTIMUM f=1 TT=341.608 T1=59.41	OPTIMUM f=1 TT=684.821 T1=675.59	OPTIMUM f=1 TT=898.003 T1=898.49	OPTIMUM f=1 TT=880.4 T1=880.81	OPTIMUM f=1 TT=43.637 T1=32.09	OPTIMUM f=1 TT=42.107 T1=30.43
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900564281--soft-0-100-0.wbo	MOPT f=2 TT=33.874 T1=28.42	OPTIMUM f=2 TT=33.874 T1=32.45	OPTIMUM f=2 TT=67.82 T1=67.82	OPTIMUM f=2 TT=219.95 T1=216.96	OPTIMUM f=2 TT=67.747 T1=67.75	OPTIMUM f=2 TT=220.392 T1=217.38	OPTIMUM f=2 TT=1389.84 T1=1384.74	? (TO) TT=1800.04	? (TO) TT=1800.12	? (TO) TT=1800.13	OPTIMUM f=2 TT=1462.66 T1=731.38	OPTIMUM f=2 TT=1384.76 T1=692.52	OPTIMUM f=2 TT=43.428 T1=28.42	OPTIMUM f=2 TT=229.61 T1=169.72	OPTIMUM f=2 TT=974.197 T1=948.97	OPTIMUM f=2 TT=885.87 T1=886.27	OPTIMUM f=2 TT=853.12 T1=853.4	OPTIMUM f=2 TT=108.887 T1=90.78	OPTIMUM f=2 TT=108.684 T1=90.57
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900565534--soft-0-100-0.wbo	MOPT f=1 TT=60.911 T1=8.39	OPTIMUM f=1 TT=104.441 T1=104.46	OPTIMUM f=1 TT=62.142 T1=41.06	OPTIMUM f=1 TT=95.784 T1=94.17	OPTIMUM f=1 TT=60.911 T1=40.12	OPTIMUM f=1 TT=95.744 T1=94.31	? (TO) TT=1800.08	OPTIMUM f=1 TT=697.268 T1=695.84	? (TO) TT=1800.19	? (TO) TT=1800.12	MSAT (TO) f=1 TT=1800.11 T1=900.31	MSAT (TO) f=1 TT=1800.02 T1=900.31	OPTIMUM f=1 TT=84.21 T1=8.39	OPTIMUM f=1 TT=505.26 T1=15.39	OPTIMUM f=1 TT=272.78 T1=247.46	OPTIMUM f=1 TT=1350.37 T1=1350.82	OPTIMUM f=1 TT=1338.35 T1=1338.79	OPTIMUM f=1 TT=64.969 T1=38.26	OPTIMUM f=1 TT=65.029 T1=38.22
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900566157--soft-0-100-0.wbo	MOPT f=1 TT=48.419 T1=37.2	OPTIMUM f=1 TT=61.837 T1=61.84	OPTIMUM f=1 TT=61.277 T1=44.63	OPTIMUM f=1 TT=423.829 T1=413.47	OPTIMUM f=1 TT=61.62 T1=46.07	OPTIMUM f=1 TT=422.993 T1=413.18	OPTIMUM f=1 TT=561.322 T1=546.12	OPTIMUM f=1 TT=1024.89 T1=1015.49	? (TO) TT=1800.13	? (TO) TT=1800.11	OPTIMUM f=1 TT=627.365 T1=313.69	OPTIMUM f=1 TT=868.723 T1=434.53	OPTIMUM f=1 TT=48.419 T1=37.2	OPTIMUM f=1 TT=370.383 T1=171.07	OPTIMUM f=1 TT=249.768 T1=222.19	OPTIMUM f=1 TT=447.194 T1=447.29	OPTIMUM f=1 TT=455.11 T1=455.33	OPTIMUM f=1 TT=100.204 T1=87.74	OPTIMUM f=1 TT=100.795 T1=88.48
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900567985--soft-0-100-0.wbo	MOPT f=1 TT=105.4 T1=11.31	OPTIMUM f=1 TT=197.314 T1=197.34	OPTIMUM f=1 TT=105.4 T1=43.4	OPTIMUM f=1 TT=807.401 T1=801.8	OPTIMUM f=1 TT=105.815 T1=42.06	OPTIMUM f=1 TT=803.38 T1=797.97	OPTIMUM f=1 TT=1688.03 T1=1626	? (TO) TT=1800.12	? (TO) TT=1800.09	? (TO) TT=1800.12	MSAT (TO) f=1 TT=1800.6 T1=900.31	MSAT (TO) f=1 TT=1800.04 T1=900.31	OPTIMUM f=1 TT=182.87 T1=11.31	OPTIMUM f=1 TT=897.713 T1=24.93	? (TO) TT=1800.01	? TT=1799.47	? TT=1799.45	OPTIMUM f=1 TT=110.129 T1=38.63	OPTIMUM f=1 TT=107.576 T1=37.22
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900568186--soft-0-100-0.wbo	MOPT f=3 TT=46.395 T1=34.6	OPTIMUM f=3 TT=91.683 T1=89.42	OPTIMUM f=3 TT=46.864 T1=46.87	OPTIMUM f=3 TT=495.742 T1=481.16	OPTIMUM f=3 TT=46.395 T1=46.4	OPTIMUM f=3 TT=469.558 T1=455.64	OPTIMUM f=3 TT=1184.3 T1=1174.17	? (TO) TT=1800.13	? (TO) TT=1800.07	? (TO) TT=1800.12	OPTIMUM f=3 TT=1251.07 T1=625.81	OPTIMUM f=3 TT=1084.66 T1=542.4	OPTIMUM f=3 TT=47.692 T1=34.6	OPTIMUM f=3 TT=241.995 T1=73.81	OPTIMUM f=3 TT=381.769 T1=354.59	OPTIMUM f=3 TT=1772.7 T1=1773.27	OPTIMUM f=3 TT=1699.32 T1=1699.9	OPTIMUM f=3 TT=91.682 T1=91.72	OPTIMUM f=3 TT=90.287 T1=90.3
Bench name	Best results	clasp 2.0.6-R5325 (complete)	npSolver 1.0 (complete)	npSolver 1.0 (fixed) (complete)	npSolver inc (complete)	npSolver inc (fixed) (complete)	npSolver inc-topDown (complete)	npSolver inc-topDown (fixed) (complete)	npSolver inc-topdown-quickBound (complete)	npSolver inc-topdown-quickBound (fixed) (complete)	pwbo 2.01 (complete)	pwbo 2.02 (complete)	Sat4j PB 2012-05-28 (complete)	SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed (complete)	toysat 2012-05-17 (complete)	wbo 1.71 (complete)	wbo 1.72 (complete)	wbo2sat 2012-05-19 (complete)	wbo2satCp2 2012-05-19 (complete)
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900568706--soft-0-100-0.wbo	MOPT f=1 TT=37.987 T1=32.05	OPTIMUM f=1 TT=100.848 T1=100.87	OPTIMUM f=1 TT=61.507 T1=55.43	OPTIMUM f=1 TT=130.378 T1=124.88	OPTIMUM f=1 TT=61.253 T1=55.09	OPTIMUM f=1 TT=135.506 T1=130.09	OPTIMUM f=1 TT=1086.07 T1=1080.41	OPTIMUM f=1 TT=1359.18 T1=1068.73	? (TO) TT=1800.1	? (TO) TT=1800.1	MSAT (TO) f=1 TT=1800.2 T1=900.41	MSAT (TO) f=1 TT=1800.16 T1=900.31	OPTIMUM f=1 TT=37.987 T1=32.05	OPTIMUM f=1 TT=178.62 T1=35.81	OPTIMUM f=1 TT=223.263 T1=221.23	OPTIMUM f=1 TT=1324.79 T1=1325.21	OPTIMUM f=1 TT=1371.51 T1=1372.03	OPTIMUM f=1 TT=78.002 T1=76.16	OPTIMUM f=1 TT=74.64 T1=72.84
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900569834--soft-0-100-0.wbo	MOPT f=4 TT=58.805 T1=54.41	OPTIMUM f=4 TT=151.356 T1=128.27	OPTIMUM f=4 TT=221.46 T1=201.43	OPTIMUM f=4 TT=651.016 T1=608.81	OPTIMUM f=4 TT=220.013 T1=199.95	OPTIMUM f=4 TT=645.277 T1=602.83	OPTIMUM f=4 TT=1516.87 T1=1496.36	? (TO) TT=1800.12	? (TO) TT=1800.12	? (TO) TT=1800.11	MSAT (TO) f=4 TT=1800.04 T1=900.41	MSAT (TO) f=5 TT=1800.06 T1=900.41	OPTIMUM f=4 TT=110.516 T1=54.41	OPTIMUM f=4 TT=428.738 T1=124.1	OPTIMUM f=4 TT=1572.62 T1=1480.26	? TT=1799.87	? TT=1799.51	OPTIMUM f=4 TT=59.134 T1=59.2	OPTIMUM f=4 TT=58.805 T1=58.82
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900570242--soft-0-100-0.wbo	MOPT f=5 TT=79.724 T1=43.83	OPTIMUM f=5 TT=98.563 T1=48.44	OPTIMUM f=5 TT=83.365 T1=47.43	OPTIMUM f=5 TT=372.14 T1=346.08	OPTIMUM f=5 TT=79.724 T1=43.83	OPTIMUM f=5 TT=368.826 T1=342.87	OPTIMUM f=5 TT=1415.6 T1=1393.96	? (TO) TT=1800.1	? (TO) TT=1800.21	? (TO) TT=1800.11	OPTIMUM f=5 TT=1738.47 T1=869.52	MSAT (TO) f=5 TT=1800.51 T1=900.31	OPTIMUM f=5 TT=105.401 T1=97.31	OPTIMUM f=5 TT=349.121 T1=193.79	OPTIMUM f=5 TT=1791.54 T1=1751.95	? TT=1799.59	? TT=1799.53	OPTIMUM f=5 TT=106.273 T1=78.62	OPTIMUM f=5 TT=104.174 T1=76.67
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900571132--soft-0-100-0.wbo	MOPT f=1 TT=53.362 T1=15.97	OPTIMUM f=1 TT=81.851 T1=81.83	OPTIMUM f=1 TT=118.198 T1=95.97	OPTIMUM f=1 TT=360.379 T1=351.86	OPTIMUM f=1 TT=116.29 T1=95.4	OPTIMUM f=1 TT=359.779 T1=351.26	OPTIMUM f=1 TT=1636.18 T1=1616.07	OPTIMUM f=1 TT=1566.03 T1=1558.16	? (TO) TT=1800.12	? (TO) TT=1800.14	MSAT (TO) f=1 TT=1800.58 T1=900.41	MSAT (TO) f=1 TT=1800.05 T1=900.31	OPTIMUM f=1 TT=75.94 T1=15.97	OPTIMUM f=1 TT=327.332 T1=17.52	OPTIMUM f=1 TT=1337.92 T1=1186.09	OPTIMUM f=1 TT=1190.93 T1=1191.37	OPTIMUM f=1 TT=1137.53 T1=1137.96	OPTIMUM f=1 TT=53.362 T1=28.86	OPTIMUM f=1 TT=54.109 T1=28.84
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900577940--soft-0-100-0.wbo	MOPT f=1 TT=86.009 T1=22.97	OPTIMUM f=1 TT=180.47 T1=180.5	OPTIMUM f=1 TT=86.009 T1=40.5	OPTIMUM f=1 TT=207.409 T1=198.83	OPTIMUM f=1 TT=86.589 T1=41.32	OPTIMUM f=1 TT=206.181 T1=197.68	OPTIMUM f=1 TT=794.624 T1=749.28	OPTIMUM f=1 TT=858.935 T1=850.93	? (TO) TT=1800.12	? (TO) TT=1800.13	MSAT (TO) f=1 TT=1800.41 T1=900.31	MSAT (TO) f=1 TT=1800.05 T1=900.31	OPTIMUM f=1 TT=126.73 T1=23.82	OPTIMUM f=1 TT=645.511 T1=22.97	OPTIMUM f=1 TT=123.384 T1=29.31	? TT=1799.86	? TT=1799.32	OPTIMUM f=1 TT=101.294 T1=40.86	OPTIMUM f=1 TT=99.787 T1=39.34
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900581320--soft-0-100-0.wbo	MOPT f=1 TT=48.238 T1=4.46	OPTIMUM f=1 TT=59.008 T1=59.02	OPTIMUM f=1 TT=67.393 T1=45.31	OPTIMUM f=1 TT=50.823 T1=44.59	OPTIMUM f=1 TT=67.395 T1=46.29	OPTIMUM f=1 TT=48.238 T1=42.38	OPTIMUM f=1 TT=1037.7 T1=1016.9	OPTIMUM f=1 TT=769.558 T1=763.95	? (TO) TT=1800.09	? (TO) TT=1800.13	MSAT (TO) f=1 TT=1800.17 T1=900.41	MSAT (TO) f=1 TT=1800.16 T1=900.41	OPTIMUM f=1 TT=66.534 T1=4.46	OPTIMUM f=1 TT=377.918 T1=18.74	OPTIMUM f=1 TT=142.392 T1=101.4	OPTIMUM f=1 TT=1555.35 T1=1555.5	OPTIMUM f=1 TT=1538.74 T1=1539.24	OPTIMUM f=1 TT=72.674 T1=35.89	OPTIMUM f=1 TT=72.68 T1=36.13
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900584106--soft-0-100-0.wbo	MOPT f=7 TT=72.143 T1=23.94	OPTIMUM f=7 TT=171.284 T1=87.59	OPTIMUM f=7 TT=130.519 T1=24.27	OPTIMUM f=7 TT=163.604 T1=132.48	OPTIMUM f=7 TT=128.856 T1=23.94	OPTIMUM f=7 TT=165.639 T1=133.35	OPTIMUM f=7 TT=1024.23 T1=971.15	? (TO) TT=1800.09	? (TO) TT=1800.1	? (TO) TT=1800.06	MSAT (TO) f=7 TT=1800.2 T1=900.41	MSAT (TO) f=7 TT=1800.03 T1=900.31	OPTIMUM f=7 TT=72.143 T1=26.04	OPTIMUM f=7 TT=553.435 T1=128.67	OPTIMUM f=7 TT=1420.81 T1=961.38	? TT=1799.45	? TT=1799.51	OPTIMUM f=7 TT=142.831 T1=35.21	OPTIMUM f=7 TT=143.866 T1=35.56
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900667195--soft-0-100-0.wbo	MOPT f=1 TT=97.452 T1=17.6	OPTIMUM f=1 TT=97.452 T1=97.47	OPTIMUM f=1 TT=170.695 T1=121.3	OPTIMUM f=1 TT=280.836 T1=269.27	OPTIMUM f=1 TT=162.223 T1=115.23	OPTIMUM f=1 TT=280.829 T1=269.47	OPTIMUM f=1 TT=1060.51 T1=1013.23	OPTIMUM f=1 TT=1134.52 T1=1123.46	? (TO) TT=1800.12	? (TO) TT=1800.13	MSAT (TO) f=1 TT=1800.19 T1=900.31	MSAT (TO) f=1 TT=1800.56 T1=900.41	OPTIMUM f=1 TT=105.61 T1=17.69	OPTIMUM f=1 TT=798.868 T1=17.6	OPTIMUM f=1 TT=320.852 T1=272.78	OPTIMUM f=1 TT=1640.64 T1=1641.26	OPTIMUM f=1 TT=1543.7 T1=1543.87	OPTIMUM f=1 TT=98.375 T1=52.11	OPTIMUM f=1 TT=97.466 T1=51.87
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900669797--soft-0-100-0.wbo	MOPT f=1 TT=44.27 T1=20.04	OPTIMUM f=1 TT=44.578 T1=44.58	OPTIMUM f=1 TT=50.994 T1=35.02	OPTIMUM f=1 TT=44.27 T1=42.65	OPTIMUM f=1 TT=50.961 T1=35.03	OPTIMUM f=1 TT=46.458 T1=44.84	OPTIMUM f=1 TT=1116.9 T1=1101.85	OPTIMUM f=1 TT=428.122 T1=426.63	? (TO) TT=1800.13	? (TO) TT=1800.12	OPTIMUM f=1 TT=1740.09 T1=870.45	MSAT (TO) f=1 TT=1800.12 T1=900.31	OPTIMUM f=1 TT=73.434 T1=20.04	OPTIMUM f=1 TT=335.006 T1=52.98	OPTIMUM f=1 TT=271.164 T1=261.28	OPTIMUM f=1 TT=1576.22 T1=1576.84	OPTIMUM f=1 TT=1630.36 T1=1630.98	OPTIMUM f=1 TT=62.156 T1=52.24	OPTIMUM f=1 TT=60.285 T1=50.26
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900670167--soft-0-100-0.wbo	MOPT f=1 TT=40.1 T1=29.14	OPTIMUM f=1 TT=42.692 T1=42.69	OPTIMUM f=1 TT=40.1 T1=33.24	OPTIMUM f=1 TT=169.586 T1=168.74	OPTIMUM f=1 TT=40.461 T1=33.36	OPTIMUM f=1 TT=170.512 T1=169.65	OPTIMUM f=1 TT=518.178 T1=511.86	OPTIMUM f=1 TT=119.177 T1=118.34	? (TO) TT=1800.09	? (TO) TT=1800.13	OPTIMUM f=1 TT=1368.87 T1=684.76	OPTIMUM f=1 TT=1756.07 T1=878.31	OPTIMUM f=1 TT=70.98 T1=40.23	OPTIMUM f=1 TT=489.347 T1=29.14	OPTIMUM f=1 TT=111.706 T1=105.31	OPTIMUM f=1 TT=877.96 T1=878.25	OPTIMUM f=1 TT=873.17 T1=873.48	OPTIMUM f=1 TT=58.509 T1=50.56	OPTIMUM f=1 TT=58.861 T1=50.58
Bench name	Best results	clasp 2.0.6-R5325 (complete)	npSolver 1.0 (complete)	npSolver 1.0 (fixed) (complete)	npSolver inc (complete)	npSolver inc (fixed) (complete)	npSolver inc-topDown (complete)	npSolver inc-topDown (fixed) (complete)	npSolver inc-topdown-quickBound (complete)	npSolver inc-topdown-quickBound (fixed) (complete)	pwbo 2.01 (complete)	pwbo 2.02 (complete)	Sat4j PB 2012-05-28 (complete)	SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed (complete)	toysat 2012-05-17 (complete)	wbo 1.71 (complete)	wbo 1.72 (complete)	wbo2sat 2012-05-19 (complete)	wbo2satCp2 2012-05-19 (complete)
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900670234--soft-0-100-0.wbo	MOPT f=1 TT=140.925 T1=44.87	OPTIMUM f=1 TT=167.119 T1=166.27	OPTIMUM f=1 TT=140.925 T1=61.82	OPTIMUM f=1 TT=1295.09 T1=1289.07	OPTIMUM f=1 TT=142.49 T1=59.7	OPTIMUM f=1 TT=1324.02 T1=1317.66	OPTIMUM f=1 TT=889.177 T1=812.55	? (TO) TT=1800.05	? (TO) TT=1800.09	? (TO) TT=1800.13	MSAT (TO) f=1 TT=1800.09 T1=900.41	MSAT (TO) f=1 TT=1800.46 T1=900.31	OPTIMUM f=1 TT=175.34 T1=44.87	OPTIMUM f=1 TT=371.675 T1=62.13	OPTIMUM f=1 TT=927.129 T1=887.84	? TT=1799.91	? TT=1799.47	OPTIMUM f=1 TT=150.178 T1=68.18	OPTIMUM f=1 TT=148.189 T1=67.09
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110966483--soft-0-100-0.wbo	MOPT f=19 TT=0.279 T1=0.25	OPTIMUM f=19 TT=15.719 T1=13.5	OPTIMUM f=19 TT=19.195 T1=9.32	OPTIMUM f=19 TT=167.915 T1=153.34	OPTIMUM f=19 TT=19.129 T1=9.3	OPTIMUM f=19 TT=169.114 T1=154.42	OPTIMUM f=19 TT=36.549 T1=33.97	? (TO) TT=1800.08	? (TO) TT=1800.21	? (TO) TT=1800.06	OPTIMUM f=19 TT=323.753 T1=161.89	OPTIMUM f=19 TT=331.3 T1=165.77	OPTIMUM f=19 TT=54.716 T1=51.7	OPTIMUM f=19 TT=0.279 T1=0.25	OPTIMUM f=19 TT=68.912 T1=56.98	OPTIMUM f=19 TT=105.77 T1=105.82	OPTIMUM f=19 TT=97.07 T1=97.13	OPTIMUM f=19 TT=16.128 T1=10.22	OPTIMUM f=19 TT=16.147 T1=10.45
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110967142--soft-0-100-0.wbo	MOPT f=9 TT=1.559 T1=0.48	OPTIMUM f=9 TT=6.019 T1=4.06	OPTIMUM f=9 TT=36.54 T1=5.14	OPTIMUM f=9 TT=386.183 T1=386.29	OPTIMUM f=9 TT=36.738 T1=5.24	OPTIMUM f=9 TT=392.398 T1=392.48	OPTIMUM f=9 TT=22.654 T1=12.62	? (TO) TT=1800.11	? (TO) TT=1800.08	? (TO) TT=1800.1	OPTIMUM f=9 TT=59.953 T1=29.97	OPTIMUM f=9 TT=63.77 T1=31.95	OPTIMUM f=9 TT=11.221 T1=5.34	OPTIMUM f=9 TT=1.559 T1=0.48	OPTIMUM f=9 TT=61.726 T1=29.86	OPTIMUM f=9 TT=152.322 T1=152.31	OPTIMUM f=9 TT=153.56 T1=153.68	OPTIMUM f=9 TT=37.188 T1=2.31	OPTIMUM f=9 TT=37.522 T1=2.28
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110967523--soft-0-100-0.wbo	MOPT f=3 TT=0.698 T1=0.49	OPTIMUM f=3 TT=3.961 T1=3.29	OPTIMUM f=3 TT=20.943 T1=7.3	OPTIMUM f=3 TT=176.073 T1=146.27	OPTIMUM f=3 TT=21.025 T1=7.13	OPTIMUM f=3 TT=173.931 T1=144.4	OPTIMUM f=3 TT=49.954 T1=42.91	? (TO) TT=1800.09	? (TO) TT=1800.12	? (TO) TT=1800.12	OPTIMUM f=3 TT=50.58 T1=25.33	OPTIMUM f=3 TT=49.77 T1=24.91	OPTIMUM f=3 TT=22.723 T1=17.85	OPTIMUM f=3 TT=0.698 T1=0.49	OPTIMUM f=3 TT=54.298 T1=33.84	OPTIMUM f=3 TT=45.88 T1=45.9	OPTIMUM f=3 TT=45.47 T1=45.52	OPTIMUM f=3 TT=22.63 T1=5.94	OPTIMUM f=3 TT=21.607 T1=5.68
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110968561--soft-0-100-0.wbo	MOPT f=3 TT=0.505 T1=0.39	OPTIMUM f=3 TT=3.509 T1=3.5	OPTIMUM f=3 TT=17.211 T1=17.2	OPTIMUM f=3 TT=150.105 T1=150.15	OPTIMUM f=3 TT=17.118 T1=17.17	OPTIMUM f=3 TT=150.994 T1=151.04	OPTIMUM f=3 TT=84.092 T1=77.79	? (TO) TT=1800.17	? (TO) TT=1800.03	? (TO) TT=1800.07	OPTIMUM f=3 TT=75.862 T1=37.94	OPTIMUM f=3 TT=82.33 T1=41.17	OPTIMUM f=3 TT=15.322 T1=12.93	OPTIMUM f=3 TT=0.505 T1=0.39	OPTIMUM f=3 TT=30.331 T1=7.88	OPTIMUM f=3 TT=42.98 T1=43.01	OPTIMUM f=3 TT=43.48 T1=43.55	OPTIMUM f=3 TT=20.699 T1=20.95	OPTIMUM f=3 TT=20.727 T1=21.06
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110969860--soft-0-100-0.wbo	MOPT f=1 TT=0.76 T1=0.56	OPTIMUM f=1 TT=2.78 T1=2.78	OPTIMUM f=1 TT=18.599 T1=11.19	OPTIMUM f=1 TT=75.86 T1=62.01	OPTIMUM f=1 TT=18.62 T1=11.29	OPTIMUM f=1 TT=73.861 T1=60.12	OPTIMUM f=1 TT=105.317 T1=98.3	OPTIMUM f=1 TT=75.463 T1=62.32	? (TO) TT=1800.14	? (TO) TT=1800.12	OPTIMUM f=1 TT=28.849 T1=14.46	OPTIMUM f=1 TT=35.818 T1=17.95	OPTIMUM f=1 TT=21.179 T1=18.04	OPTIMUM f=1 TT=0.76 T1=0.56	OPTIMUM f=1 TT=29.288 T1=11.38	OPTIMUM f=1 TT=16.593 T1=16.62	OPTIMUM f=1 TT=15.821 T1=15.86	OPTIMUM f=1 TT=11.42 T1=4.08	OPTIMUM f=1 TT=11.41 T1=3.83
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110970631--soft-0-100-0.wbo	MOPT f=16 TT=0.502 T1=0.48	OPTIMUM f=16 TT=20.819 T1=14.61	OPTIMUM f=16 TT=34.548 T1=10.56	OPTIMUM f=16 TT=180.666 T1=180.72	OPTIMUM f=16 TT=34.503 T1=10.47	OPTIMUM f=16 TT=180.594 T1=180.63	OPTIMUM f=16 TT=116.758 T1=109.96	? (TO) TT=1800.09	? (TO) TT=1800.21	? (TO) TT=1800.09	OPTIMUM f=16 TT=303.9 T1=152.02	OPTIMUM f=16 TT=166.177 T1=83.08	OPTIMUM f=16 TT=39.097 T1=34.89	OPTIMUM f=16 TT=0.502 T1=0.48	OPTIMUM f=16 TT=68.945 T1=64.44	OPTIMUM f=16 TT=1011.56 T1=1011.83	OPTIMUM f=16 TT=1118.74 T1=1118.82	OPTIMUM f=16 TT=29.238 T1=16.92	OPTIMUM f=16 TT=29.225 T1=16.85
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110971363--soft-0-100-0.wbo	MOPT f=4 TT=0.593 T1=0.57	OPTIMUM f=4 TT=5.61 T1=5.61	OPTIMUM f=4 TT=21.167 T1=21.17	OPTIMUM f=4 TT=201.107 T1=201.14	OPTIMUM f=4 TT=21.107 T1=21.11	OPTIMUM f=4 TT=199.532 T1=199.6	OPTIMUM f=4 TT=76.182 T1=69.08	? (TO) TT=1800.08	? (TO) TT=1800.1	? (TO) TT=1800.12	OPTIMUM f=4 TT=151.18 T1=75.69	OPTIMUM f=4 TT=137.16 T1=68.68	OPTIMUM f=4 TT=15.063 T1=13.14	OPTIMUM f=4 TT=0.593 T1=0.57	OPTIMUM f=4 TT=115.83 T1=111.69	OPTIMUM f=4 TT=65.68 T1=65.76	OPTIMUM f=4 TT=66.68 T1=66.72	OPTIMUM f=4 TT=21.721 T1=21.73	OPTIMUM f=4 TT=21.798 T1=21.8
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110972154--soft-0-100-0.wbo	MOPT f=1 TT=0.382 T1=0.3	OPTIMUM f=1 TT=6.494 T1=3.3	OPTIMUM f=1 TT=19.173 T1=13.55	OPTIMUM f=1 TT=85.665 T1=77.98	OPTIMUM f=1 TT=19.218 T1=13.54	OPTIMUM f=1 TT=85.657 T1=78.1	OPTIMUM f=1 TT=139.815 T1=134.2	? (TO) TT=1800.1	? (TO) TT=1800.22	? (TO) TT=1800.06	OPTIMUM f=1 TT=50.055 T1=25.09	OPTIMUM f=1 TT=49.38 T1=24.72	OPTIMUM f=1 TT=12.291 T1=9.73	OPTIMUM f=1 TT=0.382 T1=0.3	OPTIMUM f=1 TT=32.291 T1=29.58	OPTIMUM f=1 TT=22.042 T1=22.09	OPTIMUM f=1 TT=22.342 T1=22.39	OPTIMUM f=1 TT=12.812 T1=8.39	OPTIMUM f=1 TT=12.819 T1=8.36
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110972763--soft-0-100-0.wbo	MOPT f=1 TT=0.577 T1=0.57	OPTIMUM f=1 TT=1.887 T1=1.88	OPTIMUM f=1 TT=14.513 T1=9.84	OPTIMUM f=1 TT=44.871 T1=37.9	OPTIMUM f=1 TT=14.205 T1=9.9	OPTIMUM f=1 TT=46.704 T1=39.77	OPTIMUM f=1 TT=64.836 T1=60.71	OPTIMUM f=1 TT=46.05 T1=39.11	? (TO) TT=1800.78	? (TO) TT=1800.11	OPTIMUM f=1 TT=33.088 T1=16.58	OPTIMUM f=1 TT=50.39 T1=25.23	OPTIMUM f=1 TT=22.801 T1=20.67	OPTIMUM f=1 TT=0.577 T1=0.57	OPTIMUM f=1 TT=70.206 T1=60.49	OPTIMUM f=1 TT=15.173 T1=15.17	OPTIMUM f=1 TT=14.98 T1=15	OPTIMUM f=1 TT=17.625 T1=13.38	OPTIMUM f=1 TT=17.583 T1=13.22
Bench name	Best results	clasp 2.0.6-R5325 (complete)	npSolver 1.0 (complete)	npSolver 1.0 (fixed) (complete)	npSolver inc (complete)	npSolver inc (fixed) (complete)	npSolver inc-topDown (complete)	npSolver inc-topDown (fixed) (complete)	npSolver inc-topdown-quickBound (complete)	npSolver inc-topdown-quickBound (fixed) (complete)	pwbo 2.01 (complete)	pwbo 2.02 (complete)	Sat4j PB 2012-05-28 (complete)	SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed (complete)	toysat 2012-05-17 (complete)	wbo 1.71 (complete)	wbo 1.72 (complete)	wbo2sat 2012-05-19 (complete)	wbo2satCp2 2012-05-19 (complete)
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110973670--soft-0-100-0.wbo	MOPT f=1 TT=0.75 T1=0.63	OPTIMUM f=1 TT=2.138 T1=2.13	OPTIMUM f=1 TT=13.871 T1=7.95	OPTIMUM f=1 TT=39.661 T1=32.94	OPTIMUM f=1 TT=13.988 T1=8.07	OPTIMUM f=1 TT=39.819 T1=33	OPTIMUM f=1 TT=54.994 T1=49.03	OPTIMUM f=1 TT=40.703 T1=33.87	? (TO) TT=1800.29	? (TO) TT=1800.14	OPTIMUM f=1 TT=26.798 T1=13.4	OPTIMUM f=1 TT=32.028 T1=16.02	OPTIMUM f=1 TT=10.8 T1=9.27	OPTIMUM f=1 TT=0.75 T1=0.63	OPTIMUM f=1 TT=38.641 T1=24.56	OPTIMUM f=1 TT=17.301 T1=17.34	OPTIMUM f=1 TT=17.542 T1=17.58	OPTIMUM f=1 TT=16.421 T1=10.25	OPTIMUM f=1 TT=16.381 T1=10.07
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110974180--soft-0-100-0.wbo	MOPT f=1 TT=0.557 T1=0.47	OPTIMUM f=1 TT=1.698 T1=1.69	OPTIMUM f=1 TT=15.275 T1=9.38	OPTIMUM f=1 TT=60.288 T1=49.35	OPTIMUM f=1 TT=15.238 T1=9.3	OPTIMUM f=1 TT=58.347 T1=47.37	OPTIMUM f=1 TT=60.651 T1=54.82	OPTIMUM f=1 TT=58.151 T1=47.43	? (TO) TT=1800.05	? (TO) TT=1800.11	OPTIMUM f=1 TT=37.98 T1=19.02	OPTIMUM f=1 TT=53.028 T1=26.51	OPTIMUM f=1 TT=23.192 T1=21.34	OPTIMUM f=1 TT=0.557 T1=0.47	OPTIMUM f=1 TT=36.779 T1=21.75	OPTIMUM f=1 TT=29.021 T1=29.09	OPTIMUM f=1 TT=29.28 T1=29.33	OPTIMUM f=1 TT=25.367 T1=17.93	OPTIMUM f=1 TT=25.449 T1=18
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110976935--soft-0-100-0.wbo	MOPT f=2 TT=0.394 T1=0.36	OPTIMUM f=2 TT=2.119 T1=2.12	OPTIMUM f=2 TT=14.705 T1=10.95	OPTIMUM f=2 TT=182.391 T1=170.08	OPTIMUM f=2 TT=14.558 T1=10.83	OPTIMUM f=2 TT=178.112 T1=165.64	OPTIMUM f=2 TT=93.426 T1=90.02	? (TO) TT=1800.12	? (TO) TT=1800.11	? (TO) TT=1800.05	OPTIMUM f=2 TT=33.478 T1=16.78	OPTIMUM f=2 TT=42.026 T1=21.02	OPTIMUM f=2 TT=16.201 T1=14.42	OPTIMUM f=2 TT=0.394 T1=0.36	OPTIMUM f=2 TT=24.948 T1=14.32	OPTIMUM f=2 TT=20.022 T1=20.07	OPTIMUM f=2 TT=20.48 T1=20.5	OPTIMUM f=2 TT=14.791 T1=11.13	OPTIMUM f=2 TT=14.759 T1=11.03
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110977273--soft-0-100-0.wbo	MOPT f=1 TT=0.86 T1=0.77	OPTIMUM f=1 TT=1.898 T1=1.89	OPTIMUM f=1 TT=15.436 T1=10.95	OPTIMUM f=1 TT=41.013 T1=34.26	OPTIMUM f=1 TT=15.459 T1=11.05	OPTIMUM f=1 TT=40.73 T1=33.98	OPTIMUM f=1 TT=79.716 T1=75.44	OPTIMUM f=1 TT=40.393 T1=33.68	? (TO) TT=1613.5	? (TO) TT=1800.12	OPTIMUM f=1 TT=17.32 T1=8.68	OPTIMUM f=1 TT=34.998 T1=17.54	OPTIMUM f=1 TT=20.781 T1=18.71	OPTIMUM f=1 TT=0.86 T1=0.77	OPTIMUM f=1 TT=119.571 T1=112.01	OPTIMUM f=1 TT=13.701 T1=13.73	OPTIMUM f=1 TT=13.571 T1=13.57	OPTIMUM f=1 TT=23.114 T1=17.95	OPTIMUM f=1 TT=23.108 T1=17.9
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110977780--soft-0-100-0.wbo	MOPT f=10 TT=0.421 T1=0.41	OPTIMUM f=10 TT=13.127 T1=13.12	OPTIMUM f=10 TT=22.192 T1=15.33	OPTIMUM f=10 TT=233.363 T1=202.87	OPTIMUM f=10 TT=22.14 T1=15.37	OPTIMUM f=10 TT=235.436 T1=204.81	OPTIMUM f=10 TT=62.829 T1=60.23	? (TO) TT=1800.1	? (TO) TT=1801.01	? (TO) TT=1800.07	OPTIMUM f=10 TT=81.63 T1=40.82	OPTIMUM f=10 TT=124.38 T1=62.29	OPTIMUM f=10 TT=36.789 T1=34.55	OPTIMUM f=10 TT=0.421 T1=0.41	OPTIMUM f=10 TT=18.089 T1=1.77	OPTIMUM f=10 TT=57.17 T1=57.24	OPTIMUM f=10 TT=54.487 T1=54.49	OPTIMUM f=10 TT=26.599 T1=22.66	OPTIMUM f=10 TT=26.57 T1=22.75
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110978113--soft-0-100-0.wbo	MOPT f=9 TT=0.978 T1=0.52	OPTIMUM f=9 TT=4.701 T1=3.94	OPTIMUM f=9 TT=20.645 T1=20.64	OPTIMUM f=9 TT=147.876 T1=147.91	OPTIMUM f=9 TT=20.716 T1=20.71	OPTIMUM f=9 TT=147.494 T1=147.53	OPTIMUM f=9 TT=46.779 T1=39.07	OPTIMUM f=9 TT=1160.76 T1=1137.5	? (TO) TT=1800.07	? (TO) TT=1800.1	OPTIMUM f=9 TT=72.825 T1=36.41	OPTIMUM f=9 TT=79.19 T1=39.66	OPTIMUM f=9 TT=16.394 T1=12.87	OPTIMUM f=9 TT=0.978 T1=0.52	OPTIMUM f=9 TT=52.585 T1=37.28	OPTIMUM f=9 TT=107.746 T1=107.74	OPTIMUM f=9 TT=102.27 T1=102.37	OPTIMUM f=9 TT=19.849 T1=19.85	OPTIMUM f=9 TT=19.92 T1=19.93
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110978334--soft-0-100-0.wbo	MOPT f=9 TT=0.536 T1=0.49	OPTIMUM f=9 TT=4.18 T1=2.92	OPTIMUM f=9 TT=31.377 T1=8.75	OPTIMUM f=9 TT=136.028 T1=136.05	OPTIMUM f=9 TT=31.534 T1=8.87	OPTIMUM f=9 TT=134.404 T1=134.43	OPTIMUM f=9 TT=59.969 T1=51.54	OPTIMUM f=9 TT=1250.34 T1=1237.2	? (TO) TT=1800.15	? (TO) TT=1800.08	OPTIMUM f=9 TT=111.2 T1=55.69	OPTIMUM f=9 TT=140.13 T1=70.16	OPTIMUM f=9 TT=18.463 T1=13.08	OPTIMUM f=9 TT=0.536 T1=0.49	OPTIMUM f=9 TT=44.262 T1=29.36	OPTIMUM f=9 TT=82.08 T1=82.1	OPTIMUM f=9 TT=77.97 T1=78.03	OPTIMUM f=9 TT=32.485 T1=9.28	OPTIMUM f=9 TT=32.67 T1=9.29
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111212476--soft-0-100-0.wbo	MOPT f=2 TT=0.681 T1=0.55	OPTIMUM f=2 TT=3.297 T1=3.29	OPTIMUM f=2 TT=37.254 T1=25.72	OPTIMUM f=2 TT=218.653 T1=195.06	OPTIMUM f=2 TT=36.683 T1=24.9	OPTIMUM f=2 TT=218.834 T1=195.06	OPTIMUM f=2 TT=82.38 T1=70.94	? (TO) TT=1800.15	? (TO) TT=1800.14	? (TO) TT=1800.06	OPTIMUM f=2 TT=49.18 T1=24.63	OPTIMUM f=2 TT=62.284 T1=31.14	OPTIMUM f=2 TT=32.112 T1=30.05	OPTIMUM f=2 TT=0.681 T1=0.55	OPTIMUM f=2 TT=67.379 T1=47.6	OPTIMUM f=2 TT=46.98 T1=47.07	OPTIMUM f=2 TT=45.17 T1=45.26	OPTIMUM f=2 TT=54.994 T1=55.01	OPTIMUM f=2 TT=55.138 T1=55.15
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111213670--soft-0-100-0.wbo	MOPT f=10 TT=0.563 T1=0.53	OPTIMUM f=10 TT=19.66 T1=17.84	OPTIMUM f=10 TT=34.013 T1=34.01	OPTIMUM f=10 TT=478.751 T1=478.86	OPTIMUM f=10 TT=33.594 T1=33.65	OPTIMUM f=10 TT=484.268 T1=484.38	OPTIMUM f=10 TT=93.562 T1=84.19	? (TO) TT=1800.07	? (TO) TT=1800.09	? (TO) TT=1800.18	OPTIMUM f=10 TT=111.75 T1=55.9	OPTIMUM f=10 TT=208.178 T1=104.08	OPTIMUM f=10 TT=24.372 T1=18.55	OPTIMUM f=10 TT=0.563 T1=0.53	OPTIMUM f=10 TT=53.697 T1=15.66	OPTIMUM f=10 TT=97.992 T1=98.09	OPTIMUM f=10 TT=92.87 T1=92.93	OPTIMUM f=10 TT=62.488 T1=51.64	OPTIMUM f=10 TT=62.765 T1=52.16
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111213868--soft-0-100-0.wbo	MOPT f=2 TT=0.913 T1=0.82	OPTIMUM f=2 TT=3.738 T1=3.73	OPTIMUM f=2 TT=14.095 T1=9.68	OPTIMUM f=2 TT=51.904 T1=38.86	OPTIMUM f=2 TT=14.109 T1=9.42	OPTIMUM f=2 TT=52.179 T1=39.14	OPTIMUM f=2 TT=56.852 T1=52.31	OPTIMUM f=2 TT=54.32 T1=40.98	? (TO) TT=1800.13	? (TO) TT=1800.1	OPTIMUM f=2 TT=44.57 T1=22.3	OPTIMUM f=2 TT=29.039 T1=14.55	OPTIMUM f=2 TT=19.95 T1=17.51	OPTIMUM f=2 TT=0.913 T1=0.82	OPTIMUM f=2 TT=64.098 T1=59.14	OPTIMUM f=2 TT=19.441 T1=19.49	OPTIMUM f=2 TT=18.88 T1=18.9	OPTIMUM f=2 TT=19.264 T1=14.43	OPTIMUM f=2 TT=19.244 T1=14.24
Bench name	Best results	clasp 2.0.6-R5325 (complete)	npSolver 1.0 (complete)	npSolver 1.0 (fixed) (complete)	npSolver inc (complete)	npSolver inc (fixed) (complete)	npSolver inc-topDown (complete)	npSolver inc-topDown (fixed) (complete)	npSolver inc-topdown-quickBound (complete)	npSolver inc-topdown-quickBound (fixed) (complete)	pwbo 2.01 (complete)	pwbo 2.02 (complete)	Sat4j PB 2012-05-28 (complete)	SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed (complete)	toysat 2012-05-17 (complete)	wbo 1.71 (complete)	wbo 1.72 (complete)	wbo2sat 2012-05-19 (complete)	wbo2satCp2 2012-05-19 (complete)
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111216411--soft-0-100-0.wbo	MOPT f=2 TT=0.448 T1=0.42	OPTIMUM f=2 TT=3.016 T1=3.01	OPTIMUM f=2 TT=19.497 T1=19.5	OPTIMUM f=2 TT=137.448 T1=137.46	OPTIMUM f=2 TT=19.351 T1=19.62	OPTIMUM f=2 TT=137.698 T1=137.73	OPTIMUM f=2 TT=27.464 T1=20.81	OPTIMUM f=2 TT=462.303 T1=447.83	? (TO) TT=1800.3	? (TO) TT=1800.05	OPTIMUM f=2 TT=34.688 T1=17.38	OPTIMUM f=2 TT=49.725 T1=24.86	OPTIMUM f=2 TT=22.701 T1=20.88	OPTIMUM f=2 TT=0.448 T1=0.42	OPTIMUM f=2 TT=29.327 T1=26.41	OPTIMUM f=2 TT=33.18 T1=33.21	OPTIMUM f=2 TT=32.79 T1=32.84	OPTIMUM f=2 TT=20.39 T1=12.79	OPTIMUM f=2 TT=20.377 T1=12.78
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111217392--soft-0-100-0.wbo	MOPT f=2 TT=0.701 T1=0.62	OPTIMUM f=2 TT=2.158 T1=2.15	OPTIMUM f=2 TT=16.705 T1=12.84	OPTIMUM f=2 TT=75.027 T1=63.91	OPTIMUM f=2 TT=16.681 T1=12.7	OPTIMUM f=2 TT=73.958 T1=63.02	OPTIMUM f=2 TT=87.93 T1=84.3	OPTIMUM f=2 TT=828.692 T1=817.88	? (TO) TT=1800.06	? (TO) TT=1800.11	OPTIMUM f=2 TT=53.625 T1=26.88	OPTIMUM f=2 TT=53.195 T1=26.66	OPTIMUM f=2 TT=16.941 T1=15.25	OPTIMUM f=2 TT=0.701 T1=0.62	OPTIMUM f=2 TT=71.629 T1=69.74	OPTIMUM f=2 TT=22.78 T1=22.8	OPTIMUM f=2 TT=22.17 T1=22.23	OPTIMUM f=2 TT=26.933 T1=27	OPTIMUM f=2 TT=26.941 T1=27.26
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218024--soft-0-100-0.wbo	MOPT f=10 TT=0.604 T1=0.59	OPTIMUM f=10 TT=28.483 T1=28.48	OPTIMUM f=10 TT=66.821 T1=52.83	OPTIMUM f=10 TT=202.552 T1=202.59	OPTIMUM f=10 TT=67.138 T1=53.41	OPTIMUM f=10 TT=201.244 T1=201.36	OPTIMUM f=10 TT=110.38 T1=96.82	? (TO) TT=1800.12	? (TO) TT=1800.48	? (TO) TT=1800.13	OPTIMUM f=10 TT=156.34 T1=78.23	OPTIMUM f=10 TT=159.76 T1=79.91	OPTIMUM f=10 TT=22.12 T1=14.83	OPTIMUM f=10 TT=0.604 T1=0.59	OPTIMUM f=10 TT=52.577 T1=2.62	OPTIMUM f=10 TT=197.76 T1=197.87	OPTIMUM f=10 TT=184.626 T1=184.62	OPTIMUM f=10 TT=54.129 T1=18.63	OPTIMUM f=10 TT=53.957 T1=18.8
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111222539--soft-0-100-0.wbo	MOPT f=2 TT=0.466 T1=0.45	OPTIMUM f=2 TT=2.691 T1=2.69	OPTIMUM f=2 TT=21.804 T1=16.16	OPTIMUM f=2 TT=146.79 T1=131.18	OPTIMUM f=2 TT=21.95 T1=16.27	OPTIMUM f=2 TT=144.514 T1=129.35	OPTIMUM f=2 TT=94.141 T1=88.98	? (TO) TT=1800.08	? (TO) TT=1800.23	? (TO) TT=1800.14	OPTIMUM f=2 TT=49.97 T1=25.03	OPTIMUM f=2 TT=73.151 T1=36.58	OPTIMUM f=2 TT=22.171 T1=19.67	OPTIMUM f=2 TT=0.466 T1=0.45	OPTIMUM f=2 TT=34.252 T1=29.05	OPTIMUM f=2 TT=25.901 T1=25.89	OPTIMUM f=2 TT=24.58 T1=24.64	OPTIMUM f=2 TT=12.54 T1=5.91	OPTIMUM f=2 TT=12.486 T1=5.86
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111223220--soft-0-100-0.wbo	MOPT f=1 TT=0.511 T1=0.42	OPTIMUM f=1 TT=2.032 T1=2.03	OPTIMUM f=1 TT=32.375 T1=27.22	OPTIMUM f=1 TT=53.163 T1=43.29	OPTIMUM f=1 TT=32.464 T1=27.11	OPTIMUM f=1 TT=54.012 T1=43.9	OPTIMUM f=1 TT=235.094 T1=229.84	OPTIMUM f=1 TT=53.477 T1=43.39	? (TO) TT=1800.09	? (TO) TT=1800.15	OPTIMUM f=1 TT=23.649 T1=11.85	OPTIMUM f=1 TT=31.507 T1=15.74	OPTIMUM f=1 TT=35.86 T1=33.91	OPTIMUM f=1 TT=0.511 T1=0.42	OPTIMUM f=1 TT=68.202 T1=63.85	OPTIMUM f=1 TT=9.422 T1=9.43	OPTIMUM f=1 TT=9.403 T1=9.42	OPTIMUM f=1 TT=38.924 T1=33.42	OPTIMUM f=1 TT=38.919 T1=33.42
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224255--soft-0-100-0.wbo	MOPT f=1 TT=0.748 T1=0.53	OPTIMUM f=1 TT=1.352 T1=1.35	OPTIMUM f=1 TT=17.811 T1=13.35	OPTIMUM f=1 TT=46.295 T1=37.54	OPTIMUM f=1 TT=17.651 T1=13.27	OPTIMUM f=1 TT=44.823 T1=36.35	OPTIMUM f=1 TT=66.029 T1=62.06	OPTIMUM f=1 TT=45.53 T1=37.03	? (TO) TT=1800.33	? (TO) TT=1800.12	OPTIMUM f=1 TT=43.216 T1=21.66	OPTIMUM f=1 TT=51.535 T1=25.76	OPTIMUM f=1 TT=20.241 T1=18.5	OPTIMUM f=1 TT=0.748 T1=0.53	OPTIMUM f=1 TT=45.218 T1=40.8	OPTIMUM f=1 TT=17.311 T1=17.34	OPTIMUM f=1 TT=17.09 T1=17.12	OPTIMUM f=1 TT=14.617 T1=8.93	OPTIMUM f=1 TT=14.374 T1=8.66
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224451--soft-0-100-0.wbo	MOPT f=9 TT=0.591 T1=0.53	OPTIMUM f=9 TT=4.046 T1=3.8	OPTIMUM f=9 TT=21.773 T1=10.14	OPTIMUM f=9 TT=136.682 T1=121.38	OPTIMUM f=9 TT=21.554 T1=10.18	OPTIMUM f=9 TT=135.611 T1=120.69	OPTIMUM f=9 TT=59.009 T1=55.42	OPTIMUM f=9 TT=1708.54 T1=1693.99	? (TO) TT=1800.24	? (TO) TT=1800.07	OPTIMUM f=9 TT=121.16 T1=60.64	OPTIMUM f=9 TT=55.36 T1=27.71	OPTIMUM f=9 TT=13.901 T1=11.92	OPTIMUM f=9 TT=0.591 T1=0.53	OPTIMUM f=9 TT=41.028 T1=30.11	OPTIMUM f=9 TT=47.67 T1=47.74	OPTIMUM f=9 TT=47.97 T1=48.05	OPTIMUM f=9 TT=13.529 T1=9.59	OPTIMUM f=9 TT=13.549 T1=9.61
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111225605--soft-0-100-0.wbo	MOPT f=2 TT=0.735 T1=0.56	OPTIMUM f=2 TT=2.9 T1=2.89	OPTIMUM f=2 TT=10.508 T1=5.7	OPTIMUM f=2 TT=88.048 T1=77.02	OPTIMUM f=2 TT=10.51 T1=5.51	OPTIMUM f=2 TT=88.477 T1=77.29	OPTIMUM f=2 TT=80.63 T1=75.66	OPTIMUM f=2 TT=1728.63 T1=1717.91	? (TO) TT=1800.15	? (TO) TT=1800.09	OPTIMUM f=2 TT=23.669 T1=11.86	OPTIMUM f=2 TT=28.139 T1=14.06	OPTIMUM f=2 TT=19.361 T1=16.21	OPTIMUM f=2 TT=0.735 T1=0.56	OPTIMUM f=2 TT=28.043 T1=17.8	OPTIMUM f=2 TT=16.34 T1=16.39	OPTIMUM f=2 TT=16.311 T1=16.35	OPTIMUM f=2 TT=15.32 T1=15.72	OPTIMUM f=2 TT=15.329 T1=15.38
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111226062--soft-0-100-0.wbo	MOPT f=3 TT=0.659 T1=0.53	OPTIMUM f=3 TT=3.034 T1=3.03	OPTIMUM f=3 TT=13.978 T1=4.67	OPTIMUM f=3 TT=120.266 T1=95.84	OPTIMUM f=3 TT=13.86 T1=4.75	OPTIMUM f=3 TT=120.695 T1=96.34	OPTIMUM f=3 TT=61.771 T1=56.73	OPTIMUM f=3 TT=1046.14 T1=1032.77	? (TO) TT=1614.77	? (TO) TT=1800.06	OPTIMUM f=3 TT=49.016 T1=24.57	OPTIMUM f=3 TT=53.37 T1=26.74	OPTIMUM f=3 TT=30.181 T1=28.16	OPTIMUM f=3 TT=0.659 T1=0.53	OPTIMUM f=3 TT=52.179 T1=47.84	OPTIMUM f=3 TT=21.901 T1=21.95	OPTIMUM f=3 TT=21.53 T1=21.59	OPTIMUM f=3 TT=29.166 T1=20.18	OPTIMUM f=3 TT=29.324 T1=20.35
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111227012--soft-0-100-0.wbo	MOPT f=5 TT=0.391 T1=0.35	OPTIMUM f=5 TT=4.42 T1=4.42	OPTIMUM f=5 TT=36.764 T1=26.13	OPTIMUM f=5 TT=180.533 T1=142.87	OPTIMUM f=5 TT=36.587 T1=25.98	OPTIMUM f=5 TT=179.599 T1=141.89	OPTIMUM f=5 TT=151.615 T1=146.07	? (TO) TT=1800.04	? (TO) TT=1800.18	? (TO) TT=1800.07	OPTIMUM f=5 TT=96.96 T1=48.57	OPTIMUM f=5 TT=110.54 T1=55.36	OPTIMUM f=5 TT=36.39 T1=34.11	OPTIMUM f=5 TT=0.391 T1=0.35	OPTIMUM f=5 TT=61.033 T1=49.91	OPTIMUM f=5 TT=44.78 T1=44.89	OPTIMUM f=5 TT=43.658 T1=43.65	OPTIMUM f=5 TT=33.896 T1=33.89	OPTIMUM f=5 TT=33.127 T1=33.16
Bench name	Best results	clasp 2.0.6-R5325 (complete)	npSolver 1.0 (complete)	npSolver 1.0 (fixed) (complete)	npSolver inc (complete)	npSolver inc (fixed) (complete)	npSolver inc-topDown (complete)	npSolver inc-topDown (fixed) (complete)	npSolver inc-topdown-quickBound (complete)	npSolver inc-topdown-quickBound (fixed) (complete)	pwbo 2.01 (complete)	pwbo 2.02 (complete)	Sat4j PB 2012-05-28 (complete)	SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed (complete)	toysat 2012-05-17 (complete)	wbo 1.71 (complete)	wbo 1.72 (complete)	wbo2sat 2012-05-19 (complete)	wbo2satCp2 2012-05-19 (complete)
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111228076--soft-0-100-0.wbo	MOPT f=3 TT=0.822 T1=0.65	OPTIMUM f=3 TT=4.781 T1=4.78	OPTIMUM f=3 TT=26.407 T1=26.41	OPTIMUM f=3 TT=186.56 T1=186.59	OPTIMUM f=3 TT=26.351 T1=26.36	OPTIMUM f=3 TT=188.958 T1=189	OPTIMUM f=3 TT=83.379 T1=74.36	OPTIMUM f=3 TT=357.364 T1=328.24	? (TO) TT=1800.24	? (TO) TT=1800.11	OPTIMUM f=3 TT=136.812 T1=68.41	OPTIMUM f=3 TT=134.343 T1=67.16	OPTIMUM f=3 TT=30.928 T1=28.62	OPTIMUM f=3 TT=0.822 T1=0.65	OPTIMUM f=3 TT=68.746 T1=39.38	OPTIMUM f=3 TT=59.76 T1=59.84	OPTIMUM f=3 TT=57.97 T1=58.08	OPTIMUM f=3 TT=21.921 T1=4.77	OPTIMUM f=3 TT=43.649 T1=4.76
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-101-100--soft-0-100-0.wbo	MOPT f=1 TT=0.796 T1=0.76	MSAT (TO) f=4703 TT=1800.08 T1=1624.71	? (TO) TT=1800.07	? (TO) TT=1800.05	? (TO) TT=1800.01	? (TO) TT=1800.14	? (TO) TT=1800.09	? (TO) TT=1800.14	? (TO) TT=1800.1	? (TO) TT=1800.04	MSAT (TO) f=1 TT=1800.57 T1=900.31	MSAT (TO) f=1 TT=1800.52 T1=900.31	MSAT (TO) f=1 TT=1800.1 T1=1.84	OPTIMUM f=1 TT=0.796 T1=0.76	? (TO) TT=1800.08	? TT=1799.54	? TT=1799.44	? (TO) TT=1800.03	? (TO) TT=1800.05
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-105-100--soft-0-100-0.wbo	MOPT f=1 TT=0.647 T1=0.39	MSAT (TO) f=5432 TT=1800.08 T1=1564.54	? (TO) TT=1800.12	? (TO) TT=1800.09	? (TO) TT=1800.14	? (TO) TT=1800.1	? (TO) TT=1800.06	? (TO) TT=1800.06	? (TO) TT=1800.07	? (TO) TT=1800.06	MSAT (TO) f=1 TT=1800.15 T1=900.31	MSAT (TO) f=1 TT=1800.01 T1=900.31	MSAT (TO) f=1 TT=1800.64 T1=1.13	OPTIMUM f=1 TT=0.647 T1=0.39	? (TO) TT=1800.05	? TT=1799.9	? TT=1799.88	? (TO) TT=1800.13	? (TO) TT=1800.14
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-11-10--soft-0-100-0.wbo	MOPT f=1 TT=0.013 T1=0.01	OPTIMUM f=1 TT=36.981 T1=36.98	OPTIMUM f=1 TT=1.619 T1=1.21	OPTIMUM f=1 TT=3.254 T1=2.2	OPTIMUM f=1 TT=1.625 T1=1.21	OPTIMUM f=1 TT=3.245 T1=2.2	OPTIMUM f=1 TT=1.065 T1=0.65	OPTIMUM f=1 TT=4.031 T1=2.98	? (TO) TT=1800.1	? (TO) TT=1800.08	OPTIMUM f=1 TT=1548.8 T1=774.4	OPTIMUM f=1 TT=1567.93 T1=783.96	OPTIMUM f=1 TT=139.85 T1=0.21	OPTIMUM f=1 TT=0.013 T1=0.01	OPTIMUM f=1 TT=1093.53 T1=0.02	OPTIMUM f=1 TT=642.325 T1=642.32	OPTIMUM f=1 TT=623.55 T1=623.74	OPTIMUM f=1 TT=0.777 T1=0.4	OPTIMUM f=1 TT=0.759 T1=0.38
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-15-10--soft-0-100-0.wbo	MOPT f=2 TT=0.015 T1=0.01	OPTIMUM f=2 TT=66.493 T1=66.5	OPTIMUM f=2 TT=4.404 T1=3.47	OPTIMUM f=2 TT=8.56 T1=8.56	OPTIMUM f=2 TT=4.366 T1=3.43	OPTIMUM f=2 TT=8.565 T1=8.56	OPTIMUM f=2 TT=1.11 T1=0.18	OPTIMUM f=2 TT=8.562 T1=5.62	? (TO) TT=1800.07	? (TO) TT=1800.06	MSAT (TO) f=2 TT=1800.05 T1=900.21	MSAT (TO) f=2 TT=1800.39 T1=900.21	OPTIMUM f=2 TT=516.654 T1=27.26	OPTIMUM f=2 TT=0.015 T1=0.01	OPTIMUM f=2 TT=944.427 T1=0.03	? TT=1800.03	? TT=1799.64	OPTIMUM f=2 TT=17.931 T1=17.02	OPTIMUM f=2 TT=18.006 T1=17.1
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-21-20--soft-0-100-0.wbo	MOPT f=1 TT=0.022 T1=0.01	MSAT (TO) f=567 TT=1800.02 T1=1549.11	? (TO) TT=1800.23	? (TO) TT=1800.12	? (TO) TT=1800.11	? (TO) TT=1800.1	? (TO) TT=1800.12	? (TO) TT=1800.09	? (TO) TT=1800.12	? (TO) TT=1800.06	MSAT (TO) f=1 TT=1800.46 T1=900.21	MSAT (TO) f=1 TT=1800.38 T1=900.21	MSAT (TO) f=1 TT=1800.08 T1=0.3	OPTIMUM f=1 TT=0.022 T1=0.01	? (TO) TT=1800.12	? TT=1799.67	? TT=1799.65	? (TO) TT=1800.01	? (TO) TT=1800.08
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-25-20--soft-0-100-0.wbo	MOPT f=4 TT=0.025 T1=0.01	MSAT (TO) f=743 TT=1800.03 T1=1532.53	? (TO) TT=1800.07	? (TO) TT=1800.12	? (TO) TT=1800.12	? (TO) TT=1800.1	? (TO) TT=1800.11	? (TO) TT=1800.12	? (TO) TT=1800.1	? (TO) TT=1800.12	MSAT (TO) f=4 TT=1800.19 T1=900.31	MSAT (TO) f=4 TT=1800.47 T1=900.31	MSAT (TO) f=4 TT=1800.09 T1=0.35	OPTIMUM f=4 TT=0.025 T1=0.01	? (TO) TT=1800.02	? TT=1799.67	? TT=1799.67	? (TO) TT=1800.06	? (TO) TT=1800.09
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-31-30--soft-0-100-0.wbo	MOPT f=1 TT=0.038 T1=0.03	MSAT (TO) f=1313 TT=1800.03 T1=1330.94	? (TO) TT=1800.09	? (TO) TT=1800.11	? (TO) TT=1800.04	? (TO) TT=1800.07	? (TO) TT=1800.13	? (TO) TT=1800.02	? (TO) TT=1800.08	? (TO) TT=1800.11	MSAT (TO) f=1 TT=1800.06 T1=900.31	MSAT (TO) f=1 TT=1800.18 T1=900.31	MSAT (TO) f=1 TT=1800.81 T1=0.47	OPTIMUM f=1 TT=0.038 T1=0.03	? (TO) TT=1800.02	? TT=1799.55	? TT=1799.57	? (TO) TT=1800.11	? (TO) TT=1800.12
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-35-30--soft-0-100-0.wbo	MOPT f=3 TT=0.048 T1=0.02	MSAT (TO) f=1511 TT=1800.02 T1=1356.11	? (TO) TT=1800	? (TO) TT=1800.13	? (TO) TT=1800.02	? (TO) TT=1800.02	? (TO) TT=1800.01	? (TO) TT=1800.07	? (TO) TT=1800.11	? (TO) TT=1800.04	MSAT (TO) f=3 TT=1800.11 T1=900.31	MSAT (TO) f=3 TT=1800.06 T1=900.31	MSAT (TO) f=3 TT=1800.07 T1=0.44	OPTIMUM f=3 TT=0.048 T1=0.02	? (TO) TT=1800.12	? TT=1799.58	? TT=1799.97	? (TO) TT=1800.08	? (TO) TT=1800.03
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-41-40--soft-0-100-0.wbo	MOPT f=1 TT=0.063 T1=0.05	MSAT (TO) f=2083 TT=1800.03 T1=1468.57	? (TO) TT=1800.07	? (TO) TT=1800.03	? (TO) TT=1800.07	? (TO) TT=1800.06	? (TO) TT=1800.08	? (TO) TT=1800.07	? (TO) TT=1800.12	? (TO) TT=1800.05	MSAT (TO) f=1 TT=1800.2 T1=900.41	MSAT (TO) f=1 TT=1800.29 T1=900.31	MSAT (TO) f=1 TT=1800.58 T1=0.37	OPTIMUM f=1 TT=0.063 T1=0.05	? (TO) TT=1800.08	? TT=1799.53	? TT=1799.56	? (TO) TT=1800.14	? (TO) TT=1800.05
Bench name	Best results	clasp 2.0.6-R5325 (complete)	npSolver 1.0 (complete)	npSolver 1.0 (fixed) (complete)	npSolver inc (complete)	npSolver inc (fixed) (complete)	npSolver inc-topDown (complete)	npSolver inc-topDown (fixed) (complete)	npSolver inc-topdown-quickBound (complete)	npSolver inc-topdown-quickBound (fixed) (complete)	pwbo 2.01 (complete)	pwbo 2.02 (complete)	Sat4j PB 2012-05-28 (complete)	SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed (complete)	toysat 2012-05-17 (complete)	wbo 1.71 (complete)	wbo 1.72 (complete)	wbo2sat 2012-05-19 (complete)	wbo2satCp2 2012-05-19 (complete)
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-45-40--soft-0-100-0.wbo	MOPT f=3 TT=0.081 T1=0.04	MSAT (TO) f=2157 TT=1800.02 T1=1514.17	? (TO) TT=1800.11	? (TO) TT=1800.12	? (TO) TT=1800.09	? (TO) TT=1800.06	? (TO) TT=1800.05	? (TO) TT=1800.06	? (TO) TT=1800.56	? (TO) TT=1800.13	MSAT (TO) f=3 TT=1800.04 T1=900.31	MSAT (TO) f=3 TT=1800.05 T1=900.31	MSAT (TO) f=3 TT=1800.06 T1=0.32	OPTIMUM f=3 TT=0.081 T1=0.04	? (TO) TT=1800.08	? TT=1799.86	? TT=1799.48	? (TO) TT=1800.09	? (TO) TT=1800.07
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-51-50--soft-0-100-0.wbo	MOPT f=1 TT=0.099 T1=0.09	MSAT (TO) f=2705 TT=1800.02 T1=1249.58	? (TO) TT=1800.06	? (TO) TT=1800.02	? (TO) TT=1800.11	? (TO) TT=1800.07	? (TO) TT=1800.1	? (TO) TT=1800.07	? (TO) TT=1800.08	? (TO) TT=1800.05	MSAT (TO) f=1 TT=1800.17 T1=900.41	MSAT (TO) f=1 TT=1800.2 T1=900.41	MSAT (TO) f=1 TT=1800.04 T1=0.43	OPTIMUM f=1 TT=0.099 T1=0.09	? (TO) TT=1800.08	? TT=1799.45	? TT=1799.85	? (TO) TT=1800.07	? (TO) TT=1800.15
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-55-50--soft-0-100-0.wbo	MOPT f=2 TT=0.125 T1=0.07	MSAT (TO) f=2929 TT=1800.03 T1=1241.8	? (TO) TT=1800.05	? (TO) TT=1800.06	? (TO) TT=1800.12	? (TO) TT=1800.07	? (TO) TT=1800.09	? (TO) TT=1800.1	? (TO) TT=-1	? (TO) TT=1800.04	MSAT (TO) f=2 TT=1800.15 T1=900.31	MSAT (TO) f=2 TT=1800.07 T1=900.31	MSAT (TO) f=2 TT=1800.8 T1=0.4	OPTIMUM f=2 TT=0.125 T1=0.07	? (TO) TT=1800.11	? TT=1799.59	? TT=1799.82	? (TO) TT=1800.11	? (TO) TT=1800.08
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-61-60--soft-0-100-0.wbo	MOPT f=1 TT=0.15 T1=0.14	MSAT (TO) f=2874 TT=1800.1 T1=1436.73	? (TO) TT=1800.07	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.06	? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800.1	? (TO) TT=1800.04	MSAT (TO) f=1 TT=1800.01 T1=900.31	MSAT (TO) f=1 TT=1800.52 T1=900.41	MSAT (TO) f=1 TT=1800.64 T1=0.63	OPTIMUM f=1 TT=0.15 T1=0.14	? (TO) TT=1800.1	? TT=1799.5	? TT=1799.84	? (TO) TT=1800.05	? (TO) TT=1800.04
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-65-60--soft-0-100-0.wbo	MOPT f=1 TT=0.885 T1=0.59	MSAT (TO) f=3081 TT=1800.11 T1=1444.29	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.01	? (TO) TT=1800.08	? (TO) TT=1800.04	? (TO) TT=1800.06	MSAT (TO) f=1 TT=1800.12 T1=900.41	MSAT (TO) f=1 TT=1800.04 T1=900.31	MSAT (TO) f=1 TT=1800.66 T1=0.59	OPTIMUM f=1 TT=0.885 T1=0.85	? (TO) TT=1800.08	? TT=1799.89	? TT=1799.45	? (TO) TT=1800.06	? (TO) TT=1800.11
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-71-70--soft-0-100-0.wbo	MOPT f=1 TT=0.831 T1=0.81	MSAT (TO) f=3879 TT=1800.11 T1=1553.04	? (TO) TT=1800.05	? (TO) TT=1800.12	? (TO) TT=1800.12	? (TO) TT=1800.1	? (TO) TT=1800.1	? (TO) TT=1800.01	? (TO) TT=1800.08	? (TO) TT=1800.08	MSAT (TO) f=1 TT=1800.07 T1=900.31	MSAT (TO) f=1 TT=1800.45 T1=900.31	MSAT (TO) f=1 TT=1800.93 T1=2.86	OPTIMUM f=1 TT=0.831 T1=0.81	? (TO) TT=1800.08	? TT=1799.44	? TT=1799.54	? (TO) TT=1800.12	? (TO) TT=1800.07
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-75-70--soft-0-100-0.wbo	MOPT f=1 TT=0.282 T1=0.16	MSAT (TO) f=3675 TT=1800.02 T1=1551.99	? (TO) TT=1800.07	? (TO) TT=1800.08	? (TO) TT=1800.05	? (TO) TT=1800.06	? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800.05	? (TO) TT=1800.21	MSAT (TO) f=1 TT=1800.05 T1=900.31	MSAT (TO) f=1 TT=1800.09 T1=900.41	MSAT (TO) f=1 TT=1800.07 T1=0.63	OPTIMUM f=1 TT=0.282 T1=0.16	? (TO) TT=1800.05	? TT=1799.55	? TT=1799.82	? (TO) TT=1800.09	? (TO) TT=1800.11
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-81-80--soft-0-100-0.wbo	MOPT f=1 TT=0.39 T1=0.2	MSAT (TO) f=4515 TT=1800.11 T1=1204.93	? (TO) TT=1800.06	? (TO) TT=1800.06	? (TO) TT=1800.05	? (TO) TT=1800.03	? (TO) TT=1800.08	? (TO) TT=1800.07	? (TO) TT=1800.21	? (TO) TT=1800.12	MSAT (TO) f=1 TT=1800.46 T1=900.31	MSAT (TO) f=1 TT=1800.54 T1=900.41	MSAT (TO) f=1 TT=1800.81 T1=0.58	OPTIMUM f=1 TT=0.39 T1=0.2	? (TO) TT=1800.03	? TT=1799.52	? TT=1799.39	? (TO) TT=1800.08	? (TO) TT=1800.06
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-85-80--soft-0-100-0.wbo	MOPT f=1 TT=0.372 T1=0.22	MSAT (TO) f=3752 TT=1800.1 T1=1185.7	? (TO) TT=1800.12	? (TO) TT=1800.05	? (TO) TT=1800.1	? (TO) TT=1800.08	? (TO) TT=1800.09	? (TO) TT=1800.07	? (TO) TT=1800.08	? (TO) TT=1800.08	MSAT (TO) f=1 TT=1800.09 T1=900.31	MSAT (TO) f=1 TT=1800.15 T1=900.41	MSAT (TO) f=1 TT=1800.02 T1=0.92	OPTIMUM f=1 TT=0.372 T1=0.22	? (TO) TT=1800.08	? TT=1799.56	? TT=1799.47	? (TO) TT=1800.14	? (TO) TT=1800.09
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-91-90--soft-0-100-0.wbo	MOPT f=1 TT=0.438 T1=0.41	MSAT (TO) f=4346 TT=1800.09 T1=1348.25	? (TO) TT=1800.09	? (TO) TT=1800.06	? (TO) TT=1800.08	? (TO) TT=1800.03	? (TO) TT=1800.13	? (TO) TT=1800.12	? (TO) TT=1800.07	? (TO) TT=1800.13	MSAT (TO) f=1 TT=1800.14 T1=900.41	MSAT (TO) f=1 TT=1800.19 T1=900.41	MSAT (TO) f=1 TT=1800.91 T1=0.97	OPTIMUM f=1 TT=0.438 T1=0.41	? (TO) TT=1800.02	? TT=1799.44	? TT=1799.45	? (TO) TT=1800.12	? (TO) TT=1800.06
Bench name	Best results	clasp 2.0.6-R5325 (complete)	npSolver 1.0 (complete)	npSolver 1.0 (fixed) (complete)	npSolver inc (complete)	npSolver inc (fixed) (complete)	npSolver inc-topDown (complete)	npSolver inc-topDown (fixed) (complete)	npSolver inc-topdown-quickBound (complete)	npSolver inc-topdown-quickBound (fixed) (complete)	pwbo 2.01 (complete)	pwbo 2.02 (complete)	Sat4j PB 2012-05-28 (complete)	SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed (complete)	toysat 2012-05-17 (complete)	wbo 1.71 (complete)	wbo 1.72 (complete)	wbo2sat 2012-05-19 (complete)	wbo2satCp2 2012-05-19 (complete)
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-95-90--soft-0-100-0.wbo	MOPT f=1 TT=0.561 T1=0.3	MSAT (TO) f=5039 TT=1800.1 T1=1379.07	? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800.04	? (TO) TT=1800.11	? (TO) TT=1800.08	? (TO) TT=1800.06	? (TO) TT=1800.04	? (TO) TT=1800.12	MSAT (TO) f=1 TT=1800.17 T1=900.41	MSAT (TO) f=1 TT=1800.55 T1=900.31	MSAT (TO) f=1 TT=1800.08 T1=1.44	OPTIMUM f=1 TT=0.561 T1=0.3	? (TO) TT=1800.05	? TT=1799.54	? TT=1799.57	? (TO) TT=1800.06	? (TO) TT=1800.09
/SOFT-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-22s.smv--soft-0-100-0.wbo	MOPT f=1 TT=0.451 T1=0.44	OPTIMUM f=1 TT=0.491 T1=0.47	? (TO) TT=1800.1	OPTIMUM f=1 TT=1161.96 T1=1162.13	? (TO) TT=1800.09	OPTIMUM f=1 TT=894.572 T1=894.73	? (TO) TT=1800.04	? (TO) TT=1800.02	? (TO) TT=1800.02	? (TO) TT=1800.11	OPTIMUM f=1 TT=1.124 T1=0.75	OPTIMUM f=1 TT=1.124 T1=0.75	OPTIMUM f=1 TT=2.595 T1=1.05	OPTIMUM f=1 TT=1747.15 T1=1747.31	OPTIMUM f=1 TT=31.89 T1=31.6	OPTIMUM f=1 TT=0.468 T1=0.45	OPTIMUM f=1 TT=0.451 T1=0.44	OPTIMUM f=1 TT=1247.54 T1=1247.58	OPTIMUM f=1 TT=1282.45 T1=1281.57
/SOFT-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-25s.smv--soft-0-100-0.wbo	MOPT f=1 TT=0.312 T1=0.31	OPTIMUM f=1 TT=0.554 T1=0.54	OPTIMUM f=1 TT=1584.2 T1=1583.13	OPTIMUM f=1 TT=1096.99 T1=1097.18	OPTIMUM f=1 TT=1558.46 T1=1557.39	OPTIMUM f=1 TT=1067.96 T1=1068.34	? (TO) TT=1800.07	? (TO) TT=1800.11	? (TO) TT=1800.9	? (TO) TT=1800.07	OPTIMUM f=1 TT=0.514 T1=0.32	OPTIMUM f=1 TT=0.813 T1=0.52	OPTIMUM f=1 TT=2.124 T1=0.86	OPTIMUM f=1 TT=1354.97 T1=1354.98	OPTIMUM f=1 TT=21.773 T1=21.74	OPTIMUM f=1 TT=0.323 T1=0.31	OPTIMUM f=1 TT=0.312 T1=0.31	? (TO) TT=1800.06	? (TO) TT=1800.1
/SOFT-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-37s.smv--soft-0-100-0.wbo	MOPT f=1 TT=0.023 T1=0.02	OPTIMUM f=1 TT=0.023 T1=0.02	OPTIMUM f=1 TT=15.018 T1=14.96	OPTIMUM f=1 TT=1.13 T1=1.11	OPTIMUM f=1 TT=15.21 T1=15.77	OPTIMUM f=1 TT=1.173 T1=1.15	OPTIMUM f=1 TT=663.159 T1=663.76	OPTIMUM f=1 TT=13.482 T1=13.45	? (TO) TT=1800.12	? (TO) TT=1800.57	OPTIMUM f=1 TT=0.105 T1=0.05	OPTIMUM f=1 TT=0.112 T1=0.07	OPTIMUM f=1 TT=1.294 T1=0.44	OPTIMUM f=1 TT=16.482 T1=13.8	OPTIMUM f=1 TT=1.351 T1=1.22	OPTIMUM f=1 TT=0.059 T1=0.05	OPTIMUM f=1 TT=0.051 T1=0.05	OPTIMUM f=1 TT=14.598 T1=14.51	OPTIMUM f=1 TT=13.35 T1=13.27
/SOFT-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-43s.smv--soft-0-100-0.wbo	MOPT f=1 TT=0.34 T1=0.33	OPTIMUM f=1 TT=0.703 T1=0.59	OPTIMUM f=1 TT=518.662 T1=517.82	OPTIMUM f=1 TT=131.135 T1=131.1	OPTIMUM f=1 TT=616.096 T1=615.51	OPTIMUM f=1 TT=156.126 T1=156.06	? (TO) TT=1800.1	? (TO) TT=1800.08	? (TO) TT=1800.38	? (TO) TT=1800.12	OPTIMUM f=1 TT=0.637 T1=0.37	OPTIMUM f=1 TT=0.64 T1=0.37	OPTIMUM f=1 TT=1.943 T1=0.73	OPTIMUM f=1 TT=335.984 T1=313.94	OPTIMUM f=1 TT=10.561 T1=9.74	OPTIMUM f=1 TT=0.349 T1=0.34	OPTIMUM f=1 TT=0.34 T1=0.33	OPTIMUM f=1 TT=513.564 T1=512.26	OPTIMUM f=1 TT=518.23 T1=517.9
/SOFT-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-44s.smv--soft-0-100-0.wbo	MOPT f=2 TT=0.018 T1=0.01	OPTIMUM f=2 TT=0.018 T1=0.01	OPTIMUM f=2 TT=7.263 T1=6.95	OPTIMUM f=2 TT=1.094 T1=1.08	OPTIMUM f=2 TT=7.225 T1=8.2	OPTIMUM f=2 TT=1.101 T1=1.09	OPTIMUM f=2 TT=26.062 T1=26.2	OPTIMUM f=2 TT=50.227 T1=50.47	? (TO) TT=1780.97	? (TO) TT=1800.04	OPTIMUM f=2 TT=0.057 T1=0.02	OPTIMUM f=2 TT=0.055 T1=0.02	OPTIMUM f=2 TT=0.896 T1=0.29	OPTIMUM f=2 TT=4.238 T1=4.15	OPTIMUM f=2 TT=0.226 T1=0.19	OPTIMUM f=2 TT=0.036 T1=0.02	OPTIMUM f=2 TT=0.026 T1=0.02	OPTIMUM f=2 TT=4.536 T1=3.98	OPTIMUM f=2 TT=4.527 T1=3.99
/SOFT-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-46s.smv--soft-0-100-0.wbo	MOPT f=1 TT=0.074 T1=0.06	OPTIMUM f=1 TT=0.195 T1=0.19	OPTIMUM f=1 TT=45.21 T1=44.26	OPTIMUM f=1 TT=6.96 T1=6.91	OPTIMUM f=1 TT=45.405 T1=47.76	OPTIMUM f=1 TT=7.002 T1=7.06	OPTIMUM f=1 TT=1453.29 T1=1455.12	OPTIMUM f=1 TT=586.865 T1=587.26	? (TO) TT=1753.5	? (TO) TT=1800.07	OPTIMUM f=1 TT=0.148 T1=0.09	OPTIMUM f=1 TT=0.146 T1=0.09	OPTIMUM f=1 TT=1.766 T1=0.66	OPTIMUM f=1 TT=43.936 T1=41.48	OPTIMUM f=1 TT=1.849 T1=1.68	OPTIMUM f=1 TT=0.076 T1=0.07	OPTIMUM f=1 TT=0.074 T1=0.06	OPTIMUM f=1 TT=33.641 T1=34.51	OPTIMUM f=1 TT=33.386 T1=32.47
/SOFT-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-blast-floppy1-2.ucl--soft-0-100-0.wbo	MOPT f=2 TT=0.002 T1=0.01	OPTIMUM f=2 TT=0.011 T1=0.01	OPTIMUM f=2 TT=3.781 T1=3.77	OPTIMUM f=2 TT=0.156 T1=0.13	OPTIMUM f=2 TT=4.041 T1=3.91	OPTIMUM f=2 TT=0.147 T1=0.13	OPTIMUM f=2 TT=3.973 T1=3.84	OPTIMUM f=2 TT=0.239 T1=0.22	? (TO) TT=1800.1	? (TO) TT=1800.05	OPTIMUM f=2 TT=0.003 T1=0.01	OPTIMUM f=2 TT=0.002 T1=0.01	OPTIMUM f=2 TT=0.516 T1=0.27	OPTIMUM f=2 TT=0.396 T1=0.4	OPTIMUM f=2 TT=0.121 T1=0.06	OPTIMUM f=2 TT=0.023 T1=0.01	OPTIMUM f=2 TT=0.023 T1=0.01	OPTIMUM f=2 TT=1.248 T1=1.36	OPTIMUM f=2 TT=1.248 T1=1.24
/SOFT-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-blast-floppy1-3.ucl--soft-0-100-0.wbo	MOPT f=4 TT=0.003 T1=0	OPTIMUM f=4 TT=0.006 T1=0	OPTIMUM f=4 TT=3.927 T1=3.92	OPTIMUM f=4 TT=0.206 T1=0.2	OPTIMUM f=4 TT=3.998 T1=4.13	OPTIMUM f=4 TT=0.198 T1=0.2	OPTIMUM f=4 TT=4.096 T1=4.13	OPTIMUM f=4 TT=0.355 T1=0.34	? (TO) TT=1753.62	? (TO) TT=1800.08	OPTIMUM f=4 TT=0.005 T1=0	OPTIMUM f=4 TT=0.003 T1=0.01	OPTIMUM f=4 TT=0.344 T1=0.22	OPTIMUM f=4 TT=0.084 T1=0.04	OPTIMUM f=4 TT=0.03 T1=0.02	OPTIMUM f=4 TT=0.003 T1=0.01	OPTIMUM f=4 TT=0.003 T1=0	OPTIMUM f=4 TT=2.972 T1=2.96	OPTIMUM f=4 TT=2.902 T1=2.9
/SOFT-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-blast-floppy1-4.ucl--soft-0-100-0.wbo	MOPT f=18 TT=0.002 T1=0	OPTIMUM f=18 TT=0.005 T1=0	OPTIMUM f=18 TT=3.346 T1=3	OPTIMUM f=18 TT=0.146 T1=0.14	OPTIMUM f=18 TT=3.396 T1=3.04	OPTIMUM f=18 TT=0.141 T1=0.14	OPTIMUM f=18 TT=3.181 T1=3.06	OPTIMUM f=18 TT=0.428 T1=0.42	? (TO) TT=1800.08	? (TO) TT=1800.1	OPTIMUM f=18 TT=0.003 T1=0	OPTIMUM f=18 TT=0.002 T1=0	OPTIMUM f=18 TT=0.293 T1=0.21	OPTIMUM f=18 TT=0.066 T1=0.03	OPTIMUM f=18 TT=0.026 T1=0.02	OPTIMUM f=18 TT=0.003 T1=0	OPTIMUM f=18 TT=0.003 T1=0	OPTIMUM f=18 TT=1.222 T1=1.22	OPTIMUM f=18 TT=1.224 T1=1.22
Bench name	Best results	clasp 2.0.6-R5325 (complete)	npSolver 1.0 (complete)	npSolver 1.0 (fixed) (complete)	npSolver inc (complete)	npSolver inc (fixed) (complete)	npSolver inc-topDown (complete)	npSolver inc-topDown (fixed) (complete)	npSolver inc-topdown-quickBound (complete)	npSolver inc-topdown-quickBound (fixed) (complete)	pwbo 2.01 (complete)	pwbo 2.02 (complete)	Sat4j PB 2012-05-28 (complete)	SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed (complete)	toysat 2012-05-17 (complete)	wbo 1.71 (complete)	wbo 1.72 (complete)	wbo2sat 2012-05-19 (complete)	wbo2satCp2 2012-05-19 (complete)
/SOFT-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-blast-floppy1-6.ucl--soft-0-100-0.wbo	MOPT f=1 TT=0.025 T1=0.02	OPTIMUM f=1 TT=0.066 T1=0.06	OPTIMUM f=1 TT=22.633 T1=22.49	OPTIMUM f=1 TT=0.466 T1=0.45	OPTIMUM f=1 TT=25.72 T1=25.18	OPTIMUM f=1 TT=0.47 T1=0.45	OPTIMUM f=1 TT=42.212 T1=41.59	OPTIMUM f=1 TT=0.949 T1=0.93	? (TO) TT=1800.09	? (TO) TT=1800.08	OPTIMUM f=1 TT=0.058 T1=0.02	OPTIMUM f=1 TT=0.067 T1=0.02	OPTIMUM f=1 TT=1.024 T1=0.32	OPTIMUM f=1 TT=3.671 T1=3.58	OPTIMUM f=1 TT=0.301 T1=0.09	OPTIMUM f=1 TT=0.036 T1=0.02	OPTIMUM f=1 TT=0.025 T1=0.02	OPTIMUM f=1 TT=12.975 T1=13.6	OPTIMUM f=1 TT=11.635 T1=11.68
/SOFT-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-blast-floppy1-7.ucl--soft-0-100-0.wbo	MOPT f=1 TT=0.063 T1=0.06	OPTIMUM f=1 TT=4.464 T1=4.46	OPTIMUM f=1 TT=618.472 T1=611.53	OPTIMUM f=1 TT=24.545 T1=24.49	OPTIMUM f=1 TT=658.884 T1=653.27	OPTIMUM f=1 TT=24.161 T1=24.12	? (TO) TT=1800.02	OPTIMUM f=1 TT=171.052 T1=171.16	? (TO) TT=1800.03	? (TO) TT=1800.03	OPTIMUM f=1 TT=0.131 T1=0.08	OPTIMUM f=1 TT=0.13 T1=0.08	OPTIMUM f=1 TT=1.656 T1=0.66	OPTIMUM f=1 TT=78.274 T1=78.25	OPTIMUM f=1 TT=1.724 T1=1.71	OPTIMUM f=1 TT=0.063 T1=0.06	OPTIMUM f=1 TT=0.066 T1=0.06	OPTIMUM f=1 TT=588.736 T1=577.67	OPTIMUM f=1 TT=533.575 T1=523.52
/SOFT-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-blast-floppy1-8.ucl--soft-0-100-0.wbo	MOPT f=1 TT=0.775 T1=0.44	OPTIMUM f=1 TT=12.176 T1=12.17	OPTIMUM f=1 TT=784.079 T1=772.28	OPTIMUM f=1 TT=13.211 T1=13.17	OPTIMUM f=1 TT=759.747 T1=752.03	OPTIMUM f=1 TT=14.513 T1=14.46	? (TO) TT=1800.06	OPTIMUM f=1 TT=297.027 T1=297.12	? (TO) TT=1800.03	? (TO) TT=1800.35	OPTIMUM f=1 TT=0.775 T1=0.44	OPTIMUM f=1 TT=0.906 T1=0.53	OPTIMUM f=1 TT=1.716 T1=0.68	OPTIMUM f=1 TT=295.936 T1=295.91	OPTIMUM f=1 TT=3.231 T1=3.22	OPTIMUM f=1 TT=1.09 T1=1.08	OPTIMUM f=1 TT=0.971 T1=0.96	OPTIMUM f=1 TT=658.883 T1=643.53	OPTIMUM f=1 TT=608.918 T1=595.8
/SOFT-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-blast-tlan2.ucl--soft-0-100-0.wbo	MOPT f=1 TT=0.077 T1=0.06	OPTIMUM f=1 TT=0.438 T1=0.43	OPTIMUM f=1 TT=44.494 T1=47.55	OPTIMUM f=1 TT=34.387 T1=34.49	OPTIMUM f=1 TT=47.217 T1=56.53	OPTIMUM f=1 TT=33.951 T1=34	OPTIMUM f=1 TT=1219.03 T1=1237.79	OPTIMUM f=1 TT=685.818 T1=685.98	? (TO) TT=1704.16	? (TO) TT=1800.31	OPTIMUM f=1 TT=0.144 T1=0.09	OPTIMUM f=1 TT=0.142 T1=0.08	OPTIMUM f=1 TT=1.633 T1=0.63	OPTIMUM f=1 TT=182.229 T1=182.25	OPTIMUM f=1 TT=1.825 T1=1.72	OPTIMUM f=1 TT=0.078 T1=0.07	OPTIMUM f=1 TT=0.077 T1=0.06	OPTIMUM f=1 TT=31.274 T1=33.69	OPTIMUM f=1 TT=33.114 T1=39.11
/SOFT-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-cache.inv8.ucl--soft-0-100-0.wbo	MOPT f=16 TT=0.037 T1=0.03	OPTIMUM f=16 TT=0.037 T1=0.03	OPTIMUM f=16 TT=0.886 T1=0.7	OPTIMUM f=16 TT=3.782 T1=3.59	OPTIMUM f=16 TT=0.909 T1=0.73	OPTIMUM f=16 TT=3.802 T1=3.6	OPTIMUM f=16 TT=123.631 T1=123.62	OPTIMUM f=16 TT=296.941 T1=297.03	? (TO) TT=1798.12	? (TO) TT=1800.04	OPTIMUM f=16 TT=0.242 T1=0.15	OPTIMUM f=16 TT=0.163 T1=0.1	OPTIMUM f=16 TT=1.384 T1=0.6	OPTIMUM f=16 TT=259.88 T1=259.87	OPTIMUM f=16 TT=5.733 T1=5.71	OPTIMUM f=16 TT=0.102 T1=0.09	OPTIMUM f=16 TT=0.099 T1=0.09	OPTIMUM f=16 TT=0.58 T1=0.42	OPTIMUM f=16 TT=0.562 T1=0.41
/SOFT-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-dlx1c.ucl--soft-0-100-0.wbo	MOPT f=1 TT=0.629 T1=0.62	OPTIMUM f=1 TT=0.629 T1=0.62	? (TO) TT=1800.1	? (TO) TT=1800.11	? (TO) TT=1800.09	? (TO) TT=1800.07	? (TO) TT=1800.03	? (TO) TT=1800.11	? (TO) TT=1800.04	? (TO) TT=1800.07	OPTIMUM f=1 TT=1.154 T1=0.74	OPTIMUM f=1 TT=1.593 T1=1.12	OPTIMUM f=1 TT=3.442 T1=1.71	MSAT f=1232 TT=1797.03 T1=534.04	OPTIMUM f=1 TT=58.295 T1=57.76	OPTIMUM f=1 TT=0.732 T1=0.72	OPTIMUM f=1 TT=0.731 T1=0.72	? (TO) TT=1800.07	? (TO) TT=1800.13
/SOFT-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-elf.rf6.ucl--soft-0-100-0.wbo	MOPT f=2 TT=0.001 T1=0	OPTIMUM f=2 TT=0.003 T1=0	OPTIMUM f=2 TT=0.055 T1=0.04	OPTIMUM f=2 TT=0.075 T1=0.06	OPTIMUM f=2 TT=0.05 T1=0.04	OPTIMUM f=2 TT=0.082 T1=0.06	OPTIMUM f=2 TT=0.073 T1=0.06	OPTIMUM f=2 TT=0.134 T1=0.12	? (TO) TT=-1	? (TO) TT=1800.12	OPTIMUM f=2 TT=0.002 T1=0	OPTIMUM f=2 TT=0.002 T1=0	OPTIMUM f=2 TT=0.193 T1=0.16	OPTIMUM f=2 TT=0.162 T1=0.16	OPTIMUM f=2 TT=0.011 T1=0.01	OPTIMUM f=2 TT=0.002 T1=0	OPTIMUM f=2 TT=0.001 T1=0	OPTIMUM f=2 TT=0.027 T1=0.01	OPTIMUM f=2 TT=0.022 T1=0.01
/SOFT-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-elf.rf7.ucl--soft-0-100-0.wbo	MOPT f=1 TT=0.035 T1=0.03	OPTIMUM f=1 TT=0.035 T1=0.03	OPTIMUM f=1 TT=1.933 T1=2.08	OPTIMUM f=1 TT=0.848 T1=0.82	OPTIMUM f=1 TT=1.983 T1=2.07	OPTIMUM f=1 TT=0.845 T1=0.82	OPTIMUM f=1 TT=296.943 T1=297.53	OPTIMUM f=1 TT=43.91 T1=44.29	? (TO) TT=1800.2	? (TO) TT=1800.1	OPTIMUM f=1 TT=0.084 T1=0.05	OPTIMUM f=1 TT=0.072 T1=0.05	OPTIMUM f=1 TT=1.323 T1=0.54	OPTIMUM f=1 TT=29.249 T1=27.96	OPTIMUM f=1 TT=1.431 T1=1.42	OPTIMUM f=1 TT=0.041 T1=0.04	OPTIMUM f=1 TT=0.04 T1=0.04	OPTIMUM f=1 TT=1.219 T1=1.16	OPTIMUM f=1 TT=1.172 T1=1.11
/SOFT-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-elf.rf8.ucl--soft-0-100-0.wbo	MOPT f=1 TT=0.248 T1=0.24	OPTIMUM f=1 TT=0.248 T1=0.24	OPTIMUM f=1 TT=749.529 T1=750.04	OPTIMUM f=1 TT=38.735 T1=38.69	OPTIMUM f=1 TT=762.399 T1=762.84	OPTIMUM f=1 TT=47.094 T1=47.04	? (TO) TT=1800.12	? (TO) TT=1800	? (TO) TT=1800.65	? (TO) TT=1800.12	OPTIMUM f=1 TT=1.237 T1=0.85	OPTIMUM f=1 TT=0.849 T1=0.52	OPTIMUM f=1 TT=2.396 T1=0.93	OPTIMUM f=1 TT=1039.24 T1=1035.08	OPTIMUM f=1 TT=43.616 T1=43.51	OPTIMUM f=1 TT=0.524 T1=0.52	OPTIMUM f=1 TT=0.513 T1=0.5	OPTIMUM f=1 TT=325.371 T1=325.05	OPTIMUM f=1 TT=410.784 T1=410.73
/SOFT-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.burch_dill.2.accl.ucl--soft-0-100-0.wbo	MOPT f=1 TT=1.67 T1=1.66	OPTIMUM f=1 TT=5.855 T1=5.84	OPTIMUM f=1 TT=343.268 T1=339.35	OPTIMUM f=1 TT=192.125 T1=191.57	OPTIMUM f=1 TT=344.033 T1=339.81	OPTIMUM f=1 TT=222.08 T1=221.53	? (TO) TT=1800.05	? (TO) TT=1800.07	? (TO) TT=1800.03	? (TO) TT=1800.13	OPTIMUM f=1 TT=3.964 T1=2.07	OPTIMUM f=1 TT=3.997 T1=2.07	OPTIMUM f=1 TT=4.43 T1=2.26	OPTIMUM f=1 TT=622.941 T1=255.17	OPTIMUM f=1 TT=12.736 T1=4.1	OPTIMUM f=1 TT=1.749 T1=1.75	OPTIMUM f=1 TT=1.67 T1=1.66	OPTIMUM f=1 TT=303.85 T1=299.67	OPTIMUM f=1 TT=301.947 T1=297.78
Bench name	Best results	clasp 2.0.6-R5325 (complete)	npSolver 1.0 (complete)	npSolver 1.0 (fixed) (complete)	npSolver inc (complete)	npSolver inc (fixed) (complete)	npSolver inc-topDown (complete)	npSolver inc-topDown (fixed) (complete)	npSolver inc-topdown-quickBound (complete)	npSolver inc-topdown-quickBound (fixed) (complete)	pwbo 2.01 (complete)	pwbo 2.02 (complete)	Sat4j PB 2012-05-28 (complete)	SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed (complete)	toysat 2012-05-17 (complete)	wbo 1.71 (complete)	wbo 1.72 (complete)	wbo2sat 2012-05-19 (complete)	wbo2satCp2 2012-05-19 (complete)
/SOFT-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.burch_dill.3.accl.ucl--soft-0-100-0.wbo	MOPT f=1 TT=5.622 T1=1.22	OPTIMUM f=1 TT=79.152 T1=78.95	OPTIMUM f=1 TT=1167.51 T1=1158.11	? (TO) TT=1800.02	OPTIMUM f=1 TT=1232.12 T1=1221.79	? (TO) TT=1800.08	? (TO) TT=1800.05	? (TO) TT=1800.08	? (TO) TT=1800.41	? (TO) TT=1800.13	OPTIMUM f=1 TT=18.412 T1=10.26	OPTIMUM f=1 TT=19.111 T1=10.41	OPTIMUM f=1 TT=5.622 T1=1.22	MSAT f=1 TT=1796.84 T1=794.03	OPTIMUM f=1 TT=56.866 T1=20.55	OPTIMUM f=1 TT=8.217 T1=8.23	OPTIMUM f=1 TT=7.996 T1=7.98	? (TO) TT=1800.08	? (TO) TT=1800.09
/SOFT-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.burch_dill.4.accl.ucl--soft-0-100-0.wbo	MOPT f=1 TT=0.303 T1=0.29	OPTIMUM f=1 TT=0.477 T1=0.47	? (TO) TT=1800.07	? (TO) TT=1800.13	? (TO) TT=1800.05	? (TO) TT=1800.07	? (TO) TT=1800.06	? (TO) TT=1800.11	? (TO) TT=1800.03	? (TO) TT=1800.08	OPTIMUM f=1 TT=0.47 T1=0.31	OPTIMUM f=1 TT=0.472 T1=0.32	OPTIMUM f=1 TT=2.644 T1=1.28	OPTIMUM f=1 TT=727.57 T1=683.57	OPTIMUM f=1 TT=99.772 T1=99.55	OPTIMUM f=1 TT=0.312 T1=0.3	OPTIMUM f=1 TT=0.303 T1=0.29	? (TO) TT=1800.13	? (TO) TT=1800.08
/SOFT-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.rf6.ucl--soft-0-100-0.wbo	MOPT f=1 TT=0.036 T1=0.03	OPTIMUM f=1 TT=0.036 T1=0.03	OPTIMUM f=1 TT=1.201 T1=1.14	OPTIMUM f=1 TT=219.238 T1=219.36	OPTIMUM f=1 TT=1.289 T1=1.23	OPTIMUM f=1 TT=226.154 T1=226.19	OPTIMUM f=1 TT=579.654 T1=579.71	? (TO) TT=1800.08	? (TO) TT=1800.13	? (TO) TT=1800.42	OPTIMUM f=1 TT=0.127 T1=0.08	OPTIMUM f=1 TT=0.188 T1=0.11	OPTIMUM f=1 TT=1.513 T1=0.62	OPTIMUM f=1 TT=146.321 T1=139.42	OPTIMUM f=1 TT=3.179 T1=3.15	OPTIMUM f=1 TT=0.088 T1=0.08	OPTIMUM f=1 TT=0.085 T1=0.08	OPTIMUM f=1 TT=0.8 T1=0.74	OPTIMUM f=1 TT=0.767 T1=0.71
/SOFT-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.rf7.ucl--soft-0-100-0.wbo	MOPT f=1 TT=0.319 T1=0.32	OPTIMUM f=1 TT=0.33 T1=0.32	OPTIMUM f=1 TT=1375.25 T1=1375.45	? (TO) TT=1800.09	OPTIMUM f=1 TT=1106.64 T1=1106.87	? (TO) TT=1800.12	? (TO) TT=1800.08	? (TO) TT=1800.09	? (TO) TT=1800.08	? (TO) TT=1800.12	OPTIMUM f=1 TT=0.627 T1=0.39	OPTIMUM f=1 TT=0.686 T1=0.45	OPTIMUM f=1 TT=2.305 T1=1.04	OPTIMUM f=1 TT=303.973 T1=288.39	OPTIMUM f=1 TT=14.668 T1=14.25	OPTIMUM f=1 TT=0.319 T1=0.32	OPTIMUM f=1 TT=0.323 T1=0.45	OPTIMUM f=1 TT=1217.05 T1=1216.97	OPTIMUM f=1 TT=1204.21 T1=1204.11
/SOFT-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.rf8.ucl--soft-0-100-0.wbo	MOPT f=1 TT=1.253 T1=1.23	OPTIMUM f=1 TT=1.253 T1=1.24	? (TO) TT=1800.13	? (TO) TT=1800.12	? (TO) TT=1800.13	? (TO) TT=1800.08	? (TO) TT=1800.07	? (TO) TT=1800.11	? (TO) TT=1800.13	? (TO) TT=1800.06	OPTIMUM f=1 TT=2.221 T1=1.27	OPTIMUM f=1 TT=2.222 T1=1.27	OPTIMUM f=1 TT=3.422 T1=1.83	MSAT f=292 TT=1796.96 T1=439.4	OPTIMUM f=1 TT=53.113 T1=50.1	OPTIMUM f=1 TT=1.253 T1=1.24	OPTIMUM f=1 TT=1.253 T1=1.23	? (TO) TT=1800.06	? (TO) TT=1800.03
/SOFT-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.tag8.ucl--soft-0-100-0.wbo	MOPT f=1 TT=2.546 T1=1.41	OPTIMUM f=1 TT=6.955 T1=6.95	OPTIMUM f=1 TT=215.214 T1=214.23	? (TO) TT=1800.07	OPTIMUM f=1 TT=208.661 T1=208.27	? (TO) TT=1800.12	? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800.06	? (TO) TT=1800.04	OPTIMUM f=1 TT=5.282 T1=2.91	OPTIMUM f=1 TT=5.342 T1=2.91	OPTIMUM f=1 TT=2.546 T1=1.41	OPTIMUM f=1 TT=163.982 T1=76.43	OPTIMUM f=1 TT=19.223 T1=14.24	OPTIMUM f=1 TT=2.898 T1=2.9	OPTIMUM f=1 TT=2.707 T1=2.7	OPTIMUM f=1 TT=1019.45 T1=1018.03	OPTIMUM f=1 TT=838.351 T1=836.64
/SOFT-SMALLINT-LIN/PB10/ oliveras/j30/ normalized-j301_4-unsat--soft-0-100-0.wbo	MOPT f=8 TT=0.042 T1=0.03	OPTIMUM f=8 TT=0.042 T1=0.03	OPTIMUM f=8 TT=1434.43 T1=1434.68	OPTIMUM f=8 TT=772.615 T1=772.8	OPTIMUM f=8 TT=1153.94 T1=1154.17	OPTIMUM f=8 TT=992.999 T1=993.05	? (TO) TT=1800.01	? (TO) TT=1800.05	? (TO) TT=1759.7	? (TO) TT=1800.2	OPTIMUM f=8 TT=0.65 T1=0.42	OPTIMUM f=8 TT=0.659 T1=0.42	OPTIMUM f=8 TT=1.675 T1=0.69	OPTIMUM f=8 TT=96.475 T1=48.19	OPTIMUM f=8 TT=17.945 T1=17.81	OPTIMUM f=8 TT=0.262 T1=0.25	OPTIMUM f=8 TT=0.265 T1=0.25	OPTIMUM f=8 TT=850.111 T1=852.22	OPTIMUM f=8 TT=1107.46 T1=1107.66
/SOFT-SMALLINT-LIN/PB10/ oliveras/j30/ normalized-j3029_8-unsat--soft-0-100-0.wbo	MOPT f=2 TT=29.487 T1=29.48	MSAT (TO) f=5369 TT=1800.02 T1=0.04	? (TO) TT=1800.14	? (TO) TT=1800.02	? (TO) TT=1800.13	? (TO) TT=1800.1	? (TO) TT=1800.12	? (TO) TT=1800.09	? (TO) TT=1800.05	? (TO) TT=1800.08	OPTIMUM f=2 TT=63.66 T1=33.05	OPTIMUM f=2 TT=66.751 T1=34.57	OPTIMUM f=2 TT=668.232 T1=660.22	MSAT f=1688 TT=1796.92 T1=636.85	? (TO) TT=1800.02	OPTIMUM f=2 TT=30.193 T1=30.18	OPTIMUM f=2 TT=29.487 T1=29.48	? (TO) TT=1800.1	? (TO) TT=1800.12
/SOFT-SMALLINT-LIN/PB10/ oliveras/j30/ normalized-j3041_4-unsat--soft-0-100-0.wbo	MOPT f=4 TT=0.798 T1=0.79	OPTIMUM f=4 TT=268.154 T1=268.2	? (TO) TT=1800.1	? (TO) TT=1800.13	? (TO) TT=1800.1	? (TO) TT=1800.14	? (TO) TT=1800.08	? (TO) TT=1800.12	? (TO) TT=1800.02	? (TO) TT=1800.06	OPTIMUM f=4 TT=1.548 T1=0.95	OPTIMUM f=4 TT=1.546 T1=0.95	OPTIMUM f=4 TT=7.182 T1=5.5	MSAT f=616 TT=1796.98 T1=702.02	OPTIMUM f=4 TT=65.002 T1=64.81	OPTIMUM f=4 TT=0.822 T1=0.81	OPTIMUM f=4 TT=0.798 T1=0.79	? (TO) TT=1800.12	? (TO) TT=1800.13
/SOFT-SMALLINT-LIN/PB10/ oliveras/j30/ normalized-j3046_4-unsat--soft-0-100-0.wbo	MOPT f=1 TT=0.06 T1=0.05	OPTIMUM f=1 TT=0.06 T1=0.05	OPTIMUM f=1 TT=1714.85 T1=1715.54	? (TO) TT=1800.04	? (TO) TT=1800.06	? (TO) TT=1800.09	? (TO) TT=1800.12	? (TO) TT=1800.09	? (TO) TT=1800.24	? (TO) TT=1800.89	OPTIMUM f=1 TT=0.745 T1=0.5	OPTIMUM f=1 TT=0.748 T1=0.5	OPTIMUM f=1 TT=2.264 T1=0.89	OPTIMUM f=1 TT=557.589 T1=557.59	OPTIMUM f=1 TT=23.066 T1=23.07	OPTIMUM f=1 TT=0.302 T1=0.29	OPTIMUM f=1 TT=0.313 T1=0.3	? (TO) TT=1800.07	OPTIMUM f=1 TT=1740.36 T1=1740.78
Bench name	Best results	clasp 2.0.6-R5325 (complete)	npSolver 1.0 (complete)	npSolver 1.0 (fixed) (complete)	npSolver inc (complete)	npSolver inc (fixed) (complete)	npSolver inc-topDown (complete)	npSolver inc-topDown (fixed) (complete)	npSolver inc-topdown-quickBound (complete)	npSolver inc-topdown-quickBound (fixed) (complete)	pwbo 2.01 (complete)	pwbo 2.02 (complete)	Sat4j PB 2012-05-28 (complete)	SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed (complete)	toysat 2012-05-17 (complete)	wbo 1.71 (complete)	wbo 1.72 (complete)	wbo2sat 2012-05-19 (complete)	wbo2satCp2 2012-05-19 (complete)
/SOFT-SMALLINT-LIN/PB10/ oliveras/j30/ normalized-j308_1-unsat--soft-0-100-0.wbo	MOPT f=19 TT=0.025 T1=0.02	OPTIMUM f=19 TT=0.025 T1=0.02	OPTIMUM f=19 TT=106.725 T1=105.13	OPTIMUM f=19 TT=90.577 T1=90.49	OPTIMUM f=19 TT=106.79 T1=105.22	OPTIMUM f=19 TT=113.983 T1=113.88	? (TO) TT=1800.03	? (TO) TT=1800.14	? (TO) TT=1720.48	? (TO) TT=1800.04	OPTIMUM f=19 TT=0.318 T1=0.21	OPTIMUM f=19 TT=0.212 T1=0.13	OPTIMUM f=19 TT=1.285 T1=0.56	OPTIMUM f=19 TT=0.878 T1=0.78	OPTIMUM f=19 TT=8.461 T1=8.42	OPTIMUM f=19 TT=0.132 T1=0.12	OPTIMUM f=19 TT=0.136 T1=0.12	OPTIMUM f=19 TT=194.071 T1=192.62	OPTIMUM f=19 TT=194.419 T1=192.95
/SOFT-SMALLINT-LIN/PB10/ oliveras/j30/ normalized-j309_10-unsat--soft-0-100-0.wbo	MOPT f=1 TT=0.678 T1=0.68	MSAT (TO) f=4822 TT=1800.03 T1=0.04	? (TO) TT=1800.13	? (TO) TT=1800.14	? (TO) TT=1800.04	? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800.12	? (TO) TT=1800.14	? (TO) TT=1800.12	OPTIMUM f=1 TT=1.801 T1=1.17	OPTIMUM f=1 TT=1.829 T1=1.18	OPTIMUM f=1 TT=6.332 T1=4.69	MSAT f=549 TT=1796.97 T1=1056.32	OPTIMUM f=1 TT=230.632 T1=229.99	OPTIMUM f=1 TT=0.69 T1=0.68	OPTIMUM f=1 TT=0.678 T1=0.78	? (TO) TT=1800.13	? (TO) TT=1800.1
/SOFT-SMALLINT-LIN/PB10/ oliveras/j60/ normalized-j602_7-unsat--soft-0-100-0.wbo	MOPT f=1 TT=0.073 T1=0.05	OPTIMUM f=1 TT=0.073 T1=0.05	OPTIMUM f=1 TT=1427.79 T1=1428.32	OPTIMUM f=1 TT=604.588 T1=604.83	OPTIMUM f=1 TT=1168.98 T1=1169.97	OPTIMUM f=1 TT=706.293 T1=706.37	? (TO) TT=1800.08	? (TO) TT=1800.07	? (TO) TT=1800.11	? (TO) TT=1800.06	OPTIMUM f=1 TT=1.542 T1=1.04	OPTIMUM f=1 TT=0.893 T1=0.58	OPTIMUM f=1 TT=1.915 T1=0.77	OPTIMUM f=1 TT=102.497 T1=102.17	OPTIMUM f=1 TT=49.719 T1=49.61	OPTIMUM f=1 TT=0.574 T1=0.56	OPTIMUM f=1 TT=0.571 T1=0.56	? (TO) TT=1800.11	OPTIMUM f=1 TT=1480.67 T1=1480.72

Statistics		clasp 2.0.6-R5325 (complete)	npSolver 1.0 (complete)	npSolver 1.0 (fixed) (complete)	npSolver inc (complete)	npSolver inc (fixed) (complete)	npSolver inc-topDown (complete)	npSolver inc-topDown (fixed) (complete)	npSolver inc-topdown-quickBound (complete)	npSolver inc-topdown-quickBound (fixed) (complete)	pwbo 2.01 (complete)	pwbo 2.02 (complete)	Sat4j PB 2012-05-28 (complete)	SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed (complete)	toysat 2012-05-17 (complete)	wbo 1.71 (complete)	wbo 1.72 (complete)	wbo2sat 2012-05-19 (complete)	wbo2satCp2 2012-05-19 (complete)
Number of times the solver is able to give the best known answer		95	90	84	89	84	70	51	0	0	73	71	97	127	92	82	82	87	89
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)		18	5	2	3	1	0	0	0	0	1	2	11	71	0	4	14	1	3