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

Results by benchmark for category optimisation, small integers, linear constraints (OPT-SMALLINT-LIN), subcategory Handmade, subsubcategory Minimum-Size Prime Implicant

This page displays the results of the different solvers for each benchmark for category optimisation, small integers, linear constraints (OPT-SMALLINT-LIN), subcategory Handmade, subsubcategory Minimum-Size Prime Implicant

REMINDER

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

Description of a cell contents:

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

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

Meaning of some abbreviations:

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

Meaning of the different colors:

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

For better readability, you may choose to hide some solvers:
borg pb-opt-11.04.03 (complete)
bsolo 3.2 (complete)
clasp 2.0-R4191 (complete)
MinisatID 2.4.8 [DEPRECATED] (complete)
MinisatID 2.4.8-gmp [DEPRECATED] (complete)
MinisatID 2.5.2 (fixed) (complete)
MinisatID 2.5.2-gmp (fixed) (complete)
pwbo 1.1 (complete)
Sat4j CuttingPlanes 2.3.0 (complete)
Sat4j Res//CP 2.3.0 (complete)
Sat4j Resolution 2.3.0 (complete)
SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete)
SCIP spx 2 2011-06-10 (fixed) (complete)
SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete)
SCIP spx E_2 2011-06-10 (fixed) (complete)
wbo 1.6 (complete)

Bench name	Best results on this instance	borg pb-opt-11.04.03 (complete)	bsolo 3.2 (complete)	clasp 2.0-R4191 (complete)	MinisatID 2.4.8 [DEPRECATED] (complete)	MinisatID 2.4.8-gmp [DEPRECATED] (complete)	MinisatID 2.5.2 (fixed) (complete)	MinisatID 2.5.2-gmp (fixed) (complete)	pwbo 1.1 (complete)	Sat4j CuttingPlanes 2.3.0 (complete)	Sat4j Res//CP 2.3.0 (complete)	Sat4j Resolution 2.3.0 (complete)	SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete)	SCIP spx 2 2011-06-10 (fixed) (complete)	SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete)	SCIP spx E_2 2011-06-10 (fixed) (complete)	wbo 1.6 (complete)
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-100-1_6-yes1-1.opb	OPT f=100 TT=0.002 T1=0	OPT f=100 TT=3.253 T1=3.34	OPT f=100 TT=0.003 T1=0	OPT f=100 TT=0.002 T1=0	OPT f=100 TT=0.006 T1=0	OPT f=100 TT=0.011 T1=0.01	OPT f=100 TT=0.004 T1=0	OPT f=100 TT=0.01 T1=0.01	OPT f=100 TT=0.025 T1=0.01	OPT f=100 TT=0.269 T1=0.2	OPT f=100 TT=0.349 T1=0.67	OPT f=100 TT=0.269 T1=0.17	OPT f=100 TT=0.103 T1=0.09	OPT f=100 TT=0.101 T1=0.09	OPT f=100 TT=0.105 T1=0.09	OPT f=100 TT=0.104 T1=0.09	OPT f=100 TT=13.134 T1=13.13
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-100-1_6-yes1-2.opb	OPT f=100 TT=0.002 T1=0	OPT f=100 TT=2.255 T1=2.36	OPT f=100 TT=0.003 T1=0	OPT f=100 TT=0.002 T1=0	OPT f=100 TT=0.006 T1=0	OPT f=100 TT=0.018 T1=0.01	OPT f=100 TT=0.005 T1=0	OPT f=100 TT=0.014 T1=0.01	OPT f=100 TT=0.024 T1=0.01	OPT f=100 TT=0.24 T1=0.18	OPT f=100 TT=0.261 T1=0.67	OPT f=100 TT=0.239 T1=0.19	OPT f=100 TT=0.098 T1=0.08	OPT f=100 TT=0.094 T1=0.08	OPT f=100 TT=0.107 T1=0.09	OPT f=100 TT=0.099 T1=0.1	? (TO) TT=1800.11
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-100-1_6-yes1-3.opb	OPT f=100 TT=0.002 T1=0	OPT f=100 TT=3.059 T1=3.18	OPT f=100 TT=0.004 T1=0	OPT f=100 TT=0.002 T1=0	OPT f=100 TT=0.007 T1=0	OPT f=100 TT=0.032 T1=0	OPT f=100 TT=0.005 T1=0	OPT f=100 TT=0.013 T1=0.01	OPT f=100 TT=0.033 T1=0.01	OPT f=100 TT=0.246 T1=0.21	OPT f=100 TT=0.266 T1=0.66	OPT f=100 TT=0.24 T1=0.18	OPT f=100 TT=0.108 T1=0.09	OPT f=100 TT=0.094 T1=0.08	OPT f=100 TT=0.099 T1=0.08	OPT f=100 TT=0.107 T1=0.09	? (TO) TT=1800.12
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-100-1_6-yes1-4.opb	OPT f=100 TT=0.002 T1=0	OPT f=100 TT=2.319 T1=2.39	OPT f=100 TT=0.003 T1=0	OPT f=100 TT=0.002 T1=0	OPT f=100 TT=0.006 T1=0	OPT f=100 TT=0.015 T1=0.01	OPT f=100 TT=0.005 T1=0	OPT f=100 TT=0.01 T1=0.01	OPT f=100 TT=0.019 T1=0.01	OPT f=100 TT=0.295 T1=0.18	OPT f=100 TT=0.276 T1=0.68	OPT f=100 TT=0.23 T1=0.17	OPT f=100 TT=0.094 T1=0.08	OPT f=100 TT=0.092 T1=0.08	OPT f=100 TT=0.097 T1=0.08	OPT f=100 TT=0.097 T1=0.08	? (TO) TT=1800.11
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-100-2_0-yes1-1.opb	OPT f=100 TT=0.003 T1=0	OPT f=100 TT=5.92 T1=5.94	OPT f=100 TT=0.006 T1=0	OPT f=100 TT=0.003 T1=0	OPT f=100 TT=0.006 T1=0.01	OPT f=100 TT=0.019 T1=0.01	OPT f=100 TT=0.006 T1=0	OPT f=100 TT=0.018 T1=0.01	OPT f=100 TT=0.032 T1=0.01	OPT f=100 TT=0.311 T1=0.19	OPT f=100 TT=0.276 T1=0.67	OPT f=100 TT=0.237 T1=0.18	OPT f=100 TT=0.181 T1=0.15	OPT f=100 TT=0.178 T1=0.15	OPT f=100 TT=0.183 T1=0.15	OPT f=100 TT=0.182 T1=0.15	? (TO) TT=1800.15
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-100-2_0-yes1-2.opb	OPT f=100 TT=0.002 T1=0	OPT f=100 TT=6.337 T1=6.6	OPT f=100 TT=0.004 T1=0	OPT f=100 TT=0.002 T1=0	OPT f=100 TT=0.007 T1=0	OPT f=100 TT=0.013 T1=0.01	OPT f=100 TT=0.005 T1=0	OPT f=100 TT=0.012 T1=0.01	OPT f=100 TT=0.029 T1=0.01	OPT f=100 TT=0.319 T1=0.2	OPT f=100 TT=0.396 T1=0.67	OPT f=100 TT=0.291 T1=0.19	OPT f=100 TT=0.195 T1=0.19	OPT f=100 TT=0.191 T1=0.17	OPT f=100 TT=0.196 T1=0.17	OPT f=100 TT=0.195 T1=0.17	? (TO) TT=1800.11
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-100-2_0-yes1-3.opb	OPT f=100 TT=0.004 T1=0	OPT f=100 TT=6.621 T1=6.67	OPT f=100 TT=0.006 T1=0	OPT f=100 TT=0.004 T1=0	OPT f=100 TT=0.006 T1=0	OPT f=100 TT=0.016 T1=0.01	OPT f=100 TT=0.007 T1=0	OPT f=100 TT=0.017 T1=0.01	OPT f=100 TT=0.032 T1=0.01	OPT f=100 TT=0.281 T1=0.2	OPT f=100 TT=0.412 T1=0.67	OPT f=100 TT=0.332 T1=0.22	OPT f=100 TT=0.191 T1=0.17	OPT f=100 TT=0.214 T1=0.19	OPT f=100 TT=0.195 T1=0.17	OPT f=100 TT=0.193 T1=0.17	? (TO) TT=1800.08
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-100-2_0-yes1-4.opb	OPT f=100 TT=0.002 T1=0	OPT f=100 TT=8.968 T1=9.06	OPT f=100 TT=0.004 T1=0	OPT f=100 TT=0.002 T1=0	OPT f=100 TT=0.005 T1=0	OPT f=100 TT=0.012 T1=0.01	OPT f=100 TT=0.005 T1=0	OPT f=100 TT=0.013 T1=0.01	OPT f=100 TT=0.037 T1=0.01	OPT f=100 TT=0.306 T1=0.18	OPT f=100 TT=0.356 T1=0.67	OPT f=100 TT=0.244 T1=0.17	OPT f=100 TT=0.204 T1=0.18	OPT f=100 TT=0.184 T1=0.16	OPT f=100 TT=0.189 T1=0.16	OPT f=100 TT=0.189 T1=0.16	? (TO) TT=1800.05
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-100-3_4-yes1-1.opb	OPT f=100 TT=0.003 T1=0	OPT f=100 TT=11.682 T1=11.75	OPT f=100 TT=0.014 T1=0.01	OPT f=100 TT=0.003 T1=0	OPT f=100 TT=0.009 T1=0	OPT f=100 TT=0.018 T1=0.02	OPT f=100 TT=0.008 T1=0	OPT f=100 TT=0.019 T1=0.01	OPT f=100 TT=0.051 T1=0.01	OPT f=100 TT=0.414 T1=0.23	OPT f=100 TT=0.352 T1=0.69	OPT f=100 TT=0.285 T1=0.19	OPT f=100 TT=0.308 T1=0.28	OPT f=100 TT=0.304 T1=0.27	OPT f=100 TT=0.309 T1=0.28	OPT f=100 TT=0.307 T1=0.28	? (TO) TT=1800.09
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-100-3_4-yes1-2.opb	OPT f=100 TT=0.003 T1=0	OPT f=100 TT=11.848 T1=12.31	OPT f=100 TT=0.008 T1=0	OPT f=100 TT=0.003 T1=0	OPT f=100 TT=0.006 T1=0.01	OPT f=100 TT=0.012 T1=0.01	OPT f=100 TT=0.006 T1=0	OPT f=100 TT=0.012 T1=0.01	OPT f=100 TT=0.031 T1=0.01	OPT f=100 TT=0.43 T1=0.23	OPT f=100 TT=0.479 T1=0.69	OPT f=100 TT=0.356 T1=0.22	OPT f=100 TT=0.353 T1=0.32	OPT f=100 TT=0.35 T1=0.31	OPT f=100 TT=0.392 T1=0.36	OPT f=100 TT=0.352 T1=0.32	? (TO) TT=1800.11
Bench name	Best results	borg pb-opt-11.04.03 (complete)	bsolo 3.2 (complete)	clasp 2.0-R4191 (complete)	MinisatID 2.4.8 [DEPRECATED] (complete)	MinisatID 2.4.8-gmp [DEPRECATED] (complete)	MinisatID 2.5.2 (fixed) (complete)	MinisatID 2.5.2-gmp (fixed) (complete)	pwbo 1.1 (complete)	Sat4j CuttingPlanes 2.3.0 (complete)	Sat4j Res//CP 2.3.0 (complete)	Sat4j Resolution 2.3.0 (complete)	SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete)	SCIP spx 2 2011-06-10 (fixed) (complete)	SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete)	SCIP spx E_2 2011-06-10 (fixed) (complete)	wbo 1.6 (complete)
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-100-3_4-yes1-3.opb	OPT f=100 TT=0.003 T1=0	OPT f=100 TT=11.998 T1=12.06	OPT f=100 TT=0.012 T1=0.01	OPT f=100 TT=0.003 T1=0	OPT f=100 TT=0.007 T1=0	OPT f=100 TT=0.013 T1=0.01	OPT f=100 TT=0.007 T1=0	OPT f=100 TT=0.015 T1=0.01	OPT f=100 TT=0.032 T1=0.01	OPT f=100 TT=0.416 T1=0.24	OPT f=100 TT=0.5 T1=0.68	OPT f=100 TT=0.346 T1=0.21	OPT f=100 TT=0.36 T1=0.31	OPT f=100 TT=0.358 T1=0.31	OPT f=100 TT=0.365 T1=0.31	OPT f=100 TT=0.399 T1=0.34	? (TO) TT=1800.11
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-100-3_4-yes1-4.opb	OPT f=100 TT=0.004 T1=0	OPT f=100 TT=12.457 T1=12.65	OPT f=100 TT=0.008 T1=0.01	OPT f=100 TT=0.004 T1=0	OPT f=100 TT=0.007 T1=0	OPT f=100 TT=0.015 T1=0.01	OPT f=100 TT=0.006 T1=0	OPT f=100 TT=0.016 T1=0.01	OPT f=100 TT=0.039 T1=0.01	OPT f=100 TT=0.46 T1=0.21	OPT f=100 TT=0.484 T1=0.69	OPT f=100 TT=0.336 T1=0.2	OPT f=100 TT=0.397 T1=0.37	OPT f=100 TT=0.36 T1=0.34	OPT f=100 TT=0.366 T1=0.34	OPT f=100 TT=0.366 T1=0.34	? (TO) TT=1800.11
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-100-6_0-yes1-1.opb	OPT f=100 TT=0.003 T1=0	Wrong Cert. TT=18.494	OPT f=100 TT=0.005 T1=0	OPT f=100 TT=0.003 T1=0	OPT f=100 TT=0.01 T1=0	OPT f=100 TT=0.018 T1=0.01	OPT f=100 TT=0.008 T1=0	OPT f=100 TT=0.017 T1=0.01	OPT f=100 TT=0.035 T1=0.01	OPT f=100 TT=0.407 T1=0.22	OPT f=100 TT=0.362 T1=0.71	OPT f=100 TT=0.315 T1=0.21	OPT f=100 TT=0.346 T1=0.25	OPT f=100 TT=0.342 T1=0.24	OPT f=100 TT=0.35 T1=0.25	OPT f=100 TT=0.344 T1=0.24	? (TO) TT=1800.09
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-100-6_0-yes1-2.opb	OPT f=100 TT=0.003 T1=0	OPT f=100 TT=15.966 T1=16.17	OPT f=100 TT=0.006 T1=0	OPT f=100 TT=0.003 T1=0	OPT f=100 TT=0.01 T1=0.01	OPT f=100 TT=0.02 T1=0.01	OPT f=100 TT=0.008 T1=0	OPT f=100 TT=0.02 T1=0.01	OPT f=100 TT=0.029 T1=0.01	OPT f=100 TT=0.436 T1=0.23	OPT f=100 TT=0.433 T1=0.72	OPT f=100 TT=0.334 T1=0.21	OPT f=100 TT=0.37 T1=0.29	OPT f=100 TT=0.365 T1=0.28	OPT f=100 TT=0.41 T1=0.33	OPT f=100 TT=0.368 T1=0.28	? (TO) TT=1800.08
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-100-6_0-yes1-3.opb	OPT f=100 TT=0.002 T1=0	OPT f=100 TT=17.78 T1=17.75	OPT f=100 TT=0.006 T1=0	OPT f=100 TT=0.002 T1=0	OPT f=100 TT=0.009 T1=0	OPT f=100 TT=0.018 T1=0.01	OPT f=100 TT=0.008 T1=0	OPT f=100 TT=0.017 T1=0.01	OPT f=100 TT=0.028 T1=0.01	OPT f=100 TT=0.412 T1=0.24	OPT f=100 TT=0.406 T1=0.71	OPT f=100 TT=0.321 T1=0.21	OPT f=100 TT=0.405 T1=0.35	OPT f=100 TT=0.401 T1=0.34	OPT f=100 TT=0.406 T1=0.35	OPT f=100 TT=0.401 T1=0.34	? (TO) TT=1800.12
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-100-6_0-yes1-4.opb	OPT f=100 TT=0.003 T1=0	OPT f=100 TT=16.284 T1=16.59	OPT f=100 TT=0.006 T1=0	OPT f=100 TT=0.003 T1=0	OPT f=100 TT=0.01 T1=0	OPT f=100 TT=0.017 T1=0.01	OPT f=100 TT=0.008 T1=0.01	OPT f=100 TT=0.017 T1=0.01	OPT f=100 TT=0.03 T1=0.01	OPT f=100 TT=0.413 T1=0.21	OPT f=100 TT=0.514 T1=0.72	OPT f=100 TT=0.358 T1=0.26	OPT f=100 TT=0.398 T1=0.36	OPT f=100 TT=0.396 T1=0.35	OPT f=100 TT=0.4 T1=0.36	OPT f=100 TT=0.396 T1=0.35	? (TO) TT=1800.09
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-200-1_6-yes1-1.opb	OPT f=200 TT=0.004 T1=0	Wrong UNSAT TT=7.65	OPT f=200 TT=0.004 T1=0	OPT f=200 TT=0.004 T1=0	OPT f=200 TT=0.013 T1=0.01	OPT f=200 TT=0.024 T1=0.02	OPT f=200 TT=0.011 T1=0.01	OPT f=200 TT=0.03 T1=0.03	OPT f=200 TT=0.141 T1=0.05	OPT f=200 TT=0.341 T1=0.24	OPT f=200 TT=0.52 T1=0.7	OPT f=200 TT=0.358 T1=0.21	OPT f=200 TT=0.356 T1=0.34	OPT f=200 TT=0.352 T1=0.34	OPT f=200 TT=0.357 T1=0.34	OPT f=200 TT=0.354 T1=0.34	? (TO) TT=1800.08
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-200-1_6-yes1-2.opb	OPT f=200 TT=0.003 T1=0	OPT f=200 TT=13.929 T1=13.92	OPT f=200 TT=0.006 T1=0	OPT f=200 TT=0.003 T1=0	OPT f=200 TT=0.015 T1=0.01	OPT f=200 TT=0.061 T1=0.02	OPT f=200 TT=0.012 T1=0.01	OPT f=200 TT=0.033 T1=0.03	OPT f=200 TT=0.099 T1=0.05	OPT f=200 TT=0.353 T1=0.24	OPT f=200 TT=0.487 T1=0.7	OPT f=200 TT=0.382 T1=0.2	OPT f=200 TT=0.351 T1=0.33	OPT f=200 TT=0.394 T1=0.37	OPT f=200 TT=0.353 T1=0.33	OPT f=200 TT=0.351 T1=0.33	? (TO) TT=1800.1
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-200-1_6-yes1-3.opb	OPT f=200 TT=0.003 T1=0	OPT f=200 TT=5.201 T1=5.5	OPT f=200 TT=0.004 T1=0	OPT f=200 TT=0.003 T1=0	OPT f=200 TT=0.011 T1=0.01	OPT f=200 TT=0.022 T1=0.02	OPT f=200 TT=0.011 T1=0.01	OPT f=200 TT=0.024 T1=0.02	OPT f=200 TT=0.1 T1=0.05	OPT f=200 TT=0.353 T1=0.25	OPT f=200 TT=0.485 T1=0.7	OPT f=200 TT=0.374 T1=0.22	OPT f=200 TT=0.32 T1=0.29	OPT f=200 TT=0.316 T1=0.29	OPT f=200 TT=0.322 T1=0.29	OPT f=200 TT=0.319 T1=0.29	? (TO) TT=1800.08
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-200-1_6-yes1-4.opb	OPT f=200 TT=0.003 T1=0	Wrong UNSAT TT=7.858	OPT f=200 TT=0.006 T1=0	OPT f=200 TT=0.003 T1=0	OPT f=200 TT=0.011 T1=0.01	OPT f=200 TT=0.026 T1=0.02	OPT f=200 TT=0.012 T1=0.01	OPT f=200 TT=0.024 T1=0.02	OPT f=200 TT=0.121 T1=0.05	OPT f=200 TT=0.426 T1=0.28	OPT f=200 TT=0.442 T1=0.7	OPT f=200 TT=0.376 T1=0.21	OPT f=200 TT=0.365 T1=0.33	OPT f=200 TT=0.362 T1=0.33	OPT f=200 TT=0.368 T1=0.34	OPT f=200 TT=0.365 T1=0.33	? (TO) TT=1800.08
Bench name	Best results	borg pb-opt-11.04.03 (complete)	bsolo 3.2 (complete)	clasp 2.0-R4191 (complete)	MinisatID 2.4.8 [DEPRECATED] (complete)	MinisatID 2.4.8-gmp [DEPRECATED] (complete)	MinisatID 2.5.2 (fixed) (complete)	MinisatID 2.5.2-gmp (fixed) (complete)	pwbo 1.1 (complete)	Sat4j CuttingPlanes 2.3.0 (complete)	Sat4j Res//CP 2.3.0 (complete)	Sat4j Resolution 2.3.0 (complete)	SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete)	SCIP spx 2 2011-06-10 (fixed) (complete)	SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete)	SCIP spx E_2 2011-06-10 (fixed) (complete)	wbo 1.6 (complete)
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-200-2_0-yes1-1.opb	OPT f=200 TT=0.003 T1=0	OPT f=200 TT=19.981 T1=20.16	OPT f=200 TT=0.011 T1=0.01	OPT f=200 TT=0.003 T1=0	OPT f=200 TT=0.014 T1=0.01	OPT f=200 TT=0.03 T1=0.02	OPT f=200 TT=0.015 T1=0.01	OPT f=200 TT=0.052 T1=0.05	OPT f=200 TT=0.182 T1=0.05	OPT f=200 TT=0.54 T1=0.31	OPT f=200 TT=0.595 T1=0.71	OPT f=200 TT=0.461 T1=0.27	OPT f=200 TT=0.716 T1=0.64	OPT f=200 TT=0.771 T1=0.69	OPT f=200 TT=0.714 T1=0.64	OPT f=200 TT=0.713 T1=0.63	? (TO) TT=1800.1
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-200-2_0-yes1-2.opb	OPT f=200 TT=0.006 T1=0	OPT f=200 TT=26.08 T1=26.01	OPT f=200 TT=0.022 T1=0.01	OPT f=200 TT=0.006 T1=0	OPT f=200 TT=0.017 T1=0.03	OPT f=200 TT=0.048 T1=0.02	OPT f=200 TT=0.014 T1=0.01	OPT f=200 TT=0.041 T1=0.04	OPT f=200 TT=0.142 T1=0.05	OPT f=200 TT=0.651 T1=0.33	OPT f=200 TT=0.548 T1=0.7	OPT f=200 TT=0.455 T1=0.28	OPT f=200 TT=0.756 T1=0.66	OPT f=200 TT=0.749 T1=0.66	OPT f=200 TT=0.754 T1=0.66	OPT f=200 TT=0.838 T1=0.73	? (TO) TT=1800.12
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-200-2_0-yes1-3.opb	OPT f=200 TT=0.004 T1=0	OPT f=200 TT=27.451 T1=27.39	OPT f=200 TT=0.01 T1=0	OPT f=200 TT=0.004 T1=0	OPT f=200 TT=0.017 T1=0.01	OPT f=200 TT=0.039 T1=0.03	OPT f=200 TT=0.013 T1=0.01	OPT f=200 TT=0.028 T1=0.02	OPT f=200 TT=0.101 T1=0.05	OPT f=200 TT=0.405 T1=0.27	OPT f=200 TT=0.611 T1=0.72	OPT f=200 TT=0.404 T1=0.24	OPT f=200 TT=0.796 T1=0.73	OPT f=200 TT=0.791 T1=0.73	OPT f=200 TT=0.798 T1=0.73	OPT f=200 TT=0.792 T1=0.73	? (TO) TT=1800.1
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-200-2_0-yes1-4.opb	OPT f=200 TT=0.005 T1=0	OPT f=200 TT=18.707 T1=18.74	OPT f=200 TT=0.008 T1=0	OPT f=200 TT=0.005 T1=0.01	OPT f=200 TT=0.014 T1=0.01	OPT f=200 TT=0.04 T1=0.03	OPT f=200 TT=0.013 T1=0.01	OPT f=200 TT=0.031 T1=0.03	OPT f=200 TT=0.169 T1=0.05	OPT f=200 TT=0.605 T1=0.34	OPT f=200 TT=0.653 T1=0.7	OPT f=200 TT=0.459 T1=0.26	OPT f=200 TT=0.709 T1=0.64	OPT f=200 TT=0.705 T1=0.64	OPT f=200 TT=0.71 T1=0.64	OPT f=200 TT=0.711 T1=0.64	? (TO) TT=1800.09
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-200-3_4-yes1-1.opb	OPT f=200 TT=0.004 T1=0	OPT f=200 TT=48.226 T1=48.09	OPT f=200 TT=0.016 T1=0.01	OPT f=200 TT=0.004 T1=0	OPT f=200 TT=0.018 T1=0.01	OPT f=200 TT=0.049 T1=0.03	OPT f=200 TT=0.015 T1=0.01	OPT f=200 TT=0.045 T1=0.04	OPT f=200 TT=0.134 T1=0.05	OPT f=200 TT=0.564 T1=0.26	OPT f=200 TT=0.607 T1=0.73	OPT f=200 TT=0.469 T1=0.26	OPT f=200 TT=1.261 T1=1.09	OPT f=200 TT=1.252 T1=1.08	OPT f=200 TT=1.263 T1=1.09	OPT f=200 TT=1.255 T1=1.08	? (TO) TT=1800.11
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-200-3_4-yes1-2.opb	OPT f=200 TT=0.005 T1=0.01	OPT f=200 TT=52.194 T1=52.09	OPT f=200 TT=0.026 T1=0.02	OPT f=200 TT=0.005 T1=0.01	OPT f=200 TT=0.018 T1=0.01	OPT f=200 TT=0.054 T1=0.03	OPT f=200 TT=0.019 T1=0.01	OPT f=200 TT=0.048 T1=0.04	OPT f=200 TT=0.248 T1=0.05	OPT f=200 TT=0.684 T1=0.34	OPT f=200 TT=0.614 T1=0.73	OPT f=200 TT=0.478 T1=0.26	OPT f=200 TT=1.536 T1=1.31	OPT f=200 TT=1.382 T1=1.18	OPT f=200 TT=1.398 T1=1.2	OPT f=200 TT=1.387 T1=1.19	? (TO) TT=1800.12
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-200-3_4-yes1-3.opb	OPT f=200 TT=0.01 T1=0	OPT f=200 TT=47.38 T1=47.29	OPT f=200 TT=0.01 T1=0.01	OPT f=200 TT=0.012 T1=0	OPT f=200 TT=0.016 T1=0.01	OPT f=200 TT=0.035 T1=0.03	OPT f=200 TT=0.016 T1=0.01	OPT f=200 TT=0.044 T1=0.04	OPT f=200 TT=0.121 T1=0.05	OPT f=200 TT=0.801 T1=0.42	OPT f=200 TT=0.765 T1=0.73	OPT f=200 TT=0.591 T1=0.32	OPT f=200 TT=1.566 T1=1.55	OPT f=200 TT=1.379 T1=1.36	OPT f=200 TT=1.393 T1=1.37	OPT f=200 TT=1.381 T1=1.36	? (TO) TT=1800.12
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-200-3_4-yes1-4.opb	OPT f=200 TT=0.003 T1=0	OPT f=200 TT=52.017 T1=51.66	OPT f=200 TT=0.008 T1=0	OPT f=200 TT=0.003 T1=0.01	OPT f=200 TT=0.029 T1=0.02	OPT f=200 TT=0.099 T1=0.04	OPT f=200 TT=0.03 T1=0.02	OPT f=200 TT=0.073 T1=0.07	OPT f=200 TT=0.152 T1=0.05	OPT f=200 TT=0.771 T1=0.41	OPT f=200 TT=0.738 T1=0.72	OPT f=200 TT=0.559 T1=0.3	OPT f=200 TT=1.18 T1=1.1	OPT f=200 TT=1.17 T1=1.09	OPT f=200 TT=1.183 T1=1.11	OPT f=200 TT=1.175 T1=1.1	? (TO) TT=1800.07
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-200-6_0-yes1-1.opb	OPT f=200 TT=0.006 T1=0	OPT f=200 TT=51.811 T1=51.5	OPT f=200 TT=0.036 T1=0.03	OPT f=200 TT=0.006 T1=0	OPT f=200 TT=0.034 T1=0.03	OPT f=200 TT=0.071 T1=0.05	OPT f=200 TT=0.035 T1=0.03	OPT f=200 TT=0.083 T1=0.08	OPT f=200 TT=0.144 T1=0.06	OPT f=200 TT=0.9 T1=0.41	OPT f=200 TT=0.788 T1=0.77	OPT f=200 TT=0.561 T1=0.31	OPT f=200 TT=1.088 T1=0.95	OPT f=200 TT=1.076 T1=0.94	OPT f=200 TT=1.086 T1=0.94	OPT f=200 TT=1.079 T1=0.94	? (TO) TT=1800.05
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-200-6_0-yes1-2.opb	OPT f=200 TT=0.005 T1=0	OPT f=200 TT=48.371 T1=47.96	OPT f=200 TT=0.024 T1=0.02	OPT f=200 TT=0.005 T1=0	OPT f=200 TT=0.022 T1=0.02	OPT f=200 TT=0.044 T1=0.04	OPT f=200 TT=0.021 T1=0.02	OPT f=200 TT=0.043 T1=0.04	OPT f=200 TT=0.215 T1=0.05	OPT f=200 TT=0.747 T1=0.39	OPT f=200 TT=1.09 T1=0.76	OPT f=200 TT=0.535 T1=0.3	OPT f=200 TT=1.838 T1=1.46	OPT f=200 TT=1.822 T1=1.44	OPT f=200 TT=1.839 T1=1.46	OPT f=200 TT=1.827 T1=1.44	? (TO) TT=1800.1
Bench name	Best results	borg pb-opt-11.04.03 (complete)	bsolo 3.2 (complete)	clasp 2.0-R4191 (complete)	MinisatID 2.4.8 [DEPRECATED] (complete)	MinisatID 2.4.8-gmp [DEPRECATED] (complete)	MinisatID 2.5.2 (fixed) (complete)	MinisatID 2.5.2-gmp (fixed) (complete)	pwbo 1.1 (complete)	Sat4j CuttingPlanes 2.3.0 (complete)	Sat4j Res//CP 2.3.0 (complete)	Sat4j Resolution 2.3.0 (complete)	SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete)	SCIP spx 2 2011-06-10 (fixed) (complete)	SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete)	SCIP spx E_2 2011-06-10 (fixed) (complete)	wbo 1.6 (complete)
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-200-6_0-yes1-3.opb	OPT f=200 TT=0.006 T1=0	OPT f=200 TT=47.317 T1=47.63	OPT f=200 TT=0.02 T1=0.01	OPT f=200 TT=0.006 T1=0	OPT f=200 TT=0.022 T1=0.02	OPT f=200 TT=0.041 T1=0.04	OPT f=200 TT=0.019 T1=0.01	OPT f=200 TT=0.041 T1=0.04	OPT f=200 TT=0.113 T1=0.05	OPT f=200 TT=0.698 T1=0.31	OPT f=200 TT=0.761 T1=0.76	OPT f=200 TT=0.543 T1=0.31	OPT f=200 TT=1.516 T1=1.44	OPT f=200 TT=1.684 T1=1.59	OPT f=200 TT=1.678 T1=1.59	OPT f=200 TT=1.507 T1=1.42	? (TO) TT=1800.08
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-200-6_0-yes1-4.opb	OPT f=200 TT=0.008 T1=0.01	OPT f=200 TT=48.739 T1=48.33	OPT f=200 TT=0.06 T1=0.05	OPT f=200 TT=0.008 T1=0.01	OPT f=200 TT=0.024 T1=0.02	OPT f=200 TT=0.048 T1=0.04	OPT f=200 TT=0.022 T1=0.02	OPT f=200 TT=0.047 T1=0.04	OPT f=200 TT=0.127 T1=0.05	OPT f=200 TT=0.813 T1=0.42	OPT f=200 TT=0.884 T1=0.77	OPT f=200 TT=0.663 T1=0.34	OPT f=200 TT=1.672 T1=1.47	OPT f=200 TT=1.474 T1=1.3	OPT f=200 TT=1.481 T1=1.3	OPT f=200 TT=1.633 T1=1.44	? (TO) TT=1800.1
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-bf0432-007.opb	UNSAT TT=0.024	UNSAT TT=17.427	UNSAT TT=0.053	UNSAT TT=0.024	UNSAT TT=0.167	UNSAT TT=0.292	UNSAT TT=0.16	UNSAT TT=0.285	UNSAT TT=0.035	UNSAT TT=1.153	UNSAT TT=1.11	UNSAT TT=0.798	UNSAT TT=12.844	UNSAT TT=11.53	UNSAT TT=11.527	UNSAT TT=11.559	UNSAT TT=0.68
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-bf1355-075.opb	UNSAT TT=0.018	UNSAT TT=50.84	UNSAT TT=0.103	UNSAT TT=0.018	UNSAT TT=0.301	UNSAT TT=0.484	UNSAT TT=0.29	UNSAT TT=0.474	UNSAT TT=0.047	UNSAT TT=0.953	UNSAT TT=1.321	UNSAT TT=0.867	UNSAT TT=4.412	UNSAT TT=4.273	UNSAT TT=4.758	UNSAT TT=4.314	UNSAT TT=1.493
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-bf1355-638.opb	UNSAT TT=0.022	UNSAT TT=33.672	UNSAT TT=0.08	UNSAT TT=0.022	UNSAT TT=0.464	UNSAT TT=0.766	UNSAT TT=0.457	UNSAT TT=0.751	Signal TT=0.044	UNSAT TT=0.844	UNSAT TT=1.345	UNSAT TT=0.828	UNSAT TT=1.349	UNSAT TT=1.327	UNSAT TT=1.329	UNSAT TT=1.323	Signal TT=0.03
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-bf2670-001.opb	UNSAT TT=0.011	UNSAT TT=0.931	UNSAT TT=0.034	UNSAT TT=0.011	UNSAT TT=0.228	UNSAT TT=0.37	UNSAT TT=0.223	UNSAT TT=0.363	UNSAT TT=0.023	UNSAT TT=0.663	UNSAT TT=0.82	UNSAT TT=0.658	UNSAT TT=0.369	UNSAT TT=0.358	UNSAT TT=0.364	UNSAT TT=0.358	UNSAT TT=0.439
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-f1000.opb		? (MO) TT=194.63	? TT=1798	? (TO) TT=1800.1	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.06	? (TO) TT=1800.05	? (TO) TT=1800.05	? (TO) TT=1800.29	? (TO) TT=1800.11	? (TO) TT=1800.09	? (TO) TT=1800.29	? TT=1797.12	? (TO) TT=1800.41	? TT=1797.05	? (TO) TT=1800.09
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-f2000.opb		? (MO) TT=196.07	? TT=1798.01	? (TO) TT=1800.08	? (TO) TT=1800.05	? (TO) TT=1800.09	? (TO) TT=1800.08	? (TO) TT=1800.06	? (TO) TT=1800.24	? (TO) TT=1800.28	? (TO) TT=1800.22	? (TO) TT=1800.14	? (TO) TT=1801.49	? TT=1797.41	? (TO) TT=1802.08	? TT=1797.09	? (TO) TT=1800.12
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-f600.opb		? (MO) TT=193.47	? TT=1798	? (TO) TT=1800.08	? (TO) TT=1800.06	? (TO) TT=1800.07	? (TO) TT=1800.05	? (TO) TT=1800.06	? (TO) TT=1800.06	? (TO) TT=1800.26	? (TO) TT=1800.14	? (TO) TT=1800.12	? (TO) TT=1800.06	? TT=1797.06	? (TO) TT=1800.17	? TT=1797.08	? (TO) TT=1800.14
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-g125.17.opb		? (MO) TT=101.93	? TT=1798.08	? (TO) TT=1800.09	? (TO) TT=1800.12	? (TO) TT=1800.05	? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.09	? (TO) TT=1800.32	? (TO) TT=1800.36	? (TO) TT=1800.2	? (TO) TT=1800.09	? TT=1797.26	? (TO) TT=1800.28	? TT=1797.27	? (TO) TT=1800.08
Bench name	Best results	borg pb-opt-11.04.03 (complete)	bsolo 3.2 (complete)	clasp 2.0-R4191 (complete)	MinisatID 2.4.8 [DEPRECATED] (complete)	MinisatID 2.4.8-gmp [DEPRECATED] (complete)	MinisatID 2.5.2 (fixed) (complete)	MinisatID 2.5.2-gmp (fixed) (complete)	pwbo 1.1 (complete)	Sat4j CuttingPlanes 2.3.0 (complete)	Sat4j Res//CP 2.3.0 (complete)	Sat4j Resolution 2.3.0 (complete)	SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete)	SCIP spx 2 2011-06-10 (fixed) (complete)	SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete)	SCIP spx E_2 2011-06-10 (fixed) (complete)	wbo 1.6 (complete)
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-g125.18.opb		? (MO) TT=101.58	? TT=1798.1	? (TO) TT=1800.08	? (TO) TT=1800.08	? (TO) TT=1800.1	? (TO) TT=1800.06	? (TO) TT=1800.08	? (TO) TT=1800.16	? (TO) TT=1800.4	? (TO) TT=1800.29	? (TO) TT=1800.22	? (TO) TT=1800.25	? TT=1797.26	? (TO) TT=1800.27	? TT=1797.24	? (TO) TT=1800.08
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-g250.15.opb	SAT f=3750 TT=1800.12 T1=557.28	? (MO) TT=101.88	? TT=1798.23	SAT (TO) f=3750 TT=1800.12 T1=557.28	? (TO) TT=1800.12	? (TO) TT=1800.08	? (TO) TT=1800.1	? (TO) TT=1800.07	? (TO) TT=1800.19	? (TO) TT=1800.32	? (TO) TT=1800.44	? (TO) TT=1800.23	? (TO) TT=1800.71	? TT=1797.79	? (TO) TT=1800.71	? TT=1797.71	? (TO) TT=1800.13
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-g250.29.opb		? (MO) TT=101.76	? TT=1798.11	? (TO) TT=1800.08	? (TO) TT=1800.25	? (TO) TT=1800.24	? (TO) TT=1800.16	? (TO) TT=1800.18	? (TO) TT=1800.29	? (TO) TT=1800.4	? (TO) TT=1800.39	? (TO) TT=1800.2	? (TO) TT=1801.47	? TT=1798.4	? (TO) TT=1801.49	? TT=1798.35	? (TO) TT=1800.11
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-hanoi4.opb	OPT f=718 TT=0.128 T1=0.06	OPT f=718 TT=52.403 T1=51.54	OPT f=718 TT=1.524 T1=1.09	OPT f=718 TT=0.128 T1=0.06	OPT f=718 TT=0.226 T1=0.19	OPT f=718 TT=0.681 T1=0.38	OPT f=718 TT=0.246 T1=0.24	OPT f=718 TT=0.756 T1=0.75	OPT f=718 TT=0.634 T1=0.15	OPT f=718 TT=3.384 T1=1.96	OPT f=718 TT=3.317 T1=1.37	OPT f=718 TT=1.655 T1=0.81	OPT f=718 TT=1427.51 T1=490.6	OPT f=718 TT=1423.64 T1=489.86	OPT f=718 TT=1312.76 T1=490.04	OPT f=718 TT=1274.5 T1=457.81	? (TO) TT=1800.11
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-hanoi5.opb	OPT f=1931 TT=1.708 T1=1.52	OPT f=1931 TT=7.127 T1=5.85	OPT f=1931 TT=820.07 T1=615.92	OPT f=1931 TT=2.537 T1=2.47	OPT f=1931 TT=1.708 T1=1.52	OPT f=1931 TT=5.329 T1=2.96	OPT f=1931 TT=2.59 T1=2.58	OPT f=1931 TT=9.153 T1=9.15	OPT f=1931 TT=43.577 T1=21.82	OPT f=1931 TT=378.856 T1=281.96	OPT f=1931 TT=12.827 T1=5.04	OPT f=1931 TT=6.411 T1=4.24	? (TO) TT=1800.05	? TT=1797.12	? (TO) TT=1800.07	? TT=1797.08	? (TO) TT=1800.08
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii16a1.opb	SAT f=1258 TT=1797.14 T1=745.1	? (MO) TT=146.22	SAT f=1347 TT=1798.03 T1=10.96	SAT (TO) f=1518 TT=1800.11 T1=0.14	? (TO) f=1418 TT=1800.1 T1=700.35	? (TO) f=1525 TT=1800.04 T1=391.46	? (TO) f=1415 TT=1800.07 T1=1800	? (TO) f=1508 TT=1800.07 T1=1800	SAT (TO) f=1426 TT=1800.22 T1=1.42	SAT (TO) f=1473 TT=1800.31 T1=282.48	SAT (TO) f=1361 TT=1800.41 T1=436.78	SAT (TO) f=1362 TT=1800.21 T1=10.2	? (TO) TT=1800.05	SAT f=1258 TT=1797.16 T1=764.23	SAT (TO) f=1170 TT=1800.18 T1=1412.39	SAT f=1258 TT=1797.14 T1=745.1	? (TO) TT=1800.11
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii16a2.opb	SAT f=1224 TT=1800.23 T1=521.69	? (MO) TT=148.09	SAT f=1317 TT=1798.04 T1=529.52	SAT (TO) f=1560 TT=1800.12 T1=712.35	? (TO) f=1341 TT=1800.08 T1=133.14	? (TO) f=1341 TT=1800.07 T1=1016.34	? (TO) f=1408 TT=1800.07 T1=1800	? (TO) f=1408 TT=1800.08 T1=1800	SAT (TO) f=1258 TT=1800.15 T1=11.5	SAT (TO) f=1395 TT=1800.35 T1=1112.49	SAT (TO) f=1224 TT=1800.36 T1=583.32	SAT (TO) f=1224 TT=1800.23 T1=521.69	? (TO) TT=1800.15	? TT=1797.12	? (TO) TT=1800.05	? TT=1797.25	? (TO) TT=1800.06
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii16b1.opb	SAT f=1523 TT=1797.15 T1=530.62	? (MO) TT=148.12	SAT f=1581 TT=1798.04 T1=23.25	SAT (TO) f=1664 TT=1800.09 T1=29.46	? (TO) f=1550 TT=1800.09 T1=654.63	? (TO) f=1608 TT=1800.07 T1=321.15	? (TO) f=1528 TT=1800.08 T1=1800	? (TO) f=1540 TT=1800.03 T1=1800	SAT (TO) f=1576 TT=1800.22 T1=25.23	SAT (TO) f=1580 TT=1800.33 T1=1398.66	SAT (TO) f=1528 TT=1800.39 T1=27.18	SAT (TO) f=1523 TT=1800.22 T1=530.62	SAT (TO) f=1523 TT=1800.06 T1=1341.23	SAT f=1523 TT=1797.16 T1=1321.38	? (TO) TT=1800.06	SAT f=1523 TT=1797.15 T1=1316.89	? (TO) TT=1800.08
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii16b2.opb	OPT f=1031 TT=17.149 T1=0.06	? (MO) TT=147.86	SAT f=1031 TT=1798.02 T1=0.14	SAT (TO) f=1052 TT=1800.09 T1=302.14	? (TO) f=1034 TT=1800.07 T1=23.05	? (TO) f=1034 TT=1800.07 T1=209.61	? (TO) f=1034 TT=1800.04 T1=1800	? (TO) f=1036 TT=1800.07 T1=1800	SAT (TO) f=1031 TT=1800.22 T1=0.06	OPT f=1031 TT=17.149 T1=0.68	OPT f=1031 TT=20.421 T1=0.99	SAT (TO) f=1031 TT=1800.19 T1=0.54	OPT f=1031 TT=1580.36 T1=830.34	OPT f=1031 TT=1558.19 T1=818.15	OPT f=1031 TT=1573.63 T1=826.55	OPT f=1031 TT=1557.47 T1=817.93	? (TO) TT=1800.09
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii16c1.opb	SAT f=1267 TT=1800.07 T1=1634.24	? (MO) TT=199.32	SAT f=1369 TT=1798.03 T1=79.49	SAT (TO) f=1444 TT=1800.05 T1=0.1	? (TO) f=1440 TT=1800.09 T1=585.99	? (TO) f=1489 TT=1800.08 T1=1767.03	? (TO) f=1462 TT=1800.06 T1=1800	? (TO) f=1503 TT=1800.06 T1=1800	SAT (TO) f=1394 TT=1800.07 T1=2.17	SAT (TO) f=1458 TT=1800.28 T1=759.31	SAT (TO) f=1381 TT=1800.35 T1=54.33	SAT (TO) f=1378 TT=1800.22 T1=1612.78	SAT (TO) f=1267 TT=1800.07 T1=1634.24	SAT f=1345 TT=1797.16 T1=785.86	? (TO) TT=1800.05	SAT f=1331 TT=1797.19 T1=649.99	? (TO) TT=1800.12
Bench name	Best results	borg pb-opt-11.04.03 (complete)	bsolo 3.2 (complete)	clasp 2.0-R4191 (complete)	MinisatID 2.4.8 [DEPRECATED] (complete)	MinisatID 2.4.8-gmp [DEPRECATED] (complete)	MinisatID 2.5.2 (fixed) (complete)	MinisatID 2.5.2-gmp (fixed) (complete)	pwbo 1.1 (complete)	Sat4j CuttingPlanes 2.3.0 (complete)	Sat4j Res//CP 2.3.0 (complete)	Sat4j Resolution 2.3.0 (complete)	SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete)	SCIP spx 2 2011-06-10 (fixed) (complete)	SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete)	SCIP spx E_2 2011-06-10 (fixed) (complete)	wbo 1.6 (complete)
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii16c2.opb	OPT f=861 TT=15.657 T1=0.08	? (MO) TT=197.46	SAT f=861 TT=1798.02 T1=0.17	SAT (TO) f=897 TT=1800.07 T1=1712.95	? (TO) f=868 TT=1800.08 T1=4.85	? (TO) f=868 TT=1800.07 T1=38.99	? (TO) f=868 TT=1800.06 T1=1800	? (TO) f=873 TT=1800.07 T1=1800	SAT (TO) f=861 TT=1800.07 T1=0.08	OPT f=861 TT=19.556 T1=0.97	OPT f=861 TT=15.657 T1=0.97	SAT (TO) f=861 TT=1800.2 T1=0.57	OPT f=861 TT=1238.45 T1=235.55	OPT f=861 TT=1334.19 T1=244.55	OPT f=861 TT=1230.32 T1=233.91	OPT f=861 TT=1335.19 T1=250.41	? (TO) TT=1800.06
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii16d1.opb	SAT f=1024 TT=1797.1 T1=69.04	? (MO) TT=145.06	SAT f=1062 TT=1798.02 T1=628.52	SAT (TO) f=1170 TT=1800.05 T1=299.03	? (TO) f=1124 TT=1800.08 T1=997.95	? (TO) f=1145 TT=1800.13 T1=1631.57	? (TO) f=1145 TT=1800.08 T1=1800	? (TO) f=1172 TT=1800.08 T1=1800	SAT (TO) f=1024 TT=1800.21 T1=69.04	SAT (TO) f=1150 TT=1800.39 T1=1171.53	SAT (TO) f=1069 TT=1800.49 T1=32.19	SAT (TO) f=1025 TT=1800.18 T1=1456.85	SAT (TO) f=1103 TT=1800.17 T1=567.61	SAT f=1024 TT=1797.1 T1=1177.01	SAT (TO) f=1103 TT=1800.12 T1=563.62	SAT f=1074 TT=1797.13 T1=1731.55	? (TO) TT=1800.08
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii16d2.opb	OPT f=785 TT=24.067 T1=0.14	? (MO) TT=198.78	SAT f=785 TT=1798.02 T1=0.25	SAT (TO) f=810 TT=1800.08 T1=1642.08	? (TO) f=787 TT=1800.08 T1=1432.88	? (TO) f=792 TT=1800.08 T1=3.6	? (TO) f=792 TT=1800.06 T1=1800	? (TO) f=792 TT=1800.06 T1=1800	SAT (TO) f=785 TT=1800.23 T1=0.14	OPT f=785 TT=24.067 T1=5.42	OPT f=785 TT=31.46 T1=1.46	SAT (TO) f=785 TT=1800.12 T1=0.79	OPT f=785 TT=1064.06 T1=258.48	OPT f=785 TT=1050.5 T1=254.84	OPT f=785 TT=1059.17 T1=256.96	OPT f=785 TT=1050.15 T1=255.1	? (TO) TT=1800.09
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii16e1.opb	SAT f=1083 TT=1797.14 T1=1070.26	? (MO) TT=194.38	SAT f=1130 TT=1798.03 T1=46.04	SAT (TO) f=1107 TT=1800.06 T1=175.26	? (TO) f=1154 TT=1800.07 T1=871.74	? (TO) f=1179 TT=1800.08 T1=615.5	? (TO) f=1164 TT=1800.09 T1=1800	? (TO) f=1164 TT=1800.05 T1=1800	SAT (TO) f=1127 TT=1800.23 T1=0.15	SAT (TO) f=1165 TT=1800.3 T1=1655.46	SAT (TO) f=1130 TT=1800.43 T1=5.08	SAT (TO) f=1130 TT=1800.19 T1=5.23	SAT (TO) f=1101 TT=1800.16 T1=580.38	SAT f=1101 TT=1797.11 T1=574.45	? (TO) TT=1800.06	SAT f=1083 TT=1797.14 T1=1070.26	? (TO) TT=1800.1
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii16e2.opb	OPT f=520 TT=3.733 T1=0.07	OPT f=520 TT=10.113 T1=9.35	OPT f=520 TT=117.603 T1=0.1	OPT f=520 TT=5.596 T1=0.07	OPT f=520 TT=33.62 T1=0.15	OPT f=520 TT=298.28 T1=0.45	OPT f=520 TT=28.228 T1=28.22	OPT f=520 TT=215.453 T1=215.44	OPT f=520 TT=23.896 T1=0.35	OPT f=520 TT=3.733 T1=0.47	OPT f=520 TT=5.811 T1=0.92	OPT f=520 TT=9.238 T1=0.43	OPT f=520 TT=228.661 T1=112.62	OPT f=520 TT=225.221 T1=110.86	OPT f=520 TT=244.92 T1=120.65	OPT f=520 TT=228.213 T1=111.14	? (TO) TT=1800.1
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii32a1.opb	OPT f=444 TT=3.284 T1=0.08	OPT f=444 TT=11.044 T1=10.26	OPT f=444 TT=8.784 T1=0.08	OPT f=444 TT=5.94 T1=0.12	OPT f=444 TT=35 T1=0.28	OPT f=444 TT=285.034 T1=0.88	OPT f=444 TT=21.838 T1=21.83	OPT f=444 TT=135.274 T1=135.26	OPT f=444 TT=20.934 T1=0.26	OPT f=444 TT=3.284 T1=0.47	OPT f=444 TT=6.683 T1=0.92	OPT f=444 TT=10.847 T1=0.48	OPT f=444 TT=433.584 T1=0.26	OPT f=444 TT=427.194 T1=0.25	OPT f=444 TT=431.987 T1=0.25	OPT f=444 TT=427.745 T1=0.24	? (TO) TT=1800.09
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii32b1.opb	OPT f=191 TT=30.726 T1=1.24	OPT f=191 TT=29.892 T1=29.94	OPT f=191 TT=1510.66 T1=11.76	SAT (TO) f=191 TT=1800.05 T1=5.39	? (TO) f=191 TT=1800.08 T1=104.11	? (TO) f=191 TT=1800.09 T1=725.64	? (TO) f=191 TT=1800.03 T1=1800	? (TO) f=192 TT=1800.06 T1=1800	OPT f=191 TT=236.686 T1=4.47	SAT (TO) f=191 TT=1800.25 T1=23.11	SAT (TO) f=191 TT=1800.22 T1=5.84	SAT (TO) f=191 TT=1800.13 T1=1.24	OPT f=191 TT=32.301 T1=22.95	OPT f=191 TT=30.726 T1=22.19	OPT f=191 TT=30.895 T1=22.35	OPT f=191 TT=30.838 T1=22.28	? (TO) TT=1800.14
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii32b2.opb	OPT f=244 TT=0.721 T1=0.01	OPT f=244 TT=47.865 T1=47.71	OPT f=244 TT=318.542 T1=34.7	OPT f=244 TT=0.721 T1=0.01	OPT f=244 TT=3.572 T1=0.19	OPT f=244 TT=23.765 T1=0.41	OPT f=244 TT=2.968 T1=2.96	OPT f=244 TT=15.01 T1=15	OPT f=244 TT=28.16 T1=9.33	OPT f=244 TT=105.125 T1=1.92	OPT f=244 TT=4.417 T1=2.41	OPT f=244 TT=2.092 T1=0.45	OPT f=244 TT=57.882 T1=12.92	OPT f=244 TT=57.443 T1=12.75	OPT f=244 TT=62.997 T1=14.08	OPT f=244 TT=57.419 T1=12.76	? (TO) TT=1800.08
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii32b3.opb	OPT f=331 TT=3.852 T1=0.02	OPT f=331 TT=5.96 T1=5.37	OPT f=331 TT=29.601 T1=1.7	OPT f=331 TT=3.852 T1=0.02	OPT f=331 TT=29.771 T1=0.38	OPT f=331 TT=217.594 T1=1.98	OPT f=331 TT=20.239 T1=20.23	OPT f=331 TT=121.233 T1=121.22	OPT f=331 TT=61.78 T1=7.86	OPT f=331 TT=462.325 T1=13.14	OPT f=331 TT=11.149 T1=1.9	OPT f=331 TT=5.465 T1=0.54	OPT f=331 TT=143.253 T1=104.6	OPT f=331 TT=141.563 T1=103.27	OPT f=331 TT=142.023 T1=104.31	OPT f=331 TT=156.946 T1=115.03	? (TO) TT=1800.1
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii32b4.opb	OPT f=376 TT=0.218 T1=0.06	OPT f=376 TT=1.991 T1=1.55	OPT f=376 TT=8.684 T1=0.1	OPT f=376 TT=0.218 T1=0.06	OPT f=376 TT=0.604 T1=0.26	OPT f=376 TT=2.041 T1=0.42	OPT f=376 TT=1.174 T1=1.17	OPT f=376 TT=2.916 T1=2.91	OPT f=376 TT=33.519 T1=0.2	OPT f=376 TT=3.895 T1=0.49	OPT f=376 TT=2.694 T1=0.9	OPT f=376 TT=1.35 T1=0.4	OPT f=376 TT=168.552 T1=24.2	OPT f=376 TT=166.6 T1=23.84	OPT f=376 TT=167.787 T1=24.09	OPT f=376 TT=166.918 T1=23.91	? (TO) TT=1800.09
Bench name	Best results	borg pb-opt-11.04.03 (complete)	bsolo 3.2 (complete)	clasp 2.0-R4191 (complete)	MinisatID 2.4.8 [DEPRECATED] (complete)	MinisatID 2.4.8-gmp [DEPRECATED] (complete)	MinisatID 2.5.2 (fixed) (complete)	MinisatID 2.5.2-gmp (fixed) (complete)	pwbo 1.1 (complete)	Sat4j CuttingPlanes 2.3.0 (complete)	Sat4j Res//CP 2.3.0 (complete)	Sat4j Resolution 2.3.0 (complete)	SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete)	SCIP spx 2 2011-06-10 (fixed) (complete)	SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete)	SCIP spx E_2 2011-06-10 (fixed) (complete)	wbo 1.6 (complete)
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii32c1.opb	OPT f=167 TT=15.702 T1=13.5	OPT f=167 TT=14.714 T1=14.7	SAT f=167 TT=1798.01 T1=69.29	SAT (TO) f=178 TT=1800.1 T1=316.55	? (TO) f=167 TT=1800.11 T1=494.79	? (TO) f=170 TT=1800.07 T1=1.9	? (TO) f=169 TT=1800.06 T1=1800	? (TO) f=169 TT=1800.05 T1=1800	OPT f=167 TT=279.847 T1=78.11	SAT (TO) f=178 TT=1800.25 T1=179.33	SAT (TO) f=167 TT=1800.32 T1=36.06	SAT (TO) f=167 TT=1800.07 T1=27.92	OPT f=167 TT=17.522 T1=15.1	OPT f=167 TT=17.652 T1=15.18	OPT f=167 TT=15.677 T1=13.5	OPT f=167 TT=15.702 T1=13.5	? (TO) TT=1800.1
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii32c2.opb	OPT f=207 TT=59.886 T1=30.74	? (MO) TT=202.11	SAT f=207 TT=1798.06 T1=486.28	SAT (TO) f=210 TT=1800.1 T1=362.61	? (TO) f=209 TT=1800.1 T1=249.62	? (TO) f=209 TT=1800.06 T1=1716.97	? (TO) f=211 TT=1800.05 T1=1800	? (TO) f=212 TT=1800.1 T1=1800	OPT f=207 TT=905.922 T1=293.3	SAT (TO) f=210 TT=1800.23 T1=697.83	SAT (TO) f=207 TT=1800.62 T1=122.11	SAT (TO) f=207 TT=1800.12 T1=97.21	OPT f=207 TT=61.03 T1=37.74	OPT f=207 TT=59.886 T1=40.21	OPT f=207 TT=63.384 T1=36.35	OPT f=207 TT=60.56 T1=30.74	? (TO) TT=1800.13
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii32c3.opb	OPT f=261 TT=6.232 T1=2.12	OPT f=261 TT=60.053 T1=58.6	OPT f=261 TT=145.31 T1=15.53	OPT f=261 TT=6.232 T1=2.12	OPT f=261 TT=123.532 T1=12.82	OPT f=261 TT=1041.46 T1=109.17	OPT f=261 TT=81.082 T1=81.07	OPT f=261 TT=520.827 T1=520.79	OPT f=261 TT=156.085 T1=35.74	SAT (TO) f=261 TT=1800.3 T1=211.46	OPT f=261 TT=21.573 T1=10.44	OPT f=261 TT=11.317 T1=3.23	OPT f=261 TT=190.807 T1=40.86	OPT f=261 TT=188.781 T1=40.26	OPT f=261 TT=185.119 T1=40.72	OPT f=261 TT=205.648 T1=44.37	? (TO) TT=1800.12
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii32c4.opb	OPT f=736 TT=8.278 T1=0.09	? (MO) TT=248.07	SAT f=736 TT=1798.03 T1=0.52	SAT (TO) f=736 TT=1800.07 T1=534.68	? (TO) f=736 TT=1800.11 T1=0.88	? (TO) f=736 TT=1800.08 T1=3.54	? (TO) f=736 TT=1800.07 T1=1800	? (TO) f=736 TT=1800.04 T1=1800	SAT (TO) f=736 TT=1800.19 T1=0.09	OPT f=736 TT=8.278 T1=0.71	OPT f=736 TT=11.565 T1=1.56	SAT (TO) f=736 TT=1800.12 T1=0.58	? (TO) TT=1800.06	SAT f=736 TT=1797.4 T1=410.75	SAT (TO) f=736 TT=1800.23 T1=414.76	SAT f=736 TT=1797.7 T1=454.75	? (TO) TT=1800.13
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii32d1.opb	SAT f=285 TT=1797.09 T1=218.76	? (MO) TT=147.72	SAT f=285 TT=1798.01 T1=218.76	SAT (TO) f=291 TT=1800.08 T1=304.3	? (TO) f=286 TT=1800.05 T1=836.12	? (TO) f=290 TT=1800.07 T1=881.91	? (TO) f=286 TT=1800.07 T1=1800	? (TO) f=289 TT=1800.07 T1=1800	SAT (TO) f=285 TT=1800.24 T1=800.74	SAT (TO) f=296 TT=1800.22 T1=1142.35	SAT (TO) f=285 TT=1800.24 T1=331.65	SAT (TO) f=287 TT=1800.11 T1=453.13	SAT (TO) f=285 TT=1800.05 T1=272.71	SAT f=285 TT=1797.09 T1=281.25	SAT (TO) f=285 TT=1800.05 T1=309.55	SAT f=285 TT=1797.1 T1=462.91	? (TO) TT=1800.11
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii32d2.opb	SAT f=372 TT=1797.13 T1=6.27	? (MO) TT=151.66	SAT f=372 TT=1798.01 T1=239.48	SAT (TO) f=372 TT=1800.05 T1=16.42	? (TO) f=372 TT=1800.08 T1=17.88	? (TO) f=372 TT=1800.03 T1=124.86	? (TO) f=372 TT=1800.07 T1=1800	? (TO) f=372 TT=1800.09 T1=1800	SAT (TO) f=372 TT=1800.22 T1=189.77	SAT (TO) f=372 TT=1800.3 T1=385.16	SAT (TO) f=372 TT=1800.15 T1=8.41	SAT (TO) f=372 TT=1800.16 T1=6.27	SAT (TO) f=372 TT=1800.08 T1=519.58	SAT f=372 TT=1797.13 T1=515.49	SAT f=372 TT=1800.04 T1=288.94	SAT f=372 TT=1797.17 T1=277.17	? (TO) TT=1800.06
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii32d3.opb	OPT f=802 TT=1243.51 T1=0.74	? (MO) TT=287.83	SAT f=802 TT=1798.05 T1=14	SAT (TO) f=802 TT=1800.07 T1=226.68	? (TO) f=802 TT=1800.06 T1=7.32	? (TO) f=802 TT=1800.08 T1=16.13	? (TO) f=802 TT=1800.08 T1=1800	? (TO) f=802 TT=1800.05 T1=1800	SAT (TO) f=802 TT=1800.24 T1=8.44	OPT f=802 TT=1243.51 T1=9.68	SAT (TO) f=802 TT=1800.38 T1=0.98	SAT (TO) f=802 TT=1800.1 T1=0.74	? (TO) TT=1800.13	? TT=1797.15	? (TO) TT=1800.06	? TT=1797.13	? (TO) TT=1800.09
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii32e1.opb	OPT f=162 TT=30.634 T1=3.7	OPT f=162 TT=33.732 T1=33.61	SAT f=162 TT=1798.03 T1=33.24	SAT (TO) f=162 TT=1800.04 T1=112.01	? (TO) f=165 TT=1800.05 T1=852.21	? (TO) f=166 TT=1800.05 T1=889.06	? (TO) f=163 TT=1800.07 T1=1800	? (TO) f=164 TT=1800.04 T1=1800	OPT f=162 TT=252.728 T1=87.52	SAT (TO) f=165 TT=1800.23 T1=30.32	SAT (TO) f=162 TT=1800.15 T1=7.33	SAT (TO) f=162 TT=1800.17 T1=3.7	OPT f=162 TT=30.928 T1=11.24	OPT f=162 TT=30.639 T1=11.06	OPT f=162 TT=30.904 T1=11.1	OPT f=162 TT=30.634 T1=11.07	? (TO) TT=1800.09
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii32e2.opb	OPT f=235 TT=85.4 T1=0.77	? (MO) TT=196.13	SAT f=235 TT=1798 T1=2.1	SAT (TO) f=235 TT=1800.06 T1=9.3	? (TO) f=235 TT=1800.07 T1=450.93	? (TO) f=236 TT=1800.09 T1=43.3	? (TO) f=235 TT=1800.09 T1=1800	? (TO) f=235 TT=1800.06 T1=1800	OPT f=235 TT=605.192 T1=28.62	SAT (TO) f=235 TT=1800.24 T1=5.15	SAT (TO) f=235 TT=1800.37 T1=2.85	SAT (TO) f=235 TT=1800.08 T1=0.77	OPT f=235 TT=93.972 T1=27.38	OPT f=235 TT=85.865 T1=26.94	OPT f=235 TT=89.369 T1=27.27	OPT f=235 TT=85.4 T1=27	? (TO) TT=1800.08
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii32e3.opb	OPT f=310 TT=26.86 T1=0.1	OPT f=310 TT=25.434 T1=25.39	OPT f=310 TT=28.354 T1=2.77	OPT f=310 TT=26.86 T1=0.1	OPT f=310 TT=445.336 T1=1.35	? (TO) f=310 TT=1800.06 T1=10.4	OPT f=310 TT=253.323 T1=253.31	OPT f=310 TT=1616.66 T1=1616.6	OPT f=310 TT=72.78 T1=4.11	OPT f=310 TT=809.583 T1=34.29	OPT f=310 TT=77.326 T1=2.4	OPT f=310 TT=36.316 T1=0.64	OPT f=310 TT=244.692 T1=0.18	OPT f=310 TT=218.651 T1=0.15	OPT f=310 TT=220.332 T1=0.15	OPT f=310 TT=219.371 T1=0.14	? (TO) TT=1800.08
Bench name	Best results	borg pb-opt-11.04.03 (complete)	bsolo 3.2 (complete)	clasp 2.0-R4191 (complete)	MinisatID 2.4.8 [DEPRECATED] (complete)	MinisatID 2.4.8-gmp [DEPRECATED] (complete)	MinisatID 2.5.2 (fixed) (complete)	MinisatID 2.5.2-gmp (fixed) (complete)	pwbo 1.1 (complete)	Sat4j CuttingPlanes 2.3.0 (complete)	Sat4j Res//CP 2.3.0 (complete)	Sat4j Resolution 2.3.0 (complete)	SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete)	SCIP spx 2 2011-06-10 (fixed) (complete)	SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete)	SCIP spx E_2 2011-06-10 (fixed) (complete)	wbo 1.6 (complete)
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii32e4.opb	OPT f=364 TT=53.395 T1=0.99	? (MO) TT=284.21	OPT f=364 TT=53.395 T1=2.31	OPT f=364 TT=255.516 T1=15.12	? (TO) f=364 TT=1800.06 T1=8.24	? (TO) f=364 TT=1800.06 T1=62.37	? (TO) f=364 TT=1800.06 T1=1800	? (TO) f=364 TT=1800.07 T1=1800	OPT f=364 TT=111.646 T1=42.81	SAT (TO) f=364 TT=1800.26 T1=199.97	OPT f=364 TT=787.525 T1=2.43	OPT f=364 TT=330.675 T1=0.99	OPT f=364 TT=391.049 T1=201.38	OPT f=364 TT=386.64 T1=198.94	OPT f=364 TT=427.015 T1=219.79	OPT f=364 TT=432.011 T1=222.28	? (TO) TT=1800.11
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii32e5.opb	OPT f=503 TT=16.481 T1=1	OPT f=503 TT=24.474 T1=23.25	OPT f=503 TT=560.119 T1=7.01	OPT f=503 TT=16.481 T1=1	OPT f=503 TT=167.234 T1=6	OPT f=503 TT=1388.57 T1=48.42	OPT f=503 TT=194.883 T1=194.87	OPT f=503 TT=1401.29 T1=1401.24	OPT f=503 TT=265.99 T1=29.03	SAT (TO) f=503 TT=1800.32 T1=129.55	OPT f=503 TT=47.968 T1=4.52	OPT f=503 TT=22.621 T1=2.4	OPT f=503 TT=1027.97 T1=101	OPT f=503 TT=1014.68 T1=99.66	OPT f=503 TT=1021.4 T1=100.18	OPT f=503 TT=1014.51 T1=99.48	? (TO) TT=1800.1
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii8a1.opb	OPT f=54 TT=0.124 T1=0.02	OPT f=54 TT=1.296 T1=1.34	OPT f=54 TT=0.643 T1=0.02	OPT f=54 TT=0.124 T1=0.02	OPT f=54 TT=1.221 T1=0.16	OPT f=54 TT=10.016 T1=1.28	OPT f=54 TT=0.278 T1=0.27	OPT f=54 TT=1.585 T1=1.58	OPT f=54 TT=0.77 T1=0.06	OPT f=54 TT=1.892 T1=0.33	OPT f=54 TT=1.789 T1=2.68	OPT f=54 TT=0.702 T1=0.25	OPT f=54 TT=0.77 T1=0.4	OPT f=54 TT=0.864 T1=0.45	OPT f=54 TT=0.772 T1=0.4	OPT f=54 TT=0.772 T1=0.4	OPT f=54 TT=590.676 T1=590.62
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii8a2.opb	OPT f=139 TT=32.972 T1=9.59	OPT f=139 TT=42.455 T1=42.61	SAT f=141 TT=1798 T1=722.8	SAT (TO) f=151 TT=1800.1 T1=26.28	? (TO) f=142 TT=1800.06 T1=166.06	? (TO) f=142 TT=1800.06 T1=1321.38	? (TO) f=143 TT=1800.06 T1=1800	? (TO) f=143 TT=1800.06 T1=1800	SAT (TO) f=139 TT=1800.1 T1=900.01	SAT (TO) f=139 TT=1800.32 T1=24.74	SAT (TO) f=141 TT=1800.18 T1=2.57	SAT (TO) f=145 TT=1800.12 T1=241.4	OPT f=139 TT=33.008 T1=9.59	OPT f=139 TT=33.027 T1=10.8	OPT f=139 TT=36.417 T1=10.57	OPT f=139 TT=32.972 T1=10.79	? (TO) TT=1800.11
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii8a3.opb	OPT f=191 TT=152.56 T1=34.71	? (MO) TT=198.93	SAT f=201 TT=1798 T1=841.63	SAT (TO) f=230 TT=1800.07 T1=240.64	? (TO) f=197 TT=1800.08 T1=776.29	? (TO) f=200 TT=1800.06 T1=681.83	? (TO) f=199 TT=1800.1 T1=1800	? (TO) f=199 TT=1800.08 T1=1800	SAT (TO) f=191 TT=1800.08 T1=255.86	SAT (TO) f=194 TT=1800.21 T1=1.34	SAT (TO) f=194 TT=1800.12 T1=1.79	SAT (TO) f=194 TT=1800.09 T1=0.29	OPT f=191 TT=152.56 T1=34.92	OPT f=191 TT=153.537 T1=34.71	OPT f=191 TT=152.393 T1=34.87	OPT f=191 TT=166.01 T1=34.93	? (TO) TT=1800.12
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii8a4.opb	OPT f=283 TT=317.69 T1=111.92	? (MO) TT=199.71	SAT f=317 TT=1798.01 T1=134.65	SAT (TO) f=363 TT=1800.08 T1=361.23	? (TO) f=286 TT=1800.07 T1=1095.08	? (TO) f=304 TT=1800.11 T1=280.34	? (TO) f=293 TT=1800.04 T1=1800	? (TO) f=295 TT=1800.06 T1=1800	SAT (TO) f=283 TT=1800.09 T1=900.01	SAT (TO) f=310 TT=1800.31 T1=42.51	SAT (TO) f=311 TT=1800.28 T1=3.85	SAT (TO) f=313 TT=1800.16 T1=127.92	OPT f=283 TT=347.636 T1=124.86	OPT f=283 TT=317.69 T1=111.92	OPT f=283 TT=317.792 T1=114.82	OPT f=283 TT=320.87 T1=115.22	? (TO) TT=1800.11
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii8b1.opb	OPT f=191 TT=3.868 T1=1.6	Wrong Cert. TT=4.86	SAT f=208 TT=1798 T1=1119.74	SAT (TO) f=288 TT=1800.07 T1=1246.01	? (TO) f=194 TT=1800.06 T1=1239.51	? (TO) f=197 TT=1800.07 T1=454.85	? (TO) f=191 TT=1800.1 T1=1800	? (TO) f=191 TT=1800.08 T1=1800	SAT (TO) f=191 TT=1800.26 T1=77.35	SAT (TO) f=221 TT=1800.2 T1=0.29	SAT (TO) f=226 TT=1800.33 T1=1.34	SAT (TO) f=226 TT=1800.09 T1=0.33	OPT f=191 TT=3.918 T1=1.62	OPT f=191 TT=3.868 T1=1.6	OPT f=191 TT=3.985 T1=1.69	OPT f=191 TT=3.979 T1=1.7	? (TO) TT=1800.12
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii8b2.opb	OPT f=379 TT=250.34 T1=52.87	? (MO) TT=198.43	SAT f=411 TT=1798.01 T1=1725.05	SAT (TO) f=525 TT=1800.06 T1=0.01	? (TO) f=388 TT=1800.07 T1=999.86	? (TO) f=396 TT=1800.06 T1=830.41	? (TO) f=404 TT=1800.07 T1=1800	? (TO) f=404 TT=1800.07 T1=1800	SAT (TO) f=379 TT=1800.09 T1=900.01	SAT (TO) f=411 TT=1800.19 T1=0.59	SAT (TO) f=411 TT=1800.25 T1=1.87	SAT (TO) f=423 TT=1800.09 T1=0.37	OPT f=379 TT=255.971 T1=53.44	OPT f=379 TT=250.34 T1=52.87	OPT f=379 TT=279.4 T1=58.33	OPT f=379 TT=250.348 T1=52.91	? (TO) TT=1800.07
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii8b3.opb	OPT f=507 TT=431.4 T1=57.03	? (MO) TT=202.15	SAT f=587 TT=1798.02 T1=161.89	SAT (TO) f=741 TT=1800.08 T1=0.01	? (TO) f=547 TT=1800.07 T1=947.72	? (TO) f=565 TT=1800.05 T1=1778.21	? (TO) f=567 TT=1800.07 T1=1800	? (TO) f=594 TT=1800.1 T1=1800	SAT (TO) f=615 TT=1800.22 T1=1.19	SAT (TO) f=635 TT=1800.25 T1=0.38	SAT (TO) f=581 TT=1800.29 T1=1.39	SAT (TO) f=581 TT=1800.15 T1=0.45	OPT f=507 TT=433.185 T1=57.65	OPT f=507 TT=431.4 T1=57.03	OPT f=507 TT=430.566 T1=57.14	OPT f=507 TT=438.317 T1=62.99	? (TO) TT=1800.07
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii8b4.opb	OPT f=654 TT=614.449 T1=33.19	? (MO) TT=193.42	SAT f=796 TT=1798.01 T1=0.06	SAT (TO) f=971 TT=1800.08 T1=29.45	? (TO) f=724 TT=1800.08 T1=230.75	? (TO) f=724 TT=1800.07 T1=1501.01	? (TO) f=740 TT=1800.07 T1=1800	? (TO) f=744 TT=1800.06 T1=1800	SAT (TO) f=833 TT=1800.08 T1=6.33	SAT (TO) f=708 TT=1800.25 T1=0.49	SAT (TO) f=708 TT=1800.38 T1=1.94	SAT (TO) f=756 TT=1800.15 T1=0.44	OPT f=654 TT=614.449 T1=33.63	OPT f=654 TT=702.732 T1=37.69	OPT f=654 TT=611.134 T1=33.29	OPT f=654 TT=617.58 T1=33.19	? (TO) TT=1800.07
Bench name	Best results	borg pb-opt-11.04.03 (complete)	bsolo 3.2 (complete)	clasp 2.0-R4191 (complete)	MinisatID 2.4.8 [DEPRECATED] (complete)	MinisatID 2.4.8-gmp [DEPRECATED] (complete)	MinisatID 2.5.2 (fixed) (complete)	MinisatID 2.5.2-gmp (fixed) (complete)	pwbo 1.1 (complete)	Sat4j CuttingPlanes 2.3.0 (complete)	Sat4j Res//CP 2.3.0 (complete)	Sat4j Resolution 2.3.0 (complete)	SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete)	SCIP spx 2 2011-06-10 (fixed) (complete)	SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete)	SCIP spx E_2 2011-06-10 (fixed) (complete)	wbo 1.6 (complete)
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii8c1.opb	OPT f=302 TT=149.887 T1=29.85	? (MO) TT=146.53	SAT f=315 TT=1798.01 T1=0.02	SAT (TO) f=439 TT=1800.06 T1=630.71	? (TO) f=369 TT=1800.08 T1=54.85	? (TO) f=369 TT=1800.1 T1=380.84	? (TO) f=392 TT=1800.06 T1=1800	? (TO) f=392 TT=1800.05 T1=1800	SAT (TO) f=309 TT=1800.09 T1=619.71	SAT (TO) f=315 TT=1800.19 T1=0.33	SAT (TO) f=315 TT=1800.32 T1=0.83	SAT (TO) f=315 TT=1800.09 T1=0.32	OPT f=302 TT=161.939 T1=30.37	OPT f=302 TT=149.887 T1=30.05	OPT f=302 TT=147.917 T1=29.94	OPT f=302 TT=167.248 T1=29.85	? (TO) TT=1800.13
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii8c2.opb	SAT f=525 TT=1797.07 T1=117.76	? (MO) TT=193.42	SAT f=647 TT=1798.01 T1=0.05	SAT (TO) f=875 TT=1800.07 T1=0.01	? (TO) f=614 TT=1800.08 T1=722.12	? (TO) f=647 TT=1800.1 T1=1453.56	? (TO) f=625 TT=1800.06 T1=1800	? (TO) f=671 TT=1800.06 T1=1800	SAT (TO) f=643 TT=1800.07 T1=0.06	SAT (TO) f=583 TT=1800.25 T1=1.96	SAT (TO) f=627 TT=1800.36 T1=1.41	SAT (TO) f=564 TT=1800.11 T1=0.53	SAT (TO) f=525 TT=1800.07 T1=121.12	SAT f=525 TT=1797.07 T1=127.26	SAT (TO) f=525 TT=1800.09 T1=117.95	SAT f=525 TT=1797.12 T1=117.76	? (TO) TT=1800.15
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii8d1.opb	SAT f=343 TT=1797.13 T1=251.91	? (MO) TT=150.52	SAT f=374 TT=1798.01 T1=0.02	SAT (TO) f=469 TT=1800.07 T1=405.5	? (TO) f=398 TT=1800.05 T1=0.07	? (TO) f=398 TT=1800.07 T1=0.2	? (TO) f=387 TT=1800.07 T1=1800	? (TO) f=387 TT=1800.07 T1=1800	SAT (TO) f=352 TT=1800.11 T1=798.77	SAT (TO) f=397 TT=1800.29 T1=0.94	SAT (TO) f=391 TT=1800.37 T1=1.34	SAT (TO) f=391 TT=1800.2 T1=0.36	SAT (TO) f=343 TT=1800.06 T1=251.91	SAT f=343 TT=1797.17 T1=290.49	SAT (TO) f=343 TT=1800.07 T1=250.84	SAT f=343 TT=1797.13 T1=258.76	? (TO) TT=1800.06
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii8d2.opb	SAT f=540 TT=1797.11 T1=561.62	? (MO) TT=198.32	SAT f=589 TT=1798.01 T1=0.05	SAT (TO) f=856 TT=1800.07 T1=0.01	? (TO) f=650 TT=1800.08 T1=253.1	? (TO) f=650 TT=1800.06 T1=1688.48	? (TO) f=665 TT=1800.07 T1=1800	? (TO) f=677 TT=1800.07 T1=1800	SAT (TO) f=711 TT=1800.06 T1=0.02	SAT (TO) f=658 TT=1800.3 T1=0.43	SAT (TO) f=646 TT=1800.34 T1=1.4	SAT (TO) f=646 TT=1800.18 T1=0.43	SAT (TO) f=540 TT=1800.08 T1=561.62	SAT f=540 TT=1797.11 T1=605.55	SAT (TO) f=540 TT=1800.08 T1=555.44	SAT f=540 TT=1797.13 T1=605.62	? (TO) TT=1800.08
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii8e1.opb	SAT f=343 TT=1797.11 T1=108.52	? (MO) TT=146.19	SAT f=383 TT=1798 T1=0.11	SAT (TO) f=461 TT=1800.08 T1=0.01	? (TO) f=389 TT=1800.07 T1=132.51	? (TO) f=389 TT=1800.05 T1=1065.27	? (TO) f=402 TT=1800.06 T1=1800	? (TO) f=443 TT=1800.09 T1=1800	SAT (TO) f=363 TT=1800.25 T1=840.5	SAT (TO) f=430 TT=1800.2 T1=438.68	SAT (TO) f=418 TT=1800.3 T1=1.36	SAT (TO) f=405 TT=1800.07 T1=1733.41	SAT (TO) f=343 TT=1800.07 T1=135.63	SAT f=343 TT=1797.11 T1=148.51	SAT (TO) f=343 TT=1800.08 T1=108.48	SAT f=343 TT=1797.11 T1=108.52	? (TO) TT=1800.14
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii8e2.opb	SAT f=494 TT=1797.11 T1=202.98	? (MO) TT=198.34	SAT f=625 TT=1798.02 T1=1502.92	SAT (TO) f=796 TT=1800.05 T1=868.39	? (TO) f=604 TT=1800.04 T1=1185.72	? (TO) f=608 TT=1800.08 T1=821.08	? (TO) f=630 TT=1800.05 T1=1800	? (TO) f=648 TT=1800.08 T1=1800	SAT (TO) f=669 TT=1800.09 T1=0.06	SAT (TO) f=689 TT=1800.35 T1=1.29	SAT (TO) f=590 TT=1800.29 T1=0.88	SAT (TO) f=590 TT=1800.12 T1=0.38	SAT (TO) f=494 TT=1800.06 T1=257.15	SAT f=494 TT=1797.11 T1=255.44	SAT (TO) f=494 TT=1800.08 T1=186.97	SAT f=494 TT=1797.11 T1=202.98	? (TO) TT=1800.15
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-jnh12.opb	OPT f=94 TT=0.004 T1=0	OPT f=94 TT=0.927 T1=1.02	OPT f=94 TT=0.006 T1=0	OPT f=94 TT=0.004 T1=0	OPT f=94 TT=0.017 T1=0.02	OPT f=94 TT=0.034 T1=0.03	OPT f=94 TT=0.014 T1=0.01	OPT f=94 TT=0.037 T1=0.03	OPT f=94 TT=0.062 T1=0.02	OPT f=94 TT=0.509 T1=0.29	OPT f=94 TT=0.496 T1=0.75	OPT f=94 TT=0.383 T1=0.24	OPT f=94 TT=0.05 T1=0.04	OPT f=94 TT=0.052 T1=0.04	OPT f=94 TT=0.05 T1=0.04	OPT f=94 TT=0.049 T1=0.04	? (TO) TT=1800.09
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-jnh17.opb	OPT f=95 TT=0.006 T1=0	OPT f=95 TT=1.068 T1=0.87	OPT f=95 TT=0.405 T1=0.14	OPT f=95 TT=0.006 T1=0	OPT f=95 TT=0.018 T1=0.02	OPT f=95 TT=0.055 T1=0.03	OPT f=95 TT=0.017 T1=0.01	OPT f=95 TT=0.062 T1=0.06	OPT f=95 TT=0.087 T1=0.03	OPT f=95 TT=0.927 T1=0.43	OPT f=95 TT=0.764 T1=2.26	OPT f=95 TT=0.572 T1=0.3	OPT f=95 TT=2.353 T1=0.21	OPT f=95 TT=2.343 T1=0.2	OPT f=95 TT=2.351 T1=0.2	OPT f=95 TT=2.357 T1=0.2	? (TO) TT=1800.12
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-jnh1.opb	OPT f=92 TT=0.018 T1=0	OPT f=92 TT=1.174 T1=1.13	OPT f=92 TT=5.476 T1=1.26	OPT f=92 TT=0.018 T1=0	OPT f=92 TT=0.034 T1=0.02	OPT f=92 TT=0.172 T1=0.09	OPT f=92 TT=0.042 T1=0.04	OPT f=92 TT=0.216 T1=0.21	OPT f=92 TT=0.303 T1=0.11	OPT f=92 TT=1.903 T1=0.57	OPT f=92 TT=1.02 T1=2.77	OPT f=92 TT=0.665 T1=0.34	OPT f=92 TT=11.628 T1=0.55	OPT f=92 TT=11.54 T1=0.54	OPT f=92 TT=11.547 T1=0.54	OPT f=92 TT=11.583 T1=0.54	? (TO) TT=1800.11
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-jnh201.opb	OPT f=84 TT=2.621 T1=1.86	OPT f=84 TT=9.48 T1=8.76	OPT f=84 TT=246.52 T1=207.87	OPT f=84 TT=2.621 T1=1.86	OPT f=84 TT=24.366 T1=7.19	OPT f=84 TT=186.491 T1=55.33	OPT f=84 TT=10.798 T1=10.79	OPT f=84 TT=57.377 T1=57.37	OPT f=84 TT=76.742 T1=38.37	SAT (TO) f=85 TT=1800.2 T1=1435.47	OPT f=84 TT=20.321 T1=11.32	OPT f=84 TT=9.164 T1=7.42	OPT f=84 TT=20.474 T1=15.02	OPT f=84 TT=18.712 T1=13.76	OPT f=84 TT=18.662 T1=13.69	OPT f=84 TT=20.975 T1=15.43	? (TO) TT=1800.14
Bench name	Best results	borg pb-opt-11.04.03 (complete)	bsolo 3.2 (complete)	clasp 2.0-R4191 (complete)	MinisatID 2.4.8 [DEPRECATED] (complete)	MinisatID 2.4.8-gmp [DEPRECATED] (complete)	MinisatID 2.5.2 (fixed) (complete)	MinisatID 2.5.2-gmp (fixed) (complete)	pwbo 1.1 (complete)	Sat4j CuttingPlanes 2.3.0 (complete)	Sat4j Res//CP 2.3.0 (complete)	Sat4j Resolution 2.3.0 (complete)	SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete)	SCIP spx 2 2011-06-10 (fixed) (complete)	SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete)	SCIP spx E_2 2011-06-10 (fixed) (complete)	wbo 1.6 (complete)
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-jnh204.opb	OPT f=93 TT=0.01 T1=0	OPT f=93 TT=1.139 T1=0.99	OPT f=93 TT=7.887 T1=4.24	OPT f=93 TT=0.01 T1=0	OPT f=93 TT=0.021 T1=0.02	OPT f=93 TT=0.064 T1=0.05	OPT f=93 TT=0.02 T1=0.02	OPT f=93 TT=0.067 T1=0.06	OPT f=93 TT=0.171 T1=0.08	OPT f=93 TT=1.148 T1=0.49	OPT f=93 TT=0.956 T1=1.76	OPT f=93 TT=0.661 T1=0.32	OPT f=93 TT=0.704 T1=0.68	OPT f=93 TT=0.695 T1=0.68	OPT f=93 TT=0.703 T1=0.68	OPT f=93 TT=0.697 T1=0.68	? (TO) TT=1800.1
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-jnh205.opb	OPT f=94 TT=0.005 T1=0	OPT f=94 TT=1.017 T1=1.16	OPT f=94 TT=1.228 T1=0.05	OPT f=94 TT=0.005 T1=0	OPT f=94 TT=0.02 T1=0.01	OPT f=94 TT=0.05 T1=0.04	OPT f=94 TT=0.016 T1=0.01	OPT f=94 TT=0.052 T1=0.05	OPT f=94 TT=0.044 T1=0.01	OPT f=94 TT=0.819 T1=0.37	OPT f=94 TT=0.94 T1=1.25	OPT f=94 TT=0.498 T1=0.28	OPT f=94 TT=0.242 T1=0.22	OPT f=94 TT=0.213 T1=0.2	OPT f=94 TT=0.22 T1=0.2	OPT f=94 TT=0.239 T1=0.22	? (TO) TT=1800.08
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-jnh207.opb	OPT f=95 TT=0.006 T1=0	OPT f=95 TT=0.978 T1=0.89	OPT f=95 TT=0.75 T1=0.08	OPT f=95 TT=0.006 T1=0	OPT f=95 TT=0.016 T1=0.01	OPT f=95 TT=0.034 T1=0.03	OPT f=95 TT=0.014 T1=0.01	OPT f=95 TT=0.037 T1=0.03	OPT f=95 TT=0.046 T1=0.01	OPT f=95 TT=0.695 T1=0.35	OPT f=95 TT=0.605 T1=0.77	OPT f=95 TT=0.492 T1=0.27	OPT f=95 TT=0.487 T1=0.44	OPT f=95 TT=0.478 T1=0.44	OPT f=95 TT=0.486 T1=0.44	OPT f=95 TT=0.525 T1=0.48	? (TO) TT=1800.08
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-jnh209.opb	OPT f=93 TT=0.007 T1=0	OPT f=93 TT=1.116 T1=0.88	OPT f=93 TT=4.415 T1=0.71	OPT f=93 TT=0.007 T1=0	OPT f=93 TT=0.03 T1=0.03	OPT f=93 TT=0.138 T1=0.03	OPT f=93 TT=0.028 T1=0.03	OPT f=93 TT=0.123 T1=0.12	OPT f=93 TT=0.135 T1=0.05	OPT f=93 TT=1.869 T1=0.36	OPT f=93 TT=1.105 T1=1.26	OPT f=93 TT=0.676 T1=0.28	OPT f=93 TT=7.489 T1=0.49	OPT f=93 TT=7.413 T1=0.49	OPT f=93 TT=7.464 T1=0.49	OPT f=93 TT=7.468 T1=0.48	? (TO) TT=1800.14
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-jnh210.opb	OPT f=88 TT=0.041 T1=0.01	OPT f=88 TT=1.234 T1=0.95	OPT f=88 TT=1.834 T1=1.51	OPT f=88 TT=0.041 T1=0.01	OPT f=88 TT=0.333 T1=0.21	OPT f=88 TT=2.477 T1=1.57	OPT f=88 TT=0.209 T1=0.2	OPT f=88 TT=1.144 T1=1.14	OPT f=88 TT=0.705 T1=0.35	OPT f=88 TT=2.738 T1=0.63	OPT f=88 TT=1.541 T1=2.77	OPT f=88 TT=0.759 T1=0.35	OPT f=88 TT=2.313 T1=2.3	OPT f=88 TT=2.305 T1=2.3	OPT f=88 TT=2.324 T1=2.31	OPT f=88 TT=2.322 T1=2.31	? (TO) TT=1800.1
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-jnh212.opb	OPT f=97 TT=0.006 T1=0	OPT f=97 TT=0.477 T1=0.88	OPT f=97 TT=2.329 T1=0.35	OPT f=97 TT=0.006 T1=0	OPT f=97 TT=0.016 T1=0.01	OPT f=97 TT=0.033 T1=0.03	OPT f=97 TT=0.015 T1=0.01	OPT f=97 TT=0.036 T1=0.03	OPT f=97 TT=0.099 T1=0.03	OPT f=97 TT=0.761 T1=0.4	OPT f=97 TT=0.8 T1=1.25	OPT f=97 TT=0.564 T1=0.3	OPT f=97 TT=0.655 T1=0.62	OPT f=97 TT=0.647 T1=0.61	OPT f=97 TT=0.654 T1=0.62	OPT f=97 TT=0.65 T1=0.61	? (TO) TT=1800.09
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-jnh213.opb	OPT f=92 TT=0.005 T1=0	OPT f=92 TT=0.957 T1=1.05	OPT f=92 TT=0.13 T1=0.06	OPT f=92 TT=0.005 T1=0	OPT f=92 TT=0.023 T1=0.02	OPT f=92 TT=0.087 T1=0.09	OPT f=92 TT=0.021 T1=0.02	OPT f=92 TT=0.099 T1=0.09	OPT f=92 TT=0.109 T1=0.05	OPT f=92 TT=0.915 T1=0.35	OPT f=92 TT=0.759 T1=1.25	OPT f=92 TT=0.486 T1=0.26	OPT f=92 TT=0.105 T1=0.1	OPT f=92 TT=0.1 T1=0.09	OPT f=92 TT=0.106 T1=0.1	OPT f=92 TT=0.11 T1=0.1	? (TO) TT=1800.08
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-jnh217.opb	OPT f=89 TT=0.122 T1=0.09	OPT f=89 TT=1.453 T1=1.25	OPT f=89 TT=53.554 T1=27.76	OPT f=89 TT=0.122 T1=0.09	OPT f=89 TT=0.245 T1=0.18	OPT f=89 TT=1.656 T1=1.22	OPT f=89 TT=0.196 T1=0.19	OPT f=89 TT=1.056 T1=1.05	OPT f=89 TT=1.601 T1=0.44	OPT f=89 TT=9.298 T1=5.59	OPT f=89 TT=1.994 T1=3.77	OPT f=89 TT=0.963 T1=0.48	OPT f=89 TT=25.871 T1=16.69	OPT f=89 TT=24.054 T1=15.55	OPT f=89 TT=24.036 T1=15.54	OPT f=89 TT=24.106 T1=15.58	? (TO) TT=1800.07
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-jnh218.opb	OPT f=90 TT=0.008 T1=0	OPT f=90 TT=1.142 T1=1.11	OPT f=90 TT=0.762 T1=0.53	OPT f=90 TT=0.008 T1=0	OPT f=90 TT=0.035 T1=0.03	OPT f=90 TT=0.164 T1=0.13	OPT f=90 TT=0.028 T1=0.02	OPT f=90 TT=0.123 T1=0.12	OPT f=90 TT=0.228 T1=0.11	OPT f=90 TT=1.764 T1=0.54	OPT f=90 TT=1.665 T1=2.77	OPT f=90 TT=0.639 T1=0.35	OPT f=90 TT=2.579 T1=0.09	OPT f=90 TT=2.563 T1=0.09	OPT f=90 TT=2.576 T1=0.09	OPT f=90 TT=2.577 T1=0.09	? (TO) TT=1800.06
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-jnh220.opb	OPT f=94 TT=0.011 T1=0.02	OPT f=94 TT=1.107 T1=0.87	OPT f=94 TT=2.936 T1=0.14	OPT f=94 TT=0.011 T1=0.03	OPT f=94 TT=0.023 T1=0.02	OPT f=94 TT=0.077 T1=0.06	OPT f=94 TT=0.022 T1=0.02	OPT f=94 TT=0.077 T1=0.07	OPT f=94 TT=0.178 T1=0.06	OPT f=94 TT=1.137 T1=0.48	OPT f=94 TT=0.835 T1=1.75	OPT f=94 TT=0.631 T1=0.34	OPT f=94 TT=0.581 T1=0.53	OPT f=94 TT=0.573 T1=0.53	OPT f=94 TT=0.58 T1=0.53	OPT f=94 TT=0.644 T1=0.59	? (TO) TT=1800.08
Bench name	Best results	borg pb-opt-11.04.03 (complete)	bsolo 3.2 (complete)	clasp 2.0-R4191 (complete)	MinisatID 2.4.8 [DEPRECATED] (complete)	MinisatID 2.4.8-gmp [DEPRECATED] (complete)	MinisatID 2.5.2 (fixed) (complete)	MinisatID 2.5.2-gmp (fixed) (complete)	pwbo 1.1 (complete)	Sat4j CuttingPlanes 2.3.0 (complete)	Sat4j Res//CP 2.3.0 (complete)	Sat4j Resolution 2.3.0 (complete)	SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete)	SCIP spx 2 2011-06-10 (fixed) (complete)	SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete)	SCIP spx E_2 2011-06-10 (fixed) (complete)	wbo 1.6 (complete)
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-jnh301.opb	OPT f=95 TT=0.008 T1=0	OPT f=95 TT=0.469 T1=0.87	OPT f=95 TT=1.007 T1=0.08	OPT f=95 TT=0.008 T1=0	OPT f=95 TT=0.019 T1=0.01	OPT f=95 TT=0.046 T1=0.03	OPT f=95 TT=0.016 T1=0.01	OPT f=95 TT=0.048 T1=0.04	OPT f=95 TT=0.051 T1=0.01	OPT f=95 TT=1.065 T1=0.46	OPT f=95 TT=0.878 T1=0.76	OPT f=95 TT=0.615 T1=0.28	OPT f=95 TT=0.615 T1=0.58	OPT f=95 TT=0.606 T1=0.57	OPT f=95 TT=0.613 T1=0.58	OPT f=95 TT=0.682 T1=0.65	? (TO) TT=1800.09
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-jnh7.opb	OPT f=89 TT=0.009 T1=0	OPT f=89 TT=1.113 T1=0.96	OPT f=89 TT=0.641 T1=0.39	OPT f=89 TT=0.009 T1=0	OPT f=89 TT=0.039 T1=0.03	OPT f=89 TT=0.188 T1=0.12	OPT f=89 TT=0.037 T1=0.03	OPT f=89 TT=0.197 T1=0.19	OPT f=89 TT=0.188 T1=0.09	OPT f=89 TT=1.352 T1=0.33	OPT f=89 TT=0.764 T1=2.26	OPT f=89 TT=0.59 T1=0.27	OPT f=89 TT=0.078 T1=0.05	OPT f=89 TT=0.074 T1=0.05	OPT f=89 TT=0.08 T1=0.05	OPT f=89 TT=0.077 T1=0.04	? (TO) TT=1800.08
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-par16-1-c.opb	OPT f=317 TT=0.199 T1=0.13	OPT f=317 TT=51.389 T1=50.83	OPT f=317 TT=3.799 T1=0.28	OPT f=317 TT=0.199 T1=0.14	OPT f=317 TT=0.761 T1=0.13	OPT f=317 TT=5.138 T1=0.25	OPT f=317 TT=0.332 T1=0.33	OPT f=317 TT=1.087 T1=1.08	OPT f=317 TT=3.804 T1=0.16	OPT f=317 TT=2.31 T1=1.27	OPT f=317 TT=2.706 T1=1.27	OPT f=317 TT=1.425 T1=0.75	OPT f=317 TT=263.569 T1=261.89	OPT f=317 TT=261.611 T1=259.94	OPT f=317 TT=214.112 T1=206.43	OPT f=317 TT=236.125 T1=227.65	? (TO) TT=1800.1
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par16-1.opb	OPT f=1015 TT=0.397 T1=0.07	OPT f=1015 TT=55.59 T1=54.61	OPT f=1015 TT=2.818 T1=0.4	OPT f=1015 TT=0.397 T1=0.18	OPT f=1015 TT=1.919 T1=0.6	OPT f=1015 TT=14.078 T1=0.93	OPT f=1015 TT=1.418 T1=1.41	OPT f=1015 TT=6.569 T1=6.56	OPT f=1015 TT=0.594 T1=0.07	OPT f=1015 TT=4.422 T1=2.22	OPT f=1015 TT=4.723 T1=0.85	OPT f=1015 TT=2.413 T1=0.59	OPT f=1015 TT=286.716 T1=282.46	OPT f=1015 TT=259.049 T1=258	OPT f=1015 TT=263.012 T1=262.53	OPT f=1015 TT=261.488 T1=260.88	OPT f=1015 TT=1.38 T1=1.37
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-par16-2-c.opb	OPT f=349 TT=0.306 T1=0.05	OPT f=349 TT=51.427 T1=50.93	OPT f=349 TT=3.837 T1=0.48	OPT f=349 TT=0.306 T1=0.05	OPT f=349 TT=1.456 T1=0.05	OPT f=349 TT=10.095 T1=0.09	OPT f=349 TT=0.523 T1=0.52	OPT f=349 TT=1.955 T1=1.95	OPT f=349 TT=5.612 T1=0.16	OPT f=349 TT=2.949 T1=1.62	OPT f=349 TT=2.924 T1=1.28	OPT f=349 TT=1.583 T1=1.05	OPT f=349 TT=142.63 T1=102.72	OPT f=349 TT=141.283 T1=101.71	OPT f=349 TT=142.057 T1=102.29	OPT f=349 TT=141.598 T1=101.93	? (TO) TT=1800.09
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par16-2.opb	OPT f=1015 TT=0.6 T1=0.09	OPT f=1015 TT=53.514 T1=52.89	OPT f=1015 TT=5.199 T1=0.31	OPT f=1015 TT=0.6 T1=0.35	OPT f=1015 TT=8.544 T1=0.28	OPT f=1015 TT=89.552 T1=0.53	OPT f=1015 TT=2.12 T1=2.11	OPT f=1015 TT=12.729 T1=12.73	OPT f=1015 TT=0.845 T1=0.09	OPT f=1015 TT=5.78 T1=1.94	OPT f=1015 TT=5.547 T1=0.86	OPT f=1015 TT=2.685 T1=0.49	OPT f=1015 TT=194.884 T1=155.78	OPT f=1015 TT=176.76 T1=141.44	OPT f=1015 TT=166.76 T1=124.95	OPT f=1015 TT=165.667 T1=124.1	OPT f=1015 TT=1.609 T1=1.61
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-par16-3-c.opb	OPT f=334 TT=0.292 T1=0.03	OPT f=334 TT=51.217 T1=50.71	OPT f=334 TT=4.478 T1=0.65	OPT f=334 TT=0.292 T1=0.14	OPT f=334 TT=0.904 T1=0.03	OPT f=334 TT=7.535 T1=0.07	OPT f=334 TT=0.356 T1=0.35	OPT f=334 TT=1.56 T1=1.56	OPT f=334 TT=1.7 T1=0.33	OPT f=334 TT=2.973 T1=1.39	OPT f=334 TT=2.664 T1=0.77	OPT f=334 TT=1.397 T1=0.61	OPT f=334 TT=167.402 T1=155.23	OPT f=334 TT=165.179 T1=153.11	OPT f=334 TT=166.497 T1=154.33	OPT f=334 TT=165.825 T1=153.7	? (TO) TT=1800.06
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par16-3.opb	OPT f=1015 TT=0.425 T1=0.21	OPT f=1015 TT=52.283 T1=51.52	OPT f=1015 TT=4.954 T1=2.58	OPT f=1015 TT=0.425 T1=0.36	OPT f=1015 TT=1.765 T1=0.63	OPT f=1015 TT=13.472 T1=1.15	OPT f=1015 TT=2.075 T1=2.07	OPT f=1015 TT=14.41 T1=14.4	OPT f=1015 TT=0.643 T1=0.21	OPT f=1015 TT=4.351 T1=1.56	OPT f=1015 TT=3.728 T1=0.86	OPT f=1015 TT=2.01 T1=0.74	OPT f=1015 TT=163.03 T1=141.8	OPT f=1015 TT=174.746 T1=159.47	OPT f=1015 TT=167.244 T1=150.99	OPT f=1015 TT=168.799 T1=148.48	OPT f=1015 TT=8.238 T1=8.25
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-par16-4-c.opb	OPT f=324 TT=0.117 T1=0.09	OPT f=324 TT=51.464 T1=50.98	OPT f=324 TT=1.9 T1=0.25	OPT f=324 TT=0.117 T1=0.09	OPT f=324 TT=0.413 T1=0.11	OPT f=324 TT=2.336 T1=0.19	OPT f=324 TT=0.149 T1=0.14	OPT f=324 TT=0.396 T1=0.39	OPT f=324 TT=1.366 T1=0.21	OPT f=324 TT=1.948 T1=0.56	OPT f=324 TT=1.916 T1=0.79	OPT f=324 TT=1.076 T1=0.44	OPT f=324 TT=211.274 T1=194.86	OPT f=324 TT=213.709 T1=197.67	OPT f=324 TT=237.311 T1=222.45	OPT f=324 TT=218.113 T1=204.48	? (TO) TT=1800.11
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par16-4.opb	OPT f=1015 TT=0.224 T1=0.07	OPT f=1015 TT=51.506 T1=50.86	OPT f=1015 TT=0.875 T1=0.48	OPT f=1015 TT=0.224 T1=0.16	OPT f=1015 TT=3.67 T1=0.17	OPT f=1015 TT=41.854 T1=0.33	OPT f=1015 TT=2.476 T1=2.47	OPT f=1015 TT=19.882 T1=19.88	OPT f=1015 TT=0.304 T1=0.07	OPT f=1015 TT=3.04 T1=1.23	OPT f=1015 TT=3.443 T1=0.84	OPT f=1015 TT=1.784 T1=0.63	OPT f=1015 TT=67.109 T1=54.96	OPT f=1015 TT=64.855 T1=52.71	OPT f=1015 TT=65.094 T1=52.92	OPT f=1015 TT=64.777 T1=52.66	OPT f=1015 TT=41.163 T1=41.15
Bench name	Best results	borg pb-opt-11.04.03 (complete)	bsolo 3.2 (complete)	clasp 2.0-R4191 (complete)	MinisatID 2.4.8 [DEPRECATED] (complete)	MinisatID 2.4.8-gmp [DEPRECATED] (complete)	MinisatID 2.5.2 (fixed) (complete)	MinisatID 2.5.2-gmp (fixed) (complete)	pwbo 1.1 (complete)	Sat4j CuttingPlanes 2.3.0 (complete)	Sat4j Res//CP 2.3.0 (complete)	Sat4j Resolution 2.3.0 (complete)	SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete)	SCIP spx 2 2011-06-10 (fixed) (complete)	SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete)	SCIP spx E_2 2011-06-10 (fixed) (complete)	wbo 1.6 (complete)
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-par16-5-c.opb	OPT f=341 TT=0.194 T1=0.04	OPT f=341 TT=51.442 T1=51.07	OPT f=341 TT=3.158 T1=0.93	OPT f=341 TT=0.194 T1=0.04	OPT f=341 TT=0.845 T1=0.29	OPT f=341 TT=4.289 T1=0.5	OPT f=341 TT=0.556 T1=0.55	OPT f=341 TT=3.041 T1=3.04	OPT f=341 TT=2.503 T1=0.2	OPT f=341 TT=2.583 T1=0.5	OPT f=341 TT=2.646 T1=0.78	OPT f=341 TT=1.414 T1=0.44	OPT f=341 TT=451.078 T1=451.03	OPT f=341 TT=240.189 T1=239.51	OPT f=341 TT=563.512 T1=563.47	OPT f=341 TT=511.428 T1=511.37	? (TO) TT=1800.1
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par16-5.opb	OPT f=1015 TT=0.288 T1=0.05	OPT f=1015 TT=52 T1=51.35	OPT f=1015 TT=1.616 T1=0.88	OPT f=1015 TT=0.288 T1=0.28	OPT f=1015 TT=2.398 T1=0.45	OPT f=1015 TT=22.448 T1=0.84	OPT f=1015 TT=1.836 T1=1.83	OPT f=1015 TT=15.914 T1=15.91	OPT f=1015 TT=0.436 T1=0.05	OPT f=1015 TT=3.674 T1=2.28	OPT f=1015 TT=4.585 T1=1.35	OPT f=1015 TT=2.265 T1=0.9	OPT f=1015 TT=236.678 T1=160.86	OPT f=1015 TT=211.633 T1=97.14	OPT f=1015 TT=255.661 T1=181.67	OPT f=1015 TT=242.477 T1=157.7	OPT f=1015 TT=1.15 T1=1.15
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-par32-1-c.opb		? (MO) TT=192.27	? TT=1798	? (TO) TT=1800.06	? (TO) TT=1800.05	? (TO) TT=1800.07	? (TO) TT=1800.06	? (TO) TT=1800.05	? (TO) TT=1800.08	? (TO) TT=1800.32	? (TO) TT=1800.26	? (TO) TT=1800.08	? (TO) TT=1800.08	? TT=1797.11	? (TO) TT=1800.05	? TT=1797.11	? (TO) TT=1800.07
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par32-1.opb		? (MO) TT=191.73	? TT=1798.01	? (TO) TT=1800.07	? (TO) TT=1800.06	? (TO) TT=1800.08	? (TO) TT=1800.05	? (TO) TT=1800.06	? (TO) TT=1800.23	? (TO) TT=1800.34	? (TO) TT=1800.44	? (TO) TT=1800.08	? (TO) TT=1800.05	? TT=1797.1	? (TO) TT=1800.07	? TT=1797.13	? (TO) TT=1800.11
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-par32-2-c.opb		? (MO) TT=194.63	? TT=1798	? (TO) TT=1800.05	? (TO) TT=1800.06	? (TO) TT=1800.11	? (TO) TT=1800.05	? (TO) TT=1800.07	? (TO) TT=1800.08	? (TO) TT=1800.36	? (TO) TT=1800.36	? (TO) TT=1800.13	? (TO) TT=1800.07	? TT=1797.14	? (TO) TT=1800.28	? TT=1797.15	? (TO) TT=1800.08
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par32-2.opb		? (MO) TT=194.77	? TT=1798	? (TO) TT=1800.09	? (TO) TT=1800.08	? (TO) TT=1800.06	? (TO) TT=1800.06	? (TO) TT=1800.05	? (TO) TT=1800.21	? (TO) TT=1800.33	? (TO) TT=1800.23	? (TO) TT=1800.13	? (TO) TT=1800.06	? TT=1797.14	? TT=1800.08	? TT=1797.13	? (TO) TT=1800.09
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-par32-3-c.opb		? (MO) TT=192.01	? TT=1798	? (TO) TT=1800.06	? (TO) f=1325 TT=1800.08 T1=668.05	? (TO) f=1325 TT=1800.06 T1=1182.51	? (TO) TT=1800.06	? (TO) TT=1800.05	? (TO) TT=1800.06	? (TO) TT=1800.39	? (TO) TT=1800.26	? (TO) TT=1800.07	? (TO) TT=1800.09	? TT=1797.17	? (TO) TT=1800.03	? TT=1797.16	? (TO) TT=1800.12
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par32-3.opb		? (MO) TT=194.55	? TT=1798	? (TO) TT=1800.06	? (TO) TT=1800.08	? (TO) TT=1800.05	? (TO) TT=1800.04	? (TO) TT=1800.08	? (TO) TT=1800.24	? (TO) TT=1800.44	? (TO) TT=1800.25	? (TO) TT=1800.14	? (TO) TT=1800.06	? TT=1797.14	? (TO) TT=1800.07	? TT=1797.22	? (TO) TT=1800.13
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-par32-4-c.opb		? (MO) TT=195.15	? TT=1798	? (TO) TT=1800.07	? (TO) TT=1800.06	? (TO) TT=1800.12	? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.21	? (TO) TT=1800.31	? (TO) TT=1800.24	? (TO) TT=1800.09	? (TO) TT=1800.06	? TT=1797.11	? (TO) TT=1800.09	? TT=1797.14	? (TO) TT=1800.08
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par32-4.opb		? (MO) TT=195.03	? TT=1798	? (TO) TT=1800.05	? (TO) TT=1800.07	? (TO) TT=1800.08	? (TO) TT=1800.07	? (TO) TT=1800.05	? (TO) TT=1800.04	? (TO) TT=1800.46	? (TO) TT=1800.29	? (TO) TT=1800.13	? TT=1800.08	? TT=1797.14	? (TO) TT=1800.08	? TT=1797.12	? (TO) TT=1800.13
Bench name	Best results	borg pb-opt-11.04.03 (complete)	bsolo 3.2 (complete)	clasp 2.0-R4191 (complete)	MinisatID 2.4.8 [DEPRECATED] (complete)	MinisatID 2.4.8-gmp [DEPRECATED] (complete)	MinisatID 2.5.2 (fixed) (complete)	MinisatID 2.5.2-gmp (fixed) (complete)	pwbo 1.1 (complete)	Sat4j CuttingPlanes 2.3.0 (complete)	Sat4j Res//CP 2.3.0 (complete)	Sat4j Resolution 2.3.0 (complete)	SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete)	SCIP spx 2 2011-06-10 (fixed) (complete)	SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete)	SCIP spx E_2 2011-06-10 (fixed) (complete)	wbo 1.6 (complete)
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-par32-5-c.opb		? (MO) TT=194.36	? TT=1798	? (TO) TT=1800.09	? (TO) TT=1800.04	? (TO) TT=1800.06	? (TO) TT=1800.07	? (TO) TT=1800.08	? (TO) TT=1800.06	? (TO) TT=1800.36	? (TO) TT=1800.29	? (TO) TT=1800.15	? (TO) TT=1800.05	? TT=1797.15	? (TO) TT=1800.07	? TT=1797.13	? (TO) TT=1800.05
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par32-5.opb		? (MO) TT=191.56	? TT=1798	? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.06	? (TO) TT=1800.05	? (TO) TT=1800.06	? (TO) TT=1800.07	? (TO) TT=1800.35	? (TO) TT=1800.3	? (TO) TT=1800.07	? (TO) TT=1800.04	? TT=1797.13	? (TO) TT=1800.07	? TT=1797.16	? (TO) TT=1800.1
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-ssa0432-003.opb	UNSAT TT=0.005	UNSAT TT=0.574	UNSAT TT=0.009	UNSAT TT=0.005	UNSAT TT=0.044	UNSAT TT=0.078	UNSAT TT=0.039	UNSAT TT=0.075	UNSAT TT=0.01	UNSAT TT=0.499	UNSAT TT=0.551	UNSAT TT=0.473	UNSAT TT=0.072	UNSAT TT=0.07	UNSAT TT=0.079	UNSAT TT=0.073	UNSAT TT=0.041
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-ssa2670-130.opb	UNSAT TT=0.013	UNSAT TT=12.196	UNSAT TT=0.043	UNSAT TT=0.013	UNSAT TT=0.287	UNSAT TT=0.495	UNSAT TT=0.283	UNSAT TT=0.491	UNSAT TT=0.026	UNSAT TT=0.974	UNSAT TT=1.06	UNSAT TT=0.806	UNSAT TT=0.468	UNSAT TT=0.457	UNSAT TT=0.464	UNSAT TT=0.457	UNSAT TT=1.224
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-ssa2670-141.opb	UNSAT TT=0.015	UNSAT TT=11.01	UNSAT TT=0.04	UNSAT TT=0.015	UNSAT TT=0.17	UNSAT TT=0.328	UNSAT TT=0.167	UNSAT TT=0.316	UNSAT TT=0.027	UNSAT TT=1.038	UNSAT TT=0.973	UNSAT TT=0.773	UNSAT TT=8.859	UNSAT TT=8.011	UNSAT TT=8.929	UNSAT TT=8.034	UNSAT TT=0.477
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-ssa6288-047.opb	UNSAT TT=0.045	UNSAT TT=2.582	UNSAT TT=0.117	UNSAT TT=0.045	UNSAT TT=14.02	UNSAT TT=27.233	UNSAT TT=15.513	UNSAT TT=27.244	UNSAT TT=0.12	UNSAT TT=1.215	UNSAT TT=1.605	UNSAT TT=1.268	UNSAT TT=0.914	UNSAT TT=0.847	UNSAT TT=0.947	UNSAT TT=0.802	UNSAT TT=0.105
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-ssa7552-038.opb	OPT f=1448 TT=6.367 T1=0.03	Wrong Cert. TT=9.85	SAT f=1448 TT=1798 T1=0.03	SAT (TO) f=1450 TT=1800.06 T1=0.01	? (TO) f=1448 TT=1800.07 T1=239.26	? (TO) f=1449 TT=1800.05 T1=960.03	? (TO) f=1452 TT=1800.08 T1=1800	? (TO) f=1452 TT=1800.06 T1=1800	SAT (TO) f=1448 TT=1800.09 T1=0.03	SAT (TO) f=1448 TT=1800.27 T1=0.39	SAT (TO) f=1448 TT=1801.05 T1=1.44	SAT (TO) f=1448 TT=1800.1 T1=3.73	OPT f=1448 TT=6.367 T1=2.52	OPT f=1448 TT=6.462 T1=2.46	OPT f=1448 TT=6.922 T1=2.73	OPT f=1448 TT=11.991 T1=2.49	? (TO) TT=1800.12
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-ssa7552-158.opb	OPT f=1327 TT=0.166 T1=0.01	OPT f=1327 TT=0.845 T1=1.08	SAT f=1327 TT=1798 T1=0.02	SAT (TO) f=1327 TT=1800.07 T1=0.01	? (TO) f=1327 TT=1800.07 T1=70.11	? (TO) f=1327 TT=1800.09 T1=864.88	? (TO) f=1327 TT=1800.05 T1=1800	? (TO) f=1327 TT=1800.06 T1=1800	OPT f=1327 TT=0.338 T1=0.02	SAT (TO) f=1327 TT=1800.27 T1=0.4	SAT (TO) f=1327 TT=1800.44 T1=0.88	SAT (TO) f=1327 TT=1800.18 T1=0.37	OPT f=1327 TT=0.278 T1=0.12	OPT f=1327 TT=0.267 T1=0.12	OPT f=1327 TT=0.275 T1=0.12	OPT f=1327 TT=0.271 T1=0.11	OPT f=1327 TT=0.166 T1=0.16
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-ssa7552-159.opb	OPT f=1327 TT=0.233 T1=0.01	OPT f=1327 TT=1.677 T1=1.74	SAT f=1327 TT=1798 T1=0.02	SAT (TO) f=1327 TT=1800.05 T1=0.01	? (TO) f=1327 TT=1800.07 T1=11.62	? (TO) f=1327 TT=1800.06 T1=130.69	? (TO) f=1327 TT=1800.05 T1=1800	? (TO) f=1327 TT=1800.04 T1=1800	OPT f=1327 TT=0.425 T1=0.02	SAT (TO) f=1327 TT=1800.23 T1=0.37	SAT (TO) f=1327 TT=1800.38 T1=0.86	SAT (TO) f=1327 TT=1800.13 T1=0.36	OPT f=1327 TT=1.065 T1=0.13	OPT f=1327 TT=1.035 T1=0.12	OPT f=1327 TT=1.049 T1=0.12	OPT f=1327 TT=1.042 T1=0.12	OPT f=1327 TT=0.233 T1=0.23
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-ssa7552-160.opb	OPT f=1359 TT=0.36 T1=0.01	OPT f=1359 TT=3.153 T1=3.2	SAT f=1359 TT=1798 T1=0.02	SAT (TO) f=1359 TT=1800.08 T1=0.01	? (TO) f=1359 TT=1800.06 T1=38.62	? (TO) f=1359 TT=1800.08 T1=445.58	? (TO) f=1359 TT=1800.06 T1=1800	? (TO) f=1359 TT=1800.05 T1=1800	OPT f=1359 TT=0.724 T1=0.02	SAT (TO) f=1359 TT=1800.29 T1=0.37	SAT (TO) f=1359 TT=1800.34 T1=0.88	SAT (TO) f=1359 TT=1800.15 T1=0.49	OPT f=1359 TT=2.317 T1=0.17	OPT f=1359 TT=2.286 T1=0.17	OPT f=1359 TT=2.292 T1=0.17	OPT f=1359 TT=2.506 T1=0.18	OPT f=1359 TT=0.36 T1=0.35

Statistics		borg pb-opt-11.04.03 (complete)	bsolo 3.2 (complete)	clasp 2.0-R4191 (complete)	MinisatID 2.4.8 [DEPRECATED] (complete)	MinisatID 2.4.8-gmp [DEPRECATED] (complete)	MinisatID 2.5.2 (fixed) (complete)	MinisatID 2.5.2-gmp (fixed) (complete)	pwbo 1.1 (complete)	Sat4j CuttingPlanes 2.3.0 (complete)	Sat4j Res//CP 2.3.0 (complete)	Sat4j Resolution 2.3.0 (complete)	SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete)	SCIP spx 2 2011-06-10 (fixed) (complete)	SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete)	SCIP spx E_2 2011-06-10 (fixed) (complete)	wbo 1.6 (complete)
Number of times the solver is able to give the best known answer		0	81	80	77	76	77	77	88	80	85	81	106	107	0	107	17
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)		0	2	74	1	0	0	0	0	6	2	1	4	14	0	10	3