PB'10 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:
PB/CT 0.1 (complete)
PB/CT 0.1 fixed (complete)
SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete)
SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)
SAT4J PB Resolution 2.2.0 2010-05-26 (complete)
SAT4J PB Resolution 2.2.1 (complete)

Bench name	Best results on this instance	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete)	SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)	SAT4J PB Resolution 2.2.0 2010-05-26 (complete)	SAT4J PB Resolution 2.2.1 (complete)
/PARTIAL-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-blast-tlan3.ucl--soft-33-100-0.wbo	MOPT f=2 TT=74.455 T1=74.92	Signal TT=0.52	MSAT (TO) f=4138 TT=1800.09 T1=1778.82	Wrong Opt. f=74 TT=1350.22 T1=1330.13	Wrong Opt. f=74 TT=163.977 T1=153.88	Wrong Opt. f=74 TT=34.151 T1=31.05	OPTIMUM f=2 TT=74.455 T1=74.92
/PARTIAL-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-cache-ibm-q-full.all.ucl--soft-33-100-0.wbo	MSAT f=287 TT=1800.38 T1=1700.75	Signal TT=1.437	MSAT (TO) f=9792 TT=1800.12 T1=1075.51	MSAT (TO) f=751 TT=1800.3 T1=1779.06	MSAT (TO) f=366 TT=1800.36 T1=174.1	Wrong Cert. TT=1800.59	MSAT (TO) f=287 TT=1800.38 T1=1700.75
/PARTIAL-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-cache-ibm-q-full.all.ucl--soft-66-100-0.wbo	MSAT f=30 TT=1800.33 T1=1751.39	Signal TT=1.405	MSAT (TO) f=5414 TT=1800.11 T1=1653.92	MSAT (TO) f=478 TT=1800.34 T1=1775.97	MSAT (TO) f=121 TT=1800.31 T1=98.13	MSAT (TO) f=2 TT=1800.41 T1=396.61	MSAT (TO) f=30 TT=1800.33 T1=1751.39
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Ic22arity.ucl--soft-33-100-0.wbo	MSAT f=5 TT=1800.36 T1=1791.67	Signal TT=1.601	MSAT (TO) f=10388 TT=1800.14 T1=1315.13	MSAT (TO) f=480 TT=1800.29 T1=1778.83	MSAT (TO) f=974 TT=1800.29 T1=1742.66	MSAT (TO) f=942 TT=1800.39 T1=1782.18	MSAT (TO) f=5 TT=1800.36 T1=1791.67
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Ic22arity.ucl--soft-66-100-0.wbo	MOPT f=1 TT=573.152 T1=526.18	Signal TT=1.602	MSAT (TO) f=6717 TT=1800.17 T1=1378.11	MSAT (TO) f=337 TT=1800.25 T1=1784.23	MSAT (TO) f=320 TT=1800.38 T1=1465.05	Wrong Opt. f=23 TT=534.045 T1=496.07	OPTIMUM f=1 TT=573.152 T1=526.18
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Icl2arity.ucl--soft-33-100-0.wbo	MOPT f=1 TT=53.317 T1=52.72	Signal TT=0.44	MSAT (TO) f=3314 TT=1800.07 T1=1799.16	MSAT (TO) f=75 TT=1800.37 T1=1889.73	Wrong Opt. f=2 TT=740.638 T1=719	Wrong Opt. f=2 TT=71.911 T1=67.85	OPTIMUM f=1 TT=53.317 T1=52.72
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Icl2arity.ucl--soft-66-100-0.wbo	MOPT f=1 TT=108.637 T1=108.53	Signal TT=0.431	OPTIMUM f=1 TT=912.819 T1=911.65	Wrong Opt. f=42 TT=659.096 T1=520.45	Wrong Opt. f=42 TT=133.639 T1=102.15	Wrong Opt. f=42 TT=53.614 T1=47.19	OPTIMUM f=1 TT=108.637 T1=108.53
/PARTIAL-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-cache.inv12.ucl--soft-33-100-0.wbo	MOPT f=1 TT=155.471 T1=150.32	Signal TT=0.432	MSAT (TO) f=3237 TT=1800.11 T1=1759.78	MSAT (TO) f=14 TT=1800.3 T1=1771.26	Wrong Opt. f=7 TT=843.264 T1=682.46	Wrong Opt. f=7 TT=40.147 T1=25.36	OPTIMUM f=1 TT=155.471 T1=150.32
/PARTIAL-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-cache.inv12.ucl--soft-66-100-0.wbo	MOPT f=1 TT=36.572 T1=24.21	Signal TT=0.466	MSAT (TO) f=1547 TT=1800.03 T1=1800.6	MSAT (TO) f=12 TT=1800.29 T1=543.53	Wrong Opt. f=12 TT=139.362 T1=108.31	Wrong Opt. f=12 TT=46.166 T1=37.3	OPTIMUM f=1 TT=36.572 T1=24.21
/PARTIAL-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-cache.inv14.ucl--soft-33-100-0.wbo	MSAT f=353 TT=1800.34 T1=522.45	Signal TT=1.053	MSAT (TO) f=5391 TT=1800.14 T1=599.27	MSAT (TO) f=741 TT=1800.36 T1=1803.76	MSAT (TO) f=1531 TT=1800.23 T1=571.01	MSAT (TO) f=368 TT=1800.27 T1=1786.34	MSAT (TO) f=353 TT=1800.34 T1=522.45
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete)	SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)	SAT4J PB Resolution 2.2.0 2010-05-26 (complete)	SAT4J PB Resolution 2.2.1 (complete)
/PARTIAL-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-cache.inv14.ucl--soft-66-100-0.wbo	MSAT f=1 TT=1800.4 T1=573.15	Signal TT=1.034	MSAT (TO) f=3859 TT=1800.12 T1=1717.82	MSAT (TO) f=368 TT=1800.31 T1=1776.02	MSAT (TO) f=21 TT=1800.35 T1=1229.67	MSAT (TO) f=2 TT=1800.28 T1=1245.88	MSAT (TO) f=1 TT=1800.4 T1=573.15
/PARTIAL-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-elf.rf10.ucl--soft-33-100-0.wbo	MOPT f=1 TT=347.671 T1=344.4	Signal TT=0.972	MSAT (TO) f=11987 TT=1800.11 T1=1345.84	MSAT (TO) f=314 TT=1800.32 T1=1789.22	MSAT (TO) f=95 TT=1800.26 T1=1738.67	OPTIMUM f=1 TT=156.865 T1=148.85	OPTIMUM f=1 TT=347.671 T1=344.4
/PARTIAL-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-elf.rf10.ucl--soft-66-100-0.wbo	MOPT f=1 TT=299.714 T1=297.96	Signal TT=0.958	MSAT (TO) f=5900 TT=1800.1 T1=733.69	Wrong Opt. f=2 TT=856.914 T1=826.57	Wrong Opt. f=2 TT=902.473 T1=866.48	Wrong Opt. f=2 TT=115.642 T1=110.94	OPTIMUM f=1 TT=299.714 T1=297.96
/PARTIAL-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-elf.rf9.ucl--soft-33-100-0.wbo	MOPT f=1 TT=33.119 T1=36.9	Signal TT=0.36	MSAT (TO) f=5769 TT=1800.08 T1=1785.36	OPTIMUM f=1 TT=14.046 T1=11.55	OPTIMUM f=1 TT=22.441 T1=20.07	OPTIMUM f=1 TT=18.212 T1=16.43	OPTIMUM f=1 TT=33.119 T1=36.9
/PARTIAL-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.burch_dill.8.accl.ucl--soft-33-100-0.wbo	MSAT f=1074 TT=1800.3 T1=1786.8	Signal TT=0.383	MSAT (TO) f=4804 TT=1800.09 T1=1797.61	MSAT (TO) f=465 TT=1800.24 T1=1774.47	MSAT (TO) f=130 TT=1800.63 T1=1357.07	MSAT (TO) f=197 TT=1800.31 T1=1720.56	MSAT (TO) f=1074 TT=1800.3 T1=1786.8
/PARTIAL-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.ex.br.mem.RobRegValid_bar.ucl--soft-33-100-0.wbo	MSAT f=1553 TT=1800.32 T1=1738.63	Signal TT=0.996	MSAT (TO) f=8816 TT=1800.13 T1=1793.02	MSAT (TO) f=1211 TT=1800.22 T1=1785.72	MSAT (TO) f=266 TT=1800.32 T1=1896.92	MSAT (TO) f=29 TT=1800.3 T1=1773.08	MSAT (TO) f=1553 TT=1800.32 T1=1738.63
/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=1717.57 T1=1564.42	Signal TT=0.971	MSAT (TO) f=4769 TT=1800.11 T1=1764.79	MSAT (TO) f=38 TT=1800.33 T1=1732.97	MSAT (TO) f=321 TT=1800.42 T1=1140.28	MSAT (TO) f=510 TT=1800.34 T1=1688.77	OPTIMUM f=1 TT=1717.57 T1=1564.42
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl--soft-33-100-0.wbo	MSAT f=1560 TT=1800.31 T1=1688.56	Signal TT=2.131	MSAT (TO) f=60927 TT=1800.17 T1=1795.97	MSAT (TO) f=423 TT=1800.35 T1=1780.02	MSAT (TO) f=3894 TT=1800.46 T1=669.63	MSAT (TO) f=1089 TT=1800.36 T1=1777.57	MSAT (TO) f=1560 TT=1800.31 T1=1688.56
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl--soft-66-100-0.wbo	MSAT f=1 TT=1800.36 T1=1312.97	Signal TT=2.095	MSAT (TO) f=9205 TT=1800.16 T1=1476.65	MSAT (TO) f=391 TT=1800.29 T1=1777.03	MSAT (TO) f=404 TT=1800.42 T1=1586.75	MSAT (TO) f=1202 TT=1800.33 T1=1772.08	MSAT (TO) f=1 TT=1800.36 T1=1312.97
/PARTIAL-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.ex.mem.LdValue.ucl--soft-33-100-0.wbo	MSAT f=12 TT=1800.37 T1=1775.66	Signal TT=1.491	MSAT (TO) f=13337 TT=1800.16 T1=1352.54	MSAT (TO) f=2988 TT=1800.36 T1=1774.27	MSAT (TO) f=1671 TT=1800.38 T1=85.14	MSAT (TO) f=762 TT=1800.29 T1=1781.33	MSAT (TO) f=12 TT=1800.37 T1=1775.66
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete)	SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)	SAT4J PB Resolution 2.2.0 2010-05-26 (complete)	SAT4J PB Resolution 2.2.1 (complete)
/PARTIAL-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.ex.mem.LdValue.ucl--soft-66-100-0.wbo	MSAT f=202 TT=1800.27 T1=1776.71	Signal TT=1.527	MSAT (TO) f=7395 TT=1800.14 T1=1671.52	MSAT (TO) f=437 TT=1800.26 T1=1780.62	MSAT (TO) f=510 TT=1800.26 T1=1151.94	MSAT (TO) f=154 TT=1800.29 T1=1773.2	MSAT (TO) f=202 TT=1800.27 T1=1776.71
/PARTIAL-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.rf10.ucl--soft-33-100-0.wbo	MOPT f=1 TT=401.147 T1=401.37	Signal TT=0.31	MSAT (TO) f=5799 TT=1800.1 T1=1646.89	MSAT (TO) f=1143 TT=1800.57 T1=1781.34	OPTIMUM f=1 TT=191.85 T1=159.18	OPTIMUM f=1 TT=156.139 T1=153.86	OPTIMUM f=1 TT=401.147 T1=401.37
/PARTIAL-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.rf9.ucl--soft-33-100-0.wbo	MOPT f=1 TT=92.776 T1=93.89	Signal TT=0.217	MSAT (TO) f=3606 TT=1800.07 T1=1657.19	MSAT (TO) f=440 TT=1800.21 T1=1761.36	OPTIMUM f=1 TT=152.858 T1=153.44	OPTIMUM f=1 TT=31.9 T1=29.63	OPTIMUM f=1 TT=92.776 T1=93.89
/PARTIAL-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.tag12.ucl--soft-33-100-0.wbo	MOPT f=1 TT=147.183 T1=139.65	Signal TT=0.354	MSAT (TO) f=3177 TT=1800.08 T1=1786.1	MSAT (TO) f=288 TT=1800.35 T1=1742.63	Wrong Opt. f=32 TT=366.283 T1=278.73	Wrong Opt. f=32 TT=199.881 T1=196.99	OPTIMUM f=1 TT=147.183 T1=139.65
/PARTIAL-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.tag14.ucl--soft-33-100-0.wbo	MSAT f=400 TT=1800.26 T1=1755.36	Signal TT=0.791	MSAT (TO) f=6595 TT=1800.09 T1=1696.9	MSAT (TO) f=307 TT=1800.28 T1=1777.67	MSAT (TO) f=84 TT=1800.47 T1=1261.77	OPTIMUM f=10 TT=1306.13 T1=1296.95	MSAT (TO) f=400 TT=1800.26 T1=1755.36
/PARTIAL-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.tag14.ucl--soft-66-100-0.wbo	MOPT f=1 TT=490.625 T1=485.32	Signal TT=1.777	MSAT (TO) f=4785 TT=1800.09 T1=1796.62	MSAT (TO) f=453 TT=1800.31 T1=1772.47	Wrong Opt. f=33 TT=479.782 T1=373.41	Wrong Opt. f=33 TT=123.448 T1=120.71	OPTIMUM f=1 TT=490.625 T1=485.32
/PARTIAL-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.unbounded.all.ucl--soft-33-100-0.wbo	MSAT f=72 TT=1800.4 T1=1794.07	Signal TT=1.613	MSAT (TO) f=12551 TT=1800.15 T1=1710.18	MSAT (TO) f=2725 TT=1800.38 T1=1815.56	MSAT (TO) f=530 TT=1800.39 T1=1741.27	MSAT (TO) f=625 TT=1800.35 T1=1772.06	MSAT (TO) f=72 TT=1800.4 T1=1794.07
/PARTIAL-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.unbounded.all.ucl--soft-66-100-0.wbo	MOPT f=1 TT=1550.29 T1=302.77	Signal TT=1.602	MSAT (TO) f=5973 TT=1800.12 T1=1031.68	MSAT (TO) f=82 TT=1800.54 T1=1310.2	MSAT (TO) f=102 TT=1800.5 T1=1490.47	MSAT (TO) f=86 TT=1800.31 T1=1778.78	OPTIMUM f=1 TT=1550.29 T1=302.77
/PARTIAL-BIGINT-LIN/PB10/ oliveras/j120/ normalized-j12013_1-unsat--soft-33-100-0.wbo	MSAT f=4323 TT=1800.38 T1=6.93	Signal TT=0.842	MSAT (TO) f=78904 TT=1800.09 T1=1279.35	? (TO) TT=1800.2	? (TO) TT=1800.5	? (TO) TT=1800.19	MSAT (TO) f=4323 TT=1800.38 T1=6.93
/PARTIAL-BIGINT-LIN/PB10/ oliveras/j120/ normalized-j12013_1-unsat--soft-66-100-0.wbo	MSAT f=8808 TT=1800.37 T1=301.62	Signal TT=0.8	MSAT (TO) f=21452 TT=1800.1 T1=1795.05	Wrong UNSAT TT=1.001	Wrong UNSAT TT=1.804	Wrong UNSAT TT=0.979	MSAT (TO) f=8808 TT=1800.37 T1=301.62
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete)	SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)	SAT4J PB Resolution 2.2.0 2010-05-26 (complete)	SAT4J PB Resolution 2.2.1 (complete)
/PARTIAL-BIGINT-LIN/PB10/ oliveras/j120/ normalized-j12015_3-unsat--soft-33-100-0.wbo	MOPT f=5 TT=612.787 T1=613.36	Signal TT=1.376	MSAT (TO) f=46609 TT=1800.08 T1=70.82	Wrong UNSAT TT=0.934	Wrong UNSAT TT=1.918	Wrong UNSAT TT=0.942	OPTIMUM f=5 TT=612.787 T1=613.36
/PARTIAL-BIGINT-LIN/PB10/ oliveras/j120/ normalized-j12015_3-unsat--soft-66-100-0.wbo	MSAT f=1834 TT=1800.44 T1=1597.1	Signal TT=0.926	MSAT (TO) f=11583 TT=1800.07 T1=1772.62	OPTIMUM f=30 TT=18.326 T1=14.8	OPTIMUM f=30 TT=10.964 T1=6.15	OPTIMUM f=30 TT=6.3 T1=4.22	MSAT (TO) f=1834 TT=1800.44 T1=1597.1
/PARTIAL-BIGINT-LIN/PB10/ oliveras/j120/ normalized-j12023_3-unsat--soft-33-100-0.wbo	MOPT f=8 TT=5.85 T1=5.73	? (TO) TT=0.906	MSAT (TO) f=24942 TT=1800.1 T1=1740.21	Wrong UNSAT TT=0.984	Wrong UNSAT TT=1.792	Wrong UNSAT TT=0.974	OPTIMUM f=8 TT=5.85 T1=5.73
/PARTIAL-BIGINT-LIN/PB10/ oliveras/j120/ normalized-j12023_3-unsat--soft-66-100-0.wbo	MOPT f=2 TT=4.385 T1=5.03	Signal TT=6.018	MSAT (TO) f=1733 TT=1800.04 T1=1798.64	Wrong UNSAT TT=1.004	Wrong UNSAT TT=1.754	Wrong UNSAT TT=0.941	OPTIMUM f=2 TT=4.385 T1=5.03
/PARTIAL-BIGINT-LIN/PB10/ oliveras/j120/ normalized-j12026_5-unsat--soft-33-100-0.wbo	MSAT f=3411 TT=1800.28 T1=14.04	Signal TT=1.877	MSAT (TO) f=60124 TT=1800.1 T1=1437.93	? (TO) TT=1800.24	? (TO) TT=1800.33	? (TO) TT=1800.22	MSAT (TO) f=3411 TT=1800.28 T1=14.04
/PARTIAL-BIGINT-LIN/PB10/ oliveras/j120/ normalized-j12026_5-unsat--soft-66-100-0.wbo	MSAT f=6200 TT=1800.27 T1=6.95	Signal TT=2.006	MSAT (TO) f=17802 TT=1800.06 T1=1797.17	? (TO) TT=1800.02	Wrong UNSAT TT=532.058	Wrong UNSAT TT=234.077	MSAT (TO) f=6200 TT=1800.27 T1=6.95
/PARTIAL-BIGINT-LIN/PB10/ oliveras/j120/ normalized-j12027_7-unsat--soft-33-100-0.wbo	MSAT f=2256 TT=1800.38 T1=7.68	Signal TT=2.211	MSAT (TO) f=58282 TT=1800.1 T1=1469.16	Wrong UNSAT TT=707.076	Wrong UNSAT TT=19.108	Wrong UNSAT TT=10.867	MSAT (TO) f=2256 TT=1800.38 T1=7.68
/PARTIAL-BIGINT-LIN/PB10/ oliveras/j120/ normalized-j12027_7-unsat--soft-66-100-0.wbo	MSAT f=7982 TT=1800.36 T1=5.67	Signal TT=1.457	MSAT (TO) f=12845 TT=1800.07 T1=1648.59	Wrong UNSAT TT=622.873	Wrong UNSAT TT=19.404	Wrong UNSAT TT=9.62	MSAT (TO) f=7982 TT=1800.36 T1=5.67
/PARTIAL-BIGINT-LIN/PB10/ oliveras/j120/ normalized-j12041_4-unsat--soft-33-100-0.wbo	MOPT f=3 TT=556.888 T1=555.37	Signal TT=1.773	MSAT (TO) f=34808 TT=1800.07 T1=1486.17	Wrong UNSAT TT=29.489	Wrong UNSAT TT=10.045	Wrong UNSAT TT=6.195	OPTIMUM f=3 TT=556.888 T1=555.37
/PARTIAL-BIGINT-LIN/PB10/ oliveras/j120/ normalized-j12041_4-unsat--soft-66-100-0.wbo	MOPT f=2 TT=58.487 T1=58.96	Signal TT=6.093	MSAT (TO) f=7467 TT=1800.08 T1=1796.98	Wrong Opt. f=98 TT=47.154 T1=24.59	Wrong Opt. f=98 TT=13.451 T1=4.98	Wrong Opt. f=98 TT=6.997 T1=3.99	OPTIMUM f=2 TT=58.487 T1=58.96
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete)	SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)	SAT4J PB Resolution 2.2.0 2010-05-26 (complete)	SAT4J PB Resolution 2.2.1 (complete)
/PARTIAL-BIGINT-LIN/PB10/ oliveras/j120/ normalized-j1205_1-unsat--soft-33-100-0.wbo	MOPT f=3 TT=4.938 T1=2.93	Signal TT=1.334	MSAT (TO) f=14610 TT=1800.06 T1=127.03	Wrong Opt. f=80 TT=4.91 T1=3.07	Wrong Opt. f=80 TT=7.94 T1=4.94	Wrong Opt. f=80 TT=5.876 T1=3.72	OPTIMUM f=3 TT=4.938 T1=2.93
/PARTIAL-BIGINT-LIN/PB10/ oliveras/j120/ normalized-j1205_1-unsat--soft-66-100-0.wbo	MOPT f=17 TT=4.106 T1=4.3	Signal TT=5.363	OPTIMUM f=17 TT=181.161 T1=180.75	Wrong Opt. f=83 TT=3.415 T1=1.75	Wrong Opt. f=83 TT=5.88 T1=2.96	Wrong Opt. f=83 TT=3.947 T1=2.05	OPTIMUM f=17 TT=4.106 T1=4.3
/PARTIAL-BIGINT-LIN/PB10/ oliveras/j60/ normalized-j6030_9-unsat--soft-33-100-0.wbo	MOPT f=1 TT=3.607 T1=3.73	Signal TT=5.183	MSAT (TO) f=27106 TT=1800.03 T1=1071.18	Wrong UNSAT TT=0.857	Wrong UNSAT TT=1.337	Wrong UNSAT TT=0.855	OPTIMUM f=1 TT=3.607 T1=3.73
/PARTIAL-BIGINT-LIN/PB10/ oliveras/j60/ normalized-j6033_2-unsat--soft-33-100-0.wbo	MOPT f=23 TT=3.53 T1=3.35	Signal TT=0.48	MSAT (TO) f=11937 TT=1800.07 T1=1640.15	Wrong UNSAT TT=0.866	Wrong UNSAT TT=1.345	Wrong UNSAT TT=0.874	OPTIMUM f=23 TT=3.53 T1=3.35
/PARTIAL-BIGINT-LIN/PB10/ oliveras/j90/ normalized-j9010_6-unsat--soft-33-100-0.wbo	MOPT f=20 TT=4.142 T1=4.47	Signal TT=0.853	MSAT (TO) f=29759 TT=1800.07 T1=1343.1	Wrong UNSAT TT=0.902	Wrong UNSAT TT=1.675	Wrong UNSAT TT=0.878	OPTIMUM f=20 TT=4.142 T1=4.47
/PARTIAL-BIGINT-LIN/PB10/ oliveras/j90/ normalized-j9012_2-unsat--soft-33-100-0.wbo	MOPT f=11 TT=3.527 T1=3.66	Signal TT=0.373	MSAT (TO) f=6710 TT=1800.08 T1=1401.38	Wrong UNSAT TT=0.872	Wrong UNSAT TT=1.359	Wrong UNSAT TT=0.85	OPTIMUM f=11 TT=3.527 T1=3.66
/PARTIAL-BIGINT-LIN/PB10/ oliveras/j90/ normalized-j9014_1-unsat--soft-33-100-0.wbo	MSAT f=2061 TT=1800.31 T1=1629.07	Signal TT=0.896	MSAT (TO) f=36612 TT=1800.09 T1=615.35	Wrong UNSAT TT=0.885	Wrong UNSAT TT=1.404	Wrong UNSAT TT=0.872	MSAT (TO) f=2061 TT=1800.31 T1=1629.07
/PARTIAL-BIGINT-LIN/PB10/ oliveras/j90/ normalized-j9015_10-unsat--soft-33-100-0.wbo	MOPT f=33 TT=3.755 T1=1.8	Signal TT=5.248	MSAT (TO) f=25470 TT=1800.07 T1=782.46	Wrong UNSAT TT=0.866	Wrong UNSAT TT=1.371	Wrong UNSAT TT=0.862	OPTIMUM f=33 TT=3.755 T1=1.8
/PARTIAL-BIGINT-LIN/PB10/ oliveras/j90/ normalized-j9028_2-unsat--soft-33-100-0.wbo	MOPT f=1 TT=3.732 T1=4.12	Signal TT=0.767	MSAT (TO) f=11852 TT=1800.08 T1=773.19	OPTIMUM f=1 TT=3.591 T1=1.81	OPTIMUM f=1 TT=5.39 T1=3	OPTIMUM f=1 TT=4.214 T1=2.13	OPTIMUM f=1 TT=3.732 T1=4.12
/PARTIAL-BIGINT-LIN/PB10/ oliveras/j90/ normalized-j903_10-unsat--soft-33-100-0.wbo	MOPT f=5 TT=3.522 T1=1.93	Signal TT=5.184	MSAT (TO) f=6181 TT=1800.05 T1=1742.86	Wrong Opt. f=72 TT=3.147 T1=1.5	Wrong Opt. f=72 TT=4.884 T1=2.63	Wrong Opt. f=72 TT=3.504 T1=1.71	OPTIMUM f=5 TT=3.522 T1=1.93
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete)	SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)	SAT4J PB Resolution 2.2.0 2010-05-26 (complete)	SAT4J PB Resolution 2.2.1 (complete)
/PARTIAL-BIGINT-LIN/PB10/ oliveras/j90/ normalized-j9035_1-unsat--soft-33-100-0.wbo	MOPT f=8 TT=4.535 T1=2.88	Signal TT=0.454	MSAT (TO) f=8022 TT=1800.05 T1=34.83	Wrong UNSAT TT=2.321	Wrong UNSAT TT=5.611	Wrong UNSAT TT=3.127	OPTIMUM f=8 TT=4.535 T1=2.88
/PARTIAL-BIGINT-LIN/PB10/ oliveras/j90/ normalized-j9035_1-unsat--soft-66-100-0.wbo	MOPT f=3 TT=4.01 T1=3.87	Signal TT=0.975	OPTIMUM f=3 TT=16.681 T1=16.36	Wrong Opt. f=65 TT=3.484 T1=1.54	Wrong Opt. f=65 TT=5.648 T1=2.83	Wrong Opt. f=65 TT=3.799 T1=1.74	OPTIMUM f=3 TT=4.01 T1=3.87
/PARTIAL-BIGINT-LIN/PB10/ oliveras/j90/ normalized-j9039_3-unsat--soft-33-100-0.wbo	MOPT f=10 TT=4.165 T1=4.3	Signal TT=1.037	MSAT (TO) f=20248 TT=1800.03 T1=1636.92	Wrong Opt. f=70 TT=4.18 T1=2.23	Wrong Opt. f=70 TT=5.908 T1=3.33	Wrong Opt. f=70 TT=4.66 T1=2.49	OPTIMUM f=10 TT=4.165 T1=4.3
/PARTIAL-BIGINT-LIN/PB10/ oliveras/j90/ normalized-j9048_1-unsat--soft-33-100-0.wbo	MOPT f=10 TT=4.106 T1=4.1	Signal TT=6.127	MSAT (TO) f=14297 TT=1800.07 T1=1744.52	Wrong Opt. f=47 TT=3.78 T1=2.01	Wrong Opt. f=47 TT=5.715 T1=3.37	Wrong Opt. f=47 TT=4.567 T1=2.47	OPTIMUM f=10 TT=4.106 T1=4.1
/PARTIAL-BIGINT-LIN/PB10/ oliveras/j90/ normalized-j907_8-unsat--soft-33-100-0.wbo	MOPT f=2 TT=3.162 T1=1.92	Signal TT=0.327	MSAT (TO) f=9254 TT=1800.05 T1=60.22	Wrong UNSAT TT=0.857	Wrong UNSAT TT=1.267	Wrong UNSAT TT=0.826	OPTIMUM f=2 TT=3.162 T1=1.92
/PARTIAL-BIGINT-LIN/wcsp/ academics/ normalized-slangford-3-11_wcsp.wbo	MSAT f=327 TT=1800.08 T1=1706.83	MSAT (TO) f=327 TT=1800.08 T1=1695.81	MSAT (TO) f=327 TT=1800.08 T1=1706.83	? (TO) TT=1800.28	Wrong UNSAT TT=281.588	Wrong UNSAT TT=108.93	MSAT (TO) f=682 TT=1800.13 T1=1736.42
/PARTIAL-BIGINT-LIN/ wcsp/academics/ normalized-warehouse1_wcsp.wbo	MSAT f=674555 TT=1800.25 T1=653.3	Wrong UNSAT TT=0.016	MSAT (TO) f=728752 TT=1800.05 T1=1750.46	Wrong UNSAT TT=0.291	Wrong UNSAT TT=0.631	Wrong UNSAT TT=0.308	MSAT (TO) f=674555 TT=1800.25 T1=653.3
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt3cc_wcsp.wbo	MOPT f=153 TT=0.034 T1=0.02	Wrong UNSAT TT=0.02	OPTIMUM f=153 TT=0.034 T1=0.02	Wrong UNSAT TT=0.317	Wrong UNSAT TT=0.423	Wrong UNSAT TT=0.312	OPTIMUM f=153 TT=0.467 T1=0.24
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt3c_wcsp.wbo	MOPT f=304 TT=0.037 T1=0.03	Wrong UNSAT TT=0.019	OPTIMUM f=304 TT=0.037 T1=0.03	Wrong UNSAT TT=0.311	Wrong UNSAT TT=0.409	Wrong UNSAT TT=0.317	OPTIMUM f=304 TT=0.444 T1=0.24
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt4bc_wcsp.wbo	MOPT f=301 TT=0.45 T1=0.33	Wrong UNSAT TT=0.425	OPTIMUM f=301 TT=0.45 T1=0.33	Wrong UNSAT TT=1.698	Wrong UNSAT TT=2.571	Wrong UNSAT TT=1.586	OPTIMUM f=301 TT=1.851 T1=0.8
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete)	SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)	SAT4J PB Resolution 2.2.0 2010-05-26 (complete)	SAT4J PB Resolution 2.2.1 (complete)
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt4cc_wcsp.wbo	MOPT f=531 TT=0.453 T1=0.33	Wrong UNSAT TT=0.386	OPTIMUM f=531 TT=0.453 T1=0.33	Wrong UNSAT TT=1.674	Wrong UNSAT TT=2.539	Wrong UNSAT TT=1.658	OPTIMUM f=531 TT=1.843 T1=0.8
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt4c_wcsp.wbo	MOPT f=456 TT=0.413 T1=0.31	Wrong UNSAT TT=0.388	OPTIMUM f=456 TT=0.413 T1=0.31	Wrong UNSAT TT=1.701	Wrong UNSAT TT=2.597	Wrong UNSAT TT=1.803	OPTIMUM f=456 TT=2.144 T1=0.84
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt5ac_wcsp.wbo	MOPT f=608 TT=1.82 T1=1.38	Wrong UNSAT TT=3.368	OPTIMUM f=608 TT=1.82 T1=1.38	Wrong UNSAT TT=4.026	Wrong UNSAT TT=4.624	Wrong UNSAT TT=3.572	OPTIMUM f=608 TT=3.584 T1=1.91
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt5bc_wcsp.wbo	MOPT f=338 TT=1.836 T1=1.38	Wrong UNSAT TT=3.377	OPTIMUM f=338 TT=1.836 T1=1.38	Wrong UNSAT TT=2.165	Wrong UNSAT TT=4.94	Wrong UNSAT TT=3.718	OPTIMUM f=338 TT=3.501 T1=1.81
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt5cc_wcsp.wbo	MOPT f=866 TT=1.667 T1=1.25	Wrong UNSAT TT=3.686	OPTIMUM f=866 TT=1.667 T1=1.25	Wrong UNSAT TT=2.169	Wrong UNSAT TT=4.494	Wrong UNSAT TT=3.678	OPTIMUM f=866 TT=3.787 T1=1.86
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt5c_wcsp.wbo	MOPT f=608 TT=1.812 T1=1.36	Wrong UNSAT TT=3.387	OPTIMUM f=608 TT=1.812 T1=1.36	Wrong UNSAT TT=2.168	Wrong UNSAT TT=4.353	Wrong UNSAT TT=3.637	OPTIMUM f=608 TT=3.71 T1=1.87
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt6_wcsp.wbo	MOPT f=460 TT=4.625 T1=3.53	Wrong UNSAT TT=29.543	OPTIMUM f=460 TT=4.625 T1=3.53	Wrong UNSAT TT=3.017	Wrong UNSAT TT=15.906	Wrong UNSAT TT=13.13	OPTIMUM f=460 TT=9.488 T1=6.86
/PARTIAL-BIGINT-LIN/ wcsp/celar/ normalized-celar6-sub0_wcsp.wbo	MSAT f=231 TT=1800.16 T1=1524.93	MSAT (TO) f=279 TT=1800.09 T1=1588.63	MSAT (TO) f=269 TT=1800.08 T1=1796.92	Wrong UNSAT TT=5.991	Wrong UNSAT TT=23.272	Wrong UNSAT TT=18.993	MSAT (TO) f=231 TT=1800.16 T1=1524.93
/PARTIAL-BIGINT-LIN/ wcsp/celar/ normalized-celar6-sub1-24_wcsp.wbo	MSAT f=3328 TT=1800.08 T1=1645.46	MSAT (TO) f=3328 TT=1800.06 T1=1546.09	MSAT (TO) f=3328 TT=1800.08 T1=1645.46	Wrong UNSAT TT=3.962	Wrong UNSAT TT=10.638	Wrong UNSAT TT=7.943	MSAT (TO) f=4308 TT=1800.1 T1=156.69
/PARTIAL-BIGINT-LIN/ wcsp/celar/ normalized-celar6-sub1_wcsp.wbo	MSAT f=4988 TT=1800.11 T1=1604.34	MSAT (TO) f=4941 TT=1800.11 T1=1780.08	MSAT (TO) f=4988 TT=1800.11 T1=1604.34	Wrong UNSAT TT=7.048	Wrong UNSAT TT=81.126	Wrong UNSAT TT=69.755	MSAT (TO) f=5403 TT=1800.14 T1=32.51
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete)	SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)	SAT4J PB Resolution 2.2.0 2010-05-26 (complete)	SAT4J PB Resolution 2.2.1 (complete)
/PARTIAL-BIGINT-LIN/ wcsp/celar/ normalized-celar6-sub2_wcsp.wbo	MSAT f=7793 TT=1800.09 T1=1755.63	MSAT (TO) f=7793 TT=1800.14 T1=1638.85	MSAT (TO) f=7793 TT=1800.09 T1=1755.63	Wrong UNSAT TT=9.283	Wrong UNSAT TT=112.745	Wrong UNSAT TT=93.319	MSAT (TO) f=9192 TT=1800.17 T1=43.74
/PARTIAL-BIGINT-LIN/ wcsp/celar/ normalized-celar6-sub3_wcsp.wbo	MSAT f=4515 TT=1800.16 T1=784.61	MSAT (TO) f=10473 TT=1800.1 T1=1360.17	MSAT (TO) f=10473 TT=1800.12 T1=1358.63	Wrong UNSAT TT=8.107	Wrong UNSAT TT=148.02	Wrong UNSAT TT=123.71	MSAT (TO) f=4515 TT=1800.16 T1=784.61
/PARTIAL-BIGINT-LIN/ wcsp/celar/ normalized-celar6-sub4-20_wcsp.wbo	MSAT f=8924 TT=1800.16 T1=3.99	MSAT (TO) f=10389 TT=1800.09 T1=1622.24	MSAT (TO) f=10389 TT=1800.05 T1=1623.13	Wrong UNSAT TT=3.296	Wrong UNSAT TT=9.723	Wrong UNSAT TT=8.148	MSAT (TO) f=8924 TT=1800.16 T1=3.99
/PARTIAL-BIGINT-LIN/wcsp/ celar/ normalized-celar6-sub4reduc_wcsp.wbo		? (TO) TT=1800.07	? (TO) TT=1800.1	UNSAT TT=6.471	UNSAT TT=29.507	UNSAT TT=23.324	? (TO) TT=1800.09
/PARTIAL-BIGINT-LIN/ wcsp/celar/ normalized-celar6-sub4_wcsp.wbo	MSAT f=11557 TT=1800.16 T1=66.8	MSAT (TO) f=11683 TT=1800.12 T1=1509.87	MSAT (TO) f=11645 TT=1800.12 T1=1796.63	Wrong UNSAT TT=8.495	Wrong UNSAT TT=181.471	Wrong UNSAT TT=163.308	MSAT (TO) f=11557 TT=1800.16 T1=66.8
/PARTIAL-BIGINT-LIN/ wcsp/celar/ normalized-celar7-sub0_wcsp.wbo	MSAT f=50916 TT=1800.13 T1=1110.06	MSAT (TO) f=71115 TT=1800.06 T1=874.83	MSAT (TO) f=61722 TT=1800.07 T1=1763.22	Wrong UNSAT TT=5.987	Wrong UNSAT TT=23.404	Wrong UNSAT TT=19.673	MSAT (TO) f=50916 TT=1800.13 T1=1110.06
/PARTIAL-BIGINT-LIN/ wcsp/celar/ normalized-celar7-sub1-20_wcsp.wbo	MSAT f=152646 TT=1800.06 T1=1608.32	MSAT (TO) f=152646 TT=1800.07 T1=1607.79	MSAT (TO) f=152646 TT=1800.06 T1=1608.32	Wrong UNSAT TT=3.442	Wrong UNSAT TT=7.147	Wrong UNSAT TT=5.159	MSAT (TO) f=211735 TT=1800.26 T1=1380.23
/PARTIAL-BIGINT-LIN/ wcsp/celar/ normalized-celar7-sub1_wcsp.wbo	MSAT f=233546 TT=1800.08 T1=1289.61	MSAT (TO) f=223142 TT=1800.09 T1=1651.18	MSAT (TO) f=233546 TT=1800.08 T1=1289.61	Wrong UNSAT TT=6.973	Wrong UNSAT TT=85.683	Wrong UNSAT TT=75.53	MSAT (TO) f=262939 TT=1800.18 T1=1726.44
/PARTIAL-BIGINT-LIN/ wcsp/celar/ normalized-celar7-sub2_wcsp.wbo	MSAT f=342645 TT=1800.12 T1=1222.2	MSAT (TO) f=342645 TT=1800.14 T1=1371.61	MSAT (TO) f=342645 TT=1800.12 T1=1222.2	Wrong UNSAT TT=9.483	Wrong UNSAT TT=120.825	Wrong UNSAT TT=100.051	MSAT (TO) f=383647 TT=1800.15 T1=46.52
/PARTIAL-BIGINT-LIN/ wcsp/celar/ normalized-celar7-sub3_wcsp.wbo	MSAT f=424353 TT=1800.2 T1=745.82	MSAT (TO) f=1473853 TT=1800.18 T1=1631.21	MSAT (TO) f=1473853 TT=1800.12 T1=1532.61	Wrong UNSAT TT=8.142	Wrong UNSAT TT=154.2	Wrong UNSAT TT=131.343	MSAT (TO) f=424353 TT=1800.2 T1=745.82
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete)	SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)	SAT4J PB Resolution 2.2.0 2010-05-26 (complete)	SAT4J PB Resolution 2.2.1 (complete)
/PARTIAL-BIGINT-LIN/ wcsp/celar/ normalized-celar7-sub4-22_wcsp.wbo	MSAT f=332745 TT=1800.06 T1=1300.83	MSAT (TO) f=332745 TT=1800.07 T1=1208.7	MSAT (TO) f=332745 TT=1800.06 T1=1300.83	Wrong UNSAT TT=4.246	Wrong UNSAT TT=11.975	Wrong UNSAT TT=9.137	MSAT (TO) f=382333 TT=1800.15 T1=420.32
/PARTIAL-BIGINT-LIN/ wcsp/celar/ normalized-celar7-sub4_wcsp.wbo	MSAT f=503448 TT=1800.23 T1=842.54	MSAT (TO) f=1543554 TT=1800.11 T1=1493.23	MSAT (TO) f=1543554 TT=1800.11 T1=1478.49	Wrong UNSAT TT=9.704	Wrong UNSAT TT=191.276	Wrong UNSAT TT=156.229	MSAT (TO) f=503448 TT=1800.23 T1=842.54
/PARTIAL-BIGINT-LIN/ wcsp/depot/ normalized-depot01ac_wcsp.wbo	MOPT f=1549 TT=0.037 T1=0.03	Wrong UNSAT TT=0.018	OPTIMUM f=1549 TT=0.037 T1=0.03	Wrong UNSAT TT=0.283	Wrong UNSAT TT=0.35	Wrong UNSAT TT=0.288	OPTIMUM f=1549 TT=0.437 T1=0.23
/PARTIAL-BIGINT-LIN/ wcsp/depot/ normalized-depot01bc_wcsp.wbo	MOPT f=1794 TT=0.033 T1=0.02	Wrong UNSAT TT=0.018	OPTIMUM f=1794 TT=0.033 T1=0.02	Wrong UNSAT TT=0.286	Wrong UNSAT TT=0.373	Wrong UNSAT TT=0.289	OPTIMUM f=1794 TT=0.55 T1=0.26
/PARTIAL-BIGINT-LIN/ wcsp/depot/ normalized-depot01cc_wcsp.wbo	MOPT f=1982 TT=0.034 T1=0.02	Wrong UNSAT TT=0.018	OPTIMUM f=1982 TT=0.034 T1=0.02	Wrong UNSAT TT=0.288	Wrong UNSAT TT=0.359	Wrong UNSAT TT=0.284	OPTIMUM f=1982 TT=0.511 T1=0.26
/PARTIAL-BIGINT-LIN/wcsp/depot/ normalized-depot01c_wcsp.wbo	MOPT f=1549 TT=0.034 T1=0.02	Wrong UNSAT TT=0.018	OPTIMUM f=1549 TT=0.034 T1=0.02	Wrong UNSAT TT=0.296	Wrong UNSAT TT=0.37	Wrong UNSAT TT=0.286	OPTIMUM f=1549 TT=0.436 T1=0.22
/PARTIAL-BIGINT-LIN/ wcsp/driver/ normalized-driverlog01bc_wcsp.wbo	MOPT f=2413 TT=0.043 T1=0.03	Wrong UNSAT TT=0.018	OPTIMUM f=2413 TT=0.043 T1=0.03	Wrong UNSAT TT=0.284	Wrong UNSAT TT=0.359	Wrong UNSAT TT=0.299	OPTIMUM f=2413 TT=0.522 T1=0.26
/PARTIAL-BIGINT-LIN/ wcsp/driver/ normalized-driverlog01cc_wcsp.wbo	MOPT f=1045 TT=0.043 T1=0.03	Wrong UNSAT TT=0.018	OPTIMUM f=1045 TT=0.043 T1=0.03	Wrong UNSAT TT=0.292	Wrong UNSAT TT=0.36	Wrong UNSAT TT=0.286	OPTIMUM f=1045 TT=0.468 T1=0.23
/PARTIAL-BIGINT-LIN/ wcsp/driver/ normalized-driverlog01c_wcsp.wbo	MOPT f=1113 TT=0.047 T1=0.04	Wrong UNSAT TT=0.017	OPTIMUM f=1113 TT=0.047 T1=0.04	Wrong UNSAT TT=0.29	Wrong UNSAT TT=0.352	Wrong UNSAT TT=0.29	OPTIMUM f=1113 TT=0.453 T1=0.22
/PARTIAL-BIGINT-LIN/ wcsp/driver/ normalized-driverlog02ac_wcsp.wbo	MOPT f=1934 TT=14.83 T1=1.44	Wrong UNSAT TT=2.24	OPTIMUM f=1934 TT=14.83 T1=1.44	Wrong UNSAT TT=1.674	Wrong UNSAT TT=2.937	Wrong UNSAT TT=2.18	OPTIMUM f=1934 TT=54.153 T1=2.13
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete)	SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)	SAT4J PB Resolution 2.2.0 2010-05-26 (complete)	SAT4J PB Resolution 2.2.1 (complete)
/PARTIAL-BIGINT-LIN/ wcsp/driver/ normalized-driverlog02bc_wcsp.wbo	MOPT f=2009 TT=7.281 T1=0.86	Wrong UNSAT TT=2.235	OPTIMUM f=2009 TT=7.281 T1=0.86	Wrong UNSAT TT=1.626	Wrong UNSAT TT=2.955	Wrong UNSAT TT=2.191	OPTIMUM f=2009 TT=25.648 T1=3.65
/PARTIAL-BIGINT-LIN/ wcsp/driver/ normalized-driverlog02cc_wcsp.wbo	MOPT f=2407 TT=2.511 T1=2.1	Wrong UNSAT TT=2.471	OPTIMUM f=2407 TT=2.511 T1=2.1	Wrong UNSAT TT=1.64	Wrong UNSAT TT=2.858	Wrong UNSAT TT=2.15	OPTIMUM f=2407 TT=5.465 T1=2.81
/PARTIAL-BIGINT-LIN/ wcsp/driver/ normalized-driverlog02c_wcsp.wbo	MOPT f=1934 TT=13.835 T1=1.32	Wrong UNSAT TT=2.239	OPTIMUM f=1934 TT=13.835 T1=1.32	Wrong UNSAT TT=1.643	Wrong UNSAT TT=2.793	Wrong UNSAT TT=2.25	OPTIMUM f=1934 TT=53.428 T1=2.05
/PARTIAL-BIGINT-LIN/ wcsp/driver/ normalized-driverlog04ac_wcsp.wbo	MOPT f=1718 TT=4.029 T1=0.85	Wrong UNSAT TT=1.988	OPTIMUM f=1718 TT=4.029 T1=0.85	Wrong UNSAT TT=1.604	Wrong UNSAT TT=2.689	Wrong UNSAT TT=2.123	OPTIMUM f=1718 TT=9.546 T1=1.86
/PARTIAL-BIGINT-LIN/ wcsp/driver/ normalized-driverlog04bc_wcsp.wbo	MOPT f=1885 TT=2.527 T1=0.87	Wrong UNSAT TT=2.019	OPTIMUM f=1885 TT=2.527 T1=0.87	Wrong UNSAT TT=1.618	Wrong UNSAT TT=2.757	Wrong UNSAT TT=2.057	OPTIMUM f=1885 TT=7.141 T1=1.22
/PARTIAL-BIGINT-LIN/ wcsp/driver/ normalized-driverlog04cc_wcsp.wbo	MOPT f=2842 TT=2.526 T1=0.89	Wrong UNSAT TT=2.014	OPTIMUM f=2842 TT=2.526 T1=0.89	Wrong UNSAT TT=1.614	Wrong UNSAT TT=2.766	Wrong UNSAT TT=2.103	OPTIMUM f=2842 TT=8.104 T1=4.09
/PARTIAL-BIGINT-LIN/ wcsp/driver/ normalized-driverlog04c_wcsp.wbo	MOPT f=1718 TT=3.635 T1=0.78	Wrong UNSAT TT=1.992	OPTIMUM f=1718 TT=3.635 T1=0.78	Wrong UNSAT TT=1.628	Wrong UNSAT TT=2.79	Wrong UNSAT TT=2.098	OPTIMUM f=1718 TT=9.04 T1=1.79
/PARTIAL-BIGINT-LIN/ wcsp/driver/ normalized-driverlog05ac_wcsp.wbo	MOPT f=1278 TT=4.449 T1=3.29	Wrong UNSAT TT=5.125	OPTIMUM f=1278 TT=4.449 T1=3.29	Wrong UNSAT TT=2.157	Wrong UNSAT TT=4.311	Wrong UNSAT TT=3.499	OPTIMUM f=1278 TT=12.833 T1=6.66
/PARTIAL-BIGINT-LIN/ wcsp/driver/ normalized-driverlog05bc_wcsp.wbo	MOPT f=1308 TT=4.275 T1=1.89	Wrong UNSAT TT=5.673	OPTIMUM f=1308 TT=4.275 T1=3.68	Wrong UNSAT TT=2.166	Wrong UNSAT TT=4.532	Wrong UNSAT TT=3.574	OPTIMUM f=1308 TT=7.186 T1=1.89
/PARTIAL-BIGINT-LIN/ wcsp/driver/ normalized-driverlog05cc_wcsp.wbo	MOPT f=2641 TT=4.747 T1=4.17	Wrong UNSAT TT=5.153	OPTIMUM f=2641 TT=4.747 T1=4.17	Wrong UNSAT TT=2.163	Wrong UNSAT TT=4.437	Wrong UNSAT TT=3.357	OPTIMUM f=2641 TT=13.364 T1=10.73
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete)	SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)	SAT4J PB Resolution 2.2.0 2010-05-26 (complete)	SAT4J PB Resolution 2.2.1 (complete)
/PARTIAL-BIGINT-LIN/ wcsp/driver/ normalized-driverlog05c_wcsp.wbo	MOPT f=1278 TT=4.343 T1=3.21	Wrong UNSAT TT=5.666	OPTIMUM f=1278 TT=4.343 T1=3.21	Wrong UNSAT TT=2.114	Wrong UNSAT TT=4.298	Wrong UNSAT TT=3.493	OPTIMUM f=1278 TT=12.947 T1=6.62
/PARTIAL-BIGINT-LIN/ wcsp/driver/ normalized-driverlog08ac_wcsp.wbo	MOPT f=2120 TT=4.315 T1=2.18	Wrong UNSAT TT=14.097	OPTIMUM f=2120 TT=4.315 T1=2.18	Wrong UNSAT TT=2.538	Wrong UNSAT TT=6.615	Wrong UNSAT TT=5.713	OPTIMUM f=2120 TT=20.467 T1=12.77
/PARTIAL-BIGINT-LIN/ wcsp/driver/ normalized-driverlog08bc_wcsp.wbo	MOPT f=2257 TT=4.076 T1=3.01	Wrong UNSAT TT=12.74	OPTIMUM f=2257 TT=4.076 T1=3.01	Wrong UNSAT TT=2.382	Wrong UNSAT TT=6.578	Wrong UNSAT TT=5.32	OPTIMUM f=2257 TT=13.583 T1=9.22
/PARTIAL-BIGINT-LIN/ wcsp/driver/ normalized-driverlog08cc_wcsp.wbo	MOPT f=4027 TT=4.4 T1=3.56	Wrong UNSAT TT=12.807	OPTIMUM f=4027 TT=4.4 T1=3.56	Wrong UNSAT TT=2.35	Wrong UNSAT TT=6.964	Wrong UNSAT TT=5.428	OPTIMUM f=4027 TT=8.776 T1=3.56
/PARTIAL-BIGINT-LIN/ wcsp/driver/ normalized-driverlog08c_wcsp.wbo	MOPT f=2120 TT=4.3 T1=2.18	Wrong UNSAT TT=12.765	OPTIMUM f=2120 TT=4.3 T1=2.18	Wrong UNSAT TT=2.525	Wrong UNSAT TT=6.84	Wrong UNSAT TT=5.767	OPTIMUM f=2120 TT=18.821 T1=11.87
/PARTIAL-BIGINT-LIN/ wcsp/driver/ normalized-driverlog09_wcsp.wbo	MOPT f=744 TT=7.83 T1=6.7	Wrong UNSAT TT=73.912	OPTIMUM f=744 TT=7.83 T1=6.7	Wrong UNSAT TT=3.467	Wrong UNSAT TT=25.203	Wrong UNSAT TT=22.18	OPTIMUM f=744 TT=29.406 T1=14.49
/PARTIAL-BIGINT-LIN/ wcsp/driver/ normalized-driverlogs03_wcsp.wbo	MOPT f=1177 TT=2.022 T1=0.91	Wrong UNSAT TT=0.977	OPTIMUM f=1177 TT=2.022 T1=0.91	Wrong UNSAT TT=1.605	Wrong UNSAT TT=2.301	Wrong UNSAT TT=1.709	OPTIMUM f=1177 TT=7.397 T1=2.25
/PARTIAL-BIGINT-LIN/ wcsp/driver/ normalized-driverlogs06_wcsp.wbo	MOPT f=1011 TT=2.619 T1=0.68	Wrong UNSAT TT=1.328	OPTIMUM f=1011 TT=2.619 T1=0.68	Wrong UNSAT TT=1.612	Wrong UNSAT TT=2.428	Wrong UNSAT TT=1.851	OPTIMUM f=1011 TT=6.722 T1=0.98
/PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph05_wcsp.wbo	MSAT f=33778 TT=1800.18 T1=295	MSAT (TO) f=67498 TT=1800.12 T1=1770.39	MSAT (TO) f=67498 TT=1800.21 T1=1653	Wrong UNSAT TT=11.675	Wrong UNSAT TT=460.554	Wrong UNSAT TT=385	MSAT (TO) f=33778 TT=1800.18 T1=295
/PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph06_wcsp.wbo	MSAT f=97216 TT=1800.37 T1=1780.42	? (MO) TT=22.336	? (MO) TT=25.052	Wrong UNSAT TT=28.741	? (TO) TT=1800.21	? (TO) TT=1800.27	MSAT (TO) f=97216 TT=1800.37 T1=1780.42
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete)	SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)	SAT4J PB Resolution 2.2.0 2010-05-26 (complete)	SAT4J PB Resolution 2.2.1 (complete)
/PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph07_wcsp.wbo	MSAT f=10319 TT=1800.26 T1=424.15	Wrong UNSAT TT=1249.83	MSAT (TO) f=165496 TT=1800.14 T1=1020.83	Wrong UNSAT TT=8.386	Wrong UNSAT TT=397.083	Wrong UNSAT TT=370.225	MSAT (TO) f=10319 TT=1800.26 T1=424.15
/PARTIAL-BIGINT-LIN/wcsp/ graphs/ normalized-graph11reducmore_wcsp.wbo		? (TO) TT=1800.09	? (TO) TT=1800.13	UNSAT TT=4.882	UNSAT TT=110.708	UNSAT TT=94.512	? (TO) TT=1800.15
/PARTIAL-BIGINT-LIN/ wcsp/graphs/ normalized-graph11reduc_wcsp.wbo		? (TO) TT=1800.07	? (TO) TT=1800.08	UNSAT TT=4.958	UNSAT TT=119.074	UNSAT TT=95.354	? (TO) TT=1800.13
/PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph11_wcsp.wbo		? (MO) TT=26.334	? (MO) TT=26.732	UNSAT TT=57.749	? (TO) TT=1800.17	? (TO) TT=1800.28	? (TO) TT=1800.11
/PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph12_wcsp.wbo	MSAT f=60112 TT=1800.31 T1=1843.72	? (TO) TT=1800.05	? (MO) TT=23.144	Wrong UNSAT TT=25.196	? (TO) TT=1800.36	? (TO) TT=1800.11	MSAT (TO) f=60112 TT=1800.31 T1=1843.72
/PARTIAL-BIGINT-LIN/wcsp/ graphs/ normalized-graph13reducmore_wcsp.wbo		? (TO) TT=1800.05	Signal TT=28.586	UNSAT TT=19.824	? (TO) TT=1800.2	UNSAT TT=1670.26	? (TO) TT=1800.14
/PARTIAL-BIGINT-LIN/ wcsp/graphs/ normalized-graph13reduc_wcsp.wbo		? (TO) TT=1800.05	Signal TT=26.436	UNSAT TT=19.328	? (TO) TT=1800.39	UNSAT TT=1627.3	? (TO) TT=1800.14
/PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph13_wcsp.wbo		? (MO) TT=33.643	? (MO) TT=31.133	UNSAT TT=84.387	? (TO) TT=1800.27	? (TO) TT=1800.13	? (TO) TT=1800.16
/PARTIAL-BIGINT-LIN/wcsp/ logistics/ normalized-logistics01ac_wcsp.wbo	MOPT f=8265 TT=0.206 T1=0.1	Wrong UNSAT TT=0.079	OPTIMUM f=8265 TT=0.206 T1=0.1	Wrong UNSAT TT=0.864	Wrong UNSAT TT=1.499	Wrong UNSAT TT=0.857	OPTIMUM f=8265 TT=1.871 T1=0.54
/PARTIAL-BIGINT-LIN/wcsp/ logistics/ normalized-logistics01bc_wcsp.wbo	MOPT f=7560 TT=0.221 T1=0.11	Wrong UNSAT TT=0.073	OPTIMUM f=7560 TT=0.221 T1=0.11	Wrong UNSAT TT=0.873	Wrong UNSAT TT=1.454	Wrong UNSAT TT=0.857	OPTIMUM f=7560 TT=1.88 T1=0.54
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete)	SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)	SAT4J PB Resolution 2.2.0 2010-05-26 (complete)	SAT4J PB Resolution 2.2.1 (complete)
/PARTIAL-BIGINT-LIN/wcsp/ logistics/ normalized-logistics01cc_wcsp.wbo	MOPT f=4198 TT=0.253 T1=0.11	Wrong UNSAT TT=0.072	OPTIMUM f=4198 TT=0.253 T1=0.11	Wrong UNSAT TT=0.877	Wrong UNSAT TT=1.497	Wrong UNSAT TT=0.917	OPTIMUM f=4198 TT=2.095 T1=0.56
/PARTIAL-BIGINT-LIN/wcsp/ logistics/ normalized-logistics01c_wcsp.wbo	MOPT f=8265 TT=0.211 T1=0.1	Wrong UNSAT TT=0.077	OPTIMUM f=8265 TT=0.211 T1=0.1	Wrong UNSAT TT=0.867	Wrong UNSAT TT=1.487	Wrong UNSAT TT=0.952	OPTIMUM f=8265 TT=1.85 T1=0.54
/PARTIAL-BIGINT-LIN/ wcsp/mprime/ normalized-mprime01ac_wcsp.wbo	MOPT f=174 TT=0.864 T1=0.64	Wrong UNSAT TT=1.314	OPTIMUM f=174 TT=0.864 T1=0.64	Wrong UNSAT TT=1.619	Wrong UNSAT TT=2.578	Wrong UNSAT TT=1.891	OPTIMUM f=174 TT=3.405 T1=1.89
/PARTIAL-BIGINT-LIN/ wcsp/mprime/ normalized-mprime01bc_wcsp.wbo	MOPT f=244 TT=0.909 T1=0.68	Wrong UNSAT TT=1.192	OPTIMUM f=244 TT=0.909 T1=0.68	Wrong UNSAT TT=1.646	Wrong UNSAT TT=2.56	Wrong UNSAT TT=1.859	OPTIMUM f=244 TT=3.335 T1=1.9
/PARTIAL-BIGINT-LIN/ wcsp/mprime/ normalized-mprime01cc_wcsp.wbo	MOPT f=603 TT=0.853 T1=0.66	Wrong UNSAT TT=1.186	OPTIMUM f=603 TT=0.853 T1=0.66	Wrong UNSAT TT=1.615	Wrong UNSAT TT=2.631	Wrong UNSAT TT=1.859	OPTIMUM f=603 TT=2.977 T1=1.45
/PARTIAL-BIGINT-LIN/ wcsp/mprime/ normalized-mprime01c_wcsp.wbo	MOPT f=174 TT=0.856 T1=0.64	Wrong UNSAT TT=1.186	OPTIMUM f=174 TT=0.856 T1=0.64	Wrong UNSAT TT=1.61	Wrong UNSAT TT=2.723	Wrong UNSAT TT=1.875	OPTIMUM f=174 TT=3.39 T1=1.83
/PARTIAL-BIGINT-LIN/ wcsp/mprime/ normalized-mprime03ac_wcsp.wbo	MOPT f=278 TT=0.032 T1=0.02	Wrong UNSAT TT=0.014	OPTIMUM f=278 TT=0.032 T1=0.02	Wrong UNSAT TT=0.283	Wrong UNSAT TT=0.36	Wrong UNSAT TT=0.284	OPTIMUM f=278 TT=0.369 T1=0.22
/PARTIAL-BIGINT-LIN/ wcsp/mprime/ normalized-mprime03bc_wcsp.wbo	MOPT f=353 TT=0.032 T1=0.02	Wrong UNSAT TT=0.013	OPTIMUM f=353 TT=0.032 T1=0.02	Wrong UNSAT TT=0.284	Wrong UNSAT TT=0.36	Wrong UNSAT TT=0.279	OPTIMUM f=353 TT=0.36 T1=0.21
/PARTIAL-BIGINT-LIN/ wcsp/mprime/ normalized-mprime03cc_wcsp.wbo	MOPT f=326 TT=0.033 T1=0.02	Wrong UNSAT TT=0.014	OPTIMUM f=326 TT=0.033 T1=0.02	Wrong UNSAT TT=0.285	Wrong UNSAT TT=0.371	Wrong UNSAT TT=0.282	OPTIMUM f=326 TT=0.38 T1=0.22
/PARTIAL-BIGINT-LIN/ wcsp/mprime/ normalized-mprime03c_wcsp.wbo	MOPT f=278 TT=0.032 T1=0.02	Wrong UNSAT TT=0.013	OPTIMUM f=278 TT=0.032 T1=0.02	Wrong UNSAT TT=0.281	Wrong UNSAT TT=0.348	Wrong UNSAT TT=0.282	OPTIMUM f=278 TT=0.363 T1=0.22
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete)	SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)	SAT4J PB Resolution 2.2.0 2010-05-26 (complete)	SAT4J PB Resolution 2.2.1 (complete)
/PARTIAL-BIGINT-LIN/ wcsp/mprime/ normalized-mprime04ac_wcsp.wbo	MOPT f=562 TT=1.587 T1=1.21	Wrong UNSAT TT=3.712	OPTIMUM f=562 TT=1.587 T1=1.21	Wrong UNSAT TT=2.095	Wrong UNSAT TT=4.128	Wrong UNSAT TT=3.232	OPTIMUM f=562 TT=7.689 T1=5.77
/PARTIAL-BIGINT-LIN/ wcsp/mprime/ normalized-mprime04bc_wcsp.wbo	MOPT f=467 TT=1.614 T1=1.25	Wrong UNSAT TT=3.398	OPTIMUM f=467 TT=1.614 T1=1.25	Wrong UNSAT TT=2.104	Wrong UNSAT TT=3.655	Wrong UNSAT TT=3.428	OPTIMUM f=467 TT=6.997 T1=5.14
/PARTIAL-BIGINT-LIN/ wcsp/mprime/ normalized-mprime04cc_wcsp.wbo	MOPT f=896 TT=1.768 T1=1.36	Wrong UNSAT TT=3.66	OPTIMUM f=896 TT=1.768 T1=1.36	Wrong UNSAT TT=2.077	Wrong UNSAT TT=3.931	Wrong UNSAT TT=3.241	OPTIMUM f=896 TT=3.398 T1=1.68
/PARTIAL-BIGINT-LIN/ wcsp/mprime/ normalized-mprime04c_wcsp.wbo	MOPT f=562 TT=1.586 T1=1.21	Wrong UNSAT TT=3.376	OPTIMUM f=562 TT=1.586 T1=1.21	Wrong UNSAT TT=2.083	Wrong UNSAT TT=3.941	Wrong UNSAT TT=3.231	OPTIMUM f=562 TT=7.646 T1=5.77
/PARTIAL-BIGINT-LIN/wcsp/ pedigree/normalized-eye_wcsp.wbo	MOPT f=1 TT=115.212 T1=111.64	Wrong UNSAT TT=157.967	OPTIMUM f=1 TT=1419.36 T1=1417.07	Wrong UNSAT TT=5.709	Wrong UNSAT TT=9.102	Wrong UNSAT TT=5.553	OPTIMUM f=1 TT=115.212 T1=111.64
/PARTIAL-BIGINT-LIN/ wcsp/pedigree/ normalized-pedck1000_wcsp.wbo	MSAT f=371 TT=1800.08 T1=1431.2	Wrong UNSAT TT=61.202	MSAT (TO) f=371 TT=1800.08 T1=1431.2	Wrong UNSAT TT=3.88	Wrong UNSAT TT=5.531	Wrong UNSAT TT=4.015	MSAT (TO) f=564 TT=1800.2 T1=860.62
/PARTIAL-BIGINT-LIN/ wcsp/pedigree/ normalized-pedck350l2_wcsp.wbo	MOPT f=1 TT=20.787 T1=18.02	Wrong UNSAT TT=127.455	MSAT (TO) f=191 TT=1800.07 T1=639.23	Wrong UNSAT TT=4.974	Wrong UNSAT TT=7.632	Wrong UNSAT TT=5.182	OPTIMUM f=1 TT=20.787 T1=18.02
/PARTIAL-BIGINT-LIN/ wcsp/pedigree/ normalized-pedck350l3_wcsp.wbo	MOPT f=0 TT=20.519 T1=18.11	OPTIMUM f=0 TT=142.403 T1=142.36	MSAT (TO) f=177 TT=1800.09 T1=1234.52	OPTIMUM f=0 TT=23.464 T1=19.95	OPTIMUM f=0 TT=25.087 T1=19.94	OPTIMUM f=0 TT=22.409 T1=19.52	OPTIMUM f=0 TT=20.519 T1=18.11
/PARTIAL-BIGINT-LIN/ wcsp/pedigree/ normalized-pedck350_wcsp.wbo	MOPT f=2 TT=39.545 T1=34.48	Wrong UNSAT TT=137.37	MSAT (TO) f=174 TT=1800.07 T1=1205.48	Wrong UNSAT TT=5.016	Wrong UNSAT TT=7.653	Wrong UNSAT TT=5.154	OPTIMUM f=2 TT=39.545 T1=34.48
/PARTIAL-BIGINT-LIN/ wcsp/pedigree/ normalized-pedck60-L12_wcsp.wbo	MSAT f=19 TT=1800.16 T1=1263.89	Wrong UNSAT TT=5.412	MSAT (TO) f=23 TT=1800.06 T1=1696.72	Wrong UNSAT TT=2.16	Wrong UNSAT TT=3.156	Wrong UNSAT TT=2.246	MSAT (TO) f=19 TT=1800.16 T1=1263.89
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete)	SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)	SAT4J PB Resolution 2.2.0 2010-05-26 (complete)	SAT4J PB Resolution 2.2.1 (complete)
/PARTIAL-BIGINT-LIN/ wcsp/pedigree/ normalized-pedck60-L1_wcsp.wbo	MOPT f=2 TT=9.812 T1=7.92	Wrong UNSAT TT=5.406	MSAT (TO) f=21 TT=1800.03 T1=1789.42	Wrong UNSAT TT=2.117	Wrong UNSAT TT=3.04	Wrong UNSAT TT=2.131	OPTIMUM f=2 TT=9.812 T1=7.92
/PARTIAL-BIGINT-LIN/ wcsp/pedigree/ normalized-pedck60-L2_wcsp.wbo	MOPT f=2 TT=9.905 T1=7.03	Wrong UNSAT TT=5.898	OPTIMUM f=2 TT=731.732 T1=729.77	Wrong UNSAT TT=2.148	Wrong UNSAT TT=2.986	Wrong UNSAT TT=2.164	OPTIMUM f=2 TT=9.905 T1=7.03
/PARTIAL-BIGINT-LIN/ wcsp/pedigree/ normalized-saudiarabia_wcsp.wbo	MOPT f=0 TT=7.005 T1=5.28	OPTIMUM f=0 TT=9.992 T1=9.53	OPTIMUM f=0 TT=14.762 T1=13.91	OPTIMUM f=0 TT=7.996 T1=5.59	OPTIMUM f=0 TT=9.265 T1=6.07	OPTIMUM f=0 TT=7.675 T1=5.33	OPTIMUM f=0 TT=7.005 T1=5.28
/PARTIAL-BIGINT-LIN/ wcsp/pedigree/ normalized-sheep4nr_wcsp.wbo		? (TO) TT=1800.06	? (MO) TT=59.973	? (exit code) TT=165.281	? TT=322.503	? TT=599.759	? TT=230.598
/PARTIAL-BIGINT-LIN/ wcsp/pedigree/ normalized-sheep4r-4-0_wcsp.wbo		? (MO) TT=119.636	? (MO) TT=23.131	? (TO) TT=1800.23	? (TO) TT=144.641	OPTIMUM f=0 TT=1239.3 T1=975.49	? (TO) TT=1800.18
/PARTIAL-BIGINT-LIN/ wcsp/pedigree/ normalized-sheep4r-4-1_wcsp.wbo		? (MO) TT=69.761	? (MO) TT=28.575	? (TO) TT=1800.23	? TT=202.769	OPTIMUM f=0 TT=1662.92 T1=1240.74	? (TO) TT=1800.14
/PARTIAL-BIGINT-LIN/ wcsp/pedigree/ normalized-sheep4r-4-2_wcsp.wbo		UNSAT TT=1759.36	Signal TT=30.921	UNSAT TT=30.086	? (TO) TT=1802.13	UNSAT TT=58.494	? (TO) TT=1800.13
/PARTIAL-BIGINT-LIN/ wcsp/pedigree/ normalized-sheep4r-4-3_wcsp.wbo		? (TO) TT=1800.07	Signal TT=31.924	UNSAT TT=47.895	? TT=401.993	UNSAT TT=58.984	? (TO) TT=1800.2
/PARTIAL-BIGINT-LIN/ wcsp/pedigree/ normalized-sheep4r_wcsp.wbo		? (TO) TT=1800.08	? (MO) TT=55.432	? TT=150.51	? TT=346.173	? TT=1338.45	? TT=219.038
/PARTIAL-BIGINT-LIN/ wcsp/pedigree/ normalized-wijsmanguo_wcsp.wbo	MSAT f=25 TT=1800.18 T1=1777.43	? (TO) TT=1800.08	? (MO) TT=25.715	Wrong UNSAT TT=41.122	? (exit code) TT=159.083	Wrong UNSAT TT=38.827	MSAT (TO) f=25 TT=1800.18 T1=1777.43
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete)	SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)	SAT4J PB Resolution 2.2.0 2010-05-26 (complete)	SAT4J PB Resolution 2.2.1 (complete)
/PARTIAL-BIGINT-LIN/ wcsp/rover/ normalized-rovers02ac_wcsp.wbo	MOPT f=1579 TT=0.275 T1=0.21	Wrong UNSAT TT=0.186	OPTIMUM f=1579 TT=0.275 T1=0.21	Wrong UNSAT TT=0.926	Wrong UNSAT TT=2.166	Wrong UNSAT TT=1.029	OPTIMUM f=1579 TT=1.732 T1=0.62
/PARTIAL-BIGINT-LIN/ wcsp/rover/ normalized-rovers02bc_wcsp.wbo	MOPT f=1552 TT=0.279 T1=0.21	Wrong UNSAT TT=0.17	OPTIMUM f=1552 TT=0.279 T1=0.21	Wrong UNSAT TT=0.934	Wrong UNSAT TT=2.151	Wrong UNSAT TT=1.021	OPTIMUM f=1552 TT=2.026 T1=0.7
/PARTIAL-BIGINT-LIN/ wcsp/rover/ normalized-rovers02cc_wcsp.wbo	MOPT f=1587 TT=0.283 T1=0.21	Wrong UNSAT TT=0.17	OPTIMUM f=1587 TT=0.283 T1=0.21	Wrong UNSAT TT=0.936	Wrong UNSAT TT=2.207	Wrong UNSAT TT=1.077	OPTIMUM f=1587 TT=1.708 T1=0.71
/PARTIAL-BIGINT-LIN/ wcsp/rover/ normalized-rovers02c_wcsp.wbo	MOPT f=1579 TT=0.259 T1=0.19	Wrong UNSAT TT=0.185	OPTIMUM f=1579 TT=0.259 T1=0.19	Wrong UNSAT TT=0.968	Wrong UNSAT TT=2.177	Wrong UNSAT TT=1.031	OPTIMUM f=1579 TT=1.626 T1=0.61
/PARTIAL-BIGINT-LIN/wcsp/ satellite/ normalized-satellite01ac_wcsp.wbo	MOPT f=1494 TT=0.571 T1=0.43	Wrong UNSAT TT=0.751	OPTIMUM f=1494 TT=0.571 T1=0.43	Wrong UNSAT TT=1.633	Wrong UNSAT TT=2.065	Wrong UNSAT TT=1.613	OPTIMUM f=1494 TT=2.873 T1=1.01
/PARTIAL-BIGINT-LIN/wcsp/ satellite/ normalized-satellite01bc_wcsp.wbo	MOPT f=1773 TT=0.568 T1=0.41	Wrong UNSAT TT=0.695	OPTIMUM f=1773 TT=0.568 T1=0.41	Wrong UNSAT TT=1.659	Wrong UNSAT TT=2.051	Wrong UNSAT TT=1.485	OPTIMUM f=1773 TT=2.912 T1=1.08
/PARTIAL-BIGINT-LIN/wcsp/ satellite/ normalized-satellite01cc_wcsp.wbo	MOPT f=1494 TT=0.56 T1=0.42	Wrong UNSAT TT=0.76	OPTIMUM f=1494 TT=0.56 T1=0.42	Wrong UNSAT TT=1.689	Wrong UNSAT TT=2.219	Wrong UNSAT TT=1.575	OPTIMUM f=1494 TT=2.915 T1=1.02
/PARTIAL-BIGINT-LIN/wcsp/ satellite/ normalized-satellite01c_wcsp.wbo	MOPT f=1494 TT=0.571 T1=0.43	Wrong UNSAT TT=0.763	OPTIMUM f=1494 TT=0.571 T1=0.43	Wrong UNSAT TT=1.654	Wrong UNSAT TT=2.104	Wrong UNSAT TT=1.499	OPTIMUM f=1494 TT=2.974 T1=1.03
/PARTIAL-BIGINT-LIN/wcsp/ satellite/ normalized-satellite02ac_wcsp.wbo	MOPT f=1559 TT=3.218 T1=2.48	Wrong UNSAT TT=7.667	OPTIMUM f=1559 TT=3.218 T1=2.48	Wrong UNSAT TT=2.455	Wrong UNSAT TT=5.029	Wrong UNSAT TT=4.244	OPTIMUM f=1559 TT=17.242 T1=12.7
/PARTIAL-BIGINT-LIN/wcsp/ satellite/ normalized-satellite02bc_wcsp.wbo	MOPT f=2211 TT=2.621 T1=2.12	Wrong UNSAT TT=7.684	OPTIMUM f=2211 TT=2.621 T1=2.12	Wrong UNSAT TT=2.482	Wrong UNSAT TT=5.257	Wrong UNSAT TT=4.278	OPTIMUM f=2211 TT=14.077 T1=9.38
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete)	SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)	SAT4J PB Resolution 2.2.0 2010-05-26 (complete)	SAT4J PB Resolution 2.2.1 (complete)
/PARTIAL-BIGINT-LIN/wcsp/ satellite/ normalized-satellite02cc_wcsp.wbo	MOPT f=2086 TT=2.616 T1=1.75	Wrong UNSAT TT=7.621	OPTIMUM f=2086 TT=2.616 T1=1.75	Wrong UNSAT TT=2.672	Wrong UNSAT TT=5.268	Wrong UNSAT TT=3.848	OPTIMUM f=2086 TT=11.992 T1=8.35
/PARTIAL-BIGINT-LIN/ wcsp/scens/ normalized-scen06-16reduc_wcsp.wbo		? (TO) TT=1800.08	? (TO) TT=1800.08	UNSAT TT=4.732	UNSAT TT=22.817	UNSAT TT=18.357	? (TO) TT=1800.13
/PARTIAL-BIGINT-LIN/ wcsp/scens/ normalized-scen06-16_wcsp.wbo	MSAT f=51435 TT=1800.2 T1=49.65	MSAT (TO) f=73240 TT=1800.09 T1=1097.95	MSAT (TO) f=73240 TT=1800.11 T1=1090.13	Wrong UNSAT TT=6.949	Wrong UNSAT TT=119.286	Wrong UNSAT TT=104.405	MSAT (TO) f=51435 TT=1800.2 T1=49.65
/PARTIAL-BIGINT-LIN/ wcsp/scens/ normalized-scen06-18reduc_wcsp.wbo		? (TO) TT=1800.06	? (TO) TT=1800.1	UNSAT TT=3.691	UNSAT TT=16.685	UNSAT TT=14.825	? (TO) TT=1800.06
/PARTIAL-BIGINT-LIN/ wcsp/scens/ normalized-scen06-18_wcsp.wbo	MSAT f=55687 TT=1800.24 T1=67.97	MSAT (TO) f=72054 TT=1800.08 T1=1793.79	MSAT (TO) f=72299 TT=1800.07 T1=1644.56	Wrong UNSAT TT=5.878	Wrong UNSAT TT=84.15	Wrong UNSAT TT=73.419	MSAT (TO) f=55687 TT=1800.24 T1=67.97
/PARTIAL-BIGINT-LIN/ wcsp/scens/ normalized-scen06-20reduc_wcsp.wbo		? (TO) TT=1800.07	? (TO) TT=1800.06	UNSAT TT=3.905	UNSAT TT=13.445	UNSAT TT=10.37	? (TO) TT=1800.13
/PARTIAL-BIGINT-LIN/ wcsp/scens/ normalized-scen06-20_wcsp.wbo	MSAT f=38480 TT=1800.14 T1=24.46	MSAT (TO) f=67181 TT=1800.07 T1=1760.45	MSAT (TO) f=67167 TT=1800.1 T1=1534.12	Wrong UNSAT TT=7.185	Wrong UNSAT TT=62.97	Wrong UNSAT TT=50.482	MSAT (TO) f=38480 TT=1800.14 T1=24.46
/PARTIAL-BIGINT-LIN/ wcsp/scens/ normalized-scen06-22reduc_wcsp.wbo		? (TO) TT=1800.03	? (TO) TT=1800.08	UNSAT TT=3.383	UNSAT TT=9.724	UNSAT TT=8.004	? (TO) TT=1800.16
/PARTIAL-BIGINT-LIN/ wcsp/scens/ normalized-scen06-22_wcsp.wbo	MSAT f=46905 TT=1800.16 T1=16.65	MSAT (TO) f=65510 TT=1800.09 T1=1697.43	MSAT (TO) f=67979 TT=1800.07 T1=1761.54	Wrong UNSAT TT=4.768	Wrong UNSAT TT=39.094	Wrong UNSAT TT=33.08	MSAT (TO) f=46905 TT=1800.16 T1=16.65
/PARTIAL-BIGINT-LIN/ wcsp/scens/ normalized-scen06-24reduc_wcsp.wbo		? (TO) TT=1800.05	? (TO) TT=1800.06	UNSAT TT=2.94	UNSAT TT=7.542	UNSAT TT=5.644	? (TO) TT=1800.11
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete)	SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)	SAT4J PB Resolution 2.2.0 2010-05-26 (complete)	SAT4J PB Resolution 2.2.1 (complete)
/PARTIAL-BIGINT-LIN/ wcsp/scens/ normalized-scen06-24_wcsp.wbo	MSAT f=30301 TT=1800.17 T1=51.11	MSAT (TO) f=64030 TT=1800.08 T1=1687.9	MSAT (TO) f=64140 TT=1800.09 T1=1769.77	Wrong UNSAT TT=4.175	Wrong UNSAT TT=24.967	Wrong UNSAT TT=21.175	MSAT (TO) f=30301 TT=1800.17 T1=51.11
/PARTIAL-BIGINT-LIN/ wcsp/scens/ normalized-scen06-30reduc_wcsp.wbo	MSAT f=2087 TT=1800.03 T1=1786.39	Wrong UNSAT TT=1.45	MSAT (TO) f=2087 TT=1800.03 T1=1786.39	Wrong UNSAT TT=2.256	Wrong UNSAT TT=3.529	Wrong UNSAT TT=2.593	? (TO) TT=1800.18
/PARTIAL-BIGINT-LIN/ wcsp/scens/ normalized-scen06-30_wcsp.wbo	MSAT f=6818 TT=1800.2 T1=1005.45	MSAT (TO) f=53970 TT=1800.06 T1=1770.53	MSAT (TO) f=54144 TT=1800.07 T1=1725.79	Wrong UNSAT TT=2.975	Wrong UNSAT TT=6.164	Wrong UNSAT TT=5.074	MSAT (TO) f=6818 TT=1800.2 T1=1005.45
/PARTIAL-BIGINT-LIN/ wcsp/scens/ normalized-scen06reduc_wcsp.wbo		? (TO) TT=1800.09	? (TO) TT=1800.1	UNSAT TT=7.828	UNSAT TT=169.295	UNSAT TT=141.251	? (TO) TT=1800.11
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen06_wcsp.wbo	MSAT f=32628 TT=1800.24 T1=1638.36	? (MO) TT=20.626	? (MO) TT=19.839	Wrong UNSAT TT=19.702	Wrong UNSAT TT=1431.71	Wrong UNSAT TT=1060.49	MSAT (TO) f=32628 TT=1800.24 T1=1638.36
/PARTIAL-BIGINT-LIN/wcsp/ scens/ normalized-scen07_10000_30r_wcsp.wbo	MSAT f=101 TT=1800.21 T1=33.46	MSAT (TO) f=74250266 TT=1800.05 T1=1714.38	MSAT (TO) f=80190292 TT=1800.06 T1=1738.41	Wrong UNSAT TT=2.549	Wrong UNSAT TT=5.976	Wrong UNSAT TT=4.617	MSAT (TO) f=101 TT=1800.21 T1=33.46
/PARTIAL-BIGINT-LIN/ wcsp/scens/ normalized-scen07reduc_wcsp.wbo		? (TO) TT=1800.07	? (TO) TT=1800.19	UNSAT TT=14.892	UNSAT TT=530.393	UNSAT TT=448.756	? (TO) TT=1800.13
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen07_wcsp.wbo		? (MO) TT=26.336	? (MO) TT=26.631	UNSAT TT=57.285	? (TO) TT=1800.33	? (TO) TT=1800.07	? (TO) TT=1800.32
/PARTIAL-BIGINT-LIN/ wcsp/scens/ normalized-scen08reduc_wcsp.wbo		? (TO) TT=1800.04	? (MO) TT=25.642	UNSAT TT=36.171	? (TO) TT=1800.32	? (TO) TT=1800.29	? (TO) TT=1800.16
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen08_wcsp.wbo		? (MO) TT=33.234	? (MO) TT=33.336	? TT=101.177	? (TO) TT=1800.39	? (TO) TT=1800.2	? TT=122.415
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete)	SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)	SAT4J PB Resolution 2.2.0 2010-05-26 (complete)	SAT4J PB Resolution 2.2.1 (complete)
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen09_wcsp.wbo	MSAT f=13601 TT=1800.34 T1=829.62	? (TO) TT=1800.02	? (MO) TT=25.635	Wrong UNSAT TT=17.247	Wrong UNSAT TT=1400.91	Wrong UNSAT TT=1089.36	MSAT (TO) f=13601 TT=1800.34 T1=829.62
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen10_wcsp.wbo	MSAT f=28742 TT=1800.3 T1=1365.62	? (TO) TT=1800.05	? (MO) TT=25.454	Wrong UNSAT TT=15.044	Wrong UNSAT TT=1562.6	Wrong UNSAT TT=1133.06	MSAT (TO) f=28742 TT=1800.3 T1=1365.62
/PARTIAL-BIGINT-LIN/ wcsp/spot5/ normalized-spot5-1401_wcsp.wbo	MSAT f=489122 TT=1800.06 T1=1717.24	Wrong UNSAT TT=0.627	MSAT (TO) f=489122 TT=1800.06 T1=1717.24	Wrong UNSAT TT=1.594	Wrong UNSAT TT=2.242	Wrong UNSAT TT=1.756	MSAT (TO) f=495109 TT=1800.19 T1=1.96
/PARTIAL-BIGINT-LIN/ wcsp/spot5/ normalized-spot5-1403_wcsp.wbo	MSAT f=492281 TT=1800.06 T1=1666.18	Wrong UNSAT TT=0.832	MSAT (TO) f=492281 TT=1800.06 T1=1666.18	Wrong UNSAT TT=1.587	Wrong UNSAT TT=2.46	Wrong UNSAT TT=2.127	MSAT (TO) f=498266 TT=1800.24 T1=2.91
/PARTIAL-BIGINT-LIN/ wcsp/spot5/ normalized-spot5-1405_wcsp.wbo	MSAT f=484506 TT=1800.06 T1=93.46	Wrong UNSAT TT=1.259	MSAT (TO) f=484506 TT=1800.06 T1=93.46	Wrong UNSAT TT=1.705	Wrong UNSAT TT=3.539	Wrong UNSAT TT=2.669	MSAT (TO) f=500449 TT=1800.16 T1=93.85
/PARTIAL-BIGINT-LIN/ wcsp/spot5/ normalized-spot5-1407_wcsp.wbo	MSAT f=490663 TT=1800.04 T1=1574.65	Wrong UNSAT TT=1.561	MSAT (TO) f=490663 TT=1800.04 T1=1574.65	Wrong UNSAT TT=1.776	Wrong UNSAT TT=4.103	Wrong UNSAT TT=3.051	MSAT (TO) f=499651 TT=1800.25 T1=778.77
/PARTIAL-BIGINT-LIN/ wcsp/spot5/ normalized-spot5-1502_wcsp.wbo	MSAT f=28042 TT=1800.03 T1=0.14	Wrong UNSAT TT=0.035	MSAT (TO) f=28042 TT=1800.03 T1=0.14	Wrong UNSAT TT=0.275	Wrong UNSAT TT=0.334	Wrong UNSAT TT=0.277	MSAT (TO) f=28042 TT=1800.14 T1=0.23
/PARTIAL-BIGINT-LIN/ wcsp/spot5/ normalized-spot5-1504_wcsp.wbo	MSAT f=175340 TT=1800.05 T1=1788.38	Wrong UNSAT TT=0.335	MSAT (TO) f=175340 TT=1800.05 T1=1788.38	Wrong UNSAT TT=1.001	Wrong UNSAT TT=2.236	Wrong UNSAT TT=1.129	MSAT (TO) f=182329 TT=1800.12 T1=34.28
/PARTIAL-BIGINT-LIN/ wcsp/spot5/ normalized-spot5-1506_wcsp.wbo	MSAT f=380614 TT=1800.08 T1=1543.29	Wrong UNSAT TT=1.149	MSAT (TO) f=380614 TT=1800.08 T1=1543.29	Wrong UNSAT TT=1.632	Wrong UNSAT TT=3.096	Wrong UNSAT TT=2.337	MSAT (TO) f=396561 TT=1800.17 T1=806.65
/PARTIAL-BIGINT-LIN/wcsp/spot5/ normalized-spot5-28_wcsp.wbo	MSAT f=275105 TT=1800.04 T1=1687.22	Wrong UNSAT TT=0.278	MSAT (TO) f=275105 TT=1800.04 T1=1687.22	Wrong UNSAT TT=1.035	Wrong UNSAT TT=2.464	Wrong UNSAT TT=1.144	MSAT (TO) f=276121 TT=1800.12 T1=896.47
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete)	SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)	SAT4J PB Resolution 2.2.0 2010-05-26 (complete)	SAT4J PB Resolution 2.2.1 (complete)
/PARTIAL-BIGINT-LIN/wcsp/spot5/ normalized-spot5-29_wcsp.wbo	MOPT f=8059 TT=70.19 T1=0.09	Wrong UNSAT TT=0.027	OPTIMUM f=8059 TT=70.19 T1=0.09	Wrong UNSAT TT=0.293	Wrong UNSAT TT=0.399	Wrong UNSAT TT=0.29	OPTIMUM f=8059 TT=379.192 T1=0.49
/PARTIAL-BIGINT-LIN/ wcsp/spot5/ normalized-spot5-408_wcsp.wbo	MSAT f=6233 TT=1800.11 T1=1761.7	Wrong UNSAT TT=0.134	MSAT (TO) f=6234 TT=1800.07 T1=169.91	Wrong UNSAT TT=0.738	Wrong UNSAT TT=1.425	Wrong UNSAT TT=0.826	MSAT (TO) f=6233 TT=1800.11 T1=1761.7
/PARTIAL-BIGINT-LIN/ wcsp/spot5/ normalized-spot5-412_wcsp.wbo	MSAT f=34395 TT=1800.06 T1=830.15	Wrong UNSAT TT=0.316	MSAT (TO) f=34395 TT=1800.06 T1=830.15	Wrong UNSAT TT=1.122	Wrong UNSAT TT=1.897	Wrong UNSAT TT=1.127	MSAT (TO) f=35405 TT=1800.09 T1=1745.41
/PARTIAL-BIGINT-LIN/ wcsp/spot5/ normalized-spot5-414_wcsp.wbo	MSAT f=40506 TT=1800.18 T1=2.76	Wrong UNSAT TT=0.65	MSAT (TO) f=41498 TT=1800.1 T1=1588.83	Wrong UNSAT TT=1.487	Wrong UNSAT TT=2.469	Wrong UNSAT TT=1.755	MSAT (TO) f=40506 TT=1800.18 T1=2.76
/PARTIAL-BIGINT-LIN/wcsp/spot5/ normalized-spot5-42_wcsp.wbo	MSAT f=158060 TT=1800.05 T1=1688.48	Wrong UNSAT TT=0.086	MSAT (TO) f=158060 TT=1800.05 T1=1688.48	Wrong UNSAT TT=0.592	Wrong UNSAT TT=0.791	Wrong UNSAT TT=0.628	MSAT (TO) f=165060 TT=1800.17 T1=825.42
/PARTIAL-BIGINT-LIN/ wcsp/spot5/ normalized-spot5-503_wcsp.wbo	MSAT f=11114 TT=1800.05 T1=1041.57	Wrong UNSAT TT=0.046	MSAT (TO) f=11114 TT=1800.05 T1=1294.77	Wrong UNSAT TT=0.353	Wrong UNSAT TT=0.85	Wrong UNSAT TT=0.369	MSAT (TO) f=11114 TT=1800.08 T1=1041.57
/PARTIAL-BIGINT-LIN/ wcsp/spot5/ normalized-spot5-505_wcsp.wbo	MSAT f=21260 TT=1800.06 T1=1058.29	Wrong UNSAT TT=0.153	MSAT (TO) f=21260 TT=1800.06 T1=1058.29	Wrong UNSAT TT=0.913	Wrong UNSAT TT=1.174	Wrong UNSAT TT=0.985	MSAT (TO) f=22265 TT=1800.14 T1=482.57
/PARTIAL-BIGINT-LIN/ wcsp/spot5/ normalized-spot5-507_wcsp.wbo	MSAT f=27418 TT=1800.07 T1=1678.66	Wrong UNSAT TT=0.328	MSAT (TO) f=27418 TT=1800.07 T1=1678.66	Wrong UNSAT TT=1.078	Wrong UNSAT TT=1.81	Wrong UNSAT TT=1.226	MSAT (TO) f=28426 TT=1800.12 T1=1.85
/PARTIAL-BIGINT-LIN/ wcsp/spot5/ normalized-spot5-509_wcsp.wbo	MSAT f=37469 TT=1800.06 T1=1706.23	Wrong UNSAT TT=0.5	MSAT (TO) f=37469 TT=1800.06 T1=1706.23	Wrong UNSAT TT=1.584	Wrong UNSAT TT=1.946	Wrong UNSAT TT=1.558	MSAT (TO) f=40472 TT=1800.19 T1=142.26
/PARTIAL-BIGINT-LIN/wcsp/spot5/ normalized-spot5-5_wcsp.wbo	MSAT f=271 TT=1800.07 T1=240.09	Wrong UNSAT TT=0.573	MSAT (TO) f=271 TT=1800.07 T1=240.09	Wrong UNSAT TT=2.013	Wrong UNSAT TT=2.343	Wrong UNSAT TT=1.666	MSAT (TO) f=272 TT=1800.17 T1=581.29
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete)	SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)	SAT4J PB Resolution 2.2.0 2010-05-26 (complete)	SAT4J PB Resolution 2.2.1 (complete)
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-cap101_wcsp.wbo	MSAT f=7851242 TT=1800.18 T1=0.42	Wrong UNSAT TT=0.052	MSAT (TO) f=12326642 TT=1800.05 T1=1334.19	Wrong UNSAT TT=0.726	Wrong UNSAT TT=1.235	Wrong UNSAT TT=0.889	MSAT (TO) f=7851242 TT=1800.18 T1=0.42
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-cap102_wcsp.wbo	MSAT f=8486670 TT=1800.11 T1=0.6	Wrong UNSAT TT=0.056	MSAT (TO) f=12888678 TT=1800.05 T1=1376.9	Wrong UNSAT TT=0.751	Wrong UNSAT TT=1.236	Wrong UNSAT TT=0.903	MSAT (TO) f=8486670 TT=1800.11 T1=0.6
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-cap103_wcsp.wbo	MSAT f=8943592 TT=1800.2 T1=0.44	Wrong UNSAT TT=0.051	MSAT (TO) f=12202977 TT=1800.05 T1=1096.53	Wrong UNSAT TT=0.724	Wrong UNSAT TT=1.247	Wrong UNSAT TT=0.907	MSAT (TO) f=8943592 TT=1800.2 T1=0.44
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-cap104_wcsp.wbo	MSAT f=9297283 TT=1800.14 T1=0.6	Wrong UNSAT TT=0.051	MSAT (TO) f=13096798 TT=1800.05 T1=1270.64	Wrong UNSAT TT=0.729	Wrong UNSAT TT=1.213	Wrong UNSAT TT=0.889	MSAT (TO) f=9297283 TT=1800.14 T1=0.6
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-cap111_wcsp.wbo	MSAT f=8157049 TT=1800.14 T1=0.72	Wrong UNSAT TT=0.118	MSAT (TO) f=12824279 TT=1800.04 T1=1468.84	Wrong UNSAT TT=0.978	Wrong UNSAT TT=1.879	Wrong UNSAT TT=1.065	MSAT (TO) f=8157049 TT=1800.14 T1=0.72
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-cap112_wcsp.wbo	MSAT f=8768573 TT=1800.18 T1=0.95	Wrong UNSAT TT=0.119	MSAT (TO) f=12983861 TT=1800.08 T1=1208.97	Wrong UNSAT TT=0.941	Wrong UNSAT TT=1.95	Wrong UNSAT TT=1.077	MSAT (TO) f=8768573 TT=1800.18 T1=0.95
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-cap113_wcsp.wbo	MSAT f=9206047 TT=1800.2 T1=0.72	Wrong UNSAT TT=0.12	MSAT (TO) f=12290171 TT=1800.03 T1=0.3	Wrong UNSAT TT=0.959	Wrong UNSAT TT=1.898	Wrong UNSAT TT=1.078	MSAT (TO) f=9206047 TT=1800.2 T1=0.72
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-cap114_wcsp.wbo	MSAT f=9360533 TT=1800.14 T1=0.92	Wrong UNSAT TT=0.117	MSAT (TO) f=12290171 TT=1800.06 T1=0.43	Wrong UNSAT TT=0.964	Wrong UNSAT TT=1.883	Wrong UNSAT TT=1.068	MSAT (TO) f=9360533 TT=1800.14 T1=0.92
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-cap121_wcsp.wbo	MSAT f=8157049 TT=1800.2 T1=0.73	Wrong UNSAT TT=0.117	MSAT (TO) f=12824279 TT=1800.05 T1=1479.67	Wrong UNSAT TT=0.96	Wrong UNSAT TT=1.928	Wrong UNSAT TT=1.059	MSAT (TO) f=8157049 TT=1800.2 T1=0.73
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-cap122_wcsp.wbo	MSAT f=8768573 TT=1800.11 T1=0.95	Wrong UNSAT TT=0.119	MSAT (TO) f=12983861 TT=1800.08 T1=1211.3	Wrong UNSAT TT=0.963	Wrong UNSAT TT=1.903	Wrong UNSAT TT=1.056	MSAT (TO) f=8768573 TT=1800.11 T1=0.95
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete)	SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)	SAT4J PB Resolution 2.2.0 2010-05-26 (complete)	SAT4J PB Resolution 2.2.1 (complete)
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-cap123_wcsp.wbo	MSAT f=9206047 TT=1800.13 T1=0.72	Wrong UNSAT TT=0.131	MSAT (TO) f=12290171 TT=1800.07 T1=0.33	Wrong UNSAT TT=0.97	Wrong UNSAT TT=1.955	Wrong UNSAT TT=1.09	MSAT (TO) f=9206047 TT=1800.13 T1=0.72
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-cap124_wcsp.wbo	MSAT f=9360533 TT=1800.12 T1=0.89	Wrong UNSAT TT=0.118	MSAT (TO) f=12290171 TT=1800.08 T1=0.43	Wrong UNSAT TT=0.974	Wrong UNSAT TT=1.87	Wrong UNSAT TT=1.052	MSAT (TO) f=9360533 TT=1800.12 T1=0.89
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-cap131_wcsp.wbo	MSAT f=8157049 TT=1800.13 T1=0.71	Wrong UNSAT TT=0.118	MSAT (TO) f=12824279 TT=1800.05 T1=1473.71	Wrong UNSAT TT=0.968	Wrong UNSAT TT=1.907	Wrong UNSAT TT=1.072	MSAT (TO) f=8157049 TT=1800.13 T1=0.71
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-cap132_wcsp.wbo	MSAT f=8768573 TT=1800.11 T1=0.99	Wrong UNSAT TT=0.118	MSAT (TO) f=12983861 TT=1800.07 T1=1210.7	Wrong UNSAT TT=0.969	Wrong UNSAT TT=1.942	Wrong UNSAT TT=1.08	MSAT (TO) f=8768573 TT=1800.11 T1=0.99
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-cap133_wcsp.wbo	MSAT f=9206047 TT=1800.11 T1=0.74	Wrong UNSAT TT=0.119	MSAT (TO) f=12290171 TT=1800.06 T1=0.3	Wrong UNSAT TT=0.961	Wrong UNSAT TT=1.942	Wrong UNSAT TT=1.078	MSAT (TO) f=9206047 TT=1800.11 T1=0.74
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-cap134_wcsp.wbo	MSAT f=9360533 TT=1800.18 T1=0.92	Wrong UNSAT TT=0.118	MSAT (TO) f=12290171 TT=1800.04 T1=0.43	Wrong UNSAT TT=0.947	Wrong UNSAT TT=1.883	Wrong UNSAT TT=1.061	MSAT (TO) f=9360533 TT=1800.18 T1=0.92
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-cap41_wcsp.wbo	MSAT f=9065142 TT=1800.3 T1=0.38	Wrong UNSAT TT=0.033	MSAT (TO) f=12213731 TT=1800.06 T1=0.08	Wrong UNSAT TT=0.607	Wrong UNSAT TT=0.892	Wrong UNSAT TT=0.604	MSAT (TO) f=9065142 TT=1800.3 T1=0.38
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-cap42_wcsp.wbo	MSAT f=9556215 TT=1800.12 T1=0.37	Wrong UNSAT TT=0.035	MSAT (TO) f=12213664 TT=1800.07 T1=117.66	Wrong UNSAT TT=0.607	Wrong UNSAT TT=0.89	Wrong UNSAT TT=0.619	MSAT (TO) f=9556215 TT=1800.12 T1=0.37
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-cap43_wcsp.wbo	MSAT f=9939840 TT=1800.14 T1=0.38	Wrong UNSAT TT=0.034	MSAT (TO) f=12211952 TT=1800.07 T1=898.5	Wrong UNSAT TT=0.608	Wrong UNSAT TT=0.917	Wrong UNSAT TT=0.617	MSAT (TO) f=9939840 TT=1800.14 T1=0.38
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-cap44_wcsp.wbo	MSAT f=10336274 TT=1800.09 T1=0.38	Wrong UNSAT TT=0.035	MSAT (TO) f=12213731 TT=1800.05 T1=0.09	Wrong UNSAT TT=0.621	Wrong UNSAT TT=0.929	Wrong UNSAT TT=0.537	MSAT (TO) f=10336274 TT=1800.09 T1=0.38
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete)	SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)	SAT4J PB Resolution 2.2.0 2010-05-26 (complete)	SAT4J PB Resolution 2.2.1 (complete)
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-cap51_wcsp.wbo	MSAT f=9939840 TT=1800.2 T1=0.37	Wrong UNSAT TT=0.033	MSAT (TO) f=12211952 TT=1800.05 T1=888.5	Wrong UNSAT TT=0.612	Wrong UNSAT TT=0.879	Wrong UNSAT TT=0.616	MSAT (TO) f=9939840 TT=1800.2 T1=0.37
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-cap61_wcsp.wbo	MSAT f=9065142 TT=1800.14 T1=0.39	Wrong UNSAT TT=0.032	MSAT (TO) f=12213731 TT=1800.05 T1=0.08	Wrong UNSAT TT=0.605	Wrong UNSAT TT=0.887	Wrong UNSAT TT=0.62	MSAT (TO) f=9065142 TT=1800.14 T1=0.39
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-cap62_wcsp.wbo	MSAT f=9556215 TT=1800.16 T1=0.37	Wrong UNSAT TT=0.034	MSAT (TO) f=12213664 TT=1800.06 T1=118.49	Wrong UNSAT TT=0.613	Wrong UNSAT TT=0.871	Wrong UNSAT TT=0.618	MSAT (TO) f=9556215 TT=1800.16 T1=0.37
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-cap63_wcsp.wbo	MSAT f=9939840 TT=1800.17 T1=0.38	Wrong UNSAT TT=0.035	MSAT (TO) f=12211952 TT=1800.06 T1=887.09	Wrong UNSAT TT=0.617	Wrong UNSAT TT=0.915	Wrong UNSAT TT=0.549	MSAT (TO) f=9939840 TT=1800.17 T1=0.38
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-cap64_wcsp.wbo	MSAT f=10336274 TT=1800.12 T1=0.38	Wrong UNSAT TT=0.032	MSAT (TO) f=12213731 TT=1800.05 T1=0.09	Wrong UNSAT TT=0.618	Wrong UNSAT TT=0.94	Wrong UNSAT TT=0.619	MSAT (TO) f=10336274 TT=1800.12 T1=0.38
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-cap71_wcsp.wbo	MSAT f=9065142 TT=1800.11 T1=0.38	Wrong UNSAT TT=0.035	MSAT (TO) f=12213731 TT=1800.05 T1=0.08	Wrong UNSAT TT=0.621	Wrong UNSAT TT=0.933	Wrong UNSAT TT=0.537	MSAT (TO) f=9065142 TT=1800.11 T1=0.38
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-cap72_wcsp.wbo	MSAT f=9556215 TT=1800.1 T1=0.38	Wrong UNSAT TT=0.032	MSAT (TO) f=12213664 TT=1800.04 T1=107.56	Wrong UNSAT TT=0.611	Wrong UNSAT TT=0.91	Wrong UNSAT TT=0.612	MSAT (TO) f=9556215 TT=1800.1 T1=0.38
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-cap73_wcsp.wbo	MSAT f=9939840 TT=1800.15 T1=0.37	Wrong UNSAT TT=0.033	MSAT (TO) f=12211952 TT=1800.05 T1=888.98	Wrong UNSAT TT=0.63	Wrong UNSAT TT=0.895	Wrong UNSAT TT=0.615	MSAT (TO) f=9939840 TT=1800.15 T1=0.37
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-cap74_wcsp.wbo	MSAT f=10336274 TT=1800.1 T1=0.38	Wrong UNSAT TT=0.033	MSAT (TO) f=12213731 TT=1800.07 T1=0.09	Wrong UNSAT TT=0.611	Wrong UNSAT TT=0.871	Wrong UNSAT TT=0.535	MSAT (TO) f=10336274 TT=1800.1 T1=0.38
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-cap81_wcsp.wbo	MSAT f=7851242 TT=1800.11 T1=0.42	Wrong UNSAT TT=0.052	MSAT (TO) f=12326642 TT=1800.03 T1=1332.29	Wrong UNSAT TT=0.73	Wrong UNSAT TT=1.262	Wrong UNSAT TT=0.894	MSAT (TO) f=7851242 TT=1800.11 T1=0.42
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete)	SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)	SAT4J PB Resolution 2.2.0 2010-05-26 (complete)	SAT4J PB Resolution 2.2.1 (complete)
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-cap82_wcsp.wbo	MSAT f=8486670 TT=1800.09 T1=0.59	Wrong UNSAT TT=0.052	MSAT (TO) f=12888678 TT=1800.05 T1=1263.79	Wrong UNSAT TT=0.725	Wrong UNSAT TT=1.234	Wrong UNSAT TT=0.893	MSAT (TO) f=8486670 TT=1800.09 T1=0.59
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-cap83_wcsp.wbo	MSAT f=8943592 TT=1800.2 T1=0.44	Wrong UNSAT TT=0.051	MSAT (TO) f=12202977 TT=1800.07 T1=1102.43	Wrong UNSAT TT=0.73	Wrong UNSAT TT=1.217	Wrong UNSAT TT=0.878	MSAT (TO) f=8943592 TT=1800.2 T1=0.44
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-cap84_wcsp.wbo	MSAT f=9297283 TT=1800.16 T1=0.59	Wrong UNSAT TT=0.056	MSAT (TO) f=13096798 TT=1800.05 T1=1273.48	Wrong UNSAT TT=0.855	Wrong UNSAT TT=1.229	Wrong UNSAT TT=0.894	MSAT (TO) f=9297283 TT=1800.16 T1=0.59
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-cap91_wcsp.wbo	MSAT f=7851242 TT=1800.14 T1=0.41	Wrong UNSAT TT=0.054	MSAT (TO) f=12326642 TT=1800.06 T1=1410.59	Wrong UNSAT TT=0.724	Wrong UNSAT TT=1.21	Wrong UNSAT TT=0.886	MSAT (TO) f=7851242 TT=1800.14 T1=0.41
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-cap92_wcsp.wbo	MSAT f=8486670 TT=1800.16 T1=0.6	Wrong UNSAT TT=0.054	MSAT (TO) f=12888678 TT=1800.11 T1=1259.73	Wrong UNSAT TT=0.744	Wrong UNSAT TT=1.222	Wrong UNSAT TT=0.905	MSAT (TO) f=8486670 TT=1800.16 T1=0.6
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-cap93_wcsp.wbo	MSAT f=8943592 TT=1800.14 T1=0.44	Wrong UNSAT TT=0.052	MSAT (TO) f=12202977 TT=1800.07 T1=1104.09	Wrong UNSAT TT=0.728	Wrong UNSAT TT=1.226	Wrong UNSAT TT=0.895	MSAT (TO) f=8943592 TT=1800.14 T1=0.44
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-cap94_wcsp.wbo	MSAT f=9297283 TT=1800.14 T1=0.59	Wrong UNSAT TT=0.052	MSAT (TO) f=13095846 TT=1800.07 T1=1793.01	Wrong UNSAT TT=0.737	Wrong UNSAT TT=1.233	Wrong UNSAT TT=0.907	MSAT (TO) f=9297283 TT=1800.14 T1=0.59
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capa_wcsp.wbo	MSAT f=25941163 TT=1800.32 T1=127.56	Wrong UNSAT TT=45.185	MSAT (TO) f=26676340 TT=1800.11 T1=333.04	Wrong UNSAT TT=3.852	Wrong UNSAT TT=58.063	Wrong UNSAT TT=48.473	MSAT (TO) f=25941163 TT=1800.32 T1=127.56
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capb_wcsp.wbo	MSAT f=23081200 TT=1800.34 T1=190.97	Wrong UNSAT TT=44.868	MSAT (TO) f=25561580 TT=1800.14 T1=1366.74	Wrong UNSAT TT=3.904	Wrong UNSAT TT=55.939	Wrong UNSAT TT=48.537	MSAT (TO) f=23081200 TT=1800.34 T1=190.97
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capc_wcsp.wbo	MSAT f=15750354 TT=1800.3 T1=413.91	Wrong UNSAT TT=44.638	MSAT (TO) f=23830981 TT=1800.14 T1=349.46	Wrong UNSAT TT=3.872	Wrong UNSAT TT=56.387	Wrong UNSAT TT=47.688	MSAT (TO) f=15750354 TT=1800.3 T1=413.91
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete)	SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)	SAT4J PB Resolution 2.2.0 2010-05-26 (complete)	SAT4J PB Resolution 2.2.1 (complete)
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-capmo1_wcsp.wbo	MSAT f=1125496 TT=1800.26 T1=2.37	Wrong UNSAT TT=0.887	MSAT (TO) f=1338236 TT=1800.11 T1=2.93	Wrong UNSAT TT=1.477	Wrong UNSAT TT=2.506	Wrong UNSAT TT=2.019	MSAT (TO) f=1125496 TT=1800.26 T1=2.37
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-capmo2_wcsp.wbo	MSAT f=1243610 TT=1800.3 T1=2.5	Wrong UNSAT TT=0.897	MSAT (TO) f=1503991 TT=1800.06 T1=3.09	Wrong UNSAT TT=1.798	Wrong UNSAT TT=3.099	Wrong UNSAT TT=2.249	MSAT (TO) f=1243610 TT=1800.3 T1=2.5
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-capmo3_wcsp.wbo	MSAT f=1223633 TT=1800.26 T1=2.48	Wrong UNSAT TT=0.893	MSAT (TO) f=1374681 TT=1800.06 T1=2.97	Wrong UNSAT TT=1.714	Wrong UNSAT TT=3.001	Wrong UNSAT TT=2.243	MSAT (TO) f=1223633 TT=1800.26 T1=2.48
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-capmo4_wcsp.wbo	MSAT f=1137948 TT=1800.28 T1=1.9	Wrong UNSAT TT=0.806	MSAT (TO) f=1370528 TT=1800.09 T1=3.18	Wrong UNSAT TT=1.546	Wrong UNSAT TT=2.661	Wrong UNSAT TT=1.978	MSAT (TO) f=1137948 TT=1800.28 T1=1.9
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-capmo5_wcsp.wbo	MSAT f=1095506 TT=1800.2 T1=1.92	Wrong UNSAT TT=0.804	MSAT (TO) f=1306470 TT=1800.06 T1=3.09	Wrong UNSAT TT=1.55	Wrong UNSAT TT=2.481	Wrong UNSAT TT=2.055	MSAT (TO) f=1095506 TT=1800.2 T1=1.92
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-capmp1_wcsp.wbo	MSAT f=2425136 TT=1800.24 T1=19.35	Wrong UNSAT TT=8.12	MSAT (TO) f=3015595 TT=1800.08 T1=34.78	Wrong UNSAT TT=2.228	Wrong UNSAT TT=10.687	Wrong UNSAT TT=9.229	MSAT (TO) f=2425136 TT=1800.24 T1=19.35
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-capmp2_wcsp.wbo	MSAT f=2348845 TT=1800.25 T1=24.42	Wrong UNSAT TT=8.09	MSAT (TO) f=2820101 TT=1800.1 T1=32.35	Wrong UNSAT TT=2.589	Wrong UNSAT TT=10.669	Wrong UNSAT TT=9.496	MSAT (TO) f=2348845 TT=1800.25 T1=24.42
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-capmp3_wcsp.wbo	MSAT f=2350440 TT=1800.22 T1=17.68	Wrong UNSAT TT=8.167	MSAT (TO) f=2786010 TT=1800.11 T1=32.09	Wrong UNSAT TT=2.541	Wrong UNSAT TT=11.144	Wrong UNSAT TT=9.257	MSAT (TO) f=2350440 TT=1800.22 T1=17.68
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-capmp4_wcsp.wbo	MSAT f=2548106 TT=1800.24 T1=17.76	Wrong UNSAT TT=8.171	MSAT (TO) f=2937400 TT=1800.07 T1=35.33	Wrong UNSAT TT=2.619	Wrong UNSAT TT=11.11	Wrong UNSAT TT=9.368	MSAT (TO) f=2548106 TT=1800.24 T1=17.76
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-capmp5_wcsp.wbo	MSAT f=2240403 TT=1800.3 T1=17.63	Wrong UNSAT TT=8.184	MSAT (TO) f=2746745 TT=1800.09 T1=33.97	Wrong UNSAT TT=2.609	Wrong UNSAT TT=11.425	Wrong UNSAT TT=9.544	MSAT (TO) f=2240403 TT=1800.3 T1=17.63
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete)	SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)	SAT4J PB Resolution 2.2.0 2010-05-26 (complete)	SAT4J PB Resolution 2.2.1 (complete)
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-capmq1_wcsp.wbo	MSAT f=3438412 TT=1800.36 T1=60.36	Wrong UNSAT TT=40.187	MSAT (TO) f=4327116 TT=1800.11 T1=222.74	Wrong UNSAT TT=4.225	Wrong UNSAT TT=44.399	Wrong UNSAT TT=38.587	MSAT (TO) f=3438412 TT=1800.36 T1=60.36
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-capmq2_wcsp.wbo	MSAT f=3357945 TT=1800.32 T1=91.39	Wrong UNSAT TT=36.455	MSAT (TO) f=4138017 TT=1800.15 T1=247.95	Wrong UNSAT TT=4.104	Wrong UNSAT TT=45.287	Wrong UNSAT TT=39.706	MSAT (TO) f=3357945 TT=1800.32 T1=91.39
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-capmq3_wcsp.wbo	MSAT f=3506826 TT=1800.27 T1=58.68	Wrong UNSAT TT=36.296	MSAT (TO) f=4314475 TT=1800.13 T1=232.43	Wrong UNSAT TT=3.766	Wrong UNSAT TT=45.197	Wrong UNSAT TT=39.607	MSAT (TO) f=3506826 TT=1800.27 T1=58.68
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-capmq4_wcsp.wbo	MSAT f=3728234 TT=1800.26 T1=91.15	Wrong UNSAT TT=36.59	MSAT (TO) f=4508540 TT=1800.13 T1=206.83	Wrong UNSAT TT=3.685	Wrong UNSAT TT=47.542	Wrong UNSAT TT=38.218	MSAT (TO) f=3728234 TT=1800.26 T1=91.15
/PARTIAL-BIGINT-LIN/ wcsp/warehouse/ normalized-capmq5_wcsp.wbo	MSAT f=3662214 TT=1800.27 T1=91.89	Wrong UNSAT TT=36.629	MSAT (TO) f=4565406 TT=1800.16 T1=242.16	Wrong UNSAT TT=4.295	Wrong UNSAT TT=43.485	Wrong UNSAT TT=39.248	MSAT (TO) f=3662214 TT=1800.27 T1=91.89
/PARTIAL-BIGINT-LIN/wcsp/ zenotravel/ normalized-zenotravel02ac_wcsp.wbo	MOPT f=2401 TT=0.33 T1=0.25	Wrong UNSAT TT=0.284	OPTIMUM f=2401 TT=0.33 T1=0.25	Wrong UNSAT TT=1.015	Wrong UNSAT TT=1.928	Wrong UNSAT TT=1.156	OPTIMUM f=2401 TT=2.019 T1=0.77
/PARTIAL-BIGINT-LIN/wcsp/ zenotravel/ normalized-zenotravel02bc_wcsp.wbo	MOPT f=2251 TT=0.36 T1=0.27	Wrong UNSAT TT=0.306	OPTIMUM f=2251 TT=0.36 T1=0.27	Wrong UNSAT TT=1.087	Wrong UNSAT TT=1.882	Wrong UNSAT TT=1.16	OPTIMUM f=2251 TT=2.066 T1=0.84
/PARTIAL-BIGINT-LIN/wcsp/ zenotravel/ normalized-zenotravel02cc_wcsp.wbo	MOPT f=724 TT=0.359 T1=0.27	Wrong UNSAT TT=0.311	OPTIMUM f=724 TT=0.359 T1=0.27	Wrong UNSAT TT=1.021	Wrong UNSAT TT=2.001	Wrong UNSAT TT=1.167	OPTIMUM f=724 TT=1.754 T1=0.65
/PARTIAL-BIGINT-LIN/wcsp/ zenotravel/ normalized-zenotravel02c_wcsp.wbo	MOPT f=2401 TT=0.363 T1=0.27	Wrong UNSAT TT=0.312	OPTIMUM f=2401 TT=0.363 T1=0.27	Wrong UNSAT TT=1.02	Wrong UNSAT TT=1.976	Wrong UNSAT TT=1.237	OPTIMUM f=2401 TT=2.031 T1=0.78
/PARTIAL-BIGINT-LIN/wcsp/ zenotravel/ normalized-zenotravel04ac_wcsp.wbo	MOPT f=4116 TT=1.204 T1=0.93	Wrong UNSAT TT=2.09	OPTIMUM f=4116 TT=1.204 T1=0.93	Wrong UNSAT TT=1.653	Wrong UNSAT TT=2.942	Wrong UNSAT TT=2.305	OPTIMUM f=4116 TT=3.3 T1=1.61
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete)	SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)	SAT4J PB Resolution 2.2.0 2010-05-26 (complete)	SAT4J PB Resolution 2.2.1 (complete)
/PARTIAL-BIGINT-LIN/wcsp/ zenotravel/ normalized-zenotravel04bc_wcsp.wbo	MOPT f=3956 TT=1.191 T1=0.91	Wrong UNSAT TT=2.262	OPTIMUM f=3956 TT=1.191 T1=0.91	Wrong UNSAT TT=1.679	Wrong UNSAT TT=2.957	Wrong UNSAT TT=2.267	OPTIMUM f=3956 TT=3.326 T1=1.28
/PARTIAL-BIGINT-LIN/wcsp/ zenotravel/ normalized-zenotravel04cc_wcsp.wbo	MOPT f=1555 TT=1.29 T1=0.99	Wrong UNSAT TT=2.078	OPTIMUM f=1555 TT=1.29 T1=0.99	Wrong UNSAT TT=1.64	Wrong UNSAT TT=2.975	Wrong UNSAT TT=2.292	OPTIMUM f=1555 TT=2.922 T1=1.21
/PARTIAL-BIGINT-LIN/wcsp/ zenotravel/ normalized-zenotravel04c_wcsp.wbo	MOPT f=4116 TT=1.323 T1=1.01	Wrong UNSAT TT=2.082	OPTIMUM f=4116 TT=1.323 T1=1.01	Wrong UNSAT TT=1.685	Wrong UNSAT TT=2.95	Wrong UNSAT TT=2.281	OPTIMUM f=4116 TT=3.355 T1=1.67

Statistics		PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete)	SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)	SAT4J PB Resolution 2.2.0 2010-05-26 (complete)	SAT4J PB Resolution 2.2.1 (complete)
Number of times the solver is able to give the best known answer		0	103	0	0	0	217
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	97	0	0	0	145