PB'06 evaluation: results by benchmark

Results by benchmark for category optimisation, small integers (OPT-SMALLINT), subcategory Handmade, subsubcategory Reduced MPS to OPB

This page displays the results of the different solvers for each benchmark for category optimisation, small integers (OPT-SMALLINT), subcategory Handmade, subsubcategory Reduced MPS to OPB

REMINDER

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

Description of a cell contents:

Cell example	Meaning
Answer	Solver result
f=...	value of the objective function for the model reported by the solver
TT=...	Total Time (TT): this is the CPU time (in seconds) used by the solver until termination. This time is only meaningful for complete solvers because incomplete solvers will always run until they time out
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:
absconPseudo 1
bsolo 2006/05
glpPB 0.2
minisat+ 1.14
PBS 4.1L
PB-smodels 1.28
PB-smodels 1.31
Pueblo 1.3
Pueblo 1.4
SAT4JPSEUDO 2006.2
SAT4JPSEUDO 2006.2 Heuristics
wildcat-rnp 0.8.0
wildcat-skc 0.8.0

Bench name	Best results on this instance	absconPseudo 1	bsolo 2006/05	glpPB 0.2	minisat+ 1.14	PBS 4.1L	PB-smodels 1.28	PB-smodels 1.31	Pueblo 1.3	Pueblo 1.4	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics	wildcat-rnp 0.8.0	wildcat-skc 0.8.0
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-25fv47.opb		? (TO) TT=1800.54	? TT=1800.03	? (exit code) TT=92.987	? (TO) TT=1800.66	? (TO) TT=1800.6	? (TO) TT=1800.98	? (TO) TT=1800.2	? (TO) TT=1800.53	? (TO) TT=1800.45	? (TO) TT=1800.12	? (TO) TT=1800.57	? (TO) TT=1800.65	? (TO) TT=1800.65
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-80bau3b.opb	UNSAT TT=7.225	? TT=18.923	UNSAT TT=30.509	UNSAT TT=31.146	UNSAT TT=7.225	UNSAT TT=197.093	UNSAT TT=833.774	UNSAT TT=826.408	UNSAT TT=8.668	UNSAT TT=9.233	UNSAT TT=35.361	UNSAT TT=36.708	? (TO) TT=1800.45	? (TO) TT=1800.67
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-adlittle.opb	SAT f=12 TT=1800.94 T1=4.98	? (TO) TT=1800.91	SAT f=58 TT=1800.28 T1=972.15	? (exit code) TT=1.342	? (TO) TT=1800.66	? (TO) TT=1800.5	? (TO) TT=1800.78	? (TO) TT=1800.97	SAT f=13 TT=1782.74 T1=1783.37	SAT f=13 TT=1782.74 T1=1783.46	SAT (TO) f=36 TT=1800.65 T1=6.15	SAT (TO) f=12 TT=1800.94 T1=4.98	? (TO) TT=1800.64	? (TO) TT=1800.66
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-afiro.opb	SAT f=-65 TT=1800.16 T1=558.17	? (TO) TT=1800.72	SAT f=-36 TT=1800.11 T1=1275.76	? (exit code) TT=7.143	SAT (TO) f=88 TT=1800.64 T1=935.6	? (TO) TT=1800.67	? (TO) TT=1800.63	? (TO) TT=1800.78	SAT f=-18 TT=1782.73 T1=1783.21	SAT f=-18 TT=1782.73 T1=1783.27	SAT (TO) f=-63 TT=1801.06 T1=1228.63	SAT (TO) f=-65 TT=1800.16 T1=558.17	SAT (TO) f=-42 TT=1800.54 T1=1252.61	? (TO) TT=1800.44
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-agg2.opb		? (TO) TT=1800.71	? TT=1800.19	? (TO) TT=1800.63	? (TO) TT=1800.69	? (TO) TT=1800.63	? (TO) TT=1800.48	? (TO) TT=1800.56	? (TO) TT=1800.64	? (TO) TT=1800.67	? (TO) TT=1800.83	? (TO) TT=1800.62	? (TO) TT=1800.65	? (TO) TT=1800.64
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-agg3.opb		? (TO) TT=1800.25	? TT=1800.2	? (exit code) TT=766.381	? (TO) TT=1800.74	? (TO) TT=1800.63	? (TO) TT=1800.63	? (TO) TT=1800.64	? (TO) TT=1800.58	? (TO) TT=1800.68	? (TO) TT=1800.29	? (TO) TT=1800.89	? (TO) TT=1800.7	? (TO) TT=1800.7
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-agg.opb	SAT f=-4754 TT=1800.56 T1=90.83	? (TO) TT=1800.76	? TT=1800.1	? (exit code) TT=868.613	? (TO) TT=1800.64	? (TO) TT=1800.66	? (TO) TT=1800.99	? (TO) TT=1801.04	SAT f=-3765 TT=1782.74 T1=1783.29	SAT f=-3762 TT=1782.75 T1=1783.34	SAT (TO) f=26101 TT=1800.48 T1=1486.96	SAT (TO) f=-4754 TT=1800.56 T1=90.83	? (TO) TT=1800.52	? (TO) TT=1800.59
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-bandm.opb	UNSAT TT=0.507	? (TO) TT=1800.84	UNSAT TT=0.839	UNSAT TT=0.507	UNSAT TT=15.238	? (TO) TT=1800.43	UNSAT TT=3.224	UNSAT TT=3.317	UNSAT TT=1.526	UNSAT TT=1.65	UNSAT TT=2.684	UNSAT TT=275.521	? (TO) TT=1800.45	? (TO) TT=1800.62
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-beaconfd.opb	SAT f=919 TT=1800.34 T1=663.74	? (TO) TT=1800.89	SAT f=919 TT=1800.34 T1=663.74	? (exit code) TT=311.612	? (TO) TT=1800.81	? (TO) TT=1800.75	? (TO) TT=1800.4	? (TO) TT=1800.18	? (TO) TT=1800.43	? (TO) TT=1800.74	SAT (TO) f=1032 TT=1800.32 T1=251.86	? (TO) TT=1800.42	? (TO) TT=1800.52	? (TO) TT=1800.73
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-blend.opb	OPT f=-24 TT=488.339 T1=435.5	? (TO) TT=1800.77	? TT=1800.18	? (exit code) TT=1.503	? (TO) TT=1800.75	? (TO) TT=1800.58	? (TO) TT=1800.83	? (TO) TT=1800.89	SAT f=-5 TT=1782.74 T1=1783.43	SAT f=-5 TT=1782.73 T1=1783.27	SAT (TO) f=-23 TT=1800.95 T1=317.96	OPT f=-24 TT=488.339 T1=435.5	? (TO) TT=1800.65	? (TO) TT=1800.66
Bench name	Best results on this instance	absconPseudo 1	bsolo 2006/05	glpPB 0.2	minisat+ 1.14	PBS 4.1L	PB-smodels 1.28	PB-smodels 1.31	Pueblo 1.3	Pueblo 1.4	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics	wildcat-rnp 0.8.0	wildcat-skc 0.8.0
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-bnl1.opb	UNSAT TT=2.751	? (TO) TT=1800.16	UNSAT TT=111.426	? (exit code) TT=6.761	UNSAT TT=25.201	UNSAT TT=1428.87	UNSAT TT=19.663	UNSAT TT=20.412	UNSAT TT=2.751	UNSAT TT=2.763	? (TO) TT=1801.03	UNSAT TT=4.98	? (TO) TT=1800.94	? (TO) TT=1800.55
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-bnl2.opb	UNSAT TT=44.904	? TT=24.108	UNSAT TT=55.943	? (exit code) TT=80.891	? (TO) TT=1800.54	? (TO) TT=1800.67	UNSAT TT=56.656	UNSAT TT=59.263	UNSAT TT=44.904	UNSAT TT=48.803	UNSAT TT=969.67	UNSAT TT=1276.09	? (TO) TT=1800.62	? (TO) TT=1800.6
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-boeing1.opb		? (TO) TT=1800.19	? TT=1800.09	? (exit code) TT=50.312	? (TO) TT=1800.57	? (TO) TT=1800.66	? (TO) TT=1800.05	? (TO) TT=1800.05	? (TO) TT=1800.48	? (TO) TT=1800.63	? (TO) TT=1800.95	? (TO) TT=1800.55	? (TO) TT=1800.57	? (TO) TT=1800.66
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-boeing2.opb		? (TO) TT=1800.93	? TT=1800.09	? (exit code) TT=34.651	? (TO) TT=1800.82	? (TO) TT=1800.66	? (TO) TT=1800.94	? (TO) TT=1800.95	? (TO) TT=1800.83	? (TO) TT=1800.56	? (TO) TT=1800.9	? (TO) TT=1800.14	? (TO) TT=1800.66	? (TO) TT=1800.51
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-bore3d.opb	UNSAT TT=0.22	UNSAT TT=3.55	UNSAT TT=0.36	UNSAT TT=0.22	UNSAT TT=0.953	UNSAT TT=0.444	UNSAT TT=1.692	UNSAT TT=1.751	UNSAT TT=0.232	UNSAT TT=0.232	UNSAT TT=1.971	UNSAT TT=1.981	? (TO) TT=1800.63	? (TO) TT=1800.62
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-brandy.opb	UNSAT TT=3.603	? (TO) TT=1800.45	? TT=1800.08	? (exit code) TT=0.982	? (TO) TT=1800.66	? (TO) TT=1800.64	? (TO) TT=1800.43	? (TO) TT=1800.35	? (TO) TT=1800.62	? (TO) TT=1800.64	UNSAT TT=3.603	UNSAT TT=6.74	? (TO) TT=1800.52	? (TO) TT=1800.54
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-capri.opb		? (TO) TT=1800.45	? TT=1800.1	? (exit code) TT=57.751	? (TO) TT=1800.57	? (TO) TT=1800.58	? (TO) TT=1800.11	? (TO) TT=1800.18	? (TO) TT=1800.68	? (TO) TT=1800.57	? (TO) TT=1800.37	? (TO) TT=1801.05	? (TO) TT=1800.68	? (TO) TT=1800.73
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-cycle.opb	SAT f=-2 TT=1782.8 T1=1783.2	? (TO) TT=1801.18	? TT=1800.1	? (exit code) TT=656.891	? (TO) TT=1800.71	? (TO) TT=1800.71	? (TO) TT=1800.22	? (TO) TT=1800.42	SAT f=-2 TT=1782.8 T1=1783.2	SAT f=-1 TT=1782.92 T1=1783.44	SAT (TO) f=0 TT=1801.94 T1=15.83	? (TO) TT=1800.65	? (TO) TT=1800.57	? (TO) TT=1800.67
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-czprob.opb	UNSAT TT=20.683	? (TO) TT=1800.57	UNSAT TT=946.165	? (TO) TT=1800.55	? (TO) TT=1800.7	UNSAT TT=508.778	UNSAT TT=201.218	UNSAT TT=197.892	UNSAT TT=298.011	UNSAT TT=313.769	? (TO) TT=1800.97	UNSAT TT=20.683	? (TO) TT=1800.54	? (TO) TT=1800.6
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-d2q06c.opb	UNSAT TT=1653.56	? TT=21.013	? TT=1800.05	? (exit code) TT=267.769	? (TO) TT=1800.73	UNSAT TT=1653.56	? (TO) TT=1800.42	? (TO) TT=1800.05	? (TO) TT=1800.57	? (TO) TT=1800.45	? (TO) TT=1801.06	? (TO) TT=1800.24	? (TO) TT=1800.66	? (TO) TT=1800.6
Bench name	Best results on this instance	absconPseudo 1	bsolo 2006/05	glpPB 0.2	minisat+ 1.14	PBS 4.1L	PB-smodels 1.28	PB-smodels 1.31	Pueblo 1.3	Pueblo 1.4	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics	wildcat-rnp 0.8.0	wildcat-skc 0.8.0
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-d6cube.opb	UNSAT TT=149.493	? (TO) TT=1800.28	UNSAT TT=1208.72	? (exit code) TT=767.595	? (TO) TT=1800.66	? (TO) TT=1800.57	? (TO) TT=1800.77	? (TO) TT=1800.16	UNSAT TT=730.648	UNSAT TT=726.726	UNSAT TT=342.646	UNSAT TT=149.493	? (TO) TT=1802.6	? (TO) TT=1800.71
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-degen2.opb	UNSAT TT=39.199	? (TO) TT=1800.07	? TT=1800.03	? (exit code) TT=5.235	? (TO) TT=1800.7	? (TO) TT=1800.57	? (TO) TT=1800.94	? (TO) TT=1800.06	? (TO) TT=1800.71	? (TO) TT=1800.71	UNSAT TT=277.01	UNSAT TT=39.199	? (TO) TT=1800.61	? (TO) TT=1800.55
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-degen3.opb		? (TO) TT=1801.04	? TT=1800.07	? (exit code) TT=396.261	? (TO) TT=1800.63	? (TO) TT=1800.62	? (TO) TT=1800.28	? (TO) TT=1800.37	? (TO) TT=1800.58	? (TO) TT=1800.6	? (TO) TT=1800.99	? (TO) TT=1800.21	? (TO) TT=1800.76	? (TO) TT=1800.53
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-dfl001.opb		? TT=21.135	? TT=1800.21	? (TO) TT=1800.56	Signal TT=617.759	? (TO) TT=1800.67	? (TO) TT=1800.8	? (TO) TT=1800.25	? (TO) TT=1800.72	? (TO) TT=1800.66	? (TO) TT=1800.72	? (TO) TT=1800.59	? (TO) TT=1800.58	? (TO) TT=1800.76
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-e226.opb	UNSAT TT=3.79	? (TO) TT=1800.79	UNSAT TT=16.709	? (exit code) TT=18.631	UNSAT TT=15.694	UNSAT TT=20.84	UNSAT TT=3.79	UNSAT TT=4.29	UNSAT TT=59.677	UNSAT TT=59.695	UNSAT TT=13.865	UNSAT TT=10.361	? (TO) TT=1800.46	? (TO) TT=1800.49
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-etamacro.opb	SAT f=40 TT=1782.75 T1=1783.29	? (TO) TT=1800.91	? TT=1800.12	? (TO) TT=1800.71	? (TO) TT=1800.73	? (TO) TT=1800.72	? (TO) TT=1800.35	? (TO) TT=1800.39	SAT f=40 TT=1782.75 T1=1783.29	SAT f=41 TT=1782.75 T1=1783.25	? (TO) TT=1800.22	? (TO) TT=1800.84	? (TO) TT=1800.73	? (TO) TT=1800.56
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-fffff800.opb		? (TO) TT=1800.6	? TT=1800.06	? (exit code) TT=22.328	? (TO) TT=1800.74	? (TO) TT=1800.64	? (TO) TT=1800.44	? (TO) TT=1800.36	? (TO) TT=1800.66	? (TO) TT=1800.64	? (TO) TT=1800.64	? (TO) TT=1800.98	? (TO) TT=1800.74	? (TO) TT=1800.69
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-fit1d.opb	SAT f=-20 TT=1800.8 T1=187.63	? (TO) TT=1800.84	? TT=1800.18	? (TO) TT=1800.67	? (TO) TT=1800.61	? (TO) TT=1800.65	? (TO) TT=1800.45	? (TO) TT=1800.53	SAT f=0 TT=1782.92 T1=1783.58	SAT f=0 TT=1782.77 T1=1783.28	SAT (TO) f=-20 TT=1800.8 T1=187.63	? (TO) TT=1801.03	SAT (TO) f=21782 TT=1800.61 T1=158.89	? (TO) TT=1800.56
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-fit1p.opb	OPT f=0 TT=6.362 T1=6.34	? (TO) TT=1800.92	? TT=1800.05	OPT f=0 TT=6.362 T1=6.34	? (TO) TT=1800.77	? (TO) TT=1800.52	? (TO) TT=1800.29	? (TO) TT=1800.47	OPT f=0 TT=7.14 T1=7.12	OPT f=0 TT=7.09 T1=7.07	OPT f=0 TT=11.86 T1=7.53	OPT f=0 TT=13.043 T1=8.52	? (TO) TT=1800.7	? (TO) TT=1800.72
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-fit2d.opb	SAT f=-1 TT=1804.25 T1=404.99	? TT=17.055	? (TO) TT=1800.65	? (TO) TT=1800.75	? (TO) TT=1800.84	? (TO) TT=1800.65	? (TO) TT=1800.52	? (TO) TT=1800.35	? (TO) TT=1800.67	? (TO) TT=1800.63	SAT (TO) f=-1 TT=1804.25 T1=404.99	? (TO) TT=1801	? (TO) TT=1802.71	? (TO) TT=1800.62
Bench name	Best results on this instance	absconPseudo 1	bsolo 2006/05	glpPB 0.2	minisat+ 1.14	PBS 4.1L	PB-smodels 1.28	PB-smodels 1.31	Pueblo 1.3	Pueblo 1.4	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics	wildcat-rnp 0.8.0	wildcat-skc 0.8.0
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-fit2p.opb		? TT=20.63	? TT=1800.1	? (TO) TT=1800.75	? (TO) TT=1800.85	? (TO) TT=1800.92	? (TO) TT=1800.54	? (TO) TT=1800.43	? (TO) TT=1800.59	? (TO) TT=1800.88	No Cert. TT=793.847	? (TO) TT=1800.96	? (TO) TT=1801.01	? (TO) TT=1800.9
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-forplan.opb		? (TO) TT=1800.8	? TT=1800.03	? (TO) TT=1800.59	? (TO) TT=1800.67	? (TO) TT=1800.64	? (TO) TT=1800.66	? (TO) TT=1800.73	? (TO) TT=1800.71	? (TO) TT=1800.67	? (TO) TT=1800.82	? (TO) TT=1800.38	? (TO) TT=1800.49	? (TO) TT=1800.66
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-ganges.opb		? (TO) TT=1800.65	? TT=1800.18	? (TO) TT=1800.73	? (TO) TT=1800.81	? (TO) TT=1800.71	? (TO) TT=1800.74	? (TO) TT=1800.07	? (TO) TT=1800.58	? (TO) TT=1800.72	? (TO) TT=1800.76	? (TO) TT=1800.48	? (TO) TT=1800.66	? (TO) TT=1800.51
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-gfrd-pnc.opb		? (TO) TT=1800.2	? TT=1800.26	? (TO) TT=1800.68	? (TO) TT=1800.81	? (TO) TT=1800.92	? (TO) TT=1800.73	? (TO) TT=1800.53	? (TO) TT=1800.59	? (TO) TT=1800.75	? (TO) TT=1800.74	? (TO) TT=1800.52	? (TO) TT=1800.68	? (TO) TT=1800.8
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-greenbea.opb		? TT=16.714	? TT=1800.1	? (exit code) TT=1755.95	? (TO) TT=1800.45	? (TO) TT=1800.52	? (TO) TT=1800.8	? (TO) TT=1800.28	? (TO) TT=1800.5	? (TO) TT=1800.64	? (TO) TT=1800.58	? (TO) TT=1800.47	? (TO) TT=1800.63	? (TO) TT=1800.42
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-greenbeb.opb		? TT=16.808	? TT=1800.13	? (exit code) TT=1418.67	? (TO) TT=1800.7	? (TO) TT=1800.56	? (TO) TT=1800.16	? (TO) TT=1800.33	? (TO) TT=1800.58	? (TO) TT=1800.52	? (TO) TT=1800.59	? (TO) TT=1801.16	? (TO) TT=1800.66	? (TO) TT=1800.6
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-grow15.opb	SAT f=0 TT=1782.75 T1=0.58	? (TO) TT=1801.04	? TT=1800.16	? (exit code) TT=735.838	? (TO) TT=1800.78	? (TO) TT=1800.73	? (TO) TT=1800.98	? (TO) TT=1800.16	SAT f=0 TT=1782.75 T1=0.58	SAT f=0 TT=1782.75 T1=0.58	SAT (TO) f=0 TT=1800.7 T1=2.3	? (TO) TT=1801.22	? (TO) TT=1800.68	? (TO) TT=1800.72
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-grow22.opb	SAT f=0 TT=1782.75 T1=0.82	? (TO) TT=1800.59	? TT=1800.16	? (exit code) TT=1360.12	? (TO) TT=1800.69	? (TO) TT=1800.76	? (TO) TT=1800.48	? (TO) TT=1800.91	SAT f=0 TT=1782.76 T1=0.82	SAT f=0 TT=1782.75 T1=0.88	SAT (TO) f=0 TT=1801.18 T1=3.89	? (TO) TT=1800.34	? (TO) TT=1800.55	? (TO) TT=1800.72
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-grow7.opb	SAT f=0 TT=1782.74 T1=0.25	? (TO) TT=1800.91	? TT=1800.14	? (exit code) TT=55.072	? (TO) TT=1800.6	? (TO) TT=1800.68	? (TO) TT=1800.22	? (TO) TT=1800.34	SAT f=0 TT=1782.74 T1=0.25	SAT f=0 TT=1782.74 T1=0.25	SAT (TO) f=0 TT=1800.72 T1=1.51	? (TO) TT=1800.43	? (TO) TT=1800.57	? (TO) TT=1800.64
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-israel.opb	SAT f=-36 TT=1800.57 T1=1426.56	? (TO) TT=1801.04	SAT f=-25 TT=1800.06 T1=1397.78	? (exit code) TT=75.059	? (TO) TT=1800.66	? (TO) TT=1800.52	? (TO) TT=1800.24	? (TO) TT=1800.17	SAT f=-30 TT=1782.74 T1=1783.43	SAT f=-30 TT=1782.73 T1=1783.43	SAT (TO) f=-35 TT=1800.62 T1=1133.73	SAT (TO) f=-36 TT=1800.57 T1=1426.56	? (TO) TT=1800.67	? (TO) TT=1800.61
Bench name	Best results on this instance	absconPseudo 1	bsolo 2006/05	glpPB 0.2	minisat+ 1.14	PBS 4.1L	PB-smodels 1.28	PB-smodels 1.31	Pueblo 1.3	Pueblo 1.4	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics	wildcat-rnp 0.8.0	wildcat-skc 0.8.0
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-kb2.opb	OPT f=-293850 TT=2.547 T1=1.76	? (TO) TT=1800.89	SAT f=-293846 TT=1800.09 T1=1624.04	? (exit code) TT=1.103	? (TO) TT=1800.51	? (TO) TT=1800.56	? (TO) TT=1800.9	? (TO) TT=1800.62	SAT f=-32343 TT=1782.73 T1=1783.42	SAT f=-32343 TT=1782.74 T1=1783.39	OPT f=-293850 TT=21.963 T1=20.17	OPT f=-293850 TT=2.547 T1=1.76	SAT (TO) f=-277171 TT=1800.62 T1=180.67	? (TO) TT=1800.42
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-lotfi.opb		? (TO) TT=1800.43	? TT=1800.08	? (exit code) TT=0.877	? (TO) TT=1800.56	? (TO) TT=1800.53	? (TO) TT=1800.1	? (TO) TT=1800.07	? (TO) TT=1800.71	? (TO) TT=1800.65	? (TO) TT=1800.27	? (TO) TT=1800.58	? (TO) TT=1800.66	? (TO) TT=1800.71
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-maros.opb		? (TO) TT=1800.99	? TT=1800.04	? (exit code) TT=35.87	? (TO) TT=1800.66	? (TO) TT=1800.46	? (TO) TT=1800.55	? (TO) TT=1800.6	? (TO) TT=1800.64	? (TO) TT=1800.71	? (TO) TT=1800.11	? (TO) TT=1801.09	? (TO) TT=1800.5	? (TO) TT=1800.61
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-maros-r7.opb		? TT=23.752	? TT=1800.1	? (problem) TT=1190.65	? (TO) TT=1800.42	? (TO) TT=1800.56	? (TO) TT=1800.52	? (TO) TT=1800.7	? (TO) TT=1800.64	? (TO) TT=1800.59	? (TO) TT=1800.35	? (TO) TT=1800.23	? (TO) TT=1800.73	? (TO) TT=1800.55
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-modszk1.opb	SAT f=263 TT=1800.71 T1=1179.09	SAT (TO) f=263 TT=1800.71 T1=1179.09	? TT=1800.08	? (exit code) TT=624.974	? (TO) TT=1800.67	? (TO) TT=1800.51	? (TO) TT=1800.03	? (TO) TT=1800.07	? (TO) TT=1800.65	? (TO) TT=1800.46	? (TO) TT=1800.77	? (TO) TT=1800.45	? (TO) TT=1800.66	? (TO) TT=1800.52
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-nesm.opb		? (TO) TT=1800.46	? TT=1800.1	? (exit code) TT=150.578	? (TO) TT=1800.71	? (TO) TT=1800.7	? (TO) TT=1800.11	? (TO) TT=1800.33	? (TO) TT=1800.71	? (TO) TT=1800.72	? (TO) TT=1800.4	? (TO) TT=1800.42	? (TO) TT=1800.53	? (TO) TT=1800.67
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-perold.opb		? (TO) TT=1801.05	? TT=1800.1	? (TO) TT=1800.59	? (TO) TT=1800.76	? (TO) TT=1800.52	? (TO) TT=1800.55	? (TO) TT=1800.68	? (TO) TT=1800.75	? (TO) TT=1800.48	? (TO) TT=1800.12	? (TO) TT=1800.98	? (TO) TT=1800.43	? (TO) TT=1800.71
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-pilot4.opb		? (TO) TT=1800.11	? TT=1800.05	? (exit code) TT=49.291	? (TO) TT=1800.66	? (TO) TT=1800.61	? (TO) TT=1800.25	? (TO) TT=1800.09	? (TO) TT=1800.59	? (TO) TT=1800.5	? (TO) TT=1800.31	? (TO) TT=1800.78	? (TO) TT=1800.54	? (TO) TT=1800.58
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-pilot87.opb	UNSAT TT=7.597	? TT=24.253	UNSAT TT=10.268	? (TO) TT=1800.81	UNSAT TT=9.796	UNSAT TT=22.302	UNSAT TT=62.208	UNSAT TT=61.508	UNSAT TT=8.02	UNSAT TT=7.597	UNSAT TT=12.558	UNSAT TT=12.596	? (TO) TT=1800.64	? (TO) TT=1800.65
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-pilot.opb	UNSAT TT=4.752	UNSAT TT=12.973	UNSAT TT=6.187	? (TO) TT=1800.73	UNSAT TT=11.722	UNSAT TT=11.518	UNSAT TT=32.538	UNSAT TT=34.593	UNSAT TT=4.752	UNSAT TT=4.829	UNSAT TT=12.404	UNSAT TT=15.38	? (TO) TT=1800.69	? (TO) TT=1800.53
Bench name	Best results on this instance	absconPseudo 1	bsolo 2006/05	glpPB 0.2	minisat+ 1.14	PBS 4.1L	PB-smodels 1.28	PB-smodels 1.31	Pueblo 1.3	Pueblo 1.4	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics	wildcat-rnp 0.8.0	wildcat-skc 0.8.0
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-pilot.we.opb		? (TO) TT=1800.63	? TT=1800.09	? (exit code) TT=162.782	? (TO) TT=1800.5	? (TO) TT=1800.66	? (TO) TT=1800.66	? (TO) TT=1800.96	? (TO) TT=1800.62	? (TO) TT=1800.66	? (TO) TT=1801	? (TO) TT=1800.99	? (TO) TT=1800.74	? (TO) TT=1800.51
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-recipe.opb	SAT f=-82060 TT=1782.74 T1=1783.26	? (TO) TT=1800.66	? TT=1800.14	? (exit code) TT=34.379	? (TO) TT=1800.77	? (TO) TT=1800.64	? (TO) TT=1800.9	? (TO) TT=1800.05	SAT f=-82060 TT=1782.74 T1=1783.38	SAT f=-82060 TT=1782.74 T1=1783.26	SAT (TO) f=-48018 TT=1800.43 T1=1.34	? (TO) TT=1800.27	? (TO) TT=1800.69	? (TO) TT=1800.67
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-sc105.opb	SAT f=-2 TT=1782.73 T1=1783.35	? (TO) TT=1800.91	SAT f=0 TT=1800.17 T1=28.21	? (exit code) TT=2.184	? (TO) TT=1800.61	? (TO) TT=1800.67	? (TO) TT=1800.71	? (TO) TT=1800.85	SAT f=-2 TT=1782.73 T1=1783.37	SAT f=-2 TT=1782.74 T1=1783.35	SAT (TO) f=0 TT=1800.77 T1=0.84	SAT (TO) f=0 TT=1800.45 T1=2.75	? (TO) TT=1800.72	? (TO) TT=1800.52
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-sc205.opb	SAT f=0 TT=1782.73 T1=0.09	? (TO) TT=1800.58	? TT=1800.16	? (exit code) TT=6.981	? (TO) TT=1800.59	? (TO) TT=1800.57	? (TO) TT=1800.78	? (TO) TT=1800.82	SAT f=0 TT=1782.73 T1=0.1	SAT f=0 TT=1782.74 T1=0.09	SAT (TO) f=0 TT=1800.49 T1=1.23	SAT (TO) f=0 TT=1800.67 T1=3.68	? (TO) TT=1800.56	? (TO) TT=1800.48
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-sc50a.opb	SAT f=-15 TT=1800.66 T1=468.41	? (TO) TT=1800.43	SAT f=0 TT=1800.09 T1=3.53	? (exit code) TT=0.195	? (TO) TT=1800.59	? (TO) TT=1800.74	? (TO) TT=1800.76	? (TO) TT=1800.74	SAT f=-10 TT=1782.73 T1=1783.27	SAT f=-10 TT=1782.73 T1=1783.27	SAT (TO) f=-15 TT=1800.66 T1=468.41	SAT (TO) f=-13 TT=1800.51 T1=13.62	? (TO) TT=1800.69	? (TO) TT=1800.71
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-sc50b.opb	SAT f=-14 TT=1800.72 T1=1605.81	? (TO) TT=1800.57	SAT f=0 TT=1800.09 T1=1.19	? (exit code) TT=5.74	? (TO) TT=1800.53	? (TO) TT=1800.61	? (TO) TT=1800.75	? (TO) TT=1800.64	SAT f=-7 TT=1782.73 T1=1783.45	SAT f=-7 TT=1782.73 T1=1783.43	SAT (TO) f=-14 TT=1800.72 T1=1605.81	SAT (TO) f=-9 TT=1800.94 T1=121.45	? (TO) TT=1800.69	? (TO) TT=1800.68
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-scagr25.opb		? (TO) TT=1800.89	? TT=1800.17	? (TO) TT=1800.65	? (TO) TT=1800.58	? (TO) TT=1800.64	? (TO) TT=1800.19	? (TO) TT=1800.49	? (TO) TT=1800.67	? (TO) TT=1800.78	? (TO) TT=1800.3	? (TO) TT=1800.41	? (TO) TT=1800.75	? (TO) TT=1800.95
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-scagr7.opb	SAT f=472 TT=1782.74 T1=1783.41	? (TO) TT=1800.74	? TT=1800.1	? (exit code) TT=43.242	? (TO) TT=1800.58	? (TO) TT=1800.46	? (TO) TT=1800.91	? (TO) TT=1800.92	SAT f=472 TT=1782.74 T1=1783.41	SAT f=472 TT=1782.74 T1=1783.42	? (TO) TT=1800.71	SAT (TO) f=625 TT=1800.34 T1=1174.17	? (TO) TT=1800.46	? (TO) TT=1800.44
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-scfxm1.opb		? (TO) TT=1800.5	? TT=1800.06	? (exit code) TT=31.966	? (TO) TT=1800.53	? (TO) TT=1800.58	? (TO) TT=1800.55	? (TO) TT=1800.64	? (TO) TT=1800.49	? (TO) TT=1800.48	? (TO) TT=1800.68	? (TO) TT=1800.61	? (TO) TT=1800.68	? (TO) TT=1800.68
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-scfxm2.opb		? (TO) TT=1800.17	? TT=1800.08	? (exit code) TT=185.074	? (TO) TT=1800.59	? (TO) TT=1800.66	? (TO) TT=1800.45	? (TO) TT=1800.55	? (TO) TT=1800.58	? (TO) TT=1800.51	? (TO) TT=1800.34	? (TO) TT=1800.18	? (TO) TT=1800.65	? (TO) TT=1800.47
Bench name	Best results on this instance	absconPseudo 1	bsolo 2006/05	glpPB 0.2	minisat+ 1.14	PBS 4.1L	PB-smodels 1.28	PB-smodels 1.31	Pueblo 1.3	Pueblo 1.4	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics	wildcat-rnp 0.8.0	wildcat-skc 0.8.0
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-scfxm3.opb		? (TO) TT=1801.07	? TT=1800.09	? (exit code) TT=19.695	? (TO) TT=1800.54	? (TO) TT=1800.73	? (TO) TT=1800.21	? (TO) TT=1800.33	? (TO) TT=1800.56	? (TO) TT=1800.69	? (TO) TT=1800.4	? (TO) TT=1800.31	? (TO) TT=1800.56	? (TO) TT=1800.72
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-scorpion.opb		? (TO) TT=1800.5	? TT=1800.18	? (exit code) TT=0.634	? (TO) TT=1800.61	? (TO) TT=1800.6	? (TO) TT=1800.34	? (TO) TT=1800.23	? (TO) TT=1800.59	? (TO) TT=1800.56	? (TO) TT=1800.83	? (TO) TT=1800.34	? (TO) TT=1800.63	? (TO) TT=1800.62
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-scrs8.opb	UNSAT TT=0.875	? (TO) TT=1801.05	? TT=1800.26	UNSAT TT=0.875	? (TO) TT=1800.56	? (TO) TT=1800.68	? (TO) TT=1800.82	? (TO) TT=1800.9	? (TO) TT=1800.59	? (TO) TT=1800.58	UNSAT TT=100.844	? (TO) TT=1800.84	? (TO) TT=1800.51	? (TO) TT=1800.49
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-scsd1.opb		? (TO) TT=1800.77	? TT=1800.01	? (TO) TT=1800.51	? (TO) TT=1800.78	? (TO) TT=1800.58	? (TO) TT=1800.66	? (TO) TT=1800.69	? (TO) TT=1800.51	? (TO) TT=1800.71	? (TO) TT=1800.22	? (TO) TT=1800.22	? (TO) TT=1800.61	? (TO) TT=1800.61
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-scsd6.opb		? (TO) TT=1800.89	? TT=1800.01	? (exit code) TT=501.512	? (TO) TT=1800.79	? (TO) TT=1800.71	? (TO) TT=1800.27	? (TO) TT=1800.32	? (TO) TT=1800.74	? (TO) TT=1800.63	? (TO) TT=1800.54	? (TO) TT=1800.51	? (TO) TT=1800.7	? (TO) TT=1800.57
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-scsd8.opb		? (TO) TT=1800.86	? TT=1800.02	? (TO) TT=1800.7	? (TO) TT=1800.8	? (TO) TT=1800.91	? (TO) TT=1800.93	? (TO) TT=1800.85	? (TO) TT=1800.72	? (TO) TT=1800.56	? (TO) TT=1800.84	? (TO) TT=1800.75	? (TO) TT=1800.57	? (TO) TT=1800.7
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-sctap1.opb	SAT f=545 TT=1782.75 T1=952.56	? (TO) TT=1800.61	SAT f=911 TT=1800.09 T1=11.79	? (exit code) TT=84.726	? (TO) TT=1800.62	? (TO) TT=1800.55	? (TO) TT=1800.33	? (TO) TT=1800.19	SAT f=545 TT=1782.75 T1=952.56	SAT f=545 TT=1782.76 T1=975.73	SAT (TO) f=3314 TT=1800.95 T1=69.38	SAT (TO) f=7077 TT=1801.58 T1=807.58	? (TO) TT=1800.47	? (TO) TT=1800.56
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-sctap2.opb	SAT f=645 TT=1782.77 T1=1665.89	? (TO) TT=1800.72	SAT f=2905 TT=1800.07 T1=137.01	? (exit code) TT=36.133	? (TO) TT=1800.6	? (TO) TT=1800.58	? (TO) TT=1800.66	? (TO) TT=1800.79	SAT f=645 TT=1782.78 T1=1665.89	SAT f=645 TT=1782.77 T1=1763.26	? (TO) TT=1800.54	? (TO) TT=1800.76	? (TO) TT=1800.86	? (TO) TT=1800.71
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-sctap3.opb	SAT f=2519 TT=1782.77 T1=3.61	? (TO) TT=1801.14	SAT (TO) f=4511 TT=1800.51 T1=33.9	? (exit code) TT=231.652	? (TO) TT=1800.65	? (TO) TT=1800.73	? (TO) TT=1800.47	? (TO) TT=1800.57	SAT f=2519 TT=1782.77 T1=3.61	SAT f=2519 TT=1782.77 T1=3.64	? (TO) TT=1800.44	? (TO) TT=1800.82	? (TO) TT=1801.17	? (TO) TT=1800.64
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-seba.opb	UNSAT TT=4.915	? (TO) TT=1800.35	UNSAT TT=238.457	? (exit code) TT=72.452	UNSAT TT=8.828	? (TO) TT=1800.66	? (TO) TT=1800.18	? (TO) TT=1800.52	UNSAT TT=1732.47	UNSAT TT=1732.25	UNSAT TT=5.069	UNSAT TT=4.915	? (TO) TT=1800.73	? (TO) TT=1800.71
Bench name	Best results on this instance	absconPseudo 1	bsolo 2006/05	glpPB 0.2	minisat+ 1.14	PBS 4.1L	PB-smodels 1.28	PB-smodels 1.31	Pueblo 1.3	Pueblo 1.4	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics	wildcat-rnp 0.8.0	wildcat-skc 0.8.0
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-share1b.opb		? (TO) TT=1800.55	? TT=1800.01	? (TO) TT=1800.69	? (TO) TT=1800.76	? (TO) TT=1800.65	? (TO) TT=1801.02	? (TO) TT=1800.11	? (TO) TT=1800.7	? (TO) TT=1800.51	? (TO) TT=1800.23	? (TO) TT=1801.04	? (TO) TT=1800.65	? (TO) TT=1800.7
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-share2b.opb	OPT f=-52 TT=4.281 T1=3.02	? (TO) TT=1800.73	? TT=1800.02	? (exit code) TT=0.762	? (TO) TT=1800.73	? (TO) TT=1800.72	? (TO) TT=1800.84	? (TO) TT=1800.99	SAT f=-24 TT=1782.73 T1=1783.16	SAT f=-24 TT=1782.74 T1=1783.18	OPT f=-52 TT=5.042 T1=3.65	OPT f=-52 TT=4.281 T1=3.02	? (TO) TT=1800.67	? (TO) TT=1800.74
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-shell.opb		? (TO) TT=1800.73	? TT=1800.16	? (exit code) TT=438.874	? (TO) TT=1800.79	? (TO) TT=1800.57	? (TO) TT=1801.01	? (TO) TT=1800.2	? (TO) TT=1800.7	? (TO) TT=1800.69	? (TO) TT=1800.7	? (TO) TT=1800.6	? (TO) TT=1800.78	? (TO) TT=1800.67
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-ship04l.opb		? (TO) TT=1800.6	? TT=1800.47	? (TO) TT=1800.69	? (TO) TT=1800.49	? (TO) TT=1800.64	? (TO) TT=1800.59	? (TO) TT=1800.75	? (TO) TT=1800.56	? (TO) TT=1800.69	? (TO) TT=1800.73	? (TO) TT=1800.56	? (TO) TT=1800.5	? (TO) TT=1800.59
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-ship04s.opb		? (TO) TT=1800.14	? TT=1800.03	? (TO) TT=1800.72	? (TO) TT=1800.71	? (TO) TT=1800.54	? (TO) TT=1800.91	? (TO) TT=1800.09	? (TO) TT=1800.71	? (TO) TT=1800.57	? (TO) TT=1800.97	? (TO) TT=1800.49	? (TO) TT=1800.57	? (TO) TT=1800.71
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-ship08l.opb		? (TO) TT=1800.21	? TT=1800.06	? (TO) TT=1800.69	? (TO) TT=1800.62	? (TO) TT=1800.71	? (TO) TT=1800.81	? (TO) TT=1800.84	? (TO) TT=1800.68	? (TO) TT=1800.73	? (TO) TT=1800.53	? (TO) TT=1801.03	? (TO) TT=1800.5	? (TO) TT=1800.71
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-ship08s.opb		? (TO) TT=1801.08	? TT=1800.06	? (TO) TT=1800.8	? (TO) TT=1800.72	? (TO) TT=1800.72	? (TO) TT=1800.05	? (TO) TT=1800.19	? (TO) TT=1800.52	? (TO) TT=1800.67	? (TO) TT=1801.11	? (TO) TT=1801.09	? (TO) TT=1800.95	? (TO) TT=1800.51
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-ship12l.opb		? (TO) TT=1800.5	? TT=1800.05	? (TO) TT=1800.59	? (TO) TT=1800.7	? (TO) TT=1800.73	? (TO) TT=1800.18	? (TO) TT=1800.2	? (TO) TT=1800.76	? (TO) TT=1800.77	? (TO) TT=1801.13	? (TO) TT=1801	? (TO) TT=1800.71	? (TO) TT=1800.7
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-ship12s.opb		? (TO) TT=1800.91	? TT=1800.04	? (TO) TT=1800.58	? (TO) TT=1800.57	? (TO) TT=1800.64	? (TO) TT=1800.06	? (TO) TT=1800.75	? (TO) TT=1800.58	? (TO) TT=1800.67	? (TO) TT=1800.2	? (TO) TT=1800.17	? (TO) TT=1800.5	? (TO) TT=1800.53
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-sierra.opb		? (TO) TT=1800.42	? TT=1800.27	? (exit code) TT=258.349	? (TO) TT=1800.73	? (TO) TT=1800.51	? (TO) TT=1800.42	? (TO) TT=1800.8	? (TO) TT=1800.54	? (TO) TT=1800.72	? (TO) TT=1801.07	? (TO) TT=1800.79	? (TO) TT=1800.67	? (TO) TT=1800.69
Bench name	Best results on this instance	absconPseudo 1	bsolo 2006/05	glpPB 0.2	minisat+ 1.14	PBS 4.1L	PB-smodels 1.28	PB-smodels 1.31	Pueblo 1.3	Pueblo 1.4	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics	wildcat-rnp 0.8.0	wildcat-skc 0.8.0
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-stair.opb	UNSAT TT=471.974	? (TO) TT=1800.36	? TT=1800.09	? (exit code) TT=2.599	? (TO) TT=1800.58	? (TO) TT=1800.53	? (TO) TT=1800.7	? (TO) TT=1800.58	? (TO) TT=1800.72	? (TO) TT=1800.71	? (TO) TT=1800.9	UNSAT TT=471.974	? (TO) TT=1800.68	? (TO) TT=1800.5
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-standata.opb		? (TO) TT=1800.59	? TT=1800.02	? (exit code) TT=327.679	? (TO) TT=1800.63	? (TO) TT=1800.5	? (TO) TT=1800.61	? (TO) TT=1800.51	? (TO) TT=1800.62	? (TO) TT=1800.58	? (TO) TT=1800.61	? (TO) TT=1800.59	? (TO) TT=1800.51	? (TO) TT=1800.63
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-standgub.opb		? (TO) TT=1800.5	? TT=1800.02	? (exit code) TT=355.09	? (TO) TT=1800.76	? (TO) TT=1800.69	? (TO) TT=1800.47	? (TO) TT=1800.58	? (TO) TT=1800.68	? (TO) TT=1800.66	? (TO) TT=1800.56	? (TO) TT=1800.57	? (TO) TT=1800.7	? (TO) TT=1800.56
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-stocfor1.opb	SAT f=-71 TT=1800.26 T1=775.75	? (TO) TT=1800.38	? TT=1800.11	? (exit code) TT=8.832	? (TO) TT=1800.67	? (TO) TT=1800.73	? (TO) TT=1800.73	? (TO) TT=1800.89	SAT f=3530 TT=1782.74 T1=1783.21	SAT f=3530 TT=1782.74 T1=1783.31	SAT (TO) f=-71 TT=1800.26 T1=775.75	SAT (TO) f=-43 TT=1801.06 T1=281.31	? (TO) TT=1800.52	? (TO) TT=1800.56
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-stocfor2.opb		? (TO) TT=1800.26	? TT=1800.12	? (TO) TT=1800.75	? (TO) TT=1800.79	? (TO) TT=1800.57	? (TO) TT=1800.67	? (TO) TT=1800.87	? (TO) TT=1800.53	? (TO) TT=1800.66	? (TO) TT=1800.39	? (TO) TT=1800.97	? (TO) TT=1800.72	? (TO) TT=1800.6
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-tuff.opb		? (TO) TT=1800.28	? TT=1800.1	? (exit code) TT=25.144	? (TO) TT=1800.53	? (TO) TT=1800.64	? (TO) TT=1800.63	? (TO) TT=1800.85	? (TO) TT=1800.63	? (TO) TT=1800.65	? (TO) TT=1800.55	? (TO) TT=1800.72	? (TO) TT=1800.62	? (TO) TT=1800.66
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-vtp.base.opb	UNSAT TT=2.651	? (TO) TT=1800.55	? TT=1800.09	? (exit code) TT=8.43	UNSAT TT=1120.91	? (TO) TT=1800.71	? (TO) TT=1800.79	? (TO) TT=1800.94	? (TO) TT=1800.56	? (TO) TT=1800.69	UNSAT TT=2.651	UNSAT TT=46.303	? (TO) TT=1800.51	? (TO) TT=1800.57
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-wood1p.opb		? (TO) TT=1800.2	? (TO) TT=1800.68	? (TO) TT=1800.66	? (TO) TT=1800.58	? (TO) TT=1800.63	? (TO) TT=1800.7	? (TO) TT=1800.37	? (TO) TT=1800.49	? (TO) TT=1800.5	? (TO) TT=1800.71	? (TO) TT=1800.14	? (TO) TT=1801.32	? (TO) TT=1800.51
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/ftp.netlib.org/lp/data/ normalized-reduced-mps-v2-20-10-woodw.opb		? TT=24.94	? TT=1800.08	? (exit code) TT=195.044	? (TO) TT=1800.4	? (TO) TT=1800.55	? (TO) TT=1800.87	? (TO) TT=1800.78	? (TO) TT=1800.65	? (TO) TT=1800.51	? (TO) TT=1800.48	? (TO) TT=1800.42	? (TO) TT=1800.64	? (TO) TT=1800.62
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-a1c1s1.opb	UNSAT TT=11.27	? TT=17.511	? TT=1800.07	? (exit code) TT=124.348	? (TO) TT=1800.83	? (TO) TT=1800.67	? (TO) TT=1800.35	? (TO) TT=1800.38	UNSAT TT=11.27	UNSAT TT=12.663	? (TO) TT=1800.12	? (TO) TT=1800.35	? (TO) TT=1800.66	? (TO) TT=1800.52
Bench name	Best results on this instance	absconPseudo 1	bsolo 2006/05	glpPB 0.2	minisat+ 1.14	PBS 4.1L	PB-smodels 1.28	PB-smodels 1.31	Pueblo 1.3	Pueblo 1.4	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics	wildcat-rnp 0.8.0	wildcat-skc 0.8.0
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-reduced-mps-v2-20-10-aflow30a.opb	SAT f=3248 TT=1782.76 T1=165.12	? (TO) TT=1800.67	? TT=1800.04	? (exit code) TT=65.538	? (TO) TT=1800.64	? (TO) TT=1800.55	? (TO) TT=1800.11	? (TO) TT=1800.18	SAT f=3490 TT=1782.78 T1=41.98	SAT f=3248 TT=1782.76 T1=165.12	? (TO) TT=1800.83	? (TO) TT=1800.88	? (TO) TT=1800.57	? (TO) TT=1800.55
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-reduced-mps-v2-20-10-aflow40b.opb	SAT f=6735 TT=1782.81 T1=884.17	? (TO) TT=1800.21	? TT=1800.03	? (TO) TT=1800.72	? (TO) TT=1800.6	? (TO) TT=1800.66	? (TO) TT=1800.75	? (TO) TT=1800.58	SAT f=6735 TT=1782.81 T1=884.17	? (TO) TT=1800.73	? (TO) TT=1800.91	? (TO) TT=1800.77	? (TO) TT=1800.72	? (TO) TT=1800.58
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-air04.opb		? (TO) TT=1800.13	? TT=1800.03	? (TO) TT=1800.72	? (TO) TT=1800.79	? (TO) TT=1800.64	? (TO) TT=1800.54	? (TO) TT=1800.62	? (TO) TT=1800.67	? (TO) TT=1800.67	? (TO) TT=1801.05	? (TO) TT=1800.77	? (TO) TT=1800.71	? (TO) TT=1800.71
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-air05.opb	SAT f=4978 TT=1800.09 T1=1790.78	? (TO) TT=1800.5	SAT f=4978 TT=1800.09 T1=1790.78	? (TO) TT=1800.72	SAT (TO) f=5462 TT=1800.76 T1=179.29	? (TO) TT=1800.63	? (TO) TT=1800.12	? (TO) TT=1800.3	SAT f=5305 TT=1782.76 T1=192.13	SAT f=5278 TT=1782.76 T1=866.88	SAT (TO) f=5736 TT=1800.43 T1=481.58	SAT (TO) f=5555 TT=1801.17 T1=655.07	SAT (TO) f=5648 TT=1800.65 T1=637.65	? (TO) TT=1800.65
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-reduced-mps-v2-20-10-arki001.opb	UNSAT TT=3.252	? (TO) TT=1800.37	? TT=1800.13	UNSAT TT=3.396	? (TO) TT=1800.82	? (TO) TT=1800.71	? (TO) TT=1800.67	? (TO) TT=1800.79	? (TO) TT=1800.56	? (TO) TT=1800.63	UNSAT TT=33.14	UNSAT TT=3.252	? (TO) TT=1800.77	? (TO) TT=1800.72
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-reduced-mps-v2-20-10-atlanta-ip.opb	UNSAT TT=9.776	? TT=13.788	UNSAT TT=15.653	UNSAT TT=226.843	? (TO) TT=1800.35	UNSAT TT=9.776	UNSAT TT=42.846	UNSAT TT=44.148	UNSAT TT=13.901	UNSAT TT=13.497	UNSAT TT=197.331	UNSAT TT=92.187	? (TO) TT=1800.67	? (TO) TT=1800.82
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-reduced-mps-v2-20-10-dano3mip.opb		? TT=26.127	? TT=1800.1	? (TO) TT=1800.75	? (TO) TT=1800.63	? (TO) TT=1800.6	? (TO) TT=1800	? (TO) TT=1800.39	? (TO) TT=1800.62	? (TO) TT=1800.52	? (TO) TT=1800.84	? (TO) TT=1800.67	? (TO) TT=1800.62	? (TO) TT=1800.53
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-reduced-mps-v2-20-10-danoint.opb		? (TO) TT=1801	? TT=1800.02	? (TO) TT=1800.63	? (TO) TT=1800.73	? (TO) TT=1800.56	? (TO) TT=1800.58	? (TO) TT=1800.49	? (TO) TT=1800.7	? (TO) TT=1800.79	? (TO) TT=1800.51	? (TO) TT=1801.18	? (TO) TT=1800.7	? (TO) TT=1800.7
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-fiber.opb	SAT f=6358 TT=1800.46 T1=1648.24	? (TO) TT=1800.53	SAT f=18002 TT=1800.1 T1=22.7	? (TO) TT=1800.72	SAT (TO) f=174173 TT=1800.74 T1=565.47	? (TO) TT=1800.71	? (TO) TT=1800.62	SAT (TO) f=31720 TT=1800.79 T1=560.55	SAT f=12122 TT=1782.73 T1=283.84	SAT f=9681 TT=1782.74 T1=109.84	SAT (TO) f=15867 TT=1800.62 T1=162.2	SAT (TO) f=7472 TT=1800.69 T1=4.46	SAT (TO) f=6358 TT=1800.46 T1=1648.24	SAT (TO) f=60255 TT=1800.58 T1=671.92
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-reduced-mps-v2-20-10-fixnet6.opb		? (TO) TT=1800.83	? TT=1800.11	? (exit code) TT=111.872	? (TO) TT=1800.52	? (TO) TT=1800.52	? (TO) TT=1800.28	? (TO) TT=1800.23	? (TO) TT=1800.5	? (TO) TT=1800.51	? (TO) TT=1800.86	? (TO) TT=1800.74	? (TO) TT=1800.69	? (TO) TT=1800.05
Bench name	Best results on this instance	absconPseudo 1	bsolo 2006/05	glpPB 0.2	minisat+ 1.14	PBS 4.1L	PB-smodels 1.28	PB-smodels 1.31	Pueblo 1.3	Pueblo 1.4	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics	wildcat-rnp 0.8.0	wildcat-skc 0.8.0
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-reduced-mps-v2-20-10-gesa2-o.opb	SAT f=1259 TT=1800.64 T1=76.4	? (TO) TT=1800.28	? TT=1800.18	? (exit code) TT=239.667	? (TO) TT=1800.61	? (TO) TT=1800.73	? (TO) TT=1800.15	? (TO) TT=1800.22	? (TO) TT=1800.51	? (TO) TT=1800.66	? (TO) TT=1800.61	? (TO) TT=1800.75	SAT (TO) f=1259 TT=1800.64 T1=76.4	? (TO) TT=1800.65
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-gesa2.opb	SAT f=676 TT=1782.75 T1=3.25	SAT (TO) f=1919 TT=1800.28 T1=150.59	SAT f=5235 TT=1800.06 T1=1797.74	? (exit code) TT=43.836	? (TO) TT=1800.57	? (TO) TT=1800.72	SAT (TO) f=958 TT=1800.53 T1=26.2	SAT (TO) f=969 TT=1800.39 T1=1600.37	SAT f=676 TT=1782.76 T1=3.25	SAT f=676 TT=1782.75 T1=3.28	SAT (TO) f=1400 TT=1801.29 T1=1301.44	SAT (TO) f=1611 TT=1801.76 T1=8.43	SAT (TO) f=760 TT=1800.7 T1=863.97	? (TO) TT=1800.71
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-glass4.opb	SAT f=1642 TT=1800.63 T1=1333.23	? (TO) TT=1800.2	SAT f=2208 TT=1800.05 T1=7.23	? (exit code) TT=60.047	? (TO) TT=1800.61	? (TO) TT=1800.67	? (TO) TT=1800.87	? (TO) TT=1800.95	SAT f=8289 TT=1782.74 T1=189.29	SAT f=8289 TT=1782.74 T1=190.97	SAT (TO) f=1642 TT=1800.63 T1=1333.23	SAT (TO) f=1687 TT=1801.08 T1=1699.97	SAT (TO) f=327845 TT=1800.73 T1=602.28	? (TO) TT=1800.68
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-harp2.opb	SAT f=-7863 TT=1800.63 T1=975.53	? (TO) TT=1800.91	SAT f=-7312 TT=1800.03 T1=257.7	? (TO) TT=1800.73	SAT (TO) f=-7120 TT=1800.57 T1=1676.54	? (TO) TT=1800.74	SAT (TO) f=-7293 TT=1800.76 T1=123.21	SAT (TO) f=-7863 TT=1800.63 T1=975.53	SAT f=-240 TT=1782.75 T1=1783.34	SAT f=-441 TT=1782.73 T1=1783.38	SAT (TO) f=-6855 TT=1800.56 T1=1528.29	SAT (TO) f=-7776 TT=1800.79 T1=18.76	SAT (TO) f=-7393 TT=1800.72 T1=1668.92	SAT (TO) f=-7373 TT=1800.58 T1=863.87
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-reduced-mps-v2-20-10-liu.opb	SAT f=270347 TT=1800.58 T1=1244.83	? (TO) TT=1800.42	SAT (TO) f=270347 TT=1800.58 T1=1244.83	? (TO) TT=1800.51	? (TO) TT=1800.76	? (TO) TT=1800.5	? (TO) TT=1800.78	? (TO) TT=1800.84	? (TO) TT=1800.64	? (TO) TT=1800.59	? (TO) TT=1801.14	? (TO) TT=1801.02	SAT (TO) f=304779 TT=1800.56 T1=52.82	? (TO) TT=1800.68
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-reduced-mps-v2-20-10-markshare1.opb	SAT f=7 TT=1800.16 T1=138.99	? (TO) TT=1800.48	SAT f=7 TT=1800.16 T1=138.99	? (exit code) TT=0.154	SAT (TO) f=60 TT=1800.65 T1=587.79	? (TO) TT=1800.53	SAT (TO) f=36 TT=1800.64 T1=1642.16	SAT (TO) f=466 TT=1800.71 T1=1086.61	SAT f=65 TT=1782.73 T1=673.29	SAT f=65 TT=1782.73 T1=639.62	SAT (TO) f=24 TT=1801.04 T1=453.49	SAT (TO) f=19 TT=1800.43 T1=59.47	SAT (TO) f=17 TT=1800.55 T1=1557.3	? (TO) TT=1800.56
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-reduced-mps-v2-20-10-markshare2.opb	SAT f=9 TT=1800.16 T1=191.71	? (TO) TT=1800.32	SAT f=9 TT=1800.16 T1=191.71	? (exit code) TT=0.236	SAT (TO) f=98 TT=1800.73 T1=156.52	? (TO) TT=1800.54	SAT (TO) f=11 TT=1800.77 T1=1235.3	SAT (TO) f=148 TT=1800.73 T1=2.12	SAT f=84 TT=1782.73 T1=1722.46	SAT f=84 TT=1782.73 T1=1738.9	SAT (TO) f=42 TT=1800.86 T1=960.99	SAT (TO) f=30 TT=1801.16 T1=740.04	SAT (TO) f=21 TT=1800.69 T1=684.82	? (TO) TT=1800.7
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-mas74.opb	OPT f=1 TT=0.018 T1=0.01	OPT f=1 TT=1.936 T1=1.1	OPT f=1 TT=0.041 T1=0.13	OPT f=1 TT=0.018 T1=0.01	OPT f=1 TT=0.105 T1=0.1	OPT f=1 TT=0.074 T1=0.07	OPT f=1 TT=0.18 T1=0.15	OPT f=1 TT=0.22 T1=0.19	OPT f=1 TT=0.043 T1=0.02	OPT f=1 TT=0.042 T1=0.02	OPT f=1 TT=0.67 T1=0.47	OPT f=1 TT=0.658 T1=0.44	SAT (TO) f=1 TT=1800.66 T1=418.37	SAT (TO) f=1 TT=1800.67 T1=174
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-mas76.opb	OPT f=1 TT=0.016 T1=0.01	OPT f=1 TT=1.568 T1=1.36	OPT f=1 TT=0.021 T1=0.09	OPT f=1 TT=0.016 T1=0.01	OPT f=1 TT=0.098 T1=0.1	OPT f=1 TT=0.057 T1=0.05	OPT f=1 TT=0.174 T1=0.14	OPT f=1 TT=0.211 T1=0.18	OPT f=1 TT=0.04 T1=0.05	OPT f=1 TT=0.039 T1=0.02	OPT f=1 TT=0.707 T1=0.47	OPT f=1 TT=0.726 T1=0.48	SAT (TO) f=1 TT=1800.68 T1=0.32	SAT (TO) f=1 TT=1800.66 T1=0.19
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-misc07.opb	OPT f=262858 TT=456.445 T1=34.38	? (TO) TT=1800.65	SAT f=262858 TT=1800.1 T1=46.84	? (exit code) TT=286.746	SAT (TO) f=262858 TT=1800.59 T1=1436.81	? (TO) TT=1800.69	OPT f=262858 TT=546.397 T1=34.38	OPT f=262858 TT=456.445 T1=109.79	SAT f=262858 TT=1782.74 T1=47.12	SAT f=262858 TT=1782.74 T1=43.08	SAT (TO) f=262881 TT=1800.37 T1=166.71	SAT (TO) f=262882 TT=1800.78 T1=139.39	? (TO) TT=1800.65	? (TO) TT=1800.51
Bench name	Best results on this instance	absconPseudo 1	bsolo 2006/05	glpPB 0.2	minisat+ 1.14	PBS 4.1L	PB-smodels 1.28	PB-smodels 1.31	Pueblo 1.3	Pueblo 1.4	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics	wildcat-rnp 0.8.0	wildcat-skc 0.8.0
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-reduced-mps-v2-20-10-mkc.opb	SAT f=-4316 TT=1800.59 T1=1663.68	SAT (TO) f=-2889 TT=1800.85 T1=2.25	SAT f=-3468 TT=1800.01 T1=885.99	? (exit code) TT=33.107	SAT (TO) f=-3261 TT=1800.58 T1=1253.01	? (TO) TT=1800.64	? (TO) TT=1800.71	SAT (TO) f=-3018 TT=1800.81 T1=97.05	SAT f=-342 TT=1782.76 T1=1783.21	SAT f=-342 TT=1782.77 T1=1783.4	SAT (TO) f=-3076 TT=1800.4 T1=75.8	SAT (TO) f=-3839 TT=1800.77 T1=96.71	SAT (TO) f=-4316 TT=1800.59 T1=1663.68	SAT (TO) f=-117 TT=1800.6 T1=470.92
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-mod011.opb	SAT f=-2 TT=1804.54 T1=599.9	? TT=22.454	? TT=1800.15	? (exit code) TT=415.525	? (TO) TT=1800.17	? (TO) TT=1800.68	? (TO) TT=1800.07	? (TO) TT=1800.03	SAT f=0 TT=1783.13 T1=1783.35	SAT f=0 TT=1783.14 T1=1783.42	SAT (TO) f=-2 TT=1804.54 T1=599.9	? (TO) TT=1800.73	? (TO) TT=1802.68	? (TO) TT=1800.72
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-reduced-mps-v2-20-10-modglob.opb	SAT f=104 TT=1782.74 T1=0.2	? (TO) TT=1800.56	? TT=1800.14	? (TO) TT=1800.4	? (TO) TT=1800.75	? (TO) TT=1800.68	SAT (TO) f=548 TT=1801 T1=3.24	SAT (TO) f=528 TT=1800.03 T1=3.62	SAT f=104 TT=1782.74 T1=0.2	SAT f=104 TT=1782.74 T1=0.2	? (TO) TT=1800.71	? (TO) TT=1801.1	? (TO) TT=1800.71	? (TO) TT=1800.77
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-reduced-mps-v2-20-10-momentum1.opb	UNSAT TT=2.742	? TT=14.961	UNSAT TT=2.742	UNSAT TT=816.263	UNSAT TT=5.139	UNSAT TT=7.356	UNSAT TT=24.953	UNSAT TT=26.144	UNSAT TT=8.299	UNSAT TT=8.297	UNSAT TT=34.461	UNSAT TT=31.627	? (TO) TT=1800.68	? (TO) TT=1800.56
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-reduced-mps-v2-20-10-momentum2.opb	UNSAT TT=13.185	? (exit code) TT=18.675	UNSAT TT=14.344	? (problem) TT=37.989	UNSAT TT=38.114	UNSAT TT=24.845	UNSAT TT=91.072	UNSAT TT=88.863	UNSAT TT=13.188	UNSAT TT=13.185	UNSAT TT=30.548	UNSAT TT=35.661	? (TO) TT=1802.52	? (TO) TT=1801.65
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-reduced-mps-v2-20-10-momentum3.opb	SAT f=413152 TT=1800.26 T1=1350.83	? TT=13.933	SAT (TO) f=419355 TT=1800.77 T1=1421.93	? (TO) TT=1800.84	? (TO) TT=1800.41	? (TO) TT=1800.71	SAT (TO) f=413152 TT=1800.26 T1=1350.83	SAT (TO) f=413156 TT=1800.65 T1=1273.91	? (TO) TT=1800.7	? (TO) TT=1800.7	SAT (TO) f=415733 TT=1804.21 T1=215.6	SAT (TO) f=413486 TT=1804.2 T1=545.61	? (TO) TT=1802.6	? (TO) TT=1802.71
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-reduced-mps-v2-20-10-msc98-ip.opb		? TT=15.218	? TT=1800.05	? (TO) TT=1800.58	? (TO) TT=1800.72	? (TO) TT=1800.5	? (TO) TT=1800.5	? (TO) TT=1800.27	? (TO) TT=1800.62	? (TO) TT=1800.63	? (TO) TT=1800.28	? (TO) TT=1800.96	? (TO) TT=1800.58	? (TO) TT=1800.7
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-noswot.opb	OPT f=-7 TT=2.033 T1=0.07	SAT (TO) f=-7 TT=1800.92 T1=1.76	SAT f=-7 TT=1800.02 T1=0.07	? (exit code) TT=1.668	OPT f=-7 TT=163.974 T1=129.3	? (TO) TT=1800.68	? (TO) TT=1800.8	? (TO) TT=1800.79	SAT f=-7 TT=1782.73 T1=1783.33	SAT f=-7 TT=1782.73 T1=1783.26	OPT f=-7 TT=2.324 T1=1.26	OPT f=-7 TT=2.033 T1=1.17	SAT (TO) f=-6 TT=1800.56 T1=707.52	? (TO) TT=1800.51
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-reduced-mps-v2-20-10-nsrand-ipx.opb	SAT f=284209 TT=1800.12 T1=282.72	? (TO) TT=1800.22	SAT f=284209 TT=1800.12 T1=282.72	? (TO) TT=1800.59	? (TO) TT=1800.52	? (TO) TT=1800.57	SAT (TO) f=386296 TT=1800.09 T1=1393.53	SAT (TO) f=391121 TT=1800.16 T1=668.46	SAT f=393218 TT=1782.74 T1=0.93	SAT f=393218 TT=1782.74 T1=0.94	SAT (TO) f=294914 TT=1800.73 T1=2.89	SAT (TO) f=524284 TT=1800.91 T1=1524.19	SAT (TO) f=349280 TT=1800.81 T1=8.38	SAT (TO) f=524189 TT=1800.68 T1=7.48
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-nw04.opb	OPT f=41 TT=34.318 T1=34.28	? (TO) TT=1800.28	? (TO) TT=1800.69	OPT f=41 TT=34.318 T1=34.28	? (TO) TT=1800.66	? (TO) TT=1800.7	? (TO) TT=1800.64	? (TO) TT=1800.18	SAT f=139 TT=1784.38 T1=397.23	SAT f=139 TT=1784.31 T1=463.12	? (TO) TT=1800.28	? (TO) TT=1800.84	SAT (TO) f=178 TT=1800.86 T1=863.82	SAT (TO) f=97 TT=1800.78 T1=927.95
Bench name	Best results on this instance	absconPseudo 1	bsolo 2006/05	glpPB 0.2	minisat+ 1.14	PBS 4.1L	PB-smodels 1.28	PB-smodels 1.31	Pueblo 1.3	Pueblo 1.4	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics	wildcat-rnp 0.8.0	wildcat-skc 0.8.0
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-reduced-mps-v2-20-10-pk1.opb	SAT f=42 TT=1782.73 T1=2.02	? (TO) TT=1800.98	Signal TT=1043.25	? (exit code) TT=0.067	SAT (TO) f=262659 TT=1800.71 T1=1772.76	? (TO) TT=1800.78	? (TO) TT=1800.78	SAT (TO) f=25554 TT=1800.77 T1=1792.22	SAT f=42 TT=1782.74 T1=2.02	SAT f=42 TT=1782.73 T1=2.22	SAT (TO) f=524309 TT=1800.51 T1=1617.4	? (TO) TT=1800.55	SAT (TO) f=319449 TT=1800.69 T1=526.89	SAT (TO) f=262172 TT=1800.48 T1=1009.89
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-reduced-mps-v2-20-10-pp08aCUTS.opb	SAT f=69 TT=1782.73 T1=0.12	? (TO) TT=1800.69	Signal TT=200.863	? (exit code) TT=0.384	? (TO) TT=1800.55	? (TO) TT=1800.68	? (TO) TT=1800.92	? (TO) TT=1800.89	SAT f=69 TT=1782.73 T1=0.12	SAT f=69 TT=1782.74 T1=0.13	? (TO) TT=1800.25	? (TO) TT=1800.64	? (TO) TT=1800.65	? (TO) TT=1800.52
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-pp08a.opb		? (TO) TT=1800.47	Signal TT=159.577	? (exit code) TT=0.325	? (TO) TT=1800.49	? (TO) TT=1800.62	? (TO) TT=1800.8	? (TO) TT=1800.67	? (TO) TT=1800.49	? (TO) TT=1800.72	? (TO) TT=1800.76	? (TO) TT=1800.86	? (TO) TT=1800.76	? (TO) TT=1800.48
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-reduced-mps-v2-20-10-qiu.opb		? (TO) TT=1800.14	? TT=1800.04	? (exit code) TT=457.84	? (TO) TT=1800.58	? (TO) TT=1800.53	? (TO) TT=1800.86	? (TO) TT=1800.8	? (TO) TT=1800.64	? (TO) TT=1800.46	? (TO) TT=1800.19	? (TO) TT=1800.53	? (TO) TT=1800.58	? (TO) TT=1800.61
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-reduced-mps-v2-20-10-rd-rplusc-21.opb		? TT=57.65	? (TO) TT=1800.68	? (TO) TT=1800.71	? (TO) TT=1801.1	? (TO) TT=1800.55	? (TO) TT=1800.92	? (TO) TT=1800.17	? (TO) TT=1800.74	? (TO) TT=1800.75	? (TO) TT=1800.48	? (TO) TT=1800.55	Signal TT=12.116	Signal TT=12.507
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-reduced-mps-v2-20-10-roll3000.opb		? (TO) TT=1800.88	? TT=1800.04	? (exit code) TT=451.605	? (TO) TT=1800.68	? (TO) TT=1800.66	? (TO) TT=1800.48	? (TO) TT=1800.68	? (TO) TT=1800.49	? (TO) TT=1800.72	? (TO) TT=1800.83	? (TO) TT=1800.6	? (TO) TT=1800.85	? (TO) TT=1800.6
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-rout.opb	SAT f=262412 TT=1800.02 T1=1493.89	? (TO) TT=1800.85	SAT f=262412 TT=1800.02 T1=1493.89	? (exit code) TT=5.257	SAT (TO) f=262562 TT=1800.73 T1=481.12	? (TO) TT=1800.66	? (TO) TT=1800.83	SAT (TO) f=262502 TT=1800.94 T1=194.91	? (TO) TT=1800.51	? (TO) TT=1800.67	SAT (TO) f=262457 TT=1800.46 T1=1373.65	SAT (TO) f=262445 TT=1800.56 T1=1356.96	SAT (TO) f=262415 TT=1800.53 T1=982.33	? (TO) TT=1800.51
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-set1ch.opb	SAT f=14010 TT=1782.76 T1=1479.8	? (TO) TT=1800.92	? TT=1800.01	? (exit code) TT=11.916	? (TO) TT=1800.69	? (TO) TT=1800.56	? (TO) TT=1800.11	? (TO) TT=1800.12	SAT f=14010 TT=1782.76 T1=1479.8	SAT f=14010 TT=1782.77 T1=1556.23	? (TO) TT=1800.68	? (TO) TT=1800.24	? (TO) TT=1800.66	? (TO) TT=1800.69
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-sp97ar.opb	SAT f=51 TT=1783.08 T1=244.27	? TT=78.437	? TT=1800.15	? (exit code) TT=1674.86	SAT (TO) f=999 TT=1800.66 T1=1474	? (TO) TT=1800.49	? (TO) TT=1800.57	? (TO) TT=1800.75	SAT f=51 TT=1783.33 T1=244.27	SAT f=51 TT=1783.08 T1=249.11	No Cert. TT=1797.57	No Cert. TT=1527.02	? (TO) TT=1802.67	? (TO) TT=1802.53
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-stp3d.opb		? TT=16.945	? TT=1800.06	? (TO) TT=1800.74	? (TO) TT=1800.74	? (TO) TT=1800.6	? (TO) TT=1800.96	? (TO) TT=1800.65	? (TO) TT=1800.74	? (TO) TT=1800.51	? (TO) TT=1800.78	? (TO) TT=1801.13	? (TO) TT=1801.11	? (TO) TT=1800.71
Bench name	Best results on this instance	absconPseudo 1	bsolo 2006/05	glpPB 0.2	minisat+ 1.14	PBS 4.1L	PB-smodels 1.28	PB-smodels 1.31	Pueblo 1.3	Pueblo 1.4	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics	wildcat-rnp 0.8.0	wildcat-skc 0.8.0
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-swath.opb	OPT f=262224 TT=0.775 T1=0.77	? (TO) TT=1800.29	? TT=1800.09	OPT f=262224 TT=0.775 T1=0.77	? (TO) TT=1800.61	? (TO) TT=1800.72	? (TO) TT=1800.8	? (TO) TT=1800.73	? (TO) TT=1800.54	? (TO) TT=1800.52	? (TO) TT=1800.76	SAT (TO) f=262226 TT=1800.66 T1=451.98	? (TO) TT=1800.62	? (TO) TT=1800.71
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-t1717.opb	SAT f=664 TT=1782.77 T1=17.35	? (TO) TT=1800.66	SAT f=1125 TT=1800.35 T1=1744.03	? (TO) TT=1800.53	SAT (TO) f=1211 TT=1800.91 T1=488.11	? (TO) TT=1800.65	? (TO) TT=1800.95	? (TO) TT=1800.78	SAT f=664 TT=1782.77 T1=17.35	SAT f=664 TT=1782.79 T1=17.36	SAT (TO) f=1168 TT=1805.68 T1=35.43	SAT (TO) f=1410 TT=1805.08 T1=75.18	SAT (TO) f=1513 TT=1800.71 T1=300.09	? (TO) TT=1800.72
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-reduced-mps-v2-20-10-timtab1.opb	SAT f=171974 TT=1782.74 T1=1308.88	? (TO) TT=1800.41	SAT f=256188 TT=1800.16 T1=27.48	? (TO) TT=1800.71	? (TO) TT=1800.76	? (TO) TT=1800.67	? (TO) TT=1800.73	? (TO) TT=1800.82	SAT f=171974 TT=1782.74 T1=1308.88	SAT f=171974 TT=1782.74 T1=1353.49	? (TO) TT=1800.68	? (TO) TT=1801.16	? (TO) TT=1800.56	? (TO) TT=1800.66
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-reduced-mps-v2-20-10-timtab2.opb	SAT f=197999 TT=1782.74 T1=1265.32	? (TO) TT=1800.53	Signal TT=1643.36	? (TO) TT=1800.75	? (TO) TT=1800.6	? (TO) TT=1800.69	? (TO) TT=1800.89	? (TO) TT=1800.18	SAT f=197999 TT=1782.74 T1=1265.32	SAT f=197999 TT=1782.75 T1=1421.24	? (TO) TT=1800.59	? (TO) TT=1800.27	? (TO) TT=1800.72	? (TO) TT=1800.65
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-reduced-mps-v2-20-10-tr12-30.opb		? (TO) TT=1801.05	? TT=1800.1	? (TO) TT=1800.73	? (TO) TT=1800.57	? (TO) TT=1800.57	? (TO) TT=1800.43	? (TO) TT=1800.28	? (TO) TT=1800.61	? (TO) TT=1800.57	? (TO) TT=1800.98	? (TO) TT=1800.36	? (TO) TT=1800.47	? (TO) TT=1800.61
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/MIPLIB/miplib2003/ normalized-reduced-mps-v2-20-10-van.opb	SAT f=41696 TT=1782.97 T1=79.39	? TT=13.651	SAT (TO) f=43866 TT=1800.81 T1=40.7	? (TO) TT=1800.73	? (TO) TT=1800.44	? (TO) TT=1800.65	? (TO) TT=1800.31	? (TO) TT=1800.33	SAT f=41696 TT=1782.97 T1=79.39	SAT f=41696 TT=1783.5 T1=79.66	SAT (TO) f=45673 TT=1800.78 T1=1224.23	SAT (TO) f=41696 TT=1801.26 T1=802.44	? (TO) TT=1800.67	SAT (TO) f=454286 TT=1800.92 T1=1295.26
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-vpm2.opb		? (TO) TT=1800.68	? TT=1800.13	? (exit code) TT=1.795	? (TO) TT=1800.71	? (TO) TT=1800.73	? (TO) TT=1800.64	? (TO) TT=1800.76	? (TO) TT=1800.56	? (TO) TT=1800.71	? (TO) TT=1800.95	? (TO) TT=1800.75	? (TO) TT=1800.05	? (TO) TT=1800.56
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/MIPLIB/miplib3/ normalized-reduced-mps-v2-20-10-blend2.opb		? (TO) TT=1800.13	? TT=1800.08	? (TO) TT=1800.4	? (TO) TT=1800.91	? (TO) TT=1800.48	? (TO) TT=1800.94	? (TO) TT=1800.9	? (TO) TT=1800.59	? (TO) TT=1800.54	? (TO) TT=1800.63	? (TO) TT=1801.02	? (TO) TT=1800.69	? (TO) TT=1800.43
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib3/normalized-reduced-mps-v2-20-10-gesa3_o.opb	SAT f=798 TT=1782.75 T1=1537.89	? (TO) TT=1800.38	? TT=1800.3	? (exit code) TT=75.279	? (TO) TT=1800.7	? (TO) TT=1800.73	? (TO) TT=1800.12	? (TO) TT=1800.26	SAT f=798 TT=1782.75 T1=1537.89	SAT f=848 TT=1782.76 T1=1564.65	? (TO) TT=1800.37	? (TO) TT=1800.73	? (TO) TT=1800.72	? (TO) TT=1800.81
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/MIPLIB/miplib3/ normalized-reduced-mps-v2-20-10-gesa3.opb	SAT f=655 TT=1800.77 T1=246.38	SAT (TO) f=1320 TT=1800.55 T1=6.3	SAT f=1758 TT=1800.06 T1=1779.03	? (exit code) TT=573.467	? (TO) TT=1800.72	? (TO) TT=1800.69	SAT (TO) f=820 TT=1800.1 T1=99.92	SAT (TO) f=854 TT=1800.37 T1=1436.87	SAT f=896 TT=1782.76 T1=734.53	SAT f=900 TT=1782.76 T1=1615.86	SAT (TO) f=1491 TT=1801.09 T1=2.48	SAT (TO) f=1948 TT=1801.53 T1=5.21	SAT (TO) f=655 TT=1800.77 T1=246.38	? (TO) TT=1800.55
Bench name	Best results on this instance	absconPseudo 1	bsolo 2006/05	glpPB 0.2	minisat+ 1.14	PBS 4.1L	PB-smodels 1.28	PB-smodels 1.31	Pueblo 1.3	Pueblo 1.4	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics	wildcat-rnp 0.8.0	wildcat-skc 0.8.0
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/MIPLIB/miplib3/ normalized-reduced-mps-v2-20-10-gt2.opb	SAT f=3591 TT=1782.73 T1=329.59	? (TO) TT=1800.39	SAT f=6743 TT=1800.04 T1=1281.11	? (TO) TT=1800.48	SAT (TO) f=12272 TT=1800.54 T1=1479.29	? (TO) TT=1800.78	SAT (TO) f=11359 TT=1800.57 T1=1508.47	SAT (TO) f=12943 TT=1800.65 T1=287.57	SAT f=3591 TT=1782.73 T1=329.59	SAT f=5197 TT=1782.74 T1=763.31	SAT (TO) f=10137 TT=1800.35 T1=1627.47	SAT (TO) f=15362 TT=1800.14 T1=3.41	SAT (TO) f=3591 TT=1800.7 T1=684.07	SAT (TO) f=3591 TT=1800.69 T1=732.07
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib3/normalized-reduced-mps-v2-20-10-qnet1_o.opb	SAT f=272 TT=1782.74 T1=481.37	? (TO) TT=1800.73	SAT f=964 TT=1800.07 T1=1219.2	? (TO) TT=1800.63	SAT (TO) f=1695 TT=1800.59 T1=1718.91	? (TO) TT=1800.74	SAT (TO) f=956 TT=1800.8 T1=21.03	SAT (TO) f=873 TT=1800.78 T1=69.82	SAT f=272 TT=1782.74 T1=481.37	SAT f=319 TT=1782.74 T1=1444.27	SAT (TO) f=404 TT=1800.7 T1=37.14	SAT (TO) f=889 TT=1800.85 T1=1.94	SAT (TO) f=1646 TT=1800.52 T1=1397.19	? (TO) TT=1800.75
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/MIPLIB/miplib3/ normalized-reduced-mps-v2-20-10-qnet1.opb	SAT f=291 TT=1782.74 T1=0.19	? (TO) TT=1800.95	SAT f=909 TT=1800.13 T1=1146.62	? (TO) TT=1800.6	SAT (TO) f=1874 TT=1800.54 T1=820.22	? (TO) TT=1800.61	SAT (TO) f=907 TT=1800.67 T1=378.61	SAT (TO) f=922 TT=1800.82 T1=21.72	SAT f=291 TT=1782.74 T1=0.19	SAT f=301 TT=1782.74 T1=0.27	SAT (TO) f=400 TT=1801.12 T1=125.92	SAT (TO) f=682 TT=1801.22 T1=1.87	? (TO) TT=1800.57	? (TO) TT=1800.72
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/MIPLIB/miplib/ normalized-reduced-mps-v2-20-10-air01.opb	OPT f=1496 TT=0.03 T1=0.03	OPT f=1496 TT=26.302 T1=2.5	OPT f=1496 TT=0.072 T1=0.07	OPT f=1496 TT=0.03 T1=0.03	SAT (TO) f=1496 TT=1800.71 T1=1544.94	OPT f=1496 TT=21.003 T1=16.73	OPT f=1496 TT=44.305 T1=43.86	OPT f=1496 TT=28.308 T1=26.8	OPT f=1496 TT=74.615 T1=40.35	OPT f=1496 TT=15.276 T1=7.85	OPT f=1496 TT=314.897 T1=45.14	OPT f=1496 TT=38.809 T1=1.58	SAT (TO) f=1496 TT=1800.66 T1=203.04	SAT (TO) f=1517 TT=1800.56 T1=496.77
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/MIPLIB/miplib/ normalized-reduced-mps-v2-20-10-air02.opb	OPT f=313 TT=1.565 T1=1.56	SAT (TO) f=358 TT=1800.26 T1=333.73	OPT f=313 TT=85.825 T1=85.86	OPT f=313 TT=1.565 T1=1.56	SAT (TO) f=1328 TT=1800.59 T1=1538.08	? (TO) TT=1800.47	? (TO) TT=1800.41	? (TO) TT=1800.17	SAT f=495 TT=1782.81 T1=1211	SAT f=402 TT=1782.79 T1=316.71	SAT (TO) f=357 TT=1801.4 T1=1613.44	SAT (TO) f=346 TT=1800.51 T1=1109.69	SAT (TO) f=514 TT=1800.46 T1=23.66	SAT (TO) f=476 TT=1800.63 T1=1711.9
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/MIPLIB/miplib/ normalized-reduced-mps-v2-20-10-air03.opb	OPT f=6502 TT=1.832 T1=1.83	? (TO) TT=1800.54	OPT f=6502 TT=88.149 T1=87.25	OPT f=6502 TT=1.832 T1=1.83	SAT (TO) f=10603 TT=1800.66 T1=1356.62	? (TO) TT=1800.65	? (TO) TT=1800.55	? (TO) TT=1800.46	SAT f=8296 TT=1782.77 T1=1188.26	SAT f=7709 TT=1782.89 T1=1140.39	SAT (TO) f=9217 TT=1800.7 T1=218.6	SAT (TO) f=7957 TT=1800.87 T1=1775.98	SAT (TO) f=7719 TT=1800.65 T1=540.98	? (TO) TT=1800.51
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/MIPLIB/miplib/ normalized-reduced-mps-v2-20-10-air06.opb	OPT f=5727 TT=42.387 T1=42.39	? (TO) TT=1800.86	? TT=1800.04	OPT f=5727 TT=42.387 T1=42.39	SAT (TO) f=7817 TT=1800.74 T1=1694.81	? (TO) TT=1800.61	? (TO) TT=1800.67	? (TO) TT=1800.29	? (TO) TT=1800.47	SAT f=7293 TT=1782.76 T1=1400.78	? (TO) TT=1800.53	? (TO) TT=1801.12	? (TO) TT=1800.54	? (TO) TT=1800.63
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/MIPLIB/miplib/ normalized-reduced-mps-v2-20-10-bell3a.opb	SAT f=1345 TT=1800.39 T1=313.12	? (TO) TT=1800.98	SAT f=2383 TT=1800.06 T1=2.71	? (exit code) TT=7.31	? (TO) TT=1800.61	? (TO) TT=1800.66	? (TO) TT=1800.73	? (TO) TT=1800.58	SAT f=1552 TT=1782.74 T1=921.14	SAT f=1552 TT=1782.73 T1=937.04	SAT (TO) f=1345 TT=1800.39 T1=313.12	SAT (TO) f=6915 TT=1800.72 T1=1026.48	? (TO) TT=1800.62	? (TO) TT=1800.66
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/MIPLIB/miplib/ normalized-reduced-mps-v2-20-10-bell3b.opb	SAT f=1146 TT=1800.41 T1=85.8	? (TO) TT=1801.04	SAT f=2190 TT=1800.06 T1=0.51	? (exit code) TT=26.046	? (TO) TT=1800.54	? (TO) TT=1800.69	? (TO) TT=1800.67	? (TO) TT=1800.75	? (TO) TT=1800.2	? (TO) TT=1800.74	SAT (TO) f=2429 TT=1800.77 T1=151.17	SAT (TO) f=1146 TT=1800.41 T1=85.8	? (TO) TT=1800.56	? (TO) TT=1800.73
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/MIPLIB/miplib/ normalized-reduced-mps-v2-20-10-bell4.opb	SAT f=1621 TT=1782.74 T1=660.12	? (TO) TT=1800.59	SAT f=3932 TT=1800.12 T1=7.84	? (exit code) TT=18.421	? (TO) TT=1800.7	? (TO) TT=1800.63	? (TO) TT=1800.75	? (TO) TT=1800.73	SAT f=1621 TT=1782.74 T1=660.12	SAT f=1621 TT=1782.74 T1=734.03	SAT (TO) f=2578 TT=1801.11 T1=1490.98	SAT (TO) f=2690 TT=1800.31 T1=1221.32	? (TO) TT=1800.47	? (TO) TT=1800.64
Bench name	Best results on this instance	absconPseudo 1	bsolo 2006/05	glpPB 0.2	minisat+ 1.14	PBS 4.1L	PB-smodels 1.28	PB-smodels 1.31	Pueblo 1.3	Pueblo 1.4	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics	wildcat-rnp 0.8.0	wildcat-skc 0.8.0
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/MIPLIB/miplib/ normalized-reduced-mps-v2-20-10-bell5.opb	SAT f=770 TT=1782.74 T1=1572.38	? (TO) TT=1800.61	SAT f=1566 TT=1800.03 T1=0.57	? (exit code) TT=64.203	SAT (TO) f=4635 TT=1800.73 T1=523.29	? (TO) TT=1800.57	? (TO) TT=1800.53	? (TO) TT=1800.7	SAT f=770 TT=1782.74 T1=1572.38	SAT f=862 TT=1782.74 T1=191.66	SAT (TO) f=1410 TT=1800.68 T1=695.52	SAT (TO) f=1768 TT=1800.31 T1=926.81	? (TO) TT=1800.69	SAT (TO) f=1533 TT=1800.5 T1=458.81
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/MIPLIB/miplib/ normalized-reduced-mps-v2-20-10-dcmulti.opb		? (TO) TT=1800.73	? TT=1800.09	? (exit code) TT=261.819	? (TO) TT=1800.73	? (TO) TT=1800.67	? (TO) TT=1800.1	? (TO) TT=1800.16	? (TO) TT=1800.7	? (TO) TT=1800.5	? (TO) TT=1800.91	? (TO) TT=1800.98	? (TO) TT=1800.55	? (TO) TT=1800.68
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/MIPLIB/miplib/ normalized-reduced-mps-v2-20-10-egout.opb	SAT f=155 TT=1800.43 T1=1160.75	? (TO) TT=1800.37	? TT=1800.14	? (exit code) TT=4.222	? (TO) TT=1800.57	? (TO) TT=1800.71	? (TO) TT=1800.82	? (TO) TT=1800.83	? (TO) TT=1800.49	? (TO) TT=1800.64	SAT (TO) f=155 TT=1800.43 T1=1160.75	SAT (TO) f=173 TT=1800.31 T1=1042.88	? (TO) TT=1800.53	? (TO) TT=1800.69
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/MIPLIB/miplib/ normalized-reduced-mps-v2-20-10-enigma.opb	OPT f=0 TT=0.16 T1=0.15	OPT f=0 TT=1.53 T1=1.02	OPT f=0 TT=8.924 T1=8.94	OPT f=0 TT=4.932 T1=4.93	OPT f=0 TT=149.179 T1=149.22	OPT f=0 TT=0.527 T1=0.54	OPT f=0 TT=0.16 T1=0.15	OPT f=0 TT=0.2 T1=0.19	OPT f=0 TT=2.339 T1=2.34	OPT f=0 TT=1.669 T1=1.67	OPT f=0 TT=1126.15 T1=1115.34	? (TO) TT=1800.39	? (TO) TT=1800.43	OPT f=0 TT=1751.47 T1=1752.03
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/MIPLIB/miplib/ normalized-reduced-mps-v2-20-10-fixnet3.opb		? (TO) TT=1800.73	? TT=1800.03	? (exit code) TT=70.233	? (TO) TT=1800.68	? (TO) TT=1800.67	? (TO) TT=1800.09	? (TO) TT=1800.23	? (TO) TT=1800.6	? (TO) TT=1800.81	? (TO) TT=1800.43	? (TO) TT=1801.02	? (TO) TT=1800.68	? (TO) TT=1800.4
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/MIPLIB/miplib/ normalized-reduced-mps-v2-20-10-fixnet4.opb		? (TO) TT=1800.84	? TT=1800.03	? (exit code) TT=155.203	? (TO) TT=1800.53	? (TO) TT=1800.72	? (TO) TT=1800	? (TO) TT=1800.13	? (TO) TT=1800.63	? (TO) TT=1800.72	? (TO) TT=1800.6	? (TO) TT=1800.22	? (TO) TT=1800.59	? (TO) TT=1800.52
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/MIPLIB/miplib/ normalized-reduced-mps-v2-20-10-flugpl.opb	OPT f=91 TT=5.8 T1=0.02	? (TO) TT=1800.36	OPT f=91 TT=5.8 T1=5.77	? (exit code) TT=2.304	OPT f=91 TT=6.508 T1=3.95	? (TO) TT=1800.73	SAT (TO) f=110 TT=1800.55 T1=15.71	OPT f=91 TT=467.568 T1=2.46	OPT f=91 TT=221.462 T1=0.15	OPT f=91 TT=583.205 T1=0.02	OPT f=91 TT=43.885 T1=18.09	OPT f=91 TT=19.795 T1=10.46	SAT (TO) f=100 TT=1800.74 T1=324.9	? (TO) TT=1800.72
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/MIPLIB/miplib/ normalized-reduced-mps-v2-20-10-gen.opb	SAT f=468 TT=1800.13 T1=8.1	? (TO) TT=1801.02	SAT f=468 TT=1800.13 T1=8.1	? (exit code) TT=23.435	? (TO) TT=1800.66	? (TO) TT=1800.68	? (TO) TT=1800.96	? (TO) TT=1800.15	? (TO) TT=1800.7	? (TO) TT=1800.52	SAT (TO) f=1028 TT=1801.78 T1=1784.93	SAT (TO) f=837 TT=1801.8 T1=104.07	SAT (TO) f=1142 TT=1800.55 T1=1796.7	? (TO) TT=1800.66
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib/normalized-reduced-mps-v2-20-10-khb05250.opb		? (TO) TT=1800.19	? TT=1800.03	? (TO) TT=1800.72	? (TO) TT=1800.72	? (TO) TT=1800.59	? (TO) TT=1800.08	? (TO) TT=1800.79	? (TO) TT=1800.58	? (TO) TT=1800.49	? (TO) TT=1800.31	? (TO) TT=1801.1	? (TO) TT=1800.53	? (TO) TT=1800.45
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/MIPLIB/miplib/ normalized-reduced-mps-v2-20-10-misc01.opb	OPT f=262288 TT=0.182 T1=0.06	? (TO) TT=1800.22	OPT f=262288 TT=5.305 T1=0.11	OPT f=262288 TT=0.628 T1=0.63	OPT f=262288 TT=10.293 T1=6.09	OPT f=262288 TT=1.965 T1=0.11	OPT f=262288 TT=0.2 T1=0.07	OPT f=262288 TT=0.182 T1=0.06	OPT f=262288 TT=6.197 T1=0.65	OPT f=262288 TT=5.819 T1=0.07	OPT f=262288 TT=12.788 T1=1.58	OPT f=262288 TT=24.596 T1=3.52	SAT (TO) f=262289 TT=1800.76 T1=491.61	? (TO) TT=1800.65
Bench name	Best results on this instance	absconPseudo 1	bsolo 2006/05	glpPB 0.2	minisat+ 1.14	PBS 4.1L	PB-smodels 1.28	PB-smodels 1.31	Pueblo 1.3	Pueblo 1.4	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics	wildcat-rnp 0.8.0	wildcat-skc 0.8.0
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/MIPLIB/miplib/ normalized-reduced-mps-v2-20-10-misc02.opb	OPT f=262571 TT=0.068 T1=0.04	? (TO) TT=1800.36	OPT f=262571 TT=2.96 T1=0.75	OPT f=262571 TT=0.105 T1=0.1	OPT f=262571 TT=3.468 T1=0.38	OPT f=262571 TT=0.313 T1=0.08	OPT f=262571 TT=0.099 T1=0.06	OPT f=262571 TT=0.068 T1=0.04	OPT f=262571 TT=36.646 T1=0.08	OPT f=262571 TT=28.535 T1=0.41	OPT f=262571 TT=4.722 T1=0.85	OPT f=262571 TT=6.206 T1=1.63	? (TO) TT=1800.56	SAT (TO) f=262571 TT=1800.57 T1=1325
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/MIPLIB/miplib/ normalized-reduced-mps-v2-20-10-misc03.opb	OPT f=262989 TT=2.13 T1=0.25	? (TO) TT=1800.43	OPT f=262989 TT=29.222 T1=16.54	OPT f=262989 TT=283.218 T1=283.28	OPT f=262989 TT=647.608 T1=56.83	OPT f=262989 TT=8.568 T1=1.08	OPT f=262989 TT=2.722 T1=0.32	OPT f=262989 TT=2.13 T1=0.25	OPT f=262989 TT=623.379 T1=10.89	OPT f=262989 TT=108.291 T1=1.12	SAT (TO) f=262989 TT=1800.13 T1=74.38	SAT (TO) f=262989 TT=1801.04 T1=5.98	? (TO) TT=1800.74	? (TO) TT=1800.55
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/MIPLIB/miplib/ normalized-reduced-mps-v2-20-10-misc04.opb		? (TO) TT=1801.06	? TT=1800.17	? (TO) TT=1800.69	? (TO) TT=1800.69	? (TO) TT=1800.53	? (TO) TT=1800.9	? (TO) TT=1800.93	? (TO) TT=1800.61	? (TO) TT=1800.45	? (TO) TT=1801.07	? (TO) TT=1800.93	? (TO) TT=1800.56	? (TO) TT=1800.64
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/MIPLIB/miplib/ normalized-reduced-mps-v2-20-10-misc05.opb	UNSAT TT=0.16	? (TO) TT=1800.4	UNSAT TT=570.245	UNSAT TT=0.16	UNSAT TT=297.66	? (TO) TT=1800.77	? (TO) TT=1800.63	? (TO) TT=1800.74	? (TO) TT=1800.43	? (TO) TT=1800.62	UNSAT TT=1170.27	UNSAT TT=238.187	? (TO) TT=1800.51	? (TO) TT=1800.63
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/MIPLIB/miplib/ normalized-reduced-mps-v2-20-10-misc06.opb		? (TO) TT=1800.76	? TT=1800.09	? (exit code) TT=198.024	? (TO) TT=1800.71	? (TO) TT=1800.68	? (TO) TT=1800.34	? (TO) TT=1800.33	? (TO) TT=1800.64	? (TO) TT=1800.53	? (TO) TT=1800.75	? (TO) TT=1800.78	? (TO) TT=1800.58	? (TO) TT=1800.49
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/MIPLIB/miplib/ normalized-reduced-mps-v2-20-10-mod013.opb	OPT f=19 TT=452.735 T1=5.01	? (TO) TT=1800.94	SAT f=19 TT=1800.02 T1=15.48	? (exit code) TT=2.669	OPT f=19 TT=452.735 T1=11.15	? (TO) TT=1800.52	? (TO) TT=1800.71	SAT (TO) f=19 TT=1800.5 T1=5.01	SAT f=20 TT=1782.73 T1=1594.05	SAT f=20 TT=1782.74 T1=1657.92	SAT (TO) f=19 TT=1801.11 T1=19.18	SAT (TO) f=19 TT=1800.65 T1=811.09	SAT (TO) f=19 TT=1800.55 T1=811.61	SAT (TO) f=19 TT=1800.72 T1=587.49
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/MIPLIB/miplib/ normalized-reduced-mps-v2-20-10-p0282.opb	OPT f=104028 TT=1.205 T1=1.2	OPT f=104028 TT=10.14 T1=9.26	SAT f=127713 TT=1800.14 T1=1763.06	OPT f=104028 TT=1.205 T1=1.2	SAT (TO) f=114257 TT=1800.72 T1=1782.9	OPT f=104028 TT=30.937 T1=30.96	OPT f=104028 TT=54.88 T1=52.47	OPT f=104028 TT=9.137 T1=5.43	SAT f=104028 TT=1782.73 T1=305.37	SAT f=113007 TT=1782.73 T1=22.23	SAT (TO) f=115192 TT=1801.08 T1=1102.79	SAT (TO) f=115770 TT=1800.49 T1=797.86	SAT (TO) f=117505 TT=1800.57 T1=1783.88	SAT (TO) f=116618 TT=1800.66 T1=1590.35
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/MIPLIB/miplib/ normalized-reduced-mps-v2-20-10-p0291.opb	OPT f=7985 TT=0.056 T1=0.05	OPT f=7985 TT=1.701 T1=1.01	SAT f=8107 TT=1800.36 T1=368.68	OPT f=7985 TT=0.154 T1=0.15	OPT f=7985 TT=183.545 T1=183.48	OPT f=7985 TT=0.666 T1=0.67	OPT f=7985 TT=0.402 T1=0.23	OPT f=7985 TT=0.54 T1=0.42	OPT f=7985 TT=0.056 T1=0.05	OPT f=7985 TT=0.075 T1=0.07	OPT f=7985 TT=8.324 T1=6.49	OPT f=7985 TT=9.642 T1=6.51	SAT (TO) f=7986 TT=1800.68 T1=1599.48	SAT (TO) f=8906 TT=1800.67 T1=1240.05
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/MIPLIB/miplib/ normalized-reduced-mps-v2-20-10-p6000.opb	OPT f=-98107 TT=47.146 T1=47.15	? (TO) TT=1801.01	SAT f=-15722 TT=1800.04 T1=765.84	OPT f=-98107 TT=47.146 T1=47.15	? (TO) TT=1800.72	? (TO) TT=1800.7	? (TO) TT=1800.92	? (TO) TT=1800.86	SAT f=-4235 TT=1782.78 T1=1783.21	SAT f=-4235 TT=1782.78 T1=1783.37	? (TO) TT=1802.67	SAT (TO) f=-69505 TT=1800.77 T1=828.08	? (TO) TT=1800.57	SAT (TO) f=-5127 TT=1800.57 T1=2.87
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/MIPLIB/miplib/ normalized-reduced-mps-v2-20-10-pipex.opb	OPT f=164393 TT=0.119 T1=0.12	OPT f=164393 TT=5.976 T1=3.66	OPT f=164393 TT=6.602 T1=6.35	OPT f=164393 TT=0.119 T1=0.12	OPT f=164393 TT=176.119 T1=165.53	OPT f=164393 TT=163.906 T1=66.91	OPT f=164393 TT=1.894 T1=0.96	OPT f=164393 TT=1.971 T1=0.81	OPT f=164393 TT=9.888 T1=3.31	OPT f=164393 TT=21.105 T1=7.39	OPT f=164393 TT=618.255 T1=427.3	OPT f=164393 TT=243.67 T1=172.82	SAT (TO) f=164393 TT=1800.55 T1=31.59	SAT (TO) f=164393 TT=1800.57 T1=18.46
Bench name	Best results on this instance	absconPseudo 1	bsolo 2006/05	glpPB 0.2	minisat+ 1.14	PBS 4.1L	PB-smodels 1.28	PB-smodels 1.31	Pueblo 1.3	Pueblo 1.4	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics	wildcat-rnp 0.8.0	wildcat-skc 0.8.0
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/MIPLIB/miplib/ normalized-reduced-mps-v2-20-10-rgn.opb		? (TO) TT=1800.7	Signal TT=1308.27	? (exit code) TT=4.675	? (TO) TT=1800.96	? (TO) TT=1800.04	? (TO) TT=1800.81	? (TO) TT=1800.79	? (TO) TT=1800.64	? (TO) TT=1800.53	? (TO) TT=1800.54	? (TO) TT=1800.79	? (TO) TT=1800.21	? (TO) TT=1800.63
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/MIPLIB/miplib/ normalized-reduced-mps-v2-20-10-sample2.opb	OPT f=5 TT=179.551 T1=8.52	? (TO) TT=1800.84	SAT f=7 TT=1800.08 T1=7.9	? (exit code) TT=0.034	OPT f=5 TT=179.551 T1=179.36	OPT f=5 TT=907.548 T1=879.47	SAT (TO) f=8 TT=1800.74 T1=426.76	SAT (TO) f=9 TT=1800.81 T1=1324.58	OPT f=5 TT=1096.78 T1=833.37	OPT f=5 TT=1613.4 T1=1561.71	OPT f=5 TT=371.705 T1=8.92	OPT f=5 TT=1000.93 T1=8.52	? (TO) TT=1800.82	? (TO) TT=1800.47
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/MIPLIB/miplib/ normalized-reduced-mps-v2-20-10-set1al.opb		? (TO) TT=1800.74	? TT=1800.05	? (TO) TT=1800.67	? (TO) TT=1800.68	? (TO) TT=1800.66	? (TO) TT=1800.9	? (TO) TT=1800.11	? (TO) TT=1800.78	? (TO) TT=1800.7	? (TO) TT=1800.78	? (TO) TT=1800.82	? (TO) TT=1800.65	? (TO) TT=1800.57
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/MIPLIB/miplib/ normalized-reduced-mps-v2-20-10-set1cl.opb		? (TO) TT=1800.74	? TT=1800.05	? (exit code) TT=70.952	? (TO) TT=1800.78	? (TO) TT=1800.53	? (TO) TT=1800.14	? (TO) TT=1800.06	? (TO) TT=1800.5	? (TO) TT=1800.52	? (TO) TT=1800.68	? (TO) TT=1800.13	? (TO) TT=1800.43	? (TO) TT=1800.67
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/MIPLIB/miplib/ normalized-reduced-mps-v2-20-10-vpm1.opb		? (TO) TT=1800.71	Signal TT=884.279	? (TO) TT=1800.71	? (TO) TT=1800.59	? (TO) TT=1800.73	? (TO) TT=1800.9	? (TO) TT=1800.81	? (TO) TT=1800.64	? (TO) TT=1800.66	? (TO) TT=1801.05	? (TO) TT=1800.62	? (TO) TT=1800.57	? (TO) TT=1800.71
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-reduced-mps-v2-20-10-bal8x12.opb	UNSAT TT=0.143	? (TO) TT=1800.88	UNSAT TT=0.143	? (exit code) TT=0.08	UNSAT TT=58.274	? (TO) TT=1800.52	? (TO) TT=1800.92	? (TO) TT=1800.87	? (TO) TT=1800.54	? (TO) TT=1800.57	UNSAT TT=2.757	UNSAT TT=5.229	? (TO) TT=1800.66	? (TO) TT=1800.58
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-reduced-mps-v2-20-10-bk4x3.opb	OPT f=14 TT=14.384 T1=8.26	SAT (TO) f=16 TT=1800.26 T1=1438.16	Signal TT=2.136	? (exit code) TT=0.012	OPT f=14 TT=19.695 T1=18.68	? (TO) TT=1800.74	? (TO) TT=1800.55	SAT (TO) f=16 TT=1800.51 T1=0.07	SAT f=16 TT=1782.74 T1=62.21	SAT f=16 TT=1782.73 T1=62.72	OPT f=14 TT=14.384 T1=8.26	OPT f=14 TT=36.723 T1=15.56	SAT (TO) f=14 TT=1800.66 T1=384.09	SAT (TO) f=14 TT=1800.56 T1=11.87
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-reduced-mps-v2-20-10-gr4x6.opb	UNSAT TT=0.015	? (TO) TT=1800.35	UNSAT TT=0.036	UNSAT TT=0.015	UNSAT TT=20.36	? (TO) TT=1800.68	? (TO) TT=1800.73	? (TO) TT=1800.55	? (TO) TT=1800.62	? (TO) TT=1800.49	UNSAT TT=1.241	UNSAT TT=1.041	? (TO) TT=1800.44	? (TO) TT=1800.59
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-reduced-mps-v2-20-10-n3700.opb	UNSAT TT=9.48	? TT=20.911	? TT=1800.04	UNSAT TT=9.48	? (TO) TT=1800.63	? (TO) TT=1800.75	? (TO) TT=1800.17	? (TO) TT=1800.21	? (TO) TT=1800.79	? (TO) TT=1800.61	? (TO) TT=1800.42	? (TO) TT=1801.02	? (TO) TT=1800.73	? (TO) TT=1800.7
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-reduced-mps-v2-20-10-n3701.opb	UNSAT TT=9.397	? TT=20.455	? TT=1800.13	UNSAT TT=9.397	? (TO) TT=1800.61	? (TO) TT=1800.56	? (TO) TT=1800.23	? (TO) TT=1800.33	? (TO) TT=1800.64	? (TO) TT=1800.7	? (TO) TT=1800.26	? (TO) TT=1800.39	? (TO) TT=1800.63	? (TO) TT=1800.61
Bench name	Best results on this instance	absconPseudo 1	bsolo 2006/05	glpPB 0.2	minisat+ 1.14	PBS 4.1L	PB-smodels 1.28	PB-smodels 1.31	Pueblo 1.3	Pueblo 1.4	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics	wildcat-rnp 0.8.0	wildcat-skc 0.8.0
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-reduced-mps-v2-20-10-n3702.opb	UNSAT TT=9.167	? TT=19.836	? TT=1800.04	UNSAT TT=9.167	? (TO) TT=1800.72	? (TO) TT=1800.63	? (TO) TT=1800.22	? (TO) TT=1800.1	? (TO) TT=1800.76	? (TO) TT=1800.8	? (TO) TT=1800.67	? (TO) TT=1801.19	? (TO) TT=1800.67	? (TO) TT=1800.5
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-reduced-mps-v2-20-10-n3703.opb		? TT=21.354	? TT=1800.07	? (exit code) TT=184.335	? (TO) TT=1800.58	? (TO) TT=1800.58	? (TO) TT=1800.14	? (TO) TT=1800.96	? (TO) TT=1800.83	? (TO) TT=1800.68	? (TO) TT=1800.84	? (TO) TT=1800.63	? (TO) TT=1800.52	? (TO) TT=1800.81
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-reduced-mps-v2-20-10-n3704.opb	UNSAT TT=8.63	? TT=20.797	? TT=1800.04	UNSAT TT=8.63	? (TO) TT=1800.74	? (TO) TT=1800.66	? (TO) TT=1800.24	? (TO) TT=1800.98	? (TO) TT=1800.65	? (TO) TT=1800.75	? (TO) TT=1800.91	? (TO) TT=1800.59	? (TO) TT=1800.62	? (TO) TT=1800.52
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-reduced-mps-v2-20-10-n3705.opb	UNSAT TT=9.537	? TT=20.983	? TT=1800.04	UNSAT TT=9.537	? (TO) TT=1800.72	? (TO) TT=1800.72	? (TO) TT=1800.09	? (TO) TT=1801.01	? (TO) TT=1800.75	? (TO) TT=1800.61	? (TO) TT=1800.31	? (TO) TT=1800.37	? (TO) TT=1800.48	? (TO) TT=1800.67
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-reduced-mps-v2-20-10-n3706.opb	UNSAT TT=10.52	? TT=21.234	? TT=1800.08	UNSAT TT=10.52	? (TO) TT=1800.58	? (TO) TT=1800.81	? (TO) TT=1800.22	? (TO) TT=1800.15	? (TO) TT=1800.7	? (TO) TT=1800.55	? (TO) TT=1800.68	? (TO) TT=1800.38	? (TO) TT=1800.79	? (TO) TT=1800.59
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-reduced-mps-v2-20-10-n3707.opb		? TT=21.042	? TT=1800.16	? (exit code) TT=493.48	? (TO) TT=1800.75	? (TO) TT=1800.56	? (TO) TT=1800.28	? (TO) TT=1800.95	? (TO) TT=1800.81	? (TO) TT=1800.83	? (TO) TT=1800.29	? (TO) TT=1800.93	? (TO) TT=1800.66	? (TO) TT=1800.52
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-reduced-mps-v2-20-10-n3708.opb	UNSAT TT=8.844	? TT=21.742	? TT=1800.07	UNSAT TT=8.844	? (TO) TT=1800.6	? (TO) TT=1800.66	? (TO) TT=1800.02	? (TO) TT=1800.28	? (TO) TT=1800.49	? (TO) TT=1800.77	? (TO) TT=1800.28	? (TO) TT=1801.04	? (TO) TT=1800.67	? (TO) TT=1800.51
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-reduced-mps-v2-20-10-n3709.opb	UNSAT TT=8.586	? TT=21.127	? TT=1800.04	UNSAT TT=8.586	? (TO) TT=1800.78	? (TO) TT=1800.82	? (TO) TT=1800.11	? (TO) TT=1801	? (TO) TT=1801.05	? (TO) TT=1800.64	? (TO) TT=1800.73	? (TO) TT=1800.67	? (TO) TT=1800.72	? (TO) TT=1800.58
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-reduced-mps-v2-20-10-n370a.opb	UNSAT TT=8.286	? TT=20.906	? TT=1800.04	UNSAT TT=8.286	? (TO) TT=1800.58	? (TO) TT=1800.52	? (TO) TT=1800.95	? (TO) TT=1800.24	? (TO) TT=1800.6	? (TO) TT=1800.54	? (TO) TT=1800.52	? (TO) TT=1800.72	? (TO) TT=1800.55	? (TO) TT=1800.65
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-reduced-mps-v2-20-10-n370b.opb	UNSAT TT=9.36	? TT=20.92	? TT=1800.04	UNSAT TT=9.36	? (TO) TT=1800.68	? (TO) TT=1800.65	? (TO) TT=1801	? (TO) TT=1800.06	? (TO) TT=1800.59	? (TO) TT=1800.76	? (TO) TT=1801.02	? (TO) TT=1800.53	? (TO) TT=1800.64	? (TO) TT=1800.64
Bench name	Best results on this instance	absconPseudo 1	bsolo 2006/05	glpPB 0.2	minisat+ 1.14	PBS 4.1L	PB-smodels 1.28	PB-smodels 1.31	Pueblo 1.3	Pueblo 1.4	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics	wildcat-rnp 0.8.0	wildcat-skc 0.8.0
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-reduced-mps-v2-20-10-n370c.opb	UNSAT TT=8.441	? TT=20.621	? TT=1800.04	UNSAT TT=8.441	? (TO) TT=1800.43	? (TO) TT=1800.57	? (TO) TT=1800.17	? (TO) TT=1800.28	? (TO) TT=1800.3	? (TO) TT=1800.61	? (TO) TT=1800.18	? (TO) TT=1800.59	? (TO) TT=1800.68	? (TO) TT=1800.72
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-reduced-mps-v2-20-10-n370e.opb	UNSAT TT=8.914	? TT=21.136	? TT=1800.04	UNSAT TT=8.914	? (TO) TT=1800.77	? (TO) TT=1800.71	? (TO) TT=1800.22	? (TO) TT=1800.26	? (TO) TT=1800.26	? (TO) TT=1800.66	? (TO) TT=1800.92	? (TO) TT=1800.75	? (TO) TT=1800.72	? (TO) TT=1800.54
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-reduced-mps-v2-20-10-ran10x10a.opb	OPT f=20 TT=8.916 T1=0.06	? (TO) TT=1800.12	SAT f=20 TT=1800.02 T1=0.47	? (exit code) TT=2.526	OPT f=20 TT=8.916 T1=5.67	? (TO) TT=1800.59	SAT (TO) f=20 TT=1800.83 T1=54.62	SAT (TO) f=20 TT=1800.88 T1=74.53	SAT f=20 TT=1782.74 T1=0.06	SAT f=20 TT=1782.74 T1=0.06	SAT (TO) f=20 TT=1800.57 T1=32.77	SAT (TO) f=20 TT=1800.83 T1=2.5	SAT (TO) f=20 TT=1800.67 T1=1306.37	SAT (TO) f=20 TT=1800.57 T1=300.17
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-reduced-mps-v2-20-10-ran10x10b.opb	UNSAT TT=0.058	? (TO) TT=1800.26	UNSAT TT=0.137	UNSAT TT=0.058	UNSAT TT=13.289	? (TO) TT=1800.6	? (TO) TT=1800.72	? (TO) TT=1800.63	? (TO) TT=1800.65	? (TO) TT=1800.6	UNSAT TT=2.235	UNSAT TT=3.072	? (TO) TT=1800.66	? (TO) TT=1800.64
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-reduced-mps-v2-20-10-ran10x10c.opb	UNSAT TT=0.06	? (TO) TT=1800.52	UNSAT TT=0.141	UNSAT TT=0.06	UNSAT TT=7.072	? (TO) TT=1800.75	? (TO) TT=1800.87	? (TO) TT=1800.81	? (TO) TT=1800.52	? (TO) TT=1800.69	UNSAT TT=2.241	UNSAT TT=2.924	? (TO) TT=1800.56	? (TO) TT=1800.56
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-reduced-mps-v2-20-10-ran10x12.opb	UNSAT TT=0.175	? (TO) TT=1801.01	UNSAT TT=0.175	UNSAT TT=0.217	UNSAT TT=42.434	? (TO) TT=1800.67	? (TO) TT=1800.75	? (TO) TT=1800.83	? (TO) TT=1800.49	? (TO) TT=1800.56	UNSAT TT=2.571	UNSAT TT=4.077	? (TO) TT=1800.68	? (TO) TT=1800.7
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-reduced-mps-v2-20-10-ran10x26.opb	UNSAT TT=12.36	? (TO) TT=1800.65	? TT=1800.01	? (exit code) TT=0.692	? (TO) TT=1800.57	? (TO) TT=1800.68	? (TO) TT=1801.01	? (TO) TT=1800.1	? (TO) TT=1800.69	? (TO) TT=1800.67	UNSAT TT=12.36	UNSAT TT=12.982	? (TO) TT=1800.77	? (TO) TT=1800.52
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-reduced-mps-v2-20-10-ran12x12.opb	UNSAT TT=0.092	? (TO) TT=1800.59	UNSAT TT=0.213	UNSAT TT=0.092	UNSAT TT=246.609	? (TO) TT=1800.54	? (TO) TT=1800.93	? (TO) TT=1800.86	? (TO) TT=1800.63	? (TO) TT=1800.45	UNSAT TT=3.11	UNSAT TT=3.721	? (TO) TT=1800.61	? (TO) TT=1800.58
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-reduced-mps-v2-20-10-ran12x21.opb	UNSAT TT=0.186	? (TO) TT=1800.66	? TT=1800.01	UNSAT TT=0.186	UNSAT TT=540.747	? (TO) TT=1800.65	? (TO) TT=1800.11	? (TO) TT=1800.07	? (TO) TT=1800.54	? (TO) TT=1800.61	UNSAT TT=15.415	UNSAT TT=10.683	? (TO) TT=1800.48	? (TO) TT=1800.59
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-reduced-mps-v2-20-10-ran13x13.opb	UNSAT TT=0.103	? (TO) TT=1800.42	UNSAT TT=0.249	UNSAT TT=0.103	? (TO) TT=1800.65	? (TO) TT=1800.71	? (TO) TT=1801.01	? (TO) TT=1800.84	? (TO) TT=1800.48	? (TO) TT=1800.51	UNSAT TT=3.59	UNSAT TT=4.244	? (TO) TT=1800.65	? (TO) TT=1800.59
Bench name	Best results on this instance	absconPseudo 1	bsolo 2006/05	glpPB 0.2	minisat+ 1.14	PBS 4.1L	PB-smodels 1.28	PB-smodels 1.31	Pueblo 1.3	Pueblo 1.4	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics	wildcat-rnp 0.8.0	wildcat-skc 0.8.0
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-reduced-mps-v2-20-10-ran14x18.opb	UNSAT TT=5.819	? (TO) TT=1800.53	? TT=1800.01	? (exit code) TT=7.227	? (TO) TT=1800.69	? (TO) TT=1800.72	? (TO) TT=1801.04	? (TO) TT=1800.9	? (TO) TT=1800.56	? (TO) TT=1800.71	UNSAT TT=5.819	UNSAT TT=7.371	? (TO) TT=1800.58	? (TO) TT=1800.72
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-reduced-mps-v2-20-10-ran16x16.opb	SAT f=36 TT=1782.74 T1=13.06	? (TO) TT=1800.95	SAT f=36 TT=1800.09 T1=13.06	? (TO) TT=1800.59	SAT (TO) f=45 TT=1800.62 T1=1431.07	? (TO) TT=1800.68	? (TO) TT=1801.04	? (TO) TT=1800.14	SAT f=36 TT=1782.74 T1=160.57	SAT f=36 TT=1782.75 T1=154.2	SAT (TO) f=41 TT=1801.19 T1=3.11	SAT (TO) f=36 TT=1800.93 T1=135.03	SAT (TO) f=38 TT=1800.56 T1=12.6	SAT (TO) f=38 TT=1800.63 T1=16.59
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-reduced-mps-v2-20-10-ran17x17.opb	SAT f=35 TT=1800.56 T1=1575.3	? (TO) TT=1800.43	SAT f=36 TT=1800.12 T1=0.26	? (TO) TT=1800.61	SAT (TO) f=39 TT=1800.6 T1=949.53	? (TO) TT=1800.52	? (TO) TT=1800.96	? (TO) TT=1800.12	SAT f=36 TT=1782.74 T1=0.17	SAT f=36 TT=1782.74 T1=0.17	SAT (TO) f=38 TT=1801.37 T1=698.11	SAT (TO) f=35 TT=1800.56 T1=1575.3	SAT (TO) f=52 TT=1800.69 T1=91.64	SAT (TO) f=37 TT=1800.71 T1=1460.97
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-reduced-mps-v2-20-10-ran4x64.opb	UNSAT TT=0.184	? (TO) TT=1800.87	? TT=1800.01	UNSAT TT=0.184	UNSAT TT=3.969	? (TO) TT=1800.55	? (TO) TT=1800.92	? (TO) TT=1800.97	? (TO) TT=1800.56	? (TO) TT=1800.69	UNSAT TT=121.367	UNSAT TT=14.161	? (TO) TT=1800.78	? (TO) TT=1800.69
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-reduced-mps-v2-20-10-ran6x43.opb	UNSAT TT=5.646	? (TO) TT=1800.42	? TT=1800.01	? (exit code) TT=1.241	UNSAT TT=16.884	? (TO) TT=1800.55	? (TO) TT=1800.99	? (TO) TT=1800.97	? (TO) TT=1800.5	? (TO) TT=1800.48	UNSAT TT=5.646	UNSAT TT=11.15	? (TO) TT=1800.6	? (TO) TT=1800.7
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/fctp/ normalized-reduced-mps-v2-20-10-ran8x32.opb	UNSAT TT=0.186	? (TO) TT=1800.14	? TT=1800.01	UNSAT TT=0.186	UNSAT TT=140.395	? (TO) TT=1800.67	? (TO) TT=1801.02	? (TO) TT=1800.99	? (TO) TT=1800.6	? (TO) TT=1800.59	UNSAT TT=8.507	UNSAT TT=17.747	? (TO) TT=1800.6	? (TO) TT=1800.63
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/lptestset/fome/ normalized-reduced-mps-v2-20-10-fome11.opb		? TT=29.603	Signal TT=1042.68	? (TO) TT=1800.66	Signal TT=1164.21	? (TO) TT=1800.75	? (TO) TT=1800.7	? (TO) TT=1800.65	? (TO) TT=1800.75	? (TO) TT=1800.7	? (TO) TT=1800.56	? (TO) TT=1800.5	? (TO) TT=1800.81	? (TO) TT=1800.84
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-reduced-mps-v2-20-10-bc1.opb	UNSAT TT=131.415	? (TO) TT=1800.26	UNSAT TT=954.052	UNSAT TT=1753.12	? (TO) TT=1800.78	? (TO) TT=1800.76	? (TO) TT=1800.96	? (TO) TT=1800.71	? (TO) TT=1800.61	? (TO) TT=1800.62	UNSAT TT=131.415	? (TO) TT=1800.81	? (TO) TT=1801.5	? (TO) TT=1801.61
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-reduced-mps-v2-20-10-bienst1.opb		? (TO) TT=1800.21	? TT=1800.11	? (exit code) TT=38.149	? (TO) TT=1800.68	? (TO) TT=1800.71	? (TO) TT=1800.28	? (TO) TT=1800.31	? (TO) TT=1800.63	? (TO) TT=1800.71	? (TO) TT=1800.33	? (TO) TT=1800.6	? (TO) TT=1800.71	? (TO) TT=1800.54
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-reduced-mps-v2-20-10-bienst2.opb		? (TO) TT=1800.07	? TT=1800.02	? (exit code) TT=18.653	? (TO) TT=1800.69	? (TO) TT=1800.75	? (TO) TT=1800.4	? (TO) TT=1800.32	? (TO) TT=1800.52	? (TO) TT=1800.49	? (TO) TT=1800.87	? (TO) TT=1800.23	? (TO) TT=1800.51	? (TO) TT=1800.67
Bench name	Best results on this instance	absconPseudo 1	bsolo 2006/05	glpPB 0.2	minisat+ 1.14	PBS 4.1L	PB-smodels 1.28	PB-smodels 1.31	Pueblo 1.3	Pueblo 1.4	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics	wildcat-rnp 0.8.0	wildcat-skc 0.8.0
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-reduced-mps-v2-20-10-dano3_3.opb		? TT=24.27	? TT=1800.11	? (TO) TT=1800.6	? (TO) TT=1800.89	? (TO) TT=1800.65	? (TO) TT=1800.68	? (TO) TT=1800.13	? (TO) TT=1800.69	? (TO) TT=1800.74	? (TO) TT=1800.44	? (TO) TT=1800.64	? (TO) TT=1800.74	? (TO) TT=1800.56
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-reduced-mps-v2-20-10-dano3_4.opb		? TT=22.896	? TT=1800.1	? (TO) TT=1800.65	? (TO) TT=1800.62	? (TO) TT=1800.73	? (TO) TT=1800.41	? (TO) TT=1800.13	? (TO) TT=1800.61	? (TO) TT=1800.69	? (TO) TT=1800.82	? (TO) TT=1800.66	? (TO) TT=1800.59	? (TO) TT=1800.71
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-reduced-mps-v2-20-10-dano3_5.opb		? TT=24.93	? TT=1800.16	? (TO) TT=1800.68	? (TO) TT=1800.62	? (TO) TT=1800.62	? (TO) TT=1800.24	? (TO) TT=1800.77	? (TO) TT=1800.65	? (TO) TT=1800.51	? (TO) TT=1800.89	? (TO) TT=1801.1	? (TO) TT=1800.63	? (TO) TT=1800.76
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-reduced-mps-v2-20-10-markshare1_1.opb	SAT f=7 TT=1800.07 T1=1092.76	? (TO) TT=1800.32	SAT f=7 TT=1800.07 T1=1092.76	? (exit code) TT=0.537	SAT (TO) f=53 TT=1800.68 T1=440.95	? (TO) TT=1800.69	SAT (TO) f=11 TT=1800.67 T1=526.05	SAT (TO) f=56 TT=1800.8 T1=613.42	SAT f=128 TT=1782.73 T1=1.33	SAT f=121 TT=1782.73 T1=178.25	SAT (TO) f=39 TT=1801.08 T1=9.79	SAT (TO) f=19 TT=1801.04 T1=217.21	SAT (TO) f=11 TT=1800.66 T1=1506.83	? (TO) TT=1800.56
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-reduced-mps-v2-20-10-markshare2_1.opb	SAT f=9 TT=1800.82 T1=1150.28	? (TO) TT=1800.39	SAT f=12 TT=1800.07 T1=343.26	? (exit code) TT=0.14	SAT (TO) f=179 TT=1800.67 T1=1.15	? (TO) TT=1800.68	SAT (TO) f=61 TT=1800.76 T1=947.92	SAT (TO) f=9 TT=1800.82 T1=1150.28	SAT f=217 TT=1782.73 T1=0.07	SAT f=217 TT=1782.74 T1=0.07	SAT (TO) f=29 TT=1800.28 T1=406.3	SAT (TO) f=28 TT=1800.21 T1=337.3	SAT (TO) f=21 TT=1800.72 T1=1200.08	? (TO) TT=1800.55
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-reduced-mps-v2-20-10-mkc1.opb	SAT f=-2626 TT=1800.69 T1=358.82	SAT (TO) f=-2626 TT=1800.69 T1=358.82	SAT (TO) f=-1273 TT=1800.83 T1=11.32	? (TO) TT=1800.59	? (TO) TT=1800.76	? (problem) TT=1185.58	SAT (TO) f=-1445 TT=1800.88 T1=1747.53	? (TO) TT=1800.85	Signal TT=674.808	Signal TT=754.598	SAT (TO) f=-24 TT=1802.31 T1=1667.48	SAT (TO) f=-1194 TT=1801.75 T1=18.8	? (TO) TT=1800.54	? (TO) TT=1800.5
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-reduced-mps-v2-20-10-neos11.opb	UNSAT TT=1.595	? (TO) TT=1801.07	UNSAT TT=1425.5	? (exit code) TT=216.274	UNSAT TT=1.595	UNSAT TT=1.609	UNSAT TT=2.502	UNSAT TT=2.488	UNSAT TT=550.153	UNSAT TT=145.707	UNSAT TT=4.905	UNSAT TT=11.274	? (TO) TT=1800.65	? (TO) TT=1800.73
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-reduced-mps-v2-20-10-neos12.opb	UNSAT TT=6.314	? (TO) TT=1800.6	? TT=1800.11	? (exit code) TT=1463.7	UNSAT TT=6.314	UNSAT TT=10.974	UNSAT TT=12.117	UNSAT TT=12.339	? (TO) TT=1800.49	? (TO) TT=1800.63	UNSAT TT=13.058	UNSAT TT=12.867	? (TO) TT=1800.62	? (TO) TT=1800.7
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-reduced-mps-v2-20-10-neos13.opb	SAT f=-22094 TT=1800.49 T1=1471.89	SAT (TO) f=-22094 TT=1800.49 T1=1471.89	SAT f=-3748 TT=1800.38 T1=1103.23	? (TO) TT=1800.4	? (TO) TT=1800.61	? (TO) TT=1800.72	? (TO) TT=1800.34	? (TO) TT=1800.26	SAT f=-2494 TT=1782.79 T1=1783.34	SAT f=-2494 TT=1782.89 T1=1783.44	SAT (TO) f=-10671 TT=1800.59 T1=335.44	SAT (TO) f=-342 TT=1801.17 T1=137.8	? (TO) TT=1802.58	? (TO) TT=1802.78
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-reduced-mps-v2-20-10-neos14.opb		? (TO) TT=1800.1	? TT=1800.04	? (exit code) TT=16.047	? (TO) TT=1800.7	? (TO) TT=1800.51	? (TO) TT=1800.39	? (TO) TT=1800.5	? (TO) TT=1800.48	? (TO) TT=1800.58	? (TO) TT=1800.79	? (TO) TT=1800.2	? (TO) TT=1800.68	? (TO) TT=1800.65
Bench name	Best results on this instance	absconPseudo 1	bsolo 2006/05	glpPB 0.2	minisat+ 1.14	PBS 4.1L	PB-smodels 1.28	PB-smodels 1.31	Pueblo 1.3	Pueblo 1.4	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics	wildcat-rnp 0.8.0	wildcat-skc 0.8.0
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-reduced-mps-v2-20-10-neos15.opb		? (TO) TT=1800.99	? TT=1800.03	? (TO) TT=1800.63	? (TO) TT=1800.75	? (TO) TT=1800.57	? (TO) TT=1800.38	? (TO) TT=1800.41	? (TO) TT=1800.52	? (TO) TT=1800.57	? (TO) TT=1801	? (TO) TT=1800.69	? (TO) TT=1800.45	? (TO) TT=1800.47
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-reduced-mps-v2-20-10-neos17.opb	UNSAT TT=0.799	? (TO) TT=1800.94	UNSAT TT=1.777	? (TO) TT=1800.67	UNSAT TT=6.845	UNSAT TT=0.799	UNSAT TT=2.576	UNSAT TT=2.772	UNSAT TT=5.771	UNSAT TT=5.698	UNSAT TT=2.215	UNSAT TT=2.885	? (TO) TT=1800.54	? (TO) TT=1800.66
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-reduced-mps-v2-20-10-neos20.opb	SAT f=-56 TT=1782.74 T1=1783.24	? (TO) TT=1800.34	? TT=1800.1	? (exit code) TT=1.474	SAT (TO) f=-55 TT=1800.72 T1=1597.2	? (TO) TT=1800.74	? (TO) TT=1800.2	? (TO) TT=1800.21	SAT f=-56 TT=1782.74 T1=1783.24	SAT f=-43 TT=1782.74 T1=1783.19	SAT (TO) f=-51 TT=1800.39 T1=1009.72	SAT (TO) f=-39 TT=1800.91 T1=618.29	? (TO) TT=1800.66	? (TO) TT=1800.67
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-reduced-mps-v2-20-10-neos2.opb	SAT f=4 TT=1782.77 T1=230.42	? (TO) TT=1800.21	SAT (TO) f=4 TT=1800.66 T1=230.81	? (exit code) TT=5.287	SAT (TO) f=4 TT=1800.74 T1=1730.03	? (TO) TT=1800.71	? (TO) TT=1800.66	? (TO) TT=1800.6	SAT f=4 TT=1786.42 T1=230.64	SAT f=4 TT=1782.77 T1=230.42	SAT (TO) f=5 TT=1800.4 T1=5.11	SAT (TO) f=98310 TT=1800.79 T1=105.75	? (TO) TT=1800.56	? (TO) TT=1800.46
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-reduced-mps-v2-20-10-neos3.opb	SAT f=5 TT=1782.83 T1=459.24	? (TO) TT=1800.17	SAT (TO) f=5 TT=1800.82 T1=686.11	? (exit code) TT=8.371	SAT (TO) f=169 TT=1800.77 T1=1592.04	? (TO) TT=1800.58	? (TO) TT=1800.25	? (TO) TT=1800.88	SAT f=5 TT=1782.83 T1=459.24	SAT f=5 TT=1782.89 T1=484.71	SAT (TO) f=6 TT=1800.48 T1=11.09	? (TO) TT=1800.53	? (TO) TT=1800.57	? (TO) TT=1800.7
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-reduced-mps-v2-20-10-neos6.opb		? (TO) TT=1800.3	? TT=1800.05	? (TO) TT=1800.72	? (TO) TT=1800.54	? (TO) TT=1800.69	? (TO) TT=1800.55	? (TO) TT=1800.29	? (TO) TT=1800.68	? (TO) TT=1800.7	? (TO) TT=1800.73	? (TO) TT=1800.58	? (TO) TT=1800.62	? (TO) TT=1800.68
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-reduced-mps-v2-20-10-neos7.opb	SAT f=45 TT=1782.75 T1=944.16	? (TO) TT=1800.48	? TT=1800.05	? (exit code) TT=13.652	? (TO) TT=1800.58	? (TO) TT=1800.63	? (TO) TT=1800.75	? (TO) TT=1801	SAT f=45 TT=1782.75 T1=962.71	SAT f=45 TT=1782.76 T1=944.16	? (TO) TT=1800.79	? (TO) TT=1801.06	? (TO) TT=1800.7	? (TO) TT=1800.62
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-reduced-mps-v2-20-10-neos9.opb		? TT=29.436	? TT=1800.21	? (TO) TT=1800.69	? (TO) TT=1800.85	? (TO) TT=1800.67	? (TO) TT=1800.5	? (TO) TT=1800.75	? (TO) TT=1800.73	? (TO) TT=1800.57	? (TO) TT=1801.14	? (TO) TT=1800.84	Signal TT=552.465	Signal TT=522.894
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-reduced-mps-v2-20-10-nug08.opb	SAT f=18 TT=1782.75 T1=1.55	SAT (TO) f=18 TT=1800.84 T1=15.36	SAT f=18 TT=1800.09 T1=2.28	? (TO) TT=1800.49	SAT (TO) f=18 TT=1800.52 T1=464.83	? (TO) TT=1800.63	SAT (TO) f=18 TT=1800.47 T1=13.06	SAT (TO) f=18 TT=1800.84 T1=14.66	SAT f=18 TT=1782.76 T1=1.66	SAT f=18 TT=1782.75 T1=1.55	SAT (TO) f=18 TT=1802.54 T1=5.63	SAT (TO) f=18 TT=1802.15 T1=6.83	? (TO) TT=1800.5	? (TO) TT=1800.55
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-reduced-mps-v2-20-10-qap10.opb	SAT f=29 TT=1782.77 T1=4.28	SAT (TO) f=29 TT=1800.78 T1=69.64	SAT f=29 TT=1800.12 T1=4.28	? (TO) TT=1800.7	? (TO) TT=1800.61	? (TO) TT=1800.72	SAT (TO) f=29 TT=1800.52 T1=84.97	SAT (TO) f=29 TT=1800.93 T1=93.15	SAT f=29 TT=1782.77 T1=6.91	SAT f=29 TT=1782.77 T1=7.23	SAT (TO) f=29 TT=1804.9 T1=24.53	SAT (TO) f=29 TT=1804.37 T1=26.48	? (TO) TT=1800.64	? (TO) TT=1800.51
Bench name	Best results on this instance	absconPseudo 1	bsolo 2006/05	glpPB 0.2	minisat+ 1.14	PBS 4.1L	PB-smodels 1.28	PB-smodels 1.31	Pueblo 1.3	Pueblo 1.4	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics	wildcat-rnp 0.8.0	wildcat-skc 0.8.0
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-reduced-mps-v2-20-10-seymour1.opb	SAT f=104536 TT=1800.64 T1=119.92	SAT (TO) f=104536 TT=1800.64 T1=119.92	SAT f=115016 TT=1800.16 T1=264.11	? (TO) TT=1800.29	SAT (TO) f=228449 TT=1800.6 T1=266.18	? (TO) TT=1800.63	SAT (TO) f=108635 TT=1800.68 T1=472.1	SAT (TO) f=107878 TT=1800.74 T1=1128.38	SAT f=116561 TT=1782.77 T1=1.5	SAT f=116561 TT=1782.77 T1=1.63	SAT (TO) f=111065 TT=1801.56 T1=4.84	SAT (TO) f=107713 TT=1801.21 T1=5.01	SAT (TO) f=186640 TT=1800.63 T1=3.26	SAT (TO) f=127192 TT=1800.73 T1=8.78
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-reduced-mps-v2-20-10-swath1.opb	OPT f=262226 TT=354.742 T1=354.81	? (TO) TT=1801.01	? TT=1800.04	OPT f=262226 TT=354.742 T1=354.81	? (TO) TT=1800.75	? (TO) TT=1800.73	? (TO) TT=1800.93	? (TO) TT=1800.83	? (TO) TT=1800.7	? (TO) TT=1800.66	? (TO) TT=1800.9	? (TO) TT=1800.3	? (TO) TT=1800.58	? (TO) TT=1800.73
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-reduced-mps-v2-20-10-swath2.opb	OPT f=262226 TT=19.758 T1=19.74	? (TO) TT=1800.5	? TT=1800.03	OPT f=262226 TT=19.758 T1=19.74	? (TO) TT=1800.8	? (TO) TT=1800.53	? (TO) TT=1800.05	? (TO) TT=1800.85	? (TO) TT=1800.72	? (TO) TT=1800.78	? (TO) TT=1800.91	? (TO) TT=1801.04	? (TO) TT=1800.67	? (TO) TT=1800.59
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/milp/ normalized-reduced-mps-v2-20-10-swath3.opb	OPT f=262226 TT=14.117 T1=14.09	? (TO) TT=1801.3	? TT=1800.03	OPT f=262226 TT=14.117 T1=14.09	? (TO) TT=1800.48	? (TO) TT=1800.53	? (TO) TT=1800.84	SAT (TO) f=270305 TT=1800.9 T1=1575.44	? (TO) TT=1800.47	? (TO) TT=1800.71	? (TO) TT=1801.02	? (TO) TT=1800.78	? (TO) TT=1800.7	? (TO) TT=1800.72
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-reduced-mps-v2-20-10-A1C1S1.opb		? TT=17.413	? TT=1800.15	? (TO) TT=1800.64	? (TO) TT=1800.69	? (TO) TT=1800.79	? (TO) TT=1800.01	? (TO) TT=1800.89	? (TO) TT=1800.5	? (TO) TT=1800.51	? (TO) TT=1801.04	? (TO) TT=1800.57	? (TO) TT=1800.64	? (TO) TT=1800.7
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-reduced-mps-v2-20-10-A2C1S1.opb		? TT=17.122	? TT=1800.09	? (exit code) TT=1027.88	? (TO) TT=1800.68	? (TO) TT=1800.58	? (TO) TT=1800.98	? (TO) TT=1800.11	? (TO) TT=1800.69	? (TO) TT=1800.57	? (TO) TT=1801.04	? (TO) TT=1800.35	? (TO) TT=1800.58	? (TO) TT=1800.71
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-reduced-mps-v2-20-10-B1C1S1.opb		? TT=16.886	? TT=1800.09	? (TO) TT=1800.43	? (TO) TT=1800.75	? (TO) TT=1800.58	? (TO) TT=1800.3	? (TO) TT=1800.38	? (TO) TT=1800.72	? (TO) TT=1800.71	? (TO) TT=1800.58	? (TO) TT=1800.79	? (TO) TT=1800.72	? (TO) TT=1800.68
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-reduced-mps-v2-20-10-B2C1S1.opb		? TT=17.214	? TT=1800.08	? (TO) TT=1800.7	? (TO) TT=1800.72	? (TO) TT=1800.55	? (TO) TT=1800.21	? (TO) TT=1800.31	? (TO) TT=1800.51	? (TO) TT=1800.66	? (TO) TT=1800.55	? (TO) TT=1800.23	? (TO) TT=1800.63	? (TO) TT=1800.5
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-reduced-mps-v2-20-10-berlin_5_8_0.opb		? (TO) TT=1800.44	? TT=1800.2	? (exit code) TT=8.416	? (TO) TT=1800.72	? (TO) TT=1800.66	? (TO) TT=1800.44	? (TO) TT=1800.5	? (TO) TT=1800.53	? (TO) TT=1800.5	? (TO) TT=1801.11	? (TO) TT=1800.41	? (TO) TT=1800.52	? (TO) TT=1800.59
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-reduced-mps-v2-20-10-bg512142.opb		? (TO) TT=1800.97	? TT=1800.08	? (exit code) TT=170.376	? (TO) TT=1800.69	? (TO) TT=1800.5	? (TO) TT=1800.34	? (TO) TT=1800.63	? (TO) TT=1800.73	? (TO) TT=1800.62	? (TO) TT=1801.15	? (TO) TT=1801.01	? (TO) TT=1800.51	? (TO) TT=1800.49
Bench name	Best results on this instance	absconPseudo 1	bsolo 2006/05	glpPB 0.2	minisat+ 1.14	PBS 4.1L	PB-smodels 1.28	PB-smodels 1.31	Pueblo 1.3	Pueblo 1.4	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics	wildcat-rnp 0.8.0	wildcat-skc 0.8.0
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-reduced-mps-v2-20-10-biella1.opb	UNSAT TT=2.488	? (TO) TT=1800.69	? TT=1800.02	UNSAT TT=2.488	? (TO) TT=1800.77	? (TO) TT=1800.58	? (TO) TT=1800.14	? (TO) TT=1800.17	? (TO) TT=1800.86	? (TO) TT=1800.69	UNSAT TT=950.33	? (TO) TT=1801.03	? (TO) TT=1800.91	? (TO) TT=1800.69
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-reduced-mps-v2-20-10-blp-ar98.opb		? (TO) TT=1801.06	? TT=1800.06	? (exit code) TT=10.783	? (TO) TT=1800.8	? (TO) TT=1800.53	? (TO) TT=1800.46	? (TO) TT=1800.43	? (TO) TT=1800.63	? (TO) TT=1800.67	? (TO) TT=1800.74	? (TO) TT=1801.05	? (TO) TT=1800.7	? (TO) TT=1800.61
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-reduced-mps-v2-20-10-blp-ic97.opb	SAT f=264081 TT=1800.58 T1=162.72	? (TO) TT=1800.54	? TT=1800.07	? (exit code) TT=130.48	? (TO) TT=1800.68	? (TO) TT=1800.5	? (TO) TT=1800.85	SAT (TO) f=264081 TT=1800.58 T1=162.72	? (TO) TT=1800.64	? (TO) TT=1800.68	? (TO) TT=1801.01	? (TO) TT=1800.88	? (TO) TT=1800.62	? (TO) TT=1800.63
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-reduced-mps-v2-20-10-blp-ic98.opb		? (TO) TT=1800.07	? TT=1800.03	? (exit code) TT=23.988	? (TO) TT=1800.55	? (TO) TT=1801.02	? (TO) TT=1800.08	? (TO) TT=1800.99	? (TO) TT=1800.8	? (TO) TT=1800.56	? (TO) TT=1800.38	? (TO) TT=1800.13	? (TO) TT=1800.62	? (TO) TT=1800.63
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-reduced-mps-v2-20-10-blp-ir98.opb		? (TO) TT=1800.39	? TT=1800.04	? (exit code) TT=5.969	? (TO) TT=1800.68	? (TO) TT=1800.64	? (TO) TT=1800.46	? (TO) TT=1800.42	? (TO) TT=1800.66	? (TO) TT=1800.55	? (TO) TT=1800.15	? (TO) TT=1800.21	? (TO) TT=1800.67	? (TO) TT=1800.73
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-reduced-mps-v2-20-10-CMS750_4.opb		? TT=15.668	Signal TT=1596.33	? (exit code) TT=871.196	Signal TT=845.323	? (TO) TT=1800.71	? (TO) TT=1800.38	? (TO) TT=1800.79	? (TO) TT=1800.81	? (TO) TT=1800.53	? (TO) TT=1800.18	? (TO) TT=1801.09	? (TO) TT=1800.72	? (TO) TT=1800.6
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-reduced-mps-v2-20-10-core2536-691.opb	SAT f=430 TT=1800.67 T1=1797.45	SAT (TO) f=599 TT=1800.43 T1=2.75	Signal TT=197.435	? (TO) TT=1800.66	SAT (TO) f=4052 TT=1800.53 T1=311.14	? (TO) TT=1800.72	SAT (TO) f=560 TT=1800.68 T1=183.97	SAT (TO) f=564 TT=1800.67 T1=1021.71	SAT f=569 TT=1782.76 T1=9.16	SAT f=569 TT=1782.76 T1=9.27	? (TO) TT=1802.52	No Cert. TT=1602.9	SAT (TO) f=446 TT=1800.7 T1=53.76	SAT (TO) f=430 TT=1800.67 T1=1797.45
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-reduced-mps-v2-20-10-core2586-950.opb	SAT f=572 TT=1800.63 T1=1590.87	SAT (TO) f=783 TT=1800.16 T1=2.6	SAT (TO) f=694 TT=1800.89 T1=1298.77	? (TO) TT=1800.63	SAT (TO) f=2578 TT=1800.68 T1=203.24	? (TO) TT=1800.74	SAT (TO) f=770 TT=1800.02 T1=108.08	SAT (TO) f=766 TT=1800.07 T1=996.54	SAT f=762 TT=1782.76 T1=173.54	SAT f=762 TT=1782.76 T1=175.54	SAT (TO) f=784 TT=1801.05 T1=12.83	? (TO) TT=1802.95	SAT (TO) f=574 TT=1800.7 T1=210	SAT (TO) f=572 TT=1800.63 T1=1590.87
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-reduced-mps-v2-20-10-core4284-1064.opb	SAT f=907 TT=1269.29 T1=14.54	SAT (TO) f=944 TT=1801.11 T1=3.96	Signal TT=591.292	? (TO) TT=1800.59	SAT (TO) f=3718 TT=1800.73 T1=522.1	? (TO) TT=1800.75	SAT (TO) f=937 TT=1800.85 T1=411.06	SAT (TO) f=934 TT=1800.96 T1=1540.25	SAT f=925 TT=1782.76 T1=5.31	SAT f=925 TT=1782.76 T1=5.3	SAT f=935 TT=1527.05 T1=15.57	SAT f=907 TT=1269.29 T1=14.54	SAT (TO) f=959 TT=1800.67 T1=19.96	SAT (TO) f=944 TT=1800.74 T1=17.21
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-reduced-mps-v2-20-10-core4872-1529.opb	SAT f=1071 TT=1800.76 T1=1789.52	SAT (TO) f=1322 TT=1801.12 T1=4.32	Signal TT=492.85	? (TO) TT=1800.53	SAT (TO) f=3062 TT=1800.69 T1=766.56	? (TO) TT=1800.58	SAT (TO) f=1309 TT=1800.76 T1=497.69	SAT (TO) f=1324 TT=1800.93 T1=471.57	SAT f=1301 TT=1782.77 T1=3.12	SAT f=1301 TT=1782.78 T1=3.09	SAT f=1328 TT=1168.68 T1=8.77	SAT f=1320 TT=1561.97 T1=20.47	SAT (TO) f=1084 TT=1800.76 T1=69.71	SAT (TO) f=1071 TT=1800.76 T1=1789.52
Bench name	Best results on this instance	absconPseudo 1	bsolo 2006/05	glpPB 0.2	minisat+ 1.14	PBS 4.1L	PB-smodels 1.28	PB-smodels 1.31	Pueblo 1.3	Pueblo 1.4	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics	wildcat-rnp 0.8.0	wildcat-skc 0.8.0
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-reduced-mps-v2-20-10-dc1c.opb	UNSAT TT=19.109	? (TO) TT=1800.43	? TT=1800.1	UNSAT TT=19.109	? (TO) TT=1800.75	? (TO) TT=1800.67	? (TO) TT=1800.95	? (TO) TT=1800.11	? (TO) TT=1800.64	? (TO) TT=1800.71	? (TO) TT=1800.82	? (TO) TT=1800.87	? (TO) TT=1800.64	? (TO) TT=1800.67
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-reduced-mps-v2-20-10-dc1l.opb	SAT f=997 TT=1782.78 T1=602.9	? (TO) TT=1800.52	Signal TT=1703.96	? (TO) TT=1800.63	? (TO) TT=1800.84	? (TO) TT=1800.68	? (TO) TT=1800.46	? (TO) TT=1800.74	SAT f=997 TT=1782.78 T1=657.76	SAT f=997 TT=1782.79 T1=602.9	SAT (TO) f=1421 TT=1804.47 T1=1729.77	SAT (TO) f=46076 TT=1804.44 T1=844.3	? (TO) TT=1800.56	? (TO) TT=1800.69
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-reduced-mps-v2-20-10-dg012142.opb		? (TO) TT=1800.91	? TT=1800.2	? (exit code) TT=157.93	? (TO) TT=1800.52	? (TO) TT=1800.71	? (TO) TT=1800.3	? (TO) TT=1800.52	? (TO) TT=1800.53	? (TO) TT=1800.65	? (TO) TT=1800.62	? (TO) TT=1800.15	? (TO) TT=1800.63	? (TO) TT=1800.55
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-reduced-mps-v2-20-10-dolom1.opb	UNSAT TT=1.715	? (TO) TT=1800.52	? TT=1800.63	UNSAT TT=1.715	UNSAT TT=1127.97	? (TO) TT=1800.73	? (TO) TT=1800.39	? (TO) TT=1800.63	? (TO) TT=1800.54	? (TO) TT=1800.56	UNSAT TT=44.792	UNSAT TT=126.014	? (TO) TT=1800.72	? (TO) TT=1800.67
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-reduced-mps-v2-20-10-glass4.opb	SAT f=1291 TT=1801.03 T1=1296.19	? (TO) TT=1800.97	SAT f=380337 TT=1800.03 T1=25.44	? (exit code) TT=8.784	? (TO) TT=1800.7	? (TO) TT=1800.45	? (TO) TT=1800.95	? (TO) TT=1800.86	SAT f=1564 TT=1782.74 T1=624.48	SAT f=1564 TT=1782.73 T1=629.72	SAT (TO) f=1291 TT=1801.03 T1=1296.19	SAT (TO) f=1757 TT=1800.45 T1=1506	SAT (TO) f=294809 TT=1800.72 T1=13.2	SAT (TO) f=524308 TT=1800.61 T1=1773.31
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-reduced-mps-v2-20-10-NSR8K.opb	UNSAT TT=5.212	? TT=16.407	? TT=1800.17	UNSAT TT=5.212	? (TO) TT=1800.5	? (TO) TT=1800.76	? (TO) TT=1800.75	? (TO) TT=1800.15	UNSAT TT=108.661	UNSAT TT=109.48	? (TO) TT=1800.71	UNSAT TT=282.941	? (TO) TT=1802.14	? (TO) TT=1800.51
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-reduced-mps-v2-20-10-nsrand_ipx.opb	SAT f=310937 TT=1800.04 T1=25.93	? (TO) TT=1800.12	SAT f=310937 TT=1800.04 T1=25.93	? (TO) TT=1800.57	? (TO) TT=1800.58	? (TO) TT=1800.73	SAT (TO) f=390033 TT=1800.37 T1=1789.7	? (TO) TT=1800.4	SAT f=393218 TT=1782.74 T1=0.93	SAT f=393218 TT=1782.75 T1=0.94	SAT (TO) f=522236 TT=1800.37 T1=1379.03	SAT (TO) f=524189 TT=1800.35 T1=650.81	SAT (TO) f=327700 TT=1800.94 T1=8.62	SAT (TO) f=521114 TT=1800.82 T1=2.85
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-reduced-mps-v2-20-10-rail507.opb	SAT f=162 TT=1782.83 T1=377.07	SAT (TO) f=179 TT=1800.99 T1=9.19	? (TO) TT=1800.75	? (TO) TT=1800.74	? (TO) TT=1800.7	? (TO) TT=1800.57	? (TO) TT=1800.2	? (TO) TT=1800.2	SAT f=162 TT=1782.9 T1=377.94	SAT f=162 TT=1782.83 T1=377.07	SAT f=185 TT=1083.76 T1=87.36	? (TO) TT=1802.29	SAT (TO) f=1453 TT=1800.69 T1=1701.16	SAT (TO) f=1403 TT=1800.64 T1=1798.48
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-reduced-mps-v2-20-10-railway_8_1_0.opb		? (TO) TT=1800.48	Signal TT=426.827	? (exit code) TT=10.464	? (TO) TT=1800.65	? (TO) TT=1800.67	? (TO) TT=1800.13	? (TO) TT=1801.03	? (TO) TT=1800.64	? (TO) TT=1800.71	? (TO) TT=1800.2	? (TO) TT=1800.59	? (TO) TT=1800.63	? (TO) TT=1800.62
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-reduced-mps-v2-20-10-roll3000.opb		? (TO) TT=1800.07	? TT=1800.06	? (exit code) TT=454.729	? (TO) TT=1800.65	? (TO) TT=1800.73	? (TO) TT=1800.49	? (TO) TT=1800.58	? (TO) TT=1800.72	? (TO) TT=1800.79	? (TO) TT=1800.73	? (TO) TT=1800.67	? (TO) TT=1800.78	? (TO) TT=1800.67
Bench name	Best results on this instance	absconPseudo 1	bsolo 2006/05	glpPB 0.2	minisat+ 1.14	PBS 4.1L	PB-smodels 1.28	PB-smodels 1.31	Pueblo 1.3	Pueblo 1.4	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics	wildcat-rnp 0.8.0	wildcat-skc 0.8.0
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-reduced-mps-v2-20-10-siena1.opb	UNSAT TT=2.232	? (TO) TT=1800.89	? TT=1800.3	UNSAT TT=2.232	UNSAT TT=1367.82	? (TO) TT=1800.69	? (TO) TT=1800.87	? (TO) TT=1800.35	? (TO) TT=1800.71	? (TO) TT=1800.58	UNSAT TT=36.949	UNSAT TT=23.7	? (TO) TT=1800.95	? (TO) TT=1800.61
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-reduced-mps-v2-20-10-sp97ar.opb	SAT f=1686 TT=1800.73 T1=1211.23	? (TO) TT=1801.06	SAT f=11732 TT=1800.15 T1=1795.41	? (TO) TT=1800.66	SAT (TO) f=21907 TT=1800.51 T1=353.59	? (TO) TT=1800.66	? (TO) TT=1800.87	? (TO) TT=1800.9	SAT f=2155 TT=1782.77 T1=967.6	SAT f=2191 TT=1782.78 T1=481.31	SAT (TO) f=2220 TT=1801.74 T1=7.27	SAT (TO) f=1998 TT=1801.28 T1=5.09	SAT (TO) f=1686 TT=1800.73 T1=1211.23	SAT (TO) f=3319 TT=1800.77 T1=40.97
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-reduced-mps-v2-20-10-sp97ic.opb	SAT f=657 TT=1801.2 T1=8.82	? (TO) TT=1801.06	SAT f=2591 TT=1800.02 T1=1784.08	? (TO) TT=1800.69	? (TO) TT=1800.63	? (TO) TT=1800.46	? (TO) TT=1800.56	? (TO) TT=1800.71	SAT f=838 TT=1782.78 T1=703.2	SAT f=833 TT=1782.88 T1=1450.66	SAT (TO) f=820 TT=1801.35 T1=5.82	SAT (TO) f=657 TT=1801.2 T1=8.82	SAT (TO) f=669 TT=1800.7 T1=1687.76	SAT (TO) f=1148 TT=1800.72 T1=84.23
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-reduced-mps-v2-20-10-sp98ar.opb	SAT f=1566 TT=1801.76 T1=134.09	? (TO) TT=1800.14	SAT f=3514 TT=1800.03 T1=1774.25	? (TO) TT=1800.49	? (TO) TT=1800.77	? (TO) TT=1800.62	? (TO) TT=1800.56	? (TO) TT=1800.53	SAT f=1869 TT=1782.76 T1=96.64	SAT f=1752 TT=1782.77 T1=840.6	SAT (TO) f=1566 TT=1801.76 T1=134.09	SAT (TO) f=2062 TT=1801.45 T1=13.18	SAT (TO) f=1667 TT=1800.7 T1=1204.22	SAT (TO) f=2190 TT=1800.64 T1=75.72
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-reduced-mps-v2-20-10-sp98ic.opb	SAT f=832 TT=1782.77 T1=1782.82	? (TO) TT=1800.86	SAT f=1765 TT=1800.03 T1=1800.39	? (TO) TT=1800.66	SAT (TO) f=20311 TT=1800.59 T1=625.98	? (TO) TT=1800.54	? (TO) TT=1800.71	? (TO) TT=1800.64	SAT f=832 TT=1782.77 T1=1782.82	SAT f=949 TT=1782.76 T1=1051.82	SAT (TO) f=1027 TT=1800.94 T1=169.31	SAT (TO) f=873 TT=1801.23 T1=132.71	SAT (TO) f=889 TT=1800.92 T1=1136.94	SAT (TO) f=969 TT=1800.73 T1=79.23
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-reduced-mps-v2-20-10-tr12-30.opb		? (TO) TT=1800.21	? TT=1800.15	? (TO) TT=1800.61	? (TO) TT=1800.56	? (TO) TT=1800.56	? (TO) TT=1800.46	? (TO) TT=1800.42	? (TO) TT=1800.69	? (TO) TT=1800.51	? (TO) TT=1800.31	? (TO) TT=1800.46	? (TO) TT=1800.58	? (TO) TT=1800.73
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-reduced-mps-v2-20-10-trento1.opb	UNSAT TT=1.599	? (TO) TT=1800.24	? TT=1800.3	UNSAT TT=1.599	? (TO) TT=1800.74	? (TO) TT=1800.55	? (TO) TT=1800.29	? (TO) TT=1800.16	? (TO) TT=1800.68	? (TO) TT=1800.66	? (TO) TT=1800.14	? (TO) TT=1800.16	? (TO) TT=1800.7	? (TO) TT=1800.7
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-reduced-mps-v2-20-10-UMTS.opb		? (TO) TT=1800.64	? TT=1800.05	? (TO) TT=1800.62	? (TO) TT=1800.7	? (TO) TT=1800.47	? (TO) TT=1800.16	? (TO) TT=1801.05	? (TO) TT=1800.51	? (TO) TT=1800.49	? (TO) TT=1800.29	? (TO) TT=1800.73	? (TO) TT=1800.61	? (TO) TT=1800.59
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-reduced-mps-v2-20-10-usAbbrv.8.25_70.opb		? (TO) TT=1800.44	? TT=1800.23	? (exit code) TT=14.508	? (TO) TT=1800.64	? (TO) TT=1800.71	? (TO) TT=1800.6	? (TO) TT=1800.45	? (TO) TT=1800.64	? (TO) TT=1800.7	? (TO) TT=1800.17	? (TO) TT=1800.29	? (TO) TT=1800.59	? (TO) TT=1800.56
normalized-PB06/OPT-SMALLINT/reduced/ mps-v2-20-10/plato.asu.edu/pub/unibo/ normalized-reduced-mps-v2-20-10-van.opb	SAT f=41696 TT=1782.87 T1=1423.67	? TT=13.961	SAT (TO) f=47843 TT=1800.91 T1=40.73	? (TO) TT=1800.78	? (TO) TT=1800.7	? (TO) TT=1800.54	? (TO) TT=1800.97	? (TO) TT=1800.14	SAT f=41696 TT=1782.87 T1=1423.67	SAT f=41696 TT=1783.23 T1=1432.91	SAT (TO) f=54107 TT=1801.01 T1=579.9	SAT (TO) f=43866 TT=1801.37 T1=882.73	? (TO) TT=1800.86	SAT (TO) f=458140 TT=1801.03 T1=659.42
Bench name	Best results on this instance	absconPseudo 1	bsolo 2006/05	glpPB 0.2	minisat+ 1.14	PBS 4.1L	PB-smodels 1.28	PB-smodels 1.31	Pueblo 1.3	Pueblo 1.4	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics	wildcat-rnp 0.8.0	wildcat-skc 0.8.0
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ www.csit.fsu.edu/~burkardt/datasets/mps/ normalized-reduced-mps-v2-20-10-maros.opb	OPT f=12 TT=0.014 T1=0.01	SAT (TO) f=14 TT=1800.28 T1=0.75	OPT f=12 TT=0.146 T1=0.14	OPT f=12 TT=0.014 T1=0.01	OPT f=12 TT=33.236 T1=0.65	? (TO) TT=1800.71	SAT (TO) f=13 TT=1800.65 T1=0.03	SAT (TO) f=12 TT=1800.75 T1=3.51	SAT f=14 TT=1782.74 T1=104.3	SAT f=14 TT=1782.74 T1=106.66	OPT f=12 TT=0.41 T1=0.3	OPT f=12 TT=0.436 T1=0.31	SAT (TO) f=12 TT=1800.63 T1=103.71	SAT (TO) f=12 TT=1800.42 T1=432
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ www.csit.fsu.edu/~burkardt/datasets/mps/ normalized-reduced-mps-v2-20-10-nazareth.opb	OPT f=-174776 TT=0.003 T1=0	OPT f=-174776 TT=1.005 T1=0.71	OPT f=-174776 TT=0.012 T1=0.05	OPT f=-174776 TT=0.003 T1=0	OPT f=-174776 TT=2.699 T1=2.69	OPT f=-174776 TT=0.003 T1=0	OPT f=-174776 TT=0.043 T1=0.03	OPT f=-174776 TT=0.039 T1=0.03	OPT f=-174776 TT=0.006 T1=0.01	OPT f=-174776 TT=0.007 T1=0	SAT (TO) f=-11696 TT=1800.83 T1=1788.13	OPT f=-174776 TT=0.311 T1=0.26	OPT f=-174776 TT=0.033 T1=0.03	OPT f=-174776 TT=0.007 T1=0
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ www.csit.fsu.edu/~burkardt/datasets/mps/ normalized-reduced-mps-v2-20-10-testprob.opb	OPT f=262130 TT=0.149 T1=0.01	OPT f=262130 TT=1.669 T1=0.72	OPT f=262130 TT=0.216 T1=0.09	? (exit code) TT=0.007	OPT f=262130 TT=0.236 T1=0.14	OPT f=262130 TT=2.256 T1=0.19	OPT f=262130 TT=0.291 T1=0.08	OPT f=262130 TT=0.843 T1=0.09	OPT f=262130 TT=0.149 T1=0.01	OPT f=262130 TT=0.16 T1=0.01	OPT f=262130 TT=0.291 T1=0.23	OPT f=262130 TT=0.304 T1=0.24	SAT (TO) f=262130 TT=1800.49 T1=121.36	SAT (TO) f=262130 TT=1800.48 T1=38.44

Some statistics...

	absconPseudo 1	bsolo 2006/05	glpPB 0.2	minisat+ 1.14	PBS 4.1L	PB-smodels 1.28	PB-smodels 1.31	Pueblo 1.3	Pueblo 1.4	SAT4JPSEUDO 2006.2	SAT4JPSEUDO 2006.2 Heuristics	wildcat-rnp 0.8.0	wildcat-skc 0.8.0
Number of times the solver is able to give the best known answer	17	54	58	46	27	31	34	72	63	72	70	7	6
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)	18	58	58	48	27	32	37	76	66	75	73	16	15
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)	4	14	47	6	4	3	7	38	20	18	18	5	3
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)	4	13	17	0	1	3	7	33	16	12	12	5	4