PB'16 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 exampleMeaning
AnswerSolver 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:

AbbreviationMeaning
f=...Value of the objective function
TOTime Out
MOMem. Out (out of memory)

Meaning of the different colors:

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

For better readability, you may choose to hide some solvers:
cdcl-cuttingplanes OPT binary search 2016-05-01 (complete)
cdcl-cuttingplanes OPT linear search 2016-05-01 (complete)
minisatp 2012-10-02 git-d91742b (complete)
NaPS 1.02 (complete)
Open-WBO PB16 (complete)
Open-WBO-LSU PB16 (complete)
Sat4j PB 2.3.6 Res+CP PB16 (complete)
Sat4j PB 2.3.6 Resolution PB16 (complete)
toysat 2016-05-02 (complete)

Bench nameBest results
on this
instance		cdcl-cuttingplanes OPT binary search
2016-05-01
(complete)		cdcl-cuttingplanes OPT linear search
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-100-1_6-yes1-1.opb 		OPT
f=100
TT=0.003
T1=0
 OPT
f=100
TT=0.024
T1=0.02
 OPT
f=100
TT=0.017
T1=0.02
 OPT
f=100
TT=0.004
T1=0
 OPT
f=100
TT=0.022
T1=0.02
 OPT
f=100
TT=0.003
T1=0
 OPT
f=100
TT=0.006
T1=0
 OPT
f=100
TT=0.264
T1=0.66
 OPT
f=100
TT=0.222
T1=0.17
 OPT
f=100
TT=0.066
T1=0.02
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=0.023
T1=0.02
 OPT
f=100
TT=0.014
T1=0.01
 OPT
f=100
TT=0.007
T1=0
 OPT
f=100
TT=0.01
T1=0.01
 OPT
f=100
TT=0.002
T1=0
 OPT
f=100
TT=0.005
T1=0
 OPT
f=100
TT=0.284
T1=0.66
 OPT
f=100
TT=0.225
T1=0.17
 OPT
f=100
TT=0.026
T1=0.02
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-100-1_6-yes1-3.opb 		OPT
f=100
TT=0.003
T1=0
 OPT
f=100
TT=0.025
T1=0.02
 OPT
f=100
TT=0.014
T1=0.01
 OPT
f=100
TT=0.024
T1=0.02
 OPT
f=100
TT=0.018
T1=0.01
 OPT
f=100
TT=0.003
T1=0
 OPT
f=100
TT=0.004
T1=0
 OPT
f=100
TT=0.345
T1=0.66
 OPT
f=100
TT=0.273
T1=0.19
 OPT
f=100
TT=0.037
T1=0.02
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-100-1_6-yes1-4.opb 		OPT
f=100
TT=0.004
T1=0
 OPT
f=100
TT=0.024
T1=0.02
 OPT
f=100
TT=0.015
T1=0.01
 OPT
f=100
TT=0.004
T1=0
 OPT
f=100
TT=0.005
T1=0
 OPT
f=100
TT=0.004
T1=0
 OPT
f=100
TT=0.004
T1=0
 OPT
f=100
TT=0.274
T1=0.66
 OPT
f=100
TT=0.224
T1=0.16
 OPT
f=100
TT=0.024
T1=0.02
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=0.024
T1=0.02
 OPT
f=100
TT=0.014
T1=0.02
 OPT
f=100
TT=0.022
T1=0.02
 OPT
f=100
TT=0.012
T1=0.01
 OPT
f=100
TT=0.003
T1=0
 OPT
f=100
TT=0.005
T1=0
 OPT
f=100
TT=0.372
T1=0.67
 OPT
f=100
TT=0.274
T1=0.19
 OPT
f=100
TT=0.039
T1=0.02
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-100-2_0-yes1-2.opb 		OPT
f=100
TT=0.004
T1=0
 OPT
f=100
TT=0.026
T1=0.02
 OPT
f=100
TT=0.016
T1=0.02
 OPT
f=100
TT=0.014
T1=0.01
 OPT
f=100
TT=0.013
T1=0.01
 OPT
f=100
TT=0.004
T1=0
 OPT
f=100
TT=0.006
T1=0
 OPT
f=100
TT=0.344
T1=0.67
 OPT
f=100
TT=0.285
T1=0.19
 OPT
f=100
TT=0.03
T1=0.02
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-100-2_0-yes1-3.opb 		OPT
f=100
TT=0.003
T1=0
 OPT
f=100
TT=0.026
T1=0.02
 OPT
f=100
TT=0.015
T1=0.01
 OPT
f=100
TT=0.005
T1=0
 OPT
f=100
TT=0.023
T1=0.02
 OPT
f=100
TT=0.003
T1=0
 OPT
f=100
TT=0.005
T1=0
 OPT
f=100
TT=0.424
T1=0.67
 OPT
f=100
TT=0.263
T1=0.17
 OPT
f=100
TT=0.023
T1=0.02
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-100-2_0-yes1-4.opb 		OPT
f=100
TT=0.003
T1=0
 OPT
f=100
TT=0.026
T1=0.02
 OPT
f=100
TT=0.015
T1=0.01
 OPT
f=100
TT=0.025
T1=0.02
 OPT
f=100
TT=0.029
T1=0.02
 OPT
f=100
TT=0.003
T1=0
 OPT
f=100
TT=0.005
T1=0
 OPT
f=100
TT=0.434
T1=0.67
 OPT
f=100
TT=0.263
T1=0.17
 OPT
f=100
TT=0.028
T1=0.02
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=0.027
T1=0.02
 OPT
f=100
TT=0.015
T1=0.01
 OPT
f=100
TT=0.008
T1=0
 OPT
f=100
TT=0.043
T1=0.04
 OPT
f=100
TT=0.003
T1=0
 OPT
f=100
TT=0.006
T1=0
 OPT
f=100
TT=0.693
T1=0.69
 OPT
f=100
TT=0.463
T1=0.22
 OPT
f=100
TT=0.046
T1=0.03
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=0.029
T1=0.02
 OPT
f=100
TT=0.017
T1=0.01
 OPT
f=100
TT=0.022
T1=0.02
 OPT
f=100
TT=0.025
T1=0.02
 OPT
f=100
TT=0.003
T1=0
 OPT
f=100
TT=0.006
T1=0.01
 OPT
f=100
TT=0.594
T1=0.68
 OPT
f=100
TT=0.393
T1=0.23
 OPT
f=100
TT=0.099
T1=0.03
Bench nameBest resultscdcl-cuttingplanes OPT binary search
2016-05-01
(complete)		cdcl-cuttingplanes OPT linear search
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-100-3_4-yes1-3.opb 		OPT
f=100
TT=0.004
T1=0
 OPT
f=100
TT=0.029
T1=0.03
 OPT
f=100
TT=0.015
T1=0.01
 OPT
f=100
TT=0.027
T1=0.02
 OPT
f=100
TT=0.04
T1=0.03
 OPT
f=100
TT=0.004
T1=0
 OPT
f=100
TT=0.006
T1=0
 OPT
f=100
TT=0.583
T1=0.68
 OPT
f=100
TT=0.394
T1=0.2
 OPT
f=100
TT=0.088
T1=0.03
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-100-3_4-yes1-4.opb 		OPT
f=100
TT=0.005
T1=0
 OPT
f=100
TT=0.029
T1=0.02
 OPT
f=100
TT=0.016
T1=0.01
 OPT
f=100
TT=0.027
T1=0.02
 OPT
f=100
TT=0.022
T1=0.02
 OPT
f=100
TT=0.005
T1=0
 OPT
f=100
TT=0.007
T1=0
 OPT
f=100
TT=0.584
T1=0.68
 OPT
f=100
TT=0.315
T1=0.2
 OPT
f=100
TT=0.053
T1=0.02
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-100-6_0-yes1-1.opb 		OPT
f=100
TT=0.005
T1=0
 OPT
f=100
TT=0.03
T1=0.02
 OPT
f=100
TT=0.016
T1=0.01
 OPT
f=100
TT=0.03
T1=0.03
 OPT
f=100
TT=0.027
T1=0.02
 OPT
f=100
TT=0.005
T1=0
 OPT
f=100
TT=0.007
T1=0
 OPT
f=100
TT=0.394
T1=0.71
 OPT
f=100
TT=0.334
T1=0.21
 OPT
f=100
TT=0.054
T1=0.03
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-100-6_0-yes1-2.opb 		OPT
f=100
TT=0.005
T1=0
 OPT
f=100
TT=0.027
T1=0.02
 OPT
f=100
TT=0.015
T1=0.01
 OPT
f=100
TT=0.03
T1=0.02
 OPT
f=100
TT=0.01
T1=0.01
 OPT
f=100
TT=0.005
T1=0
 OPT
f=100
TT=0.006
T1=0
 OPT
f=100
TT=0.435
T1=0.71
 OPT
f=100
TT=0.324
T1=0.2
 OPT
f=100
TT=0.077
T1=0.03
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-100-6_0-yes1-3.opb 		OPT
f=100
TT=0.005
T1=0
 OPT
f=100
TT=0.032
T1=0.03
 OPT
f=100
TT=0.017
T1=0.01
 OPT
f=100
TT=0.029
T1=0.02
 OPT
f=100
TT=0.043
T1=0.04
 OPT
f=100
TT=0.005
T1=0
 OPT
f=100
TT=0.007
T1=0
 OPT
f=100
TT=0.354
T1=0.71
 OPT
f=100
TT=0.344
T1=0.21
 OPT
f=100
TT=0.079
T1=0.03
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-100-6_0-yes1-4.opb 		OPT
f=100
TT=0.004
T1=0
 OPT
f=100
TT=0.029
T1=0.03
 OPT
f=100
TT=0.016
T1=0.01
 OPT
f=100
TT=0.029
T1=0.02
 OPT
f=100
TT=0.041
T1=0.04
 OPT
f=100
TT=0.004
T1=0
 OPT
f=100
TT=0.006
T1=0
 OPT
f=100
TT=0.343
T1=0.71
 OPT
f=100
TT=0.294
T1=0.19
 OPT
f=100
TT=0.137
T1=0.03
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-200-1_6-yes1-1.opb 		OPT
f=200
TT=0.006
T1=0
 OPT
f=200
TT=0.026
T1=0.02
 OPT
f=200
TT=0.014
T1=0.01
 OPT
f=200
TT=0.008
T1=0
 OPT
f=200
TT=0.01
T1=0.01
 OPT
f=200
TT=0.006
T1=0
 OPT
f=200
TT=0.01
T1=0.01
 OPT
f=200
TT=0.494
T1=0.69
 OPT
f=200
TT=0.354
T1=0.21
 OPT
f=200
TT=0.047
T1=0.03
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-200-1_6-yes1-2.opb 		OPT
f=200
TT=0.006
T1=0
 OPT
f=200
TT=0.028
T1=0.02
 OPT
f=200
TT=0.015
T1=0.01
 OPT
f=200
TT=0.047
T1=0.04
 OPT
f=200
TT=0.043
T1=0.04
 OPT
f=200
TT=0.006
T1=0
 OPT
f=200
TT=0.011
T1=0.01
 OPT
f=200
TT=0.493
T1=0.7
 OPT
f=200
TT=0.363
T1=0.23
 OPT
f=200
TT=0.039
T1=0.03
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-200-1_6-yes1-3.opb 		OPT
f=200
TT=0.006
T1=0
 OPT
f=200
TT=0.031
T1=0.03
 OPT
f=200
TT=0.014
T1=0.01
 OPT
f=200
TT=0.009
T1=0
 OPT
f=200
TT=0.009
T1=0.01
 OPT
f=200
TT=0.006
T1=0
 OPT
f=200
TT=0.01
T1=0.01
 OPT
f=200
TT=0.515
T1=0.7
 OPT
f=200
TT=0.383
T1=0.22
 OPT
f=200
TT=0.063
T1=0.03
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-200-1_6-yes1-4.opb 		OPT
f=200
TT=0.006
T1=0
 OPT
f=200
TT=0.028
T1=0.02
 OPT
f=200
TT=0.016
T1=0.01
 OPT
f=200
TT=0.047
T1=0.04
 OPT
f=200
TT=0.011
T1=0.01
 OPT
f=200
TT=0.006
T1=0
 OPT
f=200
TT=0.012
T1=0.01
 OPT
f=200
TT=0.484
T1=0.71
 OPT
f=200
TT=0.335
T1=0.21
 OPT
f=200
TT=0.036
T1=0.03
Bench nameBest resultscdcl-cuttingplanes OPT binary search
2016-05-01
(complete)		cdcl-cuttingplanes OPT linear search
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-200-2_0-yes1-1.opb 		OPT
f=200
TT=0.007
T1=0
 OPT
f=200
TT=0.034
T1=0.03
 OPT
f=200
TT=0.017
T1=0.01
 OPT
f=200
TT=0.01
T1=0.01
 OPT
f=200
TT=0.053
T1=0.05
 OPT
f=200
TT=0.007
T1=0
 OPT
f=200
TT=0.015
T1=0.01
 OPT
f=200
TT=0.613
T1=0.7
 OPT
f=200
TT=0.435
T1=0.25
 OPT
f=200
TT=0.056
T1=0.04
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=0.028
T1=0.03
 OPT
f=200
TT=0.018
T1=0.01
 OPT
f=200
TT=0.053
T1=0.05
 OPT
f=200
TT=0.077
T1=0.08
 OPT
f=200
TT=0.006
T1=0
 OPT
f=200
TT=0.012
T1=0.01
 OPT
f=200
TT=0.784
T1=0.7
 OPT
f=200
TT=0.594
T1=0.32
 OPT
f=200
TT=0.138
T1=0.03
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-200-2_0-yes1-3.opb 		OPT
f=200
TT=0.006
T1=0
 OPT
f=200
TT=0.034
T1=0.03
 OPT
f=200
TT=0.017
T1=0.01
 OPT
f=200
TT=0.009
T1=0
 OPT
f=200
TT=0.016
T1=0.01
 OPT
f=200
TT=0.006
T1=0
 OPT
f=200
TT=0.012
T1=0.01
 OPT
f=200
TT=0.535
T1=0.71
 OPT
f=200
TT=0.385
T1=0.22
 OPT
f=200
TT=0.061
T1=0.03
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-200-2_0-yes1-4.opb 		OPT
f=200
TT=0.006
T1=0
 OPT
f=200
TT=0.03
T1=0.03
 OPT
f=200
TT=0.018
T1=0.01
 OPT
f=200
TT=0.056
T1=0.05
 OPT
f=200
TT=0.049
T1=0.04
 OPT
f=200
TT=0.006
T1=0
 OPT
f=200
TT=0.012
T1=0.01
 OPT
f=200
TT=0.585
T1=0.73
 OPT
f=200
TT=0.474
T1=0.25
 OPT
f=200
TT=0.063
T1=0.05
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-200-3_4-yes1-1.opb 		OPT
f=200
TT=0.007
T1=0
 OPT
f=200
TT=0.035
T1=0.04
 OPT
f=200
TT=0.017
T1=0.01
 OPT
f=200
TT=0.063
T1=0.06
 OPT
f=200
TT=0.014
T1=0.01
 OPT
f=200
TT=0.007
T1=0
 OPT
f=200
TT=0.014
T1=0.01
 OPT
f=200
TT=0.675
T1=0.72
 OPT
f=200
TT=0.435
T1=0.25
 OPT
f=200
TT=0.052
T1=0.04
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-200-3_4-yes1-2.opb 		OPT
f=200
TT=0.008
T1=0
 OPT
f=200
TT=0.03
T1=0.03
 OPT
f=200
TT=0.02
T1=0.01
 OPT
f=200
TT=0.062
T1=0.06
 OPT
f=200
TT=0.093
T1=0.09
 OPT
f=200
TT=0.008
T1=0
 OPT
f=200
TT=0.017
T1=0.01
 OPT
f=200
TT=0.694
T1=0.72
 OPT
f=200
TT=0.495
T1=0.27
 OPT
f=200
TT=0.073
T1=0.04
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-200-3_4-yes1-3.opb 		OPT
f=200
TT=0.007
T1=0.01
 OPT
f=200
TT=0.035
T1=0.03
 OPT
f=200
TT=0.018
T1=0.01
 OPT
f=200
TT=0.056
T1=0.05
 OPT
f=200
TT=0.054
T1=0.05
 OPT
f=200
TT=0.007
T1=0.01
 OPT
f=200
TT=0.013
T1=0.01
 OPT
f=200
TT=0.545
T1=0.73
 OPT
f=200
TT=0.614
T1=0.31
 OPT
f=200
TT=0.101
T1=0.04
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-200-3_4-yes1-4.opb 		OPT
f=200
TT=0.007
T1=0
 OPT
f=200
TT=0.033
T1=0.03
 OPT
f=200
TT=0.018
T1=0.01
 OPT
f=200
TT=0.074
T1=0.07
 OPT
f=200
TT=0.043
T1=0.04
 OPT
f=200
TT=0.007
T1=0
 OPT
f=200
TT=0.015
T1=0.01
 OPT
f=200
TT=0.534
T1=0.73
 OPT
f=200
TT=0.384
T1=0.23
 OPT
f=200
TT=0.081
T1=0.07
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-200-6_0-yes1-1.opb 		OPT
f=200
TT=0.009
T1=0
 OPT
f=200
TT=0.051
T1=0.05
 OPT
f=200
TT=0.032
T1=0.03
 OPT
f=200
TT=0.079
T1=0.07
 OPT
f=200
TT=0.062
T1=0.06
 OPT
f=200
TT=0.009
T1=0
 OPT
f=200
TT=0.015
T1=0.01
 OPT
f=200
TT=0.984
T1=0.76
 OPT
f=200
TT=0.573
T1=0.3
 OPT
f=200
TT=0.071
T1=0.05
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-200-6_0-yes1-2.opb 		OPT
f=200
TT=0.012
T1=0.01
 OPT
f=200
TT=0.043
T1=0.04
 OPT
f=200
TT=0.024
T1=0.02
 OPT
f=200
TT=0.074
T1=0.07
 OPT
f=200
TT=0.022
T1=0.02
 OPT
f=200
TT=0.012
T1=0.01
 OPT
f=200
TT=0.019
T1=0.01
 OPT
f=200
TT=1.023
T1=0.77
 OPT
f=200
TT=0.715
T1=0.32
 OPT
f=200
TT=0.129
T1=0.07
Bench nameBest resultscdcl-cuttingplanes OPT binary search
2016-05-01
(complete)		cdcl-cuttingplanes OPT linear search
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-200-6_0-yes1-3.opb 		OPT
f=200
TT=0.013
T1=0.01
 OPT
f=200
TT=0.042
T1=0.04
 OPT
f=200
TT=0.025
T1=0.02
 OPT
f=200
TT=0.073
T1=0.07
 OPT
f=200
TT=0.07
T1=0.07
 OPT
f=200
TT=0.013
T1=0.01
 OPT
f=200
TT=0.017
T1=0.01
 OPT
f=200
TT=1.004
T1=0.76
 OPT
f=200
TT=0.646
T1=0.33
 OPT
f=200
TT=0.146
T1=0.07
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-200-6_0-yes1-4.opb 		OPT
f=200
TT=0.01
T1=0.01
 OPT
f=200
TT=0.043
T1=0.04
 OPT
f=200
TT=0.031
T1=0.03
 OPT
f=200
TT=0.024
T1=0.02
 OPT
f=200
TT=0.022
T1=0.02
 OPT
f=200
TT=0.01
T1=0.01
 OPT
f=200
TT=0.015
T1=0.02
 OPT
f=200
TT=0.935
T1=0.76
 OPT
f=200
TT=0.653
T1=0.34
 OPT
f=200
TT=0.129
T1=0.09
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-50-1_6-yes1-1.opb 		OPT
f=50
TT=0.001
T1=0
 OPT
f=50
TT=0.022
T1=0.02
 OPT
f=50
TT=0.014
T1=0.01
 OPT
f=50
TT=0.003
T1=0
 OPT
f=50
TT=0.002
T1=0
 OPT
f=50
TT=0.001
T1=0
 OPT
f=50
TT=0.003
T1=0
 OPT
f=50
TT=0.185
T1=0.64
 OPT
f=50
TT=0.184
T1=0.14
 OPT
f=50
TT=0.021
T1=0.01
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-50-1_6-yes1-2.opb 		OPT
f=50
TT=0.002
T1=0
 OPT
f=50
TT=0.023
T1=0.02
 OPT
f=50
TT=0.013
T1=0.01
 OPT
f=50
TT=0.01
T1=0
 OPT
f=50
TT=0.013
T1=0.01
 OPT
f=50
TT=0.003
T1=0
 OPT
f=50
TT=0.002
T1=0
 OPT
f=50
TT=0.193
T1=0.64
 OPT
f=50
TT=0.183
T1=0.13
 OPT
f=50
TT=0.022
T1=0.01
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-50-1_6-yes1-3.opb 		OPT
f=50
TT=0.002
T1=0
 OPT
f=50
TT=0.024
T1=0.02
 OPT
f=50
TT=0.013
T1=0.01
 OPT
f=50
TT=0.002
T1=0
 OPT
f=50
TT=0.003
T1=0
 OPT
f=50
TT=0.002
T1=0
 OPT
f=50
TT=0.003
T1=0
 OPT
f=50
TT=0.194
T1=0.64
 OPT
f=50
TT=0.184
T1=0.14
 OPT
f=50
TT=0.019
T1=0.01
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-50-1_6-yes1-4.opb 		OPT
f=50
TT=0.002
T1=0
 OPT
f=50
TT=0.027
T1=0.02
 OPT
f=50
TT=0.012
T1=0.01
 OPT
f=50
TT=0.002
T1=0
 OPT
f=50
TT=0.003
T1=0
 OPT
f=50
TT=0.002
T1=0
 OPT
f=50
TT=0.002
T1=0
 OPT
f=50
TT=0.184
T1=0.64
 OPT
f=50
TT=0.183
T1=0.14
 OPT
f=50
TT=0.019
T1=0.01
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-50-2_0-yes1-1.opb 		OPT
f=50
TT=0.001
T1=0
 OPT
f=50
TT=0.022
T1=0.02
 OPT
f=50
TT=0.013
T1=0.01
 OPT
f=50
TT=0.002
T1=0
 OPT
f=50
TT=0.003
T1=0
 OPT
f=50
TT=0.001
T1=0
 OPT
f=50
TT=0.003
T1=0
 OPT
f=50
TT=0.233
T1=0.64
 OPT
f=50
TT=0.193
T1=0.16
 OPT
f=50
TT=0.025
T1=0.01
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-50-2_0-yes1-2.opb 		OPT
f=50
TT=0.001
T1=0
 OPT
f=50
TT=0.023
T1=0.02
 OPT
f=50
TT=0.012
T1=0.01
 OPT
f=50
TT=0.01
T1=0
 OPT
f=50
TT=0.011
T1=0.01
 OPT
f=50
TT=0.001
T1=0
 OPT
f=50
TT=0.002
T1=0
 OPT
f=50
TT=0.233
T1=0.65
 OPT
f=50
TT=0.215
T1=0.16
 OPT
f=50
TT=0.024
T1=0.02
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-50-2_0-yes1-3.opb 		OPT
f=50
TT=0.002
T1=0
 OPT
f=50
TT=0.023
T1=0.02
 OPT
f=50
TT=0.014
T1=0.01
 OPT
f=50
TT=0.003
T1=0
 OPT
f=50
TT=0.003
T1=0
 OPT
f=50
TT=0.002
T1=0
 OPT
f=50
TT=0.003
T1=0
 OPT
f=50
TT=0.244
T1=0.64
 OPT
f=50
TT=0.205
T1=0.15
 OPT
f=50
TT=0.023
T1=0.01
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-50-2_0-yes1-4.opb 		OPT
f=50
TT=0.003
T1=0
 OPT
f=50
TT=0.022
T1=0.02
 OPT
f=50
TT=0.014
T1=0.01
 OPT
f=50
TT=0.005
T1=0
 OPT
f=50
TT=0.003
T1=0
 OPT
f=50
TT=0.003
T1=0
 OPT
f=50
TT=0.004
T1=0
 OPT
f=50
TT=0.204
T1=0.64
 OPT
f=50
TT=0.183
T1=0.14
 OPT
f=50
TT=0.019
T1=0.01
Bench nameBest resultscdcl-cuttingplanes OPT binary search
2016-05-01
(complete)		cdcl-cuttingplanes OPT linear search
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-50-3_4-yes1-1.opb 		OPT
f=50
TT=0.003
T1=0
 OPT
f=50
TT=0.025
T1=0.02
 OPT
f=50
TT=0.015
T1=0.01
 OPT
f=50
TT=0.012
T1=0.01
 OPT
f=50
TT=0.01
T1=0.01
 OPT
f=50
TT=0.003
T1=0
 OPT
f=50
TT=0.003
T1=0
 OPT
f=50
TT=0.314
T1=0.66
 OPT
f=50
TT=0.223
T1=0.15
 OPT
f=50
TT=0.028
T1=0.02
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-50-3_4-yes1-2.opb 		OPT
f=50
TT=0.003
T1=0
 OPT
f=50
TT=0.025
T1=0.02
 OPT
f=50
TT=0.014
T1=0.01
 OPT
f=50
TT=0.013
T1=0.01
 OPT
f=50
TT=0.015
T1=0.01
 OPT
f=50
TT=0.003
T1=0
 OPT
f=50
TT=0.003
T1=0
 OPT
f=50
TT=0.284
T1=0.66
 OPT
f=50
TT=0.203
T1=0.16
 OPT
f=50
TT=0.04
T1=0.02
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-50-3_4-yes1-3.opb 		OPT
f=50
TT=0.002
T1=0
 OPT
f=50
TT=0.024
T1=0.02
 OPT
f=50
TT=0.013
T1=0.01
 OPT
f=50
TT=0.011
T1=0.01
 OPT
f=50
TT=0.004
T1=0
 OPT
f=50
TT=0.002
T1=0
 OPT
f=50
TT=0.003
T1=0
 OPT
f=50
TT=0.286
T1=0.68
 OPT
f=50
TT=0.224
T1=0.15
 OPT
f=50
TT=0.049
T1=0.01
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-50-3_4-yes1-4.opb 		OPT
f=50
TT=0.003
T1=0
 OPT
f=50
TT=0.023
T1=0.02
 OPT
f=50
TT=0.014
T1=0.01
 OPT
f=50
TT=0.011
T1=0.01
 OPT
f=50
TT=0.015
T1=0.02
 OPT
f=50
TT=0.003
T1=0
 OPT
f=50
TT=0.003
T1=0
 OPT
f=50
TT=0.283
T1=0.66
 OPT
f=50
TT=0.225
T1=0.16
 OPT
f=50
TT=0.058
T1=0.02
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-50-6_0-yes1-1.opb 		OPT
f=50
TT=0.002
T1=0
 OPT
f=50
TT=0.024
T1=0.02
 OPT
f=50
TT=0.013
T1=0.01
 OPT
f=50
TT=0.012
T1=0.01
 OPT
f=50
TT=0.012
T1=0.01
 OPT
f=50
TT=0.002
T1=0
 OPT
f=50
TT=0.003
T1=0
 OPT
f=50
TT=0.244
T1=0.67
 OPT
f=50
TT=0.244
T1=0.17
 OPT
f=50
TT=0.063
T1=0.02
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-50-6_0-yes1-2.opb 		OPT
f=50
TT=0.003
T1=0
 OPT
f=50
TT=0.024
T1=0.02
 OPT
f=50
TT=0.014
T1=0.01
 OPT
f=50
TT=0.013
T1=0.01
 OPT
f=50
TT=0.02
T1=0.02
 OPT
f=50
TT=0.003
T1=0
 OPT
f=50
TT=0.003
T1=0
 OPT
f=50
TT=0.233
T1=0.68
 OPT
f=50
TT=0.233
T1=0.16
 OPT
f=50
TT=0.027
T1=0.02
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-50-6_0-yes1-3.opb 		OPT
f=50
TT=0.002
T1=0
 OPT
f=50
TT=0.024
T1=0.02
 OPT
f=50
TT=0.013
T1=0.01
 OPT
f=50
TT=0.013
T1=0.01
 OPT
f=50
TT=0.017
T1=0.01
 OPT
f=50
TT=0.002
T1=0
 OPT
f=50
TT=0.003
T1=0.01
 OPT
f=50
TT=0.234
T1=0.67
 OPT
f=50
TT=0.223
T1=0.17
 OPT
f=50
TT=0.03
T1=0.02
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-50-6_0-yes1-4.opb 		OPT
f=50
TT=0.003
T1=0
 OPT
f=50
TT=0.025
T1=0.02
 OPT
f=50
TT=0.013
T1=0.01
 OPT
f=50
TT=0.012
T1=0.01
 OPT
f=50
TT=0.017
T1=0.01
 OPT
f=50
TT=0.003
T1=0
 OPT
f=50
TT=0.004
T1=0
 OPT
f=50
TT=0.243
T1=0.72
 OPT
f=50
TT=0.233
T1=0.17
 OPT
f=50
TT=0.045
T1=0.02
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-bf0432-007.opb 		UNSAT

TT=0.03

 UNSAT

TT=0.085

 UNSAT

TT=0.062

 UNSAT

TT=0.071

 UNSAT

TT=0.067

 UNSAT

TT=0.03

 UNSAT

TT=0.03

 UNSAT

TT=1.384

 UNSAT

TT=0.905

 UNSAT

TT=0.293
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-bf1355-075.opb 		UNSAT

TT=0.039

 UNSAT

TT=0.082

 UNSAT

TT=0.048

 UNSAT

TT=0.115

 UNSAT

TT=0.113

 UNSAT

TT=0.041

 UNSAT

TT=0.039

 UNSAT

TT=2.773

 UNSAT

TT=0.913

 UNSAT

TT=0.271
Bench nameBest resultscdcl-cuttingplanes OPT binary search
2016-05-01
(complete)		cdcl-cuttingplanes OPT linear search
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-bf1355-638.opb 		UNSAT

TT=0.04

 UNSAT

TT=0.081

 UNSAT

TT=0.047

 UNSAT

TT=0.115

 UNSAT

TT=0.112

 UNSAT

TT=0.04

 UNSAT

TT=0.041

 UNSAT

TT=2.523

 UNSAT

TT=0.823

 UNSAT

TT=0.288
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-bf2670-001.opb 		UNSAT

TT=0.021

 UNSAT

TT=0.059

 UNSAT

TT=0.031

 UNSAT

TT=0.06

 UNSAT

TT=0.059

 UNSAT

TT=0.021

 UNSAT

TT=0.021

 UNSAT

TT=1.204

 UNSAT

TT=0.664

 UNSAT

TT=0.127
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-f1000.opb



? (TO)

TT=1800.08

 ? (TO)

TT=1800.01

 ? (TO)

TT=1800.02

 ? (TO)

TT=1800.02

 ? (TO)

TT=1800.03

 ? (TO)

TT=1800.02

 ? (TO)

TT=1800.49

 ? (TO)

TT=1800.71

 ? (TO)

TT=1800.09
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-f2000.opb



? (TO)

TT=1800.09

 ? (TO)

TT=1800.01

 ? (TO)

TT=1800.02

 ? (TO)

TT=1800.02

 ? (TO)

TT=1800.02

 ? (TO)

TT=1800.02

 ? (TO)

TT=1800.5

 ? (TO)

TT=1800.55

 ? (TO)

TT=1800.04
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-f600.opb



? (TO)

TT=1800.1

 ? (TO)

TT=1800.02

 ? (TO)

TT=1800.01

 ? (TO)

TT=1800.02

 ? (TO)

TT=1800.02

 ? (TO)

TT=1800.02

 ? (TO)

TT=1801.16

 ? (TO)

TT=1800.82

 ? (TO)

TT=1800.08
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-g125.17.opb



? (TO)

TT=1800.06

 ? (TO)

TT=1800.11

 ? (TO)

TT=1800.08

 ? (TO)

TT=1800.11

 ? (TO)

TT=1800.01

 ? (TO)

TT=1800.03

 ? (TO)

TT=1800.25

 ? (TO)

TT=1800.05

 ? (TO)

TT=1800.1
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-g125.18.opb



? (TO)

TT=1800.1

 ? (TO)

TT=1800.02

 ? (TO)

TT=1800.09

 ? (TO)

TT=1800.02

 ? (TO)

TT=1800.03

 ? (TO)

TT=1800.1

 ? (TO)

TT=1800.8

 ? (TO)

TT=1800.09

 ? (TO)

TT=1800.07
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-g250.15.opb 		SAT
f=3750
TT=1800.02
T1=1800.3
 ? (TO)

TT=1800.11

 ? (TO)

TT=1800.11

 ? (TO)

TT=1800.06

 SAT (TO)
f=3750
TT=1800.05
T1=1800.4
 SAT (TO)
f=3750
TT=1800.02
T1=1800.3
 SAT (TO)
f=3750
TT=1800.06
T1=1800.4
 ? (TO)

TT=1800.67

 No Cert.

TT=1800.01

 ? (TO)

TT=1800.1
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-g250.29.opb



? (TO)

TT=1800.18

 ? (TO)

TT=1800.11

 ? (TO)

TT=1800.03

 ? (TO)

TT=1800.07

 ? (TO)

TT=1800.02

 ? (TO)

TT=1800.11

 ? (TO)

TT=1800.8

 ? (TO)

TT=1800.65

 ? (TO)

TT=1800.02
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-hanoi4.opb 		OPT
f=718
TT=0.122
T1=0.12
 OPT
f=718
TT=0.246
T1=0.24
 OPT
f=718
TT=0.122
T1=0.12
 OPT
f=718
TT=0.397
T1=0.39
 OPT
f=718
TT=0.586
T1=0.57
 OPT
f=718
TT=2.029
T1=2.02
 OPT
f=718
TT=0.215
T1=0.21
 OPT
f=718
TT=4.153
T1=1.39
 OPT
f=718
TT=1.834
T1=0.43
 OPT
f=718
TT=9.478
T1=1.19
Bench nameBest resultscdcl-cuttingplanes OPT binary search
2016-05-01
(complete)		cdcl-cuttingplanes OPT linear search
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-hanoi5.opb 		OPT
f=1931
TT=0.915
T1=0.91
 OPT
f=1931
TT=2.188
T1=2.18
 OPT
f=1931
TT=1.815
T1=1.81
 OPT
f=1931
TT=2.353
T1=2.35
 OPT
f=1931
TT=3.038
T1=3.01
 OPT
f=1931
TT=1.081
T1=1.08
 OPT
f=1931
TT=0.915
T1=0.91
 OPT
f=1931
TT=9.403
T1=3.53
 OPT
f=1931
TT=5.862
T1=4.17
 OPT
f=1931
TT=226.482
T1=97.24
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii16a1.opb 		SAT
f=1123
TT=1800.02
T1=1800.3
 ? (TO)

TT=1800.11

 ? (TO)

TT=1800.01

 SAT (TO)
f=1430
TT=1800.02
T1=1800.3
 SAT (TO)
f=1485
TT=1800.09
T1=1800.4
 SAT (TO)
f=1551
TT=1800.01
T1=1800.3
 SAT (TO)
f=1123
TT=1800.02
T1=1800.3
 SAT (TO)
f=1385
TT=1800.13
T1=234.25
 SAT (TO)
f=1527
TT=1800.08
T1=0.63
 ? (TO)

TT=1800.05
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii16a2.opb 		SAT
f=1164
TT=1800.03
T1=1800.3
 ? (TO)

TT=1800.05

 ? (TO)

TT=1800.01

 SAT (TO)
f=1259
TT=1800.11
T1=1800.4
 SAT (TO)
f=1588
TT=1800.02
T1=1800.3
 SAT (TO)
f=1601
TT=1800.02
T1=1800.3
 SAT (TO)
f=1164
TT=1800.03
T1=1800.3
 SAT (TO)
f=1398
TT=1800.17
T1=892.56
 SAT (TO)
f=1548
TT=1800.05
T1=116.1
 ? (TO)

TT=1800.07
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii16b1.opb 		SAT
f=1379
TT=1800.09
T1=1800.4
 ? (TO)

TT=1800.08

 ? (TO)

TT=1800.1

 SAT (TO)
f=1541
TT=1800.02
T1=1800.3
 SAT (TO)
f=1727
TT=1800.01
T1=1800.3
 SAT (TO)
f=1727
TT=1800.02
T1=1800.3
 SAT (TO)
f=1379
TT=1800.09
T1=1800.4
 SAT (TO)
f=1596
TT=1800.1
T1=750.74
 SAT (TO)
f=1661
TT=1800.07
T1=167.63
 ? (TO)

TT=1800.07
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii16b2.opb 		OPT
f=1031
TT=1.64
T1=1.57
 OPT
f=1031
TT=6.457
T1=6.45
 OPT
f=1031
TT=23.93
T1=23.93
 SAT (TO)
f=1031
TT=1800.11
T1=1800.4
 OPT
f=1031
TT=3.921
T1=3.9
 OPT
f=1031
TT=102.08
T1=102.09
 OPT
f=1031
TT=1.64
T1=1.64
 OPT
f=1031
TT=26.732
T1=1.57
 SAT (TO)
f=1033
TT=1800.02
T1=0.68
 ? (TO)

TT=1800.09
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii16c1.opb 		SAT
f=1226
TT=1800.02
T1=1800.3
 ? (TO)

TT=1800.06

 ? (TO)

TT=1800.1

 SAT (TO)
f=1412
TT=1800.01
T1=1800.3
 SAT (TO)
f=1478
TT=1800.01
T1=1800.3
 SAT (TO)
f=1568
TT=1800.11
T1=1800.4
 SAT (TO)
f=1226
TT=1800.02
T1=1800.3
 SAT (TO)
f=1335
TT=1800
T1=1.58
 SAT (TO)
f=1424
TT=1800.71
T1=0.55
 ? (TO)

TT=1800.02
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii16c2.opb 		OPT
f=861
TT=1.379
T1=1.38
 OPT
f=861
TT=3.81
T1=3.8
 OPT
f=861
TT=46.271
T1=46.27
 OPT
f=861
TT=1.391
T1=1.38
 OPT
f=861
TT=2.911
T1=2.89
 OPT
f=861
TT=35.535
T1=35.53
 OPT
f=861
TT=1.379
T1=1.38
 OPT
f=861
TT=14.282
T1=3.53
 SAT (TO)
f=867
TT=1800.01
T1=0.84
 ? (TO)

TT=1800.08
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii16d1.opb 		SAT
f=890
TT=1800.03
T1=1800.3
 ? (TO)

TT=1800.04

 ? (TO)

TT=1800.11

 SAT (TO)
f=1084
TT=1800.1
T1=1800.4
 SAT (TO)
f=1230
TT=1800.01
T1=1800.3
 SAT (TO)
f=1229
TT=1800.02
T1=1800.3
 SAT (TO)
f=890
TT=1800.03
T1=1800.3
 SAT (TO)
f=1090
TT=1800.02
T1=2.57
 SAT (TO)
f=1097
TT=1800.05
T1=0.65
 ? (TO)

TT=1800.09
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii16d2.opb 		OPT
f=785
TT=1.075
T1=1.07
 OPT
f=785
TT=4.705
T1=4.7
 OPT
f=785
TT=24.544
T1=24.54
 OPT
f=785
TT=2.238
T1=2.23
 OPT
f=785
TT=2.852
T1=2.84
 OPT
f=785
TT=625.999
T1=626.09
 OPT
f=785
TT=1.075
T1=1.07
 OPT
f=785
TT=64.654
T1=9.54
 SAT (TO)
f=802
TT=1800.04
T1=424.88
 ? (TO)

TT=1800.1
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii16e1.opb 		SAT
f=1102
TT=1800.02
T1=1800.3
 ? (TO)

TT=1800.1

 ? (TO)

TT=1800.1

 SAT (TO)
f=1135
TT=1800.02
T1=1800.3
 SAT (TO)
f=1244
TT=1800.09
T1=1800.4
 SAT (TO)
f=1234
TT=1800.03
T1=1800.3
 SAT (TO)
f=1102
TT=1800.02
T1=1800.3
 SAT (TO)
f=1162
TT=1800.19
T1=864.6
 SAT (TO)
f=1201
TT=1800.05
T1=20.75
 ? (TO)

TT=1800.01
Bench nameBest resultscdcl-cuttingplanes OPT binary search
2016-05-01
(complete)		cdcl-cuttingplanes OPT linear search
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii16e2.opb 		OPT
f=520
TT=0.34
T1=0.34
 OPT
f=520
TT=1.622
T1=1.62
 OPT
f=520
TT=0.899
T1=0.89
 OPT
f=520
TT=0.715
T1=0.71
 OPT
f=520
TT=1.94
T1=1.92
 OPT
f=520
TT=10.251
T1=10.25
 OPT
f=520
TT=0.34
T1=0.34
 OPT
f=520
TT=6.074
T1=2.44
 OPT
f=520
TT=7.312
T1=0.49
 OPT
f=520
TT=5.493
T1=5.45
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii32a1.opb 		OPT
f=444
TT=0.323
T1=0.32
 OPT
f=444
TT=1.542
T1=1.53
 OPT
f=444
TT=1.7
T1=1.69
 OPT
f=444
TT=1.172
T1=1.16
 OPT
f=444
TT=1.163
T1=1.15
 OPT
f=444
TT=9.917
T1=9.91
 OPT
f=444
TT=0.323
T1=0.32
 OPT
f=444
TT=6.392
T1=1.43
 OPT
f=444
TT=8.023
T1=0.42
 OPT
f=444
TT=4.13
T1=3.99
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii32b1.opb 		OPT
f=191
TT=6.206
T1=6.2
 ? (TO)

TT=1800.01

 ? (TO)

TT=1800.02

 OPT
f=191
TT=7.765
T1=7.76
 OPT
f=191
TT=6.206
T1=6.2
 OPT
f=191
TT=35.059
T1=35.06
 OPT
f=191
TT=6.385
T1=6.38
 SAT (TO)
f=191
TT=1800.75
T1=16.34
 SAT (TO)
f=196
TT=1800.02
T1=0.68
 ? (TO)

TT=1800.05
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii32b2.opb 		OPT
f=244
TT=1.146
T1=0.67
 OPT
f=244
TT=21.674
T1=21.67
 OPT
f=244
TT=4.608
T1=4.6
 OPT
f=244
TT=1.884
T1=1.88
 OPT
f=244
TT=2.768
T1=2.76
 OPT
f=244
TT=4.55
T1=4.55
 OPT
f=244
TT=1.146
T1=1.14
 OPT
f=244
TT=4.783
T1=8.35
 OPT
f=244
TT=2.525
T1=0.67
 OPT
f=244
TT=8.418
T1=3.13
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii32b3.opb 		OPT
f=331
TT=2.776
T1=1.56
 OPT
f=331
TT=48.399
T1=48.4
 OPT
f=331
TT=19.26
T1=19.26
 OPT
f=331
TT=6.548
T1=6.54
 OPT
f=331
TT=10.614
T1=10.6
 OPT
f=331
TT=10.632
T1=10.63
 OPT
f=331
TT=2.776
T1=2.78
 OPT
f=331
TT=19.08
T1=6.91
 OPT
f=331
TT=8.483
T1=1.56
 OPT
f=331
TT=25.839
T1=19.9
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii32b4.opb 		OPT
f=376
TT=0.299
T1=0.3
 OPT
f=376
TT=10.07
T1=10.06
 OPT
f=376
TT=1.451
T1=1.44
 OPT
f=376
TT=1.276
T1=1.27
 OPT
f=376
TT=1.395
T1=1.39
 OPT
f=376
TT=2.662
T1=2.66
 OPT
f=376
TT=0.299
T1=0.3
 OPT
f=376
TT=3.363
T1=1.41
 OPT
f=376
TT=1.525
T1=0.4
 OPT
f=376
TT=4.82
T1=4.76
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii32c1.opb 		OPT
f=167
TT=2.738
T1=2.73
 ? (TO)

TT=1800.01

 OPT
f=167
TT=1580.02
T1=1580.26
 OPT
f=167
TT=3.679
T1=3.67
 OPT
f=167
TT=3.656
T1=3.65
 OPT
f=167
TT=2.738
T1=2.73
 OPT
f=167
TT=3.395
T1=3.39
 SAT (TO)
f=168
TT=1800.1
T1=671.85
 SAT (TO)
f=188
TT=1800.85
T1=3.95
 ? (TO)

TT=1800.07
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii32c2.opb 		OPT
f=207
TT=30.023
T1=30.02
 ? (TO)

TT=1800.02

 ? (TO)

TT=1800.01

 OPT
f=207
TT=95.483
T1=95.51
 OPT
f=207
TT=38.96
T1=38.96
 OPT
f=207
TT=56.749
T1=56.75
 OPT
f=207
TT=30.023
T1=30.02
 SAT (TO)
f=207
TT=1800.07
T1=251.28
 SAT (TO)
f=215
TT=1800.05
T1=8.77
 ? (TO)

TT=1800.09
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii32c3.opb 		OPT
f=261
TT=15.686
T1=8.25
 OPT
f=261
TT=449.796
T1=449.85
 OPT
f=261
TT=141.498
T1=141.51
 OPT
f=261
TT=20.825
T1=20.82
 OPT
f=261
TT=38.439
T1=38.43
 OPT
f=261
TT=57.62
T1=57.62
 OPT
f=261
TT=15.686
T1=15.69
 OPT
f=261
TT=46.555
T1=14.38
 OPT
f=261
TT=22.29
T1=8.25
 OPT
f=261
TT=476.361
T1=476.37
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii32c4.opb 		OPT
f=736
TT=0.648
T1=0.57
 OPT
f=736
TT=10.829
T1=10.82
 OPT
f=736
TT=9.371
T1=9.37
 OPT
f=736
TT=2.364
T1=2.35
 OPT
f=736
TT=3.624
T1=3.6
 OPT
f=736
TT=16.806
T1=16.8
 OPT
f=736
TT=0.648
T1=0.64
 OPT
f=736
TT=8.572
T1=1.61
 SAT (TO)
f=736
TT=1800.01
T1=0.57
 OPT
f=736
TT=14.175
T1=10.19
Bench nameBest resultscdcl-cuttingplanes OPT binary search
2016-05-01
(complete)		cdcl-cuttingplanes OPT linear search
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii32d1.opb 		SAT
f=285
TT=1800.02
T1=1800.3
 ? (TO)

TT=1800.07

 ? (TO)

TT=1800.02

 SAT (TO)
f=285
TT=1800.02
T1=1800.3
 SAT (TO)
f=290
TT=1800.02
T1=1800.3
 SAT (TO)
f=328
TT=1800.03
T1=1800.3
 SAT (TO)
f=285
TT=1800.02
T1=1800.3
 SAT (TO)
f=287
TT=1800.9
T1=490.77
 SAT (TO)
f=294
TT=1800.01
T1=14.01
 ? (TO)

TT=1800.1
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii32d2.opb 		OPT
f=372
TT=526.275
T1=5.99
 ? (TO)

TT=1800.05

 ? (TO)

TT=1800.02

 SAT (TO)
f=372
TT=1800.02
T1=1800.3
 SAT (TO)
f=372
TT=1800.02
T1=1800.3
 SAT (TO)
f=404
TT=1800.02
T1=1800.3
 OPT
f=372
TT=526.275
T1=526.36
 SAT (TO)
f=372
TT=1800.17
T1=15.93
 SAT (TO)
f=372
TT=1800.1
T1=5.99
 ? (TO)

TT=1800.09
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii32d3.opb 		OPT
f=802
TT=5.541
T1=5.54
 OPT
f=802
TT=1216.7
T1=1216.9
 OPT
f=802
TT=238.053
T1=238.09
 OPT
f=802
TT=46.307
T1=46.32
 OPT
f=802
TT=13.775
T1=13.76
 SAT (TO)
f=824
TT=1800.02
T1=1800.3
 OPT
f=802
TT=5.541
T1=5.54
 SAT (TO)
f=802
TT=1800.07
T1=20.1
 SAT (TO)
f=802
TT=1800.04
T1=6.07
 OPT
f=802
TT=273.675
T1=263.93
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii32e1.opb 		OPT
f=162
TT=4.96
T1=4.95
 ? (TO)

TT=1800.02

 ? (TO)

TT=1800.02

 OPT
f=162
TT=4.96
T1=4.95
 OPT
f=162
TT=5.332
T1=5.33
 OPT
f=162
TT=7.235
T1=7.23
 OPT
f=162
TT=8.749
T1=8.75
 SAT (TO)
f=165
TT=1800.12
T1=318.51
 SAT (TO)
f=163
TT=1800.8
T1=1217.17
 ? (TO)

TT=1800.1
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii32e2.opb 		OPT
f=235
TT=34.744
T1=2.89
 ? (TO)

TT=1800.02

 OPT
f=235
TT=601.618
T1=601.72
 OPT
f=235
TT=58.447
T1=58.46
 OPT
f=235
TT=65.295
T1=65.3
 OPT
f=235
TT=63.851
T1=63.85
 OPT
f=235
TT=34.744
T1=34.74
 SAT (TO)
f=235
TT=1800.85
T1=5.39
 SAT (TO)
f=235
TT=1800.02
T1=2.89
 ? (TO)

TT=1800.08
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii32e3.opb 		OPT
f=310
TT=2.53
T1=2.53
 OPT
f=310
TT=28.368
T1=28.37
 OPT
f=310
TT=16.813
T1=16.82
 OPT
f=310
TT=4.878
T1=4.87
 OPT
f=310
TT=9.85
T1=9.84
 OPT
f=310
TT=9.502
T1=9.5
 OPT
f=310
TT=2.53
T1=2.53
 OPT
f=310
TT=119.566
T1=11.91
 OPT
f=310
TT=37.887
T1=6.53
 OPT
f=310
TT=348.231
T1=85.74
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii32e4.opb 		OPT
f=364
TT=4.289
T1=4.29
 OPT
f=364
TT=166.04
T1=166.05
 OPT
f=364
TT=25.88
T1=25.88
 OPT
f=364
TT=8.414
T1=8.41
 OPT
f=364
TT=19.609
T1=19.6
 OPT
f=364
TT=12.063
T1=12.06
 OPT
f=364
TT=4.289
T1=4.29
 OPT
f=364
TT=1300.73
T1=21.95
 OPT
f=364
TT=461.19
T1=61.03
 OPT
f=364
TT=652.962
T1=30.59
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii32e5.opb 		OPT
f=503
TT=11.776
T1=4.89
 OPT
f=503
TT=839.979
T1=840.11
 OPT
f=503
TT=165.926
T1=165.94
 OPT
f=503
TT=16.159
T1=16.15
 OPT
f=503
TT=31.719
T1=31.72
 OPT
f=503
TT=56.661
T1=56.66
 OPT
f=503
TT=11.776
T1=11.77
 OPT
f=503
TT=82.043
T1=14.09
 OPT
f=503
TT=29.279
T1=4.89
 OPT
f=503
TT=143.25
T1=5.29
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii8a1.opb 		OPT
f=54
TT=0.053
T1=0.05
 OPT
f=54
TT=0.097
T1=0.09
 OPT
f=54
TT=0.061
T1=0.06
 OPT
f=54
TT=0.086
T1=0.08
 OPT
f=54
TT=0.144
T1=0.14
 OPT
f=54
TT=0.053
T1=0.05
 OPT
f=54
TT=0.125
T1=0.12
 OPT
f=54
TT=2.913
T1=5.18
 OPT
f=54
TT=0.894
T1=0.25
 OPT
f=54
TT=1.886
T1=1.85
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii8a2.opb 		OPT
f=139
TT=1207.3
T1=1207.49
 ? (TO)

TT=1800.02

 ? (TO)

TT=1800.01

 SAT (TO)
f=139
TT=1800.02
T1=1800.3
 SAT (TO)
f=155
TT=1800.02
T1=1800.3
 OPT
f=139
TT=1207.3
T1=1207.49
 SAT (TO)
f=139
TT=1800.02
T1=1800.3
 SAT (TO)
f=143
TT=1800.77
T1=3.21
 SAT (TO)
f=149
TT=1800.68
T1=163.4
 ? (TO)

TT=1800.07
Bench nameBest resultscdcl-cuttingplanes OPT binary search
2016-05-01
(complete)		cdcl-cuttingplanes OPT linear search
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii8a3.opb 		SAT
f=191
TT=1800.02
T1=1800.3
 ? (TO)

TT=1800.02

 ? (TO)

TT=1800.01

 SAT (TO)
f=191
TT=1800.02
T1=1800.3
 SAT (TO)
f=193
TT=1800.02
T1=1800.3
 SAT (TO)
f=229
TT=1800.02
T1=1800.3
 SAT (TO)
f=191
TT=1800.02
T1=1800.3
 SAT (TO)
f=194
TT=1800.59
T1=2.28
 SAT (TO)
f=217
TT=1800.07
T1=0.25
 ? (TO)

TT=1800.09
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii8a4.opb 		SAT
f=283
TT=1800.02
T1=1800.3
 ? (TO)

TT=1800.02

 ? (TO)

TT=1800.02

 SAT (TO)
f=283
TT=1800.02
T1=1800.3
 SAT (TO)
f=283
TT=1800.02
T1=1800.3
 SAT (TO)
f=367
TT=1800.02
T1=1800.3
 SAT (TO)
f=283
TT=1800.02
T1=1800.3
 SAT (TO)
f=335
TT=1800.1
T1=7.33
 SAT (TO)
f=313
TT=1800.79
T1=0.31
 ? (TO)

TT=1800.03
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii8b1.opb 		OPT
f=191
TT=78.476
T1=78.48
 ? (TO)

TT=1800.02

 ? (TO)

TT=1800.02

 SAT (TO)
f=191
TT=1800.1
T1=1800.4
 SAT (TO)
f=194
TT=1800.02
T1=1800.3
 OPT
f=191
TT=78.476
T1=78.48
 OPT
f=191
TT=392.55
T1=392.61
 SAT (TO)
f=221
TT=1800.73
T1=0.82
 SAT (TO)
f=221
TT=1800.08
T1=0.28
 ? (TO)

TT=1800.05
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii8b2.opb 		SAT
f=379
TT=1800.02
T1=1800.3
 ? (TO)

TT=1800.09

 ? (TO)

TT=1800.02

 SAT (TO)
f=379
TT=1800.02
T1=1800.3
 SAT (TO)
f=381
TT=1800.08
T1=1800.4
 SAT (TO)
f=430
TT=1800.02
T1=1800.3
 SAT (TO)
f=379
TT=1800.02
T1=1800.3
 SAT (TO)
f=411
TT=1800.73
T1=2.37
 SAT (TO)
f=413
TT=1800.06
T1=0.32
 ? (TO)

TT=1800.06
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii8b3.opb 		SAT
f=507
TT=1800.02
T1=1800.3
 ? (TO)

TT=1800.03

 ? (TO)

TT=1800.02

 SAT (TO)
f=507
TT=1800.1
T1=1800.4
 SAT (TO)
f=508
TT=1800.01
T1=1800.3
 SAT (TO)
f=594
TT=1800.02
T1=1800.3
 SAT (TO)
f=507
TT=1800.02
T1=1800.3
 SAT (TO)
f=551
TT=1800.05
T1=1.89
 SAT (TO)
f=559
TT=1800.77
T1=0.37
 ? (TO)

TT=1800.07
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii8b4.opb 		SAT
f=654
TT=1800.02
T1=1800.3
 ? (TO)

TT=1800.11

 ? (TO)

TT=1800.01

 SAT (TO)
f=716
TT=1800.02
T1=1800.3
 SAT (TO)
f=656
TT=1800.08
T1=1800.4
 SAT (TO)
f=926
TT=1800.02
T1=1800.3
 SAT (TO)
f=654
TT=1800.02
T1=1800.3
 SAT (TO)
f=718
TT=1800.63
T1=0.91
 SAT (TO)
f=718
TT=1800.01
T1=0.38
 ? (TO)

TT=1800.11
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii8c1.opb 		SAT
f=302
TT=1800.02
T1=1800.3
 ? (TO)

TT=1800.11

 ? (TO)

TT=1800.01

 SAT (TO)
f=302
TT=1800.02
T1=1800.3
 SAT (TO)
f=315
TT=1800.01
T1=1800.3
 SAT (TO)
f=315
TT=1800.02
T1=1800.3
 SAT (TO)
f=302
TT=1800.02
T1=1800.3
 SAT (TO)
f=315
TT=1800.16
T1=0.84
 SAT (TO)
f=315
TT=1800.83
T1=0.34
 ? (TO)

TT=1800.09
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii8c2.opb 		SAT
f=525
TT=1800.02
T1=1800.3
 ? (TO)

TT=1800.1

 ? (TO)

TT=1800.02

 SAT (TO)
f=525
TT=1800.11
T1=1800.4
 SAT (TO)
f=591
TT=1800.09
T1=1800.4
 SAT (TO)
f=916
TT=1800.01
T1=1800.3
 SAT (TO)
f=525
TT=1800.02
T1=1800.3
 SAT (TO)
f=574
TT=1800.02
T1=1.4
 SAT (TO)
f=574
TT=1800.03
T1=0.42
 ? (TO)

TT=1800.05
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii8d1.opb 		SAT
f=343
TT=1800.01
T1=1800.3
 ? (TO)

TT=1800.08

 ? (TO)

TT=1800.03

 SAT (TO)
f=343
TT=1800.02
T1=1800.3
 SAT (TO)
f=345
TT=1800.1
T1=1800.4
 SAT (TO)
f=390
TT=1800.02
T1=1800.3
 SAT (TO)
f=343
TT=1800.01
T1=1800.3
 SAT (TO)
f=374
TT=1800.14
T1=2.33
 SAT (TO)
f=374
TT=1800.06
T1=0.36
 ? (TO)

TT=1800.05
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii8d2.opb 		SAT
f=540
TT=1800.01
T1=1800.3
 ? (TO)

TT=1800.09

 ? (TO)

TT=1800.01

 SAT (TO)
f=540
TT=1800.01
T1=1800.3
 SAT (TO)
f=548
TT=1800.1
T1=1800.4
 SAT (TO)
f=674
TT=1800.02
T1=1800.3
 SAT (TO)
f=540
TT=1800.02
T1=1800.3
 SAT (TO)
f=581
TT=1800.67
T1=0.91
 SAT (TO)
f=581
TT=1800.87
T1=0.38
 ? (TO)

TT=1800.07
Bench nameBest resultscdcl-cuttingplanes OPT binary search
2016-05-01
(complete)		cdcl-cuttingplanes OPT linear search
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii8e1.opb 		SAT
f=343
TT=1800.01
T1=1800.3
 ? (TO)

TT=1800.1

 ? (TO)

TT=1800.02

 SAT (TO)
f=343
TT=1800.01
T1=1800.3
 SAT (TO)
f=367
TT=1800.02
T1=1800.3
 SAT (TO)
f=434
TT=1800.1
T1=1800.4
 SAT (TO)
f=343
TT=1800.02
T1=1800.3
 SAT (TO)
f=420
TT=1800.71
T1=0.82
 SAT (TO)
f=420
TT=1800.09
T1=0.31
 ? (TO)

TT=1800.04
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii8e2.opb 		SAT
f=494
TT=1800.02
T1=1800.3
 ? (TO)

TT=1800.06

 ? (TO)

TT=1800.02

 SAT (TO)
f=494
TT=1800.1
T1=1800.4
 SAT (TO)
f=506
TT=1800.01
T1=1800.3
 SAT (TO)
f=808
TT=1800.01
T1=1800.3
 SAT (TO)
f=494
TT=1800.02
T1=1800.3
 SAT (TO)
f=521
TT=1800.73
T1=1.93
 SAT (TO)
f=521
TT=1800.07
T1=0.47
 ? (TO)

TT=1800.02
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-jnh12.opb 		OPT
f=94
TT=0.007
T1=0
 OPT
f=94
TT=0.032
T1=0.03
 OPT
f=94
TT=0.019
T1=0.02
 OPT
f=94
TT=0.054
T1=0.05
 OPT
f=94
TT=0.045
T1=0.04
 OPT
f=94
TT=0.007
T1=0
 OPT
f=94
TT=0.01
T1=0.01
 OPT
f=94
TT=0.505
T1=1.76
 OPT
f=94
TT=0.404
T1=0.24
 OPT
f=94
TT=0.142
T1=0.13
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-jnh17.opb 		OPT
f=95
TT=0.019
T1=0.01
 OPT
f=95
TT=0.041
T1=0.04
 OPT
f=95
TT=0.02
T1=0.02
 OPT
f=95
TT=0.083
T1=0.08
 OPT
f=95
TT=0.09
T1=0.09
 OPT
f=95
TT=0.025
T1=0.02
 OPT
f=95
TT=0.019
T1=0.01
 OPT
f=95
TT=0.794
T1=2.75
 OPT
f=95
TT=0.623
T1=0.32
 OPT
f=95
TT=0.188
T1=0.16
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-jnh1.opb 		OPT
f=92
TT=0.052
T1=0.05
 OPT
f=92
TT=0.123
T1=0.12
 OPT
f=92
TT=0.052
T1=0.05
 OPT
f=92
TT=0.131
T1=0.13
 OPT
f=92
TT=0.211
T1=0.21
 OPT
f=92
TT=0.247
T1=0.24
 OPT
f=92
TT=0.063
T1=0.06
 OPT
f=92
TT=1.235
T1=3.76
 OPT
f=92
TT=0.916
T1=0.38
 OPT
f=92
TT=0.417
T1=0.39
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-jnh201.opb 		OPT
f=84
TT=11.188
T1=11.19
 OPT
f=84
TT=91.689
T1=91.7
 OPT
f=84
TT=16.179
T1=16.18
 OPT
f=84
TT=26.24
T1=26.24
 OPT
f=84
TT=11.188
T1=11.19
 OPT
f=84
TT=51.659
T1=51.66
 OPT
f=84
TT=11.303
T1=11.3
 OPT
f=84
TT=21.75
T1=12.26
 OPT
f=84
TT=14.571
T1=12.02
 OPT
f=84
TT=102.341
T1=85.23
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-jnh204.opb 		OPT
f=93
TT=0.024
T1=0.02
 OPT
f=93
TT=0.061
T1=0.06
 OPT
f=93
TT=0.035
T1=0.03
 OPT
f=93
TT=0.066
T1=0.06
 OPT
f=93
TT=0.127
T1=0.12
 OPT
f=93
TT=0.087
T1=0.08
 OPT
f=93
TT=0.024
T1=0.02
 OPT
f=93
TT=1.156
T1=1.75
 OPT
f=93
TT=0.727
T1=0.35
 OPT
f=93
TT=0.231
T1=0.21
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-jnh205.opb 		OPT
f=94
TT=0.014
T1=0.01
 OPT
f=94
TT=0.038
T1=0.03
 OPT
f=94
TT=0.023
T1=0.02
 OPT
f=94
TT=0.041
T1=0.06
 OPT
f=94
TT=0.088
T1=0.08
 OPT
f=94
TT=0.014
T1=0.01
 OPT
f=94
TT=0.016
T1=0.01
 OPT
f=94
TT=0.744
T1=3.75
 OPT
f=94
TT=0.574
T1=0.27
 OPT
f=94
TT=0.158
T1=0.15
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-jnh207.opb 		OPT
f=95
TT=0.015
T1=0.01
 OPT
f=95
TT=0.042
T1=0.04
 OPT
f=95
TT=0.021
T1=0.02
 OPT
f=95
TT=0.041
T1=0.04
 OPT
f=95
TT=0.051
T1=0.05
 OPT
f=95
TT=0.017
T1=0.02
 OPT
f=95
TT=0.015
T1=0.01
 OPT
f=95
TT=0.903
T1=1.26
 OPT
f=95
TT=0.524
T1=0.28
 OPT
f=95
TT=0.132
T1=0.12
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-jnh209.opb 		OPT
f=93
TT=0.026
T1=0.02
 OPT
f=93
TT=0.049
T1=0.04
 OPT
f=93
TT=0.026
T1=0.02
 OPT
f=93
TT=0.091
T1=0.09
 OPT
f=93
TT=0.129
T1=0.12
 OPT
f=93
TT=0.047
T1=0.04
 OPT
f=93
TT=0.04
T1=0.04
 OPT
f=93
TT=0.994
T1=3.3
 OPT
f=93
TT=0.794
T1=0.29
 OPT
f=93
TT=0.201
T1=0.16
Bench nameBest resultscdcl-cuttingplanes OPT binary search
2016-05-01
(complete)		cdcl-cuttingplanes OPT linear search
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-jnh210.opb 		OPT
f=88
TT=0.044
T1=0.04
 OPT
f=88
TT=0.146
T1=0.14
 OPT
f=88
TT=0.044
T1=0.04
 OPT
f=88
TT=0.302
T1=0.3
 OPT
f=88
TT=0.389
T1=0.38
 OPT
f=88
TT=0.337
T1=0.33
 OPT
f=88
TT=0.216
T1=0.21
 OPT
f=88
TT=2.134
T1=4.76
 OPT
f=88
TT=0.913
T1=0.41
 OPT
f=88
TT=1.458
T1=0.34
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-jnh212.opb 		OPT
f=97
TT=0.013
T1=0.01
 OPT
f=97
TT=0.045
T1=0.04
 OPT
f=97
TT=0.024
T1=0.02
 OPT
f=97
TT=0.058
T1=0.05
 OPT
f=97
TT=0.069
T1=0.06
 OPT
f=97
TT=0.015
T1=0.01
 OPT
f=97
TT=0.013
T1=0.01
 OPT
f=97
TT=0.887
T1=2.26
 OPT
f=97
TT=0.645
T1=0.3
 OPT
f=97
TT=0.195
T1=0.18
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-jnh213.opb 		OPT
f=92
TT=0.012
T1=0.01
 OPT
f=92
TT=0.037
T1=0.03
 OPT
f=92
TT=0.022
T1=0.02
 OPT
f=92
TT=0.077
T1=0.07
 OPT
f=92
TT=0.092
T1=0.09
 OPT
f=92
TT=0.012
T1=0.01
 OPT
f=92
TT=0.021
T1=0.02
 OPT
f=92
TT=0.724
T1=3.25
 OPT
f=92
TT=0.584
T1=0.28
 OPT
f=92
TT=0.214
T1=0.17
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-jnh217.opb 		OPT
f=89
TT=0.352
T1=0.35
 OPT
f=89
TT=0.6
T1=0.6
 OPT
f=89
TT=0.37
T1=0.36
 OPT
f=89
TT=0.352
T1=0.35
 OPT
f=89
TT=0.594
T1=0.59
 OPT
f=89
TT=1.799
T1=1.79
 OPT
f=89
TT=0.447
T1=0.44
 OPT
f=89
TT=2.284
T1=4.76
 OPT
f=89
TT=1.165
T1=0.57
 OPT
f=89
TT=2.066
T1=1.43
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-jnh218.opb 		OPT
f=90
TT=0.033
T1=0.03
 OPT
f=90
TT=0.053
T1=0.05
 OPT
f=90
TT=0.035
T1=0.03
 OPT
f=90
TT=0.115
T1=0.11
 OPT
f=90
TT=0.084
T1=0.08
 OPT
f=90
TT=0.034
T1=0.03
 OPT
f=90
TT=0.033
T1=0.03
 OPT
f=90
TT=0.834
T1=4.26
 OPT
f=90
TT=0.654
T1=0.33
 OPT
f=90
TT=0.266
T1=0.25
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-jnh220.opb 		OPT
f=94
TT=0.026
T1=0.02
 OPT
f=94
TT=0.059
T1=0.05
 OPT
f=94
TT=0.031
T1=0.03
 OPT
f=94
TT=0.099
T1=0.09
 OPT
f=94
TT=0.098
T1=0.09
 OPT
f=94
TT=0.1
T1=0.1
 OPT
f=94
TT=0.026
T1=0.02
 OPT
f=94
TT=1.074
T1=2.76
 OPT
f=94
TT=0.706
T1=0.34
 OPT
f=94
TT=0.324
T1=0.27
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-jnh301.opb 		OPT
f=95
TT=0.009
T1=0.01
 OPT
f=95
TT=0.041
T1=0.04
 OPT
f=95
TT=0.024
T1=0.02
 OPT
f=95
TT=0.044
T1=0.04
 OPT
f=95
TT=0.081
T1=0.08
 OPT
f=95
TT=0.009
T1=0.01
 OPT
f=95
TT=0.016
T1=0.01
 OPT
f=95
TT=0.893
T1=2.28
 OPT
f=95
TT=0.664
T1=0.32
 OPT
f=95
TT=0.201
T1=0.28
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-jnh7.opb 		OPT
f=89
TT=0.017
T1=0.01
 OPT
f=89
TT=0.04
T1=0.04
 OPT
f=89
TT=0.024
T1=0.02
 OPT
f=89
TT=0.171
T1=0.17
 OPT
f=89
TT=0.081
T1=0.08
 OPT
f=89
TT=0.017
T1=0.01
 OPT
f=89
TT=0.04
T1=0.04
 OPT
f=89
TT=1.033
T1=2.25
 OPT
f=89
TT=0.683
T1=0.34
 OPT
f=89
TT=0.238
T1=0.16
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-par16-1-c.opb 		OPT
f=317
TT=0.088
T1=0.08
 OPT
f=317
TT=1.858
T1=1.85
 OPT
f=317
TT=0.586
T1=0.58
 OPT
f=317
TT=0.461
T1=0.46
 OPT
f=317
TT=1.203
T1=1.2
 OPT
f=317
TT=0.088
T1=0.08
 OPT
f=317
TT=0.452
T1=0.45
 OPT
f=317
TT=3.223
T1=1.28
 OPT
f=317
TT=1.994
T1=0.83
 OPT
f=317
TT=2.756
T1=2.07
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par16-1.opb 		OPT
f=1015
TT=0.252
T1=0.25
 OPT
f=1015
TT=2.448
T1=2.44
 OPT
f=1015
TT=1.004
T1=1
 OPT
f=1015
TT=2.06
T1=2.05
 OPT
f=1015
TT=2.165
T1=2.15
 OPT
f=1015
TT=0.252
T1=0.25
 OPT
f=1015
TT=0.484
T1=0.48
 OPT
f=1015
TT=4.812
T1=0.84
 OPT
f=1015
TT=2.335
T1=0.47
 OPT
f=1015
TT=5.933
T1=2.41
Bench nameBest resultscdcl-cuttingplanes OPT binary search
2016-05-01
(complete)		cdcl-cuttingplanes OPT linear search
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-par16-2-c.opb 		OPT
f=349
TT=0.058
T1=0.05
 OPT
f=349
TT=2.057
T1=2.05
 OPT
f=349
TT=0.853
T1=0.85
 OPT
f=349
TT=0.751
T1=0.75
 OPT
f=349
TT=0.848
T1=0.84
 OPT
f=349
TT=0.058
T1=0.05
 OPT
f=349
TT=0.574
T1=0.57
 OPT
f=349
TT=4.314
T1=0.79
 OPT
f=349
TT=2.137
T1=0.58
 OPT
f=349
TT=2.373
T1=1.49
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par16-2.opb 		OPT
f=1015
TT=0.48
T1=0.48
 OPT
f=1015
TT=2.392
T1=2.38
 OPT
f=1015
TT=1.214
T1=1.21
 OPT
f=1015
TT=3.387
T1=3.38
 OPT
f=1015
TT=2.658
T1=2.64
 OPT
f=1015
TT=0.48
T1=0.48
 OPT
f=1015
TT=0.547
T1=0.54
 OPT
f=1015
TT=5.042
T1=1.85
 OPT
f=1015
TT=2.696
T1=1.09
 OPT
f=1015
TT=19.204
T1=2.98
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-par16-3-c.opb 		OPT
f=334
TT=0.289
T1=0.29
 OPT
f=334
TT=1.237
T1=1.23
 OPT
f=334
TT=0.727
T1=0.72
 OPT
f=334
TT=0.65
T1=0.64
 OPT
f=334
TT=0.749
T1=0.74
 OPT
f=334
TT=0.289
T1=0.29
 OPT
f=334
TT=0.413
T1=0.41
 OPT
f=334
TT=4.162
T1=0.78
 OPT
f=334
TT=1.994
T1=1.05
 OPT
f=334
TT=2.971
T1=2.04
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par16-3.opb 		OPT
f=1015
TT=0.157
T1=0.15
 OPT
f=1015
TT=1.9
T1=1.89
 OPT
f=1015
TT=1.015
T1=1.01
 OPT
f=1015
TT=1.901
T1=1.89
 OPT
f=1015
TT=2.827
T1=2.82
 OPT
f=1015
TT=0.157
T1=0.15
 OPT
f=1015
TT=0.676
T1=0.67
 OPT
f=1015
TT=4.86
T1=0.86
 OPT
f=1015
TT=2.956
T1=0.76
 OPT
f=1015
TT=6.708
T1=2.07
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-par16-4-c.opb 		OPT
f=324
TT=0.03
T1=0.03
 OPT
f=324
TT=0.67
T1=0.67
 OPT
f=324
TT=0.294
T1=0.29
 OPT
f=324
TT=0.235
T1=0.23
 OPT
f=324
TT=0.443
T1=0.43
 OPT
f=324
TT=0.03
T1=0.03
 OPT
f=324
TT=0.211
T1=0.21
 OPT
f=324
TT=2.603
T1=0.77
 OPT
f=324
TT=1.234
T1=0.46
 OPT
f=324
TT=0.639
T1=0.08
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par16-4.opb 		OPT
f=1015
TT=0.088
T1=0.08
 OPT
f=1015
TT=1.375
T1=1.37
 OPT
f=1015
TT=0.63
T1=0.62
 OPT
f=1015
TT=1.442
T1=1.43
 OPT
f=1015
TT=1.636
T1=1.63
 OPT
f=1015
TT=0.088
T1=0.08
 OPT
f=1015
TT=0.356
T1=0.5
 OPT
f=1015
TT=3.183
T1=1.35
 OPT
f=1015
TT=1.484
T1=0.81
 OPT
f=1015
TT=4.988
T1=1.53
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-par16-5-c.opb 		OPT
f=341
TT=0.165
T1=0.16
 OPT
f=341
TT=3.703
T1=3.7
 OPT
f=341
TT=0.508
T1=0.5
 OPT
f=341
TT=0.554
T1=0.55
 OPT
f=341
TT=1.019
T1=1.01
 OPT
f=341
TT=0.165
T1=0.16
 OPT
f=341
TT=0.256
T1=0.25
 OPT
f=341
TT=3.253
T1=0.77
 OPT
f=341
TT=1.535
T1=0.93
 OPT
f=341
TT=1.426
T1=0.66
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par16-5.opb 		OPT
f=1015
TT=0.064
T1=0.06
 OPT
f=1015
TT=2.283
T1=2.27
 OPT
f=1015
TT=0.937
T1=0.93
 OPT
f=1015
TT=0.731
T1=0.72
 OPT
f=1015
TT=1.839
T1=1.83
 OPT
f=1015
TT=0.064
T1=0.06
 OPT
f=1015
TT=0.512
T1=0.51
 OPT
f=1015
TT=4.125
T1=0.87
 OPT
f=1015
TT=1.943
T1=1.28
 OPT
f=1015
TT=6.104
T1=1.27
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-par32-1-c.opb 		OPT
f=1315
TT=875.815
T1=875.95
 ? (TO)

TT=1800.1

 ? (TO)

TT=1800.02

 ? (TO)

TT=1800.02

 ? (TO)

TT=1800.02

 OPT
f=1315
TT=875.815
T1=875.95
 SAT (TO)
f=1315
TT=1800.03
T1=1800.3
 ? (TO)

TT=1801.1

 ? (TO)

TT=1800.03

 ? (TO)

TT=1800.1
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par32-1.opb



? (TO)

TT=1800

 ? (TO)

TT=1800.02

 ? (TO)

TT=1800.02

 ? (TO)

TT=1800.02

 ? (TO)

TT=1800.02

 ? (TO)

TT=1800.02

 ? (TO)

TT=1800.02

 ? (TO)

TT=1800.76

 ? (TO)

TT=1800.04
Bench nameBest resultscdcl-cuttingplanes OPT binary search
2016-05-01
(complete)		cdcl-cuttingplanes OPT linear search
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-par32-2-c.opb



? (TO)

TT=1800.1

 ? (TO)

TT=1800.01

 ? (TO)

TT=1800.02

 ? (TO)

TT=1800.02

 ? (TO)

TT=1800.02

 ? (TO)

TT=1800.02

 ? (TO)

TT=1801.31

 ? (TO)

TT=1800.41

 ? (TO)

TT=1800.1
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par32-2.opb



? (TO)

TT=1800.09

 ? (TO)

TT=1800.09

 ? (TO)

TT=1800.02

 ? (TO)

TT=1800.02

 ? (TO)

TT=1800.02

 ? (TO)

TT=1800.02

 ? (TO)

TT=1800.91

 ? (TO)

TT=1800.03

 ? (TO)

TT=1800.04
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-par32-3-c.opb



? (TO)

TT=1800.01

 ? (TO)

TT=1800.03

 ? (TO)

TT=1800.02

 ? (TO)

TT=1800.02

 ? (TO)

TT=1800.02

 ? (TO)

TT=1800.01

 ? (TO)

TT=1800.54

 ? (TO)

TT=1800.62

 ? (TO)

TT=1800.03
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par32-3.opb



? (TO)

TT=1800.08

 ? (TO)

TT=1800.02

 ? (TO)

TT=1800.02

 ? (TO)

TT=1800.02

 ? (TO)

TT=1800.02

 ? (TO)

TT=1800.02

 ? (TO)

TT=1800.08

 ? (TO)

TT=1800.01

 ? (TO)

TT=1800.07
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-par32-4-c.opb



? (TO)

TT=1800.09

 ? (TO)

TT=1800.02

 ? (TO)

TT=1800.02

 ? (TO)

TT=1800.01

 ? (TO)

TT=1800.02

 ? (TO)

TT=1800.01

 ? (TO)

TT=1800.81

 ? (TO)

TT=1800.05

 ? (TO)

TT=1800.09
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par32-4.opb



? (TO)

TT=1800.09

 ? (TO)

TT=1800.02

 ? (TO)

TT=1800.02

 ? (TO)

TT=1800.02

 ? (TO)

TT=1800.02

 ? (TO)

TT=1800.02

 ? (TO)

TT=1800.09

 ? (TO)

TT=1800

 ? (TO)

TT=1800.06
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-par32-5-c.opb



? (TO)

TT=1800.09

 ? (TO)

TT=1800.02

 ? (TO)

TT=1800.02

 ? (TO)

TT=1800.02

 ? (TO)

TT=1800.02

 ? (TO)

TT=1800.02

 ? (TO)

TT=1801.19

 ? (TO)

TT=1800.04

 ? (TO)

TT=1800.04
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par32-5.opb



? (TO)

TT=1800.09

 ? (TO)

TT=1800.02

 ? (TO)

TT=1800.01

 ? (TO)

TT=1800.02

 ? (TO)

TT=1800.01

 ? (TO)

TT=1800.02

 ? (TO)

TT=1800.17

 ? (TO)

TT=1800.08

 ? (TO)

TT=1800.08
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-par8-1-c.opb 		OPT
f=64
TT=0.002
T1=0
 OPT
f=64
TT=0.027
T1=0.02
 OPT
f=64
TT=0.013
T1=0.01
 OPT
f=64
TT=0.014
T1=0.01
 OPT
f=64
TT=0.02
T1=0.02
 OPT
f=64
TT=0.002
T1=0
 OPT
f=64
TT=0.003
T1=0
 OPT
f=64
TT=0.325
T1=0.67
 OPT
f=64
TT=0.244
T1=0.17
 OPT
f=64
TT=0.083
T1=0.02
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par8-1.opb 		OPT
f=350
TT=0.012
T1=0.01
 OPT
f=350
TT=0.036
T1=0.03
 OPT
f=350
TT=0.019
T1=0.01
 OPT
f=350
TT=0.054
T1=0.05
 OPT
f=350
TT=0.068
T1=0.07
 OPT
f=350
TT=0.012
T1=0.01
 OPT
f=350
TT=0.022
T1=0.02
 OPT
f=350
TT=0.653
T1=0.79
 OPT
f=350
TT=0.444
T1=0.25
 OPT
f=350
TT=0.062
T1=0.05
Bench nameBest resultscdcl-cuttingplanes OPT binary search
2016-05-01
(complete)		cdcl-cuttingplanes OPT linear search
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-par8-2-c.opb 		OPT
f=68
TT=0.003
T1=0
 OPT
f=68
TT=0.025
T1=0.02
 OPT
f=68
TT=0.013
T1=0.01
 OPT
f=68
TT=0.013
T1=0.01
 OPT
f=68
TT=0.032
T1=0.03
 OPT
f=68
TT=0.003
T1=0
 OPT
f=68
TT=0.003
T1=0
 OPT
f=68
TT=0.385
T1=0.7
 OPT
f=68
TT=0.263
T1=0.16
 OPT
f=68
TT=0.098
T1=0.02
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par8-2.opb 		OPT
f=350
TT=0.012
T1=0.01
 OPT
f=350
TT=0.032
T1=0.03
 OPT
f=350
TT=0.019
T1=0.02
 OPT
f=350
TT=0.055
T1=0.05
 OPT
f=350
TT=0.068
T1=0.06
 OPT
f=350
TT=0.012
T1=0.01
 OPT
f=350
TT=0.025
T1=0.02
 OPT
f=350
TT=0.695
T1=0.78
 OPT
f=350
TT=0.484
T1=0.25
 OPT
f=350
TT=0.065
T1=0.05
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-par8-3-c.opb 		OPT
f=75
TT=0.003
T1=0
 OPT
f=75
TT=0.03
T1=0.03
 OPT
f=75
TT=0.015
T1=0.01
 OPT
f=75
TT=0.02
T1=0.01
 OPT
f=75
TT=0.019
T1=0.01
 OPT
f=75
TT=0.003
T1=0
 OPT
f=75
TT=0.004
T1=0
 OPT
f=75
TT=0.365
T1=0.68
 OPT
f=75
TT=0.264
T1=0.18
 OPT
f=75
TT=0.114
T1=0.03
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par8-3.opb 		OPT
f=350
TT=0.013
T1=0.01
 OPT
f=350
TT=0.034
T1=0.03
 OPT
f=350
TT=0.02
T1=0.02
 OPT
f=350
TT=0.054
T1=0.05
 OPT
f=350
TT=0.058
T1=0.06
 OPT
f=350
TT=0.013
T1=0.01
 OPT
f=350
TT=0.022
T1=0.02
 OPT
f=350
TT=0.664
T1=0.78
 OPT
f=350
TT=0.483
T1=0.25
 OPT
f=350
TT=0.063
T1=0.05
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-par8-4-c.opb 		OPT
f=67
TT=0.003
T1=0
 OPT
f=67
TT=0.028
T1=0.03
 OPT
f=67
TT=0.013
T1=0.01
 OPT
f=67
TT=0.015
T1=0.01
 OPT
f=67
TT=0.014
T1=0.01
 OPT
f=67
TT=0.003
T1=0
 OPT
f=67
TT=0.005
T1=0
 OPT
f=67
TT=0.324
T1=0.69
 OPT
f=67
TT=0.243
T1=0.16
 OPT
f=67
TT=0.091
T1=0.02
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par8-4.opb 		OPT
f=350
TT=0.012
T1=0.01
 OPT
f=350
TT=0.034
T1=0.03
 OPT
f=350
TT=0.019
T1=0.01
 OPT
f=350
TT=0.059
T1=0.05
 OPT
f=350
TT=0.077
T1=0.07
 OPT
f=350
TT=0.012
T1=0.01
 OPT
f=350
TT=0.023
T1=0.02
 OPT
f=350
TT=0.594
T1=0.76
 OPT
f=350
TT=0.415
T1=0.25
 OPT
f=350
TT=0.438
T1=0.05
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-par8-5-c.opb 		OPT
f=75
TT=0.003
T1=0
 OPT
f=75
TT=0.024
T1=0.02
 OPT
f=75
TT=0.014
T1=0.01
 OPT
f=75
TT=0.02
T1=0.01
 OPT
f=75
TT=0.027
T1=0.02
 OPT
f=75
TT=0.003
T1=0
 OPT
f=75
TT=0.003
T1=0
 OPT
f=75
TT=0.354
T1=0.67
 OPT
f=75
TT=0.263
T1=0.17
 OPT
f=75
TT=0.105
T1=0.02
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par8-5.opb 		OPT
f=350
TT=0.012
T1=0.01
 OPT
f=350
TT=0.035
T1=0.03
 OPT
f=350
TT=0.019
T1=0.01
 OPT
f=350
TT=0.021
T1=0.02
 OPT
f=350
TT=0.056
T1=0.05
 OPT
f=350
TT=0.012
T1=0.01
 OPT
f=350
TT=0.021
T1=0.02
 OPT
f=350
TT=0.664
T1=0.78
 OPT
f=350
TT=0.446
T1=0.26
 OPT
f=350
TT=0.442
T1=0.05
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-ssa0432-003.opb 		UNSAT

TT=0.008

 UNSAT

TT=0.033

 UNSAT

TT=0.02

 UNSAT

TT=0.019

 UNSAT

TT=0.019

 UNSAT

TT=0.008

 UNSAT

TT=0.009

 UNSAT

TT=0.646

 UNSAT

TT=0.495

 UNSAT

TT=0.065
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-ssa2670-130.opb 		UNSAT

TT=0.023

 UNSAT

TT=0.063

 UNSAT

TT=0.036

 UNSAT

TT=0.06

 UNSAT

TT=0.059

 UNSAT

TT=0.023

 UNSAT

TT=0.023

 UNSAT

TT=1.474

 UNSAT

TT=0.833

 UNSAT

TT=0.18
Bench nameBest resultscdcl-cuttingplanes OPT binary search
2016-05-01
(complete)		cdcl-cuttingplanes OPT linear search
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-ssa2670-141.opb 		UNSAT

TT=0.02

 UNSAT

TT=0.057

 UNSAT

TT=0.038

 UNSAT

TT=0.044

 UNSAT

TT=0.045

 UNSAT

TT=0.02

 UNSAT

TT=0.02

 UNSAT

TT=1.014

 UNSAT

TT=0.835

 UNSAT

TT=0.192
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-ssa6288-047.opb 		UNSAT

TT=0.165

 UNSAT

TT=0.183

 UNSAT

TT=0.165

 UNSAT

TT=0.533

 UNSAT

TT=0.485

 UNSAT

TT=0.188

 UNSAT

TT=0.189

 UNSAT

TT=2.664

 UNSAT

TT=1.184

 UNSAT

TT=0.963
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-ssa7552-038.opb 		OPT
f=1448
TT=0.159
T1=0.15
 ? (TO)

TT=1800.03

 ? (TO)

TT=1800.03

 SAT (TO)
f=1448
TT=1800.01
T1=1800.3
 OPT
f=1448
TT=7.194
T1=7.15
 OPT
f=1448
TT=0.159
T1=0.15
 OPT
f=1448
TT=1.96
T1=1.95
 SAT (TO)
f=1448
TT=1800.69
T1=0.88
 SAT (TO)
f=1448
TT=1800.97
T1=0.47
 ? (TO)

TT=1800.03
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-ssa7552-158.opb 		OPT
f=1327
TT=0.086
T1=0.08
 ? (TO)

TT=1800.14

 ? (TO)

TT=1800.03

 SAT (TO)
f=1327
TT=1800.02
T1=1800.3
 OPT
f=1327
TT=4.832
T1=4.8
 OPT
f=1327
TT=0.086
T1=0.08
 OPT
f=1327
TT=1.115
T1=1.11
 SAT (TO)
f=1327
TT=1800.08
T1=0.85
 SAT (TO)
f=1327
TT=1800.08
T1=0.35
 OPT
f=1327
TT=6.693
T1=6.69
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-ssa7552-159.opb 		OPT
f=1327
TT=0.083
T1=0.08
 ? (TO)

TT=1800.13

 ? (TO)

TT=1800.03

 SAT (TO)
f=1327
TT=1800.03
T1=1800.3
 OPT
f=1327
TT=4.729
T1=4.7
 OPT
f=1327
TT=0.083
T1=0.08
 OPT
f=1327
TT=1.152
T1=1.15
 SAT (TO)
f=1327
TT=1800.01
T1=0.87
 SAT (TO)
f=1327
TT=1800.7
T1=0.34
 OPT
f=1327
TT=6.884
T1=6.87
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-ssa7552-160.opb 		OPT
f=1359
TT=0.091
T1=0.09
 ? (TO)

TT=1800.05

 ? (TO)

TT=1800.03

 SAT (TO)
f=1359
TT=1800.11
T1=1800.4
 OPT
f=1359
TT=4.631
T1=4.6
 OPT
f=1359
TT=0.091
T1=0.09
 OPT
f=1359
TT=1.308
T1=1.38
 SAT (TO)
f=1359
TT=1800.07
T1=1.39
 SAT (TO)
f=1359
TT=1800.09
T1=0.41
 ? (TO)

TT=1800.02



Statisticscdcl-cuttingplanes OPT binary search
2016-05-01
(complete)		cdcl-cuttingplanes OPT linear search
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
Number of times the solver is able to give the best known answer109111124120121139108104108
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)		051348655000