PB'11 competition: satisfaction and optimization track: 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

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-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=100-sizeP=51-sizeQ=100-416317114-max.opb		? (TO) TT=1800.03	? (TO) TT=1800.06	? (TO) TT=1800.21	? (TO) TT=1800.3	? (TO) TT=1800.13
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=100-sizeP=51-sizeQ=100-416317114.opb	OPT f=1 TT=1.3 T1=0.59	? (TO) TT=1800.13	OPT f=1 TT=1725.45 T1=1725.38	OPT f=1 TT=1.381 T1=0.59	OPT f=1 TT=1.563 T1=1.02	OPT f=1 TT=1.3 T1=0.59
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=100-sizeP=51-sizeQ=100-520972534-max.opb		? (TO) TT=1800.05	? (TO) TT=1800.1	? (TO) TT=1800.28	? (TO) TT=1800.36	? (TO) TT=1800.12
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=100-sizeP=51-sizeQ=100-520972534.opb	OPT f=1 TT=1.329 T1=0.59	? (TO) TT=1800.05	? (TO) TT=1800.06	OPT f=1 TT=1.431 T1=0.62	OPT f=1 TT=1.557 T1=1.01	OPT f=1 TT=1.329 T1=0.59
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=120-sizeP=61-sizeQ=120-718083277-max.opb		? (TO) TT=1800.08	? (TO) TT=1800.1	? (TO) TT=1800.23	? (TO) TT=1800.38	? (TO) TT=1800.21
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/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=120-sizeP=61-sizeQ=120-718083277.opb	OPT f=1 TT=1.491 T1=0.68	? (TO) TT=1800.08	? (TO) TT=1800.07	OPT f=1 TT=1.509 T1=0.68	OPT f=1 TT=1.676 T1=1.08	OPT f=1 TT=1.491 T1=0.68
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=120-sizeP=61-sizeQ=120-883133839-max.opb		? (TO) TT=1800.08	? (TO) TT=1800.05	? (TO) TT=1800.28	? (TO) TT=1800.41	? (TO) TT=1800.2
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=120-sizeP=61-sizeQ=120-883133839.opb	OPT f=1 TT=1.462 T1=0.67	? (TO) TT=1800.08	? (TO) TT=1800.07	OPT f=1 TT=1.508 T1=0.68	OPT f=1 TT=1.745 T1=1.07	OPT f=1 TT=1.462 T1=0.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.38 T1=237.07	? (TO) TT=1800.11	? (TO) TT=1800.07	SAT (TO) f=-2 TT=1800.38 T1=237.07	SAT (TO) f=-2 TT=1800.44 T1=241.06	? (TO) TT=1800.23
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=140-sizeP=71-sizeQ=140-217105354.opb	OPT f=1 TT=1.626 T1=0.75	? (TO) TT=1800.04	? (TO) TT=1800.05	OPT f=1 TT=1.626 T1=0.75	OPT f=1 TT=1.897 T1=1.14	OPT f=1 TT=1.661 T1=0.78
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=140-sizeP=71-sizeQ=140-318609522-max.opb	SAT f=-1 TT=1800.41 T1=77.07	? (TO) TT=1800.09	? (TO) TT=1800.05	SAT (TO) f=-1 TT=1800.41 T1=77.07	SAT (TO) f=-1 TT=1800.52 T1=78.45	? (TO) TT=1800.16
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=140-sizeP=71-sizeQ=140-318609522.opb	OPT f=1 TT=1.652 T1=0.79	? (TO) TT=1800.07	? (TO) TT=1800.07	OPT f=1 TT=1.735 T1=0.81	OPT f=1 TT=1.916 T1=1.14	OPT f=1 TT=1.652 T1=0.79
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=160-sizeP=81-sizeQ=160-203099174-max.opb	SAT f=-1 TT=1800.32 T1=1427.47	? (TO) TT=1800.11	? (TO) TT=1800.07	SAT (TO) f=-1 TT=1800.32 T1=1427.47	? (TO) TT=1800.32	? (TO) TT=1800.13
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=160-sizeP=81-sizeQ=160-203099174.opb	OPT f=1 TT=1.764 T1=0.86	? (TO) TT=1800.08	? (TO) TT=1800.08	OPT f=1 TT=1.764 T1=0.86	OPT f=1 TT=2.177 T1=1.22	OPT f=1 TT=1.788 T1=0.87
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=160-sizeP=81-sizeQ=160-451332552-max.opb		? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.22	? (TO) TT=1800.25	? (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/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=160-sizeP=81-sizeQ=160-451332552.opb	OPT f=1 TT=1.784 T1=0.92	? (TO) TT=1800.06	? (TO) TT=1800.07	OPT f=1 TT=1.784 T1=0.92	OPT f=1 TT=2.188 T1=1.22	OPT f=1 TT=1.807 T1=0.92
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=180-sizeP=91-sizeQ=180-348768554-max.opb	SAT f=-1 TT=1800.39 T1=570.01	? (TO) TT=1800.07	? (TO) TT=1800.06	SAT (TO) f=-1 TT=1800.39 T1=622.11	SAT (TO) f=-1 TT=1800.42 T1=570.01	? (TO) TT=1800.14
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=180-sizeP=91-sizeQ=180-348768554.opb	OPT f=1 TT=2.114 T1=1.07	? (TO) TT=1800.04	? (TO) TT=1800.06	OPT f=1 TT=2.844 T1=1.84	OPT f=1 TT=2.69 T1=1.39	OPT f=1 TT=2.114 T1=1.07
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=180-sizeP=91-sizeQ=180-780825197-max.opb		? (TO) TT=1800.08	? (TO) TT=1800.06	? (TO) TT=1800.2	? (TO) TT=1800.29	? (TO) TT=1800.13
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=180-sizeP=91-sizeQ=180-780825197.opb	OPT f=1 TT=2.08 T1=1.02	? (TO) TT=1800.08	? (TO) TT=1800.06	OPT f=1 TT=2.121 T1=1.11	OPT f=1 TT=2.615 T1=1.31	OPT f=1 TT=2.08 T1=1.02
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=200-sizeP=101-sizeQ=200-410184650-max.opb		? (TO) TT=1800.08	? (TO) TT=1800.05	? (TO) TT=1800.24	? (TO) TT=1800.34	? (TO) TT=1800.22
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=200-sizeP=101-sizeQ=200-410184650.opb	OPT f=1 TT=2.277 T1=1.21	? (TO) TT=1800.05	? (TO) TT=1800.06	OPT f=1 TT=2.277 T1=1.21	OPT f=1 TT=3.143 T1=1.4	OPT f=1 TT=2.35 T1=1.21
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=200-sizeP=101-sizeQ=200-864124249-max.opb		? (TO) TT=1800.06	? (TO) TT=1800.07	? (TO) TT=1800.21	? (TO) TT=1800.24	? (TO) TT=1800.26
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=200-sizeP=101-sizeQ=200-864124249.opb	OPT f=1 TT=2.299 T1=1.2	? (TO) TT=1800.08	? (TO) TT=1800.06	OPT f=1 TT=2.299 T1=1.2	OPT f=1 TT=3.125 T1=1.4	OPT f=1 TT=2.431 T1=1.3
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=20-sizeP=11-sizeQ=20-496708-max.opb	OPT f=-92 TT=1.49 T1=0.9	OPT f=-92 TT=95.158 T1=36.42	OPT f=-92 TT=4.032 T1=4.03	SAT (TO) f=-92 TT=1800.23 T1=401.07	OPT f=-92 TT=3.409 T1=2.22	OPT f=-92 TT=1.49 T1=0.9
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/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=20-sizeP=11-sizeQ=20-496708.opb	OPT f=1 TT=0.279 T1=0.19	OPT f=1 TT=0.293 T1=0.29	OPT f=1 TT=1.723 T1=1.72	OPT f=1 TT=0.302 T1=0.21	OPT f=1 TT=0.353 T1=0.71	OPT f=1 TT=0.279 T1=0.19
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=20-sizeP=11-sizeQ=20-900543-max.opb	OPT f=-1281 TT=0.699 T1=0.37	OPT f=-1281 TT=36.063 T1=28.3	OPT f=-1281 TT=2.381 T1=2.38	SAT (TO) f=-427 TT=1800.25 T1=399.83	OPT f=-1281 TT=1.264 T1=1.22	OPT f=-1281 TT=0.699 T1=0.37
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=20-sizeP=11-sizeQ=20-900543.opb	OPT f=1 TT=0.283 T1=0.2	OPT f=1 TT=2.313 T1=2.31	OPT f=1 TT=0.488 T1=0.48	OPT f=1 TT=0.285 T1=0.2	OPT f=1 TT=0.355 T1=0.71	OPT f=1 TT=0.283 T1=0.2
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=220-sizeP=111-sizeQ=220-229130880-max.opb		? (TO) TT=1800.1	? (TO) TT=1800.06	? (TO) TT=1800.27	? (TO) TT=1800.43	? (TO) TT=1800.2
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=220-sizeP=111-sizeQ=220-229130880.opb	OPT f=1 TT=2.695 T1=1.45	? (TO) TT=1800.08	? (TO) TT=1800.04	OPT f=1 TT=2.697 T1=1.45	OPT f=1 TT=3.904 T1=2.02	OPT f=1 TT=2.695 T1=1.45
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=220-sizeP=111-sizeQ=220-687342390-max.opb		? (TO) TT=1800.05	? (TO) TT=1800.08	? (TO) TT=1800.26	? (TO) TT=1800.4	? (TO) TT=1800.24
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=220-sizeP=111-sizeQ=220-687342390.opb	OPT f=1 TT=2.679 T1=1.45	? (TO) TT=1800.07	? (TO) TT=1800.07	OPT f=1 TT=2.679 T1=1.45	OPT f=1 TT=3.892 T1=2.02	OPT f=1 TT=2.91 T1=1.61
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=240-sizeP=121-sizeQ=240-330229238-max.opb		? (TO) TT=1800.09	? (TO) TT=1800.06	? (TO) TT=1800.28	? (TO) TT=1800.28	? (TO) TT=1800.18
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=240-sizeP=121-sizeQ=240-330229238.opb	OPT f=1 TT=3.148 T1=1.74	? (TO) TT=1800.07	? (TO) TT=1800.09	OPT f=1 TT=3.187 T1=1.74	OPT f=1 TT=4.731 T1=2.15	OPT f=1 TT=3.148 T1=1.74
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=240-sizeP=121-sizeQ=240-817963885-max.opb		? (TO) TT=1800.09	? (TO) TT=1800.06	? (TO) TT=1800.18	? (TO) TT=1800.22	? (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/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=240-sizeP=121-sizeQ=240-817963885.opb	OPT f=1 TT=3.17 T1=1.76	? (TO) TT=1800.06	? (TO) TT=1800.06	OPT f=1 TT=3.187 T1=1.77	OPT f=1 TT=4.741 T1=2.14	OPT f=1 TT=3.17 T1=1.76
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=260-sizeP=131-sizeQ=260-466115074-max.opb		? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.24	? (TO) TT=1800.22	? (TO) TT=1800.18
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=260-sizeP=131-sizeQ=260-466115074.opb	OPT f=1 TT=3.69 T1=2.08	? (TO) TT=1800.06	? (TO) TT=1800.08	OPT f=1 TT=3.69 T1=2.08	OPT f=1 TT=5.745 T1=2.8	OPT f=1 TT=3.98 T1=2.28
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=260-sizeP=131-sizeQ=260-581480794-max.opb		? (TO) TT=1800.08	? (TO) TT=1800.06	? (TO) TT=1800.18	? (TO) TT=1800.27	? (TO) TT=1800.2
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=260-sizeP=131-sizeQ=260-581480794.opb	OPT f=1 TT=3.729 T1=2.12	? (TO) TT=1800.08	? (TO) TT=1800.08	OPT f=1 TT=3.729 T1=2.12	OPT f=1 TT=5.808 T1=2.79	OPT f=1 TT=3.736 T1=2.12
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=280-sizeP=141-sizeQ=280-254810631-max.opb		? (TO) TT=1800.09	? (TO) TT=1800.06	? (TO) TT=1800.22	? (TO) TT=1800.36	? (TO) TT=1800.16
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=280-sizeP=141-sizeQ=280-254810631.opb	OPT f=1 TT=4.427 T1=2.57	? (TO) TT=1800.06	? (TO) TT=1800.07	OPT f=1 TT=4.496 T1=2.58	OPT f=1 TT=7.182 T1=2.93	OPT f=1 TT=4.427 T1=2.57
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=280-sizeP=141-sizeQ=280-999529433-max.opb		? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.19	? (TO) TT=1800.26	? (TO) TT=1800.21
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=280-sizeP=141-sizeQ=280-999529433.opb	OPT f=1 TT=4.429 T1=2.57	? (TO) TT=1800.09	? (TO) TT=1800.06	OPT f=1 TT=4.473 T1=2.59	OPT f=1 TT=7.331 T1=2.96	OPT f=1 TT=4.429 T1=2.57
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=300-sizeP=151-sizeQ=300-346995195-max.opb		? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.23	? (TO) TT=1800.27	? (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/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=300-sizeP=151-sizeQ=300-346995195.opb	OPT f=1 TT=5.731 T1=3.23	? (TO) TT=1800.1	? (TO) TT=1800.07	OPT f=1 TT=5.855 T1=3.23	OPT f=1 TT=9.049 T1=3.73	OPT f=1 TT=5.731 T1=3.26
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=300-sizeP=151-sizeQ=300-692949159-max.opb		? (TO) TT=1800.09	? (TO) TT=1800.07	? (TO) TT=1800.23	? (TO) TT=1800.37	? (TO) TT=1800.2
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=300-sizeP=151-sizeQ=300-692949159.opb	OPT f=1 TT=5.722 T1=3.22	? (TO) TT=1800.11	? (TO) TT=1800.08	OPT f=1 TT=5.722 T1=3.24	OPT f=1 TT=9.402 T1=3.85	OPT f=1 TT=5.84 T1=3.22
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=320-sizeP=161-sizeQ=320-287873690-max.opb		? (TO) TT=1800.07	? (TO) TT=1800.08	? (TO) TT=1800.17	? (TO) TT=1800.33	? (TO) TT=1800.2
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=320-sizeP=161-sizeQ=320-287873690.opb	OPT f=1 TT=6.544 T1=3.82	? (TO) TT=1800.08	? (TO) TT=1800.08	OPT f=1 TT=7.307 T1=4.08	OPT f=1 TT=11.124 T1=4.44	OPT f=1 TT=6.544 T1=3.82
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=320-sizeP=161-sizeQ=320-420453220-max.opb		? (TO) TT=1800.05	? (TO) TT=1800.07	? (TO) TT=1800.2	? (TO) TT=1800.23	? (TO) TT=1800.12
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=320-sizeP=161-sizeQ=320-420453220.opb	OPT f=1 TT=6.539 T1=3.8	? (TO) TT=1800.06	? (TO) TT=1800.07	OPT f=1 TT=6.576 T1=3.82	OPT f=1 TT=10.946 T1=4.4	OPT f=1 TT=6.539 T1=3.8
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=340-sizeP=171-sizeQ=340-700380480-max.opb		? (TO) TT=1800.08	? (TO) TT=1800.07	? (TO) TT=1800.22	? (TO) TT=1800.39	? (TO) TT=1800.19
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=340-sizeP=171-sizeQ=340-700380480.opb	OPT f=1 TT=7.889 T1=4.64	? (TO) TT=1800.1	? (TO) TT=1800.06	OPT f=1 TT=7.889 T1=4.64	OPT f=1 TT=13.478 T1=5.16	OPT f=1 TT=7.947 T1=4.66
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=340-sizeP=171-sizeQ=340-737522999-max.opb		? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.21	? (TO) TT=1800.33	? (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/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=340-sizeP=171-sizeQ=340-737522999.opb	OPT f=1 TT=7.919 T1=4.67	? (TO) TT=1800.08	? (TO) TT=1800.06	OPT f=1 TT=8.318 T1=4.87	OPT f=1 TT=13.527 T1=5.16	OPT f=1 TT=7.919 T1=4.67
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=360-sizeP=181-sizeQ=360-770414132-max.opb		? (TO) TT=1800.1	? (TO) TT=1800.07	? (TO) TT=1800.23	? (TO) TT=1800.39	? (TO) TT=1800.14
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=360-sizeP=181-sizeQ=360-770414132.opb	OPT f=1 TT=9.358 T1=5.52	? (TO) TT=1800.07	? (TO) TT=1800.07	OPT f=1 TT=9.358 T1=5.52	OPT f=1 TT=16.057 T1=6.36	OPT f=1 TT=9.566 T1=5.59
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=360-sizeP=181-sizeQ=360-885821403-max.opb		? (TO) TT=1800.08	? (TO) TT=1800.05	? (TO) TT=1800.46	? (TO) TT=1800.28	? (TO) TT=1800.15
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=360-sizeP=181-sizeQ=360-885821403.opb	OPT f=1 TT=9.432 T1=5.59	? (TO) TT=1800.08	? (TO) TT=1800.08	OPT f=1 TT=9.432 T1=5.59	OPT f=1 TT=16.637 T1=6.4	OPT f=1 TT=9.822 T1=5.72
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=380-sizeP=191-sizeQ=380-376320478-max.opb		? (TO) TT=1800.08	? (TO) TT=1800.07	? (TO) TT=1800.21	? (TO) TT=1800.24	? (TO) TT=1800.11
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=380-sizeP=191-sizeQ=380-376320478.opb	OPT f=1 TT=11.082 T1=6.61	? (TO) TT=1800.13	? (TO) TT=1800.08	OPT f=1 TT=11.082 T1=6.62	OPT f=1 TT=19.335 T1=7.11	OPT f=1 TT=11.094 T1=6.61
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=380-sizeP=191-sizeQ=380-765568612-max.opb		? (TO) TT=1800.07	? (TO) TT=1800.09	? (TO) TT=1800.2	? (TO) TT=1800.42	? (TO) TT=1800.21
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=380-sizeP=191-sizeQ=380-765568612.opb	OPT f=1 TT=10.969 T1=6.51	? (TO) TT=1800.09	? (TO) TT=1800.1	OPT f=1 TT=10.987 T1=6.55	OPT f=1 TT=19.827 T1=7.45	OPT f=1 TT=10.969 T1=6.51
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=400-sizeP=201-sizeQ=400-517735400-max.opb		? (TO) TT=1800.06	? (TO) TT=1800.12	? (TO) TT=1800.17	? (TO) TT=1800.33	? (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/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=400-sizeP=201-sizeQ=400-517735400.opb	OPT f=1 TT=12.625 T1=7.67	? (TO) TT=1800.1	? (TO) TT=1800.06	OPT f=1 TT=12.625 T1=7.67	OPT f=1 TT=22.717 T1=8.29	OPT f=1 TT=12.914 T1=7.8
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=400-sizeP=201-sizeQ=400-87904490-max.opb		? (TO) TT=1800.1	? (TO) TT=1800.06	? (TO) TT=1800.22	? (TO) TT=1800.37	? (TO) TT=1800.17
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=400-sizeP=201-sizeQ=400-87904490.opb	OPT f=1 TT=12.664 T1=7.69	? (TO) TT=1800.08	? (TO) TT=1800.09	OPT f=1 TT=12.766 T1=7.72	OPT f=1 TT=22.543 T1=8.26	OPT f=1 TT=12.664 T1=7.69
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=40-sizeP=21-sizeQ=40-289612555-max.opb	SAT f=-11 TT=1800.15 T1=981.2	? (TO) TT=1800.06	? (TO) f=-18535 TT=1800.07 T1=1800	? (TO) TT=1800.19	SAT (TO) f=-5 TT=1800.21 T1=118.73	SAT (TO) f=-11 TT=1800.15 T1=981.2
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=40-sizeP=21-sizeQ=40-289612555.opb	OPT f=1 TT=0.595 T1=0.32	? (TO) TT=1800.08	OPT f=1 TT=70.242 T1=70.24	OPT f=1 TT=0.604 T1=0.32	OPT f=1 TT=0.927 T1=0.82	OPT f=1 TT=0.595 T1=0.32
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=40-sizeP=21-sizeQ=40-793490986-max.opb	OPT f=-1307731 TT=404.265 T1=398.14	? (TO) f=-13303 TT=1800.04 T1=850.43	OPT f=-1307731 TT=1061.88 T1=1061.85	? (TO) TT=1800.25	OPT f=-1307731 TT=906.09 T1=453.41	OPT f=-1307731 TT=404.265 T1=398.14
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=40-sizeP=21-sizeQ=40-793490986.opb	OPT f=1 TT=0.592 T1=0.32	OPT f=1 TT=794.262 T1=794.21	OPT f=1 TT=128.924 T1=128.91	OPT f=1 TT=0.609 T1=0.32	OPT f=1 TT=0.87 T1=0.82	OPT f=1 TT=0.592 T1=0.34
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=420-sizeP=211-sizeQ=420-348698641-max.opb		? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800.18	? (TO) TT=1800.4	? (TO) TT=1800.19
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=420-sizeP=211-sizeQ=420-348698641.opb	OPT f=1 TT=15.139 T1=9.13	? (TO) TT=1800.09	? (TO) TT=1800.12	OPT f=1 TT=15.139 T1=9.13	OPT f=1 TT=27.829 T1=10.09	OPT f=1 TT=16.218 T1=9.93
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=420-sizeP=211-sizeQ=420-802270006-max.opb		? (TO) TT=1800.1	? (TO) TT=1800.08	? (TO) TT=1800.25	? (TO) TT=1800.22	? (TO) TT=1800.17
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/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=420-sizeP=211-sizeQ=420-802270006.opb	OPT f=1 TT=15.103 T1=9.09	? (TO) TT=1800.1	? (TO) TT=1800.08	OPT f=1 TT=15.103 T1=9.09	OPT f=1 TT=27.228 T1=10.16	OPT f=1 TT=15.198 T1=9.16
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=440-sizeP=221-sizeQ=440-24744542-max.opb		? (TO) TT=1800.1	? (TO) TT=1800.09	? (TO) TT=1800.21	? (TO) TT=1800.23	? (TO) TT=1800.14
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=440-sizeP=221-sizeQ=440-24744542.opb	OPT f=1 TT=17.622 T1=10.62	? (TO) TT=1800.08	? (TO) TT=1800.11	OPT f=1 TT=17.622 T1=10.62	OPT f=1 TT=31.778 T1=11.48	OPT f=1 TT=18.709 T1=11.3
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=440-sizeP=221-sizeQ=440-726468498-max.opb		? (TO) TT=1800.11	? (TO) TT=1800.07	? (TO) TT=1800.2	? (TO) TT=1800.2	? (TO) TT=1800.19
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=440-sizeP=221-sizeQ=440-726468498.opb	OPT f=1 TT=17.296 T1=10.48	? (TO) TT=1800.08	? (TO) TT=1800.08	OPT f=1 TT=17.613 T1=10.61	OPT f=1 TT=33.128 T1=12.18	OPT f=1 TT=17.296 T1=10.48
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=460-sizeP=231-sizeQ=460-367423129-max.opb		? (TO) TT=1800.11	? (TO) TT=1800.1	? (TO) TT=1800.25	? (TO) TT=1800.35	? (TO) TT=1800.15
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=460-sizeP=231-sizeQ=460-367423129.opb	OPT f=1 TT=20.232 T1=12.29	? (TO) TT=1800.08	? (TO) TT=1800.1	OPT f=1 TT=20.29 T1=12.34	OPT f=1 TT=38.464 T1=13.65	OPT f=1 TT=20.232 T1=12.29
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=460-sizeP=231-sizeQ=460-510733673-max.opb		? (TO) TT=1800.1	? (TO) TT=1800.07	? (TO) TT=1800.24	? (TO) TT=1800.27	? (TO) TT=1800.13
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=460-sizeP=231-sizeQ=460-510733673.opb	OPT f=1 TT=20.152 T1=12.27	? (TO) TT=1800.11	? (TO) TT=1800.11	OPT f=1 TT=20.152 T1=12.37	OPT f=1 TT=37.041 T1=13.2	OPT f=1 TT=20.253 T1=12.27
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=480-sizeP=241-sizeQ=480-57455727-max.opb		? (TO) TT=1800.11	? (TO) TT=1800.07	? (TO) TT=1800.2	? (TO) TT=1800.33	? (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/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=480-sizeP=241-sizeQ=480-57455727.opb	OPT f=1 TT=23.79 T1=14.32	? (TO) TT=1800.17	? (TO) TT=1800.09	OPT f=1 TT=31.047 T1=21.51	OPT f=1 TT=43.49 T1=15.16	OPT f=1 TT=23.79 T1=14.32
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=480-sizeP=241-sizeQ=480-896328136-max.opb		? (TO) TT=1800.12	? (TO) TT=1800.09	? (TO) TT=1800.26	? (TO) TT=1800.27	? (TO) TT=1800.17
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=480-sizeP=241-sizeQ=480-896328136.opb	OPT f=1 TT=23.775 T1=14.31	? (TO) TT=1800.15	? (TO) TT=1800.1	OPT f=1 TT=25.968 T1=15.67	OPT f=1 TT=43.589 T1=15.18	OPT f=1 TT=23.775 T1=14.31
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=500-sizeP=251-sizeQ=500-280035866-max.opb		? (TO) TT=1800.13	? (TO) TT=1800.09	? (TO) TT=1800.21	? (TO) TT=1800.32	? (TO) TT=1800.14
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=500-sizeP=251-sizeQ=500-280035866.opb	OPT f=1 TT=26.768 T1=16.15	? (TO) TT=1800.15	? (TO) TT=1800.11	OPT f=1 TT=28.598 T1=17.01	OPT f=1 TT=51.391 T1=17.78	OPT f=1 TT=26.768 T1=16.15
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=500-sizeP=251-sizeQ=500-293748522-max.opb		? (TO) TT=1800.11	? (TO) TT=1800.13	? (TO) TT=1800.21	? (TO) TT=1800.21	? (TO) TT=1800.16
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=500-sizeP=251-sizeQ=500-293748522.opb	OPT f=1 TT=26.956 T1=16.25	? (TO) TT=1800.11	? (TO) TT=1800.08	OPT f=1 TT=27.212 T1=16.35	OPT f=1 TT=50.158 T1=17.52	OPT f=1 TT=26.956 T1=16.25
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=60-sizeP=31-sizeQ=60-472296155-max.opb		? (TO) TT=1800.07	? (TO) f=-19 TT=1800.08 T1=1800	? (TO) TT=1800.25	? (TO) TT=1800.28	? (TO) TT=1800.08
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=60-sizeP=31-sizeQ=60-472296155.opb	OPT f=1 TT=1.001 T1=0.43	? (TO) TT=1800.05	OPT f=1 TT=121.986 T1=121.98	OPT f=1 TT=1.001 T1=0.43	OPT f=1 TT=1.476 T1=0.98	OPT f=1 TT=1.002 T1=0.44
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=60-sizeP=31-sizeQ=60-784051325-max.opb		? (TO) TT=1800.06	? (TO) f=-49 TT=1800.07 T1=1800	? (TO) TT=1800.22	? (TO) TT=1800.34	? (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/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=60-sizeP=31-sizeQ=60-784051325.opb	OPT f=1 TT=1.019 T1=0.43	? (TO) TT=1800.06	OPT f=1 TT=48.108 T1=48.1	OPT f=1 TT=1.019 T1=0.43	OPT f=1 TT=1.53 T1=0.97	OPT f=1 TT=1.12 T1=0.48
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=7.83	? (TO) TT=1800.05	? (TO) f=-66 TT=1800.07 T1=1800	SAT (TO) f=-2 TT=1800.26 T1=7.83	SAT (TO) f=-2 TT=1800.32 T1=8.01	? (TO) TT=1800.17
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=80-sizeP=41-sizeQ=80-505615378.opb	OPT f=1 TT=0.932 T1=0.47	? (TO) TT=1800.05	OPT f=1 TT=737.982 T1=737.95	OPT f=1 TT=0.932 T1=0.47	OPT f=1 TT=1.698 T1=0.98	OPT f=1 TT=0.974 T1=0.48
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=80-sizeP=41-sizeQ=80-898154415-max.opb		? (TO) TT=1800.04	? (TO) TT=1800.07	? (TO) TT=1800.27	? (TO) TT=1800.25	? (TO) TT=1800.08
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=80-sizeP=41-sizeQ=80-898154415.opb	OPT f=1 TT=0.95 T1=0.47	? (TO) TT=1800.09	? (TO) TT=1800.02	OPT f=1 TT=0.95 T1=0.47	OPT f=1 TT=1.762 T1=0.99	OPT f=1 TT=0.99 T1=0.5
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
normalized-PB06/OPT-MEDINT/web/ www.ps.uni-sb.de/~walser/benchmarks/ course-ass/normalized-ws97-3.opb	SAT f=3059 TT=1800.29 T1=555.22	? (TO) f=94173 TT=1800.07 T1=1800.01	? (TO) f=96161 TT=1800.05 T1=1800	SAT (TO) f=3061 TT=1800.33 T1=386.02	SAT (TO) f=3059 TT=1800.29 T1=555.22	SAT (TO) f=3074 TT=1800.17 T1=0.45
normalized-PB07/OPT-BIGINT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir03_trarea_ac.opb	SAT f=25029 TT=1800.12 T1=1750.48	? (TO) f=26188 TT=1800.05 T1=0.08	? (TO) f=26188 TT=1800.05 T1=1800	SAT (TO) f=25451 TT=1800.28 T1=945.12	SAT (TO) f=25526 TT=1800.28 T1=786.01	SAT (TO) f=25029 TT=1800.12 T1=1750.48
normalized-PB07/OPT-BIGINT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir04_trarea_ac.opb	SAT f=46143 TT=1800.37 T1=1775.29	? (TO) f=45992 TT=1800.07 T1=0.15	? (TO) f=45992 TT=1800.07 T1=1800	SAT (TO) f=46143 TT=1800.37 T1=1775.29	SAT (TO) f=49595 TT=1800.31 T1=301.51	SAT (TO) f=49325 TT=1800.17 T1=585.69
normalized-PB07/OPT-BIGINT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir05_trarea_ac.opb	SAT f=50025 TT=1800.27 T1=1325.51	? (TO) f=51902 TT=1800.05 T1=0.06	? (TO) f=51902 TT=1800.03 T1=1800.2	SAT (TO) f=50025 TT=1800.27 T1=1325.51	SAT (TO) f=50679 TT=1800.18 T1=152.82	SAT (TO) f=52176 TT=1800.13 T1=326.33
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-PB07/OPT-BIGINT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir06_trarea_ac.opb	SAT f=40117 TT=1800.37 T1=875.36	? (TO) f=35333 TT=1800.05 T1=0.32	? (TO) f=35333 TT=1800.06 T1=1800	SAT (TO) f=44175 TT=1800.33 T1=984.33	SAT (TO) f=40117 TT=1800.37 T1=875.36	SAT (TO) f=40132 TT=1800.2 T1=1200.67
normalized-PB07/OPT-BIGINT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir07_trarea_ac.opb	SAT f=59106 TT=1800.12 T1=534.79	? (TO) f=62017 TT=1800.07 T1=0.22	? (TO) f=62017 TT=1800.05 T1=1800	SAT (TO) f=60857 TT=1800.28 T1=1104.04	SAT (TO) f=59783 TT=1800.42 T1=966.45	SAT (TO) f=59106 TT=1800.12 T1=534.79
normalized-PB07/OPT-BIGINT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir08_trarea_ac.opb	SAT f=88870 TT=1800.26 T1=959.16	? (TO) f=90757 TT=1800.06 T1=5.44	? (TO) f=90757 TT=1800.1 T1=1800	SAT (TO) f=95110 TT=1800.39 T1=1184.66	SAT (TO) f=93024 TT=1800.41 T1=259.22	SAT (TO) f=88870 TT=1800.26 T1=959.16
normalized-PB07/OPT-BIGINT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir09_trarea_ac.opb	SAT f=59687 TT=1800.31 T1=609.45	? (TO) f=72414 TT=1800.12 T1=0.44	? (TO) f=72414 TT=1800.1 T1=1800	SAT (TO) f=59879 TT=1800.31 T1=1130.44	SAT (TO) f=59687 TT=1800.31 T1=609.45	SAT (TO) f=61123 TT=1800.15 T1=135.71
normalized-PB07/OPT-BIGINT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir10_trarea_ac.opb	SAT f=96552 TT=1800.28 T1=352.81	? (TO) f=103879 TT=1800.08 T1=3.34	? (TO) f=103879 TT=1800.07 T1=1800	SAT (TO) f=100432 TT=1800.4 T1=1360.47	SAT (TO) f=96552 TT=1800.48 T1=489.69	SAT (TO) f=96552 TT=1800.28 T1=352.81
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_1000_5__369_766__1024.opb		? (TO) f=1802681 TT=1801.83 T1=1150.37	? (TO) TT=1800.57	? (TO) TT=1800.31	? (TO) TT=1800.5	? (TO) TT=1800.32
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_1000_5__369_766__128.opb	SAT f=164220 TT=1800.73 T1=257.32	? (TO) TT=1800.12	? (TO) f=12097922 TT=1800.29 T1=1800	? (TO) TT=1800.23	SAT (TO) f=164220 TT=1800.89 T1=262.04	SAT (TO) f=164220 TT=1800.73 T1=257.32
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_1000_5__369_766__16.opb	SAT f=139275 TT=1800.42 T1=27.25	? (TO) TT=1800.06	? (TO) f=29175247 TT=1800.06 T1=1800	SAT (TO) f=28989939 TT=1800.34 T1=145.11	SAT (TO) f=139275 TT=1800.42 T1=30.23	SAT (TO) f=139275 TT=1800.44 T1=27.25
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_1000_5__369_766__2048.opb		? (MO) TT=234.512	? (MO) TT=207.207	? (TO) TT=1800.39	? TT=977.014	? (TO) TT=1800.33
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_1000_5__369_766__256.opb	SAT f=315142 TT=1801.06 T1=1098.29	? (TO) TT=1800.22	? (TO) f=9320917 TT=1800.51 T1=1800	? (TO) TT=1800.24	SAT (TO) f=315142 TT=1801.24 T1=1120.86	SAT (TO) f=315142 TT=1801.06 T1=1098.29
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)
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_1000_5__369_766__32.opb	SAT f=123243 TT=1800.4 T1=18.37	? (TO) TT=1800.06	? (TO) f=815570 TT=1800.1 T1=1800	SAT (TO) f=29566866 TT=1800.44 T1=509.39	SAT (TO) f=123243 TT=1800.57 T1=19.3	SAT (TO) f=123243 TT=1800.4 T1=18.37
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_1000_5__369_766__512.opb		? (TO) f=4309807 TT=1800.84 T1=441.95	? (TO) f=380238 TT=1800.93 T1=1800	? (TO) TT=1800.28	? (TO) TT=1800.36	? (TO) TT=1800.34
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_1000_5__369_766__64.opb	SAT f=153701 TT=1800.51 T1=122.83	? (TO) f=562516 TT=1800.18 T1=14.09	? (TO) f=4252855 TT=1800.14 T1=1800	? (TO) TT=1800.2	SAT (TO) f=153701 TT=1800.79 T1=129.28	SAT (TO) f=153701 TT=1800.51 T1=122.83
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_1000_5__369_766__8.opb	SAT f=153701 TT=1800.33 T1=1487.68	? (TO) f=31610894 TT=1800.06 T1=1134.46	? (TO) f=6970740 TT=1800.08 T1=1800	SAT (TO) f=9235121 TT=1800.41 T1=287.09	SAT (TO) f=174384 TT=1800.57 T1=537.67	SAT (TO) f=153701 TT=1800.33 T1=1487.68
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_1000_5__369_766.opb	OPT f=87132 TT=70.762 T1=43.59	? (TO) f=3993575 TT=1800.07 T1=0.53	? (TO) f=5535444 TT=1800.05 T1=1800	SAT (TO) f=426884 TT=1800.34 T1=13.5	OPT f=87132 TT=161.238 T1=57.43	OPT f=87132 TT=70.762 T1=43.59
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_100_3__3_91__1024.opb	SAT f=163648 TT=1800.51 T1=868.77	? (TO) f=229546 TT=1800.15 T1=44.86	? (TO) f=229546 TT=1800.14 T1=1800	? (TO) TT=1800.29	SAT (TO) f=163648 TT=1800.78 T1=883.13	SAT (TO) f=163648 TT=1800.51 T1=868.77
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_100_3__3_91__128.opb	SAT f=70998 TT=1800.49 T1=69.21	? (TO) f=991778 TT=1800.06 T1=2.58	? (TO) f=2344366 TT=1800.09 T1=1800	SAT (TO) f=72735 TT=1800.38 T1=1113.68	SAT (TO) f=70998 TT=1800.49 T1=69.21	SAT (TO) f=71870 TT=1800.25 T1=692.12
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_100_3__3_91__16.opb	SAT f=70998 TT=1800.17 T1=284.33	? (TO) f=72735 TT=1800.04 T1=1787.93	? (TO) f=172320 TT=1800.05 T1=1800	SAT (TO) f=71863 TT=1800.3 T1=10.71	SAT (TO) f=70998 TT=1800.46 T1=284.33	SAT (TO) f=70998 TT=1800.17 T1=561.95
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_100_3__3_91__2048.opb		? (TO) f=1239434 TT=1800.28 T1=174.31	? (TO) f=473078 TT=1800.25 T1=1800	? (TO) TT=1800.19	? (TO) TT=1800.39	? (TO) TT=1800.32
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_100_3__3_91__256.opb	SAT f=72735 TT=1800.4 T1=166.59	? (TO) f=227740 TT=1800.08 T1=4.56	? (TO) f=227740 TT=1800.08 T1=1800	SAT (TO) f=72735 TT=1800.4 T1=166.59	SAT (TO) f=108033 TT=1800.42 T1=246.01	SAT (TO) f=97475 TT=1800.25 T1=1249.63
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)
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_100_3__3_91__32.opb	SAT f=71837 TT=1800.5 T1=726.58	? (TO) f=201036 TT=1800.08 T1=1030.28	? (TO) f=201160 TT=1800.06 T1=1800	SAT (TO) f=72735 TT=1800.3 T1=26.64	SAT (TO) f=71837 TT=1800.5 T1=726.58	SAT (TO) f=87235 TT=1800.21 T1=1126.56
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_100_3__3_91__512.opb	SAT f=71863 TT=1800.39 T1=126.89	? (TO) f=1183483 TT=1800.13 T1=22.38	? (TO) f=692958 TT=1800.1 T1=1800	SAT (TO) f=72735 TT=1800.48 T1=709.87	SAT (TO) f=71863 TT=1800.59 T1=130.44	SAT (TO) f=71863 TT=1800.39 T1=126.89
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_100_3__3_91__64.opb	SAT f=72735 TT=1800.33 T1=102.12	? (TO) f=838796 TT=1800.05 T1=1.29	? (TO) f=522263 TT=1800.09 T1=1800.1	SAT (TO) f=72735 TT=1800.39 T1=128.55	SAT (TO) f=72735 TT=1800.33 T1=102.12	SAT (TO) f=98605 TT=1800.23 T1=1029.62
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_100_3__3_91__8.opb	OPT f=70998 TT=1668.06 T1=3.97	? (TO) f=70998 TT=1800.05 T1=1393.94	? (TO) f=70998 TT=1800.06 T1=1800	OPT f=70998 TT=1668.06 T1=64.84	SAT (TO) f=70998 TT=1800.33 T1=6.4	SAT (TO) f=70998 TT=1800.22 T1=3.97
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_100_3__3_91.opb	OPT f=70998 TT=0.579 T1=0.21	OPT f=70998 TT=11.734 T1=11.6	OPT f=70998 TT=4.614 T1=4.61	OPT f=70998 TT=1.664 T1=0.31	OPT f=70998 TT=1.026 T1=2.24	OPT f=70998 TT=0.579 T1=0.21
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_2000_5__647_1792__128.opb	SAT f=299390 TT=1800.85 T1=981.92	? (TO) f=5060792 TT=1800.58 T1=208.88	? (TO) f=4868575 TT=1800.47 T1=1800	? (TO) TT=1800.34	SAT (TO) f=299390 TT=1801.18 T1=989.29	SAT (TO) f=299390 TT=1800.85 T1=981.92
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_2000_5__647_1792__16.opb	SAT f=202753 TT=1800.49 T1=879.46	? (TO) TT=1800.06	? (TO) TT=1800.06	SAT (TO) f=59329986 TT=1800.46 T1=562.46	SAT (TO) f=265117 TT=1800.76 T1=366.86	SAT (TO) f=202753 TT=1800.49 T1=879.46
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_2000_5__647_1792__256.opb		? (TO) f=18750130 TT=1800.84 T1=1466.03	? (TO) TT=1800.33	? (TO) TT=1800.26	? (TO) TT=1800.37	? (TO) TT=1800.28
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_2000_5__647_1792__32.opb	SAT f=251954 TT=1800.53 T1=280.65	? (TO) f=1587839 TT=1800.17 T1=16.34	? (TO) TT=1800.08	? (TO) TT=1800.25	SAT (TO) f=251954 TT=1800.67 T1=1356.91	SAT (TO) f=251954 TT=1800.53 T1=280.65
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_2000_5__647_1792__512.opb		? (TO) TT=1800.46	? (TO) f=2221811 TT=1801.87 T1=1800	? (TO) TT=1800.35	? (TO) TT=1800.47	? (TO) TT=1800.35
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)
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_2000_5__647_1792__64.opb	SAT f=243044 TT=1800.68 T1=807.52	? (TO) f=5850675 TT=1800.27 T1=92.84	? (TO) f=20844800 TT=1800.27 T1=1800	? (TO) TT=1800.3	SAT (TO) f=247795 TT=1800.68 T1=279.04	SAT (TO) f=243044 TT=1800.68 T1=807.52
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_2000_5__647_1792__8.opb	SAT f=129834 TT=1800.32 T1=146.23	? (TO) f=617485 TT=1800.08 T1=3.12	? (TO) f=617485 TT=1800.09 T1=1800	SAT (TO) f=20578368 TT=1800.46 T1=811.66	SAT (TO) f=129834 TT=1800.56 T1=314.11	SAT (TO) f=129834 TT=1800.32 T1=146.23
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_2000_5__647_1792.opb	OPT f=74222 TT=40.885 T1=27.04	? (TO) f=27383789 TT=1800.07 T1=5.63	? (TO) f=9408242 TT=1800.06 T1=1800	SAT (TO) f=306116 TT=1800.35 T1=781.02	OPT f=74222 TT=85.764 T1=40.38	OPT f=74222 TT=40.885 T1=27.04
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_20_2__17_12__1024.opb	OPT f=46877 TT=4.537 T1=2.61	? (TO) f=46877 TT=1800.1 T1=1.3	? (TO) f=46877 TT=1800.1 T1=1800	OPT f=46877 TT=4.537 T1=2.61	OPT f=46877 TT=6.587 T1=2.92	SAT (TO) f=46877 TT=1800.31 T1=124.4
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_20_2__17_12__128.opb	OPT f=46877 TT=1.674 T1=0.54	? (TO) f=46877 TT=1800.08 T1=858.99	? (TO) f=151396 TT=1800.06 T1=1800	OPT f=46877 TT=1.674 T1=0.54	OPT f=46877 TT=2.929 T1=0.97	OPT f=46877 TT=1060.99 T1=0.54
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_20_2__17_12__16.opb	OPT f=46877 TT=0.51 T1=0.23	OPT f=46877 TT=59.425 T1=49.06	OPT f=46877 TT=105.315 T1=105.47	OPT f=46877 TT=0.51 T1=0.24	OPT f=46877 TT=0.926 T1=0.71	OPT f=46877 TT=0.79 T1=0.23
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_20_2__17_12__2048.opb	OPT f=46877 TT=11.479 T1=8.31	? (TO) f=457184 TT=1800.08 T1=15.44	? (TO) f=457184 TT=1800.11 T1=1800.1	OPT f=46877 TT=11.479 T1=8.31	OPT f=46877 TT=19.382 T1=9.08	SAT (TO) f=46877 TT=1800.23 T1=471.91
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_20_2__17_12__256.opb	OPT f=46877 TT=2.165 T1=0.75	? (TO) f=46877 TT=1800.09 T1=407.9	? (TO) f=46877 TT=1800.05 T1=1800	OPT f=46877 TT=2.165 T1=0.75	OPT f=46877 TT=3.225 T1=1.09	SAT (TO) f=46877 TT=1800.27 T1=2.93
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_20_2__17_12__32.opb	OPT f=46877 TT=0.888 T1=0.32	OPT f=46877 TT=147.254 T1=108.61	OPT f=46877 TT=85.362 T1=85.35	OPT f=46877 TT=0.888 T1=0.39	OPT f=46877 TT=2.669 T1=0.77	OPT f=46877 TT=2.396 T1=0.32
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_20_2__17_12__512.opb	OPT f=46877 TT=2.618 T1=1.16	? (TO) f=501088 TT=1800.04 T1=1093.08	? (TO) f=330664 TT=1800.05 T1=1800	OPT f=46877 TT=2.618 T1=1.16	OPT f=46877 TT=3.909 T1=1.3	SAT (TO) f=46877 TT=1800.3 T1=18.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)
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_20_2__17_12__64.opb	OPT f=46877 TT=1.322 T1=0.42	? (TO) f=46877 TT=1800.08 T1=610.02	OPT f=46877 TT=1161.6 T1=1161.56	OPT f=46877 TT=1.322 T1=0.44	OPT f=46877 TT=2.444 T1=0.86	OPT f=46877 TT=16.541 T1=0.42
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_20_2__17_12__8.opb	OPT f=46877 TT=0.076 T1=0.04	OPT f=46877 TT=0.076 T1=0.04	OPT f=46877 TT=0.122 T1=0.12	OPT f=46877 TT=0.332 T1=0.2	OPT f=46877 TT=0.413 T1=0.69	OPT f=46877 TT=0.437 T1=0.2
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_20_2__17_12.opb	OPT f=46877 TT=0.009 T1=0	OPT f=46877 TT=0.009 T1=0	OPT f=46877 TT=0.012 T1=0.01	OPT f=46877 TT=0.163 T1=0.13	OPT f=46877 TT=0.18 T1=0.65	OPT f=46877 TT=0.174 T1=0.14
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_3000_5__126_2812__1024.opb		? (MO) TT=226.03	? (MO) TT=226.694	? TT=894.776	? (exit code) TT=925.123	? (TO) TT=1803.83
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_3000_5__126_2812__128.opb		? (TO) TT=1800.23	? (TO) f=1900985 TT=1800.7 T1=1800	? (TO) TT=1800.43	? (TO) TT=1800.29	? (TO) TT=1800.26
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_3000_5__126_2812__16.opb	SAT f=82784 TT=1800.48 T1=233.95	? (TO) TT=1800.1	? (TO) f=6832944 TT=1800.13 T1=1800	SAT (TO) f=88724291 TT=1800.53 T1=1212.91	SAT (TO) f=82784 TT=1800.84 T1=1305.53	SAT (TO) f=82784 TT=1800.48 T1=233.95
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_3000_5__126_2812__256.opb		? (TO) TT=1800.36	? (TO) TT=1800.44	? (TO) TT=1800.3	? (TO) TT=1800.45	? (TO) TT=1800.34
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_3000_5__126_2812__32.opb	SAT f=156851 TT=1800.59 T1=249.08	? (TO) f=57534652 TT=1800.21 T1=642.55	? (TO) TT=1800.09	? (TO) TT=1800.32	SAT (TO) f=156851 TT=1800.79 T1=265.83	SAT (TO) f=156851 TT=1800.59 T1=249.08
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_3000_5__126_2812__512.opb		? (MO) TT=194.932	? (MO) TT=174.345	? (TO) TT=1800.46	? (TO) TT=1802.38	? (TO) TT=1800.42
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_3000_5__126_2812__64.opb	SAT f=105139 TT=1800.9 T1=452.55	? (TO) f=14860741 TT=1800.32 T1=348.48	? (TO) TT=1800.16	? (TO) TT=1800.23	SAT (TO) f=105139 TT=1801.24 T1=492.98	SAT (TO) f=105139 TT=1800.9 T1=452.55
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)
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_3000_5__126_2812__8.opb	SAT f=73939 TT=1800.38 T1=28.84	? (TO) TT=1800.07	? (TO) f=34053863 TT=1800.09 T1=1800	SAT (TO) f=91356491 TT=1800.48 T1=623.89	SAT (TO) f=73939 TT=1800.48 T1=33.81	SAT (TO) f=73939 TT=1800.38 T1=28.84
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_3000_5__126_2812.opb	OPT f=60720 TT=13.001 T1=9.87	? (TO) f=55083784 TT=1800.07 T1=25.59	? (TO) f=20817601 TT=1800.07 T1=1800	SAT (TO) f=144566 TT=1800.35 T1=1660.2	OPT f=60720 TT=66.171 T1=47.4	OPT f=60720 TT=13.001 T1=9.87
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_500_3__212_366__1024.opb		? (TO) TT=1800.19	? (TO) f=746764 TT=1800.6 T1=1800	? (TO) TT=1800.21	? (TO) TT=1800.37	? (TO) TT=1800.36
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_500_3__212_366__128.opb	SAT f=211634 TT=1800.42 T1=47.82	? (TO) f=288612 TT=1800.15 T1=7.3	? (TO) f=288612 TT=1800.12 T1=1800	? (TO) TT=1800.28	SAT (TO) f=211634 TT=1800.58 T1=49.62	SAT (TO) f=211634 TT=1800.42 T1=47.82
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_500_3__212_366__16.opb	SAT f=151858 TT=1800.2 T1=1.49	? (TO) f=4397075 TT=1800.1 T1=2.29	? (TO) f=2979140 TT=1800.08 T1=1800	SAT (TO) f=13528332 TT=1800.32 T1=15.03	SAT (TO) f=151858 TT=1800.6 T1=2.01	SAT (TO) f=151858 TT=1800.2 T1=1.49
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_500_3__212_366__2048.opb		? (TO) TT=1800.38	? (TO) f=1989664 TT=1801.06 T1=1800	? (TO) TT=1800.29	? (TO) TT=1800.49	? (TO) TT=1800.37
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_500_3__212_366__256.opb	SAT f=245667 TT=1800.58 T1=131.74	? (TO) f=5276061 TT=1800.25 T1=76.04	? (TO) TT=1800.11	? (TO) TT=1800.23	SAT (TO) f=245667 TT=1800.88 T1=141.47	SAT (TO) f=245667 TT=1800.58 T1=131.74
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_500_3__212_366__32.opb	SAT f=107914 TT=1800.29 T1=3.1	? (TO) f=9375209 TT=1800.11 T1=11.76	? (TO) f=215584 TT=1800.06 T1=1800	SAT (TO) f=13239418 TT=1800.46 T1=191.87	SAT (TO) f=107914 TT=1800.46 T1=3.65	SAT (TO) f=107914 TT=1800.29 T1=3.1
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_500_3__212_366__512.opb	SAT f=185820 TT=1800.78 T1=567.57	? (TO) f=580841 TT=1800.29 T1=88.33	? (TO) f=3284875 TT=1800.28 T1=1800	? (TO) TT=1800.3	SAT (TO) f=185820 TT=1801.03 T1=567.57	SAT (TO) f=185820 TT=1800.78 T1=579.5
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_500_3__212_366__64.opb	SAT f=113351 TT=1800.36 T1=229.33	? (TO) f=329636 TT=1800.12 T1=5.86	? (TO) f=329636 TT=1800.08 T1=1800	SAT (TO) f=334241 TT=1800.35 T1=825.03	SAT (TO) f=113351 TT=1800.59 T1=232.39	SAT (TO) f=113351 TT=1800.36 T1=229.33
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)
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_500_3__212_366__8.opb	SAT f=95378 TT=1800.18 T1=598.77	? (TO) f=481938 TT=1800.1 T1=0.49	? (TO) f=481938 TT=1800.08 T1=1800	SAT (TO) f=165266 TT=1800.38 T1=599.44	SAT (TO) f=95378 TT=1800.55 T1=598.77	SAT (TO) f=95378 TT=1800.18 T1=635.46
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_500_3__212_366.opb	OPT f=95378 TT=1.554 T1=0.65	? (TO) f=2646681 TT=1800.06 T1=0.19	? (TO) f=4656402 TT=1800.07 T1=1800	OPT f=95378 TT=109.093 T1=88.76	OPT f=95378 TT=3.165 T1=2.84	OPT f=95378 TT=1.554 T1=0.65
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_50_2__8_45__1024.opb	OPT f=45008 TT=18.939 T1=16.46	? (TO) f=635287 TT=1800.09 T1=862.43	? (TO) f=597263 TT=1800.09 T1=1800	OPT f=45008 TT=18.939 T1=16.46	OPT f=45008 TT=27.481 T1=17.34	SAT (TO) f=45008 TT=1800.31 T1=135.34
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_50_2__8_45__128.opb	OPT f=45008 TT=2.528 T1=0.77	? (TO) f=701636 TT=1800.08 T1=20.68	? (TO) f=297773 TT=1800.06 T1=1800	OPT f=45008 TT=2.528 T1=1.16	OPT f=45008 TT=3.494 T1=1.15	OPT f=45008 TT=24.818 T1=0.77
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_50_2__8_45__16.opb	OPT f=45008 TT=0.356 T1=0.04	OPT f=45008 TT=0.356 T1=0.04	OPT f=45008 TT=0.387 T1=0.38	OPT f=45008 TT=1.024 T1=0.43	OPT f=45008 TT=1.649 T1=1.28	OPT f=45008 TT=43.751 T1=43.02
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_50_2__8_45__2048.opb	OPT f=45008 TT=63.979 T1=59.23	? (TO) f=829840 TT=1800.1 T1=252.72	? (TO) f=889119 TT=1800.14 T1=1800	OPT f=45008 TT=63.979 T1=59.23	OPT f=45008 TT=94.735 T1=64.11	SAT (TO) f=45008 TT=1800.39 T1=992.4
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_50_2__8_45__256.opb	OPT f=45008 TT=3.927 T1=2.09	? (TO) f=569330 TT=1800.07 T1=1.48	? (TO) f=511990 TT=1800.06 T1=1800	OPT f=45008 TT=3.927 T1=2.09	OPT f=45008 TT=5.365 T1=2.36	OPT f=45008 TT=344.45 T1=4.05
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_50_2__8_45__32.opb	OPT f=45008 TT=1.556 T1=0.58	? (TO) f=388805 TT=1800.06 T1=832.47	? (TO) f=581522 TT=1800.1 T1=1800.1	OPT f=45008 TT=1.556 T1=0.58	OPT f=45008 TT=2.356 T1=1.46	OPT f=45008 TT=358.696 T1=356.56
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_50_2__8_45__512.opb	OPT f=45008 TT=7.088 T1=5.32	? (TO) f=969201 TT=1800.06 T1=280.2	? (TO) f=645932 TT=1800.06 T1=1800	OPT f=45008 TT=7.088 T1=5.32	OPT f=45008 TT=10.02 T1=5.82	SAT (TO) f=45008 TT=1800.22 T1=21.38
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_50_2__8_45__64.opb	OPT f=45008 TT=1.916 T1=0.54	? (TO) f=936386 TT=1800.06 T1=170.43	? (TO) f=384054 TT=1800.07 T1=1800	OPT f=45008 TT=1.916 T1=0.77	OPT f=45008 TT=2.307 T1=0.93	OPT f=45008 TT=6.845 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)
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_50_2__8_45__8.opb	OPT f=45008 TT=0.091 T1=0.02	OPT f=45008 TT=0.091 T1=0.02	OPT f=45008 TT=0.109 T1=0.1	OPT f=45008 TT=0.698 T1=0.32	OPT f=45008 TT=1.17 T1=1.24	OPT f=45008 TT=1.563 T1=1.06
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_50_2__8_45.opb	OPT f=45008 TT=0.184 T1=0.15	OPT f=45008 TT=0.251 T1=0.25	OPT f=45008 TT=0.35 T1=0.35	OPT f=45008 TT=0.195 T1=0.16	OPT f=45008 TT=0.209 T1=1.15	OPT f=45008 TT=0.184 T1=0.15
/OPT-BIGINT-LIN/ heinz/normalized-air04.opb	SAT f=80375 TT=1800.18 T1=1389.33	? (TO) TT=1800.03	? (TO) TT=1800.05	? (TO) TT=1800.22	? (TO) TT=1800.33	SAT (TO) f=80375 TT=1800.18 T1=1389.33
/OPT-BIGINT-LIN/heinz/ normalized-bley_xl1.opb	OPT f=38 TT=16.738 T1=12.89	? (TO) f=39 TT=1800.12 T1=1546.44	? (TO) f=38 TT=1800.08 T1=1800	OPT f=38 TT=16.738 T1=13.63	OPT f=38 TT=26.059 T1=12.89	OPT f=38 TT=512.221 T1=256.18
/OPT-BIGINT-LIN/ heinz/normalized-co-100.opb	SAT f=283123044 TT=1800.41 T1=1524.12	? (TO) TT=1800.11	? (TO) TT=1800.1	SAT (TO) f=283123044 TT=1800.41 T1=1524.12	SAT (TO) f=286368169 TT=1800.43 T1=19.34	SAT (TO) f=286378753 TT=1800.33 T1=639.38
/OPT-BIGINT-LIN/ heinz/normalized-ds-big.opb	SAT f=5700559111980000 TT=1800.43 T1=1798.74	? (TO) f=5885215306680000 TT=1800.29 T1=424.55	? (TO) f=5894477808400000 TT=1800.22 T1=1800.1	SAT (TO) f=9478389026010000 TT=1800.47 T1=157.59	SAT (TO) f=7888416323850000 TT=1800.5 T1=302.14	SAT (TO) f=5700559111980000 TT=1800.43 T1=1798.74
/OPT-BIGINT-LIN/ heinz/normalized-harp2.opb	SAT f=-67205306 TT=1800.4 T1=54.64	? (TO) f=-61680364 TT=1800.06 T1=396.69	? (TO) f=-64001081 TT=1800.07 T1=1800	SAT (TO) f=-66947045 TT=1800.3 T1=7.61	SAT (TO) f=-67205306 TT=1800.4 T1=54.64	SAT (TO) f=-65357767 TT=1800.12 T1=0.51
/OPT-BIGINT-LIN/heinz/ normalized-ivu06-big.opb		? (TO) f=4289386727199999980 TT=1801.23 T1=752.67	? (TO) f=4289386727199999980 TT=1801.31 T1=1800	? (TO) TT=1800.27	? (TO) TT=1800.42	? (TO) TT=1800.29
/OPT-BIGINT-LIN/ heinz/normalized-ivu52.opb		? (TO) TT=1800.1	? (TO) TT=1800.11	? (TO) TT=1800.21	? (TO) TT=1800.22	? (TO) TT=1800.24
/OPT-BIGINT-LIN/heinz/ normalized-n3div36.opb	SAT f=1840 TT=1800.3 T1=299.69	? (TO) f=1123 TT=1800.09 T1=651.4	? (TO) f=1320 TT=1800.08 T1=1800	SAT (TO) f=5484 TT=1800.39 T1=921.08	SAT (TO) f=1840 TT=1800.53 T1=348.59	SAT (TO) f=1840 TT=1800.3 T1=299.69
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)
/OPT-BIGINT-LIN/heinz/ normalized-n3seq24.opb	SAT f=280 TT=1800.34 T1=38.13	? (TO) f=905 TT=1800.14 T1=1674.6	? (TO) f=840 TT=1800.13 T1=1800	SAT (TO) f=282 TT=1800.44 T1=19.96	SAT (TO) f=280 TT=1800.51 T1=41.83	SAT (TO) f=280 TT=1800.34 T1=38.13
/OPT-BIGINT-LIN/ heinz/ normalized-neos-941313.opb	SAT f=18338 TT=1800.49 T1=37.74	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.26	SAT (TO) f=18338 TT=1800.73 T1=39.4	SAT (TO) f=18338 TT=1800.49 T1=37.74
/OPT-BIGINT-LIN/ heinz/ normalized-netdiversion.opb	SAT f=5801213 TT=1800.51 T1=1291.36	? (TO) TT=1800.08	? (TO) TT=1800.06	? (TO) TT=1800.37	? (TO) TT=1800.54	SAT (TO) f=5801213 TT=1800.51 T1=1291.36
/OPT-BIGINT-LIN/heinz/ normalized-ns1663818.opb	SAT f=285 TT=1800.49 T1=100.04	? (TO) TT=1800.43	? (TO) TT=1800.57	? (TO) TT=1800.23	SAT (TO) f=285 TT=1800.65 T1=122.45	SAT (TO) f=285 TT=1800.49 T1=100.04
/OPT-BIGINT-LIN/heinz/ normalized-ns1685374.opb	OPT f=-13 TT=163.851 T1=66.04	? (TO) TT=1800.08	? (TO) TT=1800.06	OPT f=-13 TT=1173.25 T1=1150.53	OPT f=-13 TT=163.851 T1=66.04	SAT (TO) f=-8 TT=1800.32 T1=5.04
/OPT-BIGINT-LIN/ heinz/ normalized-opm2-z10-s2.opb	SAT f=-20454 TT=1800.45 T1=47.7	? (TO) f=-10901 TT=1800.07 T1=1775.21	? (TO) f=-12837 TT=1800.07 T1=1800	SAT (TO) f=-20406 TT=1800.36 T1=967.69	SAT (TO) f=-20454 TT=1800.45 T1=47.7	SAT (TO) f=-20035 TT=1800.24 T1=25.96
/OPT-BIGINT-LIN/ heinz/ normalized-opm2-z11-s8.opb	SAT f=-27396 TT=1800.29 T1=22.41	? (TO) f=-15907 TT=1800.15 T1=1776.42	? (TO) f=-14560 TT=1800.07 T1=1800	SAT (TO) f=-26981 TT=1800.44 T1=7.43	SAT (TO) f=-26981 TT=1800.38 T1=14.54	SAT (TO) f=-27396 TT=1800.29 T1=22.41
/OPT-BIGINT-LIN/ heinz/ normalized-opm2-z12-s14.opb	SAT f=-44339 TT=1800.63 T1=29.16	? (TO) f=-28844 TT=1800.17 T1=1779.51	? (TO) f=-29687 TT=1800.07 T1=1800	SAT (TO) f=-38667 TT=1800.42 T1=1225.81	SAT (TO) f=-44339 TT=1800.63 T1=29.16	SAT (TO) f=-41907 TT=1800.25 T1=209.27
/OPT-BIGINT-LIN/ heinz/ normalized-opm2-z12-s7.opb	SAT f=-39400 TT=1800.25 T1=161.58	? (TO) f=-28288 TT=1800.15 T1=862.28	? (TO) f=-30361 TT=1800.08 T1=1800	SAT (TO) f=-34429 TT=1800.32 T1=284.22	SAT (TO) f=-37500 TT=1800.42 T1=653.18	SAT (TO) f=-39400 TT=1800.25 T1=161.58
/OPT-BIGINT-LIN/heinz/ normalized-opm2-z7-s2.opb	SAT f=-6047 TT=1800.17 T1=1112.87	? (TO) f=-5742 TT=1800.07 T1=1521.76	? (TO) f=-4034 TT=1800.06 T1=1800	SAT (TO) f=-4898 TT=1800.39 T1=1692.01	SAT (TO) f=-5649 TT=1800.28 T1=738.97	SAT (TO) f=-6047 TT=1800.17 T1=1112.87
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)
/OPT-BIGINT-LIN/ heinz/ normalized-opm2-z9-s14.opb	SAT f=-17311 TT=1800.5 T1=818.06	? (TO) f=-9927 TT=1800.11 T1=1798.52	? (TO) f=-9206 TT=1800.07 T1=1800	SAT (TO) f=-13295 TT=1800.32 T1=152.71	SAT (TO) f=-17311 TT=1800.5 T1=818.06	SAT (TO) f=-15110 TT=1800.16 T1=277.64
/OPT-BIGINT-LIN/ heinz/normalized-sp97ar.opb	SAT f=2193477000000000011 TT=1800.36 T1=635.93	? (TO) f=3391787472800000037 TT=1800.06 T1=1602.36	? (TO) f=3644915852000000018 TT=1800.04 T1=1800	SAT (TO) f=2194784492800000011 TT=1800.34 T1=414.81	SAT (TO) f=2193477000000000011 TT=1800.36 T1=635.93	SAT (TO) f=2194784492800000011 TT=1800.33 T1=4.56
/OPT-BIGINT-LIN/ heinz/normalized-sp98ar.opb	SAT f=1684019708800000017 TT=1800.19 T1=5.06	? (TO) f=2296607647600000006 TT=1800.09 T1=1773.12	? (TO) f=2350545015599999996 TT=1800.06 T1=1800	SAT (TO) f=1684034401200000015 TT=1800.33 T1=1151.97	SAT (TO) f=1684019708800000017 TT=1800.48 T1=9.22	SAT (TO) f=1684019708800000017 TT=1800.19 T1=5.06
/OPT-BIGINT-LIN/ heinz/normalized-sp98ic.opb	SAT f=622354759199999996 TT=1800.2 T1=6.91	? (TO) f=692065141280000004 TT=1800.12 T1=938.3	? (TO) f=743202044320000000 TT=1800.07 T1=1800	SAT (TO) f=630323063039999996 TT=1800.36 T1=4.37	SAT (TO) f=622354759199999996 TT=1800.36 T1=22.77	SAT (TO) f=622354759199999996 TT=1800.2 T1=6.91
/OPT-BIGINT-LIN/ heinz/normalized-t1717.opb	SAT f=382403 TT=1800.31 T1=5.94	? (TO) f=204519 TT=1800.11 T1=2.85	? (TO) f=204519 TT=1800.09 T1=1800	SAT (TO) f=419270 TT=1800.38 T1=1396.49	SAT (TO) f=382403 TT=1800.66 T1=6.75	SAT (TO) f=382403 TT=1800.31 T1=5.94
/OPT-BIGINT-LIN/ heinz/normalized-t1722.opb	SAT f=214699 TT=1800.33 T1=1.86	? (TO) f=218237 TT=1800.07 T1=674.51	? (TO) f=219850 TT=1800.09 T1=1800	SAT (TO) f=259584 TT=1800.33 T1=5.27	SAT (TO) f=214699 TT=1800.52 T1=2.27	SAT (TO) f=214699 TT=1800.33 T1=1.86
/OPT-BIGINT-LIN/ heinz/normalized-zib01.opb		? (MO) TT=231.23	? (MO) TT=250.016	? (TO) TT=1800.57	? (TO) TT=1800.45	? (TO) TT=1800.3
/OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/ datasets/10orplus/normalized-epiphany-browser.cudf.paranoid.opb	SAT f=253740 TT=1800.46 T1=489.74	? (TO) f=4657776 TT=1800.09 T1=1799.35	? (TO) f=2737533 TT=1800.08 T1=1800	SAT (TO) f=300804 TT=1800.34 T1=58.9	SAT (TO) f=253740 TT=1800.46 T1=489.74	SAT (TO) f=266675 TT=1800.2 T1=1648.07
/OPT-BIGINT-LIN/leberre/opb-paranoid/ misc2010/datasets/10orplus/ normalized-hal-cups-utils.cudf.paranoid.opb	OPT f=141814 TT=116.453 T1=88.83	? (TO) f=4156043 TT=1800.1 T1=1799.65	? (TO) f=1827103 TT=1800.12 T1=1800	SAT (TO) f=163390 TT=1800.35 T1=149.76	OPT f=141814 TT=165.324 T1=88.83	OPT f=141814 TT=116.453 T1=96.14
/OPT-BIGINT-LIN/leberre/opb-paranoid/ misc2010/datasets/10orplus/ normalized-konq-plugins.cudf.paranoid.opb	OPT f=141778 TT=85.627 T1=73.15	? (TO) f=5938042 TT=1800.05 T1=1799.59	? (TO) f=4937048 TT=1800.08 T1=1800	OPT f=141778 TT=1412.6 T1=983.23	OPT f=141778 TT=270.722 T1=129.27	OPT f=141778 TT=85.627 T1=73.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)
/OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/ datasets/10orplus/normalized-libcatalyst-perl.cudf.paranoid.opb	SAT f=178324 TT=1800.24 T1=1767.43	? (TO) f=3765510 TT=1800.08 T1=1799.15	? (TO) f=4082849 TT=1800.08 T1=1800	SAT (TO) f=182747 TT=1800.38 T1=1785.88	SAT (TO) f=178336 TT=1800.33 T1=969.6	SAT (TO) f=178324 TT=1800.24 T1=1767.43
/OPT-BIGINT-LIN/leberre/opb-paranoid/ misc2010/datasets/10orplus/ normalized-libcyrus-imap-perl22.cudf.paranoid.opb	OPT f=176246 TT=1371.8 T1=1095.74	? (TO) f=5522534 TT=1800.09 T1=1799.36	? (TO) f=2170862 TT=1800.11 T1=1800	SAT (TO) f=176354 TT=1800.3 T1=1045.44	SAT (TO) f=197951 TT=1800.37 T1=1174.07	OPT f=176246 TT=1371.8 T1=1095.74
/OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/ 10orplus/normalized-monodevelop-nunit.cudf.paranoid.opb	OPT f=142331 TT=392.373 T1=174.25	? (TO) f=4138532 TT=1800.05 T1=1797.45	? (TO) f=1845377 TT=1800.06 T1=1800	SAT (TO) f=168266 TT=1800.39 T1=151.61	OPT f=142331 TT=779.845 T1=187.09	OPT f=142331 TT=392.373 T1=174.25
/OPT-BIGINT-LIN/leberre/opb-paranoid/ misc2010/datasets/10orplus/ normalized-python-hippocanvas.cudf.paranoid.opb	SAT f=167684 TT=1800.31 T1=478.73	? (TO) f=4814652 TT=1800.07 T1=1798.9	? (TO) f=1548230 TT=1800.08 T1=1800	SAT (TO) f=206391 TT=1800.32 T1=35.23	SAT (TO) f=167684 TT=1800.48 T1=680.91	SAT (TO) f=167684 TT=1800.31 T1=478.73
/OPT-BIGINT-LIN/leberre/opb-paranoid/ misc2010/datasets/10orplus/ normalized-synaptic.cudf.paranoid.opb	OPT f=141778 TT=147.5 T1=121.18	? (TO) f=4644880 TT=1800.07 T1=1796.56	? (TO) f=1650442 TT=1800.08 T1=1800	SAT (TO) f=141788 TT=1800.32 T1=1632.81	OPT f=141778 TT=234.121 T1=121.18	OPT f=141778 TT=147.5 T1=121.61
/OPT-BIGINT-LIN/leberre/opb-paranoid/ misc2010/datasets/10orplus/ normalized-system-config-printer.cudf.paranoid.opb	OPT f=141781 TT=114.532 T1=96.12	? (TO) f=4108015 TT=1800.13 T1=1799.46	? (TO) f=2002821 TT=1800.08 T1=1800	SAT (TO) f=141857 TT=1800.33 T1=324.91	OPT f=141781 TT=460.258 T1=223.29	OPT f=141781 TT=114.532 T1=96.12
/OPT-BIGINT-LIN/leberre/opb-paranoid/ misc2010/datasets/10orplus/ normalized-txt2html.cudf.paranoid.opb	OPT f=176330 TT=957.702 T1=894.31	? (TO) f=5886271 TT=1800.09 T1=1798.73	? (TO) f=2008477 TT=1800.06 T1=1800	SAT (TO) f=180639 TT=1800.35 T1=1478.65	SAT (TO) f=198042 TT=1800.33 T1=1356.29	OPT f=176330 TT=957.702 T1=894.31
/OPT-BIGINT-LIN/leberre/opb-paranoid/ misc2010/datasets/10orplus/ normalized-unattended-upgrades.cudf.paranoid.opb	OPT f=158971 TT=297.223 T1=194.38	? (TO) f=4906941 TT=1800.1 T1=1796.73	? (TO) f=2178838 TT=1800.08 T1=1800	SAT (TO) f=163277 TT=1800.42 T1=1344.58	OPT f=158971 TT=1156.92 T1=384.16	OPT f=158971 TT=297.223 T1=194.38
/OPT-BIGINT-LIN/leberre/opb-paranoid/ misc2010/datasets/9orless/ normalized-gtwitter.cudf.paranoid.opb	OPT f=141888 TT=154.269 T1=96.34	? (TO) f=4925229 TT=1800.09 T1=1799.08	? (TO) f=5582794 TT=1800.07 T1=1800	SAT (TO) f=141888 TT=1800.35 T1=1043.85	OPT f=141888 TT=312.166 T1=112	OPT f=141888 TT=154.269 T1=96.34
/OPT-BIGINT-LIN/leberre/opb-paranoid/ misc2010/datasets/9orless/ normalized-kdessh.cudf.paranoid.opb	OPT f=141778 TT=83.149 T1=77.63	? (TO) f=4399997 TT=1800.1 T1=1798.11	? (TO) f=1903853 TT=1800.06 T1=1800	SAT (TO) f=146084 TT=1800.28 T1=1723.77	OPT f=141778 TT=280.36 T1=136.16	OPT f=141778 TT=83.149 T1=77.63
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)
/OPT-BIGINT-LIN/leberre/opb-paranoid/ misc2010/datasets/9orless/ normalized-kmines.cudf.paranoid.opb	OPT f=141778 TT=83.263 T1=77.8	? (TO) f=4700648 TT=1800.1 T1=1798.69	? (TO) f=1873825 TT=1800.09 T1=1800	SAT (TO) f=146084 TT=1800.35 T1=1697.36	OPT f=141778 TT=336.352 T1=151.8	OPT f=141778 TT=83.263 T1=77.8
/OPT-BIGINT-LIN/leberre/opb-paranoid/ misc2010/datasets/9orless/ normalized-kphotoalbum.cudf.paranoid.opb	OPT f=141778 TT=83.455 T1=77.92	? (TO) f=5280783 TT=1800.13 T1=1793.79	? (TO) f=1744951 TT=1800.09 T1=1800	SAT (TO) f=146084 TT=1800.37 T1=1664.91	OPT f=141778 TT=293.371 T1=159.63	OPT f=141778 TT=83.455 T1=77.92
/OPT-BIGINT-LIN/leberre/opb-paranoid/ misc2010/datasets/9orless/ normalized-libgnokii4.cudf.paranoid.opb	OPT f=146081 TT=132.499 T1=121.28	? (TO) f=4657843 TT=1800.09 T1=1794.78	? (TO) f=1710601 TT=1800.11 T1=1800	SAT (TO) f=150454 TT=1800.33 T1=1198.08	OPT f=146081 TT=220.039 T1=121.28	OPT f=146081 TT=132.499 T1=123.99
/OPT-BIGINT-LIN/leberre/opb-paranoid/ misc2010/datasets/9orless/ normalized-libmono-relaxng1.0-cil.cudf.paranoid.opb	OPT f=141854 TT=160.181 T1=49.28	? (TO) f=6281601 TT=1800.07 T1=1791.4	? (TO) f=2462426 TT=1800.09 T1=1800	SAT (TO) f=141875 TT=1800.37 T1=1589.22	OPT f=141854 TT=587.815 T1=201.32	OPT f=141854 TT=160.181 T1=49.28
/OPT-BIGINT-LIN/leberre/opb-paranoid/ misc2010/datasets/9orless/ normalized-mono-mcs.cudf.paranoid.opb	OPT f=141778 TT=149.485 T1=133.16	? (TO) f=5409678 TT=1800.08 T1=1799.93	? (TO) f=1581797 TT=1800.09 T1=1800	SAT (TO) f=141787 TT=1800.28 T1=1611.79	OPT f=141778 TT=286.067 T1=136	OPT f=141778 TT=149.485 T1=133.16
/OPT-BIGINT-LIN/leberre/opb-paranoid/ misc2010/datasets/9orless/ normalized-plasma-widgets-workspace.cudf.paranoid.opb	OPT f=146133 TT=178.395 T1=160.07	? (TO) f=4391363 TT=1800.1 T1=1799.48	? (TO) f=1534367 TT=1800.06 T1=1800	SAT (TO) f=150505 TT=1800.36 T1=570.59	OPT f=146133 TT=600.861 T1=410.43	OPT f=146133 TT=178.395 T1=160.07
/OPT-BIGINT-LIN/leberre/opb-paranoid/ misc2010/datasets/9orless/ normalized-upstart-compat-sysv.cudf.paranoid.opb	OPT f=154743 TT=314.634 T1=281.99	? (TO) f=4995183 TT=1800.1 T1=1799.42	? (TO) f=1711448 TT=1800.07 T1=1800	SAT (TO) f=159071 TT=1800.4 T1=1517.55	OPT f=154743 TT=1108.61 T1=397.66	OPT f=154743 TT=314.634 T1=281.99
/OPT-BIGINT-LIN/leberre/opb-paranoid/ misc2010/random/rand.biglist/ normalized-rand43bd88.cudf.paranoid.opb	SAT f=19009 TT=1800.45 T1=190.01	? (TO) f=21384 TT=1800.07 T1=1789.47	? (TO) f=19050 TT=1800.06 T1=1800	SAT (TO) f=19015 TT=1800.34 T1=666.33	SAT (TO) f=19009 TT=1800.45 T1=190.01	SAT (TO) f=19014 TT=1800.21 T1=183.4
/OPT-BIGINT-LIN/leberre/opb-paranoid/ misc2010/random/rand.biglist/ normalized-rand5c0b12.cudf.paranoid.opb	UNSAT TT=0.999	UNSAT TT=1.418	UNSAT TT=1.395	UNSAT TT=0.999	UNSAT TT=1.131	UNSAT TT=1.041
/OPT-BIGINT-LIN/leberre/opb-paranoid/ misc2010/random/rand.smallist/ normalized-rand396cf8.cudf.paranoid.opb	OPT f=2369 TT=8.168 T1=4.6	OPT f=2369 TT=470.743 T1=375.23	OPT f=2369 TT=580.877 T1=580.85	OPT f=2369 TT=38.804 T1=8.78	OPT f=2369 TT=11.807 T1=4.6	OPT f=2369 TT=8.168 T1=5.57
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)
/OPT-BIGINT-LIN/leberre/opb-paranoid/ misc2010/random/rand.smallist/ normalized-rand49e642.cudf.paranoid.opb	OPT f=408 TT=4.673 T1=1.07	OPT f=408 TT=767.052 T1=444.9	OPT f=408 TT=480.495 T1=480.47	OPT f=408 TT=1093.3 T1=1.07	OPT f=408 TT=6.552 T1=3.65	OPT f=408 TT=4.673 T1=2.17
/OPT-BIGINT-LIN/leberre/opb-paranoid/ misc2010/random/rand.smallist/ normalized-rand59f7dd.cudf.paranoid.opb	OPT f=344 TT=2.581 T1=1.02	OPT f=344 TT=1101.83 T1=1085.83	OPT f=344 TT=836.533 T1=836.48	OPT f=344 TT=3.125 T1=1.06	OPT f=344 TT=4.508 T1=2.61	OPT f=344 TT=2.581 T1=1.02
/OPT-BIGINT-LIN/leberre/opb-paranoid/ misc2010/random/rand.smallist/ normalized-rand682c92.cudf.paranoid.opb	UNSAT TT=0.51	UNSAT TT=0.51	UNSAT TT=0.558	UNSAT TT=0.708	UNSAT TT=1.001	UNSAT TT=0.723
/OPT-BIGINT-LIN/leberre/opb-paranoid/ misc2010/random/rand.smallist/ normalized-rand6c4744.cudf.paranoid.opb	UNSAT TT=0.57	UNSAT TT=0.582	UNSAT TT=0.57	UNSAT TT=0.745	UNSAT TT=1.031	UNSAT TT=0.757
/OPT-BIGINT-LIN/leberre/opb-paranoid/ misc2010/random/rand.smallist/ normalized-randab5933.cudf.paranoid.opb	UNSAT TT=0.892	UNSAT TT=1.114	UNSAT TT=1.099	UNSAT TT=0.899	UNSAT TT=1.265	UNSAT TT=0.892
/OPT-BIGINT-LIN/leberre/opb-paranoid/ misc2010/random/rand.smallist/ normalized-randd6bc17.cudf.paranoid.opb	OPT f=0 TT=1.2 T1=0.52	OPT f=0 TT=82.12 T1=82.09	OPT f=0 TT=176.535 T1=176.52	OPT f=0 TT=1.2 T1=0.53	OPT f=0 TT=1.39 T1=1	OPT f=0 TT=1.221 T1=0.52
/OPT-BIGINT-LIN/leberre/opb-paranoid/ misc2010/random/rand.smallist/ normalized-rande22180.cudf.paranoid.opb	UNSAT TT=0.518	UNSAT TT=0.528	UNSAT TT=0.518	UNSAT TT=0.919	UNSAT TT=1.143	UNSAT TT=0.922
/OPT-BIGINT-LIN/leberre/opb-trendy/ misc2010/datasets/10orplus/ normalized-gnochm.cudf.trendy.opb	SAT f=4930903942057 TT=1800.27 T1=6.63	? (TO) f=96964461208065 TT=1800.07 T1=1799.61	? (TO) f=51499522389539 TT=1800.08 T1=1800	SAT (TO) f=6670638642592 TT=1800.36 T1=11.4	SAT (TO) f=4930903942057 TT=1800.58 T1=8.03	SAT (TO) f=4930903942057 TT=1800.27 T1=6.63
/OPT-BIGINT-LIN/leberre/opb-trendy/ misc2010/datasets/10orplus/ normalized-idle.cudf.trendy.opb	SAT f=3892141769795 TT=1800.36 T1=1745.26	? (TO) f=104666375329084 TT=1800.09 T1=1799.35	? (TO) f=31803787917318 TT=1800.09 T1=1800	SAT (TO) f=3892141769795 TT=1800.36 T1=1745.26	SAT (TO) f=4289878750219 TT=1800.44 T1=20.36	SAT (TO) f=4289878750219 TT=1800.24 T1=13.02
/OPT-BIGINT-LIN/leberre/opb-trendy/ misc2010/datasets/10orplus/ normalized-konq-plugins.cudf.trendy.opb	SAT f=3180617603639 TT=1800.31 T1=6.34	? (TO) f=153316286981239 TT=1800.06 T1=1799.19	? (TO) f=172725066076575 TT=1800.06 T1=1800	SAT (TO) f=7217583001758 TT=1800.31 T1=11.37	SAT (TO) f=3180617603639 TT=1800.56 T1=8.69	SAT (TO) f=3180617603639 TT=1800.31 T1=6.34
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)
/OPT-BIGINT-LIN/leberre/opb-trendy/ misc2010/datasets/10orplus/ normalized-libpoe-perl.cudf.trendy.opb	SAT f=4448748052644 TT=1800.38 T1=1786.12	? (TO) f=86409765417364 TT=1800.08 T1=1799.71	? (TO) f=51498968463259 TT=1800.1 T1=1800	SAT (TO) f=4448748052644 TT=1800.38 T1=1786.12	SAT (TO) f=6434850693537 TT=1800.62 T1=9.13	SAT (TO) f=6434850693537 TT=1800.28 T1=6.8
/OPT-BIGINT-LIN/leberre/opb-trendy/ misc2010/datasets/10orplus/ normalized-lirc.cudf.trendy.opb	SAT f=3104972835971 TT=1800.3 T1=6.7	? (TO) f=77865646531043 TT=1800.07 T1=1798.13	? (TO) f=185530874903517 TT=1800.07 T1=1800	SAT (TO) f=3497265409858 TT=1800.33 T1=10.49	SAT (TO) f=3104972835971 TT=1800.48 T1=9.76	SAT (TO) f=3104972835971 TT=1800.3 T1=6.7
/OPT-BIGINT-LIN/leberre/opb-trendy/ misc2010/datasets/10orplus/ normalized-mercurial-common.cudf.trendy.opb	SAT f=3577049037818 TT=1800.29 T1=40.97	? (TO) f=105140370914814 TT=1800.09 T1=1799.21	? (TO) f=98165273859425 TT=1800.07 T1=1800	SAT (TO) f=11345700669953 TT=1800.38 T1=9.75	SAT (TO) f=3577049037818 TT=1800.57 T1=43.35	SAT (TO) f=3577049037818 TT=1800.29 T1=40.97
/OPT-BIGINT-LIN/leberre/opb-trendy/ misc2010/datasets/10orplus/ normalized-monodevelop-nunit.cudf.trendy.opb	SAT f=3609221227040 TT=1800.3 T1=9.04	? (TO) f=174180740859424 TT=1800.11 T1=1793.11	? (TO) f=52812711662422 TT=1800.12 T1=1800.1	SAT (TO) f=3930345810849 TT=1800.34 T1=12.32	SAT (TO) f=3609221227040 TT=1800.48 T1=10.91	SAT (TO) f=3609221227040 TT=1800.3 T1=9.04
/OPT-BIGINT-LIN/leberre/opb-trendy/ misc2010/datasets/10orplus/ normalized-texlive-generic-recommended.cudf.trendy.opb	SAT f=3415411338003 TT=1800.39 T1=13.55	? (TO) f=145788295890132 TT=1800.09 T1=1799.69	? (TO) f=31620543622544 TT=1800.08 T1=1800	SAT (TO) f=3415411338003 TT=1800.39 T1=13.55	SAT (TO) f=3574184882169 TT=1800.49 T1=10.34	SAT (TO) f=3574184882169 TT=1800.31 T1=7.32
/OPT-BIGINT-LIN/leberre/opb-trendy/ misc2010/datasets/10orplus/ normalized-txt2html.cudf.trendy.opb	SAT f=4451225325038 TT=1800.38 T1=10.67	? (TO) f=114101208613524 TT=1800.11 T1=1799.46	? (TO) f=125690898060697 TT=1800.08 T1=1800	SAT (TO) f=4451225325038 TT=1800.38 T1=10.67	SAT (TO) f=4691168576145 TT=1800.56 T1=10.74	SAT (TO) f=4691168576145 TT=1800.24 T1=7.66
/OPT-BIGINT-LIN/leberre/opb-trendy/ misc2010/datasets/9orless/ normalized-ark.cudf.trendy.opb	SAT f=3021032390397 TT=1800.32 T1=7.05	? (TO) f=89222762711944 TT=1800.09 T1=1799.27	? (TO) f=45884797938973 TT=1800.08 T1=1800	SAT (TO) f=3730744783336 TT=1800.32 T1=13.32	SAT (TO) f=3021032390397 TT=1800.51 T1=8.71	SAT (TO) f=3021032390397 TT=1800.32 T1=7.05
/OPT-BIGINT-LIN/leberre/opb-trendy/ misc2010/datasets/9orless/ normalized-inetutils-syslogd.cudf.trendy.opb	SAT f=4764645193396 TT=1800.27 T1=6.69	? (TO) f=113707185394896 TT=1800.08 T1=1795.16	? (TO) f=113704086294670 TT=1800.05 T1=1800	SAT (TO) f=5157991107535 TT=1800.42 T1=12.87	SAT (TO) f=4764645193396 TT=1800.53 T1=9.22	SAT (TO) f=4764645193396 TT=1800.27 T1=6.69
/OPT-BIGINT-LIN/leberre/opb-trendy/ misc2010/datasets/9orless/ normalized-kblocks.cudf.trendy.opb	SAT f=3573760600602 TT=1800.33 T1=10.91	? (TO) f=78842031439515 TT=1800.08 T1=1799.54	? (TO) f=175418294832556 TT=1800.07 T1=1800	SAT (TO) f=3573760600602 TT=1800.33 T1=10.91	SAT (TO) f=3574111094073 TT=1800.55 T1=441.98	SAT (TO) f=3574111094073 TT=1800.31 T1=424.83
/OPT-BIGINT-LIN/leberre/opb-trendy/ misc2010/datasets/9orless/ normalized-kommander.cudf.trendy.opb	SAT f=3336421176948 TT=1800.42 T1=1306.32	? (TO) f=118299018857876 TT=1800.08 T1=1796.26	? (TO) f=136045001566752 TT=1800.1 T1=1800	SAT (TO) f=3336421176948 TT=1800.42 T1=1306.32	SAT (TO) f=5160924184439 TT=1800.49 T1=9.14	SAT (TO) f=5160924184439 TT=1800.29 T1=7.49
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)
/OPT-BIGINT-LIN/leberre/opb-trendy/ misc2010/datasets/9orless/ normalized-libmono-addins-gui0.2-cil.cudf.trendy.opb	SAT f=4929408341147 TT=1800.24 T1=6.5	? (TO) f=98470125130936 TT=1800.1 T1=1796.79	? (TO) f=42297477621794 TT=1800.08 T1=1800	SAT (TO) f=5165399396443 TT=1800.43 T1=11.19	SAT (TO) f=4929408341147 TT=1800.6 T1=8.12	SAT (TO) f=4929408341147 TT=1800.24 T1=6.5
/OPT-BIGINT-LIN/leberre/opb-trendy/ misc2010/datasets/9orless/ normalized-plasma-widgets-workspace.cudf.trendy.opb	SAT f=3574111094076 TT=1800.31 T1=9.35	? (TO) f=120832072095675 TT=1800.09 T1=1798.19	? (TO) f=36613802796601 TT=1800.12 T1=1800.1	SAT (TO) f=3574111094076 TT=1800.37 T1=993.32	SAT (TO) f=3574111094076 TT=1800.5 T1=14.08	SAT (TO) f=3574111094076 TT=1800.31 T1=9.35
/OPT-BIGINT-LIN/leberre/opb-trendy/ misc2010/datasets/9orless/ normalized-r-cran-car.cudf.trendy.opb	SAT f=5003594332112 TT=1800.25 T1=6.55	? (TO) f=194250765895515 TT=1800.09 T1=1667.57	? (TO) f=56221933600799 TT=1800.13 T1=1800.1	SAT (TO) f=5955202804273 TT=1800.35 T1=10.71	SAT (TO) f=5003594332112 TT=1800.59 T1=9.13	SAT (TO) f=5003594332112 TT=1800.25 T1=6.55
/OPT-BIGINT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/ normalized-1093.cudf.trendy.opb	UNSAT TT=0.182	UNSAT TT=0.182	UNSAT TT=0.194	UNSAT TT=0.567	UNSAT TT=0.632	UNSAT TT=0.56
/OPT-BIGINT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/ normalized-1097.cudf.trendy.opb	OPT f=24774 TT=0.123 T1=0.12	OPT f=24774 TT=0.123 T1=0.12	OPT f=24774 TT=0.135 T1=0.13	OPT f=24774 TT=0.528 T1=0.31	OPT f=24774 TT=0.685 T1=0.79	OPT f=24774 TT=0.486 T1=0.29
/OPT-BIGINT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/ normalized-557.cudf.trendy.opb	UNSAT TT=0.85	UNSAT TT=0.859	UNSAT TT=0.85	UNSAT TT=0.904	UNSAT TT=0.961	UNSAT TT=0.917
/OPT-BIGINT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/ normalized-658.cudf.trendy.opb	UNSAT TT=0.067	UNSAT TT=0.067	UNSAT TT=0.07	UNSAT TT=0.356	UNSAT TT=0.433	UNSAT TT=0.36
/OPT-BIGINT-LIN/leberre/opb-trendy/ misc2010/random/rand.biglist/ normalized-rand659e05.cudf.trendy.opb	UNSAT TT=1.01	UNSAT TT=1.093	UNSAT TT=1.081	UNSAT TT=1.01	UNSAT TT=1.198	UNSAT TT=1.04
/OPT-BIGINT-LIN/leberre/opb-trendy/ misc2010/random/rand.biglist/ normalized-rand6d579e.cudf.trendy.opb	OPT f=28002816255 TT=4.761 T1=3.25	? (TO) f=28181573174 TT=1800.06 T1=1777.92	? (TO) f=28094018770 TT=1800.07 T1=1800	OPT f=28002816255 TT=247.754 T1=212.8	OPT f=28002816255 TT=91.552 T1=44.61	OPT f=28002816255 TT=4.761 T1=3.25
/OPT-BIGINT-LIN/leberre/opb-trendy/ misc2010/random/rand.biglist/ normalized-rand8177e7.cudf.trendy.opb	OPT f=27874403091 TT=32.503 T1=29.99	? (TO) f=28260268594 TT=1800.06 T1=1793.87	? (TO) f=28290962445 TT=1800.05 T1=1800	OPT f=27874403091 TT=438.749 T1=177.82	OPT f=27874403091 TT=472.475 T1=211.5	OPT f=27874403091 TT=32.503 T1=29.99
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)
/OPT-BIGINT-LIN/leberre/opb-trendy/ misc2010/random/rand.biglist/ normalized-randaefc7c.cudf.trendy.opb	OPT f=394243446 TT=2.359 T1=1.09	OPT f=394243446 TT=131.17 T1=131.1	OPT f=394243446 TT=116.789 T1=116.78	OPT f=394243446 TT=13.037 T1=9.58	OPT f=394243446 TT=7.223 T1=6.49	OPT f=394243446 TT=2.359 T1=1.09
/OPT-BIGINT-LIN/leberre/opb-trendy/ misc2010/random/rand.biglist/ normalized-randee102b.cudf.trendy.opb	OPT f=56868381951 TT=15.776 T1=5.43	? (TO) f=56973320081 TT=1800.08 T1=1767.19	? (TO) f=57078258176 TT=1800.07 T1=1800	OPT f=56868381951 TT=37.615 T1=5.43	OPT f=56868381951 TT=135.105 T1=111.31	OPT f=56868381951 TT=15.776 T1=5.56
/OPT-BIGINT-LIN/leberre/opb-trendy/ misc2010/random/rand.biglist/ normalized-randf7d077.cudf.trendy.opb	UNSAT TT=1.115	UNSAT TT=2.185	UNSAT TT=2.309	UNSAT TT=1.115	UNSAT TT=1.376	UNSAT TT=1.127
/OPT-BIGINT-LIN/leberre/opb-trendy/ misc2010/random/rand.biglist/ normalized-randfe95e3.cudf.trendy.opb	UNSAT TT=0.964	UNSAT TT=0.978	UNSAT TT=0.964	UNSAT TT=0.996	UNSAT TT=1.098	UNSAT TT=1.014
/OPT-BIGINT-LIN/leberre/opb-trendy/ misc2010/random/rand.newlist/ normalized-rand00ebc7.cudf.trendy.opb	UNSAT TT=0.866	UNSAT TT=0.946	UNSAT TT=0.866	UNSAT TT=0.956	UNSAT TT=1.085	UNSAT TT=0.994
/OPT-BIGINT-LIN/leberre/opb-trendy/ misc2010/random/rand.newlist/ normalized-rand085d8a.cudf.trendy.opb	OPT f=22328675631 TT=8.288 T1=6.85	OPT f=22328675631 TT=993.895 T1=756.75	OPT f=22328675631 TT=756.754 T1=756.71	OPT f=22328675631 TT=43.421 T1=32.88	OPT f=22328675631 TT=52.751 T1=12.84	OPT f=22328675631 TT=8.288 T1=6.85
/OPT-BIGINT-LIN/leberre/opb-trendy/ misc2010/random/rand.newlist/ normalized-rand0a62b6.cudf.trendy.opb	OPT f=18540641211 TT=2.883 T1=1.54	OPT f=18540641211 TT=324.272 T1=323.94	OPT f=18540641211 TT=239.374 T1=239.35	OPT f=18540641211 TT=22.368 T1=3.38	OPT f=18540641211 TT=4.615 T1=5.23	OPT f=18540641211 TT=2.883 T1=1.54
/OPT-BIGINT-LIN/leberre/opb-trendy/ misc2010/random/rand.newlist/ normalized-rand271a0d.cudf.trendy.opb	UNSAT TT=0.819	UNSAT TT=0.854	UNSAT TT=0.842	UNSAT TT=0.819	UNSAT TT=0.917	UNSAT TT=0.843
/OPT-BIGINT-LIN/leberre/opb-trendy/ misc2010/random/rand.newlist/ normalized-rand27da90.cudf.trendy.opb	OPT f=27562740203 TT=3.119 T1=1.76	OPT f=27562740203 TT=586.259 T1=586.19	OPT f=27562740203 TT=453.956 T1=453.94	OPT f=27562740203 TT=3.491 T1=1.93	OPT f=27562740203 TT=5.587 T1=4.85	OPT f=27562740203 TT=3.119 T1=1.76
/OPT-BIGINT-LIN/leberre/opb-trendy/ misc2010/random/rand.newlist/ normalized-rand5d20db.cudf.trendy.opb	OPT f=12384786448 TT=11.265 T1=9.18	OPT f=12384786448 TT=1437.14 T1=1315.33	? (TO) f=12389887269 TT=1800.08 T1=1800	OPT f=12384786448 TT=203.151 T1=101.82	OPT f=12384786448 TT=22.695 T1=12.59	OPT f=12384786448 TT=11.265 T1=9.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)
/OPT-BIGINT-LIN/leberre/opb-trendy/ misc2010/random/rand.newlist/ normalized-randb54299.cudf.trendy.opb	OPT f=25345912719 TT=2.752 T1=1.42	OPT f=25345912719 TT=733.636 T1=733.03	OPT f=25345912719 TT=429.091 T1=429.06	OPT f=25345912719 TT=22.239 T1=10.15	OPT f=25345912719 TT=4.319 T1=4.17	OPT f=25345912719 TT=2.752 T1=1.42
/OPT-BIGINT-LIN/leberre/opb-trendy/ misc2010/random/rand.newlist/ normalized-randc18b26.cudf.trendy.opb	OPT f=30185484701 TT=7.353 T1=6.09	OPT f=30185484701 TT=1669.1 T1=1641.51	OPT f=30185484701 TT=1428.9 T1=1428.84	OPT f=30185484701 TT=161.143 T1=124.54	OPT f=30185484701 TT=13.718 T1=12.47	OPT f=30185484701 TT=7.353 T1=6.09
/OPT-BIGINT-LIN/leberre/opb-trendy/ misc2010/random/rand.newlist/ normalized-randc5b1f2.cudf.trendy.opb	UNSAT TT=0.847	UNSAT TT=0.847	UNSAT TT=0.924	UNSAT TT=0.863	UNSAT TT=0.947	UNSAT TT=0.86
/OPT-BIGINT-LIN/leberre/opb-trendy/ misc2010/random/rand.newlist/ normalized-randc5fe62.cudf.trendy.opb	OPT f=4241573758 TT=5.767 T1=4.27	OPT f=4241573758 TT=1602.81 T1=1591.02	OPT f=4241573758 TT=452.946 T1=452.92	OPT f=4241573758 TT=170.885 T1=134.99	OPT f=4241573758 TT=199.084 T1=167.29	OPT f=4241573758 TT=5.767 T1=4.27
/OPT-BIGINT-LIN/leberre/opb-trendy/ misc2010/random/rand.newlist/ normalized-randd92c9f.cudf.trendy.opb	OPT f=13908610268 TT=3.005 T1=1.68	OPT f=13908610268 TT=285.849 T1=285.33	OPT f=13908610268 TT=241.326 T1=241.31	OPT f=13908610268 TT=8.928 T1=4.39	OPT f=13908610268 TT=11.784 T1=8.6	OPT f=13908610268 TT=3.005 T1=1.68
/OPT-BIGINT-LIN/leberre/opb-trendy/ misc2010/random/rand.newlist/ normalized-randec6fe1.cudf.trendy.opb	OPT f=20182527402 TT=3.088 T1=1.72	OPT f=20182527402 TT=224.665 T1=224.53	OPT f=20182527402 TT=299.339 T1=299.33	OPT f=20182527402 TT=13.843 T1=5.9	OPT f=20182527402 TT=5.404 T1=6.35	OPT f=20182527402 TT=3.088 T1=1.72
/OPT-BIGINT-LIN/leberre/opb-trendy/ misc2010/random/rand.newlist/ normalized-randfd04d4.cudf.trendy.opb	OPT f=8960372673 TT=3.514 T1=2.34	OPT f=8960372673 TT=323.754 T1=319.13	OPT f=8960372673 TT=410.258 T1=410.23	OPT f=8960372673 TT=54.105 T1=36.62	OPT f=8960372673 TT=6.544 T1=5.9	OPT f=8960372673 TT=3.514 T1=2.34
/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/ rand.smallist/normalized-rand03b0b5.cudf.trendy.opb	UNSAT TT=0.544	UNSAT TT=0.554	UNSAT TT=0.544	UNSAT TT=0.693	UNSAT TT=0.853	UNSAT TT=0.704
/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/ rand.smallist/normalized-rand1958fb.cudf.trendy.opb	OPT f=15832587875 TT=2.048 T1=0.83	OPT f=15832587875 TT=943.612 T1=939.14	OPT f=15832587875 TT=827.622 T1=827.59	OPT f=15832587875 TT=2.503 T1=1.04	OPT f=15832587875 TT=3.763 T1=1.64	OPT f=15832587875 TT=2.048 T1=0.83
/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/ rand.smallist/normalized-rand56b853.cudf.trendy.opb	OPT f=3334613 TT=1.893 T1=0.85	OPT f=3334613 TT=383.862 T1=383.21	OPT f=3334613 TT=240.156 T1=240.14	OPT f=3334613 TT=2.75 T1=1.08	OPT f=3334613 TT=2.772 T1=2.11	OPT f=3334613 TT=1.893 T1=0.85
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)
/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/ rand.smallist/normalized-rand7e9372.cudf.trendy.opb	OPT f=502 TT=4.074 T1=0.9	? (TO) f=58545398576 TT=1800.12 T1=1771.33	? (TO) f=19550014157 TT=1800.05 T1=1800	OPT f=502 TT=4.074 T1=1.19	OPT f=502 TT=14.533 T1=1.64	OPT f=502 TT=78.269 T1=0.9
/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/ rand.smallist/normalized-randa65dfb.cudf.trendy.opb	OPT f=7514177838 TT=2.476 T1=0.86	OPT f=7514177838 TT=1401.51 T1=1382.49	OPT f=7514177838 TT=1405.94 T1=1405.89	OPT f=7514177838 TT=14.189 T1=1.07	OPT f=7514177838 TT=3.401 T1=1.58	OPT f=7514177838 TT=2.476 T1=0.86
/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/ rand.smallist/normalized-randcbf550.cudf.trendy.opb	UNSAT TT=0.512	UNSAT TT=0.522	UNSAT TT=0.512	UNSAT TT=0.767	UNSAT TT=0.842	UNSAT TT=0.681
/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/ rand.smallist/normalized-randcef367.cudf.trendy.opb	UNSAT TT=0.958	UNSAT TT=1.229	UNSAT TT=1.23	UNSAT TT=0.966	UNSAT TT=1.289	UNSAT TT=0.958
/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/ rand.smallist/normalized-randd6bc17.cudf.trendy.opb	OPT f=0 TT=1.39 T1=0.61	OPT f=0 TT=88.164 T1=88.13	OPT f=0 TT=103.239 T1=103.23	OPT f=0 TT=1.612 T1=0.7	OPT f=0 TT=1.576 T1=0.98	OPT f=0 TT=1.39 T1=0.61
/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/ rand.smallist/normalized-randdd5509.cudf.trendy.opb	UNSAT TT=0.943	UNSAT TT=1.115	UNSAT TT=1.026	UNSAT TT=0.944	UNSAT TT=1.118	UNSAT TT=0.943
/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/ rand.smallist/normalized-rande2165e.cudf.trendy.opb	OPT f=19002374606 TT=2.663 T1=1.05	? (TO) f=19262558192 TT=1800.06 T1=1770.21	? (TO) f=19002374606 TT=1800.07 T1=1800	OPT f=19002374606 TT=2.663 T1=1.05	OPT f=19002374606 TT=7.885 T1=4.1	OPT f=19002374606 TT=13.333 T1=1.19

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		107	117	221	330	333
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)		19	16	102	123	253