PB'12 competition: WBO track: results by benchmark

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

This page displays the results of the different solvers for each benchmark for category both soft and hard constraints, big integers, linear constraints (PARTIAL-BIGINT-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:
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)
Sat4j PB 2012-05-28 (complete)
toysat 2012-05-17 (complete)
wbo2sat 2012-05-19 (complete)
wbo2satCp2 2012-05-19 (complete)

Bench name	Best results on this instance	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)	Sat4j PB 2012-05-28 (complete)	toysat 2012-05-17 (complete)	wbo2sat 2012-05-19 (complete)	wbo2satCp2 2012-05-19 (complete)
/PARTIAL-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-blast-tlan3.ucl--soft-33-100-0.wbo	MOPT f=2 TT=5.063 T1=3.17	OPTIMUM f=2 TT=1081.07 T1=1077.28	OPTIMUM f=2 TT=194.816 T1=194.97	OPTIMUM f=2 TT=947.298 T1=946.44	OPTIMUM f=2 TT=245.764 T1=245.78	? (TO) TT=1800.05	? (TO) TT=1800.03	? (TO) TT=1800.02	? (TO) TT=1800.23	OPTIMUM f=2 TT=5.063 T1=3.17	OPTIMUM f=2 TT=164.15 T1=163.99	OPTIMUM f=2 TT=666.573 T1=657.06	OPTIMUM f=2 TT=828.962 T1=819.84
/PARTIAL-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-cache-ibm-q-full.all.ucl--soft-33-100-0.wbo	MSAT f=1 TT=1800.07 T1=741.04	? (TO) TT=1800.03	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.07	? (TO) TT=1800	? (TO) TT=1800.04	? (TO) TT=1800.06	? (TO) TT=1800.09	MSAT (TO) f=1 TT=1800.07 T1=741.04	? (exit code) TT=5.817	? (TO) TT=1800.07	? (TO) TT=1800.01
/PARTIAL-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-cache-ibm-q-full.all.ucl--soft-66-100-0.wbo	MSAT f=1 TT=1800.69 T1=593.57	? (TO) TT=1800.03	? (TO) TT=1800.06	? (TO) TT=1800.06	? (TO) TT=1800.09	? (TO) TT=1800.03	? (TO) TT=1800.07	? (TO) TT=1800.1	? (TO) TT=1800.06	MSAT (TO) f=1 TT=1800.69 T1=593.57	? (TO) TT=1800.1	? (TO) TT=1800.05	? (TO) TT=1800
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Ic22arity.ucl--soft-33-100-0.wbo	MOPT f=1 TT=42.968 T1=14.22	Wrong Cert. TT=84.393	? (TO) TT=1800.03	Wrong Cert. TT=84.111	? (TO) TT=1800.03	Wrong Cert. TT=83.842	? (TO) TT=1800.1	Wrong Cert. TT=84.899	? (TO) TT=1800.08	OPTIMUM f=1 TT=42.968 T1=14.22	? (exit code) TT=6.508	? (TO) TT=1800.08	? (TO) TT=1800.07
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Ic22arity.ucl--soft-66-100-0.wbo	MOPT f=1 TT=47.897 T1=32.91	Wrong Cert. TT=83.293	? (TO) TT=1800.07	Wrong Cert. TT=83.65	? (TO) TT=1800.1	Wrong Cert. TT=82.903	? (TO) TT=1800.09	Wrong Cert. TT=82.874	? (TO) TT=1800.66	OPTIMUM f=1 TT=47.897 T1=32.91	OPTIMUM f=1 TT=1754.04 T1=1542.07	? (TO) TT=1800.05	? (TO) TT=1800.05
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Icl2arity.ucl--soft-33-100-0.wbo	MOPT f=1 TT=10.593 T1=8.31	? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.01	? (TO) TT=1800.05	? (TO) TT=1800.02	? (TO) TT=1800.08	? (TO) TT=1800.04	? (TO) TT=1800.09	OPTIMUM f=1 TT=10.593 T1=8.31	OPTIMUM f=1 TT=296.966 T1=283.02	? (TO) TT=1800.06	? (TO) TT=1800.1
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Icl2arity.ucl--soft-66-100-0.wbo	MOPT f=1 TT=5.219 T1=2.04	? (TO) TT=1800.04	? (TO) TT=1800.09	? (TO) TT=1800.04	? (TO) TT=1800.08	? (TO) TT=1800	? (TO) TT=1800.06	? (TO) TT=1286.07	? (TO) TT=1800.1	OPTIMUM f=1 TT=5.219 T1=2.04	OPTIMUM f=1 TT=90.648 T1=73.7	? (TO) TT=1800.06	? (TO) TT=1800.04
/PARTIAL-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-cache.inv12.ucl--soft-33-100-0.wbo	MOPT f=1 TT=15.385 T1=6.42	? (TO) TT=1800.08	? (TO) TT=1800.07	? (TO) TT=1800.06	? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800.07	? (TO) TT=1800.12	? (TO) TT=1800.11	OPTIMUM f=1 TT=15.385 T1=6.42	OPTIMUM f=1 TT=424.803 T1=373.49	? (TO) TT=1800.07	? (TO) TT=1800.12
/PARTIAL-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-cache.inv12.ucl--soft-66-100-0.wbo	MOPT f=1 TT=16.8 T1=2.55	? (TO) TT=1800.05	? (TO) TT=1800.1	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.07	? (TO) TT=1800.01	? (TO) TT=1800.09	? (TO) TT=1800.11	OPTIMUM f=1 TT=16.8 T1=2.55	OPTIMUM f=1 TT=173.893 T1=97.3	OPTIMUM f=1 TT=54.028 T1=46.67	OPTIMUM f=1 TT=63.659 T1=56.08
/PARTIAL-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-cache.inv14.ucl--soft-33-100-0.wbo	MSAT f=1 TT=1800.68 T1=57.47	? (TO) TT=1800.08	? (TO) TT=1800.1	? (TO) TT=1800.08	? (TO) TT=1800.53	? (TO) TT=1800.09	? (TO) TT=1800.02	? (TO) TT=1800.12	? (TO) TT=1800	MSAT (TO) f=1 TT=1800.68 T1=57.47	? (exit code) TT=4.969	? (TO) TT=1800.07	? (TO) TT=1800.05
Bench name	Best results	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)	Sat4j PB 2012-05-28 (complete)	toysat 2012-05-17 (complete)	wbo2sat 2012-05-19 (complete)	wbo2satCp2 2012-05-19 (complete)
/PARTIAL-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-cache.inv14.ucl--soft-66-100-0.wbo	MSAT f=1 TT=1800.01 T1=14.55	? (TO) TT=1800.14	? (TO) TT=1800.06	? (TO) TT=1800.12	? (TO) TT=1800.02	? (TO) TT=1800.06	? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800.09	MSAT (TO) f=1 TT=1800.01 T1=14.55	? (TO) TT=1800.08	? (TO) TT=1800.13	? (TO) TT=1800.07
/PARTIAL-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-elf.rf10.ucl--soft-33-100-0.wbo	MOPT f=1 TT=21.01 T1=16.44	? (TO) TT=1800.1	? (TO) TT=1800.07	? (TO) TT=1800.06	? (TO) TT=1800.08	? (TO) TT=1800.07	? (TO) TT=1800.09	? (TO) TT=1800.05	? (TO) TT=1800.1	OPTIMUM f=1 TT=21.01 T1=16.44	? (TO) TT=1800.09	? (TO) TT=1800.02	? (TO) TT=1800.08
/PARTIAL-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-elf.rf10.ucl--soft-66-100-0.wbo	MOPT f=1 TT=8.614 T1=3.74	? (TO) TT=1800	? (TO) TT=1800.09	? (TO) TT=1800.08	? (TO) TT=1800.06	? (TO) TT=1800.05	? (TO) TT=1800	? (TO) TT=1800.08	? (TO) TT=1800.09	OPTIMUM f=1 TT=8.614 T1=3.74	OPTIMUM f=1 TT=463.76 T1=435.61	? (TO) TT=1800.01	? (TO) TT=1800.04
/PARTIAL-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-elf.rf9.ucl--soft-33-100-0.wbo	MOPT f=1 TT=4.646 T1=2.87	? (TO) TT=1800.03	? (TO) TT=1800.09	? (TO) TT=1800.01	? (TO) TT=1800.06	? (TO) TT=1800.04	? (TO) TT=1800.07	? (TO) TT=1800.1	? (TO) TT=1800	OPTIMUM f=1 TT=4.646 T1=2.87	OPTIMUM f=1 TT=1339.35 T1=1338.5	? (TO) TT=1800.07	? (TO) TT=1800.1
/PARTIAL-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.burch_dill.8.accl.ucl--soft-33-100-0.wbo	MOPT f=1 TT=239.5 T1=15.15	? (TO) TT=1800.07	? (TO) TT=1800.02	? (TO) TT=1800.07	? (TO) TT=1839.67	? (TO) TT=1800.06	? (TO) TT=1800.09	? (TO) TT=1800.07	? (TO) TT=1800.03	OPTIMUM f=1 TT=239.5 T1=15.15	? (TO) TT=1800.03	? (TO) TT=1800.04	? (TO) TT=1800.05
/PARTIAL-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.ex.br.mem.RobRegValid_bar.ucl--soft-33-100-0.wbo	MOPT f=1 TT=43.998 T1=12.96	? (TO) TT=1800.02	? (TO) TT=1800.02	? (TO) TT=1800.01	? (TO) TT=1800.05	? (TO) TT=1800.1	? (TO) TT=1800	? (TO) TT=1800.08	? (TO) TT=1800.08	OPTIMUM f=1 TT=43.998 T1=12.96	? (TO) TT=1800.1	? (TO) TT=1800.02	? (TO) TT=1800.1
/PARTIAL-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.ex.br.mem.RobRegValid_bar.ucl--soft-66-100-0.wbo	MOPT f=1 TT=203.13 T1=170.48	? (TO) TT=1800.06	? (TO) TT=1800.1	? (TO) TT=1800.03	? (TO) TT=1800.01	? (TO) TT=1800.1	? (TO) TT=1800.04	? (TO) TT=1800.06	? (TO) TT=1800.03	OPTIMUM f=1 TT=203.13 T1=170.48	OPTIMUM f=1 TT=650.039 T1=466.28	? (TO) TT=1800.06	? (TO) TT=1800.01
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl--soft-33-100-0.wbo	MSAT f=1 TT=1800.59 T1=1134.75	? (TO) TT=1800.09	? (problem) TT=6.483	? (TO) TT=1800.01	? (problem) TT=6.845	? (TO) TT=1800.09	? (problem) TT=6.541	? (TO) TT=1800.05	? (problem) TT=6.448	MSAT (TO) f=1 TT=1800.59 T1=1134.75	? (exit code) TT=8.416	? (TO) TT=1800.07	? (TO) TT=1800.05
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl--soft-66-100-0.wbo	MOPT f=1 TT=1030.12 T1=39.84	Wrong Cert. TT=159.02	? (problem) TT=7.055	Wrong Cert. TT=158.607	? (problem) TT=6.317	Wrong Cert. TT=156.01	? (problem) TT=7.019	Wrong Cert. TT=154.778	? (problem) TT=6.484	OPTIMUM f=1 TT=1030.12 T1=39.84	? (exit code) TT=8.335	? (TO) TT=1800.05	? (TO) TT=1800.03
/PARTIAL-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.ex.mem.LdValue.ucl--soft-33-100-0.wbo	MSAT f=1 TT=1800.71 T1=57.13	? (TO) TT=1800.04	? (TO) TT=1800.07	? (TO) TT=1800.02	? (TO) TT=1800.01	? (TO) TT=1800.02	? (TO) TT=1800	? (TO) TT=1800.04	? (TO) TT=1800.04	MSAT (TO) f=1 TT=1800.71 T1=57.13	? (exit code) TT=6.129	? (TO) TT=1800.07	? (TO) TT=1800.02
Bench name	Best results	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)	Sat4j PB 2012-05-28 (complete)	toysat 2012-05-17 (complete)	wbo2sat 2012-05-19 (complete)	wbo2satCp2 2012-05-19 (complete)
/PARTIAL-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.ex.mem.LdValue.ucl--soft-66-100-0.wbo	MSAT f=1 TT=1800 T1=30.48	Wrong Cert. TT=222.385	? (TO) TT=1800.07	Wrong Cert. TT=219.424	? (TO) TT=1800.08	Wrong Cert. TT=218.946	? (TO) TT=1800.03	Wrong Cert. TT=219.138	? (TO) TT=1800.02	MSAT (TO) f=1 TT=1800 T1=30.48	? (TO) TT=1800.09	? (TO) TT=1800.05	? (TO) TT=1800.05
/PARTIAL-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.rf10.ucl--soft-33-100-0.wbo	MOPT f=1 TT=22.281 T1=11.44	? (TO) TT=1800.11	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.01	? (TO) TT=1800.02	? (TO) TT=1800	? (TO) TT=1800.09	? (TO) TT=1800.12	OPTIMUM f=1 TT=22.281 T1=11.44	OPTIMUM f=1 TT=461.651 T1=169.51	? (TO) TT=1800.1	? (TO) TT=1800.05
/PARTIAL-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.rf9.ucl--soft-33-100-0.wbo	MOPT f=1 TT=10.872 T1=9.02	? (TO) TT=1800.08	? (TO) TT=1800.11	? (TO) TT=1800.03	? (TO) TT=1800.12	? (TO) TT=1800.12	? (TO) TT=1800.11	? (TO) TT=1800.08	? (TO) TT=1800.13	OPTIMUM f=1 TT=10.872 T1=9.02	OPTIMUM f=1 TT=92.421 T1=64.07	? (TO) TT=1800.09	? (TO) TT=1800.09
/PARTIAL-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.tag12.ucl--soft-33-100-0.wbo	MOPT f=1 TT=12.646 T1=7.7	OPTIMUM f=1 TT=1454.42 T1=1452.63	? (TO) TT=1800.11	OPTIMUM f=1 TT=1435.42 T1=1431.44	? (TO) TT=1800.07	? (TO) TT=1800.23	? (TO) TT=1800.04	? (TO) TT=1800.07	? (TO) TT=1800.03	OPTIMUM f=1 TT=12.646 T1=7.7	OPTIMUM f=1 TT=376.723 T1=231.7	? (TO) TT=1800.09	? (TO) TT=1800.1
/PARTIAL-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.tag14.ucl--soft-33-100-0.wbo	MOPT f=1 TT=114.267 T1=2.94	? (TO) TT=1800.04	OPTIMUM f=1 TT=159.315 T1=172.52	? (TO) TT=1800.05	OPTIMUM f=1 TT=158.976 T1=163.27	? (TO) TT=1800.08	? (TO) TT=1800.05	? (TO) TT=1800.04	? (TO) TT=1800.13	OPTIMUM f=1 TT=114.267 T1=2.94	OPTIMUM f=1 TT=1479.5 T1=917.15	? (TO) TT=1800	? (TO) TT=1800.01
/PARTIAL-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.tag14.ucl--soft-66-100-0.wbo	MOPT f=1 TT=127.663 T1=1.75	? (TO) TT=1800.01	? (TO) TT=1800.09	? (TO) TT=1800.05	? (TO) TT=1800.05	? (TO) TT=1800.04	? (TO) TT=1800.06	? (TO) TT=1644.17	? (TO) TT=1800.05	OPTIMUM f=1 TT=127.663 T1=1.75	OPTIMUM f=1 TT=959.327 T1=233.27	? (TO) TT=1800.01	? (TO) TT=1800.07
/PARTIAL-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.unbounded.all.ucl--soft-33-100-0.wbo	MOPT f=1 TT=346.02 T1=31.57	Wrong Cert. TT=133.677	? (TO) TT=1800.05	Wrong Cert. TT=131.15	? (TO) TT=1800.1	Wrong Cert. TT=131.87	? (TO) TT=1800.01	Wrong Cert. TT=133.138	? (TO) TT=1800.07	OPTIMUM f=1 TT=346.02 T1=31.57	? (exit code) TT=6.481	? (TO) TT=1800.06	? (TO) TT=1800.09
/PARTIAL-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.unbounded.all.ucl--soft-66-100-0.wbo	MOPT f=1 TT=426.13 T1=39.49	Wrong Cert. TT=130.636	? (TO) TT=1800.08	Wrong Cert. TT=130.001	? (TO) TT=1800.09	Wrong Cert. TT=130.09	? (TO) TT=1800	Wrong Cert. TT=129.033	? (TO) TT=1800	OPTIMUM f=1 TT=426.13 T1=39.49	? (TO) TT=1800.09	? (TO) TT=1800.07	? (TO) TT=1800.03
/PARTIAL-BIGINT-LIN/PB10/ oliveras/j120/ normalized-j12013_1-unsat--soft-33-100-0.wbo	MSAT f=2324 TT=1800.04 T1=2.14	? (TO) TT=1800.07	? (problem) TT=2.587	? (TO) TT=1800.03	? (problem) TT=2.772	? (TO) TT=1800.09	? (problem) TT=2.646	? (TO) TT=1800.09	? (problem) TT=2.764	MSAT (TO) f=2324 TT=1800.04 T1=2.14	? (TO) TT=1800.02	? (TO) TT=1800.06	? (TO) TT=1800.08
/PARTIAL-BIGINT-LIN/PB10/ oliveras/j120/ normalized-j12013_1-unsat--soft-66-100-0.wbo	MSAT f=3464 TT=1800.04 T1=1794.85	? (TO) TT=1800.11	? (problem) TT=2.647	? (TO) TT=1800.05	? (problem) TT=2.687	? (TO) TT=1800.01	? (problem) TT=2.726	? (TO) TT=1800.08	? (problem) TT=2.626	MSAT (TO) f=3464 TT=1800.04 T1=1794.85	? (TO) TT=1800.02	? (TO) TT=1800.07	? (TO) TT=1800.09
Bench name	Best results	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)	Sat4j PB 2012-05-28 (complete)	toysat 2012-05-17 (complete)	wbo2sat 2012-05-19 (complete)	wbo2satCp2 2012-05-19 (complete)
/PARTIAL-BIGINT-LIN/PB10/ oliveras/j120/ normalized-j12015_3-unsat--soft-33-100-0.wbo	MOPT f=5 TT=49.896 T1=47.15	? (TO) TT=1800.05	? (problem) TT=2.512	? (TO) TT=1800.07	? (problem) TT=2.366	? (TO) TT=1800.12	? (problem) TT=2.408	? (TO) TT=1800.04	? (problem) TT=2.268	OPTIMUM f=5 TT=49.896 T1=47.15	OPTIMUM f=5 TT=266.87 T1=266.91	? (TO) TT=1800.06	? (TO) TT=1800.06
/PARTIAL-BIGINT-LIN/PB10/ oliveras/j120/ normalized-j12015_3-unsat--soft-66-100-0.wbo	MOPT f=30 TT=109.45 T1=106.42	? (TO) TT=1800.07	? (problem) TT=2.306	? (TO) TT=1800.08	? (problem) TT=2.449	? (TO) TT=1800.05	? (problem) TT=2.404	? (TO) TT=1800.1	? (problem) TT=2.31	OPTIMUM f=30 TT=109.45 T1=106.42	OPTIMUM f=30 TT=393.386 T1=393.42	? (TO) TT=1800.14	? (TO) TT=1800.13
/PARTIAL-BIGINT-LIN/PB10/ oliveras/j120/ normalized-j12023_3-unsat--soft-33-100-0.wbo	MOPT f=8 TT=3.084 T1=1.4	OPTIMUM f=8 TT=588.204 T1=587.73	OPTIMUM f=8 TT=922.647 T1=922.8	OPTIMUM f=8 TT=593.694 T1=592.99	OPTIMUM f=8 TT=1139.85 T1=1140.02	? (TO) TT=1800.1	? (TO) TT=1800.12	? (TO) TT=1800.1	? (TO) TT=1800.19	OPTIMUM f=8 TT=3.084 T1=1.4	OPTIMUM f=8 TT=382.923 T1=382.64	? (TO) TT=1800.09	? (TO) TT=1800.13
/PARTIAL-BIGINT-LIN/PB10/ oliveras/j120/ normalized-j12023_3-unsat--soft-66-100-0.wbo	MOPT f=2 TT=2.045 T1=1.34	OPTIMUM f=2 TT=5.305 T1=5.22	OPTIMUM f=2 TT=3.532 T1=3.38	OPTIMUM f=2 TT=5.319 T1=5.43	OPTIMUM f=2 TT=3.677 T1=3.52	OPTIMUM f=2 TT=5.625 T1=5.8	OPTIMUM f=2 TT=3.478 T1=3.32	OPTIMUM f=2 TT=5.588 T1=5.38	OPTIMUM f=2 TT=3.474 T1=3.31	OPTIMUM f=2 TT=3.284 T1=1.34	OPTIMUM f=2 TT=96.65 T1=96.51	OPTIMUM f=2 TT=2.045 T1=1.88	OPTIMUM f=2 TT=2.109 T1=1.94
/PARTIAL-BIGINT-LIN/PB10/ oliveras/j120/ normalized-j12026_5-unsat--soft-33-100-0.wbo	MSAT f=9772 TT=1800.97 T1=1795.95	? (TO) TT=1800.08	? (problem) TT=1.94	? (TO) TT=1800.08	? (problem) TT=1.842	? (TO) TT=1800.02	? (problem) TT=1.951	? (TO) TT=1800.11	? (problem) TT=1.891	MSAT (TO) f=9772 TT=1800.97 T1=1795.95	? (TO) TT=1800.11	? (TO) TT=1800.09	? (TO) TT=1800.08
/PARTIAL-BIGINT-LIN/PB10/ oliveras/j120/ normalized-j12026_5-unsat--soft-66-100-0.wbo	MSAT f=7448 TT=1800 T1=1794.75	? (TO) TT=1800.03	? (problem) TT=1.874	? (TO) TT=1800.06	? (problem) TT=1.874	? (TO) TT=1800.03	? (problem) TT=1.955	? (TO) TT=1800.12	? (problem) TT=1.889	MSAT (TO) f=7448 TT=1800 T1=1794.75	? (TO) TT=1800.07	? (TO) TT=1800.1	? (TO) TT=1800.11
/PARTIAL-BIGINT-LIN/PB10/ oliveras/j120/ normalized-j12027_7-unsat--soft-33-100-0.wbo	MSAT f=5425 TT=1800.87 T1=1.44	? (TO) TT=1800.03	? (problem) TT=1.915	? (TO) TT=1800.13	? (problem) TT=1.895	? (TO) TT=1800.1	? (problem) TT=1.878	? (TO) TT=1800.12	? (problem) TT=1.872	MSAT (TO) f=5425 TT=1800.87 T1=1.44	? (TO) TT=1800.12	? (TO) TT=1800.08	? (TO) TT=1800.05
/PARTIAL-BIGINT-LIN/PB10/ oliveras/j120/ normalized-j12027_7-unsat--soft-66-100-0.wbo	MSAT f=2845 TT=1800.1 T1=1792.55	? (TO) TT=1800.13	? (problem) TT=1.848	? (TO) TT=1800.13	? (problem) TT=1.87	? (TO) TT=1800.1	? (problem) TT=1.836	? (TO) TT=1800.08	? (problem) TT=1.812	MSAT (TO) f=2845 TT=1800.1 T1=1792.55	? (TO) TT=1800.12	? (TO) TT=1800.01	? (TO) TT=1800.06
/PARTIAL-BIGINT-LIN/PB10/ oliveras/j120/ normalized-j12041_4-unsat--soft-33-100-0.wbo	MOPT f=3 TT=43.197 T1=39.9	? (TO) TT=1800.1	? (TO) TT=1800.04	? (TO) TT=1800.1	? (TO) TT=1800.04	? (TO) TT=1800.09	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.14	OPTIMUM f=3 TT=43.197 T1=39.9	? (TO) TT=1800.09	? (TO) TT=1800.03	? (TO) TT=1800.1
/PARTIAL-BIGINT-LIN/PB10/ oliveras/j120/ normalized-j12041_4-unsat--soft-66-100-0.wbo	MOPT f=2 TT=27.271 T1=24.98	? (TO) TT=1800.12	? (TO) TT=1800.04	? (TO) TT=1800.1	? (TO) TT=1800.06	? (TO) TT=1800.1	? (TO) TT=1800	? (TO) TT=1800.09	? (TO) TT=1800.1	OPTIMUM f=2 TT=27.271 T1=24.98	OPTIMUM f=2 TT=1252.43 T1=1251.67	? (TO) TT=1800.05	? (TO) TT=1800.07
Bench name	Best results	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)	Sat4j PB 2012-05-28 (complete)	toysat 2012-05-17 (complete)	wbo2sat 2012-05-19 (complete)	wbo2satCp2 2012-05-19 (complete)
/PARTIAL-BIGINT-LIN/PB10/ oliveras/j120/ normalized-j1205_1-unsat--soft-33-100-0.wbo	MOPT f=3 TT=2.813 T1=1.2	OPTIMUM f=3 TT=8.738 T1=8.58	OPTIMUM f=3 TT=8.549 T1=8.93	OPTIMUM f=3 TT=9.203 T1=8.95	OPTIMUM f=3 TT=8.309 T1=8.28	OPTIMUM f=3 TT=92.25 T1=92.12	OPTIMUM f=3 TT=76.612 T1=77.03	? (TO) TT=1800.18	? (TO) TT=1800.07	OPTIMUM f=3 TT=2.813 T1=1.2	OPTIMUM f=3 TT=303.212 T1=302.99	OPTIMUM f=3 TT=4.349 T1=3.95	OPTIMUM f=3 TT=4.513 T1=4.56
/PARTIAL-BIGINT-LIN/PB10/ oliveras/j120/ normalized-j1205_1-unsat--soft-66-100-0.wbo	MOPT f=17 TT=3.233 T1=1.27	OPTIMUM f=17 TT=59.04 T1=58.42	OPTIMUM f=17 TT=261.503 T1=261.62	OPTIMUM f=17 TT=68.843 T1=68.21	OPTIMUM f=17 TT=203.135 T1=202.48	? (TO) TT=1800.07	? (TO) TT=1800.12	? (TO) TT=1800.37	? (TO) TT=1800.19	OPTIMUM f=17 TT=3.233 T1=1.27	OPTIMUM f=17 TT=76 T1=75.84	OPTIMUM f=17 TT=172.599 T1=172.27	OPTIMUM f=17 TT=215.253 T1=214.91
/PARTIAL-BIGINT-LIN/PB10/ oliveras/j60/ normalized-j6030_9-unsat--soft-33-100-0.wbo	MOPT f=1 TT=3.044 T1=1.26	? (TO) TT=1800.08	? (problem) TT=1.627	? (TO) TT=1800.06	? (problem) TT=1.711	? (TO) TT=1800.12	? (problem) TT=1.635	? (TO) TT=1800.01	? (problem) TT=1.637	OPTIMUM f=1 TT=3.044 T1=1.26	OPTIMUM f=1 TT=90.458 T1=90.26	? (TO) TT=1800.1	? (TO) TT=1800.1
/PARTIAL-BIGINT-LIN/PB10/ oliveras/j60/ normalized-j6033_2-unsat--soft-33-100-0.wbo	MOPT f=23 TT=2.556 T1=0.94	OPTIMUM f=23 TT=16.52 T1=16.13	OPTIMUM f=23 TT=14.376 T1=13.71	OPTIMUM f=23 TT=16.478 T1=16.07	OPTIMUM f=23 TT=14.276 T1=13.61	? (TO) TT=1800.07	? (TO) TT=1800.09	? (TO) TT=1800.08	? (TO) TT=1800.09	OPTIMUM f=23 TT=2.556 T1=0.94	OPTIMUM f=23 TT=103.07 T1=102.89	OPTIMUM f=23 TT=392.841 T1=392.86	OPTIMUM f=23 TT=373.774 T1=373.46
/PARTIAL-BIGINT-LIN/PB10/ oliveras/j90/ normalized-j9010_6-unsat--soft-33-100-0.wbo	MOPT f=20 TT=2.724 T1=1.1	? (TO) TT=1800.13	? (problem) TT=1.949	? (TO) TT=1800.1	? (problem) TT=1.911	? (TO) TT=1800.08	? (problem) TT=1.927	? (TO) TT=1800.06	? (problem) TT=1.951	OPTIMUM f=20 TT=2.724 T1=1.1	OPTIMUM f=20 TT=166.299 T1=166.11	? (TO) TT=1800.15	? (TO) TT=1800.05
/PARTIAL-BIGINT-LIN/PB10/ oliveras/j90/ normalized-j9012_2-unsat--soft-33-100-0.wbo	MOPT f=11 TT=2.415 T1=0.99	OPTIMUM f=11 TT=1033.82 T1=1034.31	? (problem) TT=1.994	OPTIMUM f=11 TT=964.99 T1=966.05	? (problem) TT=1.992	? (TO) TT=1800.03	? (problem) TT=1.972	? (TO) TT=1800.2	? (problem) TT=2.056	OPTIMUM f=11 TT=2.415 T1=0.99	OPTIMUM f=11 TT=95.039 T1=94.91	OPTIMUM f=11 TT=922.405 T1=923.02	OPTIMUM f=11 TT=1242.81 T1=1243.26
/PARTIAL-BIGINT-LIN/PB10/ oliveras/j90/ normalized-j9014_1-unsat--soft-33-100-0.wbo	MOPT f=47 TT=86.533 T1=84.29	? (TO) TT=1800.07	? (problem) TT=2.254	? (TO) TT=-1	? (problem) TT=2.292	? (TO) TT=1800.09	? (problem) TT=2.258	? (TO) TT=1800.04	? (problem) TT=2.262	OPTIMUM f=47 TT=86.533 T1=84.29	OPTIMUM f=47 TT=153.282 T1=153.13	? (TO) TT=1800.03	? (TO) TT=1800.06
/PARTIAL-BIGINT-LIN/PB10/ oliveras/j90/ normalized-j9015_10-unsat--soft-33-100-0.wbo	MOPT f=33 TT=2.716 T1=1.07	? (TO) TT=1800.05	? (problem) TT=2.14	? (TO) TT=1800.08	? (problem) TT=2.135	? (TO) TT=1800.06	? (problem) TT=2.136	? (TO) TT=1800.03	? (problem) TT=2.153	OPTIMUM f=33 TT=2.716 T1=1.07	OPTIMUM f=33 TT=116.685 T1=116.52	? (TO) TT=1800.08	? (TO) TT=1800.06
/PARTIAL-BIGINT-LIN/PB10/ oliveras/j90/ normalized-j9028_2-unsat--soft-33-100-0.wbo	MOPT f=1 TT=2.615 T1=1.02	OPTIMUM f=1 TT=35.787 T1=35.09	? (problem) TT=1.977	OPTIMUM f=1 TT=42.907 T1=42.17	? (problem) TT=1.99	OPTIMUM f=1 TT=617.658 T1=617.69	? (problem) TT=1.988	? (TO) TT=1800.97	? (problem) TT=1.983	OPTIMUM f=1 TT=2.615 T1=1.02	OPTIMUM f=1 TT=120.664 T1=120.54	OPTIMUM f=1 TT=14.312 T1=13.6	OPTIMUM f=1 TT=14.767 T1=14.02
/PARTIAL-BIGINT-LIN/PB10/ oliveras/j90/ normalized-j903_10-unsat--soft-33-100-0.wbo	MOPT f=5 TT=2.543 T1=0.95	OPTIMUM f=5 TT=4.024 T1=4.02	OPTIMUM f=5 TT=3.86 T1=4.91	OPTIMUM f=5 TT=4.196 T1=4.3	OPTIMUM f=5 TT=3.892 T1=5.01	OPTIMUM f=5 TT=4.213 T1=4.06	OPTIMUM f=5 TT=4.597 T1=4.48	OPTIMUM f=5 TT=4.184 T1=4.04	OPTIMUM f=5 TT=4.721 T1=4.6	OPTIMUM f=5 TT=2.543 T1=0.95	OPTIMUM f=5 TT=78.122 T1=78.01	OPTIMUM f=5 TT=107.458 T1=107.51	OPTIMUM f=5 TT=109.283 T1=109.19
Bench name	Best results	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)	Sat4j PB 2012-05-28 (complete)	toysat 2012-05-17 (complete)	wbo2sat 2012-05-19 (complete)	wbo2satCp2 2012-05-19 (complete)
/PARTIAL-BIGINT-LIN/PB10/ oliveras/j90/ normalized-j9035_1-unsat--soft-33-100-0.wbo	MOPT f=8 TT=2.377 T1=1.12	OPTIMUM f=8 TT=6.163 T1=5.94	OPTIMUM f=8 TT=6.106 T1=6.04	OPTIMUM f=8 TT=6.136 T1=5.92	OPTIMUM f=8 TT=6.111 T1=5.93	OPTIMUM f=8 TT=12.34 T1=12.29	OPTIMUM f=8 TT=11.674 T1=11.45	OPTIMUM f=8 TT=12.444 T1=12.37	OPTIMUM f=8 TT=11.728 T1=11.63	OPTIMUM f=8 TT=2.844 T1=1.12	OPTIMUM f=8 TT=226.524 T1=226.34	OPTIMUM f=8 TT=2.417 T1=2.23	OPTIMUM f=8 TT=2.377 T1=2.19
/PARTIAL-BIGINT-LIN/PB10/ oliveras/j90/ normalized-j9035_1-unsat--soft-66-100-0.wbo	MOPT f=3 TT=2.477 T1=1.15	OPTIMUM f=3 TT=5.989 T1=6.05	OPTIMUM f=3 TT=4.446 T1=4.36	OPTIMUM f=3 TT=5.792 T1=5.49	OPTIMUM f=3 TT=4.319 T1=4.33	OPTIMUM f=3 TT=208.324 T1=208.35	OPTIMUM f=3 TT=472.018 T1=472.09	? (TO) TT=1718.76	? (TO) TT=1800.04	OPTIMUM f=3 TT=3.093 T1=1.15	OPTIMUM f=3 TT=57.53 T1=57.38	OPTIMUM f=3 TT=2.477 T1=2.22	OPTIMUM f=3 TT=2.558 T1=2.28
/PARTIAL-BIGINT-LIN/PB10/ oliveras/j90/ normalized-j9039_3-unsat--soft-33-100-0.wbo	MOPT f=10 TT=2.683 T1=1.09	OPTIMUM f=10 TT=18.812 T1=19.02	? (problem) TT=1.516	OPTIMUM f=10 TT=18.793 T1=19.57	? (problem) TT=1.523	OPTIMUM f=10 TT=192.741 T1=192.8	? (problem) TT=1.511	? (TO) TT=1800.18	? (problem) TT=1.538	OPTIMUM f=10 TT=2.683 T1=1.09	OPTIMUM f=10 TT=158.171 T1=157.99	OPTIMUM f=10 TT=208.933 T1=208.61	OPTIMUM f=10 TT=253.514 T1=253.17
/PARTIAL-BIGINT-LIN/PB10/ oliveras/j90/ normalized-j9048_1-unsat--soft-33-100-0.wbo	MOPT f=10 TT=2.553 T1=1.08	OPTIMUM f=10 TT=55.685 T1=51.84	? (problem) TT=2.545	OPTIMUM f=10 TT=55.534 T1=52.82	? (problem) TT=2.537	OPTIMUM f=10 TT=456.938 T1=456.88	? (problem) TT=2.516	OPTIMUM f=10 TT=592.743 T1=592.95	? (problem) TT=2.499	OPTIMUM f=10 TT=2.553 T1=1.08	OPTIMUM f=10 TT=158.152 T1=157.93	OPTIMUM f=10 TT=22.271 T1=19.9	OPTIMUM f=10 TT=22.899 T1=20.56
/PARTIAL-BIGINT-LIN/PB10/ oliveras/j90/ normalized-j907_8-unsat--soft-33-100-0.wbo	MOPT f=2 TT=2.264 T1=0.92	OPTIMUM f=2 TT=119.745 T1=119.52	? (problem) TT=1.339	OPTIMUM f=2 TT=120.114 T1=119.78	? (problem) TT=1.333	? (TO) TT=1800.12	? (problem) TT=1.353	? (TO) TT=1800.4	? (problem) TT=1.36	OPTIMUM f=2 TT=2.264 T1=0.92	OPTIMUM f=2 TT=66.78 T1=66.65	OPTIMUM f=2 TT=162.314 T1=162.02	OPTIMUM f=2 TT=160.655 T1=160.38
/PARTIAL-BIGINT-LIN/wcsp/ academics/ normalized-slangford-3-11_wcsp.wbo	MOPT f=54 TT=239.03 T1=76.87	? (TO) TT=1800.08	? (TO) TT=1800.1	? (TO) TT=1800.11	? (TO) TT=1800.05	? (TO) TT=1800.12	? (TO) TT=1800.05	? (TO) TT=1800.12	? (TO) TT=1800.12	OPTIMUM f=54 TT=239.03 T1=76.87	? (TO) TT=1800.03	? (TO) TT=1800	? (TO) TT=1800.08
/PARTIAL-BIGINT-LIN/ wcsp/academics/ normalized-warehouse1_wcsp.wbo	MOPT f=674555 TT=208.351 T1=208.4	OPTIMUM f=674555 TT=167.872 T1=160.54	OPTIMUM f=674555 TT=235.006 T1=235.06	OPTIMUM f=674555 TT=168.405 T1=160.98	OPTIMUM f=674555 TT=231.029 T1=231.12	? (TO) TT=1800.11	? (TO) TT=1800.03	? (TO) TT=1800.05	? (TO) TT=1800.1	OPTIMUM f=674555 TT=856.975 T1=622.33	? (TO) TT=1800.02	OPTIMUM f=674555 TT=208.351 T1=208.4	OPTIMUM f=674555 TT=208.66 T1=208.71
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt3cc_wcsp.wbo	MOPT f=153 TT=0.111 T1=0.1	OPTIMUM f=153 TT=2.094 T1=2	OPTIMUM f=153 TT=5.513 T1=5.52	OPTIMUM f=153 TT=2.146 T1=2.03	OPTIMUM f=153 TT=5.553 T1=5.54	OPTIMUM f=153 TT=164.312 T1=164.55	OPTIMUM f=153 TT=391.375 T1=391.61	? (TO) TT=1800.1	? (TO) TT=1800.07	OPTIMUM f=153 TT=0.395 T1=0.24	OPTIMUM f=153 TT=0.111 T1=0.1	OPTIMUM f=153 TT=3.018 T1=2.96	OPTIMUM f=153 TT=2.959 T1=2.9
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt3c_wcsp.wbo	MOPT f=304 TT=0.101 T1=0.1	OPTIMUM f=304 TT=2.714 T1=2.55	OPTIMUM f=304 TT=3.727 T1=3.72	OPTIMUM f=304 TT=2.663 T1=2.51	OPTIMUM f=304 TT=3.691 T1=3.68	OPTIMUM f=304 TT=85.017 T1=85.07	OPTIMUM f=304 TT=97.012 T1=97.09	? (TO) TT=1800.18	? (TO) TT=1800.04	OPTIMUM f=304 TT=0.345 T1=0.22	OPTIMUM f=304 TT=0.101 T1=0.1	OPTIMUM f=304 TT=2.646 T1=2.61	OPTIMUM f=304 TT=2.61 T1=2.57
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt4bc_wcsp.wbo	MOPT f=301 TT=1.485 T1=0.63	? (TO) TT=1800.07	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.07	? (TO) TT=1800.13	? (TO) TT=1800.11	? (TO) TT=1800.05	? (TO) TT=1800.28	OPTIMUM f=301 TT=1.485 T1=0.63	OPTIMUM f=301 TT=12.104 T1=12.1	? (TO) TT=1800	? (TO) TT=1800.08
Bench name	Best results	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)	Sat4j PB 2012-05-28 (complete)	toysat 2012-05-17 (complete)	wbo2sat 2012-05-19 (complete)	wbo2satCp2 2012-05-19 (complete)
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt4cc_wcsp.wbo	MOPT f=531 TT=1.443 T1=0.62	OPTIMUM f=531 TT=1128.61 T1=1128.69	? (TO) TT=1800.11	OPTIMUM f=531 TT=899.4 T1=899.44	? (TO) TT=1800.13	? (TO) TT=1800.08	? (TO) TT=1800.02	? (TO) TT=1800.08	? (TO) TT=1800.03	OPTIMUM f=531 TT=1.443 T1=0.62	OPTIMUM f=531 TT=11.63 T1=11.64	OPTIMUM f=531 TT=1449.12 T1=1449.3	OPTIMUM f=531 TT=1447.56 T1=1447.77
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt4c_wcsp.wbo	MOPT f=456 TT=1.293 T1=0.58	? (TO) TT=1800.12	OPTIMUM f=456 TT=1765.46 T1=1765.69	? (TO) TT=1800.12	OPTIMUM f=456 TT=1712.35 T1=1712.57	? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800.18	? (TO) TT=1800.35	OPTIMUM f=456 TT=1.293 T1=0.58	OPTIMUM f=456 TT=11.768 T1=11.75	? (TO) TT=1800.09	? (TO) TT=1800.09
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt5ac_wcsp.wbo	MOPT f=608 TT=2.224 T1=0.9	? (TO) TT=1800.06	? (TO) TT=1800.04	? (TO) TT=1800.05	? (TO) TT=1800.07	? (TO) TT=1800.05	? (TO) TT=1800.04	? (TO) TT=1800.1	? (TO) TT=1800.01	OPTIMUM f=608 TT=2.224 T1=0.9	OPTIMUM f=608 TT=188.489 T1=188.41	? (TO) TT=1800.04	? (TO) TT=1800.11
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt5bc_wcsp.wbo	MOPT f=338 TT=2.214 T1=0.87	? (TO) TT=1800.08	? (TO) TT=1800.05	? (TO) TT=1800.09	? (TO) TT=1800.07	? (TO) TT=1800	? (TO) TT=1800.06	? (TO) TT=1800.11	? (TO) TT=1800.08	OPTIMUM f=338 TT=2.214 T1=0.87	OPTIMUM f=338 TT=187.314 T1=187.08	? (TO) TT=1800.06	? (TO) TT=1800.04
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt5cc_wcsp.wbo	MOPT f=866 TT=2.484 T1=1.1	? (TO) TT=1800.13	? (TO) TT=1800.1	? (TO) TT=1800.1	? (TO) TT=1800.07	? (TO) TT=1800.04	? (TO) TT=1800.08	? (TO) TT=1800.09	? (TO) TT=1800.09	OPTIMUM f=866 TT=2.484 T1=1.1	OPTIMUM f=866 TT=187.839 T1=187.86	? (TO) TT=1800.1	? (TO) TT=1800.09
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt5c_wcsp.wbo	MOPT f=608 TT=2.204 T1=0.9	? (TO) TT=1800.09	? (TO) TT=1800.08	? (TO) TT=1800	? (TO) TT=1800.06	? (TO) TT=1800.07	? (TO) TT=1800.09	? (TO) TT=1800.07	? (TO) TT=1800.06	OPTIMUM f=608 TT=2.204 T1=0.9	OPTIMUM f=608 TT=187.685 T1=187.62	? (TO) TT=1800.08	? (TO) TT=1800.13
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt6_wcsp.wbo	MOPT f=460 TT=3.104 T1=1.5	? (TO) TT=1800.08	? (TO) TT=1800.1	? (TO) TT=1800	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.02	? (TO) TT=1800.09	? (TO) TT=1800.09	OPTIMUM f=460 TT=3.104 T1=1.5	OPTIMUM f=460 TT=1483.92 T1=1483.69	? (TO) TT=1800.07	? (TO) TT=1800.09
/PARTIAL-BIGINT-LIN/ wcsp/celar/ normalized-celar6-sub0_wcsp.wbo	MSAT f=247 TT=1800.04 T1=678.51	? (TO) TT=1800.1	? (TO) TT=1800.11	? (TO) TT=1800.1	? (TO) TT=1800.07	? (TO) TT=1800.01	? (TO) TT=1800.1	? (TO) TT=1800.07	? (TO) TT=1800.07	MSAT (TO) f=247 TT=1800.04 T1=678.51	? (TO) TT=1800.01	? (TO) TT=1800.05	? (TO) TT=1800.1
/PARTIAL-BIGINT-LIN/ wcsp/celar/ normalized-celar6-sub1-24_wcsp.wbo	MSAT f=8132 TT=1800.09 T1=1797.63	? (TO) TT=1800.08	? (TO) TT=1800.07	? (TO) TT=1800.1	? (TO) TT=1800.1	? (TO) TT=1800.01	? (TO) TT=1800.01	? (TO) TT=1800	? (TO) TT=1800.03	MSAT (TO) f=8132 TT=1800.09 T1=1797.63	? (TO) TT=1800.11	? (TO) TT=1800.08	? (TO) TT=1800.09
/PARTIAL-BIGINT-LIN/ wcsp/celar/ normalized-celar6-sub1_wcsp.wbo	MSAT f=9253 TT=1800.07 T1=1796.93	? (TO) TT=1800.09	? (TO) TT=1800.07	? (TO) TT=1800.01	? (TO) TT=1800.09	? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.08	? (TO) TT=1800.03	MSAT (TO) f=9253 TT=1800.07 T1=1796.93	? (exit code) TT=4.602	? (TO) TT=1800.1	? (TO) TT=1800.09
Bench name	Best results	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)	Sat4j PB 2012-05-28 (complete)	toysat 2012-05-17 (complete)	wbo2sat 2012-05-19 (complete)	wbo2satCp2 2012-05-19 (complete)
/PARTIAL-BIGINT-LIN/ wcsp/celar/ normalized-celar6-sub2_wcsp.wbo	MSAT f=4030 TT=1800.08 T1=1795.42	? (TO) TT=1800.09	? (TO) TT=1800.07	? (TO) TT=1800.08	? (TO) TT=1800.09	? (TO) TT=1800.07	? (TO) TT=1800.01	? (TO) TT=1800.1	? (TO) TT=1800.04	MSAT (TO) f=4030 TT=1800.08 T1=1795.42	? (exit code) TT=5.405	? (TO) TT=1800.06	? (TO) TT=1800.08
/PARTIAL-BIGINT-LIN/ wcsp/celar/ normalized-celar6-sub3_wcsp.wbo	MSAT f=11942 TT=1800.09 T1=3.4	? (TO) TT=1800.1	? (MO) TT=132.23	? (TO) TT=1800.09	? (MO) TT=126.21	? (TO) TT=1800	? (MO) TT=137.45	? (TO) TT=1800.04	? (MO) TT=140.63	MSAT (TO) f=11942 TT=1800.09 T1=3.4	? (exit code) TT=5.928	? (TO) TT=1800.09	? (TO) TT=1800.05
/PARTIAL-BIGINT-LIN/ wcsp/celar/ normalized-celar6-sub4-20_wcsp.wbo	MSAT f=5791 TT=1800.5 T1=1798.13	? (TO) TT=1800.01	? (TO) TT=1800.07	? (TO) TT=1800.01	? (TO) TT=1800.06	? (TO) TT=1800.07	? (TO) TT=1800.03	? (TO) TT=1800.09	? (TO) TT=1800.07	MSAT (TO) f=5791 TT=1800.5 T1=1798.13	? (TO) TT=1800.1	? (TO) TT=1800.07	? (TO) TT=1800.08
/PARTIAL-BIGINT-LIN/wcsp/ celar/ normalized-celar6-sub4reduc_wcsp.wbo		? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800.08	? (TO) TT=1800.04	? (TO) TT=1800.08	? (TO) TT=1800.05	? (TO) TT=1800.01	? (TO) TT=1800.05	? (TO) TT=1800.8	? (exit code) TT=3.296	? (TO) TT=1800	? (TO) TT=1800.08
/PARTIAL-BIGINT-LIN/ wcsp/celar/ normalized-celar6-sub4_wcsp.wbo	MSAT f=7839 TT=1801.05 T1=1797.03	? (TO) TT=1800.04	? (MO) TT=135.32	? (TO) TT=1800.09	? (MO) TT=135.64	? (TO) TT=1800.08	? (MO) TT=139.14	? (TO) TT=1800.09	? (MO) TT=129.52	MSAT (TO) f=7839 TT=1801.05 T1=1797.03	? (exit code) TT=6.841	? (TO) TT=1800.07	? (TO) TT=1800.05
/PARTIAL-BIGINT-LIN/ wcsp/celar/ normalized-celar7-sub0_wcsp.wbo	MSAT f=10717 TT=1800.07 T1=1795.33	? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800.01	? (TO) TT=1800.08	? (TO) TT=1800.07	? (TO) TT=1800.06	? (TO) TT=1800.1	? (TO) TT=1800.09	MSAT (TO) f=10717 TT=1800.07 T1=1795.33	? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800.05
/PARTIAL-BIGINT-LIN/ wcsp/celar/ normalized-celar7-sub1-20_wcsp.wbo	MSAT f=272946 TT=1800.02 T1=1797.83	? (TO) TT=1800.05	? (TO) TT=1800.04	? (TO) TT=1800.11	? (TO) TT=1800.02	? (TO) TT=1800.04	? (TO) TT=1800.04	? (TO) TT=1800.06	? (TO) TT=1800.1	MSAT (TO) f=272946 TT=1800.02 T1=1797.83	? (TO) TT=1800.11	? (TO) TT=1800.09	? (TO) TT=1800.06
/PARTIAL-BIGINT-LIN/ wcsp/celar/ normalized-celar7-sub1_wcsp.wbo	MSAT f=492635 TT=1800.49 T1=1797.23	? (TO) TT=1800.09	? (MO) TT=137.63	? (TO) TT=1800.1	? (MO) TT=130.65	? (TO) TT=1800.1	? (MO) TT=136.94	? (TO) TT=1800.01	? (MO) TT=136.82	MSAT (TO) f=492635 TT=1800.49 T1=1797.23	? (exit code) TT=5.15	? (TO) TT=1800.08	? (TO) TT=1800.09
/PARTIAL-BIGINT-LIN/ wcsp/celar/ normalized-celar7-sub2_wcsp.wbo	MSAT f=543647 TT=1800.05 T1=1795.13	? (TO) TT=1800.11	? (MO) TT=152.1	? (TO) TT=1800.03	? (MO) TT=159.44	? (TO) TT=1800.09	? (MO) TT=159	? (TO) TT=1800.08	? (MO) TT=158.74	MSAT (TO) f=543647 TT=1800.05 T1=1795.13	? (exit code) TT=5.691	? (TO) TT=1800.09	? (TO) TT=1800.06
/PARTIAL-BIGINT-LIN/ wcsp/celar/ normalized-celar7-sub3_wcsp.wbo	MSAT f=493348 TT=1800.01 T1=1796.93	? (TO) TT=1800.05	? (MO) TT=161.58	? (TO) TT=1800.08	? (MO) TT=159.7	? (TO) TT=1800.01	? (MO) TT=141.4	? (TO) TT=1800.1	? (MO) TT=144.563	MSAT (TO) f=493348 TT=1800.01 T1=1796.93	? (exit code) TT=6.237	? (TO) TT=1800.05	? (TO) TT=1800.06
Bench name	Best results	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)	Sat4j PB 2012-05-28 (complete)	toysat 2012-05-17 (complete)	wbo2sat 2012-05-19 (complete)	wbo2satCp2 2012-05-19 (complete)
/PARTIAL-BIGINT-LIN/ wcsp/celar/ normalized-celar7-sub4-22_wcsp.wbo	MSAT f=1573851 TT=1800.01 T1=1797.14	? (TO) TT=1800.05	? (TO) TT=1800.09	? (TO) TT=1800.04	? (TO) TT=1800.09	? (TO) TT=1800.06	? (TO) TT=1800	? (TO) TT=1800.03	? (TO) TT=1800.06	MSAT (TO) f=1573851 TT=1800.01 T1=1797.14	? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800.07
/PARTIAL-BIGINT-LIN/ wcsp/celar/ normalized-celar7-sub4_wcsp.wbo	MSAT f=8603259 TT=1800.02 T1=1796.73	? (TO) TT=1800.1	? (problem) TT=140.561	? (TO) TT=1800.07	? (problem) TT=130.494	? (TO) TT=1800.1	? (problem) TT=136.628	? (TO) TT=1800.08	? (problem) TT=143.382	MSAT (TO) f=8603259 TT=1800.02 T1=1796.73	? (exit code) TT=6.876	? (TO) TT=1800.07	? (TO) TT=1800.05
/PARTIAL-BIGINT-LIN/ wcsp/depot/ normalized-depot01ac_wcsp.wbo	MOPT f=1549 TT=0.077 T1=0.07	OPTIMUM f=1549 TT=1.492 T1=4.57	OPTIMUM f=1549 TT=3.77 T1=4.57	OPTIMUM f=1549 TT=1.555 T1=1.55	OPTIMUM f=1549 TT=3.562 T1=3.57	OPTIMUM f=1549 TT=19.189 T1=19.31	OPTIMUM f=1549 TT=158.011 T1=158.57	? (TO) TT=1800.11	? (TO) TT=1800.25	OPTIMUM f=1549 TT=0.395 T1=0.24	OPTIMUM f=1549 TT=0.077 T1=0.07	OPTIMUM f=1549 TT=0.645 T1=0.64	OPTIMUM f=1549 TT=0.671 T1=0.67
/PARTIAL-BIGINT-LIN/ wcsp/depot/ normalized-depot01bc_wcsp.wbo	MOPT f=1794 TT=0.129 T1=0.12	OPTIMUM f=1794 TT=1.136 T1=1.06	OPTIMUM f=1794 TT=2.453 T1=2.39	OPTIMUM f=1794 TT=1.364 T1=1.28	OPTIMUM f=1794 TT=2.387 T1=2.31	OPTIMUM f=1794 TT=78.768 T1=79.39	OPTIMUM f=1794 TT=91.796 T1=92.58	? (TO) TT=1800.12	? (TO) TT=1800.07	OPTIMUM f=1794 TT=0.513 T1=0.29	OPTIMUM f=1794 TT=0.129 T1=0.12	OPTIMUM f=1794 TT=0.97 T1=0.92	OPTIMUM f=1794 TT=1.006 T1=0.95
/PARTIAL-BIGINT-LIN/ wcsp/depot/ normalized-depot01cc_wcsp.wbo	MOPT f=1982 TT=0.085 T1=0.08	OPTIMUM f=1982 TT=0.997 T1=0.87	OPTIMUM f=1982 TT=3.317 T1=3.28	OPTIMUM f=1982 TT=1.142 T1=1.01	OPTIMUM f=1982 TT=3.138 T1=3.12	OPTIMUM f=1982 TT=27.783 T1=27.95	OPTIMUM f=1982 TT=92.973 T1=93.18	? (TO) TT=1800.13	? (TO) TT=1800.06	OPTIMUM f=1982 TT=0.494 T1=0.29	OPTIMUM f=1982 TT=0.085 T1=0.08	OPTIMUM f=1982 TT=0.587 T1=0.58	OPTIMUM f=1982 TT=0.625 T1=0.61
/PARTIAL-BIGINT-LIN/wcsp/depot/ normalized-depot01c_wcsp.wbo	MOPT f=1549 TT=0.078 T1=0.07	OPTIMUM f=1549 TT=1.536 T1=1.53	OPTIMUM f=1549 TT=3.564 T1=5.14	OPTIMUM f=1549 TT=1.517 T1=1.52	OPTIMUM f=1549 TT=3.58 T1=3.58	OPTIMUM f=1549 TT=19.173 T1=19.37	OPTIMUM f=1549 TT=157.976 T1=158.56	? (TO) TT=1800.09	? (TO) TT=1498.66	OPTIMUM f=1549 TT=0.374 T1=0.24	OPTIMUM f=1549 TT=0.078 T1=0.07	OPTIMUM f=1549 TT=0.647 T1=0.64	OPTIMUM f=1549 TT=0.668 T1=0.67
/PARTIAL-BIGINT-LIN/ wcsp/driver/ normalized-driverlog01bc_wcsp.wbo	MOPT f=2413 TT=0.082 T1=0.08	OPTIMUM f=2413 TT=1.812 T1=1.44	OPTIMUM f=2413 TT=2.324 T1=2.33	OPTIMUM f=2413 TT=1.755 T1=1.39	OPTIMUM f=2413 TT=2.309 T1=2.3	OPTIMUM f=2413 TT=32.884 T1=33.02	OPTIMUM f=2413 TT=96.751 T1=96.95	? (TO) TT=1800.32	? (TO) TT=1800.15	OPTIMUM f=2413 TT=0.374 T1=0.23	OPTIMUM f=2413 TT=0.082 T1=0.08	OPTIMUM f=2413 TT=1.887 T1=1.82	OPTIMUM f=2413 TT=1.901 T1=1.86
/PARTIAL-BIGINT-LIN/ wcsp/driver/ normalized-driverlog01cc_wcsp.wbo	MOPT f=1045 TT=0.079 T1=0.07	OPTIMUM f=1045 TT=1.92 T1=1.91	OPTIMUM f=1045 TT=1.775 T1=1.63	OPTIMUM f=1045 TT=1.905 T1=1.9	OPTIMUM f=1045 TT=1.777 T1=1.64	OPTIMUM f=1045 TT=38.887 T1=38.94	OPTIMUM f=1045 TT=72.918 T1=73.24	? (TO) TT=1800.24	? (TO) TT=1800.24	OPTIMUM f=1045 TT=0.344 T1=0.24	OPTIMUM f=1045 TT=0.079 T1=0.07	OPTIMUM f=1045 TT=1.619 T1=1.54	OPTIMUM f=1045 TT=1.609 T1=1.53
/PARTIAL-BIGINT-LIN/ wcsp/driver/ normalized-driverlog01c_wcsp.wbo	MOPT f=1113 TT=0.081 T1=0.07	OPTIMUM f=1113 TT=1.569 T1=1.56	OPTIMUM f=1113 TT=4.285 T1=4.27	OPTIMUM f=1113 TT=1.602 T1=1.6	OPTIMUM f=1113 TT=4.443 T1=4.5	OPTIMUM f=1113 TT=23.431 T1=23.46	OPTIMUM f=1113 TT=102.614 T1=102.59	? (TO) TT=1800.14	? (TO) TT=1800.07	OPTIMUM f=1113 TT=0.396 T1=0.24	OPTIMUM f=1113 TT=0.081 T1=0.07	OPTIMUM f=1113 TT=1.276 T1=1.24	OPTIMUM f=1113 TT=1.293 T1=1.26
/PARTIAL-BIGINT-LIN/ wcsp/driver/ normalized-driverlog02ac_wcsp.wbo	MOPT f=1934 TT=23.951 T1=11.14	? (TO) TT=1800.13	? (TO) TT=1800.06	? (TO) TT=1800.06	? (TO) TT=1800.07	? (TO) TT=1800.02	? (TO) TT=1800.06	? (TO) TT=1800.02	? (TO) TT=1800.1	OPTIMUM f=1934 TT=23.951 T1=11.14	? (TO) TT=1800.02	? (TO) TT=1800.12	? (TO) TT=1800.12
Bench name	Best results	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)	Sat4j PB 2012-05-28 (complete)	toysat 2012-05-17 (complete)	wbo2sat 2012-05-19 (complete)	wbo2satCp2 2012-05-19 (complete)
/PARTIAL-BIGINT-LIN/ wcsp/driver/ normalized-driverlog02bc_wcsp.wbo	MOPT f=2009 TT=9.165 T1=2.56	? (TO) TT=1800.14	? (TO) TT=1800.13	? (TO) TT=1800.1	? (TO) TT=1800.04	? (TO) TT=1800.07	? (TO) TT=1800.08	? (TO) TT=1800.04	? (TO) TT=1800.06	OPTIMUM f=2009 TT=9.165 T1=2.56	? (TO) TT=1800.1	? (TO) TT=1800.12	? (TO) TT=1800.13
/PARTIAL-BIGINT-LIN/ wcsp/driver/ normalized-driverlog02cc_wcsp.wbo	MOPT f=2407 TT=3.533 T1=1.29	? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800.07	? (TO) TT=1800.06	? (TO) TT=1800.07	? (TO) TT=1800.08	? (TO) TT=1800.06	? (TO) TT=1800.08	OPTIMUM f=2407 TT=3.533 T1=1.29	OPTIMUM f=2407 TT=811.738 T1=795.2	? (TO) TT=1800.11	? (TO) TT=1800.01
/PARTIAL-BIGINT-LIN/ wcsp/driver/ normalized-driverlog02c_wcsp.wbo	MOPT f=1934 TT=23.91 T1=11.1	? (TO) TT=1800.11	? (TO) TT=1800.08	? (TO) TT=1800.06	? (TO) TT=1800.06	? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.05	? (TO) TT=1800.07	OPTIMUM f=1934 TT=23.91 T1=11.1	? (TO) TT=1800.11	? (TO) TT=1800.07	? (TO) TT=1800.06
/PARTIAL-BIGINT-LIN/ wcsp/driver/ normalized-driverlog04ac_wcsp.wbo	MOPT f=1718 TT=6.595 T1=1.33	? (TO) TT=1800.07	? (TO) TT=1800.06	? (TO) TT=1800.13	? (TO) TT=1800.1	? (TO) TT=1800.05	? (TO) TT=1800.11	? (TO) TT=1800.12	? (TO) TT=1800.04	OPTIMUM f=1718 TT=6.595 T1=1.33	OPTIMUM f=1718 TT=137.31 T1=88.34	? (TO) TT=1800.13	? (TO) TT=1800.13
/PARTIAL-BIGINT-LIN/ wcsp/driver/ normalized-driverlog04bc_wcsp.wbo	MOPT f=1885 TT=4.923 T1=1.18	? (TO) TT=1800.1	? (TO) TT=1800.12	? (TO) TT=1800.06	? (TO) TT=1800.05	? (TO) TT=1800.07	? (TO) TT=1800.1	? (TO) TT=1800.12	? (TO) TT=1800.1	OPTIMUM f=1885 TT=4.923 T1=1.18	OPTIMUM f=1885 TT=627.012 T1=590.83	? (TO) TT=1800.13	? (TO) TT=1800.09
/PARTIAL-BIGINT-LIN/ wcsp/driver/ normalized-driverlog04cc_wcsp.wbo	MOPT f=2842 TT=5.543 T1=3.99	? (TO) TT=1800.09	? (TO) TT=1800.04	? (TO) TT=1800.13	? (TO) TT=1800.03	? (TO) TT=1800.09	? (TO) TT=1800.05	? (TO) TT=1800.04	? (TO) TT=1800.09	OPTIMUM f=2842 TT=5.543 T1=3.99	OPTIMUM f=2842 TT=501.979 T1=494.12	? (TO) TT=1800.12	? (TO) TT=1800.12
/PARTIAL-BIGINT-LIN/ wcsp/driver/ normalized-driverlog04c_wcsp.wbo	MOPT f=1718 TT=6.603 T1=1.34	? (TO) TT=1800.11	? (TO) TT=1800.1	? (TO) TT=1800.13	? (TO) TT=1800.09	? (TO) TT=1800.1	? (TO) TT=1800.1	? (TO) TT=1800.08	? (TO) TT=1800	OPTIMUM f=1718 TT=6.603 T1=1.34	OPTIMUM f=1718 TT=136.215 T1=88.02	? (TO) TT=1800.12	? (TO) TT=1800.13
/PARTIAL-BIGINT-LIN/ wcsp/driver/ normalized-driverlog05ac_wcsp.wbo	MOPT f=1278 TT=9.823 T1=2.46	? (TO) TT=1800.06	? (TO) TT=1800.11	? (TO) TT=1800.08	? (TO) TT=1800.04	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.13	? (TO) TT=1800.07	OPTIMUM f=1278 TT=9.823 T1=2.46	OPTIMUM f=1278 TT=327.876 T1=258.89	? (TO) TT=1800.04	? (TO) TT=1800.07
/PARTIAL-BIGINT-LIN/ wcsp/driver/ normalized-driverlog05bc_wcsp.wbo	MOPT f=1308 TT=7.753 T1=4.35	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.12	? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800.05	? (TO) TT=1800.06	? (TO) TT=1800.07	OPTIMUM f=1308 TT=7.753 T1=4.35	OPTIMUM f=1308 TT=923.078 T1=915.06	? (TO) TT=1800.11	? (TO) TT=1800.08
/PARTIAL-BIGINT-LIN/ wcsp/driver/ normalized-driverlog05cc_wcsp.wbo	MOPT f=2641 TT=6.384 T1=4.53	? (TO) TT=1800.12	? (TO) TT=1800.06	? (TO) TT=1800.11	? (TO) TT=1800.09	? (TO) TT=1800.03	? (TO) TT=1800.06	? (TO) TT=1800.1	? (TO) TT=1800.06	OPTIMUM f=2641 TT=6.384 T1=4.53	OPTIMUM f=2641 TT=1246.09 T1=1244.5	? (TO) TT=1800.09	? (TO) TT=1800.04
Bench name	Best results	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)	Sat4j PB 2012-05-28 (complete)	toysat 2012-05-17 (complete)	wbo2sat 2012-05-19 (complete)	wbo2satCp2 2012-05-19 (complete)
/PARTIAL-BIGINT-LIN/ wcsp/driver/ normalized-driverlog05c_wcsp.wbo	MOPT f=1278 TT=9.712 T1=2.46	? (TO) TT=1800.1	? (TO) TT=1800.06	? (TO) TT=1800.11	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.04	? (TO) TT=1800	? (TO) TT=1800.06	OPTIMUM f=1278 TT=9.712 T1=2.46	OPTIMUM f=1278 TT=331.414 T1=262.33	? (TO) TT=1800.12	? (TO) TT=1800.08
/PARTIAL-BIGINT-LIN/ wcsp/driver/ normalized-driverlog08ac_wcsp.wbo	MOPT f=2120 TT=8.282 T1=5.2	OPTIMUM f=2120 TT=87.948 T1=73.21	? (TO) TT=1800.09	OPTIMUM f=2120 TT=89.081 T1=73.99	? (TO) TT=1800.08	OPTIMUM f=2120 TT=1527.73 T1=1505.09	? (TO) TT=1800.08	OPTIMUM f=2120 TT=1488.5 T1=1474.67	? (TO) TT=1800.08	OPTIMUM f=2120 TT=8.282 T1=5.2	? (TO) TT=1800.08	OPTIMUM f=2120 TT=104.398 T1=104.42	OPTIMUM f=2120 TT=104.445 T1=104.46
/PARTIAL-BIGINT-LIN/ wcsp/driver/ normalized-driverlog08bc_wcsp.wbo	MOPT f=2257 TT=7.362 T1=4.63	? (TO) TT=1800.06	? (TO) TT=1800.01	? (TO) TT=1800.07	? (TO) TT=1800.09	? (TO) TT=1800.07	? (TO) TT=1800.08	? (TO) TT=1800.05	? (TO) TT=1800.08	OPTIMUM f=2257 TT=7.362 T1=4.63	? (TO) TT=1800.11	? (TO) TT=1800.05	? (TO) TT=1800.08
/PARTIAL-BIGINT-LIN/ wcsp/driver/ normalized-driverlog08cc_wcsp.wbo	MOPT f=4027 TT=6.774 T1=2.26	? (TO) TT=1800	? (TO) TT=1800.09	? (TO) TT=1800.06	? (TO) TT=1800.1	? (TO) TT=1800.06	? (TO) TT=1800.06	? (TO) TT=1800.06	? (TO) TT=1800.02	OPTIMUM f=4027 TT=6.774 T1=2.26	OPTIMUM f=4027 TT=748.998 T1=731.76	? (TO) TT=1800.08	? (TO) TT=1800.08
/PARTIAL-BIGINT-LIN/ wcsp/driver/ normalized-driverlog08c_wcsp.wbo	MOPT f=2120 TT=8.072 T1=5.1	OPTIMUM f=2120 TT=88.792 T1=73.65	? (TO) TT=1800.08	OPTIMUM f=2120 TT=89.417 T1=74.25	? (TO) TT=1800.1	OPTIMUM f=2120 TT=1521.77 T1=1503.47	? (TO) TT=1800.09	OPTIMUM f=2120 TT=1486.92 T1=1474.17	? (TO) TT=1800.1	OPTIMUM f=2120 TT=8.072 T1=5.1	? (TO) TT=1800.1	OPTIMUM f=2120 TT=107.334 T1=107.41	OPTIMUM f=2120 TT=106.78 T1=106.82
/PARTIAL-BIGINT-LIN/ wcsp/driver/ normalized-driverlog09_wcsp.wbo	MOPT f=744 TT=7.103 T1=5.1	? (TO) TT=1800.09	? (TO) TT=1800	? (TO) TT=1800.09	? (TO) TT=1800.05	? (TO) TT=1800.01	? (TO) TT=1800.01	? (TO) TT=1800	? (TO) TT=1800.08	OPTIMUM f=744 TT=7.103 T1=5.1	? (exit code) TT=3.359	? (TO) TT=1800.09	? (TO) TT=1800.09
/PARTIAL-BIGINT-LIN/ wcsp/driver/ normalized-driverlogs03_wcsp.wbo	MOPT f=1177 TT=8.173 T1=5.54	? (TO) TT=1800.07	? (TO) TT=1800.04	? (TO) TT=1800.12	? (TO) TT=1800.09	? (TO) TT=1800.08	? (TO) TT=1800.1	? (TO) TT=1800.05	? (TO) TT=1800.09	OPTIMUM f=1177 TT=8.173 T1=5.54	OPTIMUM f=1177 TT=93.497 T1=82	? (TO) TT=1800.05	? (TO) TT=1800.12
/PARTIAL-BIGINT-LIN/ wcsp/driver/ normalized-driverlogs06_wcsp.wbo	MOPT f=1011 TT=4.352 T1=1.03	? (TO) TT=1800.07	? (TO) TT=1800.1	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.13	? (TO) TT=1800.08	? (TO) TT=1800.09	OPTIMUM f=1011 TT=4.352 T1=1.03	OPTIMUM f=1011 TT=122.151 T1=106.54	? (TO) TT=1800.07	? (TO) TT=1800.08
/PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph05_wcsp.wbo	MSAT f=22403 TT=1800.03 T1=1795.53	? (TO) TT=1800.08	? TT=149.55	? (TO) TT=1800.03	? (MO) TT=206.03	? (TO) TT=1800.08	? (MO) TT=200.14	? (TO) TT=1800.01	? (MO) TT=193.63	MSAT (TO) f=22403 TT=1800.03 T1=1795.53	? (exit code) TT=9.574	? (TO) TT=1800.08	? (TO) TT=1800.06
/PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph06_wcsp.wbo	MSAT f=44402 TT=1800.03 T1=1793.84	? (problem) TT=172.198	? (problem) TT=157.603	? (problem) TT=177.707	? (problem) TT=154.419	? (problem) TT=168.315	? (problem) TT=160.876	? (problem) TT=187.902	? (problem) TT=157.763	MSAT (TO) f=44402 TT=1800.03 T1=1793.84	? (exit code) TT=18.11	? (problem) TT=120.9	? (problem) TT=122.221
Bench name	Best results	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)	Sat4j PB 2012-05-28 (complete)	toysat 2012-05-17 (complete)	wbo2sat 2012-05-19 (complete)	wbo2satCp2 2012-05-19 (complete)
/PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph07_wcsp.wbo	MSAT f=7179 TT=1800.03 T1=1796.63	? (TO) TT=1800.09	? (MO) TT=179.77	? (TO) TT=1800.05	? (MO) TT=180.51	? (TO) TT=1800.05	? (problem) TT=145.624	? (TO) TT=1800.01	? (problem) TT=143.735	MSAT (TO) f=7179 TT=1800.03 T1=1796.63	? (exit code) TT=9.267	? (TO) TT=1774.06	? (TO) TT=1800.01
/PARTIAL-BIGINT-LIN/wcsp/ graphs/ normalized-graph11reducmore_wcsp.wbo		? (TO) TT=1800.01	? (MO) TT=117.46	? (TO) TT=1800.1	? (MO) TT=121.74	? (TO) TT=1800.07	? (MO) TT=134.55	? (TO) TT=1800.04	? (MO) TT=123.79	? (TO) TT=1800.39	? (exit code) TT=5.824	? (TO) TT=1800.09	? (TO) TT=1800.09
/PARTIAL-BIGINT-LIN/ wcsp/graphs/ normalized-graph11reduc_wcsp.wbo		? (TO) TT=1800.09	? (MO) TT=128.26	? (TO) TT=1800.02	? (MO) TT=127.57	? (TO) TT=1800.1	? (MO) TT=136.67	? (TO) TT=1800.07	? (MO) TT=127.45	? (TO) TT=1800.05	? (exit code) TT=5.817	? (TO) TT=1800	? (TO) TT=1800.03
/PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph11_wcsp.wbo	MSAT f=77742 TT=1800.52 T1=1791.62	? (problem) TT=211.515	? TT=209.906	? (problem) TT=237.372	? TT=213.345	? (problem) TT=214.4	? TT=224.172	? (problem) TT=213.222	? TT=222.727	MSAT (TO) f=77742 TT=1800.52 T1=1791.62	? (exit code) TT=32.137	? (problem) TT=151.593	? (problem) TT=149.055
/PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph12_wcsp.wbo	MSAT f=24474 TT=1800.33 T1=1791.13	? (problem) TT=162.377	? (problem) TT=164.154	? (problem) TT=179.096	? (problem) TT=163.055	? (problem) TT=182.211	? (problem) TT=166.688	? (problem) TT=178.236	? (problem) TT=166.442	MSAT (TO) f=24474 TT=1800.33 T1=1791.13	? (exit code) TT=19.916	? (problem) TT=132.422	? (problem) TT=127.242
/PARTIAL-BIGINT-LIN/wcsp/ graphs/ normalized-graph13reducmore_wcsp.wbo		? (problem) TT=149.874	? (problem) TT=240.922	? (problem) TT=147.41	? (problem) TT=254.265	? (problem) TT=153.251	? (problem) TT=294.159	? (problem) TT=152.296	? (problem) TT=247.567	? (TO) TT=1800.84	? (exit code) TT=17.344	? (problem) TT=115.669	? (problem) TT=115.755
/PARTIAL-BIGINT-LIN/ wcsp/graphs/ normalized-graph13reduc_wcsp.wbo		? (problem) TT=151.354	? (problem) TT=284.924	? (problem) TT=146.745	? (problem) TT=286.898	? (problem) TT=167.115	? (problem) TT=251.218	? (problem) TT=156.79	? (problem) TT=294.758	? (TO) TT=1800.07	? (exit code) TT=17.202	? (problem) TT=115.511	? (problem) TT=115.957
/PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph13_wcsp.wbo	MSAT f=104406 TT=1800.71 T1=1786.33	? (problem) TT=198.53	? (MO) TT=278.22	? (problem) TT=198.841	? (MO) TT=264.99	? (problem) TT=194.182	? (MO) TT=274.64	? (problem) TT=194.278	? (MO) TT=269.54	MSAT (TO) f=104406 TT=1800.71 T1=1786.33	? (exit code) TT=46.935	? (problem) TT=181.661	? (problem) TT=184.203
/PARTIAL-BIGINT-LIN/wcsp/ logistics/ normalized-logistics01ac_wcsp.wbo	MOPT f=8265 TT=1.425 T1=0.41	OPTIMUM f=8265 TT=70.787 T1=69.17	OPTIMUM f=8265 TT=293.243 T1=293.28	OPTIMUM f=8265 TT=70.727 T1=69.11	OPTIMUM f=8265 TT=287.17 T1=302.78	? (TO) TT=1800.07	? (TO) TT=1800.04	? (TO) TT=1800.28	? (TO) TT=1800.11	OPTIMUM f=8265 TT=1.425 T1=0.41	OPTIMUM f=8265 TT=1.71 T1=1.04	OPTIMUM f=8265 TT=93.721 T1=92.24	OPTIMUM f=8265 TT=81.347 T1=79.89
/PARTIAL-BIGINT-LIN/wcsp/ logistics/ normalized-logistics01bc_wcsp.wbo	MOPT f=7560 TT=1.408 T1=0.5	OPTIMUM f=7560 TT=575.338 T1=575.49	OPTIMUM f=7560 TT=615.816 T1=614.35	OPTIMUM f=7560 TT=593.526 T1=593.71	OPTIMUM f=7560 TT=562.062 T1=560.56	? (TO) TT=1800.1	? (TO) TT=1800.07	? (TO) TT=1800.32	? (TO) TT=1800.12	OPTIMUM f=7560 TT=1.408 T1=0.5	OPTIMUM f=7560 TT=2.513 T1=2.19	OPTIMUM f=7560 TT=791.88 T1=792.19	OPTIMUM f=7560 TT=787.871 T1=788.05
Bench name	Best results	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)	Sat4j PB 2012-05-28 (complete)	toysat 2012-05-17 (complete)	wbo2sat 2012-05-19 (complete)	wbo2satCp2 2012-05-19 (complete)
/PARTIAL-BIGINT-LIN/wcsp/ logistics/ normalized-logistics01cc_wcsp.wbo	MOPT f=4198 TT=1.694 T1=0.52	OPTIMUM f=4198 TT=106.802 T1=106.81	OPTIMUM f=4198 TT=91.72 T1=89.67	OPTIMUM f=4198 TT=113.28 T1=113.3	OPTIMUM f=4198 TT=91.993 T1=90.39	OPTIMUM f=4198 TT=985.155 T1=983.9	OPTIMUM f=4198 TT=501.637 T1=500.53	? (TO) TT=1800.18	OPTIMUM f=4198 TT=509.432 T1=508.81	OPTIMUM f=4198 TT=1.694 T1=0.52	OPTIMUM f=4198 TT=2.402 T1=1.5	OPTIMUM f=4198 TT=70.833 T1=69.42	OPTIMUM f=4198 TT=66.059 T1=64.52
/PARTIAL-BIGINT-LIN/wcsp/ logistics/ normalized-logistics01c_wcsp.wbo	MOPT f=8265 TT=1.474 T1=0.46	OPTIMUM f=8265 TT=72.766 T1=71.17	OPTIMUM f=8265 TT=305.308 T1=305.4	OPTIMUM f=8265 TT=71.638 T1=70.08	OPTIMUM f=8265 TT=292.004 T1=292.11	? (TO) TT=1800.05	? (TO) TT=1800.01	? (TO) TT=1800.28	? (TO) TT=1800.06	OPTIMUM f=8265 TT=1.474 T1=0.46	OPTIMUM f=8265 TT=1.745 T1=1.05	OPTIMUM f=8265 TT=82.926 T1=81.59	OPTIMUM f=8265 TT=94.148 T1=92.66
/PARTIAL-BIGINT-LIN/ wcsp/mprime/ normalized-mprime01ac_wcsp.wbo	MOPT f=174 TT=2.124 T1=0.88	? (TO) TT=1800.07	? (TO) TT=1800.13	? (TO) TT=1800.1	? (TO) TT=1800.11	? (TO) TT=1800.12	? (TO) TT=1800.09	? (TO) TT=1800.13	? (TO) TT=1800.09	OPTIMUM f=174 TT=2.124 T1=0.88	OPTIMUM f=174 TT=41.283 T1=41.08	? (TO) TT=1800.11	? (TO) TT=1800.1
/PARTIAL-BIGINT-LIN/ wcsp/mprime/ normalized-mprime01bc_wcsp.wbo	MOPT f=244 TT=2.144 T1=0.93	OPTIMUM f=244 TT=1495.45 T1=1495.74	? (TO) TT=1800.12	OPTIMUM f=244 TT=1479.89 T1=1480.17	? (TO) TT=1800.12	? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800.41	? (TO) TT=1800.69	OPTIMUM f=244 TT=2.144 T1=0.93	OPTIMUM f=244 TT=40.445 T1=40.15	OPTIMUM f=244 TT=1430.94 T1=1431.2	OPTIMUM f=244 TT=1445.39 T1=1445.65
/PARTIAL-BIGINT-LIN/ wcsp/mprime/ normalized-mprime01cc_wcsp.wbo	MOPT f=603 TT=1.895 T1=0.76	? (TO) TT=1800.08	? (TO) TT=1800.1	? (TO) TT=1800.12	? (TO) TT=1800.1	? (TO) TT=1800.1	? (TO) TT=1800.05	? (TO) TT=1800.09	? (TO) TT=1764.09	OPTIMUM f=603 TT=1.895 T1=0.76	OPTIMUM f=603 TT=38.641 T1=38.43	? (TO) TT=1800.09	? (TO) TT=1800.12
/PARTIAL-BIGINT-LIN/ wcsp/mprime/ normalized-mprime01c_wcsp.wbo	MOPT f=174 TT=1.944 T1=0.82	? (TO) TT=1800.12	? (TO) TT=1800.12	? (TO) TT=1800.07	? (TO) TT=1800.02	? (TO) TT=1800.13	? (TO) TT=1800.11	? (TO) TT=1800.5	? (TO) TT=1800.36	OPTIMUM f=174 TT=1.944 T1=0.82	OPTIMUM f=174 TT=40.776 T1=40.6	? (TO) TT=1800.12	? (TO) TT=1800.09
/PARTIAL-BIGINT-LIN/ wcsp/mprime/ normalized-mprime03ac_wcsp.wbo	MOPT f=278 TT=0.071 T1=0.07	OPTIMUM f=278 TT=0.78 T1=0.68	OPTIMUM f=278 TT=2.008 T1=1.87	OPTIMUM f=278 TT=0.802 T1=0.7	OPTIMUM f=278 TT=2.01 T1=1.88	OPTIMUM f=278 TT=15.546 T1=15.69	OPTIMUM f=278 TT=13.89 T1=13.97	? (TO) TT=1800.15	? (TO) TT=1800.13	OPTIMUM f=278 TT=0.304 T1=0.2	OPTIMUM f=278 TT=0.071 T1=0.07	OPTIMUM f=278 TT=0.688 T1=0.57	OPTIMUM f=278 TT=0.678 T1=0.56
/PARTIAL-BIGINT-LIN/ wcsp/mprime/ normalized-mprime03bc_wcsp.wbo	MOPT f=353 TT=0.071 T1=0.07	OPTIMUM f=353 TT=0.794 T1=0.61	OPTIMUM f=353 TT=1.498 T1=1.49	OPTIMUM f=353 TT=0.738 T1=0.57	OPTIMUM f=353 TT=1.51 T1=1.49	OPTIMUM f=353 TT=15.636 T1=15.64	OPTIMUM f=353 TT=8.397 T1=8.37	? (TO) TT=1800.03	? (TO) TT=1800.27	OPTIMUM f=353 TT=0.313 T1=0.22	OPTIMUM f=353 TT=0.071 T1=0.07	OPTIMUM f=353 TT=0.71 T1=0.59	OPTIMUM f=353 TT=0.706 T1=0.59
/PARTIAL-BIGINT-LIN/ wcsp/mprime/ normalized-mprime03cc_wcsp.wbo	MOPT f=326 TT=0.072 T1=0.07	OPTIMUM f=326 TT=0.662 T1=0.5	OPTIMUM f=326 TT=1.467 T1=1.44	OPTIMUM f=326 TT=0.623 T1=0.47	OPTIMUM f=326 TT=1.468 T1=1.42	OPTIMUM f=326 TT=23.647 T1=24	OPTIMUM f=326 TT=93.412 T1=93.53	? (TO) TT=1800.01	? (TO) TT=1800.12	OPTIMUM f=326 TT=0.315 T1=0.2	OPTIMUM f=326 TT=0.072 T1=0.07	OPTIMUM f=326 TT=1.135 T1=1.03	OPTIMUM f=326 TT=1.14 T1=1.03
/PARTIAL-BIGINT-LIN/ wcsp/mprime/ normalized-mprime03c_wcsp.wbo	MOPT f=278 TT=0.071 T1=0.07	OPTIMUM f=278 TT=0.779 T1=0.68	OPTIMUM f=278 TT=1.985 T1=1.86	OPTIMUM f=278 TT=0.786 T1=0.69	OPTIMUM f=278 TT=2.012 T1=1.88	OPTIMUM f=278 TT=15.568 T1=15.61	OPTIMUM f=278 TT=13.987 T1=13.96	? (TO) TT=1800.11	? (TO) TT=1800.15	OPTIMUM f=278 TT=0.303 T1=0.2	OPTIMUM f=278 TT=0.071 T1=0.07	OPTIMUM f=278 TT=0.693 T1=0.57	OPTIMUM f=278 TT=0.68 T1=0.56
Bench name	Best results	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)	Sat4j PB 2012-05-28 (complete)	toysat 2012-05-17 (complete)	wbo2sat 2012-05-19 (complete)	wbo2satCp2 2012-05-19 (complete)
/PARTIAL-BIGINT-LIN/ wcsp/mprime/ normalized-mprime04ac_wcsp.wbo	MOPT f=562 TT=2.664 T1=1.19	? (TO) TT=1800.04	? (TO) TT=1800.07	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800.13	? (TO) TT=1800.04	OPTIMUM f=562 TT=2.664 T1=1.19	OPTIMUM f=562 TT=143.276 T1=143.12	? (TO) TT=1800.07	? (TO) TT=1800.1
/PARTIAL-BIGINT-LIN/ wcsp/mprime/ normalized-mprime04bc_wcsp.wbo	MOPT f=467 TT=2.564 T1=1.13	? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.06	? (TO) TT=1800.08	? (TO) TT=1800.1	? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800	OPTIMUM f=467 TT=2.564 T1=1.13	OPTIMUM f=467 TT=148.384 T1=148.33	? (TO) TT=1800.05	? (TO) TT=1800.06
/PARTIAL-BIGINT-LIN/ wcsp/mprime/ normalized-mprime04cc_wcsp.wbo	MOPT f=896 TT=1.934 T1=0.78	? (TO) TT=1800.09	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.09	? (TO) TT=1800	? (TO) TT=1800.09	? (TO) TT=1800.06	? (TO) TT=1800.08	OPTIMUM f=896 TT=1.934 T1=0.78	OPTIMUM f=896 TT=143.671 T1=143.65	? (TO) TT=1800.08	? (TO) TT=1800.08
/PARTIAL-BIGINT-LIN/ wcsp/mprime/ normalized-mprime04c_wcsp.wbo	MOPT f=562 TT=2.505 T1=1.1	? (TO) TT=1800.1	? (TO) TT=1800.01	? (TO) TT=1800.09	? (TO) TT=1800.03	? (TO) TT=1800.12	? (TO) TT=1800.01	? (TO) TT=1800.12	? (TO) TT=1800.04	OPTIMUM f=562 TT=2.505 T1=1.1	OPTIMUM f=562 TT=146.795 T1=146.61	? (TO) TT=1800.07	? (TO) TT=1800.08
/PARTIAL-BIGINT-LIN/wcsp/ pedigree/normalized-eye_wcsp.wbo	MOPT f=1 TT=2.613 T1=2.48	OPTIMUM f=1 TT=6.884 T1=8.54	OPTIMUM f=1 TT=20.791 T1=20.54	OPTIMUM f=1 TT=6.935 T1=6.78	OPTIMUM f=1 TT=20.085 T1=19.92	OPTIMUM f=1 TT=8.224 T1=8.24	OPTIMUM f=1 TT=23.289 T1=23	OPTIMUM f=1 TT=8.303 T1=8.31	OPTIMUM f=1 TT=19.496 T1=19.99	OPTIMUM f=1 TT=11.192 T1=9.01	? (exit code) TT=4.984	OPTIMUM f=1 TT=2.613 T1=2.48	OPTIMUM f=1 TT=2.681 T1=2.54
/PARTIAL-BIGINT-LIN/ wcsp/pedigree/ normalized-pedck1000_wcsp.wbo	MOPT f=19 TT=84.067 T1=66.22	OPTIMUM f=19 TT=101.956 T1=69.24	OPTIMUM f=19 TT=84.067 T1=66.22	OPTIMUM f=19 TT=107.209 T1=72.46	OPTIMUM f=19 TT=92.605 T1=68.71	? (TO) TT=1800.06	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.03	MSAT (TO) f=90 TT=1800.01 T1=1797.14	? (TO) TT=1800.1	OPTIMUM f=19 TT=118.926 T1=119.03	OPTIMUM f=19 TT=114.037 T1=114.07
/PARTIAL-BIGINT-LIN/ wcsp/pedigree/ normalized-pedck350l2_wcsp.wbo	MOPT f=1 TT=1.842 T1=1.7	OPTIMUM f=1 TT=4.615 T1=4.48	OPTIMUM f=1 TT=15.818 T1=15.57	OPTIMUM f=1 TT=4.735 T1=4.82	OPTIMUM f=1 TT=15.804 T1=15.54	OPTIMUM f=1 TT=4.621 T1=4.47	OPTIMUM f=1 TT=13.605 T1=13.38	OPTIMUM f=1 TT=4.647 T1=4.69	OPTIMUM f=1 TT=14.228 T1=14.52	OPTIMUM f=1 TT=3.565 T1=1.89	? (exit code) TT=4.869	OPTIMUM f=1 TT=1.857 T1=1.71	OPTIMUM f=1 TT=1.842 T1=1.7
/PARTIAL-BIGINT-LIN/ wcsp/pedigree/ normalized-pedck350l3_wcsp.wbo	MOPT f=0 TT=1.694 T1=1.69	OPTIMUM f=0 TT=4.494 T1=4.49	OPTIMUM f=0 TT=13.958 T1=13.93	OPTIMUM f=0 TT=4.517 T1=4.51	OPTIMUM f=0 TT=15.598 T1=15.56	OPTIMUM f=0 TT=4.528 T1=4.52	OPTIMUM f=0 TT=13.487 T1=13.45	OPTIMUM f=0 TT=4.609 T1=4.59	OPTIMUM f=0 TT=13.425 T1=13.39	OPTIMUM f=0 TT=3.383 T1=1.91	? (exit code) TT=4.838	OPTIMUM f=0 TT=1.694 T1=1.69	OPTIMUM f=0 TT=1.715 T1=1.71
/PARTIAL-BIGINT-LIN/ wcsp/pedigree/ normalized-pedck350_wcsp.wbo	MOPT f=2 TT=2.221 T1=2.07	OPTIMUM f=2 TT=5.252 T1=5.09	OPTIMUM f=2 TT=15.071 T1=14.67	OPTIMUM f=2 TT=5.193 T1=5.05	OPTIMUM f=2 TT=15.026 T1=14.64	OPTIMUM f=2 TT=5.245 T1=5.1	OPTIMUM f=2 TT=16.305 T1=15.91	OPTIMUM f=2 TT=5.184 T1=5.03	OPTIMUM f=2 TT=15.769 T1=15.86	OPTIMUM f=2 TT=4.812 T1=2.19	? (exit code) TT=4.988	OPTIMUM f=2 TT=2.221 T1=2.07	OPTIMUM f=2 TT=2.223 T1=2.07
/PARTIAL-BIGINT-LIN/ wcsp/pedigree/ normalized-pedck60-L12_wcsp.wbo	MOPT f=6 TT=0.845 T1=0.84	OPTIMUM f=6 TT=1.293 T1=1.35	OPTIMUM f=6 TT=3.876 T1=3.86	OPTIMUM f=6 TT=1.268 T1=1.21	OPTIMUM f=6 TT=3.835 T1=3.83	OPTIMUM f=6 TT=2.634 T1=2.59	OPTIMUM f=6 TT=4.623 T1=4.48	OPTIMUM f=6 TT=2.81 T1=2.76	OPTIMUM f=6 TT=4.613 T1=4.55	MSAT (TO) f=6 TT=1800.07 T1=1797.43	? (TO) TT=1800.1	OPTIMUM f=6 TT=0.85 T1=0.85	OPTIMUM f=6 TT=0.845 T1=0.84
Bench name	Best results	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)	Sat4j PB 2012-05-28 (complete)	toysat 2012-05-17 (complete)	wbo2sat 2012-05-19 (complete)	wbo2satCp2 2012-05-19 (complete)
/PARTIAL-BIGINT-LIN/ wcsp/pedigree/ normalized-pedck60-L1_wcsp.wbo	MOPT f=2 TT=0.388 T1=0.35	OPTIMUM f=2 TT=1.001 T1=0.96	OPTIMUM f=2 TT=2.953 T1=2.89	OPTIMUM f=2 TT=1.001 T1=0.96	OPTIMUM f=2 TT=2.532 T1=2.46	OPTIMUM f=2 TT=1.013 T1=0.97	OPTIMUM f=2 TT=2.619 T1=2.56	OPTIMUM f=2 TT=1.058 T1=1.01	OPTIMUM f=2 TT=2.524 T1=2.46	OPTIMUM f=2 TT=4.103 T1=2.67	OPTIMUM f=2 TT=169.191 T1=168.47	OPTIMUM f=2 TT=0.39 T1=0.35	OPTIMUM f=2 TT=0.388 T1=0.35
/PARTIAL-BIGINT-LIN/ wcsp/pedigree/ normalized-pedck60-L2_wcsp.wbo	MOPT f=2 TT=0.721 T1=0.69	OPTIMUM f=2 TT=1.45 T1=1.58	OPTIMUM f=2 TT=2.816 T1=2.9	OPTIMUM f=2 TT=1.461 T1=1.43	OPTIMUM f=2 TT=2.848 T1=2.78	OPTIMUM f=2 TT=2.045 T1=2	OPTIMUM f=2 TT=3.117 T1=3.28	? (TO) TT=1800.03	? (TO) TT=1800.14	OPTIMUM f=2 TT=4.462 T1=2.76	OPTIMUM f=2 TT=169.353 T1=168.48	OPTIMUM f=2 TT=0.737 T1=0.7	OPTIMUM f=2 TT=0.721 T1=0.69
/PARTIAL-BIGINT-LIN/ wcsp/pedigree/ normalized-saudiarabia_wcsp.wbo	MOPT f=0 TT=0.782 T1=0.78	OPTIMUM f=0 TT=1.985 T1=2.14	OPTIMUM f=0 TT=5.539 T1=5.64	OPTIMUM f=0 TT=2.022 T1=2.02	OPTIMUM f=0 TT=5.485 T1=5.46	OPTIMUM f=0 TT=1.999 T1=1.99	OPTIMUM f=0 TT=5.487 T1=5.89	OPTIMUM f=0 TT=2.045 T1=2.04	OPTIMUM f=0 TT=5.513 T1=5.49	OPTIMUM f=0 TT=2.634 T1=1.3	OPTIMUM f=0 TT=939.124 T1=939.27	OPTIMUM f=0 TT=0.799 T1=0.79	OPTIMUM f=0 TT=0.782 T1=0.78
/PARTIAL-BIGINT-LIN/ wcsp/pedigree/ normalized-sheep4nr_wcsp.wbo		? (MO) TT=396.29	? (problem) TT=145.915	? (MO) TT=403.42	? (problem) TT=144.945	? (MO) TT=402.65	? (problem) TT=151.818	? (MO) TT=426.42	? (problem) TT=145.648	? (TO) TT=1800	? (exit code) TT=127.879	? (MO) TT=379.77	? (MO) TT=391.33
/PARTIAL-BIGINT-LIN/ wcsp/pedigree/ normalized-sheep4r-4-0_wcsp.wbo	MOPT f=0 TT=15.702 T1=10.92	OPTIMUM f=0 TT=40.776 T1=41.1	? (problem) TT=22.452	OPTIMUM f=0 TT=40.182 T1=40.27	? (problem) TT=22.286	OPTIMUM f=0 TT=59.208 T1=60.98	? (problem) TT=22.947	OPTIMUM f=0 TT=65.428 T1=66.7	? (problem) TT=22.521	OPTIMUM f=0 TT=15.702 T1=10.92	? (exit code) TT=21.537	OPTIMUM f=0 TT=24.63 T1=24.62	OPTIMUM f=0 TT=25.004 T1=24.99
/PARTIAL-BIGINT-LIN/ wcsp/pedigree/ normalized-sheep4r-4-1_wcsp.wbo	MOPT f=0 TT=10.944 T1=9.21	OPTIMUM f=0 TT=61.59 T1=62.68	? (problem) TT=28.862	OPTIMUM f=0 TT=49.899 T1=50.17	? (problem) TT=28.149	OPTIMUM f=0 TT=47.85 T1=48.33	? (problem) TT=29.369	OPTIMUM f=0 TT=48.013 T1=48.33	? (problem) TT=27.35	OPTIMUM f=0 TT=13.391 T1=9.21	? (exit code) TT=23.831	OPTIMUM f=0 TT=10.993 T1=11.08	OPTIMUM f=0 TT=10.944 T1=10.93
/PARTIAL-BIGINT-LIN/ wcsp/pedigree/ normalized-sheep4r-4-2_wcsp.wbo	MOPT f=1 TT=65.854 T1=59.59	Wrong Opt. f=2 TT=645.83 T1=645.07	? (problem) TT=27.323	Wrong Opt. f=2 TT=640.644 T1=640.09	? (problem) TT=27.606	? (TO) TT=1800.13	? (problem) TT=27.103	? (TO) TT=1800.11	? (problem) TT=29.867	OPTIMUM f=1 TT=65.854 T1=59.59	? (exit code) TT=25.004	OPTIMUM f=1 TT=864.308 T1=864.47	OPTIMUM f=1 TT=736.938 T1=737.36
/PARTIAL-BIGINT-LIN/ wcsp/pedigree/ normalized-sheep4r-4-3_wcsp.wbo	MOPT f=1 TT=53.767 T1=46.16	? (TO) TT=1800.08	? (problem) TT=47.471	? (TO) TT=1800.14	? (problem) TT=48.403	? (TO) TT=1800.08	? (problem) TT=48.99	? (TO) TT=1800.06	? (problem) TT=46.493	OPTIMUM f=1 TT=53.767 T1=46.16	? (exit code) TT=35.694	? (TO) TT=1800.14	? (TO) TT=1800.14
/PARTIAL-BIGINT-LIN/ wcsp/pedigree/ normalized-sheep4r_wcsp.wbo		? (MO) TT=408.83	? (problem) TT=145.607	? (MO) TT=414.56	? (problem) TT=146.328	? (MO) TT=441.96	? (problem) TT=145.809	? (MO) TT=435.55	? (problem) TT=145.124	? (TO) TT=1800.01	? (exit code) TT=126.893	? (MO) TT=412.343	? (MO) TT=392.74
/PARTIAL-BIGINT-LIN/ wcsp/pedigree/ normalized-wijsmanguo_wcsp.wbo	MOPT f=1 TT=310.796 T1=299.48	Wrong Opt. f=2 TT=51.66 T1=51.49	? (problem) TT=39.798	Wrong Opt. f=2 TT=52.555 T1=52.21	? (problem) TT=38.204	Wrong Opt. f=2 TT=115.322 T1=115.8	? (problem) TT=75.754	Wrong Opt. f=2 TT=126.579 T1=128.99	? (problem) TT=36.023	OPTIMUM f=1 TT=310.796 T1=299.48	? (exit code) TT=29.433	? (TO) TT=1801.17	? (TO) TT=1800.1
Bench name	Best results	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)	Sat4j PB 2012-05-28 (complete)	toysat 2012-05-17 (complete)	wbo2sat 2012-05-19 (complete)	wbo2satCp2 2012-05-19 (complete)
/PARTIAL-BIGINT-LIN/ wcsp/rover/ normalized-rovers02ac_wcsp.wbo	MOPT f=1579 TT=1.225 T1=0.53	OPTIMUM f=1579 TT=133.817 T1=133.88	OPTIMUM f=1579 TT=132.793 T1=133.42	OPTIMUM f=1579 TT=305.445 T1=153.99	OPTIMUM f=1579 TT=176.431 T1=176.45	? (TO) TT=1800.1	? (TO) TT=1800.07	? (TO) TT=1800.25	? (TO) TT=1800.13	OPTIMUM f=1579 TT=1.225 T1=0.53	OPTIMUM f=1579 TT=3.531 T1=3.47	OPTIMUM f=1579 TT=235.392 T1=235.37	OPTIMUM f=1579 TT=240.904 T1=240.84
/PARTIAL-BIGINT-LIN/ wcsp/rover/ normalized-rovers02bc_wcsp.wbo	MOPT f=1552 TT=1.204 T1=0.44	OPTIMUM f=1552 TT=142.606 T1=142.44	OPTIMUM f=1552 TT=62.813 T1=62.45	OPTIMUM f=1552 TT=200.718 T1=200.58	OPTIMUM f=1552 TT=82.921 T1=82.59	? (TO) TT=1800.11	? (TO) TT=1800.07	? (TO) TT=1800.08	? (TO) TT=1800.17	OPTIMUM f=1552 TT=1.204 T1=0.44	OPTIMUM f=1552 TT=3.625 T1=3.51	OPTIMUM f=1552 TT=430.982 T1=430.97	OPTIMUM f=1552 TT=442.094 T1=442.08
/PARTIAL-BIGINT-LIN/ wcsp/rover/ normalized-rovers02cc_wcsp.wbo	MOPT f=1587 TT=1.484 T1=0.61	OPTIMUM f=1587 TT=357.082 T1=359.48	OPTIMUM f=1587 TT=475.35 T1=475.18	OPTIMUM f=1587 TT=385.829 T1=385.91	OPTIMUM f=1587 TT=398.732 T1=398.62	? (TO) TT=1800.06	? (TO) TT=1800.09	? (TO) TT=1800.17	? (TO) TT=1800.31	OPTIMUM f=1587 TT=1.484 T1=0.61	OPTIMUM f=1587 TT=3.982 T1=3.96	OPTIMUM f=1587 TT=440.197 T1=440.08	OPTIMUM f=1587 TT=442.831 T1=442.59
/PARTIAL-BIGINT-LIN/ wcsp/rover/ normalized-rovers02c_wcsp.wbo	MOPT f=1579 TT=1.233 T1=0.53	OPTIMUM f=1579 TT=153.117 T1=153.15	OPTIMUM f=1579 TT=133.563 T1=133.58	OPTIMUM f=1579 TT=134.621 T1=134.64	OPTIMUM f=1579 TT=129.71 T1=129.74	? (TO) TT=1800.07	? (TO) TT=1800.12	? (TO) TT=1800.07	? (TO) TT=1800.11	OPTIMUM f=1579 TT=1.233 T1=0.53	OPTIMUM f=1579 TT=3.533 T1=3.47	OPTIMUM f=1579 TT=282.199 T1=282.15	OPTIMUM f=1579 TT=256.831 T1=256.78
/PARTIAL-BIGINT-LIN/wcsp/ satellite/ normalized-satellite01ac_wcsp.wbo	MOPT f=1494 TT=1.744 T1=0.72	OPTIMUM f=1494 TT=1423.34 T1=1423.63	? (TO) TT=1800.08	OPTIMUM f=1494 TT=1069.21 T1=1069.46	? (TO) TT=1800.09	? (TO) TT=1800.08	? (TO) TT=1800.09	? (TO) TT=1800.15	? (TO) TT=1800.1	OPTIMUM f=1494 TT=1.744 T1=0.72	OPTIMUM f=1494 TT=22.084 T1=21.22	? (TO) TT=1800.11	? (TO) TT=1800.12
/PARTIAL-BIGINT-LIN/wcsp/ satellite/ normalized-satellite01bc_wcsp.wbo	MOPT f=1773 TT=1.935 T1=0.87	OPTIMUM f=1773 TT=1276.65 T1=1276.64	? (TO) TT=1800.07	OPTIMUM f=1773 TT=1317.32 T1=1317.34	? (TO) TT=1800.07	? (TO) TT=1800.11	? (TO) TT=1800.1	? (TO) TT=1800.15	? (TO) TT=1800.07	OPTIMUM f=1773 TT=1.935 T1=0.87	OPTIMUM f=1773 TT=21.696 T1=21.67	OPTIMUM f=1773 TT=924.638 T1=924.8	OPTIMUM f=1773 TT=906.95 T1=907.11
/PARTIAL-BIGINT-LIN/wcsp/ satellite/ normalized-satellite01cc_wcsp.wbo	MOPT f=1494 TT=1.783 T1=0.71	OPTIMUM f=1494 TT=1113.59 T1=1113.78	? (TO) TT=1800.1	OPTIMUM f=1494 TT=1066.76 T1=1066.96	? (TO) TT=1800.06	? (TO) TT=1800.07	? (TO) TT=1800.09	? (TO) TT=1800.04	? (TO) TT=1800.03	OPTIMUM f=1494 TT=1.783 T1=0.71	OPTIMUM f=1494 TT=22.231 T1=21.36	? (TO) TT=1800.09	? (TO) TT=1800.13
/PARTIAL-BIGINT-LIN/wcsp/ satellite/ normalized-satellite01c_wcsp.wbo	MOPT f=1494 TT=1.754 T1=0.72	OPTIMUM f=1494 TT=1064.04 T1=1064.22	? (TO) TT=1800.08	OPTIMUM f=1494 TT=1412.68 T1=1412.95	? (TO) TT=1800.1	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.25	? (TO) TT=1800.07	OPTIMUM f=1494 TT=1.754 T1=0.72	OPTIMUM f=1494 TT=22.225 T1=21.36	? (TO) TT=1800.14	? (TO) TT=1800.14
/PARTIAL-BIGINT-LIN/wcsp/ satellite/ normalized-satellite02ac_wcsp.wbo	MOPT f=1559 TT=6.343 T1=3.71	? (TO) TT=1800.09	? (TO) TT=1800.06	? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.02	? (TO) TT=1800.07	? (TO) TT=1800.06	? (TO) TT=1800.03	OPTIMUM f=1559 TT=6.343 T1=3.71	? (TO) TT=1800.11	? (TO) TT=1800.1	? (TO) TT=1800.07
/PARTIAL-BIGINT-LIN/wcsp/ satellite/ normalized-satellite02bc_wcsp.wbo	MOPT f=2211 TT=9.302 T1=5.84	? (TO) TT=1800.06	? (TO) TT=1800.06	? (TO) TT=1800.1	? (TO) TT=1800.08	? (TO) TT=1800.1	? (TO) TT=1800.08	? (TO) TT=1800.04	? (TO) TT=1800.1	OPTIMUM f=2211 TT=9.302 T1=5.84	OPTIMUM f=2211 TT=1438.06 T1=1438.13	? (TO) TT=1800.09	? (TO) TT=1800.07
Bench name	Best results	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)	Sat4j PB 2012-05-28 (complete)	toysat 2012-05-17 (complete)	wbo2sat 2012-05-19 (complete)	wbo2satCp2 2012-05-19 (complete)
/PARTIAL-BIGINT-LIN/wcsp/ satellite/ normalized-satellite02cc_wcsp.wbo	MOPT f=2086 TT=5.013 T1=2.89	? (TO) TT=1800.05	? (TO) TT=1800.11	? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800.07	? (TO) TT=1800.04	? (TO) TT=1800.06	? (TO) TT=1800.09	OPTIMUM f=2086 TT=5.013 T1=2.89	OPTIMUM f=2086 TT=364.271 T1=357.99	? (TO) TT=1800.09	? (TO) TT=1800.05
/PARTIAL-BIGINT-LIN/ wcsp/scens/ normalized-scen06-16reduc_wcsp.wbo		? (TO) TT=1800.07	? (TO) TT=1800.09	? (TO) TT=1800.07	? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800.07	? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800.06	? (TO) TT=1800.02	? (TO) TT=1800.07	? (TO) TT=1800.09
/PARTIAL-BIGINT-LIN/ wcsp/scens/ normalized-scen06-16_wcsp.wbo	MSAT f=25577 TT=1800.53 T1=1797.33	? (TO) TT=1800.07	? (MO) TT=132.03	? (TO) TT=1800.1	? (MO) TT=155.26	? (TO) TT=1800.1	? (MO) TT=120.59	? (TO) TT=1800.01	? (MO) TT=124.15	MSAT (TO) f=25577 TT=1800.53 T1=1797.33	? (exit code) TT=5.676	? (TO) TT=1800.1	? (TO) TT=1800.04
/PARTIAL-BIGINT-LIN/ wcsp/scens/ normalized-scen06-18reduc_wcsp.wbo		? (TO) TT=1800.07	? (TO) TT=1800.09	? (TO) TT=1800.05	? (TO) TT=1800.06	? (TO) TT=1800.06	? (TO) TT=1800.09	? (TO) TT=1800.02	? (TO) TT=1800.03	? (TO) TT=1800.85	? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800.08
/PARTIAL-BIGINT-LIN/ wcsp/scens/ normalized-scen06-18_wcsp.wbo	MSAT f=18077 TT=1800.1 T1=1797.03	? (TO) TT=1800.09	? (TO) TT=1800.02	? (TO) TT=1800.1	? (TO) TT=1800.01	? (TO) TT=1800.11	? (TO) TT=1800.02	? (TO) TT=1800.1	? (TO) TT=1800.03	MSAT (TO) f=18077 TT=1800.1 T1=1797.03	? (exit code) TT=4.781	? (TO) TT=1800.08	? (TO) TT=1800.1
/PARTIAL-BIGINT-LIN/ wcsp/scens/ normalized-scen06-20reduc_wcsp.wbo		? (TO) TT=1800.03	? (TO) TT=1800.09	? (TO) TT=1800.04	? (TO) TT=1800.1	? (TO) TT=1800.06	? (TO) TT=1800.09	? (TO) TT=1800.08	? (TO) TT=1800.02	? (TO) TT=1800.06	? (TO) TT=1800.1	? (TO) TT=1800.07	? (TO) TT=1800.09
/PARTIAL-BIGINT-LIN/ wcsp/scens/ normalized-scen06-20_wcsp.wbo	MSAT f=11380 TT=1800.03 T1=1796.94	? (TO) TT=1800.09	? (TO) TT=1800.1	? (TO) TT=1800.07	? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800.05	? (TO) TT=1800.06	? (TO) TT=1800.07	MSAT (TO) f=11380 TT=1800.03 T1=1796.94	? (exit code) TT=4.231	? (TO) TT=1800	? (TO) TT=1800.09
/PARTIAL-BIGINT-LIN/ wcsp/scens/ normalized-scen06-22reduc_wcsp.wbo		? (TO) TT=1800.09	? (TO) TT=1800.05	? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800.05	? (TO) TT=1800.08	? (TO) TT=1800.02	? (TO) TT=1800.61	? (TO) TT=1800.1	? (TO) TT=1800.05	? (TO) TT=1800.08
/PARTIAL-BIGINT-LIN/ wcsp/scens/ normalized-scen06-22_wcsp.wbo	MSAT f=15224 TT=1800 T1=1797.84	? (TO) TT=1800.08	? (TO) TT=1800.04	? (TO) TT=1800.06	? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800.09	MSAT (TO) f=15224 TT=1800 T1=1797.84	? (exit code) TT=3.692	? (TO) TT=1800.09	? (TO) TT=1800.1
/PARTIAL-BIGINT-LIN/ wcsp/scens/ normalized-scen06-24reduc_wcsp.wbo		? (TO) TT=1800.14	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.04	? (TO) TT=1800.07	? (TO) TT=1800.13	? (TO) TT=1800.08	? (TO) TT=1800.44	? (TO) TT=1800.11	? (TO) TT=1800.08	? (TO) TT=1800.04
Bench name	Best results	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)	Sat4j PB 2012-05-28 (complete)	toysat 2012-05-17 (complete)	wbo2sat 2012-05-19 (complete)	wbo2satCp2 2012-05-19 (complete)
/PARTIAL-BIGINT-LIN/ wcsp/scens/ normalized-scen06-24_wcsp.wbo	MSAT f=15403 TT=1800.69 T1=1798.03	? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.03	? (TO) TT=1800.03	MSAT (TO) f=15403 TT=1800.69 T1=1798.03	? (exit code) TT=3.147	? (TO) TT=1800.05	? (TO) TT=1800.1
/PARTIAL-BIGINT-LIN/ wcsp/scens/ normalized-scen06-30reduc_wcsp.wbo		? (TO) TT=1800.1	? (TO) TT=1800.08	? (TO) TT=1800.04	? (TO) TT=1800.1	? (TO) TT=1800.06	? (TO) TT=1800.05	? (TO) TT=1800.09	? (TO) TT=1800.05	? (TO) TT=1800.02	? (TO) TT=1800.02	? (TO) TT=1800.08	? (TO) TT=1800.1
/PARTIAL-BIGINT-LIN/ wcsp/scens/ normalized-scen06-30_wcsp.wbo	MSAT f=5556 TT=1800.02 T1=1797.35	? (TO) TT=1800.04	? (TO) TT=1800.06	? (TO) TT=1800.09	? (TO) TT=1800.03	? (TO) TT=1800.07	? (TO) TT=1800.1	? (TO) TT=1800.08	? (TO) TT=1800.06	MSAT (TO) f=5556 TT=1800.02 T1=1797.35	? (TO) TT=1800.1	? (TO) TT=1800.02	? (TO) TT=1800.07
/PARTIAL-BIGINT-LIN/ wcsp/scens/ normalized-scen06reduc_wcsp.wbo		? (TO) TT=1800.08	? (MO) TT=128.81	? (TO) TT=1800.1	? (MO) TT=130.04	? (TO) TT=1800.01	? (MO) TT=134.77	? (TO) TT=1800.04	? (MO) TT=135.84	? (TO) TT=1800.09	? (exit code) TT=6.695	? (TO) TT=1800.08	? (TO) TT=1800.1
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen06_wcsp.wbo	MSAT f=22722 TT=1800.53 T1=1794.73	? (MO) TT=147.39	? (problem) TT=211.825	? (MO) TT=152.74	? (problem) TT=195.562	? (MO) TT=156.56	? (problem) TT=187.434	? (MO) TT=152.38	? (problem) TT=188.944	MSAT (TO) f=22722 TT=1800.53 T1=1794.73	? (exit code) TT=13.769	? (MO) TT=144.81	? (MO) TT=141.77
/PARTIAL-BIGINT-LIN/wcsp/ scens/ normalized-scen07_10000_30r_wcsp.wbo	MSAT f=141 TT=1800.03 T1=1797.53	? (TO) TT=1800.08	? (TO) TT=1800.07	? (TO) TT=1800.06	? (TO) TT=1800.09	? (TO) TT=1800.01	? (TO) TT=1800.01	? (TO) TT=1800.02	? (TO) TT=1800.03	MSAT (TO) f=141 TT=1800.03 T1=1797.53	? (TO) TT=1800.11	? (TO) TT=1800.08	? (TO) TT=1800.06
/PARTIAL-BIGINT-LIN/ wcsp/scens/ normalized-scen07reduc_wcsp.wbo		? (MO) TT=150.23	? (problem) TT=202.291	? (MO) TT=156.33	? (problem) TT=181.842	? (MO) TT=153.23	? (problem) TT=185.503	? (MO) TT=155	? (problem) TT=206.143	? (TO) TT=1800.48	? (exit code) TT=10.141	? (MO) TT=142.37	? (MO) TT=138.68
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen07_wcsp.wbo	MSAT f=22824159 TT=1800.04 T1=1789.03	? (problem) TT=224.35	? TT=251.437	? (problem) TT=220.503	? TT=251.854	? (problem) TT=223.287	? TT=256.976	? (problem) TT=229.555	? TT=266.049	MSAT (TO) f=22824159 TT=1800.04 T1=1789.03	? (exit code) TT=30.928	? (problem) TT=168.811	? (problem) TT=172.623
/PARTIAL-BIGINT-LIN/ wcsp/scens/ normalized-scen08reduc_wcsp.wbo		? (problem) TT=160.96	? (problem) TT=169.093	? (problem) TT=163.65	? (problem) TT=168.499	? (problem) TT=169.862	? (problem) TT=168.796	? (problem) TT=165.516	? (problem) TT=170.734	? (TO) TT=1800.09	? (exit code) TT=25.317	? (problem) TT=121.885	? (problem) TT=122.047
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen08_wcsp.wbo	MSAT f=1927 TT=1800.1 T1=1783.32	? (problem) TT=192.556	? (MO) TT=259.82	? (problem) TT=191.866	? (MO) TT=263.44	? (problem) TT=197.756	? (MO) TT=267.67	? (problem) TT=197.894	? (MO) TT=265.23	MSAT (TO) f=1927 TT=1800.1 T1=1783.32	? (exit code) TT=52.718	? (problem) TT=180.181	? (problem) TT=185.423
Bench name	Best results	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)	Sat4j PB 2012-05-28 (complete)	toysat 2012-05-17 (complete)	wbo2sat 2012-05-19 (complete)	wbo2satCp2 2012-05-19 (complete)
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen09_wcsp.wbo	MSAT f=13760 TT=1800.68 T1=1794.83	? (MO) TT=166.24	? (problem) TT=208.289	? (MO) TT=174.38	? (problem) TT=234.393	? (MO) TT=172.62	? (problem) TT=240.029	? (MO) TT=180.53	? (problem) TT=214.304	MSAT (TO) f=13760 TT=1800.68 T1=1794.83	? (exit code) TT=14.427	? (MO) TT=153.4	? (MO) TT=152.73
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen10_wcsp.wbo	MSAT f=28742 TT=1800.68 T1=1794.73	? (problem) TT=146.454	? (problem) TT=219.953	? (problem) TT=155.108	? (problem) TT=219.182	? (problem) TT=148.166	? (problem) TT=250.899	? (problem) TT=148.405	? (problem) TT=223.13	MSAT (TO) f=28742 TT=1800.68 T1=1794.73	? (exit code) TT=14.423	? (problem) TT=125.751	? (problem) TT=125.214
/PARTIAL-BIGINT-LIN/ wcsp/spot5/ normalized-spot5-1401_wcsp.wbo	MSAT f=507118 TT=1800.73 T1=589.6	? (TO) TT=1800.03	? (TO) TT=1800.06	? (TO) TT=1800.03	? (TO) TT=1800.02	? (TO) TT=1800.03	? (TO) TT=1800.07	? (TO) TT=1800.01	? (TO) TT=1800.02	MSAT (TO) f=507118 TT=1800.73 T1=589.6	? (TO) TT=1800.05	? (TO) TT=1800.01	? (TO) TT=1800.01
/PARTIAL-BIGINT-LIN/ wcsp/spot5/ normalized-spot5-1403_wcsp.wbo	MSAT f=509269 TT=1800.02 T1=2.09	? (TO) TT=1800.02	? (TO) TT=1800.04	? (TO) TT=1800.05	? (TO) TT=1800.02	? (TO) TT=1800.03	? (TO) TT=1800.05	? (TO) TT=1800.1	? (TO) TT=1800.03	MSAT (TO) f=509269 TT=1800.02 T1=2.09	? (TO) TT=1800.08	? (TO) TT=1833.82	? (TO) TT=1800
/PARTIAL-BIGINT-LIN/ wcsp/spot5/ normalized-spot5-1405_wcsp.wbo	MSAT f=503455 TT=1800.02 T1=737.11	? (TO) TT=1800.05	? (TO) TT=1800.07	? (TO) TT=1800.03	? (TO) TT=1800.03	? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800.04	? (TO) TT=1800.07	MSAT (TO) f=503455 TT=1800.02 T1=737.11	? (TO) TT=1800.09	? (TO) TT=1800.02	? (TO) TT=1800.04
/PARTIAL-BIGINT-LIN/ wcsp/spot5/ normalized-spot5-1407_wcsp.wbo	MSAT f=497632 TT=1800.09 T1=9.2	? (TO) TT=1800.04	? (TO) TT=1800.01	? (TO) TT=1800.07	? (TO) TT=1800.09	? (TO) TT=1800.02	? (TO) TT=1800.04	? (TO) TT=1800.05	? (TO) TT=1800.01	MSAT (TO) f=497632 TT=1800.09 T1=9.2	? (TO) TT=1800.1	? (TO) TT=1800	? (TO) TT=1800.06
/PARTIAL-BIGINT-LIN/ wcsp/spot5/ normalized-spot5-1502_wcsp.wbo	MOPT f=28042 TT=43.422 T1=0.23	OPTIMUM f=28042 TT=38.597 T1=37.17	OPTIMUM f=28042 TT=177.954 T1=177.11	OPTIMUM f=28042 TT=38.879 T1=37.42	OPTIMUM f=28042 TT=183.455 T1=182.61	? (TO) TT=1800.13	? (TO) TT=1800.04	? (TO) TT=1800.08	? (TO) TT=1800.06	MSAT (TO) f=28042 TT=1800.03 T1=0.23	? (TO) TT=1800.11	OPTIMUM f=28042 TT=43.703 T1=42.05	OPTIMUM f=28042 TT=43.422 T1=41.73
/PARTIAL-BIGINT-LIN/ wcsp/spot5/ normalized-spot5-1504_wcsp.wbo	MSAT f=185320 TT=1800.04 T1=1783.8	? (TO) TT=1800.03	? (TO) TT=1800.03	? (TO) TT=1800.02	? (TO) TT=1800.08	? (TO) TT=1800.03	? (TO) TT=1800.1	? (TO) TT=1800.03	? (TO) TT=1800.02	MSAT (TO) f=185320 TT=1800.04 T1=1783.8	? (TO) TT=1800.05	? (TO) TT=1800.02	? (TO) TT=1800.01
/PARTIAL-BIGINT-LIN/ wcsp/spot5/ normalized-spot5-1506_wcsp.wbo	MSAT f=404565 TT=1800.74 T1=2.76	? (TO) TT=1800	? (TO) TT=1800.05	? (TO) TT=1800.03	? (TO) TT=1800.04	? (TO) TT=1800.02	? (TO) TT=1800.06	? (TO) TT=1800.05	? (TO) TT=1800.02	MSAT (TO) f=404565 TT=1800.74 T1=2.76	? (TO) TT=1800.02	? (TO) TT=1800.05	? (TO) TT=1800.02
/PARTIAL-BIGINT-LIN/wcsp/spot5/ normalized-spot5-28_wcsp.wbo	MSAT f=283110 TT=1800.1 T1=0.81	? (TO) TT=1800.14	? (TO) TT=1800.02	? (TO) TT=1800.02	? (TO) TT=1800.04	? (TO) TT=1800	? (TO) TT=1800.09	? (TO) TT=1800.08	? (TO) TT=1800.09	MSAT (TO) f=283110 TT=1800.1 T1=0.81	? (TO) TT=1800.08	? (TO) TT=1800.02	? (TO) TT=1800.02
Bench name	Best results	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)	Sat4j PB 2012-05-28 (complete)	toysat 2012-05-17 (complete)	wbo2sat 2012-05-19 (complete)	wbo2satCp2 2012-05-19 (complete)
/PARTIAL-BIGINT-LIN/wcsp/spot5/ normalized-spot5-29_wcsp.wbo	MOPT f=8059 TT=75.6 T1=55.4	OPTIMUM f=8059 TT=242.959 T1=243.12	OPTIMUM f=8059 TT=771.773 T1=771.55	OPTIMUM f=8059 TT=248.685 T1=248.74	OPTIMUM f=8059 TT=765.129 T1=764.89	? (TO) TT=1800.11	? (TO) TT=1800.13	? (TO) TT=1800.12	? (TO) TT=1800.09	OPTIMUM f=8059 TT=75.6 T1=55.4	OPTIMUM f=8059 TT=260.44 T1=113.06	OPTIMUM f=8059 TT=294.183 T1=293.99	OPTIMUM f=8059 TT=287.55 T1=287.42
/PARTIAL-BIGINT-LIN/ wcsp/spot5/ normalized-spot5-408_wcsp.wbo	MSAT f=6241 TT=1800.07 T1=668.47	? (TO) TT=1800.07	? (TO) TT=1800.02	? (TO) TT=1800.07	? (TO) TT=1800.05	? (TO) TT=1800.08	? (TO) TT=1800.02	? (TO) TT=1800.12	? (TO) TT=1800.08	MSAT (TO) f=6241 TT=1800.07 T1=668.47	? (TO) TT=1800.05	? (TO) TT=1800.03	? (TO) TT=1800.05
/PARTIAL-BIGINT-LIN/ wcsp/spot5/ normalized-spot5-412_wcsp.wbo	MSAT f=37411 TT=1800.01 T1=0.67	? (TO) TT=1800	? (TO) TT=1800.09	? (TO) TT=1800.01	? (TO) TT=1800.14	? (TO) TT=1800.13	? (TO) TT=1800.02	? (TO) TT=1800	? (TO) TT=1800.05	MSAT (TO) f=37411 TT=1800.01 T1=0.67	? (TO) TT=1800.08	? (TO) TT=1800.06	? (TO) TT=1800.03
/PARTIAL-BIGINT-LIN/ wcsp/spot5/ normalized-spot5-414_wcsp.wbo	MSAT f=40502 TT=1800.6 T1=219.36	? (TO) TT=1800	? (TO) TT=1800.04	? (TO) TT=1800.04	? (TO) TT=1800.04	? (TO) TT=1800.05	? (TO) TT=1800.07	? (TO) TT=1800.08	? (TO) TT=1800.08	MSAT (TO) f=40502 TT=1800.6 T1=219.36	? (TO) TT=1800.08	? (TO) TT=1800.04	? (TO) TT=1800.05
/PARTIAL-BIGINT-LIN/wcsp/spot5/ normalized-spot5-42_wcsp.wbo	MSAT f=169050 TT=1800.04 T1=102.89	? (TO) TT=1800.12	? (TO) TT=1800.08	? (TO) TT=1800.12	? (TO) TT=1800.02	? (TO) TT=1800.1	? (TO) TT=1800.01	? (TO) TT=1800.11	? (TO) TT=1800.01	MSAT (TO) f=169050 TT=1800.04 T1=102.89	? (TO) TT=1800.07	? (TO) TT=1800.05	? (TO) TT=1800.06
/PARTIAL-BIGINT-LIN/ wcsp/spot5/ normalized-spot5-503_wcsp.wbo	MOPT f=11113 TT=754.069 T1=753.53	OPTIMUM f=11113 TT=985.561 T1=984.28	OPTIMUM f=11113 TT=754.069 T1=753.53	OPTIMUM f=11113 TT=991.209 T1=989.86	OPTIMUM f=11113 TT=796.27 T1=795.74	? (TO) TT=1800.06	? (TO) TT=1800.06	? (TO) TT=1800.07	? (TO) TT=1800.09	MSAT (TO) f=12117 TT=1800.58 T1=1515.19	? (TO) TT=1800.09	OPTIMUM f=11113 TT=1117.9 T1=1117.9	OPTIMUM f=11113 TT=1117.51 T1=1117.43
/PARTIAL-BIGINT-LIN/ wcsp/spot5/ normalized-spot5-505_wcsp.wbo	MSAT f=21271 TT=1800.6 T1=1405.15	? (TO) TT=1800.05	? (TO) TT=1800.01	? (TO) TT=1800.08	? (TO) TT=1800.03	? (TO) TT=1800.06	? (TO) TT=1800.02	? (TO) TT=1800.12	? (TO) TT=1800.08	MSAT (TO) f=21271 TT=1800.6 T1=1405.15	? (TO) TT=1800.08	? (TO) TT=1800.06	? (TO) TT=1800.07
/PARTIAL-BIGINT-LIN/ wcsp/spot5/ normalized-spot5-507_wcsp.wbo	MSAT f=30429 TT=1800.01 T1=36.24	? (TO) TT=1800.03	? (TO) TT=1800.01	? (TO) TT=1800.1	? (TO) TT=1800.01	? (TO) TT=1800.01	? (TO) TT=1800.03	? (TO) TT=1800.03	? (TO) TT=1800.01	MSAT (TO) f=30429 TT=1800.01 T1=36.24	? (TO) TT=1800.11	? (TO) TT=1800.08	? (TO) TT=1800.09
/PARTIAL-BIGINT-LIN/ wcsp/spot5/ normalized-spot5-509_wcsp.wbo	MSAT f=39471 TT=1800.46 T1=53.75	? (TO) TT=1800.05	? (TO) TT=1800.11	? (TO) TT=1800.02	? (TO) TT=1800.01	? (TO) TT=1800.04	? (TO) TT=1800.02	? (TO) TT=1800.11	? (TO) TT=1800.09	MSAT (TO) f=39471 TT=1800.46 T1=53.75	? (TO) TT=1800.08	? (TO) TT=1800.01	? (TO) TT=1800.03
/PARTIAL-BIGINT-LIN/wcsp/spot5/ normalized-spot5-5_wcsp.wbo	MSAT f=281 TT=1800.01 T1=55.48	? (TO) TT=1800.03	? (TO) TT=1800.09	? (TO) TT=1800.08	? (TO) TT=1800.76	? (TO) TT=1800.02	? (TO) TT=1800.02	? (TO) TT=1800.05	? (TO) TT=1800.06	MSAT (TO) f=281 TT=1800.01 T1=55.48	? (TO) TT=1800.04	? (TO) TT=1800.06	? (TO) TT=1800.09
Bench name	Best results	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)	Sat4j PB 2012-05-28 (complete)	toysat 2012-05-17 (complete)	wbo2sat 2012-05-19 (complete)	wbo2satCp2 2012-05-19 (complete)
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-cap101_wcsp.wbo	MSAT f=7851242 TT=1800.7 T1=0.36	? (TO) TT=1800.07	? (TO) TT=1800.05	? (TO) TT=1800.05	? (TO) TT=1800.08	? (TO) TT=1800.05	? (TO) TT=1800.1	? (TO) TT=1800.11	? (TO) TT=1800.07	MSAT (TO) f=7851242 TT=1800.7 T1=0.36	? (TO) TT=1800.02	? (TO) TT=1800.05	? (TO) TT=1800.02
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-cap103_wcsp.wbo	MSAT f=8943592 TT=1800.61 T1=0.36	? (TO) TT=1800.08	? (TO) TT=1800.07	? (TO) TT=1800.14	? (TO) TT=1800.07	? (TO) TT=1800.1	? (TO) TT=1800.07	? (TO) TT=1800.11	? (TO) TT=1800.06	MSAT (TO) f=8943592 TT=1800.61 T1=0.36	? (TO) TT=1800.02	? (TO) TT=1800.06	? (TO) TT=1800.1
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-cap112_wcsp.wbo	MSAT f=8785136 TT=1800.06 T1=0.49	? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800.11	? (TO) TT=1800.07	? (TO) TT=1800.06	? (TO) TT=1800.07	? (TO) TT=1800.04	? (TO) TT=1800.09	MSAT (TO) f=8785136 TT=1800.06 T1=0.49	? (TO) TT=1800.02	? (TO) TT=1800.05	? (TO) TT=1800.04
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-cap113_wcsp.wbo	MSAT f=9206047 TT=1800.68 T1=0.47	? (TO) TT=1800.1	? (TO) TT=1800.07	? (TO) TT=1800.11	? (TO) TT=1800.03	? (TO) TT=1800.03	? (TO) TT=1800.03	? (TO) TT=1800.1	? (TO) TT=1800.04	MSAT (TO) f=9206047 TT=1800.68 T1=0.47	? (TO) TT=1800.01	? (TO) TT=1800.04	? (TO) TT=1800.02
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-cap114_wcsp.wbo	MSAT f=9410602 TT=1800.48 T1=0.45	? (TO) TT=1800.04	? (TO) TT=1800.03	? (TO) TT=1800.06	? (TO) TT=1800.06	? (TO) TT=1800.03	? (TO) TT=1800.03	? (TO) TT=1800.09	? (TO) TT=1800.05	MSAT (TO) f=9410602 TT=1800.48 T1=0.45	? (TO) TT=1800.02	? (TO) TT=1800.04	? (TO) TT=1800.08
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-cap123_wcsp.wbo	MSAT f=9206047 TT=1800.01 T1=0.48	? (TO) TT=1800.06	? (TO) TT=1800.01	? (TO) TT=1800.08	? (TO) TT=1800.05	? (TO) TT=1800.03	? (TO) TT=1800.04	? (TO) TT=1800.07	? (TO) TT=1800.03	MSAT (TO) f=9206047 TT=1800.01 T1=0.48	? (TO) TT=1800.11	? (TO) TT=1800.05	? (TO) TT=1800.01
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-cap124_wcsp.wbo	MSAT f=9410602 TT=1800.07 T1=0.48	? (TO) TT=1800.06	? (TO) TT=1800.04	? (TO) TT=1800.07	? (TO) TT=1800.05	? (TO) TT=1800.04	? (TO) TT=1800.04	? (TO) TT=1800.11	? (TO) TT=1800.07	MSAT (TO) f=9410602 TT=1800.07 T1=0.48	? (TO) TT=1800.02	? (TO) TT=1800.03	? (TO) TT=1800
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-cap131_wcsp.wbo	MSAT f=8157049 TT=1800.6 T1=0.47	? (TO) TT=1800.1	? (TO) TT=1800.07	? (TO) TT=1800.04	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.04	? (TO) TT=1800.1	? (TO) TT=1800.06	MSAT (TO) f=8157049 TT=1800.6 T1=0.47	? (TO) TT=1800.1	? (TO) TT=1800.04	? (TO) TT=1800.08
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-cap132_wcsp.wbo	MSAT f=8785136 TT=1800.09 T1=0.48	? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800.11	? (TO) TT=1800.02	? (TO) TT=1800.05	? (TO) TT=1800.04	? (TO) TT=1800.09	? (TO) TT=1800.08	MSAT (TO) f=8785136 TT=1800.09 T1=0.48	? (TO) TT=1800.02	? (TO) TT=1800.07	? (TO) TT=1800.11
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-cap134_wcsp.wbo	MSAT f=9410602 TT=1800 T1=0.47	? (TO) TT=1800.07	? (TO) TT=1800.03	? (TO) TT=1800.07	? (TO) TT=1800.1	? (TO) TT=1800.08	? (TO) TT=1800.01	? (TO) TT=1800.12	? (TO) TT=1800.06	MSAT (TO) f=9410602 TT=1800 T1=0.47	? (TO) TT=1800.02	? (TO) TT=1800.08	? (TO) TT=1800.08
Bench name	Best results	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)	Sat4j PB 2012-05-28 (complete)	toysat 2012-05-17 (complete)	wbo2sat 2012-05-19 (complete)	wbo2satCp2 2012-05-19 (complete)
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-cap42_wcsp.wbo	MSAT f=9556215 TT=1800.08 T1=0.32	? (TO) TT=1800.08	? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800.12	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.11	? (TO) TT=1800.12	MSAT (TO) f=9556215 TT=1800.08 T1=0.32	? (TO) TT=1800.02	? (TO) TT=1800.09	? (TO) TT=1800.1
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-cap43_wcsp.wbo	MSAT f=9939840 TT=1800.74 T1=0.32	? (TO) TT=1800.14	? (TO) TT=1800.08	? (TO) TT=1800.07	? (TO) TT=1800.14	? (TO) TT=1800.05	? (TO) TT=1800.06	? (TO) TT=1800.1	? (TO) TT=1800.06	MSAT (TO) f=9939840 TT=1800.74 T1=0.32	? (TO) TT=1800.02	? (TO) TT=1800.09	? (TO) TT=1800.09
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-cap44_wcsp.wbo	MSAT f=10336274 TT=1800.07 T1=0.34	? (TO) TT=1800.12	? (TO) TT=1800.07	? (TO) TT=1800.05	? (TO) TT=1800.07	? (TO) TT=1800.06	? (TO) TT=1800.11	? (TO) TT=1800.11	? (TO) TT=1800.08	MSAT (TO) f=10336274 TT=1800.07 T1=0.34	? (TO) TT=1800.02	? (TO) TT=1800.11	? (TO) TT=1800.12
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-cap61_wcsp.wbo	MOPT f=9003827 TT=1535.67 T1=665.64	OPTIMUM f=9003827 TT=1516.98 T1=813.32	? (TO) TT=1800.11	OPTIMUM f=9003827 TT=1603.77 T1=854.24	? (TO) TT=1800.06	? (TO) TT=1800.15	? (TO) TT=1800.07	? (TO) TT=1800.08	? (TO) TT=1800.11	MSAT (TO) f=9065142 TT=1800.63 T1=0.31	? (TO) TT=1800.02	OPTIMUM f=9003827 TT=1535.67 T1=665.64	OPTIMUM f=9003827 TT=1540.8 T1=672.24
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-cap62_wcsp.wbo	MSAT f=9556215 TT=1800.09 T1=0.28	? (TO) TT=1800.09	? (TO) TT=1800.1	? (TO) TT=1800.11	? (TO) TT=1800.07	? (TO) TT=1800.05	? (TO) TT=1800.1	? (TO) TT=1800.04	? (TO) TT=1800.12	MSAT (TO) f=9556215 TT=1800.09 T1=0.28	? (TO) TT=1800.02	? (TO) TT=1800.12	? (TO) TT=1800.04
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-cap64_wcsp.wbo	MSAT f=10336274 TT=1800.01 T1=0.3	? (TO) TT=1800.05	? (TO) TT=1800.05	? (TO) TT=1800.09	? (TO) TT=1800.13	? (TO) TT=1800.14	? (TO) TT=1800.04	? (TO) TT=1800.05	? (TO) TT=1800.08	MSAT (TO) f=10336274 TT=1800.01 T1=0.3	? (TO) TT=1800.02	? (TO) TT=1800.05	? (TO) TT=1800.14
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-cap73_wcsp.wbo	MSAT f=9939840 TT=1800.08 T1=0.31	? (TO) TT=1800.06	? (TO) TT=1800.14	? (TO) TT=1800.14	? (TO) TT=1800.06	? (TO) TT=1800.07	? (TO) TT=1800.12	? (TO) TT=1800.05	? (TO) TT=1800.08	MSAT (TO) f=9939840 TT=1800.08 T1=0.31	? (TO) TT=1800.01	? (TO) TT=1800.1	? (TO) TT=1800.15
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-cap74_wcsp.wbo	MSAT f=10336274 TT=1800.36 T1=0.32	? (TO) TT=1800.07	? (TO) TT=1800.1	? (TO) TT=1800.07	? (TO) TT=1800.06	? (TO) TT=1800.08	? (TO) TT=1800.12	? (TO) TT=1800.06	? (TO) TT=1800.05	MSAT (TO) f=10336274 TT=1800.36 T1=0.32	? (TO) TT=1800.01	? (TO) TT=1800.1	? (TO) TT=1800.15
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-cap81_wcsp.wbo	MSAT f=7851242 TT=1800.01 T1=0.38	? (TO) TT=1800.11	? (TO) TT=1800.08	? (TO) TT=1800.12	? (TO) TT=1800.1	? (TO) TT=1800.06	? (TO) TT=1800.04	? (TO) TT=1800.11	? (TO) TT=1800.07	MSAT (TO) f=7851242 TT=1800.01 T1=0.38	? (TO) TT=1800.1	? (TO) TT=1800.02	? (TO) TT=1800.08
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-cap82_wcsp.wbo	MSAT f=8527182 TT=1800.02 T1=0.35	? (TO) TT=1800.04	? (TO) TT=1800.1	? (TO) TT=1800.1	? (TO) TT=1800.08	? (TO) TT=1800.06	? (TO) TT=1800.08	? (TO) TT=1800.13	? (TO) TT=1800.07	MSAT (TO) f=8527182 TT=1800.02 T1=0.35	? (TO) TT=1800.12	? (TO) TT=1800.06	? (TO) TT=1800.12
Bench name	Best results	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)	Sat4j PB 2012-05-28 (complete)	toysat 2012-05-17 (complete)	wbo2sat 2012-05-19 (complete)	wbo2satCp2 2012-05-19 (complete)
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-capmo1_wcsp.wbo	MSAT f=1348270 TT=1800.06 T1=0.9	? (TO) TT=1800.06	? (TO) TT=1800.09	? (TO) TT=1800.05	? (TO) TT=1800.09	? (TO) TT=1800.05	? (TO) TT=1800.09	? (TO) TT=1800.04	? (TO) TT=1800.06	MSAT (TO) f=1348270 TT=1800.06 T1=0.9	? (TO) TT=1800.02	? (TO) TT=1800.09	? (TO) TT=1800.08
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-capmo2_wcsp.wbo	MSAT f=1243610 TT=1800.76 T1=67.61	? (TO) TT=1800.07	? (TO) TT=1800.11	? (TO) TT=1800.08	? (TO) TT=1800.07	? (TO) TT=1800.08	? (TO) TT=1800.02	? (TO) TT=1800.08	? (TO) TT=1800.09	MSAT (TO) f=1243610 TT=1800.76 T1=67.61	? (TO) TT=1800.01	? (TO) TT=1800.06	? (TO) TT=1800.06
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-capmo3_wcsp.wbo	MSAT f=1396837 TT=1800.64 T1=0.89	? (TO) TT=1800.07	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.06	? (TO) TT=1800.1	? (TO) TT=1800.03	? (TO) TT=1800.05	? (TO) TT=1800.06	MSAT (TO) f=1396837 TT=1800.64 T1=0.89	? (TO) TT=1800.11	? (TO) TT=1800.06	? (TO) TT=1800.1
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-capmo4_wcsp.wbo	MSAT f=1407026 TT=1800.37 T1=0.72	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.05	? (TO) TT=1800.08	? (TO) TT=1800.11	? (TO) TT=1800	? (TO) TT=1800.15	? (TO) TT=1800.01	MSAT (TO) f=1407026 TT=1800.37 T1=0.72	? (TO) TT=1800.01	? (TO) TT=1800.11	? (TO) TT=1800.09
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-capmp1_wcsp.wbo	MSAT f=2980671 TT=1800.08 T1=1.35	? (TO) TT=1800.01	? (TO) TT=1800.04	? (TO) TT=1800.07	? (TO) TT=1800.08	? (TO) TT=1800.1	? (TO) TT=1800.03	? (TO) TT=1800.08	? (TO) TT=1800.06	MSAT (TO) f=2980671 TT=1800.08 T1=1.35	? (TO) TT=1800.09	? (TO) TT=1800.05	? (TO) TT=1800.07
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-capmp2_wcsp.wbo	MSAT f=2795923 TT=1800.08 T1=2.07	? (TO) TT=1800.03	? (TO) TT=1800.05	? (TO) TT=1800.05	? (TO) TT=1800.09	? (TO) TT=1800.08	? (TO) TT=1800.04	? (TO) TT=1800.1	? (TO) TT=1800.05	MSAT (TO) f=2795923 TT=1800.08 T1=2.07	? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800.06
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-capmp3_wcsp.wbo	MSAT f=2773881 TT=1800.82 T1=1.37	? (TO) TT=1800.04	? (TO) TT=1800.03	? (TO) TT=1800.08	? (TO) TT=1800.09	? (TO) TT=1800.02	? (TO) TT=1800.03	? (TO) TT=1800.09	? (TO) TT=1800.07	MSAT (TO) f=2773881 TT=1800.82 T1=1.37	? (TO) TT=1800.08	? (TO) TT=1800.11	? (TO) TT=1800.09
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-capmp4_wcsp.wbo	MSAT f=2957465 TT=1800.07 T1=1.43	? (TO) TT=1800.01	? (TO) TT=1800.08	? (TO) TT=1800.01	? (TO) TT=1800.02	? (TO) TT=1800.05	? (TO) TT=1800.07	? (TO) TT=1800.1	? (TO) TT=1800.03	MSAT (TO) f=2957465 TT=1800.07 T1=1.43	? (TO) TT=1800.08	? (TO) TT=1800.06	? (TO) TT=1800.08
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-capmq1_wcsp.wbo	MSAT f=4230469 TT=1800.06 T1=2.2	? (TO) TT=1800.03	? (TO) TT=1800.06	? (TO) TT=1800.08	? (TO) TT=1800.03	? (TO) TT=1800.1	? (TO) TT=1800.06	? (TO) TT=1800.07	? (TO) TT=1800.02	MSAT (TO) f=4230469 TT=1800.06 T1=2.2	? (exit code) TT=4.542	? (TO) TT=1800.07	? (TO) TT=1800.1
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-capmq5_wcsp.wbo	MSAT f=4416173 TT=1800.71 T1=3.87	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.05	? (TO) TT=1800.08	? (TO) TT=1800.09	? (TO) TT=1800.06	? (TO) TT=1800.04	MSAT (TO) f=4416173 TT=1800.71 T1=3.87	? (exit code) TT=4.44	? (TO) TT=1800.08	? (TO) TT=1800.06
Bench name	Best results	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)	Sat4j PB 2012-05-28 (complete)	toysat 2012-05-17 (complete)	wbo2sat 2012-05-19 (complete)	wbo2satCp2 2012-05-19 (complete)
/PARTIAL-BIGINT-LIN/wcsp/ zenotravel/ normalized-zenotravel02ac_wcsp.wbo	MOPT f=2401 TT=1.404 T1=0.55	OPTIMUM f=2401 TT=613.172 T1=613.27	? (TO) TT=1800.08	OPTIMUM f=2401 TT=633.257 T1=633.42	? (TO) TT=1800.04	? (TO) TT=1800.1	? (TO) TT=1800.1	? (TO) TT=1800.12	? (TO) TT=1800.32	OPTIMUM f=2401 TT=1.404 T1=0.55	OPTIMUM f=2401 TT=7.815 T1=7.8	OPTIMUM f=2401 TT=985.941 T1=985.98	OPTIMUM f=2401 TT=969.712 T1=969.76
/PARTIAL-BIGINT-LIN/wcsp/ zenotravel/ normalized-zenotravel02bc_wcsp.wbo	MOPT f=2251 TT=1.593 T1=0.65	? (TO) TT=1800.08	? (TO) TT=1800.12	? (TO) TT=1800.08	? (TO) TT=1800.12	? (TO) TT=1800.08	? (TO) TT=1800.12	? (TO) TT=1800.1	? (TO) TT=1800.08	OPTIMUM f=2251 TT=1.593 T1=0.65	OPTIMUM f=2251 TT=7.625 T1=7.61	OPTIMUM f=2251 TT=826.694 T1=826.68	OPTIMUM f=2251 TT=984.575 T1=984.6
/PARTIAL-BIGINT-LIN/wcsp/ zenotravel/ normalized-zenotravel02cc_wcsp.wbo	MOPT f=724 TT=1.215 T1=0.54	OPTIMUM f=724 TT=143.608 T1=143.56	OPTIMUM f=724 TT=1065.27 T1=1065.26	OPTIMUM f=724 TT=194.195 T1=194.16	OPTIMUM f=724 TT=1268.43 T1=1268.64	? (TO) TT=1800.11	? (TO) TT=1800.05	? (TO) TT=1800.3	? (TO) TT=1800.08	OPTIMUM f=724 TT=1.215 T1=0.54	OPTIMUM f=724 TT=7.327 T1=7.31	OPTIMUM f=724 TT=1447.64 T1=1447.82	OPTIMUM f=724 TT=1244.18 T1=1244.42
/PARTIAL-BIGINT-LIN/wcsp/ zenotravel/ normalized-zenotravel02c_wcsp.wbo	MOPT f=2401 TT=1.413 T1=0.55	OPTIMUM f=2401 TT=603.132 T1=603.27	? (TO) TT=1800.08	OPTIMUM f=2401 TT=620.463 T1=620.57	? (TO) TT=1800.04	? (TO) TT=1800.11	? (TO) TT=1800.06	? (TO) TT=1800.06	? (TO) TT=1800.08	OPTIMUM f=2401 TT=1.413 T1=0.55	OPTIMUM f=2401 TT=7.822 T1=7.81	OPTIMUM f=2401 TT=945.516 T1=945.54	OPTIMUM f=2401 TT=956.091 T1=956.11
/PARTIAL-BIGINT-LIN/wcsp/ zenotravel/ normalized-zenotravel04ac_wcsp.wbo	MOPT f=4116 TT=2.074 T1=0.83	? (TO) TT=1800.12	? (TO) TT=1800.08	? (TO) TT=1800.11	? (TO) TT=1800.09	? (TO) TT=1800.1	? (TO) TT=1800.07	? (TO) TT=1800.12	? (TO) TT=1800.08	OPTIMUM f=4116 TT=2.074 T1=0.83	OPTIMUM f=4116 TT=92.452 T1=91.48	? (TO) TT=1800.1	? (TO) TT=1800
/PARTIAL-BIGINT-LIN/wcsp/ zenotravel/ normalized-zenotravel04bc_wcsp.wbo	MOPT f=3956 TT=2.164 T1=0.79	? (TO) TT=1800.07	? (TO) TT=1800.04	? (TO) TT=1800.12	? (TO) TT=1800.04	? (TO) TT=1800.04	? (TO) TT=1800.05	? (TO) TT=1800.09	? (TO) TT=1800.04	OPTIMUM f=3956 TT=2.164 T1=0.79	OPTIMUM f=3956 TT=84.482 T1=83.74	? (TO) TT=1800.08	? (TO) TT=1800.07
/PARTIAL-BIGINT-LIN/wcsp/ zenotravel/ normalized-zenotravel04cc_wcsp.wbo	MOPT f=1555 TT=1.894 T1=0.7	? (TO) TT=1800.11	? (TO) TT=1800.06	? (TO) TT=1800.12	? (TO) TT=1800.02	? (TO) TT=1800.06	? (TO) TT=1800.02	? (TO) TT=1800.11	? (TO) TT=1800.1	OPTIMUM f=1555 TT=1.894 T1=0.7	OPTIMUM f=1555 TT=83.095 T1=81.82	? (TO) TT=1800.07	? (TO) TT=1800.06
/PARTIAL-BIGINT-LIN/wcsp/ zenotravel/ normalized-zenotravel04c_wcsp.wbo	MOPT f=4116 TT=3.924 T1=0.81	? (TO) TT=1800.12	? (TO) TT=1800.1	? (TO) TT=1800.12	? (TO) TT=1800	? (TO) TT=1800.13	? (TO) TT=1800.08	? (TO) TT=1800.12	? (TO) TT=1800.04	OPTIMUM f=4116 TT=3.924 T1=0.81	OPTIMUM f=4116 TT=93.168 T1=92.23	? (TO) TT=1800.13	? (TO) TT=1800.08

Statistics		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)	Sat4j PB 2012-05-28 (complete)	toysat 2012-05-17 (complete)	wbo2sat 2012-05-19 (complete)	wbo2satCp2 2012-05-19 (complete)
Number of times the solver is able to give the best known answer		0	46	0	46	0	27	0	11	217	101	61	61
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)		0	2	0	0	0	0	0	0	192	13	7	8