PB'09 competition: 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:
bsolo 3.1 (complete)
bsolo 3.1 cl (complete)
bsolo 3.1 pb (complete)
pbclasp 2009-04-24 (complete)
SAT4J Pseudo CP 2.1.1 (complete)
SAT4J Pseudo Resolution 2.1.1 (complete)
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 (complete)
SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete)
wbo 1.0 (complete)

Bench nameBest results
on this
instance		bsolo
3.1
(complete)		bsolo
3.1 cl
(complete)		bsolo
3.1 pb
(complete)		pbclasp
2009-04-24
(complete)		SAT4J Pseudo CP
2.1.1
(complete)		SAT4J Pseudo Resolution
2.1.1
(complete)		SCIPclp
SCIP 1.1.0.7 with CLP 1.8.2
(complete)		SCIPspx
SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
(complete)		wbo
1.0
(complete)
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-100-1_6-yes1-1.opb 		OPT
f=100
TT=0.005
T1=0
 OPT
f=100
TT=0.006
T1=0.01
 OPT
f=100
TT=0.005
T1=0
 OPT
f=100
TT=0.006
T1=0.01
 OPT
f=100
TT=0.018
T1=0.01
 OPT
f=100
TT=0.567
T1=0.44
 OPT
f=100
TT=0.442
T1=0.34
 OPT
f=100
TT=4.505
T1=4.5
 OPT
f=100
TT=6.297
T1=3.64
 OPT
f=100
TT=8.572
T1=8.63
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.006
T1=0
 OPT
f=100
TT=0.006
T1=0
 OPT
f=100
TT=0.007
T1=0
 OPT
f=100
TT=0.022
T1=0.01
 OPT
f=100
TT=0.499
T1=0.37
 OPT
f=100
TT=0.451
T1=0.35
 OPT
f=100
TT=3.874
T1=3.72
 OPT
f=100
TT=11.502
T1=7.15
 ? (TO)

TT=1800.17
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-100-1_6-yes1-3.opb 		OPT
f=100
TT=0.005
T1=0
 OPT
f=100
TT=0.007
T1=0
 OPT
f=100
TT=0.005
T1=0
 OPT
f=100
TT=0.008
T1=0
 OPT
f=100
TT=0.017
T1=0.01
 OPT
f=100
TT=0.484
T1=0.37
 OPT
f=100
TT=0.518
T1=0.38
 OPT
f=100
TT=7.026
T1=6.89
 OPT
f=100
TT=8.277
T1=8.26
 ? (TO)

TT=1800.24
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.006
T1=0
 OPT
f=100
TT=0.021
T1=0.01
 OPT
f=100
TT=0.618
T1=0.35
 OPT
f=100
TT=0.454
T1=0.35
 OPT
f=100
TT=4.019
T1=3.83
 OPT
f=100
TT=9.107
T1=9.09
 ? (TO)

TT=1800.21
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-100-2_0-yes1-1.opb 		OPT
f=100
TT=0.008
T1=0
 OPT
f=100
TT=0.011
T1=0.01
 OPT
f=100
TT=0.008
T1=0
 OPT
f=100
TT=0.012
T1=0.01
 OPT
f=100
TT=0.02
T1=0.01
 OPT
f=100
TT=0.645
T1=0.4
 OPT
f=100
TT=0.48
T1=0.36
 OPT
f=100
TT=8.172
T1=4.8
 OPT
f=100
TT=17.903
T1=17.4
 ? (TO)

TT=1800.2
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-100-2_0-yes1-2.opb 		OPT
f=100
TT=0.008
T1=0.01
 OPT
f=100
TT=0.008
T1=0.01
 OPT
f=100
TT=0.008
T1=0.01
 OPT
f=100
TT=0.01
T1=0.01
 OPT
f=100
TT=0.019
T1=0.01
 OPT
f=100
TT=0.761
T1=0.42
 OPT
f=100
TT=0.55
T1=0.39
 OPT
f=100
TT=13.445
T1=13.43
 OPT
f=100
TT=17.517
T1=17.5
 ? (TO)

TT=1800.27
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-100-2_0-yes1-3.opb 		OPT
f=100
TT=0.008
T1=0
 OPT
f=100
TT=0.011
T1=0.01
 OPT
f=100
TT=0.008
T1=0
 OPT
f=100
TT=0.01
T1=0.01
 OPT
f=100
TT=0.022
T1=0.01
 OPT
f=100
TT=0.608
T1=0.4
 OPT
f=100
TT=0.611
T1=0.44
 OPT
f=100
TT=15.077
T1=14.44
 OPT
f=100
TT=8.169
T1=8.15
 ? (TO)

TT=1800.23
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-100-2_0-yes1-4.opb 		OPT
f=100
TT=0.005
T1=0
 OPT
f=100
TT=0.006
T1=0
 OPT
f=100
TT=0.005
T1=0
 OPT
f=100
TT=0.008
T1=0.01
 OPT
f=100
TT=0.02
T1=0.01
 OPT
f=100
TT=0.659
T1=0.39
 OPT
f=100
TT=0.602
T1=0.37
 OPT
f=100
TT=18.46
T1=18.38
 OPT
f=100
TT=27.188
T1=27.17
 ? (TO)

TT=1800.24
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-100-3_4-yes1-1.opb 		OPT
f=100
TT=0.018
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.027
T1=0.02
 OPT
f=100
TT=0.022
T1=0.01
 OPT
f=100
TT=0.945
T1=0.5
 OPT
f=100
TT=0.84
T1=0.51
 OPT
f=100
TT=19.93
T1=20.18
 OPT
f=100
TT=47.216
T1=45.34
 ? (TO)

TT=1800.25
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-100-3_4-yes1-2.opb 		OPT
f=100
TT=0.011
T1=0
 OPT
f=100
TT=0.016
T1=0.01
 OPT
f=100
TT=0.011
T1=0
 OPT
f=100
TT=0.014
T1=0.01
 OPT
f=100
TT=0.026
T1=0.01
 OPT
f=100
TT=0.944
T1=0.49
 OPT
f=100
TT=0.505
T1=0.39
 OPT
f=100
TT=19.885
T1=19.88
 OPT
f=100
TT=38.253
T1=38.25
 ? (TO)

TT=1800.26
Bench nameBest resultsbsolo
3.1
(complete)		bsolo
3.1 cl
(complete)		bsolo
3.1 pb
(complete)		pbclasp
2009-04-24
(complete)		SAT4J Pseudo CP
2.1.1
(complete)		SAT4J Pseudo Resolution
2.1.1
(complete)		SCIPclp
SCIP 1.1.0.7 with CLP 1.8.2
(complete)		SCIPspx
SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
(complete)		wbo
1.0
(complete)
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-100-3_4-yes1-3.opb 		OPT
f=100
TT=0.014
T1=0.01
 OPT
f=100
TT=0.019
T1=0.01
 OPT
f=100
TT=0.014
T1=0.01
 OPT
f=100
TT=0.023
T1=0.01
 OPT
f=100
TT=0.021
T1=0.01
 OPT
f=100
TT=0.959
T1=0.54
 OPT
f=100
TT=0.618
T1=0.42
 OPT
f=100
TT=19.697
T1=19.24
 OPT
f=100
TT=45.368
T1=43.47
 ? (TO)

TT=1800.32
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-100-3_4-yes1-4.opb 		OPT
f=100
TT=0.01
T1=0
 OPT
f=100
TT=0.014
T1=0
 OPT
f=100
TT=0.01
T1=0
 OPT
f=100
TT=0.014
T1=0
 OPT
f=100
TT=0.023
T1=0.01
 OPT
f=100
TT=1.015
T1=0.42
 OPT
f=100
TT=0.684
T1=0.39
 OPT
f=100
TT=27.22
T1=26.29
 OPT
f=100
TT=39.883
T1=39.43
 ? (TO)

TT=1800.27
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-100-6_0-yes1-1.opb 		OPT
f=100
TT=0.01
T1=0
 OPT
f=100
TT=0.011
T1=0
 OPT
f=100
TT=0.01
T1=0
 OPT
f=100
TT=0.012
T1=0
 OPT
f=100
TT=0.024
T1=0.01
 OPT
f=100
TT=0.842
T1=0.66
 OPT
f=100
TT=0.727
T1=0.45
 OPT
f=100
TT=42.812
T1=0.76
 OPT
f=100
TT=69.797
T1=53.84
 OPT
f=100
TT=0.966
T1=0.96
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-100-6_0-yes1-2.opb 		OPT
f=100
TT=0.01
T1=0
 OPT
f=100
TT=0.013
T1=0.01
 OPT
f=100
TT=0.01
T1=0
 OPT
f=100
TT=0.013
T1=0.01
 OPT
f=100
TT=0.026
T1=0.01
 OPT
f=100
TT=0.973
T1=0.51
 OPT
f=100
TT=0.719
T1=0.45
 OPT
f=100
TT=38.27
T1=32.45
 OPT
f=100
TT=61.081
T1=59.78
 ? (TO)

TT=1800.17
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-100-6_0-yes1-3.opb 		OPT
f=100
TT=0.012
T1=0
 OPT
f=100
TT=0.012
T1=0.01
 OPT
f=100
TT=0.012
T1=0
 OPT
f=100
TT=0.013
T1=0.01
 OPT
f=100
TT=0.028
T1=0.01
 OPT
f=100
TT=0.911
T1=0.53
 OPT
f=100
TT=0.62
T1=0.46
 OPT
f=100
TT=42.916
T1=42.64
 OPT
f=100
TT=48.006
T1=47.3
 ? (TO)

TT=1800.25
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-100-6_0-yes1-4.opb 		OPT
f=100
TT=0.01
T1=0
 OPT
f=100
TT=0.012
T1=0.01
 OPT
f=100
TT=0.01
T1=0
 OPT
f=100
TT=0.012
T1=0.01
 OPT
f=100
TT=0.025
T1=0.01
 OPT
f=100
TT=0.891
T1=0.47
 OPT
f=100
TT=0.598
T1=0.45
 OPT
f=100
TT=39.539
T1=39.36
 OPT
f=100
TT=58.368
T1=57.31
 ? (TO)

TT=1800.28
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-200-1_6-yes1-1.opb 		OPT
f=200
TT=0.009
T1=0
 OPT
f=200
TT=0.009
T1=0
 OPT
f=200
TT=0.009
T1=0
 OPT
f=200
TT=0.009
T1=0
 OPT
f=200
TT=0.025
T1=0.01
 OPT
f=200
TT=0.743
T1=0.53
 OPT
f=200
TT=0.788
T1=0.51
 OPT
f=200
TT=27.915
T1=22.5
 OPT
f=200
TT=21.618
T1=15.94
 ? (TO)

TT=1800.28
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-200-1_6-yes1-2.opb 		OPT
f=200
TT=0.01
T1=0.01
 OPT
f=200
TT=0.013
T1=0.01
 OPT
f=200
TT=0.01
T1=0.01
 OPT
f=200
TT=0.013
T1=0.01
 OPT
f=200
TT=0.026
T1=0.01
 OPT
f=200
TT=0.763
T1=0.54
 OPT
f=200
TT=0.78
T1=0.5
 OPT
f=200
TT=40.639
T1=40.61
 OPT
f=200
TT=37.202
T1=36.38
 ? (TO)

TT=1800.18
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-200-1_6-yes1-3.opb 		OPT
f=200
TT=0.009
T1=0
 OPT
f=200
TT=0.009
T1=0
 OPT
f=200
TT=0.009
T1=0
 OPT
f=200
TT=0.01
T1=0.01
 OPT
f=200
TT=0.023
T1=0.01
 OPT
f=200
TT=0.815
T1=0.57
 OPT
f=200
TT=0.714
T1=0.49
 OPT
f=200
TT=10.937
T1=10.36
 OPT
f=200
TT=16.67
T1=14.96
 ? (TO)

TT=1800.21
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-200-1_6-yes1-4.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=0.011
T1=0.01
 OPT
f=200
TT=0.023
T1=0.01
 OPT
f=200
TT=0.876
T1=0.62
 OPT
f=200
TT=0.784
T1=0.52
 OPT
f=200
TT=26.479
T1=25.09
 OPT
f=200
TT=33.924
T1=25.28
 ? (TO)

TT=1800.24
Bench nameBest resultsbsolo
3.1
(complete)		bsolo
3.1 cl
(complete)		bsolo
3.1 pb
(complete)		pbclasp
2009-04-24
(complete)		SAT4J Pseudo CP
2.1.1
(complete)		SAT4J Pseudo Resolution
2.1.1
(complete)		SCIPclp
SCIP 1.1.0.7 with CLP 1.8.2
(complete)		SCIPspx
SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
(complete)		wbo
1.0
(complete)
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-200-2_0-yes1-1.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=0.021
T1=0.01
 OPT
f=200
TT=0.027
T1=0.02
 OPT
f=200
TT=1.238
T1=0.82
 OPT
f=200
TT=1.054
T1=0.62
 OPT
f=200
TT=47.485
T1=47.49
 OPT
f=200
TT=61.23
T1=61.24
 ? (TO)

TT=1800.2
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-200-2_0-yes1-2.opb 		OPT
f=200
TT=0.021
T1=0.01
 OPT
f=200
TT=0.032
T1=0.03
 OPT
f=200
TT=0.021
T1=0.01
 OPT
f=200
TT=0.031
T1=0.03
 OPT
f=200
TT=0.03
T1=0.02
 OPT
f=200
TT=1.422
T1=0.82
 OPT
f=200
TT=1.008
T1=0.63
 OPT
f=200
TT=59.244
T1=52.44
 OPT
f=200
TT=56.323
T1=56.03
 ? (TO)

TT=1800.18
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-200-2_0-yes1-3.opb 		OPT
f=200
TT=0.016
T1=0.01
 OPT
f=200
TT=0.019
T1=0.01
 OPT
f=200
TT=0.016
T1=0.01
 OPT
f=200
TT=0.019
T1=0.01
 OPT
f=200
TT=0.024
T1=0.02
 OPT
f=200
TT=0.842
T1=0.6
 OPT
f=200
TT=0.777
T1=0.49
 OPT
f=200
TT=39.895
T1=39.34
 OPT
f=200
TT=56.059
T1=56.06
 ? (TO)

TT=1800.27
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-200-2_0-yes1-4.opb 		OPT
f=200
TT=0.011
T1=0.01
 OPT
f=200
TT=0.016
T1=0.01
 OPT
f=200
TT=0.011
T1=0.01
 OPT
f=200
TT=0.018
T1=0.01
 OPT
f=200
TT=0.029
T1=0.02
 OPT
f=200
TT=1.358
T1=0.82
 OPT
f=200
TT=0.968
T1=0.56
 OPT
f=200
TT=48.218
T1=48.2
 OPT
f=200
TT=77.103
T1=77.07
 ? (TO)

TT=1800.26
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-200-3_4-yes1-1.opb 		OPT
f=200
TT=0.02
T1=0.01
 OPT
f=200
TT=0.028
T1=0.02
 OPT
f=200
TT=0.02
T1=0.01
 OPT
f=200
TT=0.033
T1=0.02
 OPT
f=200
TT=0.029
T1=0.02
 OPT
f=200
TT=1.294
T1=0.58
 OPT
f=200
TT=1.049
T1=0.55
 OPT
f=200
TT=139.012
T1=136.89
 OPT
f=200
TT=126.24
T1=118.3
 ? (TO)

TT=1800.26
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-200-3_4-yes1-2.opb 		OPT
f=200
TT=0.03
T1=0.02
 OPT
f=200
TT=0.045
T1=0.04
 OPT
f=200
TT=0.031
T1=0.03
 OPT
f=200
TT=0.04
T1=0.03
 OPT
f=200
TT=0.03
T1=0.02
 OPT
f=200
TT=1.414
T1=0.84
 OPT
f=200
TT=1.083
T1=0.64
 OPT
f=200
TT=163.169
T1=163.18
 OPT
f=200
TT=316.027
T1=309.98
 ? (TO)

TT=1800.22
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-200-3_4-yes1-3.opb 		OPT
f=200
TT=0.015
T1=0.01
 OPT
f=200
TT=0.02
T1=0.01
 OPT
f=200
TT=0.015
T1=0.01
 OPT
f=200
TT=0.071
T1=0.06
 OPT
f=200
TT=0.042
T1=0.02
 OPT
f=200
TT=1.752
T1=0.93
 OPT
f=200
TT=0.867
T1=0.55
 OPT
f=200
TT=250.876
T1=244.33
 OPT
f=200
TT=144.782
T1=144.28
 ? (TO)

TT=1800.28
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-200-3_4-yes1-4.opb 		OPT
f=200
TT=0.014
T1=0.01
 OPT
f=200
TT=0.016
T1=0.01
 OPT
f=200
TT=0.014
T1=0.01
 OPT
f=200
TT=0.019
T1=0.01
 OPT
f=200
TT=0.045
T1=0.02
 OPT
f=200
TT=1.828
T1=0.99
 OPT
f=200
TT=1.182
T1=0.73
 OPT
f=200
TT=164.986
T1=162.71
 OPT
f=200
TT=175.294
T1=174.42
 ? (TO)

TT=1800.27
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-200-6_0-yes1-1.opb 		OPT
f=200
TT=0.038
T1=0.02
 OPT
f=200
TT=0.072
T1=0.07
 OPT
f=200
TT=0.055
T1=0.05
 OPT
f=200
TT=0.143
T1=0.1
 OPT
f=200
TT=0.038
T1=0.02
 OPT
f=200
TT=1.829
T1=1.04
 OPT
f=200
TT=1.369
T1=0.71
 OPT
f=200
TT=338.776
T1=337.99
 OPT
f=200
TT=181.373
T1=181.38
 ? (TO)

TT=1800.28
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-200-6_0-yes1-2.opb 		OPT
f=200
TT=0.029
T1=0.02
 OPT
f=200
TT=0.039
T1=0.03
 OPT
f=200
TT=0.029
T1=0.02
 OPT
f=200
TT=0.042
T1=0.03
 OPT
f=200
TT=0.036
T1=0.02
 OPT
f=200
TT=1.646
T1=0.99
 OPT
f=200
TT=1.291
T1=0.78
 OPT
f=200
TT=402.055
T1=402.15
 OPT
f=200
TT=157.493
T1=154.96
 ? (TO)

TT=1800.24
Bench nameBest resultsbsolo
3.1
(complete)		bsolo
3.1 cl
(complete)		bsolo
3.1 pb
(complete)		pbclasp
2009-04-24
(complete)		SAT4J Pseudo CP
2.1.1
(complete)		SAT4J Pseudo Resolution
2.1.1
(complete)		SCIPclp
SCIP 1.1.0.7 with CLP 1.8.2
(complete)		SCIPspx
SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
(complete)		wbo
1.0
(complete)
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-200-6_0-yes1-3.opb 		OPT
f=200
TT=0.029
T1=0.01
 OPT
f=200
TT=0.036
T1=0.02
 OPT
f=200
TT=0.029
T1=0.01
 OPT
f=200
TT=0.037
T1=0.02
 OPT
f=200
TT=0.035
T1=0.02
 OPT
f=200
TT=1.585
T1=0.8
 OPT
f=200
TT=1.165
T1=0.63
 OPT
f=200
TT=403.522
T1=400.21
 OPT
f=200
TT=271.4
T1=267.23
 ? (TO)

TT=1800.28
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-200-6_0-yes1-4.opb 		OPT
f=200
TT=0.038
T1=0.03
 OPT
f=200
TT=0.062
T1=0.06
 OPT
f=200
TT=0.038
T1=0.03
 OPT
f=200
TT=0.114
T1=0.1
 OPT
f=200
TT=0.041
T1=0.03
 OPT
f=200
TT=2.078
T1=1.14
 OPT
f=200
TT=1.17
T1=0.7
 OPT
f=200
TT=526.587
T1=526.71
 OPT
f=200
TT=259.04
T1=235.49
 ? (TO)

TT=1800.24
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-bf0432-007.opb 		UNSAT

TT=0.095

 UNSAT

TT=0.104

 UNSAT

TT=0.095

 UNSAT

TT=0.106

 UNSAT

TT=0.113

 UNSAT

TT=2.614

 UNSAT

TT=1.762

 UNSAT

TT=40.821

 UNSAT

TT=52.301

 UNSAT

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

TT=0.146

 UNSAT

TT=0.206

 UNSAT

TT=0.206

 UNSAT

TT=0.209

 UNSAT

TT=0.146

 UNSAT

TT=2.352

 UNSAT

TT=2.302

 UNSAT

TT=119.202

 UNSAT

TT=186.38

 UNSAT

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

TT=0.145

 UNSAT

TT=0.152

 UNSAT

TT=0.152

 UNSAT

TT=0.152

 UNSAT

TT=0.145

 UNSAT

TT=2.229

 UNSAT

TT=2.166

 UNSAT

TT=58.736

 UNSAT

TT=60.036

 UNSAT

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

TT=0.059

 UNSAT

TT=0.064

 UNSAT

TT=0.059

 UNSAT

TT=0.064

 UNSAT

TT=0.083

 UNSAT

TT=1.683

 UNSAT

TT=1.652

 UNSAT

TT=2.444

 UNSAT

TT=2.407

 UNSAT

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



?

TT=1798.01

 ?

TT=1798.01

 ?

TT=1798.01

 ? (TO)

TT=1800.06

 ? (TO)

TT=1800.4

 ? (TO)

TT=1800.35

 ?

TT=1796.32

 ?

TT=1794.26

 ? (TO)

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



?

TT=1798.01

 ?

TT=1798.02

 ?

TT=1798.01

 ? (TO)

TT=1800.02

 ? (TO)

TT=1800.36

 ? (TO)

TT=1800.36

 ?

TT=1795.72

 ?

TT=1792.23

 ? (TO)

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



?

TT=1798

 ?

TT=1798

 ?

TT=1798

 ? (TO)

TT=1800.1

 ? (TO)

TT=1800.4

 ? (TO)

TT=1800.35

 ?

TT=1797.74

 ?

TT=1794.84

 ? (TO)

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



?

TT=1798.14

 ?

TT=1798.19

 ?

TT=1798.18

 ? (TO)

TT=1800.09

 ? (TO)

TT=1800.32

 ? (TO)

TT=1800.44

 ?

TT=1794.11

 ?

TT=1794.35

 ? (TO)

TT=1800.17
Bench nameBest resultsbsolo
3.1
(complete)		bsolo
3.1 cl
(complete)		bsolo
3.1 pb
(complete)		pbclasp
2009-04-24
(complete)		SAT4J Pseudo CP
2.1.1
(complete)		SAT4J Pseudo Resolution
2.1.1
(complete)		SCIPclp
SCIP 1.1.0.7 with CLP 1.8.2
(complete)		SCIPspx
SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
(complete)		wbo
1.0
(complete)
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-g125.18.opb



?

TT=1798.14

 ?

TT=1798.18

 ?

TT=1798.22

 ? (TO)

TT=1800.01

 ? (TO)

TT=1800.35

 ? (TO)

TT=1801.11

 ?

TT=1797.56

 ?

TT=1794.42

 ? (TO)

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



?

TT=1798.13

 ?

TT=1798.17

 ?

TT=1798.16

 ? (TO)

TT=1800.02

 ? (TO)

TT=1800.37

 ? (TO)

TT=1800.36

 ?

TT=1797.71

 ?

TT=1797.68

 ? (TO)

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



?

TT=1798.35

 ?

TT=1798.22

 ?

TT=1798.27

 ? (TO)

TT=1800.01

 ? (TO)

TT=1800.39

 ? (TO)

TT=1800.35

 ? (TO)

TT=1802.18

 ? (TO)

TT=1802.22

 ? (TO)

TT=1800.09
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-hanoi4.opb 		OPT
f=718
TT=0.542
T1=0.33
 OPT
f=718
TT=1.735
T1=0.57
 OPT
f=718
TT=1.48
T1=0.33
 OPT
f=718
TT=1.705
T1=0.71
 OPT
f=718
TT=0.542
T1=0.44
 OPT
f=718
TT=6.614
T1=3.47
 OPT
f=718
TT=3.607
T1=2.25
 ? (TO)

TT=1800.14

 ? (TO)

TT=1800.18

 ? (TO)

TT=1800.32
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-hanoi5.opb 		OPT
f=1931
TT=18.647
T1=17.7
 OPT
f=1931
TT=1393.86
T1=1352.11
 OPT
f=1931
TT=298.337
T1=297.63
 ?

TT=1798

 OPT
f=1931
TT=18.647
T1=17.7
 ? (TO)

TT=1800.53

 OPT
f=1931
TT=62.967
T1=44.85
 ?

TT=1794.76

 ?

TT=1795.7

 ? (TO)

TT=1800.22
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii16a1.opb 		SAT
f=1294
TT=1795.91
T1=1314.51
 SAT
f=1345
TT=1798.11
T1=547.2
 SAT
f=1367
TT=1798.11
T1=29.31
 SAT (TO)
f=1368
TT=1800.16
T1=2.02
 SAT (TO)
f=1466
TT=1800.03
T1=477.43
 SAT (TO)
f=1407
TT=1800.4
T1=405.01
 SAT (TO)
f=1452
TT=1800.63
T1=1238.24
 SAT (TO)
f=1210
TT=1800.52
T1=1421.54
 SAT
f=1294
TT=1795.91
T1=1314.51
 ? (TO)

TT=1800.22
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii16a2.opb 		SAT
f=1316
TT=1798.12
T1=46.53
 SAT
f=1319
TT=1798.2
T1=392.63
 SAT
f=1316
TT=1798.12
T1=46.53
 SAT
f=1333
TT=1798.63
T1=1659.71
 SAT (TO)
f=1427
TT=1800.01
T1=0.33
 SAT (TO)
f=1396
TT=1800.42
T1=170.88
 SAT (TO)
f=1449
TT=1800.58
T1=1.76
 ?

TT=1795.31

 ?

TT=1797.2

 ? (TO)

TT=1800.15
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii16b1.opb 		SAT
f=1511
TT=1798.12
T1=198.78
 SAT
f=1557
TT=1798.16
T1=260.26
 SAT
f=1511
TT=1798.12
T1=198.78
 SAT
f=1614
TT=1798.07
T1=40.29
 SAT (TO)
f=1653
TT=1800.09
T1=657.67
 SAT (TO)
f=1610
TT=1800.4
T1=1345.41
 SAT (TO)
f=1663
TT=1801.01
T1=14.72
 SAT (TO)
f=1549
TT=1800.8
T1=784.35
 ?

TT=1797.3

 ? (TO)

TT=1800.16
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii16b2.opb 		OPT
f=1031
TT=17.859
T1=0.18
 SAT
f=1031
TT=1798.06
T1=0.28
 SAT
f=1031
TT=1798.07
T1=0.3
 SAT
f=1031
TT=1798.07
T1=0.29
 SAT (TO)
f=1031
TT=1800.08
T1=0.18
 OPT
f=1031
TT=17.859
T1=2.15
 SAT (TO)
f=1031
TT=1801.19
T1=1.9
 SAT (TO)
f=1031
TT=1800.4
T1=838.14
 ?

TT=1795.25

 ? (TO)

TT=1800.15
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii16c1.opb 		SAT
f=1246
TT=1796.35
T1=1141.79
 SAT
f=1369
TT=1798.09
T1=118.47
 SAT
f=1378
TT=1798.11
T1=4.7
 SAT
f=1414
TT=1798.22
T1=15.29
 SAT (TO)
f=1405
TT=1800.05
T1=88.97
 SAT (TO)
f=1466
TT=1800.42
T1=6.28
 SAT (TO)
f=1323
TT=1800.66
T1=57.01
 SAT
f=1290
TT=1797.1
T1=1113.7
 SAT
f=1246
TT=1796.35
T1=1141.79
 ? (TO)

TT=1800.17
Bench nameBest resultsbsolo
3.1
(complete)		bsolo
3.1 cl
(complete)		bsolo
3.1 pb
(complete)		pbclasp
2009-04-24
(complete)		SAT4J Pseudo CP
2.1.1
(complete)		SAT4J Pseudo Resolution
2.1.1
(complete)		SCIPclp
SCIP 1.1.0.7 with CLP 1.8.2
(complete)		SCIPspx
SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
(complete)		wbo
1.0
(complete)
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii16c2.opb 		OPT
f=861
TT=28.066
T1=0.17
 SAT
f=861
TT=1798.05
T1=0.35
 SAT
f=861
TT=1798.05
T1=0.3
 SAT
f=861
TT=1798.05
T1=0.34
 SAT (TO)
f=861
TT=1800.03
T1=0.17
 OPT
f=861
TT=28.066
T1=5.27
 SAT (TO)
f=861
TT=1801.54
T1=981.92
 SAT
f=861
TT=1798.02
T1=807.96
 SAT
f=861
TT=1797.14
T1=534.09
 ? (TO)

TT=1800.12
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii16d1.opb 		SAT
f=1064
TT=1798.07
T1=27.38
 SAT
f=1030
TT=1798.06
T1=57.39
 SAT
f=1064
TT=1798.07
T1=27.38
 SAT
f=1118
TT=1798.05
T1=11.24
 SAT (TO)
f=1151
TT=1800.03
T1=1500.24
 SAT (TO)
f=1170
TT=1800.26
T1=694.08
 SAT (TO)
f=1157
TT=1800.66
T1=506.49
 SAT (TO)
f=976
TT=1800.33
T1=1216.44
 SAT
f=1085
TT=1798.9
T1=967.03
 ? (TO)

TT=1800.21
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii16d2.opb 		OPT
f=785
TT=45.998
T1=0.56
 SAT
f=785
TT=1798.05
T1=1.19
 SAT
f=785
TT=1798.05
T1=1.07
 SAT
f=785
TT=1798.08
T1=1.7
 SAT (TO)
f=785
TT=1800.03
T1=0.56
 OPT
f=785
TT=45.998
T1=8.1
 SAT (TO)
f=787
TT=1801.43
T1=1479.62
 SAT
f=785
TT=1798.17
T1=674.04
 SAT
f=785
TT=1796.05
T1=332.96
 ? (TO)

TT=1800.19
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii16e1.opb 		SAT
f=1112
TT=1798.4
T1=1324.92
 SAT
f=1138
TT=1798.08
T1=417.22
 SAT
f=1138
TT=1798.08
T1=327.39
 SAT (TO)
f=1121
TT=1800.18
T1=417.59
 SAT (TO)
f=1149
TT=1800.09
T1=0.97
 SAT (TO)
f=1164
TT=1800.32
T1=495.42
 SAT (TO)
f=1143
TT=1800.56
T1=139.2
 SAT (TO)
f=1105
TT=1800.22
T1=363.13
 SAT
f=1112
TT=1798.4
T1=1324.92
 ? (TO)

TT=1800.23
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii16e2.opb 		OPT
f=520
TT=6.575
T1=0.14
 OPT
f=520
TT=223.486
T1=0.18
 OPT
f=520
TT=127.767
T1=0.19
 OPT
f=520
TT=235.773
T1=0.19
 OPT
f=520
TT=13.205
T1=0.14
 OPT
f=520
TT=6.575
T1=1.26
 OPT
f=520
TT=23.037
T1=1.82
 OPT
f=520
TT=601.549
T1=333.6
 OPT
f=520
TT=1068.81
T1=747.46
 ? (TO)

TT=1800.19
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii32a1.opb 		OPT
f=444
TT=5.435
T1=0.16
 OPT
f=444
TT=11.343
T1=0.16
 OPT
f=444
TT=286.079
T1=0.17
 OPT
f=444
TT=15.33
T1=0.16
 OPT
f=444
TT=20.063
T1=0.67
 OPT
f=444
TT=5.435
T1=1.3
 OPT
f=444
TT=19.762
T1=1.21
 OPT
f=444
TT=933.834
T1=432.36
 OPT
f=444
TT=817.964
T1=397.48
 ? (TO)

TT=1800.18
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii32b1.opb 		OPT
f=191
TT=84.955
T1=1.07
 SAT
f=191
TT=1798.03
T1=170.88
 SAT
f=191
TT=1798.01
T1=64.21
 SAT
f=191
TT=1798.02
T1=637.37
 SAT (TO)
f=191
TT=1800.1
T1=1.07
 SAT (TO)
f=192
TT=1800.23
T1=201.26
 SAT (TO)
f=191
TT=1801.94
T1=13.12
 OPT
f=191
TT=59.647
T1=30.12
 OPT
f=191
TT=84.955
T1=60.07
 ? (TO)

TT=1800.26
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii32b2.opb 		OPT
f=244
TT=2.324
T1=0.34
 OPT
f=244
TT=835.76
T1=39.86
 OPT
f=244
TT=810.857
T1=90.07
 OPT
f=244
TT=511.183
T1=124.35
 OPT
f=244
TT=2.324
T1=0.34
 OPT
f=244
TT=225.727
T1=4.36
 OPT
f=244
TT=4.607
T1=2.22
 OPT
f=244
TT=184.535
T1=140.46
 OPT
f=244
TT=227.437
T1=162.37
 ? (TO)

TT=1800.14
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii32b3.opb 		OPT
f=331
TT=11.921
T1=0.31
 OPT
f=331
TT=49.496
T1=2.91
 OPT
f=331
TT=76.441
T1=1.23
 OPT
f=331
TT=488.141
T1=0.8
 OPT
f=331
TT=11.921
T1=0.31
 OPT
f=331
TT=1225.09
T1=83.43
 OPT
f=331
TT=18.013
T1=4.07
 OPT
f=331
TT=520.686
T1=200.98
 OPT
f=331
TT=570.546
T1=315.73
 ? (TO)

TT=1800.14
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii32b4.opb 		OPT
f=376
TT=1.504
T1=0.17
 OPT
f=376
TT=9.306
T1=0.17
 OPT
f=376
TT=11.361
T1=0.17
 OPT
f=376
TT=18.538
T1=0.17
 OPT
f=376
TT=1.504
T1=0.17
 OPT
f=376
TT=6.806
T1=1.27
 OPT
f=376
TT=2.578
T1=0.99
 OPT
f=376
TT=519.005
T1=376.38
 OPT
f=376
TT=666.177
T1=403.5
 ? (TO)

TT=1800.12
Bench nameBest resultsbsolo
3.1
(complete)		bsolo
3.1 cl
(complete)		bsolo
3.1 pb
(complete)		pbclasp
2009-04-24
(complete)		SAT4J Pseudo CP
2.1.1
(complete)		SAT4J Pseudo Resolution
2.1.1
(complete)		SCIPclp
SCIP 1.1.0.7 with CLP 1.8.2
(complete)		SCIPspx
SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
(complete)		wbo
1.0
(complete)
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii32c1.opb 		OPT
f=167
TT=65.225
T1=57.51
 SAT
f=167
TT=1798.04
T1=16.4
 SAT
f=167
TT=1798.06
T1=296.77
 SAT
f=167
TT=1798.07
T1=219.51
 SAT (TO)
f=167
TT=1800.04
T1=980.26
 SAT (TO)
f=181
TT=1800.25
T1=497.48
 SAT (TO)
f=178
TT=1801.17
T1=80.24
 OPT
f=167
TT=46.409
T1=34.87
 OPT
f=167
TT=65.225
T1=57.51
 ? (TO)

TT=1800.32
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii32c2.opb 		OPT
f=207
TT=203.816
T1=120.18
 SAT
f=208
TT=1798.18
T1=62.96
 SAT
f=207
TT=1798.15
T1=699.05
 SAT
f=207
TT=1798.11
T1=720.97
 SAT (TO)
f=208
TT=1800.05
T1=2.71
 SAT (TO)
f=213
TT=1800.3
T1=1616.33
 SAT (TO)
f=210
TT=1800.83
T1=222.1
 OPT
f=207
TT=164.923
T1=94.23
 OPT
f=207
TT=203.816
T1=120.18
 ? (TO)

TT=1800.34
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii32c3.opb 		OPT
f=261
TT=15.605
T1=3.05
 OPT
f=261
TT=256.581
T1=13.32
 OPT
f=261
TT=184.397
T1=10.84
 SAT
f=261
TT=1798.05
T1=22.17
 OPT
f=261
TT=15.605
T1=3.05
 SAT (TO)
f=262
TT=1800.25
T1=209.24
 OPT
f=261
TT=51.563
T1=12.46
 OPT
f=261
TT=338.565
T1=215.38
 OPT
f=261
TT=468.805
T1=144.59
 ? (TO)

TT=1800.13
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii32c4.opb 		OPT
f=736
TT=10.913
T1=0.96
 OPT
f=736
TT=306.666
T1=0.96
 SAT
f=736
TT=1798.06
T1=0.96
 OPT
f=736
TT=169.073
T1=0.97
 SAT (TO)
f=736
TT=1800.06
T1=0.97
 OPT
f=736
TT=10.913
T1=2.26
 SAT (TO)
f=736
TT=1801.26
T1=2.03
 ?

TT=1796.23

 ?

TT=1795.37

 ? (TO)

TT=1800.18
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii32d1.opb 		SAT
f=285
TT=1800.17
T1=719.21
 SAT
f=287
TT=1798.01
T1=11.82
 SAT
f=287
TT=1798.01
T1=98.93
 SAT
f=293
TT=1798.01
T1=84.8
 SAT (TO)
f=288
TT=1800.13
T1=343.27
 SAT (TO)
f=293
TT=1800.29
T1=1675.21
 SAT (TO)
f=293
TT=1800.64
T1=1688.99
 SAT
f=285
TT=1799.66
T1=902.68
 SAT (TO)
f=285
TT=1800.17
T1=719.21
 ? (TO)

TT=1800.09
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii32d2.opb 		SAT
f=372
TT=1798.02
T1=4.45
 SAT
f=372
TT=1798.01
T1=87.13
 SAT
f=372
TT=1798.02
T1=72.6
 SAT
f=372
TT=1798.02
T1=1433.05
 SAT (TO)
f=372
TT=1800.04
T1=4.45
 SAT (TO)
f=372
TT=1800.32
T1=1559.68
 SAT (TO)
f=372
TT=1801.11
T1=29.97
 SAT (TO)
f=372
TT=1800.18
T1=1242.32
 SAT
f=372
TT=1798.99
T1=890.66
 ? (TO)

TT=1800.17
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii32d3.opb 		SAT
f=802
TT=1798.04
T1=0.56
 SAT
f=802
TT=1798.07
T1=21.88
 SAT
f=802
TT=1798.06
T1=8
 SAT
f=802
TT=1798.04
T1=85.76
 SAT (TO)
f=802
TT=1800.06
T1=0.56
 SAT (TO)
f=802
TT=1800.47
T1=30.76
 SAT (TO)
f=802
TT=1800.76
T1=221.79
 ? (TO)

TT=1802.06

 ?

TT=1796.83

 ? (TO)

TT=1800.08
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii32e1.opb 		OPT
f=162
TT=94.996
T1=19.19
 SAT
f=162
TT=1798.02
T1=46.22
 SAT
f=162
TT=1798.06
T1=62.22
 SAT
f=162
TT=1798.03
T1=76.06
 SAT (TO)
f=163
TT=1800.13
T1=3.16
 SAT (TO)
f=167
TT=1800.37
T1=582.18
 SAT (TO)
f=163
TT=1800.84
T1=178.17
 OPT
f=162
TT=110.691
T1=21.43
 OPT
f=162
TT=94.996
T1=19.19
 ? (TO)

TT=1800.31
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii32e2.opb 		OPT
f=235
TT=229.873
T1=0.55
 SAT
f=235
TT=1798.01
T1=11.52
 SAT
f=235
TT=1798.01
T1=5.96
 SAT
f=235
TT=1798.02
T1=3.42
 SAT (TO)
f=235
TT=1800.04
T1=0.55
 SAT (TO)
f=235
TT=1800.25
T1=10.06
 SAT (TO)
f=235
TT=1801.29
T1=7.64
 OPT
f=235
TT=332.217
T1=65.76
 OPT
f=235
TT=229.873
T1=75.61
 ? (TO)

TT=1800.18
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii32e3.opb 		OPT
f=310
TT=35.278
T1=0.07
 OPT
f=310
TT=86.377
T1=3.83
 OPT
f=310
TT=540.787
T1=1.91
 OPT
f=310
TT=364.054
T1=1.91
 OPT
f=310
TT=35.278
T1=0.07
 OPT
f=310
TT=1025.69
T1=115.31
 OPT
f=310
TT=85.093
T1=2.86
 OPT
f=310
TT=443.733
T1=120.07
 OPT
f=310
TT=410.386
T1=199.84
 ? (TO)

TT=1800.18
Bench nameBest resultsbsolo
3.1
(complete)		bsolo
3.1 cl
(complete)		bsolo
3.1 pb
(complete)		pbclasp
2009-04-24
(complete)		SAT4J Pseudo CP
2.1.1
(complete)		SAT4J Pseudo Resolution
2.1.1
(complete)		SCIPclp
SCIP 1.1.0.7 with CLP 1.8.2
(complete)		SCIPspx
SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
(complete)		wbo
1.0
(complete)
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii32e4.opb 		OPT
f=364
TT=608.631
T1=1.81
 OPT
f=364
TT=112.264
T1=22.98
 SAT
f=364
TT=1798.02
T1=4.1
 OPT
f=364
TT=784.666
T1=1.81
 OPT
f=364
TT=608.631
T1=6.28
 SAT (TO)
f=364
TT=1800.29
T1=339.69
 SAT (TO)
f=364
TT=1800.69
T1=245.71
 OPT
f=364
TT=493.974
T1=230.61
 OPT
f=364
TT=725.119
T1=200.25
 ? (TO)

TT=1800.22
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii32e5.opb 		OPT
f=503
TT=40.465
T1=4.17
 OPT
f=503
TT=183.286
T1=11.4
 OPT
f=503
TT=655.161
T1=11.34
 SAT
f=503
TT=1798.02
T1=63.88
 OPT
f=503
TT=40.465
T1=4.17
 SAT (TO)
f=503
TT=1800.23
T1=1154.12
 OPT
f=503
TT=83.298
T1=10.3
 SAT
f=504
TT=1799.29
T1=581.27
 SAT
f=503
TT=1797.33
T1=516.82
 ? (TO)

TT=1800.11
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii8a1.opb 		OPT
f=54
TT=0.146
T1=0.01
 OPT
f=54
TT=0.999
T1=0.03
 OPT
f=54
TT=1.082
T1=0.02
 OPT
f=54
TT=0.987
T1=0.13
 OPT
f=54
TT=0.146
T1=0.01
 OPT
f=54
TT=4.106
T1=0.97
 OPT
f=54
TT=2.104
T1=0.65
 OPT
f=54
TT=1.431
T1=1.02
 OPT
f=54
TT=2.434
T1=0.96
 ? (TO)

TT=1800.24
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii8a2.opb 		OPT
f=139
TT=91.489
T1=30.77
 SAT
f=144
TT=1798.01
T1=0.31
 SAT
f=145
TT=1798.1
T1=0.01
 SAT
f=143
TT=1799.89
T1=150.79
 SAT (TO)
f=148
TT=1800.08
T1=746.26
 SAT (TO)
f=145
TT=1800.37
T1=220.15
 SAT (TO)
f=146
TT=1801.14
T1=4.07
 OPT
f=139
TT=121.911
T1=15.53
 OPT
f=139
TT=91.489
T1=30.77
 ? (TO)

TT=1800.33
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii8a3.opb 		OPT
f=191
TT=471.071
T1=77.62
 SAT
f=198
TT=1798.01
T1=1593.05
 SAT
f=203
TT=1798.01
T1=0.02
 SAT
f=203
TT=1798.03
T1=0.02
 SAT (TO)
f=225
TT=1800.11
T1=0.43
 SAT (TO)
f=194
TT=1800.21
T1=3.21
 SAT (TO)
f=217
TT=1801.17
T1=0.6
 OPT
f=191
TT=692.199
T1=46.53
 OPT
f=191
TT=471.071
T1=77.62
 ? (TO)

TT=1800.22
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii8a4.opb 		OPT
f=283
TT=1008.46
T1=137.22
 SAT
f=307
TT=1798.01
T1=1049.65
 SAT
f=322
TT=1798.01
T1=1.32
 SAT
f=315
TT=1798.01
T1=192.88
 SAT (TO)
f=341
TT=1800.1
T1=1.49
 SAT (TO)
f=336
TT=1800.24
T1=33.89
 SAT (TO)
f=318
TT=1800.65
T1=1.81
 OPT
f=283
TT=612.18
T1=67.35
 OPT
f=283
TT=1008.46
T1=137.22
 ? (TO)

TT=1800.21
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii8b1.opb 		OPT
f=191
TT=13.846
T1=4.66
 SAT
f=219
TT=1798.01
T1=595.02
 SAT
f=221
TT=1798.01
T1=0.02
 SAT
f=216
TT=1798.02
T1=659.9
 SAT (TO)
f=271
TT=1800.1
T1=0.17
 SAT (TO)
f=221
TT=1800.56
T1=0.65
 SAT (TO)
f=214
TT=1801.16
T1=0.64
 OPT
f=191
TT=15.069
T1=4.82
 OPT
f=191
TT=13.846
T1=4.66
 ? (TO)

TT=1800.27
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii8b2.opb 		SAT
f=379
TT=1799.75
T1=252.38
 SAT
f=412
TT=1798.02
T1=0.05
 SAT
f=412
TT=1798.02
T1=0.05
 SAT
f=412
TT=1798.09
T1=0.05
 SAT (TO)
f=505
TT=1800.12
T1=0.56
 SAT (TO)
f=411
TT=1800.25
T1=1.53
 SAT (TO)
f=412
TT=1800.73
T1=0.85
 OPT
f=379
TT=1364.69
T1=310.83
 SAT
f=379
TT=1799.75
T1=252.38
 ? (TO)

TT=1800.17
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii8b3.opb 		SAT
f=507
TT=1797.83
T1=248.48
 SAT
f=587
TT=1798.03
T1=265.87
 SAT
f=616
TT=1798.04
T1=0.1
 SAT
f=596
TT=1798.22
T1=3.01
 SAT (TO)
f=731
TT=1800.03
T1=411.98
 SAT (TO)
f=551
TT=1800.3
T1=64.29
 SAT (TO)
f=547
TT=1800.67
T1=2.38
 OPT
f=507
TT=1449.28
T1=120.18
 SAT
f=507
TT=1797.83
T1=248.48
 ? (TO)

TT=1800.3
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii8b4.opb 		SAT
f=654
TT=1796.35
T1=288.85
 SAT
f=796
TT=1798.05
T1=0.13
 SAT
f=776
TT=1798.04
T1=189.99
 SAT
f=739
TT=1798.05
T1=1242.36
 SAT (TO)
f=923
TT=1800.03
T1=0.16
 SAT (TO)
f=708
TT=1800.31
T1=1.51
 SAT (TO)
f=704
TT=1800.61
T1=1.37
 SAT
f=654
TT=1795.94
T1=246.71
 SAT
f=654
TT=1796.35
T1=288.85
 ? (TO)

TT=1800.26
Bench nameBest resultsbsolo
3.1
(complete)		bsolo
3.1 cl
(complete)		bsolo
3.1 pb
(complete)		pbclasp
2009-04-24
(complete)		SAT4J Pseudo CP
2.1.1
(complete)		SAT4J Pseudo Resolution
2.1.1
(complete)		SCIPclp
SCIP 1.1.0.7 with CLP 1.8.2
(complete)		SCIPspx
SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
(complete)		wbo
1.0
(complete)
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii8c1.opb 		OPT
f=302
TT=392.34
T1=123.32
 SAT
f=315
TT=1798.01
T1=0.04
 SAT
f=315
TT=1798.01
T1=0.04
 SAT
f=315
TT=1798.12
T1=0.04
 SAT (TO)
f=401
TT=1800.12
T1=0.34
 SAT (TO)
f=315
TT=1800.2
T1=0.8
 SAT (TO)
f=315
TT=1800.95
T1=0.78
 OPT
f=302
TT=266.481
T1=115.87
 OPT
f=302
TT=392.34
T1=123.32
 ? (TO)

TT=1800.36
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii8c2.opb 		SAT
f=525
TT=1796.98
T1=907.53
 SAT
f=638
TT=1798.03
T1=1054.74
 SAT
f=647
TT=1798.04
T1=0.11
 SAT (TO)
f=647
TT=1800.14
T1=0.11
 SAT (TO)
f=700
TT=1800.06
T1=0.28
 SAT (TO)
f=583
TT=1800.34
T1=4.36
 SAT (TO)
f=766
TT=1800.71
T1=1.49
 SAT
f=525
TT=1799.2
T1=490.03
 SAT
f=525
TT=1796.98
T1=907.53
 ? (TO)

TT=1800.23
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii8d1.opb 		SAT
f=343
TT=1800.17
T1=1556.24
 SAT
f=374
TT=1798.01
T1=0.04
 SAT
f=374
TT=1798.01
T1=0.06
 SAT
f=374
TT=1798.12
T1=0.04
 SAT (TO)
f=451
TT=1800.11
T1=68.52
 SAT (TO)
f=397
TT=1800.25
T1=2.51
 SAT (TO)
f=419
TT=1800.73
T1=1.97
 SAT
f=343
TT=1799.85
T1=654.59
 SAT (TO)
f=343
TT=1800.17
T1=1556.24
 ? (MO)

TT=1785.43
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii8d2.opb 		SAT
f=540
TT=1799.2
T1=324.66
 SAT
f=589
TT=1798.03
T1=0.1
 SAT
f=589
TT=1798.03
T1=0.09
 SAT (TO)
f=589
TT=1800.11
T1=0.1
 SAT (TO)
f=707
TT=1800.01
T1=18.79
 SAT (TO)
f=615
TT=1800.28
T1=5.35
 SAT (TO)
f=622
TT=1800.75
T1=1.25
 SAT (TO)
f=540
TT=1800.16
T1=860.04
 SAT
f=540
TT=1799.2
T1=324.66
 ? (TO)

TT=1800.32
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii8e1.opb 		SAT
f=350
TT=1800.13
T1=300.71
 SAT
f=381
TT=1798.01
T1=36.83
 SAT
f=393
TT=1798.02
T1=0.09
 SAT
f=407
TT=1798.01
T1=0.76
 SAT (TO)
f=426
TT=1800.11
T1=87.79
 SAT (TO)
f=419
TT=1800.3
T1=414.86
 SAT (TO)
f=424
TT=1800.63
T1=216.2
 SAT (TO)
f=343
TT=1800.1
T1=834.57
 SAT (TO)
f=350
TT=1800.13
T1=300.71
 ? (MO)

TT=1457.73
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii8e2.opb 		SAT
f=494
TT=1798.24
T1=204.69
 SAT
f=633
TT=1798.03
T1=0.09
 SAT
f=633
TT=1798.03
T1=0.1
 SAT
f=633
TT=1798.1
T1=0.09
 SAT (TO)
f=700
TT=1800.02
T1=0.14
 SAT (TO)
f=617
TT=1800.35
T1=1728.9
 SAT (TO)
f=545
TT=1800.78
T1=1.34
 SAT
f=494
TT=1795.72
T1=568.13
 SAT
f=494
TT=1798.24
T1=204.69
 ? (TO)

TT=1800.34
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-jnh12.opb 		OPT
f=94
TT=0.01
T1=0.01
 OPT
f=94
TT=0.011
T1=0.01
 OPT
f=94
TT=0.01
T1=0.01
 OPT
f=94
TT=0.011
T1=0.01
 OPT
f=94
TT=0.028
T1=0.02
 OPT
f=94
TT=1.15
T1=0.62
 OPT
f=94
TT=0.833
T1=0.56
 OPT
f=94
TT=0.129
T1=0.11
 OPT
f=94
TT=0.129
T1=0.11
 ? (TO)

TT=1800.26
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-jnh17.opb 		OPT
f=95
TT=0.032
T1=0.02
 OPT
f=95
TT=0.826
T1=0.28
 OPT
f=95
TT=0.762
T1=0.25
 OPT
f=95
TT=0.767
T1=0.26
 OPT
f=95
TT=0.032
T1=0.02
 OPT
f=95
TT=2.311
T1=1.19
 OPT
f=95
TT=1.238
T1=0.78
 OPT
f=95
TT=10.108
T1=5.46
 OPT
f=95
TT=12.236
T1=2.37
 ? (TO)

TT=1800.19
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-jnh1.opb 		OPT
f=92
TT=0.056
T1=0.03
 OPT
f=92
TT=10.451
T1=2.42
 OPT
f=92
TT=10.438
T1=2.42
 OPT
f=92
TT=9.917
T1=2.43
 OPT
f=92
TT=0.056
T1=0.03
 OPT
f=92
TT=4.093
T1=1.53
 OPT
f=92
TT=1.49
T1=0.89
 OPT
f=92
TT=30.456
T1=27.67
 OPT
f=92
TT=40.626
T1=39.42
 ? (TO)

TT=1800.26
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-jnh201.opb 		OPT
f=84
TT=5.587
T1=3.95
 OPT
f=84
TT=358.505
T1=266.91
 OPT
f=84
TT=597.685
T1=537.97
 OPT
f=84
TT=726.089
T1=374.27
 OPT
f=84
TT=5.587
T1=3.95
 SAT (TO)
f=85
TT=1800.21
T1=1683.19
 OPT
f=84
TT=52.832
T1=47.57
 OPT
f=84
TT=81.386
T1=70.44
 OPT
f=84
TT=94.976
T1=68.5
 ? (TO)

TT=1800.25
Bench nameBest resultsbsolo
3.1
(complete)		bsolo
3.1 cl
(complete)		bsolo
3.1 pb
(complete)		pbclasp
2009-04-24
(complete)		SAT4J Pseudo CP
2.1.1
(complete)		SAT4J Pseudo Resolution
2.1.1
(complete)		SCIPclp
SCIP 1.1.0.7 with CLP 1.8.2
(complete)		SCIPspx
SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
(complete)		wbo
1.0
(complete)
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-jnh204.opb 		OPT
f=93
TT=0.039
T1=0.03
 OPT
f=93
TT=13.501
T1=7.67
 OPT
f=93
TT=14.723
T1=8.05
 OPT
f=93
TT=14.534
T1=8.55
 OPT
f=93
TT=0.039
T1=0.03
 OPT
f=93
TT=2.195
T1=1.25
 OPT
f=93
TT=1.322
T1=0.83
 OPT
f=93
TT=41.987
T1=41.32
 OPT
f=93
TT=59.453
T1=52.43
 ? (TO)

TT=1800.19
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-jnh205.opb 		OPT
f=94
TT=0.032
T1=0.02
 OPT
f=94
TT=2.456
T1=0.11
 OPT
f=94
TT=2.451
T1=0.11
 OPT
f=94
TT=2.453
T1=0.11
 OPT
f=94
TT=0.032
T1=0.02
 OPT
f=94
TT=1.671
T1=0.94
 OPT
f=94
TT=1.108
T1=0.72
 OPT
f=94
TT=7.173
T1=7.15
 OPT
f=94
TT=8.443
T1=4.1
 ? (TO)

TT=1800.23
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-jnh207.opb 		OPT
f=95
TT=0.029
T1=0.02
 OPT
f=95
TT=1.463
T1=0.18
 OPT
f=95
TT=1.431
T1=0.16
 OPT
f=95
TT=1.499
T1=0.16
 OPT
f=95
TT=0.029
T1=0.02
 OPT
f=95
TT=1.506
T1=0.9
 OPT
f=95
TT=1.078
T1=0.68
 OPT
f=95
TT=31.4
T1=31.16
 OPT
f=95
TT=33.415
T1=28.29
 ? (TO)

TT=1800.28
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-jnh209.opb 		OPT
f=93
TT=0.038
T1=0.02
 OPT
f=93
TT=8.925
T1=1.45
 OPT
f=93
TT=8.889
T1=1.45
 OPT
f=93
TT=8.933
T1=1.46
 OPT
f=93
TT=0.038
T1=0.02
 OPT
f=93
TT=3.404
T1=0.94
 OPT
f=93
TT=1.376
T1=0.72
 OPT
f=93
TT=26.445
T1=23.39
 OPT
f=93
TT=37.671
T1=36.27
 ? (TO)

TT=1800.29
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-jnh210.opb 		OPT
f=88
TT=0.097
T1=0.04
 OPT
f=88
TT=3.343
T1=2.77
 OPT
f=88
TT=3.34
T1=2.76
 OPT
f=88
TT=3.634
T1=2.78
 OPT
f=88
TT=0.097
T1=0.04
 OPT
f=88
TT=5.328
T1=1.9
 OPT
f=88
TT=1.851
T1=1.09
 OPT
f=88
TT=2.774
T1=0.16
 OPT
f=88
TT=4.162
T1=3.82
 ? (TO)

TT=1800.27
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-jnh212.opb 		OPT
f=97
TT=0.038
T1=0.02
 OPT
f=97
TT=4.305
T1=0.65
 OPT
f=97
TT=3.996
T1=0.59
 OPT
f=97
TT=5.433
T1=0.72
 OPT
f=97
TT=0.038
T1=0.02
 OPT
f=97
TT=1.773
T1=0.88
 OPT
f=97
TT=1.232
T1=0.73
 OPT
f=97
TT=39.298
T1=26.07
 OPT
f=97
TT=49.071
T1=46.92
 ? (TO)

TT=1800.3
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-jnh213.opb 		OPT
f=92
TT=0.032
T1=0.02
 OPT
f=92
TT=0.262
T1=0.12
 OPT
f=92
TT=0.246
T1=0.12
 OPT
f=92
TT=0.248
T1=0.12
 OPT
f=92
TT=0.032
T1=0.02
 OPT
f=92
TT=2.25
T1=0.92
 OPT
f=92
TT=1.197
T1=0.74
 OPT
f=92
TT=1.77
T1=1.24
 OPT
f=92
TT=2.737
T1=0.17
 ? (TO)

TT=1800.28
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-jnh217.opb 		OPT
f=89
TT=0.208
T1=0.09
 OPT
f=89
TT=108.225
T1=97.86
 OPT
f=89
TT=91.804
T1=35.57
 OPT
f=89
TT=85.395
T1=74.87
 OPT
f=89
TT=0.208
T1=0.09
 OPT
f=89
TT=17.681
T1=13.33
 OPT
f=89
TT=2.091
T1=1.24
 OPT
f=89
TT=92.482
T1=83.02
 OPT
f=89
TT=77.826
T1=70.38
 ? (TO)

TT=1800.26
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-jnh218.opb 		OPT
f=90
TT=0.035
T1=0.02
 OPT
f=90
TT=1.457
T1=1.03
 OPT
f=90
TT=1.445
T1=1.03
 OPT
f=90
TT=1.559
T1=1.1
 OPT
f=90
TT=0.035
T1=0.02
 OPT
f=90
TT=3.364
T1=1.67
 OPT
f=90
TT=1.352
T1=0.83
 OPT
f=90
TT=7.49
T1=7.26
 OPT
f=90
TT=15.679
T1=10.07
 ? (TO)

TT=1800.25
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-jnh220.opb 		OPT
f=94
TT=0.04
T1=0.03
 OPT
f=94
TT=4.304
T1=0.29
 OPT
f=94
TT=8.301
T1=0.26
 OPT
f=94
TT=4.087
T1=0.3
 OPT
f=94
TT=0.04
T1=0.03
 OPT
f=94
TT=2.135
T1=1.28
 OPT
f=94
TT=1.521
T1=0.85
 OPT
f=94
TT=40.989
T1=37.77
 OPT
f=94
TT=58.703
T1=57.61
 ? (TO)

TT=1800.24
Bench nameBest resultsbsolo
3.1
(complete)		bsolo
3.1 cl
(complete)		bsolo
3.1 pb
(complete)		pbclasp
2009-04-24
(complete)		SAT4J Pseudo CP
2.1.1
(complete)		SAT4J Pseudo Resolution
2.1.1
(complete)		SCIPclp
SCIP 1.1.0.7 with CLP 1.8.2
(complete)		SCIPspx
SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
(complete)		wbo
1.0
(complete)
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-jnh301.opb 		OPT
f=95
TT=0.037
T1=0.02
 OPT
f=95
TT=1.837
T1=0.14
 OPT
f=95
TT=1.828
T1=0.14
 OPT
f=95
TT=1.84
T1=0.14
 OPT
f=95
TT=0.037
T1=0.02
 OPT
f=95
TT=2.581
T1=1.21
 OPT
f=95
TT=1.343
T1=0.83
 OPT
f=95
TT=31.051
T1=14.39
 OPT
f=95
TT=41.895
T1=15.73
 ? (TO)

TT=1800.25
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-jnh7.opb 		OPT
f=89
TT=0.036
T1=0.02
 OPT
f=89
TT=1.306
T1=0.8
 OPT
f=89
TT=1.303
T1=0.8
 OPT
f=89
TT=1.305
T1=0.8
 OPT
f=89
TT=0.036
T1=0.02
 OPT
f=89
TT=2.739
T1=0.76
 OPT
f=89
TT=1.264
T1=0.76
 OPT
f=89
TT=0.147
T1=0.13
 OPT
f=89
TT=0.168
T1=0.15
 ? (TO)

TT=1800.19
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-par16-1-c.opb 		OPT
f=317
TT=0.494
T1=0.27
 OPT
f=317
TT=5.251
T1=0.41
 OPT
f=317
TT=3.164
T1=0.27
 OPT
f=317
TT=5.737
T1=1.35
 OPT
f=317
TT=0.494
T1=0.46
 OPT
f=317
TT=5.051
T1=2.94
 OPT
f=317
TT=3.14
T1=1.11
 OPT
f=317
TT=638.905
T1=623.97
 OPT
f=317
TT=1162.4
T1=1115.89
 OPT
f=317
TT=17.096
T1=17.11
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par16-1.opb 		OPT
f=1015
TT=0.792
T1=0.61
 OPT
f=1015
TT=6.129
T1=2.61
 OPT
f=1015
TT=3.143
T1=0.61
 OPT
f=1015
TT=4.496
T1=1.01
 OPT
f=1015
TT=0.792
T1=0.75
 OPT
f=1015
TT=8.789
T1=3.27
 OPT
f=1015
TT=4.979
T1=1.41
 OPT
f=1015
TT=336.321
T1=54.3
 OPT
f=1015
TT=976.402
T1=978.22
 ? (TO)

TT=1800.23
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-par16-2-c.opb 		OPT
f=349
TT=0.707
T1=0.42
 OPT
f=349
TT=4.299
T1=0.45
 OPT
f=349
TT=4.529
T1=0.42
 OPT
f=349
TT=6.97
T1=0.73
 OPT
f=349
TT=0.707
T1=0.61
 OPT
f=349
TT=5.995
T1=1.94
 OPT
f=349
TT=3.338
T1=1.24
 OPT
f=349
TT=1000.13
T1=927.59
 OPT
f=349
TT=678.345
T1=651.58
 OPT
f=349
TT=32.911
T1=32.92
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par16-2.opb 		OPT
f=1015
TT=1.46
T1=1.37
 OPT
f=1015
TT=4.98
T1=2.42
 OPT
f=1015
TT=5.279
T1=1.62
 OPT
f=1015
TT=4.96
T1=3.03
 OPT
f=1015
TT=1.46
T1=1.37
 OPT
f=1015
TT=10.028
T1=4.89
 OPT
f=1015
TT=5.713
T1=1.79
 OPT
f=1015
TT=1658.27
T1=1658.8
 ? (TO)

TT=1800.24

 ? (TO)

TT=1800.28
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-par16-3-c.opb 		OPT
f=334
TT=0.881
T1=0.52
 OPT
f=334
TT=5.476
T1=1.76
 OPT
f=334
TT=3.041
T1=1.76
 OPT
f=334
TT=5.608
T1=2.85
 OPT
f=334
TT=0.881
T1=0.52
 OPT
f=334
TT=5.655
T1=2.66
 OPT
f=334
TT=3.066
T1=1.1
 OPT
f=334
TT=738.441
T1=718.64
 OPT
f=334
TT=1789.86
T1=1382.88
 ? (TO)

TT=1800.25
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par16-3.opb 		OPT
f=1015
TT=0.78
T1=0.74
 OPT
f=1015
TT=7.203
T1=1.41
 OPT
f=1015
TT=3.292
T1=2.19
 OPT
f=1015
TT=6.388
T1=6.35
 OPT
f=1015
TT=0.78
T1=0.74
 OPT
f=1015
TT=8.357
T1=4.57
 OPT
f=1015
TT=4.51
T1=2.15
 OPT
f=1015
TT=636.139
T1=111
 ? (TO)

TT=1800.22

 OPT
f=1015
TT=1303.37
T1=1303.74
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-par16-4-c.opb 		OPT
f=324
TT=0.339
T1=0.22
 OPT
f=324
TT=2.139
T1=0.45
 OPT
f=324
TT=2.032
T1=0.24
 OPT
f=324
TT=2.187
T1=0.31
 OPT
f=324
TT=0.339
T1=0.22
 OPT
f=324
TT=3.883
T1=1.87
 OPT
f=324
TT=2.29
T1=1.15
 OPT
f=324
TT=1115.72
T1=1115.49
 OPT
f=324
TT=688.624
T1=406.05
 ? (TO)

TT=1800.35
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par16-4.opb 		OPT
f=1015
TT=0.618
T1=0.54
 OPT
f=1015
TT=1.548
T1=1.29
 OPT
f=1015
TT=1.043
T1=0.69
 OPT
f=1015
TT=1.873
T1=1.49
 OPT
f=1015
TT=0.618
T1=0.54
 OPT
f=1015
TT=8.775
T1=6.07
 OPT
f=1015
TT=3.696
T1=1.38
 OPT
f=1015
TT=603.871
T1=601.97
 OPT
f=1015
TT=1797.81
T1=1798.34
 OPT
f=1015
TT=248.683
T1=248.93
Bench nameBest resultsbsolo
3.1
(complete)		bsolo
3.1 cl
(complete)		bsolo
3.1 pb
(complete)		pbclasp
2009-04-24
(complete)		SAT4J Pseudo CP
2.1.1
(complete)		SAT4J Pseudo Resolution
2.1.1
(complete)		SCIPclp
SCIP 1.1.0.7 with CLP 1.8.2
(complete)		SCIPspx
SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
(complete)		wbo
1.0
(complete)
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-par16-5-c.opb 		OPT
f=341
TT=0.496
T1=0.39
 OPT
f=341
TT=4.995
T1=4.61
 OPT
f=341
TT=3.037
T1=1.57
 OPT
f=341
TT=10.21
T1=3.1
 OPT
f=341
TT=0.496
T1=0.39
 OPT
f=341
TT=4.963
T1=1.28
 OPT
f=341
TT=2.697
T1=1.69
 OPT
f=341
TT=358.242
T1=257.04
 OPT
f=341
TT=975.513
T1=528.49
 OPT
f=341
TT=285.076
T1=285.14
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par16-5.opb 		OPT
f=1015
TT=0.879
T1=0.81
 OPT
f=1015
TT=3.814
T1=2.37
 OPT
f=1015
TT=1.837
T1=1.46
 OPT
f=1015
TT=3.434
T1=2.04
 OPT
f=1015
TT=0.879
T1=0.81
 OPT
f=1015
TT=7.731
T1=4.32
 OPT
f=1015
TT=4.935
T1=2.12
 OPT
f=1015
TT=368.089
T1=164.56
 OPT
f=1015
TT=944.091
T1=875.73
 OPT
f=1015
TT=245.595
T1=245.76
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-par32-1-c.opb



?

TT=1798.01

 ?

TT=1798.01

 ?

TT=1798.01

 ? (TO)

TT=1800.11

 ? (TO)

TT=1800.46

 ? (TO)

TT=1800.42

 ?

TT=1795.12

 ?

TT=1796.54

 ? (TO)

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



?

TT=1798.01

 ?

TT=1798.01

 ?

TT=1798.01

 ? (TO)

TT=1800.12

 ? (TO)

TT=1800.4

 ? (TO)

TT=1800.38

 ?

TT=1798.38

 ?

TT=1797.86

 ? (TO)

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



?

TT=1798

 ?

TT=1798

 ?

TT=1798.01

 ? (TO)

TT=1800.08

 ? (TO)

TT=1800.46

 ? (TO)

TT=1800.46

 ?

TT=1794.59

 ?

TT=1796.13

 ? (TO)

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



?

TT=1798.01

 ?

TT=1798

 ?

TT=1798

 ? (TO)

TT=1800.12

 ? (TO)

TT=1800.37

 ? (TO)

TT=1800.55

 ?

TT=1799.98

 ?

TT=1797.7

 ? (TO)

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



?

TT=1798

 ?

TT=1798.01

 ?

TT=1798

 ? (TO)

TT=1800.13

 ? (TO)

TT=1800.57

 ? (TO)

TT=1800.56

 ?

TT=1795.01

 ?

TT=1796.23

 ? (TO)

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



?

TT=1798.01

 ?

TT=1798

 ?

TT=1798

 ? (TO)

TT=1800.08

 ? (TO)

TT=1800.33

 ? (TO)

TT=1800.28

 ? (TO)

TT=1800.08

 ?

TT=1797.2

 ? (TO)

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



?

TT=1798.01

 ?

TT=1798.01

 ?

TT=1798.01

 ? (TO)

TT=1800.1

 ? (TO)

TT=1800.48

 ? (TO)

TT=1800.49

 ?

TT=1795.02

 ?

TT=1797.21

 ? (TO)

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



?

TT=1798

 ?

TT=1798.01

 ?

TT=1798.01

 ? (TO)

TT=1800.07

 ? (TO)

TT=1800.47

 ? (TO)

TT=1800.44

 ?

TT=1798.28

 ?

TT=1796.78

 ? (TO)

TT=1800.17
Bench nameBest resultsbsolo
3.1
(complete)		bsolo
3.1 cl
(complete)		bsolo
3.1 pb
(complete)		pbclasp
2009-04-24
(complete)		SAT4J Pseudo CP
2.1.1
(complete)		SAT4J Pseudo Resolution
2.1.1
(complete)		SCIPclp
SCIP 1.1.0.7 with CLP 1.8.2
(complete)		SCIPspx
SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
(complete)		wbo
1.0
(complete)
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-par32-5-c.opb



?

TT=1798.01

 ?

TT=1798.01

 ?

TT=1798

 ? (TO)

TT=1800.12

 ? (TO)

TT=1800.5

 ? (TO)

TT=1800.42

 ?

TT=1794.85

 ?

TT=1796.53

 ? (TO)

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



?

TT=1798.01

 ?

TT=1798

 ?

TT=1798.01

 ? (TO)

TT=1800.12

 ? (TO)

TT=1800.39

 ? (TO)

TT=1800.42

 ?

TT=1798.01

 ?

TT=1797.85

 ? (TO)

TT=1800.18
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-ssa0432-003.opb 		UNSAT

TT=0.016

 UNSAT

TT=0.017

 UNSAT

TT=0.016

 UNSAT

TT=0.017

 UNSAT

TT=0.035

 UNSAT

TT=1.091

 UNSAT

TT=1.003

 UNSAT

TT=0.256

 UNSAT

TT=0.27

 UNSAT

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

TT=0.084

 UNSAT

TT=0.088

 UNSAT

TT=0.084

 UNSAT

TT=0.088

 UNSAT

TT=0.087

 UNSAT

TT=2.373

 UNSAT

TT=2.018

 UNSAT

TT=30.818

 UNSAT

TT=49.545

 UNSAT

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

TT=0.073

 UNSAT

TT=0.083

 UNSAT

TT=0.073

 UNSAT

TT=0.083

 UNSAT

TT=0.08

 UNSAT

TT=2.298

 UNSAT

TT=1.709

 UNSAT

TT=23.629

 UNSAT

TT=28.906

 UNSAT

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

TT=0.236

 UNSAT

TT=0.234

 UNSAT

TT=0.248

 UNSAT

TT=0.236

 UNSAT

TT=0.654

 UNSAT

TT=3.398

 UNSAT

TT=3.202

 UNSAT

TT=2.021

 UNSAT

TT=1.955

 UNSAT

TT=926.379
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-ssa7552-038.opb 		OPT
f=1448
TT=1.088
T1=0.07
 SAT
f=1448
TT=1798
T1=0.07
 SAT
f=1448
TT=1798
T1=0.07
 OPT
f=1448
TT=1.088
T1=0.07
 SAT (TO)
f=1448
TT=1800.09
T1=0.07
 SAT (TO)
f=1448
TT=1800.37
T1=1.12
 SAT (TO)
f=1449
TT=1800.88
T1=1.33
 OPT
f=1448
TT=15.042
T1=6.18
 OPT
f=1448
TT=41.221
T1=10.62
 ? (MO)

TT=1487.64
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-ssa7552-158.opb 		OPT
f=1327
TT=0.065
T1=0.04
 SAT
f=1327
TT=1798
T1=0.04
 SAT
f=1327
TT=1798
T1=0.04
 OPT
f=1327
TT=0.065
T1=0.04
 SAT (TO)
f=1327
TT=1800.01
T1=0.06
 SAT (TO)
f=1327
TT=1800.39
T1=1.12
 SAT (TO)
f=1327
TT=1801
T1=1.06
 OPT
f=1327
TT=0.99
T1=0.92
 OPT
f=1327
TT=0.587
T1=0.51
 OPT
f=1327
TT=31.63
T1=32.09
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-ssa7552-159.opb 		OPT
f=1327
TT=0.097
T1=0.04
 SAT
f=1327
TT=1798
T1=0.04
 SAT
f=1327
TT=1798
T1=0.04
 OPT
f=1327
TT=0.097
T1=0.04
 SAT (TO)
f=1327
TT=1800.1
T1=0.06
 SAT (TO)
f=1327
TT=1800.35
T1=1.26
 SAT (TO)
f=1327
TT=1800.81
T1=1.06
 OPT
f=1327
TT=2.751
T1=2.63
 OPT
f=1327
TT=4.014
T1=2.98
 OPT
f=1327
TT=31.75
T1=31.88
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-ssa7552-160.opb 		OPT
f=1359
TT=1.723
T1=0.04
 SAT
f=1359
TT=1798
T1=0.04
 SAT
f=1359
TT=1798
T1=0.04
 OPT
f=1359
TT=1.723
T1=0.04
 SAT (TO)
f=1359
TT=1800.02
T1=0.06
 SAT (TO)
f=1359
TT=1800.37
T1=1.07
 SAT (TO)
f=1359
TT=1800.88
T1=1.06
 OPT
f=1359
TT=3.618
T1=2.47
 OPT
f=1359
TT=9.924
T1=4.55
 ? (MO)

TT=1433.98



Statisticsbsolo
3.1
(complete)		bsolo
3.1 cl
(complete)		bsolo
3.1 pb
(complete)		pbclasp
2009-04-24
(complete)		SAT4J Pseudo CP
2.1.1
(complete)		SAT4J Pseudo Resolution
2.1.1
(complete)		SCIPclp
SCIP 1.1.0.7 with CLP 1.8.2
(complete)		SCIPspx
SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
(complete)		wbo
1.0
(complete)
Number of times the solver is able to give the best known answer08282807979010018
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)		040939600220