PB'07 evaluation: results by benchmark

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

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

REMINDER

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

Description of a cell contents:

Cell example	Meaning
Answer	Solver result
f=...	value of the objective function for the model reported by the solver
TT=...	Total Time (TT): this is the CPU time (in seconds) used by the solver until termination. This time is only meaningful for complete solvers because incomplete solvers will always run until they time out
T1=...	Time to get the best model (T1): this is the wall clock time (in seconds) ellapsed when the solver found its best model. This time is obtained from the 'o lines'. It is useful to compare both complete and incomplete solvers. It doesn't take into account the time to prove optimality of the solution.

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:
bsolo 3.0.16
bsolo 3.0.17
minisat+ 1.14
oree 0.1.2 alpha
sat4jPseudoCP 2007-03-23
sat4jPseudoCPClause 2007-03-23
SAT4JPseudoResolution 2007-03-23

Bench name	Best results on this instance	bsolo 3.0.16	bsolo 3.0.17	minisat+ 1.14	oree 0.1.2 alpha	sat4jPseudoCP 2007-03-23	sat4jPseudoCPClause 2007-03-23	SAT4JPseudoResolution 2007-03-23
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-25fv47.opb	UNSAT TT=1.426	UNSAT TT=0.903	UNSAT TT=1.426	UNSAT TT=20.568	UNSAT TT=1.995	UNSAT TT=6.317	UNSAT TT=6.431	UNSAT TT=6.344
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-80bau3b.opb	UNSAT TT=2.077	UNSAT TT=2.158	UNSAT TT=2.077	UNSAT TT=9.19	UNSAT TT=4.126	UNSAT TT=10.254	UNSAT TT=9.542	UNSAT TT=10.571
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-adlittle.opb		? (TO) TT=1800.06	? (TO) TT=1800.09	? (TO) TT=1800.1	? (TO) TT=1800.16	? (TO) TT=1800.17	? (TO) TT=1800.15	? (TO) TT=1800.8
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.533 T1=8.48	OPT f=-11897496 TT=8.51 T1=8.49	OPT f=-11897496 TT=8.533 T1=8.48	OPT f=-11897496 TT=486.296 T1=486	? (TO) TT=1800.29	? (TO) TT=1800.24	SAT (TO) f=-163840 TT=1800.25 T1=20.97	OPT f=-11897496 TT=12.78 T1=12.57
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-agg2.opb		Signal TT=0.679	Signal TT=0.656	Signal TT=430.772	? (TO) TT=1800.09	? (TO) TT=1800.23	? (TO) TT=1800.26	? (TO) TT=1800.29
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-agg3.opb		? (TO) TT=1800.02	? (TO) TT=1800.03	Signal TT=403.736	? (TO) TT=1800.31	? (TO) TT=1800.19	? (TO) TT=1800.27	? (TO) TT=1800.31
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-agg.opb		? (TO) TT=1800.11	? (TO) TT=1800.13	Signal TT=264.442	? (TO) TT=1800.15	? (TO) TT=1800.2	? (TO) TT=1800.25	? (TO) TT=1800.28
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-bandm.opb	UNSAT TT=0.2	UNSAT TT=0.204	UNSAT TT=0.2	UNSAT TT=3.127	UNSAT TT=0.615	UNSAT TT=3.197	UNSAT TT=3.3	UNSAT TT=3.142
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-beaconfd.opb	UNSAT TT=0.478	UNSAT TT=0.358	UNSAT TT=0.478	UNSAT TT=23.296	UNSAT TT=0.573	UNSAT TT=3.419	UNSAT TT=3.335	UNSAT TT=3.466
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-blend.opb	SAT f=0 TT=276.169 T1=0.09	SAT (MO) f=0 TT=277.965 T1=0.1	SAT (MO) f=0 TT=276.169 T1=0.09	? (TO) TT=1800.11	? (TO) TT=1800.14	SAT (TO) f=0 TT=1800.31 T1=3.32	? (TO) TT=1800.25	? (TO) TT=1800.25
Bench name	Best results on this instance	bsolo 3.0.16	bsolo 3.0.17	minisat+ 1.14	oree 0.1.2 alpha	sat4jPseudoCP 2007-03-23	sat4jPseudoCPClause 2007-03-23	SAT4JPseudoResolution 2007-03-23
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-bnl1.opb		? (TO) TT=1800.14	? (TO) TT=1800.24	? (TO) TT=1800.02	? (TO) TT=1800.17	? (TO) TT=1800.22	? (TO) TT=1800.36	? (TO) TT=1800.32
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-bnl2.opb	UNSAT TT=1.482	UNSAT TT=1.499	UNSAT TT=1.482	UNSAT TT=20.607	UNSAT TT=2.973	UNSAT TT=8.057	UNSAT TT=7.773	UNSAT TT=7.865
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-boeing1.opb		Signal TT=1.766	Signal TT=1.766	? (TO) TT=1800.02	? (TO) TT=1800.37	? (TO) TT=1800.25	? (TO) TT=1800.15	? (TO) TT=1800.19
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-boeing2.opb		Signal TT=0.217	Signal TT=0.198	? (TO) TT=1800.15	? (TO) TT=1800.14	? (TO) TT=1800.11	? (TO) TT=1800.18	? (TO) TT=1800.21
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-bore3d.opb	UNSAT TT=0.137	UNSAT TT=0.136	UNSAT TT=0.137	UNSAT TT=0.98	UNSAT TT=0.273	UNSAT TT=2.646	UNSAT TT=2.542	UNSAT TT=2.618
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-brandy.opb	UNSAT TT=0.146	UNSAT TT=0.15	UNSAT TT=0.146	UNSAT TT=1.951	UNSAT TT=0.295	UNSAT TT=2.406	UNSAT TT=2.765	UNSAT TT=2.559
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-capri.opb	UNSAT TT=0.096	UNSAT TT=0.095	UNSAT TT=0.096	UNSAT TT=0.821	UNSAT TT=0.197	UNSAT TT=2.188	UNSAT TT=2.178	UNSAT TT=2.858
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-cycle.opb	SAT f=0 TT=1800.19 T1=18.95	SAT (TO) f=0 TT=1800.16 T1=18.89	SAT (TO) f=0 TT=1800.19 T1=18.95	? (TO) TT=1800.11	? (TO) TT=1800.24	? (TO) TT=1800.17	? (TO) TT=1800.21	? (TO) TT=1800.57
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-czprob.opb	SAT f=231334362819826 TT=1804.1 T1=695.94	Signal TT=25.678	Signal TT=25.836	? (TO) TT=1800.08	? (MO) TT=582.798	SAT (TO) f=233099070787081 TT=1804.15 T1=138.3	SAT (TO) f=232515356283082 TT=1804.12 T1=1135.54	SAT (TO) f=231334362819826 TT=1804.1 T1=695.94
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-d2q06c.opb	UNSAT TT=5.635	? TT=0.462	? TT=0.465	UNSAT TT=27.317	UNSAT TT=5.635	UNSAT TT=14.349	UNSAT TT=13.74	UNSAT TT=14.336
Bench name	Best results on this instance	bsolo 3.0.16	bsolo 3.0.17	minisat+ 1.14	oree 0.1.2 alpha	sat4jPseudoCP 2007-03-23	sat4jPseudoCPClause 2007-03-23	SAT4JPseudoResolution 2007-03-23
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-d6cube.opb		? (TO) TT=1800.08	? (TO) TT=1800.09	Signal TT=1609.56	? (TO) TT=1800.89	? (TO) TT=1800.13	? (TO) TT=1800.19	? (TO) TT=1800.16
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-degen2.opb		Signal TT=2.674	Signal TT=2.654	? (TO) TT=1800.12	? (TO) TT=1800.65	? (TO) TT=1800.16	? (TO) TT=1800.31	? (TO) TT=1800.07
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-degen3.opb		Signal TT=49.415	Signal TT=46.4	? (TO) TT=1800.07	? (TO) TT=1801.2	? (TO) TT=1800.16	? (TO) TT=1800.25	? (TO) TT=1800.08
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-dfl001.opb		? TT=0.013	? TT=0.015	? (MO) TT=371.103	? (TO) TT=1800.19	? (TO) TT=1800.25	? (TO) TT=1800.22	? (TO) TT=1800.18
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-e226.opb	UNSAT TT=0.234	UNSAT TT=0.217	UNSAT TT=0.234	UNSAT TT=2.717	UNSAT TT=0.583	UNSAT TT=3.011	UNSAT TT=2.742	UNSAT TT=2.747
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-etamacro.opb	UNSAT TT=0.272	? TT=0.005	? TT=0.003	UNSAT TT=0.881	UNSAT TT=0.272	UNSAT TT=2.531	UNSAT TT=2.586	UNSAT TT=2.956
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-fffff800.opb	UNSAT TT=1.109	? TT=0.304	? TT=0.484	UNSAT TT=14.05	UNSAT TT=1.109	UNSAT TT=3.809	UNSAT TT=3.738	UNSAT TT=3.748
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-fit1p.opb	SAT f=10627584 TT=1800.15 T1=16.49	Wrong Cert. TT=1800.16	SAT (TO) f=10627584 TT=1800.15 T1=16.49	? (TO) TT=1800.07	? (TO) TT=1800.26	? (TO) TT=1800.15	? (TO) TT=1800.15	? (TO) TT=1800.13
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-fit2d.opb		Signal TT=191.53	Signal TT=190.524	Signal TT=30.831	? (MO) TT=879.011	? (TO) TT=1800.2	? (TO) TT=1800.17	? (TO) TT=1800.09
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-fit2p.opb	SAT f=223035388 TT=1800.19 T1=185.88	SAT (TO) f=223035388 TT=1800.22 T1=186.5	SAT (TO) f=223035388 TT=1800.19 T1=185.88	? (TO) TT=1800.1	? (TO) TT=1800.58	? (TO) TT=1800.23	? (TO) TT=1800.3	? (TO) TT=1800.16
Bench name	Best results on this instance	bsolo 3.0.16	bsolo 3.0.17	minisat+ 1.14	oree 0.1.2 alpha	sat4jPseudoCP 2007-03-23	sat4jPseudoCPClause 2007-03-23	SAT4JPseudoResolution 2007-03-23
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-forplan.opb		? (TO) TT=1800.03	? (TO) TT=1800.11	? (TO) TT=1800.15	? (TO) TT=1800.51	? (TO) TT=1800.19	? (TO) TT=1800.23	? (TO) TT=1800.26
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-ganges.opb	UNSAT TT=0.463	UNSAT TT=0.475	UNSAT TT=0.463	UNSAT TT=3.624	UNSAT TT=1.014	UNSAT TT=4.216	UNSAT TT=4.171	UNSAT TT=4.262
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-gfrd-pnc.opb		? (TO) TT=1800.19	? (TO) TT=1800.22	Signal TT=18.538	? (TO) TT=1800.19	? (TO) TT=1800.18	? (TO) TT=1800.69	? (TO) TT=1800.37
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-greenbea.opb		Signal TT=49.094	Signal TT=49.071	? (TO) TT=1800.04	? (TO) TT=1800.13	? (TO) TT=1800.19	? (TO) TT=1800.25	? (TO) TT=1800.22
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-greenbeb.opb		Signal TT=47.241	Signal TT=46.972	? (TO) TT=1800.09	? (TO) TT=1800.18	? (TO) TT=1800.18	? (TO) TT=1800.17	? (TO) TT=1800.25
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-grow15.opb		Signal TT=3.735	Signal TT=3.905	? (TO) TT=1800.05	? (TO) TT=1802.12	? (TO) TT=1800.17	? (TO) TT=1800.23	? (TO) TT=1800.12
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-grow22.opb		Signal TT=5.613	Signal TT=5.817	? (TO) TT=1800.09	? (TO) TT=1800.62	? (TO) TT=1800.17	? (TO) TT=1800.24	? (TO) TT=1800.2
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-grow7.opb		Signal TT=1.813	Signal TT=1.786	? (TO) TT=1800.06	? (TO) TT=1801.14	? (TO) TT=1800.2	? (TO) TT=1800.14	? (TO) TT=1800.28
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-israel.opb	SAT f=-303045502500 TT=1800.41 T1=1701.83	SAT (TO) f=-171725363062 TT=1800.13 T1=10.09	SAT (TO) f=-171725363062 TT=1800.18 T1=9.98	? (TO) TT=1800.03	? (TO) TT=1800.2	SAT (TO) f=-303045502500 TT=1800.41 T1=1701.83	SAT (TO) f=-129472499000 TT=1800.33 T1=894.55	? (TO) TT=1800.27
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.25 T1=2.89	? (MO) TT=100.273	? (MO) TT=128.112	? (TO) TT=1800.09	? (TO) TT=1800.11	SAT (TO) f=0 TT=1800.25 T1=4.01	SAT (TO) f=0 TT=1800.42 T1=7.72	SAT (TO) f=0 TT=1800.32 T1=2.89
Bench name	Best results on this instance	bsolo 3.0.16	bsolo 3.0.17	minisat+ 1.14	oree 0.1.2 alpha	sat4jPseudoCP 2007-03-23	sat4jPseudoCPClause 2007-03-23	SAT4JPseudoResolution 2007-03-23
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-lotfi.opb		? TT=0.022	? TT=0.023	? (MO) TT=325.512	? (TO) TT=1800.63	? (TO) TT=1800.23	? (TO) TT=1800.24	? (TO) TT=1800.18
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-maros.opb		Signal TT=11.095	Signal TT=11.547	? (TO) TT=1800.04	? (MO) TT=1595.19	? (TO) TT=1800.23	? (TO) TT=1800.24	? (TO) TT=1800.26
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-maros-r7.opb	SAT f=10442014720 TT=999.228 T1=144.66	SAT (MO) f=10442014720 TT=1059.24 T1=154.3	SAT (MO) f=10442014720 TT=999.228 T1=144.66	? (TO) TT=1800.11	? (TO) TT=1800.31	? (TO) TT=1800.18	? (TO) TT=1800.29	? (TO) TT=1800.25
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.24	? (TO) TT=1800.05	? (TO) TT=1800.36	? (TO) TT=1800.25	? (TO) TT=1800.25	? (TO) TT=1800.35
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-nesm.opb	UNSAT TT=1.806	? TT=0.466	? TT=0.451	UNSAT TT=10.509	UNSAT TT=1.806	UNSAT TT=6.831	UNSAT TT=6.471	UNSAT TT=6.529
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-perold.opb	UNSAT TT=0.892	? TT=0.115	? TT=0.113	UNSAT TT=4.291	UNSAT TT=0.892	UNSAT TT=4.167	UNSAT TT=3.942	UNSAT TT=3.971
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-pilot4.opb	UNSAT TT=0.708	? TT=0.036	? TT=0.037	UNSAT TT=3.157	UNSAT TT=0.708	UNSAT TT=3.435	UNSAT TT=3.414	UNSAT TT=3.437
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-pilot87.opb	UNSAT TT=3.797	UNSAT TT=3.908	UNSAT TT=3.797	UNSAT TT=12.426	UNSAT TT=6.211	UNSAT TT=9.537	UNSAT TT=9.331	UNSAT TT=9.558
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-pilot.opb	UNSAT TT=2.321	UNSAT TT=2.32	UNSAT TT=2.321	UNSAT TT=4.578	UNSAT TT=3.645	UNSAT TT=4.762	UNSAT TT=4.761	UNSAT TT=4.711
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-pilot.we.opb	UNSAT TT=35.457	? TT=0.004	? TT=0.005	? (TO) TT=1800.08	? (TO) TT=1800.21	UNSAT TT=35.457	? (TO) TT=1800.19	? (TO) TT=1800.57
Bench name	Best results on this instance	bsolo 3.0.16	bsolo 3.0.17	minisat+ 1.14	oree 0.1.2 alpha	sat4jPseudoCP 2007-03-23	sat4jPseudoCPClause 2007-03-23	SAT4JPseudoResolution 2007-03-23
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-recipe.opb	SAT f=-127156975 TT=1800.7 T1=207.24	Signal TT=0.5	Signal TT=0.535	? (MO) TT=610.8	? (TO) TT=1800.42	SAT (TO) f=-87525398 TT=1800.27 T1=6.29	? (TO) TT=1800.14	SAT (TO) f=-127156975 TT=1800.7 T1=207.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=4.725 T1=0	OPT f=0 TT=409.152 T1=0.09	OPT f=0 TT=408.203 T1=0	OPT f=0 TT=4.725 T1=4.59	? (TO) TT=1800.31	? (TO) TT=1800.21	SAT (TO) f=0 TT=1800.28 T1=5.21	OPT f=0 TT=15.907 T1=9.3
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-sc205.opb	OPT f=0 TT=16.955 T1=0.1	SAT f=0 TT=1800.05 T1=0.09	SAT (TO) f=0 TT=1800.11 T1=0.1	OPT f=0 TT=23.309 T1=23.27	? (TO) TT=1800.14	? (TO) TT=1800.15	SAT (TO) f=0 TT=1800.28 T1=5.27	OPT f=0 TT=16.955 T1=9.13
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-sc50a.opb	OPT f=-60000 TT=4.105 T1=2.59	OPT f=-60000 TT=30.211 T1=29.19	OPT f=-60000 TT=30.011 T1=28.98	OPT f=-60000 TT=4.105 T1=2.59	? (TO) TT=1800.22	? (TO) TT=1800.18	SAT (TO) f=-40000 TT=1800.27 T1=112.91	OPT f=-60000 TT=7.157 T1=5.11
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-sc50b.opb	OPT f=-70000 TT=37.317 T1=33.4	? (MO) TT=43.029	? (MO) TT=43.156	OPT f=-70000 TT=542.582 T1=525.28	? (TO) TT=1800.11	SAT (TO) f=0 TT=1800.29 T1=3.65	SAT (TO) f=0 TT=1800.26 T1=2.92	OPT f=-70000 TT=37.317 T1=33.4
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-scagr25.opb	UNSAT TT=0.168	UNSAT TT=0.176	UNSAT TT=0.168	UNSAT TT=1.15	UNSAT TT=0.388	UNSAT TT=3.083	UNSAT TT=3.389	UNSAT TT=3.111
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-scagr7.opb	UNSAT TT=0.047	UNSAT TT=0.05	UNSAT TT=0.047	UNSAT TT=0.267	UNSAT TT=0.106	UNSAT TT=2.127	UNSAT TT=2.168	UNSAT TT=2.179
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-scfxm1.opb	UNSAT TT=0.215	UNSAT TT=0.223	UNSAT TT=0.215	UNSAT TT=2.923	UNSAT TT=0.358	UNSAT TT=2.714	UNSAT TT=2.762	UNSAT TT=2.748
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-scfxm2.opb	UNSAT TT=0.402	UNSAT TT=0.374	UNSAT TT=0.402	UNSAT TT=6.326	UNSAT TT=0.741	UNSAT TT=3.705	UNSAT TT=4.101	UNSAT TT=4.2
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-scfxm3.opb	UNSAT TT=0.582	UNSAT TT=0.938	UNSAT TT=0.582	UNSAT TT=9.513	UNSAT TT=1.111	UNSAT TT=4.36	UNSAT TT=4.389	UNSAT TT=4.524
Bench name	Best results on this instance	bsolo 3.0.16	bsolo 3.0.17	minisat+ 1.14	oree 0.1.2 alpha	sat4jPseudoCP 2007-03-23	sat4jPseudoCPClause 2007-03-23	SAT4JPseudoResolution 2007-03-23
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-scorpion.opb		? (TO) TT=1800.14	? (TO) TT=1800.16	Signal TT=660.367	? (TO) TT=1800.14	? (TO) TT=1800.24	? (TO) TT=1800.26	? (TO) TT=1800.27
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-scrs8.opb		? TT=0.004	? TT=0.004	? (TO) TT=1800.08	? (TO) TT=1800.25	? (TO) TT=1800.19	? (TO) TT=1800.13	? (TO) TT=1800.33
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-scsd1.opb		? TT=0.018	? TT=0.016	? (MO) TT=226.834	? (TO) TT=1802.08	? (TO) TT=1800.18	? (TO) TT=1800.28	? (TO) TT=1800.28
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-scsd6.opb		? TT=0.016	? TT=0.017	? (MO) TT=226.827	? (TO) TT=1801.4	? (TO) TT=1800.2	? (TO) TT=1800.24	? (TO) TT=1800.11
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-scsd8.opb		? TT=0.029	? TT=0.018	? (MO) TT=208.241	? (TO) TT=1800.45	? (TO) TT=1800.21	? (TO) TT=1800.29	? (TO) TT=1800.31
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-sctap1.opb	SAT f=2348791542 TT=1800.21 T1=466.37	Wrong Cert. TT=1800.19	SAT (TO) f=2348791542 TT=1800.21 T1=466.37	? (TO) TT=1800.13	? (TO) TT=1800.32	SAT (TO) f=85186191756 TT=1800.77 T1=1129.54	? (TO) TT=1800.32	SAT (TO) f=18237099188 TT=1800.87 T1=1254.59
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-sctap2.opb	SAT f=7525688714 TT=1800.35 T1=1603.33	SAT (TO) f=7525688714 TT=1800.3 T1=1616.44	SAT (TO) f=7525688714 TT=1800.35 T1=1603.33	? (TO) TT=1800.09	? (TO) TT=1800.52	? (TO) TT=1800.19	? (TO) TT=1800.2	SAT (TO) f=164171293846 TT=1804.14 T1=543.52
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-sctap3.opb	SAT f=11761405455 TT=1453.85 T1=367.59	SAT (MO) f=11761405455 TT=1469.57 T1=373.8	SAT (MO) f=11761405455 TT=1453.85 T1=367.59	? (TO) TT=1800.09	? (TO) TT=1801.15	? (TO) TT=1800.24	? (TO) TT=1800.22	SAT (TO) f=274669257608 TT=1804.24 T1=174.38
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-seba.opb		? (TO) TT=1800.02	? (TO) TT=1800.06	? (TO) TT=1800.14	? (TO) TT=1800.16	? (TO) TT=1800.17	? (TO) TT=1800.21	? (TO) TT=1800.16
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-share1b.opb	UNSAT TT=0.093	UNSAT TT=0.091	UNSAT TT=0.093	UNSAT TT=1.174	UNSAT TT=0.193	UNSAT TT=2.286	UNSAT TT=2.2	UNSAT TT=2.275
Bench name	Best results on this instance	bsolo 3.0.16	bsolo 3.0.17	minisat+ 1.14	oree 0.1.2 alpha	sat4jPseudoCP 2007-03-23	sat4jPseudoCPClause 2007-03-23	SAT4JPseudoResolution 2007-03-23
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-share2b.opb		? TT=1800.05	? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800.52	? (TO) TT=1800.13	? (TO) TT=1800.18	? (TO) TT=1800.22
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-shell.opb		? (TO) TT=1800.07	? (TO) TT=1800.09	Signal TT=19.029	? (TO) TT=1800.25	? (TO) TT=1800.22	? (TO) TT=1800.19	? (TO) TT=1800.19
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-ship04l.opb	UNSAT TT=0.692	UNSAT TT=0.686	UNSAT TT=0.692	UNSAT TT=16.107	UNSAT TT=1.85	UNSAT TT=4.49	UNSAT TT=4.566	UNSAT TT=4.568
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-ship04s.opb	UNSAT TT=0.46	UNSAT TT=0.455	UNSAT TT=0.46	UNSAT TT=4.942	UNSAT TT=1.274	UNSAT TT=2.768	UNSAT TT=2.814	UNSAT TT=2.733
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-ship08l.opb	UNSAT TT=1.412	UNSAT TT=1.436	UNSAT TT=1.412	UNSAT TT=29.376	UNSAT TT=3.823	UNSAT TT=7.608	UNSAT TT=7.472	UNSAT TT=7.542
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-ship08s.opb	UNSAT TT=0.758	UNSAT TT=0.76	UNSAT TT=0.758	UNSAT TT=12.962	UNSAT TT=2.115	UNSAT TT=5.886	UNSAT TT=5.814	UNSAT TT=5.717
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-ship12l.opb	UNSAT TT=2.875	UNSAT TT=1.779	UNSAT TT=2.875	UNSAT TT=28.829	UNSAT TT=4.872	UNSAT TT=5.406	UNSAT TT=5.4	UNSAT TT=5.38
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-ship12s.opb	UNSAT TT=0.869	UNSAT TT=0.878	UNSAT TT=0.869	UNSAT TT=11.304	UNSAT TT=2.454	UNSAT TT=4.17	UNSAT TT=4.299	UNSAT TT=4.103
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-sierra.opb		? (TO) TT=1800.1	? (TO) TT=1800.1	Signal TT=28.924	? (TO) TT=1800.12	? (TO) TT=1800.18	? (TO) TT=1800.18	? (TO) TT=1800.33
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-stair.opb	UNSAT TT=12.245	UNSAT TT=838.975	UNSAT TT=836.557	? (TO) TT=1800.08	? (TO) TT=1800.25	? (TO) TT=1800.2	? (TO) TT=1800.15	UNSAT TT=12.245
Bench name	Best results on this instance	bsolo 3.0.16	bsolo 3.0.17	minisat+ 1.14	oree 0.1.2 alpha	sat4jPseudoCP 2007-03-23	sat4jPseudoCPClause 2007-03-23	SAT4JPseudoResolution 2007-03-23
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-standata.opb		? (TO) TT=1800.13	? (TO) TT=1800.13	? (TO) TT=1800.03	? (TO) TT=1800.09	? (TO) TT=1800.21	? (TO) TT=1800.18	? (TO) TT=1800.11
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-standgub.opb		? (TO) TT=1800.25	? (TO) TT=1800.23	? (TO) TT=1800.04	? (TO) TT=1800.2	? (TO) TT=1800.13	? (TO) TT=1800.23	? (TO) TT=1800.12
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-stocfor1.opb	UNSAT TT=0.033	UNSAT TT=0.036	UNSAT TT=0.033	UNSAT TT=0.253	UNSAT TT=0.073	UNSAT TT=2.091	UNSAT TT=2.07	UNSAT TT=2.071
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-stocfor2.opb	UNSAT TT=1.651	? TT=0.005	? TT=0.004	UNSAT TT=6.311	UNSAT TT=1.651	UNSAT TT=6.126	UNSAT TT=6.148	UNSAT TT=6.252
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-tuff.opb		? (TO) TT=1800.06	? (TO) TT=1800.08	? (TO) TT=1800.05	? (MO) TT=1099.08	? (TO) TT=1800.18	? (TO) TT=1800.17	? (TO) TT=1800.18
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-vtp.base.opb		? TT=1800.06	? (TO) TT=1800.09	? (MO) TT=369.631	? (TO) TT=1800.26	? (TO) TT=1800.17	? (TO) TT=1800.22	? (TO) TT=1800.3
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-wood1p.opb		? TT=2.874	? TT=2.947	? (TO) TT=1800.11	? (TO) TT=1802.2	? (TO) TT=1800.15	? (TO) TT=1800.2	? (TO) TT=1800.16
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-woodw.opb	UNSAT TT=4.182	UNSAT TT=4.181	UNSAT TT=4.182	UNSAT TT=125.64	UNSAT TT=10.166	UNSAT TT=26.605	UNSAT TT=26.269	UNSAT TT=27.521
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-a1c1s1.opb		? (TO) TT=1800.19	? (TO) TT=1800.17	? (TO) TT=1800.17	? (TO) TT=1800.08	? (TO) TT=1800.15	? (TO) TT=1800.24	? (TO) TT=1800.28
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-arki001.opb	UNSAT TT=4.168	? (TO) TT=1800.08	? (TO) TT=1800.14	? (TO) TT=1800.04	? (TO) TT=1800.19	UNSAT TT=4.168	? (TO) TT=1800.27	? (TO) TT=1800.24
Bench name	Best results on this instance	bsolo 3.0.16	bsolo 3.0.17	minisat+ 1.14	oree 0.1.2 alpha	sat4jPseudoCP 2007-03-23	sat4jPseudoCPClause 2007-03-23	SAT4JPseudoResolution 2007-03-23
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-atlanta-ip.opb	SAT f=13401266210196 TT=1804.1 T1=568.74	? (TO) TT=1800.03	? (TO) TT=1800.12	? (TO) TT=1800.07	? (TO) TT=1800.39	SAT (TO) f=13401266210196 TT=1804.1 T1=568.74	SAT (TO) f=17403115288955 TT=1804.15 T1=244.25	SAT (TO) f=14001513050479 TT=1804.19 T1=648.19
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-dano3mip.opb		? (TO) TT=1800.11	? (TO) TT=1800.1	? (TO) TT=1800.24	? (TO) TT=1800.3	? (TO) TT=1800.24	? (TO) TT=1800.25	? (TO) TT=1800.19
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-danoint.opb		? (TO) TT=1800.26	? (TO) TT=1800.31	? (TO) TT=1800.14	? (MO) TT=1206.97	? (TO) TT=1800.23	? (TO) TT=1800.23	? (TO) TT=1800.36
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-ds.opb		Signal TT=3.784	Signal TT=4.156	Signal TT=1622.46	? (MO) TT=108.615	? TT=868.687	? TT=451.981	? TT=773.025
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-fiber.opb	SAT f=65442871 TT=1800.32 T1=317.57	? TT=1800.01	? (TO) TT=1800.11	SAT (TO) f=1952115689 TT=1800.06 T1=17.39	? (TO) TT=1800.32	SAT (TO) f=91539978 TT=1800.35 T1=226.98	SAT (TO) f=71509856 TT=1800.28 T1=1511.4	SAT (TO) f=65442871 TT=1800.32 T1=317.57
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-fixnet6.opb	SAT f=33584982 TT=1800.3 T1=826.66	SAT (TO) f=33584982 TT=1800.28 T1=788.58	SAT (TO) f=33584982 TT=1800.3 T1=826.66	SAT (TO) f=99694352 TT=1800.11 T1=1620.61	? (TO) TT=1800.4	SAT (TO) f=47426317 TT=1800.87 T1=202.72	SAT (TO) f=52452229 TT=1800.87 T1=96.09	SAT (TO) f=64665609 TT=1800.97 T1=1422.3
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-gesa2-o.opb		? (TO) TT=1800.1	? (TO) TT=1800.1	? (TO) TT=1800.08	? (TO) TT=1800.35	? (TO) TT=1800.26	? (TO) TT=1800.22	? (TO) TT=1800.54
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-gesa2.opb		Signal TT=0.74	Signal TT=0.76	? (TO) TT=1800.05	? (TO) TT=1800.19	? (TO) TT=1800.2	? (TO) TT=1800.18	? (exit code) TT=922.578
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-glass4.opb	SAT f=1470471039630 TT=1800.21 T1=1778.46	? TT=0.006	? TT=0.007	? (MO) TT=189.636	? (TO) TT=1800.46	SAT (TO) f=1073227208024641 TT=1800.34 T1=100.82	SAT (TO) f=1073751571646432 TT=1800.21 T1=5.03	SAT (TO) f=1470471039630 TT=1800.21 T1=1778.46
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-harp2.opb	SAT f=-66737705 TT=1800.39 T1=3.01	? (TO) TT=1800.08	? (TO) TT=1800.03	? (TO) TT=1800.04	SAT (TO) f=-53803800 TT=1800.48 T1=459.49	SAT (TO) f=-66518010 TT=1800.41 T1=21.69	SAT (TO) f=-65901238 TT=1800.42 T1=5.32	SAT (TO) f=-66737705 TT=1800.39 T1=3.01
Bench name	Best results on this instance	bsolo 3.0.16	bsolo 3.0.17	minisat+ 1.14	oree 0.1.2 alpha	sat4jPseudoCP 2007-03-23	sat4jPseudoCPClause 2007-03-23	SAT4JPseudoResolution 2007-03-23
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-liu.opb	SAT f=1200128 TT=1800.07 T1=1677.94	SAT f=1200128 TT=1800.04 T1=1691.27	SAT (TO) f=1200128 TT=1800.07 T1=1677.94	? (TO) TT=1800.05	SAT (TO) f=536870912 TT=1801.02 T1=1752.11	? (TO) TT=1800.21	? (TO) TT=1800.21	SAT (TO) f=11501566 TT=1800.25 T1=1793.81
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-markshare1.opb	SAT f=20480 TT=1800.03 T1=112.85	SAT f=20480 TT=1800 T1=113.05	SAT (TO) f=20480 TT=1800.03 T1=112.85	SAT (TO) f=207872 TT=1800.11 T1=1627.14	? (TO) TT=1800.2	SAT (TO) f=243712 TT=1800.15 T1=88.05	SAT (TO) f=102400 TT=1800.12 T1=981.94	SAT (TO) f=33792 TT=1800.15 T1=48.37
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-markshare2.opb	SAT f=59392 TT=1800.16 T1=1163.98	SAT f=86016 TT=1800.01 T1=134.54	SAT (TO) f=86016 TT=1800.08 T1=135.06	SAT (TO) f=371712 TT=1800.03 T1=1609.65	? (TO) TT=1800.3	SAT (TO) f=384000 TT=1800.17 T1=49.15	SAT (TO) f=219136 TT=1800.17 T1=316.93	SAT (TO) f=59392 TT=1800.16 T1=1163.98
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-mas74.opb	SAT f=91750400640 TT=1800.18 T1=1361.69	? TT=0.005	? TT=0.007	? (TO) TT=1800.07	? (TO) TT=1800.19	? (TO) TT=1800.15	SAT (TO) f=91750400640 TT=1800.18 T1=1361.69	SAT (TO) f=104422297515 TT=1800.29 T1=1601.05
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-mas76.opb	SAT f=209715197291 TT=1800.06 T1=6.12	? TT=0.003	? TT=0.004	? (TO) TT=1800.02	? (TO) TT=1800.11	SAT (TO) f=209715197291 TT=1800.06 T1=6.12	SAT (TO) f=419427197259 TT=1800.18 T1=1799.32	SAT (TO) f=212616000480 TT=1800.21 T1=1663.98
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-misc07.opb	SAT f=1076618240 TT=1800.09 T1=16.49	SAT f=1076618240 TT=1800.02 T1=16.49	SAT (TO) f=1076618240 TT=1800.09 T1=16.49	SAT (TO) f=1076618240 TT=1800.1 T1=89.07	SAT (TO) f=1077335040 TT=1800.21 T1=1089.98	? (TO) TT=1800.19	SAT (TO) f=1078072320 TT=1800.19 T1=967.55	SAT (TO) f=1076618240 TT=1800.14 T1=26.52
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-mkc.opb	SAT f=-111125 TT=1800.37 T1=13.09	? (MO) TT=415.305	? (MO) TT=415.594	? (TO) TT=1800.12	? (TO) TT=1800.14	? (TO) TT=1800.17	? (TO) TT=1800.17	SAT (TO) f=-111125 TT=1800.37 T1=13.09
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-mod011.opb		? TT=0.27	? TT=0.289	? (TO) TT=1800.08	? (TO) TT=1800.28	? (TO) TT=1800.26	? (TO) TT=1800.23	? (TO) TT=1800.25
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-modglob.opb		? TT=0.021	? TT=0.024	? (TO) TT=1800.14	? (TO) TT=1800.23	? (TO) TT=1800.14	? (TO) TT=1800.46	? (TO) TT=1800.31
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-momentum1.opb	UNSAT TT=3.748	? TT=0.36	? TT=0.313	UNSAT TT=6.686	UNSAT TT=3.748	UNSAT TT=7.058	UNSAT TT=7.082	UNSAT TT=7.098
Bench name	Best results on this instance	bsolo 3.0.16	bsolo 3.0.17	minisat+ 1.14	oree 0.1.2 alpha	sat4jPseudoCP 2007-03-23	sat4jPseudoCPClause 2007-03-23	SAT4JPseudoResolution 2007-03-23
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-momentum2.opb	UNSAT TT=14.979	? TT=0.14	? TT=0.121	UNSAT TT=48.746	UNSAT TT=14.979	UNSAT TT=33.231	UNSAT TT=32.079	UNSAT TT=33.701
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-momentum3.opb	SAT f=10842138728 TT=1804.25 T1=138.61	? TT=0.66	? TT=0.926	? (TO) TT=1800.15	? (TO) TT=1801.91	? (TO) TT=1800.35	? (TO) TT=1802.3	SAT (TO) f=10842138728 TT=1804.25 T1=138.61
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-msc98-ip.opb	SAT f=2809815002358493202 TT=1801.05 T1=885.11	Signal TT=10.64	Signal TT=10.46	? (TO) TT=1800.1	? (TO) TT=1800.13	SAT (TO) f=2847184800988755814 TT=1801.03 T1=1631.45	SAT (TO) f=2816131600822356475 TT=1801.28 T1=883.7	SAT (TO) f=2809815002358493202 TT=1801.05 T1=885.11
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-noswot.opb	OPT f=-41 TT=67.145 T1=3.73	? (MO) TT=33.247	? (MO) TT=33.132	OPT f=-41 TT=67.145 T1=37.98	SAT (TO) f=-26 TT=1800.33 T1=405.95	SAT (TO) f=-41 TT=1800.31 T1=847.13	SAT (TO) f=-37 TT=1800.23 T1=29.84	SAT (TO) f=-41 TT=1800.22 T1=3.73
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-nsrand-ipx.opb	SAT f=1207959552 TT=1800.19 T1=9.39	SAT (TO) f=1207959552 TT=1800.17 T1=9.15	SAT (TO) f=1207959552 TT=1800.19 T1=9.39	? (TO) TT=1800.13	? (TO) TT=1800.24	SAT (TO) f=2147483575 TT=1800.28 T1=1736.46	SAT (TO) f=2147483619 TT=1800.41 T1=1503.32	SAT (TO) f=2145378043 TT=1800.22 T1=1791.97
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-pk1.opb	SAT f=50176 TT=1800.09 T1=566.45	SAT f=50176 TT=1800.01 T1=568.5	SAT (TO) f=50176 TT=1800.09 T1=566.45	SAT (TO) f=73896 TT=1800.02 T1=1678.64	? (TO) TT=1800.25	? (TO) TT=1800.16	? (TO) TT=1800.2	SAT (TO) f=1073741823 TT=1800.58 T1=1.75
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-pp08aCUTS.opb		? (TO) TT=1800.08	? (TO) TT=1800.1	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.16	? (TO) TT=1800.2	? (TO) TT=1800.11
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-pp08a.opb		? TT=1799.95	? (TO) TT=1800.11	? (TO) TT=1800.13	? (TO) TT=1800.27	? (TO) TT=1800.21	? (TO) TT=1800.24	? (TO) TT=1800.32
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-qiu.opb		? TT=1800.03	? (TO) TT=1800.09	Signal TT=4.265	? (TO) TT=1800.53	? (TO) TT=1800.12	? (TO) TT=1800.2	? (TO) TT=1800.29
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-rd-rplusc-21.opb	UNSAT TT=57.922	? TT=0.008	? TT=0.007	UNSAT TT=162.206	UNSAT TT=57.922	UNSAT TT=79.387	UNSAT TT=72.645	UNSAT TT=81.906
Bench name	Best results on this instance	bsolo 3.0.16	bsolo 3.0.17	minisat+ 1.14	oree 0.1.2 alpha	sat4jPseudoCP 2007-03-23	sat4jPseudoCPClause 2007-03-23	SAT4JPseudoResolution 2007-03-23
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-roll3000.opb		? (TO) TT=1800.09	? (TO) TT=1800.15	? (TO) TT=1800.07	? (TO) TT=1800.26	? (TO) TT=1800.21	? (TO) TT=1800.19	? (TO) TT=1800.17
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-rout.opb	SAT f=1075045120 TT=1800.42 T1=100.78	SAT (TO) f=1075346944 TT=1800.16 T1=927.73	SAT (TO) f=1075346944 TT=1800.14 T1=922.35	SAT (TO) f=1075131904 TT=1800.15 T1=1690.32	? (TO) TT=1800.66	SAT (TO) f=1075267328 TT=1800.4 T1=1648.3	SAT (TO) f=1075701248 TT=1800.41 T1=974.89	SAT (TO) f=1075045120 TT=1800.42 T1=100.78
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-set1ch.opb	SAT f=447401599 TT=1800.2 T1=1720.29	SAT (TO) f=447401599 TT=1800.12 T1=1735.04	SAT (TO) f=447401599 TT=1800.2 T1=1720.29	SAT (TO) f=18508139657 TT=1800.11 T1=123.56	SAT (TO) f=585381290 TT=1800.24 T1=29.08	SAT (TO) f=64774878066 TT=1800.65 T1=11.14	SAT (TO) f=86251190839 TT=1800.7 T1=7.2	SAT (TO) f=64887083627 TT=1800.86 T1=5.81
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-sp97ar.opb	SAT f=43968247840 TT=1804.16 T1=399.84	Wrong Cert. TT=1800.38	SAT (TO) f=65852345856 TT=1800.35 T1=25.96	SAT (TO) f=682950376212 TT=1800.15 T1=637.77	SAT (MO) f=101753767138 TT=748.837 T1=439.96	SAT (TO) f=235713995513 TT=1804.16 T1=1357.78	SAT (TO) f=235713995513 TT=1804.12 T1=1427.92	SAT (TO) f=43968247840 TT=1804.16 T1=399.84
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-stp3d.opb		? (TO) TT=1800.09	? (TO) TT=1800.2	? (TO) TT=1800.07	? (TO) TT=1800.35	? (TO) TT=1800.19	? (TO) TT=1800.28	? (TO) TT=1800.18
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-swath.opb		? (TO) TT=1800.12	? (TO) TT=1800.17	? (MO) TT=211.829	? (TO) TT=1800.35	? (TO) TT=1800.14	? (TO) TT=1800.18	? (TO) TT=1800.21
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-timtab1.opb		? TT=0.027	? TT=0.028	Signal TT=2.011	? (TO) TT=1800.31	? (TO) TT=1800.2	? (TO) TT=1800.33	? (TO) TT=1800.3
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-timtab2.opb	SAT f=168760139499919105 TT=1800.19 T1=38.38	SAT (TO) f=168760139499919105 TT=1800.15 T1=38.68	SAT (TO) f=168760139499919105 TT=1800.19 T1=38.38	? (TO) TT=1800.1	? (TO) TT=1800.24	? (TO) TT=1800.16	? (TO) TT=1800.2	SAT (TO) f=201280571499924146 TT=1800.5 T1=79.75
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-tr12-30.opb	SAT f=304897224 TT=1801.14 T1=881.15	? (TO) TT=1800.09	? (TO) TT=1800.09	? (TO) TT=1800.12	? (TO) TT=1800.45	? (TO) TT=1800.12	? (TO) TT=1800.22	SAT (TO) f=304897224 TT=1801.14 T1=881.15
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-van.opb	SAT f=24193312742 TT=1800.39 T1=344.68	SAT (TO) f=25442247019 TT=1800.36 T1=201.09	SAT (TO) f=24193312742 TT=1800.39 T1=344.68	? (TO) TT=1800.09	SAT (TO) f=25442247019 TT=1801.02 T1=1418.12	SAT (TO) f=25442247019 TT=1800.78 T1=467.71	SAT (TO) f=25442247019 TT=1800.75 T1=445.31	SAT (TO) f=25442247019 TT=1800.73 T1=58.2
Bench name	Best results on this instance	bsolo 3.0.16	bsolo 3.0.17	minisat+ 1.14	oree 0.1.2 alpha	sat4jPseudoCP 2007-03-23	sat4jPseudoCPClause 2007-03-23	SAT4JPseudoResolution 2007-03-23
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib3/ normalized-mps-v2-20-10-blend2.opb	SAT f=33023540 TT=1119.77 T1=249.6	SAT (MO) f=33023540 TT=1131.41 T1=252.24	SAT (MO) f=33023540 TT=1119.77 T1=249.6	? (TO) TT=1800.17	? (TO) TT=1802.11	? (TO) TT=1800.22	? (TO) TT=1800.15	? (TO) TT=1800.29
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib3/ normalized-mps-v2-20-10-gesa3_o.opb		? (TO) TT=1800.06	? (TO) TT=1800.1	? (TO) TT=1800.1	? (TO) TT=1800.77	? (TO) TT=1800.24	? (TO) TT=1800.18	? (TO) TT=1800.78
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib3/ normalized-mps-v2-20-10-gesa3.opb	SAT f=6587681631937 TT=1800.22 T1=1612.33	SAT (TO) f=6587681631937 TT=1800.14 T1=1552.68	SAT (TO) f=6587681631937 TT=1800.22 T1=1612.33	? (TO) TT=1800.04	? (TO) TT=1800.25	? (TO) TT=1800.17	? (TO) TT=1800.21	? (TO) TT=1802.36
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib3/ normalized-mps-v2-20-10-qnet1_o.opb	UNSAT TT=0.042	UNSAT TT=0.043	UNSAT TT=0.042	UNSAT TT=1.759	UNSAT TT=0.23	? (TO) TT=1800.17	? (TO) TT=1800.21	UNSAT TT=3.241
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib3/ normalized-mps-v2-20-10-qnet1.opb	UNSAT TT=0.045	UNSAT TT=0.044	UNSAT TT=0.045	UNSAT TT=1.805	UNSAT TT=0.235	? (TO) TT=1800.18	? (TO) TT=1800.24	UNSAT TT=4.166
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-bell3a.opb	SAT f=257546671029920 TT=1800.07 T1=1121.33	SAT f=257546671029920 TT=1800.04 T1=1123.7	SAT (TO) f=257546671029920 TT=1800.07 T1=1121.33	SAT (TO) f=9138013899170109 TT=1800.11 T1=22.98	SAT (TO) f=14349279351275520 TT=1800.24 T1=347.08	SAT (TO) f=447730115464720 TT=1800.42 T1=159.18	SAT (TO) f=7366098077852300 TT=1800.31 T1=5.02	SAT (TO) f=2888367171326525 TT=1800.3 T1=1656.06
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-bell3b.opb	SAT f=1548684511145700 TT=1800.09 T1=396.09	SAT (TO) f=1548684511145700 TT=1800.07 T1=395.19	SAT (TO) f=1548684511145700 TT=1800.09 T1=396.09	SAT (TO) f=28521352661217238 TT=1800.09 T1=26.09	? (TO) TT=1800.09	SAT (TO) f=1787117261333970 TT=1800.27 T1=1402.95	SAT (TO) f=37889209668691500 TT=1800.41 T1=5.31	SAT (TO) f=1772564217616740 TT=1800.45 T1=5.87
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-bell4.opb	SAT f=270074323092872 TT=1800.28 T1=88.18	SAT (TO) f=272676464333400 TT=1800.03 T1=78.37	SAT (TO) f=272676464333400 TT=1800.11 T1=78.36	SAT (TO) f=3855997816148051 TT=1800.11 T1=18.98	SAT (TO) f=5309260466749440 TT=1800.16 T1=1796.91	SAT (TO) f=270074323092872 TT=1800.28 T1=88.18	SAT (TO) f=327100157159370 TT=1800.29 T1=259.83	SAT (TO) f=390314542467094 TT=1800.47 T1=339.92
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-bell5.opb	SAT f=1037979231691996 TT=1800.45 T1=18.07	SAT f=1273940294790272 TT=1800.02 T1=1151.87	SAT (TO) f=1273940294790272 TT=1800.06 T1=1149.76	SAT (TO) f=5196926756466002 TT=1800.03 T1=17.89	SAT (TO) f=8603549941104640 TT=1800.21 T1=1560.56	SAT (TO) f=1396023892178748 TT=1800.32 T1=1465.72	SAT (TO) f=3003056551890970 TT=1800.32 T1=166.07	SAT (TO) f=1037979231691996 TT=1800.45 T1=18.07
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-dcmulti.opb		? (TO) TT=1800.2	? (TO) TT=1800.25	? (TO) TT=1800.13	? (TO) TT=1801.55	? (TO) TT=1800.22	? (TO) TT=1800.35	? (TO) TT=1800.34
Bench name	Best results on this instance	bsolo 3.0.16	bsolo 3.0.17	minisat+ 1.14	oree 0.1.2 alpha	sat4jPseudoCP 2007-03-23	sat4jPseudoCPClause 2007-03-23	SAT4JPseudoResolution 2007-03-23
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-egout.opb	OPT f=471047168 TT=482.969 T1=434.87	SAT (TO) f=486571008 TT=1800.07 T1=44.08	SAT (TO) f=486571008 TT=1800.12 T1=44.16	OPT f=471047168 TT=482.969 T1=434.87	SAT (TO) f=533484544 TT=1800.39 T1=0	SAT (TO) f=533484544 TT=1800.28 T1=21.31	SAT (TO) f=498527232 TT=1800.29 T1=15.42	SAT (TO) f=479461376 TT=1800.24 T1=1266.23
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-fixnet3.opb	SAT f=69127168 TT=1486.55 T1=0.88	SAT (MO) f=69127168 TT=1490.99 T1=1	SAT (MO) f=69127168 TT=1486.55 T1=0.88	SAT (TO) f=756225019 TT=1800.08 T1=983.21	? (TO) TT=1800.25	? (TO) TT=1800.2	SAT (TO) f=676326114 TT=1800.84 T1=130.29	SAT (TO) f=316802862 TT=1800.98 T1=1070.64
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-fixnet4.opb	SAT f=35203702 TT=1595.79 T1=430.07	SAT (MO) f=35203702 TT=1601.12 T1=432.36	SAT (MO) f=35203702 TT=1595.79 T1=430.07	SAT (TO) f=155141646 TT=1800.07 T1=1543.2	? (TO) TT=1800.63	SAT (TO) f=141977430 TT=1800.94 T1=622.83	? (TO) TT=1800.21	SAT (TO) f=116708597 TT=1800.85 T1=267.14
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-flugpl.opb	OPT f=14745600 TT=0.039 T1=0	OPT f=14745600 TT=0.037 T1=0	OPT f=14745600 TT=0.039 T1=0	OPT f=14745600 TT=21.249 T1=21.08	SAT (TO) f=14745600 TT=1800.2 T1=869.44	OPT f=14745600 TT=8.368 T1=7.9	OPT f=14745600 TT=5.507 T1=4.9	OPT f=14745600 TT=1.045 T1=0.82
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-gen.opb	SAT f=68194326759492 TT=1800.9 T1=38.91	? (MO) TT=13.722	? (MO) TT=13.667	SAT (TO) f=70288331953493 TT=1800.29 T1=284.41	? (TO) TT=1800.19	SAT (TO) f=68194326759492 TT=1800.9 T1=38.91	SAT (TO) f=80152340715343 TT=1801.09 T1=10.98	SAT (TO) f=68726084524282 TT=1800.83 T1=10.71
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-khb05250.opb	SAT f=279273270736 TT=1802.84 T1=541.84	SAT (MO) f=304381316398 TT=580.828 T1=151.25	SAT (MO) f=304381316398 TT=580.145 T1=150.54	? (TO) TT=1800.07	? (TO) TT=1800.31	SAT (TO) f=375781094498 TT=1802.72 T1=1308.63	? (TO) TT=1800.17	SAT (TO) f=279273270736 TT=1802.84 T1=541.84
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-misc01.opb	OPT f=1074317824 TT=0.222 T1=0.01	OPT f=1074317824 TT=0.223 T1=0	OPT f=1074317824 TT=0.222 T1=0.01	OPT f=1074317824 TT=0.945 T1=0.69	OPT f=1074317824 TT=130.355 T1=34.18	OPT f=1074317824 TT=409.736 T1=393.27	OPT f=1074317824 TT=20.111 T1=10.72	OPT f=1074317824 TT=1.31 T1=1.12
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-misc02.opb	OPT f=1075471360 TT=0.063 T1=0	OPT f=1075471360 TT=0.062 T1=0	OPT f=1075471360 TT=0.063 T1=0	OPT f=1075471360 TT=2.715 T1=2.2	OPT f=1075471360 TT=16.639 T1=4.99	OPT f=1075471360 TT=6.524 T1=5.49	OPT f=1075471360 TT=9.442 T1=6.46	OPT f=1075471360 TT=1.077 T1=0.85
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-misc03.opb	OPT f=1077181440 TT=3.81 T1=0	OPT f=1077181440 TT=21.193 T1=0	OPT f=1077181440 TT=20.977 T1=0	OPT f=1077181440 TT=34.851 T1=11.88	SAT (TO) f=1077544960 TT=1800.12 T1=331.47	SAT (TO) f=1077181440 TT=1800.14 T1=627.04	SAT (TO) f=1077181440 TT=1800.14 T1=30.13	OPT f=1077181440 TT=3.81 T1=1.4
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-misc04.opb		? TT=0.847	? TT=0.852	? (TO) TT=1800.12	? (TO) TT=1800.49	? (TO) TT=1800.18	? (TO) TT=1800.22	? (TO) TT=1800.35
Bench name	Best results on this instance	bsolo 3.0.16	bsolo 3.0.17	minisat+ 1.14	oree 0.1.2 alpha	sat4jPseudoCP 2007-03-23	sat4jPseudoCPClause 2007-03-23	SAT4JPseudoResolution 2007-03-23
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-misc05.opb	OPT f=1076796928 TT=239.533 T1=14.17	SAT (TO) f=1076796928 TT=1800.07 T1=63.46	SAT (TO) f=1076796928 TT=1800.13 T1=63.28	OPT f=1076796928 TT=247.066 T1=54.97	? (TO) TT=1800.13	? (TO) TT=1800.24	? (TO) TT=1800.24	OPT f=1076796928 TT=239.533 T1=14.17
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-misc06.opb		? TT=0.281	? TT=0.272	? (MO) TT=569.45	? (TO) TT=1800.47	? (TO) TT=1800.21	? (TO) TT=1800.23	? (TO) TT=1800.34
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-mod013.opb	SAT f=33049600 TT=1800.15 T1=2.04	SAT f=44219296 TT=1800.05 T1=24.57	SAT (TO) f=44219296 TT=1800.08 T1=25.49	SAT (TO) f=44177326 TT=1800.11 T1=1637.33	SAT (TO) f=43335680 TT=1800.31 T1=8.49	SAT (TO) f=33049600 TT=1800.25 T1=3.46	SAT (TO) f=33049600 TT=1800.15 T1=3.13	SAT (TO) f=33049600 TT=1800.28 T1=2.04
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-rgn.opb	SAT f=1862512 TT=1800.07 T1=1681.77	? TT=1800.02	? (TO) TT=1800.09	SAT (TO) f=1862512 TT=1800.07 T1=1681.77	? (TO) TT=1800.26	? (TO) TT=1800.13	? (TO) TT=1800.16	? (TO) TT=1800.32
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-sample2.opb	OPT f=384000 TT=7.177 T1=1.29	OPT f=384000 TT=8.48 T1=1.29	OPT f=384000 TT=8.415 T1=1.29	OPT f=384000 TT=19.699 T1=15.49	SAT (TO) f=491516 TT=1800.66 T1=12.39	OPT f=384000 TT=93.434 T1=7.47	SAT (TO) f=384000 TT=1800.29 T1=11.39	OPT f=384000 TT=7.177 T1=1.69
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-set1al.opb	SAT f=588491944 TT=1800.11 T1=0.28	SAT (TO) f=588491944 TT=1800.05 T1=0.39	SAT (TO) f=588491944 TT=1800.11 T1=0.28	SAT (TO) f=12741888671 TT=1800.07 T1=1021.96	? (TO) TT=1800.33	? (TO) TT=1800.35	? (TO) TT=1800.2	SAT (TO) f=129009457351 TT=1800.78 T1=8.11
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-set1cl.opb	SAT f=26591232 TT=1800.35 T1=1.38	SAT (TO) f=52188314 TT=1800.2 T1=701.93	SAT (TO) f=52188314 TT=1800.28 T1=699.29	SAT (TO) f=18639166429 TT=1800.1 T1=481.07	SAT (TO) f=26591232 TT=1800.35 T1=1.38	? (TO) TT=1800.19	? (TO) TT=1800.3	SAT (TO) f=150524935284 TT=1801.24 T1=6.07
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ fctp/normalized-mps-v2-20-10-bal8x12.opb	SAT f=100429824 TT=1800.37 T1=4.29	SAT (TO) f=105108903 TT=1800.1 T1=995.5	SAT (TO) f=105108903 TT=1800.14 T1=992.65	SAT (TO) f=144087209 TT=1800.1 T1=1738.04	SAT (TO) f=133599232 TT=1800.44 T1=465.58	SAT (TO) f=144069616 TT=1800.37 T1=52.53	SAT (TO) f=130736103 TT=1800.24 T1=29.57	SAT (TO) f=100429824 TT=1800.37 T1=4.29
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-bk4x3.opb	OPT f=358400 TT=6.527 T1=2.49	OPT f=358400 TT=11.895 T1=2.49	OPT f=358400 TT=11.909 T1=2.49	OPT f=358400 TT=6.527 T1=5.59	SAT (TO) f=405504 TT=1800.4 T1=52.08	SAT (TO) f=368640 TT=1800.2 T1=9.78	SAT (TO) f=403456 TT=1800.11 T1=0.47	OPT f=358400 TT=6.919 T1=5.86
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-gr4x6.opb	OPT f=20720640 TT=1492.46 T1=1210.55	SAT (TO) f=22067200 TT=1800.01 T1=33.54	SAT (TO) f=22067200 TT=1800.04 T1=33.17	SAT (TO) f=20843520 TT=1800.12 T1=1127.94	? (TO) TT=1800.28	SAT (TO) f=21145600 TT=1800.22 T1=30.07	SAT (TO) f=21785600 TT=1800.18 T1=3.86	OPT f=20720640 TT=1492.46 T1=1210.55
Bench name	Best results on this instance	bsolo 3.0.16	bsolo 3.0.17	minisat+ 1.14	oree 0.1.2 alpha	sat4jPseudoCP 2007-03-23	sat4jPseudoCPClause 2007-03-23	SAT4JPseudoResolution 2007-03-23
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n3700.opb	SAT f=4726350847 TT=1804.11 T1=1215.68	? (MO) TT=349.928	? (MO) TT=345.753	? (TO) TT=1800.11	? (TO) TT=1800.45	? (TO) TT=1800.19	SAT (TO) f=4726350847 TT=1804.11 T1=1215.68	SAT (TO) f=14866161991 TT=1804.17 T1=177.13
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n3701.opb	SAT f=4741692460 TT=1804.17 T1=1181.59	? (MO) TT=288.629	? (MO) TT=287.106	? (TO) TT=1800.13	? (TO) TT=1800.33	? (TO) TT=1800.22	SAT (TO) f=4741692460 TT=1804.17 T1=1181.59	SAT (TO) f=18309874097 TT=1804.23 T1=90.52
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n3702.opb	SAT f=4827154397 TT=1804.16 T1=1118.99	? (MO) TT=295.682	? (MO) TT=294.923	? (TO) TT=1800.05	? (MO) TT=1543.88	? (TO) TT=1800.17	SAT (TO) f=4827154397 TT=1804.16 T1=1118.99	SAT (TO) f=12753209248 TT=1804.19 T1=78.8
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n3703.opb	SAT f=5257865308 TT=1804.15 T1=1074.64	? (MO) TT=284.043	? (MO) TT=282.086	? (TO) TT=1800.11	? (MO) TT=1706.02	? (TO) TT=1800.14	SAT (TO) f=5257865308 TT=1804.15 T1=1074.64	SAT (TO) f=10559386520 TT=1804.15 T1=64.46
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n3704.opb	SAT f=5001200569 TT=1804.08 T1=1103.46	? (MO) TT=380.76	? (MO) TT=378.894	? (TO) TT=1800.14	? (TO) TT=1800.37	? (TO) TT=1800.19	SAT (TO) f=5001200569 TT=1804.08 T1=1103.46	SAT (TO) f=10098194409 TT=1804.17 T1=74.6
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n3705.opb	SAT f=4802224614 TT=1804.09 T1=1289.92	? (MO) TT=323.026	? (MO) TT=321.558	? (TO) TT=1800.11	? (TO) TT=1800.56	? (TO) TT=1800.2	SAT (TO) f=4802224614 TT=1804.09 T1=1289.92	SAT (TO) f=12203063070 TT=1804.22 T1=323.03
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n3706.opb	SAT f=4970107162 TT=1804.18 T1=1462.11	? (MO) TT=338.568	? (MO) TT=355.638	? (TO) TT=1800.09	? (TO) TT=1800.4	? (TO) TT=1800.18	SAT (TO) f=4970107162 TT=1804.18 T1=1462.11	SAT (TO) f=17136222132 TT=1804.2 T1=75.11
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n3707.opb	SAT f=4574600208 TT=1804.12 T1=1466.32	? (MO) TT=291.872	? (MO) TT=289.185	? (TO) TT=1800.05	? (MO) TT=1212.45	? (TO) TT=1800.19	SAT (TO) f=4574600208 TT=1804.12 T1=1466.32	SAT (TO) f=8671728032 TT=1804.16 T1=77.53
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n3708.opb	SAT f=4445352942 TT=1804.14 T1=1142.21	? (MO) TT=297.34	? (MO) TT=314.481	? (TO) TT=1800.13	? (TO) TT=1800.97	? (TO) TT=1800.19	SAT (TO) f=4445352942 TT=1804.14 T1=1142.21	SAT (TO) f=29115799883 TT=1804.24 T1=95.05
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n3709.opb	SAT f=4559348765 TT=1804.12 T1=844.64	? (MO) TT=249.264	? (MO) TT=262.536	? (TO) TT=1800.06	? (TO) TT=1800.4	? (TO) TT=1800.2	SAT (TO) f=4559348765 TT=1804.12 T1=844.64	SAT (TO) f=19063061763 TT=1804.26 T1=190.46
Bench name	Best results on this instance	bsolo 3.0.16	bsolo 3.0.17	minisat+ 1.14	oree 0.1.2 alpha	sat4jPseudoCP 2007-03-23	sat4jPseudoCPClause 2007-03-23	SAT4JPseudoResolution 2007-03-23
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n370a.opb	SAT f=4978502603 TT=1804.12 T1=1113	? (MO) TT=325.582	? (MO) TT=322.952	? (TO) TT=1800.13	? (MO) TT=1165.13	? (TO) TT=1800.21	SAT (TO) f=4978502603 TT=1804.12 T1=1113	SAT (TO) f=10588553132 TT=1804.12 T1=71.82
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n370b.opb	SAT f=4779438072 TT=1804.16 T1=1475.41	? (MO) TT=693.616	? (MO) TT=688.925	? (TO) TT=1800.09	? (MO) TT=1544.4	? (TO) TT=1800.17	SAT (TO) f=4779438072 TT=1804.16 T1=1475.41	SAT (TO) f=17602566526 TT=1804.14 T1=83.11
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n370c.opb	SAT f=4871751128 TT=1804.11 T1=1304.82	? (MO) TT=494.275	? (MO) TT=518.622	? (TO) TT=1800.11	? (TO) TT=1800.49	? (TO) TT=1800.15	SAT (TO) f=4871751128 TT=1804.11 T1=1304.82	SAT (TO) f=11287407578 TT=1804.19 T1=72.43
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n370e.opb	SAT f=4571140278 TT=1804.16 T1=1173.9	? (MO) TT=303.661	? (MO) TT=301.621	? (TO) TT=1800.1	? (TO) TT=1800.7	? (TO) TT=1800.16	SAT (TO) f=4571140278 TT=1804.16 T1=1173.9	SAT (TO) f=16443581317 TT=1804.22 T1=83.87
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.38 T1=3.96	SAT (TO) f=4426511 TT=1800.11 T1=156.35	SAT (TO) f=4426511 TT=1800.15 T1=155.14	SAT (TO) f=3675878 TT=1800.15 T1=1656.12	SAT (TO) f=3143680 TT=1800.69 T1=0.19	SAT (TO) f=1751040 TT=1800.38 T1=61.52	SAT (TO) f=1751040 TT=1800.4 T1=11.99	SAT (TO) f=1751040 TT=1800.39 T1=3.96
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-ran10x10b.opb	SAT f=3806208 TT=1800.31 T1=35.2	SAT (TO) f=6081531 TT=1800.13 T1=0.05	SAT (TO) f=6081531 TT=1800.14 T1=0.03	SAT (TO) f=9628000 TT=1800.14 T1=1109.97	SAT (TO) f=5553152 TT=1800.77 T1=612.16	SAT (TO) f=3928064 TT=1800.33 T1=187.47	SAT (TO) f=3806208 TT=1800.31 T1=35.2	SAT (TO) f=5030911 TT=1800.45 T1=17.15
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-ran10x10c.opb	SAT f=15325184 TT=1800.35 T1=739.33	SAT (TO) f=20581388 TT=1800.1 T1=0.03	SAT (TO) f=20581388 TT=1800.11 T1=0.01	SAT (TO) f=25925549 TT=1800.08 T1=1379.03	SAT (TO) f=20827136 TT=1800.31 T1=96.56	SAT (TO) f=15325184 TT=1800.35 T1=739.33	SAT (TO) f=15595520 TT=1800.56 T1=2.46	SAT (TO) f=15595520 TT=1800.48 T1=2.34
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-ran10x12.opb	SAT f=3208192 TT=1800.47 T1=36.89	SAT (TO) f=6707757 TT=1800.18 T1=188.72	SAT (TO) f=6707757 TT=1800.21 T1=187.54	SAT (TO) f=11587982 TT=1800.17 T1=137.86	SAT (TO) f=5156864 TT=1800.69 T1=935.53	SAT (TO) f=3243008 TT=1800.34 T1=17.71	SAT (TO) f=3208192 TT=1800.47 T1=36.89	SAT (TO) f=3336192 TT=1800.57 T1=3.05
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-ran10x26.opb	SAT f=6593540 TT=1800.66 T1=4.99	SAT (MO) f=13447723 TT=1386.06 T1=454.36	SAT (MO) f=13447723 TT=1372.63 T1=449.87	SAT (TO) f=24052299 TT=1800.13 T1=1422.46	? (TO) TT=1800.6	SAT (TO) f=11312122 TT=1800.57 T1=117.99	SAT (TO) f=10419320 TT=1800.53 T1=71.36	SAT (TO) f=6593540 TT=1800.66 T1=4.99
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-ran12x12.opb	SAT f=3416057 TT=1800.41 T1=3.35	SAT (TO) f=5500543 TT=1800.24 T1=29.53	SAT (TO) f=5500543 TT=1800.28 T1=29.48	SAT (TO) f=9788326 TT=1800.11 T1=338.01	SAT (TO) f=4540416 TT=1800.31 T1=52.48	SAT (TO) f=5008386 TT=1800.45 T1=67.68	SAT (TO) f=3792896 TT=1800.4 T1=104.89	SAT (TO) f=3416057 TT=1800.41 T1=3.35
Bench name	Best results on this instance	bsolo 3.0.16	bsolo 3.0.17	minisat+ 1.14	oree 0.1.2 alpha	sat4jPseudoCP 2007-03-23	sat4jPseudoCPClause 2007-03-23	SAT4JPseudoResolution 2007-03-23
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-ran12x21.opb	SAT f=5965824 TT=1800.47 T1=30.61	SAT (TO) f=10333602 TT=1800.29 T1=425.49	SAT (TO) f=10333602 TT=1800.36 T1=422.29	SAT (TO) f=39438098 TT=1800.09 T1=744.51	? (TO) TT=1800.26	SAT (TO) f=5965824 TT=1800.47 T1=30.61	SAT (TO) f=9545472 TT=1800.53 T1=116.37	SAT (TO) f=6105088 TT=1800.58 T1=5.05
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-ran13x13.opb	SAT f=3502080 TT=1800.37 T1=26.31	SAT (TO) f=8545583 TT=1800.27 T1=9.73	SAT (TO) f=8545583 TT=1800.26 T1=9.69	SAT (TO) f=18381569 TT=1800.12 T1=183.95	? (TO) TT=1800.32	SAT (TO) f=3502080 TT=1800.37 T1=117.25	SAT (TO) f=3502080 TT=1800.37 T1=26.31	SAT (TO) f=4627456 TT=1800.32 T1=3.18
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-ran14x18.opb	SAT f=4815872 TT=1800.43 T1=40.67	SAT (MO) f=13677999 TT=892.577 T1=59.87	SAT (MO) f=13677999 TT=883.451 T1=59.27	SAT (TO) f=41464973 TT=1800.09 T1=1777.95	? (TO) TT=1800.35	SAT (TO) f=4815872 TT=1800.43 T1=40.67	SAT (TO) f=9402386 TT=1800.6 T1=70.35	SAT (TO) f=6993911 TT=1800.55 T1=5.81
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-ran16x16.opb	SAT f=8367624 TT=1800.5 T1=267.54	SAT (MO) f=13506023 TT=833.152 T1=9.58	SAT (MO) f=13506023 TT=825.874 T1=9.49	SAT (TO) f=28678528 TT=1800.12 T1=1641.42	? (TO) TT=1800.23	SAT (TO) f=8367624 TT=1800.5 T1=267.54	SAT (TO) f=9228303 TT=1800.6 T1=80.85	SAT (TO) f=9259017 TT=1800.42 T1=3.74
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-ran17x17.opb	SAT f=2191362 TT=1800.63 T1=5.17	SAT (MO) f=5279582 TT=805.605 T1=22.28	SAT (MO) f=5279582 TT=799.983 T1=22.08	SAT (TO) f=16044650 TT=1800.12 T1=1696.68	SAT (TO) f=3216384 TT=1800.3 T1=52.58	SAT (TO) f=3479572 TT=1800.57 T1=269.61	SAT (TO) f=4141326 TT=1800.59 T1=86.85	SAT (TO) f=2191362 TT=1800.63 T1=5.17
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ fctp/normalized-mps-v2-20-10-ran4x64.opb	SAT f=11148294 TT=1800.45 T1=222.67	? (MO) TT=627.226	? (MO) TT=625.612	SAT (TO) f=44334018 TT=1800.1 T1=941.1	? (TO) TT=1800.37	SAT (TO) f=11148294 TT=1800.45 T1=222.67	SAT (TO) f=11341355 TT=1800.46 T1=62.84	SAT (TO) f=17863674 TT=1800.47 T1=6.09
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ fctp/normalized-mps-v2-20-10-ran6x43.opb	SAT f=9783292 TT=1800.69 T1=6.07	SAT (MO) f=20632252 TT=804.084 T1=179.72	SAT (MO) f=20632252 TT=800.379 T1=178.41	SAT (TO) f=35948065 TT=1800.07 T1=178.74	? (TO) TT=1800.4	SAT (TO) f=11394050 TT=1800.55 T1=148.59	SAT (TO) f=11841512 TT=1800.46 T1=39.4	SAT (TO) f=9783292 TT=1800.69 T1=6.07
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ fctp/normalized-mps-v2-20-10-ran8x32.opb	SAT f=9341955 TT=1800.55 T1=6.2	SAT (TO) f=17520987 TT=1800.26 T1=1225.9	SAT (TO) f=17520987 TT=1800.24 T1=1220.34	SAT (TO) f=18978750 TT=1800.08 T1=403.68	? (TO) TT=1800.19	SAT (TO) f=11992021 TT=1800.43 T1=180.29	SAT (TO) f=10914817 TT=1800.57 T1=101.62	SAT (TO) f=9341955 TT=1800.55 T1=6.2
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/lptestset/fome/ normalized-mps-v2-20-10-fome11.opb		? TT=0.014	? TT=0.012	Signal TT=346.329	? (TO) TT=1800.36	? (TO) TT=1800.21	? (TO) TT=1800.23	? (TO) TT=1800.26
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/lptestset/fome/ normalized-mps-v2-20-10-fome12.opb		? TT=0.014	? TT=0.014	? (MO) TT=445.141	? (TO) TT=1800.63	? (TO) TT=1800.34	? (TO) TT=1800.37	? (TO) TT=1800.32
Bench name	Best results on this instance	bsolo 3.0.16	bsolo 3.0.17	minisat+ 1.14	oree 0.1.2 alpha	sat4jPseudoCP 2007-03-23	sat4jPseudoCPClause 2007-03-23	SAT4JPseudoResolution 2007-03-23
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/lptestset/fome/ normalized-mps-v2-20-10-fome13.opb		? TT=0.014	? TT=0.016	? (MO) TT=509.781	? (TO) TT=1801.18	? (exit code) TT=293.125	? (exit code) TT=279.481	? (exit code) TT=291.723
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-mps-v2-20-10-bc1.opb		? TT=0.077	? TT=0.073	? (TO) TT=1800.2	? (TO) TT=1800.35	? (TO) TT=1800.28	? (TO) TT=1800.26	? (TO) TT=1800.24
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-bienst1.opb		? (TO) TT=1800.3	? (TO) TT=1800.33	? (TO) TT=1800.14	? (TO) TT=1800.61	? (TO) TT=1800.19	? (TO) TT=1800.19	? (TO) TT=1800.32
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-bienst2.opb		? (MO) TT=1701.24	? (MO) TT=1701.44	? (TO) TT=1800.08	? (TO) TT=1800.26	? (TO) TT=1800.2	? (TO) TT=1800.21	? (TO) TT=1800.17
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-dano3_3.opb		? (TO) TT=1800.05	? (TO) TT=1800.14	? (TO) TT=1800.14	? (TO) TT=1800.46	? (TO) TT=1800.25	? (TO) TT=1800.3	? (TO) TT=1800.18
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-dano3_4.opb		? (TO) TT=1800.11	? (TO) TT=1800.11	? (TO) TT=1800.14	? (TO) TT=1800.49	? (TO) TT=1800.21	? (TO) TT=1800.41	? (TO) TT=1800.21
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-dano3_5.opb		? (TO) TT=1800.18	? (TO) TT=1800.21	? (TO) TT=1800.11	? (TO) TT=1800.55	? (TO) TT=1800.2	? (TO) TT=1800.23	? (TO) TT=1800.2
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/milp/ normalized-mps-v2-20-10-markshare1_1.opb	SAT f=221 TT=1800.03 T1=245.7	SAT f=221 TT=1800.01 T1=254.01	SAT (TO) f=221 TT=1800.03 T1=245.7	SAT (TO) f=220160 TT=1800.06 T1=681.51	? (TO) TT=1800.13	SAT (TO) f=209738 TT=1800.14 T1=30.4	SAT (TO) f=168057 TT=1800.2 T1=167.59	SAT (TO) f=32222 TT=1800.2 T1=1764.5
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/milp/ normalized-mps-v2-20-10-markshare2_1.opb	SAT f=36924 TT=1800.18 T1=1433.5	SAT f=550309 TT=1800.01 T1=1733.61	SAT (TO) f=550309 TT=1800.01 T1=1729.61	SAT (TO) f=440321 TT=1800.04 T1=1629.06	? (TO) TT=1800.14	SAT (TO) f=483277 TT=1800.18 T1=1111.76	SAT (TO) f=309295 TT=1800.15 T1=1010.8	SAT (TO) f=36924 TT=1800.18 T1=1433.5
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-mps-v2-20-10-mkc1.opb		? (TO) TT=1800.04	? (TO) TT=1800.08	? (TO) TT=1800.06	? (MO) TT=904.111	? (TO) TT=1800.13	? (TO) TT=1800.13	? (TO) TT=1800.6
Bench name	Best results on this instance	bsolo 3.0.16	bsolo 3.0.17	minisat+ 1.14	oree 0.1.2 alpha	sat4jPseudoCP 2007-03-23	sat4jPseudoCPClause 2007-03-23	SAT4JPseudoResolution 2007-03-23
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-neos11.opb	OPT f=9216 TT=523.45 T1=105.81	SAT (TO) f=9216 TT=1800.1 T1=1322.55	SAT (TO) f=9216 TT=1800.13 T1=1321.84	OPT f=9216 TT=1323.23 T1=1156.44	? (TO) TT=1800.27	SAT (TO) f=3221237757 TT=1800.33 T1=99.26	? (TO) TT=1800.27	OPT f=9216 TT=523.45 T1=105.81
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-neos12.opb	SAT f=25600 TT=1800.17 T1=2.28	SAT (TO) f=25600 TT=1800.08 T1=2.38	SAT (TO) f=25600 TT=1800.17 T1=2.28	SAT (TO) f=4440346849 TT=1800.06 T1=1462.11	? (TO) TT=1800.08	? (TO) TT=1800.33	? (TO) TT=1800.14	SAT (TO) f=31744 TT=1801.22 T1=22.3
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-neos13.opb	SAT f=-44861589 TT=1800.26 T1=528.12	? (TO) TT=1800.05	? (TO) TT=1800.09	? (TO) TT=1800.05	? (TO) TT=1800.22	SAT (TO) f=-30962531 TT=1800.33 T1=1606.03	SAT (TO) f=-25725083 TT=1800.3 T1=1504.29	SAT (TO) f=-44861589 TT=1800.26 T1=528.12
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-neos14.opb	SAT f=20744058700051158 TT=1800.14 T1=1759.94	? TT=0.01	? TT=0.009	Signal TT=22.409	SAT (TO) f=20744058700051158 TT=1800.14 T1=1759.94	? (TO) TT=1800.19	? (TO) TT=1800.22	? (TO) TT=1800.36
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-neos15.opb	SAT f=20742332700051198 TT=1800.4 T1=1799.99	? TT=0.008	? TT=0.009	Signal TT=23.116	SAT (TO) f=20742332700051198 TT=1800.4 T1=1799.99	? (TO) TT=1800.11	? (TO) TT=1800.27	? (TO) TT=1800.36
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-neos17.opb	SAT f=7508861 TT=1800.36 T1=20.66	SAT (TO) f=9982694 TT=1800.14 T1=359.99	SAT (TO) f=9982694 TT=1800.19 T1=359.27	SAT (TO) f=61892463 TT=1800.09 T1=391.69	SAT (TO) f=33194690 TT=1800.16 T1=0.69	SAT (TO) f=7508861 TT=1800.36 T1=20.66	SAT (TO) f=12867352 TT=1800.42 T1=957.09	SAT (TO) f=20974160 TT=1800.32 T1=556.46
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-neos20.opb	OPT f=-468992 TT=4.349 T1=4.19	Signal TT=0.227	Signal TT=0.228	OPT f=-468992 TT=4.349 T1=4.19	? (TO) TT=1800.09	SAT (TO) f=-452608 TT=1800.45 T1=71.14	SAT (TO) f=-309248 TT=1800.5 T1=61.5	OPT f=-468992 TT=10.073 T1=6.43
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-mps-v2-20-10-neos2.opb		? TT=0.006	? TT=0.006	? (TO) TT=1800.15	? (MO) TT=1377.85	? (TO) TT=1800.17	? (TO) TT=1800.16	? (TO) TT=1800.24
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-mps-v2-20-10-neos3.opb	UNSAT TT=1208.86	? TT=0.006	? TT=0.008	? (TO) TT=1800.11	? (MO) TT=1517.26	? (TO) TT=1800.18	? (TO) TT=1800.2	UNSAT TT=1208.86
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-mps-v2-20-10-neos6.opb		? (TO) TT=1800.23	? (TO) TT=1800.23	? (TO) TT=1800.13	? (TO) TT=1800.6	? (TO) TT=1800.31	? (TO) TT=1800.13	? (TO) TT=1800.29
Bench name	Best results on this instance	bsolo 3.0.16	bsolo 3.0.17	minisat+ 1.14	oree 0.1.2 alpha	sat4jPseudoCP 2007-03-23	sat4jPseudoCPClause 2007-03-23	SAT4JPseudoResolution 2007-03-23
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-mps-v2-20-10-neos7.opb	SAT f=2594748416 TT=1800.27 T1=1307.95	SAT (TO) f=2594748416 TT=1800.19 T1=1312.26	SAT (TO) f=2594748416 TT=1800.27 T1=1307.95	? (TO) TT=1800.11	? (TO) TT=1800.18	? (TO) TT=1800.25	? (TO) TT=1800.55	SAT (TO) f=5789592576 TT=1800.87 T1=134.84
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-mps-v2-20-10-nug08.opb	OPT f=107 TT=713.495 T1=169.53	OPT f=107 TT=1030.36 T1=162.49	OPT f=107 TT=1069.85 T1=169.53	OPT f=107 TT=713.495 T1=394.89	SAT (TO) f=107 TT=1800.9 T1=802.45	SAT (TO) f=116 TT=1801.88 T1=777.42	SAT (TO) f=112 TT=1801.74 T1=960.07	OPT f=107 TT=879.393 T1=231.65
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-mps-v2-20-10-qap10.opb	SAT f=170 TT=1804.1 T1=46.73	SAT (TO) f=179 TT=1800.16 T1=1589.93	SAT (TO) f=179 TT=1800.17 T1=1578.21	SAT (TO) f=189 TT=1800.15 T1=580.32	SAT (TO) f=195 TT=1801.12 T1=1477.22	SAT (TO) f=174 TT=1804.15 T1=431.04	SAT (TO) f=174 TT=1804.16 T1=381.65	SAT (TO) f=170 TT=1804.1 T1=46.73
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-swath1.opb		? (TO) TT=1800.25	? (TO) TT=1800.3	Signal TT=59.242	? (TO) TT=1802.14	? (TO) TT=1800.17	? (TO) TT=1800.17	? (TO) TT=1800.21
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-swath2.opb		? (TO) TT=1800.12	? (TO) TT=1800.29	Signal TT=57.582	? (TO) TT=1802.15	? (TO) TT=1800.16	? (TO) TT=1800.17	? (TO) TT=1800.16
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-swath3.opb		? (TO) TT=1800.23	? (TO) TT=1800.26	Signal TT=47.937	? (TO) TT=1801.34	? (TO) TT=1800.15	? (TO) TT=1800.15	? (TO) TT=1800.17
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-A1C1S1.opb		? (TO) TT=1800.12	? (TO) TT=1800.18	? (TO) TT=1800.16	? (TO) TT=1800.09	? (TO) TT=1800.22	? (TO) TT=1800.26	? (TO) TT=1800.3
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-A2C1S1.opb		? (TO) TT=1800.15	? (TO) TT=1800.19	? (TO) TT=1800.1	? (TO) TT=1800.03	? (TO) TT=1800.14	? (TO) TT=1800.22	? (TO) TT=1800.29
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-B1C1S1.opb		? (TO) TT=1800.1	? (TO) TT=1800.11	? (TO) TT=1800.16	? (TO) TT=1800.08	? (TO) TT=1800.21	? (TO) TT=1800.19	? (TO) TT=1800.32
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-B2C1S1.opb		? (TO) TT=1800.15	? (TO) TT=1800.23	? (TO) TT=1800.16	? (TO) TT=1800.5	? (TO) TT=1800.13	? (TO) TT=1800.2	? (TO) TT=1800.33
Bench name	Best results on this instance	bsolo 3.0.16	bsolo 3.0.17	minisat+ 1.14	oree 0.1.2 alpha	sat4jPseudoCP 2007-03-23	sat4jPseudoCPClause 2007-03-23	SAT4JPseudoResolution 2007-03-23
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=1002.59 T1=17.99	SAT (MO) f=63488 TT=1004.36 T1=17.99	SAT (MO) f=63488 TT=1002.59 T1=17.99	SAT (TO) f=64512 TT=1800.16 T1=118.93	SAT (TO) f=77824 TT=1801.65 T1=116.56	? (TO) TT=1800.25	? (TO) TT=1800.18	SAT (TO) f=63488 TT=1800.27 T1=49.66
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-bg512142.opb		? (TO) TT=1800.1	? (TO) TT=1800.19	? (TO) TT=1800.08	? (TO) TT=1800.43	? (TO) TT=1800.14	? (TO) TT=1800.16	? (TO) TT=1800.47
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-biella1.opb	SAT f=61130650214400 TT=1804.13 T1=231.68	? TT=0.105	? TT=0.185	? (TO) TT=1800.06	? (MO) TT=1231.43	? (TO) TT=1800.24	SAT (TO) f=61130650214400 TT=1804.13 T1=231.68	? (TO) TT=1800.25
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-blp-ar98.opb		? (TO) TT=1800.25	? (TO) TT=1800.19	? (MO) TT=224.41	? (TO) TT=1800.12	? (TO) TT=1800.13	? (TO) TT=1800.11	? (TO) TT=1800.1
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-blp-ic97.opb		? (MO) TT=1494.33	? (MO) TT=1486.52	? (MO) TT=214.314	? (TO) TT=1800.96	? (TO) TT=1800.2	? (TO) TT=1800.13	? (TO) TT=1800.2
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-blp-ic98.opb		? (MO) TT=852.885	? (MO) TT=850.523	? (MO) TT=227.507	? (TO) TT=1800.14	? (TO) TT=1800.16	? (TO) TT=1800.19	? (TO) TT=1800.17
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-blp-ir98.opb		? (TO) TT=1800.17	? (TO) TT=1800.16	? (MO) TT=207.731	? (TO) TT=1800.14	? (TO) TT=1800.15	? (TO) TT=1800.23	? (TO) TT=1800.11
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-CMS750_4.opb	SAT f=589824 TT=1800.81 T1=1740.67	SAT (TO) f=662528 TT=1800.31 T1=566.2	SAT (TO) f=662528 TT=1800.35 T1=560.25	? (TO) TT=1800.09	? (TO) TT=1802.06	? (TO) TT=1800.17	? (TO) TT=1800.23	SAT (TO) f=589824 TT=1800.81 T1=1740.67
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-core2536-691.opb	SAT f=948224000000000 TT=1800.89 T1=1551.7	SAT (TO) f=1080320000000000 TT=1800.18 T1=107.57	SAT (TO) f=1080320000000000 TT=1800.21 T1=106.87	SAT (TO) f=8259584000000000 TT=1800.15 T1=293.18	SAT (TO) f=1158144000000000 TT=1801.13 T1=5.29	SAT (TO) f=948224000000000 TT=1800.89 T1=1551.7	SAT (TO) f=948224000000000 TT=1801 T1=1617.01	SAT (TO) f=949248000000000 TT=1801.05 T1=3.49
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-core2586-950.opb	SAT f=1268736000000000 TT=1800.74 T1=2.98	SAT (TO) f=1421312000000000 TT=1800.17 T1=599.38	SAT (TO) f=1421312000000000 TT=1800.27 T1=597.8	SAT (TO) f=5161984000000000 TT=1800.08 T1=203.34	SAT (TO) f=1437696000000000 TT=1800.63 T1=10.89	SAT (TO) f=1268736000000000 TT=1800.86 T1=2.98	SAT (TO) f=1268736000000000 TT=1800.74 T1=3.01	SAT (TO) f=1268736000000000 TT=1800.75 T1=3.08
Bench name	Best results on this instance	bsolo 3.0.16	bsolo 3.0.17	minisat+ 1.14	oree 0.1.2 alpha	sat4jPseudoCP 2007-03-23	sat4jPseudoCPClause 2007-03-23	SAT4JPseudoResolution 2007-03-23
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-core4284-1064.opb	SAT f=1437696000000000 TT=1801.49 T1=4.22	SAT (TO) f=1661952000000000 TT=1800.24 T1=1499.65	SAT (TO) f=1661952000000000 TT=1800.37 T1=1574.36	SAT (TO) f=7440384000000000 TT=1800.17 T1=521.35	SAT (TO) f=1692672000000000 TT=1800.31 T1=8.19	SAT (TO) f=1437696000000000 TT=1801.49 T1=4.25	SAT (TO) f=1437696000000000 TT=1801.55 T1=4.27	SAT (TO) f=1437696000000000 TT=1801.56 T1=4.22
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-core4872-1529.opb	SAT f=2014208000000000 TT=1801.68 T1=4.37	SAT (MO) f=2362368000000000 TT=620.66 T1=14.68	SAT (MO) f=2362368000000000 TT=617.174 T1=14.59	SAT (TO) f=5852160000000000 TT=1800.08 T1=804.11	SAT (TO) f=2377728000000000 TT=1800.54 T1=10.09	SAT (TO) f=2014208000000000 TT=1801.68 T1=4.37	SAT (TO) f=2014208000000000 TT=1801.87 T1=4.5	SAT (TO) f=2014208000000000 TT=1801.78 T1=4.42
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-dc1c.opb		? TT=0.044	? TT=0.043	? (MO) TT=596.152	? (MO) TT=640.058	? (TO) TT=1800.25	? (TO) TT=1800.13	? (TO) TT=1800.23
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-dc1l.opb	SAT f=322124995065185536000 TT=1804.19 T1=1473.65	? TT=0.114	? TT=0.115	? (TO) TT=1800.16	? (TO) TT=1802.29	SAT (TO) f=322124995065185536000 TT=1804.19 T1=1473.65	SAT (TO) f=326569817328968398848 TT=1804.17 T1=1194.51	SAT (TO) f=326577219849962958848 TT=1804.1 T1=603.77
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-dg012142.opb		? (TO) TT=1800.18	? (TO) TT=1800.24	? (TO) TT=1800.17	? (TO) TT=1800.23	? (TO) TT=1800.21	? (TO) TT=1800.2	? (TO) TT=1800.27
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-dolom1.opb		? TT=0.154	? TT=0.145	Signal TT=114.212	? (MO) TT=792.017	? (TO) TT=1800.26	? (TO) TT=1800.2	? (TO) TT=1800.15
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-glass4.opb	OPT f=1228810444800 TT=1742.19 T1=1736.05	? TT=0.007	? TT=0.009	? (MO) TT=189.937	? (TO) TT=1800.26	SAT (TO) f=1073751444458924 TT=1800.16 T1=10.42	SAT (TO) f=1073751526548352 TT=1800.25 T1=5.11	OPT f=1228810444800 TT=1742.19 T1=1736.05
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-NSR8K.opb		? TT=0.24	? TT=0.241	Signal TT=181.189	? (TO) TT=1800.21	? (TO) TT=1800.29	? (TO) TT=1800.2	? (TO) TT=1800.13
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-nsrand_ipx.opb	SAT f=1207959552 TT=1800.17 T1=9.69	SAT (TO) f=1207959552 TT=1800.18 T1=9.69	SAT (TO) f=1207959552 TT=1800.17 T1=9.69	? (TO) TT=1800.11	? (TO) TT=1800.33	SAT (TO) f=2147483566 TT=1800.25 T1=1683.65	SAT (TO) f=2147483135 TT=1800.41 T1=1676.2	SAT (TO) f=2145384367 TT=1800.27 T1=1788.19
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-rail507.opb	SAT f=265216000000000 TT=1804.08 T1=18.32	Wrong Cert. TT=1800.29	SAT (TO) f=318464000000000 TT=1800.31 T1=180.87	Signal TT=6.973	SAT (TO) f=362496000000000 TT=1800.37 T1=128.36	SAT (TO) f=265216000000000 TT=1804.14 T1=1324.25	SAT (TO) f=265216000000000 TT=1804.09 T1=1335.18	SAT (TO) f=265216000000000 TT=1804.08 T1=18.32
Bench name	Best results on this instance	bsolo 3.0.16	bsolo 3.0.17	minisat+ 1.14	oree 0.1.2 alpha	sat4jPseudoCP 2007-03-23	sat4jPseudoCPClause 2007-03-23	SAT4JPseudoResolution 2007-03-23
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=1021 T1=116.34	SAT (MO) f=409600 TT=1023.55 T1=117.06	SAT (MO) f=409600 TT=1021 T1=116.34	SAT (TO) f=410624 TT=1800.07 T1=1778.21	? (TO) TT=1800.09	? (TO) TT=1800.16	? (TO) TT=1800.18	SAT (TO) f=409600 TT=1800.67 T1=222.28
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-roll3000.opb		? (TO) TT=1800.08	? (TO) TT=1800.17	? (TO) TT=1800.12	? (TO) TT=1800.25	? (TO) TT=1800.25	? (TO) TT=1800.27	? (TO) TT=1800.26
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-siena1.opb		? TT=0.155	? TT=0.166	Signal TT=263.924	? (MO) TT=1090.56	? (TO) TT=1800.2	? (TO) TT=1800.24	? (TO) TT=1800.14
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-sp97ar.opb	SAT f=2753150964 TT=1800.81 T1=9.87	SAT (MO) f=4180207731 TT=1132.44 T1=85.31	SAT (MO) f=4180207731 TT=1191.36 T1=89.56	SAT (TO) f=40148395689 TT=1800.12 T1=370.26	SAT (TO) f=6308045936 TT=1801.08 T1=375.84	SAT (TO) f=5346698162 TT=1800.95 T1=1379.71	SAT (TO) f=5346698162 TT=1800.81 T1=639.14	SAT (TO) f=2753150964 TT=1800.81 T1=9.87
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-sp97ic.opb	SAT f=3498451867 TT=1800.71 T1=29.11	SAT (MO) f=4617640126 TT=902.488 T1=429.54	SAT (MO) f=4617640126 TT=899.004 T1=427.3	? (TO) TT=1800.13	SAT (TO) f=6314444214 TT=1800.99 T1=1078.41	SAT (TO) f=3802339929 TT=1800.76 T1=114.75	SAT (TO) f=3797061001 TT=1800.82 T1=1718.29	SAT (TO) f=3498451867 TT=1800.71 T1=29.11
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-sp98ar.opb	SAT f=5742872009 TT=1800.9 T1=15.59	SAT (MO) f=6893705229 TT=1737.42 T1=1688.02	SAT (MO) f=6893705229 TT=1725.4 T1=1676.4	? (TO) TT=1800.09	SAT (TO) f=8418555562 TT=1800.4 T1=784.29	SAT (TO) f=7550694980 TT=1801.01 T1=126.96	SAT (TO) f=7550694980 TT=1800.93 T1=129.54	SAT (TO) f=5742872009 TT=1800.9 T1=15.59
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-sp98ic.opb	SAT f=4026056741 TT=1800.7 T1=10.32	SAT (MO) f=4619801168 TT=804.264 T1=571.02	SAT (MO) f=4619801168 TT=799.89 T1=568.23	SAT (TO) f=116514206638 TT=1800.22 T1=626.11	? (TO) TT=1802.27	SAT (TO) f=4620303758 TT=1800.66 T1=1078.35	SAT (TO) f=4606277282 TT=1800.73 T1=641.97	SAT (TO) f=4026056741 TT=1800.7 T1=10.32
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.02	? (TO) TT=1800.06	? (TO) TT=1800.34	? (TO) TT=1800.23	? (TO) TT=1800.17	? (TO) TT=1800.32
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-trento1.opb		? TT=0.112	? TT=0.112	? (TO) TT=1800.07	? (MO) TT=509.567	? (TO) TT=1800.22	? (TO) TT=1800.16	? (TO) TT=1800.14
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-UMTS.opb	SAT f=54618714 TT=1800.48 T1=6.8	SAT (TO) f=65171982 TT=1800.17 T1=1638.31	SAT (TO) f=65171982 TT=1800.23 T1=1631.48	? (TO) TT=1800.13	? (TO) TT=1800.13	SAT (TO) f=58444262 TT=1800.48 T1=523.69	? (TO) TT=1800.16	SAT (TO) f=54618714 TT=1800.48 T1=6.8
Bench name	Best results on this instance	bsolo 3.0.16	bsolo 3.0.17	minisat+ 1.14	oree 0.1.2 alpha	sat4jPseudoCP 2007-03-23	sat4jPseudoCPClause 2007-03-23	SAT4JPseudoResolution 2007-03-23
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=124928 TT=1081.4 T1=829.4	SAT (MO) f=124928 TT=1080.59 T1=829.47	SAT (MO) f=124928 TT=1081.4 T1=829.4	SAT (TO) f=131072 TT=1800.06 T1=1742.44	? (TO) TT=1800.2	SAT (TO) f=202752 TT=1800.53 T1=966.63	? (TO) TT=1800.17	SAT (TO) f=126976 TT=1800.69 T1=1799.48
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-van.opb	SAT f=24193312742 TT=1586.54 T1=494.68	SAT (TO) f=24193312742 TT=1800.38 T1=261	SAT (MO) f=24193312742 TT=1586.54 T1=494.68	? (TO) TT=1800.17	SAT (TO) f=28090373175 TT=1800.62 T1=109.16	SAT (TO) f=26766310097 TT=1800.78 T1=1065.23	SAT (TO) f=26766310097 TT=1800.83 T1=668.93	SAT (TO) f=25442247019 TT=1800.78 T1=298.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.328 T1=3.09	OPT f=344750 TT=3.365 T1=3.09	OPT f=344750 TT=3.328 T1=3.09	OPT f=344750 TT=9.519 T1=9.27	SAT (TO) f=354560 TT=1800.12 T1=1185.01	OPT f=344750 TT=5.058 T1=4.84	SAT (TO) f=347422 TT=1800.2 T1=1167.47	OPT f=344750 TT=13.312 T1=12.98
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.004 T1=0	OPT f=-1073741823 TT=0.005 T1=0	OPT f=-1073741823 TT=0.006 T1=0	OPT f=-1073741823 TT=0.43 T1=0.39	OPT f=-1073741823 TT=0.004 T1=0	OPT f=-1073741823 TT=0.27 T1=0.21	OPT f=-1073741823 TT=0.271 T1=0.21	OPT f=-1073741823 TT=0.267 T1=0.2
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.005 T1=0	OPT f=9663726592 TT=0.006 T1=0	OPT f=9663726592 TT=0.005 T1=0	OPT f=9663726592 TT=0.066 T1=0	OPT f=9663726592 TT=0.019 T1=0	OPT f=9663726592 TT=0.293 T1=0.2	OPT f=9663726592 TT=0.292 T1=0.21	OPT f=9663726592 TT=0.333 T1=0.21
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=100-sizeP=51-sizeQ=100-416317114-max.opb	SAT f=-1 TT=1800.35 T1=461.65	? TT=0.077	? TT=0.077	? (TO) TT=1800.04	? (TO) TT=1800.94	? (TO) TT=1800.19	SAT (TO) f=-1 TT=1800.35 T1=461.65	? (TO) TT=1800.28
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=100-sizeP=51-sizeQ=100-416317114.opb	OPT f=1 TT=2.597 T1=2.27	? TT=0.074	? TT=0.078	OPT f=1 TT=87.941 T1=87.86	? (TO) TT=1800.31	OPT f=1 TT=2.597 T1=2.28	OPT f=1 TT=2.602 T1=2.27	OPT f=1 TT=2.679 T1=2.32
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=100-sizeP=51-sizeQ=100-520972534-max.opb	SAT f=-2 TT=1800.31 T1=9.22	? TT=0.075	? TT=0.076	? (TO) TT=1800.06	? (TO) TT=1800.61	? (TO) TT=1800.21	? (TO) TT=1800.19	SAT (TO) f=-2 TT=1800.31 T1=9.22
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=100-sizeP=51-sizeQ=100-520972534.opb	OPT f=1 TT=2.591 T1=2.27	? TT=0.073	? TT=0.075	OPT f=1 TT=51.812 T1=51.78	? (TO) TT=1801.11	OPT f=1 TT=2.64 T1=2.31	OPT f=1 TT=2.591 T1=2.27	OPT f=1 TT=2.631 T1=2.28
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=120-sizeP=61-sizeQ=120-718083277-max.opb		? TT=0.005	? TT=0.005	? (TO) TT=1800.11	? (TO) TT=1801.17	? (TO) TT=1800.14	? (TO) TT=1800.21	? (TO) TT=1800.2
Bench name	Best results on this instance	bsolo 3.0.16	bsolo 3.0.17	minisat+ 1.14	oree 0.1.2 alpha	sat4jPseudoCP 2007-03-23	sat4jPseudoCPClause 2007-03-23	SAT4JPseudoResolution 2007-03-23
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=120-sizeP=61-sizeQ=120-718083277.opb	OPT f=1 TT=2.989 T1=2.62	? TT=0.003	? TT=0.005	? (TO) TT=1800.08	? (TO) TT=1802.34	OPT f=1 TT=2.989 T1=2.62	OPT f=1 TT=3.003 T1=2.65	OPT f=1 TT=3 T1=2.62
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=120-sizeP=61-sizeQ=120-883133839-max.opb		? TT=0.005	? TT=0.003	? (TO) TT=1800.08	? (TO) TT=1802.19	? (TO) TT=1800.13	? (TO) TT=1800.23	? (TO) TT=1800.34
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=120-sizeP=61-sizeQ=120-883133839.opb	OPT f=1 TT=2.981 T1=2.61	? TT=0.004	? TT=0.005	? (TO) TT=1800.09	? (TO) TT=1802.34	OPT f=1 TT=2.981 T1=2.61	OPT f=1 TT=3.039 T1=2.7	OPT f=1 TT=2.995 T1=2.67
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=140-sizeP=71-sizeQ=140-217105354-max.opb	SAT f=-2 TT=1800.41 T1=1352.97	? TT=0.003	? TT=0.005	? (TO) TT=1800.12	? (TO) TT=1802.17	? (TO) TT=1800.14	SAT (TO) f=-2 TT=1800.41 T1=1352.97	? (TO) TT=1800.27
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=140-sizeP=71-sizeQ=140-217105354.opb	OPT f=1 TT=3.441 T1=3.06	? TT=0.002	? TT=0.006	? (TO) TT=1800.13	? (MO) TT=1446.08	OPT f=1 TT=3.441 T1=3.06	OPT f=1 TT=3.468 T1=3.07	OPT f=1 TT=3.444 T1=3.09
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=140-sizeP=71-sizeQ=140-318609522-max.opb		? TT=0.003	? TT=0.004	? (TO) TT=1800.08	? (TO) TT=1801.3	? (TO) TT=1800.12	? (TO) TT=1800.14	? (TO) TT=1800.14
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=140-sizeP=71-sizeQ=140-318609522.opb	OPT f=1 TT=3.436 T1=3.06	? TT=0.005	? TT=0.003	? (TO) TT=1800.11	? (MO) TT=1467.28	OPT f=1 TT=3.436 T1=3.06	OPT f=1 TT=3.614 T1=3.17	OPT f=1 TT=3.443 T1=3.1
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=160-sizeP=81-sizeQ=160-203099174-max.opb	SAT f=-2 TT=1800.5 T1=88.29	? TT=0.004	? TT=0.007	? (TO) TT=1800.16	? (TO) TT=1802.18	? (TO) TT=1800.14	SAT (TO) f=-2 TT=1800.5 T1=88.29	? (TO) TT=1800.24
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=160-sizeP=81-sizeQ=160-203099174.opb	OPT f=1 TT=3.931 T1=3.51	? TT=0.006	? TT=0.006	? (TO) TT=1800.12	? (MO) TT=1249.52	OPT f=1 TT=3.931 T1=3.51	OPT f=1 TT=4.001 T1=3.55	OPT f=1 TT=4.019 T1=3.59
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=160-sizeP=81-sizeQ=160-451332552-max.opb	SAT f=-1 TT=1800.39 T1=506.5	? TT=0.005	? TT=0.006	? (TO) TT=1800.1	? (TO) TT=1801.22	? (TO) TT=1800.15	SAT (TO) f=-1 TT=1800.39 T1=506.5	? (TO) TT=1800.17
Bench name	Best results on this instance	bsolo 3.0.16	bsolo 3.0.17	minisat+ 1.14	oree 0.1.2 alpha	sat4jPseudoCP 2007-03-23	sat4jPseudoCPClause 2007-03-23	SAT4JPseudoResolution 2007-03-23
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=160-sizeP=81-sizeQ=160-451332552.opb	OPT f=1 TT=3.93 T1=3.45	? TT=0.005	? TT=0.004	? (TO) TT=1800.06	? (MO) TT=1278.9	OPT f=1 TT=3.954 T1=3.51	OPT f=1 TT=3.988 T1=3.53	OPT f=1 TT=3.93 T1=3.45
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=180-sizeP=91-sizeQ=180-348768554-max.opb	SAT f=-2 TT=1800.44 T1=1308.06	? TT=0.008	? TT=0.003	? (TO) TT=1800.09	? (TO) TT=1802.14	? (TO) TT=1800.21	SAT (TO) f=-2 TT=1800.44 T1=1308.06	? (TO) TT=1800.29
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=180-sizeP=91-sizeQ=180-348768554.opb	OPT f=1 TT=4.643 T1=4.1	? TT=0.006	? TT=0.004	? (TO) TT=1800.08	? (MO) TT=1185.99	OPT f=1 TT=4.643 T1=4.11	OPT f=1 TT=4.791 T1=4.15	OPT f=1 TT=4.648 T1=4.1
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=180-sizeP=91-sizeQ=180-780825197-max.opb		? TT=0.005	? TT=0.005	? (TO) TT=1800.1	? (TO) TT=1800.9	? (TO) TT=1800.09	? (TO) TT=1800.13	? (TO) TT=1800.31
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=180-sizeP=91-sizeQ=180-780825197.opb	OPT f=1 TT=4.692 T1=4.1	? TT=0.006	? TT=0.004	? (TO) TT=1800.07	? (MO) TT=1188.48	OPT f=1 TT=4.731 T1=4.2	OPT f=1 TT=4.756 T1=4.14	OPT f=1 TT=4.692 T1=4.1
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=200-sizeP=101-sizeQ=200-410184650-max.opb		? TT=0.003	? TT=0.003	? (TO) TT=1800.11	? (TO) TT=1802.1	? (TO) TT=1800.16	? (TO) TT=1800.18	? (TO) TT=1800.16
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=200-sizeP=101-sizeQ=200-410184650.opb	OPT f=1 TT=6.348 T1=5.69	? TT=0.003	? TT=0.005	OPT f=1 TT=111.202 T1=111.06	? (MO) TT=897.655	OPT f=1 TT=6.609 T1=5.91	OPT f=1 TT=6.58 T1=5.88	OPT f=1 TT=6.348 T1=5.69
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=200-sizeP=101-sizeQ=200-864124249-max.opb		? TT=0.003	? TT=0.003	? (TO) TT=1800.11	? (TO) TT=1802.19	? (TO) TT=1800.2	? (TO) TT=1800.14	? (TO) TT=1800.28
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=200-sizeP=101-sizeQ=200-864124249.opb	OPT f=1 TT=6.237 T1=5.51	? TT=0.007	? TT=0.005	? (TO) TT=1800.16	? (MO) TT=858.178	OPT f=1 TT=6.237 T1=5.55	OPT f=1 TT=6.264 T1=5.51	OPT f=1 TT=6.373 T1=5.69
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=20-sizeP=11-sizeQ=20-496708-max.opb	OPT f=-92 TT=0.551 T1=0.06	OPT f=-92 TT=0.736 T1=0	OPT f=-92 TT=0.734 T1=0.06	OPT f=-92 TT=0.551 T1=0.49	OPT f=-92 TT=158.32 T1=30.28	SAT (TO) f=-92 TT=1800.18 T1=432.45	SAT (TO) f=-4 TT=1800.19 T1=1634.89	OPT f=-92 TT=1.61 T1=1.24
Bench name	Best results on this instance	bsolo 3.0.16	bsolo 3.0.17	minisat+ 1.14	oree 0.1.2 alpha	sat4jPseudoCP 2007-03-23	sat4jPseudoCPClause 2007-03-23	SAT4JPseudoResolution 2007-03-23
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=20-sizeP=11-sizeQ=20-496708.opb	OPT f=1 TT=0.018 T1=0	OPT f=1 TT=0.016 T1=0	OPT f=1 TT=0.018 T1=0	OPT f=1 TT=0.171 T1=0.09	OPT f=1 TT=1.739 T1=1.69	OPT f=1 TT=0.551 T1=0.45	OPT f=1 TT=0.563 T1=0.48	OPT f=1 TT=0.549 T1=0.44
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=20-sizeP=11-sizeQ=20-900543-max.opb	OPT f=-1281 TT=0.231 T1=0.19	OPT f=-1281 TT=0.294 T1=0.19	OPT f=-1281 TT=0.297 T1=0.19	OPT f=-1281 TT=0.231 T1=0.19	OPT f=-1281 TT=48.282 T1=45.68	SAT (TO) f=-777 TT=1800.2 T1=175.65	SAT (TO) f=-111 TT=1800.22 T1=135.29	OPT f=-1281 TT=1.403 T1=1.29
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=20-sizeP=11-sizeQ=20-900543.opb	OPT f=1 TT=0.118 T1=0.1	OPT f=1 TT=0.381 T1=0.29	OPT f=1 TT=0.377 T1=0.29	OPT f=1 TT=0.118 T1=0.1	OPT f=1 TT=3.913 T1=3.79	OPT f=1 TT=0.556 T1=0.45	OPT f=1 TT=0.563 T1=0.48	OPT f=1 TT=0.552 T1=0.42
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=220-sizeP=111-sizeQ=220-229130880-max.opb	SAT f=-4 TT=1800.45 T1=365.12	? TT=0.009	? TT=0.006	? (TO) TT=1800.1	? (TO) TT=1800.37	? (TO) TT=1800.12	SAT (TO) f=-4 TT=1800.45 T1=365.12	? (TO) TT=1800.13
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=220-sizeP=111-sizeQ=220-229130880.opb	OPT f=1 TT=7.259 T1=6.33	? TT=0.005	? TT=0.006	? (TO) TT=1800.18	? (MO) TT=853.023	OPT f=1 TT=7.398 T1=6.46	OPT f=1 TT=7.999 T1=6.33	OPT f=1 TT=7.259 T1=6.41
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=220-sizeP=111-sizeQ=220-687342390-max.opb	SAT f=-1 TT=1800.48 T1=862.16	? TT=0.005	? TT=0.006	? (TO) TT=1800.07	? (TO) TT=1802.11	? (TO) TT=1800.12	SAT (TO) f=-1 TT=1800.48 T1=862.16	? (TO) TT=1800.27
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=220-sizeP=111-sizeQ=220-687342390.opb	OPT f=1 TT=7.32 T1=6.4	? TT=0.004	? TT=0.004	? (TO) TT=1800.09	? (MO) TT=878.019	OPT f=1 TT=7.367 T1=6.46	OPT f=1 TT=7.355 T1=6.4	OPT f=1 TT=7.32 T1=6.4
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=240-sizeP=121-sizeQ=240-330229238-max.opb		? TT=0.006	? TT=0.006	? (TO) TT=1800.08	? (TO) TT=1802.16	? (TO) TT=1800.22	? (TO) TT=1800.14	? (TO) TT=1800.27
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=240-sizeP=121-sizeQ=240-330229238.opb	OPT f=1 TT=7.784 T1=6.67	? TT=0.005	? TT=0.005	? (TO) TT=1800.11	? (MO) TT=909.151	OPT f=1 TT=7.836 T1=6.69	OPT f=1 TT=7.874 T1=6.7	OPT f=1 TT=7.784 T1=6.67
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=240-sizeP=121-sizeQ=240-817963885-max.opb		? TT=0.007	? TT=0.002	? (TO) TT=1800.09	? (TO) TT=1802.11	? (TO) TT=1800.13	? (TO) TT=1800.15	? (TO) TT=1800.24
Bench name	Best results on this instance	bsolo 3.0.16	bsolo 3.0.17	minisat+ 1.14	oree 0.1.2 alpha	sat4jPseudoCP 2007-03-23	sat4jPseudoCPClause 2007-03-23	SAT4JPseudoResolution 2007-03-23
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=240-sizeP=121-sizeQ=240-817963885.opb	OPT f=1 TT=7.66 T1=6.49	? TT=0.007	? TT=0.002	? (TO) TT=1800.14	? (MO) TT=894.402	OPT f=1 TT=7.66 T1=6.49	OPT f=1 TT=7.769 T1=6.59	OPT f=1 TT=7.893 T1=6.72
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=260-sizeP=131-sizeQ=260-466115074-max.opb		? TT=0.004	? TT=0.004	? (TO) TT=1800.09	? (TO) TT=1802.12	? (TO) TT=1800.07	? (TO) TT=1800.11	? (TO) TT=1800.17
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=260-sizeP=131-sizeQ=260-466115074.opb	OPT f=1 TT=9.017 T1=7.65	? TT=0.004	? TT=0.006	? (TO) TT=1800.16	? (MO) TT=672.77	OPT f=1 TT=9.424 T1=7.92	OPT f=1 TT=9.365 T1=7.88	OPT f=1 TT=9.017 T1=7.65
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=260-sizeP=131-sizeQ=260-581480794-max.opb		? TT=0.005	? TT=0.004	? (TO) TT=1800.17	? (TO) TT=1802.12	? (TO) TT=1800.2	? (TO) TT=1800.14	? (TO) TT=1800.26
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=260-sizeP=131-sizeQ=260-581480794.opb	OPT f=1 TT=9.322 T1=7.78	? TT=0.004	? TT=0.005	? (TO) TT=1800.16	? (MO) TT=640.042	OPT f=1 TT=9.381 T1=7.89	OPT f=1 TT=9.322 T1=7.78	OPT f=1 TT=9.447 T1=7.87
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=280-sizeP=141-sizeQ=280-254810631-max.opb		? TT=0.004	? TT=0.004	? (TO) TT=1800.12	? (TO) TT=1802.11	? (TO) TT=1800.16	? (TO) TT=1800.09	? (TO) TT=1800.17
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=280-sizeP=141-sizeQ=280-254810631.opb	OPT f=1 TT=12.203 T1=10.3	? TT=0.005	? TT=0.003	? (TO) TT=1800.06	? (MO) TT=662.062	OPT f=1 TT=12.886 T1=10.92	OPT f=1 TT=12.681 T1=10.75	OPT f=1 TT=12.203 T1=10.3
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=280-sizeP=141-sizeQ=280-999529433-max.opb		? TT=0.004	? TT=0.003	? (TO) TT=1800.08	? (TO) TT=1802.1	? (TO) TT=1800.09	? (TO) TT=1800.08	? (TO) TT=1800.23
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=280-sizeP=141-sizeQ=280-999529433.opb	OPT f=1 TT=12.198 T1=10.37	? TT=0.005	? TT=0.004	? (TO) TT=1800.18	? (MO) TT=710.684	OPT f=1 TT=12.459 T1=10.5	OPT f=1 TT=12.198 T1=10.37	OPT f=1 TT=12.273 T1=10.4
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=300-sizeP=151-sizeQ=300-346995195-max.opb		? TT=0.005	? TT=0.003	? (TO) TT=1800.09	? (TO) TT=1802.16	? (TO) TT=1800.21	? (TO) TT=1800.2	? (TO) TT=1800.2
Bench name	Best results on this instance	bsolo 3.0.16	bsolo 3.0.17	minisat+ 1.14	oree 0.1.2 alpha	sat4jPseudoCP 2007-03-23	sat4jPseudoCPClause 2007-03-23	SAT4JPseudoResolution 2007-03-23
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=300-sizeP=151-sizeQ=300-346995195.opb	OPT f=1 TT=14.361 T1=11.89	? TT=0.004	? TT=0.003	? (TO) TT=1800.12	? (MO) TT=590.823	OPT f=1 TT=14.401 T1=11.89	OPT f=1 TT=14.361 T1=11.91	OPT f=1 TT=14.549 T1=12.03
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=300-sizeP=151-sizeQ=300-692949159-max.opb		? TT=0.005	? TT=0.004	? (TO) TT=1800.13	? (TO) TT=1802.15	? (TO) TT=1800.1	? (TO) TT=1800.15	? (TO) TT=1800.23
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=300-sizeP=151-sizeQ=300-692949159.opb	OPT f=1 TT=14.331 T1=11.83	? TT=0.005	? TT=0.004	? (TO) TT=1800.14	? (MO) TT=601.799	OPT f=1 TT=14.331 T1=11.83	OPT f=1 TT=14.915 T1=12.41	OPT f=1 TT=14.469 T1=11.96
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=320-sizeP=161-sizeQ=320-287873690-max.opb		? TT=0.006	? TT=0.006	? (TO) TT=1800.17	? (TO) TT=1802.15	? (TO) TT=1800.17	? (TO) TT=1800.11	? (TO) TT=1800.21
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=320-sizeP=161-sizeQ=320-287873690.opb	OPT f=1 TT=17.52 T1=14.01	? TT=0.004	? TT=0.005	OPT f=1 TT=949.147 T1=948.86	? (MO) TT=625.311	OPT f=1 TT=17.52 T1=14.01	OPT f=1 TT=17.85 T1=14.42	OPT f=1 TT=17.807 T1=14.19
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=320-sizeP=161-sizeQ=320-420453220-max.opb		? TT=0.002	? TT=0.004	? (TO) TT=1800.11	? (TO) TT=1802.17	? (TO) TT=1800.13	? (TO) TT=1800.18	? (TO) TT=1800.19
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=320-sizeP=161-sizeQ=320-420453220.opb	OPT f=1 TT=17.211 T1=14	? TT=0.004	? TT=0.003	? (TO) TT=1800.14	? (MO) TT=638.658	OPT f=1 TT=17.211 T1=14.08	OPT f=1 TT=17.532 T1=14	OPT f=1 TT=17.589 T1=14.05
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=340-sizeP=171-sizeQ=340-700380480-max.opb		? TT=0.005	? TT=0.006	Signal TT=170.239	? (TO) TT=1802.1	? (TO) TT=1800.11	? (TO) TT=1800.11	? (TO) TT=1800.3
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=340-sizeP=171-sizeQ=340-700380480.opb	OPT f=1 TT=20.278 T1=16.42	? TT=0.005	? TT=0.002	Signal TT=169.6	? (MO) TT=693.664	OPT f=1 TT=20.657 T1=16.71	OPT f=1 TT=20.579 T1=16.76	OPT f=1 TT=20.278 T1=16.42
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=340-sizeP=171-sizeQ=340-737522999-max.opb		? TT=0.004	? TT=0.005	Signal TT=169.173	? (TO) TT=1801.36	? (TO) TT=1800.09	? (TO) TT=1800.06	? (TO) TT=1800.18
Bench name	Best results on this instance	bsolo 3.0.16	bsolo 3.0.17	minisat+ 1.14	oree 0.1.2 alpha	sat4jPseudoCP 2007-03-23	sat4jPseudoCPClause 2007-03-23	SAT4JPseudoResolution 2007-03-23
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=340-sizeP=171-sizeQ=340-737522999.opb	OPT f=1 TT=19.817 T1=16.03	? TT=0.002	? TT=0.003	Signal TT=168.704	? (MO) TT=738.408	OPT f=1 TT=21.12 T1=17.15	OPT f=1 TT=20.31 T1=16.38	OPT f=1 TT=19.817 T1=16.03
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=360-sizeP=181-sizeQ=360-770414132-max.opb		? TT=0.005	? TT=0.005	Signal TT=211.924	? (TO) TT=1802.17	? (TO) TT=1800.19	? (TO) TT=1800.1	? (TO) TT=1800.28
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=360-sizeP=181-sizeQ=360-770414132.opb	OPT f=1 TT=22.507 T1=18	? TT=0.004	? TT=0.003	Signal TT=212.02	? (MO) TT=695.687	OPT f=1 TT=23.047 T1=18.26	OPT f=1 TT=22.507 T1=18	OPT f=1 TT=23.123 T1=18.27
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=360-sizeP=181-sizeQ=360-885821403-max.opb		? TT=0.007	? TT=0.004	Signal TT=214.203	? (TO) TT=1802.19	? (TO) TT=1800.15	? (TO) TT=1800.12	? (TO) TT=1800.25
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=360-sizeP=181-sizeQ=360-885821403.opb	OPT f=1 TT=22.764 T1=17.93	? TT=0.005	? TT=0.005	Signal TT=213.051	? (MO) TT=708.237	OPT f=1 TT=23.08 T1=18.27	OPT f=1 TT=23.487 T1=18.53	OPT f=1 TT=22.764 T1=17.93
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=380-sizeP=191-sizeQ=380-376320478-max.opb		? TT=0.005	? TT=0.003	Signal TT=265.066	? (TO) TT=1802.09	? (TO) TT=1800.18	? (TO) TT=1800.11	? (TO) TT=1800.23
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=380-sizeP=191-sizeQ=380-376320478.opb	OPT f=1 TT=25.484 T1=19.65	? TT=0.003	? TT=0.005	Signal TT=263.707	? (MO) TT=641.58	OPT f=1 TT=26.556 T1=20.68	OPT f=1 TT=25.484 T1=19.65	OPT f=1 TT=27.042 T1=21.12
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=380-sizeP=191-sizeQ=380-765568612-max.opb		? TT=0.007	? TT=0.005	Signal TT=271.922	? (TO) TT=1802.16	? (TO) TT=1800.18	? (TO) TT=1800.2	? (TO) TT=1800.24
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=380-sizeP=191-sizeQ=380-765568612.opb	OPT f=1 TT=25.136 T1=19.67	? TT=0.004	? TT=0.007	Signal TT=271.398	? (MO) TT=610.758	OPT f=1 TT=26.512 T1=20.74	OPT f=1 TT=26.252 T1=20.41	OPT f=1 TT=25.136 T1=19.67
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=400-sizeP=201-sizeQ=400-517735400-max.opb		? TT=0.003	? TT=0.003	Signal TT=324.126	? (TO) TT=1802.15	? (TO) TT=1800.07	? (TO) TT=1800.13	? (TO) TT=1800.21
Bench name	Best results on this instance	bsolo 3.0.16	bsolo 3.0.17	minisat+ 1.14	oree 0.1.2 alpha	sat4jPseudoCP 2007-03-23	sat4jPseudoCPClause 2007-03-23	SAT4JPseudoResolution 2007-03-23
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=400-sizeP=201-sizeQ=400-517735400.opb	OPT f=1 TT=32.272 T1=25.17	? TT=0.003	? TT=0.006	Signal TT=325.73	? (MO) TT=522.28	OPT f=1 TT=32.907 T1=25.7	OPT f=1 TT=32.272 T1=25.17	OPT f=1 TT=32.922 T1=25.63
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=400-sizeP=201-sizeQ=400-87904490-max.opb		? TT=0.004	? TT=0.005	Signal TT=305.465	? (TO) TT=1802.16	? (TO) TT=1800.14	? (TO) TT=1800.2	? (TO) TT=1800.22
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=400-sizeP=201-sizeQ=400-87904490.opb	OPT f=1 TT=30.645 T1=23.85	? TT=0.005	? TT=0.005	Signal TT=325.888	? (MO) TT=662.029	OPT f=1 TT=30.687 T1=23.85	OPT f=1 TT=30.645 T1=24.07	OPT f=1 TT=31.093 T1=24.32
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=40-sizeP=21-sizeQ=40-289612555-max.opb	SAT f=-18535 TT=1800.04 T1=1712.64	SAT (TO) f=-1 TT=1800.03 T1=0.09	SAT (TO) f=-1 TT=1800.14 T1=0.09	SAT (TO) f=-18535 TT=1800.04 T1=1712.64	? (TO) TT=1800.95	? (TO) TT=1800.18	? (TO) TT=1800.13	SAT (TO) f=-1685 TT=1800.39 T1=180.02
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=40-sizeP=21-sizeQ=40-289612555.opb	OPT f=1 TT=1.081 T1=0.99	OPT f=1 TT=871.116 T1=871.04	OPT f=1 TT=867.913 T1=867.83	OPT f=1 TT=1.081 T1=0.99	? (TO) TT=1800.15	OPT f=1 TT=1.596 T1=1.08	OPT f=1 TT=1.54 T1=1.08	OPT f=1 TT=1.2 T1=1.12
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=40-sizeP=21-sizeQ=40-793490986-max.opb	OPT f=-1307731 TT=314.738 T1=249.41	SAT (TO) f=-2 TT=1800.03 T1=4.4	SAT (TO) f=-2 TT=1800.09 T1=4.28	OPT f=-1307731 TT=649.771 T1=644.28	? (TO) TT=1800.6	? (TO) TT=1800.17	? (TO) TT=1800.17	OPT f=-1307731 TT=314.738 T1=249.41
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=40-sizeP=21-sizeQ=40-793490986.opb	OPT f=1 TT=0.164 T1=0.09	OPT f=1 TT=0.165 T1=0.09	OPT f=1 TT=0.164 T1=0.09	OPT f=1 TT=4.109 T1=4.1	? (TO) TT=1800.18	OPT f=1 TT=1.606 T1=0.92	OPT f=1 TT=1.278 T1=1.09	OPT f=1 TT=1.523 T1=1.12
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=420-sizeP=211-sizeQ=420-348698641-max.opb		? TT=0.007	? TT=0.005	Signal TT=399.144	? (TO) TT=1802.18	? (TO) TT=1800.15	? (TO) TT=1800.14	? (TO) TT=1800.25
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=420-sizeP=211-sizeQ=420-348698641.opb	OPT f=1 TT=35.722 T1=26.98	? TT=0.003	? TT=0.007	Signal TT=397.236	? (MO) TT=704.022	OPT f=1 TT=36.234 T1=27.55	OPT f=1 TT=36.05 T1=27.41	OPT f=1 TT=35.722 T1=26.98
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=420-sizeP=211-sizeQ=420-802270006-max.opb		? TT=0.005	? TT=0.005	Signal TT=374.279	? (TO) TT=1802.11	? (TO) TT=1800.08	? (TO) TT=1800.14	? (TO) TT=1800.28
Bench name	Best results on this instance	bsolo 3.0.16	bsolo 3.0.17	minisat+ 1.14	oree 0.1.2 alpha	sat4jPseudoCP 2007-03-23	sat4jPseudoCPClause 2007-03-23	SAT4JPseudoResolution 2007-03-23
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=420-sizeP=211-sizeQ=420-802270006.opb	OPT f=1 TT=34.776 T1=26.11	? TT=0.005	? TT=0.004	Signal TT=397.086	? (MO) TT=561.775	OPT f=1 TT=36.117 T1=27.4	OPT f=1 TT=34.776 T1=26.11	OPT f=1 TT=36.157 T1=27.47
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=440-sizeP=221-sizeQ=440-24744542-max.opb		? TT=0.004	? TT=0.003	Signal TT=489.305	? (TO) TT=1802.19	? (TO) TT=1800.13	? (TO) TT=1800.08	? (TO) TT=1800.17
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=440-sizeP=221-sizeQ=440-24744542.opb	OPT f=1 TT=43.809 T1=33.78	? TT=0.005	? TT=0.005	Signal TT=485.673	? (MO) TT=651.354	OPT f=1 TT=43.809 T1=33.78	OPT f=1 TT=44.334 T1=33.91	OPT f=1 TT=44.934 T1=34.57
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=440-sizeP=221-sizeQ=440-726468498-max.opb		? TT=0.007	? TT=0.003	Signal TT=485.667	? (TO) TT=1802.15	? (TO) TT=1800.08	? (TO) TT=1800.11	? (TO) TT=1800.4
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=440-sizeP=221-sizeQ=440-726468498.opb	OPT f=1 TT=43.851 T1=33.68	? TT=0.003	? TT=0.005	Signal TT=483.102	? (MO) TT=585.821	OPT f=1 TT=43.851 T1=33.8	OPT f=1 TT=44.056 T1=33.68	OPT f=1 TT=44.655 T1=34.51
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=460-sizeP=231-sizeQ=460-367423129-max.opb		? TT=0.006	? TT=0.005	Signal TT=576.298	? (TO) TT=1802.16	? (TO) TT=1800.17	? (TO) TT=1800.13	? (TO) TT=1800.19
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=460-sizeP=231-sizeQ=460-367423129.opb	OPT f=1 TT=45.197 T1=33.82	? TT=0.006	? TT=0.004	Signal TT=575.775	? (MO) TT=653.981	OPT f=1 TT=45.197 T1=33.82	OPT f=1 TT=46.877 T1=34.79	OPT f=1 TT=48.188 T1=35.97
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=460-sizeP=231-sizeQ=460-510733673-max.opb		? TT=0.005	? TT=0.004	Signal TT=576.538	? (TO) TT=1802.08	? (TO) TT=1800.16	? (TO) TT=1800.14	? (TO) TT=1800.21
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=460-sizeP=231-sizeQ=460-510733673.opb	OPT f=1 TT=46.96 T1=35.05	? TT=0.004	? TT=0.003	Signal TT=575.638	? (MO) TT=667.196	OPT f=1 TT=49.435 T1=37.13	OPT f=1 TT=46.96 T1=35.05	OPT f=1 TT=48.16 T1=35.92
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=480-sizeP=241-sizeQ=480-57455727-max.opb		? TT=0.003	? TT=0.005	Signal TT=688.546	? (TO) TT=1802.17	? (TO) TT=1800.1	? (TO) TT=1800.19	? (TO) TT=1800.17
Bench name	Best results on this instance	bsolo 3.0.16	bsolo 3.0.17	minisat+ 1.14	oree 0.1.2 alpha	sat4jPseudoCP 2007-03-23	sat4jPseudoCPClause 2007-03-23	SAT4JPseudoResolution 2007-03-23
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=480-sizeP=241-sizeQ=480-57455727.opb	OPT f=1 TT=52.996 T1=39.64	? TT=0.006	? TT=0.005	Signal TT=689.157	? (MO) TT=628.471	OPT f=1 TT=57.55 T1=43.39	OPT f=1 TT=52.996 T1=39.64	OPT f=1 TT=57.444 T1=43
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=480-sizeP=241-sizeQ=480-896328136-max.opb		? TT=0.003	? TT=0.005	Signal TT=696.233	? (TO) TT=1802.15	? (TO) TT=1800.08	? (TO) TT=1800.17	? (TO) TT=1800.23
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=480-sizeP=241-sizeQ=480-896328136.opb	OPT f=1 TT=55.204 T1=41.07	? TT=0.005	? TT=0.004	Signal TT=694.854	? (MO) TT=663.237	OPT f=1 TT=59.453 T1=44.83	OPT f=1 TT=55.204 T1=41.07	OPT f=1 TT=56.098 T1=41.84
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=500-sizeP=251-sizeQ=500-280035866-max.opb		? TT=0.007	? TT=0.006	Signal TT=830.544	? (TO) TT=1802.15	? (TO) TT=1800.11	? (TO) TT=1800.12	? (TO) TT=1800.23
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=500-sizeP=251-sizeQ=500-280035866.opb	OPT f=1 TT=62.71 T1=47.03	? TT=0.006	? TT=0.005	Signal TT=832.181	? (MO) TT=680.278	OPT f=1 TT=63.506 T1=47.03	OPT f=1 TT=62.71 T1=47.27	OPT f=1 TT=67.209 T1=50.75
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=500-sizeP=251-sizeQ=500-293748522-max.opb		? TT=0.005	? TT=0.006	Signal TT=812.802	? (TO) TT=1802.18	? (TO) TT=1800.18	? (TO) TT=1800.2	? (TO) TT=1800.26
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=500-sizeP=251-sizeQ=500-293748522.opb	OPT f=1 TT=64.825 T1=48.21	? TT=0.005	? TT=0.003	Signal TT=832.714	? (MO) TT=670.372	OPT f=1 TT=65.162 T1=48.24	OPT f=1 TT=65.911 T1=49.37	OPT f=1 TT=64.825 T1=48.21
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=60-sizeP=31-sizeQ=60-472296155-max.opb		? TT=0.029	? TT=0.03	? (TO) TT=1800.08	? (TO) TT=1800.23	? (TO) TT=1800.21	? (TO) TT=1800.14	? (TO) TT=1800.19
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=60-sizeP=31-sizeQ=60-472296155.opb	OPT f=1 TT=1.806 T1=1.62	? TT=0.031	? TT=0.029	? (TO) TT=1800.07	? (TO) TT=1800.6	OPT f=1 TT=1.834 T1=1.72	OPT f=1 TT=1.835 T1=1.62	OPT f=1 TT=1.806 T1=1.63
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=60-sizeP=31-sizeQ=60-784051325-max.opb	SAT f=-5 TT=1800.28 T1=72.26	? TT=0.03	? TT=0.032	? (TO) TT=1800.08	? (TO) TT=1800.16	SAT (TO) f=-1 TT=1800.25 T1=19.63	SAT (TO) f=-5 TT=1800.28 T1=72.26	? (TO) TT=1800.26
Bench name	Best results on this instance	bsolo 3.0.16	bsolo 3.0.17	minisat+ 1.14	oree 0.1.2 alpha	sat4jPseudoCP 2007-03-23	sat4jPseudoCPClause 2007-03-23	SAT4JPseudoResolution 2007-03-23
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=60-sizeP=31-sizeQ=60-784051325.opb	OPT f=1 TT=1.772 T1=1.56	? TT=0.03	? TT=0.029	OPT f=1 TT=158.991 T1=158.92	? (TO) TT=1800.42	OPT f=1 TT=1.772 T1=1.56	OPT f=1 TT=1.777 T1=1.57	OPT f=1 TT=1.779 T1=1.56
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=80-sizeP=41-sizeQ=80-505615378-max.opb	SAT f=-2 TT=1800.26 T1=22.36	? TT=0.052	? TT=0.053	? (TO) TT=1800.05	? (TO) TT=1801.75	? (TO) TT=1800.22	SAT (TO) f=-2 TT=1800.26 T1=22.36	? (TO) TT=1800.29
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=80-sizeP=41-sizeQ=80-505615378.opb	OPT f=1 TT=2.108 T1=1.78	? TT=0.051	? TT=0.05	OPT f=1 TT=100.745 T1=100.66	? (TO) TT=1800.32	OPT f=1 TT=2.183 T1=1.78	OPT f=1 TT=2.217 T1=1.81	OPT f=1 TT=2.108 T1=1.8
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=80-sizeP=41-sizeQ=80-898154415-max.opb	SAT f=-1 TT=1800.3 T1=30.78	? TT=0.048	? TT=0.051	? (TO) TT=1800.05	? (TO) TT=1800.18	SAT (TO) f=-1 TT=1800.3 T1=30.78	? (TO) TT=1800.22	? (TO) TT=1800.16
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=80-sizeP=41-sizeQ=80-898154415.opb	OPT f=1 TT=2.137 T1=1.8	? TT=0.05	? TT=0.051	? (TO) TT=1800.11	? (TO) TT=1802.07	OPT f=1 TT=2.188 T1=1.8	OPT f=1 TT=2.594 T1=2	OPT f=1 TT=2.137 T1=1.81
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-fit1d.opb		? (TO) TT=1800.07	? (TO) TT=1800.04	? (TO) TT=1800.12	? (MO) TT=675.463	? (TO) TT=1800.14	? (TO) TT=1800.18	? (TO) TT=1800.08
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-aflow30a.opb	SAT f=4003 TT=1800.27 T1=1120.78	SAT (TO) f=4003 TT=1800.26 T1=1125.57	SAT (TO) f=4003 TT=1800.27 T1=1120.78	? (TO) TT=1800.1	? (TO) TT=1800.98	? (TO) TT=1800.24	? (TO) TT=1800.29	? (TO) TT=1800.16
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-aflow40b.opb		? (MO) TT=646.599	? (MO) TT=642.227	? (TO) TT=1800.16	? (TO) TT=1801.42	? (TO) TT=1800.18	? (TO) TT=1800.22	? (TO) TT=1800.12
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-air04.opb	SAT f=57799 TT=1800.14 T1=2.19	SAT (TO) f=57799 TT=1800.14 T1=1.99	SAT (TO) f=57799 TT=1800.14 T1=2.19	? (TO) TT=1800.15	? (TO) TT=1801.26	? (TO) TT=1800.16	? (TO) TT=1800.22	? (TO) TT=1800.86
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-air05.opb	SAT f=31955 TT=1694.67 T1=2.09	SAT (MO) f=31955 TT=1708.31 T1=2.09	SAT (MO) f=31955 TT=1694.67 T1=2.09	SAT (TO) f=41670 TT=1800.16 T1=467.24	? (TO) TT=1800.81	SAT (TO) f=33838 TT=1800.46 T1=576.87	SAT (TO) f=35741 TT=1800.51 T1=1036.46	SAT (TO) f=39951 TT=1800.39 T1=1199.02
Bench name	Best results on this instance	bsolo 3.0.16	bsolo 3.0.17	minisat+ 1.14	oree 0.1.2 alpha	sat4jPseudoCP 2007-03-23	sat4jPseudoCPClause 2007-03-23	SAT4JPseudoResolution 2007-03-23
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-nw04.opb		? (MO) TT=1557.72	? (MO) TT=1543.31	? (TO) TT=1800.09	? (TO) TT=1802.15	? (TO) TT=1800.16	? (TO) TT=1800.13	No Cert. TT=673.926
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-t1717.opb	SAT f=200300 TT=1800.15 T1=124.15	SAT (TO) f=200300 TT=1800.12 T1=125.15	SAT (TO) f=200300 TT=1800.15 T1=124.15	Signal TT=491.427	SAT (TO) f=372347 TT=1800.41 T1=171.04	? (TO) TT=1800.16	? (TO) TT=1800.23	SAT (TO) f=404462 TT=1804.1 T1=28.78
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-vpm2.opb	SAT f=117 TT=1800.1 T1=369.57	SAT f=117 TT=1800.02 T1=371.11	SAT (TO) f=117 TT=1800.1 T1=369.57	? (TO) TT=1800.05	? (TO) TT=1800.11	? (TO) TT=1800.16	? (TO) TT=1800.16	? (TO) TT=1800.36
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib3/ normalized-mps-v2-20-10-gt2.opb	SAT f=21166 TT=1800.07 T1=593.04	SAT f=21166 TT=1800.01 T1=594.36	SAT (TO) f=21166 TT=1800.07 T1=593.04	SAT (TO) f=64860 TT=1800.08 T1=1556.41	SAT (TO) f=251036 TT=1800.22 T1=1405.77	SAT (TO) f=29504 TT=1800.21 T1=171.37	? (TO) TT=1800.26	? (TO) TT=1800.25
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-air01.opb	OPT f=3398 TT=0.301 T1=0.19	OPT f=3398 TT=0.312 T1=0.29	OPT f=3398 TT=0.301 T1=0.19	SAT (TO) f=3440 TT=1800.09 T1=1112.85	OPT f=3398 TT=957.082 T1=398.9	OPT f=3398 TT=41.978 T1=33.39	OPT f=3398 TT=24.177 T1=13.46	OPT f=3398 TT=17.036 T1=12.29
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-air02.opb	SAT f=4200 TT=1800.56 T1=1527.59	SAT (TO) f=8554 TT=1800.26 T1=1415.56	SAT (TO) f=8554 TT=1800.25 T1=1400.22	SAT (TO) f=34793 TT=1800.16 T1=699.89	SAT (TO) f=156483 TT=1800.55 T1=401.88	SAT (TO) f=4657 TT=1800.45 T1=223.24	SAT (TO) f=4510 TT=1800.44 T1=107.11	SAT (TO) f=4200 TT=1800.56 T1=1527.59
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-air03.opb	SAT f=211229 TT=686.906 T1=598.37	? (TO) TT=1800.05	? (TO) TT=1800.09	SAT (TO) f=300125 TT=1800.07 T1=1776.02	? (MO) TT=1425.68	SAT (TO) f=215475 TT=1800.76 T1=1183.52	SAT (TO) f=215710 TT=1800.74 T1=919.01	SAT f=211229 TT=686.906 T1=598.37
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-air06.opb	SAT f=65755 TT=1800.57 T1=1485.42	? (TO) TT=1800.16	? (TO) TT=1800.17	SAT (TO) f=66761 TT=1800.2 T1=1415.88	? (TO) TT=1802.2	? (TO) TT=1800.18	SAT (TO) f=72303 TT=1800.48 T1=1242.44	SAT (TO) f=65755 TT=1800.57 T1=1485.42
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-enigma.opb	OPT f=0 TT=1.141 T1=1.07	OPT f=0 TT=1.195 T1=1.1	OPT f=0 TT=1.182 T1=1.1	OPT f=0 TT=48.024 T1=47.98	? (TO) TT=1800.45	? (TO) TT=1800.15	? (TO) TT=1800.22	OPT f=0 TT=1.141 T1=1.07
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-p0282.opb	OPT f=258411 TT=4.081 T1=3.72	OPT f=258411 TT=859.577 T1=859.36	SAT (TO) f=280982 TT=1800.08 T1=658.29	OPT f=258411 TT=1100.9 T1=1100.8	SAT (TO) f=303000 TT=1800.16 T1=4.29	SAT (TO) f=303750 TT=1800.23 T1=1732.91	SAT (TO) f=307831 TT=1800.2 T1=291.34	OPT f=258411 TT=4.081 T1=3.72
Bench name	Best results on this instance	bsolo 3.0.16	bsolo 3.0.17	minisat+ 1.14	oree 0.1.2 alpha	sat4jPseudoCP 2007-03-23	sat4jPseudoCPClause 2007-03-23	SAT4JPseudoResolution 2007-03-23
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-p0291.opb	OPT f=10447498 TT=0.082 T1=0	OPT f=10447498 TT=0.083 T1=0.03	OPT f=10447498 TT=0.082 T1=0	SAT (TO) f=29395365 TT=1800.1 T1=1513.8	OPT f=10447498 TT=5.196 T1=1.19	OPT f=10447498 TT=16.027 T1=15.38	OPT f=10447498 TT=10.41 T1=9.56	OPT f=10447498 TT=1.46 T1=1.23
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-p6000.opb	SAT f=-911092 TT=1800.49 T1=312.87	? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.17	? (TO) TT=1800.23	SAT (TO) f=-910905 TT=1800.49 T1=382.93	SAT (TO) f=-911092 TT=1800.49 T1=312.87	SAT (TO) f=-515143 TT=1800.39 T1=68.48
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-pipex.opb	OPT f=788263 TT=26.851 T1=1.89	OPT f=788263 TT=27.124 T1=1.83	OPT f=788263 TT=26.851 T1=1.89	OPT f=788263 TT=205.793 T1=152.42	SAT (TO) f=802184 TT=1800.19 T1=1054.6	OPT f=788263 TT=33.458 T1=6.72	SAT (TO) f=806913 TT=1800.11 T1=1411.88	OPT f=788263 TT=27.569 T1=26.47
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-vpm1.opb	SAT f=39 TT=1800.1 T1=99.47	SAT f=39 TT=1800.02 T1=100.16	SAT (TO) f=39 TT=1800.1 T1=99.47	? (TO) TT=1800.04	? (TO) TT=1800.18	? (TO) TT=1800.15	? (TO) TT=1800.12	? (TO) TT=1800.77
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-mps-v2-20-10-neos9.opb		? (MO) TT=290.345	? (MO) TT=288.423	? (MO) TT=574.246	? (TO) TT=1800.2	? (TO) TT=1800.23	? (TO) TT=1800.32	? (TO) TT=1800.29
normalized-PB06/OPT-MEDINT/mps-v2-20-10/ plato.asu.edu/pub/milp/ normalized-mps-v2-20-10-seymour1.opb	SAT f=471085 TT=1800.62 T1=457.84	SAT (MO) f=475136 TT=723.563 T1=1.78	SAT (MO) f=475136 TT=752.142 T1=1.79	SAT (TO) f=1008256 TT=1800.17 T1=266.24	SAT (TO) f=503808 TT=1800.6 T1=2.99	SAT (TO) f=471085 TT=1800.67 T1=462.03	SAT (TO) f=471085 TT=1800.62 T1=457.84	SAT (TO) f=471086 TT=1800.57 T1=5.57
normalized-PB06/OPT-MEDINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-ds.opb		Signal TT=3.814	Signal TT=3.858	? (MO) TT=418.751	? (MO) TT=92.995	? TT=439.652	? TT=426.296	? TT=442.234
normalized-PB06/OPT-MEDINT/reduced/mps-v2-20-10/ plato.asu.edu/pub/lptestset/fome/ normalized-reduced-mps-v2-20-10-fome12.opb		Signal TT=20.816	Signal TT=20.842	Signal TT=1609.44	? (TO) TT=1800.57	? (TO) TT=1800.35	? (TO) TT=1802.3	? (TO) TT=1800.33
normalized-PB06/OPT-MEDINT/reduced/mps-v2-20-10/ plato.asu.edu/pub/lptestset/fome/ normalized-reduced-mps-v2-20-10-fome13.opb		Signal TT=3.883	Signal TT=3.897	Signal TT=1078.54	? (TO) TT=1801.09	? (MO) TT=138.9	? (exit code) TT=287.099	? (MO) TT=100.591
normalized-PB06/OPT-MEDINT/web/ www.ps.uni-sb.de/~walser/benchmarks/ course-ass/normalized-ws97-3.opb	SAT f=3063 TT=1800.32 T1=1348.27	? (MO) TT=10.8	? (MO) TT=11.741	? (TO) TT=1800.05	SAT (TO) f=72245 TT=1800.26 T1=1737.57	SAT (TO) f=3065 TT=1800.33 T1=175.2	SAT (TO) f=3063 TT=1800.32 T1=1348.27	SAT (TO) f=11063 TT=1800.24 T1=3.82
Bench name	Best results on this instance	bsolo 3.0.16	bsolo 3.0.17	minisat+ 1.14	oree 0.1.2 alpha	sat4jPseudoCP 2007-03-23	sat4jPseudoCPClause 2007-03-23	SAT4JPseudoResolution 2007-03-23
normalized-PB07/OPT-BIGINT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir03_trarea_ac.opb	SAT f=26724 TT=1800.01 T1=843.55	SAT f=26724 TT=1800.01 T1=853.98	SAT (TO) f=26724 TT=1800.01 T1=843.55	SAT (TO) f=28204 TT=1800.1 T1=0.07	SAT (TO) f=879590 TT=1800.28 T1=1791.96	SAT (TO) f=27768 TT=1800.28 T1=1352.29	SAT (TO) f=28657 TT=1800.32 T1=8.37	SAT (TO) f=28657 TT=1800.23 T1=111.18
normalized-PB07/OPT-BIGINT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir04_trarea_ac.opb	OPT f=41202 TT=0.495 T1=0.39	Wrong Opt. f=41260 TT=0.414 T1=0.37	OPT f=41202 TT=0.495 T1=0.39	SAT (TO) f=46032 TT=1800.11 T1=0.09	SAT (TO) f=1271414 TT=1800.23 T1=1796.93	SAT (TO) f=55050 TT=1800.32 T1=18.45	SAT (TO) f=55050 TT=1800.35 T1=15.76	SAT (TO) f=54052 TT=1800.26 T1=3.04
normalized-PB07/OPT-BIGINT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir05_trarea_ac.opb	OPT f=47342 TT=0.146 T1=0.09	OPT f=47342 TT=0.142 T1=0.09	OPT f=47342 TT=0.146 T1=0.09	SAT (TO) f=52169 TT=1800.12 T1=0	SAT (TO) f=670338 TT=1800.44 T1=1396.6	SAT (TO) f=52176 TT=1800.25 T1=12.98	SAT (TO) f=52176 TT=1800.35 T1=12.17	SAT (TO) f=54696 TT=1800.76 T1=0.73
normalized-PB07/OPT-BIGINT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir06_trarea_ac.opb	SAT f=37042 TT=1800.06 T1=0.09	SAT f=37042 TT=1800.02 T1=0.09	SAT (TO) f=37042 TT=1800.06 T1=0.09	SAT (TO) f=37056 TT=1800.15 T1=0.19	SAT (TO) f=3321533 TT=1800.4 T1=1634.81	SAT (TO) f=46880 TT=1800.33 T1=419.39	SAT (TO) f=47205 TT=1800.33 T1=46.03	SAT (TO) f=47205 TT=1800.32 T1=2.99
normalized-PB07/OPT-BIGINT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir07_trarea_ac.opb	SAT f=59123 TT=1800.04 T1=1414.83	SAT f=59123 TT=1800.01 T1=1433.17	SAT (TO) f=59123 TT=1800.04 T1=1414.83	SAT (TO) f=63286 TT=1800.11 T1=0.09	SAT (TO) f=1596491 TT=1800.39 T1=1765.62	SAT (TO) f=68835 TT=1800.27 T1=31.34	SAT (TO) f=62423 TT=1800.26 T1=658.14	SAT (TO) f=70079 TT=1800.27 T1=2.68
normalized-PB07/OPT-BIGINT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir08_trarea_ac.opb	SAT f=86647 TT=1800.14 T1=0.99	SAT (TO) f=86647 TT=1800.16 T1=1.1	SAT (TO) f=86647 TT=1800.14 T1=0.99	SAT (TO) f=89369 TT=1800.21 T1=1.79	SAT (MO) f=20085055 TT=780.123 T1=773.6	SAT (TO) f=96444 TT=1800.95 T1=869.96	SAT (TO) f=96444 TT=1801.03 T1=812.13	SAT (TO) f=95684 TT=1801.08 T1=9.68
normalized-PB07/OPT-BIGINT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir09_trarea_ac.opb	SAT f=59847 TT=1800.42 T1=1089.57	SAT f=63201 TT=1800.02 T1=1186.59	SAT (TO) f=63201 TT=1800.08 T1=1180.5	SAT (TO) f=73146 TT=1800.15 T1=0.29	SAT (TO) f=2966783 TT=1800.59 T1=1714.09	SAT (TO) f=59847 TT=1800.42 T1=1089.57	SAT (TO) f=62295 TT=1800.42 T1=247.36	SAT (TO) f=64983 TT=1800.28 T1=3.06
normalized-PB07/OPT-BIGINT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir10_trarea_ac.opb	SAT f=93811 TT=1800.21 T1=1.89	SAT (TO) f=93922 TT=1800.13 T1=0.99	SAT (TO) f=93922 TT=1800.14 T1=0.89	SAT (TO) f=93811 TT=1800.21 T1=1.89	SAT (MO) f=22545982 TT=893.797 T1=890.87	SAT (TO) f=105498 TT=1801.25 T1=329.87	SAT (TO) f=105498 TT=1801.26 T1=333.69	SAT (TO) f=105488 TT=1801.17 T1=7.8

Some statistics...

	bsolo 3.0.17	minisat+ 1.14	oree 0.1.2 alpha	sat4jPseudoCP 2007-03-23	sat4jPseudoCPClause 2007-03-23	SAT4JPseudoResolution 2007-03-23
Number of times the solver is able to give the best known answer	97	78	51	123	132	161
Number of times the solver is able to give the best known answer from an incomplete solver point of view (i.e. without considering optimality proof)	100	78	53	126	136	162
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)	84	15	14	42	52	71
Number of times the solver is the best solver from an incomplete solver point of view (i.e. best known answer and best T1 time)	65	10	5	33	48	63