PB'10 competition: satisfaction and optimization track: results by benchmark

Results by benchmark for category optimisation, big integers, linear constraints (OPT-BIGINT-LIN), subcategory Handmade

This page displays the results of the different solvers for each benchmark for category optimisation, big integers, linear constraints (OPT-BIGINT-LIN), subcategory Handmade

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 (complete solvers point of view)
text	the solver performed better than the other ones on that instance (incomplete solvers point of view)
text	the solver was ended by a signal or other problem
text	the solver gave an incomplete answer
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)
PBPASSolver 2010-06-13 (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)
SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)

Bench name	Best results on this instance	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (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)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-25fv47.opb	UNSAT TT=6.127	? (TO) TT=1800.24	? (TO) TT=1800.25	? (MO) TT=17.39	UNSAT TT=6.861	UNSAT TT=7.933	UNSAT TT=6.127	UNSAT TT=1.759
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-80bau3b.opb	UNSAT TT=9.354	? (MO) TT=81.238	? (MO) TT=84.668	? (MO) TT=17.79	UNSAT TT=9.506	UNSAT TT=12.619	UNSAT TT=9.354	UNSAT TT=6.378
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-adlittle.opb		UNSAT TT=1.26	? (TO) TT=1800.1	UNSAT TT=7.478	? (TO) TT=1800.25	? (TO) TT=1800.45	? (TO) TT=1800.21	? TT=1789.51
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-afiro.opb	OPT f=-11897496 TT=8.393 T1=5.1	Wrong Opt. f=-11878833 TT=275.789 T1=275.79	OPT f=-11897496 TT=290.582 T1=290.58	? (TO) TT=1800.09	SAT (TO) f=-11698151 TT=1800.31 T1=46.74	OPT f=-11897496 TT=26.79 T1=33.01	OPT f=-11897496 TT=8.393 T1=5.1	OPT f=-11897496 TT=58.936 T1=51.24
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-agg2.opb		? (TO) TT=1800.14	? (TO) TT=1800.11	? (MO) TT=55.06	? (TO) TT=1800.18	? (TO) TT=1803.84	? (TO) TT=1800.18	? (exit code) TT=773.691
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-agg3.opb		? (TO) TT=1800.17	? (TO) TT=1800.09	? (MO) TT=60.87	? (TO) TT=1800.17	? (TO) TT=1800.49	? (TO) TT=1800.24	UNSAT TT=54.443
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-agg.opb		? (TO) TT=1800.07	? (TO) TT=1800.09	? (MO) TT=68.38	? (TO) TT=1800.24	? (TO) TT=1800.61	? (TO) TT=1800.22	? TT=1789.54
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-bandm.opb	UNSAT TT=3.468	UNSAT TT=8.768	UNSAT TT=8.066	UNSAT TT=12.77	UNSAT TT=3.468	UNSAT TT=4.986	UNSAT TT=3.782	UNSAT TT=0.463
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-beaconfd.opb	UNSAT TT=4.174	? (TO) TT=1800.12	? (TO) TT=1800.14	? (MO) TT=52.56	UNSAT TT=4.174	UNSAT TT=4.821	UNSAT TT=4.235	UNSAT TT=0.561
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-blend.opb	OPT f=0 TT=256.701 T1=2.78	? (TO) TT=1800.08	? (TO) TT=1800.12	? (MO) TT=89.55	? (TO) TT=1800.27	OPT f=0 TT=589.416 T1=4.07	OPT f=0 TT=256.701 T1=2.78	SAT f=0 TT=1790.87 T1=0.07
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (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)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-bnl1.opb		UNSAT TT=18.155	? (TO) TT=1800.11	? (MO) TT=30.57	? (TO) TT=1800.15	? (TO) TT=1800.53	? (TO) TT=1800.19	? TT=1789.83
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-bnl2.opb	UNSAT TT=7.235	? (MO) TT=29.159	? (MO) TT=31.986	? (MO) TT=18.39	UNSAT TT=7.235	UNSAT TT=9.753	UNSAT TT=7.424	UNSAT TT=3.426
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-boeing1.opb		? (TO) TT=1800.12	? (TO) TT=1800.1	? (MO) TT=64.07	? (TO) TT=1800.19	? (TO) TT=1800.41	? (TO) TT=1800.2	UNSAT TT=582.611
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-boeing2.opb		? (TO) TT=1800.11	? (TO) TT=1800.1	? (MO) TT=88.87	? (TO) TT=1800.3	? (TO) TT=1800.42	? (TO) TT=1800.15	UNSAT TT=3.646
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-bore3d.opb	UNSAT TT=2.805	UNSAT TT=4.421	UNSAT TT=697.934	? (MO) TT=82.48	UNSAT TT=2.805	UNSAT TT=4.506	UNSAT TT=3.343	UNSAT TT=0.318
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-brandy.opb	UNSAT TT=3.053	UNSAT TT=5.97	UNSAT TT=4.99	UNSAT TT=11.397	UNSAT TT=3.461	UNSAT TT=3.834	UNSAT TT=3.053	UNSAT TT=0.31
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-capri.opb	UNSAT TT=2.552	UNSAT TT=8.686	UNSAT TT=6.057	UNSAT TT=39.867	UNSAT TT=2.753	UNSAT TT=2.552	UNSAT TT=2.854	UNSAT TT=0.272
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-cycle.opb		? (MO) TT=32.448	? (MO) TT=29.891	? (MO) TT=17.88	? (TO) TT=1800.21	? (TO) TT=1800.32	? (TO) TT=1800.17	? TT=1790.46
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-czprob.opb	SAT f=232914362812081 TT=1800.46 T1=84.3	Wrong UNSAT TT=39.37	? (MO) TT=1647.27	? (MO) TT=18.51	SAT (TO) f=232914362812081 TT=1800.46 T1=84.3	SAT (TO) f=232914362812081 TT=1800.78 T1=91.45	? (TO) TT=1800.2	? TT=1790.09
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-d2q06c.opb	UNSAT TT=11.622	? (MO) TT=40.777	? (MO) TT=39.37	? (MO) TT=18.99	UNSAT TT=11.622	UNSAT TT=16.442	UNSAT TT=12.161	UNSAT TT=5.848
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (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)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-d6cube.opb		? (MO) TT=31.551	? (MO) TT=29.181	? (MO) TT=15.85	? (TO) TT=1800.21	? (TO) TT=1800.33	? (TO) TT=1800.12	? TT=1791.24
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-degen2.opb		? (TO) TT=1800.16	? (TO) TT=1800.15	? (MO) TT=43.98	? (TO) TT=1800.18	? (TO) TT=1800.48	? (TO) TT=1800.29	? TT=1789.73
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-degen3.opb		? (MO) TT=36.966	? (MO) TT=31.784	? (MO) TT=17.19	? (TO) TT=1800.18	? (TO) TT=1800.21	? (TO) TT=1800.13	? TT=1789.92
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-dfl001.opb		? (MO) TT=33.382	? (MO) TT=30.832	? (MO) TT=17.49	? (TO) TT=1800.24	? (TO) TT=1800.33	? (TO) TT=1800.23	? TT=1794.02
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-e226.opb	UNSAT TT=2.823	UNSAT TT=7.629	UNSAT TT=265.759	UNSAT TT=12.672	UNSAT TT=2.823	UNSAT TT=4.092	UNSAT TT=3.159	UNSAT TT=0.392
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-etamacro.opb	UNSAT TT=2.72	UNSAT TT=5.163	? (TO) TT=1800.11	UNSAT TT=62.901	UNSAT TT=2.72	UNSAT TT=3.629	UNSAT TT=3.123	UNSAT TT=0.461
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-fffff800.opb	UNSAT TT=3.478	? (TO) TT=1800.14	? (TO) TT=1800.17	? (MO) TT=19.49	UNSAT TT=3.478	UNSAT TT=4.397	UNSAT TT=3.585	UNSAT TT=1.01
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-fit1p.opb	SAT f=14462855 TT=1800.61 T1=34.02	? (TO) TT=1800.19	? (TO) TT=1800.18	? (MO) TT=19.38	SAT (TO) f=197042018754 TT=1800.52 T1=119.91	SAT (TO) f=14462855 TT=1800.7 T1=44.72	SAT (TO) f=14462855 TT=1800.61 T1=34.02	? TT=1789.73
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-fit2d.opb		? (MO) TT=32.56	? (MO) TT=30.276	? (MO) TT=15.49	? (TO) TT=1800.17	? (TO) TT=1800.4	? (TO) TT=1800.14	SAT f=0 TT=1797.16 T1=6.45
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-fit2p.opb		? (MO) TT=36.276	? (MO) TT=31.166	? (MO) TT=18.8	? (TO) TT=1800.25	? (TO) TT=1800.52	? (TO) TT=1800.25	? TT=1798.78
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (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)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-forplan.opb		? (TO) TT=1800.21	? (TO) TT=1800.11	? (MO) TT=40.18	? (TO) TT=1800.16	? (TO) TT=1800.45	? (TO) TT=1800.25	UNSAT TT=50.935
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-ganges.opb	UNSAT TT=4.214	? (TO) TT=1800.16	? (TO) TT=1800.13	? (MO) TT=25.89	UNSAT TT=4.23	UNSAT TT=5.137	UNSAT TT=4.214	UNSAT TT=1.313
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-gfrd-pnc.opb		? (TO) TT=1800.14	? (TO) TT=1800.16	? (MO) TT=76.55	? (TO) TT=1800.31	? (TO) TT=1801.62	? (TO) TT=1800.17	? TT=1789.91
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-greenbea.opb		? (MO) TT=34.468	? (MO) TT=30.178	? (MO) TT=18.79	? (TO) TT=1800.11	? (TO) TT=1800.45	? (TO) TT=1800.24	? TT=1794.73
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-greenbeb.opb		? (MO) TT=34.575	? (MO) TT=31.874	? (MO) TT=18.71	? (TO) TT=1800.09	? (TO) TT=1800.35	? (TO) TT=1800.18	? TT=1794.15
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-grow15.opb		? (TO) TT=1800.1	? (TO) TT=1800.17	? (MO) TT=50.68	? (TO) TT=1800.29	? (TO) TT=1800.35	? (TO) TT=1800.26	OPT f=0 TT=79.761 T1=0.51
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-grow22.opb		? (TO) TT=1800.2	? (TO) TT=1800.16	? (MO) TT=28.66	? (TO) TT=1800.21	? (TO) TT=1800.32	? (TO) TT=1800.22	OPT f=0 TT=117.863 T1=0.76
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-grow7.opb		? (TO) TT=1800.07	? (TO) TT=1800.05	? (MO) TT=78.87	? (TO) TT=1800.27	? (TO) TT=1801.6	? (TO) TT=1800.17	OPT f=0 TT=24.872 T1=0.24
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-israel.opb	SAT f=-310031148983 TT=1800.3 T1=1736.84	SAT (TO) f=-92485082362 TT=1800.15 T1=1293.77	? (TO) TT=1800.14	? (MO) TT=65.17	SAT (TO) f=-310031148983 TT=1800.3 T1=1736.84	SAT (TO) f=-265708341479 TT=1800.51 T1=19.87	? (TO) TT=1800.08	? TT=1789.82
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-kb2.opb	SAT f=0 TT=1800.23 T1=1.85	? (TO) TT=1800.1	? (TO) TT=1800.02	? (MO) TT=91.18	SAT (TO) f=0 TT=1800.25 T1=3.09	SAT (TO) f=0 TT=1802.38 T1=3.17	SAT (TO) f=0 TT=1800.23 T1=1.85	SAT f=0 TT=1790.62 T1=0.04
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (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)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-lotfi.opb		? (TO) TT=1800.14	? (TO) TT=1800.11	? (MO) TT=85.26	? (TO) TT=1800.17	? (TO) TT=1800.48	? (TO) TT=1800.27	? (TO) TT=1802.1
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-maros.opb		UNSAT TT=29.278	? (TO) TT=1800.2	? (MO) TT=17.89	? (TO) TT=1800.13	? (TO) TT=1800.52	? (TO) TT=1800.19	UNSAT TT=552.91
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-maros-r7.opb		? (MO) TT=43.264	? (MO) TT=39.685	? (MO) TT=16.11	? (TO) TT=1800.3	? (TO) TT=1800.54	? (TO) TT=1800.22	? TT=1799.4
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-modszk1.opb		? (TO) TT=1800.17	? (TO) TT=1800.19	UNSAT TT=40.415	? (TO) TT=1800.26	? (TO) TT=1800.88	? (TO) TT=1800.26	UNSAT TT=3.883
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-nesm.opb	UNSAT TT=5.768	UNSAT TT=1373.32	UNSAT TT=1275.42	? (MO) TT=17.79	UNSAT TT=5.768	UNSAT TT=7.407	UNSAT TT=5.923	UNSAT TT=2.216
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-perold.opb	UNSAT TT=4.045	UNSAT TT=15.297	? (TO) TT=1800.2	? (MO) TT=29.78	UNSAT TT=4.045	UNSAT TT=5.186	UNSAT TT=4.128	UNSAT TT=1.157
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-pilot4.opb	UNSAT TT=3.832	UNSAT TT=13.588	? (TO) TT=1800.11	? (MO) TT=40.68	UNSAT TT=3.832	UNSAT TT=4.646	UNSAT TT=3.866	UNSAT TT=0.94
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-pilot87.opb	UNSAT TT=8.752	? (MO) TT=45.645	? (MO) TT=45.472	? (MO) TT=18.51	UNSAT TT=8.752	UNSAT TT=10.922	UNSAT TT=9.045	UNSAT TT=7.348
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-pilot.opb	UNSAT TT=4.946	? (MO) TT=49.363	? (MO) TT=50.475	? (MO) TT=17.6	UNSAT TT=4.946	UNSAT TT=5.819	UNSAT TT=4.986	UNSAT TT=4.614
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-pilot.we.opb	UNSAT TT=25.862	UNSAT TT=23.949	? (TO) TT=1800.19	? (MO) TT=19.29	UNSAT TT=25.862	UNSAT TT=45.32	? (TO) TT=1800.14	UNSAT TT=222.083
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (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)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-recipe.opb	OPT f=-136341504 TT=175.861 T1=9.38	? (TO) TT=1800.05	? (TO) TT=1800.1	? (MO) TT=89.57	SAT (TO) f=-63247360 TT=1800.48 T1=2.7	OPT f=-136341504 TT=175.861 T1=9.38	SAT (TO) f=-124865381 TT=1800.26 T1=447.81	OPT f=-136341504 TT=20.279 T1=20.24
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-sc105.opb	OPT f=0 TT=20.01 T1=2.38	Wrong UNSAT TT=75.441	? (TO) TT=1800.03	? (MO) TT=1279.86	SAT (TO) f=0 TT=1800.35 T1=2.38	OPT f=0 TT=32.951 T1=2.93	OPT f=0 TT=20.01 T1=2.54	OPT f=0 TT=436.274 T1=0.06
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-sc205.opb	OPT f=0 TT=21.506 T1=2.37	Wrong UNSAT TT=41.753	? (TO) TT=1800.05	? (MO) TT=91.18	SAT (TO) f=0 TT=1800.42 T1=2.97	OPT f=0 TT=41.025 T1=3.48	OPT f=0 TT=21.506 T1=2.37	SAT f=0 TT=1789.6 T1=0.12
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-sc50a.opb	OPT f=-60000 TT=14.178 T1=7.08	Wrong Opt. f=0 TT=9.501 T1=9.4	SAT (TO) f=-60000 TT=1800.08 T1=362.61	? (TO) TT=1800.04	SAT (TO) f=-30000 TT=1800.36 T1=926.15	OPT f=-60000 TT=27.864 T1=10.76	OPT f=-60000 TT=14.178 T1=7.08	OPT f=-60000 TT=39.933 T1=39.91
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-sc50b.opb	OPT f=-70000 TT=319.034 T1=316	Wrong Opt. f=-10000 TT=55.197 T1=50.96	SAT (TO) f=-60000 TT=1800.06 T1=28.02	? (TO) TT=1800.03	SAT (TO) f=0 TT=1800.3 T1=3.54	OPT f=-70000 TT=667.933 T1=347.53	OPT f=-70000 TT=319.034 T1=316	OPT f=-70000 TT=39.528 T1=39.41
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-scagr25.opb	UNSAT TT=3.105	? (TO) TT=1800.07	? (TO) TT=1800.07	UNSAT TT=13.713	UNSAT TT=3.594	UNSAT TT=4.888	UNSAT TT=3.105	UNSAT TT=0.425
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-scagr7.opb	UNSAT TT=1.852	UNSAT TT=1613.72	? (TO) TT=1800.12	UNSAT TT=4.478	UNSAT TT=1.852	UNSAT TT=2.857	UNSAT TT=2.645	UNSAT TT=0.13
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-scfxm1.opb	UNSAT TT=3.001	? (TO) TT=1800.14	? (TO) TT=1800.14	? (MO) TT=61.8	UNSAT TT=3.647	UNSAT TT=3.858	UNSAT TT=3.001	UNSAT TT=0.464
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-scfxm2.opb	UNSAT TT=4.263	? (TO) TT=1800.1	? (TO) TT=1800.14	? (MO) TT=36.58	UNSAT TT=4.576	UNSAT TT=5.11	UNSAT TT=4.263	UNSAT TT=0.827
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-scfxm3.opb	UNSAT TT=4.189	? (TO) TT=1800.18	? (TO) TT=1800.15	? (MO) TT=17.89	UNSAT TT=4.189	UNSAT TT=5.524	UNSAT TT=5.332	UNSAT TT=1.291
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (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)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-scorpion.opb		UNSAT TT=4.947	? (TO) TT=1800.05	? (MO) TT=75.47	? (TO) TT=1800.24	? (TO) TT=1800.32	? (TO) TT=1800.13	UNSAT TT=5.365
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-scrs8.opb		UNSAT TT=13.013	? (TO) TT=1800.17	? (MO) TT=60.97	? (TO) TT=1800.1	? (TO) TT=1800.36	? (TO) TT=1800.18	UNSAT TT=5.124
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-scsd1.opb		? (TO) TT=1800.18	? (TO) TT=1800.17	? (MO) TT=75.88	? (TO) TT=1800.23	? (TO) TT=1800.37	? (TO) TT=1800.26	UNSAT TT=1.585
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-scsd6.opb		? (TO) TT=1800.27	? (TO) TT=1800.26	? (MO) TT=43.08	? (TO) TT=1800.16	? (TO) TT=1800.33	? (TO) TT=1800.15	UNSAT TT=2.652
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-scsd8.opb		? (MO) TT=695.672	? (MO) TT=666.766	? (MO) TT=20.18	? (TO) TT=1800.15	? (TO) TT=1800.49	? (TO) TT=1800.23	UNSAT TT=5.471
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-sctap1.opb	SAT f=1847899095 TT=1800.5 T1=697.97	? (TO) TT=1800.15	? (TO) TT=1800.11	? (MO) TT=75.97	SAT (TO) f=1847899095 TT=1800.5 T1=697.97	SAT (TO) f=2151315699 TT=1800.61 T1=952.35	SAT (TO) f=1882598583 TT=1800.37 T1=1225.52	? TT=1789.54
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-sctap2.opb	SAT f=3992318216 TT=1800.46 T1=1473.52	? (TO) TT=1800.2	? (TO) TT=1800.18	? (MO) TT=20.9	SAT (TO) f=239104885124 TT=1800.49 T1=999.82	SAT (TO) f=6477558203 TT=1800.81 T1=987.8	SAT (TO) f=3992318216 TT=1800.46 T1=1473.52	? TT=1789.89
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-sctap3.opb	SAT f=10025257960 TT=1800.68 T1=1383.57	? (TO) TT=1800.26	? (TO) TT=1800.17	? (MO) TT=21.69	? (TO) TT=1800.21	SAT (TO) f=10073718114 TT=1800.76 T1=972.48	SAT (TO) f=10025257960 TT=1800.68 T1=1383.57	? TT=1790.14
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-seba.opb		? (TO) TT=1800.09	? (TO) TT=1800.12	? (MO) TT=41.17	? (TO) TT=1800.2	? (TO) TT=1800.48	? (TO) TT=1800.28	? TT=1789.71
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-share1b.opb	UNSAT TT=2.317	UNSAT TT=1413.21	UNSAT TT=566.802	UNSAT TT=8.636	UNSAT TT=2.317	UNSAT TT=4.016	UNSAT TT=2.989	UNSAT TT=0.224
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (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)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-share2b.opb	SAT f=-42278850 TT=1800.31 T1=1716.8	? (TO) TT=1800.12	? (TO) TT=1800.08	? (MO) TT=88.57	SAT (TO) f=-42278850 TT=1800.31 T1=1716.8	SAT (TO) f=-42192248 TT=1800.54 T1=923.41	? (TO) TT=1800.17	SAT f=-44455288 TT=1790.2 T1=997.53
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-shell.opb		? (TO) TT=1800.18	? (TO) TT=1800.13	? (MO) TT=88.77	? (TO) TT=1800.14	? (TO) TT=1800.47	? (TO) TT=1800.19	UNSAT TT=109.669
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-ship04l.opb	UNSAT TT=4.563	UNSAT TT=513.161	UNSAT TT=220.162	? (MO) TT=18.19	UNSAT TT=4.746	UNSAT TT=5.838	UNSAT TT=4.563	UNSAT TT=1.803
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-ship04s.opb	UNSAT TT=1.802	UNSAT TT=99.02	UNSAT TT=79.839	? (MO) TT=42.67	UNSAT TT=1.802	UNSAT TT=2.077	UNSAT TT=1.862	UNSAT TT=1.164
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-ship08l.opb	UNSAT TT=6.944	? (MO) TT=29.174	? (MO) TT=26.932	? (MO) TT=17.29	UNSAT TT=7.266	UNSAT TT=8.808	UNSAT TT=6.944	UNSAT TT=3.539
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-ship08s.opb	UNSAT TT=5.014	UNSAT TT=118.608	UNSAT TT=132.403	? (MO) TT=17.98	UNSAT TT=6.003	UNSAT TT=6.919	UNSAT TT=5.014	UNSAT TT=1.961
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-ship12l.opb	UNSAT TT=4.932	? (MO) TT=31.075	? (MO) TT=28.686	? (MO) TT=18.09	UNSAT TT=4.945	UNSAT TT=6.036	UNSAT TT=4.932	UNSAT TT=4.702
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-ship12s.opb	UNSAT TT=3.742	UNSAT TT=147.672	UNSAT TT=146.669	? (MO) TT=18.09	UNSAT TT=4.094	UNSAT TT=4.798	UNSAT TT=3.742	UNSAT TT=2.28
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-sierra.opb		? (TO) TT=1800.22	? (TO) TT=1800.16	? (MO) TT=16.58	? (TO) TT=1800.22	? (TO) TT=1803.73	? (TO) TT=1800.22	? TT=1789.96
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-stair.opb	UNSAT TT=11.278	? (TO) TT=1800.15	? (TO) TT=1800.11	? (MO) TT=64.86	? (TO) TT=1800.18	UNSAT TT=20.038	UNSAT TT=11.278	UNSAT TT=692.049
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (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)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-standata.opb		? (TO) TT=1800.16	? (TO) TT=1800.16	? (MO) TT=59.18	? (TO) TT=1800.16	? (TO) TT=1800.15	? (TO) TT=1800.12	? TT=1789.58
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-standgub.opb		? (TO) TT=1800.1	? (TO) TT=1800.11	? (MO) TT=58.87	? (TO) TT=1800.12	? (TO) TT=1800.31	? (TO) TT=1800.19	? TT=1789.93
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-stocfor1.opb	UNSAT TT=1.078	UNSAT TT=1.181	UNSAT TT=1.078	UNSAT TT=33.22	UNSAT TT=1.426	UNSAT TT=3.349	UNSAT TT=1.838	UNSAT TT=0.106
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-stocfor2.opb	UNSAT TT=5.433	UNSAT TT=27.731	UNSAT TT=24.423	? (MO) TT=17.79	UNSAT TT=5.717	UNSAT TT=7.444	UNSAT TT=5.433	UNSAT TT=1.896
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-tuff.opb		? (TO) TT=1800.14	? (TO) TT=1800.09	? (MO) TT=39.89	? (TO) TT=1800.16	? (TO) TT=1800.36	? (TO) TT=1800.15	? TT=1789.78
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-vtp.base.opb		? (TO) TT=1800.03	? (TO) TT=1800.09	? (MO) TT=91.57	? (TO) TT=1800.15	? (TO) TT=1800.24	? (TO) TT=1800.22	? TT=1789.71
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-wood1p.opb		? (MO) TT=42.275	? (MO) TT=38.778	? (MO) TT=17.3	? (TO) TT=1800.19	? (TO) TT=1800.23	? (TO) TT=1800.14	UNSAT TT=1590.09
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-woodw.opb	UNSAT TT=20.962	? (MO) TT=35.998	? (MO) TT=41.59	? (MO) TT=17.99	UNSAT TT=21.582	UNSAT TT=36.208	UNSAT TT=20.962	UNSAT TT=9.505
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-a1c1s1.opb		? (TO) TT=1800.19	? (TO) TT=1800.15	? (MO) TT=18.09	? (TO) TT=1800.22	? (TO) TT=1801.69	? (TO) TT=1800.21	UNSAT TT=127.889
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-arki001.opb	UNSAT TT=4.123	UNSAT TT=11.058	? (TO) TT=1800.09	? (MO) TT=45.91	UNSAT TT=4.123	UNSAT TT=5.922	? (TO) TT=1800.23	UNSAT TT=1621.38
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (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)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-atlanta-ip.opb	SAT f=9201230968262 TT=1800.65 T1=341.45	? (MO) TT=27.678	? (MO) TT=25.432	? (MO) TT=15.79	SAT (TO) f=10801460580757 TT=1800.61 T1=223.54	SAT (TO) f=9201230968262 TT=1800.87 T1=626.53	SAT (TO) f=9201230968262 TT=1800.65 T1=341.45	? TT=1792.81
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-dano3mip.opb		? (MO) TT=33.026	? (MO) TT=32.511	? (MO) TT=16.78	? (TO) TT=1800.24	? (TO) TT=1800.36	? (TO) TT=1800.13	? TT=1792.97
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-danoint.opb		? (TO) TT=1800.14	? (TO) TT=1800.16	? (MO) TT=61.02	? (TO) TT=1800.23	? (TO) TT=1800.32	? (TO) TT=1800.15	? TT=1789.71
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-ds.opb		? (MO) TT=84.826	? (MO) TT=77.516	? (MO) TT=72.63	? TT=328.717	? TT=296.059	? TT=328.988	? (MO) TT=99.98
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-fiber.opb	SAT f=48060583 TT=1800.24 T1=1407.2	? (TO) TT=1800.09	? (TO) TT=1800.05	? (TO) TT=1800.05	SAT (TO) f=85906480 TT=1800.23 T1=78.01	SAT (TO) f=98430113 TT=1800.34 T1=6.87	SAT (TO) f=48060583 TT=1800.24 T1=1407.2	OPT f=40593518 TT=106.776 T1=106.5
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-fixnet6.opb	SAT f=13355800 TT=1800.5 T1=12.76	? (TO) TT=1800.06	? (TO) TT=1800.14	? (MO) TT=78.17	SAT (TO) f=42577045 TT=1800.48 T1=108.81	SAT (TO) f=13355800 TT=1800.73 T1=12.76	SAT (TO) f=13355800 TT=1800.5 T1=14.06	SAT f=47443218 TT=1789.74 T1=726.33
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-gesa2-o.opb		? (TO) TT=1800.13	? (TO) TT=1800.14	? (MO) TT=69.46	? (TO) TT=1800.19	? (TO) TT=1803.26	? (TO) TT=1800.19	? TT=1789.63
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-gesa2.opb	SAT f=4871992012260 TT=1800.43 T1=30.6	? (TO) TT=1800.12	SAT (TO) f=10076577371605 TT=1800.07 T1=1359.6	? (MO) TT=73.33	? (TO) TT=1800.25	SAT (TO) f=4871992012260 TT=1800.71 T1=86.76	SAT (TO) f=4871992012260 TT=1800.43 T1=30.6	? TT=1789.49
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-glass4.opb	OPT f=1228810444800 TT=53.925 T1=50.19	OPT f=1228810444800 TT=1490.08 T1=1456.95	OPT f=1228810444800 TT=696.461 T1=695.47	? (MO) TT=82.16	SAT (TO) f=3080214206652 TT=1800.3 T1=1703.24	OPT f=1228810444800 TT=112.26 T1=66.72	OPT f=1228810444800 TT=53.925 T1=50.19	Wrong UNSAT TT=0.165
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-harp2.opb	SAT f=-68638685 TT=1800.45 T1=3.3	Wrong UNSAT TT=0.912	SAT (TO) f=-64028999 TT=1800.05 T1=1462.72	? (TO) TT=1800.1	SAT (TO) f=-68638685 TT=1800.45 T1=3.3	SAT (TO) f=-68638685 TT=1800.47 T1=3.82	SAT (TO) f=-65450908 TT=1800.19 T1=1.56	? TT=576.775
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (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)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-liu.opb	SAT f=8912896 TT=1800.24 T1=770.6	? (TO) TT=1800.13	? (TO) TT=1800.08	? (MO) TT=35.88	? (TO) TT=1800.33	SAT (TO) f=8912896 TT=1800.53 T1=911.19	SAT (TO) f=8912896 TT=1800.24 T1=770.6	Wrong UNSAT TT=79.595
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-markshare1.opb	SAT f=21504 TT=1800.12 T1=1533.95	SAT (TO) f=34816 TT=1800.03 T1=124.25	SAT (TO) f=37888 TT=1800.02 T1=1476.11	? (TO) TT=1800.09	SAT (TO) f=272384 TT=1800.11 T1=19.02	SAT (TO) f=25600 TT=1800.37 T1=1034.61	SAT (TO) f=21504 TT=1800.12 T1=1533.95	SAT f=9216 TT=1790.91 T1=937.19
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-markshare2.opb	SAT f=48128 TT=1800.19 T1=451.28	SAT (TO) f=87040 TT=1800.02 T1=1631.25	SAT (TO) f=99328 TT=1800.06 T1=615.23	? (TO) TT=1800.01	SAT (TO) f=316416 TT=1800.19 T1=22.77	SAT (TO) f=48128 TT=1800.48 T1=762.97	SAT (TO) f=48128 TT=1800.19 T1=451.28	SAT f=22528 TT=1793.3 T1=1008.94
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-mas74.opb	SAT f=54886400640 TT=1800.16 T1=588.65	SAT (TO) f=63710256890 TT=1800.02 T1=1166.46	SAT (TO) f=117287063140 TT=1800.02 T1=4.09	? (TO) TT=1800.02	SAT (TO) f=3200000000000000640 TT=1801.09 T1=313.46	SAT (TO) f=54886400640 TT=1800.46 T1=982.85	SAT (TO) f=54886400640 TT=1800.16 T1=588.65	Wrong UNSAT TT=0.079
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-mas76.opb	SAT f=148070400480 TT=1800.13 T1=315.17	SAT (TO) f=173433800480 TT=1800.1 T1=510.37	SAT (TO) f=169779200480 TT=1800.09 T1=676.5	? (TO) TT=1800.06	SAT (TO) f=209715197355 TT=1800.18 T1=12.74	SAT (TO) f=148070400480 TT=1800.31 T1=587.21	SAT (TO) f=148070400480 TT=1800.13 T1=315.17	Wrong UNSAT TT=0.074
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-misc07.opb	SAT f=1076618240 TT=1800.18 T1=1048.82	SAT (TO) f=1076874240 TT=1800.07 T1=1388.1	SAT (TO) f=1076966400 TT=1800.1 T1=1004.13	? (TO) TT=1800.03	SAT (TO) f=1076618240 TT=1800.19 T1=1048.82	? (TO) TT=1803.63	SAT (TO) f=1076618240 TT=1800.18 T1=1322.35	Wrong Cert. TT=50.717
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-mkc.opb	SAT f=-59125 TT=1800.13 T1=445.32	Wrong UNSAT TT=1.519	SAT (TO) f=-59125 TT=1800.13 T1=445.32	? (TO) TT=1800.07	? (TO) TT=1800.2	? (TO) TT=1800.69	? (TO) TT=1800.24	SAT f=0 TT=1789.78 T1=0.16
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-mod011.opb		? (MO) TT=33.967	? (MO) TT=31.183	? (MO) TT=19.4	? (TO) TT=1800.2	? (TO) TT=1800.44	? (TO) TT=1800.18	? (MO) TT=992.407
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-modglob.opb		? (TO) TT=1800.08	? (TO) TT=1800.05	UNSAT TT=12.194	? (TO) TT=1800.29	? (TO) TT=1803.59	? (TO) TT=1800.24	UNSAT TT=0.865
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-momentum1.opb	UNSAT TT=6.57	UNSAT TT=35.367	UNSAT TT=34.058	? (MO) TT=15.59	UNSAT TT=6.57	UNSAT TT=8.221	UNSAT TT=6.724	UNSAT TT=2.855
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (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)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-momentum2.opb	UNSAT TT=27.294	? (MO) TT=64.785	? (MO) TT=61.77	? (MO) TT=17.58	UNSAT TT=27.294	UNSAT TT=36.864	UNSAT TT=28.653	UNSAT TT=10.912
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-momentum3.opb	OPT f=10752000000 TT=258.146 T1=105.04	? (MO) TT=138.243	? (MO) TT=127.19	? (MO) TT=17.007	SAT (TO) f=10752000000 TT=1800.73 T1=222.2	? TT=266.45	OPT f=10752000000 TT=258.146 T1=105.04	Wrong UNSAT TT=47.19
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-msc98-ip.opb	SAT f=2307342500864557759 TT=1800.61 T1=1562.92	? (TO) TT=1800.18	? (TO) TT=1800.02	? (MO) TT=15.3	SAT (TO) f=2307342500864557759 TT=1800.61 T1=1562.92	SAT (TO) f=2541176700879075034 TT=1800.6 T1=325.25	SAT (TO) f=2526894400705536416 TT=1800.53 T1=137.69	? (TO) TT=1802.04
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-noswot.opb	OPT f=-41 TT=279.231 T1=2.05	Wrong UNSAT TT=0.889	SAT (TO) f=-41 TT=1800.03 T1=395.52	? (MO) TT=89.86	SAT (TO) f=-41 TT=1800.32 T1=2.99	OPT f=-41 TT=506.823 T1=6.1	OPT f=-41 TT=279.231 T1=2.05	Wrong Cert. TT=88.43
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-nsrand-ipx.opb	SAT f=1207959552 TT=1802.1 T1=231.85	SAT (TO) f=1224736768 TT=1800.16 T1=262.16	SAT (TO) f=1215626240 TT=1800.12 T1=546.54	? (MO) TT=14.88	SAT (TO) f=2147483536 TT=1800.28 T1=1772.58	SAT (TO) f=1207959552 TT=1802.1 T1=231.85	? (TO) TT=1800.12	SAT f=1134361600 TT=1789.95 T1=1459.64
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-pk1.opb	SAT f=54272 TT=1800.24 T1=1731.94	SAT (TO) f=56337 TT=1800.07 T1=1791.02	SAT (TO) f=57344 TT=1800.05 T1=1683.33	? (TO) TT=1800.02	? (TO) TT=1800.16	SAT (TO) f=57344 TT=1800.57 T1=678.98	SAT (TO) f=54272 TT=1800.24 T1=1731.94	SAT f=19456 TT=1789.87 T1=102.92
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-pp08aCUTS.opb		? (TO) TT=1800.08	? (TO) TT=1800.12	? (MO) TT=88.67	? (TO) TT=1800.23	? (TO) TT=1803.46	? (TO) TT=1800.21	? TT=1789.79
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-pp08a.opb		? (TO) TT=1800.07	? (TO) TT=1800.14	? (MO) TT=86.59	? (TO) TT=1800.25	? (TO) TT=1803.65	? (TO) TT=1800.19	? TT=1789.5
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-qiu.opb		? (TO) TT=1800.15	? (TO) TT=1800.08	UNSAT TT=9.36	? (TO) TT=1800.16	? (TO) TT=1800.38	? (TO) TT=1800.16	? TT=1789.71
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-rd-rplusc-21.opb	UNSAT TT=64.052	? (MO) TT=72.586	? (MO) TT=68.054	? (MO) TT=22.14	UNSAT TT=64.052	UNSAT TT=83.515	UNSAT TT=64.366	? (MO) TT=28.922
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (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)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-roll3000.opb		UNSAT TT=6.63	? (TO) TT=1800.06	? (MO) TT=62.35	? (TO) TT=1800.14	? (TO) TT=1800.52	? (TO) TT=1800.3	? TT=1789.67
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-rout.opb	SAT f=1075022336 TT=1800.35 T1=834.13	Wrong UNSAT TT=1.526	SAT (TO) f=1075136768 TT=1800.07 T1=1418.61	? (MO) TT=83.57	SAT (TO) f=1075218944 TT=1800.38 T1=634.61	SAT (TO) f=1075128832 TT=1800.34 T1=724.53	SAT (TO) f=1075022336 TT=1800.35 T1=834.13	Wrong Cert. TT=1789.85
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-set1ch.opb	SAT f=329053861 TT=1800.45 T1=101.45	? (TO) TT=1800.13	? (TO) TT=1800.09	? (MO) TT=77.37	SAT (TO) f=64837557142 TT=1800.52 T1=5.36	SAT (TO) f=329053861 TT=1800.77 T1=181.05	SAT (TO) f=329053861 TT=1800.45 T1=101.45	? TT=1789.7
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-sp97ar.opb	SAT f=43990864208 TT=1800.81 T1=162.01	? (TO) TT=1800.06	? (TO) TT=1800.1	? (MO) TT=24.06	SAT (TO) f=44201940720 TT=1800.9 T1=1004.78	SAT (TO) f=43990864208 TT=1801.29 T1=193.83	SAT (TO) f=43990864208 TT=1800.81 T1=162.01	SAT f=38804091452 TT=1794.45 T1=1793.65
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-stp3d.opb		? (MO) TT=27.976	? (MO) TT=25.788	? (MO) TT=14.99	? (TO) TT=1800.25	? (TO) TT=1800.4	? (TO) TT=1800.25	? TT=1797.29
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-swath.opb		? (TO) TT=1800.1	? (TO) TT=1800.1	? (MO) TT=37.48	? (TO) TT=1800.15	? (TO) TT=1800.34	? (TO) TT=1800.22	? (TO) TT=1801.77
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-timtab1.opb		? (TO) TT=1800.04	? (TO) TT=1800.05	UNSAT TT=41.415	? (TO) TT=1800.27	? (TO) TT=1800.31	? (TO) TT=1800.18	? TT=1789.64
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-timtab2.opb	SAT f=159425264299921103 TT=1800.33 T1=1046.04	? (TO) TT=1800.06	? (TO) TT=1800.07	? (MO) TT=84.68	? (TO) TT=1800.25	SAT (TO) f=170292130899920126 TT=1800.36 T1=390.03	SAT (TO) f=159425264299921103 TT=1800.33 T1=1046.04	Wrong UNSAT TT=3.775
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-tr12-30.opb		? (TO) TT=1800.07	? (TO) TT=1800.07	? (MO) TT=66.27	? (TO) TT=1800.2	? (TO) TT=1800.38	? (TO) TT=1800.16	? TT=1789.92
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-van.opb	SAT f=24193312742 TT=1800.71 T1=248.59	? (MO) TT=43.227	? (MO) TT=39.972	? (MO) TT=15.37	SAT (TO) f=24193312742 TT=1800.74 T1=865.16	SAT (TO) f=25442247019 TT=1801.03 T1=57.05	SAT (TO) f=24193312742 TT=1800.71 T1=248.59	? (MO) TT=1676.09
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (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)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib3/ normalized-mps-v2-20-10-blend2.opb	SAT f=46020508 TT=1800.37 T1=937.19	? (TO) TT=1800.12	? (TO) TT=1800.16	? (MO) TT=78.76	? (TO) TT=1800.3	SAT (TO) f=47238464 TT=1800.59 T1=58.91	SAT (TO) f=46020508 TT=1800.37 T1=937.19	? (exit code) TT=434.193
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib3/ normalized-mps-v2-20-10-gesa3_o.opb		UNSAT TT=4.904	? (TO) TT=1800.13	? (MO) TT=70.65	? (TO) TT=1800.27	? (TO) TT=1800.34	? (TO) TT=1800.24	? TT=1789.62
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib3/ normalized-mps-v2-20-10-gesa3.opb	SAT f=5531010133646 TT=1800.46 T1=50.14	Wrong UNSAT TT=5.926	SAT (TO) f=11750815436515 TT=1800.11 T1=297.39	? (MO) TT=70.55	? (TO) TT=1800.27	SAT (TO) f=5531010133646 TT=1800.59 T1=55.67	SAT (TO) f=5531010133646 TT=1800.46 T1=50.14	? TT=1789.78
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib3/ normalized-mps-v2-20-10-qnet1_o.opb	UNSAT TT=5.4	UNSAT TT=680.312	UNSAT TT=482.557	? (TO) TT=1800	UNSAT TT=5.4	UNSAT TT=7.301	UNSAT TT=5.704	UNSAT TT=0.235
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib3/ normalized-mps-v2-20-10-qnet1.opb	UNSAT TT=4.543	UNSAT TT=15.098	UNSAT TT=382.131	? (TO) TT=1800.1	UNSAT TT=90.612	UNSAT TT=5.759	UNSAT TT=4.543	UNSAT TT=0.246
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-bell3a.opb	SAT f=105006356304400 TT=1800.15 T1=22.29	SAT (TO) f=123970438486800 TT=1800.08 T1=1065.9	SAT (TO) f=129581872342300 TT=1800.07 T1=1060.56	? (TO) TT=1800.04	SAT (TO) f=180773664521500 TT=1800.22 T1=119.63	SAT (TO) f=122588961837590 TT=1800.5 T1=4.78	SAT (TO) f=105006356304400 TT=1800.15 T1=22.29	Wrong UNSAT TT=0.341
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-bell3b.opb	SAT f=1268353751751630 TT=1800.26 T1=62.3	SAT (TO) f=1351255291085075 TT=1800.04 T1=1586.77	SAT (TO) f=1355256952965348 TT=1800.06 T1=1549.42	? (TO) TT=1800.09	SAT (TO) f=1299937030872100 TT=1800.24 T1=80.59	SAT (TO) f=1268353751751630 TT=1800.36 T1=69.99	SAT (TO) f=1268353751751630 TT=1800.26 T1=62.3	Wrong UNSAT TT=0.334
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-bell4.opb	SAT f=194505094762798 TT=1800.4 T1=236.05	SAT (TO) f=204753374256749 TT=1800.04 T1=1646.3	SAT (TO) f=198825650116654 TT=1800.04 T1=500.45	? (TO) TT=1800.04	SAT (TO) f=195364307577754 TT=1800.33 T1=1691.44	SAT (TO) f=194505094762798 TT=1800.4 T1=236.05	SAT (TO) f=202184424499114 TT=1800.21 T1=10.08	Wrong UNSAT TT=0.298
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-bell5.opb	SAT f=938830260671609 TT=1800.21 T1=22.87	Wrong UNSAT TT=0.609	SAT (TO) f=1015346835157339 TT=1800.06 T1=1766.35	? (TO) TT=1800.03	SAT (TO) f=938830260671609 TT=1800.21 T1=22.87	SAT (TO) f=956329134218874 TT=1800.41 T1=5.89	SAT (TO) f=940504911738069 TT=1800.26 T1=1077.29	Wrong UNSAT TT=0.164
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-dcmulti.opb		? (TO) TT=1800.06	? (TO) TT=1800.08	? (MO) TT=88.27	? (TO) TT=1800.27	? (TO) TT=1800.53	? (TO) TT=1800.15	? TT=1789.82
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (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)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-egout.opb	OPT f=471047168 TT=84.448 T1=70.49	SAT (TO) f=904720478 TT=1800.11 T1=1151.73	OPT f=471047168 TT=124.821 T1=76.62	Wrong UNSAT TT=1675.26	SAT (TO) f=492900352 TT=1800.44 T1=46.23	OPT f=471047168 TT=191.372 T1=209.5	OPT f=471047168 TT=84.448 T1=70.49	OPT f=471047168 TT=25.088 T1=23.73
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-fixnet3.opb	SAT f=138878980 TT=1800.48 T1=1210.96	? (TO) TT=1800.13	? (TO) TT=1800.09	? (MO) TT=81.58	? (TO) TT=1800.21	SAT (TO) f=142383596 TT=1800.57 T1=659.79	SAT (TO) f=138878980 TT=1800.48 T1=1210.96	? TT=1789.72
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-fixnet4.opb	SAT f=26762036 TT=1800.45 T1=102.97	? (TO) TT=1800.14	? (TO) TT=1800.06	? (MO) TT=77.17	? (TO) TT=1800.17	SAT (TO) f=26762036 TT=1803.9 T1=139.43	SAT (TO) f=26762036 TT=1800.45 T1=102.97	? TT=1789.71
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-flugpl.opb	OPT f=14745600 TT=0.258 T1=0.23	OPT f=14745600 TT=0.241 T1=0.22	OPT f=14745600 TT=0.258 T1=0.23	? (TO) TT=1800.02	OPT f=14745600 TT=4.296 T1=1.48	OPT f=14745600 TT=3.948 T1=4.4	OPT f=14745600 TT=1.247 T1=0.7	OPT f=14745600 TT=0.785 T1=0.77
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-gen.opb	SAT f=59412689511365 TT=1800.45 T1=578.29	Wrong UNSAT TT=4.342	? (TO) TT=1800.05	? (MO) TT=77.57	SAT (TO) f=65264315763332 TT=1800.62 T1=321.76	SAT (TO) f=59572366081054 TT=1801.5 T1=394.56	SAT (TO) f=59412689511365 TT=1800.45 T1=578.29	? TT=1789.77
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-khb05250.opb	SAT f=253571972295 TT=1800.51 T1=955.22	? (TO) TT=1800.15	? (TO) TT=1800.18	? (MO) TT=89.48	SAT (TO) f=253571972295 TT=1800.51 T1=955.22	SAT (TO) f=335942735822 TT=1800.68 T1=904.55	? (TO) TT=1800.2	Wrong UNSAT TT=17.953
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-misc01.opb	OPT f=1074317824 TT=1.773 T1=0.63	Wrong UNSAT TT=0.047	OPT f=1074317824 TT=1.773 T1=0.63	? (TO) TT=1800.1	OPT f=1074317824 TT=13.192 T1=7.31	OPT f=1074317824 TT=5.249 T1=3.32	OPT f=1074317824 TT=2.019 T1=0.96	Wrong Cert. TT=1.951
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-misc02.opb	OPT f=1075471360 TT=0.545 T1=0.4	OPT f=1075471360 TT=0.249 T1=0.04	OPT f=1075471360 TT=0.545 T1=0.4	? (TO) TT=1800.05	OPT f=1075471360 TT=7.266 T1=3.58	OPT f=1075471360 TT=6.019 T1=4.3	OPT f=1075471360 TT=2.434 T1=0.95	Wrong Cert. TT=0.472
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-misc03.opb	OPT f=1077181440 TT=5.737 T1=1.29	OPT f=1077181440 TT=101.965 T1=12.69	OPT f=1077181440 TT=272.007 T1=14.54	? (TO) TT=1800.09	OPT f=1077181440 TT=78.461 T1=11.67	OPT f=1077181440 TT=12.66 T1=5.61	OPT f=1077181440 TT=5.737 T1=1.29	Wrong Cert. TT=8.491
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-misc04.opb		? (MO) TT=38.968	? (MO) TT=34.67	? (MO) TT=17.79	? (TO) TT=1800.16	? (TO) TT=1800.45	? (TO) TT=1800.2	UNSAT TT=57.277
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (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)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-misc05.opb	OPT f=1076796928 TT=481.022 T1=68.25	Wrong Opt. f=1076903936 TT=50.857 T1=38.42	SAT (TO) f=1076796928 TT=1800.07 T1=115.13	? (TO) TT=1800.03	SAT (TO) f=1076914176 TT=1800.25 T1=17.34	OPT f=1076796928 TT=1077.44 T1=81.63	OPT f=1076796928 TT=481.022 T1=68.25	Wrong Cert. TT=29.283
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-misc06.opb		UNSAT TT=17.424	? (TO) TT=1800.18	? (MO) TT=23.89	? (TO) TT=1800.05	? (TO) TT=1800.43	? (TO) TT=1800.22	UNSAT TT=2.051
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-mod013.opb	SAT f=30807040 TT=1800.16 T1=1713.42	SAT (TO) f=79012156 TT=1800.09 T1=1766.19	SAT (TO) f=41365504 TT=1800.06 T1=1388.54	? (TO) TT=1800.08	SAT (TO) f=33049600 TT=1800.26 T1=3.75	SAT (TO) f=30940160 TT=1800.29 T1=883.98	SAT (TO) f=30807040 TT=1800.16 T1=1713.42	OPT f=28769280 TT=62.997 T1=57.38
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-rgn.opb		? (TO) TT=1800.05	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.29	? (TO) TT=1800.56	? (TO) TT=1800.2	? TT=1789.63
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-sample2.opb	OPT f=384000 TT=6.799 T1=1.32	Wrong Opt. f=414720 TT=116.633 T1=116.17	OPT f=384000 TT=68.886 T1=68.72	? (TO) TT=1800.03	OPT f=384000 TT=949.663 T1=24.44	OPT f=384000 TT=49.514 T1=16.66	OPT f=384000 TT=6.799 T1=1.32	OPT f=384000 TT=5.078 T1=4.99
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-set1al.opb	SAT f=160099728 TT=1800.44 T1=1754.25	? (TO) TT=1800.11	? (TO) TT=1800.08	? (MO) TT=78.57	? (TO) TT=1800.22	SAT (TO) f=316702419 TT=1801.21 T1=670.9	SAT (TO) f=160099728 TT=1800.44 T1=1754.25	? TT=1789.77
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-set1cl.opb	SAT f=27591564 TT=1800.36 T1=35.25	? (TO) TT=1800.08	? (TO) TT=1800.09	? (MO) TT=84.67	? (TO) TT=1800.25	SAT (TO) f=27591564 TT=1800.83 T1=41.5	SAT (TO) f=27591564 TT=1800.36 T1=35.25	? TT=1789.77
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ fctp/normalized-mps-v2-20-10-bal8x12.opb	SAT f=82683104 TT=1800.18 T1=300.57	SAT (TO) f=204957827 TT=1800.07 T1=1315.7	SAT (TO) f=208509050 TT=1800.07 T1=1448.55	? (TO) TT=1800.01	SAT (TO) f=129269660 TT=1800.34 T1=47.29	SAT (TO) f=82683104 TT=1800.45 T1=361.77	SAT (TO) f=82683104 TT=1800.18 T1=300.57	OPT f=48286720 TT=41.239 T1=40.63
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-bk4x3.opb	OPT f=358400 TT=2.914 T1=1.8	Wrong Opt. f=387072 TT=3.815 T1=1.28	OPT f=358400 TT=2.914 T1=1.8	? (TO) TT=1800.07	SAT (TO) f=358400 TT=1800.23 T1=1201.67	OPT f=358400 TT=19.183 T1=23.63	OPT f=358400 TT=5.265 T1=2.39	OPT f=358400 TT=3.055 T1=3.03
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-gr4x6.opb	OPT f=20720640 TT=272.328 T1=22.02	SAT (TO) f=20720640 TT=1800.03 T1=69.16	SAT (TO) f=20720640 TT=1800.05 T1=22.02	? (TO) TT=1800.04	SAT (TO) f=21145600 TT=1800.16 T1=204.29	OPT f=20720640 TT=622.482 T1=84.03	OPT f=20720640 TT=272.328 T1=70.77	OPT f=20720640 TT=12.831 T1=11.82
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (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)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n3700.opb		? (MO) TT=56.763	? (MO) TT=55.968	? (MO) TT=15.99	? (TO) TT=1800.15	? (TO) TT=1800.25	? (TO) TT=1800.22	Wrong UNSAT TT=571.547
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n3701.opb		? (MO) TT=56.571	? (MO) TT=51.873	? (MO) TT=16.49	? (TO) TT=1800.17	? (TO) TT=1800.31	? (TO) TT=1800.22	? (TO) TT=1802.1
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n3702.opb		? (MO) TT=110.042	? (MO) TT=50.265	? (MO) TT=17.21	? (TO) TT=1800.13	? (TO) TT=1800.53	? (TO) TT=1800.24	? TT=1791.13
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n3703.opb		? (MO) TT=52.874	? (MO) TT=50.567	? (MO) TT=15.81	? (TO) TT=1800.17	? (TO) TT=1800.52	? (TO) TT=1800.27	? TT=1798.96
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n3704.opb		? (MO) TT=52.663	? (MO) TT=51.362	? (MO) TT=17.06	? (TO) TT=1800.2	? (TO) TT=1800.48	? (TO) TT=1800.23	? TT=1792.63
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n3705.opb	SAT f=12665835129 TT=1800.8 T1=1202.79	? (MO) TT=56.483	? (MO) TT=52.092	? (MO) TT=15.94	? (TO) TT=1800.24	? (TO) TT=1800.47	SAT (TO) f=12665835129 TT=1800.8 T1=1202.79	Wrong UNSAT TT=1046.18
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n3706.opb		? (MO) TT=57.834	? (MO) TT=56.766	? (MO) TT=16.51	? (TO) TT=1800.12	? (TO) TT=1800.27	? (TO) TT=1800.34	Wrong UNSAT TT=407.63
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n3707.opb		? (MO) TT=55.78	? (MO) TT=50.773	? (MO) TT=16.68	? (TO) TT=1800.18	? (TO) TT=1800.25	? (TO) TT=1800.22	Wrong UNSAT TT=1062.87
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n3708.opb		? (MO) TT=54.66	? (MO) TT=49.366	? (MO) TT=15.96	? (TO) TT=1800.19	? (TO) TT=1800.44	? (TO) TT=1800.31	? TT=1794.83
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n3709.opb		? (MO) TT=55.723	? (MO) TT=52.025	? (MO) TT=16.5	? (TO) TT=1800.1	? (TO) TT=1800.39	? (TO) TT=1800.25	Wrong UNSAT TT=346.034
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (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)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n370a.opb		? (MO) TT=52.829	? (MO) TT=50.508	? (MO) TT=16.49	? (TO) TT=1800.11	? (TO) TT=1800.35	? (TO) TT=1800.14	? (TO) TT=1801.66
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n370b.opb		? (MO) TT=57.167	? (MO) TT=52.957	? (MO) TT=17.01	? (TO) TT=1800.2	? (TO) TT=1800.38	? (TO) TT=1800.2	Wrong UNSAT TT=916.347
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n370c.opb		? (MO) TT=58.089	? (MO) TT=51.771	? (MO) TT=16.58	? (TO) TT=1800.31	? (TO) TT=1800.92	? (TO) TT=1800.27	Wrong UNSAT TT=426.94
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n370e.opb	SAT f=11864971985 TT=1800.74 T1=1386.28	? (MO) TT=54.326	? (MO) TT=50.362	? (MO) TT=16.96	? (TO) TT=1800.17	? (TO) TT=1800.46	SAT (TO) f=11864971985 TT=1800.74 T1=1386.28	Wrong UNSAT TT=1774.99
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-ran10x10a.opb	SAT f=1751040 TT=1800.27 T1=8.07	SAT (TO) f=13510868 TT=1800.04 T1=1607.48	SAT (TO) f=13359645 TT=1800.12 T1=1609.29	? (TO) TT=1800.09	SAT (TO) f=1751040 TT=1800.27 T1=33.68	SAT (TO) f=1751040 TT=1800.29 T1=8.07	SAT (TO) f=2033647 TT=1800.19 T1=1.96	OPT f=1534976 TT=396.784 T1=187.25
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-ran10x10b.opb	SAT f=3729408 TT=1800.3 T1=274.77	SAT (TO) f=25615286 TT=1800.05 T1=1483.89	SAT (TO) f=26279711 TT=1800.04 T1=1307.67	? (TO) TT=1800.01	SAT (TO) f=3729408 TT=1800.3 T1=632.83	SAT (TO) f=3729408 TT=1800.47 T1=274.77	SAT (TO) f=3757056 TT=1800.28 T1=982.08	OPT f=3146752 TT=270.385 T1=216.46
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-ran10x10c.opb	SAT f=14191616 TT=1800.21 T1=13.53	SAT (TO) f=89460444 TT=1800.12 T1=1214.8	SAT (TO) f=93671564 TT=1800.06 T1=1536.09	? (TO) TT=1800.08	SAT (TO) f=15246336 TT=1800.33 T1=484.42	SAT (TO) f=14191616 TT=1800.44 T1=26.3	SAT (TO) f=14191616 TT=1800.21 T1=13.53	OPT f=13474816 TT=1048.59 T1=420.74
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-ran10x12.opb	SAT f=3243008 TT=1800.3 T1=4.17	SAT (TO) f=21686505 TT=1800.07 T1=498.29	SAT (TO) f=22565811 TT=1800.11 T1=1214.98	? (TO) TT=1800.08	SAT (TO) f=3243008 TT=1800.3 T1=13.51	SAT (TO) f=3243008 TT=1800.55 T1=17.65	SAT (TO) f=3243008 TT=1800.3 T1=4.17	OPT f=2779136 TT=256.798 T1=245.69
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-ran10x26.opb	SAT f=6204422 TT=1800.22 T1=59.26	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.02	SAT (TO) f=6204422 TT=1800.22 T1=59.26	SAT (TO) f=7346924 TT=1800.71 T1=84.26	SAT (TO) f=8325300 TT=1800.39 T1=808.84	SAT f=5228553 TT=1789.61 T1=1483.24
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-ran12x12.opb	SAT f=3081216 TT=1800.33 T1=14.39	? (TO) TT=1800.07	? (TO) TT=1800.08	? (TO) TT=1800.04	SAT (TO) f=5020678 TT=1800.31 T1=116.71	SAT (TO) f=3081216 TT=1800.33 T1=14.39	SAT (TO) f=3559199 TT=1800.23 T1=661.87	SAT f=2930697 TT=1789.69 T1=24.33
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (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)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-ran12x21.opb	SAT f=7894394 TT=1800.52 T1=1202.54	? (TO) TT=1800.04	? (TO) TT=1800.08	? (TO) TT=1800.04	SAT (TO) f=9456651 TT=1800.33 T1=104.33	SAT (TO) f=7898587 TT=1800.4 T1=6.62	SAT (TO) f=7894394 TT=1800.52 T1=1202.54	SAT f=5789071 TT=1789.62 T1=1233.59
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-ran13x13.opb	SAT f=3492864 TT=1800.29 T1=46.59	? (TO) TT=1800.02	? (TO) TT=1800.03	? (TO) TT=1800.06	SAT (TO) f=3492864 TT=1800.29 T1=46.59	SAT (TO) f=3492864 TT=1800.38 T1=158.8	SAT (TO) f=3538944 TT=1800.26 T1=2.7	Wrong Opt. f=4770157 TT=919.966 T1=15.74
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-ran14x18.opb	SAT f=4382720 TT=1800.4 T1=49.44	? (TO) TT=1800.04	? (TO) TT=1800.04	? (TO) TT=1800.08	SAT (TO) f=4382720 TT=1800.4 T1=49.44	SAT (TO) f=4900864 TT=1800.41 T1=15.52	SAT (TO) f=7279722 TT=1800.31 T1=25.47	SAT f=5535740 TT=1789.72 T1=203.99
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-ran16x16.opb	SAT f=8072122 TT=1800.28 T1=202.51	? (TO) TT=1800.05	? (TO) TT=1800.06	? (TO) TT=1800.05	SAT (TO) f=9096275 TT=1800.33 T1=123.97	SAT (TO) f=8095222 TT=1800.51 T1=634.92	SAT (TO) f=8072122 TT=1800.28 T1=202.51	SAT f=5821539 TT=1789.58 T1=1783.71
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-ran17x17.opb	SAT f=2223045 TT=1800.31 T1=7.59	? (TO) TT=1800.07	? (TO) TT=1800.09	? (TO) TT=1800.06	SAT (TO) f=3750915 TT=1800.35 T1=134.01	SAT (TO) f=2223045 TT=1800.55 T1=8.47	SAT (TO) f=2223045 TT=1800.31 T1=7.59	SAT f=1676288 TT=1789.7 T1=27.28
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ fctp/normalized-mps-v2-20-10-ran4x64.opb	SAT f=11443218 TT=1800.5 T1=98.32	? (TO) TT=1800.17	? (TO) TT=1800.07	? (TO) TT=1800.1	SAT (TO) f=11682811 TT=1800.46 T1=75.62	SAT (TO) f=11443218 TT=1800.5 T1=98.32	SAT (TO) f=12799584 TT=1800.4 T1=8.41	OPT f=9944064 TT=146.03 T1=143.77
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ fctp/normalized-mps-v2-20-10-ran6x43.opb	SAT f=8904699 TT=1800.51 T1=50.7	? (TO) TT=1800.08	? (TO) TT=1800.12	? (TO) TT=1800.01	SAT (TO) f=11847160 TT=1800.32 T1=84.47	SAT (TO) f=8904699 TT=1800.51 T1=50.7	SAT (TO) f=11572257 TT=1800.37 T1=6.54	Wrong Opt. f=11999572 TT=60.271 T1=39.74
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ fctp/normalized-mps-v2-20-10-ran8x32.opb	SAT f=9003915 TT=1800.3 T1=12.41	? (TO) TT=1800.06	? (TO) TT=1800.09	? (TO) TT=1800.03	SAT (TO) f=9767035 TT=1800.42 T1=87.55	SAT (TO) f=9003915 TT=1800.56 T1=12.41	SAT (TO) f=9003915 TT=1800.3 T1=13.36	SAT f=7704629 TT=1789.61 T1=1594.16
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/lptestset/fome/ normalized-mps-v2-20-10-fome11.opb		? (MO) TT=35.728	? (MO) TT=31.268	? (MO) TT=28.28	? (TO) TT=1800.29	? (TO) TT=1800.38	? (TO) TT=1800.3	? (MO) TT=143.321
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/lptestset/fome/ normalized-mps-v2-20-10-fome12.opb		? (MO) TT=41.213	? (MO) TT=36.023	? (MO) TT=53.67	? (TO) TT=1800.18	? TT=210.899	? (TO) TT=1800.27	? (MO) TT=25.951
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (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)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/lptestset/fome/ normalized-mps-v2-20-10-fome13.opb		? (MO) TT=51.818	? (MO) TT=46.605	? (MO) TT=95.22	? TT=217.311	? (exit code) TT=221.058	? TT=220.403	? (MO) TT=47.776
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-mps-v2-20-10-bc1.opb		? (MO) TT=51.544	? (MO) TT=48.075	? (MO) TT=19.06	? (TO) TT=1800.2	? (TO) TT=1800.32	? (TO) TT=1800.2	UNSAT TT=24.512
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-bienst1.opb		? (TO) TT=1800.05	? (TO) TT=1800.06	? (MO) TT=75.67	? (TO) TT=1800.43	? (TO) TT=1800.68	? (TO) TT=1800.18	? TT=1789.67
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-bienst2.opb		? (TO) TT=1800.15	? (TO) TT=1800.08	? (MO) TT=72.56	? (TO) TT=1800.23	? (TO) TT=1800.47	? (TO) TT=1800.2	? TT=1789.9
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-dano3_3.opb		? (MO) TT=35.204	? (MO) TT=32.073	? (MO) TT=16.91	? (TO) TT=1800.25	? (TO) TT=1800.34	? (TO) TT=1800.28	? TT=1794.61
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-dano3_4.opb		? (MO) TT=34.688	? (MO) TT=32.221	? (MO) TT=15.88	? (TO) TT=1800.29	? (TO) TT=1800.52	? (TO) TT=1800.16	? TT=1794.46
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-dano3_5.opb		? (MO) TT=34.204	? (MO) TT=31.975	? (MO) TT=16.8	? (TO) TT=1800.25	? (TO) TT=1800.54	? (TO) TT=1800.27	? TT=1794.8
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/milp/ normalized-mps-v2-20-10-markshare1_1.opb	SAT f=9662 TT=1800.19 T1=1628.38	SAT (TO) f=43720 TT=1800.07 T1=566.34	SAT (TO) f=49961 TT=1800.04 T1=1313.02	? (TO) TT=1800.07	SAT (TO) f=228352 TT=1800.31 T1=18.55	SAT (TO) f=16767 TT=1800.32 T1=1022.5	SAT (TO) f=9662 TT=1800.19 T1=1628.38	SAT f=108 TT=1789.48 T1=1178.14
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/milp/ normalized-mps-v2-20-10-markshare2_1.opb	SAT f=25995 TT=1800.18 T1=1640.7	SAT (TO) f=159570 TT=1800.04 T1=786.8	SAT (TO) f=166400 TT=1800.07 T1=589.06	? (TO) TT=1800.04	? (TO) TT=1800.96	SAT (TO) f=57811 TT=1800.62 T1=1249.58	SAT (TO) f=25995 TT=1800.18 T1=1640.7	SAT f=76 TT=1789.66 T1=1058.93
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-mps-v2-20-10-mkc1.opb	SAT f=0 TT=1800.43 T1=13.38	? (MO) TT=565.307	? (MO) TT=606.21	? (MO) TT=23.39	? (TO) TT=1800.17	SAT (TO) f=0 TT=1800.46 T1=115.92	SAT (TO) f=0 TT=1800.43 T1=13.38	SAT f=0 TT=1790.2 T1=0.8
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (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)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-neos11.opb	OPT f=9216 TT=366.403 T1=33	Wrong UNSAT TT=28.509	SAT (TO) f=9216 TT=1800.13 T1=418.85	? (MO) TT=70.67	SAT (TO) f=2147495934 TT=1800.25 T1=131.84	OPT f=9216 TT=793.078 T1=48.58	OPT f=9216 TT=366.403 T1=33	SAT f=11264 TT=1789.68 T1=1114.65
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-neos12.opb	SAT f=23552 TT=1800.42 T1=23.72	Wrong UNSAT TT=298.081	? (TO) TT=1800.16	? (MO) TT=15.99	SAT (TO) f=23552 TT=1800.42 T1=23.72	SAT (TO) f=23552 TT=1800.63 T1=29.65	SAT (TO) f=27648 TT=1800.56 T1=154.93	? TT=1789.82
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-neos13.opb	SAT f=-88321224 TT=1800.27 T1=1612.15	? (MO) TT=33.877	? (MO) TT=32.378	? (MO) TT=27.31	SAT (TO) f=-75742937 TT=1800.32 T1=1294.09	SAT (TO) f=-15884449 TT=1800.48 T1=889.4	SAT (TO) f=-88321224 TT=1800.27 T1=1612.15	? TT=1791.53
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-neos14.opb		? (TO) TT=1800.05	? (TO) TT=1800.06	? (MO) TT=74.67	? (TO) TT=1800.18	? (TO) TT=1801.88	? (TO) TT=1800.18	? (exit code) TT=113.888
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-neos15.opb	SAT f=2593180922877200009284 TT=1800.46 T1=1222.12	? (TO) TT=1800.08	? (TO) TT=1800.1	? (MO) TT=70.78	? (TO) TT=1800.22	? (TO) TT=1800.48	SAT (TO) f=2593180922877200009284 TT=1800.46 T1=1222.12	? (exit code) TT=534.06
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-neos17.opb	SAT f=7077496 TT=1800.32 T1=96.63	SAT (TO) f=17922741 TT=1800.12 T1=1398.52	SAT (TO) f=10891882 TT=1800.1 T1=1357.65	? (MO) TT=56.27	SAT (TO) f=11281890 TT=1800.24 T1=609.58	SAT (TO) f=7077496 TT=1800.51 T1=109.89	SAT (TO) f=7077496 TT=1800.32 T1=96.63	SAT f=8600271 TT=1789.65 T1=1789.23
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-neos20.opb	OPT f=-468992 TT=13.402 T1=9.23	Wrong Opt. f=-309248 TT=831.16 T1=828.84	OPT f=-468992 TT=1005.09 T1=998.4	? (TO) TT=1800.04	SAT (TO) f=-405504 TT=1800.4 T1=686.87	OPT f=-468992 TT=32.513 T1=21.21	OPT f=-468992 TT=13.402 T1=9.23	OPT f=-468992 TT=173.149 T1=104.14
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-mps-v2-20-10-neos2.opb		UNSAT TT=14.416	? (TO) TT=1800.16	? (MO) TT=40.18	? (TO) TT=1800.19	? (TO) TT=1800.37	? (TO) TT=1800.24	UNSAT TT=56.3
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-mps-v2-20-10-neos3.opb		UNSAT TT=17.728	? (TO) TT=1800.2	? (MO) TT=21.18	? (TO) TT=1800.11	? (TO) TT=1800.29	? (TO) TT=1800.25	UNSAT TT=78.395
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-mps-v2-20-10-neos6.opb		Wrong UNSAT TT=21.637	? (TO) TT=1800.25	? (MO) TT=16.09	? (TO) TT=1800.31	? (TO) TT=1801.07	? (TO) TT=1800.28	SAT f=86972388352 TT=1789.81 T1=1790.11
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (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)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-mps-v2-20-10-neos7.opb	SAT f=1920918611 TT=1800.44 T1=1486.56	Wrong UNSAT TT=9.797	? (TO) TT=1800.14	? (MO) TT=46.29	? (TO) TT=1800.2	SAT (TO) f=2318232576 TT=1800.71 T1=500.35	SAT (TO) f=1920918611 TT=1800.44 T1=1486.56	? TT=1789.7
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-mps-v2-20-10-nug08.opb	OPT f=107 TT=253.12 T1=76.46	OPT f=107 TT=766.109 T1=573.85	OPT f=107 TT=822.773 T1=734.43	? (MO) TT=24.2	SAT (TO) f=116 TT=1800.37 T1=64.52	OPT f=107 TT=970.619 T1=201.96	OPT f=107 TT=253.12 T1=76.46	OPT f=107 TT=39.62 T1=20.84
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-mps-v2-20-10-qap10.opb	SAT f=170 TT=1802.15 T1=150.88	? (TO) TT=1800.26	? (TO) TT=1800.2	? (MO) TT=18.98	SAT (TO) f=177 TT=1800.5 T1=997.17	SAT (TO) f=170 TT=1802.15 T1=150.88	SAT (TO) f=175 TT=1800.63 T1=14.13	? (TO) TT=1802.12
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-swath1.opb		? (TO) TT=1800.19	? (TO) TT=1800.17	? (MO) TT=16.29	? (TO) TT=1800.12	? (TO) TT=1800.21	? (TO) TT=1800.18	? TT=1791.12
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-swath2.opb		? (MO) TT=976.603	? (MO) TT=981.869	? (MO) TT=15.68	? (TO) TT=1800.11	? (TO) TT=1800.22	? (TO) TT=1800.31	? TT=1790.31
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-swath3.opb		? (TO) TT=1800.19	? (TO) TT=1800.18	? (MO) TT=15.69	? (TO) TT=1800.2	? (TO) TT=1800.31	? (TO) TT=1800.18	? TT=1790.09
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-A1C1S1.opb		? (TO) TT=1800.19	? (TO) TT=1800.2	? (MO) TT=19.08	? (TO) TT=1800.31	? (TO) TT=1800.51	? (TO) TT=1800.26	? TT=1790.96
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-A2C1S1.opb		? (TO) TT=1800.24	? (TO) TT=1800.23	? (MO) TT=18.39	? (TO) TT=1800.3	? (TO) TT=1800.46	? (TO) TT=1800.16	? TT=1791.06
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-B1C1S1.opb		? (TO) TT=1800.19	? (TO) TT=1800.16	? (MO) TT=22.59	? (TO) TT=1800.23	? (TO) TT=1800.59	? (TO) TT=1800.07	? TT=1790.23
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-B2C1S1.opb		? (TO) TT=1800.22	? (TO) TT=1800.15	? (MO) TT=22.68	? (TO) TT=1800.3	? (TO) TT=1800.5	? (TO) TT=1800.2	? TT=1794.89
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (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)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-berlin_5_8_0.opb	SAT f=63488 TT=1800.12 T1=160.91	SAT (TO) f=63488 TT=1800.07 T1=339.18	SAT (TO) f=63488 TT=1800.12 T1=208.47	? (MO) TT=59.67	? (TO) TT=1800.32	SAT (TO) f=63488 TT=1800.59 T1=180.6	SAT (TO) f=63488 TT=1800.3 T1=160.91	? TT=1798.2
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-bg512142.opb	SAT f=23049518932911 TT=1800.45 T1=1746.66	? (TO) TT=1800.09	? (TO) TT=1800.07	? (MO) TT=63.97	? (TO) TT=1800.31	? (TO) TT=1800.38	SAT (TO) f=23049518932911 TT=1800.45 T1=1746.66	Wrong UNSAT TT=311.127
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-biella1.opb	SAT f=42689681106329600 TT=1800.41 T1=1147.19	? (TO) TT=1800.18	? (TO) TT=1800.12	? (MO) TT=17.81	? (TO) TT=1800.21	? (TO) TT=1800.23	SAT (TO) f=42689681106329600 TT=1800.41 T1=1147.19	Wrong UNSAT TT=551.224
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-blp-ar98.opb		? (MO) TT=767.571	? (MO) TT=788.42	? (MO) TT=15.68	? (TO) TT=1800.17	? (TO) TT=1800.2	? (TO) TT=1800.19	? TT=1789.96
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-blp-ic97.opb		? (TO) TT=1800.17	? (TO) TT=1800.14	? (MO) TT=43.98	? (TO) TT=1800.18	? (TO) TT=1800.32	? (TO) TT=1800.39	? TT=1789.85
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-blp-ic98.opb		? (MO) TT=504.365	? (MO) TT=524.869	? (MO) TT=16.09	? (TO) TT=1800.17	? (TO) TT=1800.3	? (TO) TT=1800.19	? TT=1789.87
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-blp-ir98.opb		? (TO) TT=1800.12	? (TO) TT=1800.14	? (MO) TT=56.68	? (TO) TT=1800.17	? (TO) TT=1800.36	? (TO) TT=1800.16	Wrong Cert. TT=1789.66
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-CMS750_4.opb	SAT f=646144 TT=1800.77 T1=1562.4	? (MO) TT=32.548	? (MO) TT=29.655	? (MO) TT=15.99	? (TO) TT=1800.23	SAT (TO) f=711680 TT=1800.99 T1=844.64	SAT (TO) f=646144 TT=1800.77 T1=1562.4	? TT=1791.04
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-core2536-691.opb	SAT f=944128000000000 TT=1800.46 T1=3.46	SAT (TO) f=1126400000000000 TT=1800.12 T1=155.02	SAT (TO) f=1126400000000000 TT=1800.08 T1=155.57	? (MO) TT=18.19	SAT (TO) f=945152000000000 TT=1800.47 T1=1452.14	SAT (TO) f=944128000000000 TT=1800.51 T1=15.31	SAT (TO) f=944128000000000 TT=1800.46 T1=3.46	SAT f=706560000000000 TT=1789.67 T1=1790.1
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-core2586-950.opb	SAT f=1262592000000000 TT=1800.45 T1=1638.27	SAT (TO) f=1436672000000000 TT=1800.06 T1=293.62	SAT (TO) f=1436672000000000 TT=1800.07 T1=294.77	? (MO) TT=733.66	SAT (TO) f=1262592000000000 TT=1800.45 T1=1638.27	SAT (TO) f=1265664000000000 TT=1800.65 T1=701.57	SAT (TO) f=1268736000000000 TT=1800.42 T1=2.08	SAT f=977920000000000 TT=1789.76 T1=1790.07
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (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)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-core4284-1064.opb	SAT f=1424384000000000 TT=1800.45 T1=6.91	SAT (TO) f=1716224000000000 TT=1800.16 T1=131.55	SAT (TO) f=1716224000000000 TT=1800.16 T1=130.31	? (MO) TT=15.19	SAT (TO) f=1436672000000000 TT=1800.47 T1=303.32	SAT (TO) f=1424384000000000 TT=1800.76 T1=60.11	SAT (TO) f=1424384000000000 TT=1800.45 T1=6.91	SAT f=1193984000000000 TT=1789.7 T1=1790.16
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-core4872-1529.opb	SAT f=2012160000000000 TT=1800.69 T1=1452.44	SAT (TO) f=2404352000000000 TT=1800.11 T1=560.57	SAT (TO) f=2404352000000000 TT=1800.15 T1=560.16	? (MO) TT=15.59	SAT (TO) f=2012160000000000 TT=1800.69 T1=1452.44	SAT (TO) f=2014208000000000 TT=1800.55 T1=3.42	SAT (TO) f=2014208000000000 TT=1800.56 T1=2.96	SAT f=1805312000000000 TT=1791.24 T1=1791.44
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-dc1c.opb		? (TO) TT=1800.21	? (TO) TT=1800.16	? (MO) TT=17.77	? (TO) TT=1800.15	? (TO) TT=1800.3	? (TO) TT=1800.24	Wrong UNSAT TT=368.307
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-dc1l.opb	SAT f=322124436347890954240 TT=1800.58 T1=1108.08	? (MO) TT=30.378	? (MO) TT=26.303	? (MO) TT=18.38	SAT (TO) f=322124436347890954240 TT=1800.58 T1=1108.08	SAT (TO) f=332884967382965888000 TT=1800.7 T1=845.75	? (TO) TT=1800.17	Wrong UNSAT TT=728.203
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-dg012142.opb		? (TO) TT=1800.06	? (TO) TT=1800.13	? (MO) TT=17.9	? (TO) TT=1800.19	? (TO) TT=1800.36	? (TO) TT=1800.28	? TT=1796.49
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-dolom1.opb		? (TO) TT=1800.18	? (TO) TT=1800.21	? (MO) TT=17.49	? (TO) TT=1800.15	? (TO) TT=1800.4	? (TO) TT=1800.23	Wrong UNSAT TT=39.733
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-glass4.opb	OPT f=1228810444800 TT=24.771 T1=18.2	OPT f=1228810444800 TT=1169.32 T1=1168.79	SAT (TO) f=1537291343024 TT=1800.04 T1=1750.1	? (MO) TT=82.38	SAT (TO) f=535958052245550 TT=1800.28 T1=1704.56	OPT f=1228810444800 TT=49.906 T1=25.3	OPT f=1228810444800 TT=24.771 T1=18.2	Wrong UNSAT TT=0.16
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-NSR8K.opb		? (MO) TT=31.483	? (MO) TT=27.772	? (MO) TT=21.09	? (TO) TT=1800.26	? (TO) TT=1800.58	? (TO) TT=1800.24	UNSAT TT=188.94
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-nsrand_ipx.opb	SAT f=1275068416 TT=1800.11 T1=1551.06	SAT (TO) f=1308622848 TT=1800.17 T1=497.72	SAT (TO) f=1275068416 TT=1800.11 T1=1551.06	? (MO) TT=14.99	SAT (TO) f=2147483514 TT=1800.33 T1=691.05	SAT (TO) f=1610612625 TT=1800.44 T1=792.55	? (TO) TT=1800.23	SAT f=1133542400 TT=1789.81 T1=907.53
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-rail507.opb	SAT f=264192000000000 TT=1800.59 T1=15.61	? (TO) TT=1800.22	? (TO) TT=1800.21	? (MO) TT=16.09	SAT (TO) f=265216000000000 TT=1800.52 T1=215.07	SAT (TO) f=264192000000000 TT=1800.71 T1=512.25	SAT (TO) f=264192000000000 TT=1800.59 T1=15.61	SAT f=180224000000000 TT=1790.51 T1=1790.34
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (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)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-railway_8_1_0.opb	SAT f=409600 TT=1800.4 T1=497.68	SAT (TO) f=421888 TT=1800.16 T1=1775.68	SAT (TO) f=430080 TT=1800.15 T1=1796.9	? (MO) TT=28.39	? (TO) TT=1800.22	SAT (TO) f=409600 TT=1800.68 T1=1156.92	SAT (TO) f=409600 TT=1800.4 T1=497.68	? TT=1790.08
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-roll3000.opb		Wrong UNSAT TT=6.67	? (TO) TT=1800.07	? (MO) TT=62.48	? (TO) TT=1800.2	? (TO) TT=1800.39	? (TO) TT=1800.24	? TT=1789.69
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-siena1.opb		? (MO) TT=26.717	? (MO) TT=26.276	? (MO) TT=17.69	? (TO) TT=1800.18	? (TO) TT=1800.3	? (TO) TT=1800.15	Wrong UNSAT TT=76.305
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-sp97ar.opb	SAT f=2740285619 TT=1800.42 T1=105.24	SAT (TO) f=4066543482 TT=1800.15 T1=1573.99	SAT (TO) f=3836512252 TT=1800.19 T1=1328.1	? (MO) TT=14.59	SAT (TO) f=2740285619 TT=1800.42 T1=554.14	SAT (TO) f=2740285619 TT=1800.69 T1=105.24	SAT (TO) f=2746234016 TT=1800.43 T1=7.45	SAT f=2176445857 TT=1790.02 T1=1790.15
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-sp97ic.opb	SAT f=3523081465 TT=1800.38 T1=10.29	SAT (TO) f=4804723446 TT=1800.25 T1=1773.75	SAT (TO) f=4258348047 TT=1800.21 T1=1420.61	? (MO) TT=14.58	SAT (TO) f=3523081465 TT=1800.38 T1=13.8	SAT (TO) f=3523081465 TT=1800.62 T1=13.58	SAT (TO) f=3523081465 TT=1800.41 T1=10.29	SAT f=2877069994 TT=1790.12 T1=1790.17
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-sp98ar.opb	SAT f=4210086003 TT=1800.48 T1=458.28	SAT (TO) f=7136580134 TT=1800.24 T1=1616.43	SAT (TO) f=6542420514 TT=1800.19 T1=1057.69	? (MO) TT=14.59	SAT (TO) f=4210086003 TT=1800.48 T1=458.28	SAT (TO) f=4210416996 TT=1803.29 T1=18.17	SAT (TO) f=4210416996 TT=1800.43 T1=9.88	SAT f=3486024126 TT=1790.73 T1=1790.73
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-sp98ic.opb	SAT f=3860756214 TT=1800.63 T1=769.54	SAT (TO) f=5435908032 TT=1800.22 T1=942.6	SAT (TO) f=4476235079 TT=1800.19 T1=1558.81	? (MO) TT=14.19	SAT (TO) f=3897566335 TT=1800.5 T1=11.17	SAT (TO) f=3860756214 TT=1800.63 T1=769.54	SAT (TO) f=3897566335 TT=1800.45 T1=7.53	SAT f=2945929940 TT=1790.12 T1=1790.18
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-tr12-30.opb		? (TO) TT=1800.1	? (TO) TT=1800.11	? (MO) TT=74.97	? (TO) TT=1800.32	? (TO) TT=1800.68	? (TO) TT=1800.22	? TT=1789.71
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-trento1.opb		? (TO) TT=1800.03	? (TO) TT=1800.08	? (MO) TT=19.29	? (TO) TT=1800.18	? (TO) TT=1800.32	? (TO) TT=1800.18	Wrong UNSAT TT=66.586
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-UMTS.opb	SAT f=32998130 TT=1800.53 T1=284.88	Wrong UNSAT TT=3.048	? (TO) TT=1800.13	? (MO) TT=73.96	SAT (TO) f=41053975 TT=1800.38 T1=1765.52	SAT (TO) f=32998130 TT=1800.53 T1=284.88	SAT (TO) f=36250445 TT=1800.36 T1=1239.18	SAT f=34327012 TT=1789.67 T1=1649.48
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (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)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-usAbbrv.8.25_70.opb	SAT f=126976 TT=1800.57 T1=1514.55	SAT (TO) f=152576 TT=1800.11 T1=1693.07	SAT (TO) f=149504 TT=1800.13 T1=1726.22	? (MO) TT=15.09	? (TO) TT=1800.27	SAT (TO) f=130048 TT=1800.63 T1=917.32	SAT (TO) f=126976 TT=1800.57 T1=1514.55	? TT=1789.63
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-van.opb	SAT f=25442247019 TT=1800.66 T1=78.89	? (MO) TT=44.637	? (MO) TT=41.589	? (MO) TT=15.7	SAT (TO) f=25442247019 TT=1800.7 T1=1091.53	SAT (TO) f=25442247019 TT=1801.05 T1=396.1	SAT (TO) f=25442247019 TT=1800.66 T1=78.89	? TT=1793.98
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ www.csit.fsu.edu/~burkardt/datasets/ mps/normalized-mps-v2-20-10-maros.opb	OPT f=344750 TT=3.686 T1=2.09	Wrong Opt. f=344836 TT=5.588 T1=4.46	OPT f=344750 TT=6.152 T1=4.86	? (TO) TT=1800.01	OPT f=344750 TT=3.686 T1=2.09	OPT f=344750 TT=6.324 T1=89.82	OPT f=344750 TT=13.623 T1=10.25	OPT f=344750 TT=0.3 T1=0.28
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ www.csit.fsu.edu/~burkardt/datasets/mps/ normalized-mps-v2-20-10-nazareth.opb	OPT f=-1073741823 TT=0.049 T1=0.04	OPT f=-1073741823 TT=0.083 T1=0.08	OPT f=-1073741823 TT=0.049 T1=0.04	? (TO) TT=1800.02	OPT f=-1073741823 TT=0.331 T1=0.25	OPT f=-1073741823 TT=0.343 T1=1.25	OPT f=-1073741823 TT=0.327 T1=0.25	OPT f=-1073741823 TT=0.029 T1=0.02
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ www.csit.fsu.edu/~burkardt/datasets/mps/ normalized-mps-v2-20-10-testprob.opb	OPT f=9663726592 TT=0.037 T1=0.03	OPT f=9663726592 TT=0.04 T1=0.03	OPT f=9663726592 TT=0.037 T1=0.03	? (TO) TT=1800.1	OPT f=9663726592 TT=0.395 T1=0.29	OPT f=9663726592 TT=0.461 T1=2.25	OPT f=9663726592 TT=0.391 T1=0.28	OPT f=9663726592 TT=0.041 T1=0.03
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=100-sizeP=51-sizeQ=100-416317114-max.opb		? (TO) TT=1800.11	? (TO) TT=1800.09	? (MO) TT=65.78	? (TO) TT=1800.12	? (TO) TT=1800.43	? (TO) TT=1800.17	Wrong Cert. TT=0.624
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=100-sizeP=51-sizeQ=100-416317114.opb	OPT f=1 TT=4.143 T1=2.07	? (TO) TT=1800.12	? (TO) TT=1800.12	? (MO) TT=64.88	OPT f=1 TT=4.143 T1=2.16	OPT f=1 TT=5.267 T1=3.3	OPT f=1 TT=4.156 T1=2.07	Wrong Cert. TT=0.622
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=100-sizeP=51-sizeQ=100-520972534-max.opb		? (TO) TT=1800.17	? (TO) TT=1800.18	? (MO) TT=65.47	? (TO) TT=1800.21	? (TO) TT=1800.33	? (TO) TT=1800.33	Wrong Cert. TT=0.593
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=100-sizeP=51-sizeQ=100-520972534.opb	OPT f=1 TT=2.546 T1=1.51	? (TO) TT=1800.18	? (TO) TT=1800.15	? (MO) TT=65.07	OPT f=1 TT=2.546 T1=1.51	OPT f=1 TT=6.387 T1=4.19	OPT f=1 TT=4.926 T1=2.3	Wrong Cert. TT=0.631
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=120-sizeP=61-sizeQ=120-718083277-max.opb		? (TO) TT=1800.15	? (TO) TT=1800.24	? (MO) TT=52.88	? (TO) TT=1800.23	? (TO) TT=1800.54	? (TO) TT=1800.24	Wrong Cert. TT=1.533
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (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)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=120-sizeP=61-sizeQ=120-718083277.opb	OPT f=1 TT=3.068 T1=1.68	? (TO) TT=1800.19	? (TO) TT=1800.22	? (MO) TT=52.78	OPT f=1 TT=3.349 T1=1.82	OPT f=1 TT=6.592 T1=4.16	OPT f=1 TT=3.068 T1=1.68	? TT=1.748
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=120-sizeP=61-sizeQ=120-883133839-max.opb		? (TO) TT=1800.14	? (TO) TT=1800.22	? (MO) TT=56.28	? (TO) TT=1800.26	? (TO) TT=1800.36	? (TO) TT=1800.25	Wrong Cert. TT=1.594
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=120-sizeP=61-sizeQ=120-883133839.opb	OPT f=1 TT=3.077 T1=1.66	? (TO) TT=1800.19	? (TO) TT=1800.14	? (MO) TT=55.88	OPT f=1 TT=3.715 T1=1.82	OPT f=1 TT=4.694 T1=2.72	OPT f=1 TT=3.077 T1=1.66	? TT=1.761
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=140-sizeP=71-sizeQ=140-217105354-max.opb		? (MO) TT=1031.05	? (MO) TT=1107.29	? (MO) TT=46.88	? (TO) TT=1800.12	? (TO) TT=1800.28	? (TO) TT=1800.21	Wrong Cert. TT=2.194
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=140-sizeP=71-sizeQ=140-217105354.opb	OPT f=1 TT=3.241 T1=2.15	? (TO) TT=1800.21	? (TO) TT=1800.2	? (MO) TT=47.15	OPT f=1 TT=4.235 T1=2.15	OPT f=1 TT=5.183 T1=3	OPT f=1 TT=3.241 T1=2.28	Wrong UNSAT TT=2.187
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=140-sizeP=71-sizeQ=140-318609522-max.opb		? (TO) TT=1800.2	? (TO) TT=1800.21	? (MO) TT=48.18	? (TO) TT=1800.17	? (TO) TT=1800.34	? (TO) TT=1800.21	Wrong Cert. TT=2.192
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=140-sizeP=71-sizeQ=140-318609522.opb	OPT f=1 TT=3.472 T1=2.04	? (TO) TT=1800.17	? (TO) TT=1800.18	? (MO) TT=48.17	OPT f=1 TT=4.092 T1=2.05	OPT f=1 TT=4.775 T1=2.8	OPT f=1 TT=3.472 T1=2.04	Wrong UNSAT TT=2.174
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=160-sizeP=81-sizeQ=160-203099174-max.opb		? (MO) TT=1137.1	? (MO) TT=1104.43	? (MO) TT=15.08	? (TO) TT=1800.16	? (TO) TT=1800.45	? (TO) TT=1800.23	Wrong Cert. TT=2.858
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=160-sizeP=81-sizeQ=160-203099174.opb	OPT f=1 TT=3.672 T1=2.32	? (MO) TT=1237.71	? (MO) TT=1210.88	? (MO) TT=15.59	OPT f=1 TT=3.672 T1=2.32	OPT f=1 TT=5.343 T1=3.15	OPT f=1 TT=3.716 T1=2.32	Wrong UNSAT TT=2.842
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=160-sizeP=81-sizeQ=160-451332552-max.opb	SAT f=-2 TT=1800.55 T1=1030.67	? (MO) TT=1109.19	? (MO) TT=1128.89	? (MO) TT=15.69	SAT (TO) f=-2 TT=1800.55 T1=1030.67	? (TO) TT=1800.41	? (TO) TT=1800.15	Wrong Cert. TT=2.882
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (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)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=160-sizeP=81-sizeQ=160-451332552.opb	OPT f=1 TT=3.928 T1=2.35	? (MO) TT=1203.55	? (MO) TT=1214.14	? (MO) TT=15.59	OPT f=1 TT=3.928 T1=2.35	OPT f=1 TT=4.765 T1=3.1	OPT f=1 TT=4.203 T1=2.41	Wrong UNSAT TT=2.832
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=180-sizeP=91-sizeQ=180-348768554-max.opb		? (MO) TT=1069.15	? (MO) TT=1101.93	? (MO) TT=12.59	? (TO) TT=1800.17	? (TO) TT=1800.31	? (TO) TT=1800.2	Wrong Cert. TT=3.599
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=180-sizeP=91-sizeQ=180-348768554.opb	OPT f=1 TT=4.434 T1=2.8	? (MO) TT=1176.88	? (MO) TT=1153.86	? (MO) TT=12.49	OPT f=1 TT=4.566 T1=2.8	OPT f=1 TT=5.877 T1=3.62	OPT f=1 TT=4.434 T1=2.83	Wrong UNSAT TT=3.575
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=180-sizeP=91-sizeQ=180-780825197-max.opb		? (MO) TT=1192.9	? (MO) TT=1203.88	? (MO) TT=13.1	? (TO) TT=1800.21	? (TO) TT=1800.47	? (TO) TT=1800.16	Wrong Cert. TT=3.49
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=180-sizeP=91-sizeQ=180-780825197.opb	OPT f=1 TT=4.624 T1=2.77	? (MO) TT=1105.44	? (MO) TT=1121.78	? (MO) TT=12.99	OPT f=1 TT=4.961 T1=2.79	OPT f=1 TT=5.742 T1=3.5	OPT f=1 TT=4.624 T1=2.77	Wrong UNSAT TT=3.573
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=200-sizeP=101-sizeQ=200-410184650-max.opb		? (MO) TT=1060.47	? (MO) TT=1068.52	? (MO) TT=12.99	? (TO) TT=1800.17	? (TO) TT=1804.1	? (TO) TT=1800.16	Wrong Cert. TT=4.284
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=200-sizeP=101-sizeQ=200-410184650.opb	OPT f=1 TT=4.841 T1=3.01	? (MO) TT=1067.56	? (MO) TT=1041.21	? (MO) TT=12.99	OPT f=1 TT=5.241 T1=3.01	OPT f=1 TT=8.101 T1=4.87	OPT f=1 TT=4.841 T1=3.07	Wrong UNSAT TT=4.402
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=200-sizeP=101-sizeQ=200-864124249-max.opb		? (MO) TT=1129.71	? (MO) TT=1210.21	? (MO) TT=13.57	? (TO) TT=1800.18	? (TO) TT=1800.37	? (TO) TT=1800.19	Wrong Cert. TT=4.432
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=200-sizeP=101-sizeQ=200-864124249.opb	OPT f=1 TT=5.667 T1=3.16	? (MO) TT=1037.12	? (MO) TT=1053.91	? (MO) TT=12.99	OPT f=1 TT=5.667 T1=3.21	OPT f=1 TT=7.31 T1=5.05	OPT f=1 TT=5.677 T1=3.16	Wrong UNSAT TT=4.374
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=20-sizeP=11-sizeQ=20-496708-max.opb	OPT f=-92 TT=3.375 T1=1.22	OPT f=-92 TT=2.79 T1=2.32	OPT f=-92 TT=3.873 T1=1.96	? (TO) TT=1800.06	SAT (TO) f=-92 TT=1800.17 T1=1267.82	OPT f=-92 TT=7.949 T1=4.54	OPT f=-92 TT=3.375 T1=1.22	OPT f=-92 TT=13.491 T1=13.47
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (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)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=20-sizeP=11-sizeQ=20-496708.opb	OPT f=1 TT=0.535 T1=0.38	OPT f=1 TT=0.577 T1=0.56	OPT f=1 TT=0.535 T1=0.52	OPT f=1 TT=373.822 T1=373.85	OPT f=1 TT=0.587 T1=0.38	OPT f=1 TT=0.731 T1=1.44	OPT f=1 TT=0.576 T1=0.39	OPT f=1 TT=0.477 T1=0.45
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=20-sizeP=11-sizeQ=20-900543-max.opb	OPT f=-1281 TT=1.95 T1=0.95	OPT f=-1281 TT=1.198 T1=1.14	OPT f=-1281 TT=2.084 T1=1.93	? (TO) TT=1800.04	SAT (TO) f=-427 TT=1800.19 T1=1232.43	OPT f=-1281 TT=4.301 T1=2.43	OPT f=-1281 TT=1.95 T1=0.95	OPT f=-1281 TT=2.984 T1=2.96
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=20-sizeP=11-sizeQ=20-900543.opb	OPT f=1 TT=0.44 T1=0.39	OPT f=1 TT=0.439 T1=0.42	OPT f=1 TT=0.44 T1=0.43	OPT f=1 TT=1587.97 T1=1588.35	OPT f=1 TT=0.594 T1=0.39	OPT f=1 TT=0.741 T1=1.43	OPT f=1 TT=0.6 T1=0.6	OPT f=1 TT=0.207 T1=0.18
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=220-sizeP=111-sizeQ=220-229130880-max.opb		? (MO) TT=955.292	? (MO) TT=968.122	? (MO) TT=12.99	? (TO) TT=1800.17	? (TO) TT=1800.21	? (TO) TT=1800.17	Wrong Cert. TT=5.277
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=220-sizeP=111-sizeQ=220-229130880.opb	OPT f=1 TT=5.912 T1=3.91	? (MO) TT=801.487	? (MO) TT=812.766	? (MO) TT=12.99	OPT f=1 TT=5.96 T1=4	OPT f=1 TT=9.052 T1=5.05	OPT f=1 TT=5.912 T1=3.91	Wrong UNSAT TT=5.243
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=220-sizeP=111-sizeQ=220-687342390-max.opb		? (MO) TT=1543.47	? (MO) TT=1548.58	? (MO) TT=12.99	? (TO) TT=1800.18	? (TO) TT=1800.37	? (TO) TT=1800.16	Wrong Cert. TT=5.322
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=220-sizeP=111-sizeQ=220-687342390.opb	OPT f=1 TT=5.814 T1=3.96	? (MO) TT=934.044	? (MO) TT=945.274	? (MO) TT=13.09	OPT f=1 TT=6.489 T1=4.17	OPT f=1 TT=9.164 T1=5.09	OPT f=1 TT=5.814 T1=3.96	Wrong UNSAT TT=5.246
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=240-sizeP=121-sizeQ=240-330229238-max.opb		? (TO) TT=1800.26	? (TO) TT=1800.24	? (MO) TT=13.1	? (TO) TT=1800.17	? (TO) TT=1800.35	? (TO) TT=1800.18	Wrong Cert. TT=6.319
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=240-sizeP=121-sizeQ=240-330229238.opb	OPT f=1 TT=7.33 T1=4.88	? (MO) TT=663.477	? (MO) TT=681.62	? (MO) TT=12.59	OPT f=1 TT=7.384 T1=4.88	OPT f=1 TT=10.985 T1=6.59	OPT f=1 TT=7.33 T1=4.88	Wrong UNSAT TT=6.259
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=240-sizeP=121-sizeQ=240-817963885-max.opb		? (MO) TT=903.051	? (MO) TT=886.129	? (MO) TT=12.99	? (TO) TT=1800.09	? (TO) TT=1800.29	? (TO) TT=1800.19	Wrong Cert. TT=6.128
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (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)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=240-sizeP=121-sizeQ=240-817963885.opb	OPT f=1 TT=7.03 T1=4.68	? (MO) TT=891.328	? (MO) TT=910.019	? (MO) TT=12.99	OPT f=1 TT=7.03 T1=4.99	OPT f=1 TT=10.75 T1=6.47	OPT f=1 TT=7.311 T1=4.68	Wrong UNSAT TT=6.24
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=260-sizeP=131-sizeQ=260-466115074-max.opb		? (MO) TT=1279.96	? (MO) TT=1270.88	? (MO) TT=13.1	? (TO) TT=1800.15	? (TO) TT=1800.13	? (TO) TT=1800.14	Wrong Cert. TT=7.396
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=260-sizeP=131-sizeQ=260-466115074.opb	OPT f=1 TT=7.908 T1=5.68	? (MO) TT=600.082	? (MO) TT=606.913	? (MO) TT=12.99	OPT f=1 TT=7.908 T1=5.68	OPT f=1 TT=12.476 T1=7.01	OPT f=1 TT=8.43 T1=5.85	Wrong UNSAT TT=7.292
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=260-sizeP=131-sizeQ=260-581480794-max.opb		? (MO) TT=1135.74	? (MO) TT=1196.87	? (MO) TT=12.48	? (TO) TT=1800.11	? (TO) TT=1800.23	? (TO) TT=1800.12	Wrong Cert. TT=7.357
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=260-sizeP=131-sizeQ=260-581480794.opb	OPT f=1 TT=8.202 T1=5.41	? (MO) TT=691.26	? (MO) TT=706.689	? (MO) TT=13.1	OPT f=1 TT=8.72 T1=5.94	OPT f=1 TT=11.706 T1=6.82	OPT f=1 TT=8.202 T1=5.41	Wrong UNSAT TT=7.077
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=280-sizeP=141-sizeQ=280-254810631-max.opb		? (MO) TT=1036.26	? (MO) TT=1023.06	? (MO) TT=12.99	? (TO) TT=1800.13	? (TO) TT=1800.2	? (TO) TT=1800.18	Wrong Cert. TT=8.563
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=280-sizeP=141-sizeQ=280-254810631.opb	OPT f=1 TT=8.476 T1=5.59	? (MO) TT=798.509	? (MO) TT=806.989	? (MO) TT=13.11	OPT f=1 TT=9.498 T1=5.93	OPT f=1 TT=16.744 T1=8.47	OPT f=1 TT=8.476 T1=5.59	Wrong UNSAT TT=8.507
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=280-sizeP=141-sizeQ=280-999529433-max.opb		? (MO) TT=874.148	? (MO) TT=892.969	? (MO) TT=13.1	? (TO) TT=1800.12	? (TO) TT=1800.34	? (TO) TT=1800.13	Wrong Cert. TT=8.536
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=280-sizeP=141-sizeQ=280-999529433.opb	OPT f=1 TT=8.653 T1=5.88	? (MO) TT=759.059	? (MO) TT=801.71	? (MO) TT=12.58	OPT f=1 TT=9.508 T1=6.17	OPT f=1 TT=15.771 T1=8.4	OPT f=1 TT=8.653 T1=5.88	Wrong UNSAT TT=8.295
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=300-sizeP=151-sizeQ=300-346995195-max.opb		? (MO) TT=1010.47	? (MO) TT=1082.7	? (MO) TT=13.1	? (TO) TT=1800.11	? (TO) TT=1800.38	? (TO) TT=1800.15	Wrong Cert. TT=9.83
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (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)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=300-sizeP=151-sizeQ=300-346995195.opb	OPT f=1 TT=11.043 T1=7.25	? (MO) TT=457.516	? (MO) TT=490.818	? (MO) TT=12.59	OPT f=1 TT=11.043 T1=7.25	OPT f=1 TT=17.082 T1=8.17	OPT f=1 TT=12.611 T1=8.33	Wrong UNSAT TT=9.698
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=300-sizeP=151-sizeQ=300-692949159-max.opb		? (MO) TT=1321.03	? (MO) TT=1363.86	? (MO) TT=13.06	? (TO) TT=1800.22	? (TO) TT=1800.39	? (TO) TT=1800.19	Wrong Cert. TT=9.502
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=300-sizeP=151-sizeQ=300-692949159.opb	OPT f=1 TT=12.005 T1=7.96	? (MO) TT=655.204	? (MO) TT=665.317	? (MO) TT=12.99	OPT f=1 TT=13.069 T1=8.33	OPT f=1 TT=15.972 T1=8.39	OPT f=1 TT=12.005 T1=7.96	Wrong UNSAT TT=9.752
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=320-sizeP=161-sizeQ=320-287873690-max.opb		? (MO) TT=934.846	? (MO) TT=905.277	? (MO) TT=12.49	? (TO) TT=1800.09	? (TO) TT=1800.15	? (TO) TT=1800.16	Wrong Cert. TT=11.202
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=320-sizeP=161-sizeQ=320-287873690.opb	OPT f=1 TT=13.82 T1=9.67	? (MO) TT=565.021	? (MO) TT=599.521	? (MO) TT=13.1	OPT f=1 TT=14.53 T1=9.91	OPT f=1 TT=22.379 T1=10.7	OPT f=1 TT=13.82 T1=9.67	Wrong UNSAT TT=11.04
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=320-sizeP=161-sizeQ=320-420453220-max.opb		? (MO) TT=1349.51	? (MO) TT=1370.87	? (MO) TT=13.09	? (TO) TT=1800.26	? (TO) TT=1800.36	? (TO) TT=1800.15	Wrong Cert. TT=11.189
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=320-sizeP=161-sizeQ=320-420453220.opb	OPT f=1 TT=13.592 T1=9.43	? (MO) TT=561.021	? (MO) TT=567.499	? (MO) TT=12.49	OPT f=1 TT=15.015 T1=10.13	OPT f=1 TT=21.535 T1=10.41	OPT f=1 TT=13.592 T1=9.43	Wrong UNSAT TT=10.758
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=340-sizeP=171-sizeQ=340-700380480-max.opb		? (MO) TT=1262.56	? (MO) TT=1279.9	? (MO) TT=13.11	? (TO) TT=1800.2	? (TO) TT=1800.38	? (TO) TT=1800.16	Wrong Cert. TT=12.277
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=340-sizeP=171-sizeQ=340-700380480.opb	OPT f=1 TT=16.342 T1=11.25	? (MO) TT=367.493	? (MO) TT=372.894	? (MO) TT=13.09	OPT f=1 TT=17.145 T1=11.67	OPT f=1 TT=25.148 T1=11.67	OPT f=1 TT=16.342 T1=11.25	Wrong UNSAT TT=12.18
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=340-sizeP=171-sizeQ=340-737522999-max.opb		? (MO) TT=1121.72	? (MO) TT=1132.31	? (MO) TT=12.99	? (TO) TT=1800.11	? (TO) TT=1800.26	? (TO) TT=1800.1	Wrong Cert. TT=12.569
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (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)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=340-sizeP=171-sizeQ=340-737522999.opb	OPT f=1 TT=15.721 T1=10.64	? (MO) TT=521.616	? (MO) TT=550.297	? (MO) TT=13.1	OPT f=1 TT=15.721 T1=10.64	OPT f=1 TT=23.139 T1=10.95	OPT f=1 TT=16.633 T1=11.6	Wrong UNSAT TT=12.544
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=360-sizeP=181-sizeQ=360-770414132-max.opb		? (MO) TT=884.835	? (MO) TT=846.837	? (MO) TT=12.99	? (TO) TT=1800.17	? (TO) TT=1800.19	? (TO) TT=1800.18	Wrong Cert. TT=14.134
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=360-sizeP=181-sizeQ=360-770414132.opb	OPT f=1 TT=18.426 T1=12.33	? (MO) TT=448.2	? (MO) TT=454.913	? (MO) TT=13.09	OPT f=1 TT=19.073 T1=12.39	OPT f=1 TT=29.051 T1=13.43	OPT f=1 TT=18.426 T1=12.33	Wrong UNSAT TT=14.068
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=360-sizeP=181-sizeQ=360-885821403-max.opb		? (MO) TT=904.243	? (MO) TT=909.21	? (MO) TT=12.99	? (TO) TT=1800.26	? (TO) TT=1800.34	? (TO) TT=1800.17	Wrong Cert. TT=14.151
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=360-sizeP=181-sizeQ=360-885821403.opb	OPT f=1 TT=19.396 T1=12.7	? (MO) TT=395.033	? (MO) TT=420.06	? (MO) TT=12.49	OPT f=1 TT=19.757 T1=12.7	OPT f=1 TT=28.038 T1=13.22	OPT f=1 TT=19.396 T1=13.08	Wrong UNSAT TT=14.083
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=380-sizeP=191-sizeQ=380-376320478-max.opb		? (MO) TT=872.648	? (MO) TT=839.715	? (MO) TT=12.49	? (TO) TT=1800.25	? (TO) TT=1800.39	? (TO) TT=1800.16	Wrong Cert. TT=15.754
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=380-sizeP=191-sizeQ=380-376320478.opb	OPT f=1 TT=21.611 T1=14.81	? (MO) TT=374.99	? (MO) TT=376.495	? (MO) TT=13.1	OPT f=1 TT=22.251 T1=14.87	OPT f=1 TT=34.917 T1=15.51	OPT f=1 TT=21.611 T1=14.81	Wrong UNSAT TT=15.733
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=380-sizeP=191-sizeQ=380-765568612-max.opb		? (TO) TT=1800.23	? (TO) TT=1800.18	? (MO) TT=13	? (TO) TT=1800.13	? (TO) TT=1800.22	? (TO) TT=1800.14	Wrong Cert. TT=15.872
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=380-sizeP=191-sizeQ=380-765568612.opb	OPT f=1 TT=20.852 T1=14.29	? (MO) TT=431.038	? (MO) TT=446.271	? (MO) TT=13.1	OPT f=1 TT=22.432 T1=14.95	OPT f=1 TT=34.727 T1=15.59	OPT f=1 TT=20.852 T1=14.29	Wrong UNSAT TT=15.162
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=400-sizeP=201-sizeQ=400-517735400-max.opb		? (MO) TT=754.492	? (MO) TT=761.373	? (MO) TT=12.6	? (TO) TT=1800.15	? (TO) TT=1800.27	? (TO) TT=1800.14	Wrong Cert. TT=17.433
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (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)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=400-sizeP=201-sizeQ=400-517735400.opb	OPT f=1 TT=22.174 T1=14.24	? (MO) TT=314.793	? (MO) TT=318.467	? (MO) TT=12.98	OPT f=1 TT=22.174 T1=14.24	OPT f=1 TT=38.108 T1=17.15	OPT f=1 TT=22.611 T1=14.37	Wrong UNSAT TT=17.299
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=400-sizeP=201-sizeQ=400-87904490-max.opb		? (MO) TT=568.833	? (MO) TT=576.516	? (MO) TT=13.11	? (TO) TT=1800.22	? (TO) TT=1800.59	? (TO) TT=1800.07	Wrong Cert. TT=34.797
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=400-sizeP=201-sizeQ=400-87904490.opb	OPT f=1 TT=22.021 T1=14.03	? (MO) TT=405.977	? (MO) TT=430.749	? (MO) TT=13.1	OPT f=1 TT=22.021 T1=14.03	OPT f=1 TT=40.407 T1=18.67	OPT f=1 TT=22.58 T1=14.4	Wrong UNSAT TT=17.412
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=40-sizeP=21-sizeQ=40-289612555-max.opb	SAT f=-11 TT=1800.2 T1=1043.58	SAT (TO) f=-1 TT=1800.06 T1=0.67	SAT (TO) f=-1 TT=1800.06 T1=0.68	? (TO) TT=1800.09	? (TO) TT=1800.18	SAT (TO) f=-1 TT=1800.41 T1=515.91	SAT (TO) f=-11 TT=1800.2 T1=1043.58	Wrong Cert. TT=39.828
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=40-sizeP=21-sizeQ=40-289612555.opb	OPT f=1 TT=1.204 T1=0.67	OPT f=1 TT=602.974 T1=603.09	OPT f=1 TT=605.45 T1=605.55	? (TO) TT=1800.01	OPT f=1 TT=1.284 T1=0.67	OPT f=1 TT=1.893 T1=1.79	OPT f=1 TT=1.204 T1=0.67	OPT f=1 TT=4.242 T1=4.22
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=40-sizeP=21-sizeQ=40-793490986-max.opb	SAT f=-502 TT=1800.22 T1=739.54	? (TO) TT=1800.11	? (TO) TT=1800.13	? (TO) TT=1800.07	? (TO) TT=1800.13	SAT (TO) f=-502 TT=1800.35 T1=739.54	SAT (TO) f=-502 TT=1800.22 T1=753.42	Wrong Cert. TT=58.948
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=40-sizeP=21-sizeQ=40-793490986.opb	OPT f=1 TT=1.323 T1=0.7	OPT f=1 TT=23.431 T1=23.38	OPT f=1 TT=32.265 T1=32.21	? (TO) TT=1800.07	OPT f=1 TT=1.323 T1=0.7	OPT f=1 TT=2.142 T1=1.78	OPT f=1 TT=1.544 T1=0.7	OPT f=1 TT=2.509 T1=2.48
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=420-sizeP=211-sizeQ=420-348698641-max.opb		? (MO) TT=1082.14	? (MO) TT=1023.66	? (MO) TT=13.1	? (TO) TT=1800.2	? (TO) TT=1800.36	? (TO) TT=1800.15	Wrong Cert. TT=19.414
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=420-sizeP=211-sizeQ=420-348698641.opb	OPT f=1 TT=29.649 T1=19.79	? (MO) TT=363.637	? (MO) TT=364.561	? (MO) TT=13.1	OPT f=1 TT=29.89 T1=19.97	OPT f=1 TT=47.61 T1=20.07	OPT f=1 TT=29.649 T1=19.79	Wrong UNSAT TT=19.231
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=420-sizeP=211-sizeQ=420-802270006-max.opb		? (MO) TT=911.314	? (MO) TT=931.065	? (MO) TT=12.99	? (TO) TT=1800.26	? (TO) TT=1800.24	? (TO) TT=1800.11	Wrong Cert. TT=19.453
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (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)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=420-sizeP=211-sizeQ=420-802270006.opb	OPT f=1 TT=28.099 T1=18.85	? (MO) TT=321.171	? (MO) TT=339.502	? (MO) TT=12.99	OPT f=1 TT=29.987 T1=20.14	OPT f=1 TT=46.028 T1=19.56	OPT f=1 TT=28.099 T1=18.85	Wrong UNSAT TT=19.249
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=440-sizeP=221-sizeQ=440-24744542-max.opb		? (MO) TT=490.815	? (MO) TT=495.399	? (MO) TT=13.09	? (TO) TT=1800.12	? (TO) TT=1800.1	? (TO) TT=1800.13	Wrong Cert. TT=20.72
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=440-sizeP=221-sizeQ=440-24744542.opb	OPT f=1 TT=30.608 T1=18.88	? (MO) TT=222.504	? (MO) TT=224.902	? (MO) TT=12.99	OPT f=1 TT=31.015 T1=18.98	OPT f=1 TT=55.151 T1=23.15	OPT f=1 TT=30.608 T1=18.88	Wrong UNSAT TT=21.19
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=440-sizeP=221-sizeQ=440-726468498-max.opb		? (TO) TT=1800.24	? (TO) TT=1800.25	? (MO) TT=12.59	? (TO) TT=1800.12	? (TO) TT=1800.22	? (TO) TT=1800.17	Wrong Cert. TT=21.43
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=440-sizeP=221-sizeQ=440-726468498.opb	OPT f=1 TT=29.661 T1=18.61	? (MO) TT=294.346	? (MO) TT=296.312	? (MO) TT=12.99	OPT f=1 TT=29.661 T1=18.61	OPT f=1 TT=56.369 T1=23.33	OPT f=1 TT=32.584 T1=19.58	Wrong UNSAT TT=21.017
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=460-sizeP=231-sizeQ=460-367423129-max.opb		? (MO) TT=1585.43	? (MO) TT=1486.26	? (MO) TT=13.1	? (TO) TT=1800.2	? (TO) TT=1800.33	? (TO) TT=1800.09	Wrong Cert. TT=23.22
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=460-sizeP=231-sizeQ=460-367423129.opb	OPT f=1 TT=36.375 T1=24.3	? (MO) TT=183.914	? (MO) TT=177.926	? (MO) TT=13.09	OPT f=1 TT=37.856 T1=24.96	OPT f=1 TT=63.838 T1=26.58	OPT f=1 TT=36.375 T1=24.3	Wrong UNSAT TT=22.94
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=460-sizeP=231-sizeQ=460-510733673-max.opb		? (MO) TT=486.412	? (MO) TT=468.557	? (MO) TT=13.21	? (TO) TT=1800.14	? (TO) TT=1800.14	? (TO) TT=1800.17	Wrong Cert. TT=23.228
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=460-sizeP=231-sizeQ=460-510733673.opb	OPT f=1 TT=38.068 T1=24.32	? (MO) TT=198.411	? (MO) TT=191.124	? (MO) TT=13.1	OPT f=1 TT=38.544 T1=25.14	OPT f=1 TT=62.457 T1=25.62	OPT f=1 TT=38.068 T1=24.32	Wrong UNSAT TT=23.181
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=480-sizeP=241-sizeQ=480-57455727-max.opb		? (MO) TT=282.805	? (MO) TT=297.512	? (MO) TT=13.2	? (TO) TT=1800.1	? (TO) TT=1800.27	? (TO) TT=1800.08	Wrong Cert. TT=25.335
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (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)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=480-sizeP=241-sizeQ=480-57455727.opb	OPT f=1 TT=40.61 T1=24.52	? (MO) TT=139.532	? (MO) TT=134.035	? (MO) TT=12.57	OPT f=1 TT=40.61 T1=24.52	OPT f=1 TT=70.246 T1=27.75	OPT f=1 TT=43.224 T1=26.55	Wrong UNSAT TT=25.123
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=480-sizeP=241-sizeQ=480-896328136-max.opb		? (MO) TT=206.328	? (MO) TT=207.397	? (MO) TT=13.08	? (TO) TT=1800.09	? (TO) TT=1800.23	? (TO) TT=1800.1	Wrong Cert. TT=25.495
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=480-sizeP=241-sizeQ=480-896328136.opb	OPT f=1 TT=38.76 T1=23.37	? (MO) TT=154.751	? (MO) TT=154.141	? (MO) TT=13.12	OPT f=1 TT=38.76 T1=23.37	OPT f=1 TT=68.952 T1=27.42	OPT f=1 TT=43.234 T1=26.59	Wrong UNSAT TT=25.107
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=500-sizeP=251-sizeQ=500-280035866-max.opb		? (MO) TT=118.456	? (MO) TT=119.458	? (MO) TT=13.08	? (TO) TT=1800.22	? (TO) TT=1800.28	? (TO) TT=1800.15	Wrong Cert. TT=27.632
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=500-sizeP=251-sizeQ=500-280035866.opb	OPT f=1 TT=43.807 T1=27.68	? (MO) TT=80.437	? (MO) TT=84.159	? (MO) TT=12.59	OPT f=1 TT=43.807 T1=27.68	OPT f=1 TT=78.05 T1=30.83	OPT f=1 TT=43.98 T1=27.76	Wrong UNSAT TT=27.417
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=500-sizeP=251-sizeQ=500-293748522-max.opb		? (MO) TT=130.106	? (MO) TT=132.346	? (MO) TT=12.51	? (TO) TT=1800.14	? (TO) TT=1800.14	? (TO) TT=1800.15	Wrong Cert. TT=27.768
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=500-sizeP=251-sizeQ=500-293748522.opb	OPT f=1 TT=45.909 T1=29.37	? (MO) TT=84.066	? (MO) TT=79.341	? (MO) TT=13.18	OPT f=1 TT=45.909 T1=29.37	OPT f=1 TT=78.359 T1=30.96	OPT f=1 TT=46.945 T1=29.73	Wrong UNSAT TT=27.45
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=60-sizeP=31-sizeQ=60-472296155-max.opb		? (TO) TT=1800.04	? (TO) TT=1800.04	? (TO) TT=1800.03	? (TO) TT=1800.18	? (TO) TT=1800.44	? (TO) TT=1800.2	Wrong UNSAT TT=4.321
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=60-sizeP=31-sizeQ=60-472296155.opb	OPT f=1 TT=2.258 T1=1.01	? (TO) TT=1800.1	? (TO) TT=1800.11	? (TO) TT=1800.05	OPT f=1 TT=2.391 T1=1.05	OPT f=1 TT=3.75 T1=2.26	OPT f=1 TT=2.258 T1=1.01	Wrong UNSAT TT=4.255
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=60-sizeP=31-sizeQ=60-784051325-max.opb		? (TO) TT=1800.12	? (TO) TT=1800.09	? (TO) TT=1800.04	? (TO) TT=1800.16	? (TO) TT=1800.47	? (TO) TT=1800.24	Wrong UNSAT TT=5.136
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (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)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=60-sizeP=31-sizeQ=60-784051325.opb	OPT f=1 TT=2.34 T1=1.03	? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800.05	OPT f=1 TT=2.369 T1=1.07	OPT f=1 TT=4.327 T1=2.22	OPT f=1 TT=2.34 T1=1.03	Wrong UNSAT TT=5.162
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=80-sizeP=41-sizeQ=80-505615378-max.opb	SAT f=-2 TT=1800.41 T1=14.92	? (TO) TT=1800.13	? (TO) TT=1800.15	? (MO) TT=80.97	SAT (TO) f=-2 TT=1800.41 T1=14.92	SAT (TO) f=-2 TT=1800.53 T1=18.65	? (TO) TT=1800.25	Wrong Cert. TT=0.792
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=80-sizeP=41-sizeQ=80-505615378.opb	OPT f=1 TT=1.959 T1=1.17	? (TO) TT=1800.12	? (TO) TT=1800.08	? (MO) TT=80.77	OPT f=1 TT=1.966 T1=1.17	OPT f=1 TT=5.155 T1=2.62	OPT f=1 TT=1.959 T1=1.17	? TT=0.865
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=80-sizeP=41-sizeQ=80-898154415-max.opb		? (TO) TT=1800.11	? (TO) TT=1800.11	? (MO) TT=73.18	? (TO) TT=1800.18	? (TO) TT=1800.32	? (TO) TT=1800.21	Wrong Cert. TT=0.79
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=80-sizeP=41-sizeQ=80-898154415.opb	OPT f=1 TT=2.23 T1=1.38	? (TO) TT=1800.07	? (TO) TT=1800.11	? (MO) TT=73.58	OPT f=1 TT=2.933 T1=1.38	OPT f=1 TT=5.702 T1=3.65	OPT f=1 TT=2.23 T1=1.48	? TT=0.862
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-fit1d.opb	SAT f=53066119 TT=1800.37 T1=528.53	? (TO) TT=1800.17	? (TO) TT=1800.22	? (MO) TT=16.7	SAT (TO) f=53066119 TT=1800.37 T1=566.36	SAT (TO) f=53066119 TT=1803.12 T1=528.53	? (TO) TT=1800.25	SAT f=0 TT=1790.07 T1=0.64
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-aflow30a.opb	SAT f=1496 TT=1800.32 T1=75.07	? (TO) TT=1800.05	? (TO) TT=1800.1	? (MO) TT=87.2	? (TO) TT=1800.26	SAT (TO) f=1496 TT=1800.45 T1=87.51	SAT (TO) f=1496 TT=1800.32 T1=75.07	? TT=1789.84
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-aflow40b.opb		? (TO) TT=1800.13	? (TO) TT=1800.21	? (MO) TT=54.88	? (TO) TT=1800.19	? (TO) TT=1800.3	? (TO) TT=1800.19	? TT=1790.36
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-air04.opb		? (TO) TT=1800.11	? (TO) TT=1800.06	? (MO) TT=64.27	? (TO) TT=1800.22	? (TO) TT=1800.66	? (TO) TT=1800.25	OPT f=56137 TT=360.414 T1=312.01
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-air05.opb	SAT f=37941 TT=1800.28 T1=711.62	? (TO) TT=1800.11	? (TO) TT=1800.04	? (MO) TT=249.06	SAT (TO) f=40202 TT=1800.39 T1=32.32	SAT (TO) f=38008 TT=1800.35 T1=683.09	SAT (TO) f=37941 TT=1800.28 T1=711.62	OPT f=26374 TT=145.669 T1=139.93
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (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)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-nw04.opb	SAT f=15306 TT=1800.55 T1=1509.54	? (MO) TT=34.634	? (MO) TT=31.404	? (MO) TT=15.21	SAT (TO) f=15306 TT=1800.55 T1=1509.54	SAT (TO) f=19943 TT=1800.72 T1=441.67	SAT (TO) f=19943 TT=1800.48 T1=460.81	OPT f=8431 TT=159.59 T1=148.87
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-t1717.opb	SAT f=376929 TT=1800.63 T1=12.29	? (TO) TT=1800.24	? (TO) TT=1800.22	? (MO) TT=15.81	SAT (TO) f=415928 TT=1800.56 T1=476.72	SAT (TO) f=376929 TT=1800.64 T1=13.69	SAT (TO) f=376929 TT=1800.63 T1=12.29	? TT=1790.9
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-vpm2.opb	SAT f=128 TT=1800.26 T1=1297.28	? (TO) TT=1800.08	? (TO) TT=1800.12	? (TO) TT=1800.02	? (TO) TT=1800.22	? (TO) TT=1802.69	SAT (TO) f=128 TT=1800.26 T1=1297.28	SAT f=55 TT=1789.48 T1=1304.73
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib3/ normalized-mps-v2-20-10-gt2.opb	OPT f=21166 TT=4.76 T1=2.88	SAT (TO) f=37094 TT=1800.1 T1=1360.22	SAT (TO) f=24266 TT=1800.06 T1=1054.93	? (TO) TT=1800.02	OPT f=21166 TT=4.76 T1=2.88	OPT f=21166 TT=12.34 T1=8.6	SAT (TO) f=23092 TT=1800.16 T1=1768.77	OPT f=21166 TT=1.666 T1=1.64
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-air01.opb	OPT f=3398 TT=9.485 T1=3.48	SAT (TO) f=3543 TT=1800.02 T1=1419.71	SAT (TO) f=3425 TT=1800.07 T1=1519.78	? (TO) TT=1800.02	OPT f=3398 TT=9.485 T1=3.48	OPT f=3398 TT=26.157 T1=8.78	OPT f=3398 TT=11.983 T1=7.63	OPT f=3398 TT=0.309 T1=0.23
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-air02.opb	SAT f=4492 TT=1800.31 T1=1000.63	SAT (TO) f=32927 TT=1800.11 T1=728.43	SAT (TO) f=32927 TT=1800.15 T1=724.98	? (MO) TT=68.37	SAT (TO) f=4492 TT=1800.31 T1=1000.63	SAT (TO) f=4565 TT=1800.62 T1=375.8	SAT (TO) f=4565 TT=1800.43 T1=1307.36	OPT f=3905 TT=43.645 T1=43.5
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-air03.opb	SAT f=200394 TT=1800.4 T1=750.79	? (TO) TT=1800.06	SAT (TO) f=484446 TT=1800.09 T1=1519.58	? (MO) TT=54.17	SAT (TO) f=200394 TT=1800.4 T1=813.62	SAT (TO) f=200394 TT=1800.54 T1=750.79	SAT (TO) f=224041 TT=1800.62 T1=100.79	OPT f=170080 TT=57.142 T1=56.94
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-air06.opb	SAT f=67237 TT=1800.32 T1=1133.85	? (TO) TT=1800.15	? (TO) TT=1800.07	? (MO) TT=63.83	? (TO) TT=1800.21	SAT (TO) f=72418 TT=1800.59 T1=881.49	SAT (TO) f=67237 TT=1800.32 T1=1133.85	OPT f=49649 TT=26.107 T1=26.03
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-enigma.opb	OPT f=0 TT=1.168 T1=1.16	OPT f=0 TT=14.639 T1=14.63	OPT f=0 TT=1.168 T1=1.16	OPT f=0 TT=343.174 T1=343.18	OPT f=0 TT=648.076 T1=639.6	OPT f=0 TT=9.045 T1=6.18	OPT f=0 TT=2.867 T1=1.9	OPT f=0 TT=0.095 T1=0.08
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-p0282.opb	OPT f=258411 TT=2.282 T1=1.69	Wrong Opt. f=288883 TT=1.187 T1=1.1	OPT f=258411 TT=2.282 T1=2.24	? (TO) TT=1800.03	OPT f=258411 TT=10.083 T1=6.57	OPT f=258411 TT=6.24 T1=19.73	OPT f=258411 TT=3.641 T1=1.69	OPT f=258411 TT=0.931 T1=0.91
Bench name	Best results	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (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)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-p0291.opb	OPT f=10447498 TT=0.386 T1=0.36	Wrong Opt. f=12192253 TT=0.841 T1=0.81	OPT f=10447498 TT=0.386 T1=0.36	? (TO) TT=1800.08	OPT f=10447498 TT=4.59 T1=2.17	OPT f=10447498 TT=3.012 T1=7.53	OPT f=10447498 TT=1.213 T1=0.64	OPT f=10447498 TT=0.281 T1=0.22
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-p6000.opb	SAT f=-893576 TT=1800.36 T1=707.81	SAT (TO) f=-377364 TT=1800.1 T1=729.05	SAT (TO) f=-379186 TT=1800.06 T1=414.47	? (TO) TT=1800.09	SAT (TO) f=-893576 TT=1800.36 T1=707.81	SAT (TO) f=-893576 TT=1800.63 T1=753.02	SAT (TO) f=-741848 TT=1800.29 T1=98.26	OPT f=-2451377 TT=1074.05 T1=1070.49
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-pipex.opb	OPT f=788263 TT=6.321 T1=3	Wrong UNSAT TT=0.021	OPT f=788263 TT=195.174 T1=16.5	? (TO) TT=1800.01	OPT f=788263 TT=6.321 T1=3	OPT f=788263 TT=8.105 T1=8.33	OPT f=788263 TT=20.528 T1=16.5	OPT f=788263 TT=0.463 T1=0.44
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-vpm1.opb	SAT f=20 TT=1800.22 T1=1239.5	? (TO) TT=1800.03	? (TO) TT=1800.07	? (TO) TT=1800.08	? (TO) TT=1800.25	? (TO) TT=1803.1	SAT (TO) f=20 TT=1800.22 T1=1239.5	SAT f=27 TT=1789.63 T1=628.56
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-mps-v2-20-10-neos9.opb		? (MO) TT=31.475	? (MO) TT=27.869	? (MO) TT=15.42	? (TO) TT=1800.31	? (TO) TT=1802.17	? (TO) TT=1800.26	? (MO) TT=30.8
normalized-PB06/OPT-MEDINT/mps-v2-20-10/ plato.asu.edu/pub/milp/ normalized-mps-v2-20-10-seymour1.opb	SAT f=471080 TT=1800.38 T1=319.54	SAT (MO) f=519925 TT=1434.65 T1=672.96	SAT (MO) f=516565 TT=1455.95 T1=510.57	? (MO) TT=17.31	SAT (TO) f=471080 TT=1800.38 T1=319.54	SAT (TO) f=471080 TT=1800.6 T1=329.78	SAT (TO) f=471086 TT=1800.46 T1=4.02	SAT f=455200 TT=1789.87 T1=1300.16
normalized-PB06/OPT-MEDINT/web/ www.ps.uni-sb.de/~walser/benchmarks/ course-ass/normalized-ws97-3.opb	SAT f=3060 TT=1801.07 T1=605.89	SAT (TO) f=57088 TT=1800.07 T1=1583.14	SAT (TO) f=58098 TT=1800.06 T1=1615.4	? (TO) TT=1800.05	SAT (TO) f=3061 TT=1800.31 T1=790.39	SAT (TO) f=3060 TT=1801.07 T1=605.89	SAT (TO) f=3074 TT=1800.26 T1=1.59	OPT f=3031 TT=5.895 T1=5.85

Statistics		PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (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)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)
Number of times the solver is able to give the best known answer		0	43	0	137	177	186	0
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	15	0	77	55	132	0