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

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

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

REMINDER

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

Description of a cell contents:

Cell example	Meaning
Answer	Solver result
f=...	value of the objective function for the model reported by the solver
TT=...	Total Time (TT): this is the CPU time (in seconds) used by the solver until termination. This time is only meaningful for complete solvers because incomplete solvers will always run until they time out

Remember that CPU time and wall clock time are two very different notions. The CPU time represents the time during which the instructions of the solver were executed by the processor. The wall clock time represents how much time ellapsed on the clock. For a same event, the CPU time may be either smaller or greater than the wall clock time depending on the number of threads of execution and the number of processors.

Meaning of some abbreviations:

Abbreviation	Meaning
f=...	Value of the objective function
TO	Time Out
MO	Mem. Out (out of memory)

Meaning of the different colors:

Color	Meaning
text	the solver cannot handle this instance
text	the solver gave no answer
text	the solver could give an answer (SAT)
text	the solver gave a definitive answer (OPTIMUM FOUND or UNSAT)
text	the solver performed better than the other ones on that instance (complete solvers point of view)
text	the solver performed better than the other ones on that instance (incomplete solvers point of view)
text	the solver was ended by a signal or other problem
text	the solver gave an incomplete answer
text	the solver gave a wrong answer

For better readability, you may choose to hide some solvers:
MinisatID 2.4.8-gmp [DEPRECATED] (complete)
MinisatID 2.5.2-gmp (fixed) (complete)
Sat4j CuttingPlanes 2.3.0 (complete)
Sat4j Res//CP 2.3.0 (complete)
Sat4j Resolution 2.3.0 (complete)

Bench name	Best results on this instance	MinisatID 2.4.8-gmp [DEPRECATED] (complete)	MinisatID 2.5.2-gmp (fixed) (complete)	Sat4j CuttingPlanes 2.3.0 (complete)	Sat4j Res//CP 2.3.0 (complete)	Sat4j Resolution 2.3.0 (complete)
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-25fv47.opb	UNSAT TT=1.792	UNSAT TT=3.155	UNSAT TT=3.119	UNSAT TT=2.253	UNSAT TT=2.614	UNSAT TT=1.792
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-80bau3b.opb	UNSAT TT=2.634	UNSAT TT=43.81	UNSAT TT=29.058	UNSAT TT=3.051	UNSAT TT=3.515	UNSAT TT=2.634
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-adlittle.opb		? (TO) TT=1800.07	? (TO) TT=1800.06	? (TO) TT=1800.25	? (TO) TT=1800.31	? (TO) TT=1800.1
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-afiro.opb	OPT f=-11897496 TT=4.032 T1=2.82	OPT f=-11897496 TT=1520.93 T1=1520.86	OPT f=-11897496 TT=633.969 T1=633.94	SAT (TO) f=-11814112 TT=1800.3 T1=1400.35	SAT (TO) f=-11883540 TT=1800.3 T1=897.67	OPT f=-11897496 TT=4.032 T1=2.82
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-agg2.opb		? (TO) TT=1800.07	? (TO) TT=1800.02	? (TO) TT=1800.18	? (TO) TT=1800.33	? (TO) TT=1800.08
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-agg3.opb		? (TO) TT=1800.1	? (TO) TT=1800.07	? (TO) TT=1800.21	? (TO) TT=1800.24	? (TO) TT=1800.09
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-agg.opb		? (TO) TT=1800.07	? (TO) TT=1800.04	? (TO) TT=1800.27	? (TO) TT=1800.22	? (TO) TT=1800.12
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-bandm.opb	UNSAT TT=0.543	UNSAT TT=0.543	UNSAT TT=0.544	UNSAT TT=1.362	UNSAT TT=1.695	UNSAT TT=1.03
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-beaconfd.opb	UNSAT TT=0.989	UNSAT TT=0.999	UNSAT TT=0.989	UNSAT TT=1.461	UNSAT TT=1.976	UNSAT TT=1.1
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-blend.opb	OPT f=0 TT=554.799 T1=0.7	? (TO) f=0 TT=1800.07 T1=0.38	? (TO) f=0 TT=1800.05 T1=1800	? (TO) TT=1800.22	OPT f=0 TT=1114.55 T1=0.91	OPT f=0 TT=554.799 T1=0.7
Bench name	Best results	MinisatID 2.4.8-gmp [DEPRECATED] (complete)	MinisatID 2.5.2-gmp (fixed) (complete)	Sat4j CuttingPlanes 2.3.0 (complete)	Sat4j Res//CP 2.3.0 (complete)	Sat4j Resolution 2.3.0 (complete)
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-bnl1.opb		? (TO) TT=1800.09	? (TO) TT=1800.06	? (TO) TT=1800.17	? (TO) TT=1800.22	? (TO) TT=1800.09
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-bnl2.opb	UNSAT TT=2.345	UNSAT TT=4.925	UNSAT TT=4.891	UNSAT TT=2.616	UNSAT TT=3.533	UNSAT TT=2.345
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-boeing1.opb		? (TO) TT=1800.08	? (TO) TT=1800.07	? (TO) TT=1800.22	? (TO) TT=1800.27	? (TO) TT=1800.08
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-boeing2.opb		? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800.27	? (TO) TT=1800.24	? (TO) TT=1800.14
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-bore3d.opb	UNSAT TT=0.348	UNSAT TT=0.348	UNSAT TT=0.384	UNSAT TT=1.179	UNSAT TT=1.655	UNSAT TT=0.876
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-brandy.opb	UNSAT TT=0.541	UNSAT TT=0.541	UNSAT TT=0.571	UNSAT TT=1.091	UNSAT TT=1.564	UNSAT TT=0.917
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-capri.opb	UNSAT TT=0.259	UNSAT TT=0.259	UNSAT TT=0.289	UNSAT TT=1.162	UNSAT TT=1.338	UNSAT TT=0.857
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-cycle.opb		? (TO) TT=1800.07	? (TO) TT=1800.09	? (TO) TT=1800.26	? (TO) TT=1800.36	? (TO) TT=1800.42
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-czprob.opb	SAT f=232914362812081 TT=1800.4 T1=45.17	? (TO) TT=1800.1	? (TO) TT=1800.06	SAT (TO) f=232914362812081 TT=1800.4 T1=76.73	SAT (TO) f=232914362812081 TT=1800.54 T1=45.17	? (TO) TT=1800.11
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-d2q06c.opb	UNSAT TT=3.654	UNSAT TT=9.27	UNSAT TT=9.152	UNSAT TT=4.084	UNSAT TT=4.754	UNSAT TT=3.654
Bench name	Best results	MinisatID 2.4.8-gmp [DEPRECATED] (complete)	MinisatID 2.5.2-gmp (fixed) (complete)	Sat4j CuttingPlanes 2.3.0 (complete)	Sat4j Res//CP 2.3.0 (complete)	Sat4j Resolution 2.3.0 (complete)
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-d6cube.opb		? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800.27	? (TO) TT=1800.38	? (TO) TT=1800.18
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-degen2.opb		? (TO) TT=1800.1	? (TO) TT=1800.06	? (TO) TT=1800.22	? (TO) TT=1800.35	? (TO) TT=1800.06
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-degen3.opb		? (TO) TT=1800.07	? (TO) TT=1800.08	? (TO) TT=1800.32	? (TO) TT=1800.38	? (TO) TT=1800.13
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-dfl001.opb		? (TO) TT=1800.09	? (TO) TT=1800.1	? (TO) TT=1800.31	? (TO) TT=1800.4	? (TO) TT=1800.19
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-e226.opb	UNSAT TT=0.466	UNSAT TT=0.466	UNSAT TT=0.468	UNSAT TT=1.193	UNSAT TT=1.717	UNSAT TT=0.945
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-etamacro.opb	UNSAT TT=1.053	? (TO) TT=1800.07	UNSAT TT=1317.74	UNSAT TT=1.197	UNSAT TT=1.529	UNSAT TT=1.053
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-fffff800.opb	UNSAT TT=1.345	UNSAT TT=1.968	UNSAT TT=1.814	UNSAT TT=1.345	UNSAT TT=1.918	UNSAT TT=1.425
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-fit1p.opb	SAT f=14462855 TT=1800.25 T1=6.78	? (TO) TT=1800.07	? (TO) TT=1800.04	SAT (TO) f=197042018754 TT=1800.38 T1=49.83	SAT (TO) f=14462855 TT=1800.56 T1=8.01	SAT (TO) f=14462855 TT=1800.25 T1=6.78
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-fit2d.opb		? (TO) TT=1800.12	? (TO) TT=1800.13	? (TO) TT=1800.23	? (TO) TT=1800.32	? (TO) TT=1800.2
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-fit2p.opb		? (TO) TT=1800.11	? (TO) TT=1800.08	? (TO) TT=1800.28	? (TO) TT=1800.48	? (TO) TT=1800.22
Bench name	Best results	MinisatID 2.4.8-gmp [DEPRECATED] (complete)	MinisatID 2.5.2-gmp (fixed) (complete)	Sat4j CuttingPlanes 2.3.0 (complete)	Sat4j Res//CP 2.3.0 (complete)	Sat4j Resolution 2.3.0 (complete)
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-forplan.opb		? (TO) TT=1800.12	? (TO) TT=1800.09	? (TO) TT=1800.21	? (TO) TT=1800.43	? (TO) TT=1800.09
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-ganges.opb	UNSAT TT=1.341	UNSAT TT=1.679	UNSAT TT=1.48	UNSAT TT=1.665	UNSAT TT=1.951	UNSAT TT=1.341
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-gfrd-pnc.opb		? (TO) TT=1800.07	? (TO) TT=1800.06	? (TO) TT=1800.24	? (TO) TT=1800.48	? (TO) TT=1800.17
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-greenbea.opb		? (TO) TT=1800.09	? (TO) TT=1800.08	? (TO) TT=1800.21	? (TO) TT=1800.39	? (TO) TT=1800.13
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-greenbeb.opb		? (TO) TT=1800.07	? (TO) TT=1800.08	? (TO) TT=1800.26	? (TO) TT=1800.32	? (TO) TT=1800.14
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-grow15.opb		? (TO) f=0 TT=1800.06 T1=5.05	? (TO) f=0 TT=1800.06 T1=1800	? (TO) TT=1800.28	? (TO) TT=1800.47	? (TO) TT=1800.14
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-grow22.opb		? (TO) f=0 TT=1800.06 T1=7.52	? (TO) f=0 TT=1800.08 T1=1800	? (TO) TT=1800.27	? (TO) TT=1800.31	? (TO) TT=1800.18
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-grow7.opb	SAT f=0 TT=1800.15 T1=1220.15	? (TO) f=0 TT=1800.06 T1=2.22	? (TO) f=0 TT=1800.05 T1=1800	? (TO) TT=1800.29	? (TO) TT=1801.14	SAT (TO) f=0 TT=1800.15 T1=1220.15
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-israel.opb	SAT f=-310031148983 TT=1800.26 T1=909.75	? (TO) f=-203498316500 TT=1800.05 T1=424.56	? (TO) f=-305331064040 TT=1800.07 T1=1800.01	SAT (TO) f=-310031148983 TT=1800.26 T1=909.75	SAT (TO) f=-277191839000 TT=1800.29 T1=828.72	? (TO) TT=1800.13
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.13 T1=0.54	? (TO) f=0 TT=1800.05 T1=0.2	? (TO) f=0 TT=1800.05 T1=1800	SAT (TO) f=0 TT=1800.26 T1=1.07	SAT (TO) f=0 TT=1800.36 T1=0.89	SAT (TO) f=0 TT=1800.13 T1=0.54
Bench name	Best results	MinisatID 2.4.8-gmp [DEPRECATED] (complete)	MinisatID 2.5.2-gmp (fixed) (complete)	Sat4j CuttingPlanes 2.3.0 (complete)	Sat4j Res//CP 2.3.0 (complete)	Sat4j Resolution 2.3.0 (complete)
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-lotfi.opb		? (TO) TT=1800.12	? (TO) TT=1800.09	? (TO) TT=1800.21	? (TO) TT=1800.34	? (TO) TT=1800.13
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-maros.opb		? (TO) TT=1800.09	? (TO) TT=1800.06	? (TO) TT=1800.22	? (TO) TT=1800.48	? (TO) TT=1800.14
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-maros-r7.opb		? (TO) TT=1800.19	? (TO) TT=1800.12	? (TO) TT=1800.36	? (TO) TT=1800.33	? (TO) TT=1800.17
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-modszk1.opb		? (TO) TT=1800.07	? (TO) TT=1800.06	? (TO) TT=1800.3	? (TO) TT=1801.1	? (TO) TT=1800.11
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-nesm.opb	UNSAT TT=1.69	UNSAT TT=3.284	UNSAT TT=3.583	UNSAT TT=2.026	UNSAT TT=2.444	UNSAT TT=1.69
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-perold.opb	UNSAT TT=1.19	UNSAT TT=1.19	UNSAT TT=1.246	UNSAT TT=1.573	UNSAT TT=2.065	UNSAT TT=1.593
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-pilot4.opb	UNSAT TT=0.933	UNSAT TT=1.041	UNSAT TT=0.933	UNSAT TT=1.487	UNSAT TT=1.735	UNSAT TT=1.381
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-pilot87.opb	UNSAT TT=2.613	UNSAT TT=981.247	UNSAT TT=650.222	UNSAT TT=2.886	UNSAT TT=3.374	UNSAT TT=2.613
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-pilot.opb	UNSAT TT=1.447	UNSAT TT=10.829	UNSAT TT=9.791	UNSAT TT=1.64	UNSAT TT=1.936	UNSAT TT=1.447
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-pilot.we.opb	UNSAT TT=12.647	UNSAT TT=786.642	? (TO) TT=1800.07	UNSAT TT=12.647	UNSAT TT=24.253	? (TO) TT=1800.15
Bench name	Best results	MinisatID 2.4.8-gmp [DEPRECATED] (complete)	MinisatID 2.5.2-gmp (fixed) (complete)	Sat4j CuttingPlanes 2.3.0 (complete)	Sat4j Res//CP 2.3.0 (complete)	Sat4j Resolution 2.3.0 (complete)
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-recipe.opb	SAT f=-136341504 TT=1800.32 T1=3.51	? (TO) f=-135675180 TT=1800.06 T1=1491.54	? (TO) f=-136047317 TT=1800.07 T1=1800	SAT (TO) f=-63247360 TT=1800.31 T1=0.77	SAT (TO) f=-136341504 TT=1800.32 T1=3.51	SAT (TO) f=-128554986 TT=1800.1 T1=5.33
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-sc105.opb	OPT f=0 TT=6.806 T1=0.17	OPT f=0 TT=941.975 T1=0.17	OPT f=0 TT=390.013 T1=390	SAT (TO) f=0 TT=1800.32 T1=0.83	OPT f=0 TT=13.166 T1=0.96	OPT f=0 TT=6.806 T1=0.47
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-sc205.opb	OPT f=0 TT=6.935 T1=0.51	? (TO) f=0 TT=1800.06 T1=0.35	? (TO) f=0 TT=1800.06 T1=1800	SAT (TO) f=0 TT=1800.33 T1=0.94	OPT f=0 TT=14.577 T1=1.02	OPT f=0 TT=6.935 T1=0.51
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-sc50a.opb	OPT f=-60000 TT=5.961 T1=3.08	? (TO) f=-60000 TT=1800.06 T1=1457.44	OPT f=-60000 TT=765.874 T1=765.84	SAT (TO) f=-30000 TT=1800.23 T1=368.41	OPT f=-60000 TT=11.999 T1=4.37	OPT f=-60000 TT=5.961 T1=3.08
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-sc50b.opb	OPT f=-70000 TT=42.872 T1=38.56	? (TO) f=-60000 TT=1800.05 T1=612.1	? (TO) f=-70000 TT=1800.06 T1=1800	SAT (TO) f=0 TT=1800.3 T1=1.31	OPT f=-70000 TT=78.124 T1=38.56	OPT f=-70000 TT=42.872 T1=41.34
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-scagr25.opb	UNSAT TT=0.407	UNSAT TT=0.407	UNSAT TT=0.409	UNSAT TT=1.327	UNSAT TT=1.879	UNSAT TT=1.074
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-scagr7.opb	UNSAT TT=0.114	UNSAT TT=0.116	UNSAT TT=0.114	UNSAT TT=0.884	UNSAT TT=1.511	UNSAT TT=0.808
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-scfxm1.opb	UNSAT TT=0.503	UNSAT TT=0.503	UNSAT TT=0.505	UNSAT TT=1.41	UNSAT TT=1.978	UNSAT TT=1.008
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-scfxm2.opb	UNSAT TT=1.013	UNSAT TT=1.016	UNSAT TT=1.013	UNSAT TT=1.405	UNSAT TT=2.054	UNSAT TT=1.133
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-scfxm3.opb	UNSAT TT=1.381	UNSAT TT=1.525	UNSAT TT=1.52	UNSAT TT=1.656	UNSAT TT=2.059	UNSAT TT=1.381
Bench name	Best results	MinisatID 2.4.8-gmp [DEPRECATED] (complete)	MinisatID 2.5.2-gmp (fixed) (complete)	Sat4j CuttingPlanes 2.3.0 (complete)	Sat4j Res//CP 2.3.0 (complete)	Sat4j Resolution 2.3.0 (complete)
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-scorpion.opb		? (TO) TT=1800.07	? (TO) TT=1800.08	? (TO) TT=1800.26	? (TO) TT=1800.23	? (TO) TT=1800.07
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-scrs8.opb		? (TO) TT=1800.09	? (TO) TT=1800.04	? (TO) TT=1800.26	? (TO) TT=1800.31	? (TO) TT=1800.16
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-scsd1.opb		? (TO) TT=1800.06	? (TO) TT=1800.06	? (TO) TT=1800.23	? (TO) TT=1800.37	? (TO) TT=1800.11
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-scsd6.opb		? (TO) TT=1800.05	? (TO) TT=1800.07	? (TO) TT=1800.26	? (TO) TT=1800.41	? (TO) TT=1800.15
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-scsd8.opb		? (TO) TT=1800.03	? (TO) TT=1800.06	? (TO) TT=1800.2	? (TO) TT=1800.34	? (TO) TT=1800.1
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-sctap1.opb	SAT f=135203984 TT=1800.16 T1=1651.48	? (TO) f=2774885327 TT=1800.05 T1=1798.44	? (TO) f=3265917775 TT=1800.1 T1=1800	SAT (TO) f=1847695064 TT=1800.29 T1=960.3	SAT (TO) f=338550495 TT=1800.48 T1=877.61	SAT (TO) f=135203984 TT=1800.16 T1=1651.48
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-sctap2.opb	SAT f=19446644 TT=1800.25 T1=661.98	? (TO) f=36126106901 TT=1800.12 T1=1799.41	? (TO) f=17666040056 TT=1800.08 T1=1800	SAT (TO) f=22335455691 TT=1800.33 T1=1155.05	SAT (TO) f=19446644 TT=1800.59 T1=769.59	SAT (TO) f=19446644 TT=1800.25 T1=661.98
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-sctap3.opb	SAT f=8708770019 TT=1800.27 T1=962.39	? (TO) f=20049069808 TT=1800.08 T1=1798.39	? (TO) f=35437586754 TT=1800.1 T1=1800	SAT (TO) f=371758544159 TT=1800.33 T1=1153.24	SAT (TO) f=10906784787 TT=1800.39 T1=605.17	SAT (TO) f=8708770019 TT=1800.27 T1=962.39
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-seba.opb	SAT f=20367073880 TT=1800.37 T1=39.89	? (TO) TT=1800.06	? (TO) TT=1800.06	? (TO) TT=1800.19	SAT (TO) f=20367073880 TT=1800.37 T1=42.58	SAT (TO) f=20367073880 TT=1800.63 T1=39.89
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-share1b.opb	UNSAT TT=0.285	UNSAT TT=0.289	UNSAT TT=0.285	UNSAT TT=1.077	UNSAT TT=1.546	UNSAT TT=0.829
Bench name	Best results	MinisatID 2.4.8-gmp [DEPRECATED] (complete)	MinisatID 2.5.2-gmp (fixed) (complete)	Sat4j CuttingPlanes 2.3.0 (complete)	Sat4j Res//CP 2.3.0 (complete)	Sat4j Resolution 2.3.0 (complete)
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-share2b.opb	SAT f=-42278850 TT=1800.31 T1=620.92	? (TO) TT=1800.07	? (TO) TT=1800.07	SAT (TO) f=-42278850 TT=1800.31 T1=620.92	SAT (TO) f=-42278850 TT=1800.44 T1=727.51	? (TO) TT=1800.08
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-shell.opb		? (TO) TT=1800.08	? (TO) TT=1800.07	? (TO) TT=1800.22	? (TO) TT=1800.31	? (TO) TT=1800.09
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-ship04l.opb	UNSAT TT=1.459	UNSAT TT=9.655	UNSAT TT=9.406	UNSAT TT=1.532	UNSAT TT=1.802	UNSAT TT=1.459
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-ship04s.opb	UNSAT TT=0.77	UNSAT TT=0.986	UNSAT TT=0.985	UNSAT TT=0.77	UNSAT TT=0.915	UNSAT TT=0.775
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-ship08l.opb	UNSAT TT=2.069	UNSAT TT=21.603	UNSAT TT=20.954	UNSAT TT=2.214	UNSAT TT=2.73	UNSAT TT=2.069
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-ship08s.opb	UNSAT TT=1.609	UNSAT TT=1.837	UNSAT TT=1.832	UNSAT TT=1.944	UNSAT TT=2.38	UNSAT TT=1.609
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-ship12l.opb	UNSAT TT=1.569	UNSAT TT=3.882	UNSAT TT=3.878	UNSAT TT=1.645	UNSAT TT=1.926	UNSAT TT=1.569
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-ship12s.opb	UNSAT TT=1.151	UNSAT TT=1.953	UNSAT TT=2.181	UNSAT TT=1.468	UNSAT TT=1.706	UNSAT TT=1.151
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-sierra.opb		? (TO) TT=1800.08	? (TO) TT=1800.06	? (TO) TT=1800.19	? (TO) TT=1800.22	? (TO) TT=1800.09
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-stair.opb	UNSAT TT=5.658	UNSAT TT=160.972	UNSAT TT=114.62	UNSAT TT=1151.95	UNSAT TT=10.567	UNSAT TT=5.658
Bench name	Best results	MinisatID 2.4.8-gmp [DEPRECATED] (complete)	MinisatID 2.5.2-gmp (fixed) (complete)	Sat4j CuttingPlanes 2.3.0 (complete)	Sat4j Res//CP 2.3.0 (complete)	Sat4j Resolution 2.3.0 (complete)
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-standata.opb		? (TO) TT=1800.07	? (TO) TT=1800.08	? (TO) TT=1800.2	? (TO) TT=1800.38	? (TO) TT=1800.06
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-standgub.opb		? (TO) TT=1800.06	? (TO) TT=1800.07	? (TO) TT=1800.22	? (TO) TT=1800.4	? (TO) TT=1800.16
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-stocfor1.opb	UNSAT TT=0.089	UNSAT TT=0.089	UNSAT TT=0.09	UNSAT TT=0.802	UNSAT TT=1.392	UNSAT TT=0.721
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-stocfor2.opb	UNSAT TT=1.539	UNSAT TT=2.084	UNSAT TT=2.082	UNSAT TT=2.064	UNSAT TT=2.523	UNSAT TT=1.539
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.07	? (TO) TT=1800.22	? (TO) TT=1800.33	? (TO) TT=1800.13
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-vtp.base.opb		? (TO) TT=1800.05	? (TO) TT=1800.06	? (TO) TT=1800.26	? (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-wood1p.opb		? (TO) TT=1800.15	? (TO) TT=1800.11	? (TO) TT=1800.21	? (TO) TT=1800.3	? (TO) TT=1800.12
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-woodw.opb	UNSAT TT=8.375	UNSAT TT=9.824	UNSAT TT=8.617	UNSAT TT=9.847	UNSAT TT=15.78	UNSAT TT=8.375
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-a1c1s1.opb		? (TO) TT=1800.04	? (TO) TT=1800.07	? (TO) TT=1800.31	? (TO) TT=1800.43	? (TO) TT=1800.08
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-arki001.opb	UNSAT TT=1.759	? (TO) TT=1800.03	? (TO) TT=1800.04	UNSAT TT=1.759	UNSAT TT=2.542	? (TO) TT=1800.11
Bench name	Best results	MinisatID 2.4.8-gmp [DEPRECATED] (complete)	MinisatID 2.5.2-gmp (fixed) (complete)	Sat4j CuttingPlanes 2.3.0 (complete)	Sat4j Res//CP 2.3.0 (complete)	Sat4j Resolution 2.3.0 (complete)
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-atlanta-ip.opb	SAT f=10801248507480 TT=1800.46 T1=181.13	? (TO) f=18602940828733 TT=1800.11 T1=1706.59	? (TO) f=16803009595380 TT=1800.12 T1=1800	SAT (TO) f=10801460580757 TT=1800.36 T1=88.5	SAT (TO) f=10801248507480 TT=1800.46 T1=248.49	SAT (TO) f=10801248507480 TT=1800.48 T1=181.13
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-dano3mip.opb		? (TO) TT=1800.13	? (TO) TT=1800.14	? (TO) TT=1800.24	? (TO) TT=1800.36	? (TO) TT=1800.25
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-danoint.opb		? (TO) TT=1800.06	? (TO) TT=1800.06	? (TO) TT=1800.23	? (TO) TT=1800.28	? (TO) TT=1800.13
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-ds.opb	SAT f=718416 TT=1801.05 T1=1794.39	? (TO) f=1623943 TT=1800.85 T1=1136.16	? (TO) f=1623943 TT=1800.92 T1=1800.1	? (TO) TT=1800.28	SAT (TO) f=798932 TT=1802.67 T1=1030.92	SAT (TO) f=718416 TT=1801.05 T1=1794.39
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-fiber.opb	SAT f=44130855 TT=1800.13 T1=1635.47	? (TO) f=412651891 TT=1800.06 T1=367.39	? (TO) f=585472890 TT=1800.06 T1=1800	SAT (TO) f=85906480 TT=1800.25 T1=43.47	SAT (TO) f=56226278 TT=1800.41 T1=493.18	SAT (TO) f=44130855 TT=1800.13 T1=1635.47
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-fixnet6.opb	SAT f=12929973 TT=1800.19 T1=20	? (TO) TT=1800.07	? (TO) TT=1800.09	SAT (TO) f=42577045 TT=1800.44 T1=63.99	SAT (TO) f=12929973 TT=1800.53 T1=24.63	SAT (TO) f=12929973 TT=1800.19 T1=20
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-gesa2-o.opb		? (TO) TT=1800.11	? (TO) TT=1800.06	? (TO) TT=1800.19	? (TO) TT=1800.56	? (TO) TT=1800.09
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-gesa2.opb	SAT f=5574113470601 TT=1800.2 T1=62.91	? (TO) f=7548196547263 TT=1800.11 T1=1798.06	? (TO) f=6154606596980 TT=1800.06 T1=1800	? (TO) TT=1800.31	SAT (TO) f=5574113470601 TT=1800.5 T1=68.62	SAT (TO) f=5574113470601 TT=1800.2 T1=62.91
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-glass4.opb	OPT f=1228810444800 TT=13.899 T1=12.61	? (TO) f=2228239019842 TT=1800.09 T1=1734.26	? (TO) f=2227985682898 TT=1800.05 T1=1800	SAT (TO) f=3080210533593 TT=1800.29 T1=1509.85	OPT f=1228810444800 TT=28.827 T1=19.83	OPT f=1228810444800 TT=13.899 T1=12.61
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-harp2.opb	SAT f=-68638685 TT=1800.24 T1=0.94	? (TO) f=-59727272 TT=1800.08 T1=1564.07	? (TO) f=-63389307 TT=1800.07 T1=1800	SAT (TO) f=-68638685 TT=1800.24 T1=0.94	SAT (TO) f=-68638685 TT=1800.39 T1=1.31	SAT (TO) f=-65450908 TT=1800.13 T1=0.44
Bench name	Best results	MinisatID 2.4.8-gmp [DEPRECATED] (complete)	MinisatID 2.5.2-gmp (fixed) (complete)	Sat4j CuttingPlanes 2.3.0 (complete)	Sat4j Res//CP 2.3.0 (complete)	Sat4j Resolution 2.3.0 (complete)
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-liu.opb	SAT f=8388608 TT=1800.11 T1=1683.37	? (TO) f=1617920 TT=1800.05 T1=1479.17	? (TO) f=1506240 TT=1800.04 T1=1800	? (TO) TT=1800.27	SAT (TO) f=8552448 TT=1800.58 T1=985.04	SAT (TO) f=8388608 TT=1800.11 T1=1683.37
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-markshare1.opb	SAT f=12288 TT=1800.16 T1=1001.33	? (TO) f=23552 TT=1800.05 T1=1328.72	? (TO) f=26624 TT=1800.05 T1=1800	SAT (TO) f=272384 TT=1800.19 T1=7.53	SAT (TO) f=14336 TT=1800.18 T1=999.72	SAT (TO) f=12288 TT=1800.16 T1=1001.33
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-markshare2.opb	SAT f=20480 TT=1800.14 T1=1602.29	? (TO) f=44032 TT=1800.07 T1=852.35	? (TO) f=48128 TT=1800.04 T1=1800	SAT (TO) f=316416 TT=1800.74 T1=8.02	SAT (TO) f=47104 TT=1800.23 T1=473.03	SAT (TO) f=20480 TT=1800.14 T1=1602.29
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-mas74.opb	SAT f=55705600640 TT=1800.17 T1=142.13	? (TO) f=109429869390 TT=1800.06 T1=1597.07	? (TO) f=119795181890 TT=1800.05 T1=1800	SAT (TO) f=3200000000000000576 TT=1800.34 T1=952.68	SAT (TO) f=55705600640 TT=1801.08 T1=161.4	SAT (TO) f=55705600640 TT=1800.17 T1=142.13
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-mas76.opb	SAT f=142336000480 TT=1800.11 T1=1323.33	? (TO) f=190121031730 TT=1800.03 T1=407.25	? (TO) f=179077184855 TT=1800.07 T1=1800	SAT (TO) f=209715194230 TT=1800.24 T1=96.31	SAT (TO) f=150419200480 TT=1800.18 T1=611.35	SAT (TO) f=142336000480 TT=1800.11 T1=1323.33
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-misc07.opb	SAT f=1076618240 TT=1800.15 T1=13.9	? (TO) f=1076807680 TT=1800.05 T1=698.45	? (TO) f=1076618240 TT=1800.01 T1=1800	SAT (TO) f=1076618240 TT=1800.27 T1=371.71	SAT (TO) f=1076618240 TT=1800.21 T1=13.9	SAT (TO) f=1076618240 TT=1800.15 T1=161.5
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-mkc.opb		? (TO) f=-23750 TT=1800.08 T1=998.37	? (TO) f=0 TT=1800.08 T1=1800	? (TO) TT=1800.16	? (TO) TT=1800.32	? (TO) TT=1800.14
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-mod011.opb		? (TO) f=0 TT=1800.15 T1=31.4	? (TO) f=0 TT=1800.16 T1=1800	? (TO) TT=1800.24	? (TO) TT=1800.32	? (TO) TT=1800.19
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-modglob.opb		? (TO) TT=1800.06	? (TO) TT=1800.06	? (TO) TT=1800.25	? (TO) TT=1800.31	? (TO) TT=1800.11
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-momentum1.opb	UNSAT TT=2.341	UNSAT TT=3.632	UNSAT TT=3.264	UNSAT TT=2.341	UNSAT TT=3.054	UNSAT TT=2.458
Bench name	Best results	MinisatID 2.4.8-gmp [DEPRECATED] (complete)	MinisatID 2.5.2-gmp (fixed) (complete)	Sat4j CuttingPlanes 2.3.0 (complete)	Sat4j Res//CP 2.3.0 (complete)	Sat4j Resolution 2.3.0 (complete)
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-momentum2.opb	UNSAT TT=9	UNSAT TT=34.488	UNSAT TT=28.974	UNSAT TT=9	UNSAT TT=12.404	UNSAT TT=9.355
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-momentum3.opb	OPT f=10752000000 TT=101.743 T1=43.45	? (TO) TT=1800.32	? (TO) TT=1800.32	SAT (TO) f=10752000000 TT=1800.37 T1=98.04	OPT f=10752000000 TT=427.363 T1=49.35	OPT f=10752000000 TT=101.743 T1=43.45
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-msc98-ip.opb	SAT f=1992918100727955658 TT=1800.41 T1=1123.57	? (TO) f=3013030201743955653 TT=1800.09 T1=1703.57	? (TO) f=3031698002219159410 TT=1800.05 T1=1800	SAT (TO) f=1992918100727955658 TT=1800.41 T1=1123.57	SAT (TO) f=2485738000820421954 TT=1800.37 T1=843.35	SAT (TO) f=2548932000787082241 TT=1800.32 T1=742.73
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-noswot.opb	OPT f=-41 TT=106.148 T1=0.56	? (TO) f=-41 TT=1800.04 T1=89.32	? (TO) f=-41 TT=1800.05 T1=1800	SAT (TO) f=-41 TT=1800.24 T1=0.91	OPT f=-41 TT=207.194 T1=3.52	OPT f=-41 TT=106.148 T1=0.56
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-nsrand-ipx.opb	SAT f=1207959552 TT=1800.37 T1=64.44	? (TO) f=1224736768 TT=1800.05 T1=1.99	? (TO) f=1191182336 TT=1800.04 T1=1800	SAT (TO) f=2147418063 TT=1800.3 T1=1795.91	SAT (TO) f=1207959552 TT=1800.37 T1=64.44	? (TO) TT=1800.13
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-pk1.opb	SAT f=48128 TT=1800.1 T1=1746.44	? (TO) f=30976 TT=1800.09 T1=657.32	? (TO) f=28672 TT=1800.06 T1=1800	? (TO) TT=1800.29	SAT (TO) f=51200 TT=1800.33 T1=633.83	SAT (TO) f=48128 TT=1800.1 T1=1746.44
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-pp08aCUTS.opb		? (TO) TT=1800.08	? (TO) TT=1800.04	? (TO) TT=1800.27	? (TO) TT=1800.48	? (TO) TT=1800.09
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-pp08a.opb		? (TO) TT=1800.06	? (TO) TT=1800.04	? (TO) TT=1800.25	? (TO) TT=1800.21	? (TO) TT=1800.1
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-qiu.opb		? (TO) TT=1800.07	? (TO) TT=1800.06	? (TO) TT=1800.25	? (TO) TT=1800.27	? (TO) TT=1800.08
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-rd-rplusc-21.opb	UNSAT TT=18.879	UNSAT TT=60.924	UNSAT TT=68.864	UNSAT TT=22.678	UNSAT TT=27.793	UNSAT TT=18.879
Bench name	Best results	MinisatID 2.4.8-gmp [DEPRECATED] (complete)	MinisatID 2.5.2-gmp (fixed) (complete)	Sat4j CuttingPlanes 2.3.0 (complete)	Sat4j Res//CP 2.3.0 (complete)	Sat4j Resolution 2.3.0 (complete)
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-roll3000.opb		? (TO) TT=1800.06	? (TO) TT=1800.05	? (TO) TT=1800.26	? (TO) TT=1800.37	? (TO) TT=1800.14
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-rout.opb	SAT f=1074997504 TT=1800.41 T1=670.73	? (TO) TT=1800.09	? (TO) f=1075130368 TT=1800.05 T1=1800	SAT (TO) f=1075218944 TT=1800.26 T1=273.2	SAT (TO) f=1074997504 TT=1800.41 T1=670.73	SAT (TO) f=1075010816 TT=1800.18 T1=1308.56
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-set1ch.opb	SAT f=346220156 TT=1800.22 T1=1044.84	? (TO) f=1362974652 TT=1800.07 T1=1793.76	? (TO) f=730138248 TT=1800.07 T1=1800	SAT (TO) f=64837557142 TT=1800.36 T1=2.38	SAT (TO) f=406903717 TT=1800.41 T1=713.53	SAT (TO) f=346220156 TT=1800.22 T1=1044.84
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-sp97ar.opb	SAT f=43990864208 TT=1800.47 T1=80.1	? (TO) f=72635898096 TT=1800.23 T1=1788.81	? (TO) f=72999318659 TT=1800.23 T1=1800	SAT (TO) f=44201940720 TT=1800.49 T1=538.35	SAT (TO) f=43990864208 TT=1800.81 T1=80.1	SAT (TO) f=43990864208 TT=1800.47 T1=83.18
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-stp3d.opb		? (TO) TT=1800.09	? (TO) TT=1800.08	? (TO) TT=1800.22	? (TO) TT=1800.77	? (TO) TT=1800.35
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-swath.opb		? (TO) TT=1800.06	? (TO) TT=1800.06	? (TO) TT=1800.29	? (TO) TT=1800.4	? (TO) TT=1800.09
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-timtab1.opb		? (TO) TT=1800.06	? (TO) TT=1800.06	? (TO) TT=1800.22	? (TO) TT=1800.22	? (TO) TT=1800.14
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-timtab2.opb	SAT f=163211427599935262 TT=1800.2 T1=278.07	? (TO) TT=1800.08	? (TO) TT=1800.05	? (TO) TT=1800.3	SAT (TO) f=163211427599935262 TT=1800.95 T1=393.85	SAT (TO) f=163211427599935262 TT=1800.2 T1=278.07
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-tr12-30.opb		? (TO) TT=1800.07	? (TO) TT=1800.08	? (TO) TT=1800.27	? (TO) TT=1800.35	? (TO) TT=1800.11
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-van.opb	SAT f=24193312742 TT=1800.44 T1=122.45	? (TO) f=44339307449 TT=1800.22 T1=1270.75	? (TO) f=41987433606 TT=1800.24 T1=1800	SAT (TO) f=24193312742 TT=1800.44 T1=468.81	SAT (TO) f=24193312742 TT=1800.67 T1=139.04	SAT (TO) f=24193312742 TT=1800.44 T1=122.45
Bench name	Best results	MinisatID 2.4.8-gmp [DEPRECATED] (complete)	MinisatID 2.5.2-gmp (fixed) (complete)	Sat4j CuttingPlanes 2.3.0 (complete)	Sat4j Res//CP 2.3.0 (complete)	Sat4j Resolution 2.3.0 (complete)
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib3/ normalized-mps-v2-20-10-blend2.opb	SAT f=32604642 TT=1800.16 T1=514.9	? (TO) TT=1800.05	? (TO) TT=1800.05	? (TO) TT=1800.28	SAT (TO) f=32604642 TT=1800.42 T1=514.9	SAT (TO) f=32604642 TT=1800.16 T1=644.08
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib3/ normalized-mps-v2-20-10-gesa3_o.opb		? (TO) TT=1800.05	? (TO) TT=1800.07	? (TO) TT=1800.22	? (TO) TT=1800.2	? (TO) TT=1800.07
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib3/ normalized-mps-v2-20-10-gesa3.opb	SAT f=5935263604926 TT=1800.18 T1=2.67	? (TO) f=5627106429338 TT=1800.07 T1=491.28	? (TO) f=5524086826102 TT=1800.09 T1=1800	? (TO) TT=1800.28	SAT (TO) f=5935263604926 TT=1800.52 T1=3.23	SAT (TO) f=5935263604926 TT=1800.18 T1=2.67
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib3/ normalized-mps-v2-20-10-qnet1_o.opb	UNSAT TT=1.256	UNSAT TT=7.016	UNSAT TT=5.44	UNSAT TT=1.821	UNSAT TT=2.671	UNSAT TT=1.256
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib3/ normalized-mps-v2-20-10-qnet1.opb	UNSAT TT=1.318	UNSAT TT=17.634	UNSAT TT=6.631	UNSAT TT=29.143	UNSAT TT=3.061	UNSAT TT=1.318
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-bell3a.opb	SAT f=116073746745975 TT=1800.17 T1=0.56	? (TO) f=229530041397475 TT=1800.07 T1=1453.57	? (TO) f=193633113446450 TT=1800.05 T1=1800	SAT (TO) f=180773664521500 TT=1800.21 T1=57.54	SAT (TO) f=116073746745975 TT=1800.38 T1=56.53	SAT (TO) f=116073746745975 TT=1800.17 T1=0.56
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-bell3b.opb	SAT f=1265128350646840 TT=1800.15 T1=4.13	? (TO) f=1472116690340080 TT=1800.08 T1=1512.11	? (TO) f=1546374350668490 TT=1800.05 T1=1800	SAT (TO) f=1299937030872100 TT=1800.26 T1=36.76	SAT (TO) f=1265128350646840 TT=1800.3 T1=5.88	SAT (TO) f=1265128350646840 TT=1800.15 T1=4.13
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-bell4.opb	SAT f=195364307577754 TT=1800.25 T1=715.57	? (TO) f=225276596669762 TT=1800.12 T1=1000.04	? (TO) f=222741611310476 TT=1800.05 T1=1800	SAT (TO) f=195364307577754 TT=1800.25 T1=715.57	SAT (TO) f=195741173432400 TT=1800.26 T1=3.9	SAT (TO) f=195741173432400 TT=1800.12 T1=3.1
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-bell5.opb	SAT f=938830260671609 TT=1800.25 T1=11.4	? (TO) f=1078831644959314 TT=1800.08 T1=499.86	? (TO) f=1011153858800445 TT=1800.07 T1=1800	SAT (TO) f=938830260671609 TT=1800.25 T1=11.4	SAT (TO) f=945851791986352 TT=1800.35 T1=6.95	SAT (TO) f=950778594400141 TT=1800.14 T1=0.64
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-dcmulti.opb		? (TO) TT=1800.05	? (TO) TT=1800.07	? (TO) TT=1800.33	? (TO) TT=1800.39	? (TO) TT=1800.15
Bench name	Best results	MinisatID 2.4.8-gmp [DEPRECATED] (complete)	MinisatID 2.5.2-gmp (fixed) (complete)	Sat4j CuttingPlanes 2.3.0 (complete)	Sat4j Res//CP 2.3.0 (complete)	Sat4j Resolution 2.3.0 (complete)
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-egout.opb	OPT f=471047168 TT=99.273 T1=55.81	? (TO) f=471047168 TT=1800.05 T1=767.4	OPT f=471047168 TT=649.65 T1=649.63	SAT (TO) f=492900352 TT=1800.35 T1=21.36	OPT f=471047168 TT=114.965 T1=55.81	OPT f=471047168 TT=99.273 T1=96.84
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-fixnet3.opb	SAT f=95999572 TT=1800.21 T1=375.61	? (TO) TT=1800.05	? (TO) TT=1800.05	? (TO) TT=1800.36	SAT (TO) f=95999572 TT=1800.54 T1=379.38	SAT (TO) f=95999572 TT=1800.21 T1=375.61
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-fixnet4.opb	SAT f=28594005 TT=1800.25 T1=1089.46	? (TO) TT=1800.08	? (TO) TT=1800.04	? (TO) TT=1800.3	SAT (TO) f=31696960 TT=1800.61 T1=235.7	SAT (TO) f=28594005 TT=1800.25 T1=1089.46
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-flugpl.opb	OPT f=14745600 TT=0.449 T1=0.23	OPT f=14745600 TT=1.038 T1=0.31	OPT f=14745600 TT=0.48 T1=0.48	OPT f=14745600 TT=2.006 T1=0.51	OPT f=14745600 TT=2.144 T1=2.69	OPT f=14745600 TT=0.449 T1=0.23
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-gen.opb	SAT f=59305531867146 TT=1800.27 T1=2.69	? (TO) f=65815950801334 TT=1800.11 T1=1771.38	? (TO) f=67466154677066 TT=1800.04 T1=1800	SAT (TO) f=65264315763332 TT=1800.41 T1=146.06	SAT (TO) f=60029880669207 TT=1800.45 T1=76.22	SAT (TO) f=59305531867146 TT=1800.27 T1=2.69
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-khb05250.opb	SAT f=221745263617 TT=1800.33 T1=425.12	? (TO) TT=1800.06	? (TO) TT=1800.08	SAT (TO) f=253571972295 TT=1800.38 T1=478.46	SAT (TO) f=221745263617 TT=1800.33 T1=425.12	SAT (TO) f=305071565049 TT=1800.2 T1=129.31
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-misc01.opb	OPT f=1074317824 TT=0.396 T1=0.28	OPT f=1074317824 TT=14.293 T1=1.2	OPT f=1074317824 TT=0.396 T1=0.39	OPT f=1074317824 TT=6.062 T1=3.19	OPT f=1074317824 TT=1.879 T1=0.66	OPT f=1074317824 TT=0.782 T1=0.28
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-misc02.opb	OPT f=1075471360 TT=0.197 T1=0.18	OPT f=1075471360 TT=1.465 T1=0.18	OPT f=1075471360 TT=0.197 T1=0.19	OPT f=1075471360 TT=2.462 T1=1.15	OPT f=1075471360 TT=1.765 T1=1.66	OPT f=1075471360 TT=0.785 T1=0.37
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-misc03.opb	OPT f=1077181440 TT=2.153 T1=0.51	OPT f=1077181440 TT=1335.7 T1=28.06	OPT f=1077181440 TT=10.625 T1=10.62	OPT f=1077181440 TT=31.572 T1=5.97	OPT f=1077181440 TT=5.171 T1=2.22	OPT f=1077181440 TT=2.153 T1=0.51
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-misc04.opb		? (TO) TT=1800.08	? (TO) TT=1800.1	? (TO) TT=1800.2	? (TO) TT=1800.29	? (TO) TT=1800.18
Bench name	Best results	MinisatID 2.4.8-gmp [DEPRECATED] (complete)	MinisatID 2.5.2-gmp (fixed) (complete)	Sat4j CuttingPlanes 2.3.0 (complete)	Sat4j Res//CP 2.3.0 (complete)	Sat4j Resolution 2.3.0 (complete)
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-misc05.opb	OPT f=1076796928 TT=315.758 T1=12	? (TO) f=1076796928 TT=1800.07 T1=313.2	? (TO) f=1076796928 TT=1800.06 T1=1800	SAT (TO) f=1076914176 TT=1801.28 T1=8.3	OPT f=1076796928 TT=636.687 T1=12.44	OPT f=1076796928 TT=315.758 T1=12
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-misc06.opb		? (TO) TT=1800.08	? (TO) TT=1800.04	? (TO) TT=1800.18	? (TO) TT=1800.34	? (TO) TT=1800.12
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-mod013.opb	SAT f=29347840 TT=1800.29 T1=458.6	? (TO) f=50055277 TT=1800.06 T1=1770.84	? (TO) f=49780948 TT=1800.05 T1=1800	SAT (TO) f=33049600 TT=1800.23 T1=1.29	SAT (TO) f=29347840 TT=1800.29 T1=458.6	SAT (TO) f=30177280 TT=1800.1 T1=536.56
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-rgn.opb		? (TO) f=5795208 TT=1800.05 T1=1106.7	? (TO) TT=1800.07	? (TO) TT=1800.24	? (TO) TT=1800.31	? (TO) TT=1800.12
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-sample2.opb	OPT f=384000 TT=1.959 T1=0.34	OPT f=384000 TT=60.541 T1=52.78	OPT f=384000 TT=68.106 T1=68.1	OPT f=384000 TT=410.262 T1=12.95	OPT f=384000 TT=4.035 T1=1.32	OPT f=384000 TT=1.959 T1=0.34
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-set1al.opb	SAT f=137449248 TT=1800.23 T1=1291.21	? (TO) f=727120285 TT=1800.06 T1=1060.28	? (TO) f=450631297 TT=1800.08 T1=1800	? (TO) TT=1800.29	SAT (TO) f=152401392 TT=1800.87 T1=895.59	SAT (TO) f=137449248 TT=1800.23 T1=1291.21
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-set1cl.opb	SAT f=27651072 TT=1800.23 T1=1.61	? (TO) f=272213406 TT=1800.06 T1=174.7	? (TO) f=194034005 TT=1800.07 T1=1800	? (TO) TT=1800.33	SAT (TO) f=27651072 TT=1800.33 T1=6.66	SAT (TO) f=27651072 TT=1800.23 T1=1.61
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ fctp/normalized-mps-v2-20-10-bal8x12.opb	SAT f=84092608 TT=1800.11 T1=533.88	? (TO) f=150239210 TT=1800.12 T1=1632.75	? (TO) f=154284735 TT=1800.05 T1=1800	SAT (TO) f=129269660 TT=1800.32 T1=25.22	SAT (TO) f=84092608 TT=1800.23 T1=549.93	SAT (TO) f=84092608 TT=1800.11 T1=533.88
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-bk4x3.opb	OPT f=358400 TT=1.517 T1=0.79	OPT f=358400 TT=45.494 T1=18.04	OPT f=358400 TT=16.859 T1=16.85	OPT f=358400 TT=761.089 T1=494.2	OPT f=358400 TT=14.055 T1=16.8	OPT f=358400 TT=1.517 T1=0.79
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-gr4x6.opb	OPT f=20720640 TT=156.005 T1=20.95	? (TO) f=20720640 TT=1800.04 T1=1287.25	OPT f=20720640 TT=1579.47 T1=1579.42	SAT (TO) f=21145600 TT=1800.26 T1=91.03	OPT f=20720640 TT=318.591 T1=22.85	OPT f=20720640 TT=156.005 T1=20.95
Bench name	Best results	MinisatID 2.4.8-gmp [DEPRECATED] (complete)	MinisatID 2.5.2-gmp (fixed) (complete)	Sat4j CuttingPlanes 2.3.0 (complete)	Sat4j Res//CP 2.3.0 (complete)	Sat4j Resolution 2.3.0 (complete)
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n3700.opb		? (TO) TT=1800.11	? (TO) TT=1800.1	? (TO) TT=1800.17	? (TO) TT=1800.44	? (TO) TT=1800.19
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n3701.opb		? (TO) TT=1800.06	? (TO) TT=1800.09	? (TO) TT=1800.23	? (TO) TT=1800.44	? (TO) TT=1800.15
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n3702.opb		? (TO) TT=1800.13	? (TO) TT=1800.14	? (TO) TT=1800.24	? (TO) TT=1800.42	? (TO) TT=1800.1
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n3703.opb		? (TO) TT=1800.11	? (TO) TT=1800.07	? (TO) TT=1800.22	? (TO) TT=1800.39	? (TO) TT=1800.15
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n3704.opb		? (TO) TT=1800.08	? (TO) TT=1800.11	? (TO) TT=1800.17	? (TO) TT=1800.27	? (TO) TT=1800.17
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n3705.opb	SAT f=5066649219 TT=1800.25 T1=1756.93	? (TO) TT=1800.06	? (TO) TT=1800.07	? (TO) TT=1800.26	? (TO) TT=1800.37	SAT (TO) f=5066649219 TT=1800.25 T1=1756.93
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n3706.opb	SAT f=13191003636 TT=1800.3 T1=1022.4	? (TO) TT=1800.07	? (TO) TT=1800.14	? (TO) TT=1800.19	? (TO) TT=1800.39	SAT (TO) f=13191003636 TT=1800.3 T1=1022.4
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n3707.opb		? (TO) TT=1800.08	? (TO) TT=1800.07	? (TO) TT=1800.33	? (TO) TT=1800.36	? (TO) TT=1800.12
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n3708.opb	SAT f=13264865571 TT=1800.33 T1=886.23	? (TO) TT=1800.07	? (TO) TT=1800.08	? (TO) TT=1800.23	? (TO) TT=1800.4	SAT (TO) f=13264865571 TT=1800.33 T1=886.23
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n3709.opb	SAT f=11941266144 TT=1800.28 T1=1679.68	? (TO) TT=1800.08	? (TO) TT=1800.09	? (TO) TT=1800.26	SAT (TO) f=16231720446 TT=1800.52 T1=769.29	SAT (TO) f=11941266144 TT=1800.28 T1=1679.68
Bench name	Best results	MinisatID 2.4.8-gmp [DEPRECATED] (complete)	MinisatID 2.5.2-gmp (fixed) (complete)	Sat4j CuttingPlanes 2.3.0 (complete)	Sat4j Res//CP 2.3.0 (complete)	Sat4j Resolution 2.3.0 (complete)
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n370a.opb	SAT f=12036205319 TT=1800.3 T1=1142.06	? (TO) TT=1800.12	? (TO) TT=1800.13	? (TO) TT=1800.29	SAT (TO) f=14718324449 TT=1800.5 T1=291.94	SAT (TO) f=12036205319 TT=1800.3 T1=1142.06
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n370b.opb	SAT f=13189922733 TT=1800.35 T1=558.1	? (TO) TT=1800.08	? (TO) TT=1800.09	? (TO) TT=1800.18	SAT (TO) f=13189922733 TT=1800.66 T1=597.18	SAT (TO) f=13189922733 TT=1800.35 T1=558.1
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n370c.opb	SAT f=11196503179 TT=1800.38 T1=699.16	? (TO) TT=1800.08	? (TO) TT=1800.1	? (TO) TT=1800.22	SAT (TO) f=11196503179 TT=1800.44 T1=796.31	SAT (TO) f=11196503179 TT=1800.38 T1=699.16
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n370e.opb	SAT f=13248230049 TT=1800.33 T1=1009.66	? (TO) TT=1800.1	? (TO) TT=1800.07	? (TO) TT=1800.24	? (TO) TT=1800.46	SAT (TO) f=13248230049 TT=1800.33 T1=1009.66
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.19 T1=1.37	? (TO) f=4099976 TT=1800.06 T1=1747.39	? (TO) f=4217280 TT=1800.07 T1=1800	SAT (TO) f=1751040 TT=1800.27 T1=17.41	SAT (TO) f=1751040 TT=1800.29 T1=4.13	SAT (TO) f=1751040 TT=1800.19 T1=1.37
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-ran10x10b.opb	SAT f=3729408 TT=1800.23 T1=116.52	? (TO) f=7434274 TT=1800.06 T1=1748.78	? (TO) f=7478673 TT=1800.08 T1=1800	SAT (TO) f=3729408 TT=1800.28 T1=225.49	SAT (TO) f=3729408 TT=1800.23 T1=116.52	SAT (TO) f=3939328 TT=1800.16 T1=487.85
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-ran10x10c.opb	SAT f=15246336 TT=1800.24 T1=184.1	? (TO) f=22076097 TT=1800.08 T1=1798.52	? (TO) f=25934907 TT=1800.05 T1=1800	SAT (TO) f=15246336 TT=1800.3 T1=184.1	SAT (TO) f=15246336 TT=1800.24 T1=189.06	SAT (TO) f=15595520 TT=1800.13 T1=0.4
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-ran10x12.opb	SAT f=3243008 TT=1800.23 T1=7.39	? (TO) f=7961189 TT=1800.06 T1=1791.98	? (TO) f=8898073 TT=1800.07 T1=1800	SAT (TO) f=3243008 TT=1800.23 T1=7.39	SAT (TO) f=3243008 TT=1800.33 T1=10.09	SAT (TO) f=4028672 TT=1800.19 T1=569.51
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-ran10x26.opb	SAT f=6204422 TT=1800.31 T1=36.82	? (TO) f=25335285 TT=1800.12 T1=1673.17	? (TO) f=24149667 TT=1800.06 T1=1800	SAT (TO) f=6204422 TT=1800.31 T1=36.82	SAT (TO) f=7974568 TT=1800.5 T1=35.52	SAT (TO) f=7974568 TT=1800.2 T1=31.74
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-ran12x12.opb	SAT f=3053568 TT=1800.37 T1=14.1	? (TO) f=7750794 TT=1800.07 T1=1757.72	? (TO) f=7895080 TT=1800.04 T1=1800	SAT (TO) f=5020678 TT=1800.32 T1=66.78	SAT (TO) f=3053568 TT=1800.37 T1=14.1	SAT (TO) f=3484008 TT=1800.21 T1=6.26
Bench name	Best results	MinisatID 2.4.8-gmp [DEPRECATED] (complete)	MinisatID 2.5.2-gmp (fixed) (complete)	Sat4j CuttingPlanes 2.3.0 (complete)	Sat4j Res//CP 2.3.0 (complete)	Sat4j Resolution 2.3.0 (complete)
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-ran12x21.opb	SAT f=5428231 TT=1800.44 T1=24.01	? (TO) f=21077554 TT=1800.08 T1=1673.78	? (TO) f=21456748 TT=1800.07 T1=1800	SAT (TO) f=9456651 TT=1800.32 T1=64.25	SAT (TO) f=5428231 TT=1800.44 T1=24.01	SAT (TO) f=7910759 TT=1800.2 T1=20.74
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-ran13x13.opb	SAT f=3492864 TT=1800.23 T1=29.89	? (TO) f=13749389 TT=1800.06 T1=1402.85	? (TO) f=13789573 TT=1800.05 T1=1800	SAT (TO) f=3492864 TT=1800.23 T1=29.89	SAT (TO) f=3492864 TT=1800.28 T1=57.25	SAT (TO) f=3538944 TT=1800.19 T1=0.52
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-ran14x18.opb	SAT f=4382720 TT=1800.25 T1=29.37	? (TO) f=24806229 TT=1800.09 T1=1674.09	? (TO) f=28144775 TT=1800.08 T1=1800	SAT (TO) f=4382720 TT=1800.25 T1=29.37	SAT (TO) f=4902912 TT=1800.41 T1=10.28	SAT (TO) f=5479497 TT=1800.14 T1=3.65
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-ran16x16.opb	SAT f=6301758 TT=1800.33 T1=153.88	? (TO) f=17329622 TT=1800.06 T1=5.01	? (TO) f=19619330 TT=1800.06 T1=1800	SAT (TO) f=9096275 TT=1800.25 T1=76	SAT (TO) f=6301758 TT=1800.33 T1=153.88	SAT (TO) f=7413786 TT=1800.13 T1=374.04
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-ran17x17.opb	SAT f=2306350 TT=1800.23 T1=2.65	? (TO) f=9042332 TT=1800.08 T1=12.9	? (TO) f=11570445 TT=1800.05 T1=1800	SAT (TO) f=3750915 TT=1800.34 T1=85.31	SAT (TO) f=2306350 TT=1800.43 T1=4.22	SAT (TO) f=2306350 TT=1800.23 T1=2.65
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ fctp/normalized-mps-v2-20-10-ran4x64.opb	SAT f=11163648 TT=1800.45 T1=84.7	? (TO) f=26129880 TT=1800.11 T1=14.91	? (TO) f=24905201 TT=1800.07 T1=1800	SAT (TO) f=11682811 TT=1800.39 T1=42.18	SAT (TO) f=11163648 TT=1800.45 T1=84.7	SAT (TO) f=11780469 TT=1800.16 T1=5.03
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ fctp/normalized-mps-v2-20-10-ran6x43.opb	SAT f=11412410 TT=1800.15 T1=1.85	? (TO) f=26980635 TT=1800.09 T1=1767.08	? (TO) f=27584019 TT=1800.05 T1=1800	SAT (TO) f=11847160 TT=1800.33 T1=48.77	SAT (TO) f=11412410 TT=1800.52 T1=2.62	SAT (TO) f=11412410 TT=1800.15 T1=1.85
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ fctp/normalized-mps-v2-20-10-ran8x32.opb	SAT f=7484417 TT=1800.5 T1=6.96	? (TO) f=25617574 TT=1800.06 T1=13.67	? (TO) f=25885584 TT=1800.02 T1=1800	SAT (TO) f=9767035 TT=1800.35 T1=54.22	SAT (TO) f=7484417 TT=1800.5 T1=6.96	SAT (TO) f=8269641 TT=1800.14 T1=2.62
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/lptestset/fome/ normalized-mps-v2-20-10-fome11.opb		? (TO) TT=1800.14	? (TO) TT=1800.13	? (TO) TT=1800.25	? (TO) TT=1800.49	? (TO) TT=1800.22
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/lptestset/fome/ normalized-mps-v2-20-10-fome12.opb		? (TO) TT=1800.19	? (TO) TT=1800.24	? (TO) TT=1800.33	? (TO) TT=1800.47	? (TO) TT=1800.31
Bench name	Best results	MinisatID 2.4.8-gmp [DEPRECATED] (complete)	MinisatID 2.5.2-gmp (fixed) (complete)	Sat4j CuttingPlanes 2.3.0 (complete)	Sat4j Res//CP 2.3.0 (complete)	Sat4j Resolution 2.3.0 (complete)
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/lptestset/fome/ normalized-mps-v2-20-10-fome13.opb		? (TO) TT=1800.32	? (TO) TT=1800.31	? (TO) TT=1800.34	? (TO) TT=1800.46	? (TO) TT=1800.37
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-mps-v2-20-10-bc1.opb		? (TO) TT=1800.13	? (TO) TT=1800.13	? (TO) TT=1800.2	? (TO) TT=1800.27	? (TO) TT=1800.31
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-bienst1.opb	SAT f=8388608 TT=1800.24 T1=467.83	? (TO) TT=1800.08	? (TO) TT=1800.05	? (TO) TT=1800.3	SAT (TO) f=8388608 TT=1801.54 T1=540.87	SAT (TO) f=8388608 TT=1800.24 T1=467.83
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-bienst2.opb		? (TO) TT=1800.09	? (TO) TT=1800.04	? (TO) TT=1800.26	? (TO) TT=1800.36	? (TO) TT=1800.1
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-dano3_3.opb		? (TO) TT=1800.09	? (TO) TT=1800.1	? (TO) TT=1800.2	? (TO) TT=1800.35	? (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.09	? (TO) TT=1800.11	? (TO) TT=1800.31	? (TO) TT=1800.42	? (TO) TT=1800.22
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-dano3_5.opb		? (TO) TT=1800.13	? (TO) TT=1800.11	? (TO) TT=1800.25	? (TO) TT=1800.33	? (TO) TT=1800.24
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/milp/ normalized-mps-v2-20-10-markshare1_1.opb	SAT f=2069 TT=1800.07 T1=1794.78	? (TO) f=2400 TT=1800.04 T1=1599.76	? (TO) f=1437 TT=1800.06 T1=1800	SAT (TO) f=228352 TT=1800.31 T1=7.85	SAT (TO) f=5268 TT=1800.28 T1=1018.41	SAT (TO) f=2069 TT=1800.07 T1=1794.78
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/milp/ normalized-mps-v2-20-10-markshare2_1.opb	SAT f=11549 TT=1800.13 T1=1347.65	? (TO) f=29728 TT=1800.05 T1=1580.05	? (TO) f=26860 TT=1800.06 T1=1800	? (TO) TT=1800.83	SAT (TO) f=22069 TT=1800.17 T1=912.92	SAT (TO) f=11549 TT=1800.13 T1=1347.65
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-mps-v2-20-10-mkc1.opb	SAT f=0 TT=1800.26 T1=7.61	? (TO) f=0 TT=1800.08 T1=1.2	? (TO) f=0 TT=1800.11 T1=1800	? (TO) TT=1800.22	SAT (TO) f=0 TT=1800.57 T1=30.71	SAT (TO) f=0 TT=1800.26 T1=7.61
Bench name	Best results	MinisatID 2.4.8-gmp [DEPRECATED] (complete)	MinisatID 2.5.2-gmp (fixed) (complete)	Sat4j CuttingPlanes 2.3.0 (complete)	Sat4j Res//CP 2.3.0 (complete)	Sat4j Resolution 2.3.0 (complete)
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-neos11.opb	OPT f=9216 TT=88.589 T1=12.25	? (TO) TT=1800.04	? (TO) f=12288 TT=1800.05 T1=1800	SAT (TO) f=2147495934 TT=1800.25 T1=59.63	OPT f=9216 TT=210.005 T1=15.83	OPT f=9216 TT=88.589 T1=12.25
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-neos12.opb	SAT f=20480 TT=1800.21 T1=56.72	? (TO) TT=1800.07	? (TO) TT=1800.07	SAT (TO) f=23552 TT=1800.35 T1=11.97	SAT (TO) f=23552 TT=1800.6 T1=12.42	SAT (TO) f=20480 TT=1800.21 T1=56.72
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-neos13.opb	SAT f=-95610815 TT=1800.2 T1=905.47	? (TO) f=-2026744 TT=1800.12 T1=1669.51	? (TO) f=-55449389 TT=1800.12 T1=1800	SAT (TO) f=-82778371 TT=1800.27 T1=1278.77	SAT (TO) f=-86859938 TT=1800.37 T1=578.07	SAT (TO) f=-95610815 TT=1800.2 T1=905.47
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-neos14.opb		? (TO) TT=1800.03	? (TO) TT=1800.06	? (TO) TT=1800.23	? (TO) TT=1800.24	? (TO) TT=1800.11
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-neos15.opb	SAT f=4070343822595000037191 TT=1800.23 T1=922.01	? (TO) TT=1800.07	? (TO) TT=1800.06	? (TO) TT=1800.32	? (TO) TT=1800.37	SAT (TO) f=4070343822595000037191 TT=1800.23 T1=922.01
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-neos17.opb	SAT f=6984252 TT=1800.1 T1=79.44	? (TO) f=9391692 TT=1800.05 T1=1061.35	? (TO) f=11688336 TT=1800.06 T1=1800	SAT (TO) f=11010882 TT=1800.29 T1=1305.82	SAT (TO) f=6984252 TT=1800.34 T1=82.06	SAT (TO) f=6984252 TT=1800.1 T1=79.44
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-neos20.opb	OPT f=-468992 TT=3.934 T1=2.35	OPT f=-468992 TT=93.864 T1=92.07	OPT f=-468992 TT=43.981 T1=43.97	SAT (TO) f=-423936 TT=1800.33 T1=931.16	OPT f=-468992 TT=9.02 T1=7.14	OPT f=-468992 TT=3.934 T1=2.35
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-mps-v2-20-10-neos2.opb		? (TO) TT=1800.07	? (TO) TT=1800.05	? (TO) TT=1800.22	? (TO) TT=1800.29	? (TO) TT=1800.15
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-mps-v2-20-10-neos3.opb		? (TO) TT=1800.05	? (TO) TT=1800.08	? (TO) TT=1800.18	? (TO) TT=1800.37	? (TO) TT=1800.17
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-mps-v2-20-10-neos6.opb		? (TO) TT=1800.09	? (TO) TT=1800.06	? (TO) TT=1800.3	? (TO) TT=1800.33	? (TO) TT=1800.08
Bench name	Best results	MinisatID 2.4.8-gmp [DEPRECATED] (complete)	MinisatID 2.5.2-gmp (fixed) (complete)	Sat4j CuttingPlanes 2.3.0 (complete)	Sat4j Res//CP 2.3.0 (complete)	Sat4j Resolution 2.3.0 (complete)
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-mps-v2-20-10-neos7.opb	SAT f=1627321901 TT=1800.24 T1=931.41	? (TO) TT=1800.03	? (TO) TT=1800.07	? (TO) TT=1800.25	SAT (TO) f=1647500786 TT=1800.46 T1=669.23	SAT (TO) f=1627321901 TT=1800.24 T1=931.41
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-mps-v2-20-10-nug08.opb	OPT f=107 TT=80.394 T1=21.49	OPT f=107 TT=1349.85 T1=196.88	OPT f=107 TT=1496.77 T1=1496.7	SAT (TO) f=116 TT=1800.35 T1=33.11	SAT (TO) f=116 TT=1800.38 T1=33.84	OPT f=107 TT=80.394 T1=21.49
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-mps-v2-20-10-qap10.opb	SAT f=170 TT=1800.27 T1=4.12	? (TO) f=197 TT=1800.1 T1=460.63	? (TO) f=198 TT=1800.1 T1=1800	SAT (TO) f=173 TT=1800.37 T1=1675.87	SAT (TO) f=170 TT=1800.5 T1=237.82	SAT (TO) f=170 TT=1800.27 T1=4.12
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-swath1.opb		? (TO) TT=1800.07	? (TO) TT=1800.08	? (TO) TT=1800.16	? (TO) TT=1800.21	? (TO) TT=1800.13
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-swath2.opb		? (TO) TT=1800.1	? (TO) TT=1800.08	? (TO) TT=1800.18	? (TO) TT=1800.19	? (TO) TT=1800.15
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-swath3.opb		? (TO) TT=1800.06	? (TO) TT=1800.07	? (TO) TT=1800.17	? (TO) TT=1800.14	? (TO) TT=1800.12
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-A1C1S1.opb		? (TO) TT=1800.04	? (TO) TT=1800.07	? (TO) TT=1800.26	? (TO) TT=1800.33	? (TO) TT=1800.17
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-A2C1S1.opb		? (TO) TT=1800.07	? (TO) TT=1800.08	? (TO) TT=1800.27	? (TO) TT=1800.19	? (TO) TT=1800.13
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-B1C1S1.opb		? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.28	? (TO) TT=1800.36	? (TO) TT=1800.14
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-B2C1S1.opb		? (TO) TT=1800.08	? (TO) TT=1800.07	? (TO) TT=1800.27	? (TO) TT=1800.27	? (TO) TT=1800.22
Bench name	Best results	MinisatID 2.4.8-gmp [DEPRECATED] (complete)	MinisatID 2.5.2-gmp (fixed) (complete)	Sat4j CuttingPlanes 2.3.0 (complete)	Sat4j Res//CP 2.3.0 (complete)	Sat4j Resolution 2.3.0 (complete)
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-berlin_5_8_0.opb	SAT f=63488 TT=1800.13 T1=58.47	? (TO) TT=1800.07	? (TO) f=92160 TT=1800.07 T1=1800	? (TO) TT=1800.3	SAT (TO) f=63488 TT=1800.42 T1=65.52	SAT (TO) f=63488 TT=1800.13 T1=58.47
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-bg512142.opb	SAT f=30886358038028 TT=1800.27 T1=838.45	? (TO) TT=1800.05	? (TO) TT=1800.06	? (TO) TT=1800.25	? (TO) TT=1800.24	SAT (TO) f=30886358038028 TT=1800.27 T1=838.45
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-biella1.opb	SAT f=66438419725107200 TT=1800.22 T1=471.51	? (TO) TT=1800.05	? (TO) TT=1800.06	? (TO) TT=1800.22	SAT (TO) f=66438419725107200 TT=1800.41 T1=583.6	SAT (TO) f=66438419725107200 TT=1800.22 T1=471.51
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-blp-ar98.opb		? (TO) TT=1800.11	? (TO) TT=1800.07	? (TO) TT=1800.27	? (TO) TT=1800.28	? (TO) TT=1800.09
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-blp-ic97.opb		? (TO) TT=1800.09	? (TO) TT=1800.07	? (TO) TT=1800.25	? (TO) TT=1800.22	? (TO) TT=1800.14
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-blp-ic98.opb		? (TO) TT=1800.07	? (TO) TT=1800.09	? (TO) TT=1800.21	? (TO) TT=1800.26	? (TO) TT=1800.16
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-blp-ir98.opb	SAT f=1079037184 TT=1800.28 T1=671.83	? (TO) TT=1800.1	? (TO) TT=1800.08	? (TO) TT=1800.19	SAT (TO) f=1079037184 TT=1800.58 T1=683.77	SAT (TO) f=1079037184 TT=1800.28 T1=671.83
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-CMS750_4.opb	SAT f=507904 TT=1800.33 T1=1600.56	? (TO) TT=1800.09	? (TO) TT=1800.06	? (TO) TT=1800.28	SAT (TO) f=616448 TT=1800.54 T1=705.38	SAT (TO) f=507904 TT=1800.33 T1=1600.56
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-core2536-691.opb	SAT f=934912000000000 TT=1800.2 T1=1.59	? (TO) f=1133568000000000 TT=1800.08 T1=0.73	? (TO) f=1133568000000000 TT=1800.06 T1=1800	SAT (TO) f=945152000000000 TT=1800.25 T1=581.98	SAT (TO) f=934912000000000 TT=1800.39 T1=8.13	SAT (TO) f=934912000000000 TT=1800.2 T1=1.59
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-core2586-950.opb	SAT f=1261568000000000 TT=1800.3 T1=908.13	? (TO) f=1463296000000000 TT=1800.07 T1=981.94	? (TO) f=1465344000000000 TT=1800.08 T1=1800	SAT (TO) f=1261568000000000 TT=1800.3 T1=908.13	SAT (TO) f=1262592000000000 TT=1800.38 T1=801.9	SAT (TO) f=1268736000000000 TT=1800.26 T1=0.68
Bench name	Best results	MinisatID 2.4.8-gmp [DEPRECATED] (complete)	MinisatID 2.5.2-gmp (fixed) (complete)	Sat4j CuttingPlanes 2.3.0 (complete)	Sat4j Res//CP 2.3.0 (complete)	Sat4j Resolution 2.3.0 (complete)
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-core4284-1064.opb	SAT f=1424384000000000 TT=1800.2 T1=2.39	? (TO) f=1718272000000000 TT=1800.07 T1=778.8	? (TO) f=1719296000000000 TT=1800.09 T1=1800	SAT (TO) f=1435648000000000 TT=1800.33 T1=1619.97	SAT (TO) f=1424384000000000 TT=1800.53 T1=19.83	SAT (TO) f=1424384000000000 TT=1800.2 T1=2.39
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-core4872-1529.opb	SAT f=2010112000000000 TT=1800.26 T1=1585.53	? (TO) f=2388992000000000 TT=1800.09 T1=60	? (TO) f=2388992000000000 TT=1800.08 T1=1800	SAT (TO) f=2010112000000000 TT=1800.26 T1=1585.53	SAT (TO) f=2012160000000000 TT=1800.28 T1=495.91	SAT (TO) f=2014208000000000 TT=1800.25 T1=1.11
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-dc1c.opb	SAT f=785315550060732416 TT=1800.2 T1=1133.78	? (TO) TT=1800.11	? (TO) TT=1800.08	? (TO) TT=1800.23	? (TO) TT=1800.43	SAT (TO) f=785315550060732416 TT=1800.2 T1=1133.78
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-dc1l.opb	SAT f=322124420039689472000 TT=1800.33 T1=515.69	? (TO) TT=1800.06	? (TO) TT=1800.07	SAT (TO) f=322124420039689472000 TT=1800.33 T1=515.69	SAT (TO) f=322124420039689472000 TT=1800.6 T1=543.95	? (TO) TT=1800.15
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-dg012142.opb		? (TO) TT=1800.09	? (TO) TT=1800.07	? (TO) TT=1800.26	? (TO) TT=1800.67	? (TO) TT=1800.12
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-dolom1.opb		? (TO) TT=1800.08	? (TO) TT=1800.05	? (TO) TT=1800.22	? (TO) TT=1800.34	? (TO) TT=1800.11
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-glass4.opb	OPT f=1228810444800 TT=16.903 T1=14.67	? (TO) f=2232338617190 TT=1800.05 T1=1601.5	? (TO) f=2212880586404 TT=1800.06 T1=1800	SAT (TO) f=24641678252196 TT=1800.25 T1=1659.78	OPT f=1228810444800 TT=32.155 T1=19.24	OPT f=1228810444800 TT=16.903 T1=14.67
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-NSR8K.opb		? (TO) TT=1800.08	? (TO) TT=1800.06	? (TO) TT=1800.27	? (TO) TT=1800.46	? (TO) TT=1800.15
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.47 T1=37.29	? (TO) f=1224736768 TT=1800.07 T1=1.98	? (TO) f=1191182336 TT=1800.06 T1=1800	SAT (TO) f=2147483505 TT=1800.31 T1=1705.69	SAT (TO) f=1207959552 TT=1800.47 T1=37.29	? (TO) TT=1800.14
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-rail507.opb	SAT f=264192000000000 TT=1800.23 T1=7.13	? (TO) f=355328000000000 TT=1800.07 T1=8.25	? (TO) f=353280000000000 TT=1800.1 T1=1800	SAT (TO) f=264192000000000 TT=1800.23 T1=1186.53	SAT (TO) f=264192000000000 TT=1800.55 T1=170.95	SAT (TO) f=264192000000000 TT=1800.33 T1=7.13
Bench name	Best results	MinisatID 2.4.8-gmp [DEPRECATED] (complete)	MinisatID 2.5.2-gmp (fixed) (complete)	Sat4j CuttingPlanes 2.3.0 (complete)	Sat4j Res//CP 2.3.0 (complete)	Sat4j Resolution 2.3.0 (complete)
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-railway_8_1_0.opb	SAT f=409600 TT=1800.2 T1=296.87	? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.33	SAT (TO) f=409600 TT=1800.5 T1=325.61	SAT (TO) f=409600 TT=1800.2 T1=296.87
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-roll3000.opb		? (TO) TT=1800.13	? (TO) TT=1800.06	? (TO) TT=1800.24	? (TO) TT=1800.28	? (TO) TT=1800.1
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-siena1.opb		? (TO) TT=1800.07	? (TO) TT=1800.09	? (TO) TT=1800.22	? (TO) TT=1800.35	? (TO) TT=1800.17
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-sp97ar.opb	SAT f=2740285619 TT=1800.36 T1=40.95	? (TO) f=3774159850 TT=1800.07 T1=1485.37	? (TO) f=3797722041 TT=1800.07 T1=1800	SAT (TO) f=2740285619 TT=1800.36 T1=297.72	SAT (TO) f=2740285619 TT=1800.47 T1=40.95	SAT (TO) f=2746234016 TT=1800.23 T1=2.28
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-sp97ic.opb	SAT f=3502386819 TT=1800.24 T1=1678.44	? (TO) f=4181761807 TT=1800.08 T1=145.07	? (TO) f=3784524429 TT=1800.05 T1=1800	SAT (TO) f=3502386819 TT=1800.24 T1=1678.44	SAT (TO) f=3523081465 TT=1800.44 T1=4.38	SAT (TO) f=3523081465 TT=1800.2 T1=3.4
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-sp98ar.opb	SAT f=4210086003 TT=1800.26 T1=216.04	? (TO) f=5662092278 TT=1800.09 T1=1762.42	? (TO) f=6412209301 TT=1800.07 T1=1800	SAT (TO) f=4210086003 TT=1800.26 T1=216.04	SAT (TO) f=4210416996 TT=1800.55 T1=3.51	SAT (TO) f=4210416996 TT=1800.23 T1=3.05
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-sp98ic.opb	SAT f=3897566335 TT=1800.21 T1=2.43	? (TO) f=4320097649 TT=1800.09 T1=1538.83	? (TO) f=4534373170 TT=1800.08 T1=1800	SAT (TO) f=3897566335 TT=1800.26 T1=5.07	SAT (TO) f=3897566335 TT=1800.56 T1=3.46	SAT (TO) f=3897566335 TT=1800.21 T1=2.43
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-tr12-30.opb		? (TO) TT=1800.03	? (TO) TT=1800.06	? (TO) TT=1800.3	? (TO) TT=1800.31	? (TO) TT=1800.08
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-trento1.opb	SAT f=92910583450812416 TT=1800.21 T1=1168.93	? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.23	SAT (TO) f=101759015565623296 TT=1800.42 T1=748.55	SAT (TO) f=92910583450812416 TT=1800.21 T1=1168.93
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-UMTS.opb	SAT f=33396509 TT=1800.22 T1=1231.27	? (TO) f=36381051 TT=1800.06 T1=1673.57	? (TO) f=39755681 TT=1800.12 T1=1800.1	SAT (TO) f=37145740 TT=1800.31 T1=1203.71	SAT (TO) f=33433272 TT=1800.44 T1=948.08	SAT (TO) f=33396509 TT=1800.22 T1=1231.27
Bench name	Best results	MinisatID 2.4.8-gmp [DEPRECATED] (complete)	MinisatID 2.5.2-gmp (fixed) (complete)	Sat4j CuttingPlanes 2.3.0 (complete)	Sat4j Res//CP 2.3.0 (complete)	Sat4j Resolution 2.3.0 (complete)
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-usAbbrv.8.25_70.opb	SAT f=125952 TT=1800.21 T1=1489.43	? (TO) TT=1800.09	? (TO) TT=1800.07	? (TO) TT=1800.29	SAT (TO) f=128000 TT=1800.36 T1=790.01	SAT (TO) f=125952 TT=1800.21 T1=1489.43
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-van.opb	SAT f=24193312742 TT=1800.38 T1=181.66	? (TO) f=48015244370 TT=1800.26 T1=1561.36	? (TO) f=37794120860 TT=1800.2 T1=1800	SAT (TO) f=25442247019 TT=1800.5 T1=497.42	SAT (TO) f=24193312742 TT=1800.55 T1=217.56	SAT (TO) f=24193312742 TT=1800.38 T1=181.66
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=1.369 T1=0.62	OPT f=344750 TT=16.234 T1=5.65	OPT f=344750 TT=8.403 T1=8.4	OPT f=344750 TT=1.369 T1=0.62	OPT f=344750 TT=2.232 T1=33.81	OPT f=344750 TT=3.84 T1=2.08
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.019 T1=0.01	OPT f=-1073741823 TT=0.019 T1=0.01	OPT f=-1073741823 TT=0.026 T1=0.02	OPT f=-1073741823 TT=0.162 T1=0.13	OPT f=-1073741823 TT=0.175 T1=0.63	OPT f=-1073741823 TT=0.165 T1=0.13
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.006 T1=0	OPT f=9663726592 TT=0.006 T1=0	OPT f=9663726592 TT=0.006 T1=0	OPT f=9663726592 TT=0.176 T1=0.13	OPT f=9663726592 TT=0.219 T1=1.14	OPT f=9663726592 TT=0.169 T1=0.13
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-fit1d.opb	SAT f=53066119 TT=1800.32 T1=280.85	? (TO) f=0 TT=1800.08 T1=1800.01	? (TO) f=0 TT=1800.09 T1=1800	SAT (TO) f=53066119 TT=1800.32 T1=280.85	SAT (TO) f=53066119 TT=1800.48 T1=281.53	? (TO) TT=1800.09
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-aflow30a.opb	SAT f=1601 TT=1800.2 T1=28.29	? (TO) TT=1800.08	? (TO) TT=1800.06	? (TO) TT=1800.27	SAT (TO) f=1601 TT=1800.31 T1=30.27	SAT (TO) f=1601 TT=1800.2 T1=28.29
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-aflow40b.opb		? (TO) TT=1800.07	? (TO) TT=1800.08	? (TO) TT=1800.21	? (TO) TT=1800.31	? (TO) TT=1800.18
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-air04.opb		? (TO) TT=1800.05	? (TO) TT=1800.07	? (TO) TT=1800.29	? (TO) TT=1800.39	? (TO) TT=1800.16
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-air05.opb	SAT f=36521 TT=1800.22 T1=1151.56	? (TO) f=40084 TT=1800.08 T1=1800.01	? (TO) f=40052 TT=1800.05 T1=1800	SAT (TO) f=40202 TT=1800.34 T1=16.69	SAT (TO) f=37030 TT=1800.37 T1=73.47	SAT (TO) f=36521 TT=1800.22 T1=1151.56
Bench name	Best results	MinisatID 2.4.8-gmp [DEPRECATED] (complete)	MinisatID 2.5.2-gmp (fixed) (complete)	Sat4j CuttingPlanes 2.3.0 (complete)	Sat4j Res//CP 2.3.0 (complete)	Sat4j Resolution 2.3.0 (complete)
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-nw04.opb	SAT f=15220 TT=1800.29 T1=549.9	? (TO) f=12818 TT=1800.12 T1=1800.01	? (TO) f=13291 TT=1800.13 T1=1800	SAT (TO) f=15306 TT=1800.42 T1=772.18	SAT (TO) f=15295 TT=1800.39 T1=153.34	SAT (TO) f=15220 TT=1800.29 T1=549.9
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-t1717.opb	SAT f=350802 TT=1800.31 T1=4.9	? (TO) f=200078 TT=1800.11 T1=1800.01	? (TO) f=200078 TT=1800.1 T1=1800	SAT (TO) f=415918 TT=1800.43 T1=1186.19	SAT (TO) f=350802 TT=1800.5 T1=5.85	SAT (TO) f=350802 TT=1800.31 T1=4.9
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-vpm2.opb		? (TO) TT=1800.02	? (TO) TT=1800.05	? (TO) TT=1800.28	? (TO) TT=1800.31	? (TO) TT=1800.14
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib3/ normalized-mps-v2-20-10-gt2.opb	OPT f=21166 TT=2.345 T1=1.15	? (TO) f=28556 TT=1800.05 T1=1800.01	? (TO) f=21166 TT=1800.06 T1=1800	OPT f=21166 TT=2.345 T1=1.15	OPT f=21166 TT=6.979 T1=4.23	SAT (TO) f=28247 TT=1800.14 T1=1792.57
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-air01.opb	OPT f=3398 TT=4.784 T1=1.52	? (TO) f=3398 TT=1800.05 T1=23.89	OPT f=3398 TT=289.945 T1=289.93	OPT f=3398 TT=4.784 T1=1.52	OPT f=3398 TT=11.876 T1=5.32	OPT f=3398 TT=5.775 T1=4.99
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-air02.opb	SAT f=4492 TT=1800.21 T1=281.57	? (TO) f=4684 TT=1800.08 T1=1800.12	? (TO) f=4531 TT=1800.08 T1=1800	SAT (TO) f=4492 TT=1800.29 T1=525.41	SAT (TO) f=4492 TT=1800.34 T1=525.38	SAT (TO) f=4492 TT=1800.21 T1=281.57
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-air03.opb	SAT f=196600 TT=1800.41 T1=129.39	? (TO) f=218911 TT=1800.09 T1=1800.02	? (TO) f=223447 TT=1800.05 T1=1800	SAT (TO) f=200394 TT=1800.26 T1=414.28	SAT (TO) f=196600 TT=1800.41 T1=129.39	SAT (TO) f=234736 TT=1800.27 T1=980.58
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-air06.opb	SAT f=64538 TT=1800.15 T1=1502.11	? (TO) TT=1800.06	? (TO) f=70596 TT=1800.06 T1=1800	? (TO) TT=1800.26	SAT (TO) f=68665 TT=1800.45 T1=901.63	SAT (TO) f=64538 TT=1800.15 T1=1502.11
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-enigma.opb	OPT f=0 TT=0.827 T1=0.58	OPT f=0 TT=2.058 T1=2.05	OPT f=0 TT=1.829 T1=1.82	OPT f=0 TT=214.525 T1=212.46	OPT f=0 TT=2.468 T1=1.15	OPT f=0 TT=0.827 T1=0.58
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-p0282.opb	OPT f=258411 TT=0.912 T1=0.47	OPT f=258411 TT=2.407 T1=2.03	OPT f=258411 TT=3.03 T1=3.03	OPT f=258411 TT=4.962 T1=3.23	OPT f=258411 TT=2.941 T1=7.28	OPT f=258411 TT=0.912 T1=0.47
Bench name	Best results	MinisatID 2.4.8-gmp [DEPRECATED] (complete)	MinisatID 2.5.2-gmp (fixed) (complete)	Sat4j CuttingPlanes 2.3.0 (complete)	Sat4j Res//CP 2.3.0 (complete)	Sat4j Resolution 2.3.0 (complete)
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-p0291.opb	OPT f=10447498 TT=0.252 T1=0.24	OPT f=10447498 TT=0.287 T1=0.24	OPT f=10447498 TT=0.252 T1=0.25	OPT f=10447498 TT=1.783 T1=0.74	OPT f=10447498 TT=1.719 T1=3.74	OPT f=10447498 TT=0.415 T1=0.24
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-p6000.opb	SAT f=-1009287 TT=1800.32 T1=1434.75	? (TO) f=-483067 TT=1800.05 T1=1800.12	? (TO) f=-478355 TT=1800.05 T1=1800	SAT (TO) f=-1009287 TT=1800.32 T1=1434.75	SAT (TO) f=-893576 TT=1800.36 T1=396.57	SAT (TO) f=-816461 TT=1800.2 T1=129.84
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-pipex.opb	OPT f=788263 TT=2.702 T1=1.12	OPT f=788263 TT=352.065 T1=54.86	OPT f=788263 TT=55.191 T1=55.19	OPT f=788263 TT=2.702 T1=1.12	OPT f=788263 TT=2.951 T1=4.69	OPT f=788263 TT=13.395 T1=9.78
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-vpm1.opb	SAT f=20 TT=1800.16 T1=723.55	? (TO) TT=1800.06	? (TO) TT=1800.03	? (TO) TT=1800.35	SAT (TO) f=21 TT=1800.39 T1=371.31	SAT (TO) f=20 TT=1800.16 T1=723.55
normalized-PB06/OPT-MEDINT/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-mps-v2-20-10-neos9.opb		? (TO) TT=1800.19	? (TO) TT=1800.17	? (TO) TT=1800.35	? (TO) TT=1800.45	? (TO) TT=1800.3
normalized-PB06/OPT-MEDINT/mps-v2-20-10/ plato.asu.edu/pub/milp/ normalized-mps-v2-20-10-seymour1.opb	SAT f=471080 TT=1800.4 T1=201.16	? (TO) f=496722 TT=1800.11 T1=1800.01	? (TO) f=496722 TT=1800.06 T1=1800	SAT (TO) f=471080 TT=1800.4 T1=201.16	SAT (TO) f=471080 TT=1800.47 T1=201.61	SAT (TO) f=471086 TT=1800.21 T1=1.08

Statistics		MinisatID 2.4.8-gmp [DEPRECATED] (complete)	MinisatID 2.5.2-gmp (fixed) (complete)	Sat4j CuttingPlanes 2.3.0 (complete)	Sat4j Res//CP 2.3.0 (complete)	Sat4j Resolution 2.3.0 (complete)
Number of times the solver is able to give the best known answer		56	60	85	133	145
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)		10	9	39	63	119