PB'16 competition: satisfaction and optimization track: results by benchmark

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

This page displays the results of the different solvers for each benchmark for category optimisation, small integers, linear constraints (OPT-SMALLINT-LIN), subcategory Handmade, subsubcategory 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
Remember that CPU time and wall clock time are two very different notions. The CPU time represents the time during which the instructions of the solver were executed by the processor. The wall clock time represents how much time ellapsed on the clock. For a same event, the CPU time may be either smaller or greater than the wall clock time depending on the number of threads of execution and the number of processors.

Meaning of some abbreviations:

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

Meaning of the different colors:

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

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

Bench nameBest results
on this
instance		cdcl-cuttingplanes OPT binary search
2016-05-01
(complete)		cdcl-cuttingplanes OPT linear search
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=101-Q=223.opb 		OPT
f=101
TT=0.019
T1=0.02
 OPT
f=101
TT=0.216
T1=0.21
 OPT
f=101
TT=0.086
T1=0.08
 OPT
f=101
TT=0.019
T1=0.02
 OPT
f=101
TT=0.023
T1=0.02
 OPT
f=101
TT=6.171
T1=6.16
 OPT
f=101
TT=23.938
T1=23.93
 OPT
f=101
TT=0.724
T1=0.67
 OPT
f=101
TT=0.354
T1=0.18
 OPT
f=101
TT=0.285
T1=0.25
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=101-Q=379.opb 		OPT
f=101
TT=0.017
T1=0.01
 OPT
f=101
TT=0.174
T1=0.17
 OPT
f=101
TT=0.134
T1=0.13
 OPT
f=101
TT=0.019
T1=0.01
 OPT
f=101
TT=0.017
T1=0.01
 OPT
f=101
TT=2.907
T1=2.89
 OPT
f=101
TT=17.16
T1=17.15
 OPT
f=101
TT=0.625
T1=0.67
 OPT
f=101
TT=0.334
T1=0.2
 OPT
f=101
TT=0.469
T1=0.43
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=101-Q=409.opb 		OPT
f=101
TT=0.02
T1=0.01
 OPT
f=101
TT=0.248
T1=0.24
 OPT
f=101
TT=0.224
T1=0.22
 OPT
f=101
TT=0.02
T1=0.01
 OPT
f=101
TT=0.03
T1=0.03
 OPT
f=101
TT=5.615
T1=5.6
 OPT
f=101
TT=21.187
T1=21.18
 OPT
f=101
TT=0.493
T1=0.66
 OPT
f=101
TT=0.314
T1=0.19
 OPT
f=101
TT=0.455
T1=0.41
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=101-Q=457.opb 		OPT
f=101
TT=0.02
T1=0.02
 OPT
f=101
TT=0.108
T1=0.1
 OPT
f=101
TT=0.349
T1=0.34
 OPT
f=101
TT=0.022
T1=0.02
 OPT
f=101
TT=0.02
T1=0.02
 OPT
f=101
TT=4.036
T1=4.03
 OPT
f=101
TT=19.115
T1=19.11
 OPT
f=101
TT=0.425
T1=0.66
 OPT
f=101
TT=0.294
T1=0.18
 OPT
f=101
TT=0.459
T1=0.42
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=107-Q=373.opb 		OPT
f=107
TT=0.021
T1=0.02
 OPT
f=107
TT=0.305
T1=0.3
 OPT
f=107
TT=0.261
T1=0.26
 OPT
f=107
TT=0.023
T1=0.02
 OPT
f=107
TT=0.021
T1=0.02
 OPT
f=107
TT=4.64
T1=4.63
 OPT
f=107
TT=19.075
T1=19.07
 OPT
f=107
TT=0.573
T1=0.66
 OPT
f=107
TT=0.344
T1=0.21
 OPT
f=107
TT=0.446
T1=0.4
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=107-Q=503.opb 		OPT
f=107
TT=0.018
T1=0.01
 OPT
f=107
TT=0.078
T1=0.07
 OPT
f=107
TT=0.055
T1=0.05
 OPT
f=107
TT=0.019
T1=0.01
 OPT
f=107
TT=0.018
T1=0.01
 OPT
f=107
TT=2.715
T1=2.7
 OPT
f=107
TT=16.592
T1=16.58
 OPT
f=107
TT=0.273
T1=0.67
 OPT
f=107
TT=0.204
T1=0.14
 OPT
f=107
TT=0.578
T1=0.54
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=109-Q=373.opb 		OPT
f=109
TT=0.02
T1=0.02
 OPT
f=109
TT=0.351
T1=0.35
 OPT
f=109
TT=0.312
T1=0.31
 OPT
f=109
TT=0.02
T1=0.02
 OPT
f=109
TT=0.023
T1=0.02
 OPT
f=109
TT=4.566
T1=4.55
 OPT
f=109
TT=19.801
T1=19.8
 OPT
f=109
TT=0.564
T1=0.66
 OPT
f=109
TT=0.324
T1=0.18
 OPT
f=109
TT=0.428
T1=0.4
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=109-Q=419.opb 		OPT
f=109
TT=0.019
T1=0.02
 OPT
f=109
TT=0.089
T1=0.08
 OPT
f=109
TT=0.056
T1=0.05
 OPT
f=109
TT=0.022
T1=0.02
 OPT
f=109
TT=0.019
T1=0.02
 OPT
f=109
TT=5.101
T1=5.09
 OPT
f=109
TT=19.643
T1=19.64
 OPT
f=109
TT=0.483
T1=0.67
 OPT
f=109
TT=0.295
T1=0.16
 OPT
f=109
TT=0.501
T1=0.46
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=113-Q=233.opb 		OPT
f=113
TT=0.019
T1=0.01
 OPT
f=113
TT=0.199
T1=0.19
 OPT
f=113
TT=0.077
T1=0.07
 OPT
f=113
TT=0.019
T1=0.01
 OPT
f=113
TT=0.028
T1=0.02
 OPT
f=113
TT=4.639
T1=4.62
 OPT
f=113
TT=18.194
T1=18.19
 OPT
f=113
TT=0.705
T1=0.66
 OPT
f=113
TT=0.354
T1=0.18
 OPT
f=113
TT=0.318
T1=0.29
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=113-Q=331.opb 		OPT
f=113
TT=0.02
T1=0.01
 OPT
f=113
TT=0.157
T1=0.15
 OPT
f=113
TT=0.238
T1=0.23
 OPT
f=113
TT=0.02
T1=0.01
 OPT
f=113
TT=0.029
T1=0.02
 OPT
f=113
TT=5.349
T1=5.33
 OPT
f=113
TT=19.303
T1=19.3
 OPT
f=113
TT=0.544
T1=0.66
 OPT
f=113
TT=0.323
T1=0.19
 OPT
f=113
TT=0.405
T1=0.36
Bench nameBest resultscdcl-cuttingplanes OPT binary search
2016-05-01
(complete)		cdcl-cuttingplanes OPT linear search
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=113-Q=479.opb 		OPT
f=113
TT=0.02
T1=0.01
 OPT
f=113
TT=0.04
T1=0.04
 OPT
f=113
TT=0.024
T1=0.02
 OPT
f=113
TT=0.02
T1=0.01
 OPT
f=113
TT=0.023
T1=0.02
 OPT
f=113
TT=3.554
T1=3.54
 OPT
f=113
TT=17.145
T1=17.15
 OPT
f=113
TT=0.444
T1=0.66
 OPT
f=113
TT=0.265
T1=0.17
 OPT
f=113
TT=0.643
T1=0.6
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=113-Q=521.opb 		UNSAT

TT=0.023

 UNSAT

TT=0.276

 UNSAT

TT=0.272

 UNSAT

TT=0.023

 UNSAT

TT=0.027

 UNSAT

TT=3.641

 UNSAT

TT=15.797

 UNSAT

TT=0.935

 UNSAT

TT=0.472

 UNSAT

TT=0.636
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=11-Q=283.opb 		OPT
f=11
TT=0.013
T1=0.01
 OPT
f=11
TT=0.043
T1=0.04
 OPT
f=11
TT=0.031
T1=0.03
 OPT
f=11
TT=0.017
T1=0.01
 OPT
f=11
TT=0.013
T1=0.01
 OPT
f=11
TT=2.274
T1=2.26
 OPT
f=11
TT=15.949
T1=15.94
 OPT
f=11
TT=0.404
T1=0.66
 OPT
f=11
TT=0.224
T1=0.16
 OPT
f=11
TT=0.104
T1=0.09
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=11-Q=53.opb 		OPT
f=11
TT=0.01
T1=0.01
 OPT
f=11
TT=0.04
T1=0.04
 OPT
f=11
TT=0.032
T1=0.03
 OPT
f=11
TT=0.012
T1=0.01
 OPT
f=11
TT=0.01
T1=0.01
 OPT
f=11
TT=1.968
T1=1.95
 OPT
f=11
TT=14.829
T1=14.82
 OPT
f=11
TT=0.315
T1=0.67
 OPT
f=11
TT=0.243
T1=0.16
 OPT
f=11
TT=0.061
T1=0.06
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=127-Q=137.opb 		OPT
f=127
TT=0.022
T1=0.02
 OPT
f=127
TT=0.817
T1=0.81
 OPT
f=127
TT=0.323
T1=0.32
 OPT
f=127
TT=0.022
T1=0.02
 OPT
f=127
TT=0.038
T1=0.03
 OPT
f=127
TT=5.253
T1=5.24
 OPT
f=127
TT=24.882
T1=24.87
 OPT
f=127
TT=0.655
T1=0.66
 OPT
f=127
TT=0.364
T1=0.18
 OPT
f=127
TT=0.24
T1=0.22
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=127-Q=149.opb 		OPT
f=127
TT=0.021
T1=0.02
 OPT
f=127
TT=0.651
T1=0.65
 OPT
f=127
TT=0.153
T1=0.15
 OPT
f=127
TT=0.021
T1=0.02
 OPT
f=127
TT=0.022
T1=0.02
 OPT
f=127
TT=4.051
T1=4.03
 OPT
f=127
TT=21.804
T1=21.8
 OPT
f=127
TT=0.696
T1=0.66
 OPT
f=127
TT=0.384
T1=0.19
 OPT
f=127
TT=0.241
T1=0.22
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=127-Q=211.opb 		OPT
f=127
TT=0.023
T1=0.02
 OPT
f=127
TT=0.184
T1=0.18
 OPT
f=127
TT=0.289
T1=0.28
 OPT
f=127
TT=0.023
T1=0.02
 OPT
f=127
TT=0.024
T1=0.02
 OPT
f=127
TT=3.163
T1=3.15
 OPT
f=127
TT=20.7
T1=20.69
 OPT
f=127
TT=0.644
T1=0.66
 OPT
f=127
TT=0.373
T1=0.19
 OPT
f=127
TT=0.289
T1=0.24
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=127-Q=359.opb 		OPT
f=127
TT=0.019
T1=0.02
 OPT
f=127
TT=0.183
T1=0.18
 OPT
f=127
TT=0.154
T1=0.15
 OPT
f=127
TT=0.021
T1=0.02
 OPT
f=127
TT=0.019
T1=0.02
 OPT
f=127
TT=4.845
T1=4.83
 OPT
f=127
TT=20.394
T1=20.38
 OPT
f=127
TT=0.574
T1=0.66
 OPT
f=127
TT=0.304
T1=0.16
 OPT
f=127
TT=0.46
T1=0.43
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=127-Q=389.opb 		OPT
f=127
TT=0.023
T1=0.02
 OPT
f=127
TT=0.41
T1=0.41
 OPT
f=127
TT=0.396
T1=0.39
 OPT
f=127
TT=0.023
T1=0.02
 OPT
f=127
TT=0.029
T1=0.03
 OPT
f=127
TT=2.242
T1=2.23
 OPT
f=127
TT=17.846
T1=17.84
 OPT
f=127
TT=0.455
T1=0.66
 OPT
f=127
TT=0.274
T1=0.17
 OPT
f=127
TT=0.641
T1=0.59
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=127-Q=487.opb 		OPT
f=127
TT=0.017
T1=0.01
 OPT
f=127
TT=0.125
T1=0.12
 OPT
f=127
TT=0.117
T1=0.11
 OPT
f=127
TT=0.02
T1=0.01
 OPT
f=127
TT=0.017
T1=0.01
 OPT
f=127
TT=3.081
T1=3.07
 OPT
f=127
TT=16.401
T1=16.39
 OPT
f=127
TT=0.304
T1=0.66
 OPT
f=127
TT=0.224
T1=0.15
 OPT
f=127
TT=0.62
T1=0.58
Bench nameBest resultscdcl-cuttingplanes OPT binary search
2016-05-01
(complete)		cdcl-cuttingplanes OPT linear search
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=127-Q=491.opb 		OPT
f=127
TT=0.02
T1=0.01
 OPT
f=127
TT=0.236
T1=0.23
 OPT
f=127
TT=0.22
T1=0.22
 OPT
f=127
TT=0.02
T1=0.01
 OPT
f=127
TT=0.028
T1=0.02
 OPT
f=127
TT=3.351
T1=3.34
 OPT
f=127
TT=15.688
T1=15.68
 OPT
f=127
TT=0.235
T1=0.66
 OPT
f=127
TT=0.224
T1=0.15
 OPT
f=127
TT=0.675
T1=0.63
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=127-Q=499.opb 		OPT
f=127
TT=0.015
T1=0.01
 OPT
f=127
TT=0.298
T1=0.29
 OPT
f=127
TT=0.303
T1=0.3
 OPT
f=127
TT=0.02
T1=0.01
 OPT
f=127
TT=0.015
T1=0.01
 OPT
f=127
TT=3.221
T1=3.21
 OPT
f=127
TT=16.715
T1=16.71
 OPT
f=127
TT=0.234
T1=0.66
 OPT
f=127
TT=0.224
T1=0.15
 OPT
f=127
TT=0.64
T1=0.59
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=131-Q=137.opb 		OPT
f=131
TT=0.021
T1=0.02
 OPT
f=131
TT=0.22
T1=0.22
 OPT
f=131
TT=0.143
T1=0.14
 OPT
f=131
TT=0.021
T1=0.02
 OPT
f=131
TT=0.022
T1=0.02
 OPT
f=131
TT=5.506
T1=5.49
 OPT
f=131
TT=19.451
T1=19.44
 OPT
f=131
TT=7.163
T1=1.16
 OPT
f=131
TT=0.444
T1=0.23
 OPT
f=131
TT=0.252
T1=0.23
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=131-Q=157.opb 		OPT
f=131
TT=0.021
T1=0.02
 OPT
f=131
TT=0.26
T1=0.25
 OPT
f=131
TT=0.14
T1=0.14
 OPT
f=131
TT=0.021
T1=0.02
 OPT
f=131
TT=0.028
T1=0.02
 OPT
f=131
TT=4.419
T1=4.4
 OPT
f=131
TT=17.556
T1=17.55
 OPT
f=131
TT=0.916
T1=0.66
 OPT
f=131
TT=0.454
T1=0.23
 OPT
f=131
TT=0.261
T1=0.24
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=131-Q=163.opb 		OPT
f=131
TT=0.023
T1=0.02
 OPT
f=131
TT=0.586
T1=0.58
 OPT
f=131
TT=0.465
T1=0.46
 OPT
f=131
TT=0.023
T1=0.02
 OPT
f=131
TT=0.024
T1=0.02
 OPT
f=131
TT=4.609
T1=4.6
 OPT
f=131
TT=19.108
T1=19.1
 OPT
f=131
TT=14.302
T1=1.16
 OPT
f=131
TT=0.454
T1=0.24
 OPT
f=131
TT=0.271
T1=0.25
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=131-Q=277.opb 		OPT
f=131
TT=0.021
T1=0.02
 OPT
f=131
TT=0.834
T1=0.83
 OPT
f=131
TT=0.844
T1=0.84
 OPT
f=131
TT=0.021
T1=0.02
 OPT
f=131
TT=0.027
T1=0.02
 OPT
f=131
TT=4.017
T1=4
 OPT
f=131
TT=17.449
T1=17.44
 OPT
f=131
TT=2.803
T1=0.66
 OPT
f=131
TT=0.444
T1=0.23
 OPT
f=131
TT=0.397
T1=0.34
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=139-Q=191.opb 		OPT
f=139
TT=0.021
T1=0.02
 OPT
f=139
TT=0.655
T1=0.65
 OPT
f=139
TT=0.306
T1=0.3
 OPT
f=139
TT=0.021
T1=0.02
 OPT
f=139
TT=0.022
T1=0.02
 OPT
f=139
TT=4.805
T1=4.81
 OPT
f=139
TT=18.988
T1=18.98
 OPT
f=139
TT=9.093
T1=6.22
 OPT
f=139
TT=0.433
T1=0.23
 OPT
f=139
TT=0.298
T1=0.24
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=13-Q=179.opb 		OPT
f=13
TT=0.014
T1=0.01
 OPT
f=13
TT=0.044
T1=0.04
 OPT
f=13
TT=0.026
T1=0.03
 OPT
f=13
TT=0.016
T1=0.01
 OPT
f=13
TT=0.014
T1=0.01
 OPT
f=13
TT=3.75
T1=3.73
 OPT
f=13
TT=17.968
T1=17.96
 OPT
f=13
TT=0.412
T1=0.66
 OPT
f=13
TT=0.234
T1=0.16
 OPT
f=13
TT=0.06
T1=0.04
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=149-Q=163.opb 		OPT
f=149
TT=0.021
T1=0.02
 OPT
f=149
TT=0.161
T1=0.16
 OPT
f=149
TT=0.12
T1=0.12
 OPT
f=149
TT=0.021
T1=0.02
 OPT
f=149
TT=0.024
T1=0.02
 OPT
f=149
TT=5.703
T1=5.69
 OPT
f=149
TT=19.664
T1=19.66
 OPT
f=149
TT=0.874
T1=1.16
 OPT
f=149
TT=0.414
T1=0.22
 OPT
f=149
TT=0.323
T1=0.3
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=149-Q=167.opb 		OPT
f=149
TT=0.022
T1=0.02
 OPT
f=149
TT=0.675
T1=0.67
 OPT
f=149
TT=0.33
T1=0.33
 OPT
f=149
TT=0.022
T1=0.02
 OPT
f=149
TT=0.029
T1=0.03
 OPT
f=149
TT=5.57
T1=5.55
 OPT
f=149
TT=17.536
T1=17.53
 OPT
f=149
TT=0.965
T1=1.16
 OPT
f=149
TT=0.445
T1=0.22
 OPT
f=149
TT=0.319
T1=0.3
Bench nameBest resultscdcl-cuttingplanes OPT binary search
2016-05-01
(complete)		cdcl-cuttingplanes OPT linear search
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=149-Q=251.opb 		OPT
f=149
TT=0.02
T1=0.02
 OPT
f=149
TT=0.141
T1=0.14
 OPT
f=149
TT=0.078
T1=0.07
 OPT
f=149
TT=0.02
T1=0.02
 OPT
f=149
TT=0.03
T1=0.03
 OPT
f=149
TT=5.399
T1=5.38
 OPT
f=149
TT=19.034
T1=19.02
 OPT
f=149
TT=0.643
T1=1.16
 OPT
f=149
TT=0.364
T1=0.2
 OPT
f=149
TT=0.418
T1=0.35
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=149-Q=271.opb 		OPT
f=149
TT=0.021
T1=0.02
 OPT
f=149
TT=0.543
T1=0.54
 OPT
f=149
TT=0.473
T1=0.47
 OPT
f=149
TT=0.021
T1=0.02
 OPT
f=149
TT=0.028
T1=0.02
 OPT
f=149
TT=6.574
T1=6.56
 OPT
f=149
TT=22.364
T1=22.36
 OPT
f=149
TT=0.824
T1=0.66
 OPT
f=149
TT=0.434
T1=0.22
 OPT
f=149
TT=0.466
T1=0.4
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=149-Q=293.opb 		OPT
f=149
TT=0.024
T1=0.02
 OPT
f=149
TT=0.373
T1=0.37
 OPT
f=149
TT=0.388
T1=0.38
 OPT
f=149
TT=0.024
T1=0.02
 OPT
f=149
TT=0.024
T1=0.02
 OPT
f=149
TT=5.319
T1=5.3
 OPT
f=149
TT=20.113
T1=20.11
 OPT
f=149
TT=0.854
T1=0.67
 OPT
f=149
TT=0.414
T1=0.21
 OPT
f=149
TT=0.438
T1=0.37
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=149-Q=397.opb 		OPT
f=149
TT=0.019
T1=0.01
 OPT
f=149
TT=0.274
T1=0.27
 OPT
f=149
TT=0.113
T1=0.11
 OPT
f=149
TT=0.019
T1=0.01
 OPT
f=149
TT=0.025
T1=0.02
 OPT
f=149
TT=5.58
T1=5.56
 OPT
f=149
TT=20.099
T1=20.09
 OPT
f=149
TT=0.756
T1=0.66
 OPT
f=149
TT=0.345
T1=0.18
 OPT
f=149
TT=0.591
T1=0.53
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=149-Q=409.opb 		OPT
f=149
TT=0.022
T1=0.02
 OPT
f=149
TT=0.365
T1=0.36
 OPT
f=149
TT=0.423
T1=0.42
 OPT
f=149
TT=0.022
T1=0.02
 OPT
f=149
TT=0.025
T1=0.02
 OPT
f=149
TT=4.424
T1=4.41
 OPT
f=149
TT=19.277
T1=19.27
 OPT
f=149
TT=1.584
T1=0.66
 OPT
f=149
TT=0.394
T1=0.21
 OPT
f=149
TT=0.63
T1=0.58
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=149-Q=487.opb 		OPT
f=149
TT=0.02
T1=0.02
 OPT
f=149
TT=0.238
T1=0.23
 OPT
f=149
TT=0.189
T1=0.19
 OPT
f=149
TT=0.02
T1=0.02
 OPT
f=149
TT=2.537
T1=2.53
 OPT
f=149
TT=2.086
T1=2.07
 OPT
f=149
TT=15.58
T1=15.57
 OPT
f=149
TT=0.554
T1=0.66
 OPT
f=149
TT=0.264
T1=0.17
 OPT
f=149
TT=0.845
T1=0.79
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=149-Q=509.opb 		OPT
f=149
TT=0.022
T1=0.02
 OPT
f=149
TT=0.149
T1=0.15
 OPT
f=149
TT=0.211
T1=0.21
 OPT
f=149
TT=0.022
T1=0.02
 OPT
f=149
TT=2.536
T1=2.53
 OPT
f=149
TT=3.192
T1=3.18
 OPT
f=149
TT=16.364
T1=16.36
 OPT
f=149
TT=0.266
T1=0.66
 OPT
f=149
TT=0.204
T1=0.15
 OPT
f=149
TT=0.763
T1=0.72
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=151-Q=167.opb 		OPT
f=151
TT=0.023
T1=0.02
 OPT
f=151
TT=0.117
T1=0.11
 OPT
f=151
TT=0.079
T1=0.07
 OPT
f=151
TT=0.023
T1=0.02
 OPT
f=151
TT=0.026
T1=0.02
 OPT
f=151
TT=6.807
T1=6.8
 OPT
f=151
TT=19.519
T1=19.51
 OPT
f=151
TT=0.814
T1=1.16
 OPT
f=151
TT=0.424
T1=0.22
 OPT
f=151
TT=0.3
T1=0.24
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=157-Q=163.opb 		OPT
f=157
TT=0.021
T1=0.02
 OPT
f=157
TT=1.359
T1=1.35
 OPT
f=157
TT=0.356
T1=0.35
 OPT
f=157
TT=0.021
T1=0.02
 OPT
f=157
TT=0.025
T1=0.02
 OPT
f=157
TT=6.081
T1=6.07
 OPT
f=157
TT=19.275
T1=19.28
 OPT
f=157
TT=0.893
T1=0.66
 OPT
f=157
TT=0.402
T1=0.21
 OPT
f=157
TT=0.323
T1=0.25
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=157-Q=181.opb 		OPT
f=157
TT=0.022
T1=0.02
 OPT
f=157
TT=0.368
T1=0.36
 OPT
f=157
TT=0.117
T1=0.11
 OPT
f=157
TT=0.022
T1=0.02
 OPT
f=157
TT=0.03
T1=0.03
 OPT
f=157
TT=5.246
T1=5.23
 OPT
f=157
TT=16.926
T1=16.92
 OPT
f=157
TT=0.784
T1=1.16
 OPT
f=157
TT=0.414
T1=0.21
 OPT
f=157
TT=0.324
T1=0.3
Bench nameBest resultscdcl-cuttingplanes OPT binary search
2016-05-01
(complete)		cdcl-cuttingplanes OPT linear search
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=157-Q=373.opb 		OPT
f=157
TT=0.02
T1=0.01
 OPT
f=157
TT=0.64
T1=0.64
 OPT
f=157
TT=0.582
T1=0.58
 OPT
f=157
TT=0.02
T1=0.01
 OPT
f=157
TT=0.025
T1=0.02
 OPT
f=157
TT=4.418
T1=4.4
 OPT
f=157
TT=18.762
T1=18.77
 OPT
f=157
TT=0.624
T1=0.66
 OPT
f=157
TT=0.375
T1=0.22
 OPT
f=157
TT=0.569
T1=0.53
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=167-Q=173.opb 		OPT
f=167
TT=0.02
T1=0.02
 OPT
f=167
TT=0.172
T1=0.17
 OPT
f=167
TT=0.09
T1=0.09
 OPT
f=167
TT=0.02
T1=0.02
 OPT
f=167
TT=0.027
T1=0.02
 OPT
f=167
TT=5
T1=4.99
 OPT
f=167
TT=17.406
T1=17.4
 OPT
f=167
TT=6.813
T1=1.17
 OPT
f=167
TT=0.444
T1=0.22
 OPT
f=167
TT=0.358
T1=0.39
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=167-Q=179.opb 		OPT
f=167
TT=0.023
T1=0.02
 OPT
f=167
TT=0.252
T1=0.25
 OPT
f=167
TT=0.181
T1=0.18
 OPT
f=167
TT=0.023
T1=0.02
 OPT
f=167
TT=0.026
T1=0.02
 OPT
f=167
TT=5.569
T1=5.56
 OPT
f=167
TT=18.137
T1=18.13
 OPT
f=167
TT=0.746
T1=0.67
 OPT
f=167
TT=0.454
T1=0.23
 OPT
f=167
TT=0.344
T1=0.27
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=167-Q=347.opb 		OPT
f=167
TT=0.022
T1=0.02
 OPT
f=167
TT=0.63
T1=0.63
 OPT
f=167
TT=0.24
T1=0.24
 OPT
f=167
TT=0.022
T1=0.02
 OPT
f=167
TT=0.025
T1=0.02
 OPT
f=167
TT=4.845
T1=4.83
 OPT
f=167
TT=19.582
T1=19.57
 OPT
f=167
TT=0.734
T1=0.66
 OPT
f=167
TT=0.353
T1=0.18
 OPT
f=167
TT=0.619
T1=0.56
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=173-Q=173.opb 		OPT
f=173
TT=0.021
T1=0.02
 OPT
f=173
TT=0.196
T1=0.19
 OPT
f=173
TT=0.185
T1=0.18
 OPT
f=173
TT=0.021
T1=0.02
 OPT
f=173
TT=0.028
T1=0.02
 OPT
f=173
TT=5.467
T1=5.45
 OPT
f=173
TT=18.077
T1=18.07
 OPT
f=173
TT=0.804
T1=0.66
 OPT
f=173
TT=0.464
T1=0.24
 OPT
f=173
TT=0.338
T1=0.29
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=173-Q=191.opb 		OPT
f=173
TT=0.022
T1=0.02
 OPT
f=173
TT=0.452
T1=0.45
 OPT
f=173
TT=0.392
T1=0.39
 OPT
f=173
TT=0.022
T1=0.02
 OPT
f=173
TT=0.028
T1=0.02
 OPT
f=173
TT=4.537
T1=4.52
 OPT
f=173
TT=20.218
T1=20.21
 OPT
f=173
TT=0.734
T1=0.66
 OPT
f=173
TT=0.444
T1=0.21
 OPT
f=173
TT=0.422
T1=0.39
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=173-Q=211.opb 		OPT
f=173
TT=0.026
T1=0.02
 OPT
f=173
TT=0.677
T1=0.67
 OPT
f=173
TT=0.238
T1=0.23
 OPT
f=173
TT=0.026
T1=0.02
 OPT
f=173
TT=0.028
T1=0.02
 OPT
f=173
TT=5.377
T1=5.37
 OPT
f=173
TT=18.415
T1=18.41
 OPT
f=173
TT=0.815
T1=1.17
 OPT
f=173
TT=0.415
T1=0.22
 OPT
f=173
TT=0.461
T1=0.42
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=179-Q=509.opb 		OPT
f=179
TT=0.02
T1=0.01
 OPT
f=179
TT=0.067
T1=0.06
 OPT
f=179
TT=0.046
T1=0.04
 OPT
f=179
TT=0.02
T1=0.01
 OPT
f=179
TT=2.541
T1=2.53
 OPT
f=179
TT=3.823
T1=3.81
 OPT
f=179
TT=17.004
T1=16.99
 OPT
f=179
TT=0.244
T1=0.67
 OPT
f=179
TT=0.194
T1=0.14
 OPT
f=179
TT=1.04
T1=0.98
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=17-Q=347.opb 		OPT
f=17
TT=0.013
T1=0.01
 OPT
f=17
TT=0.134
T1=0.13
 OPT
f=17
TT=0.093
T1=0.09
 OPT
f=17
TT=0.017
T1=0.01
 OPT
f=17
TT=0.013
T1=0.01
 OPT
f=17
TT=2.264
T1=2.25
 OPT
f=17
TT=16.819
T1=16.81
 OPT
f=17
TT=0.624
T1=0.66
 OPT
f=17
TT=0.244
T1=0.16
 OPT
f=17
TT=0.112
T1=0.09
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=17-Q=457.opb 		OPT
f=17
TT=0.015
T1=0.01
 OPT
f=17
TT=0.077
T1=0.07
 OPT
f=17
TT=0.099
T1=0.1
 OPT
f=17
TT=0.015
T1=0.01
 OPT
f=17
TT=0.018
T1=0.01
 OPT
f=17
TT=2.239
T1=2.22
 OPT
f=17
TT=17.277
T1=17.27
 OPT
f=17
TT=0.215
T1=0.66
 OPT
f=17
TT=0.194
T1=0.14
 OPT
f=17
TT=0.117
T1=0.11
Bench nameBest resultscdcl-cuttingplanes OPT binary search
2016-05-01
(complete)		cdcl-cuttingplanes OPT linear search
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=17-Q=487.opb 		OPT
f=17
TT=0.016
T1=0.01
 OPT
f=17
TT=0.211
T1=0.21
 OPT
f=17
TT=0.179
T1=0.17
 OPT
f=17
TT=0.016
T1=0.01
 OPT
f=17
TT=0.018
T1=0.01
 OPT
f=17
TT=3.666
T1=3.65
 OPT
f=17
TT=17.441
T1=17.43
 OPT
f=17
TT=0.223
T1=0.66
 OPT
f=17
TT=0.195
T1=0.14
 OPT
f=17
TT=0.099
T1=0.09
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=191-Q=251.opb 		OPT
f=191
TT=0.023
T1=0.02
 OPT
f=191
TT=0.4
T1=0.39
 OPT
f=191
TT=0.135
T1=0.13
 OPT
f=191
TT=0.023
T1=0.02
 OPT
f=191
TT=0.024
T1=0.02
 OPT
f=191
TT=3.336
T1=3.32
 OPT
f=191
TT=20.776
T1=20.77
 OPT
f=191
TT=0.884
T1=0.67
 OPT
f=191
TT=0.445
T1=0.23
 OPT
f=191
TT=0.506
T1=0.44
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=191-Q=389.opb 		OPT
f=191
TT=0.024
T1=0.02
 OPT
f=191
TT=0.146
T1=0.14
 OPT
f=191
TT=0.065
T1=0.06
 OPT
f=191
TT=0.024
T1=0.02
 OPT
f=191
TT=2.536
T1=2.53
 OPT
f=191
TT=4.635
T1=4.62
 OPT
f=191
TT=18.254
T1=18.24
 OPT
f=191
TT=0.605
T1=0.67
 OPT
f=191
TT=0.304
T1=0.16
 OPT
f=191
TT=0.905
T1=0.84
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=191-Q=449.opb 		OPT
f=191
TT=0.024
T1=0.02
 OPT
f=191
TT=0.072
T1=0.07
 OPT
f=191
TT=0.05
T1=0.05
 OPT
f=191
TT=0.024
T1=0.02
 OPT
f=191
TT=2.539
T1=2.54
 OPT
f=191
TT=3.434
T1=3.42
 OPT
f=191
TT=17.014
T1=17.01
 OPT
f=191
TT=0.434
T1=0.66
 OPT
f=191
TT=0.232
T1=0.15
 OPT
f=191
TT=0.985
T1=0.92
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=191-Q=509.opb 		OPT
f=191
TT=0.021
T1=0.02
 OPT
f=191
TT=0.579
T1=0.57
 OPT
f=191
TT=0.57
T1=0.57
 OPT
f=191
TT=0.021
T1=0.02
 OPT
f=191
TT=2.535
T1=2.53
 OPT
f=191
TT=4.071
T1=4.06
 OPT
f=191
TT=16.792
T1=16.78
 OPT
f=191
TT=0.214
T1=0.66
 OPT
f=191
TT=0.195
T1=0.14
 OPT
f=191
TT=1.103
T1=1.04
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=197-Q=479.opb 		OPT
f=197
TT=0.019
T1=0.01
 OPT
f=197
TT=0.136
T1=0.13
 OPT
f=197
TT=0.346
T1=0.34
 OPT
f=197
TT=0.019
T1=0.01
 OPT
f=197
TT=2.535
T1=2.53
 OPT
f=197
TT=5.181
T1=5.17
 OPT
f=197
TT=18.528
T1=18.52
 OPT
f=197
TT=0.383
T1=0.66
 OPT
f=197
TT=0.355
T1=0.2
 OPT
f=197
TT=1.1
T1=1.04
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=211-Q=347.opb 		OPT
f=211
TT=0.028
T1=0.03
 OPT
f=211
TT=0.139
T1=0.13
 OPT
f=211
TT=0.078
T1=0.07
 OPT
f=211
TT=0.028
T1=0.03
 OPT
f=211
TT=2.541
T1=2.54
 OPT
f=211
TT=6.237
T1=6.22
 OPT
f=211
TT=18.968
T1=18.96
 OPT
f=211
TT=0.784
T1=0.66
 OPT
f=211
TT=0.393
T1=0.19
 OPT
f=211
TT=0.716
T1=0.67
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=211-Q=479.opb 		OPT
f=211
TT=0.022
T1=0.02
 OPT
f=211
TT=0.151
T1=0.15
 OPT
f=211
TT=0.149
T1=0.15
 OPT
f=211
TT=0.022
T1=0.02
 OPT
f=211
TT=2.546
T1=2.54
 OPT
f=211
TT=2.706
T1=2.69
 OPT
f=211
TT=15.331
T1=15.32
 OPT
f=211
TT=0.855
T1=0.67
 OPT
f=211
TT=0.254
T1=0.16
 OPT
f=211
TT=1.074
T1=1.01
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=223-Q=263.opb 		OPT
f=223
TT=0.024
T1=0.02
 OPT
f=223
TT=0.73
T1=0.73
 OPT
f=223
TT=0.644
T1=0.64
 OPT
f=223
TT=0.024
T1=0.02
 OPT
f=223
TT=0.029
T1=0.02
 OPT
f=223
TT=4.771
T1=4.76
 OPT
f=223
TT=18.784
T1=18.78
 OPT
f=223
TT=0.644
T1=0.66
 OPT
f=223
TT=0.414
T1=0.19
 OPT
f=223
TT=0.59
T1=0.55
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=223-Q=307.opb 		OPT
f=223
TT=0.022
T1=0.02
 OPT
f=223
TT=0.2
T1=0.2
 OPT
f=223
TT=0.191
T1=0.19
 OPT
f=223
TT=0.022
T1=0.02
 OPT
f=223
TT=2.537
T1=2.53
 OPT
f=223
TT=5.121
T1=5.11
 OPT
f=223
TT=17.854
T1=17.84
 OPT
f=223
TT=0.664
T1=0.66
 OPT
f=223
TT=0.394
T1=0.23
 OPT
f=223
TT=0.707
T1=0.73
Bench nameBest resultscdcl-cuttingplanes OPT binary search
2016-05-01
(complete)		cdcl-cuttingplanes OPT linear search
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=223-Q=347.opb 		OPT
f=223
TT=0.023
T1=0.02
 OPT
f=223
TT=0.491
T1=0.48
 OPT
f=223
TT=0.489
T1=0.48
 OPT
f=223
TT=0.023
T1=0.02
 OPT
f=223
TT=2.536
T1=2.53
 OPT
f=223
TT=6.351
T1=6.34
 OPT
f=223
TT=18.483
T1=18.48
 OPT
f=223
TT=0.794
T1=0.66
 OPT
f=223
TT=0.384
T1=0.2
 OPT
f=223
TT=0.82
T1=0.76
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=223-Q=379.opb 		OPT
f=223
TT=0.024
T1=0.02
 OPT
f=223
TT=0.455
T1=0.45
 OPT
f=223
TT=0.271
T1=0.27
 OPT
f=223
TT=0.024
T1=0.02
 OPT
f=223
TT=2.549
T1=2.54
 OPT
f=223
TT=5.091
T1=5.14
 OPT
f=223
TT=19.209
T1=19.2
 OPT
f=223
TT=0.713
T1=0.67
 OPT
f=223
TT=0.384
T1=0.21
 OPT
f=223
TT=0.903
T1=0.84
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=223-Q=383.opb 		OPT
f=223
TT=0.027
T1=0.02
 OPT
f=223
TT=0.519
T1=0.52
 OPT
f=223
TT=0.305
T1=0.3
 OPT
f=223
TT=0.027
T1=0.02
 OPT
f=223
TT=2.541
T1=2.54
 OPT
f=223
TT=4.732
T1=4.72
 OPT
f=223
TT=17.756
T1=17.75
 OPT
f=223
TT=1.746
T1=0.67
 OPT
f=223
TT=0.354
T1=0.18
 OPT
f=223
TT=0.832
T1=0.77
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=223-Q=421.opb 		OPT
f=223
TT=0.023
T1=0.02
 OPT
f=223
TT=0.175
T1=0.17
 OPT
f=223
TT=0.175
T1=0.17
 OPT
f=223
TT=0.023
T1=0.02
 OPT
f=223
TT=2.539
T1=2.53
 OPT
f=223
TT=4.14
T1=4.12
 OPT
f=223
TT=16.282
T1=16.28
 OPT
f=223
TT=0.545
T1=0.66
 OPT
f=223
TT=0.354
T1=0.19
 OPT
f=223
TT=1.069
T1=1
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=223-Q=431.opb 		OPT
f=223
TT=0.022
T1=0.02
 OPT
f=223
TT=0.133
T1=0.13
 OPT
f=223
TT=0.144
T1=0.14
 OPT
f=223
TT=0.022
T1=0.02
 OPT
f=223
TT=2.541
T1=2.54
 OPT
f=223
TT=6.524
T1=6.51
 OPT
f=223
TT=19.64
T1=19.63
 OPT
f=223
TT=0.605
T1=0.66
 OPT
f=223
TT=0.354
T1=0.2
 OPT
f=223
TT=0.921
T1=0.86
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=223-Q=499.opb 		OPT
f=223
TT=0.024
T1=0.02
 OPT
f=223
TT=0.238
T1=0.23
 OPT
f=223
TT=0.35
T1=0.35
 OPT
f=223
TT=0.024
T1=0.02
 OPT
f=223
TT=2.539
T1=2.53
 OPT
f=223
TT=2.535
T1=2.52
 OPT
f=223
TT=15.833
T1=15.82
 OPT
f=223
TT=0.283
T1=0.66
 OPT
f=223
TT=0.224
T1=0.15
 OPT
f=223
TT=1.14
T1=1.08
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=227-Q=383.opb 		OPT
f=227
TT=0.022
T1=0.02
 OPT
f=227
TT=0.182
T1=0.18
 OPT
f=227
TT=0.065
T1=0.06
 OPT
f=227
TT=0.022
T1=0.02
 OPT
f=227
TT=2.537
T1=2.53
 OPT
f=227
TT=5.022
T1=5.03
 OPT
f=227
TT=19.061
T1=19.05
 OPT
f=227
TT=0.643
T1=0.66
 OPT
f=227
TT=0.365
T1=0.2
 OPT
f=227
TT=0.912
T1=0.83
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=229-Q=239.opb 		OPT
f=229
TT=0.021
T1=0.02
 OPT
f=229
TT=0.219
T1=0.22
 OPT
f=229
TT=0.176
T1=0.17
 OPT
f=229
TT=0.023
T1=0.02
 OPT
f=229
TT=0.021
T1=0.02
 OPT
f=229
TT=5.011
T1=5
 OPT
f=229
TT=22.418
T1=22.41
 OPT
f=229
TT=0.725
T1=1.16
 OPT
f=229
TT=0.426
T1=0.19
 OPT
f=229
TT=0.681
T1=0.65
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=229-Q=307.opb 		OPT
f=229
TT=0.022
T1=0.02
 OPT
f=229
TT=0.375
T1=0.37
 OPT
f=229
TT=0.448
T1=0.44
 OPT
f=229
TT=0.022
T1=0.02
 OPT
f=229
TT=2.539
T1=2.53
 OPT
f=229
TT=6.3
T1=6.29
 OPT
f=229
TT=19.802
T1=19.79
 OPT
f=229
TT=0.784
T1=0.66
 OPT
f=229
TT=0.405
T1=0.2
 OPT
f=229
TT=0.832
T1=0.77
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=233-Q=347.opb 		OPT
f=233
TT=0.02
T1=0.01
 OPT
f=233
TT=0.901
T1=0.9
 OPT
f=233
TT=0.918
T1=0.91
 OPT
f=233
TT=0.02
T1=0.01
 OPT
f=233
TT=2.535
T1=2.53
 OPT
f=233
TT=5.68
T1=5.66
 OPT
f=233
TT=18.299
T1=18.3
 OPT
f=233
TT=0.753
T1=0.66
 OPT
f=233
TT=0.394
T1=0.21
 OPT
f=233
TT=0.945
T1=0.87
Bench nameBest resultscdcl-cuttingplanes OPT binary search
2016-05-01
(complete)		cdcl-cuttingplanes OPT linear search
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=239-Q=373.opb 		OPT
f=239
TT=0.025
T1=0.02
 OPT
f=239
TT=0.22
T1=0.22
 OPT
f=239
TT=0.116
T1=0.11
 OPT
f=239
TT=0.025
T1=0.02
 OPT
f=239
TT=2.541
T1=2.54
 OPT
f=239
TT=4.713
T1=4.8
 OPT
f=239
TT=18.567
T1=18.56
 OPT
f=239
TT=0.623
T1=0.66
 OPT
f=239
TT=0.374
T1=0.21
 OPT
f=239
TT=1.062
T1=1
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=239-Q=487.opb 		OPT
f=239
TT=0.023
T1=0.02
 OPT
f=239
TT=0.061
T1=0.06
 OPT
f=239
TT=0.064
T1=0.06
 OPT
f=239
TT=0.023
T1=0.02
 OPT
f=239
TT=2.54
T1=2.53
 OPT
f=239
TT=3.512
T1=3.5
 OPT
f=239
TT=15.964
T1=15.96
 OPT
f=239
TT=0.614
T1=0.66
 OPT
f=239
TT=0.235
T1=0.16
 OPT
f=239
TT=1.142
T1=1.08
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=23-Q=293.opb 		OPT
f=23
TT=0.019
T1=0.01
 OPT
f=23
TT=0.056
T1=0.05
 OPT
f=23
TT=0.109
T1=0.11
 OPT
f=23
TT=0.019
T1=0.01
 OPT
f=23
TT=0.019
T1=0.01
 OPT
f=23
TT=2.513
T1=2.5
 OPT
f=23
TT=17.429
T1=17.42
 OPT
f=23
TT=0.354
T1=0.66
 OPT
f=23
TT=0.255
T1=0.16
 OPT
f=23
TT=0.155
T1=0.13
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=23-Q=379.opb 		OPT
f=23
TT=0.014
T1=0.01
 OPT
f=23
TT=0.045
T1=0.04
 OPT
f=23
TT=0.135
T1=0.14
 OPT
f=23
TT=0.019
T1=0.01
 OPT
f=23
TT=0.014
T1=0.01
 OPT
f=23
TT=2.766
T1=2.75
 OPT
f=23
TT=19.53
T1=19.52
 OPT
f=23
TT=0.293
T1=0.68
 OPT
f=23
TT=0.225
T1=0.15
 OPT
f=23
TT=0.154
T1=0.14
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=23-Q=521.opb 		UNSAT

TT=0.02

 UNSAT

TT=0.316

 UNSAT

TT=0.309

 UNSAT

TT=0.021

 UNSAT

TT=0.02

 UNSAT

TT=4.104

 UNSAT

TT=18.625

 UNSAT

TT=0.884

 UNSAT

TT=0.474

 UNSAT

TT=0.212
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=251-Q=277.opb 		OPT
f=251
TT=0.027
T1=0.03
 OPT
f=251
TT=0.228
T1=0.22
 OPT
f=251
TT=0.192
T1=0.19
 OPT
f=251
TT=0.027
T1=0.03
 OPT
f=251
TT=2.535
T1=2.53
 OPT
f=251
TT=6.23
T1=6.22
 OPT
f=251
TT=22.834
T1=22.82
 OPT
f=251
TT=0.704
T1=0.66
 OPT
f=251
TT=0.394
T1=0.19
 OPT
f=251
TT=0.807
T1=0.73
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=251-Q=307.opb 		OPT
f=251
TT=0.023
T1=0.02
 OPT
f=251
TT=0.437
T1=0.43
 OPT
f=251
TT=0.303
T1=0.3
 OPT
f=251
TT=0.023
T1=0.02
 OPT
f=251
TT=2.534
T1=2.53
 OPT
f=251
TT=6.55
T1=6.54
 OPT
f=251
TT=18.66
T1=18.65
 OPT
f=251
TT=0.733
T1=0.66
 OPT
f=251
TT=0.414
T1=0.22
 OPT
f=251
TT=0.76
T1=0.68
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=251-Q=331.opb 		OPT
f=251
TT=0.024
T1=0.02
 OPT
f=251
TT=0.486
T1=0.48
 OPT
f=251
TT=0.196
T1=0.19
 OPT
f=251
TT=0.024
T1=0.02
 OPT
f=251
TT=2.537
T1=2.53
 OPT
f=251
TT=5.4
T1=5.5
 OPT
f=251
TT=18.411
T1=18.4
 OPT
f=251
TT=0.733
T1=0.66
 OPT
f=251
TT=0.384
T1=0.2
 OPT
f=251
TT=0.862
T1=0.78
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=251-Q=379.opb 		OPT
f=251
TT=0.023
T1=0.02
 OPT
f=251
TT=0.366
T1=0.36
 OPT
f=251
TT=0.278
T1=0.27
 OPT
f=251
TT=0.023
T1=0.02
 OPT
f=251
TT=2.539
T1=2.53
 OPT
f=251
TT=6.76
T1=6.74
 OPT
f=251
TT=20.196
T1=20.19
 OPT
f=251
TT=0.643
T1=0.66
 OPT
f=251
TT=0.344
T1=0.18
 OPT
f=251
TT=0.962
T1=0.9
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=251-Q=419.opb 		OPT
f=251
TT=0.023
T1=0.02
 OPT
f=251
TT=0.103
T1=0.1
 OPT
f=251
TT=0.041
T1=0.04
 OPT
f=251
TT=0.023
T1=0.02
 OPT
f=251
TT=2.538
T1=2.53
 OPT
f=251
TT=4.238
T1=4.22
 OPT
f=251
TT=18.269
T1=18.26
 OPT
f=251
TT=0.543
T1=0.66
 OPT
f=251
TT=0.333
T1=0.19
 OPT
f=251
TT=1.053
T1=0.98
Bench nameBest resultscdcl-cuttingplanes OPT binary search
2016-05-01
(complete)		cdcl-cuttingplanes OPT linear search
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=257-Q=331.opb 		OPT
f=257
TT=0.021
T1=0.02
 OPT
f=257
TT=0.881
T1=0.88
 OPT
f=257
TT=0.525
T1=0.52
 OPT
f=257
TT=0.021
T1=0.02
 OPT
f=257
TT=2.537
T1=2.53
 OPT
f=257
TT=5.327
T1=5.31
 OPT
f=257
TT=19.274
T1=19.27
 OPT
f=257
TT=2.603
T1=0.66
 OPT
f=257
TT=0.395
T1=0.21
 OPT
f=257
TT=1.008
T1=0.9
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=257-Q=449.opb 		OPT
f=257
TT=0.019
T1=0.01
 OPT
f=257
TT=0.065
T1=0.06
 OPT
f=257
TT=0.106
T1=0.1
 OPT
f=257
TT=0.019
T1=0.01
 OPT
f=257
TT=2.54
T1=2.54
 OPT
f=257
TT=3.289
T1=3.27
 OPT
f=257
TT=17.148
T1=17.14
 OPT
f=257
TT=0.554
T1=1.16
 OPT
f=257
TT=0.345
T1=0.19
 OPT
f=257
TT=1.081
T1=1.01
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=257-Q=503.opb 		OPT
f=257
TT=0.019
T1=0.01
 OPT
f=257
TT=0.169
T1=0.17
 OPT
f=257
TT=0.022
T1=0.02
 OPT
f=257
TT=0.019
T1=0.01
 OPT
f=257
TT=2.534
T1=2.53
 OPT
f=257
TT=2.855
T1=2.84
 OPT
f=257
TT=16.714
T1=16.7
 OPT
f=257
TT=0.694
T1=1.16
 OPT
f=257
TT=0.314
T1=0.18
 OPT
f=257
TT=1.295
T1=1.34
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=263-Q=307.opb 		OPT
f=263
TT=0.022
T1=0.02
 OPT
f=263
TT=0.257
T1=0.25
 OPT
f=263
TT=0.285
T1=0.28
 OPT
f=263
TT=0.022
T1=0.02
 OPT
f=263
TT=2.54
T1=2.54
 OPT
f=263
TT=6.582
T1=6.57
 OPT
f=263
TT=20.319
T1=20.31
 OPT
f=263
TT=2.694
T1=0.66
 OPT
f=263
TT=0.485
T1=0.25
 OPT
f=263
TT=0.834
T1=0.74
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=263-Q=367.opb 		OPT
f=263
TT=0.02
T1=0.02
 OPT
f=263
TT=0.238
T1=0.23
 OPT
f=263
TT=0.253
T1=0.25
 OPT
f=263
TT=0.02
T1=0.02
 OPT
f=263
TT=2.537
T1=2.53
 OPT
f=263
TT=6.841
T1=6.83
 OPT
f=263
TT=22.29
T1=22.28
 OPT
f=263
TT=0.835
T1=0.67
 OPT
f=263
TT=0.453
T1=0.23
 OPT
f=263
TT=0.954
T1=0.86
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=269-Q=359.opb 		OPT
f=269
TT=0.02
T1=0.02
 OPT
f=269
TT=0.512
T1=0.51
 OPT
f=269
TT=0.252
T1=0.25
 OPT
f=269
TT=0.02
T1=0.02
 OPT
f=269
TT=2.538
T1=2.53
 OPT
f=269
TT=4.553
T1=4.54
 OPT
f=269
TT=18.095
T1=18.09
 OPT
f=269
TT=1.715
T1=1.16
 OPT
f=269
TT=0.445
T1=0.23
 OPT
f=269
TT=1.088
T1=1
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=269-Q=431.opb 		OPT
f=269
TT=0.019
T1=0.01
 OPT
f=269
TT=0.462
T1=0.46
 OPT
f=269
TT=0.567
T1=0.56
 OPT
f=269
TT=0.019
T1=0.01
 OPT
f=269
TT=2.535
T1=2.53
 OPT
f=269
TT=3.995
T1=3.98
 OPT
f=269
TT=17.915
T1=17.92
 OPT
f=269
TT=0.647
T1=1.16
 OPT
f=269
TT=0.405
T1=0.21
 OPT
f=269
TT=1.237
T1=1.16
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=269-Q=433.opb 		OPT
f=269
TT=0.022
T1=0.02
 OPT
f=269
TT=0.354
T1=0.35
 OPT
f=269
TT=0.102
T1=0.1
 OPT
f=269
TT=0.022
T1=0.02
 OPT
f=269
TT=2.531
T1=2.53
 OPT
f=269
TT=3.725
T1=3.71
 OPT
f=269
TT=18.769
T1=18.76
 OPT
f=269
TT=0.765
T1=0.67
 OPT
f=269
TT=0.334
T1=0.19
 OPT
f=269
TT=1.139
T1=1.07
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=281-Q=331.opb 		OPT
f=281
TT=0.02
T1=0.02
 OPT
f=281
TT=0.45
T1=0.45
 OPT
f=281
TT=0.322
T1=0.32
 OPT
f=281
TT=0.02
T1=0.02
 OPT
f=281
TT=2.538
T1=2.53
 OPT
f=281
TT=5.259
T1=5.24
 OPT
f=281
TT=19.077
T1=19.08
 OPT
f=281
TT=0.784
T1=0.66
 OPT
f=281
TT=0.395
T1=0.22
 OPT
f=281
TT=1.08
T1=0.99
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=281-Q=499.opb 		OPT
f=281
TT=0.018
T1=0.02
 OPT
f=281
TT=0.07
T1=0.07
 OPT
f=281
TT=0.066
T1=0.06
 OPT
f=281
TT=0.018
T1=0.02
 OPT
f=281
TT=2.535
T1=2.53
 OPT
f=281
TT=1.798
T1=1.78
 OPT
f=281
TT=14.255
T1=14.25
 OPT
f=281
TT=0.435
T1=0.67
 OPT
f=281
TT=0.224
T1=0.15
 OPT
f=281
TT=1.283
T1=1.22
Bench nameBest resultscdcl-cuttingplanes OPT binary search
2016-05-01
(complete)		cdcl-cuttingplanes OPT linear search
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=283-Q=293.opb 		OPT
f=283
TT=0.024
T1=0.02
 OPT
f=283
TT=0.733
T1=0.73
 OPT
f=283
TT=0.466
T1=0.46
 OPT
f=283
TT=0.024
T1=0.02
 OPT
f=283
TT=2.55
T1=2.55
 OPT
f=283
TT=5.079
T1=5.06
 OPT
f=283
TT=18.28
T1=18.27
 OPT
f=283
TT=3.215
T1=1.16
 OPT
f=283
TT=0.464
T1=0.24
 OPT
f=283
TT=0.98
T1=0.88
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=293-Q=307.opb 		OPT
f=293
TT=0.021
T1=0.02
 OPT
f=293
TT=0.416
T1=0.41
 OPT
f=293
TT=0.231
T1=0.23
 OPT
f=293
TT=0.021
T1=0.02
 OPT
f=293
TT=2.553
T1=2.55
 OPT
f=293
TT=5.693
T1=5.68
 OPT
f=293
TT=19.666
T1=19.66
 OPT
f=293
TT=0.825
T1=1.16
 OPT
f=293
TT=0.404
T1=0.21
 OPT
f=293
TT=1.043
T1=0.99
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=29-Q=163.opb 		OPT
f=29
TT=0.016
T1=0.01
 OPT
f=29
TT=0.115
T1=0.11
 OPT
f=29
TT=0.054
T1=0.05
 OPT
f=29
TT=0.016
T1=0.01
 OPT
f=29
TT=0.016
T1=0.02
 OPT
f=29
TT=2.661
T1=2.65
 OPT
f=29
TT=18.585
T1=18.58
 OPT
f=29
TT=0.414
T1=0.66
 OPT
f=29
TT=0.274
T1=0.16
 OPT
f=29
TT=0.086
T1=0.06
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=29-Q=277.opb 		OPT
f=29
TT=0.017
T1=0.01
 OPT
f=29
TT=0.158
T1=0.15
 OPT
f=29
TT=0.079
T1=0.07
 OPT
f=29
TT=0.02
T1=0.01
 OPT
f=29
TT=0.017
T1=0.01
 OPT
f=29
TT=2.421
T1=2.41
 OPT
f=29
TT=17.31
T1=17.31
 OPT
f=29
TT=0.434
T1=0.66
 OPT
f=29
TT=0.294
T1=0.17
 OPT
f=29
TT=0.133
T1=0.11
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=29-Q=331.opb 		OPT
f=29
TT=0.019
T1=0.01
 OPT
f=29
TT=0.217
T1=0.21
 OPT
f=29
TT=0.189
T1=0.2
 OPT
f=29
TT=0.019
T1=0.01
 OPT
f=29
TT=0.019
T1=0.02
 OPT
f=29
TT=4.2
T1=4.19
 OPT
f=29
TT=18.503
T1=18.5
 OPT
f=29
TT=0.434
T1=0.66
 OPT
f=29
TT=0.254
T1=0.16
 OPT
f=29
TT=0.156
T1=0.14
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=29-Q=409.opb 		OPT
f=29
TT=0.017
T1=0.01
 OPT
f=29
TT=0.069
T1=0.07
 OPT
f=29
TT=0.052
T1=0.05
 OPT
f=29
TT=0.017
T1=0.01
 OPT
f=29
TT=0.018
T1=0.02
 OPT
f=29
TT=2.448
T1=2.43
 OPT
f=29
TT=16.626
T1=16.62
 OPT
f=29
TT=0.545
T1=0.66
 OPT
f=29
TT=0.222
T1=0.16
 OPT
f=29
TT=0.127
T1=0.12
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=29-Q=479.opb 		OPT
f=29
TT=0.016
T1=0.01
 OPT
f=29
TT=0.169
T1=0.16
 OPT
f=29
TT=0.141
T1=0.14
 OPT
f=29
TT=0.016
T1=0.01
 OPT
f=29
TT=0.019
T1=0.02
 OPT
f=29
TT=3.037
T1=3.02
 OPT
f=29
TT=17.996
T1=18
 OPT
f=29
TT=0.254
T1=0.67
 OPT
f=29
TT=0.194
T1=0.15
 OPT
f=29
TT=0.202
T1=0.19
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=29-Q=521.opb 		UNSAT

TT=0.02

 UNSAT

TT=0.227

 UNSAT

TT=0.219

 UNSAT

TT=0.02

 UNSAT

TT=0.021

 UNSAT

TT=3.469

 UNSAT

TT=17.611

 UNSAT

TT=0.875

 UNSAT

TT=0.444

 UNSAT

TT=0.219
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=29-Q=71.opb 		OPT
f=29
TT=0.014
T1=0.01
 OPT
f=29
TT=0.125
T1=0.12
 OPT
f=29
TT=0.101
T1=0.1
 OPT
f=29
TT=0.016
T1=0.01
 OPT
f=29
TT=0.014
T1=0.01
 OPT
f=29
TT=3.052
T1=3.03
 OPT
f=29
TT=17.781
T1=17.77
 OPT
f=29
TT=0.534
T1=0.66
 OPT
f=29
TT=0.274
T1=0.16
 OPT
f=29
TT=0.065
T1=0.04
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=307-Q=307.opb 		OPT
f=307
TT=0.022
T1=0.02
 OPT
f=307
TT=0.099
T1=0.09
 OPT
f=307
TT=0.077
T1=0.07
 OPT
f=307
TT=0.022
T1=0.02
 OPT
f=307
TT=2.544
T1=2.54
 OPT
f=307
TT=5.813
T1=5.8
 OPT
f=307
TT=22.498
T1=22.49
 OPT
f=307
TT=0.865
T1=0.66
 OPT
f=307
TT=0.494
T1=0.25
 OPT
f=307
TT=0.949
T1=0.85
Bench nameBest resultscdcl-cuttingplanes OPT binary search
2016-05-01
(complete)		cdcl-cuttingplanes OPT linear search
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=307-Q=317.opb 		OPT
f=307
TT=0.021
T1=0.02
 OPT
f=307
TT=0.957
T1=0.95
 OPT
f=307
TT=0.717
T1=0.71
 OPT
f=307
TT=0.021
T1=0.02
 OPT
f=307
TT=2.547
T1=2.54
 OPT
f=307
TT=4.78
T1=4.77
 OPT
f=307
TT=17.403
T1=17.39
 OPT
f=307
TT=0.904
T1=0.68
 OPT
f=307
TT=0.474
T1=0.24
 OPT
f=307
TT=1.102
T1=1.01
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=307-Q=331.opb 		OPT
f=307
TT=0.021
T1=0.02
 OPT
f=307
TT=0.22
T1=0.21
 OPT
f=307
TT=0.076
T1=0.07
 OPT
f=307
TT=0.021
T1=0.02
 OPT
f=307
TT=2.539
T1=2.53
 OPT
f=307
TT=4.128
T1=4.11
 OPT
f=307
TT=16.358
T1=16.35
 OPT
f=307
TT=0.684
T1=0.66
 OPT
f=307
TT=0.404
T1=0.21
 OPT
f=307
TT=0.999
T1=0.9
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=307-Q=347.opb 		OPT
f=307
TT=0.026
T1=0.02
 OPT
f=307
TT=0.828
T1=0.82
 OPT
f=307
TT=0.81
T1=0.81
 OPT
f=307
TT=0.026
T1=0.02
 OPT
f=307
TT=2.536
T1=2.53
 OPT
f=307
TT=4.017
T1=4
 OPT
f=307
TT=17.7
T1=17.69
 OPT
f=307
TT=0.905
T1=1.19
 OPT
f=307
TT=0.434
T1=0.23
 OPT
f=307
TT=1.034
T1=0.94
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=307-Q=367.opb 		OPT
f=307
TT=0.021
T1=0.02
 OPT
f=307
TT=0.838
T1=0.84
 OPT
f=307
TT=0.252
T1=0.25
 OPT
f=307
TT=0.021
T1=0.02
 OPT
f=307
TT=2.539
T1=2.53
 OPT
f=307
TT=3.907
T1=3.89
 OPT
f=307
TT=19.846
T1=19.84
 OPT
f=307
TT=0.784
T1=1.16
 OPT
f=307
TT=0.456
T1=0.23
 OPT
f=307
TT=1.155
T1=1.07
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=307-Q=431.opb 		OPT
f=307
TT=0.023
T1=0.02
 OPT
f=307
TT=0.167
T1=0.16
 OPT
f=307
TT=0.163
T1=0.16
 OPT
f=307
TT=0.023
T1=0.02
 OPT
f=307
TT=2.548
T1=2.54
 OPT
f=307
TT=2.248
T1=2.23
 OPT
f=307
TT=15.76
T1=15.76
 OPT
f=307
TT=1.384
T1=0.66
 OPT
f=307
TT=0.305
T1=0.18
 OPT
f=307
TT=1.221
T1=1.16
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=307-Q=449.opb 		OPT
f=307
TT=0.021
T1=0.02
 OPT
f=307
TT=0.4
T1=0.4
 OPT
f=307
TT=0.276
T1=0.27
 OPT
f=307
TT=0.021
T1=0.02
 OPT
f=307
TT=2.536
T1=2.53
 OPT
f=307
TT=2.306
T1=2.29
 OPT
f=307
TT=16.299
T1=16.29
 OPT
f=307
TT=0.544
T1=0.66
 OPT
f=307
TT=0.292
T1=0.17
 OPT
f=307
TT=1.303
T1=1.24
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=313-Q=503.opb 		OPT
f=313
TT=0.019
T1=0.01
 OPT
f=313
TT=0.153
T1=0.15
 OPT
f=313
TT=0.116
T1=0.11
 OPT
f=313
TT=0.019
T1=0.01
 OPT
f=313
TT=2.541
T1=2.53
 OPT
f=313
TT=1.94
T1=1.93
 OPT
f=313
TT=14.968
T1=14.96
 OPT
f=313
TT=0.393
T1=0.66
 OPT
f=313
TT=0.224
T1=0.16
 OPT
f=313
TT=1.268
T1=1.21
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=317-Q=389.opb 		OPT
f=317
TT=0.021
T1=0.02
 OPT
f=317
TT=0.399
T1=0.39
 OPT
f=317
TT=0.213
T1=0.21
 OPT
f=317
TT=0.021
T1=0.02
 OPT
f=317
TT=2.539
T1=2.53
 OPT
f=317
TT=3.161
T1=3.15
 OPT
f=317
TT=18.172
T1=18.16
 OPT
f=317
TT=0.743
T1=1.16
 OPT
f=317
TT=0.374
T1=0.21
 OPT
f=317
TT=1.156
T1=1.07
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=31-Q=439.opb 		OPT
f=31
TT=0.022
T1=0.02
 OPT
f=31
TT=0.122
T1=0.12
 OPT
f=31
TT=0.099
T1=0.09
 OPT
f=31
TT=0.022
T1=0.02
 OPT
f=31
TT=0.024
T1=0.02
 OPT
f=31
TT=4.175
T1=4.16
 OPT
f=31
TT=17.966
T1=17.96
 OPT
f=31
TT=0.315
T1=0.66
 OPT
f=31
TT=0.225
T1=0.15
 OPT
f=31
TT=0.136
T1=0.12
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=331-Q=331.opb 		OPT
f=331
TT=0.023
T1=0.02
 OPT
f=331
TT=0.366
T1=0.36
 OPT
f=331
TT=0.159
T1=0.15
 OPT
f=331
TT=0.023
T1=0.02
 OPT
f=331
TT=2.542
T1=2.54
 OPT
f=331
TT=4.345
T1=4.33
 OPT
f=331
TT=19.956
T1=19.95
 OPT
f=331
TT=0.844
T1=0.66
 OPT
f=331
TT=0.404
T1=0.21
 OPT
f=331
TT=1.106
T1=1.03
Bench nameBest resultscdcl-cuttingplanes OPT binary search
2016-05-01
(complete)		cdcl-cuttingplanes OPT linear search
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=331-Q=347.opb 		OPT
f=331
TT=0.023
T1=0.02
 OPT
f=331
TT=0.729
T1=0.73
 OPT
f=331
TT=0.64
T1=0.63
 OPT
f=331
TT=0.023
T1=0.02
 OPT
f=331
TT=2.54
T1=2.53
 OPT
f=331
TT=4.268
T1=4.25
 OPT
f=331
TT=19.869
T1=19.87
 OPT
f=331
TT=0.825
T1=1.16
 OPT
f=331
TT=0.453
T1=0.21
 OPT
f=331
TT=1.119
T1=1.03
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=331-Q=359.opb 		OPT
f=331
TT=0.022
T1=0.02
 OPT
f=331
TT=0.42
T1=0.41
 OPT
f=331
TT=0.305
T1=0.3
 OPT
f=331
TT=0.022
T1=0.02
 OPT
f=331
TT=2.539
T1=2.53
 OPT
f=331
TT=2.839
T1=2.82
 OPT
f=331
TT=16.253
T1=16.24
 OPT
f=331
TT=0.763
T1=1.17
 OPT
f=331
TT=0.444
T1=0.22
 OPT
f=331
TT=1.179
T1=1.11
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=331-Q=379.opb 		OPT
f=331
TT=0.023
T1=0.02
 OPT
f=331
TT=0.171
T1=0.17
 OPT
f=331
TT=0.136
T1=0.13
 OPT
f=331
TT=0.023
T1=0.02
 OPT
f=331
TT=2.538
T1=2.53
 OPT
f=331
TT=3.356
T1=3.34
 OPT
f=331
TT=15.759
T1=15.75
 OPT
f=331
TT=0.744
T1=1.16
 OPT
f=331
TT=0.474
T1=0.24
 OPT
f=331
TT=1.191
T1=1.12
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=331-Q=389.opb 		OPT
f=331
TT=0.022
T1=0.02
 OPT
f=331
TT=0.4
T1=0.4
 OPT
f=331
TT=0.354
T1=0.35
 OPT
f=331
TT=0.022
T1=0.02
 OPT
f=331
TT=2.536
T1=2.53
 OPT
f=331
TT=4.598
T1=4.58
 OPT
f=331
TT=19.442
T1=19.43
 OPT
f=331
TT=1.775
T1=1.17
 OPT
f=331
TT=0.473
T1=0.24
 OPT
f=331
TT=1.331
T1=1.25
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=331-Q=479.opb 		OPT
f=331
TT=0.021
T1=0.02
 OPT
f=331
TT=0.067
T1=0.06
 OPT
f=331
TT=0.031
T1=0.03
 OPT
f=331
TT=0.021
T1=0.02
 OPT
f=331
TT=2.533
T1=2.53
 OPT
f=331
TT=2.085
T1=2.07
 OPT
f=331
TT=14.639
T1=14.63
 OPT
f=331
TT=0.604
T1=0.66
 OPT
f=331
TT=0.324
T1=0.18
 OPT
f=331
TT=1.197
T1=1.13
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=347-Q=379.opb 		OPT
f=347
TT=0.022
T1=0.02
 OPT
f=347
TT=0.126
T1=0.12
 OPT
f=347
TT=0.06
T1=0.06
 OPT
f=347
TT=0.022
T1=0.02
 OPT
f=347
TT=2.542
T1=2.54
 OPT
f=347
TT=2.564
T1=2.55
 OPT
f=347
TT=16.577
T1=16.57
 OPT
f=347
TT=1.863
T1=0.67
 OPT
f=347
TT=0.354
T1=0.21
 OPT
f=347
TT=1.222
T1=1.16
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=347-Q=419.opb 		OPT
f=347
TT=0.023
T1=0.02
 OPT
f=347
TT=0.187
T1=0.18
 OPT
f=347
TT=0.154
T1=0.15
 OPT
f=347
TT=0.023
T1=0.02
 OPT
f=347
TT=2.543
T1=2.54
 OPT
f=347
TT=3.073
T1=3.06
 OPT
f=347
TT=16.15
T1=16.14
 OPT
f=347
TT=0.633
T1=0.66
 OPT
f=347
TT=0.344
T1=0.2
 OPT
f=347
TT=1.175
T1=1.1
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=347-Q=421.opb 		OPT
f=347
TT=0.023
T1=0.02
 OPT
f=347
TT=0.077
T1=0.07
 OPT
f=347
TT=0.053
T1=0.05
 OPT
f=347
TT=0.023
T1=0.02
 OPT
f=347
TT=2.539
T1=2.53
 OPT
f=347
TT=2.482
T1=2.47
 OPT
f=347
TT=15.881
T1=15.87
 OPT
f=347
TT=0.715
T1=0.66
 OPT
f=347
TT=0.334
T1=0.19
 OPT
f=347
TT=1.299
T1=1.23
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=347-Q=431.opb 		OPT
f=347
TT=0.023
T1=0.02
 OPT
f=347
TT=0.181
T1=0.18
 OPT
f=347
TT=0.132
T1=0.13
 OPT
f=347
TT=0.023
T1=0.02
 OPT
f=347
TT=2.538
T1=2.54
 OPT
f=347
TT=2.415
T1=2.4
 OPT
f=347
TT=15.81
T1=15.8
 OPT
f=347
TT=0.583
T1=0.66
 OPT
f=347
TT=0.344
T1=0.19
 OPT
f=347
TT=1.214
T1=1.14
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=347-Q=439.opb 		OPT
f=347
TT=0.02
T1=0.01
 OPT
f=347
TT=0.283
T1=0.28
 OPT
f=347
TT=0.243
T1=0.24
 OPT
f=347
TT=0.02
T1=0.01
 OPT
f=347
TT=2.537
T1=2.53
 OPT
f=347
TT=2.236
T1=2.22
 OPT
f=347
TT=15.604
T1=15.59
 OPT
f=347
TT=0.564
T1=0.66
 OPT
f=347
TT=0.335
T1=0.18
 OPT
f=347
TT=1.213
T1=1.15
Bench nameBest resultscdcl-cuttingplanes OPT binary search
2016-05-01
(complete)		cdcl-cuttingplanes OPT linear search
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=347-Q=487.opb 		OPT
f=347
TT=0.022
T1=0.02
 OPT
f=347
TT=0.071
T1=0.07
 OPT
f=347
TT=0.04
T1=0.04
 OPT
f=347
TT=0.022
T1=0.02
 OPT
f=347
TT=2.534
T1=2.53
 OPT
f=347
TT=2.321
T1=2.31
 OPT
f=347
TT=15.778
T1=15.77
 OPT
f=347
TT=0.764
T1=0.66
 OPT
f=347
TT=0.235
T1=0.16
 OPT
f=347
TT=0.969
T1=1.13
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=353-Q=479.opb 		OPT
f=353
TT=0.018
T1=0.01
 OPT
f=353
TT=0.054
T1=0.05
 OPT
f=353
TT=0.026
T1=0.02
 OPT
f=353
TT=0.018
T1=0.01
 OPT
f=353
TT=2.536
T1=2.53
 OPT
f=353
TT=2.431
T1=2.42
 OPT
f=353
TT=15.515
T1=15.5
 OPT
f=353
TT=0.494
T1=0.66
 OPT
f=353
TT=0.274
T1=0.17
 OPT
f=353
TT=1.064
T1=1.12
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=359-Q=379.opb 		OPT
f=359
TT=0.023
T1=0.02
 OPT
f=359
TT=0.267
T1=0.26
 OPT
f=359
TT=0.179
T1=0.18
 OPT
f=359
TT=0.023
T1=0.02
 OPT
f=359
TT=2.541
T1=2.54
 OPT
f=359
TT=2.829
T1=2.81
 OPT
f=359
TT=16.803
T1=16.8
 OPT
f=359
TT=0.694
T1=1.16
 OPT
f=359
TT=0.375
T1=0.21
 OPT
f=359
TT=1.232
T1=1.17
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=367-Q=389.opb 		OPT
f=367
TT=0.022
T1=0.02
 OPT
f=367
TT=0.241
T1=0.24
 OPT
f=367
TT=0.105
T1=0.1
 OPT
f=367
TT=0.022
T1=0.02
 OPT
f=367
TT=2.54
T1=2.53
 OPT
f=367
TT=2.613
T1=2.6
 OPT
f=367
TT=15.796
T1=15.78
 OPT
f=367
TT=0.664
T1=0.66
 OPT
f=367
TT=0.382
T1=0.21
 OPT
f=367
TT=1.317
T1=1.24
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=379-Q=397.opb 		OPT
f=379
TT=0.022
T1=0.02
 OPT
f=379
TT=0.199
T1=0.19
 OPT
f=379
TT=0.107
T1=0.1
 OPT
f=379
TT=0.022
T1=0.02
 OPT
f=379
TT=2.536
T1=2.53
 OPT
f=379
TT=2.623
T1=2.61
 OPT
f=379
TT=16.666
T1=16.65
 OPT
f=379
TT=0.615
T1=0.67
 OPT
f=379
TT=0.354
T1=0.18
 OPT
f=379
TT=1.295
T1=1.22
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=379-Q=431.opb 		OPT
f=379
TT=0.022
T1=0.02
 OPT
f=379
TT=0.316
T1=0.31
 OPT
f=379
TT=0.163
T1=0.16
 OPT
f=379
TT=0.022
T1=0.02
 OPT
f=379
TT=2.551
T1=2.55
 OPT
f=379
TT=3.408
T1=3.39
 OPT
f=379
TT=17.177
T1=17.16
 OPT
f=379
TT=0.634
T1=0.66
 OPT
f=379
TT=0.325
T1=0.2
 OPT
f=379
TT=1.204
T1=1.14
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=379-Q=521.opb 		UNSAT

TT=0.017

 UNSAT

TT=0.089

 UNSAT

TT=0.083

 UNSAT

TT=0.019

 UNSAT

TT=0.017

 UNSAT

TT=2.031

 UNSAT

TT=10.976

 UNSAT

TT=0.764

 UNSAT

TT=0.374

 UNSAT

TT=0.714
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=37-Q=107.opb 		OPT
f=37
TT=0.015
T1=0.01
 OPT
f=37
TT=0.074
T1=0.07
 OPT
f=37
TT=0.042
T1=0.04
 OPT
f=37
TT=0.016
T1=0.01
 OPT
f=37
TT=0.015
T1=0.01
 OPT
f=37
TT=3.002
T1=2.99
 OPT
f=37
TT=16.75
T1=16.74
 OPT
f=37
TT=0.524
T1=0.66
 OPT
f=37
TT=0.274
T1=0.17
 OPT
f=37
TT=0.1
T1=0.08
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=37-Q=443.opb 		OPT
f=37
TT=0.015
T1=0.01
 OPT
f=37
TT=0.33
T1=0.33
 OPT
f=37
TT=0.105
T1=0.1
 OPT
f=37
TT=0.019
T1=0.01
 OPT
f=37
TT=0.015
T1=0.01
 OPT
f=37
TT=5.125
T1=5.11
 OPT
f=37
TT=19.827
T1=19.82
 OPT
f=37
TT=0.314
T1=0.66
 OPT
f=37
TT=0.224
T1=0.15
 OPT
f=37
TT=0.248
T1=0.23
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=383-Q=509.opb 		OPT
f=383
TT=0.019
T1=0.01
 OPT
f=383
TT=0.076
T1=0.07
 OPT
f=383
TT=0.078
T1=0.07
 OPT
f=383
TT=0.019
T1=0.01
 OPT
f=383
TT=2.53
T1=2.52
 OPT
f=383
TT=2.232
T1=2.22
 OPT
f=383
TT=15.583
T1=15.57
 OPT
f=383
TT=0.215
T1=0.66
 OPT
f=383
TT=0.193
T1=0.15
 OPT
f=383
TT=0.708
T1=0.66
Bench nameBest resultscdcl-cuttingplanes OPT binary search
2016-05-01
(complete)		cdcl-cuttingplanes OPT linear search
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=383-Q=521.opb 		UNSAT

TT=0.019

 UNSAT

TT=0.128

 UNSAT

TT=0.127

 UNSAT

TT=0.019

 UNSAT

TT=0.021

 UNSAT

TT=2.177

 UNSAT

TT=10.934

 UNSAT

TT=0.824

 UNSAT

TT=0.375

 UNSAT

TT=0.715
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=389-Q=433.opb 		OPT
f=389
TT=0.021
T1=0.02
 OPT
f=389
TT=0.165
T1=0.16
 OPT
f=389
TT=0.102
T1=0.1
 OPT
f=389
TT=0.021
T1=0.02
 OPT
f=389
TT=2.542
T1=2.54
 OPT
f=389
TT=2.627
T1=2.61
 OPT
f=389
TT=15.065
T1=15.05
 OPT
f=389
TT=0.694
T1=1.17
 OPT
f=389
TT=0.354
T1=0.19
 OPT
f=389
TT=0.987
T1=0.91
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=397-Q=449.opb 		OPT
f=397
TT=0.019
T1=0.01
 OPT
f=397
TT=0.111
T1=0.11
 OPT
f=397
TT=0.103
T1=0.1
 OPT
f=397
TT=0.019
T1=0.01
 OPT
f=397
TT=2.536
T1=2.53
 OPT
f=397
TT=2.296
T1=2.28
 OPT
f=397
TT=14.75
T1=14.74
 OPT
f=397
TT=1.833
T1=1.16
 OPT
f=397
TT=0.334
T1=0.19
 OPT
f=397
TT=0.975
T1=0.91
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=397-Q=521.opb 		UNSAT

TT=0.017

 UNSAT

TT=0.124

 UNSAT

TT=0.119

 UNSAT

TT=0.018

 UNSAT

TT=0.017

 UNSAT

TT=1.893

 UNSAT

TT=10.739

 UNSAT

TT=0.653

 UNSAT

TT=0.353

 UNSAT

TT=0.647
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=409-Q=499.opb 		OPT
f=409
TT=0.016
T1=0.01
 OPT
f=409
TT=0.044
T1=0.04
 OPT
f=409
TT=0.027
T1=0.02
 OPT
f=409
TT=0.019
T1=0.01
 OPT
f=409
TT=0.016
T1=0.01
 OPT
f=409
TT=1.942
T1=1.93
 OPT
f=409
TT=14.948
T1=14.94
 OPT
f=409
TT=0.345
T1=0.66
 OPT
f=409
TT=0.233
T1=0.16
 OPT
f=409
TT=0.711
T1=0.66
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=409-Q=509.opb 		OPT
f=409
TT=0.016
T1=0.01
 OPT
f=409
TT=0.056
T1=0.05
 OPT
f=409
TT=0.022
T1=0.02
 OPT
f=409
TT=0.017
T1=0.01
 OPT
f=409
TT=0.016
T1=0.01
 OPT
f=409
TT=1.778
T1=1.76
 OPT
f=409
TT=14.729
T1=14.72
 OPT
f=409
TT=0.256
T1=0.66
 OPT
f=409
TT=0.204
T1=0.15
 OPT
f=409
TT=0.616
T1=0.68
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=41-Q=347.opb 		OPT
f=41
TT=0.019
T1=0.01
 OPT
f=41
TT=0.24
T1=0.24
 OPT
f=41
TT=0.232
T1=0.23
 OPT
f=41
TT=0.019
T1=0.01
 OPT
f=41
TT=0.021
T1=0.02
 OPT
f=41
TT=3.194
T1=3.18
 OPT
f=41
TT=18.845
T1=18.84
 OPT
f=41
TT=0.554
T1=0.66
 OPT
f=41
TT=0.294
T1=0.17
 OPT
f=41
TT=0.234
T1=0.21
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=421-Q=449.opb 		OPT
f=421
TT=0.02
T1=0.01
 OPT
f=421
TT=0.092
T1=0.09
 OPT
f=421
TT=0.077
T1=0.07
 OPT
f=421
TT=0.02
T1=0.01
 OPT
f=421
TT=2.54
T1=2.54
 OPT
f=421
TT=2.526
T1=2.51
 OPT
f=421
TT=14.999
T1=14.99
 OPT
f=421
TT=0.803
T1=1.17
 OPT
f=421
TT=0.436
T1=0.23
 OPT
f=421
TT=0.734
T1=0.66
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=421-Q=487.opb 		OPT
f=421
TT=0.017
T1=0.01
 OPT
f=421
TT=0.104
T1=0.1
 OPT
f=421
TT=0.065
T1=0.06
 OPT
f=421
TT=0.02
T1=0.02
 OPT
f=421
TT=0.017
T1=0.01
 OPT
f=421
TT=1.787
T1=1.77
 OPT
f=421
TT=14.284
T1=14.28
 OPT
f=421
TT=1.504
T1=0.66
 OPT
f=421
TT=0.295
T1=0.18
 OPT
f=421
TT=0.695
T1=0.65
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=431-Q=503.opb 		OPT
f=431
TT=0.017
T1=0.01
 OPT
f=431
TT=0.059
T1=0.06
 OPT
f=431
TT=0.046
T1=0.04
 OPT
f=431
TT=0.02
T1=0.01
 OPT
f=431
TT=0.017
T1=0.01
 OPT
f=431
TT=1.74
T1=1.72
 OPT
f=431
TT=14.348
T1=14.34
 OPT
f=431
TT=0.494
T1=0.66
 OPT
f=431
TT=0.225
T1=0.15
 OPT
f=431
TT=0.438
T1=0.4
Bench nameBest resultscdcl-cuttingplanes OPT binary search
2016-05-01
(complete)		cdcl-cuttingplanes OPT linear search
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=439-Q=509.opb 		OPT
f=439
TT=0.018
T1=0.01
 OPT
f=439
TT=0.086
T1=0.08
 OPT
f=439
TT=0.062
T1=0.06
 OPT
f=439
TT=0.019
T1=0.01
 OPT
f=439
TT=0.018
T1=0.01
 OPT
f=439
TT=1.818
T1=1.8
 OPT
f=439
TT=14.218
T1=14.21
 OPT
f=439
TT=0.244
T1=0.66
 OPT
f=439
TT=0.194
T1=0.15
 OPT
f=439
TT=0.4
T1=0.37
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=43-Q=227.opb 		OPT
f=43
TT=0.02
T1=0.02
 OPT
f=43
TT=0.164
T1=0.16
 OPT
f=43
TT=0.059
T1=0.06
 OPT
f=43
TT=0.02
T1=0.02
 OPT
f=43
TT=0.021
T1=0.02
 OPT
f=43
TT=3.174
T1=3.16
 OPT
f=43
TT=17.543
T1=17.54
 OPT
f=43
TT=0.594
T1=0.66
 OPT
f=43
TT=0.334
T1=0.18
 OPT
f=43
TT=0.159
T1=0.14
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=443-Q=487.opb 		OPT
f=443
TT=0.018
T1=0.01
 OPT
f=443
TT=0.044
T1=0.04
 OPT
f=443
TT=0.032
T1=0.03
 OPT
f=443
TT=0.018
T1=0.01
 OPT
f=443
TT=0.018
T1=0.01
 OPT
f=443
TT=1.801
T1=1.78
 OPT
f=443
TT=14.211
T1=14.2
 OPT
f=443
TT=0.413
T1=0.66
 OPT
f=443
TT=0.242
T1=0.17
 OPT
f=443
TT=0.457
T1=0.42
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=449-Q=479.opb 		OPT
f=449
TT=0.018
T1=0.01
 OPT
f=449
TT=0.084
T1=0.08
 OPT
f=449
TT=0.077
T1=0.07
 OPT
f=449
TT=0.018
T1=0.01
 OPT
f=449
TT=0.018
T1=0.01
 OPT
f=449
TT=1.81
T1=1.79
 OPT
f=449
TT=14.863
T1=14.85
 OPT
f=449
TT=1.664
T1=1.16
 OPT
f=449
TT=0.305
T1=0.18
 OPT
f=449
TT=0.513
T1=0.48
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=47-Q=197.opb 		OPT
f=47
TT=0.019
T1=0.01
 OPT
f=47
TT=0.116
T1=0.11
 OPT
f=47
TT=0.106
T1=0.1
 OPT
f=47
TT=0.021
T1=0.02
 OPT
f=47
TT=0.019
T1=0.01
 OPT
f=47
TT=5.664
T1=5.65
 OPT
f=47
TT=19.372
T1=19.36
 OPT
f=47
TT=0.535
T1=0.66
 OPT
f=47
TT=0.323
T1=0.19
 OPT
f=47
TT=0.15
T1=0.12
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=47-Q=421.opb 		OPT
f=47
TT=0.021
T1=0.02
 OPT
f=47
TT=0.214
T1=0.21
 OPT
f=47
TT=0.192
T1=0.19
 OPT
f=47
TT=0.021
T1=0.02
 OPT
f=47
TT=0.027
T1=0.02
 OPT
f=47
TT=2.987
T1=2.97
 OPT
f=47
TT=17.698
T1=17.69
 OPT
f=47
TT=0.463
T1=0.66
 OPT
f=47
TT=0.274
T1=0.17
 OPT
f=47
TT=0.258
T1=0.24
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=47-Q=487.opb 		OPT
f=47
TT=0.02
T1=0.02
 OPT
f=47
TT=0.059
T1=0.06
 OPT
f=47
TT=0.202
T1=0.2
 OPT
f=47
TT=0.02
T1=0.02
 OPT
f=47
TT=0.025
T1=0.02
 OPT
f=47
TT=3.276
T1=3.26
 OPT
f=47
TT=17.285
T1=17.28
 OPT
f=47
TT=0.345
T1=0.66
 OPT
f=47
TT=0.233
T1=0.17
 OPT
f=47
TT=0.261
T1=0.24
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=47-Q=71.opb 		OPT
f=47
TT=0.018
T1=0.01
 OPT
f=47
TT=0.095
T1=0.09
 OPT
f=47
TT=0.063
T1=0.06
 OPT
f=47
TT=0.018
T1=0.01
 OPT
f=47
TT=0.019
T1=0.01
 OPT
f=47
TT=3.044
T1=3.03
 OPT
f=47
TT=17.557
T1=17.55
 OPT
f=47
TT=0.585
T1=1.02
 OPT
f=47
TT=0.324
T1=0.19
 OPT
f=47
TT=0.081
T1=0.06
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=487-Q=499.opb 		OPT
f=487
TT=0.016
T1=0.01
 OPT
f=487
TT=0.041
T1=0.04
 OPT
f=487
TT=0.024
T1=0.02
 OPT
f=487
TT=0.018
T1=0.01
 OPT
f=487
TT=0.016
T1=0.01
 OPT
f=487
TT=1.676
T1=1.66
 OPT
f=487
TT=14.5
T1=14.49
 OPT
f=487
TT=0.394
T1=1.16
 OPT
f=487
TT=0.245
T1=0.16
 OPT
f=487
TT=0.185
T1=0.16
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=487-Q=503.opb 		OPT
f=487
TT=0.016
T1=0.01
 OPT
f=487
TT=0.035
T1=0.03
 OPT
f=487
TT=0.024
T1=0.02
 OPT
f=487
TT=0.019
T1=0.01
 OPT
f=487
TT=0.016
T1=0.01
 OPT
f=487
TT=1.653
T1=1.64
 OPT
f=487
TT=14.271
T1=14.26
 OPT
f=487
TT=0.303
T1=0.66
 OPT
f=487
TT=0.224
T1=0.15
 OPT
f=487
TT=0.146
T1=0.13
Bench nameBest resultscdcl-cuttingplanes OPT binary search
2016-05-01
(complete)		cdcl-cuttingplanes OPT linear search
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=53-Q=127.opb 		OPT
f=53
TT=0.017
T1=0.01
 OPT
f=53
TT=0.148
T1=0.14
 OPT
f=53
TT=0.108
T1=0.1
 OPT
f=53
TT=0.017
T1=0.01
 OPT
f=53
TT=0.02
T1=0.02
 OPT
f=53
TT=3.265
T1=3.25
 OPT
f=53
TT=17.3
T1=17.29
 OPT
f=53
TT=2.683
T1=0.68
 OPT
f=53
TT=0.304
T1=0.17
 OPT
f=53
TT=0.145
T1=0.11
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=53-Q=151.opb 		OPT
f=53
TT=0.017
T1=0.01
 OPT
f=53
TT=0.081
T1=0.08
 OPT
f=53
TT=0.065
T1=0.06
 OPT
f=53
TT=0.018
T1=0.01
 OPT
f=53
TT=0.017
T1=0.01
 OPT
f=53
TT=3.278
T1=3.26
 OPT
f=53
TT=18.019
T1=18.01
 OPT
f=53
TT=0.535
T1=0.66
 OPT
f=53
TT=0.324
T1=0.18
 OPT
f=53
TT=0.153
T1=0.13
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=53-Q=191.opb 		OPT
f=53
TT=0.018
T1=0.01
 OPT
f=53
TT=0.16
T1=0.15
 OPT
f=53
TT=0.118
T1=0.11
 OPT
f=53
TT=0.018
T1=0.01
 OPT
f=53
TT=0.019
T1=0.01
 OPT
f=53
TT=4.959
T1=4.94
 OPT
f=53
TT=20.169
T1=20.16
 OPT
f=53
TT=2.124
T1=0.66
 OPT
f=53
TT=0.305
T1=0.18
 OPT
f=53
TT=0.155
T1=0.12
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=53-Q=97.opb 		OPT
f=53
TT=0.02
T1=0.02
 OPT
f=53
TT=0.193
T1=0.19
 OPT
f=53
TT=0.067
T1=0.06
 OPT
f=53
TT=0.02
T1=0.02
 OPT
f=53
TT=0.024
T1=0.02
 OPT
f=53
TT=3.096
T1=3.08
 OPT
f=53
TT=17.309
T1=17.3
 OPT
f=53
TT=0.585
T1=0.66
 OPT
f=53
TT=0.334
T1=0.19
 OPT
f=53
TT=0.093
T1=0.06
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=59-Q=131.opb 		OPT
f=59
TT=0.019
T1=0.02
 OPT
f=59
TT=0.144
T1=0.14
 OPT
f=59
TT=0.114
T1=0.11
 OPT
f=59
TT=0.02
T1=0.02
 OPT
f=59
TT=0.019
T1=0.02
 OPT
f=59
TT=3.096
T1=3.08
 OPT
f=59
TT=17.466
T1=17.46
 OPT
f=59
TT=0.615
T1=0.66
 OPT
f=59
TT=0.324
T1=0.19
 OPT
f=59
TT=0.121
T1=0.1
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=59-Q=307.opb 		OPT
f=59
TT=0.023
T1=0.02
 OPT
f=59
TT=0.102
T1=0.1
 OPT
f=59
TT=0.078
T1=0.07
 OPT
f=59
TT=0.023
T1=0.02
 OPT
f=59
TT=0.024
T1=0.02
 OPT
f=59
TT=3.885
T1=3.87
 OPT
f=59
TT=19.45
T1=19.44
 OPT
f=59
TT=0.495
T1=0.66
 OPT
f=59
TT=0.275
T1=0.17
 OPT
f=59
TT=0.193
T1=0.16
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=59-Q=337.opb 		OPT
f=59
TT=0.021
T1=0.02
 OPT
f=59
TT=0.337
T1=0.33
 OPT
f=59
TT=0.267
T1=0.26
 OPT
f=59
TT=0.026
T1=0.02
 OPT
f=59
TT=0.021
T1=0.02
 OPT
f=59
TT=3.619
T1=3.61
 OPT
f=59
TT=17.6
T1=17.59
 OPT
f=59
TT=2.054
T1=0.66
 OPT
f=59
TT=0.324
T1=0.19
 OPT
f=59
TT=0.267
T1=0.25
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=59-Q=419.opb 		OPT
f=59
TT=0.022
T1=0.02
 OPT
f=59
TT=0.049
T1=0.04
 OPT
f=59
TT=0.031
T1=0.03
 OPT
f=59
TT=0.022
T1=0.02
 OPT
f=59
TT=0.025
T1=0.02
 OPT
f=59
TT=2.804
T1=2.79
 OPT
f=59
TT=16.642
T1=16.63
 OPT
f=59
TT=0.384
T1=0.67
 OPT
f=59
TT=0.244
T1=0.16
 OPT
f=59
TT=0.272
T1=0.25
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=59-Q=431.opb 		OPT
f=59
TT=0.022
T1=0.02
 OPT
f=59
TT=0.048
T1=0.04
 OPT
f=59
TT=0.026
T1=0.02
 OPT
f=59
TT=0.022
T1=0.02
 OPT
f=59
TT=0.027
T1=0.02
 OPT
f=59
TT=3.392
T1=3.38
 OPT
f=59
TT=18.48
T1=18.47
 OPT
f=59
TT=1.214
T1=0.66
 OPT
f=59
TT=0.234
T1=0.16
 OPT
f=59
TT=0.262
T1=0.23
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=5-Q=317.opb 		OPT
f=5
TT=0.013
T1=0.01
 OPT
f=5
TT=0.098
T1=0.09
 OPT
f=5
TT=0.079
T1=0.07
 OPT
f=5
TT=0.013
T1=0.01
 OPT
f=5
TT=0.013
T1=0.01
 OPT
f=5
TT=2.064
T1=2.05
 OPT
f=5
TT=15.816
T1=15.81
 OPT
f=5
TT=0.224
T1=0.66
 OPT
f=5
TT=0.204
T1=0.15
 OPT
f=5
TT=0.078
T1=0.07
Bench nameBest resultscdcl-cuttingplanes OPT binary search
2016-05-01
(complete)		cdcl-cuttingplanes OPT linear search
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=61-Q=163.opb 		OPT
f=61
TT=0.018
T1=0.01
 OPT
f=61
TT=0.09
T1=0.09
 OPT
f=61
TT=0.052
T1=0.05
 OPT
f=61
TT=0.019
T1=0.01
 OPT
f=61
TT=0.018
T1=0.01
 OPT
f=61
TT=4.009
T1=3.99
 OPT
f=61
TT=21.09
T1=21.08
 OPT
f=61
TT=0.575
T1=0.66
 OPT
f=61
TT=0.324
T1=0.18
 OPT
f=61
TT=0.178
T1=0.16
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=61-Q=307.opb 		OPT
f=61
TT=0.019
T1=0.01
 OPT
f=61
TT=0.54
T1=0.54
 OPT
f=61
TT=0.471
T1=0.47
 OPT
f=61
TT=0.019
T1=0.01
 OPT
f=61
TT=0.022
T1=0.02
 OPT
f=61
TT=3.934
T1=3.92
 OPT
f=61
TT=18.814
T1=18.81
 OPT
f=61
TT=0.504
T1=0.66
 OPT
f=61
TT=0.274
T1=0.17
 OPT
f=61
TT=0.21
T1=0.18
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=61-Q=419.opb 		OPT
f=61
TT=0.02
T1=0.02
 OPT
f=61
TT=0.165
T1=0.16
 OPT
f=61
TT=0.172
T1=0.17
 OPT
f=61
TT=0.02
T1=0.02
 OPT
f=61
TT=0.028
T1=0.02
 OPT
f=61
TT=3.407
T1=3.39
 OPT
f=61
TT=17.45
T1=17.44
 OPT
f=61
TT=0.494
T1=0.66
 OPT
f=61
TT=0.262
T1=0.17
 OPT
f=61
TT=0.306
T1=0.27
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=67-Q=191.opb 		OPT
f=67
TT=0.017
T1=0.01
 OPT
f=67
TT=0.136
T1=0.13
 OPT
f=67
TT=0.111
T1=0.11
 OPT
f=67
TT=0.02
T1=0.02
 OPT
f=67
TT=0.017
T1=0.01
 OPT
f=67
TT=5.083
T1=5.07
 OPT
f=67
TT=20.314
T1=20.31
 OPT
f=67
TT=0.644
T1=0.66
 OPT
f=67
TT=0.354
T1=0.2
 OPT
f=67
TT=0.159
T1=0.12
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=67-Q=223.opb 		OPT
f=67
TT=0.017
T1=0.01
 OPT
f=67
TT=0.193
T1=0.19
 OPT
f=67
TT=0.095
T1=0.09
 OPT
f=67
TT=0.022
T1=0.02
 OPT
f=67
TT=0.017
T1=0.01
 OPT
f=67
TT=5.315
T1=5.3
 OPT
f=67
TT=20.32
T1=20.32
 OPT
f=67
TT=2.858
T1=0.67
 OPT
f=67
TT=0.314
T1=0.19
 OPT
f=67
TT=0.206
T1=0.18
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=71-Q=409.opb 		OPT
f=71
TT=0.018
T1=0.01
 OPT
f=71
TT=0.112
T1=0.11
 OPT
f=71
TT=0.185
T1=0.18
 OPT
f=71
TT=0.022
T1=0.02
 OPT
f=71
TT=0.018
T1=0.01
 OPT
f=71
TT=3.056
T1=3.04
 OPT
f=71
TT=17.048
T1=17.04
 OPT
f=71
TT=0.604
T1=0.66
 OPT
f=71
TT=0.324
T1=0.19
 OPT
f=71
TT=0.359
T1=0.32
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=71-Q=461.opb 		OPT
f=71
TT=0.018
T1=0.01
 OPT
f=71
TT=0.257
T1=0.25
 OPT
f=71
TT=0.344
T1=0.34
 OPT
f=71
TT=0.021
T1=0.02
 OPT
f=71
TT=0.018
T1=0.01
 OPT
f=71
TT=4.344
T1=4.33
 OPT
f=71
TT=17.671
T1=17.67
 OPT
f=71
TT=0.414
T1=0.67
 OPT
f=71
TT=0.224
T1=0.15
 OPT
f=71
TT=0.343
T1=0.31
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=71-Q=491.opb 		OPT
f=71
TT=0.024
T1=0.02
 OPT
f=71
TT=0.385
T1=0.38
 OPT
f=71
TT=0.35
T1=0.35
 OPT
f=71
TT=0.024
T1=0.02
 OPT
f=71
TT=0.027
T1=0.02
 OPT
f=71
TT=3.281
T1=3.27
 OPT
f=71
TT=18.063
T1=18.05
 OPT
f=71
TT=0.354
T1=0.66
 OPT
f=71
TT=0.213
T1=0.14
 OPT
f=71
TT=0.324
T1=0.3
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=73-Q=449.opb 		OPT
f=73
TT=0.02
T1=0.02
 OPT
f=73
TT=0.152
T1=0.15
 OPT
f=73
TT=0.152
T1=0.15
 OPT
f=73
TT=0.02
T1=0.08
 OPT
f=73
TT=0.021
T1=0.02
 OPT
f=73
TT=4.736
T1=4.72
 OPT
f=73
TT=18.765
T1=18.76
 OPT
f=73
TT=0.523
T1=0.66
 OPT
f=73
TT=0.242
T1=0.16
 OPT
f=73
TT=0.286
T1=0.26
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=79-Q=137.opb 		OPT
f=79
TT=0.02
T1=0.02
 OPT
f=79
TT=0.685
T1=0.68
 OPT
f=79
TT=0.377
T1=0.37
 OPT
f=79
TT=0.02
T1=0.02
 OPT
f=79
TT=0.023
T1=0.02
 OPT
f=79
TT=3.979
T1=3.96
 OPT
f=79
TT=19.088
T1=19.08
 OPT
f=79
TT=0.774
T1=0.66
 OPT
f=79
TT=0.333
T1=0.19
 OPT
f=79
TT=0.16
T1=0.12
Bench nameBest resultscdcl-cuttingplanes OPT binary search
2016-05-01
(complete)		cdcl-cuttingplanes OPT linear search
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=79-Q=173.opb 		OPT
f=79
TT=0.019
T1=0.02
 OPT
f=79
TT=0.194
T1=0.19
 OPT
f=79
TT=0.16
T1=0.16
 OPT
f=79
TT=0.021
T1=0.02
 OPT
f=79
TT=0.019
T1=0.02
 OPT
f=79
TT=5.725
T1=5.71
 OPT
f=79
TT=20.407
T1=20.4
 OPT
f=79
TT=7.423
T1=0.67
 OPT
f=79
TT=0.354
T1=0.2
 OPT
f=79
TT=0.208
T1=0.18
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=79-Q=257.opb 		OPT
f=79
TT=0.02
T1=0.02
 OPT
f=79
TT=0.213
T1=0.21
 OPT
f=79
TT=0.172
T1=0.17
 OPT
f=79
TT=0.02
T1=0.02
 OPT
f=79
TT=0.022
T1=0.02
 OPT
f=79
TT=4.648
T1=4.63
 OPT
f=79
TT=19.627
T1=19.62
 OPT
f=79
TT=0.766
T1=0.66
 OPT
f=79
TT=0.374
T1=0.2
 OPT
f=79
TT=0.27
T1=0.23
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=79-Q=331.opb 		OPT
f=79
TT=0.023
T1=0.02
 OPT
f=79
TT=0.16
T1=0.16
 OPT
f=79
TT=0.148
T1=0.14
 OPT
f=79
TT=0.023
T1=0.02
 OPT
f=79
TT=0.023
T1=0.02
 OPT
f=79
TT=5.177
T1=5.16
 OPT
f=79
TT=20.474
T1=20.46
 OPT
f=79
TT=2.605
T1=0.66
 OPT
f=79
TT=0.354
T1=0.2
 OPT
f=79
TT=0.273
T1=0.24
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=7-Q=179.opb 		OPT
f=7
TT=0.013
T1=0.01
 OPT
f=7
TT=0.053
T1=0.05
 OPT
f=7
TT=0.036
T1=0.03
 OPT
f=7
TT=0.014
T1=0.01
 OPT
f=7
TT=0.013
T1=0.01
 OPT
f=7
TT=2.162
T1=2.15
 OPT
f=7
TT=16.08
T1=16.07
 OPT
f=7
TT=0.302
T1=0.66
 OPT
f=7
TT=0.224
T1=0.15
 OPT
f=7
TT=0.052
T1=0.04
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=7-Q=223.opb 		OPT
f=7
TT=0.012
T1=0.01
 OPT
f=7
TT=0.052
T1=0.05
 OPT
f=7
TT=0.022
T1=0.02
 OPT
f=7
TT=0.013
T1=0.01
 OPT
f=7
TT=0.012
T1=0.01
 OPT
f=7
TT=2.412
T1=2.4
 OPT
f=7
TT=16.343
T1=16.33
 OPT
f=7
TT=0.404
T1=0.66
 OPT
f=7
TT=0.214
T1=0.15
 OPT
f=7
TT=0.059
T1=0.05
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=7-Q=31.opb 		OPT
f=1
TT=0.008
T1=0
 OPT
f=1
TT=0.033
T1=0.03
 OPT
f=1
TT=0.019
T1=0.01
 OPT
f=1
TT=0.008
T1=0
 OPT
f=1
TT=0.047
T1=0.04
 OPT
f=1
TT=1.559
T1=1.55
 OPT
f=1
TT=13.827
T1=13.82
 OPT
f=1
TT=0.214
T1=0.66
 OPT
f=1
TT=0.205
T1=0.14
 OPT
f=1
TT=0.026
T1=0.02
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=83-Q=197.opb 		OPT
f=83
TT=0.019
T1=0.01
 OPT
f=83
TT=0.303
T1=0.3
 OPT
f=83
TT=0.199
T1=0.2
 OPT
f=83
TT=0.019
T1=0.01
 OPT
f=83
TT=0.026
T1=0.02
 OPT
f=83
TT=3.651
T1=3.63
 OPT
f=83
TT=17.2
T1=17.19
 OPT
f=83
TT=0.625
T1=0.67
 OPT
f=83
TT=0.353
T1=0.2
 OPT
f=83
TT=0.235
T1=0.2
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=83-Q=271.opb 		OPT
f=83
TT=0.018
T1=0.01
 OPT
f=83
TT=0.135
T1=0.13
 OPT
f=83
TT=0.137
T1=0.13
 OPT
f=83
TT=0.023
T1=0.02
 OPT
f=83
TT=0.018
T1=0.01
 OPT
f=83
TT=4.694
T1=4.68
 OPT
f=83
TT=18.101
T1=18.1
 OPT
f=83
TT=0.793
T1=0.66
 OPT
f=83
TT=0.313
T1=0.18
 OPT
f=83
TT=0.263
T1=0.24
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=83-Q=367.opb 		OPT
f=83
TT=0.021
T1=0.02
 OPT
f=83
TT=0.236
T1=0.23
 OPT
f=83
TT=0.241
T1=0.24
 OPT
f=83
TT=0.024
T1=0.02
 OPT
f=83
TT=0.021
T1=0.02
 OPT
f=83
TT=3.386
T1=3.37
 OPT
f=83
TT=17.641
T1=17.64
 OPT
f=83
TT=0.613
T1=0.66
 OPT
f=83
TT=0.323
T1=0.18
 OPT
f=83
TT=0.348
T1=0.32
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=83-Q=449.opb 		OPT
f=83
TT=0.019
T1=0.01
 OPT
f=83
TT=0.05
T1=0.05
 OPT
f=83
TT=0.034
T1=0.03
 OPT
f=83
TT=0.022
T1=0.02
 OPT
f=83
TT=0.019
T1=0.01
 OPT
f=83
TT=4.111
T1=4.1
 OPT
f=83
TT=18.056
T1=18.05
 OPT
f=83
TT=0.483
T1=0.66
 OPT
f=83
TT=0.264
T1=0.16
 OPT
f=83
TT=0.403
T1=0.36
Bench nameBest resultscdcl-cuttingplanes OPT binary search
2016-05-01
(complete)		cdcl-cuttingplanes OPT linear search
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=83-Q=89.opb 		OPT
f=83
TT=0.019
T1=0.01
 OPT
f=83
TT=0.17
T1=0.17
 OPT
f=83
TT=0.088
T1=0.08
 OPT
f=83
TT=0.019
T1=0.01
 OPT
f=83
TT=0.021
T1=0.02
 OPT
f=83
TT=3.865
T1=3.85
 OPT
f=83
TT=18.082
T1=18.07
 OPT
f=83
TT=0.684
T1=0.66
 OPT
f=83
TT=0.373
T1=0.2
 OPT
f=83
TT=0.149
T1=0.13
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=89-Q=211.opb 		OPT
f=89
TT=0.02
T1=0.01
 OPT
f=89
TT=0.178
T1=0.17
 OPT
f=89
TT=0.128
T1=0.13
 OPT
f=89
TT=0.02
T1=0.01
 OPT
f=89
TT=0.023
T1=0.02
 OPT
f=89
TT=3.887
T1=3.88
 OPT
f=89
TT=18.358
T1=18.35
 OPT
f=89
TT=0.724
T1=0.66
 OPT
f=89
TT=0.365
T1=0.19
 OPT
f=89
TT=0.269
T1=0.24
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=89-Q=263.opb 		OPT
f=89
TT=0.02
T1=0.02
 OPT
f=89
TT=0.176
T1=0.17
 OPT
f=89
TT=0.105
T1=0.1
 OPT
f=89
TT=0.02
T1=0.02
 OPT
f=89
TT=0.021
T1=0.02
 OPT
f=89
TT=4.777
T1=4.76
 OPT
f=89
TT=19.201
T1=19.19
 OPT
f=89
TT=0.784
T1=0.66
 OPT
f=89
TT=0.384
T1=0.2
 OPT
f=89
TT=0.25
T1=0.22
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=89-Q=293.opb 		OPT
f=89
TT=0.02
T1=0.02
 OPT
f=89
TT=0.13
T1=0.13
 OPT
f=89
TT=0.067
T1=0.06
 OPT
f=89
TT=0.02
T1=0.02
 OPT
f=89
TT=0.023
T1=0.02
 OPT
f=89
TT=5.191
T1=5.18
 OPT
f=89
TT=20.358
T1=20.35
 OPT
f=89
TT=0.774
T1=0.67
 OPT
f=89
TT=0.335
T1=0.18
 OPT
f=89
TT=0.305
T1=0.28
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=89-Q=317.opb 		OPT
f=89
TT=0.021
T1=0.02
 OPT
f=89
TT=0.226
T1=0.22
 OPT
f=89
TT=0.156
T1=0.15
 OPT
f=89
TT=0.021
T1=0.02
 OPT
f=89
TT=0.027
T1=0.02
 OPT
f=89
TT=3.477
T1=3.46
 OPT
f=89
TT=17.867
T1=17.86
 OPT
f=89
TT=2.005
T1=0.67
 OPT
f=89
TT=0.333
T1=0.18
 OPT
f=89
TT=0.307
T1=0.27
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=89-Q=347.opb 		OPT
f=89
TT=0.021
T1=0.02
 OPT
f=89
TT=0.166
T1=0.16
 OPT
f=89
TT=0.158
T1=0.15
 OPT
f=89
TT=0.021
T1=0.02
 OPT
f=89
TT=0.027
T1=0.02
 OPT
f=89
TT=4.106
T1=4.09
 OPT
f=89
TT=18.992
T1=18.99
 OPT
f=89
TT=0.514
T1=0.67
 OPT
f=89
TT=0.344
T1=0.2
 OPT
f=89
TT=0.382
T1=0.35
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=89-Q=431.opb 		OPT
f=89
TT=0.02
T1=0.02
 OPT
f=89
TT=0.682
T1=0.68
 OPT
f=89
TT=0.651
T1=0.65
 OPT
f=89
TT=0.02
T1=0.02
 OPT
f=89
TT=0.02
T1=0.02
 OPT
f=89
TT=2.851
T1=2.84
 OPT
f=89
TT=17.059
T1=17.06
 OPT
f=89
TT=1.165
T1=0.68
 OPT
f=89
TT=0.264
T1=0.17
 OPT
f=89
TT=0.436
T1=0.4
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=89-Q=487.opb 		OPT
f=89
TT=0.02
T1=0.02
 OPT
f=89
TT=0.186
T1=0.18
 OPT
f=89
TT=0.167
T1=0.16
 OPT
f=89
TT=0.02
T1=0.02
 OPT
f=89
TT=0.021
T1=0.02
 OPT
f=89
TT=3.664
T1=3.65
 OPT
f=89
TT=18.968
T1=18.97
 OPT
f=89
TT=0.495
T1=0.66
 OPT
f=89
TT=0.235
T1=0.16
 OPT
f=89
TT=0.464
T1=0.43
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=97-Q=331.opb 		OPT
f=97
TT=0.019
T1=0.01
 OPT
f=97
TT=0.539
T1=0.53
 OPT
f=97
TT=0.253
T1=0.25
 OPT
f=97
TT=0.019
T1=0.01
 OPT
f=97
TT=0.02
T1=0.02
 OPT
f=97
TT=4.304
T1=4.29
 OPT
f=97
TT=20.579
T1=20.58
 OPT
f=97
TT=0.506
T1=0.66
 OPT
f=97
TT=0.342
T1=0.18
 OPT
f=97
TT=0.358
T1=0.32
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=97-Q=457.opb 		OPT
f=97
TT=0.019
T1=0.01
 OPT
f=97
TT=0.141
T1=0.14
 OPT
f=97
TT=0.1
T1=0.1
 OPT
f=97
TT=0.019
T1=0.01
 OPT
f=97
TT=0.022
T1=0.02
 OPT
f=97
TT=2.964
T1=2.95
 OPT
f=97
TT=16.789
T1=16.78
 OPT
f=97
TT=0.794
T1=0.67
 OPT
f=97
TT=0.314
T1=0.19
 OPT
f=97
TT=0.452
T1=0.42
Bench nameBest resultscdcl-cuttingplanes OPT binary search
2016-05-01
(complete)		cdcl-cuttingplanes OPT linear search
2016-05-01
(complete)		minisatp
2012-10-02 git-d91742b
(complete)		NaPS
1.02
(complete)		Open-WBO
PB16
(complete)		Open-WBO-LSU
PB16
(complete)		Sat4j PB 2.3.6 Res+CP
PB16
(complete)		Sat4j PB 2.3.6 Resolution
PB16
(complete)		toysat
2016-05-02
(complete)
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=97-Q=479.opb 		OPT
f=97
TT=0.02
T1=0.01
 OPT
f=97
TT=0.291
T1=0.29
 OPT
f=97
TT=0.241
T1=0.24
 OPT
f=97
TT=0.02
T1=0.01
 OPT
f=97
TT=0.024
T1=0.02
 OPT
f=97
TT=6.507
T1=6.49
 OPT
f=97
TT=20.794
T1=20.79
 OPT
f=97
TT=0.664
T1=0.66
 OPT
f=97
TT=0.264
T1=0.17
 OPT
f=97
TT=0.561
T1=0.52
normalized-PB06/OPT-SMALLINT/
submitted-PB06/roussel/factor/
normalized-factor-size=9-P=97-Q=509.opb 		OPT
f=97
TT=0.019
T1=0.01
 OPT
f=97
TT=0.189
T1=0.18
 OPT
f=97
TT=0.155
T1=0.15
 OPT
f=97
TT=0.019
T1=0.01
 OPT
f=97
TT=0.019
T1=0.02
 OPT
f=97
TT=1.834
T1=1.82
 OPT
f=97
TT=17.203
T1=17.2
 OPT
f=97
TT=0.225
T1=0.66
 OPT
f=97
TT=0.195
T1=0.14
 OPT
f=97
TT=0.557
T1=0.52



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