PB'06 evaluation: results by benchmark

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

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

REMINDER

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

Description of a cell contents:

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

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

Meaning of some abbreviations:

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

Meaning of the different colors:

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

For better readability, you may choose to hide some solvers:
bsolo 2006/05
minisat+ 1.14
SAT4JPSEUDO 2006.2
SAT4JPSEUDO 2006.2 Heuristics

Bench name	Best results on this instance	bsolo 2006/05	minisat+ 1.14	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-25fv47.opb	UNSAT TT=3.116	UNSAT TT=3.116	UNSAT TT=20.1	UNSAT TT=7.043	UNSAT TT=7.384
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-80bau3b.opb	UNSAT TT=8.763	UNSAT TT=31.237	UNSAT TT=8.763	UNSAT TT=36.323	UNSAT TT=38.107
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-adlittle.opb		? TT=1800.01	? (TO) TT=1800.69	? (TO) TT=1800.96	? (TO) TT=1801.04
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-afiro.opb	OPT f=-11897496 TT=487.169 T1=471.89	OPT f=-11897496 TT=612.181 T1=471.89	OPT f=-11897496 TT=487.169 T1=487.13	SAT (TO) f=-720 TT=1800.96 T1=2.18	SAT (TO) f=-755470 TT=1801.02 T1=15.48
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-agg2.opb		Signal TT=1614.27	Signal TT=422.131	? (TO) TT=1800.86	? (TO) TT=1800.28
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-agg3.opb		? TT=1800.2	Signal TT=393.09	? (TO) TT=1800.66	? (TO) TT=1800.6
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-agg.opb		? TT=1800.06	Signal TT=255.088	? (TO) TT=1800.69	? (TO) TT=1800.63
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-bandm.opb	UNSAT TT=0.635	UNSAT TT=0.635	UNSAT TT=2.912	UNSAT TT=2.512	UNSAT TT=3.386
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-beaconfd.opb	UNSAT TT=1.682	UNSAT TT=1.682	UNSAT TT=21.658	UNSAT TT=2.577	UNSAT TT=3.851
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-blend.opb	SAT f=0 TT=1800.78 T1=0.89	? TT=1800.13	? (TO) TT=1800.68	SAT (TO) f=0 TT=1800.78 T1=0.89	? (TO) TT=1801.01
Bench name	Best results on this instance	bsolo 2006/05	minisat+ 1.14	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-bnl1.opb		? TT=1800.02	? (TO) TT=1800.74	? (TO) TT=1800.14	? (TO) TT=1800.69
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-bnl2.opb	UNSAT TT=5.099	UNSAT TT=5.099	UNSAT TT=20.054	UNSAT TT=15.5	UNSAT TT=16.433
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-boeing1.opb		? TT=1800.09	? (TO) TT=1800.62	? (TO) TT=1800.81	? (TO) TT=1800.24
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-boeing2.opb		? TT=1800.14	? (TO) TT=1800.57	? (TO) TT=1800.67	? (TO) TT=1800.75
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-bore3d.opb	UNSAT TT=0.359	UNSAT TT=0.359	UNSAT TT=0.973	UNSAT TT=1.858	UNSAT TT=2.109
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-brandy.opb	UNSAT TT=0.551	UNSAT TT=0.551	UNSAT TT=1.936	UNSAT TT=2.406	UNSAT TT=1.868
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-capri.opb	UNSAT TT=0.247	UNSAT TT=0.247	UNSAT TT=0.818	UNSAT TT=1.87	UNSAT TT=1.997
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-cycle.opb	SAT f=0 TT=1802.48 T1=17.56	? TT=1800.05	? (TO) TT=1800.71	SAT (TO) f=0 TT=1802.48 T1=17.56	? (TO) TT=1800.17
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-czprob.opb	SAT f=245813826120082 TT=1804.13 T1=96.43	? TT=0.469	? (TO) TT=1800.65	? (TO) TT=1800.25	SAT (TO) f=245813826120082 TT=1804.13 T1=96.43
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-d2q06c.opb	UNSAT TT=25.449	? TT=25.067	UNSAT TT=26.771	UNSAT TT=25.449	UNSAT TT=25.462
Bench name	Best results on this instance	bsolo 2006/05	minisat+ 1.14	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-d6cube.opb		? TT=1800.09	? (TO) TT=1800.63	? (TO) TT=1800.74	? (TO) TT=1801.13
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-degen2.opb		? TT=1800.05	? (TO) TT=1800.21	? (TO) TT=1800.44	? (TO) TT=1800.94
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-degen3.opb		? TT=1800.05	? (TO) TT=1800.55	? (TO) TT=1800.43	? (TO) TT=1800.91
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-dfl001.opb		? TT=0.042	Signal TT=370.055	? (TO) TT=1800.31	? (TO) TT=1800.73
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-e226.opb	UNSAT TT=0.75	UNSAT TT=0.75	UNSAT TT=2.705	UNSAT TT=2.09	UNSAT TT=2.422
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-etamacro.opb	UNSAT TT=0.883	? TT=0.006	UNSAT TT=0.883	UNSAT TT=2.261	UNSAT TT=2.474
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-fffff800.opb	UNSAT TT=4.003	? TT=1.032	UNSAT TT=14.545	UNSAT TT=4.003	UNSAT TT=4.099
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-fit1p.opb	SAT f=10627584 TT=1803.45 T1=8.27	? TT=1800.04	? (TO) TT=1800.67	SAT (TO) f=10627584 TT=1803.45 T1=8.27	? (TO) TT=1801.01
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-fit2d.opb	SAT f=-700 TT=1804.71 T1=1170.95	? (TO) TT=1800.59	? (TO) TT=1800.6	SAT (TO) f=-700 TT=1804.71 T1=1170.95	? (TO) TT=1801.02
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-fit2p.opb	SAT f=223039233 TT=1804.83 T1=1693.12	? TT=1800.23	? (TO) TT=1800.5	SAT (TO) f=223039233 TT=1804.83 T1=1693.12	? (TO) TT=1800.69
Bench name	Best results on this instance	bsolo 2006/05	minisat+ 1.14	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-forplan.opb		? TT=1800.02	? (TO) TT=1800.78	? (TO) TT=1800.86	? (TO) TT=1800.22
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-ganges.opb	UNSAT TT=2.118	UNSAT TT=2.118	UNSAT TT=3.367	UNSAT TT=6.288	UNSAT TT=6.378
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-gfrd-pnc.opb		Signal TT=184.918	Signal TT=9.604	? (TO) TT=1800.48	? (TO) TT=1800.55
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-greenbea.opb		Signal TT=1161.74	? (TO) TT=1800.56	? (TO) TT=1800.98	? (TO) TT=1800.73
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-greenbeb.opb		? (TO) TT=1800.29	? (TO) TT=1800.52	? (TO) TT=1800.65	? (TO) TT=1801.01
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-grow15.opb	SAT f=0 TT=1801.27 T1=2.76	? TT=1800.17	? (TO) TT=1800.57	SAT (TO) f=0 TT=1801.27 T1=2.76	? (TO) TT=1800.32
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-grow22.opb	SAT f=0 TT=1800.94 T1=3.74	? TT=1800.15	? (TO) TT=1800.64	SAT (TO) f=0 TT=1800.94 T1=3.74	? (TO) TT=1801.02
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.53 T1=1.53	? TT=1800.13	? (TO) TT=1800.7	SAT (TO) f=0 TT=1800.53 T1=1.53	? (TO) TT=1800.25
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-israel.opb	SAT f=-276360520335 TT=1800.41 T1=1611.54	SAT f=-149664621032 TT=1800.07 T1=1110.97	? (TO) TT=1800.74	SAT (TO) f=-276360520335 TT=1800.41 T1=1611.54	SAT (TO) f=-106265035525 TT=1800.33 T1=37.01
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.04 T1=0.79	SAT f=0 TT=1800.04 T1=1005.53	? (TO) TT=1800.69	SAT (TO) f=0 TT=1800.9 T1=0.79	SAT (TO) f=0 TT=1801.01 T1=1.14
Bench name	Best results on this instance	bsolo 2006/05	minisat+ 1.14	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-lotfi.opb		? TT=0.137	Signal TT=325.899	? (TO) TT=1800.17	? (TO) TT=1800.62
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-maros.opb		? TT=0.718	? (TO) TT=1800.64	? (TO) TT=1800.12	? (TO) TT=1801.03
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-maros-r7.opb		? TT=1800.1	? (TO) TT=1800.54	? (TO) TT=1800.91	? (TO) TT=1801.07
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-modszk1.opb		? TT=2.659	? (TO) TT=1800.79	? (TO) TT=1800.73	? (TO) TT=1800.95
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-nesm.opb	UNSAT TT=9.005	? TT=1.566	UNSAT TT=9.784	UNSAT TT=10.426	UNSAT TT=9.005
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-perold.opb	UNSAT TT=4.03	? TT=0.377	UNSAT TT=4.03	UNSAT TT=4.572	UNSAT TT=4.555
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-pilot4.opb	UNSAT TT=3.16	? TT=0.112	UNSAT TT=3.16	UNSAT TT=3.397	UNSAT TT=3.791
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-pilot87.opb	UNSAT TT=11.928	UNSAT TT=14.284	UNSAT TT=11.928	UNSAT TT=15.145	UNSAT TT=14.642
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-pilot.opb	UNSAT TT=4.808	UNSAT TT=7.924	UNSAT TT=4.808	UNSAT TT=7.208	UNSAT TT=7.103
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-pilot.we.opb		? TT=0.013	? (TO) TT=1800.69	? (TO) TT=1800.72	? (TO) TT=1800.64
Bench name	Best results on this instance	bsolo 2006/05	minisat+ 1.14	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-recipe.opb	SAT f=-75614961 TT=1800.72 T1=2.27	? TT=1800.04	Signal TT=610.372	SAT (TO) f=-53501881 TT=1800.99 T1=1.24	SAT (TO) f=-75614961 TT=1800.72 T1=2.27
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-sc105.opb	OPT f=0 TT=4.472 T1=0.86	SAT f=0 TT=1800.27 T1=333.88	OPT f=0 TT=4.472 T1=4.42	SAT (TO) f=0 TT=1800.42 T1=0.86	SAT (TO) f=0 TT=1800.42 T1=7.16
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-sc205.opb	OPT f=0 TT=22.663 T1=1.11	? TT=1800.15	OPT f=0 TT=22.663 T1=22.65	SAT (TO) f=0 TT=1800.49 T1=1.11	SAT (TO) f=0 TT=1801.26 T1=10.34
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-sc50a.opb	OPT f=-60000 TT=3.835 T1=2.51	SAT f=-60000 TT=1800.06 T1=44.58	OPT f=-60000 TT=3.835 T1=2.51	SAT (TO) f=0 TT=1800.87 T1=0.57	SAT (TO) f=0 TT=1800.22 T1=2.12
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-sc50b.opb	OPT f=-70000 TT=543.146 T1=526.12	SAT f=-60000 TT=1800.27 T1=207.41	OPT f=-70000 TT=543.146 T1=526.12	SAT (TO) f=0 TT=1801.21 T1=0.56	SAT (TO) f=0 TT=1800.37 T1=3.15
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-scagr25.opb	UNSAT TT=0.565	UNSAT TT=0.565	UNSAT TT=1.064	UNSAT TT=2.76	UNSAT TT=3.15
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-scagr7.opb	UNSAT TT=0.113	UNSAT TT=0.113	UNSAT TT=0.267	UNSAT TT=1.368	UNSAT TT=1.83
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-scfxm1.opb	UNSAT TT=0.517	UNSAT TT=0.517	UNSAT TT=3.127	UNSAT TT=2.25	UNSAT TT=2.3
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-scfxm2.opb	UNSAT TT=1.036	UNSAT TT=1.036	UNSAT TT=5.9	UNSAT TT=4.234	UNSAT TT=4.471
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-scfxm3.opb	UNSAT TT=1.625	UNSAT TT=1.625	UNSAT TT=9.128	UNSAT TT=5.957	UNSAT TT=6.346
Bench name	Best results on this instance	bsolo 2006/05	minisat+ 1.14	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-scorpion.opb		? (TO) TT=1800.9	Signal TT=650.941	? (TO) TT=1800.51	? (TO) TT=1800.85
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-scrs8.opb		? TT=0.013	? (TO) TT=1800.52	? (TO) TT=1800.28	? (TO) TT=1801.02
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-scsd1.opb		? TT=0.527	Signal TT=212.803	? (TO) TT=1800.42	? (TO) TT=1800.25
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-scsd6.opb		? TT=2.36	Signal TT=226.57	? (TO) TT=1801.1	? (TO) TT=1800.62
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-scsd8.opb		? TT=12.164	Signal TT=207.623	? (TO) TT=1800.78	? (TO) TT=1800.81
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-sctap1.opb	SAT f=10169175305 TT=1801.31 T1=1165.67	Signal TT=1392.8	? (TO) TT=1800.53	SAT (TO) f=10169175305 TT=1801.31 T1=1165.67	SAT (TO) f=11034801401 TT=1801.21 T1=1117.02
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-sctap2.opb		Signal TT=250.975	? (TO) TT=1800.68	? (TO) TT=1800.94	? (TO) TT=1800.9
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-sctap3.opb		Signal TT=265.425	? (TO) TT=1800.58	? (TO) TT=1800.66	? (TO) TT=1800.18
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-seba.opb		? TT=1800.07	? (TO) TT=1800.78	? (TO) TT=1800.13	? (TO) TT=1801.08
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-share1b.opb	UNSAT TT=0.26	UNSAT TT=0.26	UNSAT TT=1.18	UNSAT TT=2.905	UNSAT TT=1.931
Bench name	Best results on this instance	bsolo 2006/05	minisat+ 1.14	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-share2b.opb	SAT f=-36858196 TT=1800.84 T1=365.22	? TT=1800.01	? (TO) TT=1800.59	? (TO) TT=1800.82	SAT (TO) f=-36858196 TT=1800.84 T1=365.22
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-shell.opb		? TT=1800.29	Signal TT=10.421	? (TO) TT=1800.62	? (TO) TT=1800.48
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-ship04l.opb	UNSAT TT=3.918	UNSAT TT=3.918	UNSAT TT=15.701	UNSAT TT=5.579	UNSAT TT=6.262
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-ship04s.opb	UNSAT TT=2.007	UNSAT TT=2.007	UNSAT TT=4.911	UNSAT TT=2.248	UNSAT TT=2.229
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-ship08l.opb	UNSAT TT=11.932	UNSAT TT=11.932	UNSAT TT=28.766	UNSAT TT=12.545	UNSAT TT=13.933
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-ship08s.opb	UNSAT TT=4.113	UNSAT TT=4.113	UNSAT TT=12.482	UNSAT TT=7.84	UNSAT TT=8.433
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-ship12l.opb	UNSAT TT=13.728	UNSAT TT=16.748	UNSAT TT=28.308	UNSAT TT=13.728	UNSAT TT=13.784
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-ship12s.opb	UNSAT TT=5.006	UNSAT TT=5.006	UNSAT TT=10.808	UNSAT TT=7.947	UNSAT TT=8.286
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-sierra.opb		? TT=1800.09	Signal TT=28.56	? (TO) TT=1800.24	? (TO) TT=1800.99
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-stair.opb	UNSAT TT=45.449	UNSAT TT=45.449	? (TO) TT=1800.53	? (TO) TT=1800.42	? (TO) TT=1800.13
Bench name	Best results on this instance	bsolo 2006/05	minisat+ 1.14	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-standata.opb		? TT=1800.02	? (TO) TT=1800.71	? (TO) TT=1800.62	? (TO) TT=1800.39
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-standgub.opb		? TT=1800.01	? (TO) TT=1800.52	? (TO) TT=1801.07	? (TO) TT=1800.48
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-stocfor1.opb	UNSAT TT=0.09	UNSAT TT=0.09	UNSAT TT=0.236	UNSAT TT=1.157	UNSAT TT=1.279
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-stocfor2.opb	UNSAT TT=6.102	? TT=0.014	UNSAT TT=6.102	UNSAT TT=9.92	UNSAT TT=10.192
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-tuff.opb		? TT=1800.06	? (TO) TT=1800.56	? (TO) TT=1800.76	? (TO) TT=1801.05
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-vtp.base.opb		? TT=1800.09	Signal TT=370.57	? (TO) TT=1800.2	? (TO) TT=1800.28
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/ data/normalized-mps-v2-20-10-wood1p.opb		? TT=55.881	? (TO) TT=1800.73	? (TO) TT=1800.58	? (TO) TT=1800.82
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-mps-v2-20-10-woodw.opb	UNSAT TT=39.246	UNSAT TT=144.034	UNSAT TT=123.083	UNSAT TT=40.914	UNSAT TT=39.246
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-a1c1s1.opb		Signal TT=362.675	? (TO) TT=1801.05	? (TO) TT=1800.42	? (TO) TT=1800.99
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-arki001.opb	UNSAT TT=4.363	? TT=1800.08	? (TO) TT=1800.64	UNSAT TT=421.425	UNSAT TT=4.363
Bench name	Best results on this instance	bsolo 2006/05	minisat+ 1.14	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-atlanta-ip.opb		? TT=1800.07	? (TO) TT=1800.31	? (TO) TT=1800.34	? (TO) TT=1800.98
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-dano3mip.opb		? TT=1800.16	? (TO) TT=1800.62	? (TO) TT=1800.53	? (TO) TT=1800.7
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-danoint.opb		? TT=1800.02	? (TO) TT=1800.73	? (TO) TT=1800.49	? (TO) TT=1800.27
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-ds.opb	SAT f=764056 TT=1801.35 T1=1629.61	? (TO) TT=1800.62	SAT (TO) f=764056 TT=1801.35 T1=1629.61	? TT=400.721	? TT=635.345
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-fiber.opb	SAT f=81843431 TT=1801.12 T1=1637.71	Signal TT=862.217	SAT (TO) f=1952115689 TT=1800.75 T1=17.33	? (TO) TT=1800.4	SAT (TO) f=81843431 TT=1801.12 T1=1637.71
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-fixnet6.opb	SAT f=57804647 TT=1801.55 T1=180.71	? TT=1800.26	SAT (TO) f=99694352 TT=1800.67 T1=1619.63	? (TO) TT=1800.95	SAT (TO) f=57804647 TT=1801.55 T1=180.71
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-gesa2-o.opb		? TT=1800.01	? (TO) TT=1800.39	? (TO) TT=1800.15	? (TO) TT=1800.53
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-gesa2.opb		Signal TT=559.376	? (TO) TT=1800.56	? (TO) TT=1800.57	? (TO) TT=1801.08
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-glass4.opb	SAT f=3063836008049 TT=1801.28 T1=535.09	? TT=0.011	Signal TT=189.526	SAT (TO) f=3063836008049 TT=1801.28 T1=535.09	SAT (TO) f=4193821561266 TT=1800.46 T1=1671.65
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-harp2.opb	SAT f=-65295401 TT=1801.15 T1=35.47	SAT f=-61428875 TT=1800.04 T1=559.69	? (TO) TT=1800.59	SAT (TO) f=-60594527 TT=1800.5 T1=1078.51	SAT (TO) f=-65295401 TT=1801.15 T1=35.47
Bench name	Best results on this instance	bsolo 2006/05	minisat+ 1.14	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-liu.opb	SAT f=544882688 TT=1800.14 T1=1301.61	SAT f=544882688 TT=1800.14 T1=1301.61	? (TO) TT=1800.7	? (TO) TT=1800.76	? (TO) TT=1800.81
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-markshare1.opb	SAT f=43008 TT=1800.24 T1=647.16	SAT (TO) f=43008 TT=1800.24 T1=647.16	SAT (TO) f=207872 TT=1800.46 T1=1635.25	SAT (TO) f=155648 TT=1800.94 T1=18.29	SAT (TO) f=209920 TT=1801.06 T1=24.03
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-markshare2.opb	SAT f=76800 TT=1800.27 T1=123.11	SAT f=76800 TT=1800.27 T1=123.11	SAT (TO) f=371712 TT=1800.64 T1=1591.76	SAT (TO) f=278528 TT=1800.71 T1=1105.85	SAT (TO) f=233472 TT=1800.92 T1=49.38
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-mas74.opb	SAT f=52428797515 TT=1800.72 T1=3.19	? TT=0.008	? (TO) TT=1800.71	SAT (TO) f=52428797515 TT=1800.72 T1=3.19	? (TO) TT=1800.46
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-mas76.opb	SAT f=143487941105 TT=1801.04 T1=16.24	? TT=0.011	? (TO) TT=1800.61	SAT (TO) f=143487941105 TT=1801.04 T1=16.24	? (TO) TT=1800.17
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-misc07.opb	SAT f=1076618240 TT=1800.09 T1=33.86	SAT f=1076618240 TT=1800.09 T1=33.86	SAT (TO) f=1076618240 TT=1800.72 T1=89.28	SAT (TO) f=1076705280 TT=1801.07 T1=40.54	SAT (TO) f=1076618240 TT=1800.85 T1=1748.12
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-mkc.opb	SAT f=-144250 TT=1800.07 T1=975.91	SAT f=-144250 TT=1800.07 T1=975.91	? (TO) TT=1800.64	SAT (TO) f=0 TT=1800.71 T1=1.75	? (TO) TT=1800.37
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-mod011.opb	SAT f=0 TT=1804.37 T1=146.63	? TT=1.804	? (TO) TT=1800.48	SAT (TO) f=0 TT=1804.37 T1=146.63	? (TO) TT=1801.13
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-modglob.opb		? TT=0.05	? (TO) TT=1800.71	? (TO) TT=1801.15	? (TO) TT=1800.17
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-momentum1.opb	UNSAT TT=6.439	? TT=0.848	UNSAT TT=6.439	UNSAT TT=34.384	UNSAT TT=32.655
Bench name	Best results on this instance	bsolo 2006/05	minisat+ 1.14	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-momentum2.opb	UNSAT TT=38.345	? TT=0.259	UNSAT TT=47.483	UNSAT TT=38.345	UNSAT TT=40.756
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-momentum3.opb	SAT f=10752000000 TT=1804.36 T1=248.08	? TT=1.233	? (TO) TT=1800.64	SAT (TO) f=10752000000 TT=1804.36 T1=248.08	SAT (TO) f=10752000000 TT=1804.91 T1=1099.9
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-msc98-ip.opb	SAT f=2882590000998510470 TT=1801.73 T1=1374.58	? TT=1800.03	? (TO) TT=1800.42	SAT (TO) f=2882590000998510470 TT=1801.73 T1=1374.58	SAT (TO) f=2899683001037381596 TT=1801.66 T1=1555.17
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-noswot.opb	OPT f=-41 TT=67.294 T1=3.01	SAT f=-40 TT=1800.1 T1=1519.11	OPT f=-41 TT=67.294 T1=38.08	SAT (TO) f=-41 TT=1801.11 T1=3.01	SAT (TO) f=-38 TT=1800.6 T1=8.04
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-nsrand-ipx.opb	SAT f=1207959552 TT=1800.35 T1=2.89	SAT f=1265106943 TT=1800.04 T1=21.79	? (TO) TT=1800.72	SAT (TO) f=1207959552 TT=1800.35 T1=2.89	SAT (TO) f=2147483646 TT=1800.24 T1=472.59
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-pk1.opb	SAT f=73896 TT=1800.67 T1=1679.43	? TT=1800.01	SAT (TO) f=73896 TT=1800.67 T1=1679.43	? (TO) TT=1801.08	? (TO) TT=1800.24
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-pp08aCUTS.opb		Signal TT=196.257	? (TO) TT=1800.49	? (TO) TT=1800.18	? (TO) TT=1800.84
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-pp08a.opb		Signal TT=156.965	? (TO) TT=1800.58	? (TO) TT=1800.66	? (TO) TT=1800.59
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-qiu.opb	UNSAT TT=268.839	UNSAT TT=268.839	Signal TT=4.099	? (TO) TT=1800.33	? (TO) TT=1800.98
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-rd-rplusc-21.opb	UNSAT TT=92.628	? TT=0.016	UNSAT TT=160.757	UNSAT TT=92.886	UNSAT TT=92.628
Bench name	Best results on this instance	bsolo 2006/05	minisat+ 1.14	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-roll3000.opb		? TT=1800.03	? (TO) TT=1800.68	? (TO) TT=1800.83	? (TO) TT=1800.71
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-rout.opb	SAT f=1075120384 TT=1800.02 T1=1137.4	SAT f=1075120384 TT=1800.02 T1=1137.4	SAT (TO) f=1075131904 TT=1800.7 T1=1683.85	SAT (TO) f=1075340544 TT=1800.5 T1=369.79	? (TO) TT=1800.52
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-set1ch.opb	SAT f=18508139657 TT=1800.49 T1=123.49	? TT=1800.13	SAT (TO) f=18508139657 TT=1800.49 T1=123.49	? (TO) TT=1800.75	SAT (TO) f=86261577757 TT=1801.16 T1=7.71
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-sp97ar.opb	SAT f=43909739328 TT=1804.09 T1=1095.94	? TT=2.405	SAT (TO) f=682950376212 TT=1800.81 T1=632.87	SAT (TO) f=95959999077 TT=1804.84 T1=1459.05	SAT (TO) f=43909739328 TT=1804.09 T1=1095.94
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-stp3d.opb		? TT=1800.07	? (TO) TT=1800.57	? (TO) TT=1800.71	? (TO) TT=1800.79
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-swath.opb		? TT=1800.08	Signal TT=211.505	? (TO) TT=1800.97	? (TO) TT=1800.43
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-timtab1.opb		? TT=0.07	Signal TT=1.847	? (TO) TT=1801.02	? (TO) TT=1800.44
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-timtab2.opb	SAT f=191923639499901388 TT=1800.3 T1=70.52	SAT f=191923639499901388 TT=1800.3 T1=70.52	? (TO) TT=1800.66	? (TO) TT=1800.61	? (TO) TT=1800.18
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-tr12-30.opb		Signal TT=275.493	? (TO) TT=1800.58	? (TO) TT=1800.58	? (TO) TT=1800.4
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-mps-v2-20-10-van.opb	SAT f=25442247019 TT=1800.19 T1=718.81	SAT f=25442247019 TT=1800.19 T1=718.81	? (TO) TT=1800.51	SAT (TO) f=29193312741 TT=1801.21 T1=1216.56	SAT (TO) f=26691181296 TT=1801.01 T1=1366.91
Bench name	Best results on this instance	bsolo 2006/05	minisat+ 1.14	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib3/ normalized-mps-v2-20-10-blend2.opb		? TT=1800.17	? (TO) TT=1800.72	? (TO) TT=1800.44	? (TO) TT=1800.28
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib3/ normalized-mps-v2-20-10-gesa3_o.opb		? TT=1800.03	? (TO) TT=1800.67	? (TO) TT=1800.54	? (TO) TT=1800.47
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib3/ normalized-mps-v2-20-10-gesa3.opb	SAT f=5265242629070 TT=1801.76 T1=5.94	SAT (TO) f=9490662505611 TT=1800.28 T1=1319.96	? (TO) TT=1800.71	SAT (TO) f=5265242629070 TT=1801.76 T1=5.94	? (TO) TT=1800.1
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib3/ normalized-mps-v2-20-10-qnet1_o.opb	UNSAT TT=0.187	UNSAT TT=0.187	UNSAT TT=1.652	UNSAT TT=2.166	? (TO) TT=1800.31
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib3/ normalized-mps-v2-20-10-qnet1.opb	UNSAT TT=0.19	UNSAT TT=0.19	UNSAT TT=1.698	UNSAT TT=2.236	? (TO) TT=1800.6
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-bell3a.opb	SAT f=1265489823134155 TT=1800.34 T1=907.93	SAT f=1955183806343750 TT=1800.25 T1=1662.38	SAT (TO) f=9138013899170109 TT=1800.57 T1=23.06	SAT (TO) f=1853947970120440 TT=1801.24 T1=1744.51	SAT (TO) f=1265489823134155 TT=1800.34 T1=907.93
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-bell3b.opb	SAT f=2120011004247980 TT=1800.83 T1=1612.57	SAT f=3532218867220949 TT=1800.07 T1=134.14	SAT (TO) f=28521352661217238 TT=1800.61 T1=24.51	SAT (TO) f=4682094455589205 TT=1800.7 T1=1661.39	SAT (TO) f=2120011004247980 TT=1800.83 T1=1612.57
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-bell4.opb	SAT f=265972200281973 TT=1800.79 T1=1564.77	SAT f=354355213278995 TT=1800.18 T1=529.91	SAT (TO) f=3855997816148051 TT=1800.53 T1=19.01	SAT (TO) f=547585666917274 TT=1800.82 T1=1523.6	SAT (TO) f=265972200281973 TT=1800.79 T1=1564.77
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-bell5.opb	SAT f=1228395061013523 TT=1801.19 T1=10.19	SAT f=2038953869794974 TT=1800.23 T1=7.72	SAT (TO) f=5196926756466002 TT=1800.42 T1=17.96	SAT (TO) f=2390880232227369 TT=1800.54 T1=1642.95	SAT (TO) f=1228395061013523 TT=1801.19 T1=10.19
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-dcmulti.opb		? TT=1800.07	? (TO) TT=1800.56	? (TO) TT=1800.76	? (TO) TT=1800.63
Bench name	Best results on this instance	bsolo 2006/05	minisat+ 1.14	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-egout.opb	OPT f=471047168 TT=459.823 T1=413.84	SAT f=511867904 TT=1800.08 T1=1164.48	OPT f=471047168 TT=459.823 T1=413.84	SAT (TO) f=647014171 TT=1800.29 T1=3.75	SAT (TO) f=518678528 TT=1800.32 T1=37.73
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-fixnet3.opb	SAT f=756225019 TT=1800.62 T1=983.5	SAT f=923642409 TT=1800.07 T1=1409.14	SAT (TO) f=756225019 TT=1800.62 T1=983.5	? (TO) TT=1800.53	? (TO) TT=1800.66
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-fixnet4.opb	SAT f=15257924 TT=1801.2 T1=451.13	SAT f=141697657 TT=1800.08 T1=1113.26	SAT (TO) f=155141646 TT=1800.56 T1=1540.02	? (TO) TT=1800.34	SAT (TO) f=15257924 TT=1801.2 T1=451.13
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-flugpl.opb	OPT f=14745600 TT=3.108 T1=2.75	OPT f=14745600 TT=3.108 T1=2.75	OPT f=14745600 TT=21.302 T1=21.22	OPT f=14745600 TT=33.446 T1=25.81	OPT f=14745600 TT=9.345 T1=6.89
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-gen.opb	SAT f=70288331953493 TT=1800.68 T1=283.48	Signal TT=1027.41	SAT (TO) f=70288331953493 TT=1800.68 T1=283.48	? (TO) TT=1800.32	SAT (TO) f=71606086827852 TT=1800.92 T1=391.6
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-khb05250.opb	SAT f=321286313528 TT=1803.87 T1=399.73	SAT f=351305413616 TT=1800.09 T1=1440.56	? (TO) TT=1800.65	? (TO) TT=1800.39	SAT (TO) f=321286313528 TT=1803.87 T1=399.73
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-misc01.opb	OPT f=1074317824 TT=0.955 T1=0.71	OPT f=1074317824 TT=2.391 T1=1.32	OPT f=1074317824 TT=0.955 T1=0.71	OPT f=1074317824 TT=9.878 T1=2.82	OPT f=1074317824 TT=10.09 T1=4.11
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-misc02.opb	OPT f=1075471360 TT=2.222 T1=1.83	OPT f=1075471360 TT=2.222 T1=1.83	OPT f=1075471360 TT=2.532 T1=2.11	OPT f=1075471360 TT=5.603 T1=3.47	OPT f=1075471360 TT=6.314 T1=3.26
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-misc03.opb	OPT f=1077181440 TT=16.237 T1=2.96	OPT f=1077181440 TT=16.237 T1=2.96	OPT f=1077181440 TT=34.991 T1=11.99	SAT (TO) f=1077181440 TT=1800.29 T1=4.11	SAT (TO) f=1077181440 TT=1800.4 T1=9.79
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-misc04.opb		? TT=1.932	? (TO) TT=1800.54	? (TO) TT=1800.83	? (TO) TT=1800.47
Bench name	Best results on this instance	bsolo 2006/05	minisat+ 1.14	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-misc05.opb	OPT f=1076796928 TT=247.126 T1=54.91	? TT=1800.01	OPT f=1076796928 TT=247.126 T1=54.91	SAT (TO) f=1076968448 TT=1801.08 T1=6.82	? (TO) TT=1800.95
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-misc06.opb		? TT=0.64	Signal TT=567.854	? (TO) TT=1800.77	? (TO) TT=1801.03
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-mod013.opb	SAT f=33049600 TT=1800.69 T1=6.98	SAT f=46108378 TT=1800.01 T1=10.49	SAT (TO) f=44177326 TT=1800.73 T1=1628.75	SAT (TO) f=41733120 TT=1800.87 T1=0.72	SAT (TO) f=33049600 TT=1800.69 T1=6.98
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-rgn.opb	SAT f=1862512 TT=1800.74 T1=1687.17	? TT=1800.29	SAT (TO) f=1862512 TT=1800.74 T1=1687.17	? (TO) TT=1800.74	? (TO) TT=1800.64
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-sample2.opb	OPT f=384000 TT=19.682 T1=2.36	SAT f=384000 TT=1800.1 T1=955.38	OPT f=384000 TT=19.682 T1=15.57	? (TO) TT=1800.79	SAT (TO) f=384000 TT=1800.81 T1=2.36
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-set1al.opb	SAT f=585542656 TT=1801.31 T1=7.71	? TT=1800.12	SAT (TO) f=12741888671 TT=1800.71 T1=1022.07	SAT (TO) f=585542656 TT=1801.31 T1=7.71	? (TO) TT=1800.29
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/MIPLIB/miplib/ normalized-mps-v2-20-10-set1cl.opb	SAT f=579808256 TT=1800.58 T1=5.75	? TT=1800.04	SAT (TO) f=18639166429 TT=1800.67 T1=480.87	SAT (TO) f=579808256 TT=1800.58 T1=5.75	? (TO) TT=1800.96
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ fctp/normalized-mps-v2-20-10-bal8x12.opb	SAT f=100255713 TT=1800.01 T1=104	SAT f=100255713 TT=1800.01 T1=104	SAT (TO) f=144087209 TT=1800.79 T1=1560.93	? (TO) TT=1800.85	SAT (TO) f=142146784 TT=1801.33 T1=24.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=6.589 T1=5.7	SAT f=358400 TT=1800.12 T1=63.2	OPT f=358400 TT=6.589 T1=5.7	SAT (TO) f=440320 TT=1800.42 T1=0.88	OPT f=358400 TT=570.783 T1=527
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-gr4x6.opb	SAT f=20843520 TT=1800.59 T1=1116.49	SAT f=25390106 TT=1800.03 T1=6.16	SAT (TO) f=20843520 TT=1800.59 T1=1116.49	SAT (TO) f=40111935 TT=1800.37 T1=7.01	SAT (TO) f=21944320 TT=1800.22 T1=4.71
Bench name	Best results on this instance	bsolo 2006/05	minisat+ 1.14	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n3700.opb		? (TO) TT=1800.72	? (TO) TT=1800.38	? (TO) TT=1800.15	? (TO) TT=1800.78
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n3701.opb	SAT f=6262717054 TT=1805.11 T1=1319.26	SAT (TO) f=54117296971 TT=1800.71 T1=1587.65	? (TO) TT=1800.61	? (TO) TT=1801.07	SAT (TO) f=6262717054 TT=1805.11 T1=1319.26
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n3702.opb	SAT f=58135444917 TT=1800.49 T1=1777.6	SAT (TO) f=58135444917 TT=1800.49 T1=1777.6	? (TO) TT=1800.52	? (TO) TT=1800.42	? (TO) TT=1801.06
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n3703.opb		? TT=1800.25	? (TO) TT=1800.6	? (TO) TT=1800.19	? (TO) TT=1800.6
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n3704.opb	SAT f=64527856424 TT=1800.68 T1=1642.18	SAT (TO) f=64527856424 TT=1800.68 T1=1642.18	? (TO) TT=1800.7	? (TO) TT=1801.02	? (TO) TT=1800.42
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n3705.opb		? TT=1800.04	? (TO) TT=1800.62	? (TO) TT=1800.57	? (TO) TT=1800.61
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n3706.opb		? TT=1800.05	? (TO) TT=1800.53	? (TO) TT=1801.02	? (TO) TT=1800.52
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n3707.opb		? TT=1800.28	? (TO) TT=1800.67	? (TO) TT=1800.38	? (TO) TT=1800.88
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n3708.opb		? TT=1800.28	? (TO) TT=1800.54	? (TO) TT=1800.16	? (TO) TT=1800.39
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n3709.opb		? TT=1800.07	? (TO) TT=1800.68	? (TO) TT=1800.79	? (TO) TT=1800.91
Bench name	Best results on this instance	bsolo 2006/05	minisat+ 1.14	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n370a.opb		? TT=1800.04	? (TO) TT=1800.65	? (TO) TT=1800.96	? (TO) TT=1800.89
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n370b.opb	SAT f=46802509183 TT=1800.69 T1=1752.18	SAT (TO) f=46802509183 TT=1800.69 T1=1752.18	? (TO) TT=1800.53	? (TO) TT=1801	? (TO) TT=1800.32
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n370c.opb	SAT f=63684861868 TT=1800.76 T1=1356.16	SAT (TO) f=63684861868 TT=1800.76 T1=1356.16	? (TO) TT=1800.66	? (TO) TT=1800.19	? (TO) TT=1801.07
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-n370e.opb	SAT f=55268689095 TT=1800.54 T1=1681.82	SAT (TO) f=55268689095 TT=1800.54 T1=1681.82	? (TO) TT=1800.08	? (TO) TT=1800.42	? (TO) TT=1800.44
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-ran10x10a.opb	SAT f=1810432 TT=1800.94 T1=92.2	SAT f=4296467 TT=1800.01 T1=68.9	SAT (TO) f=3675878 TT=1800.54 T1=1479.07	? (TO) TT=1801.16	SAT (TO) f=1810432 TT=1800.94 T1=92.2
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-ran10x10b.opb	SAT f=3979264 TT=1800.55 T1=1116.51	SAT f=9281536 TT=1800.01 T1=23.92	SAT (TO) f=9628000 TT=1800.66 T1=1107.65	? (TO) TT=1800.52	SAT (TO) f=3979264 TT=1800.55 T1=1116.51
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-ran10x10c.opb	SAT f=15595520 TT=1801.11 T1=1.36	SAT f=30105621 TT=1800.01 T1=101.96	SAT (TO) f=25925549 TT=1800.63 T1=1256.49	? (TO) TT=1801.14	SAT (TO) f=15595520 TT=1801.11 T1=1.36
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-ran10x12.opb	SAT f=3449843 TT=1800.52 T1=9.85	SAT f=7265285 TT=1800.02 T1=36.31	SAT (TO) f=11587982 TT=1800.7 T1=137.02	? (TO) TT=1800.59	SAT (TO) f=3449843 TT=1800.52 T1=9.85
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-ran10x26.opb	SAT f=7772113 TT=1800.99 T1=15.44	SAT f=19101077 TT=1800.03 T1=1104.56	SAT (TO) f=24052299 TT=1800.54 T1=1347.14	? (TO) TT=1800.99	SAT (TO) f=7772113 TT=1800.99 T1=15.44
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-ran12x12.opb	SAT f=3226624 TT=1800.85 T1=4.32	SAT f=7048323 TT=1800.01 T1=291.55	SAT (TO) f=9788326 TT=1800.52 T1=330.68	? (TO) TT=1801.09	SAT (TO) f=3226624 TT=1800.85 T1=4.32
Bench name	Best results on this instance	bsolo 2006/05	minisat+ 1.14	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-ran12x21.opb	SAT f=6185984 TT=1801.04 T1=13.97	SAT f=20973910 TT=1800.02 T1=269.34	SAT (TO) f=39438098 TT=1800.66 T1=712.92	? (TO) TT=1800.62	SAT (TO) f=6185984 TT=1801.04 T1=13.97
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-ran13x13.opb	SAT f=3573760 TT=1800.58 T1=56.19	SAT f=13061266 TT=1800.01 T1=363.27	SAT (TO) f=18381569 TT=1800.71 T1=182.97	? (TO) TT=1800.45	SAT (TO) f=3573760 TT=1800.58 T1=56.19
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-ran14x18.opb	SAT f=5749754 TT=1800.59 T1=5.21	SAT f=17713151 TT=1800.02 T1=193.84	SAT (TO) f=41464973 TT=1800.73 T1=1776.09	? (TO) TT=1800.31	SAT (TO) f=5749754 TT=1800.59 T1=5.21
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-ran16x16.opb	SAT f=5885956 TT=1800.4 T1=16.51	SAT f=14239342 TT=1800.03 T1=123.52	SAT (TO) f=22365823 TT=1800.51 T1=1682.55	SAT (TO) f=9685269 TT=1801.48 T1=1.58	SAT (TO) f=5885956 TT=1800.4 T1=16.51
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/fctp/ normalized-mps-v2-20-10-ran17x17.opb	SAT f=2462771 TT=1801.43 T1=787.44	SAT f=6156955 TT=1800.04 T1=276.95	SAT (TO) f=15971955 TT=1800.7 T1=1672.51	? (TO) TT=1801.05	SAT (TO) f=2462771 TT=1801.43 T1=787.44
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ fctp/normalized-mps-v2-20-10-ran4x64.opb	SAT f=11259904 TT=1800.5 T1=4.52	SAT f=25703217 TT=1800.01 T1=790.02	SAT (TO) f=44334018 TT=1800.68 T1=902.19	? (TO) TT=1800.45	SAT (TO) f=11259904 TT=1800.5 T1=4.52
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ fctp/normalized-mps-v2-20-10-ran6x43.opb	SAT f=8442880 TT=1800.55 T1=51.21	SAT f=19896867 TT=1800.02 T1=751.13	SAT (TO) f=35948065 TT=1800.68 T1=178.99	? (TO) TT=1801.11	SAT (TO) f=8442880 TT=1800.55 T1=51.21
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ fctp/normalized-mps-v2-20-10-ran8x32.opb	SAT f=7735294 TT=1801.17 T1=5.4	SAT f=22056766 TT=1800.02 T1=451.34	SAT (TO) f=18978750 TT=1800.72 T1=400.36	? (TO) TT=1800.97	SAT (TO) f=7735294 TT=1801.17 T1=5.4
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/lptestset/fome/ normalized-mps-v2-20-10-fome11.opb		? TT=0.044	Signal TT=347.542	? (TO) TT=1800.74	? (TO) TT=1800.84
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/lptestset/fome/ normalized-mps-v2-20-10-fome12.opb		? TT=0.046	Signal TT=443.333	? (TO) TT=1800.79	? (TO) TT=1800.48
Bench name	Best results on this instance	bsolo 2006/05	minisat+ 1.14	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/lptestset/fome/ normalized-mps-v2-20-10-fome13.opb		? TT=20.076	Signal TT=513.839	? (TO) TT=1801.14	? (TO) TT=1800.85
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-mps-v2-20-10-bc1.opb		? TT=0.233	? (TO) TT=1800.64	? (TO) TT=1800.44	? (TO) TT=1800.32
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-bienst1.opb		? TT=1800.02	? (TO) TT=1800.5	? (TO) TT=1801.1	? (TO) TT=1801.08
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-bienst2.opb		? TT=1800.01	? (TO) TT=1800.78	? (TO) TT=1800.86	? (TO) TT=1800.54
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-dano3_3.opb		? TT=1800.1	? (TO) TT=1800.44	? (TO) TT=1800.8	? (TO) TT=1800.33
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-dano3_4.opb		? TT=1800.17	? (TO) TT=1800.57	? (TO) TT=1800.84	? (TO) TT=1801.1
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-dano3_5.opb		? TT=1800.16	? (TO) TT=1800.44	? (TO) TT=1800.39	? (TO) TT=1800.76
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/milp/ normalized-mps-v2-20-10-markshare1_1.opb	SAT f=19690 TT=1800.12 T1=866.27	SAT (TO) f=19690 TT=1800.12 T1=866.27	SAT (TO) f=220160 TT=1800.49 T1=686.47	SAT (TO) f=222208 TT=1800.31 T1=72.97	SAT (TO) f=239717 TT=1800.39 T1=321.46
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/milp/ normalized-mps-v2-20-10-markshare2_1.opb	SAT f=31694 TT=1800.05 T1=667.74	SAT f=31694 TT=1800.05 T1=667.74	SAT (TO) f=440321 TT=1800.71 T1=1628.79	SAT (TO) f=264638 TT=1800.93 T1=608.31	SAT (TO) f=371969 TT=1800.48 T1=1431.56
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-mps-v2-20-10-mkc1.opb	SAT f=0 TT=1802.52 T1=8.3	? (TO) TT=1800.59	? (TO) TT=1800.69	SAT (TO) f=0 TT=1802.52 T1=8.3	? (TO) TT=1800.41
Bench name	Best results on this instance	bsolo 2006/05	minisat+ 1.14	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-neos11.opb	OPT f=9216 TT=1323.04 T1=1156.28	SAT f=12288 TT=1800.31 T1=604.65	OPT f=9216 TT=1323.04 T1=1156.28	SAT (TO) f=10240 TT=1801.1 T1=49.27	? (TO) TT=1800.92
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-neos12.opb	SAT f=25600 TT=1801.61 T1=10.61	? TT=1800.02	SAT (TO) f=4440346849 TT=1800.69 T1=1504.78	SAT (TO) f=25600 TT=1801.61 T1=10.61	? (TO) TT=1800.9
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-neos13.opb	SAT f=-89698560 TT=1800.34 T1=1141.24	? TT=1800.19	? (TO) TT=1800.65	SAT (TO) f=-28612134 TT=1800.32 T1=518.41	SAT (TO) f=-89698560 TT=1800.34 T1=1141.24
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-neos14.opb		? TT=0.061	Signal TT=13.779	? (TO) TT=1800.44	? (TO) TT=1800.2
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-neos15.opb		? TT=0.057	Signal TT=13.831	? (TO) TT=1800.37	? (TO) TT=1800.81
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-neos17.opb	SAT f=12238459 TT=1800.9 T1=38.36	SAT f=13696351 TT=1800.03 T1=1259.21	SAT (TO) f=61892463 TT=1800.48 T1=391.47	SAT (TO) f=17363962 TT=1800.91 T1=1374.47	SAT (TO) f=12238459 TT=1800.9 T1=38.36
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-neos20.opb	OPT f=-468992 TT=4.111 T1=4.06	OPT f=-468992 TT=1146.24 T1=223.95	OPT f=-468992 TT=4.111 T1=4.06	? (TO) TT=1800.78	SAT (TO) f=-174080 TT=1801.13 T1=13.79
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-mps-v2-20-10-neos2.opb		? TT=0.022	? (TO) TT=1800.6	? (TO) TT=1800.68	? (TO) TT=1800.14
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-mps-v2-20-10-neos3.opb		? TT=0.033	? (TO) TT=1800.69	? (TO) TT=1800.97	? (TO) TT=1801.03
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-mps-v2-20-10-neos6.opb		? TT=1800.02	? (TO) TT=1800.46	? (TO) TT=1800.58	? (TO) TT=1800.1
Bench name	Best results on this instance	bsolo 2006/05	minisat+ 1.14	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-mps-v2-20-10-neos7.opb		? TT=1800.19	? (TO) TT=1800.71	? (TO) TT=1800.43	? (TO) TT=1800.45
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-mps-v2-20-10-nug08.opb	OPT f=107 TT=678.416 T1=269.34	SAT f=107 TT=1800.16 T1=269.34	OPT f=107 TT=678.416 T1=381.06	SAT (TO) f=124 TT=1801.75 T1=1488.12	SAT (TO) f=110 TT=1802.03 T1=17.61
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-mps-v2-20-10-qap10.opb	SAT f=175 TT=1804.85 T1=418.91	SAT (TO) f=184 TT=1800.25 T1=224.35	SAT (TO) f=189 TT=1800.79 T1=555.59	SAT (TO) f=227 TT=1804.77 T1=20.34	SAT (TO) f=175 TT=1804.85 T1=418.91
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-swath1.opb		? TT=1800.03	Signal TT=255.217	? (TO) TT=1800.27	? (TO) TT=1800.57
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-swath2.opb		? TT=1800.05	Signal TT=250.177	? (TO) TT=1800.58	? (TO) TT=1800.57
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/ milp/normalized-mps-v2-20-10-swath3.opb		? TT=1800.02	Signal TT=248.995	? (TO) TT=1800.09	? (TO) TT=1800.54
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-A1C1S1.opb		Signal TT=368.604	? (TO) TT=1800.64	? (TO) TT=1800.44	? (TO) TT=1800.12
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-A2C1S1.opb		? TT=1800.17	? (TO) TT=1800.12	? (TO) TT=1800.13	? (TO) TT=1801
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-B1C1S1.opb		Signal TT=380.213	? (TO) TT=1800.92	? (TO) TT=1801.08	? (TO) TT=1800.35
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-B2C1S1.opb		Signal TT=377.072	? (TO) TT=1800.37	? (TO) TT=1800.09	? (TO) TT=1800.12
Bench name	Best results on this instance	bsolo 2006/05	minisat+ 1.14	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics
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=64512 TT=1800.7 T1=118.86	Signal TT=371.049	SAT (TO) f=64512 TT=1800.7 T1=118.86	? (TO) TT=1800.27	? (TO) TT=1800.53
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-bg512142.opb		? TT=1800.07	? (TO) TT=1800.72	? (TO) TT=1800.69	? (TO) TT=1800.22
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-biella1.opb	SAT f=1589451092070400 TT=1804.84 T1=8.48	? TT=0.206	? (TO) TT=1800.74	SAT (TO) f=1589451092070400 TT=1804.84 T1=8.48	? (TO) TT=1800.65
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-blp-ar98.opb		? TT=1800.07	Signal TT=221.48	? (TO) TT=1801	? (TO) TT=1800.82
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-blp-ic97.opb		? TT=1800.22	Signal TT=214.224	? (TO) TT=1800.08	? (TO) TT=1800.91
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-blp-ic98.opb		? TT=1800.68	Signal TT=226.703	? (TO) TT=1800.08	? (TO) TT=1801
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-blp-ir98.opb		? TT=1800.02	Signal TT=207.643	? (TO) TT=1800.12	? (TO) TT=1800.55
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-CMS750_4.opb	SAT f=1024000 TT=1801.62 T1=614.85	? TT=1800.05	? (TO) TT=1800.77	SAT (TO) f=1024000 TT=1801.62 T1=614.85	? (TO) TT=1800.48
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-core2536-691.opb	SAT f=947200000000000 TT=1801.66 T1=11.52	Signal TT=171.744	SAT (TO) f=8259584000000000 TT=1800.64 T1=294.07	SAT f=1169408000000000 TT=983.931 T1=185.94	SAT (TO) f=947200000000000 TT=1801.66 T1=11.52
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-core2586-950.opb	SAT f=1167360000000000 TT=1800.95 T1=331.58	SAT (TO) f=1167360000000000 TT=1800.95 T1=331.58	SAT (TO) f=5161984000000000 TT=1800.69 T1=192.57	No Cert. TT=1803.25	SAT (TO) f=1261568000000000 TT=1802.72 T1=1201.54
Bench name	Best results on this instance	bsolo 2006/05	minisat+ 1.14	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-core4284-1064.opb	SAT f=1432576000000000 TT=1801.28 T1=1702.78	Signal TT=425.832	SAT (TO) f=7440384000000000 TT=1800.77 T1=520.98	SAT f=1691648000000000 TT=1520.59 T1=549.11	SAT (TO) f=1432576000000000 TT=1801.28 T1=1702.78
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-core4872-1529.opb	SAT f=2009088000000000 TT=635.077 T1=179.36	Signal TT=329.294	SAT (TO) f=5852160000000000 TT=1800.76 T1=802.58	SAT (TO) f=2390016000000000 TT=1802.12 T1=43.14	SAT f=2009088000000000 TT=635.077 T1=179.36
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-dc1c.opb	SAT f=17863355069035520 TT=1804.91 T1=14.57	? TT=0.088	Signal TT=596.752	SAT (TO) f=17863355069035520 TT=1804.91 T1=14.57	? (TO) TT=1800.8
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-dc1l.opb	SAT f=17540679175205888 TT=1804.83 T1=26.43	? TT=0.223	? (TO) TT=1800.53	SAT (TO) f=17540679175205888 TT=1804.83 T1=26.43	? (TO) TT=1800.81
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-dg012142.opb		? TT=1800.15	? (TO) TT=1800.47	? (TO) TT=1800.9	? (TO) TT=1800.25
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-dolom1.opb	SAT f=18720440947643392 TT=1804.44 T1=17.03	? TT=0.302	? (TO) TT=1800.54	SAT (TO) f=18720440947643392 TT=1804.44 T1=17.03	? (TO) TT=1800.9
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-glass4.opb	SAT f=2883605019546 TT=1800.98 T1=788.49	? TT=0.021	Signal TT=177.876	SAT (TO) f=3604510536234 TT=1800.63 T1=915.67	SAT (TO) f=2883605019546 TT=1800.98 T1=788.49
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-NSR8K.opb		? TT=1.086	Signal TT=407.007	? (TO) TT=1800.15	? (TO) TT=1800.56
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-nsrand_ipx.opb	SAT f=1214251007 TT=1800.04 T1=25.06	SAT f=1214251007 TT=1800.04 T1=25.06	? (TO) TT=1800.74	SAT (TO) f=2147483647 TT=1801.07 T1=3.07	SAT (TO) f=2147221503 TT=1800.55 T1=1009.95
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-rail507.opb	SAT f=264192000000000 TT=1804.8 T1=35.57	? TT=1800.07	? (TO) TT=1800.67	SAT (TO) f=365568000000000 TT=1804.7 T1=54.55	SAT (TO) f=264192000000000 TT=1804.8 T1=35.57
Bench name	Best results on this instance	bsolo 2006/05	minisat+ 1.14	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics
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.3 T1=988.22	SAT f=409600 TT=1800.3 T1=988.22	SAT (TO) f=410624 TT=1800.62 T1=1773.43	? (TO) TT=1800.92	? (TO) TT=1800.94
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-roll3000.opb		? TT=1800.06	? (TO) TT=1800.67	? (TO) TT=1800.19	? (TO) TT=1800.51
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-siena1.opb	SAT f=16269067107200000 TT=1804.27 T1=20.8	? TT=0.322	? (TO) TT=1800.5	SAT (TO) f=16269067107200000 TT=1804.27 T1=20.8	? (TO) TT=1800.86
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-sp97ar.opb	SAT f=3982597801 TT=1800.97 T1=6.93	SAT f=22109279427 TT=1800.41 T1=33.65	SAT (TO) f=40148395689 TT=1800.73 T1=367.97	SAT (TO) f=3982597801 TT=1800.97 T1=6.93	SAT (TO) f=5345848281 TT=1801.2 T1=331.29
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-sp97ic.opb	SAT f=3802339929 TT=1801.1 T1=9.68	SAT f=14586679128 TT=1800.02 T1=1224.82	? (TO) TT=1800.68	SAT (TO) f=4764730539 TT=1801.33 T1=6.04	SAT (TO) f=3802339929 TT=1801.1 T1=9.68
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-sp98ar.opb	SAT f=5936990363 TT=1800.88 T1=1643.42	SAT f=12567559248 TT=1800.02 T1=1543.23	? (TO) TT=1800.66	SAT (TO) f=5936990363 TT=1800.88 T1=1643.42	SAT (TO) f=7570857211 TT=1801.09 T1=8.05
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-sp98ic.opb	SAT f=4788723051 TT=1801.07 T1=5.64	SAT f=13368655098 TT=1800.02 T1=1365.1	SAT (TO) f=116514206638 TT=1800.78 T1=626.61	SAT (TO) f=5881691489 TT=1800.99 T1=96.46	SAT (TO) f=4788723051 TT=1801.07 T1=5.64
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-tr12-30.opb		Signal TT=245.792	? (TO) TT=1800.69	? (TO) TT=1800.88	? (TO) TT=1800.69
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-trento1.opb	SAT f=21491069266217984 TT=1804.61 T1=9.53	? TT=0.214	? (TO) TT=1800.6	SAT (TO) f=21491069266217984 TT=1804.61 T1=9.53	? (TO) TT=1800.45
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-UMTS.opb	SAT f=40655383 TT=1800.05 T1=1211.96	SAT f=40655383 TT=1800.05 T1=1211.96	? (TO) TT=1800.59	? (TO) TT=1800.71	SAT (TO) f=67333632 TT=1801.17 T1=775.28
Bench name	Best results on this instance	bsolo 2006/05	minisat+ 1.14	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics
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=131072 TT=1800.62 T1=1739.45	SAT f=140288 TT=1800.12 T1=1561.33	SAT (TO) f=131072 TT=1800.62 T1=1739.45	? (TO) TT=1800.99	? (TO) TT=1800.32
normalized-PB06/OPT-BIGINT/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-mps-v2-20-10-van.opb	SAT f=25442247019 TT=1801.29 T1=776.36	SAT f=30442247018 TT=1800.19 T1=40.78	? (TO) TT=1800.59	SAT (TO) f=30517375819 TT=1801.02 T1=625.19	SAT (TO) f=25442247019 TT=1801.29 T1=776.36
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=2.917 T1=1.8	SAT f=344935 TT=1800.15 T1=174.71	OPT f=344750 TT=9.461 T1=9.32	OPT f=344750 TT=2.917 T1=1.8	OPT f=344750 TT=9.784 T1=8.21
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.043 T1=0.05	OPT f=-1073741823 TT=0.043 T1=0.05	OPT f=-1073741823 TT=0.401 T1=0.4	SAT (TO) f=-6667 TT=1800.68 T1=1793.11	OPT f=-1073741823 TT=0.307 T1=0.25
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.064 T1=0.06	OPT f=9663726592 TT=349.38 T1=257.42	OPT f=9663726592 TT=0.064 T1=0.06	OPT f=9663726592 TT=0.323 T1=0.25	OPT f=9663726592 TT=0.318 T1=0.27
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=100-sizeP=51-sizeQ=100-416317114-max.opb		? TT=0.26	? (TO) TT=1800.65	? (TO) TT=1800.5	? (TO) TT=1800.76
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=100-sizeP=51-sizeQ=100-416317114.opb	OPT f=1 TT=3.626 T1=2.79	? TT=0.25	OPT f=1 TT=88 T1=88.01	? (TO) TT=1800.32	OPT f=1 TT=3.626 T1=2.79
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=100-sizeP=51-sizeQ=100-520972534-max.opb		? TT=0.278	? (TO) TT=1800.84	? (TO) TT=1800.8	? (TO) TT=1800.38
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=100-sizeP=51-sizeQ=100-520972534.opb	OPT f=1 TT=3.567 T1=2.77	? TT=0.253	OPT f=1 TT=49.162 T1=49.17	? (TO) TT=1800.75	OPT f=1 TT=3.567 T1=2.77
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=120-sizeP=61-sizeQ=120-718083277-max.opb		? TT=0.008	? (TO) TT=1800.78	? (TO) TT=1800.98	? (TO) TT=1800.31
Bench name	Best results on this instance	bsolo 2006/05	minisat+ 1.14	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=120-sizeP=61-sizeQ=120-718083277.opb	OPT f=1 TT=5.691 T1=4.72	? TT=0.01	? (TO) TT=1800.77	? (TO) TT=1800.13	OPT f=1 TT=5.691 T1=4.72
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=120-sizeP=61-sizeQ=120-883133839-max.opb		? TT=0.005	? (TO) TT=1800.77	? (TO) TT=1800.57	? (TO) TT=1800.29
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=120-sizeP=61-sizeQ=120-883133839.opb	OPT f=1 TT=5.55 T1=4.68	? TT=0.014	? (TO) TT=1800.7	? (TO) TT=1800.43	OPT f=1 TT=5.55 T1=4.68
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=140-sizeP=71-sizeQ=140-217105354-max.opb		? TT=0.009	? (TO) TT=1800.71	? (TO) TT=1800.84	? (TO) TT=1800.77
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=140-sizeP=71-sizeQ=140-217105354.opb	OPT f=1 TT=7.951 T1=6.86	? TT=0.013	? (TO) TT=1800.86	? (TO) TT=1800.83	OPT f=1 TT=7.951 T1=6.86
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=140-sizeP=71-sizeQ=140-318609522-max.opb		? TT=0.006	? (TO) TT=1800.64	? (TO) TT=1800.73	? (TO) TT=1800.57
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=140-sizeP=71-sizeQ=140-318609522.opb	OPT f=1 TT=9.849 T1=8.84	? TT=0.015	? (TO) TT=1800.67	? (TO) TT=1800.74	OPT f=1 TT=9.849 T1=8.84
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=160-sizeP=81-sizeQ=160-203099174-max.opb		? TT=0.009	? (TO) TT=1800.7	? (TO) TT=1800.76	? (TO) TT=1800.5
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=160-sizeP=81-sizeQ=160-203099174.opb	OPT f=1 TT=15.144 T1=14.01	? TT=0.008	? (TO) TT=1800.78	? (TO) TT=1800.71	OPT f=1 TT=15.144 T1=14.01
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=160-sizeP=81-sizeQ=160-451332552-max.opb		? TT=0.012	? (TO) TT=1800.69	? (TO) TT=1800.1	? (TO) TT=1800.74
Bench name	Best results on this instance	bsolo 2006/05	minisat+ 1.14	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=160-sizeP=81-sizeQ=160-451332552.opb	OPT f=1 TT=12.123 T1=10.96	? TT=0.006	? (TO) TT=1800.7	? (TO) TT=1800.12	OPT f=1 TT=12.123 T1=10.96
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=180-sizeP=91-sizeQ=180-348768554-max.opb		? TT=0.008	? (TO) TT=1800.61	? (TO) TT=1801.09	? (TO) TT=1800.86
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=180-sizeP=91-sizeQ=180-348768554.opb	OPT f=1 TT=19.555 T1=18.2	? TT=0.008	? (TO) TT=1800.72	? (TO) TT=1801.03	OPT f=1 TT=19.555 T1=18.2
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=180-sizeP=91-sizeQ=180-780825197-max.opb		? TT=0.016	? (TO) TT=1800.48	? (TO) TT=1800.55	? (TO) TT=1800.94
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=180-sizeP=91-sizeQ=180-780825197.opb	OPT f=1 TT=24.912 T1=23.51	? TT=0.008	? (TO) TT=1800.64	? (TO) TT=1800.36	OPT f=1 TT=24.912 T1=23.51
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=200-sizeP=101-sizeQ=200-410184650-max.opb		? TT=0.011	? (TO) TT=1800.56	? (TO) TT=1800.27	? (TO) TT=1800.44
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=200-sizeP=101-sizeQ=200-410184650.opb	OPT f=1 TT=32.742 T1=31.22	? TT=0.007	OPT f=1 TT=111.641 T1=111.64	? (TO) TT=1800.26	OPT f=1 TT=32.742 T1=31.22
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=200-sizeP=101-sizeQ=200-864124249-max.opb		? TT=0.014	? (TO) TT=1800.72	? (TO) TT=1800.29	? (TO) TT=1800.58
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=200-sizeP=101-sizeQ=200-864124249.opb	OPT f=1 TT=29.104 T1=27.4	? TT=0.005	? (TO) TT=1800.6	? (TO) TT=1800.62	OPT f=1 TT=29.104 T1=27.4
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=20-sizeP=11-sizeQ=20-496708-max.opb	OPT f=-92 TT=0.513 T1=0.51	OPT f=-92 TT=3.264 T1=2.78	OPT f=-92 TT=0.513 T1=0.51	SAT (TO) f=-4 TT=1800.67 T1=1.87	SAT (TO) f=-92 TT=1801.09 T1=139.32
Bench name	Best results on this instance	bsolo 2006/05	minisat+ 1.14	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=20-sizeP=11-sizeQ=20-496708.opb	OPT f=1 TT=0.162 T1=0.16	OPT f=1 TT=1.926 T1=1.95	OPT f=1 TT=0.162 T1=0.16	OPT f=1 TT=1.034 T1=0.71	OPT f=1 TT=0.675 T1=0.46
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=20-sizeP=11-sizeQ=20-900543-max.opb	OPT f=-1281 TT=0.217 T1=0.22	OPT f=-1281 TT=2.671 T1=2.58	OPT f=-1281 TT=0.217 T1=0.22	SAT (TO) f=-1281 TT=1800.73 T1=88.7	SAT (TO) f=-1281 TT=1800.42 T1=42.11
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=20-sizeP=11-sizeQ=20-900543.opb	OPT f=1 TT=0.117 T1=0.12	OPT f=1 TT=2.43 T1=2.64	OPT f=1 TT=0.117 T1=0.12	OPT f=1 TT=639.834 T1=634.09	OPT f=1 TT=0.584 T1=0.41
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=220-sizeP=111-sizeQ=220-229130880-max.opb		? TT=0.011	? (TO) TT=1800.6	? (TO) TT=1801.03	? (TO) TT=1800.21
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=220-sizeP=111-sizeQ=220-229130880.opb	OPT f=1 TT=42.131 T1=39.4	? TT=0.012	? (TO) TT=1800.78	? (TO) TT=1800.41	OPT f=1 TT=42.131 T1=39.4
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=220-sizeP=111-sizeQ=220-687342390-max.opb		? TT=0.014	? (TO) TT=1800.62	? (TO) TT=1800.83	? (TO) TT=1800.49
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=220-sizeP=111-sizeQ=220-687342390.opb	OPT f=1 TT=40.885 T1=38.14	? TT=0.007	? (TO) TT=1800.67	? (TO) TT=1800.72	OPT f=1 TT=40.885 T1=38.14
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=240-sizeP=121-sizeQ=240-330229238-max.opb		? TT=0.006	? (TO) TT=1800.73	? (TO) TT=1800.94	? (TO) TT=1800.48
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=240-sizeP=121-sizeQ=240-330229238.opb	OPT f=1 TT=56.254 T1=52.98	? TT=0.004	? (TO) TT=1800.64	? (TO) TT=1801.24	OPT f=1 TT=56.254 T1=52.98
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=240-sizeP=121-sizeQ=240-817963885-max.opb		? TT=0.007	? (TO) TT=1800.73	? (TO) TT=1800.7	? (TO) TT=1801.03
Bench name	Best results on this instance	bsolo 2006/05	minisat+ 1.14	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=240-sizeP=121-sizeQ=240-817963885.opb	OPT f=1 TT=56.452 T1=53.25	? TT=0.005	? (TO) TT=1800.69	? (TO) TT=1800.13	OPT f=1 TT=56.452 T1=53.25
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=260-sizeP=131-sizeQ=260-466115074-max.opb		? TT=0.009	? (TO) TT=1800.68	? (TO) TT=1800.31	? (TO) TT=1801.06
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=260-sizeP=131-sizeQ=260-466115074.opb	OPT f=1 TT=79.922 T1=76.46	? TT=0.012	? (TO) TT=1800.77	? (TO) TT=1800.77	OPT f=1 TT=79.922 T1=76.46
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=260-sizeP=131-sizeQ=260-581480794-max.opb		? TT=0.008	? (TO) TT=1800.78	? (TO) TT=1800.55	? (TO) TT=1800.22
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=260-sizeP=131-sizeQ=260-581480794.opb	OPT f=1 TT=69.181 T1=66.56	? TT=0.007	? (TO) TT=1800.64	? (TO) TT=1800.96	OPT f=1 TT=69.181 T1=66.56
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=280-sizeP=141-sizeQ=280-254810631-max.opb		? TT=0.005	? (TO) TT=1800.84	? (TO) TT=1800.99	? (TO) TT=1800.24
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=280-sizeP=141-sizeQ=280-254810631.opb	OPT f=1 TT=99.798 T1=96.1	? TT=0.004	? (TO) TT=1800.76	? (TO) TT=1800.36	OPT f=1 TT=99.798 T1=96.1
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=280-sizeP=141-sizeQ=280-999529433-max.opb		? TT=0.01	? (TO) TT=1800.84	? (TO) TT=1800.21	? (TO) TT=1800.76
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=280-sizeP=141-sizeQ=280-999529433.opb	OPT f=1 TT=102.032 T1=97.97	? TT=0.013	? (TO) TT=1800.75	? (TO) TT=1800.59	OPT f=1 TT=102.032 T1=97.97
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=300-sizeP=151-sizeQ=300-346995195-max.opb		? TT=0.008	? (TO) TT=1800.71	? (TO) TT=1800.49	? (TO) TT=1801.08
Bench name	Best results on this instance	bsolo 2006/05	minisat+ 1.14	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=300-sizeP=151-sizeQ=300-346995195.opb	OPT f=1 TT=123.444 T1=118.97	? TT=0.007	? (TO) TT=1800.66	? (TO) TT=1800.37	OPT f=1 TT=123.444 T1=118.97
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=300-sizeP=151-sizeQ=300-692949159-max.opb		? TT=0.006	? (TO) TT=1800.64	? (TO) TT=1801.05	? (TO) TT=1800.96
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=300-sizeP=151-sizeQ=300-692949159.opb	OPT f=1 TT=117.794 T1=113.2	? TT=0.011	? (TO) TT=1800.59	? (TO) TT=1800.96	OPT f=1 TT=117.794 T1=113.2
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=320-sizeP=161-sizeQ=320-287873690-max.opb		? TT=0.01	? (TO) TT=1800.75	? (TO) TT=1800.24	? (TO) TT=1800.6
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=320-sizeP=161-sizeQ=320-287873690.opb	OPT f=1 TT=170.179 T1=164.29	? TT=0.006	OPT f=1 TT=947.666 T1=947.74	? (TO) TT=1800.92	OPT f=1 TT=170.179 T1=164.29
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=320-sizeP=161-sizeQ=320-420453220-max.opb		? TT=0.012	? (TO) TT=1800.85	? (TO) TT=1800.48	? (TO) TT=1800.39
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=320-sizeP=161-sizeQ=320-420453220.opb	OPT f=1 TT=157.425 T1=151.38	? TT=0.01	? (TO) TT=1800.67	? (TO) TT=1800.37	OPT f=1 TT=157.425 T1=151.38
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=340-sizeP=171-sizeQ=340-700380480-max.opb		? TT=0.01	? (TO) TT=1800.75	? (TO) TT=1800.76	? (TO) TT=1800.83
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=340-sizeP=171-sizeQ=340-700380480.opb	OPT f=1 TT=193.899 T1=187.12	? TT=0.006	? (TO) TT=1800.77	? (TO) TT=1800.55	OPT f=1 TT=193.899 T1=187.12
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=340-sizeP=171-sizeQ=340-737522999-max.opb		? TT=0.012	? (TO) TT=1800.78	? (TO) TT=1800.38	? (TO) TT=1800.56
Bench name	Best results on this instance	bsolo 2006/05	minisat+ 1.14	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=340-sizeP=171-sizeQ=340-737522999.opb	OPT f=1 TT=214.821 T1=208.2	? TT=0.007	? (TO) TT=1800.54	? (TO) TT=1800.09	OPT f=1 TT=214.821 T1=208.2
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=360-sizeP=181-sizeQ=360-770414132-max.opb		? TT=0.004	? (TO) TT=1800.79	? (TO) TT=1800.56	? (TO) TT=1800.38
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=360-sizeP=181-sizeQ=360-770414132.opb	OPT f=1 TT=242.214 T1=234.59	? TT=0.006	? (TO) TT=1800.74	? (TO) TT=1801.06	OPT f=1 TT=242.214 T1=234.59
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=360-sizeP=181-sizeQ=360-885821403-max.opb		? TT=0.005	? (TO) TT=1800.83	? (TO) TT=1800.84	? (TO) TT=1800.3
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=360-sizeP=181-sizeQ=360-885821403.opb	OPT f=1 TT=242.482 T1=234.82	? TT=0.004	? (TO) TT=1800.65	? (TO) TT=1800.39	OPT f=1 TT=242.482 T1=234.82
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=380-sizeP=191-sizeQ=380-376320478-max.opb		? TT=0.006	? (TO) TT=1800.81	? (TO) TT=1800.6	? (TO) TT=1800.79
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=380-sizeP=191-sizeQ=380-376320478.opb	OPT f=1 TT=313.718 T1=304.1	? TT=0.004	? (TO) TT=1800.68	? (TO) TT=1800.1	OPT f=1 TT=313.718 T1=304.1
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=380-sizeP=191-sizeQ=380-765568612-max.opb		? TT=0.01	? (TO) TT=1800.54	? (TO) TT=1800.49	? (TO) TT=1800.47
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=380-sizeP=191-sizeQ=380-765568612.opb	OPT f=1 TT=325.625 T1=315.6	? TT=0.011	? (TO) TT=1800.74	? (TO) TT=1801.13	OPT f=1 TT=325.625 T1=315.6
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=400-sizeP=201-sizeQ=400-517735400-max.opb		? TT=0.005	? (TO) TT=1800.58	? (TO) TT=1801.04	? (TO) TT=1800.17
Bench name	Best results on this instance	bsolo 2006/05	minisat+ 1.14	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=400-sizeP=201-sizeQ=400-517735400.opb	OPT f=1 TT=358.675 T1=347.08	? TT=0.014	? (TO) TT=1800.67	? (TO) TT=1801.02	OPT f=1 TT=358.675 T1=347.08
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=400-sizeP=201-sizeQ=400-87904490-max.opb		? TT=0.005	? (TO) TT=1800.67	? (TO) TT=1801	? (TO) TT=1800.73
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=400-sizeP=201-sizeQ=400-87904490.opb	OPT f=1 TT=365.237 T1=353.41	? TT=0.007	? (TO) TT=1800.74	? (TO) TT=1800.43	OPT f=1 TT=365.237 T1=353.41
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=40-sizeP=21-sizeQ=40-289612555-max.opb	SAT f=-18535 TT=1800.05 T1=996.96	SAT f=-18535 TT=1800.05 T1=996.96	SAT (TO) f=-18535 TT=1800.58 T1=1719.93	? (TO) TT=1800.33	? (TO) TT=1800.37
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=40-sizeP=21-sizeQ=40-289612555.opb	OPT f=1 TT=1.019 T1=0.89	OPT f=1 TT=41.294 T1=41.31	OPT f=1 TT=1.019 T1=1.03	? (TO) TT=1800.38	OPT f=1 TT=1.436 T1=0.89
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=40-sizeP=21-sizeQ=40-793490986-max.opb	OPT f=-1307731 TT=655.452 T1=650.15	SAT f=-26606 TT=1800.06 T1=1079.5	OPT f=-1307731 TT=655.452 T1=650.15	? (TO) TT=1800.73	? (TO) TT=1801.01
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=40-sizeP=21-sizeQ=40-793490986.opb	OPT f=1 TT=1.483 T1=0.94	OPT f=1 TT=71.612 T1=71.58	OPT f=1 TT=3.811 T1=3.82	? (TO) TT=1800.51	OPT f=1 TT=1.483 T1=0.94
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=420-sizeP=211-sizeQ=420-348698641-max.opb		? TT=0.011	? (TO) TT=1800.92	? (TO) TT=1800.4	? (TO) TT=1800.51
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=420-sizeP=211-sizeQ=420-348698641.opb	OPT f=1 TT=510.508 T1=496.38	? TT=0.008	? (TO) TT=1800.85	? (TO) TT=1800.44	OPT f=1 TT=510.508 T1=496.38
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=420-sizeP=211-sizeQ=420-802270006-max.opb		? TT=0.009	? (TO) TT=1800.75	? (TO) TT=1800.65	? (TO) TT=1801.08
Bench name	Best results on this instance	bsolo 2006/05	minisat+ 1.14	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=420-sizeP=211-sizeQ=420-802270006.opb	OPT f=1 TT=497.867 T1=483.05	? TT=0.005	? (TO) TT=1800.84	? (TO) TT=1801.2	OPT f=1 TT=497.867 T1=483.05
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=440-sizeP=221-sizeQ=440-24744542-max.opb		? TT=0.005	? (TO) TT=1800.86	? (TO) TT=1800.57	? (TO) TT=1800.18
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=440-sizeP=221-sizeQ=440-24744542.opb	OPT f=1 TT=529.967 T1=514	? TT=0.006	? (TO) TT=1800.87	? (TO) TT=1800.85	OPT f=1 TT=529.967 T1=514
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=440-sizeP=221-sizeQ=440-726468498-max.opb		? TT=0.006	? (TO) TT=1800.76	? (TO) TT=1800.39	? (TO) TT=1801.03
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=440-sizeP=221-sizeQ=440-726468498.opb	OPT f=1 TT=522.656 T1=504.72	? TT=0.005	? (TO) TT=1800.79	? (TO) TT=1800.6	OPT f=1 TT=522.656 T1=504.72
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=460-sizeP=231-sizeQ=460-367423129-max.opb		? TT=0.013	? (TO) TT=1800.88	? (TO) TT=1800.64	? (TO) TT=1800.81
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=460-sizeP=231-sizeQ=460-367423129.opb	OPT f=1 TT=633.481 T1=615.06	? TT=0.006	? (TO) TT=1800.67	? (TO) TT=1800.32	OPT f=1 TT=633.481 T1=615.06
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=460-sizeP=231-sizeQ=460-510733673-max.opb		? TT=0.008	? (TO) TT=1800.83	? (TO) TT=1800.59	? (TO) TT=1800.44
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=460-sizeP=231-sizeQ=460-510733673.opb	OPT f=1 TT=848.065 T1=827.11	? TT=0.005	? (TO) TT=1800.89	? (TO) TT=1800.64	OPT f=1 TT=848.065 T1=827.11
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=480-sizeP=241-sizeQ=480-57455727-max.opb		? TT=0.01	? (TO) TT=1801.06	? (TO) TT=1800.42	? (TO) TT=1800.27
Bench name	Best results on this instance	bsolo 2006/05	minisat+ 1.14	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=480-sizeP=241-sizeQ=480-57455727.opb	OPT f=1 TT=731.27 T1=709.62	? TT=0.013	? (TO) TT=1800.81	? (TO) TT=1800.2	OPT f=1 TT=731.27 T1=709.62
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=480-sizeP=241-sizeQ=480-896328136-max.opb		? TT=0.009	? (TO) TT=1800.9	? (TO) TT=1800.69	? (TO) TT=1800.73
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=480-sizeP=241-sizeQ=480-896328136.opb	OPT f=1 TT=736.078 T1=712.48	? TT=0.011	? (TO) TT=1800.84	? (TO) TT=1800.19	OPT f=1 TT=736.078 T1=712.48
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=500-sizeP=251-sizeQ=500-280035866-max.opb		? TT=0.01	? (TO) TT=1801.01	? (TO) TT=1800.68	? (TO) TT=1800.72
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=500-sizeP=251-sizeQ=500-280035866.opb	OPT f=1 TT=857.03 T1=830.27	? TT=0.006	? (TO) TT=1800.86	? (TO) TT=1800.55	OPT f=1 TT=857.03 T1=830.27
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=500-sizeP=251-sizeQ=500-293748522-max.opb		? TT=0.01	? (TO) TT=1800.78	? (TO) TT=1800.54	? (TO) TT=1800.4
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=500-sizeP=251-sizeQ=500-293748522.opb	OPT f=1 TT=905.638 T1=878.26	? TT=0.005	? (TO) TT=1800.91	? (TO) TT=1800.55	OPT f=1 TT=905.638 T1=878.26
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=60-sizeP=31-sizeQ=60-472296155-max.opb	SAT f=-5 TT=1800.78 T1=266.87	? TT=0.098	? (TO) TT=1800.52	? (TO) TT=1800.54	SAT (TO) f=-5 TT=1800.78 T1=266.87
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=60-sizeP=31-sizeQ=60-472296155.opb	OPT f=1 TT=1.932 T1=1.29	? TT=0.1	? (TO) TT=1800.59	? (TO) TT=1800.95	OPT f=1 TT=1.932 T1=1.29
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=60-sizeP=31-sizeQ=60-784051325-max.opb	SAT f=-5 TT=1800.78 T1=69.22	? TT=0.115	? (TO) TT=1800.57	? (TO) TT=1801.05	SAT (TO) f=-5 TT=1800.78 T1=69.22
Bench name	Best results on this instance	bsolo 2006/05	minisat+ 1.14	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=60-sizeP=31-sizeQ=60-784051325.opb	OPT f=1 TT=1.963 T1=1.24	? TT=0.094	OPT f=1 TT=159.406 T1=159.45	? (TO) TT=1800.74	OPT f=1 TT=1.963 T1=1.24
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=80-sizeP=41-sizeQ=80-505615378-max.opb		? TT=0.174	? (TO) TT=1800.55	? (TO) TT=1801.05	? (TO) TT=1800.82
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=80-sizeP=41-sizeQ=80-505615378.opb	OPT f=1 TT=2.471 T1=1.89	? TT=0.167	OPT f=1 TT=100.511 T1=100.54	? (TO) TT=1801.03	OPT f=1 TT=2.471 T1=1.89
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=80-sizeP=41-sizeQ=80-898154415-max.opb		? TT=0.167	? (TO) TT=1800.51	? (TO) TT=1800.63	? (TO) TT=1800.69
normalized-PB06/OPT-BIGINT/submitted-PB06/ roussel/factor/ normalized-factor-sizeN=80-sizeP=41-sizeQ=80-898154415.opb	OPT f=1 TT=2.736 T1=2.09	? TT=0.169	? (TO) TT=1800.55	? (TO) TT=1800.89	OPT f=1 TT=2.736 T1=2.09

Some statistics...

	bsolo 2006/05	minisat+ 1.14	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics
Number of times the solver is able to give the best known answer	66	82	78	139
Number of times the solver is able to give the best known answer from an incomplete solver point of view (i.e. without considering optimality proof)	71	82	83	145
Number of times the solver is the best solver from a complete solver point of view (i.e. best known answer and best TT time)	51	40	37	96
Number of times the solver is the best solver from an incomplete solver point of view (i.e. best known answer and best T1 time)	27	23	36	91