PB'06 evaluation: results by benchmark

Results by benchmark for category optimisation, small integers (OPT-SMALLINT), subcategory Handmade, subsubcategory Number Factorization

This page displays the results of the different solvers for each benchmark for category optimisation, small integers (OPT-SMALLINT), subcategory Handmade, subsubcategory Number Factorization

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-PB06/roussel/factor/
normalized-factor-size=9-P=101-Q=223.opb		 OPT
f=101
TT=0.012
T1=0.01
 OPT
f=101
TT=1.793
T1=1.37
 OPT
f=101
TT=1.229
T1=1.14
 OPT
f=101
TT=4.614
T1=4.61
 OPT
f=101
TT=0.046
T1=0.04
 OPT
f=101
TT=0.012
T1=0.01
 OPT
f=101
TT=0.075
T1=0.06
 OPT
f=101
TT=0.07
T1=0.05
 OPT
f=101
TT=0.043
T1=0.03
 OPT
f=101
TT=0.041
T1=0.03
 OPT
f=101
TT=65.494
T1=3.47
 OPT
f=101
TT=27.835
T1=1.68
 ? (TO)

TT=1800.58

 ? (TO)

TT=1800.65
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=101-Q=379.opb		 OPT
f=101
TT=0.008
T1=0
 OPT
f=101
TT=1.41
T1=1.01
 OPT
f=101
TT=1.087
T1=1.02
 OPT
f=101
TT=1.144
T1=1.14
 OPT
f=101
TT=0.056
T1=0.05
 OPT
f=101
TT=0.008
T1=0
 OPT
f=101
TT=0.072
T1=0.06
 OPT
f=101
TT=0.067
T1=0.05
 OPT
f=101
TT=0.027
T1=0.02
 OPT
f=101
TT=0.026
T1=0.02
 OPT
f=101
TT=58.395
T1=49.45
 OPT
f=101
TT=6.446
T1=1.64
 SAT (TO)
f=101
TT=1800.6
T1=38.69
 ? (TO)

TT=1800.45
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=101-Q=409.opb		 OPT
f=101
TT=0.005
T1=0
 OPT
f=101
TT=1.31
T1=0.92
 OPT
f=101
TT=1.094
T1=1.02
 OPT
f=101
TT=1.646
T1=1.64
 OPT
f=101
TT=0.037
T1=0.03
 OPT
f=101
TT=0.005
T1=0
 OPT
f=101
TT=0.067
T1=0.05
 OPT
f=101
TT=0.07
T1=0.06
 OPT
f=101
TT=0.024
T1=0.02
 OPT
f=101
TT=0.025
T1=0.02
 OPT
f=101
TT=16.621
T1=11.71
 OPT
f=101
TT=72.673
T1=64.57
 SAT (TO)
f=101
TT=1800.5
T1=0.5
 SAT (TO)
f=101
TT=1800.49
T1=17.86
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=101-Q=457.opb		 OPT
f=101
TT=0.005
T1=0
 OPT
f=101
TT=1.366
T1=0.95
 OPT
f=101
TT=1.262
T1=1.19
 OPT
f=101
TT=1.78
T1=1.78
 OPT
f=101
TT=0.033
T1=0.03
 OPT
f=101
TT=0.005
T1=0
 OPT
f=101
TT=0.062
T1=0.04
 OPT
f=101
TT=0.058
T1=0.04
 OPT
f=101
TT=0.02
T1=0.02
 OPT
f=101
TT=0.023
T1=0.02
 OPT
f=101
TT=33.187
T1=29.13
 OPT
f=101
TT=39.423
T1=35.85
 SAT (TO)
f=101
TT=1800.62
T1=11.96
 ? (TO)

TT=1800.63
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=107-Q=373.opb		 OPT
f=107
TT=0.009
T1=0.01
 OPT
f=107
TT=1.474
T1=1.1
 OPT
f=107
TT=1.098
T1=0.96
 OPT
f=107
TT=1.055
T1=1.05
 OPT
f=107
TT=0.039
T1=0.03
 OPT
f=107
TT=0.009
T1=0.01
 OPT
f=107
TT=0.066
T1=0.05
 OPT
f=107
TT=0.085
T1=0.07
 OPT
f=107
TT=0.034
T1=0.03
 OPT
f=107
TT=0.035
T1=0.03
 OPT
f=107
TT=215.079
T1=180.81
 OPT
f=107
TT=127.803
T1=39.62
 SAT (TO)
f=107
TT=1800.66
T1=12.85
 ? (TO)

TT=1800.66
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=107-Q=503.opb		 OPT
f=107
TT=0.003
T1=0
 OPT
f=107
TT=1.034
T1=0.75
 OPT
f=107
TT=1.326
T1=1.23
 OPT
f=107
TT=3.957
T1=3.96
 OPT
f=107
TT=0.045
T1=0.04
 OPT
f=107
TT=0.003
T1=0
 OPT
f=107
TT=0.061
T1=0.04
 OPT
f=107
TT=0.056
T1=0.05
 OPT
f=107
TT=0.029
T1=0.03
 OPT
f=107
TT=0.034
T1=0.03
 OPT
f=107
TT=3.79
T1=2.43
 OPT
f=107
TT=1.382
T1=0.6
 ? (TO)

TT=1800.59

 SAT (TO)
f=107
TT=1800.63
T1=10.46
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=109-Q=373.opb		 OPT
f=109
TT=0.008
T1=0
 OPT
f=109
TT=1.478
T1=1.06
 OPT
f=109
TT=1.098
T1=1
 OPT
f=109
TT=1.21
T1=1.21
 OPT
f=109
TT=0.059
T1=0.05
 OPT
f=109
TT=0.008
T1=0
 OPT
f=109
TT=0.063
T1=0.05
 OPT
f=109
TT=0.074
T1=0.06
 OPT
f=109
TT=0.04
T1=0.04
 OPT
f=109
TT=0.04
T1=0.04
 OPT
f=109
TT=48.981
T1=28.38
 OPT
f=109
TT=69.711
T1=5.83
 ? (TO)

TT=1800.44

 ? (TO)

TT=1800.63
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=109-Q=419.opb		 OPT
f=109
TT=0.006
T1=0
 OPT
f=109
TT=1.445
T1=1.01
 OPT
f=109
TT=1.163
T1=1.09
 OPT
f=109
TT=1.326
T1=1.32
 OPT
f=109
TT=0.051
T1=0.05
 OPT
f=109
TT=0.006
T1=0
 OPT
f=109
TT=0.069
T1=0.05
 OPT
f=109
TT=0.071
T1=0.06
 OPT
f=109
TT=0.062
T1=0.06
 OPT
f=109
TT=0.061
T1=0.06
 OPT
f=109
TT=97.413
T1=79.02
 OPT
f=109
TT=5.768
T1=1.46
 SAT (TO)
f=109
TT=1800.58
T1=193.28
 SAT (TO)
f=109
TT=1800.57
T1=2.42
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=113-Q=233.opb		 OPT
f=113
TT=0.011
T1=0.01
 OPT
f=113
TT=1.948
T1=1.46
 OPT
f=113
TT=1.268
T1=1.16
 OPT
f=113
TT=2.419
T1=2.41
 OPT
f=113
TT=0.037
T1=0.03
 OPT
f=113
TT=0.011
T1=0.01
 OPT
f=113
TT=0.069
T1=0.05
 OPT
f=113
TT=0.057
T1=0.04
 OPT
f=113
TT=0.053
T1=0.05
 OPT
f=113
TT=0.047
T1=0.05
 OPT
f=113
TT=6.131
T1=1.59
 OPT
f=113
TT=6.46
T1=2.58
 ? (TO)

TT=1800.71

 ? (TO)

TT=1800.67
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=113-Q=331.opb		 OPT
f=113
TT=0.008
T1=0.01
 OPT
f=113
TT=1.532
T1=1.12
 OPT
f=113
TT=1.107
T1=1.01
 OPT
f=113
TT=1.554
T1=1.55
 OPT
f=113
TT=0.049
T1=0.05
 OPT
f=113
TT=0.008
T1=0.01
 OPT
f=113
TT=0.067
T1=0.05
 OPT
f=113
TT=0.081
T1=0.07
 OPT
f=113
TT=0.056
T1=0.05
 OPT
f=113
TT=0.049
T1=0.05
 OPT
f=113
TT=55.87
T1=44.36
 OPT
f=113
TT=459.29
T1=393.98
 ? (TO)

TT=1800.42

 SAT (TO)
f=113
TT=1800.63
T1=11.08
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-PB06/roussel/factor/
normalized-factor-size=9-P=113-Q=479.opb		 OPT
f=113
TT=0.004
T1=0
 OPT
f=113
TT=1.438
T1=0.8
 OPT
f=113
TT=1.319
T1=1.27
 OPT
f=113
TT=0.71
T1=0.71
 OPT
f=113
TT=0.036
T1=0.03
 OPT
f=113
TT=0.004
T1=0
 OPT
f=113
TT=0.064
T1=0.05
 OPT
f=113
TT=0.063
T1=0.05
 OPT
f=113
TT=0.057
T1=0.06
 OPT
f=113
TT=0.036
T1=0.03
 OPT
f=113
TT=12.972
T1=11.08
 OPT
f=113
TT=2.367
T1=1
 SAT (TO)
f=113
TT=1800.61
T1=7
 ? (TO)

TT=1800.6
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=113-Q=521.opb		 UNSAT

TT=0.03

 UNSAT

TT=3.744

 UNSAT

TT=2.126

 UNSAT

TT=6.814

 UNSAT

TT=0.052

 UNSAT

TT=0.03

 UNSAT

TT=0.082

 UNSAT

TT=0.077

 UNSAT

TT=0.039

 UNSAT

TT=0.039

 UNSAT

TT=139.265

 UNSAT

TT=69.288

 ? (TO)

TT=1800.66

 ? (TO)

TT=1800.71
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=11-Q=283.opb		 OPT
f=11
TT=0.005
T1=0
 OPT
f=11
TT=1.252
T1=0.9
 OPT
f=11
TT=0.749
T1=0.75
 OPT
f=11
TT=2.787
T1=2.79
 OPT
f=11
TT=0.034
T1=0.03
 OPT
f=11
TT=0.005
T1=0
 OPT
f=11
TT=0.073
T1=0.05
 OPT
f=11
TT=0.056
T1=0.11
 OPT
f=11
TT=0.02
T1=0.02
 OPT
f=11
TT=0.024
T1=0.02
 OPT
f=11
TT=5.896
T1=3.62
 OPT
f=11
TT=2.85
T1=1.72
 SAT (TO)
f=11
TT=1800.6
T1=4.24
 ? (TO)

TT=1800.72
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=11-Q=53.opb		 OPT
f=11
TT=0.004
T1=0
 OPT
f=11
TT=1.329
T1=0.96
 OPT
f=11
TT=0.23
T1=0.25
 OPT
f=11
TT=2.34
T1=2.34
 OPT
f=11
TT=0.023
T1=0.02
 OPT
f=11
TT=0.004
T1=0
 OPT
f=11
TT=0.063
T1=0.04
 OPT
f=11
TT=0.063
T1=0.04
 OPT
f=11
TT=0.014
T1=0.01
 OPT
f=11
TT=0.012
T1=0.01
 OPT
f=11
TT=7.113
T1=2.87
 OPT
f=11
TT=2.394
T1=1.07
 SAT (TO)
f=11
TT=1800.53
T1=0.01
 SAT (TO)
f=11
TT=1800.71
T1=0.29
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=127-Q=137.opb		 OPT
f=127
TT=0.011
T1=0.01
 OPT
f=127
TT=2.268
T1=1.8
 OPT
f=127
TT=1.062
T1=0.99
 OPT
f=127
TT=6.16
T1=6.18
 OPT
f=127
TT=0.041
T1=0.03
 OPT
f=127
TT=0.011
T1=0.01
 OPT
f=127
TT=0.079
T1=0.2
 OPT
f=127
TT=0.062
T1=0.07
 OPT
f=127
TT=0.042
T1=0.03
 OPT
f=127
TT=0.041
T1=0.03
 OPT
f=127
TT=311.421
T1=47.67
 OPT
f=127
TT=27.998
T1=9.82
 ? (TO)

TT=1800.52

 ? (TO)

TT=1800.5
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=127-Q=149.opb		 OPT
f=127
TT=0.013
T1=0.01
 OPT
f=127
TT=2.424
T1=1.81
 OPT
f=127
TT=1.135
T1=0.96
 OPT
f=127
TT=6.412
T1=6.41
 OPT
f=127
TT=0.038
T1=0.03
 OPT
f=127
TT=0.013
T1=0.01
 OPT
f=127
TT=0.087
T1=0.07
 OPT
f=127
TT=0.07
T1=0.06
 OPT
f=127
TT=0.06
T1=0.05
 OPT
f=127
TT=0.06
T1=0.05
 OPT
f=127
TT=145.611
T1=10.2
 OPT
f=127
TT=124.835
T1=2.55
 SAT (TO)
f=127
TT=1800.46
T1=0.71
 ? (TO)

TT=1800.63
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=127-Q=211.opb		 OPT
f=127
TT=0.015
T1=0.01
 OPT
f=127
TT=2.154
T1=1.69
 OPT
f=127
TT=1.297
T1=1.03
 OPT
f=127
TT=3.653
T1=3.65
 OPT
f=127
TT=0.042
T1=0.03
 OPT
f=127
TT=0.015
T1=0.01
 OPT
f=127
TT=0.066
T1=0.05
 OPT
f=127
TT=0.075
T1=0.06
 OPT
f=127
TT=0.038
T1=0.03
 OPT
f=127
TT=0.037
T1=0.03
 OPT
f=127
TT=15.894
T1=2.53
 OPT
f=127
TT=8.866
T1=3.78
 ? (TO)

TT=1800.51

 SAT (TO)
f=127
TT=1800.71
T1=21.84
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=127-Q=359.opb		 OPT
f=127
TT=0.009
T1=0.01
 OPT
f=127
TT=1.507
T1=1.16
 OPT
f=127
TT=1.204
T1=0.99
 OPT
f=127
TT=2.55
T1=2.55
 OPT
f=127
TT=0.047
T1=0.04
 OPT
f=127
TT=0.009
T1=0.01
 OPT
f=127
TT=0.071
T1=0.05
 OPT
f=127
TT=0.081
T1=0.06
 OPT
f=127
TT=0.042
T1=0.04
 OPT
f=127
TT=0.043
T1=0.04
 OPT
f=127
TT=24.573
T1=12.29
 OPT
f=127
TT=7.485
T1=1.01
 SAT (TO)
f=127
TT=1800.72
T1=5.6
 SAT (TO)
f=127
TT=1800.72
T1=2.67
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=127-Q=389.opb		 OPT
f=127
TT=0.007
T1=0
 OPT
f=127
TT=1.544
T1=1.12
 OPT
f=127
TT=1.232
T1=1.13
 OPT
f=127
TT=4.167
T1=4.17
 OPT
f=127
TT=0.037
T1=0.03
 OPT
f=127
TT=0.007
T1=0
 OPT
f=127
TT=0.065
T1=0.05
 OPT
f=127
TT=0.071
T1=0.06
 OPT
f=127
TT=0.041
T1=0.04
 OPT
f=127
TT=0.04
T1=0.04
 OPT
f=127
TT=8.425
T1=3.94
 OPT
f=127
TT=12.468
T1=1.25
 ? (TO)

TT=1800.47

 ? (TO)

TT=1800.43
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=127-Q=487.opb		 OPT
f=127
TT=0.005
T1=0
 OPT
f=127
TT=1.323
T1=0.84
 OPT
f=127
TT=0.996
T1=0.95
 OPT
f=127
TT=2.377
T1=2.38
 OPT
f=127
TT=0.031
T1=0.03
 OPT
f=127
TT=0.005
T1=0
 OPT
f=127
TT=0.064
T1=0.08
 OPT
f=127
TT=0.062
T1=0.04
 OPT
f=127
TT=0.037
T1=0.04
 OPT
f=127
TT=0.038
T1=0.04
 OPT
f=127
TT=15.077
T1=13.2
 OPT
f=127
TT=2.52
T1=0.91
 SAT (TO)
f=127
TT=1800.71
T1=2.52
 SAT (TO)
f=127
TT=1800.65
T1=0.46
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-PB06/roussel/factor/
normalized-factor-size=9-P=127-Q=491.opb		 OPT
f=127
TT=0.005
T1=0
 OPT
f=127
TT=1.233
T1=0.88
 OPT
f=127
TT=0.935
T1=0.9
 OPT
f=127
TT=1.216
T1=1.22
 OPT
f=127
TT=0.038
T1=0.03
 OPT
f=127
TT=0.005
T1=0
 OPT
f=127
TT=0.06
T1=0.05
 OPT
f=127
TT=0.061
T1=0.05
 OPT
f=127
TT=0.041
T1=0.04
 OPT
f=127
TT=0.037
T1=0.04
 OPT
f=127
TT=32.197
T1=29.39
 OPT
f=127
TT=1.561
T1=0.66
 SAT (TO)
f=127
TT=1800.5
T1=6.42
 SAT (TO)
f=127
TT=1800.61
T1=2.41
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=127-Q=499.opb		 OPT
f=127
TT=0.003
T1=0
 OPT
f=127
TT=1.047
T1=0.77
 OPT
f=127
TT=0.941
T1=0.92
 OPT
f=127
TT=3.823
T1=3.82
 OPT
f=127
TT=0.052
T1=0.05
 OPT
f=127
TT=0.003
T1=0
 OPT
f=127
TT=0.06
T1=0.04
 OPT
f=127
TT=0.053
T1=0.04
 OPT
f=127
TT=0.034
T1=0.03
 OPT
f=127
TT=0.034
T1=0.03
 OPT
f=127
TT=34.26
T1=32.15
 OPT
f=127
TT=1.772
T1=0.7
 SAT (TO)
f=127
TT=1800.72
T1=11.1
 SAT (TO)
f=127
TT=1800.72
T1=0.84
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=131-Q=137.opb		 OPT
f=131
TT=0.015
T1=0.01
 OPT
f=131
TT=2.223
T1=1.69
 OPT
f=131
TT=1.183
T1=0.98
 OPT
f=131
TT=5.35
T1=5.35
 OPT
f=131
TT=0.051
T1=0.04
 OPT
f=131
TT=0.015
T1=0.01
 OPT
f=131
TT=0.08
T1=0.06
 OPT
f=131
TT=0.074
T1=0.05
 OPT
f=131
TT=0.036
T1=0.02
 OPT
f=131
TT=0.038
T1=0.02
 OPT
f=131
TT=48.251
T1=13.37
 OPT
f=131
TT=125.482
T1=7.24
 SAT (TO)
f=131
TT=1800.48
T1=14.89
 SAT (TO)
f=131
TT=1800.42
T1=5.75
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=131-Q=157.opb		 OPT
f=131
TT=0.014
T1=0.01
 OPT
f=131
TT=2.589
T1=1.78
 OPT
f=131
TT=1.196
T1=0.9
 OPT
f=131
TT=5.219
T1=5.22
 OPT
f=131
TT=0.043
T1=0.03
 OPT
f=131
TT=0.014
T1=0.01
 OPT
f=131
TT=0.077
T1=0.06
 OPT
f=131
TT=0.074
T1=0.07
 OPT
f=131
TT=0.041
T1=0.03
 OPT
f=131
TT=0.041
T1=0.03
 OPT
f=131
TT=102.146
T1=61.64
 OPT
f=131
TT=398.802
T1=72.31
 SAT (TO)
f=131
TT=1800.82
T1=18.35
 ? (TO)

TT=1800.73
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=131-Q=163.opb		 OPT
f=131
TT=0.015
T1=0.01
 OPT
f=131
TT=2.377
T1=1.79
 OPT
f=131
TT=1.157
T1=0.93
 OPT
f=131
TT=5.303
T1=5.3
 OPT
f=131
TT=0.046
T1=0.04
 OPT
f=131
TT=0.015
T1=0.01
 OPT
f=131
TT=0.074
T1=0.06
 OPT
f=131
TT=0.067
T1=0.05
 OPT
f=131
TT=0.033
T1=0.02
 OPT
f=131
TT=0.039
T1=0.09
 OPT
f=131
TT=289.436
T1=273.78
 OPT
f=131
TT=335.36
T1=231.75
 SAT (TO)
f=131
TT=1800.66
T1=0.67
 SAT (TO)
f=131
TT=1800.71
T1=0.02
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=131-Q=277.opb		 OPT
f=131
TT=0.008
T1=0.01
 OPT
f=131
TT=1.913
T1=1.44
 OPT
f=131
TT=1.071
T1=0.89
 OPT
f=131
TT=3.372
T1=3.37
 OPT
f=131
TT=0.037
T1=0.03
 OPT
f=131
TT=0.008
T1=0.01
 OPT
f=131
TT=0.074
T1=0.06
 OPT
f=131
TT=0.07
T1=0.05
 OPT
f=131
TT=0.036
T1=0.03
 OPT
f=131
TT=0.036
T1=0.03
 OPT
f=131
TT=239.944
T1=6.34
 OPT
f=131
TT=8.434
T1=2.27
 SAT (TO)
f=131
TT=1800.48
T1=0.68
 SAT (TO)
f=131
TT=1800.47
T1=14.98
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=139-Q=191.opb		 OPT
f=139
TT=0.015
T1=0.01
 OPT
f=139
TT=2.531
T1=1.84
 OPT
f=139
TT=1.323
T1=1.01
 OPT
f=139
TT=5.483
T1=5.48
 OPT
f=139
TT=0.055
T1=0.05
 OPT
f=139
TT=0.015
T1=0.01
 OPT
f=139
TT=0.079
T1=0.06
 OPT
f=139
TT=0.074
T1=0.05
 OPT
f=139
TT=0.044
T1=0.04
 OPT
f=139
TT=0.045
T1=0.04
 OPT
f=139
TT=29.469
T1=10.52
 OPT
f=139
TT=104.404
T1=1.43
 ? (TO)

TT=1800.6

 ? (TO)

TT=1800.63
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=13-Q=179.opb		 OPT
f=13
TT=0.005
T1=0
 OPT
f=13
TT=1.384
T1=0.96
 OPT
f=13
TT=0.719
T1=0.73
 OPT
f=13
TT=3.357
T1=3.36
 OPT
f=13
TT=0.032
T1=0.03
 OPT
f=13
TT=0.005
T1=0
 OPT
f=13
TT=0.067
T1=0.05
 OPT
f=13
TT=0.064
T1=0.05
 OPT
f=13
TT=0.022
T1=0.02
 OPT
f=13
TT=0.029
T1=0.03
 OPT
f=13
TT=5.509
T1=4.26
 OPT
f=13
TT=3.651
T1=1.11
 SAT (TO)
f=13
TT=1800.76
T1=15.98
 SAT (TO)
f=13
TT=1800.75
T1=8.41
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=149-Q=163.opb		 OPT
f=149
TT=0.014
T1=0.01
 OPT
f=149
TT=2.279
T1=1.86
 OPT
f=149
TT=1.239
T1=1.05
 OPT
f=149
TT=5.855
T1=5.86
 OPT
f=149
TT=0.048
T1=0.04
 OPT
f=149
TT=0.014
T1=0.01
 OPT
f=149
TT=0.086
T1=0.07
 OPT
f=149
TT=0.071
T1=0.05
 OPT
f=149
TT=0.04
T1=0.03
 OPT
f=149
TT=0.041
T1=0.03
 OPT
f=149
TT=263.424
T1=180.5
 OPT
f=149
TT=25.931
T1=2.97
 ? (TO)

TT=1800.71

 ? (TO)

TT=1800.72
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=149-Q=167.opb		 OPT
f=149
TT=0.015
T1=0.01
 OPT
f=149
TT=2.281
T1=1.79
 OPT
f=149
TT=1.276
T1=1.15
 OPT
f=149
TT=5.927
T1=5.93
 OPT
f=149
TT=0.058
T1=0.05
 OPT
f=149
TT=0.015
T1=0.01
 OPT
f=149
TT=0.076
T1=0.06
 OPT
f=149
TT=0.066
T1=0.05
 OPT
f=149
TT=0.043
T1=0.03
 OPT
f=149
TT=0.041
T1=0.03
 OPT
f=149
TT=212.472
T1=6.65
 OPT
f=149
TT=23.679
T1=4.68
 ? (TO)

TT=1800.67

 SAT (TO)
f=149
TT=1800.72
T1=6.81
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-PB06/roussel/factor/
normalized-factor-size=9-P=149-Q=251.opb		 OPT
f=149
TT=0.013
T1=0.01
 OPT
f=149
TT=2.293
T1=1.6
 OPT
f=149
TT=1.226
T1=1.05
 OPT
f=149
TT=5.884
T1=5.88
 OPT
f=149
TT=0.052
T1=0.05
 OPT
f=149
TT=0.013
T1=0.01
 OPT
f=149
TT=0.072
T1=0.06
 OPT
f=149
TT=0.075
T1=0.06
 OPT
f=149
TT=0.039
T1=0.03
 OPT
f=149
TT=0.039
T1=0.03
 OPT
f=149
TT=64.543
T1=10.34
 OPT
f=149
TT=100.77
T1=32.56
 SAT (TO)
f=149
TT=1800.66
T1=33.34
 ? (TO)

TT=1800.66
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=149-Q=271.opb		 OPT
f=149
TT=0.013
T1=0.01
 OPT
f=149
TT=2.138
T1=1.4
 OPT
f=149
TT=1.177
T1=1
 OPT
f=149
TT=3.497
T1=3.5
 OPT
f=149
TT=0.046
T1=0.04
 OPT
f=149
TT=0.013
T1=0.01
 OPT
f=149
TT=0.075
T1=0.06
 OPT
f=149
TT=0.076
T1=0.06
 OPT
f=149
TT=0.051
T1=0.04
 OPT
f=149
TT=0.048
T1=0.03
 OPT
f=149
TT=126.621
T1=103.92
 OPT
f=149
TT=103.881
T1=3.66
 SAT (TO)
f=149
TT=1800.61
T1=0.29
 ? (TO)

TT=1800.59
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=149-Q=293.opb		 OPT
f=149
TT=0.011
T1=0.01
 OPT
f=149
TT=1.656
T1=1.24
 OPT
f=149
TT=1.203
T1=1.02
 OPT
f=149
TT=3.284
T1=3.28
 OPT
f=149
TT=0.045
T1=0.03
 OPT
f=149
TT=0.011
T1=0.01
 OPT
f=149
TT=0.077
T1=0.06
 OPT
f=149
TT=0.07
T1=0.05
 OPT
f=149
TT=0.055
T1=0.05
 OPT
f=149
TT=0.055
T1=0.05
 OPT
f=149
TT=31.397
T1=7.22
 OPT
f=149
TT=88.72
T1=2
 SAT (TO)
f=149
TT=1800.71
T1=5.08
 ? (TO)

TT=1800.78
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=149-Q=397.opb		 OPT
f=149
TT=0.01
T1=0
 OPT
f=149
TT=1.348
T1=0.92
 OPT
f=149
TT=1.929
T1=1.88
 OPT
f=149
TT=2.555
T1=2.55
 OPT
f=149
TT=0.035
T1=0.03
 OPT
f=149
TT=0.01
T1=0
 OPT
f=149
TT=0.064
T1=0.05
 OPT
f=149
TT=0.082
T1=0.07
 OPT
f=149
TT=0.076
T1=0.07
 OPT
f=149
TT=0.078
T1=0.07
 OPT
f=149
TT=20.242
T1=8.16
 OPT
f=149
TT=3.428
T1=1.45
 SAT (TO)
f=149
TT=1800.67
T1=1.75
 SAT (TO)
f=149
TT=1800.65
T1=1.53
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=149-Q=409.opb		 OPT
f=149
TT=0.009
T1=0.01
 OPT
f=149
TT=1.354
T1=0.9
 OPT
f=149
TT=1.547
T1=1.34
 OPT
f=149
TT=4.687
T1=4.69
 OPT
f=149
TT=0.039
T1=0.03
 OPT
f=149
TT=0.009
T1=0.01
 OPT
f=149
TT=0.063
T1=0.04
 OPT
f=149
TT=0.058
T1=0.05
 OPT
f=149
TT=0.028
T1=0.02
 OPT
f=149
TT=0.028
T1=0.02
 OPT
f=149
TT=23.804
T1=17.08
 OPT
f=149
TT=3.173
T1=1.22
 ? (TO)

TT=1800.68

 ? (TO)

TT=1800.63
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=149-Q=487.opb		 OPT
f=149
TT=0.004
T1=0
 OPT
f=149
TT=1.072
T1=0.73
 OPT
f=149
TT=1.528
T1=1.44
 OPT
f=149
TT=2.737
T1=2.74
 OPT
f=149
TT=0.051
T1=0.05
 OPT
f=149
TT=0.004
T1=0
 OPT
f=149
TT=0.06
T1=0.05
 OPT
f=149
TT=0.06
T1=0.04
 OPT
f=149
TT=0.038
T1=0.04
 OPT
f=149
TT=0.038
T1=0.04
 OPT
f=149
TT=724.326
T1=711.49
 OPT
f=149
TT=2.271
T1=0.93
 ? (TO)

TT=1800.66

 ? (TO)

TT=1800.66
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=149-Q=509.opb		 OPT
f=149
TT=0.003
T1=0
 OPT
f=149
TT=1.036
T1=0.74
 OPT
f=149
TT=2.123
T1=1.7
 OPT
f=149
TT=2.934
T1=2.93
 OPT
f=149
TT=0.036
T1=0.03
 OPT
f=149
TT=0.003
T1=0
 OPT
f=149
TT=0.065
T1=0.05
 OPT
f=149
TT=0.054
T1=0.04
 OPT
f=149
TT=0.015
T1=0.01
 OPT
f=149
TT=0.019
T1=0.02
 OPT
f=149
TT=10.616
T1=9.02
 OPT
f=149
TT=0.909
T1=0.51
 ? (TO)

TT=1800.52

 ? (TO)

TT=1800.53
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=151-Q=167.opb		 OPT
f=151
TT=0.015
T1=0.01
 OPT
f=151
TT=2.289
T1=1.76
 OPT
f=151
TT=1.271
T1=1.06
 OPT
f=151
TT=5.566
T1=5.57
 OPT
f=151
TT=0.047
T1=0.04
 OPT
f=151
TT=0.015
T1=0.01
 OPT
f=151
TT=0.077
T1=0.06
 OPT
f=151
TT=0.07
T1=0.05
 OPT
f=151
TT=0.076
T1=0.06
 OPT
f=151
TT=0.073
T1=0.05
 OPT
f=151
TT=55.827
T1=22.53
 OPT
f=151
TT=34.648
T1=5.49
 SAT (TO)
f=151
TT=1800.51
T1=14.75
 SAT (TO)
f=151
TT=1800.7
T1=15.66
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=157-Q=163.opb		 OPT
f=157
TT=0.016
T1=0.01
 OPT
f=157
TT=2.264
T1=1.72
 OPT
f=157
TT=1.265
T1=1.07
 OPT
f=157
TT=6.779
T1=6.78
 OPT
f=157
TT=0.052
T1=0.04
 OPT
f=157
TT=0.016
T1=0.01
 OPT
f=157
TT=0.077
T1=0.06
 OPT
f=157
TT=0.07
T1=0.05
 OPT
f=157
TT=0.043
T1=0.04
 OPT
f=157
TT=0.043
T1=0.03
 OPT
f=157
TT=25.338
T1=13.29
 OPT
f=157
TT=98.124
T1=33.4
 SAT (TO)
f=157
TT=1800.65
T1=0.62
 ? (TO)

TT=1800.71
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=157-Q=181.opb		 OPT
f=157
TT=0.013
T1=0.01
 OPT
f=157
TT=2.35
T1=1.72
 OPT
f=157
TT=1.417
T1=1.22
 OPT
f=157
TT=5.301
T1=5.3
 OPT
f=157
TT=0.043
T1=0.04
 OPT
f=157
TT=0.013
T1=0.01
 OPT
f=157
TT=0.079
T1=0.06
 OPT
f=157
TT=0.072
T1=0.05
 OPT
f=157
TT=0.075
T1=0.06
 OPT
f=157
TT=0.079
T1=0.07
 OPT
f=157
TT=62.803
T1=34.61
 OPT
f=157
TT=83.992
T1=78.93
 ? (TO)

TT=1800.71

 ? (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-PB06/roussel/factor/
normalized-factor-size=9-P=157-Q=373.opb		 OPT
f=157
TT=0.01
T1=0
 OPT
f=157
TT=1.36
T1=0.95
 OPT
f=157
TT=1.572
T1=1.49
 OPT
f=157
TT=3.078
T1=3.08
 OPT
f=157
TT=0.058
T1=0.05
 OPT
f=157
TT=0.01
T1=0
 OPT
f=157
TT=0.058
T1=0.05
 OPT
f=157
TT=0.075
T1=0.06
 OPT
f=157
TT=0.033
T1=0.03
 OPT
f=157
TT=0.034
T1=0.03
 OPT
f=157
TT=7.595
T1=2.84
 OPT
f=157
TT=32.474
T1=21.16
 SAT (TO)
f=157
TT=1800.62
T1=11
 ? (TO)

TT=1800.48
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=167-Q=173.opb		 OPT
f=167
TT=0.017
T1=0.01
 OPT
f=167
TT=2.262
T1=1.78
 OPT
f=167
TT=1.357
T1=1.12
 OPT
f=167
TT=6.109
T1=6.11
 OPT
f=167
TT=0.042
T1=0.03
 OPT
f=167
TT=0.017
T1=0.01
 OPT
f=167
TT=0.082
T1=0.06
 OPT
f=167
TT=0.071
T1=0.05
 OPT
f=167
TT=0.049
T1=0.03
 OPT
f=167
TT=0.048
T1=0.03
 OPT
f=167
TT=35.065
T1=4.51
 OPT
f=167
TT=30.946
T1=2.86
 ? (TO)

TT=1800.66

 SAT (TO)
f=167
TT=1800.67
T1=50.25
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=167-Q=179.opb		 OPT
f=167
TT=0.018
T1=0.01
 OPT
f=167
TT=2.349
T1=1.79
 OPT
f=167
TT=1.4
T1=1.05
 OPT
f=167
TT=5.385
T1=5.38
 OPT
f=167
TT=0.059
T1=0.05
 OPT
f=167
TT=0.018
T1=0.01
 OPT
f=167
TT=0.087
T1=0.07
 OPT
f=167
TT=0.073
T1=0.06
 OPT
f=167
TT=0.088
T1=0.02
 OPT
f=167
TT=0.089
T1=0.02
 OPT
f=167
TT=212.239
T1=10.87
 OPT
f=167
TT=54.665
T1=2.51
 ? (TO)

TT=1800.66

 ? (TO)

TT=1800.66
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=167-Q=347.opb		 OPT
f=167
TT=0.012
T1=0.01
 OPT
f=167
TT=1.388
T1=1.03
 OPT
f=167
TT=1.482
T1=1.16
 OPT
f=167
TT=3.72
T1=3.72
 OPT
f=167
TT=0.064
T1=0.06
 OPT
f=167
TT=0.012
T1=0.01
 OPT
f=167
TT=0.071
T1=0.08
 OPT
f=167
TT=0.075
T1=0.06
 OPT
f=167
TT=0.027
T1=0.02
 OPT
f=167
TT=0.028
T1=0.02
 OPT
f=167
TT=13.926
T1=2.46
 OPT
f=167
TT=9.145
T1=2.52
 ? (TO)

TT=1800.71

 ? (TO)

TT=1800.56
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=173-Q=173.opb		 OPT
f=173
TT=0.02
T1=0.02
 OPT
f=173
TT=2.194
T1=1.71
 OPT
f=173
TT=1.395
T1=1.21
 OPT
f=173
TT=6.111
T1=6.11
 OPT
f=173
TT=0.043
T1=0.03
 OPT
f=173
TT=0.02
T1=0.02
 OPT
f=173
TT=0.075
T1=0.06
 OPT
f=173
TT=0.072
T1=0.05
 OPT
f=173
TT=0.06
T1=0.06
 OPT
f=173
TT=0.063
T1=0.06
 OPT
f=173
TT=41.732
T1=6.06
 OPT
f=173
TT=31.477
T1=7.12
 SAT (TO)
f=173
TT=1800.46
T1=7.86
 ? (TO)

TT=1800.59
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=173-Q=191.opb		 OPT
f=173
TT=0.014
T1=0.01
 OPT
f=173
TT=2.214
T1=1.58
 OPT
f=173
TT=1.335
T1=1.08
 OPT
f=173
TT=6.536
T1=6.54
 OPT
f=173
TT=0.044
T1=0.03
 OPT
f=173
TT=0.014
T1=0.01
 OPT
f=173
TT=0.081
T1=0.06
 OPT
f=173
TT=0.07
T1=0.05
 OPT
f=173
TT=0.04
T1=0.04
 OPT
f=173
TT=0.039
T1=0.04
 OPT
f=173
TT=644.428
T1=8.56
 OPT
f=173
TT=292.029
T1=12.62
 SAT (TO)
f=173
TT=1800.62
T1=9.09
 SAT (TO)
f=173
TT=1800.56
T1=27.13
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=173-Q=211.opb		 OPT
f=173
TT=0.015
T1=0.01
 OPT
f=173
TT=2.177
T1=1.66
 OPT
f=173
TT=1.436
T1=1.09
 OPT
f=173
TT=6.746
T1=6.75
 OPT
f=173
TT=0.052
T1=0.04
 OPT
f=173
TT=0.015
T1=0.01
 OPT
f=173
TT=0.071
T1=0.05
 OPT
f=173
TT=0.073
T1=0.06
 OPT
f=173
TT=0.04
T1=0.03
 OPT
f=173
TT=0.04
T1=0.02
 OPT
f=173
TT=322.485
T1=32.81
 OPT
f=173
TT=41.427
T1=7.16
 SAT (TO)
f=173
TT=1800.69
T1=4.13
 SAT (TO)
f=173
TT=1800.63
T1=45.46
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=179-Q=509.opb		 OPT
f=179
TT=0.003
T1=0
 OPT
f=179
TT=0.986
T1=0.7
 OPT
f=179
TT=2.186
T1=1.73
 OPT
f=179
TT=2.118
T1=2.12
 OPT
f=179
TT=0.061
T1=0.06
 OPT
f=179
TT=0.003
T1=0
 OPT
f=179
TT=0.065
T1=0.04
 OPT
f=179
TT=0.053
T1=0.04
 OPT
f=179
TT=0.04
T1=0.04
 OPT
f=179
TT=0.041
T1=0.04
 OPT
f=179
TT=4.062
T1=2.43
 OPT
f=179
TT=0.448
T1=0.31
 ? (TO)

TT=1800.63

 SAT (TO)
f=179
TT=1800.65
T1=2.5
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=17-Q=347.opb		 OPT
f=17
TT=0.005
T1=0
 OPT
f=17
TT=1.24
T1=0.9
 OPT
f=17
TT=0.739
T1=0.74
 OPT
f=17
TT=2.929
T1=2.92
 OPT
f=17
TT=0.041
T1=0.04
 OPT
f=17
TT=0.005
T1=0
 OPT
f=17
TT=0.068
T1=0.04
 OPT
f=17
TT=0.057
T1=0.04
 OPT
f=17
TT=0.025
T1=0.02
 OPT
f=17
TT=0.027
T1=0.02
 OPT
f=17
TT=4.896
T1=3.6
 OPT
f=17
TT=6.009
T1=4.52
 SAT (TO)
f=17
TT=1800.74
T1=9.35
 ? (TO)

TT=1800.64
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=17-Q=457.opb		 OPT
f=17
TT=0.004
T1=0
 OPT
f=17
TT=1.082
T1=0.75
 OPT
f=17
TT=0.813
T1=0.81
 OPT
f=17
TT=0.949
T1=0.95
 OPT
f=17
TT=0.033
T1=0.03
 OPT
f=17
TT=0.004
T1=0
 OPT
f=17
TT=0.06
T1=0.04
 OPT
f=17
TT=0.057
T1=0.04
 OPT
f=17
TT=0.022
T1=0.02
 OPT
f=17
TT=0.023
T1=0.02
 OPT
f=17
TT=33.987
T1=32.5
 OPT
f=17
TT=0.433
T1=0.31
 SAT (TO)
f=17
TT=1800.67
T1=10.44
 SAT (TO)
f=17
TT=1800.51
T1=2.03
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-PB06/roussel/factor/
normalized-factor-size=9-P=17-Q=487.opb		 OPT
f=17
TT=0.003
T1=0
 OPT
f=17
TT=1.073
T1=0.75
 OPT
f=17
TT=0.828
T1=0.85
 OPT
f=17
TT=0.041
T1=0.04
 OPT
f=17
TT=0.037
T1=0.03
 OPT
f=17
TT=0.003
T1=0
 OPT
f=17
TT=0.059
T1=0.04
 OPT
f=17
TT=0.058
T1=0.04
 OPT
f=17
TT=0.027
T1=0.02
 OPT
f=17
TT=0.027
T1=0.02
 OPT
f=17
TT=3.724
T1=2.59
 OPT
f=17
TT=0.487
T1=0.39
 SAT (TO)
f=17
TT=1800.75
T1=26.84
 SAT (TO)
f=17
TT=1800.66
T1=134.85
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=191-Q=251.opb		 OPT
f=191
TT=0.014
T1=0.01
 OPT
f=191
TT=2.038
T1=1.56
 OPT
f=191
TT=1.394
T1=1.06
 OPT
f=191
TT=4.038
T1=4.04
 OPT
f=191
TT=0.063
T1=0.06
 OPT
f=191
TT=0.014
T1=0.01
 OPT
f=191
TT=0.071
T1=0.06
 OPT
f=191
TT=0.07
T1=0.06
 OPT
f=191
TT=0.048
T1=0.04
 OPT
f=191
TT=0.051
T1=0.04
 OPT
f=191
TT=28.754
T1=4.99
 OPT
f=191
TT=69.58
T1=3.84
 SAT (TO)
f=191
TT=1800.65
T1=12.67
 SAT (TO)
f=191
TT=1800.61
T1=0.1
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=191-Q=389.opb		 OPT
f=191
TT=0.008
T1=0.01
 OPT
f=191
TT=1.424
T1=1
 OPT
f=191
TT=1.04
T1=0.8
 OPT
f=191
TT=1.318
T1=1.32
 OPT
f=191
TT=0.055
T1=0.05
 OPT
f=191
TT=0.008
T1=0.01
 OPT
f=191
TT=0.07
T1=0.05
 OPT
f=191
TT=0.081
T1=0.09
 OPT
f=191
TT=0.04
T1=0.04
 OPT
f=191
TT=0.041
T1=0.04
 OPT
f=191
TT=22.479
T1=13.78
 OPT
f=191
TT=3.227
T1=1.28
 ? (TO)

TT=1800.67

 ? (TO)

TT=1800.63
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=191-Q=449.opb		 OPT
f=191
TT=0.005
T1=0
 OPT
f=191
TT=1.406
T1=0.95
 OPT
f=191
TT=1.017
T1=0.88
 OPT
f=191
TT=2.438
T1=2.43
 OPT
f=191
TT=0.039
T1=0.03
 OPT
f=191
TT=0.005
T1=0
 OPT
f=191
TT=0.059
T1=0.05
 OPT
f=191
TT=0.064
T1=0.05
 OPT
f=191
TT=0.075
T1=0.07
 OPT
f=191
TT=0.075
T1=0.07
 OPT
f=191
TT=8.692
T1=3.82
 OPT
f=191
TT=2.604
T1=0.79
 SAT (TO)
f=191
TT=1800.65
T1=9.35
 ? (TO)

TT=1800.67
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=191-Q=509.opb		 OPT
f=191
TT=0.003
T1=0
 OPT
f=191
TT=0.969
T1=0.77
 OPT
f=191
TT=1.351
T1=1.04
 OPT
f=191
TT=3.501
T1=3.5
 OPT
f=191
TT=0.029
T1=0.03
 OPT
f=191
TT=0.003
T1=0
 OPT
f=191
TT=0.054
T1=0.04
 OPT
f=191
TT=0.059
T1=0.04
 OPT
f=191
TT=0.149
T1=0.15
 OPT
f=191
TT=0.15
T1=0.15
 OPT
f=191
TT=64.866
T1=63.29
 OPT
f=191
TT=0.453
T1=0.34
 SAT (TO)
f=191
TT=1800.52
T1=0.25
 SAT (TO)
f=191
TT=1800.53
T1=1.42
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=197-Q=479.opb		 OPT
f=197
TT=0.004
T1=0
 OPT
f=197
TT=1.246
T1=0.87
 OPT
f=197
TT=7.488
T1=6.06
 OPT
f=197
TT=1.964
T1=1.96
 OPT
f=197
TT=0.055
T1=0.05
 OPT
f=197
TT=0.004
T1=0
 OPT
f=197
TT=0.065
T1=0.05
 OPT
f=197
TT=0.066
T1=0.05
 OPT
f=197
TT=0.067
T1=0.06
 OPT
f=197
TT=0.07
T1=0.06
 OPT
f=197
TT=20.102
T1=18.05
 OPT
f=197
TT=2.428
T1=1.23
 ? (TO)

TT=1800.57

 ? (TO)

TT=1800.56
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=211-Q=347.opb		 OPT
f=211
TT=0.013
T1=0.01
 OPT
f=211
TT=1.601
T1=1.17
 OPT
f=211
TT=2.368
T1=2.29
 OPT
f=211
TT=3.395
T1=3.39
 OPT
f=211
TT=0.052
T1=0.05
 OPT
f=211
TT=0.013
T1=0.01
 OPT
f=211
TT=0.065
T1=0.09
 OPT
f=211
TT=0.075
T1=0.06
 OPT
f=211
TT=0.039
T1=0.03
 OPT
f=211
TT=0.039
T1=0.03
 OPT
f=211
TT=270.613
T1=238.67
 OPT
f=211
TT=21.654
T1=1.88
 ? (TO)

TT=1800.81

 ? (TO)

TT=1800.5
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=211-Q=479.opb		 OPT
f=211
TT=0.005
T1=0
 OPT
f=211
TT=1.363
T1=0.93
 OPT
f=211
TT=1.117
T1=0.9
 OPT
f=211
TT=0.58
T1=0.58
 OPT
f=211
TT=0.059
T1=0.05
 OPT
f=211
TT=0.005
T1=0
 OPT
f=211
TT=0.061
T1=0.04
 OPT
f=211
TT=0.076
T1=0.06
 OPT
f=211
TT=0.035
T1=0.03
 OPT
f=211
TT=0.035
T1=0.03
 OPT
f=211
TT=8.5
T1=5.97
 OPT
f=211
TT=2.915
T1=1.25
 SAT (TO)
f=211
TT=1800.56
T1=29.63
 ? (TO)

TT=1800.62
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=223-Q=263.opb		 OPT
f=223
TT=0.018
T1=0.01
 OPT
f=223
TT=2.181
T1=1.69
 OPT
f=223
TT=1.519
T1=1.07
 OPT
f=223
TT=3.623
T1=3.62
 OPT
f=223
TT=0.061
T1=0.06
 OPT
f=223
TT=0.018
T1=0.01
 OPT
f=223
TT=0.069
T1=0.05
 OPT
f=223
TT=0.077
T1=0.06
 OPT
f=223
TT=0.032
T1=0.03
 OPT
f=223
TT=0.029
T1=0.02
 OPT
f=223
TT=13.92
T1=2.95
 OPT
f=223
TT=19.365
T1=2.33
 ? (TO)

TT=1800.65

 SAT (TO)
f=223
TT=1800.65
T1=27.5
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=223-Q=307.opb		 OPT
f=223
TT=0.012
T1=0.01
 OPT
f=223
TT=1.905
T1=1.43
 OPT
f=223
TT=1.516
T1=1.08
 OPT
f=223
TT=3.343
T1=3.34
 OPT
f=223
TT=0.064
T1=0.06
 OPT
f=223
TT=0.012
T1=0.01
 OPT
f=223
TT=0.071
T1=0.05
 OPT
f=223
TT=0.073
T1=0.07
 OPT
f=223
TT=0.035
T1=0.03
 OPT
f=223
TT=0.036
T1=0.03
 OPT
f=223
TT=191.233
T1=114.39
 OPT
f=223
TT=6.413
T1=1.94
 SAT (TO)
f=223
TT=1800.74
T1=6.44
 ? (TO)

TT=1800.72
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-PB06/roussel/factor/
normalized-factor-size=9-P=223-Q=347.opb		 OPT
f=223
TT=0.012
T1=0.02
 OPT
f=223
TT=1.8
T1=1.3
 OPT
f=223
TT=2.559
T1=1.58
 OPT
f=223
TT=2.917
T1=2.91
 OPT
f=223
TT=0.061
T1=0.05
 OPT
f=223
TT=0.012
T1=0.04
 OPT
f=223
TT=0.078
T1=0.06
 OPT
f=223
TT=0.088
T1=0.06
 OPT
f=223
TT=0.032
T1=0.03
 OPT
f=223
TT=0.031
T1=0.02
 OPT
f=223
TT=15.035
T1=12.2
 OPT
f=223
TT=30.92
T1=10.26
 SAT (TO)
f=223
TT=1800.66
T1=1.58
 SAT (TO)
f=223
TT=1800.69
T1=7.92
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=223-Q=379.opb		 OPT
f=223
TT=0.011
T1=0.01
 OPT
f=223
TT=1.684
T1=1.25
 OPT
f=223
TT=1.347
T1=0.92
 OPT
f=223
TT=2.412
T1=2.41
 OPT
f=223
TT=0.05
T1=0.04
 OPT
f=223
TT=0.011
T1=0.01
 OPT
f=223
TT=0.069
T1=0.05
 OPT
f=223
TT=0.071
T1=0.06
 OPT
f=223
TT=0.187
T1=0.19
 OPT
f=223
TT=0.208
T1=0.2
 OPT
f=223
TT=17.493
T1=12.46
 OPT
f=223
TT=15.901
T1=4.7
 SAT (TO)
f=223
TT=1800.66
T1=0.92
 SAT (TO)
f=223
TT=1800.59
T1=7.47
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=223-Q=383.opb		 OPT
f=223
TT=0.009
T1=0.01
 OPT
f=223
TT=1.623
T1=1.18
 OPT
f=223
TT=1.256
T1=0.89
 OPT
f=223
TT=1.634
T1=1.63
 OPT
f=223
TT=0.053
T1=0.04
 OPT
f=223
TT=0.009
T1=0.01
 OPT
f=223
TT=0.067
T1=0.05
 OPT
f=223
TT=0.07
T1=0.05
 OPT
f=223
TT=0.055
T1=0.05
 OPT
f=223
TT=0.057
T1=0.05
 OPT
f=223
TT=31.822
T1=2.01
 OPT
f=223
TT=19.143
T1=10.66
 SAT (TO)
f=223
TT=1800.54
T1=1.38
 SAT (TO)
f=223
TT=1800.51
T1=0.25
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=223-Q=421.opb		 OPT
f=223
TT=0.011
T1=0.01
 OPT
f=223
TT=1.41
T1=0.99
 OPT
f=223
TT=8.027
T1=7.36
 OPT
f=223
TT=1.411
T1=1.41
 OPT
f=223
TT=0.045
T1=0.04
 OPT
f=223
TT=0.011
T1=0.01
 OPT
f=223
TT=0.066
T1=0.05
 OPT
f=223
TT=0.08
T1=0.06
 OPT
f=223
TT=0.031
T1=0.02
 OPT
f=223
TT=0.031
T1=0.03
 OPT
f=223
TT=11.464
T1=3.31
 OPT
f=223
TT=4.391
T1=2.05
 ? (TO)

TT=1800.6

 ? (TO)

TT=1800.66
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=223-Q=431.opb		 OPT
f=223
TT=0.016
T1=0.01
 OPT
f=223
TT=1.374
T1=0.98
 OPT
f=223
TT=0.919
T1=0.47
 OPT
f=223
TT=1.074
T1=1.07
 OPT
f=223
TT=0.047
T1=0.04
 OPT
f=223
TT=0.016
T1=0.01
 OPT
f=223
TT=0.069
T1=0.05
 OPT
f=223
TT=0.067
T1=0.05
 OPT
f=223
TT=0.07
T1=0.07
 OPT
f=223
TT=0.076
T1=0.07
 OPT
f=223
TT=37.763
T1=23.37
 OPT
f=223
TT=3.671
T1=1.28
 SAT (TO)
f=223
TT=1800.46
T1=2.75
 SAT (TO)
f=223
TT=1800.66
T1=2.64
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=223-Q=499.opb		 OPT
f=223
TT=0.004
T1=0
 OPT
f=223
TT=1.101
T1=0.77
 OPT
f=223
TT=0.638
T1=0.53
 OPT
f=223
TT=2.716
T1=2.72
 OPT
f=223
TT=0.044
T1=0.04
 OPT
f=223
TT=0.004
T1=0
 OPT
f=223
TT=0.06
T1=0.04
 OPT
f=223
TT=0.055
T1=0.04
 OPT
f=223
TT=0.033
T1=0.03
 OPT
f=223
TT=0.035
T1=0.03
 OPT
f=223
TT=2.92
T1=1.61
 OPT
f=223
TT=2.091
T1=0.92
 SAT (TO)
f=223
TT=1800.71
T1=0.15
 SAT (TO)
f=223
TT=1800.57
T1=1.9
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=227-Q=383.opb		 OPT
f=227
TT=0.011
T1=0.01
 OPT
f=227
TT=1.617
T1=1.23
 OPT
f=227
TT=1.821
T1=1.06
 OPT
f=227
TT=1.769
T1=1.77
 OPT
f=227
TT=0.051
T1=0.04
 OPT
f=227
TT=0.011
T1=0.01
 OPT
f=227
TT=0.07
T1=0.05
 OPT
f=227
TT=0.072
T1=0.06
 OPT
f=227
TT=0.076
T1=0.07
 OPT
f=227
TT=0.077
T1=0.07
 OPT
f=227
TT=160.259
T1=99.14
 OPT
f=227
TT=20.182
T1=4.19
 SAT (TO)
f=227
TT=1800.51
T1=28.59
 ? (TO)

TT=1800.5
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=229-Q=239.opb		 OPT
f=229
TT=0.017
T1=0.02
 OPT
f=229
TT=2.509
T1=1.94
 OPT
f=229
TT=2.067
T1=1.25
 OPT
f=229
TT=4.102
T1=4.11
 OPT
f=229
TT=0.043
T1=0.03
 OPT
f=229
TT=0.017
T1=0.02
 OPT
f=229
TT=0.076
T1=0.06
 OPT
f=229
TT=0.078
T1=0.08
 OPT
f=229
TT=0.075
T1=0.03
 OPT
f=229
TT=0.075
T1=0.02
 OPT
f=229
TT=137.745
T1=3.79
 OPT
f=229
TT=22.492
T1=3.75
 ? (TO)

TT=1800.7

 ? (TO)

TT=1800.55
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=229-Q=307.opb		 OPT
f=229
TT=0.014
T1=0.01
 OPT
f=229
TT=2.276
T1=1.65
 OPT
f=229
TT=1.905
T1=1.33
 OPT
f=229
TT=4.245
T1=4.25
 OPT
f=229
TT=0.049
T1=0.04
 OPT
f=229
TT=0.014
T1=0.01
 OPT
f=229
TT=0.072
T1=0.08
 OPT
f=229
TT=0.068
T1=0.05
 OPT
f=229
TT=0.024
T1=0.02
 OPT
f=229
TT=0.026
T1=0.01
 OPT
f=229
TT=65.232
T1=24.53
 OPT
f=229
TT=212.349
T1=71.95
 SAT (TO)
f=229
TT=1800.65
T1=5.82
 SAT (TO)
f=229
TT=1800.67
T1=8.42
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=233-Q=347.opb		 OPT
f=233
TT=0.014
T1=0.01
 OPT
f=233
TT=1.802
T1=1.38
 OPT
f=233
TT=2.905
T1=2.03
 OPT
f=233
TT=2.379
T1=2.38
 OPT
f=233
TT=0.05
T1=0.05
 OPT
f=233
TT=0.014
T1=0.01
 OPT
f=233
TT=0.076
T1=0.05
 OPT
f=233
TT=0.084
T1=0.06
 OPT
f=233
TT=0.043
T1=0.03
 OPT
f=233
TT=0.039
T1=0.03
 OPT
f=233
TT=24.405
T1=4.19
 OPT
f=233
TT=166.629
T1=30.15
 ? (TO)

TT=1800.63

 ? (TO)

TT=1800.65
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-PB06/roussel/factor/
normalized-factor-size=9-P=239-Q=373.opb		 OPT
f=239
TT=0.011
T1=0.01
 OPT
f=239
TT=1.707
T1=1.31
 OPT
f=239
TT=1.469
T1=0.85
 OPT
f=239
TT=2.193
T1=2.19
 OPT
f=239
TT=0.036
T1=0.03
 OPT
f=239
TT=0.011
T1=0.01
 OPT
f=239
TT=0.069
T1=0.06
 OPT
f=239
TT=0.077
T1=0.07
 OPT
f=239
TT=0.04
T1=0.04
 OPT
f=239
TT=0.037
T1=0.03
 OPT
f=239
TT=7.224
T1=3.44
 OPT
f=239
TT=5.492
T1=1.59
 ? (TO)

TT=1800.64

 SAT (TO)
f=239
TT=1800.62
T1=3.14
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=239-Q=487.opb		 OPT
f=239
TT=0.004
T1=0
 OPT
f=239
TT=1.4
T1=0.82
 OPT
f=239
TT=1.026
T1=0.84
 OPT
f=239
TT=1.601
T1=1.6
 OPT
f=239
TT=0.044
T1=0.04
 OPT
f=239
TT=0.004
T1=0
 OPT
f=239
TT=0.056
T1=0.04
 OPT
f=239
TT=0.06
T1=0.04
 OPT
f=239
TT=0.026
T1=0.02
 OPT
f=239
TT=0.026
T1=0.02
 OPT
f=239
TT=2.996
T1=1.75
 OPT
f=239
TT=2.303
T1=1.18
 SAT (TO)
f=239
TT=1800.64
T1=8.46
 SAT (TO)
f=239
TT=1800.68
T1=1.29
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=23-Q=293.opb		 OPT
f=23
TT=0.006
T1=0
 OPT
f=23
TT=1.455
T1=0.94
 OPT
f=23
TT=0.805
T1=0.81
 OPT
f=23
TT=3.069
T1=3.06
 OPT
f=23
TT=0.036
T1=0.03
 OPT
f=23
TT=0.006
T1=0
 OPT
f=23
TT=0.075
T1=0.07
 OPT
f=23
TT=0.069
T1=0.06
 OPT
f=23
TT=0.03
T1=0.03
 OPT
f=23
TT=0.031
T1=0.03
 OPT
f=23
TT=6.157
T1=4.17
 OPT
f=23
TT=3.138
T1=1.32
 SAT (TO)
f=23
TT=1800.62
T1=15.2
 SAT (TO)
f=23
TT=1800.65
T1=10.17
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=23-Q=379.opb		 OPT
f=23
TT=0.004
T1=0
 OPT
f=23
TT=1.302
T1=0.99
 OPT
f=23
TT=0.904
T1=0.92
 OPT
f=23
TT=0.991
T1=0.99
 OPT
f=23
TT=0.053
T1=0.05
 OPT
f=23
TT=0.004
T1=0
 OPT
f=23
TT=0.075
T1=0.06
 OPT
f=23
TT=0.071
T1=0.05
 OPT
f=23
TT=0.047
T1=0.04
 OPT
f=23
TT=0.04
T1=0.04
 OPT
f=23
TT=5.132
T1=3.2
 OPT
f=23
TT=3.329
T1=0.58
 SAT (TO)
f=23
TT=1800.56
T1=4.41
 SAT (TO)
f=23
TT=1800.59
T1=11.93
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=23-Q=521.opb		 UNSAT

TT=0.022

 UNSAT

TT=2.888

 UNSAT

TT=0.992

 UNSAT

TT=5.897

 UNSAT

TT=0.054

 UNSAT

TT=0.022

 UNSAT

TT=0.081

 UNSAT

TT=0.072

 UNSAT

TT=0.058

 UNSAT

TT=0.055

 UNSAT

TT=26.563

 UNSAT

TT=11.265

 ? (TO)

TT=1800.78

 ? (TO)

TT=1800.78
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=251-Q=277.opb		 OPT
f=251
TT=0.014
T1=0.01
 OPT
f=251
TT=2.75
T1=2.09
 OPT
f=251
TT=1.62
T1=1.07
 OPT
f=251
TT=3.207
T1=3.2
 OPT
f=251
TT=0.047
T1=0.04
 OPT
f=251
TT=0.014
T1=0.01
 OPT
f=251
TT=0.071
T1=0.08
 OPT
f=251
TT=0.071
T1=0.07
 OPT
f=251
TT=0.042
T1=0.03
 OPT
f=251
TT=0.046
T1=0.03
 OPT
f=251
TT=230.588
T1=142.15
 OPT
f=251
TT=27.777
T1=1.57
 ? (TO)

TT=1800.66

 ? (TO)

TT=1800.59
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=251-Q=307.opb		 OPT
f=251
TT=0.013
T1=0.01
 OPT
f=251
TT=2.41
T1=1.85
 OPT
f=251
TT=2.64
T1=1.16
 OPT
f=251
TT=2.798
T1=2.8
 OPT
f=251
TT=0.05
T1=0.05
 OPT
f=251
TT=0.013
T1=0.01
 OPT
f=251
TT=0.075
T1=0.05
 OPT
f=251
TT=0.085
T1=0.07
 OPT
f=251
TT=0.024
T1=0.02
 OPT
f=251
TT=0.027
T1=0.02
 OPT
f=251
TT=129.574
T1=13.66
 OPT
f=251
TT=73.608
T1=2.14
 SAT (TO)
f=251
TT=1800.66
T1=7.32
 ? (TO)

TT=1800.59
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=251-Q=331.opb		 OPT
f=251
TT=0.015
T1=0.01
 OPT
f=251
TT=2.134
T1=1.64
 OPT
f=251
TT=7.004
T1=5.36
 OPT
f=251
TT=2.369
T1=2.37
 OPT
f=251
TT=0.054
T1=0.04
 OPT
f=251
TT=0.015
T1=0.01
 OPT
f=251
TT=0.069
T1=0.05
 OPT
f=251
TT=0.071
T1=0.05
 OPT
f=251
TT=0.094
T1=0.09
 OPT
f=251
TT=0.048
T1=0.03
 OPT
f=251
TT=23.318
T1=2.31
 OPT
f=251
TT=179.865
T1=79.51
 ? (TO)

TT=1800.6

 ? (TO)

TT=1800.62
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=251-Q=379.opb		 OPT
f=251
TT=0.013
T1=0.01
 OPT
f=251
TT=1.855
T1=1.35
 OPT
f=251
TT=3.8
T1=3.05
 OPT
f=251
TT=1.902
T1=1.9
 OPT
f=251
TT=0.045
T1=0.04
 OPT
f=251
TT=0.013
T1=0.01
 OPT
f=251
TT=0.071
T1=0.05
 OPT
f=251
TT=0.071
T1=0.06
 OPT
f=251
TT=0.038
T1=0.03
 OPT
f=251
TT=0.04
T1=0.04
 OPT
f=251
TT=93.511
T1=66.13
 OPT
f=251
TT=44.038
T1=28.88
 SAT (TO)
f=251
TT=1800.45
T1=7.18
 SAT (TO)
f=251
TT=1800.62
T1=0.57
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=251-Q=419.opb		 OPT
f=251
TT=0.011
T1=0.01
 OPT
f=251
TT=1.591
T1=1.16
 OPT
f=251
TT=3.109
T1=2.47
 OPT
f=251
TT=5.252
T1=5.25
 OPT
f=251
TT=0.038
T1=0.03
 OPT
f=251
TT=0.011
T1=0.01
 OPT
f=251
TT=0.073
T1=0.05
 OPT
f=251
TT=0.078
T1=0.06
 OPT
f=251
TT=0.035
T1=0.03
 OPT
f=251
TT=0.034
T1=0.03
 OPT
f=251
TT=10.596
T1=4.99
 OPT
f=251
TT=18.162
T1=1.9
 ? (TO)

TT=1800.67

 SAT (TO)
f=251
TT=1800.6
T1=30.37
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-PB06/roussel/factor/
normalized-factor-size=9-P=257-Q=331.opb		 OPT
f=257
TT=0.014
T1=0.01
 OPT
f=257
TT=2.178
T1=1.66
 OPT
f=257
TT=3.21
T1=2.17
 OPT
f=257
TT=5.234
T1=5.23
 OPT
f=257
TT=0.043
T1=0.03
 OPT
f=257
TT=0.014
T1=0.01
 OPT
f=257
TT=0.078
T1=0.06
 OPT
f=257
TT=0.073
T1=0.05
 OPT
f=257
TT=0.022
T1=0.01
 OPT
f=257
TT=0.022
T1=0.01
 OPT
f=257
TT=67.563
T1=7.9
 OPT
f=257
TT=252.069
T1=205.6
 SAT (TO)
f=257
TT=1800.5
T1=11.62
 SAT (TO)
f=257
TT=1800.63
T1=0.67
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=257-Q=449.opb		 OPT
f=257
TT=0.008
T1=0
 OPT
f=257
TT=1.49
T1=1.04
 OPT
f=257
TT=2.73
T1=2.62
 OPT
f=257
TT=1.015
T1=1.01
 OPT
f=257
TT=0.031
T1=0.03
 OPT
f=257
TT=0.008
T1=0
 OPT
f=257
TT=0.063
T1=0.05
 OPT
f=257
TT=0.063
T1=0.05
 OPT
f=257
TT=0.014
T1=0.01
 OPT
f=257
TT=0.013
T1=0.01
 OPT
f=257
TT=5.059
T1=1.53
 OPT
f=257
TT=11.393
T1=2.59
 SAT (TO)
f=257
TT=1800.61
T1=2.03
 SAT (TO)
f=257
TT=1800.44
T1=1.09
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=257-Q=503.opb		 OPT
f=257
TT=0.012
T1=0.01
 OPT
f=257
TT=1.199
T1=0.77
 OPT
f=257
TT=0.574
T1=0.53
 OPT
f=257
TT=0.242
T1=0.24
 OPT
f=257
TT=0.044
T1=0.04
 OPT
f=257
TT=0.022
T1=0.02
 OPT
f=257
TT=0.068
T1=0.05
 OPT
f=257
TT=0.058
T1=0.04
 OPT
f=257
TT=0.012
T1=0.01
 OPT
f=257
TT=0.012
T1=0.01
 OPT
f=257
TT=4.721
T1=2.54
 OPT
f=257
TT=1.811
T1=1.05
 ? (TO)

TT=1800.56

 ? (TO)

TT=1800.61
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=263-Q=307.opb		 OPT
f=263
TT=0.015
T1=0.01
 OPT
f=263
TT=2.293
T1=1.86
 OPT
f=263
TT=2.959
T1=1.78
 OPT
f=263
TT=3.138
T1=3.14
 OPT
f=263
TT=0.063
T1=0.06
 OPT
f=263
TT=0.015
T1=0.01
 OPT
f=263
TT=0.094
T1=0.08
 OPT
f=263
TT=0.075
T1=0.05
 OPT
f=263
TT=0.044
T1=0.04
 OPT
f=263
TT=0.044
T1=0.04
 OPT
f=263
TT=120.367
T1=47.87
 OPT
f=263
TT=26.523
T1=3.86
 SAT (TO)
f=263
TT=1800.53
T1=19.82
 SAT (TO)
f=263
TT=1800.71
T1=5.96
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=263-Q=367.opb		 OPT
f=263
TT=0.014
T1=0.01
 OPT
f=263
TT=1.815
T1=1.28
 OPT
f=263
TT=1.255
T1=0.56
 OPT
f=263
TT=2.297
T1=2.29
 OPT
f=263
TT=0.05
T1=0.05
 OPT
f=263
TT=0.014
T1=0.01
 OPT
f=263
TT=0.073
T1=0.06
 OPT
f=263
TT=0.066
T1=0.07
 OPT
f=263
TT=0.021
T1=0.01
 OPT
f=263
TT=0.02
T1=0.01
 OPT
f=263
TT=80.475
T1=9.31
 OPT
f=263
TT=11.509
T1=2.93
 ? (TO)

TT=1800.42

 ? (TO)

TT=1800.51
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=269-Q=359.opb		 OPT
f=269
TT=0.028
T1=0.03
 OPT
f=269
TT=1.818
T1=1.36
 OPT
f=269
TT=4.601
T1=3.8
 OPT
f=269
TT=5.482
T1=5.48
 OPT
f=269
TT=0.042
T1=0.03
 OPT
f=269
TT=0.028
T1=0.03
 OPT
f=269
TT=0.072
T1=0.06
 OPT
f=269
TT=0.07
T1=0.05
 OPT
f=269
TT=0.083
T1=0.08
 OPT
f=269
TT=0.084
T1=0.08
 OPT
f=269
TT=57.665
T1=49.45
 OPT
f=269
TT=45.351
T1=25.44
 ? (TO)

TT=1800.59

 ? (TO)

TT=1800.62
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=269-Q=431.opb		 OPT
f=269
TT=0.01
T1=0.01
 OPT
f=269
TT=1.494
T1=1.04
 OPT
f=269
TT=1.46
T1=0.64
 OPT
f=269
TT=4.565
T1=4.56
 OPT
f=269
TT=0.045
T1=0.04
 OPT
f=269
TT=0.01
T1=0.01
 OPT
f=269
TT=0.068
T1=0.05
 OPT
f=269
TT=0.072
T1=0.06
 OPT
f=269
TT=0.016
T1=0.01
 OPT
f=269
TT=0.017
T1=0.01
 OPT
f=269
TT=7.349
T1=3.47
 OPT
f=269
TT=9.088
T1=2.1
 ? (TO)

TT=1800.69

 ? (TO)

TT=1800.64
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=269-Q=433.opb		 OPT
f=269
TT=0.01
T1=0.01
 OPT
f=269
TT=1.346
T1=0.98
 OPT
f=269
TT=2.823
T1=2.58
 OPT
f=269
TT=4.446
T1=4.45
 OPT
f=269
TT=0.039
T1=0.03
 OPT
f=269
TT=0.01
T1=0.01
 OPT
f=269
TT=0.062
T1=0.05
 OPT
f=269
TT=0.071
T1=0.05
 OPT
f=269
TT=0.017
T1=0.01
 OPT
f=269
TT=0.016
T1=0.01
 OPT
f=269
TT=9.244
T1=4.97
 OPT
f=269
TT=10.357
T1=8.78
 ? (TO)

TT=1800.67

 ? (TO)

TT=1800.46
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=281-Q=331.opb		 OPT
f=281
TT=0.015
T1=0.01
 OPT
f=281
TT=2.015
T1=1.5
 OPT
f=281
TT=3.861
T1=3.3
 OPT
f=281
TT=4.476
T1=4.47
 OPT
f=281
TT=0.048
T1=0.04
 OPT
f=281
TT=0.015
T1=0.01
 OPT
f=281
TT=0.082
T1=0.06
 OPT
f=281
TT=0.068
T1=0.05
 OPT
f=281
TT=0.029
T1=0.02
 OPT
f=281
TT=0.027
T1=0.02
 OPT
f=281
TT=290.212
T1=141.15
 OPT
f=281
TT=79.188
T1=57.08
 SAT (TO)
f=281
TT=1800.63
T1=3.83
 ? (TO)

TT=1800.54
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=281-Q=499.opb		 OPT
f=281
TT=0.004
T1=0
 OPT
f=281
TT=1.101
T1=0.88
 OPT
f=281
TT=0.457
T1=0.41
 OPT
f=281
TT=2.403
T1=2.4
 OPT
f=281
TT=0.044
T1=0.04
 OPT
f=281
TT=0.004
T1=0
 OPT
f=281
TT=0.065
T1=0.06
 OPT
f=281
TT=0.057
T1=0.04
 OPT
f=281
TT=0.029
T1=0.03
 OPT
f=281
TT=0.027
T1=0.03
 OPT
f=281
TT=14.336
T1=12.69
 OPT
f=281
TT=1.724
T1=0.8
 ? (TO)

TT=1800.71

 SAT (TO)
f=281
TT=1800.52
T1=5.89
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-PB06/roussel/factor/
normalized-factor-size=9-P=283-Q=293.opb		 OPT
f=283
TT=0.016
T1=0.01
 OPT
f=283
TT=2.305
T1=1.87
 OPT
f=283
TT=1.919
T1=1.18
 OPT
f=283
TT=3.566
T1=3.57
 OPT
f=283
TT=0.053
T1=0.05
 OPT
f=283
TT=0.016
T1=0.01
 OPT
f=283
TT=0.088
T1=0.07
 OPT
f=283
TT=0.067
T1=0.05
 OPT
f=283
TT=0.025
T1=0.01
 OPT
f=283
TT=0.026
T1=0.01
 OPT
f=283
TT=106.85
T1=3.65
 OPT
f=283
TT=9.755
T1=8.29
 SAT (TO)
f=283
TT=1800.49
T1=0.29
 SAT (TO)
f=283
TT=1800.69
T1=60.54
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=293-Q=307.opb		 OPT
f=293
TT=0.016
T1=0.01
 OPT
f=293
TT=1.998
T1=1.55
 OPT
f=293
TT=7.068
T1=6.09
 OPT
f=293
TT=3.322
T1=3.32
 OPT
f=293
TT=0.055
T1=0.04
 OPT
f=293
TT=0.016
T1=0.01
 OPT
f=293
TT=0.08
T1=0.07
 OPT
f=293
TT=0.064
T1=0.05
 OPT
f=293
TT=0.036
T1=0.02
 OPT
f=293
TT=0.037
T1=0.02
 OPT
f=293
TT=187.101
T1=71.07
 OPT
f=293
TT=17.087
T1=2.47
 ? (TO)

TT=1800.45

 ? (TO)

TT=1800.53
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=29-Q=163.opb		 OPT
f=29
TT=0.005
T1=0
 OPT
f=29
TT=1.717
T1=1.11
 OPT
f=29
TT=0.802
T1=0.8
 OPT
f=29
TT=3.869
T1=3.87
 OPT
f=29
TT=0.034
T1=0.03
 OPT
f=29
TT=0.005
T1=0
 OPT
f=29
TT=0.062
T1=0.05
 OPT
f=29
TT=0.062
T1=0.05
 OPT
f=29
TT=0.032
T1=0.03
 OPT
f=29
TT=0.032
T1=0.03
 OPT
f=29
TT=7.895
T1=2.58
 OPT
f=29
TT=10.856
T1=3.91
 ? (TO)

TT=1800.7

 SAT (TO)
f=29
TT=1800.72
T1=27.71
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=29-Q=277.opb		 OPT
f=29
TT=0.004
T1=0
 OPT
f=29
TT=1.481
T1=1.02
 OPT
f=29
TT=0.8
T1=0.81
 OPT
f=29
TT=2.376
T1=2.37
 OPT
f=29
TT=0.032
T1=0.03
 OPT
f=29
TT=0.004
T1=0
 OPT
f=29
TT=0.058
T1=0.05
 OPT
f=29
TT=0.064
T1=0.06
 OPT
f=29
TT=0.038
T1=0.04
 OPT
f=29
TT=0.037
T1=0.04
 OPT
f=29
TT=9.763
T1=6.57
 OPT
f=29
TT=3.818
T1=1.16
 ? (TO)

TT=1800.63

 SAT (TO)
f=29
TT=1800.67
T1=18.09
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=29-Q=331.opb		 OPT
f=29
TT=0.004
T1=0
 OPT
f=29
TT=1.399
T1=0.97
 OPT
f=29
TT=0.958
T1=1
 OPT
f=29
TT=1.784
T1=1.78
 OPT
f=29
TT=0.05
T1=0.05
 OPT
f=29
TT=0.004
T1=0
 OPT
f=29
TT=0.062
T1=0.04
 OPT
f=29
TT=0.071
T1=0.05
 OPT
f=29
TT=0.042
T1=0.04
 OPT
f=29
TT=0.047
T1=0.12
 OPT
f=29
TT=6.21
T1=3.88
 OPT
f=29
TT=3.06
T1=0.95
 SAT (TO)
f=29
TT=1800.53
T1=20.8
 ? (TO)

TT=1800.5
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=29-Q=409.opb		 OPT
f=29
TT=0.004
T1=0
 OPT
f=29
TT=1.39
T1=0.93
 OPT
f=29
TT=0.923
T1=0.92
 OPT
f=29
TT=1.544
T1=1.54
 OPT
f=29
TT=0.037
T1=0.03
 OPT
f=29
TT=0.004
T1=0
 OPT
f=29
TT=0.059
T1=0.05
 OPT
f=29
TT=0.061
T1=0.04
 OPT
f=29
TT=0.039
T1=0.04
 OPT
f=29
TT=0.046
T1=0.04
 OPT
f=29
TT=13.251
T1=11.33
 OPT
f=29
TT=2.607
T1=1.14
 ? (TO)

TT=1800.51

 ? (TO)

TT=1800.64
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=29-Q=479.opb		 OPT
f=29
TT=0.003
T1=0
 OPT
f=29
TT=1.181
T1=0.8
 OPT
f=29
TT=1.049
T1=1.03
 OPT
f=29
TT=0.114
T1=0.11
 OPT
f=29
TT=0.041
T1=0.04
 OPT
f=29
TT=0.003
T1=0
 OPT
f=29
TT=0.064
T1=0.05
 OPT
f=29
TT=0.063
T1=0.05
 OPT
f=29
TT=0.053
T1=0.05
 OPT
f=29
TT=0.053
T1=0.05
 OPT
f=29
TT=9.558
T1=8.49
 OPT
f=29
TT=0.428
T1=0.34
 ? (TO)

TT=1800.58

 ? (TO)

TT=1800.66
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=29-Q=521.opb		 UNSAT

TT=0.024

 UNSAT

TT=2.83

 UNSAT

TT=1.337

 UNSAT

TT=7.098

 UNSAT

TT=0.051

 UNSAT

TT=0.024

 UNSAT

TT=0.077

 UNSAT

TT=0.07

 UNSAT

TT=0.032

 UNSAT

TT=0.036

 UNSAT

TT=437.019

 UNSAT

TT=253.107

 ? (TO)

TT=1800.67

 ? (TO)

TT=1800.52
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=29-Q=71.opb		 OPT
f=29
TT=0.005
T1=0
 OPT
f=29
TT=1.527
T1=1.06
 OPT
f=29
TT=0.671
T1=0.63
 OPT
f=29
TT=3.401
T1=3.4
 OPT
f=29
TT=0.036
T1=0.03
 OPT
f=29
TT=0.005
T1=0
 OPT
f=29
TT=0.068
T1=0.11
 OPT
f=29
TT=0.068
T1=0.15
 OPT
f=29
TT=0.019
T1=0.01
 OPT
f=29
TT=0.019
T1=0.01
 OPT
f=29
TT=6.782
T1=1.49
 OPT
f=29
TT=7.222
T1=2.79
 SAT (TO)
f=29
TT=1800.71
T1=2.13
 SAT (TO)
f=29
TT=1800.77
T1=6.67
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=307-Q=307.opb		 OPT
f=307
TT=0.016
T1=0.01
 OPT
f=307
TT=1.94
T1=1.46
 OPT
f=307
TT=9.12
T1=5.86
 OPT
f=307
TT=3.757
T1=3.76
 OPT
f=307
TT=0.066
T1=0.05
 OPT
f=307
TT=0.016
T1=0.01
 OPT
f=307
TT=0.085
T1=0.06
 OPT
f=307
TT=0.071
T1=0.05
 OPT
f=307
TT=0.054
T1=0.04
 OPT
f=307
TT=0.055
T1=0.04
 OPT
f=307
TT=53.363
T1=2.42
 OPT
f=307
TT=81.689
T1=3.32
 SAT (TO)
f=307
TT=1800.53
T1=4.19
 ? (TO)

TT=1800.59
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-PB06/roussel/factor/
normalized-factor-size=9-P=307-Q=317.opb		 OPT
f=307
TT=0.024
T1=0.02
 OPT
f=307
TT=1.895
T1=1.35
 OPT
f=307
TT=4.177
T1=2.27
 OPT
f=307
TT=6.849
T1=6.85
 OPT
f=307
TT=0.062
T1=0.05
 OPT
f=307
TT=0.024
T1=0.02
 OPT
f=307
TT=0.086
T1=0.07
 OPT
f=307
TT=0.074
T1=0.05
 OPT
f=307
TT=0.109
T1=0.1
 OPT
f=307
TT=0.118
T1=0.11
 OPT
f=307
TT=49.464
T1=9.93
 OPT
f=307
TT=87.443
T1=15.62
 ? (TO)

TT=1800.53

 ? (TO)

TT=1800.56
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=307-Q=331.opb		 OPT
f=307
TT=0.016
T1=0.01
 OPT
f=307
TT=1.775
T1=1.31
 OPT
f=307
TT=5.177
T1=2.79
 OPT
f=307
TT=3.139
T1=3.14
 OPT
f=307
TT=0.048
T1=0.04
 OPT
f=307
TT=0.016
T1=0.01
 OPT
f=307
TT=0.079
T1=0.06
 OPT
f=307
TT=0.075
T1=0.06
 OPT
f=307
TT=0.048
T1=0.04
 OPT
f=307
TT=0.047
T1=0.04
 OPT
f=307
TT=114.201
T1=2.38
 OPT
f=307
TT=133.866
T1=17.01
 ? (TO)

TT=1800.52

 SAT (TO)
f=307
TT=1800.65
T1=102.33
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=307-Q=347.opb		 OPT
f=307
TT=0.015
T1=0.01
 OPT
f=307
TT=1.705
T1=1.19
 OPT
f=307
TT=2.675
T1=1.37
 OPT
f=307
TT=3.511
T1=3.51
 OPT
f=307
TT=0.046
T1=0.04
 OPT
f=307
TT=0.015
T1=0.01
 OPT
f=307
TT=0.082
T1=0.06
 OPT
f=307
TT=0.075
T1=0.06
 OPT
f=307
TT=0.036
T1=0.03
 OPT
f=307
TT=0.039
T1=0.03
 OPT
f=307
TT=52.237
T1=5.77
 OPT
f=307
TT=55.91
T1=7.25
 SAT (TO)
f=307
TT=1800.72
T1=84.22
 SAT (TO)
f=307
TT=1800.71
T1=5.36
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=307-Q=367.opb		 OPT
f=307
TT=0.015
T1=0.01
 OPT
f=307
TT=1.589
T1=1.14
 OPT
f=307
TT=1.341
T1=0.69
 OPT
f=307
TT=3.819
T1=3.82
 OPT
f=307
TT=0.051
T1=0.05
 OPT
f=307
TT=0.015
T1=0.01
 OPT
f=307
TT=0.073
T1=0.07
 OPT
f=307
TT=0.072
T1=0.1
 OPT
f=307
TT=0.026
T1=0.02
 OPT
f=307
TT=0.028
T1=0.03
 OPT
f=307
TT=12.46
T1=2.66
 OPT
f=307
TT=10.216
T1=1.99
 ? (TO)

TT=1800.76

 ? (TO)

TT=1800.71
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=307-Q=431.opb		 OPT
f=307
TT=0.006
T1=0.01
 OPT
f=307
TT=1.304
T1=0.91
 OPT
f=307
TT=0.437
T1=0.11
 OPT
f=307
TT=2.338
T1=2.33
 OPT
f=307
TT=0.042
T1=0.04
 OPT
f=307
TT=0.006
T1=0.01
 OPT
f=307
TT=0.068
T1=0.05
 OPT
f=307
TT=0.06
T1=0.05
 OPT
f=307
TT=0.031
T1=0.02
 OPT
f=307
TT=0.031
T1=0.02
 OPT
f=307
TT=14.892
T1=10.93
 OPT
f=307
TT=3.671
T1=2.3
 SAT (TO)
f=307
TT=1800.57
T1=119.83
 ? (TO)

TT=1800.68
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=307-Q=449.opb		 OPT
f=307
TT=0.008
T1=0.01
 OPT
f=307
TT=1.273
T1=0.85
 OPT
f=307
TT=0.624
T1=0.48
 OPT
f=307
TT=2.283
T1=2.28
 OPT
f=307
TT=0.037
T1=0.03
 OPT
f=307
TT=0.008
T1=0.01
 OPT
f=307
TT=0.066
T1=0.06
 OPT
f=307
TT=0.066
T1=0.06
 OPT
f=307
TT=0.021
T1=0.01
 OPT
f=307
TT=0.02
T1=0.02
 OPT
f=307
TT=7.83
T1=3.67
 OPT
f=307
TT=3.208
T1=1.42
 ? (TO)

TT=1800.66

 SAT (TO)
f=307
TT=1800.61
T1=57.62
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=313-Q=503.opb		 OPT
f=313
TT=0.004
T1=0
 OPT
f=313
TT=1.145
T1=0.75
 OPT
f=313
TT=0.386
T1=0.36
 OPT
f=313
TT=2.23
T1=2.23
 OPT
f=313
TT=0.043
T1=0.04
 OPT
f=313
TT=0.004
T1=0
 OPT
f=313
TT=0.055
T1=0.05
 OPT
f=313
TT=0.064
T1=0.05
 OPT
f=313
TT=0.032
T1=0.03
 OPT
f=313
TT=0.036
T1=0.03
 OPT
f=313
TT=31.479
T1=28.91
 OPT
f=313
TT=1.421
T1=0.75
 ? (TO)

TT=1800.65

 SAT (TO)
f=313
TT=1800.66
T1=24.48
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=317-Q=389.opb		 OPT
f=317
TT=0.016
T1=0.01
 OPT
f=317
TT=1.502
T1=1.03
 OPT
f=317
TT=1.247
T1=0.96
 OPT
f=317
TT=2.698
T1=2.7
 OPT
f=317
TT=0.039
T1=0.03
 OPT
f=317
TT=0.016
T1=0.01
 OPT
f=317
TT=0.074
T1=0.05
 OPT
f=317
TT=0.08
T1=0.06
 OPT
f=317
TT=0.027
T1=0.02
 OPT
f=317
TT=0.027
T1=0.02
 OPT
f=317
TT=8.698
T1=2.01
 OPT
f=317
TT=68.076
T1=64.14
 ? (TO)

TT=1800.78

 ? (TO)

TT=1800.81
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=31-Q=439.opb		 OPT
f=31
TT=0.003
T1=0.01
 OPT
f=31
TT=1.342
T1=0.91
 OPT
f=31
TT=1.059
T1=1.05
 OPT
f=31
TT=0.325
T1=0.32
 OPT
f=31
TT=0.043
T1=0.04
 OPT
f=31
TT=0.003
T1=0.01
 OPT
f=31
TT=0.062
T1=0.05
 OPT
f=31
TT=0.062
T1=0.05
 OPT
f=31
TT=0.033
T1=0.03
 OPT
f=31
TT=0.033
T1=0.03
 OPT
f=31
TT=5.913
T1=4.1
 OPT
f=31
TT=1.228
T1=0.53
 SAT (TO)
f=31
TT=1800.52
T1=37.71
 SAT (TO)
f=31
TT=1800.66
T1=3.49
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=331-Q=331.opb		 OPT
f=331
TT=0.017
T1=0.01
 OPT
f=331
TT=1.828
T1=1.2
 OPT
f=331
TT=2.593
T1=0.81
 OPT
f=331
TT=5.521
T1=5.52
 OPT
f=331
TT=0.05
T1=0.04
 OPT
f=331
TT=0.017
T1=0.01
 OPT
f=331
TT=0.071
T1=0.05
 OPT
f=331
TT=0.07
T1=0.05
 OPT
f=331
TT=0.03
T1=0.02
 OPT
f=331
TT=0.031
T1=0.02
 OPT
f=331
TT=47.338
T1=2.63
 OPT
f=331
TT=21.333
T1=1.7
 ? (TO)

TT=1800.71

 ? (TO)

TT=1800.73
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-PB06/roussel/factor/
normalized-factor-size=9-P=331-Q=347.opb		 OPT
f=331
TT=0.013
T1=0.01
 OPT
f=331
TT=1.421
T1=1.08
 OPT
f=331
TT=2.136
T1=0.84
 OPT
f=331
TT=2.994
T1=2.99
 OPT
f=331
TT=0.063
T1=0.06
 OPT
f=331
TT=0.013
T1=0.01
 OPT
f=331
TT=0.069
T1=0.07
 OPT
f=331
TT=0.067
T1=0.05
 OPT
f=331
TT=0.041
T1=0.04
 OPT
f=331
TT=0.039
T1=0.03
 OPT
f=331
TT=90.455
T1=45.53
 OPT
f=331
TT=128.468
T1=2.96
 ? (TO)

TT=1800.72

 ? (TO)

TT=1800.71
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=331-Q=359.opb		 OPT
f=331
TT=0.026
T1=0.02
 OPT
f=331
TT=1.581
T1=1.16
 OPT
f=331
TT=1.476
T1=0.79
 OPT
f=331
TT=3.062
T1=3.06
 OPT
f=331
TT=0.044
T1=0.04
 OPT
f=331
TT=0.026
T1=0.02
 OPT
f=331
TT=0.081
T1=0.06
 OPT
f=331
TT=0.08
T1=0.06
 OPT
f=331
TT=0.031
T1=0.02
 OPT
f=331
TT=0.031
T1=0.02
 OPT
f=331
TT=31.214
T1=14.29
 OPT
f=331
TT=7.408
T1=2.13
 SAT (TO)
f=331
TT=1800.44
T1=36.21
 SAT (TO)
f=331
TT=1800.65
T1=4.63
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=331-Q=379.opb		 OPT
f=331
TT=0.014
T1=0.01
 OPT
f=331
TT=1.501
T1=1.15
 OPT
f=331
TT=1.01
T1=0.41
 OPT
f=331
TT=2.312
T1=2.31
 OPT
f=331
TT=0.042
T1=0.04
 OPT
f=331
TT=0.014
T1=0.01
 OPT
f=331
TT=0.082
T1=0.09
 OPT
f=331
TT=0.085
T1=0.06
 OPT
f=331
TT=0.033
T1=0.02
 OPT
f=331
TT=0.035
T1=0.02
 OPT
f=331
TT=6.898
T1=2.15
 OPT
f=331
TT=12.567
T1=7.07
 ? (TO)

TT=1800.75

 ? (TO)

TT=1800.73
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=331-Q=389.opb		 OPT
f=331
TT=0.013
T1=0.01
 OPT
f=331
TT=1.661
T1=1.05
 OPT
f=331
TT=0.743
T1=0.36
 OPT
f=331
TT=2.805
T1=2.81
 OPT
f=331
TT=0.04
T1=0.03
 OPT
f=331
TT=0.013
T1=0.01
 OPT
f=331
TT=0.066
T1=0.04
 OPT
f=331
TT=0.065
T1=0.05
 OPT
f=331
TT=0.027
T1=0.02
 OPT
f=331
TT=0.028
T1=0.02
 OPT
f=331
TT=20.575
T1=11.62
 OPT
f=331
TT=4.36
T1=1.74
 ? (TO)

TT=1800.44

 SAT (TO)
f=331
TT=1800.48
T1=28.36
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=331-Q=479.opb		 OPT
f=331
TT=0.005
T1=0
 OPT
f=331
TT=1.32
T1=0.88
 OPT
f=331
TT=0.218
T1=0.1
 OPT
f=331
TT=2.555
T1=2.55
 OPT
f=331
TT=0.041
T1=0.04
 OPT
f=331
TT=0.005
T1=0
 OPT
f=331
TT=0.069
T1=0.05
 OPT
f=331
TT=0.059
T1=0.05
 OPT
f=331
TT=0.027
T1=0.03
 OPT
f=331
TT=0.03
T1=0.03
 OPT
f=331
TT=25.049
T1=22.21
 OPT
f=331
TT=2.111
T1=0.93
 ? (TO)

TT=1800.62

 ? (TO)

TT=1800.47
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=347-Q=379.opb		 OPT
f=347
TT=0.012
T1=0.02
 OPT
f=347
TT=1.503
T1=1.09
 OPT
f=347
TT=0.956
T1=0.6
 OPT
f=347
TT=2.015
T1=2.02
 OPT
f=347
TT=0.042
T1=0.04
 OPT
f=347
TT=0.012
T1=0.02
 OPT
f=347
TT=0.068
T1=0.05
 OPT
f=347
TT=0.07
T1=0.14
 OPT
f=347
TT=0.031
T1=0.03
 OPT
f=347
TT=0.033
T1=0.03
 OPT
f=347
TT=5.283
T1=1.88
 OPT
f=347
TT=12.946
T1=10.74
 SAT (TO)
f=347
TT=1800.51
T1=4.58
 SAT (TO)
f=347
TT=1800.67
T1=116.87
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=347-Q=419.opb		 OPT
f=347
TT=0.012
T1=0.01
 OPT
f=347
TT=1.341
T1=0.95
 OPT
f=347
TT=0.608
T1=0.15
 OPT
f=347
TT=2.093
T1=2.09
 OPT
f=347
TT=0.047
T1=0.04
 OPT
f=347
TT=0.012
T1=0.01
 OPT
f=347
TT=0.065
T1=0.05
 OPT
f=347
TT=0.07
T1=0.06
 OPT
f=347
TT=0.025
T1=0.02
 OPT
f=347
TT=0.026
T1=0.01
 OPT
f=347
TT=45.275
T1=11.53
 OPT
f=347
TT=12.009
T1=6.19
 ? (TO)

TT=1800.7

 ? (TO)

TT=1800.67
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=347-Q=421.opb		 OPT
f=347
TT=0.01
T1=0.01
 OPT
f=347
TT=1.353
T1=0.97
 OPT
f=347
TT=0.853
T1=0.51
 OPT
f=347
TT=2.728
T1=2.73
 OPT
f=347
TT=0.037
T1=0.03
 OPT
f=347
TT=0.01
T1=0.01
 OPT
f=347
TT=0.068
T1=0.05
 OPT
f=347
TT=0.07
T1=0.06
 OPT
f=347
TT=0.039
T1=0.03
 OPT
f=347
TT=0.039
T1=0.03
 OPT
f=347
TT=92.153
T1=24.7
 OPT
f=347
TT=4.696
T1=2.61
 ? (TO)

TT=1800.58

 SAT (TO)
f=347
TT=1800.56
T1=3.02
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=347-Q=431.opb		 OPT
f=347
TT=0.011
T1=0.01
 OPT
f=347
TT=1.43
T1=1.02
 OPT
f=347
TT=0.559
T1=0.1
 OPT
f=347
TT=1.204
T1=1.2
 OPT
f=347
TT=0.043
T1=0.03
 OPT
f=347
TT=0.011
T1=0.01
 OPT
f=347
TT=0.075
T1=0.08
 OPT
f=347
TT=0.063
T1=0.05
 OPT
f=347
TT=0.038
T1=0.03
 OPT
f=347
TT=0.039
T1=0.04
 OPT
f=347
TT=54.718
T1=17.68
 OPT
f=347
TT=4.761
T1=2.47
 SAT (TO)
f=347
TT=1800.79
T1=0.12
 SAT (TO)
f=347
TT=1800.71
T1=0.3
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=347-Q=439.opb		 OPT
f=347
TT=0.01
T1=0
 OPT
f=347
TT=1.426
T1=1.02
 OPT
f=347
TT=0.454
T1=0.11
 OPT
f=347
TT=3.564
T1=3.56
 OPT
f=347
TT=0.04
T1=0.04
 OPT
f=347
TT=0.01
T1=0
 OPT
f=347
TT=0.078
T1=0.06
 OPT
f=347
TT=0.073
T1=0.06
 OPT
f=347
TT=0.031
T1=0.03
 OPT
f=347
TT=0.03
T1=0.03
 OPT
f=347
TT=38.983
T1=19.37
 OPT
f=347
TT=4.764
T1=2.19
 ? (TO)

TT=1800.62

 ? (TO)

TT=1800.65
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-PB06/roussel/factor/
normalized-factor-size=9-P=347-Q=487.opb		 OPT
f=347
TT=0.006
T1=0
 OPT
f=347
TT=1.178
T1=0.82
 OPT
f=347
TT=0.167
T1=0.12
 OPT
f=347
TT=2.172
T1=2.17
 OPT
f=347
TT=0.034
T1=0.03
 OPT
f=347
TT=0.006
T1=0
 OPT
f=347
TT=0.066
T1=0.05
 OPT
f=347
TT=0.065
T1=0.04
 OPT
f=347
TT=0.03
T1=0.03
 OPT
f=347
TT=0.031
T1=0.03
 OPT
f=347
TT=3.625
T1=2.1
 OPT
f=347
TT=2.249
T1=1.14
 SAT (TO)
f=347
TT=1800.5
T1=0.06
 SAT (TO)
f=347
TT=1800.6
T1=0.18
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=353-Q=479.opb		 OPT
f=353
TT=0.006
T1=0.01
 OPT
f=353
TT=1.302
T1=0.87
 OPT
f=353
TT=0.362
T1=0.29
 OPT
f=353
TT=1.935
T1=1.93
 OPT
f=353
TT=0.036
T1=0.03
 OPT
f=353
TT=0.006
T1=0.01
 OPT
f=353
TT=0.061
T1=0.05
 OPT
f=353
TT=0.059
T1=0.05
 OPT
f=353
TT=0.03
T1=0.01
 OPT
f=353
TT=0.024
T1=0.01
 OPT
f=353
TT=3.289
T1=1.42
 OPT
f=353
TT=2.505
T1=1.15
 ? (TO)

TT=1800.56

 ? (TO)

TT=1800.56
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=359-Q=379.opb		 OPT
f=359
TT=0.013
T1=0.01
 OPT
f=359
TT=1.549
T1=1.1
 OPT
f=359
TT=0.788
T1=0.08
 OPT
f=359
TT=1.998
T1=1.99
 OPT
f=359
TT=0.047
T1=0.04
 OPT
f=359
TT=0.013
T1=0.01
 OPT
f=359
TT=0.068
T1=0.05
 OPT
f=359
TT=0.07
T1=0.06
 OPT
f=359
TT=0.101
T1=0.02
 OPT
f=359
TT=0.106
T1=0.02
 OPT
f=359
TT=10.039
T1=1.58
 OPT
f=359
TT=6.035
T1=2.48
 ? (TO)

TT=1800.62

 SAT (TO)
f=359
TT=1800.68
T1=33.28
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=367-Q=389.opb		 OPT
f=367
TT=0.011
T1=0.01
 OPT
f=367
TT=1.829
T1=1.19
 OPT
f=367
TT=0.723
T1=0.26
 OPT
f=367
TT=2.038
T1=2.04
 OPT
f=367
TT=0.04
T1=0.03
 OPT
f=367
TT=0.011
T1=0.01
 OPT
f=367
TT=0.066
T1=0.05
 OPT
f=367
TT=0.069
T1=0.05
 OPT
f=367
TT=0.023
T1=0.02
 OPT
f=367
TT=0.024
T1=0.01
 OPT
f=367
TT=6.419
T1=2.1
 OPT
f=367
TT=5.103
T1=2.22
 ? (TO)

TT=1800.6

 ? (TO)

TT=1800.66
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=379-Q=397.opb		 OPT
f=379
TT=0.011
T1=0.01
 OPT
f=379
TT=1.786
T1=1.17
 OPT
f=379
TT=0.748
T1=0.31
 OPT
f=379
TT=3.701
T1=3.7
 OPT
f=379
TT=0.04
T1=0.03
 OPT
f=379
TT=0.011
T1=0.01
 OPT
f=379
TT=0.072
T1=0.05
 OPT
f=379
TT=0.077
T1=0.05
 OPT
f=379
TT=0.025
T1=0.02
 OPT
f=379
TT=0.027
T1=0.02
 OPT
f=379
TT=47.468
T1=5.65
 OPT
f=379
TT=7.736
T1=2.27
 ? (TO)

TT=1800.65

 ? (TO)

TT=1800.51
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=379-Q=431.opb		 OPT
f=379
TT=0.01
T1=0.01
 OPT
f=379
TT=1.439
T1=1.05
 OPT
f=379
TT=0.703
T1=0.09
 OPT
f=379
TT=2.596
T1=2.6
 OPT
f=379
TT=0.041
T1=0.03
 OPT
f=379
TT=0.01
T1=0.01
 OPT
f=379
TT=0.069
T1=0.05
 OPT
f=379
TT=0.068
T1=0.05
 OPT
f=379
TT=0.04
T1=0.03
 OPT
f=379
TT=0.04
T1=0.04
 OPT
f=379
TT=3.525
T1=0.61
 OPT
f=379
TT=10.541
T1=2.41
 SAT (TO)
f=379
TT=1800.71
T1=26.18
 SAT (TO)
f=379
TT=1800.57
T1=0.04
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=379-Q=521.opb		 UNSAT

TT=0.015

 UNSAT

TT=2.132

 UNSAT

TT=0.595

 UNSAT

TT=2.8

 UNSAT

TT=0.035

 UNSAT

TT=0.015

 UNSAT

TT=0.064

 UNSAT

TT=0.061

 UNSAT

TT=0.026

 UNSAT

TT=0.025

 UNSAT

TT=138.518

 UNSAT

TT=28.739

 ? (TO)

TT=1800.65

 ? (TO)

TT=1800.66
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=37-Q=107.opb		 OPT
f=37
TT=0.007
T1=0.01
 OPT
f=37
TT=1.483
T1=1.06
 OPT
f=37
TT=0.754
T1=0.72
 OPT
f=37
TT=3.505
T1=3.51
 OPT
f=37
TT=0.035
T1=0.03
 OPT
f=37
TT=0.007
T1=0.01
 OPT
f=37
TT=0.069
T1=0.05
 OPT
f=37
TT=0.065
T1=0.05
 OPT
f=37
TT=0.023
T1=0.02
 OPT
f=37
TT=0.023
T1=0.02
 OPT
f=37
TT=22.798
T1=5.13
 OPT
f=37
TT=19.855
T1=1.41
 SAT (TO)
f=37
TT=1800.69
T1=13.51
 SAT (TO)
f=37
TT=1800.48
T1=21.34
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=37-Q=443.opb		 OPT
f=37
TT=0.003
T1=0
 OPT
f=37
TT=1.093
T1=0.76
 OPT
f=37
TT=1.058
T1=1.05
 OPT
f=37
TT=0.251
T1=0.25
 OPT
f=37
TT=0.042
T1=0.04
 OPT
f=37
TT=0.003
T1=0
 OPT
f=37
TT=0.061
T1=0.05
 OPT
f=37
TT=0.058
T1=0.04
 OPT
f=37
TT=0.03
T1=0.03
 OPT
f=37
TT=0.032
T1=0.03
 OPT
f=37
TT=182.946
T1=178.53
 OPT
f=37
TT=1.475
T1=0.62
 ? (TO)

TT=1800.66

 ? (TO)

TT=1800.59
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=383-Q=509.opb		 OPT
f=383
TT=0.003
T1=0
 OPT
f=383
TT=1.078
T1=0.78
 OPT
f=383
TT=0.115
T1=0.11
 OPT
f=383
TT=0.916
T1=0.91
 OPT
f=383
TT=0.026
T1=0.02
 OPT
f=383
TT=0.003
T1=0
 OPT
f=383
TT=0.062
T1=0.04
 OPT
f=383
TT=0.056
T1=0.04
 OPT
f=383
TT=0.024
T1=0.02
 OPT
f=383
TT=0.027
T1=0.02
 OPT
f=383
TT=1.942
T1=1.17
 OPT
f=383
TT=0.567
T1=0.41
 SAT (TO)
f=383
TT=1800.57
T1=0
 SAT (TO)
f=383
TT=1800.66
T1=21.88
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-PB06/roussel/factor/
normalized-factor-size=9-P=383-Q=521.opb		 UNSAT

TT=0.015

 UNSAT

TT=2.209

 UNSAT

TT=0.597

 UNSAT

TT=2.578

 UNSAT

TT=0.034

 UNSAT

TT=0.015

 UNSAT

TT=0.067

 UNSAT

TT=0.063

 UNSAT

TT=0.037

 UNSAT

TT=0.042

 UNSAT

TT=219.503

 UNSAT

TT=90.643

 ? (TO)

TT=1800.67

 ? (TO)

TT=1800.61
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=389-Q=433.opb		 OPT
f=389
TT=0.019
T1=0.01
 OPT
f=389
TT=1.455
T1=1.03
 OPT
f=389
TT=0.768
T1=0.53
 OPT
f=389
TT=1.995
T1=1.99
 OPT
f=389
TT=0.043
T1=0.04
 OPT
f=389
TT=0.019
T1=0.02
 OPT
f=389
TT=0.066
T1=0.05
 OPT
f=389
TT=0.062
T1=0.05
 OPT
f=389
TT=0.019
T1=0.02
 OPT
f=389
TT=0.021
T1=0.01
 OPT
f=389
TT=15.068
T1=9.21
 OPT
f=389
TT=30.038
T1=5.73
 ? (TO)

TT=1800.64

 SAT (TO)
f=389
TT=1800.6
T1=55.73
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=397-Q=449.opb		 OPT
f=397
TT=0.007
T1=0
 OPT
f=397
TT=1.409
T1=1
 OPT
f=397
TT=0.571
T1=0.29
 OPT
f=397
TT=3.301
T1=3.3
 OPT
f=397
TT=0.041
T1=0.04
 OPT
f=397
TT=0.007
T1=0
 OPT
f=397
TT=0.063
T1=0.04
 OPT
f=397
TT=0.062
T1=0.05
 OPT
f=397
TT=0.022
T1=0.02
 OPT
f=397
TT=0.022
T1=0.02
 OPT
f=397
TT=3.448
T1=1.66
 OPT
f=397
TT=3.211
T1=1.78
 ? (TO)

TT=1800.7

 SAT (TO)
f=397
TT=1800.66
T1=60.07
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=397-Q=521.opb		 UNSAT

TT=0.015

 UNSAT

TT=1.905

 UNSAT

TT=0.49

 UNSAT

TT=2.087

 UNSAT

TT=0.04

 UNSAT

TT=0.015

 UNSAT

TT=0.072

 UNSAT

TT=0.061

 UNSAT

TT=0.037

 UNSAT

TT=0.034

 UNSAT

TT=368.251

 UNSAT

TT=4.774

 ? (TO)

TT=1800.64

 ? (TO)

TT=1800.48
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=409-Q=499.opb		 OPT
f=409
TT=0.003
T1=0
 OPT
f=409
TT=1.196
T1=0.81
 OPT
f=409
TT=0.143
T1=0.12
 OPT
f=409
TT=1.522
T1=1.52
 OPT
f=409
TT=0.035
T1=0.03
 OPT
f=409
TT=0.003
T1=0
 OPT
f=409
TT=0.067
T1=0.05
 OPT
f=409
TT=0.059
T1=0.05
 OPT
f=409
TT=0.016
T1=0.01
 OPT
f=409
TT=0.017
T1=0.01
 OPT
f=409
TT=4.711
T1=3.4
 OPT
f=409
TT=2.22
T1=1.04
 ? (TO)

TT=1800.62

 ? (TO)

TT=1800.69
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=409-Q=509.opb		 OPT
f=409
TT=0.003
T1=0
 OPT
f=409
TT=1.068
T1=0.78
 OPT
f=409
TT=0.146
T1=0.14
 OPT
f=409
TT=0.995
T1=0.99
 OPT
f=409
TT=0.032
T1=0.03
 OPT
f=409
TT=0.003
T1=0
 OPT
f=409
TT=0.063
T1=0.08
 OPT
f=409
TT=0.063
T1=0.06
 OPT
f=409
TT=0.018
T1=0.02
 OPT
f=409
TT=0.02
T1=0.02
 OPT
f=409
TT=4.493
T1=3.48
 OPT
f=409
TT=0.83
T1=0.55
 ? (TO)

TT=1800.74

 ? (TO)

TT=1800.71
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=41-Q=347.opb		 OPT
f=41
TT=0.006
T1=0
 OPT
f=41
TT=1.313
T1=0.91
 OPT
f=41
TT=1.127
T1=1.05
 OPT
f=41
TT=2.549
T1=2.55
 OPT
f=41
TT=0.047
T1=0.04
 OPT
f=41
TT=0.006
T1=0
 OPT
f=41
TT=0.073
T1=0.06
 OPT
f=41
TT=0.062
T1=0.06
 OPT
f=41
TT=0.031
T1=0.03
 OPT
f=41
TT=0.033
T1=0.03
 OPT
f=41
TT=12.407
T1=9.29
 OPT
f=41
TT=7.606
T1=4.87
 SAT (TO)
f=41
TT=1800.78
T1=13.93
 ? (TO)

TT=1800.61
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=421-Q=449.opb		 OPT
f=421
TT=0.01
T1=0.01
 OPT
f=421
TT=1.601
T1=1.05
 OPT
f=421
TT=0.466
T1=0.22
 OPT
f=421
TT=2.373
T1=2.37
 OPT
f=421
TT=0.04
T1=0.03
 OPT
f=421
TT=0.01
T1=0.01
 OPT
f=421
TT=0.071
T1=0.05
 OPT
f=421
TT=0.079
T1=0.06
 OPT
f=421
TT=0.02
T1=0.01
 OPT
f=421
TT=0.022
T1=0.02
 OPT
f=421
TT=11.059
T1=8.34
 OPT
f=421
TT=22.022
T1=18.8
 ? (TO)

TT=1800.58

 SAT (TO)
f=421
TT=1800.59
T1=20.92
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=421-Q=487.opb		 OPT
f=421
TT=0.007
T1=0
 OPT
f=421
TT=1.241
T1=0.89
 OPT
f=421
TT=0.166
T1=0.11
 OPT
f=421
TT=2.052
T1=2.05
 OPT
f=421
TT=0.03
T1=0.03
 OPT
f=421
TT=0.007
T1=0
 OPT
f=421
TT=0.065
T1=0.05
 OPT
f=421
TT=0.06
T1=0.04
 OPT
f=421
TT=0.022
T1=0.02
 OPT
f=421
TT=0.02
T1=0.02
 OPT
f=421
TT=8.176
T1=5.12
 OPT
f=421
TT=2.532
T1=1.19
 ? (TO)

TT=1800.65

 SAT (TO)
f=421
TT=1800.71
T1=0.52
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=431-Q=503.opb		 OPT
f=431
TT=0.003
T1=0
 OPT
f=431
TT=1.158
T1=0.78
 OPT
f=431
TT=0.056
T1=0.03
 OPT
f=431
TT=0.946
T1=0.94
 OPT
f=431
TT=0.032
T1=0.03
 OPT
f=431
TT=0.003
T1=0
 OPT
f=431
TT=0.06
T1=0.04
 OPT
f=431
TT=0.055
T1=0.04
 OPT
f=431
TT=0.016
T1=0.01
 OPT
f=431
TT=0.016
T1=0.01
 OPT
f=431
TT=9.486
T1=8.15
 OPT
f=431
TT=0.934
T1=0.42
 SAT (TO)
f=431
TT=1800.66
T1=26.75
 SAT (TO)
f=431
TT=1800.67
T1=1.99
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-PB06/roussel/factor/
normalized-factor-size=9-P=439-Q=509.opb		 OPT
f=439
TT=0.004
T1=0
 OPT
f=439
TT=1.037
T1=0.73
 OPT
f=439
TT=0.043
T1=0.04
 OPT
f=439
TT=0.623
T1=0.62
 OPT
f=439
TT=0.029
T1=0.03
 OPT
f=439
TT=0.004
T1=0
 OPT
f=439
TT=0.054
T1=0.04
 OPT
f=439
TT=0.056
T1=0.04
 OPT
f=439
TT=0.027
T1=0.02
 OPT
f=439
TT=0.025
T1=0.02
 OPT
f=439
TT=17.29
T1=15.72
 OPT
f=439
TT=0.868
T1=0.52
 SAT (TO)
f=439
TT=1800.72
T1=1.6
 SAT (TO)
f=439
TT=1800.56
T1=19.87
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=43-Q=227.opb		 OPT
f=43
TT=0.006
T1=0
 OPT
f=43
TT=1.464
T1=1.08
 OPT
f=43
TT=0.966
T1=0.96
 OPT
f=43
TT=4.882
T1=4.88
 OPT
f=43
TT=0.037
T1=0.03
 OPT
f=43
TT=0.006
T1=0
 OPT
f=43
TT=0.062
T1=0.05
 OPT
f=43
TT=0.069
T1=0.05
 OPT
f=43
TT=0.034
T1=0.03
 OPT
f=43
TT=0.034
T1=0.03
 OPT
f=43
TT=43.803
T1=16.19
 OPT
f=43
TT=16.767
T1=9.05
 SAT (TO)
f=43
TT=1800.68
T1=15.01
 SAT (TO)
f=43
TT=1800.52
T1=126.29
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=443-Q=487.opb		 OPT
f=443
TT=0.005
T1=0
 OPT
f=443
TT=1.405
T1=0.94
 OPT
f=443
TT=0.102
T1=0.04
 OPT
f=443
TT=0.92
T1=0.92
 OPT
f=443
TT=0.032
T1=0.03
 OPT
f=443
TT=0.005
T1=0
 OPT
f=443
TT=0.059
T1=0.05
 OPT
f=443
TT=0.06
T1=0.05
 OPT
f=443
TT=0.017
T1=0.01
 OPT
f=443
TT=0.016
T1=0.01
 OPT
f=443
TT=5.004
T1=2
 OPT
f=443
TT=4.831
T1=2.7
 ? (TO)

TT=1800.51

 SAT (TO)
f=443
TT=1800.56
T1=2.08
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=449-Q=479.opb		 OPT
f=449
TT=0.006
T1=0.01
 OPT
f=449
TT=1.36
T1=0.93
 OPT
f=449
TT=0.14
T1=0.08
 OPT
f=449
TT=0.652
T1=0.65
 OPT
f=449
TT=0.036
T1=0.03
 OPT
f=449
TT=0.006
T1=0.01
 OPT
f=449
TT=0.062
T1=0.05
 OPT
f=449
TT=0.062
T1=0.05
 OPT
f=449
TT=0.019
T1=0.01
 OPT
f=449
TT=0.019
T1=0.01
 OPT
f=449
TT=35.573
T1=33.21
 OPT
f=449
TT=3.511
T1=1.22
 ? (TO)

TT=1800.57

 ? (TO)

TT=1800.56
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=47-Q=197.opb		 OPT
f=47
TT=0.008
T1=0
 OPT
f=47
TT=1.455
T1=1.08
 OPT
f=47
TT=1.012
T1=0.97
 OPT
f=47
TT=5.553
T1=5.55
 OPT
f=47
TT=0.037
T1=0.03
 OPT
f=47
TT=0.008
T1=0
 OPT
f=47
TT=0.07
T1=0.05
 OPT
f=47
TT=0.071
T1=0.06
 OPT
f=47
TT=0.037
T1=0.03
 OPT
f=47
TT=0.037
T1=0.03
 OPT
f=47
TT=52.476
T1=30.87
 OPT
f=47
TT=17.935
T1=10.25
 SAT (TO)
f=47
TT=1800.55
T1=13.72
 SAT (TO)
f=47
TT=1800.61
T1=7.64
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=47-Q=421.opb		 OPT
f=47
TT=0.006
T1=0
 OPT
f=47
TT=1.237
T1=0.88
 OPT
f=47
TT=1.058
T1=1.02
 OPT
f=47
TT=1.866
T1=1.86
 OPT
f=47
TT=0.033
T1=0.03
 OPT
f=47
TT=0.006
T1=0
 OPT
f=47
TT=0.06
T1=0.04
 OPT
f=47
TT=0.062
T1=0.05
 OPT
f=47
TT=0.039
T1=0.04
 OPT
f=47
TT=0.04
T1=0.04
 OPT
f=47
TT=13.656
T1=9.79
 OPT
f=47
TT=3.37
T1=1.16
 SAT (TO)
f=47
TT=1800.71
T1=96.36
 SAT (TO)
f=47
TT=1800.71
T1=11.92
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=47-Q=487.opb		 OPT
f=47
TT=0.003
T1=0
 OPT
f=47
TT=1.161
T1=0.79
 OPT
f=47
TT=0.916
T1=0.88
 OPT
f=47
TT=0.584
T1=0.58
 OPT
f=47
TT=0.054
T1=0.05
 OPT
f=47
TT=0.003
T1=0
 OPT
f=47
TT=0.066
T1=0.04
 OPT
f=47
TT=0.059
T1=0.05
 OPT
f=47
TT=0.052
T1=0.05
 OPT
f=47
TT=0.048
T1=0.05
 OPT
f=47
TT=5.441
T1=4.21
 OPT
f=47
TT=1.43
T1=0.69
 ? (TO)

TT=1800.57

 ? (TO)

TT=1800.57
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=47-Q=71.opb		 OPT
f=47
TT=0.008
T1=0
 OPT
f=47
TT=1.668
T1=1.12
 OPT
f=47
TT=0.764
T1=0.75
 OPT
f=47
TT=3.338
T1=3.34
 OPT
f=47
TT=0.033
T1=0.03
 OPT
f=47
TT=0.008
T1=0
 OPT
f=47
TT=0.07
T1=0.05
 OPT
f=47
TT=0.062
T1=0.05
 OPT
f=47
TT=0.021
T1=0.02
 OPT
f=47
TT=0.023
T1=0.02
 OPT
f=47
TT=8.815
T1=3.23
 OPT
f=47
TT=12.007
T1=4.03
 SAT (TO)
f=47
TT=1800.55
T1=81.68
 SAT (TO)
f=47
TT=1800.67
T1=29.94
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=487-Q=499.opb		 OPT
f=487
TT=0.005
T1=0
 OPT
f=487
TT=1.216
T1=0.83
 OPT
f=487
TT=0.041
T1=0.04
 OPT
f=487
TT=0.349
T1=0.35
 OPT
f=487
TT=0.032
T1=0.03
 OPT
f=487
TT=0.005
T1=0
 OPT
f=487
TT=0.065
T1=0.04
 OPT
f=487
TT=0.063
T1=0.05
 OPT
f=487
TT=0.016
T1=0.01
 OPT
f=487
TT=0.016
T1=0.01
 OPT
f=487
TT=2.745
T1=1.2
 OPT
f=487
TT=1.341
T1=0.6
 SAT (TO)
f=487
TT=1800.77
T1=12.61
 SAT (TO)
f=487
TT=1800.64
T1=55.4
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=487-Q=503.opb		 OPT
f=487
TT=0.003
T1=0
 OPT
f=487
TT=1.208
T1=0.86
 OPT
f=487
TT=0.033
T1=0.02
 OPT
f=487
TT=0.193
T1=0.19
 OPT
f=487
TT=0.029
T1=0.03
 OPT
f=487
TT=0.003
T1=0
 OPT
f=487
TT=0.064
T1=0.05
 OPT
f=487
TT=0.056
T1=0.04
 OPT
f=487
TT=0.01
T1=0.01
 OPT
f=487
TT=0.012
T1=0.01
 OPT
f=487
TT=2.793
T1=1.74
 OPT
f=487
TT=0.983
T1=0.62
 SAT (TO)
f=487
TT=1800.55
T1=2.74
 SAT (TO)
f=487
TT=1800.54
T1=24.24
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-PB06/roussel/factor/
normalized-factor-size=9-P=53-Q=127.opb		 OPT
f=53
TT=0.008
T1=0.01
 OPT
f=53
TT=1.642
T1=1.22
 OPT
f=53
TT=0.861
T1=0.86
 OPT
f=53
TT=5.983
T1=5.98
 OPT
f=53
TT=0.039
T1=0.03
 OPT
f=53
TT=0.008
T1=0.01
 OPT
f=53
TT=0.07
T1=0.05
 OPT
f=53
TT=0.069
T1=0.06
 OPT
f=53
TT=0.032
T1=0.03
 OPT
f=53
TT=0.03
T1=0.03
 OPT
f=53
TT=20.859
T1=6.78
 OPT
f=53
TT=12.183
T1=1.53
 SAT (TO)
f=53
TT=1800.72
T1=0.85
 SAT (TO)
f=53
TT=1800.76
T1=5.93
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=53-Q=151.opb		 OPT
f=53
TT=0.008
T1=0.01
 OPT
f=53
TT=1.411
T1=1.07
 OPT
f=53
TT=0.773
T1=0.79
 OPT
f=53
TT=4.21
T1=4.21
 OPT
f=53
TT=0.036
T1=0.03
 OPT
f=53
TT=0.008
T1=0.01
 OPT
f=53
TT=0.075
T1=0.05
 OPT
f=53
TT=0.073
T1=0.06
 OPT
f=53
TT=0.028
T1=0.02
 OPT
f=53
TT=0.031
T1=0.03
 OPT
f=53
TT=9.523
T1=2.44
 OPT
f=53
TT=42.754
T1=20.31
 ? (TO)

TT=1800.71

 SAT (TO)
f=53
TT=1800.53
T1=29.01
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=53-Q=191.opb		 OPT
f=53
TT=0.008
T1=0
 OPT
f=53
TT=1.578
T1=1.18
 OPT
f=53
TT=0.998
T1=0.99
 OPT
f=53
TT=5.277
T1=5.28
 OPT
f=53
TT=0.036
T1=0.03
 OPT
f=53
TT=0.008
T1=0
 OPT
f=53
TT=0.065
T1=0.04
 OPT
f=53
TT=0.073
T1=0.06
 OPT
f=53
TT=0.047
T1=0.04
 OPT
f=53
TT=0.052
T1=0.04
 OPT
f=53
TT=70.651
T1=5.57
 OPT
f=53
TT=14.885
T1=2.31
 SAT (TO)
f=53
TT=1800.48
T1=4.17
 SAT (TO)
f=53
TT=1800.59
T1=3.93
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=53-Q=97.opb		 OPT
f=53
TT=0.009
T1=0.01
 OPT
f=53
TT=1.754
T1=1.28
 OPT
f=53
TT=0.832
T1=0.84
 OPT
f=53
TT=4.157
T1=4.15
 OPT
f=53
TT=0.033
T1=0.02
 OPT
f=53
TT=0.009
T1=0.01
 OPT
f=53
TT=0.065
T1=0.04
 OPT
f=53
TT=0.07
T1=0.05
 OPT
f=53
TT=0.024
T1=0.02
 OPT
f=53
TT=0.026
T1=0.02
 OPT
f=53
TT=45.076
T1=12.6
 OPT
f=53
TT=36.529
T1=9.5
 SAT (TO)
f=53
TT=1800.67
T1=4.72
 SAT (TO)
f=53
TT=1800.59
T1=1.2
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=59-Q=131.opb		 OPT
f=59
TT=0.009
T1=0.01
 OPT
f=59
TT=1.706
T1=1.28
 OPT
f=59
TT=0.79
T1=0.77
 OPT
f=59
TT=4.431
T1=4.43
 OPT
f=59
TT=0.04
T1=0.03
 OPT
f=59
TT=0.009
T1=0.01
 OPT
f=59
TT=0.07
T1=0.05
 OPT
f=59
TT=0.07
T1=0.05
 OPT
f=59
TT=0.028
T1=0.02
 OPT
f=59
TT=0.026
T1=0.02
 OPT
f=59
TT=71.111
T1=50.07
 OPT
f=59
TT=12.661
T1=3.41
 SAT (TO)
f=59
TT=1800.58
T1=9.22
 ? (TO)

TT=1800.63
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=59-Q=307.opb		 OPT
f=59
TT=0.005
T1=0
 OPT
f=59
TT=1.468
T1=1.06
 OPT
f=59
TT=0.992
T1=0.93
 OPT
f=59
TT=1.936
T1=1.93
 OPT
f=59
TT=0.044
T1=0.04
 OPT
f=59
TT=0.005
T1=0
 OPT
f=59
TT=0.06
T1=0.04
 OPT
f=59
TT=0.06
T1=0.04
 OPT
f=59
TT=0.039
T1=0.04
 OPT
f=59
TT=0.043
T1=0.04
 OPT
f=59
TT=151.331
T1=97.94
 OPT
f=59
TT=106.237
T1=55.48
 ? (TO)

TT=1800.61

 SAT (TO)
f=59
TT=1800.62
T1=13.48
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=59-Q=337.opb		 OPT
f=59
TT=0.006
T1=0
 OPT
f=59
TT=1.442
T1=1.02
 OPT
f=59
TT=1.025
T1=0.97
 OPT
f=59
TT=2.377
T1=2.38
 OPT
f=59
TT=0.035
T1=0.03
 OPT
f=59
TT=0.006
T1=0
 OPT
f=59
TT=0.065
T1=0.04
 OPT
f=59
TT=0.055
T1=0.04
 OPT
f=59
TT=0.043
T1=0.04
 OPT
f=59
TT=0.044
T1=0.04
 OPT
f=59
TT=95.545
T1=55.65
 OPT
f=59
TT=26.642
T1=10.39
 ? (TO)

TT=1800.45

 ? (TO)

TT=1800.6
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=59-Q=419.opb		 OPT
f=59
TT=0.005
T1=0
 OPT
f=59
TT=1.359
T1=0.97
 OPT
f=59
TT=1.128
T1=1.1
 OPT
f=59
TT=4.887
T1=4.89
 OPT
f=59
TT=0.049
T1=0.04
 OPT
f=59
TT=0.005
T1=0
 OPT
f=59
TT=0.078
T1=0.08
 OPT
f=59
TT=0.061
T1=0.05
 OPT
f=59
TT=0.047
T1=0.04
 OPT
f=59
TT=0.047
T1=0.05
 OPT
f=59
TT=20.67
T1=17.47
 OPT
f=59
TT=12.647
T1=10.48
 SAT (TO)
f=59
TT=1800.66
T1=0.48
 ? (TO)

TT=1800.4
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=59-Q=431.opb		 OPT
f=59
TT=0.004
T1=0
 OPT
f=59
TT=1.407
T1=0.93
 OPT
f=59
TT=0.997
T1=0.95
 OPT
f=59
TT=1.491
T1=1.49
 OPT
f=59
TT=0.041
T1=0.04
 OPT
f=59
TT=0.004
T1=0
 OPT
f=59
TT=0.059
T1=0.04
 OPT
f=59
TT=0.061
T1=0.07
 OPT
f=59
TT=0.038
T1=0.05
 OPT
f=59
TT=0.039
T1=0.04
 OPT
f=59
TT=7.495
T1=6.16
 OPT
f=59
TT=3.3
T1=1.2
 SAT (TO)
f=59
TT=1800.57
T1=49.08
 SAT (TO)
f=59
TT=1800.67
T1=15.28
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=5-Q=317.opb		 OPT
f=5
TT=0.004
T1=0
 OPT
f=5
TT=1.143
T1=0.8
 OPT
f=5
TT=0.483
T1=0.46
 OPT
f=5
TT=2.654
T1=2.65
 OPT
f=5
TT=0.031
T1=0.03
 OPT
f=5
TT=0.004
T1=0
 OPT
f=5
TT=0.064
T1=0.05
 OPT
f=5
TT=0.056
T1=0.05
 OPT
f=5
TT=0.016
T1=0.01
 OPT
f=5
TT=0.018
T1=0.02
 OPT
f=5
TT=6.086
T1=4.98
 OPT
f=5
TT=0.416
T1=0.33
 SAT (TO)
f=5
TT=1800.52
T1=0.13
 SAT (TO)
f=5
TT=1800.51
T1=28.48
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-PB06/roussel/factor/
normalized-factor-size=9-P=61-Q=163.opb		 OPT
f=61
TT=0.01
T1=0.01
 OPT
f=61
TT=1.752
T1=1.32
 OPT
f=61
TT=0.962
T1=0.96
 OPT
f=61
TT=4.843
T1=4.84
 OPT
f=61
TT=0.044
T1=0.04
 OPT
f=61
TT=0.01
T1=0.01
 OPT
f=61
TT=0.071
T1=0.06
 OPT
f=61
TT=0.076
T1=0.06
 OPT
f=61
TT=0.043
T1=0.04
 OPT
f=61
TT=0.046
T1=0.04
 OPT
f=61
TT=43.316
T1=7.17
 OPT
f=61
TT=12.353
T1=7.24
 SAT (TO)
f=61
TT=1800.65
T1=0.83
 ? (TO)

TT=1800.71
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=61-Q=307.opb		 OPT
f=61
TT=0.008
T1=0.01
 OPT
f=61
TT=1.627
T1=1.25
 OPT
f=61
TT=1.065
T1=1.02
 OPT
f=61
TT=1.72
T1=1.72
 OPT
f=61
TT=0.046
T1=0.05
 OPT
f=61
TT=0.008
T1=0.01
 OPT
f=61
TT=0.066
T1=0.05
 OPT
f=61
TT=0.066
T1=0.05
 OPT
f=61
TT=0.091
T1=0.09
 OPT
f=61
TT=0.052
T1=0.05
 OPT
f=61
TT=28.648
T1=10.84
 OPT
f=61
TT=29.972
T1=2.07
 SAT (TO)
f=61
TT=1800.7
T1=19.77
 SAT (TO)
f=61
TT=1800.71
T1=1.32
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=61-Q=419.opb		 OPT
f=61
TT=0.004
T1=0
 OPT
f=61
TT=1.434
T1=1.01
 OPT
f=61
TT=1.169
T1=1.13
 OPT
f=61
TT=0.94
T1=0.94
 OPT
f=61
TT=0.052
T1=0.05
 OPT
f=61
TT=0.004
T1=0
 OPT
f=61
TT=0.058
T1=0.04
 OPT
f=61
TT=0.054
T1=0.04
 OPT
f=61
TT=0.046
T1=0.04
 OPT
f=61
TT=0.047
T1=0.04
 OPT
f=61
TT=5.177
T1=3.39
 OPT
f=61
TT=3.507
T1=1.01
 ? (TO)

TT=1800.67

 ? (TO)

TT=1800.71
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=67-Q=191.opb		 OPT
f=67
TT=0.008
T1=0.01
 OPT
f=67
TT=1.94
T1=1.38
 OPT
f=67
TT=1.154
T1=0.99
 OPT
f=67
TT=4.296
T1=4.29
 OPT
f=67
TT=0.045
T1=0.03
 OPT
f=67
TT=0.008
T1=0.01
 OPT
f=67
TT=0.07
T1=0.05
 OPT
f=67
TT=0.074
T1=0.05
 OPT
f=67
TT=0.032
T1=0.03
 OPT
f=67
TT=0.032
T1=0.03
 OPT
f=67
TT=76.976
T1=2.16
 OPT
f=67
TT=34.029
T1=1.43
 ? (TO)

TT=1800.66

 ? (TO)

TT=1800.65
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=67-Q=223.opb		 OPT
f=67
TT=0.01
T1=0.01
 OPT
f=67
TT=1.693
T1=1.27
 OPT
f=67
TT=1.123
T1=1.04
 OPT
f=67
TT=4.598
T1=4.6
 OPT
f=67
TT=0.044
T1=0.04
 OPT
f=67
TT=0.01
T1=0.01
 OPT
f=67
TT=0.063
T1=0.05
 OPT
f=67
TT=0.07
T1=0.05
 OPT
f=67
TT=0.038
T1=0.03
 OPT
f=67
TT=0.038
T1=0.03
 OPT
f=67
TT=23.888
T1=1.84
 OPT
f=67
TT=14.587
T1=9.38
 SAT (TO)
f=67
TT=1800.47
T1=16.02
 ? (TO)

TT=1800.65
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=71-Q=409.opb		 OPT
f=71
TT=0.006
T1=0
 OPT
f=71
TT=1.416
T1=0.89
 OPT
f=71
TT=1.202
T1=1.14
 OPT
f=71
TT=1.333
T1=1.33
 OPT
f=71
TT=0.045
T1=0.04
 OPT
f=71
TT=0.006
T1=0
 OPT
f=71
TT=0.06
T1=0.04
 OPT
f=71
TT=0.064
T1=0.05
 OPT
f=71
TT=0.034
T1=0.03
 OPT
f=71
TT=0.039
T1=0.03
 OPT
f=71
TT=4.273
T1=2.51
 OPT
f=71
TT=2.563
T1=1.3
 ? (TO)

TT=1800.71

 ? (TO)

TT=1800.71
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=71-Q=461.opb		 OPT
f=71
TT=0.003
T1=0
 OPT
f=71
TT=1.071
T1=0.76
 OPT
f=71
TT=1.261
T1=1.22
 OPT
f=71
TT=0.372
T1=0.37
 OPT
f=71
TT=0.027
T1=0.02
 OPT
f=71
TT=0.003
T1=0
 OPT
f=71
TT=0.075
T1=0.05
 OPT
f=71
TT=0.063
T1=0.05
 OPT
f=71
TT=0.058
T1=0.06
 OPT
f=71
TT=0.058
T1=0.06
 OPT
f=71
TT=110.251
T1=106.58
 OPT
f=71
TT=1.502
T1=0.64
 SAT (TO)
f=71
TT=1800.62
T1=7.1
 ? (TO)

TT=1800.47
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=71-Q=491.opb		 OPT
f=71
TT=0.003
T1=0
 OPT
f=71
TT=1.066
T1=0.75
 OPT
f=71
TT=0.88
T1=0.84
 OPT
f=71
TT=2.088
T1=2.09
 OPT
f=71
TT=0.046
T1=0.04
 OPT
f=71
TT=0.003
T1=0
 OPT
f=71
TT=0.058
T1=0.04
 OPT
f=71
TT=0.062
T1=0.04
 OPT
f=71
TT=0.043
T1=0.04
 OPT
f=71
TT=0.043
T1=0.04
 OPT
f=71
TT=27.655
T1=26.26
 OPT
f=71
TT=0.973
T1=0.48
 SAT (TO)
f=71
TT=1800.75
T1=9.54
 ? (TO)

TT=1800.71
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=73-Q=449.opb		 OPT
f=73
TT=0.005
T1=0
 OPT
f=73
TT=1.153
T1=0.81
 OPT
f=73
TT=1.25
T1=1.21
 OPT
f=73
TT=0.907
T1=0.91
 OPT
f=73
TT=0.06
T1=0.06
 OPT
f=73
TT=0.005
T1=0
 OPT
f=73
TT=0.064
T1=0.05
 OPT
f=73
TT=0.062
T1=0.05
 OPT
f=73
TT=0.03
T1=0.03
 OPT
f=73
TT=0.032
T1=0.03
 OPT
f=73
TT=154.036
T1=149.29
 OPT
f=73
TT=3.569
T1=1.05
 SAT (TO)
f=73
TT=1800.61
T1=15.52
 SAT (TO)
f=73
TT=1800.45
T1=74.48
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=79-Q=137.opb		 OPT
f=79
TT=0.011
T1=0.01
 OPT
f=79
TT=1.885
T1=1.41
 OPT
f=79
TT=0.981
T1=0.92
 OPT
f=79
TT=6.128
T1=6.13
 OPT
f=79
TT=0.036
T1=0.03
 OPT
f=79
TT=0.011
T1=0.01
 OPT
f=79
TT=0.077
T1=0.05
 OPT
f=79
TT=0.063
T1=0.04
 OPT
f=79
TT=0.047
T1=0.04
 OPT
f=79
TT=0.048
T1=0.04
 OPT
f=79
TT=106.362
T1=70.76
 OPT
f=79
TT=240.477
T1=20.75
 SAT (TO)
f=79
TT=1800.52
T1=0.29
 ? (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-PB06/roussel/factor/
normalized-factor-size=9-P=79-Q=173.opb		 OPT
f=79
TT=0.01
T1=0.01
 OPT
f=79
TT=1.684
T1=1.3
 OPT
f=79
TT=1.128
T1=1.08
 OPT
f=79
TT=5.048
T1=5.05
 OPT
f=79
TT=0.039
T1=0.03
 OPT
f=79
TT=0.01
T1=0.01
 OPT
f=79
TT=0.07
T1=0.05
 OPT
f=79
TT=0.068
T1=0.06
 OPT
f=79
TT=0.038
T1=0.03
 OPT
f=79
TT=0.037
T1=0.03
 OPT
f=79
TT=24.209
T1=11.76
 OPT
f=79
TT=14.848
T1=1.6
 SAT (TO)
f=79
TT=1800.66
T1=154.67
 ? (TO)

TT=1800.72
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=79-Q=257.opb		 OPT
f=79
TT=0.007
T1=0.01
 OPT
f=79
TT=1.647
T1=1.18
 OPT
f=79
TT=1.041
T1=0.95
 OPT
f=79
TT=4.067
T1=4.07
 OPT
f=79
TT=0.033
T1=0.03
 OPT
f=79
TT=0.007
T1=0.01
 OPT
f=79
TT=0.067
T1=0.05
 OPT
f=79
TT=0.076
T1=0.06
 OPT
f=79
TT=0.036
T1=0.03
 OPT
f=79
TT=0.031
T1=0.02
 OPT
f=79
TT=540.127
T1=518.16
 OPT
f=79
TT=49.626
T1=3.57
 SAT (TO)
f=79
TT=1800.48
T1=2.54
 SAT (TO)
f=79
TT=1800.45
T1=12.93
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=79-Q=331.opb		 OPT
f=79
TT=0.008
T1=0
 OPT
f=79
TT=1.606
T1=1.01
 OPT
f=79
TT=1.102
T1=0.98
 OPT
f=79
TT=3.517
T1=3.51
 OPT
f=79
TT=0.04
T1=0.03
 OPT
f=79
TT=0.008
T1=0
 OPT
f=79
TT=0.064
T1=0.05
 OPT
f=79
TT=0.065
T1=0.05
 OPT
f=79
TT=0.045
T1=0.04
 OPT
f=79
TT=0.045
T1=0.04
 OPT
f=79
TT=10.475
T1=4.39
 OPT
f=79
TT=6.73
T1=2.6
 SAT (TO)
f=79
TT=1800.72
T1=9.78
 SAT (TO)
f=79
TT=1800.65
T1=49.19
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=7-Q=179.opb		 OPT
f=7
TT=0.005
T1=0
 OPT
f=7
TT=1.388
T1=0.96
 OPT
f=7
TT=0.509
T1=0.51
 OPT
f=7
TT=3.016
T1=3.01
 OPT
f=7
TT=0.026
T1=0.02
 OPT
f=7
TT=0.005
T1=0
 OPT
f=7
TT=0.066
T1=0.05
 OPT
f=7
TT=0.056
T1=0.04
 OPT
f=7
TT=0.018
T1=0.01
 OPT
f=7
TT=0.018
T1=0.02
 OPT
f=7
TT=3.05
T1=1.91
 OPT
f=7
TT=2.651
T1=1.31
 SAT (TO)
f=7
TT=1800.62
T1=5.66
 SAT (TO)
f=7
TT=1800.63
T1=13.08
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=7-Q=223.opb		 OPT
f=7
TT=0.003
T1=0
 OPT
f=7
TT=1.381
T1=0.93
 OPT
f=7
TT=0.553
T1=0.57
 OPT
f=7
TT=2.594
T1=2.59
 OPT
f=7
TT=0.027
T1=0.03
 OPT
f=7
TT=0.003
T1=0
 OPT
f=7
TT=0.058
T1=0.04
 OPT
f=7
TT=0.067
T1=0.05
 OPT
f=7
TT=0.018
T1=0.02
 OPT
f=7
TT=0.019
T1=0.02
 OPT
f=7
TT=4.918
T1=3.43
 OPT
f=7
TT=2.643
T1=1.06
 ? (TO)

TT=1800.5

 SAT (TO)
f=7
TT=1800.54
T1=0.22
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=7-Q=31.opb		 OPT
f=1
TT=0.004
T1=0
 OPT
f=1
TT=1.115
T1=0.78
 OPT
f=1
TT=0.063
T1=0.06
 OPT
f=1
TT=0.039
T1=0.04
 OPT
f=1
TT=0.015
T1=0.01
 OPT
f=1
TT=0.004
T1=0
 OPT
f=1
TT=0.061
T1=0.04
 OPT
f=1
TT=0.06
T1=0.04
 OPT
f=1
TT=0.01
T1=0.01
 OPT
f=1
TT=0.009
T1=0
 OPT
f=1
TT=2.351
T1=1.5
 OPT
f=1
TT=0.381
T1=0.32
 SAT (TO)
f=1
TT=1800.71
T1=1.16
 SAT (TO)
f=1
TT=1800.71
T1=5.84
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=83-Q=197.opb		 OPT
f=83
TT=0.008
T1=0.01
 OPT
f=83
TT=2.007
T1=1.34
 OPT
f=83
TT=1.191
T1=1.11
 OPT
f=83
TT=4.746
T1=4.75
 OPT
f=83
TT=0.03
T1=0.02
 OPT
f=83
TT=0.008
T1=0.01
 OPT
f=83
TT=0.063
T1=0.05
 OPT
f=83
TT=0.067
T1=0.05
 OPT
f=83
TT=0.044
T1=0.03
 OPT
f=83
TT=0.046
T1=0.04
 OPT
f=83
TT=15.941
T1=8.24
 OPT
f=83
TT=28.285
T1=19.56
 ? (TO)

TT=1800.69

 ? (TO)

TT=1800.71
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=83-Q=271.opb		 OPT
f=83
TT=0.01
T1=0.01
 OPT
f=83
TT=1.391
T1=1.07
 OPT
f=83
TT=1.092
T1=0.98
 OPT
f=83
TT=3.269
T1=3.27
 OPT
f=83
TT=0.043
T1=0.04
 OPT
f=83
TT=0.01
T1=0.01
 OPT
f=83
TT=0.063
T1=0.05
 OPT
f=83
TT=0.07
T1=0.06
 OPT
f=83
TT=0.048
T1=0.03
 OPT
f=83
TT=0.048
T1=0.04
 OPT
f=83
TT=9.754
T1=1.99
 OPT
f=83
TT=159.982
T1=105.34
 SAT (TO)
f=83
TT=1800.56
T1=13.86
 SAT (TO)
f=83
TT=1800.66
T1=23.29
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=83-Q=367.opb		 OPT
f=83
TT=0.006
T1=0
 OPT
f=83
TT=1.325
T1=0.92
 OPT
f=83
TT=1.14
T1=1.04
 OPT
f=83
TT=0.884
T1=0.88
 OPT
f=83
TT=0.05
T1=0.05
 OPT
f=83
TT=0.006
T1=0
 OPT
f=83
TT=0.059
T1=0.05
 OPT
f=83
TT=0.063
T1=0.04
 OPT
f=83
TT=0.037
T1=0.03
 OPT
f=83
TT=0.037
T1=0.03
 OPT
f=83
TT=20.854
T1=13.12
 OPT
f=83
TT=59.752
T1=53.59
 ? (TO)

TT=1800.66

 SAT (TO)
f=83
TT=1800.66
T1=235.25
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=83-Q=449.opb		 OPT
f=83
TT=0.006
T1=0
 OPT
f=83
TT=1.289
T1=0.89
 OPT
f=83
TT=1.04
T1=1
 OPT
f=83
TT=0.542
T1=0.54
 OPT
f=83
TT=0.051
T1=0.05
 OPT
f=83
TT=0.006
T1=0
 OPT
f=83
TT=0.061
T1=0.04
 OPT
f=83
TT=0.078
T1=0.06
 OPT
f=83
TT=0.037
T1=0.03
 OPT
f=83
TT=0.041
T1=0.04
 OPT
f=83
TT=16.478
T1=11.59
 OPT
f=83
TT=20.572
T1=16.49
 ? (TO)

TT=1800.66

 SAT (TO)
f=83
TT=1800.7
T1=3.78
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-PB06/roussel/factor/
normalized-factor-size=9-P=83-Q=89.opb		 OPT
f=83
TT=0.014
T1=0.01
 OPT
f=83
TT=1.781
T1=1.34
 OPT
f=83
TT=0.82
T1=0.8
 OPT
f=83
TT=4.521
T1=4.52
 OPT
f=83
TT=0.039
T1=0.03
 OPT
f=83
TT=0.014
T1=0.01
 OPT
f=83
TT=0.069
T1=0.05
 OPT
f=83
TT=0.069
T1=0.05
 OPT
f=83
TT=0.028
T1=0.02
 OPT
f=83
TT=0.027
T1=0.02
 OPT
f=83
TT=71.641
T1=20.51
 OPT
f=83
TT=11.659
T1=3.5
 SAT (TO)
f=83
TT=1800.7
T1=4.31
 SAT (TO)
f=83
TT=1800.7
T1=67.07
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=89-Q=211.opb		 OPT
f=89
TT=0.01
T1=0.01
 OPT
f=89
TT=1.747
T1=1.32
 OPT
f=89
TT=1.134
T1=1.05
 OPT
f=89
TT=6.047
T1=6.05
 OPT
f=89
TT=0.049
T1=0.04
 OPT
f=89
TT=0.01
T1=0.01
 OPT
f=89
TT=0.066
T1=0.05
 OPT
f=89
TT=0.067
T1=0.05
 OPT
f=89
TT=0.039
T1=0.03
 OPT
f=89
TT=0.041
T1=0.03
 OPT
f=89
TT=17.542
T1=2.15
 OPT
f=89
TT=27.754
T1=2.27
 ? (TO)

TT=1800.64

 SAT (TO)
f=89
TT=1800.56
T1=7.67
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=89-Q=263.opb		 OPT
f=89
TT=0.008
T1=0.01
 OPT
f=89
TT=1.636
T1=1.17
 OPT
f=89
TT=1.109
T1=1.03
 OPT
f=89
TT=2.938
T1=2.94
 OPT
f=89
TT=0.038
T1=0.03
 OPT
f=89
TT=0.008
T1=0.01
 OPT
f=89
TT=0.073
T1=0.06
 OPT
f=89
TT=0.06
T1=0.04
 OPT
f=89
TT=0.042
T1=0.04
 OPT
f=89
TT=0.043
T1=0.04
 OPT
f=89
TT=73.333
T1=31
 OPT
f=89
TT=22.415
T1=1.58
 ? (TO)

TT=1800.7

 SAT (TO)
f=89
TT=1800.53
T1=12.77
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=89-Q=293.opb		 OPT
f=89
TT=0.01
T1=0.01
 OPT
f=89
TT=1.406
T1=1.03
 OPT
f=89
TT=1.152
T1=1.08
 OPT
f=89
TT=3.023
T1=3.02
 OPT
f=89
TT=0.046
T1=0.04
 OPT
f=89
TT=0.01
T1=0.01
 OPT
f=89
TT=0.072
T1=0.05
 OPT
f=89
TT=0.069
T1=0.05
 OPT
f=89
TT=0.086
T1=0.08
 OPT
f=89
TT=0.095
T1=0.09
 OPT
f=89
TT=8.07
T1=2.76
 OPT
f=89
TT=15.564
T1=7.47
 ? (TO)

TT=1800.47

 SAT (TO)
f=89
TT=1800.6
T1=30.72
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=89-Q=317.opb		 OPT
f=89
TT=0.008
T1=0.01
 OPT
f=89
TT=1.358
T1=0.97
 OPT
f=89
TT=1.269
T1=1.2
 OPT
f=89
TT=2.192
T1=2.19
 OPT
f=89
TT=0.055
T1=0.05
 OPT
f=89
TT=0.008
T1=0.01
 OPT
f=89
TT=0.072
T1=0.05
 OPT
f=89
TT=0.061
T1=0.05
 OPT
f=89
TT=0.037
T1=0.04
 OPT
f=89
TT=0.042
T1=0.04
 OPT
f=89
TT=7.023
T1=1.55
 OPT
f=89
TT=7.829
T1=2.93
 ? (TO)

TT=1800.71

 SAT (TO)
f=89
TT=1800.77
T1=13.74
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=89-Q=347.opb		 OPT
f=89
TT=0.01
T1=0.01
 OPT
f=89
TT=1.401
T1=0.97
 OPT
f=89
TT=1.249
T1=1.2
 OPT
f=89
TT=1.514
T1=1.51
 OPT
f=89
TT=0.062
T1=0.06
 OPT
f=89
TT=0.01
T1=0.01
 OPT
f=89
TT=0.064
T1=0.05
 OPT
f=89
TT=0.062
T1=0.05
 OPT
f=89
TT=0.045
T1=0.04
 OPT
f=89
TT=0.047
T1=0.04
 OPT
f=89
TT=11.384
T1=4.92
 OPT
f=89
TT=20.408
T1=10.5
 ? (TO)

TT=1800.72

 ? (TO)

TT=1800.65
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=89-Q=431.opb		 OPT
f=89
TT=0.004
T1=0
 OPT
f=89
TT=1.306
T1=0.92
 OPT
f=89
TT=1.083
T1=1.03
 OPT
f=89
TT=1.091
T1=1.09
 OPT
f=89
TT=0.045
T1=0.04
 OPT
f=89
TT=0.004
T1=0
 OPT
f=89
TT=0.066
T1=0.05
 OPT
f=89
TT=0.061
T1=0.05
 OPT
f=89
TT=0.048
T1=0.05
 OPT
f=89
TT=0.069
T1=0.06
 OPT
f=89
TT=14.736
T1=9.45
 OPT
f=89
TT=5.376
T1=3.02
 ? (TO)

TT=1800.53

 ? (TO)

TT=1800.71
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=89-Q=487.opb		 OPT
f=89
TT=0.002
T1=0
 OPT
f=89
TT=1.113
T1=0.78
 OPT
f=89
TT=1.09
T1=1.06
 OPT
f=89
TT=1.024
T1=1.02
 OPT
f=89
TT=0.045
T1=0.04
 OPT
f=89
TT=0.002
T1=0
 OPT
f=89
TT=0.066
T1=0.05
 OPT
f=89
TT=0.077
T1=0.06
 OPT
f=89
TT=0.069
T1=0.07
 OPT
f=89
TT=0.07
T1=0.07
 OPT
f=89
TT=4.908
T1=3.45
 OPT
f=89
TT=1.981
T1=1.11
 ? (TO)

TT=1800.74

 ? (TO)

TT=1800.66
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=97-Q=331.opb		 OPT
f=97
TT=0.014
T1=0.01
 OPT
f=97
TT=1.479
T1=1
 OPT
f=97
TT=1.181
T1=1.12
 OPT
f=97
TT=1.588
T1=1.58
 OPT
f=97
TT=0.046
T1=0.04
 OPT
f=97
TT=0.014
T1=0.01
 OPT
f=97
TT=0.073
T1=0.05
 OPT
f=97
TT=0.085
T1=0.06
 OPT
f=97
TT=0.027
T1=0.02
 OPT
f=97
TT=0.029
T1=0.02
 OPT
f=97
TT=106.552
T1=68.7
 OPT
f=97
TT=22.284
T1=3.57
 ? (TO)

TT=1800.62

 SAT (TO)
f=97
TT=1800.5
T1=9.03
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=97-Q=457.opb		 OPT
f=97
TT=0.005
T1=0
 OPT
f=97
TT=1.326
T1=0.89
 OPT
f=97
TT=1.102
T1=1.09
 OPT
f=97
TT=0.429
T1=0.43
 OPT
f=97
TT=0.042
T1=0.04
 OPT
f=97
TT=0.005
T1=0
 OPT
f=97
TT=0.068
T1=0.05
 OPT
f=97
TT=0.076
T1=0.06
 OPT
f=97
TT=0.016
T1=0.01
 OPT
f=97
TT=0.018
T1=0.01
 OPT
f=97
TT=1222.26
T1=1204.21
 OPT
f=97
TT=156.788
T1=147.01
 SAT (TO)
f=97
TT=1800.59
T1=14.38
 ? (TO)

TT=1800.59
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-PB06/roussel/factor/
normalized-factor-size=9-P=97-Q=479.opb		 OPT
f=97
TT=0.004
T1=0
 OPT
f=97
TT=1.251
T1=0.82
 OPT
f=97
TT=1.171
T1=1.14
 OPT
f=97
TT=0.226
T1=0.24
 OPT
f=97
TT=0.04
T1=0.03
 OPT
f=97
TT=0.004
T1=0
 OPT
f=97
TT=0.06
T1=0.05
 OPT
f=97
TT=0.069
T1=0.06
 OPT
f=97
TT=0.016
T1=0.01
 OPT
f=97
TT=0.015
T1=0.01
 OPT
f=97
TT=4.77
T1=3.07
 OPT
f=97
TT=21.999
T1=19.73
 ? (TO)

TT=1800.71

 ? (TO)

TT=1800.56
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=97-Q=509.opb		 OPT
f=97
TT=0.004
T1=0
 OPT
f=97
TT=1.085
T1=0.74
 OPT
f=97
TT=1.451
T1=1.38
 OPT
f=97
TT=0.547
T1=0.54
 OPT
f=97
TT=0.03
T1=0.03
 OPT
f=97
TT=0.004
T1=0
 OPT
f=97
TT=0.057
T1=0.04
 OPT
f=97
TT=0.061
T1=0.13
 OPT
f=97
TT=0.013
T1=0.01
 OPT
f=97
TT=0.012
T1=0.01
 OPT
f=97
TT=124.458
T1=122.62
 OPT
f=97
TT=0.427
T1=0.33
 ? (TO)

TT=1800.55

 ? (TO)

TT=1800.79

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 answer19219219219219219219219219219219200
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)1921921921921921921921921921921929797
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)000019100210000
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)00011830011160010