PB'06 evaluation: results by benchmark

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

This page displays the results of the different solvers for each benchmark for category optimisation, small integers (OPT-SMALLINT), 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
T1=...Time to get the best model (T1): this is the wall clock time (in seconds) ellapsed when the solver found its best model. This time is obtained from the 'o lines'. It is useful to compare both complete and incomplete solvers. It doesn't take into account the time to prove optimality of the solution.
Remember that CPU time and wall clock time are two very different notions. The CPU time represents the time during which the instructions of the solver were executed by the processor. The wall clock time represents how much time ellapsed on the clock. For a same event, the CPU time may be either smaller or greater than the wall clock time depending on the number of threads of execution and the number of processors.

Meaning of some abbreviations:

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:
absconPseudo 1
bsolo 2006/05
glpPB 0.2
minisat+ 1.14
PBS 4.1L
PB-smodels 1.28
PB-smodels 1.31
Pueblo 1.3
Pueblo 1.4
SAT4JPSEUDO 2006.2
SAT4JPSEUDO 2006.2 Heuristics
wildcat-rnp 0.8.0
wildcat-skc 0.8.0

Bench nameBest results
on this
instance		absconPseudo
1		bsolo
2006/05		glpPB
0.2		minisat+
1.14		PBS
4.1L		PB-smodels
1.28		PB-smodels
1.31		Pueblo
1.3		Pueblo
1.4		SAT4JPSEUDO
2006.2		SAT4JPSEUDO
2006.2 Heuristics		wildcat-rnp
0.8.0		wildcat-skc
0.8.0
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-100-1_6-yes1-1.opb		 OPT
f=100
TT=0.005
T1=0
 ? (TO)

TT=1800.29

 OPT
f=100
TT=0.014
T1=0.02
 ? (TO)

TT=1800.58

 OPT
f=100
TT=0.039
T1=0.01
 OPT
f=100
TT=0.005
T1=0
 OPT
f=100
TT=34.488
T1=34.48
 OPT
f=100
TT=27.425
T1=0.05
 OPT
f=100
TT=0.008
T1=0
 OPT
f=100
TT=0.006
T1=0.01
 OPT
f=100
TT=0.676
T1=0.37
 OPT
f=100
TT=0.661
T1=0.39
 ? (TO)

TT=1800.71

 ? (TO)

TT=1800.56
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-100-1_6-yes1-2.opb		 OPT
f=100
TT=0.005
T1=0
 ? (TO)

TT=1800.25

 OPT
f=100
TT=0.02
T1=0.02
 ? (TO)

TT=1800.46

 OPT
f=100
TT=0.036
T1=0.01
 OPT
f=100
TT=0.005
T1=0
 OPT
f=100
TT=53.386
T1=39.54
 OPT
f=100
TT=99.713
T1=0.05
 OPT
f=100
TT=0.008
T1=0.01
 OPT
f=100
TT=0.007
T1=0
 OPT
f=100
TT=0.532
T1=0.39
 OPT
f=100
TT=0.567
T1=0.43
 ? (TO)

TT=1800.69

 ? (TO)

TT=1800.68
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-100-1_6-yes1-3.opb		 OPT
f=100
TT=0.006
T1=0
 ? (TO)

TT=1800.27

 OPT
f=100
TT=0.018
T1=0.04
 ? (TO)

TT=1800.64

 OPT
f=100
TT=0.036
T1=0.01
 OPT
f=100
TT=0.006
T1=0
 OPT
f=100
TT=0.066
T1=0.05
 OPT
f=100
TT=52.644
T1=0.06
 OPT
f=100
TT=0.008
T1=0.01
 OPT
f=100
TT=0.009
T1=0.01
 OPT
f=100
TT=0.533
T1=0.4
 OPT
f=100
TT=0.588
T1=0.48
 ? (TO)

TT=1800.65

 ? (TO)

TT=1800.69
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-100-1_6-yes1-4.opb		 OPT
f=100
TT=0.005
T1=0
 ? (TO)

TT=1800.43

 OPT
f=100
TT=0.014
T1=0.02
 ? (TO)

TT=1800.65

 OPT
f=100
TT=0.01
T1=0.01
 OPT
f=100
TT=0.005
T1=0
 OPT
f=100
TT=0.542
T1=0.52
 OPT
f=100
TT=27.152
T1=0.05
 OPT
f=100
TT=0.007
T1=0.01
 OPT
f=100
TT=0.008
T1=0.01
 OPT
f=100
TT=0.499
T1=0.37
 OPT
f=100
TT=0.526
T1=0.39
 ? (TO)

TT=1800.71

 ? (TO)

TT=1800.52
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-100-2_0-yes1-1.opb		 OPT
f=100
TT=0.006
T1=0
 ? (TO)

TT=1800.13

 OPT
f=100
TT=0.021
T1=0.02
 ? (TO)

TT=1800.6

 OPT
f=100
TT=0.021
T1=0.01
 OPT
f=100
TT=0.006
T1=0
 OPT
f=100
TT=0.324
T1=0.3
 OPT
f=100
TT=0.38
T1=0.05
 OPT
f=100
TT=0.006
T1=0.01
 OPT
f=100
TT=0.008
T1=0.01
 OPT
f=100
TT=0.563
T1=0.41
 OPT
f=100
TT=0.603
T1=0.39
 ? (TO)

TT=1800.67

 ? (TO)

TT=1800.64
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-100-2_0-yes1-2.opb		 OPT
f=100
TT=0.005
T1=0
 ? (TO)

TT=1800.29

 OPT
f=100
TT=0.016
T1=0.02
 ? (TO)

TT=1800.57

 OPT
f=100
TT=0.043
T1=0.01
 OPT
f=100
TT=0.005
T1=0
 OPT
f=100
TT=0.2
T1=0.14
 OPT
f=100
TT=0.198
T1=0.08
 OPT
f=100
TT=0.007
T1=0.01
 OPT
f=100
TT=0.007
T1=0.01
 OPT
f=100
TT=0.74
T1=0.49
 OPT
f=100
TT=0.772
T1=0.5
 ? (TO)

TT=1800.66

 ? (TO)

TT=1800.71
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-100-2_0-yes1-3.opb		 OPT
f=100
TT=0.007
T1=0
 ? (TO)

TT=1800.43

 OPT
f=100
TT=0.02
T1=0.12
 ? (TO)

TT=1800.51

 OPT
f=100
TT=0.013
T1=0.01
 OPT
f=100
TT=0.007
T1=0
 OPT
f=100
TT=0.343
T1=0.32
 OPT
f=100
TT=0.351
T1=0.05
 OPT
f=100
TT=0.008
T1=0
 OPT
f=100
TT=0.009
T1=0
 OPT
f=100
TT=0.744
T1=0.52
 OPT
f=100
TT=0.827
T1=0.53
 ? (TO)

TT=1800.52

 ? (TO)

TT=1800.61
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-100-2_0-yes1-4.opb		 OPT
f=100
TT=0.006
T1=0.01
 ? (TO)

TT=1800.41

 OPT
f=100
TT=0.019
T1=0.02
 ? (TO)

TT=1800.48

 OPT
f=100
TT=0.043
T1=0.01
 OPT
f=100
TT=0.006
T1=0.01
 OPT
f=100
TT=0.41
T1=0.05
 OPT
f=100
TT=0.517
T1=0.05
 OPT
f=100
TT=0.01
T1=0.01
 OPT
f=100
TT=0.008
T1=0.01
 OPT
f=100
TT=0.694
T1=0.39
 OPT
f=100
TT=0.733
T1=0.38
 ? (TO)

TT=1800.45

 ? (TO)

TT=1800.54
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-100-3_4-yes1-1.opb		 OPT
f=100
TT=0.008
T1=0
 OPT
f=100
TT=57.454
T1=55.32
 OPT
f=100
TT=0.039
T1=0.04
 OPT
f=100
TT=276.754
T1=276.84
 OPT
f=100
TT=0.051
T1=0.02
 OPT
f=100
TT=0.008
T1=0
 OPT
f=100
TT=0.085
T1=0.06
 OPT
f=100
TT=0.087
T1=0.07
 OPT
f=100
TT=0.01
T1=0.01
 OPT
f=100
TT=0.011
T1=0.01
 OPT
f=100
TT=1.033
T1=0.53
 OPT
f=100
TT=1.029
T1=0.53
 ? (TO)

TT=1800.51

 SAT (TO)
f=100
TT=1800.63
T1=0.69
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-100-3_4-yes1-2.opb		 OPT
f=100
TT=0.01
T1=0.01
 OPT
f=100
TT=289.103
T1=179.54
 OPT
f=100
TT=0.028
T1=0.03
 OPT
f=100
TT=280.047
T1=280.11
 OPT
f=100
TT=0.043
T1=0.01
 OPT
f=100
TT=0.012
T1=0.01
 OPT
f=100
TT=0.082
T1=0.08
 OPT
f=100
TT=0.08
T1=0.06
 OPT
f=100
TT=0.01
T1=0.01
 OPT
f=100
TT=0.013
T1=0.01
 OPT
f=100
TT=0.95
T1=0.52
 OPT
f=100
TT=0.969
T1=0.6
 ? (TO)

TT=1800.74

 SAT (TO)
f=100
TT=1800.71
T1=0.02
Bench nameBest results
on this
instance		absconPseudo
1		bsolo
2006/05		glpPB
0.2		minisat+
1.14		PBS
4.1L		PB-smodels
1.28		PB-smodels
1.31		Pueblo
1.3		Pueblo
1.4		SAT4JPSEUDO
2006.2		SAT4JPSEUDO
2006.2 Heuristics		wildcat-rnp
0.8.0		wildcat-skc
0.8.0
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-100-3_4-yes1-3.opb		 OPT
f=100
TT=0.009
T1=0.01
 OPT
f=100
TT=95.86
T1=79.92
 OPT
f=100
TT=0.032
T1=0.06
 OPT
f=100
TT=562.438
T1=562.59
 OPT
f=100
TT=0.05
T1=0.02
 OPT
f=100
TT=0.009
T1=0.01
 OPT
f=100
TT=0.085
T1=0.06
 OPT
f=100
TT=0.089
T1=0.07
 OPT
f=100
TT=0.012
T1=0.01
 OPT
f=100
TT=0.013
T1=0.01
 OPT
f=100
TT=0.702
T1=0.48
 OPT
f=100
TT=0.763
T1=0.49
 ? (TO)

TT=1800.56

 SAT (TO)
f=100
TT=1800.7
T1=0.12
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-100-3_4-yes1-4.opb		 OPT
f=100
TT=0.009
T1=0.01
 OPT
f=100
TT=487.837
T1=225.98
 OPT
f=100
TT=0.032
T1=0.04
 OPT
f=100
TT=412.443
T1=412.57
 OPT
f=100
TT=0.038
T1=0.02
 OPT
f=100
TT=0.009
T1=0.01
 OPT
f=100
TT=0.089
T1=0.06
 OPT
f=100
TT=0.09
T1=0.06
 OPT
f=100
TT=0.013
T1=0.01
 OPT
f=100
TT=0.012
T1=0.01
 OPT
f=100
TT=0.979
T1=0.53
 OPT
f=100
TT=0.902
T1=0.52
 ? (TO)

TT=1800.6

 SAT (TO)
f=100
TT=1800.53
T1=0.34
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-100-6_0-yes1-1.opb		 OPT
f=100
TT=0.009
T1=0.01
 OPT
f=100
TT=8.177
T1=7.57
 OPT
f=100
TT=0.037
T1=0.04
 OPT
f=100
TT=16.678
T1=16.68
 OPT
f=100
TT=0.052
T1=0.02
 OPT
f=100
TT=0.009
T1=0.01
 OPT
f=100
TT=0.102
T1=0.08
 OPT
f=100
TT=0.098
T1=0.07
 OPT
f=100
TT=0.013
T1=0.01
 OPT
f=100
TT=0.014
T1=0.01
 OPT
f=100
TT=0.959
T1=0.54
 OPT
f=100
TT=1.026
T1=0.52
 SAT (TO)
f=100
TT=1800.64
T1=0.01
 SAT (TO)
f=100
TT=1800.48
T1=0.04
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.01
 OPT
f=100
TT=2.607
T1=1.15
 OPT
f=100
TT=0.03
T1=0.03
 OPT
f=100
TT=32.414
T1=32.42
 OPT
f=100
TT=0.054
T1=0.02
 OPT
f=100
TT=0.01
T1=0.01
 OPT
f=100
TT=0.102
T1=0.08
 OPT
f=100
TT=0.106
T1=0.08
 OPT
f=100
TT=0.013
T1=0.01
 OPT
f=100
TT=0.013
T1=0.01
 OPT
f=100
TT=0.695
T1=0.51
 OPT
f=100
TT=0.76
T1=0.46
 SAT (TO)
f=100
TT=1800.49
T1=0.01
 SAT (TO)
f=100
TT=1800.52
T1=0.02
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-100-6_0-yes1-3.opb		 OPT
f=100
TT=0.009
T1=0.01
 OPT
f=100
TT=7.824
T1=3.78
 OPT
f=100
TT=0.042
T1=0.03
 OPT
f=100
TT=22.301
T1=22.31
 OPT
f=100
TT=0.027
T1=0.03
 OPT
f=100
TT=0.009
T1=0.01
 OPT
f=100
TT=0.106
T1=0.08
 OPT
f=100
TT=0.111
T1=0.08
 OPT
f=100
TT=0.014
T1=0.01
 OPT
f=100
TT=0.014
T1=0.01
 OPT
f=100
TT=0.983
T1=0.55
 OPT
f=100
TT=1.028
T1=0.56
 SAT (TO)
f=100
TT=1800.48
T1=0.01
 SAT (TO)
f=100
TT=1800.71
T1=0.13
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.01
 OPT
f=100
TT=1.925
T1=1.03
 OPT
f=100
TT=0.039
T1=0.12
 OPT
f=100
TT=31.206
T1=31.21
 OPT
f=100
TT=0.055
T1=0.03
 OPT
f=100
TT=0.01
T1=0.01
 OPT
f=100
TT=0.104
T1=0.08
 OPT
f=100
TT=0.107
T1=0.08
 OPT
f=100
TT=0.014
T1=0.01
 OPT
f=100
TT=0.011
T1=0.01
 OPT
f=100
TT=1.042
T1=0.54
 OPT
f=100
TT=1.008
T1=0.56
 SAT (TO)
f=100
TT=1800.64
T1=0.01
 SAT (TO)
f=100
TT=1800.67
T1=0.02
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.01
 ? (TO)

TT=1800.14

 OPT
f=200
TT=0.028
T1=0.04
 ? (TO)

TT=1800.7

 OPT
f=200
TT=0.104
T1=0.02
 OPT
f=200
TT=0.009
T1=0.01
 ? (TO)

TT=1800.79

 SAT (TO)
f=200
TT=1800.6
T1=0.13
 OPT
f=200
TT=0.013
T1=0.01
 OPT
f=200
TT=0.011
T1=0.01
 OPT
f=200
TT=0.823
T1=0.48
 OPT
f=200
TT=0.9
T1=0.6
 ? (TO)

TT=1800.54

 ? (TO)

TT=1800.55
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-200-1_6-yes1-2.opb		 OPT
f=200
TT=0.013
T1=0.01
 ? (TO)

TT=1800.25

 OPT
f=200
TT=0.034
T1=0.05
 ? (TO)

TT=1800.58

 OPT
f=200
TT=0.085
T1=0.02
 OPT
f=200
TT=0.013
T1=0.01
 ? (TO)

TT=1800.64

 SAT (TO)
f=200
TT=1800.77
T1=0.14
 OPT
f=200
TT=0.013
T1=0.01
 OPT
f=200
TT=0.013
T1=0.01
 OPT
f=200
TT=0.788
T1=0.53
 OPT
f=200
TT=0.782
T1=0.52
 ? (TO)

TT=1800.62

 ? (TO)

TT=1800.5
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-200-1_6-yes1-3.opb		 OPT
f=200
TT=0.01
T1=0.01
 ? (TO)

TT=1800.39

 OPT
f=200
TT=0.024
T1=0.03
 ? (TO)

TT=1800.58

 OPT
f=200
TT=0.064
T1=0.02
 OPT
f=200
TT=0.01
T1=0.01
 ? (TO)

TT=1800.61

 SAT (TO)
f=200
TT=1800.63
T1=0.09
 OPT
f=200
TT=0.014
T1=0.01
 OPT
f=200
TT=0.014
T1=0.01
 OPT
f=200
TT=0.723
T1=0.47
 OPT
f=200
TT=0.749
T1=0.53
 ? (TO)

TT=1800.59

 ? (TO)

TT=1800.61
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.01
 ? (TO)

TT=1800.34

 OPT
f=200
TT=0.033
T1=0.04
 ? (TO)

TT=1800.64

 OPT
f=200
TT=0.095
T1=0.02
 OPT
f=200
TT=0.01
T1=0.01
 ? (TO)

TT=1800.74

 SAT (TO)
f=200
TT=1800.85
T1=0.11
 OPT
f=200
TT=0.012
T1=0.01
 OPT
f=200
TT=0.013
T1=0.01
 OPT
f=200
TT=0.717
T1=0.51
 OPT
f=200
TT=0.76
T1=0.52
 ? (TO)

TT=1800.67

 ? (TO)

TT=1800.66
Bench nameBest results
on this
instance		absconPseudo
1		bsolo
2006/05		glpPB
0.2		minisat+
1.14		PBS
4.1L		PB-smodels
1.28		PB-smodels
1.31		Pueblo
1.3		Pueblo
1.4		SAT4JPSEUDO
2006.2		SAT4JPSEUDO
2006.2 Heuristics		wildcat-rnp
0.8.0		wildcat-skc
0.8.0
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-200-2_0-yes1-1.opb		 OPT
f=200
TT=0.013
T1=0.01
 ? (TO)

TT=1800.33

 OPT
f=200
TT=0.044
T1=0.04
 ? (TO)

TT=1800.5

 OPT
f=200
TT=0.026
T1=0.02
 OPT
f=200
TT=0.019
T1=0.02
 SAT (TO)
f=200
TT=1800.62
T1=750.42
 SAT (TO)
f=200
TT=1800.62
T1=0.16
 OPT
f=200
TT=0.013
T1=0.01
 OPT
f=200
TT=0.015
T1=0.01
 OPT
f=200
TT=1.11
T1=0.66
 OPT
f=200
TT=1.191
T1=0.67
 ? (TO)

TT=1800.63

 ? (TO)

TT=1800.62
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-200-2_0-yes1-2.opb		 OPT
f=200
TT=0.014
T1=0.01
 ? (TO)

TT=1800.42

 OPT
f=200
TT=0.057
T1=0.06
 ? (TO)

TT=1800.66

 OPT
f=200
TT=0.102
T1=0.03
 OPT
f=200
TT=0.018
T1=0.01
 OPT
f=200
TT=1492.09
T1=1492.58
 OPT
f=200
TT=1283.89
T1=0.1
 OPT
f=200
TT=0.014
T1=0.01
 OPT
f=200
TT=0.017
T1=0.01
 OPT
f=200
TT=0.892
T1=0.56
 OPT
f=200
TT=0.916
T1=0.62
 ? (TO)

TT=1800.58

 ? (TO)

TT=1800.7
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-200-2_0-yes1-3.opb		 OPT
f=200
TT=0.014
T1=0.01
 ? (TO)

TT=1800.27

 OPT
f=200
TT=0.045
T1=0.07
 ? (TO)

TT=1800.61

 OPT
f=200
TT=0.027
T1=0.02
 OPT
f=200
TT=0.018
T1=0.02
 OPT
f=200
TT=614.646
T1=614.79
 OPT
f=200
TT=483.553
T1=0.09
 OPT
f=200
TT=0.014
T1=0.01
 OPT
f=200
TT=0.017
T1=0.01
 OPT
f=200
TT=0.967
T1=0.64
 OPT
f=200
TT=1.096
T1=0.74
 ? (TO)

TT=1800.64

 ? (TO)

TT=1800.57
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-200-2_0-yes1-4.opb		 OPT
f=200
TT=0.014
T1=0.01
 ? (TO)

TT=1800.41

 OPT
f=200
TT=0.065
T1=0.06
 ? (TO)

TT=1800.51

 OPT
f=200
TT=0.043
T1=0.03
 OPT
f=200
TT=0.014
T1=0.01
 ? (TO)

TT=1800.85

 SAT (TO)
f=200
TT=1800.76
T1=0.14
 OPT
f=200
TT=0.015
T1=0.01
 OPT
f=200
TT=0.018
T1=0.01
 OPT
f=200
TT=0.818
T1=0.53
 OPT
f=200
TT=0.913
T1=0.55
 ? (TO)

TT=1800.62

 ? (TO)

TT=1800.49
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-200-3_4-yes1-1.opb		 OPT
f=200
TT=0.017
T1=0.01
 ? (TO)

TT=1800.4

 OPT
f=200
TT=0.083
T1=0.08
 ? (TO)

TT=1800.78

 OPT
f=200
TT=0.107
T1=0.04
 OPT
f=200
TT=0.018
T1=0.02
 OPT
f=200
TT=0.168
T1=0.13
 OPT
f=200
TT=0.208
T1=0.15
 OPT
f=200
TT=0.017
T1=0.01
 OPT
f=200
TT=0.018
T1=0.02
 OPT
f=200
TT=1
T1=0.59
 OPT
f=200
TT=1.082
T1=0.72
 ? (TO)

TT=1800.68

 SAT (TO)
f=200
TT=1800.51
T1=0.87
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-200-3_4-yes1-2.opb		 OPT
f=200
TT=0.023
T1=0.02
 ? (TO)

TT=1800.24

 OPT
f=200
TT=0.05
T1=0.06
 ? (TO)

TT=1800.71

 OPT
f=200
TT=0.112
T1=0.04
 OPT
f=200
TT=0.032
T1=0.02
 OPT
f=200
TT=0.187
T1=0.12
 OPT
f=200
TT=0.14
T1=0.1
 OPT
f=200
TT=0.023
T1=0.02
 OPT
f=200
TT=0.026
T1=0.02
 OPT
f=200
TT=1.076
T1=0.53
 OPT
f=200
TT=1.292
T1=0.59
 ? (TO)

TT=1800.51

 SAT (TO)
f=200
TT=1800.5
T1=0.44
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-200-3_4-yes1-3.opb		 OPT
f=200
TT=0.024
T1=0.02
 ? (TO)

TT=1800.4

 OPT
f=200
TT=0.174
T1=0.18
 ? (TO)

TT=1800.63

 OPT
f=200
TT=0.11
T1=0.05
 OPT
f=200
TT=0.024
T1=0.02
 OPT
f=200
TT=0.199
T1=0.17
 OPT
f=200
TT=0.219
T1=0.16
 OPT
f=200
TT=0.024
T1=0.02
 OPT
f=200
TT=0.031
T1=0.02
 OPT
f=200
TT=1.113
T1=0.71
 OPT
f=200
TT=1.181
T1=0.75
 ? (TO)

TT=1800.02

 SAT
f=200
TT=1477.22
T1=0.72
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-200-3_4-yes1-4.opb		 OPT
f=200
TT=0.017
T1=0.02
 ? (TO)

TT=1800.38

 OPT
f=200
TT=0.053
T1=0.07
 ? (TO)

TT=1800.49

 OPT
f=200
TT=0.116
T1=0.04
 OPT
f=200
TT=0.017
T1=0.02
 OPT
f=200
TT=0.177
T1=0.14
 OPT
f=200
TT=0.229
T1=0.11
 OPT
f=200
TT=0.021
T1=0.02
 OPT
f=200
TT=0.023
T1=0.02
 OPT
f=200
TT=1.056
T1=0.66
 OPT
f=200
TT=1.092
T1=0.71
 ? (TO)

TT=1800.68

 SAT (TO)
f=200
TT=1800.47
T1=0.05
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-200-6_0-yes1-1.opb		 OPT
f=200
TT=0.017
T1=0.02
 SAT (TO)
f=200
TT=1800.52
T1=1548.96
 OPT
f=200
TT=0.06
T1=0.06
 ? (TO)

TT=1800.64

 OPT
f=200
TT=0.07
T1=0.07
 OPT
f=200
TT=0.017
T1=0.02
 OPT
f=200
TT=0.187
T1=0.13
 OPT
f=200
TT=0.181
T1=0.13
 OPT
f=200
TT=0.031
T1=0.03
 OPT
f=200
TT=0.035
T1=0.03
 OPT
f=200
TT=1.467
T1=0.87
 OPT
f=200
TT=1.62
T1=0.86
 SAT (TO)
f=200
TT=1800.69
T1=0.06
 SAT (TO)
f=200
TT=1800.56
T1=0.02
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-200-6_0-yes1-2.opb		 OPT
f=200
TT=0.024
T1=0.02
 OPT
f=200
TT=1568.33
T1=1431.6
 OPT
f=200
TT=0.055
T1=0.05
 ? (TO)

TT=1800.92

 OPT
f=200
TT=0.138
T1=0.06
 OPT
f=200
TT=0.026
T1=0.03
 OPT
f=200
TT=0.187
T1=0.14
 OPT
f=200
TT=0.209
T1=0.15
 OPT
f=200
TT=0.024
T1=0.02
 OPT
f=200
TT=0.028
T1=0.02
 OPT
f=200
TT=1.251
T1=0.8
 OPT
f=200
TT=1.281
T1=0.92
 SAT (TO)
f=200
TT=1800.66
T1=0.07
 SAT (TO)
f=200
TT=1800.48
T1=0.18
Bench nameBest results
on this
instance		absconPseudo
1		bsolo
2006/05		glpPB
0.2		minisat+
1.14		PBS
4.1L		PB-smodels
1.28		PB-smodels
1.31		Pueblo
1.3		Pueblo
1.4		SAT4JPSEUDO
2006.2		SAT4JPSEUDO
2006.2 Heuristics		wildcat-rnp
0.8.0		wildcat-skc
0.8.0
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-200-6_0-yes1-3.opb		 OPT
f=200
TT=0.03
T1=0.01
 ? (TO)

TT=1800.36

 OPT
f=200
TT=0.128
T1=0.13
 ? (TO)

TT=1800.66

 OPT
f=200
TT=0.055
T1=0.05
 OPT
f=200
TT=0.053
T1=0.05
 OPT
f=200
TT=0.207
T1=0.13
 OPT
f=200
TT=0.211
T1=0.13
 OPT
f=200
TT=0.032
T1=0.03
 OPT
f=200
TT=0.03
T1=0.03
 OPT
f=200
TT=1.572
T1=0.65
 OPT
f=200
TT=1.546
T1=0.66
 SAT (TO)
f=200
TT=1800.7
T1=0.01
 SAT (TO)
f=200
TT=1800.62
T1=0.03
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-200-6_0-yes1-4.opb		 OPT
f=200
TT=0.018
T1=0.02
 SAT (TO)
f=200
TT=1800.33
T1=295.47
 OPT
f=200
TT=0.262
T1=0.26
 ? (TO)

TT=1800.71

 OPT
f=200
TT=0.149
T1=0.05
 OPT
f=200
TT=0.018
T1=0.02
 OPT
f=200
TT=0.19
T1=0.13
 OPT
f=200
TT=0.197
T1=0.15
 OPT
f=200
TT=0.025
T1=0.02
 OPT
f=200
TT=0.024
T1=0.02
 OPT
f=200
TT=1.529
T1=0.95
 OPT
f=200
TT=1.547
T1=0.96
 SAT (TO)
f=200
TT=1800.42
T1=0.14
 SAT (TO)
f=200
TT=1800.99
T1=0.03
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-50-1_6-yes1-1.opb		 OPT
f=50
TT=0.003
T1=0
 OPT
f=50
TT=359.466
T1=354.87
 OPT
f=50
TT=0.009
T1=0.02
 OPT
f=50
TT=2.21
T1=2.21
 OPT
f=50
TT=0.009
T1=0.01
 OPT
f=50
TT=0.003
T1=0
 OPT
f=50
TT=0.06
T1=0.05
 OPT
f=50
TT=0.062
T1=0.04
 OPT
f=50
TT=0.007
T1=0
 OPT
f=50
TT=0.005
T1=0
 OPT
f=50
TT=0.416
T1=0.35
 OPT
f=50
TT=0.429
T1=0.44
 ? (TO)

TT=1800.65

 ? (TO)

TT=1800.7
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-50-1_6-yes1-2.opb		 OPT
f=50
TT=0.001
T1=0
 OPT
f=50
TT=1475.87
T1=554.36
 OPT
f=50
TT=0.022
T1=0.07
 OPT
f=50
TT=23.38
T1=23.39
 OPT
f=50
TT=0.016
T1=0
 OPT
f=50
TT=0.001
T1=0
 OPT
f=50
TT=0.067
T1=0.05
 OPT
f=50
TT=0.065
T1=0.04
 OPT
f=50
TT=0.006
T1=0
 OPT
f=50
TT=0.006
T1=0
 OPT
f=50
TT=0.493
T1=0.3
 OPT
f=50
TT=0.536
T1=0.33
 ? (TO)

TT=1800.5

 ? (TO)

TT=1800.69
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-50-1_6-yes1-3.opb		 OPT
f=50
TT=0.003
T1=0
 OPT
f=50
TT=113.484
T1=111.77
 OPT
f=50
TT=0.01
T1=0.02
 OPT
f=50
TT=7.471
T1=7.47
 OPT
f=50
TT=0.005
T1=0.01
 OPT
f=50
TT=0.003
T1=0
 OPT
f=50
TT=0.054
T1=0.07
 OPT
f=50
TT=0.058
T1=0.04
 OPT
f=50
TT=0.004
T1=0
 OPT
f=50
TT=0.005
T1=0
 OPT
f=50
TT=0.419
T1=0.31
 OPT
f=50
TT=0.404
T1=0.32
 ? (TO)

TT=1800.78

 ? (TO)

TT=1800.56
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-50-1_6-yes1-4.opb		 OPT
f=50
TT=0.003
T1=0
 OPT
f=50
TT=171.524
T1=81.88
 OPT
f=50
TT=0.008
T1=0.03
 OPT
f=50
TT=0.625
T1=0.62
 OPT
f=50
TT=0.006
T1=0
 OPT
f=50
TT=0.003
T1=0
 OPT
f=50
TT=0.047
T1=0.03
 OPT
f=50
TT=0.057
T1=0.04
 OPT
f=50
TT=0.004
T1=0
 OPT
f=50
TT=0.006
T1=0
 OPT
f=50
TT=0.404
T1=0.28
 OPT
f=50
TT=0.42
T1=0.32
 ? (TO)

TT=1800.73

 ? (TO)

TT=1800.75
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-50-2_0-yes1-1.opb		 OPT
f=50
TT=0.002
T1=0
 OPT
f=50
TT=129.67
T1=104.36
 OPT
f=50
TT=0.016
T1=0.02
 OPT
f=50
TT=12.523
T1=12.53
 OPT
f=50
TT=0.01
T1=0
 OPT
f=50
TT=0.002
T1=0
 OPT
f=50
TT=0.054
T1=0.04
 OPT
f=50
TT=0.053
T1=0.04
 OPT
f=50
TT=0.005
T1=0
 OPT
f=50
TT=0.005
T1=0
 OPT
f=50
TT=0.41
T1=0.31
 OPT
f=50
TT=0.434
T1=0.3
 ? (TO)

TT=1800.49

 ? (TO)

TT=1800.48
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-50-2_0-yes1-2.opb		 OPT
f=50
TT=0.004
T1=0
 OPT
f=50
TT=6.541
T1=2.96
 OPT
f=50
TT=0.016
T1=0.02
 OPT
f=50
TT=7.126
T1=7.12
 OPT
f=50
TT=0.017
T1=0
 OPT
f=50
TT=0.004
T1=0
 OPT
f=50
TT=0.053
T1=0.04
 OPT
f=50
TT=0.055
T1=0.04
 OPT
f=50
TT=0.005
T1=0
 OPT
f=50
TT=0.004
T1=0
 OPT
f=50
TT=0.62
T1=0.33
 OPT
f=50
TT=0.651
T1=0.48
 ? (TO)

TT=1800.52

 SAT
f=50
TT=923.921
T1=0.07
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-50-2_0-yes1-3.opb		 OPT
f=50
TT=0.005
T1=0
 OPT
f=50
TT=8.081
T1=5.95
 OPT
f=50
TT=0.013
T1=0.02
 OPT
f=50
TT=14.724
T1=14.73
 OPT
f=50
TT=0.008
T1=0.01
 OPT
f=50
TT=0.005
T1=0
 OPT
f=50
TT=0.058
T1=0.07
 OPT
f=50
TT=0.052
T1=0.04
 OPT
f=50
TT=0.006
T1=0
 OPT
f=50
TT=0.007
T1=0
 OPT
f=50
TT=0.451
T1=0.34
 OPT
f=50
TT=0.479
T1=0.36
 SAT (TO)
f=50
TT=1800.62
T1=0.65
 ? (TO)

TT=1800.61
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-50-2_0-yes1-4.opb		 OPT
f=50
TT=0.004
T1=0
 OPT
f=50
TT=3.992
T1=1.6
 OPT
f=50
TT=0.014
T1=0.02
 OPT
f=50
TT=5.065
T1=5.07
 OPT
f=50
TT=0.009
T1=0
 OPT
f=50
TT=0.004
T1=0
 OPT
f=50
TT=0.049
T1=0.04
 OPT
f=50
TT=0.051
T1=0.04
 OPT
f=50
TT=0.007
T1=0.01
 OPT
f=50
TT=0.007
T1=0.01
 OPT
f=50
TT=0.432
T1=0.31
 OPT
f=50
TT=0.458
T1=0.31
 ? (TO)

TT=1800.62

 SAT
f=50
TT=922.374
T1=0.02
Bench nameBest results
on this
instance		absconPseudo
1		bsolo
2006/05		glpPB
0.2		minisat+
1.14		PBS
4.1L		PB-smodels
1.28		PB-smodels
1.31		Pueblo
1.3		Pueblo
1.4		SAT4JPSEUDO
2006.2		SAT4JPSEUDO
2006.2 Heuristics		wildcat-rnp
0.8.0		wildcat-skc
0.8.0
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-50-3_4-yes1-1.opb		 OPT
f=50
TT=0.004
T1=0
 OPT
f=50
TT=1.782
T1=1.36
 OPT
f=50
TT=0.018
T1=0.14
 OPT
f=50
TT=3.125
T1=3.12
 OPT
f=50
TT=0.021
T1=0.01
 OPT
f=50
TT=0.004
T1=0
 OPT
f=50
TT=0.053
T1=0.04
 OPT
f=50
TT=0.057
T1=0.04
 OPT
f=50
TT=0.007
T1=0
 OPT
f=50
TT=0.008
T1=0.01
 OPT
f=50
TT=0.614
T1=0.36
 OPT
f=50
TT=0.642
T1=0.46
 SAT (TO)
f=50
TT=1800.48
T1=0.03
 SAT
f=50
TT=1332.64
T1=0.33
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=1.388
T1=0.92
 OPT
f=50
TT=0.025
T1=0.02
 OPT
f=50
TT=4.529
T1=4.53
 OPT
f=50
TT=0.02
T1=0.01
 OPT
f=50
TT=0.003
T1=0
 OPT
f=50
TT=0.057
T1=0.04
 OPT
f=50
TT=0.056
T1=0.04
 OPT
f=50
TT=0.009
T1=0
 OPT
f=50
TT=0.009
T1=0.01
 OPT
f=50
TT=0.627
T1=0.34
 OPT
f=50
TT=0.672
T1=0.36
 SAT (TO)
f=50
TT=1800.59
T1=0.29
 SAT (TO)
f=50
TT=1800.56
T1=0.07
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-50-3_4-yes1-3.opb		 OPT
f=50
TT=0.004
T1=0
 OPT
f=50
TT=2.358
T1=1.71
 OPT
f=50
TT=0.02
T1=0.02
 OPT
f=50
TT=3.37
T1=3.37
 OPT
f=50
TT=0.008
T1=0.01
 OPT
f=50
TT=0.004
T1=0
 OPT
f=50
TT=0.058
T1=0.04
 OPT
f=50
TT=0.056
T1=0.04
 OPT
f=50
TT=0.005
T1=0
 OPT
f=50
TT=0.005
T1=0
 OPT
f=50
TT=0.428
T1=0.31
 OPT
f=50
TT=0.447
T1=0.34
 SAT (TO)
f=50
TT=1800.56
T1=0.42
 SAT (TO)
f=50
TT=1800.57
T1=0.11
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-50-3_4-yes1-4.opb		 OPT
f=50
TT=0.004
T1=0
 OPT
f=50
TT=1.459
T1=1.01
 OPT
f=50
TT=0.02
T1=0.02
 OPT
f=50
TT=2.549
T1=2.55
 OPT
f=50
TT=0.022
T1=0.01
 OPT
f=50
TT=0.004
T1=0
 OPT
f=50
TT=0.054
T1=0.04
 OPT
f=50
TT=0.053
T1=0.04
 OPT
f=50
TT=0.006
T1=0
 OPT
f=50
TT=0.007
T1=0
 OPT
f=50
TT=0.674
T1=0.33
 OPT
f=50
TT=0.695
T1=0.35
 SAT (TO)
f=50
TT=1800.6
T1=0.01
 SAT (TO)
f=50
TT=1800.48
T1=0
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-50-6_0-yes1-1.opb		 OPT
f=50
TT=0.004
T1=0
 OPT
f=50
TT=1.313
T1=0.81
 OPT
f=50
TT=0.016
T1=0.02
 OPT
f=50
TT=0.746
T1=0.74
 OPT
f=50
TT=0.023
T1=0.01
 OPT
f=50
TT=0.004
T1=0
 OPT
f=50
TT=0.071
T1=0.05
 OPT
f=50
TT=0.07
T1=0.05
 OPT
f=50
TT=0.008
T1=0.01
 OPT
f=50
TT=0.009
T1=0.01
 OPT
f=50
TT=0.67
T1=0.39
 OPT
f=50
TT=0.735
T1=0.39
 SAT (TO)
f=50
TT=1800.6
T1=0.01
 SAT (TO)
f=50
TT=1800.45
T1=0
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-50-6_0-yes1-2.opb		 OPT
f=50
TT=0.005
T1=0
 OPT
f=50
TT=1.335
T1=0.81
 OPT
f=50
TT=0.016
T1=0.02
 OPT
f=50
TT=1.189
T1=1.19
 OPT
f=50
TT=0.025
T1=0.01
 OPT
f=50
TT=0.005
T1=0
 OPT
f=50
TT=0.065
T1=0.05
 OPT
f=50
TT=0.068
T1=0.05
 OPT
f=50
TT=0.009
T1=0.01
 OPT
f=50
TT=0.01
T1=0.01
 OPT
f=50
TT=0.641
T1=0.34
 OPT
f=50
TT=0.627
T1=0.37
 SAT (TO)
f=50
TT=1800.65
T1=0
 SAT (TO)
f=50
TT=1800.66
T1=0
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-50-6_0-yes1-3.opb		 OPT
f=50
TT=0.005
T1=0
 OPT
f=50
TT=1.456
T1=0.98
 OPT
f=50
TT=0.016
T1=0.02
 OPT
f=50
TT=1.101
T1=1.1
 OPT
f=50
TT=0.025
T1=0.01
 OPT
f=50
TT=0.005
T1=0
 OPT
f=50
TT=0.067
T1=0.05
 OPT
f=50
TT=0.072
T1=0.05
 OPT
f=50
TT=0.007
T1=0.01
 OPT
f=50
TT=0.007
T1=0.01
 OPT
f=50
TT=0.588
T1=0.35
 OPT
f=50
TT=0.635
T1=0.39
 SAT (TO)
f=50
TT=1800.72
T1=0
 SAT (TO)
f=50
TT=1800.6
T1=0.01
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-aim-50-6_0-yes1-4.opb		 OPT
f=50
TT=0.004
T1=0
 OPT
f=50
TT=1.391
T1=0.97
 OPT
f=50
TT=0.018
T1=0.05
 OPT
f=50
TT=1.248
T1=1.25
 OPT
f=50
TT=0.023
T1=0.01
 OPT
f=50
TT=0.004
T1=0
 OPT
f=50
TT=0.067
T1=0.05
 OPT
f=50
TT=0.066
T1=0.05
 OPT
f=50
TT=0.008
T1=0.01
 OPT
f=50
TT=0.008
T1=0.01
 OPT
f=50
TT=0.648
T1=0.37
 OPT
f=50
TT=0.716
T1=0.4
 SAT (TO)
f=50
TT=1800.47
T1=0
 SAT (TO)
f=50
TT=1800.46
T1=0.01
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-bf0432-007.opb		 UNSAT

TT=0.148

 ? (TO)

TT=1800.42

 UNSAT

TT=0.361

 ? (TO)

TT=1800.51

 UNSAT

TT=0.192

 UNSAT

TT=0.633

 UNSAT

TT=14.116

 UNSAT

TT=14.785

 UNSAT

TT=0.148

 UNSAT

TT=0.15

 UNSAT

TT=9.288

 UNSAT

TT=9.517

 ? (TO)

TT=1800.61

 ? (TO)

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

TT=0.192

 ? (TO)

TT=1800.84

 UNSAT

TT=0.242

 ? (TO)

TT=1800.44

 UNSAT

TT=0.295

 UNSAT

TT=0.281

 UNSAT

TT=2.642

 UNSAT

TT=2.826

 UNSAT

TT=0.192

 UNSAT

TT=0.193

 UNSAT

TT=2.898

 UNSAT

TT=3.192

 ? (TO)

TT=1800.65

 ? (TO)

TT=1800.71
Bench nameBest results
on this
instance		absconPseudo
1		bsolo
2006/05		glpPB
0.2		minisat+
1.14		PBS
4.1L		PB-smodels
1.28		PB-smodels
1.31		Pueblo
1.3		Pueblo
1.4		SAT4JPSEUDO
2006.2		SAT4JPSEUDO
2006.2 Heuristics		wildcat-rnp
0.8.0		wildcat-skc
0.8.0
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-bf1355-638.opb		 UNSAT

TT=0.181

 ? (TO)

TT=1800.78

 UNSAT

TT=0.32

 ? (TO)

TT=1800.67

 UNSAT

TT=0.298

 UNSAT

TT=0.253

 UNSAT

TT=2.716

 UNSAT

TT=2.686

 UNSAT

TT=0.191

 UNSAT

TT=0.181

 UNSAT

TT=2.985

 UNSAT

TT=3.104

 ? (TO)

TT=1800.71

 ? (TO)

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

TT=0.093

 ? (TO)

TT=1800.6

 UNSAT

TT=0.127

 ? (TO)

TT=1800.55

 UNSAT

TT=0.152

 UNSAT

TT=0.115

 UNSAT

TT=1184.76

 UNSAT

TT=1151.66

 UNSAT

TT=0.093

 UNSAT

TT=0.096

 UNSAT

TT=1.666

 UNSAT

TT=1.799

 ? (TO)

TT=1800.59

 ? (TO)

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



? (TO)

TT=1800.61

 ?

TT=1800.08

 ? (TO)

TT=1800.7

 ? (TO)

TT=1800.64

 ? (TO)

TT=1800.68

 ? (TO)

TT=1800.94

 ? (TO)

TT=1800.96

 ? (TO)

TT=1800.6

 ? (TO)

TT=1800.56

 ? (TO)

TT=1800.49

 ? (TO)

TT=1800.55

 ? (TO)

TT=1800.62

 ? (TO)

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



? (TO)

TT=1800.99

 ?

TT=1800.08

 ? (TO)

TT=1800.78

 ? (TO)

TT=1800.78

 ? (TO)

TT=1800.64

 ? (TO)

TT=1801.04

 ? (TO)

TT=1801.04

 ? (TO)

TT=1800.79

 ? (TO)

TT=1800.67

 ? (TO)

TT=1801.07

 ? (TO)

TT=1800.34

 ? (TO)

TT=1800.57

 ? (TO)

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



? (TO)

TT=1800.54

 ?

TT=1800.06

 ? (TO)

TT=1800.67

 ? (TO)

TT=1800.48

 ? (TO)

TT=1800.55

 ? (TO)

TT=1800.81

 ? (TO)

TT=1800.81

 ? (TO)

TT=1800.52

 ? (TO)

TT=1800.58

 ? (TO)

TT=1801.03

 ? (TO)

TT=1800.18

 ? (TO)

TT=1800.59

 ? (TO)

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



? (TO)

TT=1800.08

 ?

TT=1800.04

 ? (TO)

TT=1800.58

 ? (TO)

TT=1800.74

 ? (TO)

TT=1800.71

 ? (TO)

TT=1800.16

 ? (TO)

TT=1800.09

 ? (TO)

TT=1800.7

 ? (TO)

TT=1800.63

 ? (TO)

TT=1800.67

 ? (TO)

TT=1800.61

 ? (TO)

TT=1800.73

 ? (TO)

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



? (TO)

TT=1800.95

 ?

TT=1800.03

 ? (TO)

TT=1800.66

 ? (TO)

TT=1800.64

 ? (TO)

TT=1800.66

 ? (TO)

TT=1800.33

 ? (TO)

TT=1800.3

 ? (TO)

TT=1800.73

 ? (TO)

TT=1800.65

 ? (TO)

TT=1800.26

 ? (TO)

TT=1800.35

 ? (TO)

TT=1800.68

 ? (TO)

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

TT=1800.93

 ?

TT=1800.06

 ? (TO)

TT=1800.74

 ? (TO)

TT=1800.62

 ? (TO)

TT=1800.66

 ? (TO)

TT=1800.71

 ? (TO)

TT=1800.65

 ? (TO)

TT=1800.66

 ? (TO)

TT=1800.81

 ? (TO)

TT=1801.05

 ? (TO)

TT=1800.42

 ? (TO)

TT=1800.71

 SAT (TO)
f=3750
TT=1800.55
T1=2.55
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-g250.29.opb



? (TO)

TT=1800.37

 ?

TT=1800.04

 ? (TO)

TT=1800.58

 ? (TO)

TT=1800.93

 ? (TO)

TT=1800.57

 ? (TO)

TT=1800.11

 ? (TO)

TT=1800.73

 ? (TO)

TT=1800.74

 ? (TO)

TT=1800.73

 ? (TO)

TT=1800.11

 ? (TO)

TT=1800.56

 ? (TO)

TT=1800.51

 ? (TO)

TT=1800.69
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-hanoi4.opb		 OPT
f=718
TT=0.99
T1=0.27
 ? (TO)

TT=1800.52

 SAT (TO)
f=718
TT=1800.29
T1=13.44
 ? (TO)

TT=1800.52

 OPT
f=718
TT=1.205
T1=0.32
 OPT
f=718
TT=3.669
T1=2.76
 OPT
f=718
TT=72.213
T1=69
 OPT
f=718
TT=73.553
T1=9.69
 OPT
f=718
TT=0.99
T1=0.27
 OPT
f=718
TT=1.043
T1=0.29
 OPT
f=718
TT=30.705
T1=23.05
 OPT
f=718
TT=31.017
T1=22.95
 ? (TO)

TT=1800.62

 ? (TO)

TT=1800.44
Bench nameBest results
on this
instance		absconPseudo
1		bsolo
2006/05		glpPB
0.2		minisat+
1.14		PBS
4.1L		PB-smodels
1.28		PB-smodels
1.31		Pueblo
1.3		Pueblo
1.4		SAT4JPSEUDO
2006.2		SAT4JPSEUDO
2006.2 Heuristics		wildcat-rnp
0.8.0		wildcat-skc
0.8.0
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-hanoi5.opb		 OPT
f=1931
TT=11.469
T1=9.13
 ? (TO)

TT=1800.76

 ?

TT=1800.03

 ? (TO)

TT=1800.65

 OPT
f=1931
TT=11.469
T1=9.13
 OPT
f=1931
TT=553.146
T1=547.24
 ? (TO)

TT=1800.1

 ? (TO)

TT=1800.18

 SAT
f=1931
TT=1782.74
T1=40.48
 SAT
f=1931
TT=1782.74
T1=43.2
 ? (TO)

TT=1800.14

 ? (TO)

TT=1801.04

 ? (TO)

TT=1800.49

 ? (TO)

TT=1800.62
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii16a1.opb		 SAT
f=1096
TT=1800.52
T1=1606.28
 ? (TO)

TT=1800.79

 SAT
f=1372
TT=1800.02
T1=1715.52
 ? (TO)

TT=1800.58

 SAT (TO)
f=1497
TT=1800.7
T1=0.67
 ? (TO)

TT=1800.71

 SAT (TO)
f=1246
TT=1801.03
T1=66.76
 SAT (TO)
f=1199
TT=1800.22
T1=71.18
 SAT
f=1215
TT=1782.79
T1=746.14
 SAT
f=1215
TT=1782.78
T1=890.9
 SAT (TO)
f=1485
TT=1801.18
T1=1179.82
 SAT (TO)
f=1485
TT=1801.27
T1=1170.19
 ? (TO)

TT=1800.51

 SAT (TO)
f=1096
TT=1800.52
T1=1606.28
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii16a2.opb		 SAT
f=1164
TT=1800.73
T1=439.66
 ? (TO)

TT=1801.01

 SAT
f=1194
TT=1800.02
T1=255.81
 ? (TO)

TT=1800.68

 SAT (TO)
f=1389
TT=1800.81
T1=1633.35
 ? (TO)

TT=1800.67

 SAT (TO)
f=1227
TT=1800.26
T1=82.88
 SAT (TO)
f=1227
TT=1800.17
T1=88.12
 SAT
f=1182
TT=1782.79
T1=249.56
 SAT
f=1182
TT=1782.78
T1=291.62
 SAT (TO)
f=1375
TT=1800.71
T1=540.8
 SAT (TO)
f=1375
TT=1801.23
T1=550.39
 ? (TO)

TT=1800.68

 SAT (TO)
f=1164
TT=1800.73
T1=439.66
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii16b1.opb		 SAT
f=1398
TT=1800.64
T1=1793.57
 ? (TO)

TT=1800.83

 SAT
f=1467
TT=1800.02
T1=535.24
 ? (TO)

TT=1800.62

 SAT (TO)
f=1663
TT=1800.64
T1=0.91
 ? (TO)

TT=1800.49

 SAT (TO)
f=1665
TT=1800.44
T1=215.15
 SAT (TO)
f=1616
TT=1800.35
T1=1553.93
 SAT
f=1524
TT=1782.8
T1=7.23
 SAT
f=1524
TT=1782.8
T1=7.62
 SAT (TO)
f=1642
TT=1800.8
T1=1072.57
 SAT (TO)
f=1642
TT=1801.24
T1=1119.29
 ? (TO)

TT=1800.53

 SAT (TO)
f=1398
TT=1800.64
T1=1793.57
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii16b2.opb		 OPT
f=1031
TT=78.763
T1=0.32
 SAT (TO)
f=1031
TT=1800.98
T1=121.12
 OPT
f=1031
TT=78.763
T1=17.37
 ? (TO)

TT=1800.52

 SAT (TO)
f=1031
TT=1800.74
T1=0.64
 ? (TO)

TT=1800.77

 SAT (TO)
f=1031
TT=1800.21
T1=100.1
 SAT (TO)
f=1031
TT=1800.33
T1=99.24
 SAT
f=1031
TT=1782.77
T1=0.32
 SAT
f=1031
TT=1782.77
T1=0.32
 OPT
f=1031
TT=126.023
T1=6.4
 OPT
f=1031
TT=113.711
T1=7.02
 ? (TO)

TT=1800.71

 ? (TO)

TT=1800.55
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii16c1.opb		 SAT
f=1246
TT=1800.71
T1=1646.25
 ? (TO)

TT=1800.87

 SAT
f=1367
TT=1800.01
T1=1618.55
 ? (TO)

TT=1800.65

 SAT (TO)
f=1422
TT=1800.61
T1=0.71
 ? (TO)

TT=1800.55

 SAT (TO)
f=1315
TT=1800.15
T1=58.19
 SAT (TO)
f=1302
TT=1800.25
T1=61.66
 SAT
f=1377
TT=1782.78
T1=1418.91
 SAT
f=1377
TT=1782.79
T1=1752.75
 SAT (TO)
f=1452
TT=1801.09
T1=1416.74
 SAT (TO)
f=1452
TT=1800.62
T1=1390.71
 SAT (TO)
f=1246
TT=1800.71
T1=1646.25
 SAT (TO)
f=1309
TT=1800.65
T1=1687.99
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii16c2.opb		 OPT
f=861
TT=6.871
T1=0.25
 SAT (TO)
f=861
TT=1800.84
T1=175.48
 OPT
f=861
TT=77.154
T1=37.1
 ? (TO)

TT=1800.66

 OPT
f=861
TT=6.871
T1=0.53
 ? (TO)

TT=1800.59

 SAT (TO)
f=861
TT=1800.94
T1=11.26
 SAT (TO)
f=861
TT=1801.01
T1=11.72
 SAT
f=861
TT=1782.76
T1=0.25
 OPT
f=861
TT=54.887
T1=0.25
 OPT
f=861
TT=106.905
T1=11.07
 OPT
f=861
TT=116.226
T1=12.31
 ? (TO)

TT=1800.5

 SAT (TO)
f=861
TT=1800.67
T1=146.74
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii16d1.opb		 SAT
f=945
TT=1782.77
T1=34.82
 ? (TO)

TT=1800.56

 SAT
f=1022
TT=1800.03
T1=1354.83
 ? (TO)

TT=1800.56

 SAT (TO)
f=1154
TT=1800.59
T1=200.89
 ? (TO)

TT=1800.63

 SAT (TO)
f=1137
TT=1800.24
T1=36.79
 SAT (TO)
f=979
TT=1800.29
T1=481.17
 SAT
f=945
TT=1782.78
T1=34.82
 SAT
f=945
TT=1782.77
T1=40.75
 SAT (TO)
f=1127
TT=1801.08
T1=41.4
 SAT (TO)
f=1127
TT=1800.52
T1=41.95
 ? (TO)

TT=1800.56

 SAT (TO)
f=975
TT=1800.64
T1=1389.27
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii16d2.opb		 OPT
f=785
TT=6.56
T1=0.4
 SAT (TO)
f=785
TT=1800.24
T1=700.1
 OPT
f=785
TT=70.726
T1=3.08
 ? (TO)

TT=1800.63

 OPT
f=785
TT=6.56
T1=1.77
 ? (TO)

TT=1800.67

 SAT (TO)
f=785
TT=1800
T1=315.89
 SAT (TO)
f=785
TT=1800.06
T1=101.04
 SAT
f=785
TT=1782.75
T1=0.4
 OPT
f=785
TT=73.716
T1=0.4
 OPT
f=785
TT=182.719
T1=14.47
 OPT
f=785
TT=178.858
T1=14.58
 ? (TO)

TT=1800.51

 SAT (TO)
f=785
TT=1800.7
T1=48.62
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii16e1.opb		 SAT
f=1098
TT=1782.77
T1=2.38
 ? (TO)

TT=1800.93

 SAT
f=1105
TT=1800.02
T1=47.67
 ? (TO)

TT=1800.67

 SAT (TO)
f=1145
TT=1800.58
T1=464.43
 ? (TO)

TT=1800.49

 SAT (TO)
f=1159
TT=1801.01
T1=48.07
 SAT (TO)
f=1143
TT=1801.03
T1=1118.68
 SAT
f=1098
TT=1782.77
T1=2.38
 SAT
f=1098
TT=1782.77
T1=2.41
 SAT (TO)
f=1141
TT=1801.29
T1=475.37
 SAT (TO)
f=1158
TT=1800.75
T1=1134.51
 ? (TO)

TT=1800.57

 SAT (TO)
f=1101
TT=1800.62
T1=448.45
Bench nameBest results
on this
instance		absconPseudo
1		bsolo
2006/05		glpPB
0.2		minisat+
1.14		PBS
4.1L		PB-smodels
1.28		PB-smodels
1.31		Pueblo
1.3		Pueblo
1.4		SAT4JPSEUDO
2006.2		SAT4JPSEUDO
2006.2 Heuristics		wildcat-rnp
0.8.0		wildcat-skc
0.8.0
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii16e2.opb		 OPT
f=520
TT=2.138
T1=0.22
 SAT (TO)
f=520
TT=1800.95
T1=308.2
 OPT
f=520
TT=44.193
T1=3.85
 ? (TO)

TT=1800.61

 OPT
f=520
TT=2.138
T1=0.41
 OPT
f=520
TT=100.011
T1=0.93
 OPT
f=520
TT=57.9
T1=3.75
 OPT
f=520
TT=61.175
T1=4.14
 OPT
f=520
TT=51.869
T1=0.22
 OPT
f=520
TT=5.547
T1=0.22
 OPT
f=520
TT=23.651
T1=1.53
 OPT
f=520
TT=23.881
T1=1.6
 ? (TO)

TT=1800.57

 ? (TO)

TT=1800.51
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii32a1.opb		 OPT
f=444
TT=2.464
T1=0.42
 SAT (TO)
f=444
TT=1800.69
T1=127.07
 OPT
f=444
TT=159.592
T1=1.52
 ? (TO)

TT=1800.49

 OPT
f=444
TT=2.464
T1=0.42
 OPT
f=444
TT=131.776
T1=1.58
 OPT
f=444
TT=16.734
T1=7.5
 OPT
f=444
TT=16.53
T1=6.95
 OPT
f=444
TT=30.412
T1=1
 OPT
f=444
TT=11.393
T1=0.97
 OPT
f=444
TT=55.299
T1=1.74
 OPT
f=444
TT=54.227
T1=1.81
 ? (TO)

TT=1800.67

 SAT (TO)
f=444
TT=1800.48
T1=75.75
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii32b1.opb		 OPT
f=191
TT=32.032
T1=0.48
 SAT (TO)
f=196
TT=1800.45
T1=317.68
 SAT
f=191
TT=1800.04
T1=18.78
 ? (TO)

TT=1800.44

 OPT
f=191
TT=32.032
T1=18.32
 ? (TO)

TT=1800.55

 SAT (TO)
f=195
TT=1800.68
T1=130.51
 SAT (TO)
f=191
TT=1800.63
T1=9.8
 SAT
f=193
TT=1782.74
T1=0.06
 OPT
f=191
TT=1348.74
T1=0.48
 SAT (TO)
f=193
TT=1800.49
T1=24.86
 SAT (TO)
f=193
TT=1800.91
T1=25.01
 SAT (TO)
f=191
TT=1800.67
T1=20.15
 SAT (TO)
f=191
TT=1800.66
T1=7.54
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii32b2.opb		 OPT
f=244
TT=3.337
T1=0.29
 OPT
f=244
TT=225.999
T1=40.37
 SAT
f=244
TT=1800.04
T1=44.21
 ? (TO)

TT=1800.7

 OPT
f=244
TT=7.831
T1=0.47
 OPT
f=244
TT=8.761
T1=1.24
 OPT
f=244
TT=3.337
T1=0.46
 OPT
f=244
TT=4.332
T1=1.15
 OPT
f=244
TT=8.94
T1=0.29
 OPT
f=244
TT=65.4
T1=3.26
 SAT (TO)
f=244
TT=1801.1
T1=4.14
 SAT (TO)
f=244
TT=1800.73
T1=4.24
 ? (TO)

TT=1800.47

 SAT (TO)
f=244
TT=1800.58
T1=6.87
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii32b3.opb		 OPT
f=331
TT=20.609
T1=0.15
 SAT (TO)
f=331
TT=1800.93
T1=374.39
 SAT
f=331
TT=1800.02
T1=186.95
 ? (TO)

TT=1800.63

 OPT
f=331
TT=20.609
T1=0.93
 OPT
f=331
TT=72.878
T1=3.17
 OPT
f=331
TT=60.316
T1=42.56
 OPT
f=331
TT=35.182
T1=5.65
 OPT
f=331
TT=50.42
T1=0.15
 OPT
f=331
TT=103.856
T1=0.15
 SAT (TO)
f=331
TT=1800.76
T1=8.84
 SAT (TO)
f=331
TT=1800.55
T1=8.96
 ? (TO)

TT=1800.45

 SAT (TO)
f=331
TT=1800.43
T1=18.81
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii32b4.opb		 OPT
f=376
TT=2.828
T1=0.22
 OPT
f=376
TT=155.422
T1=46.83
 OPT
f=376
TT=131.529
T1=3.35
 ? (TO)

TT=1800.57

 OPT
f=376
TT=2.828
T1=0.38
 OPT
f=376
TT=6.22
T1=1.94
 OPT
f=376
TT=9.843
T1=6.69
 OPT
f=376
TT=10.98
T1=7.21
 OPT
f=376
TT=5.99
T1=0.24
 OPT
f=376
TT=13.228
T1=0.22
 OPT
f=376
TT=45.754
T1=1.28
 OPT
f=376
TT=44.848
T1=1.23
 ? (TO)

TT=1800.63

 SAT (TO)
f=376
TT=1800.54
T1=18.88
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii32c1.opb		 OPT
f=167
TT=15.224
T1=4.43
 SAT (TO)
f=190
TT=1800.38
T1=1050.37
 OPT
f=167
TT=503.599
T1=12.87
 ? (TO)

TT=1800.46

 OPT
f=167
TT=15.224
T1=4.43
 ? (TO)

TT=1800.59

 SAT (TO)
f=178
TT=1800.7
T1=0.28
 SAT (TO)
f=178
TT=1800.64
T1=3.66
 SAT
f=168
TT=1782.74
T1=16.08
 OPT
f=167
TT=1319.49
T1=18.7
 SAT (TO)
f=167
TT=1800.43
T1=1358.1
 SAT (TO)
f=167
TT=1800.94
T1=1296.56
 SAT (TO)
f=167
TT=1800.49
T1=208.63
 SAT (TO)
f=167
TT=1800.52
T1=9.49
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii32c2.opb		 OPT
f=207
TT=176.905
T1=9.67
 SAT (TO)
f=230
TT=1800.61
T1=471.31
 SAT
f=207
TT=1800.02
T1=85.69
 ? (TO)

TT=1800.66

 OPT
f=207
TT=176.905
T1=63.26
 ? (TO)

TT=1800.54

 SAT (TO)
f=214
TT=1800.69
T1=0.45
 SAT (TO)
f=213
TT=1800.86
T1=45.85
 SAT
f=210
TT=1782.74
T1=0.26
 SAT
f=207
TT=1782.74
T1=98.59
 SAT (TO)
f=209
TT=1800.27
T1=768.29
 SAT (TO)
f=209
TT=1800.36
T1=805.69
 SAT (TO)
f=207
TT=1800.55
T1=21.82
 SAT (TO)
f=207
TT=1800.65
T1=9.67
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii32c3.opb		 OPT
f=261
TT=20.023
T1=3.67
 SAT (TO)
f=267
TT=1800.38
T1=230.7
 SAT
f=261
TT=1800.07
T1=1659.26
 ? (TO)

TT=1800.66

 OPT
f=261
TT=80.966
T1=12.46
 OPT
f=261
TT=404.095
T1=18.65
 OPT
f=261
TT=20.023
T1=3.67
 OPT
f=261
TT=23.758
T1=7.23
 OPT
f=261
TT=118.06
T1=3.7
 OPT
f=261
TT=340.281
T1=7.91
 SAT (TO)
f=261
TT=1800.86
T1=356.94
 SAT (TO)
f=261
TT=1800.74
T1=354.52
 ? (TO)

TT=1800.56

 SAT (TO)
f=261
TT=1800.77
T1=15.51
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii32c4.opb		 OPT
f=736
TT=7.322
T1=1.05
 SAT (TO)
f=736
TT=1800.88
T1=524.88
 OPT
f=736
TT=611.159
T1=15.93
 ? (TO)

TT=1800.72

 OPT
f=736
TT=7.322
T1=1.34
 ? (TO)

TT=1800.74

 SAT (TO)
f=736
TT=1800.46
T1=76.16
 SAT (TO)
f=736
TT=1800.59
T1=78.99
 SAT
f=736
TT=1782.76
T1=1.06
 OPT
f=736
TT=52.439
T1=1.05
 OPT
f=736
TT=176.205
T1=2.3
 OPT
f=736
TT=186.141
T1=2.19
 ? (TO)

TT=1800.64

 ? (TO)

TT=1800.64
Bench nameBest results
on this
instance		absconPseudo
1		bsolo
2006/05		glpPB
0.2		minisat+
1.14		PBS
4.1L		PB-smodels
1.28		PB-smodels
1.31		Pueblo
1.3		Pueblo
1.4		SAT4JPSEUDO
2006.2		SAT4JPSEUDO
2006.2 Heuristics		wildcat-rnp
0.8.0		wildcat-skc
0.8.0
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii32d1.opb		 SAT
f=285
TT=1782.77
T1=3.09
 SAT (TO)
f=318
TT=1801.03
T1=139.16
 SAT
f=287
TT=1800.07
T1=1260.98
 ? (TO)

TT=1800.73

 SAT (TO)
f=285
TT=1800.68
T1=792.52
 ? (TO)

TT=1800.68

 SAT (TO)
f=295
TT=1800.76
T1=11.83
 SAT (TO)
f=292
TT=1800.62
T1=359.65
 SAT
f=296
TT=1782.73
T1=79.13
 SAT
f=285
TT=1782.77
T1=3.09
 SAT (TO)
f=293
TT=1800.32
T1=326.32
 SAT (TO)
f=293
TT=1800.92
T1=333.37
 ? (TO)

TT=1800.56

 SAT (TO)
f=285
TT=1800.65
T1=9.92
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii32d2.opb		 SAT
f=372
TT=1782.74
T1=11.35
 ? (TO)

TT=1800.6

 SAT
f=372
TT=1800.02
T1=11.35
 ? (TO)

TT=1800.6

 SAT (TO)
f=372
TT=1800.62
T1=178.28
 ? (TO)

TT=1800.58

 SAT (TO)
f=373
TT=1800.78
T1=2.62
 SAT (TO)
f=372
TT=1800.91
T1=218.35
 SAT
f=372
TT=1782.74
T1=102.48
 SAT
f=372
TT=1782.75
T1=62.07
 SAT (TO)
f=375
TT=1800.41
T1=930.35
 SAT (TO)
f=375
TT=1800.86
T1=887.97
 ? (TO)

TT=1800.67

 SAT (TO)
f=372
TT=1800.56
T1=24.51
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii32d3.opb		 OPT
f=802
TT=76.655
T1=4.35
 ? (TO)

TT=1800.64

 SAT
f=817
TT=1800.08
T1=1.65
 ? (TO)

TT=1800.63

 OPT
f=802
TT=76.655
T1=36.84
 ? (TO)

TT=1800.56

 SAT (TO)
f=802
TT=1800.18
T1=155.43
 ? (TO)

TT=1800.33

 SAT
f=802
TT=1782.77
T1=4.35
 OPT
f=802
TT=1363.21
T1=4.39
 SAT (TO)
f=802
TT=1800.27
T1=1760.65
 SAT (TO)
f=802
TT=1800.22
T1=1771.76
 ? (TO)

TT=1800.66

 ? (TO)

TT=1800.64
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii32e1.opb		 OPT
f=162
TT=22.588
T1=7.18
 SAT (TO)
f=198
TT=1800.5
T1=785.11
 OPT
f=162
TT=980.434
T1=20.82
 ? (TO)

TT=1800.6

 OPT
f=162
TT=22.588
T1=7.18
 ? (TO)

TT=1800.49

 SAT (TO)
f=188
TT=1800.79
T1=173.02
 SAT (TO)
f=162
TT=1800.86
T1=8.44
 SAT
f=162
TT=1782.73
T1=14.4
 SAT
f=162
TT=1782.74
T1=9.15
 SAT (TO)
f=163
TT=1801.19
T1=525.78
 SAT (TO)
f=163
TT=1800.42
T1=525.71
 SAT (TO)
f=162
TT=1800.55
T1=29.07
 SAT (TO)
f=162
TT=1800.19
T1=9.24
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii32e2.opb		 OPT
f=235
TT=263.922
T1=1.91
 SAT (TO)
f=248
TT=1800.7
T1=652.61
 SAT
f=235
TT=1800.09
T1=24.6
 ? (TO)

TT=1800.56

 OPT
f=235
TT=263.922
T1=17.38
 ? (TO)

TT=1800.63

 SAT (TO)
f=235
TT=1800.61
T1=1.91
 SAT (TO)
f=235
TT=1800.8
T1=2.67
 SAT
f=235
TT=1782.73
T1=3.54
 Signal

TT=1220.86

 SAT (TO)
f=235
TT=1800.16
T1=2.45
 SAT (TO)
f=235
TT=1800.15
T1=2.55
 SAT (TO)
f=235
TT=1800.51
T1=12.83
 SAT (TO)
f=235
TT=1800.49
T1=10.66
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii32e3.opb		 OPT
f=310
TT=26.079
T1=0.39
 ? (TO)

TT=1800.68

 SAT
f=310
TT=1800.12
T1=465.94
 ? (TO)

TT=1800.6

 OPT
f=310
TT=26.079
T1=3.28
 OPT
f=310
TT=428.966
T1=1.59
 OPT
f=310
TT=327.041
T1=234.51
 OPT
f=310
TT=134.275
T1=4.14
 OPT
f=310
TT=117.758
T1=0.39
 OPT
f=310
TT=98.859
T1=0.39
 SAT (TO)
f=310
TT=1800.52
T1=44.35
 SAT (TO)
f=310
TT=1800.75
T1=43.93
 ? (TO)

TT=1800.67

 SAT (TO)
f=310
TT=1800.67
T1=15.75
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii32e4.opb		 OPT
f=364
TT=32.348
T1=0.65
 SAT (TO)
f=373
TT=1800.74
T1=185.92
 SAT
f=364
TT=1800.01
T1=52.92
 ? (TO)

TT=1800.5

 OPT
f=364
TT=32.348
T1=5.61
 ? (TO)

TT=1800.62

 SAT (TO)
f=366
TT=1800.98
T1=1322.24
 OPT
f=364
TT=1495.31
T1=12.1
 OPT
f=364
TT=1097.85
T1=0.65
 OPT
f=364
TT=107.263
T1=2.45
 SAT (TO)
f=364
TT=1800.6
T1=71.49
 SAT (TO)
f=364
TT=1800.39
T1=74.11
 ? (TO)

TT=1800.7

 SAT (TO)
f=364
TT=1800.7
T1=23.77
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii32e5.opb		 OPT
f=503
TT=83.939
T1=10.04
 SAT (TO)
f=511
TT=1801.04
T1=185.37
 SAT (TO)
f=503
TT=1800.03
T1=133.49
 ? (TO)

TT=1800.69

 OPT
f=503
TT=83.939
T1=10.12
 OPT
f=503
TT=296.087
T1=33.97
 OPT
f=503
TT=349.423
T1=278.16
 OPT
f=503
TT=130.201
T1=19.34
 OPT
f=503
TT=191.319
T1=17.98
 OPT
f=503
TT=440.419
T1=10.04
 SAT (TO)
f=503
TT=1800.83
T1=908.11
 SAT (TO)
f=503
TT=1801.11
T1=897.85
 ? (TO)

TT=1800.5

 SAT (TO)
f=503
TT=1800.7
T1=39.91
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii8a1.opb		 OPT
f=54
TT=0.216
T1=0.01
 OPT
f=54
TT=5.541
T1=2.58
 OPT
f=54
TT=2.19
T1=0.08
 OPT
f=54
TT=2.204
T1=2.2
 OPT
f=54
TT=0.79
T1=0.08
 OPT
f=54
TT=0.651
T1=0.05
 OPT
f=54
TT=0.224
T1=0.13
 OPT
f=54
TT=0.216
T1=0.06
 OPT
f=54
TT=0.581
T1=0.01
 OPT
f=54
TT=0.383
T1=0.02
 OPT
f=54
TT=11.468
T1=0.76
 OPT
f=54
TT=10.837
T1=0.72
 SAT (TO)
f=54
TT=1800.67
T1=5.67
 SAT (TO)
f=54
TT=1800.49
T1=4.24
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii8a2.opb		 SAT
f=139
TT=1782.73
T1=1.15
 ? (TO)

TT=1800.41

 SAT
f=139
TT=1800.03
T1=26.23
 ? (TO)

TT=1800.54

 SAT (TO)
f=139
TT=1800.67
T1=135.39
 ? (TO)

TT=1800.65

 SAT (TO)
f=148
TT=1800.81
T1=0.17
 SAT (TO)
f=140
TT=1800.91
T1=457.41
 SAT
f=145
TT=1782.73
T1=15.22
 SAT
f=139
TT=1782.73
T1=1.15
 SAT (TO)
f=139
TT=1800.24
T1=37.16
 SAT (TO)
f=144
TT=1800.17
T1=775.11
 SAT (TO)
f=139
TT=1800.79
T1=12.31
 SAT (TO)
f=139
TT=1800.53
T1=10.77
Bench nameBest results
on this
instance		absconPseudo
1		bsolo
2006/05		glpPB
0.2		minisat+
1.14		PBS
4.1L		PB-smodels
1.28		PB-smodels
1.31		Pueblo
1.3		Pueblo
1.4		SAT4JPSEUDO
2006.2		SAT4JPSEUDO
2006.2 Heuristics		wildcat-rnp
0.8.0		wildcat-skc
0.8.0
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii8a3.opb		 SAT
f=191
TT=1800.52
T1=8.18
 SAT (TO)
f=194
TT=1800.78
T1=4.44
 SAT
f=199
TT=1800.01
T1=420.78
 ? (TO)

TT=1800.5

 SAT (TO)
f=192
TT=1800.94
T1=2.39
 ? (TO)

TT=1800.7

 SAT (TO)
f=207
TT=1800.82
T1=0.43
 SAT (TO)
f=206
TT=1800.59
T1=0.45
 SAT
f=203
TT=1782.74
T1=1087.51
 SAT
f=201
TT=1782.75
T1=302.34
 SAT (TO)
f=194
TT=1800.97
T1=0.66
 SAT (TO)
f=194
TT=1800.33
T1=0.8
 SAT (TO)
f=191
TT=1800.67
T1=10.73
 SAT (TO)
f=191
TT=1800.52
T1=8.18
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii8a4.opb		 SAT
f=283
TT=1800.03
T1=2.83
 ? (TO)

TT=1800.59

 SAT
f=283
TT=1800.03
T1=56.75
 ? (TO)

TT=1800.66

 SAT (TO)
f=283
TT=1800.65
T1=2.83
 ? (TO)

TT=1800.6

 SAT (TO)
f=307
TT=1800.72
T1=1.17
 SAT (TO)
f=307
TT=1800.75
T1=1.15
 SAT
f=313
TT=1782.74
T1=0.06
 SAT
f=288
TT=1782.74
T1=1.71
 SAT (TO)
f=313
TT=1800.63
T1=122.3
 SAT (TO)
f=313
TT=1800.54
T1=119.6
 SAT (TO)
f=283
TT=1800.71
T1=16.83
 SAT (TO)
f=283
TT=1800.66
T1=8.27
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii8b1.opb		 OPT
f=191
TT=30.144
T1=4.38
 SAT (TO)
f=255
TT=1800.57
T1=1.07
 SAT
f=191
TT=1800.21
T1=515.25
 OPT
f=191
TT=30.144
T1=30.15
 SAT (TO)
f=191
TT=1800.55
T1=4.38
 ? (TO)

TT=1800.63

 SAT (TO)
f=200
TT=1800.77
T1=0.73
 SAT (TO)
f=201
TT=1800.87
T1=0.74
 SAT
f=214
TT=1782.73
T1=0.04
 SAT
f=191
TT=1782.76
T1=393.84
 SAT (TO)
f=227
TT=1801.18
T1=2.97
 SAT (TO)
f=227
TT=1801.46
T1=3.05
 SAT (TO)
f=191
TT=1800.55
T1=12.61
 SAT (TO)
f=191
TT=1800.7
T1=12.26
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii8b2.opb		 SAT
f=379
TT=1800.62
T1=13.39
 SAT (TO)
f=393
TT=1800.63
T1=1.28
 SAT
f=381
TT=1800.09
T1=1280.53
 ? (TO)

TT=1800.79

 SAT (TO)
f=380
TT=1800.48
T1=78.26
 ? (TO)

TT=1800.52

 SAT (TO)
f=403
TT=1800.87
T1=2.12
 SAT (TO)
f=384
TT=1800.9
T1=3.94
 SAT
f=405
TT=1782.74
T1=0.08
 SAT
f=387
TT=1782.74
T1=27.91
 SAT (TO)
f=410
TT=1800.64
T1=1.43
 SAT (TO)
f=410
TT=1800.41
T1=1.53
 ? (TO)

TT=1800.49

 SAT (TO)
f=379
TT=1800.62
T1=13.39
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii8b3.opb		 SAT
f=507
TT=1800.43
T1=29.56
 ? (TO)

TT=1800.79

 SAT
f=555
TT=1800.01
T1=1514.13
 ? (TO)

TT=1800.62

 SAT (TO)
f=507
TT=1800.43
T1=29.56
 ? (TO)

TT=1800.61

 SAT (TO)
f=544
TT=1800.81
T1=4.86
 SAT (TO)
f=511
TT=1800.99
T1=4.83
 SAT
f=512
TT=1782.75
T1=3.65
 SAT
f=522
TT=1782.74
T1=20.64
 SAT (TO)
f=556
TT=1801.02
T1=1.36
 SAT (TO)
f=556
TT=1801.09
T1=1.54
 ? (TO)

TT=1800.6

 SAT (TO)
f=507
TT=1800.71
T1=44.62
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii8b4.opb		 SAT
f=654
TT=1800.5
T1=231.12
 ? (TO)

TT=1800.83

 SAT
f=720
TT=1800.01
T1=381.02
 ? (TO)

TT=1800.57

 SAT (TO)
f=767
TT=1800.54
T1=5.23
 ? (TO)

TT=1800.61

 SAT (TO)
f=705
TT=1800.94
T1=8.91
 SAT (TO)
f=659
TT=1801
T1=57.04
 SAT
f=671
TT=1782.74
T1=1017.14
 SAT
f=671
TT=1782.76
T1=1496.21
 SAT (TO)
f=702
TT=1801.01
T1=1.6
 SAT (TO)
f=702
TT=1800.37
T1=1.68
 ? (TO)

TT=1800.51

 SAT (TO)
f=654
TT=1800.5
T1=231.12
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii8c1.opb		 SAT
f=302
TT=1800.55
T1=1.24
 SAT (TO)
f=302
TT=1800.82
T1=1.24
 SAT
f=350
TT=1800.22
T1=832.24
 ? (TO)

TT=1800.67

 SAT (TO)
f=315
TT=1800.47
T1=0.1
 ? (TO)

TT=1800.58

 SAT (TO)
f=317
TT=1800.64
T1=1.89
 SAT (TO)
f=302
TT=1800.79
T1=3.49
 SAT
f=351
TT=1782.74
T1=306.05
 SAT
f=323
TT=1782.75
T1=5.06
 SAT (TO)
f=315
TT=1800.77
T1=0.81
 SAT (TO)
f=315
TT=1800.7
T1=0.87
 SAT (TO)
f=302
TT=1800.61
T1=16.45
 SAT (TO)
f=302
TT=1800.55
T1=21.19
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii8c2.opb		 SAT
f=525
TT=1800.69
T1=58.76
 ? (TO)

TT=1800.59

 SAT
f=665
TT=1800.01
T1=14.14
 ? (TO)

TT=1800.71

 SAT (TO)
f=525
TT=1800.75
T1=134.25
 ? (TO)

TT=1800.58

 SAT (TO)
f=540
TT=1800.93
T1=7.58
 SAT (TO)
f=558
TT=1800.99
T1=7.63
 SAT
f=583
TT=1782.75
T1=0.16
 SAT
f=583
TT=1782.75
T1=0.18
 SAT (TO)
f=536
TT=1800.66
T1=71.7
 SAT (TO)
f=536
TT=1800.32
T1=72.69
 SAT (TO)
f=633
TT=1800.71
T1=1785.92
 SAT (TO)
f=525
TT=1800.69
T1=58.76
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii8d1.opb		 SAT
f=343
TT=1800.59
T1=0.73
 ? (TO)

TT=1800.58

 SAT
f=360
TT=1800.21
T1=825.47
 ? (TO)

TT=1800.7

 SAT (TO)
f=343
TT=1800.78
T1=0.73
 ? (TO)

TT=1800.62

 SAT (TO)
f=369
TT=1800.9
T1=1.85
 SAT (TO)
f=372
TT=1800.91
T1=62.59
 SAT
f=359
TT=1782.74
T1=0.09
 SAT
f=372
TT=1782.74
T1=1197.16
 SAT (TO)
f=389
TT=1800.64
T1=0.96
 SAT (TO)
f=389
TT=1801.18
T1=1.08
 SAT (TO)
f=343
TT=1800.59
T1=251.85
 SAT (TO)
f=343
TT=1800.7
T1=13.17
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii8d2.opb		 SAT
f=540
TT=1800.63
T1=25.07
 ? (TO)

TT=1800.78

 SAT
f=602
TT=1800.01
T1=22.1
 ? (TO)

TT=1800.72

 SAT (TO)
f=540
TT=1800.68
T1=379.75
 ? (TO)

TT=1800.66

 SAT (TO)
f=613
TT=1800.72
T1=8.29
 SAT (TO)
f=587
TT=1800.91
T1=8.88
 SAT
f=555
TT=1782.74
T1=1.93
 SAT
f=553
TT=1782.75
T1=2.69
 SAT (TO)
f=619
TT=1800.43
T1=1.37
 SAT (TO)
f=619
TT=1800.94
T1=1.33
 SAT (TO)
f=721
TT=1800.5
T1=1743.52
 SAT (TO)
f=540
TT=1800.63
T1=25.07
Bench nameBest results
on this
instance		absconPseudo
1		bsolo
2006/05		glpPB
0.2		minisat+
1.14		PBS
4.1L		PB-smodels
1.28		PB-smodels
1.31		Pueblo
1.3		Pueblo
1.4		SAT4JPSEUDO
2006.2		SAT4JPSEUDO
2006.2 Heuristics		wildcat-rnp
0.8.0		wildcat-skc
0.8.0
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii8e1.opb		 SAT
f=343
TT=1782.74
T1=11.7
 ? (TO)

TT=1800.68

 SAT
f=373
TT=1800.04
T1=929
 ? (TO)

TT=1800.48

 SAT (TO)
f=357
TT=1800.54
T1=95.31
 ? (TO)

TT=1800.59

 SAT (TO)
f=345
TT=1800.73
T1=1.92
 SAT (TO)
f=345
TT=1800.85
T1=12.22
 SAT
f=378
TT=1782.74
T1=3.41
 SAT
f=343
TT=1782.74
T1=47.9
 SAT (TO)
f=410
TT=1801.18
T1=0.89
 SAT (TO)
f=405
TT=1800.41
T1=98.97
 SAT (TO)
f=343
TT=1800.7
T1=14.57
 SAT (TO)
f=343
TT=1800.52
T1=11.7
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ii8e2.opb		 SAT
f=494
TT=1800.17
T1=25.4
 ? (TO)

TT=1800.53

 SAT
f=608
TT=1800.01
T1=246.99
 ? (TO)

TT=1800.71

 SAT (TO)
f=494
TT=1800.17
T1=37.89
 ? (TO)

TT=1800.68

 SAT (TO)
f=543
TT=1800.82
T1=6.06
 SAT (TO)
f=517
TT=1801.05
T1=34.59
 SAT
f=501
TT=1782.75
T1=0.15
 SAT
f=512
TT=1782.74
T1=5.99
 SAT (TO)
f=515
TT=1800.96
T1=16.15
 SAT (TO)
f=515
TT=1801.17
T1=15.33
 SAT (TO)
f=494
TT=1800.65
T1=38.18
 SAT (TO)
f=494
TT=1800.8
T1=25.4
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-jnh12.opb		 OPT
f=94
TT=0.015
T1=0.02
 OPT
f=94
TT=2.282
T1=1.08
 OPT
f=94
TT=5.332
T1=5.31
 OPT
f=94
TT=21.311
T1=21.31
 OPT
f=94
TT=0.09
T1=0.07
 OPT
f=94
TT=0.015
T1=0.02
 OPT
f=94
TT=0.145
T1=0.1
 OPT
f=94
TT=0.154
T1=0.11
 OPT
f=94
TT=0.02
T1=0.02
 OPT
f=94
TT=0.023
T1=0.02
 OPT
f=94
TT=1.362
T1=0.53
 OPT
f=94
TT=1.336
T1=0.53
 SAT (TO)
f=94
TT=1800.53
T1=9.84
 SAT (TO)
f=94
TT=1800.58
T1=15.83
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-jnh17.opb		 OPT
f=95
TT=0.023
T1=0.02
 OPT
f=95
TT=23.615
T1=2.69
 OPT
f=95
TT=12.735
T1=4.84
 OPT
f=95
TT=59.151
T1=59.17
 OPT
f=95
TT=0.136
T1=0.1
 OPT
f=95
TT=0.024
T1=0.02
 OPT
f=95
TT=0.146
T1=0.1
 OPT
f=95
TT=0.163
T1=0.12
 OPT
f=95
TT=0.023
T1=0.02
 OPT
f=95
TT=0.03
T1=0.02
 OPT
f=95
TT=1.769
T1=0.94
 OPT
f=95
TT=1.67
T1=0.84
 SAT (TO)
f=95
TT=1800.58
T1=8.69
 SAT (TO)
f=95
TT=1800.58
T1=6.81
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-jnh1.opb		 OPT
f=92
TT=0.074
T1=0.02
 OPT
f=92
TT=32.713
T1=13.61
 OPT
f=92
TT=33.961
T1=1.28
 OPT
f=92
TT=604.022
T1=604.2
 OPT
f=92
TT=0.29
T1=0.18
 OPT
f=92
TT=0.074
T1=0.05
 OPT
f=92
TT=0.215
T1=0.14
 OPT
f=92
TT=0.235
T1=0.15
 OPT
f=92
TT=0.104
T1=0.02
 OPT
f=92
TT=0.264
T1=0.02
 OPT
f=92
TT=6.713
T1=1.46
 OPT
f=92
TT=6.347
T1=1.41
 SAT (TO)
f=92
TT=1800.67
T1=12.54
 SAT (TO)
f=92
TT=1800.74
T1=7.64
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-jnh201.opb		 OPT
f=84
TT=6.672
T1=1.1
 SAT (TO)
f=87
TT=1800.45
T1=8.43
 OPT
f=84
TT=1504.58
T1=1304.47
 ? (TO)

TT=1800.73

 OPT
f=84
TT=55.027
T1=45.67
 OPT
f=84
TT=103.139
T1=91.44
 OPT
f=84
TT=6.672
T1=1.1
 OPT
f=84
TT=7.843
T1=3.55
 OPT
f=84
TT=21.318
T1=19.86
 OPT
f=84
TT=52.507
T1=30.5
 SAT (TO)
f=87
TT=1800.11
T1=30.07
 SAT (TO)
f=87
TT=1800.58
T1=30.22
 SAT (TO)
f=84
TT=1800.64
T1=11.22
 SAT (TO)
f=84
TT=1800.65
T1=8.96
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-jnh204.opb		 OPT
f=93
TT=0.038
T1=0.02
 OPT
f=93
TT=116.474
T1=107.01
 OPT
f=93
TT=122.152
T1=58.88
 OPT
f=93
TT=1261.14
T1=1261.47
 OPT
f=93
TT=0.164
T1=0.13
 OPT
f=93
TT=0.038
T1=0.03
 OPT
f=93
TT=0.2
T1=0.13
 OPT
f=93
TT=0.186
T1=0.14
 OPT
f=93
TT=0.04
T1=0.03
 OPT
f=93
TT=0.05
T1=0.02
 OPT
f=93
TT=2.807
T1=1.42
 OPT
f=93
TT=3.884
T1=1.58
 SAT (TO)
f=93
TT=1800.8
T1=22.14
 SAT (TO)
f=93
TT=1800.72
T1=8.48
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-jnh205.opb		 OPT
f=94
TT=0.02
T1=0.02
 OPT
f=94
TT=99.634
T1=88.07
 OPT
f=94
TT=12.77
T1=9.95
 OPT
f=94
TT=43.199
T1=43.21
 OPT
f=94
TT=0.093
T1=0.04
 OPT
f=94
TT=0.02
T1=0.02
 OPT
f=94
TT=0.149
T1=0.11
 OPT
f=94
TT=0.153
T1=0.13
 OPT
f=94
TT=0.026
T1=0.02
 OPT
f=94
TT=0.027
T1=0.02
 OPT
f=94
TT=1.725
T1=0.93
 OPT
f=94
TT=2.041
T1=1.04
 SAT (TO)
f=94
TT=1800.6
T1=13.26
 SAT (TO)
f=94
TT=1800.44
T1=8.4
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-jnh207.opb		 OPT
f=95
TT=0.022
T1=0.02
 OPT
f=95
TT=18.179
T1=16.77
 OPT
f=95
TT=34.142
T1=3.69
 OPT
f=95
TT=258.167
T1=258.23
 OPT
f=95
TT=0.079
T1=0.05
 OPT
f=95
TT=0.022
T1=0.02
 OPT
f=95
TT=0.147
T1=0.11
 OPT
f=95
TT=0.152
T1=0.11
 OPT
f=95
TT=0.029
T1=0.02
 OPT
f=95
TT=0.028
T1=0.02
 OPT
f=95
TT=1.387
T1=0.73
 OPT
f=95
TT=1.515
T1=0.75
 ? (TO)

TT=1800.5

 SAT (TO)
f=95
TT=1800.71
T1=11.48
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-jnh209.opb		 OPT
f=93
TT=0.04
T1=0.02
 OPT
f=93
TT=43.463
T1=2.55
 OPT
f=93
TT=14.621
T1=7.72
 OPT
f=93
TT=336.345
T1=336.45
 OPT
f=93
TT=0.19
T1=0.1
 OPT
f=93
TT=0.04
T1=0.02
 OPT
f=93
TT=0.166
T1=0.11
 OPT
f=93
TT=0.179
T1=0.12
 OPT
f=93
TT=0.044
T1=0.02
 OPT
f=93
TT=0.058
T1=0.02
 OPT
f=93
TT=2.884
T1=1.03
 OPT
f=93
TT=3.162
T1=1.02
 SAT (TO)
f=93
TT=1800.71
T1=9.83
 SAT (TO)
f=93
TT=1800.62
T1=9.04
Bench nameBest results
on this
instance		absconPseudo
1		bsolo
2006/05		glpPB
0.2		minisat+
1.14		PBS
4.1L		PB-smodels
1.28		PB-smodels
1.31		Pueblo
1.3		Pueblo
1.4		SAT4JPSEUDO
2006.2		SAT4JPSEUDO
2006.2 Heuristics		wildcat-rnp
0.8.0		wildcat-skc
0.8.0
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-jnh210.opb		 OPT
f=88
TT=0.181
T1=0.05
 OPT
f=88
TT=134.046
T1=16.59
 OPT
f=88
TT=24.171
T1=24.08
 OPT
f=88
TT=110.983
T1=111.01
 OPT
f=88
TT=0.712
T1=0.14
 OPT
f=88
TT=0.419
T1=0.11
 OPT
f=88
TT=0.298
T1=0.19
 OPT
f=88
TT=0.303
T1=0.2
 OPT
f=88
TT=0.181
T1=0.05
 OPT
f=88
TT=0.262
T1=0.09
 OPT
f=88
TT=39.708
T1=7.8
 OPT
f=88
TT=40.086
T1=7.69
 SAT (TO)
f=88
TT=1800.6
T1=10.05
 SAT (TO)
f=88
TT=1800.64
T1=11.24
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-jnh212.opb		 OPT
f=97
TT=0.023
T1=0.02
 OPT
f=97
TT=17.961
T1=7.93
 OPT
f=97
TT=14.256
T1=8.12
 OPT
f=97
TT=478.114
T1=478.24
 OPT
f=97
TT=0.1
T1=0.08
 OPT
f=97
TT=0.023
T1=0.02
 OPT
f=97
TT=0.146
T1=0.11
 OPT
f=97
TT=0.166
T1=0.11
 OPT
f=97
TT=0.03
T1=0.02
 OPT
f=97
TT=0.032
T1=0.02
 OPT
f=97
TT=1.519
T1=0.78
 OPT
f=97
TT=1.709
T1=0.76
 ? (TO)

TT=1800.68

 SAT (TO)
f=97
TT=1800.64
T1=9
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-jnh213.opb		 OPT
f=92
TT=0.022
T1=0.02
 OPT
f=92
TT=49.092
T1=9.77
 OPT
f=92
TT=6.919
T1=3.85
 OPT
f=92
TT=122.708
T1=122.74
 OPT
f=92
TT=0.136
T1=0.11
 OPT
f=92
TT=0.025
T1=0.02
 OPT
f=92
TT=0.151
T1=0.11
 OPT
f=92
TT=0.144
T1=0.1
 OPT
f=92
TT=0.022
T1=0.03
 OPT
f=92
TT=0.029
T1=0.02
 OPT
f=92
TT=1.328
T1=0.78
 OPT
f=92
TT=1.36
T1=0.77
 SAT (TO)
f=92
TT=1800.71
T1=10.67
 SAT (TO)
f=92
TT=1800.7
T1=8.87
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-jnh217.opb		 OPT
f=89
TT=0.557
T1=0.42
 OPT
f=89
TT=1397.78
T1=737.15
 OPT
f=89
TT=570.965
T1=75.67
 ? (TO)

TT=1800.76

 OPT
f=89
TT=1.313
T1=0.67
 OPT
f=89
TT=0.602
T1=0.56
 OPT
f=89
TT=0.616
T1=0.42
 OPT
f=89
TT=0.56
T1=0.51
 OPT
f=89
TT=0.557
T1=0.51
 OPT
f=89
TT=1.861
T1=0.7
 OPT
f=89
TT=142.553
T1=79.79
 OPT
f=89
TT=137.184
T1=76.74
 SAT (TO)
f=89
TT=1800.46
T1=9.15
 SAT (TO)
f=89
TT=1800.73
T1=9.6
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-jnh218.opb		 OPT
f=90
TT=0.034
T1=0.03
 OPT
f=90
TT=79.864
T1=47.02
 OPT
f=90
TT=9.844
T1=2.04
 OPT
f=90
TT=59.919
T1=59.94
 OPT
f=90
TT=0.169
T1=0.11
 OPT
f=90
TT=0.036
T1=0.03
 OPT
f=90
TT=0.165
T1=0.12
 OPT
f=90
TT=0.177
T1=0.13
 OPT
f=90
TT=0.034
T1=0.03
 OPT
f=90
TT=0.081
T1=0.04
 OPT
f=90
TT=3.19
T1=1.23
 OPT
f=90
TT=3.489
T1=1.46
 SAT (TO)
f=90
TT=1800.51
T1=9.13
 SAT (TO)
f=90
TT=1800.48
T1=7.26
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-jnh220.opb		 OPT
f=94
TT=0.04
T1=0.04
 OPT
f=94
TT=27.92
T1=19.8
 Signal

TT=29.261

 OPT
f=94
TT=1218.81
T1=1219.26
 OPT
f=94
TT=0.138
T1=0.11
 OPT
f=94
TT=0.041
T1=0.04
 OPT
f=94
TT=0.186
T1=0.13
 OPT
f=94
TT=0.184
T1=0.12
 OPT
f=94
TT=0.04
T1=0.04
 OPT
f=94
TT=0.045
T1=0.04
 OPT
f=94
TT=1.746
T1=0.8
 OPT
f=94
TT=1.915
T1=0.94
 ? (TO)

TT=1800.55

 SAT (TO)
f=94
TT=1800.63
T1=15.1
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-jnh301.opb		 OPT
f=95
TT=0.024
T1=0.02
 OPT
f=95
TT=20.968
T1=17.92
 OPT
f=95
TT=23.656
T1=3.3
 OPT
f=95
TT=1115.99
T1=1116.39
 OPT
f=95
TT=0.102
T1=0.08
 OPT
f=95
TT=0.024
T1=0.02
 OPT
f=95
TT=0.166
T1=0.12
 OPT
f=95
TT=0.187
T1=0.14
 OPT
f=95
TT=0.031
T1=0.03
 OPT
f=95
TT=0.035
T1=0.03
 OPT
f=95
TT=1.81
T1=0.99
 OPT
f=95
TT=1.678
T1=0.92
 SAT (TO)
f=95
TT=1800.44
T1=20.73
 SAT (TO)
f=95
TT=1800.51
T1=13.15
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-jnh7.opb		 OPT
f=89
TT=0.034
T1=0.02
 OPT
f=89
TT=25.822
T1=3.15
 OPT
f=89
TT=14.515
T1=13.09
 OPT
f=89
TT=27.493
T1=27.5
 OPT
f=89
TT=0.231
T1=0.19
 OPT
f=89
TT=0.042
T1=0.02
 OPT
f=89
TT=0.162
T1=0.12
 OPT
f=89
TT=0.163
T1=0.12
 OPT
f=89
TT=0.034
T1=0.03
 OPT
f=89
TT=0.058
T1=0.03
 OPT
f=89
TT=2.871
T1=0.83
 OPT
f=89
TT=3.178
T1=0.89
 SAT (TO)
f=89
TT=1800.74
T1=9.97
 SAT (TO)
f=89
TT=1800.63
T1=10.4
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-par16-1-c.opb		 OPT
f=317
TT=1.241
T1=0.34
 OPT
f=317
TT=230.022
T1=189.28
 SAT
f=317
TT=1800.06
T1=1.81
 ? (TO)

TT=1800.52

 OPT
f=317
TT=1.241
T1=0.34
 OPT
f=317
TT=3.3
T1=0.51
 OPT
f=317
TT=6.06
T1=1.32
 OPT
f=317
TT=6.342
T1=5.19
 OPT
f=317
TT=1.713
T1=0.88
 OPT
f=317
TT=1.81
T1=0.92
 OPT
f=317
TT=33.736
T1=24.36
 OPT
f=317
TT=33.599
T1=24.25
 ? (TO)

TT=1800.43

 ? (TO)

TT=1800.5
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par16-1.opb		 OPT
f=1015
TT=5.416
T1=0.43
 OPT
f=1015
TT=899.474
T1=165.51
 OPT
f=1015
TT=14.3
T1=12.57
 ? (TO)

TT=1800.57

 OPT
f=1015
TT=5.416
T1=0.43
 OPT
f=1015
TT=11.778
T1=1.66
 OPT
f=1015
TT=6.663
T1=6.37
 OPT
f=1015
TT=6.609
T1=1.83
 OPT
f=1015
TT=9.39
T1=1.33
 OPT
f=1015
TT=9.419
T1=1.32
 OPT
f=1015
TT=156.807
T1=126.87
 OPT
f=1015
TT=154.306
T1=124.94
 ? (TO)

TT=1800.49

 ? (TO)

TT=1800.45
Bench nameBest results
on this
instance		absconPseudo
1		bsolo
2006/05		glpPB
0.2		minisat+
1.14		PBS
4.1L		PB-smodels
1.28		PB-smodels
1.31		Pueblo
1.3		Pueblo
1.4		SAT4JPSEUDO
2006.2		SAT4JPSEUDO
2006.2 Heuristics		wildcat-rnp
0.8.0		wildcat-skc
0.8.0
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-par16-2-c.opb		 OPT
f=349
TT=1.506
T1=0.23
 OPT
f=349
TT=329.413
T1=208.39
 OPT
f=349
TT=12.47
T1=7.54
 ? (TO)

TT=1800.57

 OPT
f=349
TT=1.506
T1=0.41
 OPT
f=349
TT=5.17
T1=2.62
 OPT
f=349
TT=8.391
T1=4.48
 OPT
f=349
TT=8.668
T1=0.23
 OPT
f=349
TT=2.35
T1=0.89
 OPT
f=349
TT=2.181
T1=0.82
 OPT
f=349
TT=20.506
T1=16.95
 OPT
f=349
TT=26.101
T1=21.73
 ? (TO)

TT=1800.64

 ? (TO)

TT=1800.63
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par16-2.opb		 OPT
f=1015
TT=5.332
T1=0.54
 OPT
f=1015
TT=997.694
T1=831.39
 OPT
f=1015
TT=27.345
T1=18.53
 ? (TO)

TT=1800.66

 OPT
f=1015
TT=9.016
T1=0.54
 OPT
f=1015
TT=16.412
T1=8.72
 OPT
f=1015
TT=5.332
T1=2.96
 OPT
f=1015
TT=5.58
T1=1.37
 OPT
f=1015
TT=14.476
T1=1.59
 OPT
f=1015
TT=13.793
T1=1.49
 OPT
f=1015
TT=155.91
T1=121.3
 OPT
f=1015
TT=164.135
T1=127.59
 ? (TO)

TT=1800.49

 ? (TO)

TT=1800.58
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-par16-3-c.opb		 OPT
f=334
TT=1.115
T1=0.38
 OPT
f=334
TT=267.695
T1=56.33
 OPT
f=334
TT=10.525
T1=8.21
 ? (TO)

TT=1800.64

 OPT
f=334
TT=1.115
T1=0.38
 OPT
f=334
TT=5.427
T1=3.85
 OPT
f=334
TT=31.735
T1=8.2
 OPT
f=334
TT=32.297
T1=9.88
 OPT
f=334
TT=2.179
T1=1.84
 OPT
f=334
TT=2.141
T1=1.8
 OPT
f=334
TT=24.248
T1=11.49
 OPT
f=334
TT=25.618
T1=12.28
 ? (TO)

TT=1800.48

 ? (TO)

TT=1800.69
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par16-3.opb		 OPT
f=1015
TT=1.672
T1=0.87
 ? (TO)

TT=1800.56

 OPT
f=1015
TT=15.034
T1=14.96
 ? (TO)

TT=1800.66

 OPT
f=1015
TT=1.672
T1=0.87
 OPT
f=1015
TT=15.079
T1=9.2
 OPT
f=1015
TT=3.861
T1=3.11
 OPT
f=1015
TT=3.663
T1=1.87
 OPT
f=1015
TT=16.667
T1=3.73
 OPT
f=1015
TT=16.681
T1=3.68
 OPT
f=1015
TT=228.552
T1=143.22
 OPT
f=1015
TT=231.496
T1=144.2
 ? (TO)

TT=1800.49

 ? (TO)

TT=1800.78
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-par16-4-c.opb		 OPT
f=324
TT=0.423
T1=0.2
 OPT
f=324
TT=246.922
T1=244.99
 OPT
f=324
TT=7.663
T1=2.95
 ? (TO)

TT=1800.74

 OPT
f=324
TT=0.423
T1=0.24
 OPT
f=324
TT=2.443
T1=1.31
 OPT
f=324
TT=9.837
T1=3.44
 OPT
f=324
TT=11.251
T1=4.68
 OPT
f=324
TT=1.742
T1=0.2
 OPT
f=324
TT=3.372
T1=0.2
 OPT
f=324
TT=16.065
T1=14.03
 OPT
f=324
TT=16.753
T1=14.79
 ? (TO)

TT=1800.67

 ? (TO)

TT=1800.66
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par16-4.opb		 OPT
f=1015
TT=2.407
T1=0.38
 SAT (TO)
f=1015
TT=1800.85
T1=1785.89
 SAT
f=1015
TT=1800.24
T1=1.17
 ? (TO)

TT=1800.71

 OPT
f=1015
TT=2.407
T1=0.38
 OPT
f=1015
TT=7.031
T1=3.97
 OPT
f=1015
TT=3.089
T1=2.44
 OPT
f=1015
TT=2.952
T1=2.55
 OPT
f=1015
TT=7.662
T1=0.4
 OPT
f=1015
TT=8.194
T1=0.43
 OPT
f=1015
TT=95.67
T1=75.83
 OPT
f=1015
TT=99.2
T1=78.13
 ? (TO)

TT=1800.71

 ? (TO)

TT=1800.54
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-par16-5-c.opb		 OPT
f=341
TT=1.149
T1=0.2
 OPT
f=341
TT=309.925
T1=78.08
 OPT
f=341
TT=10.119
T1=7.5
 ? (TO)

TT=1800.66

 OPT
f=341
TT=1.149
T1=0.26
 OPT
f=341
TT=5.12
T1=1
 OPT
f=341
TT=18.283
T1=7.77
 OPT
f=341
TT=19.362
T1=14.75
 OPT
f=341
TT=4.169
T1=0.22
 OPT
f=341
TT=3.645
T1=0.2
 OPT
f=341
TT=29.533
T1=26.54
 OPT
f=341
TT=28.226
T1=25.17
 ? (TO)

TT=1800.67

 ? (TO)

TT=1800.71
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par16-5.opb		 OPT
f=1015
TT=1.535
T1=0.77
 SAT (TO)
f=1015
TT=1800.71
T1=1147.69
 OPT
f=1015
TT=24.561
T1=18.21
 ? (TO)

TT=1800.55

 OPT
f=1015
TT=1.535
T1=0.77
 OPT
f=1015
TT=22.74
T1=4.58
 OPT
f=1015
TT=8.424
T1=1.32
 OPT
f=1015
TT=8.417
T1=0.86
 OPT
f=1015
TT=4.558
T1=2.76
 OPT
f=1015
TT=4.542
T1=2.75
 OPT
f=1015
TT=159.599
T1=123.25
 OPT
f=1015
TT=139.76
T1=107.69
 ? (TO)

TT=1800.63

 ? (TO)

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



? (TO)

TT=1800.91

 ?

TT=1800.12

 ? (TO)

TT=1800.69

 ? (TO)

TT=1800.67

 ? (TO)

TT=1800.67

 ? (TO)

TT=1800.98

 ? (TO)

TT=1801.02

 ? (TO)

TT=1800.67

 ? (TO)

TT=1800.7

 ? (TO)

TT=1800.28

 ? (TO)

TT=1800.23

 ? (TO)

TT=1800.69

 ? (TO)

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



? (TO)

TT=1800.25

 ?

TT=1800.04

 ? (TO)

TT=1800.71

 ? (TO)

TT=1800.56

 ? (TO)

TT=1800.5

 ? (TO)

TT=1800.09

 ? (TO)

TT=1800.14

 ? (TO)

TT=1800.5

 ? (TO)

TT=1800.68

 ? (TO)

TT=1801.01

 ? (TO)

TT=1800.86

 ? (TO)

TT=1800.69

 ? (TO)

TT=1800.76
Bench nameBest results
on this
instance		absconPseudo
1		bsolo
2006/05		glpPB
0.2		minisat+
1.14		PBS
4.1L		PB-smodels
1.28		PB-smodels
1.31		Pueblo
1.3		Pueblo
1.4		SAT4JPSEUDO
2006.2		SAT4JPSEUDO
2006.2 Heuristics		wildcat-rnp
0.8.0		wildcat-skc
0.8.0
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-par32-2-c.opb



? (TO)

TT=1800.69

 ?

TT=1800.06

 ? (TO)

TT=1800.72

 ? (TO)

TT=1800.65

 ? (TO)

TT=1800.57

 ? (TO)

TT=1800.92

 ? (TO)

TT=1800.76

 ? (TO)

TT=1800.71

 ? (TO)

TT=1800.47

 ? (TO)

TT=1800.14

 ? (TO)

TT=1800.39

 ? (TO)

TT=1800.66

 ? (TO)

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



? (TO)

TT=1800.67

 ?

TT=1800.06

 ? (TO)

TT=1800.65

 ? (TO)

TT=1800.45

 ? (TO)

TT=1800.61

 ? (TO)

TT=1800.14

 ? (TO)

TT=1800.12

 ? (TO)

TT=1800.58

 ? (TO)

TT=1800.42

 ? (TO)

TT=1800.61

 ? (TO)

TT=1800.41

 ? (TO)

TT=1800.64

 ? (TO)

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



? (TO)

TT=1800.64

 ?

TT=1800.06

 ? (TO)

TT=1800.72

 ? (TO)

TT=1800.37

 ? (TO)

TT=1800.47

 ? (TO)

TT=1800.91

 ? (TO)

TT=1800.93

 ? (TO)

TT=1800.5

 ? (TO)

TT=1800.69

 ? (TO)

TT=1800.45

 ? (TO)

TT=1800.85

 ? (TO)

TT=1800.53

 ? (TO)

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



? (TO)

TT=1800.8

 ?

TT=1800.04

 ? (TO)

TT=1800.8

 ? (TO)

TT=1800.61

 ? (TO)

TT=1800.55

 ? (TO)

TT=1800.16

 ? (TO)

TT=1800.14

 ? (TO)

TT=1800.72

 ? (TO)

TT=1800.68

 ? (TO)

TT=1800.78

 ? (TO)

TT=1801.02

 ? (TO)

TT=1800.68

 ? (TO)

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



? (TO)

TT=1800.75

 ?

TT=1800.07

 ? (TO)

TT=1800.58

 ? (TO)

TT=1800.66

 ? (TO)

TT=1800.62

 ? (TO)

TT=1800.86

 ? (TO)

TT=1801.01

 ? (TO)

TT=1800.63

 ? (TO)

TT=1800.55

 ? (TO)

TT=1800.83

 ? (TO)

TT=1800.65

 ? (TO)

TT=1800.55

 ? (TO)

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



? (TO)

TT=1800.86

 ?

TT=1800.05

 ? (TO)

TT=1800.48

 ? (TO)

TT=1800.62

 ? (TO)

TT=1800.59

 ? (TO)

TT=1800.14

 ? (TO)

TT=1800.06

 ? (TO)

TT=1800.48

 ? (TO)

TT=1800.63

 ? (TO)

TT=1800.9

 ? (TO)

TT=1801.05

 ? (TO)

TT=1800.6

 ? (TO)

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



? (TO)

TT=1800.67

 ?

TT=1800.07

 ? (TO)

TT=1800.53

 ? (TO)

TT=1800.6

 ? (TO)

TT=1800.52

 ? (TO)

TT=1800.87

 ? (TO)

TT=1800.74

 ? (TO)

TT=1800.71

 ? (TO)

TT=1800.56

 ? (TO)

TT=1800.58

 ? (TO)

TT=1800.67

 ? (TO)

TT=1800.42

 ? (TO)

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



? (TO)

TT=1800.7

 ?

TT=1800.06

 ? (TO)

TT=1800.58

 ? (TO)

TT=1800.57

 ? (TO)

TT=1800.71

 ? (TO)

TT=1800.12

 ? (TO)

TT=1800.09

 ? (TO)

TT=1800.63

 ? (TO)

TT=1800.52

 ? (TO)

TT=1800.89

 ? (TO)

TT=1800.26

 ? (TO)

TT=1800.76

 ? (TO)

TT=1800.5
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-par8-1-c.opb		 OPT
f=64
TT=0.005
T1=0
 OPT
f=64
TT=1.216
T1=0.83
 OPT
f=64
TT=0.023
T1=0.02
 OPT
f=64
TT=0.213
T1=0.21
 OPT
f=64
TT=0.024
T1=0.01
 OPT
f=64
TT=0.005
T1=0
 OPT
f=64
TT=0.069
T1=0.05
 OPT
f=64
TT=0.07
T1=0.05
 OPT
f=64
TT=0.007
T1=0.01
 OPT
f=64
TT=0.007
T1=0
 OPT
f=64
TT=0.724
T1=0.43
 OPT
f=64
TT=0.763
T1=0.42
 SAT (TO)
f=64
TT=1800.69
T1=0
 SAT (TO)
f=64
TT=1800.52
T1=0.03
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par8-1.opb		 OPT
f=350
TT=0.024
T1=0.02
 OPT
f=350
TT=2.178
T1=1.04
 OPT
f=350
TT=0.047
T1=0.05
 OPT
f=350
TT=3.384
T1=3.38
 OPT
f=350
TT=0.102
T1=0.05
 OPT
f=350
TT=0.024
T1=0.02
 OPT
f=350
TT=0.196
T1=0.14
 OPT
f=350
TT=0.201
T1=0.15
 OPT
f=350
TT=0.024
T1=0.02
 OPT
f=350
TT=0.027
T1=0.02
 OPT
f=350
TT=1.388
T1=0.58
 OPT
f=350
TT=1.499
T1=0.58
 SAT (TO)
f=350
TT=1800.5
T1=0.13
 ? (TO)

TT=1801
Bench nameBest results
on this
instance		absconPseudo
1		bsolo
2006/05		glpPB
0.2		minisat+
1.14		PBS
4.1L		PB-smodels
1.28		PB-smodels
1.31		Pueblo
1.3		Pueblo
1.4		SAT4JPSEUDO
2006.2		SAT4JPSEUDO
2006.2 Heuristics		wildcat-rnp
0.8.0		wildcat-skc
0.8.0
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-par8-2-c.opb		 OPT
f=68
TT=0.004
T1=0
 OPT
f=68
TT=1.275
T1=0.87
 OPT
f=68
TT=0.016
T1=0.02
 OPT
f=68
TT=0.29
T1=0.29
 OPT
f=68
TT=0.03
T1=0.01
 OPT
f=68
TT=0.004
T1=0
 OPT
f=68
TT=0.067
T1=0.05
 OPT
f=68
TT=0.067
T1=0.05
 OPT
f=68
TT=0.007
T1=0.01
 OPT
f=68
TT=0.01
T1=0
 OPT
f=68
TT=0.882
T1=0.42
 OPT
f=68
TT=0.939
T1=0.41
 SAT (TO)
f=68
TT=1800.55
T1=0.04
 SAT (TO)
f=68
TT=1800.65
T1=0.02
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par8-2.opb		 OPT
f=350
TT=0.025
T1=0.02
 OPT
f=350
TT=1.797
T1=1.07
 OPT
f=350
TT=0.043
T1=0.22
 OPT
f=350
TT=2.526
T1=2.52
 OPT
f=350
TT=0.104
T1=0.05
 OPT
f=350
TT=0.025
T1=0.02
 OPT
f=350
TT=0.188
T1=0.14
 OPT
f=350
TT=0.2
T1=0.15
 OPT
f=350
TT=0.029
T1=0.02
 OPT
f=350
TT=0.033
T1=0.02
 OPT
f=350
TT=1.454
T1=0.6
 OPT
f=350
TT=1.458
T1=0.62
 SAT (TO)
f=350
TT=1800.54
T1=0.29
 ? (TO)

TT=1800.45
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-par8-3-c.opb		 OPT
f=75
TT=0.004
T1=0
 OPT
f=75
TT=1.199
T1=2.17
 OPT
f=75
TT=0.02
T1=0.02
 OPT
f=75
TT=0.522
T1=0.52
 OPT
f=75
TT=0.032
T1=0.01
 OPT
f=75
TT=0.004
T1=0
 OPT
f=75
TT=0.076
T1=0.05
 OPT
f=75
TT=0.076
T1=0.05
 OPT
f=75
TT=0.01
T1=0.01
 OPT
f=75
TT=0.009
T1=0.01
 OPT
f=75
TT=0.777
T1=0.45
 OPT
f=75
TT=0.801
T1=0.55
 SAT (TO)
f=75
TT=1800.7
T1=0.02
 SAT (TO)
f=75
TT=1800.63
T1=0.11
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par8-3.opb		 OPT
f=350
TT=0.026
T1=0.02
 OPT
f=350
TT=1.881
T1=0.98
 OPT
f=350
TT=0.055
T1=0.05
 OPT
f=350
TT=2.671
T1=2.67
 OPT
f=350
TT=0.111
T1=0.06
 OPT
f=350
TT=0.026
T1=0.02
 OPT
f=350
TT=0.202
T1=0.14
 OPT
f=350
TT=0.204
T1=0.15
 OPT
f=350
TT=0.029
T1=0.03
 OPT
f=350
TT=0.028
T1=0.03
 OPT
f=350
TT=1.455
T1=0.6
 OPT
f=350
TT=1.482
T1=0.65
 ? (TO)

TT=1800.52

 ? (TO)

TT=1800.55
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-par8-4-c.opb		 OPT
f=67
TT=0.005
T1=0
 OPT
f=67
TT=1.209
T1=0.85
 OPT
f=67
TT=0.018
T1=0.02
 OPT
f=67
TT=0.556
T1=0.55
 OPT
f=67
TT=0.027
T1=0.01
 OPT
f=67
TT=0.005
T1=0
 OPT
f=67
TT=0.07
T1=0.05
 OPT
f=67
TT=0.069
T1=0.05
 OPT
f=67
TT=0.008
T1=0.01
 OPT
f=67
TT=0.007
T1=0
 OPT
f=67
TT=0.541
T1=0.37
 OPT
f=67
TT=0.6
T1=0.43
 SAT (TO)
f=67
TT=1800.75
T1=0.03
 SAT (TO)
f=67
TT=1800.73
T1=0.06
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par8-4.opb		 OPT
f=350
TT=0.022
T1=0.02
 OPT
f=350
TT=1.919
T1=1.25
 OPT
f=350
TT=0.05
T1=0.05
 OPT
f=350
TT=5.749
T1=5.75
 OPT
f=350
TT=0.102
T1=0.05
 OPT
f=350
TT=0.022
T1=0.02
 OPT
f=350
TT=0.195
T1=0.14
 OPT
f=350
TT=0.201
T1=0.15
 OPT
f=350
TT=0.041
T1=0.02
 OPT
f=350
TT=0.045
T1=0.02
 OPT
f=350
TT=1.118
T1=0.7
 OPT
f=350
TT=1.286
T1=0.63
 SAT (TO)
f=350
TT=1800.68
T1=0.96
 ? (TO)

TT=1800.57
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-par8-5-c.opb		 OPT
f=75
TT=0.005
T1=0
 OPT
f=75
TT=1.215
T1=0.78
 OPT
f=75
TT=0.023
T1=0.08
 OPT
f=75
TT=0.274
T1=0.27
 OPT
f=75
TT=0.031
T1=0.01
 OPT
f=75
TT=0.005
T1=0
 OPT
f=75
TT=0.069
T1=0.05
 OPT
f=75
TT=0.07
T1=0.05
 OPT
f=75
TT=0.009
T1=0.01
 OPT
f=75
TT=0.008
T1=0.01
 OPT
f=75
TT=0.898
T1=0.43
 OPT
f=75
TT=1.008
T1=0.48
 SAT (TO)
f=75
TT=1800.62
T1=0.09
 SAT (TO)
f=75
TT=1800.7
T1=0.21
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par8-5.opb		 OPT
f=350
TT=0.023
T1=0.01
 OPT
f=350
TT=1.817
T1=1.25
 OPT
f=350
TT=0.043
T1=0.05
 OPT
f=350
TT=3.195
T1=3.19
 OPT
f=350
TT=0.097
T1=0.05
 OPT
f=350
TT=0.023
T1=0.01
 OPT
f=350
TT=0.195
T1=0.14
 OPT
f=350
TT=0.204
T1=0.15
 OPT
f=350
TT=0.026
T1=0.02
 OPT
f=350
TT=0.029
T1=0.03
 OPT
f=350
TT=1.056
T1=0.71
 OPT
f=350
TT=1.039
T1=0.75
 SAT (TO)
f=350
TT=1800.51
T1=0.07
 ? (TO)

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

TT=0.025

 ? (TO)

TT=1800.38

 UNSAT

TT=0.052

 UNSAT

TT=1670.82

 UNSAT

TT=0.049

 UNSAT

TT=0.031

 UNSAT

TT=0.193

 UNSAT

TT=0.187

 UNSAT

TT=0.027

 UNSAT

TT=0.025

 UNSAT

TT=1.096

 UNSAT

TT=1.131

 ? (TO)

TT=1800.7

 ? (TO)

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

TT=0.09

 ? (TO)

TT=1800.72

 UNSAT

TT=0.24

 ? (TO)

TT=1800.61

 UNSAT

TT=0.159

 UNSAT

TT=0.336

 UNSAT

TT=84.497

 UNSAT

TT=88.164

 UNSAT

TT=0.09

 UNSAT

TT=0.096

 UNSAT

TT=2.463

 UNSAT

TT=2.788

 ? (TO)

TT=1800.68

 ? (TO)

TT=1800.71
Bench nameBest results
on this
instance		absconPseudo
1		bsolo
2006/05		glpPB
0.2		minisat+
1.14		PBS
4.1L		PB-smodels
1.28		PB-smodels
1.31		Pueblo
1.3		Pueblo
1.4		SAT4JPSEUDO
2006.2		SAT4JPSEUDO
2006.2 Heuristics		wildcat-rnp
0.8.0		wildcat-skc
0.8.0
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-ssa2670-141.opb		 UNSAT

TT=0.084

 ? (TO)

TT=1800.39

 UNSAT

TT=0.337

 ? (TO)

TT=1800.66

 UNSAT

TT=0.121

 UNSAT

TT=0.289

 UNSAT

TT=373.17

 UNSAT

TT=337.926

 UNSAT

TT=0.084

 UNSAT

TT=0.091

 UNSAT

TT=2.398

 UNSAT

TT=2.397

 ? (TO)

TT=1800.57

 ? (TO)

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

TT=1.188

 UNSAT

TT=4.458

 UNSAT

TT=1.188

 UNSAT

TT=1121.34

 UNSAT

TT=1.438

 UNSAT

TT=2.905

 UNSAT

TT=9.627

 UNSAT

TT=10.239

 UNSAT

TT=2.233

 UNSAT

TT=2.247

 UNSAT

TT=18.941

 UNSAT

TT=18.677

 ? (TO)

TT=1800.65

 ? (TO)

TT=1800.66
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-ssa7552-038.opb		 SAT
f=1448
TT=1782.75
T1=0.67
 SAT (TO)
f=1450
TT=1800.55
T1=1.51
 SAT
f=1448
TT=1800.52
T1=18.84
 ? (TO)

TT=1800.66

 SAT (TO)
f=1452
TT=1800.73
T1=0.16
 ? (TO)

TT=1800.71

 SAT (TO)
f=1450
TT=1800.82
T1=0.67
 SAT (TO)
f=1448
TT=1800.72
T1=1.54
 SAT
f=1448
TT=1782.75
T1=0.67
 SAT
f=1448
TT=1782.75
T1=0.72
 SAT (TO)
f=1448
TT=1801
T1=217.3
 SAT (TO)
f=1448
TT=1801.03
T1=212.45
 ? (TO)

TT=1800.69

 ? (TO)

TT=1800.72
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-ssa7552-158.opb		 OPT
f=1327
TT=156.627
T1=0.08
 SAT (TO)
f=1327
TT=1800.3
T1=1.4
 OPT
f=1327
TT=156.627
T1=0.28
 ? (TO)

TT=1800.7

 SAT (TO)
f=1327
TT=1800.66
T1=0.13
 ? (TO)

TT=1800.67

 SAT (TO)
f=1327
TT=1800.92
T1=0.51
 SAT (TO)
f=1327
TT=1800.93
T1=0.53
 SAT
f=1327
TT=1782.75
T1=0.08
 SAT
f=1327
TT=1782.74
T1=0.08
 SAT (TO)
f=1327
TT=1801.07
T1=1.1
 SAT (TO)
f=1327
TT=1800.33
T1=1.25
 ? (TO)

TT=1800.69

 ? (TO)

TT=1800.56
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-ssa7552-159.opb		 SAT
f=1327
TT=1782.74
T1=0.07
 SAT (TO)
f=1327
TT=1800.87
T1=1.5
 SAT
f=1327
TT=1800.25
T1=0.28
 ? (TO)

TT=1800.67

 SAT (TO)
f=1327
TT=1800.63
T1=0.14
 ? (TO)

TT=1800.53

 SAT (TO)
f=1327
TT=1800.83
T1=0.53
 SAT (TO)
f=1327
TT=1800.92
T1=0.54
 SAT
f=1327
TT=1782.74
T1=0.07
 SAT
f=1327
TT=1782.74
T1=0.08
 SAT (TO)
f=1327
TT=1800.79
T1=1.11
 SAT (TO)
f=1327
TT=1800.52
T1=1.3
 SAT (TO)
f=1327
TT=1800.57
T1=62.62
 ? (TO)

TT=1800.71
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/primes-dimacs-cnf/
normalized-ssa7552-160.opb		 SAT
f=1359
TT=1782.74
T1=0.08
 SAT (TO)
f=1359
TT=1800.58
T1=1.5
 SAT (TO)
f=1359
TT=1800.52
T1=0.22
 ? (TO)

TT=1800.64

 SAT (TO)
f=1359
TT=1800.41
T1=0.14
 ? (TO)

TT=1800.6

 SAT (TO)
f=1359
TT=1800.92
T1=0.55
 SAT (TO)
f=1359
TT=1800.95
T1=0.56
 SAT
f=1359
TT=1782.74
T1=0.08
 SAT
f=1359
TT=1782.75
T1=0.08
 SAT (TO)
f=1359
TT=1800.77
T1=1.21
 SAT (TO)
f=1359
TT=1800.39
T1=1.33
 SAT (TO)
f=1359
TT=1800.68
T1=69.81
 ? (TO)

TT=1800.5

Some statistics...

absconPseudo
1		bsolo
2006/05		glpPB
0.2		minisat+
1.14		PBS
4.1L		PB-smodels
1.28		PB-smodels
1.31		Pueblo
1.3		Pueblo
1.4		SAT4JPSEUDO
2006.2		SAT4JPSEUDO
2006.2 Heuristics		wildcat-rnp
0.8.0		wildcat-skc
0.8.0
Number of times the solver is able to give the best known answer6410652124103981021091181041031018
Number of times the solver is able to give the best known answer from an incomplete solver point of view (i.e. without considering optimality proof)76119521271031061161181241141135682
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)141325642291200614
Number of times the solver is the best solver from an incomplete solver point of view (i.e. best known answer and best T1 time)1102264416664001016