PB'10 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:
bsolo 3.2 Card (complete)
bsolo 3.2 Cl (complete)
pb_cplex 2010-06-29 (complete)
PB/CT 0.1 (complete)
PB/CT 0.1 fixed (complete)
PBPASSolver 2010-06-13 (complete)
SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete)
SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)
SAT4J PB Resolution 2.2.0 2010-05-26 (complete)
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver (complete)
SCIPnone SCIP 1.2.1.2 without any LP solver (complete)
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)
SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)
wbo 1.4b (complete)
wbo 1.4b (fixed) (complete)

Bench name	Best results on this instance	bsolo 3.2 Card (complete)	bsolo 3.2 Cl (complete)	pb_cplex 2010-06-29 (complete)	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (complete)	SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete)	SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)	SAT4J PB Resolution 2.2.0 2010-05-26 (complete)	SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver (complete)	SCIPnone SCIP 1.2.1.2 without any LP solver (complete)	SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)	wbo 1.4b (complete)	wbo 1.4b (fixed) (complete)
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-100-1_6-yes1-1.opb	OPT f=100 TT=0.006 T1=0	OPT f=100 TT=0.006 T1=0	OPT f=100 TT=0.006 T1=0	OPT f=100 TT=0.346 T1=0.34	OPT f=100 TT=0.031 T1=0.02	OPT f=100 TT=0.029 T1=0.02	OPT f=100 TT=2.757 T1=0.14	OPT f=100 TT=0.566 T1=0.41	OPT f=100 TT=0.684 T1=1.35	OPT f=100 TT=0.581 T1=0.36	OPT f=100 TT=2.627 T1=2.61	OPT f=100 TT=0.203 T1=0.18	OPT f=100 TT=3.698 T1=3.67	OPT f=100 TT=0.237 T1=0.21	OPT f=100 TT=0.005 T1=0	OPT f=100 TT=0.004 T1=0
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-100-1_6-yes1-2.opb	OPT f=100 TT=0.006 T1=0	OPT f=100 TT=0.008 T1=0	OPT f=100 TT=0.006 T1=0	OPT f=100 TT=0.533 T1=0.53	OPT f=100 TT=0.03 T1=0.02	OPT f=100 TT=0.03 T1=0.02	OPT f=100 TT=2.521 T1=0.14	OPT f=100 TT=0.499 T1=0.36	OPT f=100 TT=0.575 T1=1.35	OPT f=100 TT=0.472 T1=0.36	OPT f=100 TT=2.059 T1=2.04	OPT f=100 TT=0.064 T1=0.05	OPT f=100 TT=3.587 T1=3.58	OPT f=100 TT=0.211 T1=0.18	OPT f=100 TT=0.005 T1=0	OPT f=100 TT=0.005 T1=0
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-100-1_6-yes1-3.opb	OPT f=100 TT=0.006 T1=0	OPT f=100 TT=0.008 T1=0	OPT f=100 TT=0.006 T1=0	OPT f=100 TT=0.536 T1=0.53	OPT f=100 TT=0.031 T1=0.02	OPT f=100 TT=0.03 T1=0.02	OPT f=100 TT=2.719 T1=0.15	OPT f=100 TT=0.486 T1=0.36	OPT f=100 TT=0.582 T1=1.34	OPT f=100 TT=0.483 T1=0.37	OPT f=100 TT=2.745 T1=2.7	OPT f=100 TT=0.106 T1=0.09	OPT f=100 TT=3.31 T1=3.29	OPT f=100 TT=0.234 T1=0.21	OPT f=100 TT=0.005 T1=0	OPT f=100 TT=0.005 T1=0
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-100-1_6-yes1-4.opb	OPT f=100 TT=0.006 T1=0	OPT f=100 TT=0.006 T1=0	OPT f=100 TT=0.006 T1=0	OPT f=100 TT=0.268 T1=0.26	OPT f=100 TT=0.03 T1=0.02	OPT f=100 TT=0.029 T1=0.02	OPT f=100 TT=2.766 T1=0.15	OPT f=100 TT=0.621 T1=0.36	OPT f=100 TT=0.558 T1=1.35	OPT f=100 TT=0.472 T1=0.34	OPT f=100 TT=2.296 T1=2.28	OPT f=100 TT=0.065 T1=0.05	OPT f=100 TT=2.562 T1=2.55	OPT f=100 TT=0.22 T1=0.19	OPT f=100 TT=0.005 T1=0	OPT f=100 TT=0.005 T1=0
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-100-2_0-yes1-1.opb	OPT f=100 TT=0.009 T1=0	OPT f=100 TT=0.012 T1=0.01	OPT f=100 TT=0.009 T1=0	OPT f=100 TT=85.328 T1=46.61	OPT f=100 TT=0.032 T1=0.02	OPT f=100 TT=0.031 T1=0.02	OPT f=100 TT=2.653 T1=0.16	OPT f=100 TT=0.663 T1=0.39	OPT f=100 TT=0.582 T1=1.58	OPT f=100 TT=0.494 T1=0.35	OPT f=100 TT=3.278 T1=3.24	OPT f=100 TT=0.127 T1=0.09	OPT f=100 TT=4.058 T1=4.03	OPT f=100 TT=0.404 T1=0.36	OPT f=100 TT=0.004 T1=0	OPT f=100 TT=0.005 T1=0
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-100-2_0-yes1-2.opb	OPT f=100 TT=0.007 T1=0	OPT f=100 TT=0.01 T1=0	OPT f=100 TT=0.007 T1=0	OPT f=100 TT=5.569 T1=3.83	OPT f=100 TT=0.033 T1=0.02	OPT f=100 TT=0.03 T1=0.02	OPT f=100 TT=2.806 T1=0.16	OPT f=100 TT=0.75 T1=0.42	OPT f=100 TT=0.955 T1=1.37	OPT f=100 TT=0.635 T1=0.4	OPT f=100 TT=3.031 T1=3.01	OPT f=100 TT=0.138 T1=0.1	OPT f=100 TT=3.737 T1=3.72	OPT f=100 TT=0.342 T1=0.31	OPT f=100 TT=0.006 T1=0	OPT f=100 TT=0.005 T1=0
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-100-2_0-yes1-3.opb	OPT f=100 TT=0.009 T1=0	OPT f=100 TT=0.012 T1=0.01	OPT f=100 TT=0.009 T1=0	OPT f=100 TT=2.493 T1=1.59	OPT f=100 TT=0.033 T1=0.02	OPT f=100 TT=0.031 T1=0.02	OPT f=100 TT=2.628 T1=0.16	OPT f=100 TT=0.624 T1=0.38	OPT f=100 TT=0.84 T1=1.36	OPT f=100 TT=0.701 T1=0.44	OPT f=100 TT=6.035 T1=6.02	OPT f=100 TT=0.27 T1=0.26	OPT f=100 TT=8.401 T1=8.39	OPT f=100 TT=0.39 T1=0.36	OPT f=100 TT=0.006 T1=0	OPT f=100 TT=0.006 T1=0
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-100-2_0-yes1-4.opb	OPT f=100 TT=0.007 T1=0	OPT f=100 TT=0.008 T1=0	OPT f=100 TT=0.007 T1=0	OPT f=100 TT=2.505 T1=1.55	OPT f=100 TT=0.031 T1=0.02	OPT f=100 TT=0.031 T1=0.02	OPT f=100 TT=2.755 T1=0.16	OPT f=100 TT=0.665 T1=0.37	OPT f=100 TT=1.08 T1=1.36	OPT f=100 TT=0.549 T1=0.36	OPT f=100 TT=6.363 T1=6.35	OPT f=100 TT=0.086 T1=0.07	OPT f=100 TT=8.102 T1=8.09	OPT f=100 TT=0.344 T1=0.32	OPT f=100 TT=0.006 T1=0	OPT f=100 TT=0.005 T1=0
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-100-3_4-yes1-1.opb	OPT f=100 TT=0.019 T1=0.01	OPT f=100 TT=0.028 T1=0.02	OPT f=100 TT=0.019 T1=0.01	OPT f=100 TT=6.953 T1=4.14	OPT f=100 TT=0.036 T1=0.03	OPT f=100 TT=0.034 T1=0.02	OPT f=100 TT=3.184 T1=0.22	OPT f=100 TT=0.841 T1=0.48	OPT f=100 TT=0.895 T1=1.39	OPT f=100 TT=0.613 T1=0.39	OPT f=100 TT=6.883 T1=6.59	OPT f=100 TT=0.383 T1=0.1	OPT f=100 TT=8.54 T1=8.46	OPT f=100 TT=0.878 T1=0.85	OPT f=100 TT=0.011 T1=0	OPT f=100 TT=0.011 T1=0.01
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-100-3_4-yes1-2.opb	OPT f=100 TT=0.012 T1=0	OPT f=100 TT=0.016 T1=0.01	OPT f=100 TT=0.012 T1=0	OPT f=100 TT=4.181 T1=2.66	OPT f=100 TT=0.037 T1=0.03	OPT f=100 TT=0.033 T1=0.02	OPT f=100 TT=3.353 T1=0.22	OPT f=100 TT=0.829 T1=0.45	OPT f=100 TT=0.984 T1=1.4	OPT f=100 TT=0.852 T1=0.44	OPT f=100 TT=9.827 T1=9.78	OPT f=100 TT=0.234 T1=0.15	OPT f=100 TT=9.576 T1=9.49	OPT f=100 TT=0.808 T1=0.77	OPT f=100 TT=0.009 T1=0	OPT f=100 TT=0.008 T1=0
Bench name	Best results	bsolo 3.2 Card (complete)	bsolo 3.2 Cl (complete)	pb_cplex 2010-06-29 (complete)	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (complete)	SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete)	SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)	SAT4J PB Resolution 2.2.0 2010-05-26 (complete)	SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver (complete)	SCIPnone SCIP 1.2.1.2 without any LP solver (complete)	SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)	wbo 1.4b (complete)	wbo 1.4b (fixed) (complete)
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-100-3_4-yes1-3.opb	OPT f=100 TT=0.015 T1=0.01	OPT f=100 TT=0.023 T1=0.01	OPT f=100 TT=0.015 T1=0.01	OPT f=100 TT=8.489 T1=5.07	OPT f=100 TT=0.037 T1=0.03	OPT f=100 TT=0.035 T1=0.02	OPT f=100 TT=3.182 T1=0.23	OPT f=100 TT=0.923 T1=0.49	OPT f=100 TT=0.885 T1=1.41	OPT f=100 TT=0.74 T1=0.47	OPT f=100 TT=6.275 T1=6.19	OPT f=100 TT=0.253 T1=0.17	OPT f=100 TT=9.503 T1=9.45	OPT f=100 TT=0.873 T1=0.82	OPT f=100 TT=0.008 T1=0	OPT f=100 TT=0.009 T1=0
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-100-3_4-yes1-4.opb	OPT f=100 TT=0.012 T1=0	OPT f=100 TT=0.016 T1=0	OPT f=100 TT=0.012 T1=0	OPT f=100 TT=4.768 T1=3	OPT f=100 TT=0.038 T1=0.03	OPT f=100 TT=0.036 T1=0.02	OPT f=100 TT=3.395 T1=0.23	OPT f=100 TT=0.948 T1=0.4	OPT f=100 TT=1.078 T1=1.41	OPT f=100 TT=0.752 T1=0.41	OPT f=100 TT=6.101 T1=6.05	OPT f=100 TT=0.198 T1=0.11	OPT f=100 TT=7.157 T1=6.99	OPT f=100 TT=0.868 T1=0.81	OPT f=100 TT=0.007 T1=0	OPT f=100 TT=0.008 T1=0
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-100-6_0-yes1-1.opb	OPT f=100 TT=0.011 T1=0	OPT f=100 TT=0.013 T1=0.01	OPT f=100 TT=0.011 T1=0	OPT f=100 TT=2.699 T1=2.55	OPT f=100 TT=0.044 T1=0.03	OPT f=100 TT=0.043 T1=0.03	OPT f=100 TT=2.731 T1=0.33	OPT f=100 TT=0.93 T1=0.45	OPT f=100 TT=0.937 T1=1.46	OPT f=100 TT=0.651 T1=0.42	OPT f=100 TT=9.303 T1=9.26	OPT f=100 TT=0.103 T1=0.07	OPT f=100 TT=16.328 T1=1.15	OPT f=100 TT=1.183 T1=0.97	OPT f=100 TT=0.009 T1=0	OPT f=100 TT=0.008 T1=0
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-100-6_0-yes1-2.opb	OPT f=100 TT=0.012 T1=0.01	OPT f=100 TT=0.014 T1=0.01	OPT f=100 TT=0.012 T1=0.01	OPT f=100 TT=3.606 T1=2.47	OPT f=100 TT=0.045 T1=0.03	OPT f=100 TT=0.04 T1=0.03	OPT f=100 TT=2.987 T1=0.35	OPT f=100 TT=0.864 T1=0.5	OPT f=100 TT=0.841 T1=1.46	OPT f=100 TT=0.707 T1=0.43	OPT f=100 TT=10.152 T1=10.12	OPT f=100 TT=0.127 T1=0.08	OPT f=100 TT=17.851 T1=17.81	OPT f=100 TT=1.561 T1=1.48	OPT f=100 TT=0.008 T1=0	OPT f=100 TT=0.007 T1=0
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-100-6_0-yes1-3.opb	OPT f=100 TT=0.011 T1=0.01	OPT f=100 TT=0.014 T1=0.01	OPT f=100 TT=0.011 T1=0.01	OPT f=100 TT=2.142 T1=1.86	OPT f=100 TT=0.044 T1=0.03	OPT f=100 TT=0.042 T1=0.03	OPT f=100 TT=3.08 T1=0.36	OPT f=100 TT=0.93 T1=0.48	OPT f=100 TT=0.842 T1=1.46	OPT f=100 TT=0.651 T1=0.43	OPT f=100 TT=10.671 T1=10.62	OPT f=100 TT=0.11 T1=0.07	OPT f=100 TT=14.144 T1=14.11	OPT f=100 TT=1.398 T1=1.32	OPT f=100 TT=0.007 T1=0	OPT f=100 TT=0.007 T1=0
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-100-6_0-yes1-4.opb	OPT f=100 TT=0.012 T1=0.01	OPT f=100 TT=0.014 T1=0.01	OPT f=100 TT=0.012 T1=0.01	OPT f=100 TT=2.274 T1=2.23	OPT f=100 TT=0.044 T1=0.03	OPT f=100 TT=0.042 T1=0.03	OPT f=100 TT=2.974 T1=0.35	OPT f=100 TT=0.913 T1=0.48	OPT f=100 TT=0.959 T1=1.46	OPT f=100 TT=0.731 T1=0.46	OPT f=100 TT=15.227 T1=15.2	OPT f=100 TT=0.097 T1=0.07	OPT f=100 TT=15.591 T1=15.56	OPT f=100 TT=1.314 T1=1.22	OPT f=100 TT=0.008 T1=0	OPT f=100 TT=0.007 T1=0
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-200-1_6-yes1-1.opb	OPT f=200 TT=0.01 T1=0	OPT f=200 TT=0.011 T1=0.01	OPT f=200 TT=0.01 T1=0	OPT f=200 TT=7.698 T1=5.61	OPT f=200 TT=0.064 T1=0.05	OPT f=200 TT=0.062 T1=0.04	OPT f=200 TT=6.966 T1=0.3	OPT f=200 TT=0.783 T1=0.49	OPT f=200 TT=1.002 T1=1.43	OPT f=200 TT=0.792 T1=0.46	OPT f=200 TT=7.022 T1=7	OPT f=200 TT=0.147 T1=0.13	OPT f=200 TT=11.277 T1=11.25	OPT f=200 TT=0.749 T1=0.69	OPT f=200 TT=0.009 T1=0	OPT f=200 TT=0.009 T1=0
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-200-1_6-yes1-2.opb	OPT f=200 TT=0.012 T1=0.01	OPT f=200 TT=0.014 T1=0.01	OPT f=200 TT=0.012 T1=0.01	OPT f=200 TT=55.491 T1=55	OPT f=200 TT=0.066 T1=0.05	OPT f=200 TT=0.063 T1=0.04	OPT f=200 TT=6.756 T1=0.28	OPT f=200 TT=0.768 T1=0.52	OPT f=200 TT=0.938 T1=1.39	OPT f=200 TT=0.86 T1=0.44	OPT f=200 TT=10.58 T1=10.52	OPT f=200 TT=0.45 T1=0.44	OPT f=200 TT=10.04 T1=9.97	OPT f=200 TT=0.7 T1=0.65	OPT f=200 TT=0.01 T1=0.01	OPT f=200 TT=0.011 T1=0.01
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-200-1_6-yes1-3.opb	OPT f=200 TT=0.01 T1=0.01	OPT f=200 TT=0.011 T1=0.01	OPT f=200 TT=0.01 T1=0.01	OPT f=200 TT=28.394 T1=23.96	OPT f=200 TT=0.064 T1=0.04	OPT f=200 TT=0.06 T1=0.04	OPT f=200 TT=7.248 T1=0.3	OPT f=200 TT=0.811 T1=0.51	OPT f=200 TT=1.022 T1=1.45	OPT f=200 TT=0.799 T1=0.48	OPT f=200 TT=7.76 T1=7.73	OPT f=200 TT=0.335 T1=0.32	OPT f=200 TT=12.294 T1=12.24	OPT f=200 TT=0.609 T1=0.56	OPT f=200 TT=0.009 T1=0	OPT f=200 TT=0.009 T1=0
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-200-1_6-yes1-4.opb	OPT f=200 TT=0.011 T1=0.01	OPT f=200 TT=0.012 T1=0.01	OPT f=200 TT=0.011 T1=0.01	OPT f=200 TT=243.138 T1=142.65	OPT f=200 TT=0.067 T1=0.05	OPT f=200 TT=0.063 T1=0.04	OPT f=200 TT=7.426 T1=0.29	OPT f=200 TT=0.874 T1=0.57	OPT f=200 TT=0.979 T1=1.43	OPT f=200 TT=0.777 T1=0.45	OPT f=200 TT=8.445 T1=8.42	OPT f=200 TT=0.186 T1=0.17	OPT f=200 TT=12.815 T1=12.79	OPT f=200 TT=0.723 T1=0.67	OPT f=200 TT=0.01 T1=0	OPT f=200 TT=0.009 T1=0
Bench name	Best results	bsolo 3.2 Card (complete)	bsolo 3.2 Cl (complete)	pb_cplex 2010-06-29 (complete)	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (complete)	SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete)	SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)	SAT4J PB Resolution 2.2.0 2010-05-26 (complete)	SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver (complete)	SCIPnone SCIP 1.2.1.2 without any LP solver (complete)	SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)	wbo 1.4b (complete)	wbo 1.4b (fixed) (complete)
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-200-2_0-yes1-1.opb	OPT f=200 TT=0.016 T1=0.01	OPT f=200 TT=0.022 T1=0.01	OPT f=200 TT=0.016 T1=0.01	OPT f=200 TT=13.159 T1=8.56	OPT f=200 TT=0.069 T1=0.05	OPT f=200 TT=0.066 T1=0.05	OPT f=200 TT=7.988 T1=0.32	OPT f=200 TT=1.237 T1=0.68	OPT f=200 TT=1.661 T1=1.47	OPT f=200 TT=1.031 T1=0.52	OPT f=200 TT=9.382 T1=8.76	OPT f=200 TT=1.023 T1=0.73	OPT f=200 TT=9.481 T1=9.18	OPT f=200 TT=1.421 T1=1.36	OPT f=200 TT=0.014 T1=0.01	OPT f=200 TT=0.013 T1=0.01
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-200-2_0-yes1-2.opb	OPT f=200 TT=0.024 T1=0.02	OPT f=200 TT=0.046 T1=0.03	OPT f=200 TT=0.024 T1=0.02	OPT f=200 TT=72.66 T1=41.67	OPT f=200 TT=0.067 T1=0.05	OPT f=200 TT=0.065 T1=0.04	OPT f=200 TT=8.523 T1=0.34	OPT f=200 TT=1.433 T1=0.76	OPT f=200 TT=1.133 T1=1.43	OPT f=200 TT=0.886 T1=0.51	OPT f=200 TT=7.77 T1=7.63	OPT f=200 TT=1.245 T1=0.76	OPT f=200 TT=13.816 T1=13.79	OPT f=200 TT=1.443 T1=1.35	OPT f=200 TT=0.014 T1=0.01	OPT f=200 TT=0.014 T1=0.01
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-200-2_0-yes1-3.opb	OPT f=200 TT=0.017 T1=0.01	OPT f=200 TT=0.022 T1=0.01	OPT f=200 TT=0.017 T1=0.01	OPT f=200 TT=2.501 T1=2.49	OPT f=200 TT=0.068 T1=0.05	OPT f=200 TT=0.065 T1=0.05	OPT f=200 TT=6.63 T1=0.31	OPT f=200 TT=0.843 T1=0.56	OPT f=200 TT=1.565 T1=1.43	OPT f=200 TT=0.883 T1=0.5	OPT f=200 TT=8.179 T1=8.1	OPT f=200 TT=0.242 T1=0.13	OPT f=200 TT=10.198 T1=10.12	OPT f=200 TT=1.356 T1=1.28	OPT f=200 TT=0.012 T1=0.01	OPT f=200 TT=0.012 T1=0.01
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-200-2_0-yes1-4.opb	OPT f=200 TT=0.014 T1=0.01	OPT f=200 TT=0.018 T1=0.01	OPT f=200 TT=0.014 T1=0.01	OPT f=200 TT=326.269 T1=181.83	OPT f=200 TT=0.069 T1=0.05	OPT f=200 TT=0.067 T1=0.05	OPT f=200 TT=7.264 T1=0.34	OPT f=200 TT=1.309 T1=0.79	OPT f=200 TT=1.538 T1=1.44	OPT f=200 TT=0.995 T1=0.56	OPT f=200 TT=12.101 T1=12.04	OPT f=200 TT=0.362 T1=0.29	OPT f=200 TT=14.022 T1=13.96	OPT f=200 TT=1.414 T1=1.33	OPT f=200 TT=0.011 T1=0.01	OPT f=200 TT=0.011 T1=0.01
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-200-3_4-yes1-1.opb	OPT f=200 TT=0.022 T1=0.02	OPT f=200 TT=0.033 T1=0.02	OPT f=200 TT=0.022 T1=0.02	OPT f=200 TT=628.726 T1=342.42	OPT f=200 TT=0.079 T1=0.06	OPT f=200 TT=0.077 T1=0.05	OPT f=200 TT=8.583 T1=0.47	OPT f=200 TT=1.317 T1=0.54	OPT f=200 TT=1.61 T1=1.49	OPT f=200 TT=1.066 T1=0.58	OPT f=200 TT=16.293 T1=16.22	OPT f=200 TT=0.651 T1=0.56	OPT f=200 TT=24.802 T1=24.78	OPT f=200 TT=3.221 T1=3.08	OPT f=200 TT=0.011 T1=0.01	OPT f=200 TT=0.012 T1=0.01
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-200-3_4-yes1-2.opb	OPT f=200 TT=0.033 T1=0.03	OPT f=200 TT=0.052 T1=0.04	OPT f=200 TT=0.033 T1=0.03	OPT f=200 TT=957.977 T1=518.6	OPT f=200 TT=0.091 T1=0.07	OPT f=200 TT=0.089 T1=0.06	OPT f=200 TT=8.197 T1=0.45	OPT f=200 TT=1.568 T1=0.76	OPT f=200 TT=1.415 T1=1.52	OPT f=200 TT=1.076 T1=0.61	OPT f=200 TT=14.367 T1=14.19	OPT f=200 TT=0.322 T1=0.29	OPT f=200 TT=33.296 T1=33.12	OPT f=200 TT=3.635 T1=3.54	OPT f=200 TT=0.011 T1=0.01	OPT f=200 TT=0.011 T1=0.01
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-200-3_4-yes1-3.opb	OPT f=200 TT=0.018 T1=0.01	OPT f=200 TT=0.022 T1=0.02	OPT f=200 TT=0.018 T1=0.01	? (TO) TT=1800.19	OPT f=200 TT=0.083 T1=0.06	OPT f=200 TT=0.08 T1=0.05	OPT f=200 TT=8.061 T1=0.47	OPT f=200 TT=1.774 T1=0.93	OPT f=200 TT=2.199 T1=1.52	OPT f=200 TT=1.587 T1=0.66	OPT f=200 TT=17.925 T1=15.4	OPT f=200 TT=4.087 T1=1.92	OPT f=200 TT=35.615 T1=33.28	OPT f=200 TT=3.778 T1=3.66	OPT f=200 TT=0.012 T1=0.01	OPT f=200 TT=0.013 T1=0.01
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-200-3_4-yes1-4.opb	OPT f=200 TT=0.015 T1=0.01	OPT f=200 TT=0.019 T1=0.01	OPT f=200 TT=0.015 T1=0.01	OPT f=200 TT=245.201 T1=138.72	OPT f=200 TT=0.079 T1=0.06	OPT f=200 TT=0.076 T1=0.05	OPT f=200 TT=8.273 T1=0.45	OPT f=200 TT=1.744 T1=0.91	OPT f=200 TT=1.809 T1=1.49	OPT f=200 TT=1.314 T1=0.71	OPT f=200 TT=16.956 T1=16.93	OPT f=200 TT=1.021 T1=1	OPT f=200 TT=28.212 T1=28.15	OPT f=200 TT=3.376 T1=3.28	OPT f=200 TT=0.011 T1=0.01	OPT f=200 TT=0.011 T1=0.01
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-200-6_0-yes1-1.opb	OPT f=200 TT=0.06 T1=0.06	OPT f=200 TT=0.073 T1=0.06	OPT f=200 TT=0.06 T1=0.06	OPT f=200 TT=199.172 T1=119.23	OPT f=200 TT=0.105 T1=0.07	OPT f=200 TT=0.097 T1=0.06	OPT f=200 TT=10.446 T1=0.75	OPT f=200 TT=2.236 T1=0.98	OPT f=200 TT=2.663 T1=1.56	OPT f=200 TT=1.352 T1=0.76	OPT f=200 TT=27.499 T1=27.46	OPT f=200 TT=1.21 T1=0.81	OPT f=200 TT=50.292 T1=50.15	OPT f=200 TT=4.954 T1=4.85	OPT f=200 TT=0.02 T1=0.01	OPT f=200 TT=0.02 T1=0.02
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-200-6_0-yes1-2.opb	OPT f=200 TT=0.032 T1=0.03	OPT f=200 TT=0.045 T1=0.03	OPT f=200 TT=0.032 T1=0.03	OPT f=200 TT=497.928 T1=275.11	OPT f=200 TT=0.115 T1=0.09	OPT f=200 TT=0.112 T1=0.08	OPT f=200 TT=13.388 T1=0.71	OPT f=200 TT=1.973 T1=0.93	OPT f=200 TT=2.166 T1=1.63	OPT f=200 TT=1.204 T1=0.68	OPT f=200 TT=28.49 T1=28.45	OPT f=200 TT=0.824 T1=0.17	OPT f=200 TT=72.285 T1=72.23	OPT f=200 TT=4.96 T1=4.8	OPT f=200 TT=0.022 T1=0.02	OPT f=200 TT=0.022 T1=0.02
Bench name	Best results	bsolo 3.2 Card (complete)	bsolo 3.2 Cl (complete)	pb_cplex 2010-06-29 (complete)	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (complete)	SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete)	SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)	SAT4J PB Resolution 2.2.0 2010-05-26 (complete)	SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver (complete)	SCIPnone SCIP 1.2.1.2 without any LP solver (complete)	SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)	wbo 1.4b (complete)	wbo 1.4b (fixed) (complete)
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-200-6_0-yes1-3.opb	OPT f=200 TT=0.031 T1=0.02	OPT f=200 TT=0.042 T1=0.02	OPT f=200 TT=0.031 T1=0.02	OPT f=200 TT=1372.82 T1=741.16	OPT f=200 TT=0.099 T1=0.07	OPT f=200 TT=0.092 T1=0.06	OPT f=200 TT=15.077 T1=0.75	OPT f=200 TT=1.575 T1=0.66	OPT f=200 TT=1.629 T1=1.6	OPT f=200 TT=1.206 T1=0.64	OPT f=200 TT=27.994 T1=27.95	OPT f=200 TT=0.201 T1=0.16	OPT f=200 TT=51.193 T1=50.72	OPT f=200 TT=5.437 T1=4.56	OPT f=200 TT=0.016 T1=0.01	OPT f=200 TT=0.016 T1=0.01
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-aim-200-6_0-yes1-4.opb	OPT f=200 TT=0.043 T1=0.04	OPT f=200 TT=0.118 T1=0.11	OPT f=200 TT=0.043 T1=0.04	OPT f=200 TT=26.221 T1=18.68	OPT f=200 TT=0.104 T1=0.07	OPT f=200 TT=0.096 T1=0.07	OPT f=200 TT=10.767 T1=0.73	OPT f=200 TT=1.815 T1=1.02	OPT f=200 TT=2.092 T1=1.59	OPT f=200 TT=1.504 T1=0.73	OPT f=200 TT=43.426 T1=43.4	OPT f=200 TT=2.089 T1=0.65	OPT f=200 TT=60.707 T1=60.57	OPT f=200 TT=5.796 T1=5.35	OPT f=200 TT=0.023 T1=0.01	OPT f=200 TT=0.024 T1=0.01
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-bf0432-007.opb	UNSAT TT=0.1	UNSAT TT=0.111	UNSAT TT=0.1	UNSAT TT=78.986	UNSAT TT=0.43	UNSAT TT=0.395	UNSAT TT=2.706	UNSAT TT=2.959	UNSAT TT=3.855	UNSAT TT=2.332	UNSAT TT=18.788	UNSAT TT=1.682	UNSAT TT=19.235	UNSAT TT=36.852	UNSAT TT=0.224	UNSAT TT=0.227
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-bf1355-075.opb	UNSAT TT=0.214	UNSAT TT=0.214	UNSAT TT=0.215	UNSAT TT=71.253	UNSAT TT=0.849	UNSAT TT=0.819	UNSAT TT=12.879	UNSAT TT=2.685	UNSAT TT=3.96	UNSAT TT=2.332	UNSAT TT=11.716	UNSAT TT=1452.02	UNSAT TT=10.939	UNSAT TT=12.097	UNSAT TT=3.682	UNSAT TT=3.461
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-bf1355-638.opb	UNSAT TT=0.156	UNSAT TT=0.157	UNSAT TT=0.156	UNSAT TT=66.467	UNSAT TT=0.866	UNSAT TT=0.836	UNSAT TT=6.431	UNSAT TT=2.404	UNSAT TT=4.004	UNSAT TT=2.062	UNSAT TT=2.743	UNSAT TT=20.413	UNSAT TT=4.041	UNSAT TT=3.187	Signal TT=0.067	Signal TT=0.067
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-bf2670-001.opb	UNSAT TT=0.067	UNSAT TT=0.068	UNSAT TT=0.067	UNSAT TT=14.61	UNSAT TT=0.47	UNSAT TT=0.452	UNSAT TT=2.715	UNSAT TT=1.689	UNSAT TT=2.138	UNSAT TT=1.859	UNSAT TT=8.477	UNSAT TT=0.672	UNSAT TT=2.479	UNSAT TT=0.979	? (problem) TT=0.198	UNSAT TT=0.202
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-f1000.opb		? TT=1798	? TT=1798.01	? (TO) TT=1800.11	? (TO) TT=1800.08	? (TO) TT=1800.04	? (TO) TT=1800.08	? (TO) TT=1800.35	? (TO) TT=1800.4	? (TO) TT=1800.22	? (TO) TT=1800.08	? (TO) TT=1800.12	? (TO) TT=1800.12	? TT=1789.19	? (TO) TT=1800.19	? (TO) TT=1800.16
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-f2000.opb		? TT=1798.02	? TT=1798.01	? (TO) TT=1800.13	? (TO) TT=1800.06	? (TO) TT=1800.07	? (TO) TT=1800.04	? (TO) TT=1800.36	? (TO) TT=1800.29	? (TO) TT=1800.21	? (TO) TT=1800.14	? (TO) TT=1800.18	? (TO) TT=1802.1	? TT=1789.63	? (TO) TT=1800.12	? (TO) TT=1800.18
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-f600.opb		? TT=1798	? TT=1798	? (TO) TT=1800.04	? (TO) TT=1800.08	? (TO) TT=1800.02	? (TO) TT=1800.1	? (TO) TT=1800.31	? (TO) TT=1800.45	? (TO) TT=1800.23	? (TO) TT=1800.09	? (TO) TT=1800.11	? (TO) TT=1800.07	? TT=1789.29	? (TO) TT=1800.14	? (TO) TT=1800.13
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-g125.17.opb		? TT=1798.13	? TT=1798.17	? TT=1798.74	? (TO) TT=1800.12	? (TO) TT=1800.1	? (MO) TT=12.49	? (TO) TT=1800.38	? (TO) TT=1800.39	? (TO) TT=1800.21	? (TO) TT=1802.1	? (TO) TT=1800.34	? (TO) TT=1802.13	? TT=1789.99	? (TO) TT=1800.07	? (TO) TT=1800.09
Bench name	Best results	bsolo 3.2 Card (complete)	bsolo 3.2 Cl (complete)	pb_cplex 2010-06-29 (complete)	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (complete)	SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete)	SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)	SAT4J PB Resolution 2.2.0 2010-05-26 (complete)	SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver (complete)	SCIPnone SCIP 1.2.1.2 without any LP solver (complete)	SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)	wbo 1.4b (complete)	wbo 1.4b (fixed) (complete)
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-g125.18.opb		? TT=1798.14	? TT=1798.16	? TT=1798.81	? (TO) TT=1800.07	? (TO) TT=1800.16	? (MO) TT=13.22	? (TO) TT=1800.37	? (TO) TT=1800.35	? (TO) TT=1800.23	? (TO) TT=1802.11	? (TO) TT=1800.24	? (TO) TT=1802.09	? TT=1789.89	? (TO) TT=1800.11	? (TO) TT=1800.15
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-g250.15.opb		? TT=1798.1	? TT=1798.07	? (TO) TT=1800.04	? (TO) TT=1800.17	? (TO) TT=1800.19	? (MO) TT=12.92	? (TO) TT=1800.29	? (TO) TT=1800.48	? (TO) TT=1800.19	? (TO) TT=1802.13	? (TO) TT=1800.69	? (TO) TT=1802.09	? TT=1790.97	? (TO) TT=1800.1	? (TO) TT=1800.12
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-g250.29.opb		? TT=1798.33	? TT=1798.11	? (TO) TT=1800.02	? (TO) TT=1800.25	? (TO) TT=1800.24	? (MO) TT=13.11	? (TO) TT=1800.28	? (TO) TT=1800.36	? (TO) TT=1800.31	? (TO) TT=1802.14	? (TO) TT=1801.43	? (TO) TT=1802.14	? (TO) TT=1802.18	? (TO) TT=1800.05	? (TO) TT=1800.1
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-hanoi4.opb	OPT f=718 TT=0.509 T1=0.34	OPT f=718 TT=2.845 T1=2.05	OPT f=718 TT=1.49 T1=0.34	? (TO) TT=1800.2	OPT f=718 TT=0.522 T1=0.42	OPT f=718 TT=0.509 T1=0.41	OPT f=718 TT=201.65 T1=3.74	OPT f=718 TT=8.319 T1=4.09	OPT f=718 TT=7.831 T1=3.87	OPT f=718 TT=4.559 T1=2.06	OPT f=718 TT=348.365 T1=247.25	OPT f=718 TT=300.421 T1=238.25	OPT f=718 TT=356.751 T1=149.09	? TT=1789.6	OPT f=718 TT=0.609 T1=0.39	OPT f=718 TT=0.808 T1=0.39
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-hanoi5.opb	OPT f=1931 TT=4.947 T1=4.5	SAT f=1931 TT=1798 T1=1662.51	OPT f=1931 TT=297.011 T1=296.36	? (TO) TT=1800.1	OPT f=1931 TT=5.002 T1=4.55	OPT f=1931 TT=4.947 T1=4.5	? (TO) TT=1800.01	OPT f=1931 TT=929.106 T1=692.75	OPT f=1931 TT=27.859 T1=14.75	OPT f=1931 TT=14.925 T1=12.4	? (TO) TT=1800.15	? (TO) TT=1800.1	? (TO) TT=1800.2	? TT=1789.95	? (TO) TT=1800.1	? (TO) TT=1800.2
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii16a1.opb	SAT f=1245 TT=1800.14 T1=5.94	SAT f=1347 TT=1798.05 T1=18.6	SAT f=1367 TT=1798.07 T1=31.07	? (TO) TT=1800.11	SAT (TO) f=1245 TT=1800.06 T1=5.9	SAT (TO) f=1245 TT=1800.14 T1=5.94	? (MO) TT=1720.98	SAT (TO) f=1473 TT=1800.32 T1=625	SAT (TO) f=1339 TT=1802.51 T1=13.54	SAT (TO) f=1339 TT=1800.32 T1=9.96	SAT (TO) f=1493 TT=1800.22 T1=106.75	SAT (TO) f=1486 TT=1800.14 T1=918.71	SAT (TO) f=1465 TT=1800.21 T1=545.03	SAT f=1290 TT=1789.48 T1=723.43	? (MO) TT=1555.56	? (MO) TT=979.735
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii16a2.opb	SAT f=1164 TT=1800.13 T1=738.12	SAT f=1317 TT=1798.06 T1=770.08	SAT f=1316 TT=1798.08 T1=46.37	? (TO) TT=1800.03	SAT (TO) f=1164 TT=1800.14 T1=742.56	SAT (TO) f=1164 TT=1800.13 T1=738.12	? (MO) TT=1028.96	SAT (TO) f=1396 TT=1800.24 T1=1067.07	SAT (TO) f=1319 TT=1800.48 T1=14.51	SAT (TO) f=1347 TT=1800.28 T1=10.3	? (TO) TT=1800.76	SAT (TO) f=1452 TT=1800.13 T1=6.34	? (TO) TT=1801.21	? TT=1789.59	? (MO) TT=755.691	? (MO) TT=534.317
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii16b1.opb	SAT f=1414 TT=1800.06 T1=189.96	SAT f=1581 TT=1798.1 T1=40.21	SAT (TO) f=1511 TT=1800.15 T1=197.88	? (TO) TT=1800.09	SAT (TO) f=1414 TT=1800.06 T1=199.63	SAT (TO) f=1414 TT=1800.06 T1=189.96	? (MO) TT=720.96	SAT (TO) f=1656 TT=1800.38 T1=1550.07	SAT (TO) f=1589 TT=1800.5 T1=190.53	SAT (TO) f=1554 TT=1800.37 T1=15.12	? (TO) TT=1800.24	? (TO) TT=1800.17	? (TO) TT=1800.22	SAT f=1619 TT=1789.5 T1=1529.52	? (MO) TT=742.218	? (MO) TT=1195.06
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii16b2.opb	OPT f=1031 TT=30.978 T1=0.31	SAT f=1031 TT=1798.06 T1=0.33	SAT f=1031 TT=1798.04 T1=0.31	OPT f=1031 TT=806.084 T1=472.3	SAT (TO) f=1031 TT=1800.04 T1=0.64	SAT (TO) f=1031 TT=1800.06 T1=0.59	? (TO) TT=1800.01	OPT f=1031 TT=30.978 T1=2.09	OPT f=1031 TT=32.05 T1=2.22	SAT (TO) f=1031 TT=1800.32 T1=1.53	SAT (TO) f=1031 TT=1800.22 T1=57.82	SAT (TO) f=1031 TT=1800.18 T1=4.38	SAT (TO) f=1031 TT=1800.15 T1=202.93	SAT f=1031 TT=1789.53 T1=584.72	? (TO) TT=1800.26	? (TO) TT=1800.2
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii16c1.opb	SAT f=1322 TT=1800.08 T1=206.39	SAT f=1369 TT=1798.05 T1=128.78	SAT f=1378 TT=1798.07 T1=4.76	? (TO) TT=1800.02	SAT (TO) f=1322 TT=1800.09 T1=203.88	SAT (TO) f=1322 TT=1800.08 T1=206.39	? (TO) TT=1800.09	SAT (TO) f=1458 TT=1800.33 T1=1711.1	SAT (TO) f=1377 TT=1800.51 T1=169.88	SAT (TO) f=1377 TT=1800.23 T1=164.8	SAT (TO) f=1381 TT=1800.19 T1=66.54	SAT (TO) f=1386 TT=1800.18 T1=4.11	SAT (TO) f=1376 TT=1800.18 T1=119.6	SAT f=1348 TT=1789.35 T1=1594.07	? (MO) TT=1264.35	? (MO) TT=1066.28
Bench name	Best results	bsolo 3.2 Card (complete)	bsolo 3.2 Cl (complete)	pb_cplex 2010-06-29 (complete)	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (complete)	SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete)	SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)	SAT4J PB Resolution 2.2.0 2010-05-26 (complete)	SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver (complete)	SCIPnone SCIP 1.2.1.2 without any LP solver (complete)	SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)	wbo 1.4b (complete)	wbo 1.4b (fixed) (complete)
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii16c2.opb	OPT f=861 TT=34.673 T1=0.32	SAT f=861 TT=1798.03 T1=0.37	SAT f=861 TT=1798.03 T1=0.32	? (TO) TT=1800.05	SAT (TO) f=861 TT=1800.06 T1=0.64	SAT (TO) f=861 TT=1800.04 T1=0.62	? (TO) TT=1800.02	OPT f=861 TT=34.673 T1=2.88	OPT f=861 TT=67.585 T1=2.19	SAT (TO) f=861 TT=1800.25 T1=1.73	SAT (TO) f=861 TT=1800.12 T1=49.48	SAT (TO) f=861 TT=1800.17 T1=10.06	SAT (TO) f=861 TT=1800.19 T1=106.09	SAT f=861 TT=1789.32 T1=1258.65	? (TO) TT=1800.17	? (TO) TT=1800.18
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii16d1.opb	SAT f=968 TT=1800.04 T1=376.03	SAT f=1062 TT=1798.12 T1=1224.43	SAT f=1064 TT=1798.06 T1=27.4	? (TO) TT=1800.13	SAT (TO) f=968 TT=1800.05 T1=378.42	SAT (TO) f=968 TT=1800.04 T1=376.03	? (TO) TT=1800.03	SAT (TO) f=1152 TT=1800.22 T1=8.04	SAT (TO) f=1067 TT=1800.46 T1=51.82	SAT (TO) f=1061 TT=1800.28 T1=84.13	SAT (TO) f=1179 TT=1800.14 T1=77.71	SAT (TO) f=1175 TT=1800.15 T1=72.35	SAT (TO) f=1192 TT=1800.18 T1=140.01	SAT f=1105 TT=1789.51 T1=1754.51	? (MO) TT=850.135	? (MO) TT=826.083
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii16d2.opb	OPT f=785 TT=41.393 T1=0.52	SAT f=785 TT=1798.03 T1=0.52	SAT f=785 TT=1798.04 T1=1.18	? (TO) TT=1800.16	SAT (TO) f=785 TT=1800.05 T1=0.55	SAT (TO) f=785 TT=1800.08 T1=0.54	? (TO) TT=1800.01	OPT f=785 TT=41.393 T1=10.05	OPT f=785 TT=48.121 T1=5.25	SAT (TO) f=785 TT=1800.18 T1=3.34	SAT (TO) f=785 TT=1800.16 T1=54.85	SAT (TO) f=785 TT=1800.11 T1=2.94	SAT (TO) f=785 TT=1800.17 T1=153.97	SAT f=785 TT=1789.69 T1=314.61	? (TO) TT=1800.18	? (TO) TT=1800.18
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii16e1.opb	SAT f=1070 TT=1800.09 T1=1749.94	SAT f=1130 TT=1798.05 T1=70	SAT f=1138 TT=1798.05 T1=324.01	? (TO) TT=1800.04	SAT (TO) f=1070 TT=1800.03 T1=1709.74	SAT (TO) f=1070 TT=1800.09 T1=1749.94	? (TO) TT=1800.07	SAT (TO) f=1166 TT=1800.33 T1=270.27	SAT (TO) f=1124 TT=1800.7 T1=14.64	SAT (TO) f=1124 TT=1800.26 T1=7.25	SAT (TO) f=1135 TT=1800.21 T1=1147.88	SAT (TO) f=1153 TT=1800.16 T1=1509.36	SAT (TO) f=1149 TT=1800.22 T1=104.34	SAT f=1105 TT=1789.69 T1=1018.07	? (MO) TT=1041	? (MO) TT=1175.43
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii16e2.opb	OPT f=520 TT=7.283 T1=0.2	OPT f=520 TT=224.81 T1=0.2	OPT f=520 TT=121.899 T1=0.2	? (TO) TT=1800.15	OPT f=520 TT=89.18 T1=0.32	OPT f=520 TT=87.513 T1=0.31	? (TO) TT=1800	OPT f=520 TT=7.283 T1=1.31	OPT f=520 TT=11.931 T1=2.06	OPT f=520 TT=17.887 T1=1.09	OPT f=520 TT=129.089 T1=32.58	OPT f=520 TT=103.032 T1=2.02	OPT f=520 TT=156.089 T1=59.97	OPT f=520 TT=596.693 T1=259.95	OPT f=520 TT=17.009 T1=0.1	OPT f=520 TT=16.827 T1=0.1
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii32a1.opb	OPT f=444 TT=7.444 T1=0.18	OPT f=444 TT=18.627 T1=0.19	OPT f=444 TT=294.657 T1=0.18	? (TO) TT=1800.11	OPT f=444 TT=138.626 T1=1.12	OPT f=444 TT=138.19 T1=1.11	? (TO) TT=1800.06	OPT f=444 TT=7.444 T1=1.33	OPT f=444 TT=13.056 T1=2.19	OPT f=444 TT=19.306 T1=1.14	OPT f=444 TT=139.26 T1=36.97	OPT f=444 TT=73.377 T1=2.11	OPT f=444 TT=142.104 T1=49.14	OPT f=444 TT=1364.45 T1=21.71	OPT f=444 TT=63.488 T1=0.1	OPT f=444 TT=31.737 T1=0.1
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii32b1.opb	OPT f=191 TT=17.939 T1=4.15	SAT f=191 TT=1798.04 T1=24.34	SAT f=191 TT=1798.02 T1=63.35	OPT f=191 TT=17.939 T1=12.99	SAT (TO) f=191 TT=1800.08 T1=4.12	SAT (TO) f=191 TT=1800.03 T1=4.15	? (TO) TT=1800.03	SAT (TO) f=191 TT=1800.24 T1=56.56	SAT (TO) f=191 TT=1800.49 T1=18.92	SAT (TO) f=191 TT=1800.22 T1=6.29	SAT (TO) f=193 TT=1800.12 T1=8.16	SAT (TO) f=191 TT=1800.1 T1=19.1	SAT (TO) f=192 TT=1800.06 T1=10.71	OPT f=191 TT=86.307 T1=49.13	? (TO) TT=1800.26	? (TO) TT=1800.28
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii32b2.opb	OPT f=244 TT=3.561 T1=0.44	OPT f=244 TT=673.044 T1=72.86	OPT f=244 TT=843.554 T1=93.62	OPT f=244 TT=305.025 T1=174.41	OPT f=244 TT=3.564 T1=0.45	OPT f=244 TT=3.561 T1=0.44	? (TO) TT=1800.1	OPT f=244 TT=336.227 T1=4.6	OPT f=244 TT=8.867 T1=5.94	OPT f=244 TT=5.603 T1=1.83	OPT f=244 TT=30.186 T1=15.18	OPT f=244 TT=17.213 T1=2.89	OPT f=244 TT=61.196 T1=48.32	OPT f=244 TT=158.682 T1=2.87	OPT f=244 TT=3.3 T1=0.14	OPT f=244 TT=3.06 T1=0.13
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii32b3.opb	OPT f=331 TT=10.649 T1=1.13	OPT f=331 TT=58.051 T1=3.23	OPT f=331 TT=80.214 T1=1.33	OPT f=331 TT=1049.67 T1=581.17	OPT f=331 TT=46.417 T1=1.15	OPT f=331 TT=46.453 T1=1.13	? (TO) TT=1800.04	OPT f=331 TT=1258.53 T1=26.78	OPT f=331 TT=23.024 T1=5.29	OPT f=331 TT=10.649 T1=1.63	OPT f=331 TT=113.553 T1=19.48	OPT f=331 TT=102.712 T1=3.28	OPT f=331 TT=147.491 T1=47.43	OPT f=331 TT=470.181 T1=162.69	OPT f=331 TT=15.102 T1=0.57	OPT f=331 TT=15.166 T1=0.58
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii32b4.opb	OPT f=376 TT=1.57 T1=0.18	OPT f=376 TT=16.534 T1=0.18	OPT f=376 TT=11.379 T1=0.18	OPT f=376 TT=720.626 T1=404.59	OPT f=376 TT=1.575 T1=0.36	OPT f=376 TT=1.57 T1=0.35	? (TO) TT=1800	OPT f=376 TT=8.194 T1=1.24	OPT f=376 TT=5.661 T1=2.08	OPT f=376 TT=3.307 T1=1.08	OPT f=376 TT=14.347 T1=10.18	OPT f=376 TT=4.908 T1=1.74	OPT f=376 TT=19.911 T1=15.98	OPT f=376 TT=478.936 T1=7.44	OPT f=376 TT=1.422 T1=0.09	OPT f=376 TT=1.427 T1=0.09
Bench name	Best results	bsolo 3.2 Card (complete)	bsolo 3.2 Cl (complete)	pb_cplex 2010-06-29 (complete)	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (complete)	SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete)	SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)	SAT4J PB Resolution 2.2.0 2010-05-26 (complete)	SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver (complete)	SCIPnone SCIP 1.2.1.2 without any LP solver (complete)	SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)	wbo 1.4b (complete)	wbo 1.4b (fixed) (complete)
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii32c1.opb	OPT f=167 TT=8.047 T1=7.45	SAT f=167 TT=1798.02 T1=144.07	SAT f=167 TT=1798.01 T1=294.73	OPT f=167 TT=8.047 T1=7.45	SAT (TO) f=167 TT=1800.09 T1=15.39	SAT (TO) f=167 TT=1800.04 T1=15.33	? (TO) TT=1800.01	SAT (TO) f=178 TT=1800.17 T1=476.89	SAT (TO) f=167 TT=1801.63 T1=21.92	SAT (TO) f=167 TT=1800.15 T1=9.52	SAT (TO) f=187 TT=1800.08 T1=2.19	SAT (TO) f=178 TT=1800.1 T1=1.38	SAT (TO) f=192 TT=1800.04 T1=13.28	OPT f=167 TT=72.958 T1=60.29	? (MO) TT=1698.58	? (MO) TT=1082
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii32c2.opb	OPT f=207 TT=183.597 T1=108.04	SAT f=207 TT=1798 T1=1006.45	SAT f=207 TT=1798.12 T1=694.02	OPT f=207 TT=183.597 T1=108.19	SAT (TO) f=207 TT=1800.09 T1=812.5	SAT (TO) f=207 TT=1800.04 T1=820.22	? (TO) TT=1800.06	SAT (TO) f=210 TT=1800.25 T1=1721.93	SAT (TO) f=207 TT=1800.46 T1=145.46	SAT (TO) f=207 TT=1800.18 T1=108.04	SAT (TO) f=215 TT=1800.12 T1=59.85	SAT (TO) f=212 TT=1800.1 T1=88.63	SAT (TO) f=212 TT=1800.05 T1=161.36	OPT f=207 TT=208.972 T1=151.27	? (TO) TT=1800.22	? (MO) TT=1236.78
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii32c3.opb	OPT f=261 TT=22.501 T1=5.2	OPT f=261 TT=312.358 T1=30.97	OPT f=261 TT=183.63 T1=10.86	OPT f=261 TT=1226.53 T1=681.25	OPT f=261 TT=100.029 T1=5.29	OPT f=261 TT=100.662 T1=5.3	? (TO) TT=1800.01	SAT (TO) f=261 TT=1800.27 T1=615.71	OPT f=261 TT=46.246 T1=15.07	OPT f=261 TT=22.501 T1=5.2	OPT f=261 TT=393.083 T1=43.09	OPT f=261 TT=426.987 T1=107.36	OPT f=261 TT=406.837 T1=72.38	OPT f=261 TT=302.308 T1=124.74	OPT f=261 TT=52.421 T1=12.27	OPT f=261 TT=52.233 T1=12.18
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii32c4.opb	OPT f=736 TT=16.774 T1=1.06	SAT f=736 TT=1798.04 T1=1.06	SAT f=736 TT=1798.06 T1=1.07	? (TO) TT=1800.17	SAT (TO) f=736 TT=1800.09 T1=1.19	SAT (TO) f=736 TT=1800.07 T1=1.1	? (MO) TT=33.58	OPT f=736 TT=16.774 T1=2.22	OPT f=736 TT=76.994 T1=2.48	SAT (TO) f=736 TT=1800.27 T1=1.59	SAT (TO) f=736 TT=1800.22 T1=80.99	SAT (TO) f=736 TT=1800.15 T1=3.58	SAT (TO) f=736 TT=1800.25 T1=296.89	SAT f=736 TT=1789.47 T1=1158.31	? (MO) TT=758.315	? (TO) TT=1800.21
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii32d1.opb	SAT f=285 TT=1789.52 T1=225.82	SAT f=285 TT=1798.01 T1=440.04	SAT f=287 TT=1798.02 T1=98.44	? (TO) TT=1800.11	SAT (TO) f=285 TT=1800.05 T1=224.83	SAT (TO) f=285 TT=1800.11 T1=225.82	? (TO) TT=1800.03	SAT (TO) f=297 TT=1800.2 T1=307.73	SAT (TO) f=286 TT=1800.57 T1=768.09	SAT (TO) f=286 TT=1800.19 T1=1330.37	SAT (TO) f=295 TT=1800.05 T1=80.49	SAT (TO) f=292 TT=1800.11 T1=484.35	SAT (TO) f=293 TT=1800.06 T1=75.13	SAT f=285 TT=1789.52 T1=1223.53	? (MO) TT=872.417	? (MO) TT=744.454
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii32d2.opb	SAT f=372 TT=1789.52 T1=10.31	SAT f=372 TT=1798.02 T1=526.73	SAT f=372 TT=1798.01 T1=72.59	? (TO) TT=1800.13	SAT (TO) f=372 TT=1800.1 T1=10.26	SAT (TO) f=372 TT=1800.08 T1=10.31	? (TO) TT=1800.01	SAT (TO) f=372 TT=1800.2 T1=1087.95	SAT (TO) f=372 TT=1800.34 T1=18.1	SAT (TO) f=372 TT=1800.24 T1=31.7	SAT (TO) f=372 TT=1800.09 T1=92.64	SAT (TO) f=372 TT=1800.1 T1=93.59	SAT (TO) f=372 TT=1800.08 T1=105.26	SAT f=372 TT=1789.52 T1=1182.08	? (MO) TT=1781.51	? (MO) TT=1616.27
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii32d3.opb	SAT f=802 TT=1798.05 T1=3.38	SAT f=802 TT=1798.09 T1=36.19	SAT f=802 TT=1798.05 T1=7.23	? (TO) TT=1800.08	SAT (TO) f=802 TT=1800.08 T1=3.84	SAT (TO) f=802 TT=1800.08 T1=3.83	? (TO) TT=1800.07	SAT (TO) f=802 TT=1800.34 T1=20.3	SAT (TO) f=802 TT=1800.38 T1=4.35	SAT (TO) f=802 TT=1800.28 T1=3.38	SAT (TO) f=802 TT=1800.19 T1=399.74	SAT (TO) f=802 TT=1800.15 T1=585.76	SAT (TO) f=802 TT=1800.23 T1=420.91	? TT=1789.29	? (TO) TT=1800.21	? (TO) TT=1800.12
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii32e1.opb	OPT f=162 TT=41.254 T1=3.6	SAT f=162 TT=1798 T1=69.07	SAT f=162 TT=1798.05 T1=61.49	OPT f=162 TT=41.254 T1=28.2	SAT (TO) f=162 TT=1800.02 T1=201.42	SAT (TO) f=162 TT=1800.11 T1=203.2	? (TO) TT=1800.03	SAT (TO) f=165 TT=1800.25 T1=86.95	SAT (TO) f=162 TT=1800.38 T1=27.91	SAT (TO) f=162 TT=1800.17 T1=9.29	SAT (TO) f=162 TT=1800.1 T1=8.43	SAT (TO) f=174 TT=1800.12 T1=12.3	SAT (TO) f=173 TT=1800.13 T1=12.66	OPT f=162 TT=78.692 T1=3.6	? (MO) TT=1217.43	? (MO) TT=1428.31
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii32e2.opb	OPT f=235 TT=324.637 T1=1.86	SAT f=235 TT=1798.01 T1=3.74	SAT f=235 TT=1798.01 T1=5.98	OPT f=235 TT=324.637 T1=187.25	SAT (TO) f=235 TT=1800.03 T1=1.87	SAT (TO) f=235 TT=1800.02 T1=1.86	? (TO) TT=1800.06	SAT (TO) f=235 TT=1800.21 T1=10.83	SAT (TO) f=235 TT=1800.39 T1=7.96	SAT (TO) f=235 TT=1800.25 T1=2.59	SAT (TO) f=235 TT=1800.11 T1=56.23	SAT (TO) f=235 TT=1800.04 T1=5.51	SAT (TO) f=235 TT=1800.13 T1=46.38	OPT f=235 TT=338.266 T1=152.24	? (MO) TT=1205.96	? (MO) TT=1423
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii32e3.opb	OPT f=310 TT=48.912 T1=0.64	OPT f=310 TT=55.674 T1=5.22	OPT f=310 TT=538.277 T1=1.93	? (TO) TT=1800.17	OPT f=310 TT=406.947 T1=0.74	OPT f=310 TT=406.778 T1=0.74	? (TO) TT=1800.09	OPT f=310 TT=1729.6 T1=73.1	OPT f=310 TT=112.777 T1=7.13	OPT f=310 TT=48.912 T1=2.08	OPT f=310 TT=563.13 T1=29.92	OPT f=310 TT=492.028 T1=0.64	OPT f=310 TT=643.395 T1=20.02	OPT f=310 TT=369.659 T1=4.05	OPT f=310 TT=175.801 T1=1.22	OPT f=310 TT=176.268 T1=1.22
Bench name	Best results	bsolo 3.2 Card (complete)	bsolo 3.2 Cl (complete)	pb_cplex 2010-06-29 (complete)	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (complete)	SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete)	SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)	SAT4J PB Resolution 2.2.0 2010-05-26 (complete)	SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver (complete)	SCIPnone SCIP 1.2.1.2 without any LP solver (complete)	SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)	wbo 1.4b (complete)	wbo 1.4b (fixed) (complete)
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii32e4.opb	OPT f=364 TT=104.297 T1=0.59	OPT f=364 TT=104.297 T1=4.33	SAT f=364 TT=1798.01 T1=4.12	? (TO) TT=1800.14	SAT (TO) f=364 TT=1800.11 T1=0.59	SAT (TO) f=364 TT=1800.02 T1=0.59	? (TO) TT=1800.02	SAT (TO) f=364 TT=1800.29 T1=625.57	OPT f=364 TT=1458.19 T1=4.2	OPT f=364 TT=677.691 T1=1.93	SAT (TO) f=364 TT=1800.16 T1=246.67	SAT (TO) f=364 TT=1800.09 T1=8.2	SAT (TO) f=364 TT=1800.13 T1=390.89	OPT f=364 TT=530.359 T1=233.42	? (MO) TT=752.549	? (MO) TT=1328.65
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii32e5.opb	OPT f=503 TT=53.429 T1=3.51	OPT f=503 TT=1264.5 T1=14.66	OPT f=503 TT=653.422 T1=11.36	? (TO) TT=1800.17	OPT f=503 TT=625.146 T1=5.09	OPT f=503 TT=584.379 T1=4.7	? (TO) TT=1800.1	SAT (TO) f=503 TT=1800.25 T1=416.14	OPT f=503 TT=105.535 T1=5.39	OPT f=503 TT=53.429 T1=3.51	OPT f=503 TT=877.234 T1=60.41	OPT f=503 TT=918.133 T1=44.76	OPT f=503 TT=951.823 T1=94.93	SAT f=509 TT=1789.47 T1=587.71	OPT f=503 TT=116.609 T1=1.58	OPT f=503 TT=118.066 T1=1.63
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii8a1.opb	OPT f=54 TT=0.341 T1=0.02	OPT f=54 TT=1.209 T1=0.04	OPT f=54 TT=1.093 T1=0.02	OPT f=54 TT=0.341 T1=0.33	OPT f=54 TT=1.107 T1=0.02	OPT f=54 TT=1.115 T1=0.02	? (TO) TT=1800.06	OPT f=54 TT=4.367 T1=0.95	OPT f=54 TT=2.985 T1=7.38	OPT f=54 TT=1.863 T1=0.57	OPT f=54 TT=2.357 T1=1.1	OPT f=54 TT=1.917 T1=0.75	OPT f=54 TT=3.011 T1=1.68	OPT f=54 TT=1.542 T1=1.26	OPT f=54 TT=0.421 T1=0	OPT f=54 TT=0.423 T1=0
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii8a2.opb	OPT f=139 TT=5.925 T1=3.86	SAT f=141 TT=1798 T1=1564.86	SAT f=145 TT=1798 T1=0.01	OPT f=139 TT=5.925 T1=3.86	SAT (TO) f=143 TT=1800.06 T1=1039.88	SAT (TO) f=143 TT=1800.07 T1=971.39	? (TO) TT=1800.07	SAT (TO) f=139 TT=1800.24 T1=68.92	? (TO) TT=1803.36	SAT (TO) f=146 TT=1800.28 T1=0.55	SAT (TO) f=139 TT=1800.06 T1=6.67	SAT (TO) f=146 TT=1800.03 T1=0.34	SAT (TO) f=139 TT=1800.03 T1=5.25	OPT f=139 TT=106.211 T1=25.45	? (MO) TT=1061.52	? (MO) TT=813.413
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii8a3.opb	OPT f=191 TT=2.371 T1=1.88	SAT f=201 TT=1798.01 T1=1751.88	SAT f=203 TT=1798.01 T1=0.02	OPT f=191 TT=2.371 T1=1.88	SAT (TO) f=202 TT=1800.11 T1=615.65	SAT (TO) f=202 TT=1800.09 T1=610.56	? (TO) TT=1800.03	SAT (TO) f=194 TT=1800.21 T1=3.04	SAT (TO) f=194 TT=1800.51 T1=3.7	SAT (TO) f=194 TT=1800.12 T1=0.73	SAT (TO) f=217 TT=1800.07 T1=441.28	SAT (TO) f=225 TT=1800.04 T1=1103.43	SAT (TO) f=219 TT=1800.08 T1=73.44	OPT f=191 TT=476.455 T1=63.85	? (MO) TT=842.974	? (MO) TT=726.932
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii8a4.opb	OPT f=283 TT=3.361 T1=3.36	SAT f=317 TT=1798.01 T1=254.84	SAT f=322 TT=1798.01 T1=1.32	OPT f=283 TT=3.361 T1=3.36	SAT (TO) f=302 TT=1800.02 T1=1442.8	SAT (TO) f=302 TT=1800.07 T1=1436.43	? (TO) TT=1800.09	SAT (TO) f=310 TT=1800.25 T1=127.03	SAT (TO) f=319 TT=1800.3 T1=462.04	SAT (TO) f=312 TT=1800.13 T1=539.72	SAT (TO) f=361 TT=1800.14 T1=67.39	SAT (TO) f=365 TT=1800.08 T1=177.3	SAT (TO) f=362 TT=1800.09 T1=226.42	OPT f=283 TT=1097.1 T1=108.75	? (MO) TT=817.725	? (MO) TT=797.771
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii8b1.opb	OPT f=191 TT=1.12 T1=1.12	SAT f=221 TT=1798.05 T1=0.02	SAT f=221 TT=1798 T1=0.02	OPT f=191 TT=1.12 T1=1.12	SAT (TO) f=216 TT=1800.04 T1=1288.7	SAT (TO) f=216 TT=1800.04 T1=1285.28	? (TO) TT=1800.03	SAT (TO) f=221 TT=1800.21 T1=0.69	SAT (TO) f=221 TT=1800.48 T1=3.69	SAT (TO) f=226 TT=1800.23 T1=0.71	OPT f=191 TT=8.813 T1=5.17	SAT (TO) f=297 TT=1800.13 T1=1605.29	OPT f=191 TT=14.655 T1=4.9	OPT f=191 TT=9.664 T1=5.51	? (MO) TT=762.391	? (MO) TT=779.884
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii8b2.opb	OPT f=379 TT=11.179 T1=11.18	SAT f=412 TT=1798.01 T1=0.06	SAT f=412 TT=1798.01 T1=0.06	OPT f=379 TT=11.179 T1=11.18	SAT (TO) f=381 TT=1800.03 T1=460.73	SAT (TO) f=381 TT=1800.11 T1=433.18	? (TO) TT=1800.01	SAT (TO) f=411 TT=1800.24 T1=1.53	SAT (TO) f=411 TT=1800.37 T1=4.83	SAT (TO) f=423 TT=1800.23 T1=0.83	SAT (TO) f=515 TT=1800.06 T1=16.36	SAT (TO) f=524 TT=1800.05 T1=0.47	SAT (TO) f=518 TT=1800.09 T1=28.74	OPT f=379 TT=1376.06 T1=381.63	? (MO) TT=780.935	? (MO) TT=1627.88
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii8b3.opb	OPT f=507 TT=21.604 T1=21.6	SAT f=587 TT=1798.02 T1=308.03	SAT f=616 TT=1798.02 T1=0.1	OPT f=507 TT=21.604 T1=21.6	SAT (TO) f=521 TT=1800.06 T1=289.19	SAT (TO) f=521 TT=1800.07 T1=288.89	? (TO) TT=1800.04	SAT (TO) f=635 TT=1800.27 T1=1.09	SAT (TO) f=581 TT=1800.29 T1=3.02	SAT (TO) f=581 TT=1800.23 T1=1.17	SAT (TO) f=727 TT=1800.11 T1=27.48	SAT (TO) f=728 TT=1800.07 T1=0.83	SAT (TO) f=728 TT=1800.11 T1=59.28	SAT f=507 TT=1789.35 T1=292.25	? (MO) TT=883.223	? (MO) TT=885.806
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii8b4.opb	OPT f=654 TT=54.257 T1=54.26	SAT f=796 TT=1798.02 T1=0.16	SAT f=776 TT=1798.04 T1=199.32	OPT f=654 TT=54.257 T1=54.26	SAT (TO) f=666 TT=1800.1 T1=0.4	SAT (TO) f=666 TT=1800.04 T1=0.38	? (TO) TT=1800.02	SAT (TO) f=708 TT=1800.21 T1=1.41	SAT (TO) f=756 TT=1800.28 T1=3.13	SAT (TO) f=756 TT=1800.24 T1=1.28	SAT (TO) f=968 TT=1800.19 T1=38.73	SAT (TO) f=967 TT=1800.12 T1=1.08	SAT (TO) f=965 TT=1800.2 T1=76.78	SAT f=654 TT=1789.63 T1=658.92	? (MO) TT=1244.04	? (MO) TT=1279.03
Bench name	Best results	bsolo 3.2 Card (complete)	bsolo 3.2 Cl (complete)	pb_cplex 2010-06-29 (complete)	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (complete)	SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete)	SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)	SAT4J PB Resolution 2.2.0 2010-05-26 (complete)	SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver (complete)	SCIPnone SCIP 1.2.1.2 without any LP solver (complete)	SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)	wbo 1.4b (complete)	wbo 1.4b (fixed) (complete)
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii8c1.opb	OPT f=302 TT=1.123 T1=1.12	SAT f=315 TT=1798.01 T1=0.04	SAT f=315 TT=1798.01 T1=0.04	OPT f=302 TT=1.123 T1=1.12	SAT (TO) f=328 TT=1800.03 T1=65.47	SAT (TO) f=328 TT=1800.11 T1=64.86	? (TO) TT=1800.08	SAT (TO) f=315 TT=1800.62 T1=0.78	SAT (TO) f=315 TT=1800.68 T1=1.79	SAT (TO) f=315 TT=1800.31 T1=0.79	SAT (TO) f=302 TT=1800.14 T1=32.64	SAT (TO) f=448 TT=1800.11 T1=159.53	SAT (TO) f=445 TT=1800.09 T1=1689.02	OPT f=302 TT=523.6 T1=29.02	? (MO) TT=762.867	? (MO) TT=1178.61
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii8c2.opb	OPT f=525 TT=26.721 T1=20.93	SAT f=647 TT=1798.02 T1=0.11	SAT f=647 TT=1798.02 T1=0.11	OPT f=525 TT=26.721 T1=26.72	SAT (TO) f=565 TT=1800.1 T1=1581.63	SAT (TO) f=565 TT=1800.1 T1=1617.63	? (TO) TT=1800.02	SAT (TO) f=583 TT=1800.25 T1=4.47	SAT (TO) f=623 TT=1800.24 T1=4.31	SAT (TO) f=564 TT=1800.2 T1=1.68	SAT (TO) f=525 TT=1800.14 T1=20.93	SAT (TO) f=868 TT=1800.11 T1=10.25	SAT (TO) f=525 TT=1800.11 T1=53.41	SAT f=525 TT=1789.55 T1=251.8	? (MO) TT=1485.81	? (TO) TT=1800.28
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii8d1.opb	OPT f=343 TT=770.979 T1=450.81	SAT f=374 TT=1798.01 T1=0.04	SAT f=374 TT=1798.29 T1=0.04	OPT f=343 TT=770.979 T1=450.81	SAT (TO) f=391 TT=1800.1 T1=183.24	SAT (TO) f=391 TT=1800.05 T1=172.82	? (TO) TT=1800.03	SAT (TO) f=397 TT=1800.17 T1=3.13	SAT (TO) f=391 TT=1800.26 T1=2.8	SAT (TO) f=391 TT=1800.19 T1=0.88	SAT (TO) f=448 TT=1800.05 T1=12.18	SAT (TO) f=447 TT=1800.08 T1=1.17	SAT (TO) f=447 TT=1800.1 T1=21.53	SAT f=343 TT=1789.38 T1=630.35	? (MO) TT=1440.81	? (MO) TT=1030.98
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii8d2.opb	OPT f=540 TT=47.178 T1=47.18	SAT f=589 TT=1798.05 T1=0.1	SAT f=589 TT=1798.02 T1=0.11	OPT f=540 TT=47.178 T1=47.18	SAT (TO) f=603 TT=1800.1 T1=132.16	SAT (TO) f=603 TT=1800.04 T1=131.61	? (TO) TT=1800.09	SAT (TO) f=658 TT=1800.3 T1=1.36	SAT (TO) f=646 TT=1800.43 T1=4.11	SAT (TO) f=646 TT=1800.31 T1=1.3	SAT (TO) f=825 TT=1800.15 T1=959.1	SAT (TO) f=846 TT=1800.15 T1=43.66	SAT (TO) f=841 TT=1800.12 T1=91.66	SAT f=540 TT=1789.41 T1=1378.95	? (MO) TT=1289.3	? (MO) TT=1767.59
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii8e1.opb	OPT f=343 TT=28.519 T1=24.56	SAT f=383 TT=1798.01 T1=0.2	SAT f=393 TT=1798.01 T1=0.09	OPT f=343 TT=28.519 T1=24.56	SAT (TO) f=376 TT=1800.11 T1=527.06	SAT (TO) f=376 TT=1800.06 T1=525.87	? (TO) TT=1800	SAT (TO) f=430 TT=1800.23 T1=1475.5	SAT (TO) f=395 TT=1800.73 T1=99.07	SAT (TO) f=395 TT=1800.13 T1=1.57	SAT (TO) f=443 TT=1800.11 T1=1586.54	SAT (TO) f=443 TT=1800.08 T1=185.13	SAT (TO) f=443 TT=1800.11 T1=1052.77	SAT f=343 TT=1789.2 T1=325.51	? (MO) TT=1383.41	? (MO) TT=826.673
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ii8e2.opb	OPT f=494 TT=19.161 T1=19.16	SAT f=633 TT=1798.03 T1=0.1	SAT f=633 TT=1798.02 T1=0.1	OPT f=494 TT=19.161 T1=19.16	SAT (TO) f=524 TT=1800.04 T1=1127.7	SAT (TO) f=524 TT=1800.09 T1=1144.84	? (TO) TT=1800.06	SAT (TO) f=689 TT=1800.28 T1=3.93	SAT (TO) f=590 TT=1800.63 T1=1.98	SAT (TO) f=590 TT=1800.17 T1=0.98	SAT (TO) f=697 TT=1800.12 T1=28.54	SAT (TO) f=809 TT=1800.13 T1=0.68	SAT (TO) f=809 TT=1800.08 T1=41.22	SAT f=494 TT=1789.55 T1=998.63	? (MO) TT=1267.6	? (MO) TT=1167.96
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-jnh12.opb	OPT f=94 TT=0.012 T1=0.01	OPT f=94 TT=0.013 T1=0.01	OPT f=94 TT=0.012 T1=0.01	OPT f=94 TT=0.211 T1=0.21	OPT f=94 TT=0.063 T1=0.05	OPT f=94 TT=0.06 T1=0.04	OPT f=94 TT=42.983 T1=0.57	OPT f=94 TT=1.089 T1=0.56	OPT f=94 TT=1.173 T1=1.55	OPT f=94 TT=0.855 T1=0.5	OPT f=94 TT=0.143 T1=0.13	OPT f=94 TT=0.144 T1=0.13	OPT f=94 TT=0.146 T1=0.13	OPT f=94 TT=0.111 T1=0.1	OPT f=94 TT=0.017 T1=0.01	OPT f=94 TT=0.017 T1=0.01
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-jnh17.opb	OPT f=95 TT=0.067 T1=0.04	OPT f=95 TT=0.819 T1=0.28	OPT f=95 TT=0.814 T1=0.27	OPT f=95 TT=1.394 T1=1.26	OPT f=95 TT=0.071 T1=0.05	OPT f=95 TT=0.067 T1=0.04	OPT f=95 TT=320.175 T1=0.6	OPT f=95 TT=2.312 T1=1.13	OPT f=95 TT=1.595 T1=4.64	OPT f=95 TT=1.128 T1=0.63	OPT f=95 TT=5.118 T1=5.04	OPT f=95 TT=0.205 T1=0.14	OPT f=95 TT=4.929 T1=4.85	OPT f=95 TT=0.55 T1=0.5	OPT f=95 TT=0.025 T1=0.02	OPT f=95 TT=0.024 T1=0.02
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-jnh1.opb	OPT f=92 TT=0.104 T1=0.06	OPT f=92 TT=11.014 T1=2.54	OPT f=92 TT=10.897 T1=2.5	OPT f=92 TT=6.916 T1=4.61	OPT f=92 TT=0.114 T1=0.07	OPT f=92 TT=0.104 T1=0.06	? (TO) TT=1800.05	OPT f=92 TT=4.573 T1=1.72	OPT f=92 TT=2.192 T1=5.68	OPT f=92 TT=1.722 T1=0.86	OPT f=92 TT=12.108 T1=11.7	OPT f=92 TT=0.685 T1=0.32	OPT f=92 TT=9.518 T1=9.03	OPT f=92 TT=1.407 T1=1.35	OPT f=92 TT=0.047 T1=0.03	OPT f=92 TT=0.047 T1=0.03
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-jnh201.opb	OPT f=84 TT=22.366 T1=15.79	OPT f=84 TT=500.522 T1=422.53	OPT f=84 TT=594.507 T1=535.16	OPT f=84 TT=51.801 T1=30.12	OPT f=84 TT=76.278 T1=34.85	OPT f=84 TT=75.795 T1=34.63	? (TO) TT=1800.03	SAT (TO) f=86 TT=1800.24 T1=181.85	OPT f=84 TT=46.855 T1=29.75	OPT f=84 TT=22.366 T1=21.44	OPT f=84 TT=82.376 T1=15.79	OPT f=84 TT=72.969 T1=39.34	OPT f=84 TT=103.66 T1=73.98	OPT f=84 TT=80.118 T1=73.62	OPT f=84 TT=29.708 T1=14.1	OPT f=84 TT=29.459 T1=13.98
Bench name	Best results	bsolo 3.2 Card (complete)	bsolo 3.2 Cl (complete)	pb_cplex 2010-06-29 (complete)	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (complete)	SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete)	SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)	SAT4J PB Resolution 2.2.0 2010-05-26 (complete)	SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver (complete)	SCIPnone SCIP 1.2.1.2 without any LP solver (complete)	SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)	wbo 1.4b (complete)	wbo 1.4b (fixed) (complete)
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-jnh204.opb	OPT f=93 TT=0.072 T1=0.05	OPT f=93 TT=15.816 T1=8.52	OPT f=93 TT=15.533 T1=8.49	OPT f=93 TT=34.899 T1=20.91	OPT f=93 TT=0.075 T1=0.05	OPT f=93 TT=0.072 T1=0.05	OPT f=93 TT=608.513 T1=608.64	OPT f=93 TT=2.591 T1=1.22	OPT f=93 TT=2.575 T1=3.57	OPT f=93 TT=1.571 T1=0.77	OPT f=93 TT=7.445 T1=7.18	OPT f=93 TT=0.475 T1=0.34	OPT f=93 TT=9.618 T1=9.35	OPT f=93 TT=1.826 T1=1.7	OPT f=93 TT=0.024 T1=0.01	OPT f=93 TT=0.024 T1=0.01
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-jnh205.opb	OPT f=94 TT=0.061 T1=0.04	OPT f=94 TT=2.425 T1=0.11	OPT f=94 TT=2.421 T1=0.11	OPT f=94 TT=2.461 T1=2.06	OPT f=94 TT=0.062 T1=0.04	OPT f=94 TT=0.061 T1=0.04	OPT f=94 TT=294.527 T1=263.45	OPT f=94 TT=1.744 T1=0.98	OPT f=94 TT=1.613 T1=4.61	OPT f=94 TT=1.112 T1=0.69	OPT f=94 TT=5.187 T1=5.16	OPT f=94 TT=0.191 T1=0.17	OPT f=94 TT=10.078 T1=0.61	OPT f=94 TT=0.5 T1=0.45	OPT f=94 TT=0.018 T1=0.01	OPT f=94 TT=0.019 T1=0.01
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-jnh207.opb	OPT f=95 TT=0.061 T1=0.04	OPT f=95 TT=1.513 T1=0.17	OPT f=95 TT=1.51 T1=0.17	OPT f=95 TT=3.37 T1=2.84	OPT f=95 TT=0.064 T1=0.04	OPT f=95 TT=0.061 T1=0.04	OPT f=95 TT=28.393 T1=0.59	OPT f=95 TT=1.677 T1=0.84	OPT f=95 TT=1.918 T1=1.59	OPT f=95 TT=1.008 T1=0.56	OPT f=95 TT=9.539 T1=9.49	OPT f=95 TT=0.222 T1=0.14	OPT f=95 TT=11.51 T1=11.46	OPT f=95 TT=1.231 T1=1.17	OPT f=95 TT=0.017 T1=0.01	OPT f=95 TT=0.017 T1=0.01
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-jnh209.opb	OPT f=93 TT=0.084 T1=0.04	OPT f=93 TT=8.879 T1=1.45	OPT f=93 TT=8.808 T1=1.43	OPT f=93 TT=3.593 T1=2.74	OPT f=93 TT=0.086 T1=0.05	OPT f=93 TT=0.084 T1=0.04	? (TO) TT=1800.03	OPT f=93 TT=4.894 T1=0.86	OPT f=93 TT=2.011 T1=2.6	OPT f=93 TT=1.61 T1=0.66	OPT f=93 TT=10.34 T1=10.11	OPT f=93 TT=0.35 T1=0.23	OPT f=93 TT=10.738 T1=10.59	OPT f=93 TT=1.294 T1=1.22	OPT f=93 TT=0.031 T1=0.01	OPT f=93 TT=0.031 T1=0.01
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-jnh210.opb	OPT f=88 TT=0.319 T1=0.16	OPT f=88 TT=3.312 T1=2.74	OPT f=88 TT=3.291 T1=2.72	OPT f=88 TT=0.441 T1=0.42	OPT f=88 TT=0.328 T1=0.16	OPT f=88 TT=0.319 T1=0.16	? (TO) TT=1800.02	OPT f=88 TT=7.429 T1=1.91	OPT f=88 TT=3.131 T1=5.63	OPT f=88 TT=2.05 T1=0.91	OPT f=88 TT=7.762 T1=7.75	OPT f=88 TT=1.56 T1=1.03	OPT f=88 TT=6.543 T1=1.91	OPT f=88 TT=2.412 T1=2.4	OPT f=88 TT=0.267 T1=0.13	OPT f=88 TT=0.218 T1=0.13
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-jnh212.opb	OPT f=97 TT=0.065 T1=0.05	OPT f=97 TT=4.261 T1=0.65	OPT f=97 TT=4.237 T1=0.63	OPT f=97 TT=4.828 T1=3.19	OPT f=97 TT=0.068 T1=0.05	OPT f=97 TT=0.065 T1=0.05	OPT f=97 TT=9.233 T1=9.21	OPT f=97 TT=1.683 T1=1.06	OPT f=97 TT=1.827 T1=2.53	OPT f=97 TT=1.306 T1=0.64	OPT f=97 TT=12.663 T1=12.56	OPT f=97 TT=0.283 T1=0.26	OPT f=97 TT=9.831 T1=9.73	OPT f=97 TT=1.354 T1=1.3	OPT f=97 TT=0.02 T1=0.01	OPT f=97 TT=0.02 T1=0.01
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-jnh213.opb	OPT f=92 TT=0.066 T1=0.05	OPT f=92 TT=0.263 T1=0.13	OPT f=92 TT=0.261 T1=0.13	OPT f=92 TT=1.511 T1=1.47	OPT f=92 TT=0.068 T1=0.05	OPT f=92 TT=0.066 T1=0.05	? (TO) TT=1800.06	OPT f=92 TT=2.024 T1=0.77	OPT f=92 TT=1.74 T1=5.63	OPT f=92 TT=0.984 T1=0.56	OPT f=92 TT=2.532 T1=2.48	OPT f=92 TT=0.201 T1=0.16	OPT f=92 TT=3.5 T1=3.45	OPT f=92 TT=0.364 T1=0.25	OPT f=92 TT=0.038 T1=0.03	OPT f=92 TT=0.039 T1=0.03
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-jnh217.opb	OPT f=89 TT=0.52 T1=0.31	OPT f=89 TT=96.095 T1=49.76	OPT f=89 TT=91.108 T1=35.3	OPT f=89 TT=91.364 T1=50.57	OPT f=89 TT=0.517 T1=0.31	OPT f=89 TT=0.52 T1=0.31	? (TO) TT=1800.04	OPT f=89 TT=19.136 T1=10.96	OPT f=89 TT=3.277 T1=5.59	OPT f=89 TT=2.706 T1=1.3	OPT f=89 TT=14.801 T1=14.41	OPT f=89 TT=4.392 T1=3.54	OPT f=89 TT=17.763 T1=17.07	OPT f=89 TT=87.628 T1=42.92	OPT f=89 TT=0.327 T1=0.22	OPT f=89 TT=0.326 T1=0.22
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-jnh218.opb	OPT f=90 TT=0.086 T1=0.06	OPT f=90 TT=1.542 T1=1.08	OPT f=90 TT=1.527 T1=1.08	OPT f=90 TT=1.302 T1=1.15	OPT f=90 TT=0.088 T1=0.06	OPT f=90 TT=0.086 T1=0.06	? (TO) TT=1800	OPT f=90 TT=4.455 T1=1.38	OPT f=90 TT=2.144 T1=5.62	OPT f=90 TT=1.387 T1=0.76	OPT f=90 TT=3.559 T1=3.45	OPT f=90 TT=0.301 T1=0.2	OPT f=90 TT=3.222 T1=0.43	OPT f=90 TT=8.114 T1=0.2	OPT f=90 TT=0.03 T1=0.02	OPT f=90 TT=0.028 T1=0.02
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-jnh220.opb	OPT f=94 TT=0.075 T1=0.04	OPT f=94 TT=5.934 T1=0.29	OPT f=94 TT=8.177 T1=0.26	OPT f=94 TT=12.351 T1=7.47	OPT f=94 TT=0.077 T1=0.05	OPT f=94 TT=0.075 T1=0.04	OPT f=94 TT=220.93 T1=199.09	OPT f=94 TT=2.702 T1=1.34	OPT f=94 TT=1.945 T1=4.61	OPT f=94 TT=1.604 T1=0.84	OPT f=94 TT=12.014 T1=11.87	OPT f=94 TT=0.412 T1=0.28	OPT f=94 TT=14.943 T1=14.77	OPT f=94 TT=1.495 T1=1.42	OPT f=94 TT=0.025 T1=0.02	OPT f=94 TT=0.025 T1=0.02
Bench name	Best results	bsolo 3.2 Card (complete)	bsolo 3.2 Cl (complete)	pb_cplex 2010-06-29 (complete)	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (complete)	SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete)	SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)	SAT4J PB Resolution 2.2.0 2010-05-26 (complete)	SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver (complete)	SCIPnone SCIP 1.2.1.2 without any LP solver (complete)	SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)	wbo 1.4b (complete)	wbo 1.4b (fixed) (complete)
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-jnh301.opb	OPT f=95 TT=0.068 T1=0.05	OPT f=95 TT=1.815 T1=0.14	OPT f=95 TT=1.803 T1=0.14	OPT f=95 TT=4.566 T1=3.37	OPT f=95 TT=0.07 T1=0.05	OPT f=95 TT=0.068 T1=0.05	OPT f=95 TT=145.137 T1=145.15	OPT f=95 TT=2.547 T1=1.18	OPT f=95 TT=2.216 T1=1.55	OPT f=95 TT=1.444 T1=0.65	OPT f=95 TT=9.263 T1=9.18	OPT f=95 TT=0.31 T1=0.2	OPT f=95 TT=18.751 T1=18.67	OPT f=95 TT=1.012 T1=0.91	OPT f=95 TT=0.021 T1=0.01	OPT f=95 TT=0.021 T1=0.01
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-jnh7.opb	OPT f=89 TT=0.085 T1=0.05	OPT f=89 TT=1.295 T1=0.79	OPT f=89 TT=1.289 T1=0.79	OPT f=89 TT=0.25 T1=0.24	OPT f=89 TT=0.087 T1=0.06	OPT f=89 TT=0.085 T1=0.05	? (TO) TT=1800.08	OPT f=89 TT=3.158 T1=0.66	OPT f=89 TT=2.049 T1=4.59	OPT f=89 TT=1.382 T1=0.6	OPT f=89 TT=0.173 T1=0.16	OPT f=89 TT=0.249 T1=0.16	OPT f=89 TT=0.177 T1=0.16	OPT f=89 TT=0.22 T1=0.21	OPT f=89 TT=0.034 T1=0.03	OPT f=89 TT=0.033 T1=0.02
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-par16-1-c.opb	OPT f=317 TT=1.276 T1=0.15	OPT f=317 TT=5.941 T1=0.47	OPT f=317 TT=6.296 T1=0.28	OPT f=317 TT=135 T1=77.77	OPT f=317 TT=1.289 T1=0.16	OPT f=317 TT=1.276 T1=0.15	OPT f=317 TT=298.959 T1=1.38	OPT f=317 TT=5.117 T1=2.92	OPT f=317 TT=6.939 T1=2.59	OPT f=317 TT=3.767 T1=1.54	OPT f=317 TT=48.274 T1=47.41	OPT f=317 TT=27.842 T1=22.44	OPT f=317 TT=46.499 T1=41.14	OPT f=317 TT=523.068 T1=291.38	OPT f=317 TT=0.924 T1=0.29	OPT f=317 TT=0.825 T1=0.3
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par16-1.opb	OPT f=1015 TT=1.556 T1=0.62	OPT f=1015 TT=5.301 T1=0.76	OPT f=1015 TT=3.153 T1=0.62	OPT f=1015 TT=355.442 T1=192.36	OPT f=1015 TT=1.557 T1=0.76	OPT f=1015 TT=1.556 T1=0.75	OPT f=1015 TT=722.304 T1=4.81	OPT f=1015 TT=9.458 T1=4.82	OPT f=1015 TT=8.991 T1=2.86	OPT f=1015 TT=5.704 T1=1.51	OPT f=1015 TT=31.292 T1=29.54	OPT f=1015 TT=24.68 T1=7.78	OPT f=1015 TT=45.748 T1=44.16	OPT f=1015 TT=1478.22 T1=1455.97	OPT f=1015 TT=0.768 T1=0.36	OPT f=1015 TT=0.721 T1=0.34
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-par16-2-c.opb	OPT f=349 TT=1.431 T1=0.35	OPT f=349 TT=6.275 T1=0.84	OPT f=349 TT=4.837 T1=0.44	OPT f=349 TT=296.439 T1=163.72	OPT f=349 TT=1.431 T1=0.35	OPT f=349 TT=1.431 T1=0.35	OPT f=349 TT=436.191 T1=2.69	OPT f=349 TT=6.064 T1=3.67	OPT f=349 TT=7.216 T1=3.64	OPT f=349 TT=4.224 T1=2.58	OPT f=349 TT=65.55 T1=51.13	OPT f=349 TT=43.112 T1=19.22	OPT f=349 TT=63.22 T1=33.8	OPT f=349 TT=651.505 T1=593.83	OPT f=349 TT=0.9 T1=0.84	OPT f=349 TT=0.895 T1=0.83
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par16-2.opb	OPT f=1015 TT=5.233 T1=0.4	OPT f=1015 TT=8.869 T1=0.54	OPT f=1015 TT=5.284 T1=1.64	OPT f=1015 TT=713.606 T1=380.95	OPT f=1015 TT=5.202 T1=0.41	OPT f=1015 TT=5.233 T1=0.4	OPT f=1015 TT=1164.98 T1=6.23	OPT f=1015 TT=12.092 T1=4.16	OPT f=1015 TT=15.876 T1=3.98	OPT f=1015 TT=7.636 T1=1.72	OPT f=1015 TT=36.841 T1=27.97	OPT f=1015 TT=28.324 T1=26.86	OPT f=1015 TT=73.434 T1=56.87	OPT f=1015 TT=944.315 T1=890.06	OPT f=1015 TT=1.168 T1=0.88	OPT f=1015 TT=1.164 T1=0.88
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-par16-3-c.opb	OPT f=334 TT=0.855 T1=0.36	OPT f=334 TT=7.868 T1=1.22	OPT f=334 TT=3.251 T1=1.88	OPT f=334 TT=209.833 T1=118.04	OPT f=334 TT=0.859 T1=0.37	OPT f=334 TT=0.855 T1=0.36	OPT f=334 TT=375.471 T1=2.79	OPT f=334 TT=6.389 T1=3.14	OPT f=334 TT=6.592 T1=2.59	OPT f=334 TT=3.081 T1=1.14	OPT f=334 TT=47.284 T1=38.26	OPT f=334 TT=30.955 T1=21.4	OPT f=334 TT=59.755 T1=58.74	OPT f=334 TT=731.399 T1=729	OPT f=334 TT=1.704 T1=0.58	OPT f=334 TT=1.537 T1=0.58
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par16-3.opb	OPT f=1015 TT=1.677 T1=1.53	OPT f=1015 TT=8.389 T1=4.36	OPT f=1015 TT=3.59 T1=2.39	OPT f=1015 TT=228.859 T1=124.98	OPT f=1015 TT=1.702 T1=1.55	OPT f=1015 TT=1.677 T1=1.53	OPT f=1015 TT=872.182 T1=5.37	OPT f=1015 TT=10.085 T1=3.78	OPT f=1015 TT=7.93 T1=3.85	OPT f=1015 TT=4.84 T1=1.98	OPT f=1015 TT=27.773 T1=22.59	OPT f=1015 TT=18.934 T1=10.97	OPT f=1015 TT=53.185 T1=41.69	OPT f=1015 TT=1423.78 T1=1410.37	OPT f=1015 TT=0.974 T1=0.89	OPT f=1015 TT=0.965 T1=0.89
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-par16-4-c.opb	OPT f=324 TT=0.441 T1=0.18	OPT f=324 TT=3.047 T1=0.43	OPT f=324 TT=2.046 T1=0.24	OPT f=324 TT=234.859 T1=129.81	OPT f=324 TT=0.475 T1=0.2	OPT f=324 TT=0.441 T1=0.18	OPT f=324 TT=180.928 T1=1.33	OPT f=324 TT=4.598 T1=1.57	OPT f=324 TT=4.38 T1=2.59	OPT f=324 TT=2.686 T1=1.14	OPT f=324 TT=34.441 T1=33.05	OPT f=324 TT=13.505 T1=5.04	OPT f=324 TT=41.677 T1=40.9	OPT f=324 TT=907.831 T1=724.89	OPT f=324 TT=0.403 T1=0.08	OPT f=324 TT=0.38 T1=0.08
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par16-4.opb	OPT f=1015 TT=1.048 T1=0.43	OPT f=1015 TT=1.63 T1=0.91	OPT f=1015 TT=1.048 T1=0.7	OPT f=1015 TT=173.85 T1=96.61	OPT f=1015 TT=1.349 T1=0.47	OPT f=1015 TT=1.247 T1=0.43	OPT f=1015 TT=532.994 T1=3.43	OPT f=1015 TT=5.972 T1=2.93	OPT f=1015 TT=7.954 T1=3.85	OPT f=1015 TT=3.844 T1=1.58	OPT f=1015 TT=24.289 T1=19.5	OPT f=1015 TT=10.51 T1=10.32	OPT f=1015 TT=21.997 T1=21.68	? TT=1789.54	OPT f=1015 TT=0.502 T1=0.27	OPT f=1015 TT=0.488 T1=0.27
Bench name	Best results	bsolo 3.2 Card (complete)	bsolo 3.2 Cl (complete)	pb_cplex 2010-06-29 (complete)	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (complete)	SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete)	SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)	SAT4J PB Resolution 2.2.0 2010-05-26 (complete)	SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver (complete)	SCIPnone SCIP 1.2.1.2 without any LP solver (complete)	SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)	wbo 1.4b (complete)	wbo 1.4b (fixed) (complete)
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-par16-5-c.opb	OPT f=341 TT=0.689 T1=0.13	OPT f=341 TT=5.785 T1=1.77	OPT f=341 TT=3.279 T1=1.69	OPT f=341 TT=794.446 T1=434.36	OPT f=341 TT=0.692 T1=0.14	OPT f=341 TT=0.689 T1=0.13	OPT f=341 TT=265.269 T1=1.61	OPT f=341 TT=5.437 T1=1.31	OPT f=341 TT=5.227 T1=1.62	OPT f=341 TT=2.755 T1=1.15	OPT f=341 TT=54.241 T1=31.76	OPT f=341 TT=39.43 T1=9.21	OPT f=341 TT=63.774 T1=59.58	OPT f=341 TT=642.78 T1=480.48	OPT f=341 TT=0.582 T1=0.51	OPT f=341 TT=0.54 T1=0.48
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par16-5.opb	OPT f=1015 TT=1.37 T1=0.91	OPT f=1015 TT=3.021 T1=1.67	OPT f=1015 TT=1.837 T1=1.46	OPT f=1015 TT=387.988 T1=209.27	OPT f=1015 TT=1.394 T1=0.93	OPT f=1015 TT=1.37 T1=0.91	OPT f=1015 TT=724.265 T1=4.51	OPT f=1015 TT=8.34 T1=4.86	OPT f=1015 TT=11.381 T1=4.85	OPT f=1015 TT=4.702 T1=2.67	OPT f=1015 TT=40.502 T1=39.91	OPT f=1015 TT=20.481 T1=18.97	OPT f=1015 TT=68.038 T1=67.2	? TT=1789.45	OPT f=1015 TT=0.598 T1=0.45	OPT f=1015 TT=0.595 T1=0.45
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-par32-1-c.opb		? TT=1798.01	? TT=1798	? (TO) TT=1800.16	? (TO) TT=1800.05	? (TO) TT=1800.03	? (TO) TT=1800.04	? (TO) TT=1800.39	? (TO) TT=1800.43	? (TO) TT=1800.17	? (TO) TT=1800.2	? (TO) TT=1800.12	? (TO) TT=1800.22	? TT=1789.38	? (TO) TT=1800.14	? (TO) TT=1800.07
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par32-1.opb		? TT=1798	? TT=1798.01	? (TO) TT=1800.09	? (TO) TT=1800.04	? (TO) TT=1800.13	? (TO) TT=1800.02	? (TO) TT=1800.31	? (TO) TT=1800.51	? (TO) TT=1800.26	? (TO) TT=1800.13	? (TO) TT=1800.14	? (TO) TT=1800.25	? TT=1789.79	? (TO) TT=1800.17	? (TO) TT=1800.08
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-par32-2-c.opb		? TT=1798	? TT=1798	? (TO) TT=1800.09	? (TO) TT=1800.11	? (TO) TT=1800.11	? (TO) TT=1800.1	? (TO) TT=1800.43	? (TO) TT=1800.35	? (TO) TT=1800.19	? (TO) TT=1800.26	? (TO) TT=1800.1	? (TO) TT=1800.24	? TT=1789.77	? (TO) TT=1800.16	? (TO) TT=1800.08
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par32-2.opb		? TT=1798	? TT=1798.01	? (TO) TT=1800.1	? (TO) TT=1800.07	? (TO) TT=1800.11	? (TO) TT=1800.1	? (TO) TT=1800.35	? (TO) TT=1800.2	? (TO) TT=1800.23	? (TO) TT=1800.24	? (TO) TT=1800.08	? (TO) TT=1800.25	? TT=1789.67	? (TO) TT=1800.17	? (TO) TT=1800.11
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-par32-3-c.opb		? TT=1798	? TT=1798	? (TO) TT=1800.19	? (TO) TT=1800.1	? (TO) TT=1800.03	? (TO) TT=1800.02	? (TO) TT=1801.05	? (TO) TT=1800.39	? (TO) TT=1800.14	? (TO) TT=1800.24	? (TO) TT=1800.09	? (TO) TT=1800.19	? TT=1789.43	? (TO) TT=1800.13	? (TO) TT=1800.07
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par32-3.opb		? TT=1798	? TT=1798.01	? (TO) TT=1800.06	? (TO) TT=1800.06	? (TO) TT=1800.03	? (TO) TT=1800.09	? (TO) TT=1800.27	? (TO) TT=1800.55	? (TO) TT=1800.23	? (TO) TT=1800.2	? (TO) TT=1800.09	? (TO) TT=1800.16	? TT=1789.43	? (TO) TT=1800.18	? (TO) TT=1800.11
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-par32-4-c.opb		? TT=1798.01	? TT=1798	? (TO) TT=1800.01	? (TO) TT=1800.1	? (TO) TT=1800.03	? (TO) TT=1800.04	? (TO) TT=1800.31	? (TO) TT=1800.4	? (TO) TT=1800.22	? (TO) TT=1800.16	? (TO) TT=1800.13	? (TO) TT=1800.26	? TT=1789.55	? (TO) TT=1800.16	? (TO) TT=1800.1
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par32-4.opb		? TT=1798.01	? TT=1798.01	? (TO) TT=1800.11	? (TO) TT=1800.1	? (TO) TT=1800.07	? (TO) TT=1800.07	? (TO) TT=1800.36	? (TO) TT=1800.36	? (TO) TT=1800.2	? (TO) TT=1800.17	? (TO) TT=1800.17	? (TO) TT=1800.24	? TT=1789.34	? (TO) TT=1800.11	? (TO) TT=1800.14
Bench name	Best results	bsolo 3.2 Card (complete)	bsolo 3.2 Cl (complete)	pb_cplex 2010-06-29 (complete)	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (complete)	SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete)	SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)	SAT4J PB Resolution 2.2.0 2010-05-26 (complete)	SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver (complete)	SCIPnone SCIP 1.2.1.2 without any LP solver (complete)	SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)	wbo 1.4b (complete)	wbo 1.4b (fixed) (complete)
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-par32-5-c.opb		? TT=1798.01	? TT=1798	? (TO) TT=1800.16	? (TO) TT=1800.12	? (TO) TT=1800.09	? (TO) TT=1800.04	? (TO) TT=1800.33	? (TO) TT=1800.19	? (TO) TT=1800.14	? (TO) TT=1800.26	? (TO) TT=1800.13	? (TO) TT=1800.28	? TT=1790.45	? (TO) TT=1800.09	? (TO) TT=1800.14
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par32-5.opb	SAT f=3176 TT=1800.11 T1=436.51	? TT=1798	? TT=1798	? (TO) TT=1800.04	SAT (TO) f=3176 TT=1800.05 T1=436.08	SAT (TO) f=3176 TT=1800.11 T1=436.51	? (TO) TT=1800.02	? (TO) TT=1800.31	? (TO) TT=1800.39	? (TO) TT=1800.19	? (TO) TT=1800.16	? (TO) TT=1800.11	? (TO) TT=1800.24	? TT=1789.45	? (TO) TT=1800.14	? (TO) TT=1800.15
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-ssa0432-003.opb	UNSAT TT=0.017	UNSAT TT=0.018	UNSAT TT=0.017	UNSAT TT=1.063	UNSAT TT=0.141	UNSAT TT=0.129	UNSAT TT=0.665	UNSAT TT=1.144	UNSAT TT=1.413	UNSAT TT=0.995	UNSAT TT=0.284	UNSAT TT=0.141	UNSAT TT=0.302	UNSAT TT=0.172	? (problem) TT=0.032	UNSAT TT=0.033
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-ssa2670-130.opb	UNSAT TT=0.089	UNSAT TT=0.093	UNSAT TT=0.089	UNSAT TT=32.24	UNSAT TT=0.491	UNSAT TT=0.472	UNSAT TT=2.528	UNSAT TT=2.748	UNSAT TT=3.837	UNSAT TT=2.083	UNSAT TT=12.351	UNSAT TT=0.794	UNSAT TT=19.056	UNSAT TT=1.105	UNSAT TT=0.332	UNSAT TT=0.336
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-ssa2670-141.opb	UNSAT TT=0.076	UNSAT TT=0.086	UNSAT TT=0.076	UNSAT TT=23.063	UNSAT TT=0.369	UNSAT TT=0.35	UNSAT TT=1.709	UNSAT TT=2.522	UNSAT TT=2.825	UNSAT TT=1.85	UNSAT TT=6.919	UNSAT TT=0.933	UNSAT TT=6.521	UNSAT TT=0.864	UNSAT TT=0.223	UNSAT TT=0.207
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-ssa6288-047.opb	UNSAT TT=0.273	UNSAT TT=0.273	UNSAT TT=0.275	UNSAT TT=108.304	Wrong Cert. TT=1800.08	UNSAT TT=0.535	? (MO) TT=13.39	UNSAT TT=3.393	UNSAT TT=7.014	UNSAT TT=3.369	UNSAT TT=2.302	UNSAT TT=2.28	UNSAT TT=2.318	UNSAT TT=2.078	? (problem) TT=0.238	UNSAT TT=0.241
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-ssa7552-038.opb	OPT f=1448 TT=12.263 T1=0.07	SAT f=1448 TT=1798 T1=0.07	SAT f=1448 TT=1798.38 T1=0.07	OPT f=1448 TT=12.263 T1=9.38	SAT (TO) f=1448 TT=1800.06 T1=1.79	SAT (TO) f=1448 TT=1800.13 T1=1.68	? (TO) TT=1800.08	SAT (TO) f=1448 TT=1800.26 T1=1.09	SAT (TO) f=1448 TT=1800.47 T1=1.91	SAT (TO) f=1448 TT=1800.24 T1=9.34	SAT (TO) f=1448 TT=1800.14 T1=5.13	SAT (TO) f=1448 TT=1800.15 T1=0.6	SAT (TO) f=1448 TT=1800.11 T1=3.88	OPT f=1448 TT=27.89 T1=0.62	OPT f=1448 TT=184.476 T1=0.22	OPT f=1448 TT=184.315 T1=0.24
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-ssa7552-158.opb	OPT f=1327 TT=0.65 T1=0.04	SAT f=1327 TT=1798 T1=0.04	SAT f=1327 TT=1798 T1=0.04	OPT f=1327 TT=2.723 T1=2.71	SAT (TO) f=1327 TT=1800.09 T1=0.34	SAT (TO) f=1327 TT=1800.08 T1=0.31	? (TO) TT=1800.01	SAT (TO) f=1327 TT=1800.35 T1=1.11	SAT (TO) f=1327 TT=1800.58 T1=1.88	SAT (TO) f=1327 TT=1800.27 T1=1.25	OPT f=1327 TT=1.355 T1=0.36	SAT (TO) f=1327 TT=1800.11 T1=0.34	OPT f=1327 TT=0.65 T1=0.36	OPT f=1327 TT=1.988 T1=0.38	OPT f=1327 TT=183.133 T1=0.06	OPT f=1327 TT=183.575 T1=0.06
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-ssa7552-159.opb	OPT f=1327 TT=3.191 T1=0.04	SAT f=1327 TT=1798 T1=0.05	SAT f=1327 TT=1798 T1=0.04	OPT f=1327 TT=3.705 T1=3.56	SAT (TO) f=1327 TT=1800.04 T1=0.34	SAT (TO) f=1327 TT=1800.08 T1=0.33	? (TO) TT=1800.06	SAT (TO) f=1327 TT=1800.23 T1=1.16	SAT (TO) f=1327 TT=1800.41 T1=1.87	SAT (TO) f=1327 TT=1800.28 T1=0.99	SAT (TO) f=1327 TT=1800.07 T1=0.39	SAT (TO) f=1327 TT=1800.12 T1=0.37	SAT (TO) f=1327 TT=1800.11 T1=0.59	OPT f=1327 TT=3.191 T1=0.77	OPT f=1327 TT=183.506 T1=0.07	OPT f=1327 TT=183.679 T1=0.07
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/primes-dimacs-cnf/ normalized-ssa7552-160.opb	OPT f=1359 TT=5.23 T1=0.05	SAT f=1359 TT=1798 T1=0.05	SAT f=1359 TT=1798 T1=0.05	OPT f=1359 TT=6.081 T1=5.33	SAT (TO) f=1359 TT=1800.05 T1=0.37	SAT (TO) f=1359 TT=1800.08 T1=0.35	? (TO) TT=1800.02	SAT (TO) f=1359 TT=1800.33 T1=1.07	SAT (TO) f=1359 TT=1801.43 T1=1.89	SAT (TO) f=1359 TT=1800.21 T1=1.19	SAT (TO) f=1359 TT=1800.11 T1=0.51	SAT (TO) f=1359 TT=1800.19 T1=0.49	SAT (TO) f=1359 TT=1800.19 T1=0.52	OPT f=1359 TT=5.23 T1=0.51	OPT f=1359 TT=183.902 T1=0.11	OPT f=1359 TT=183.587 T1=0.11

Statistics		bsolo 3.2 Card (complete)	bsolo 3.2 Cl (complete)	pb_cplex 2010-06-29 (complete)	PB/CT 0.1 (complete)	PB/CT 0.1 fixed (complete)	PBPASSolver 2010-06-13 (complete)	SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete)	SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)	SAT4J PB Resolution 2.2.0 2010-05-26 (complete)	SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver (complete)	SCIPnone SCIP 1.2.1.2 without any LP solver (complete)	SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)	SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)	wbo 1.4b (complete)	wbo 1.4b (fixed) (complete)
Number of times the solver is able to give the best known answer		80	79	93	0	87	0	80	84	80	80	78	80	90	0	0
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)		3	41	20	0	34	0	6	0	5	0	0	1	4	0	0