PB'09 competition: results by benchmark

Results by benchmark for category no optimisation, small integers, non linear constraints (DEC-SMALLINT-NLC)

This page displays the results of the different solvers for each benchmark for category no optimisation, small integers, non linear constraints (DEC-SMALLINT-NLC)

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

Bench nameBest results
on this
instance		BoolVar
2009-04-26
(complete)		bsolo
3.1
(complete)		bsolo
3.1 cl
(complete)		bsolo
3.1 pb
(complete)		pbclasp
2009-04-24
(complete)		SAT4J Pseudo CP
2.1.1
(complete)		SAT4J Pseudo Resolution
2.1.1
(complete)		SCIPclp
SCIP 1.1.0.7 with CLP 1.8.2
(complete)		SCIPspx
SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
(complete)		wbo
1.0
(complete)
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_100_10_1_15.opb 		SAT
TT=0.062
T1=0.04
 SAT
TT=5.314
T1=5.22
 SAT
TT=0.348
T1=0.34
 ?
TT=1798.05

 SAT
TT=0.359
T1=0.35
 SAT
TT=0.062
T1=0.04
 SAT
TT=5.417
T1=3.06
 SAT
TT=2.332
T1=1.42
 SAT
TT=3.834
T1=3.81
 SAT
TT=4.931
T1=4.91
 SAT
TT=0.63
T1=0.62
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_100_10_1_40.opb


? (TO)
TT=1800.11

 ?
TT=1798.03

 ? (TO)
TT=1800.12

 ?
TT=1798.04

 ? (TO)
TT=1800.05

 ? (TO)
TT=1800.22

 ? (TO)
TT=1801.22

 ?
TT=1797

 ? (TO)
TT=1800.12

 ? (MO)
TT=1027.57
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_100_10_2_15.opb 		SAT
TT=0.065
T1=0.04
 SAT
TT=5.309
T1=5.28
 SAT
TT=0.378
T1=0.37
 ?
TT=1798.04

 SAT
TT=0.342
T1=0.34
 SAT
TT=0.065
T1=0.04
 SAT
TT=5.574
T1=2.98
 SAT
TT=2.283
T1=1.46
 SAT
TT=6.018
T1=6
 SAT
TT=4.928
T1=4.9
 SAT
TT=0.083
T1=0.08
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_100_10_2_40.opb


? (TO)
TT=1800.09

 ?
TT=1798.03

 ?
TT=1798.06

 ?
TT=1798.17

 ? (TO)
TT=1800.04

 ? (TO)
TT=1800.22

 ? (TO)
TT=1801.29

 ?
TT=1796.53

 ? (TO)
TT=1800.16

 ? (MO)
TT=909.263
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_100_10_3_15.opb 		SAT
TT=0.063
T1=0.05
 SAT
TT=5.186
T1=5.08
 SAT
TT=0.338
T1=0.33
 ?
TT=1798.04

 SAT
TT=0.315
T1=0.31
 SAT
TT=0.063
T1=0.05
 SAT
TT=4.205
T1=2.55
 SAT
TT=2.155
T1=1.58
 SAT
TT=3.449
T1=3.42
 SAT
TT=4.672
T1=4.64
 SAT
TT=0.077
T1=0.07
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_100_10_3_40.opb


? (TO)
TT=1800.13

 ? (TO)
TT=1800.25

 ? (TO)
TT=1800.08

 ?
TT=1798.11

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.24

 ? (TO)
TT=1800.95

 ?
TT=1798.91

 ? (TO)
TT=1800.15

 ? (MO)
TT=949.011
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_100_10_4_15.opb 		SAT
TT=0.067
T1=0.05
 SAT
TT=5.487
T1=5.4
 SAT
TT=0.403
T1=0.4
 ?
TT=1798.05

 SAT
TT=0.329
T1=0.32
 SAT
TT=0.067
T1=0.05
 SAT
TT=4.319
T1=2.52
 SAT
TT=2.25
T1=1.37
 SAT
TT=4.05
T1=4.02
 SAT
TT=5.404
T1=5.38
 SAT
TT=0.081
T1=0.08
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_100_10_4_40.opb


? (TO)
TT=1800.14

 ?
TT=1798.03

 ?
TT=1798.38

 ?
TT=1798.03

 ? (TO)
TT=1800.08

 ? (TO)
TT=1800.24

 ? (TO)
TT=1801.2

 ?
TT=1796.34

 ? (TO)
TT=1800.12

 ? (MO)
TT=948.346
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_100_10_5_15.opb 		SAT
TT=0.06
T1=0.05
 SAT
TT=5.281
T1=5.18
 SAT
TT=0.343
T1=0.34
 ?
TT=1798.04

 SAT
TT=0.373
T1=0.37
 SAT
TT=0.06
T1=0.05
 SAT
TT=4.086
T1=2.24
 SAT
TT=2.236
T1=1.37
 SAT
TT=4.266
T1=4.24
 SAT
TT=3.747
T1=3.72
 SAT
TT=0.074
T1=0.07
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_100_10_5_40.opb


? (TO)
TT=1800.08

 ? (TO)
TT=1800.13

 ?
TT=1798.03

 ?
TT=1798.16

 ? (TO)
TT=1800.08

 ? (TO)
TT=1800.26

 ? (TO)
TT=1800.89

 ?
TT=1797.2

 ? (TO)
TT=1800.28

 ? (MO)
TT=985.098
Bench nameBest resultsBoolVar
2009-04-26
(complete)		bsolo
3.1
(complete)		bsolo
3.1 cl
(complete)		bsolo
3.1 pb
(complete)		pbclasp
2009-04-24
(complete)		SAT4J Pseudo CP
2.1.1
(complete)		SAT4J Pseudo Resolution
2.1.1
(complete)		SCIPclp
SCIP 1.1.0.7 with CLP 1.8.2
(complete)		SCIPspx
SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
(complete)		wbo
1.0
(complete)
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_100_25_1_15.opb 		SAT
TT=148.222
T1=148.12
 SAT
TT=506.63
T1=506.63
 ?
TT=1798.1

 ?
TT=1798.32

 ?
TT=1799.13

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.29

 ? (TO)
TT=1800.64

 SAT
TT=148.222
T1=148.12
 SAT
TT=318.604
T1=318.55
 ? (MO)
TT=1346.66
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_100_25_1_40.opb 		UNSAT
TT=201.467

 ? (TO)
TT=1800.14

 ?
TT=1798.07

 ?
TT=1798.1

 ?
TT=1798.2

 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.24

 ? (TO)
TT=1800.66

 UNSAT
TT=305.169

 UNSAT
TT=201.467

 ? (MO)
TT=1040.09
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_100_25_2_15.opb 		SAT
TT=82.305
T1=82.25
 ? (TO)
TT=1800.11

 ?
TT=1798.16

 ?
TT=1798.09

 ?
TT=1799.12

 ? (TO)
TT=1800.04

 ? (TO)
TT=1800.26

 ? (TO)
TT=1800.64

 SAT
TT=82.305
T1=82.25
 SAT
TT=656.965
T1=656.89
 ? (MO)
TT=1503.88
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_100_25_2_40.opb 		UNSAT
TT=178.368

 ? (TO)
TT=1800.08

 ?
TT=1798.13

 ?
TT=1798.08

 ?
TT=1798.09

 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.29

 ? (TO)
TT=1800.67

 UNSAT
TT=259.722

 UNSAT
TT=178.368

 ? (MO)
TT=1119.86
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_100_25_3_15.opb 		SAT
TT=46.331
T1=46.24
 SAT
TT=46.331
T1=46.24
 ?
TT=1798.08

 ?
TT=1798.13

 ?
TT=1798.24

 ? (TO)
TT=1800.04

 ? (TO)
TT=1800.26

 SAT
TT=1651.01
T1=1643.31
 SAT
TT=1201.18
T1=1201.17
 ? (TO)
TT=1800.74

 ? (MO)
TT=1319.37
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_100_25_3_40.opb 		UNSAT
TT=240.497

 ? (TO)
TT=1800.08

 ?
TT=1798.06

 ?
TT=1798.13

 ?
TT=1798.2

 ? (TO)
TT=1800.1

 ? (TO)
TT=1800.22

 ? (TO)
TT=1800.61

 UNSAT
TT=317.284

 UNSAT
TT=240.497

 ? (MO)
TT=1083.43
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_100_25_4_15.opb 		SAT
TT=1026.08
T1=1026.09
 ? (TO)
TT=1800.06

 ?
TT=1798.09

 ?
TT=1798.08

 ?
TT=1798.13

 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.22

 ? (TO)
TT=1800.66

 SAT
TT=1026.08
T1=1026.09
 SAT
TT=1064.68
T1=1064.24
 ? (MO)
TT=1341.81
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_100_25_4_40.opb 		UNSAT
TT=184.015

 ? (TO)
TT=1800.15

 ?
TT=1798.1

 ?
TT=1798.36

 ?
TT=1798.39

 ? (TO)
TT=1800.08

 ? (TO)
TT=1800.32

 ? (TO)
TT=1800.64

 UNSAT
TT=254.943

 UNSAT
TT=184.015

 ? (MO)
TT=1142.31
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_100_25_5_15.opb 		SAT
TT=1618.79
T1=1618.71
 ? (TO)
TT=1800.13

 ?
TT=1798.1

 ?
TT=1798.08

 ?
TT=1798.34

 ? (TO)
TT=1800.1

 ? (TO)
TT=1800.34

 ? (TO)
TT=1800.68

 ?
TT=1799.89

 SAT
TT=1618.79
T1=1618.71
 ? (MO)
TT=1289.51
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_100_25_5_40.opb 		UNSAT
TT=172.614

 ? (TO)
TT=1800.15

 ?
TT=1798.07

 ?
TT=1798.1

 ?
TT=1798.37

 ? (TO)
TT=1800.04

 ? (TO)
TT=1800.17

 ? (TO)
TT=1800.61

 UNSAT
TT=172.614

 UNSAT
TT=249.681

 ? (MO)
TT=1170.63
Bench nameBest resultsBoolVar
2009-04-26
(complete)		bsolo
3.1
(complete)		bsolo
3.1 cl
(complete)		bsolo
3.1 pb
(complete)		pbclasp
2009-04-24
(complete)		SAT4J Pseudo CP
2.1.1
(complete)		SAT4J Pseudo Resolution
2.1.1
(complete)		SCIPclp
SCIP 1.1.0.7 with CLP 1.8.2
(complete)		SCIPspx
SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
(complete)		wbo
1.0
(complete)
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/
dbsg/normalized-dbsg_10_4_1_5.opb 		UNSAT
TT=0.004

 UNSAT
TT=0.227

 UNSAT
TT=0.004

 UNSAT
TT=0.005

 UNSAT
TT=0.004

 UNSAT
TT=0.017

 UNSAT
TT=1.028

 UNSAT
TT=0.76

 UNSAT
TT=0.239

 UNSAT
TT=0.06

 UNSAT
TT=0.008
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/
dbsg/normalized-dbsg_10_4_1_8.opb 		UNSAT
TT=0.002

 UNSAT
TT=0.225

 UNSAT
TT=0.002

 UNSAT
TT=0.002

 UNSAT
TT=0.003

 UNSAT
TT=0.018

 UNSAT
TT=0.35

 UNSAT
TT=0.355

 UNSAT
TT=0.033

 UNSAT
TT=0.032

 UNSAT
TT=0.002
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/
dbsg/normalized-dbsg_10_4_2_5.opb 		UNSAT
TT=0.004

 UNSAT
TT=0.286

 UNSAT
TT=0.004

 UNSAT
TT=0.005

 UNSAT
TT=0.004

 UNSAT
TT=0.019

 UNSAT
TT=0.752

 UNSAT
TT=0.845

 UNSAT
TT=0.204

 UNSAT
TT=0.063

 UNSAT
TT=0.007
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/
dbsg/normalized-dbsg_10_4_2_8.opb 		UNSAT
TT=0.002

 UNSAT
TT=0.225

 UNSAT
TT=0.002

 UNSAT
TT=0.002

 UNSAT
TT=0.002

 UNSAT
TT=0.015

 UNSAT
TT=0.355

 UNSAT
TT=0.358

 UNSAT
TT=0.031

 UNSAT
TT=0.032

 UNSAT
TT=0.002
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/
dbsg/normalized-dbsg_10_4_3_5.opb 		UNSAT
TT=0.003

 UNSAT
TT=0.232

 UNSAT
TT=0.004

 UNSAT
TT=0.004

 UNSAT
TT=0.003

 UNSAT
TT=0.022

 UNSAT
TT=0.602

 UNSAT
TT=0.812

 UNSAT
TT=0.226

 UNSAT
TT=0.067

 UNSAT
TT=0.006
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/
dbsg/normalized-dbsg_10_4_3_8.opb 		UNSAT
TT=0.002

 UNSAT
TT=0.228

 UNSAT
TT=0.002

 UNSAT
TT=0.002

 UNSAT
TT=0.003

 UNSAT
TT=0.015

 UNSAT
TT=0.374

 UNSAT
TT=0.356

 UNSAT
TT=0.034

 UNSAT
TT=0.034

 UNSAT
TT=0.002
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/
dbsg/normalized-dbsg_10_4_4_5.opb 		UNSAT
TT=0.004

 UNSAT
TT=0.23

 UNSAT
TT=0.004

 UNSAT
TT=0.006

 UNSAT
TT=0.004

 UNSAT
TT=0.018

 UNSAT
TT=0.613

 UNSAT
TT=0.837

 UNSAT
TT=0.165

 UNSAT
TT=0.056

 UNSAT
TT=0.007
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/
dbsg/normalized-dbsg_10_4_4_8.opb 		UNSAT
TT=0.002

 UNSAT
TT=0.222

 UNSAT
TT=0.003

 UNSAT
TT=0.003

 UNSAT
TT=0.002

 UNSAT
TT=0.017

 UNSAT
TT=0.371

 UNSAT
TT=0.357

 UNSAT
TT=0.035

 UNSAT
TT=0.033

 UNSAT
TT=0.003
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/
dbsg/normalized-dbsg_10_4_5_5.opb 		UNSAT
TT=0.004

 UNSAT
TT=0.228

 UNSAT
TT=0.004

 UNSAT
TT=0.006

 UNSAT
TT=0.004

 UNSAT
TT=0.018

 UNSAT
TT=0.566

 UNSAT
TT=0.778

 UNSAT
TT=0.179

 UNSAT
TT=0.06

 UNSAT
TT=0.006
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/
dbsg/normalized-dbsg_10_4_5_8.opb 		UNSAT
TT=0.002

 UNSAT
TT=0.226

 UNSAT
TT=0.003

 UNSAT
TT=0.002

 UNSAT
TT=0.003

 UNSAT
TT=0.018

 UNSAT
TT=0.348

 UNSAT
TT=0.351

 UNSAT
TT=0.034

 UNSAT
TT=0.034

 UNSAT
TT=0.003
Bench nameBest resultsBoolVar
2009-04-26
(complete)		bsolo
3.1
(complete)		bsolo
3.1 cl
(complete)		bsolo
3.1 pb
(complete)		pbclasp
2009-04-24
(complete)		SAT4J Pseudo CP
2.1.1
(complete)		SAT4J Pseudo Resolution
2.1.1
(complete)		SCIPclp
SCIP 1.1.0.7 with CLP 1.8.2
(complete)		SCIPspx
SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
(complete)		wbo
1.0
(complete)
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_200_10_1_15.opb 		SAT
TT=0.106
T1=0.08
 SAT
TT=31.472
T1=31.41
 SAT
TT=0.609
T1=0.6
 ?
TT=1798.12

 SAT
TT=0.66
T1=0.65
 SAT
TT=0.106
T1=0.08
 SAT
TT=2.566
T1=1.77
 SAT
TT=3.588
T1=2.56
 SAT
TT=0.501
T1=0.45
 SAT
TT=7.008
T1=6.97
 SAT
TT=0.926
T1=0.92
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_200_10_1_40.opb 		SAT
TT=0.149
T1=0.12
 SAT
TT=32.406
T1=32.38
 SAT
TT=4.056
T1=4.05
 ?
TT=1798.13

 SAT
TT=4.241
T1=4.24
 SAT
TT=0.149
T1=0.12
 SAT
TT=76.491
T1=74.25
 SAT
TT=4.597
T1=3.42
 SAT
TT=36.744
T1=36.7
 SAT
TT=34.33
T1=34.28
 SAT
TT=6.864
T1=6.86
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_200_10_2_15.opb 		SAT
TT=0.116
T1=0.12
 SAT
TT=31.855
T1=32.38
 SAT
TT=0.662
T1=0.66
 SAT
TT=1741.65
T1=1741.93
 SAT
TT=0.669
T1=0.66
 SAT
TT=0.116
T1=0.12
 SAT
TT=2.486
T1=1.75
 SAT
TT=3.544
T1=2.48
 SAT
TT=0.506
T1=0.46
 SAT
TT=0.815
T1=0.77
 SAT
TT=0.453
T1=0.45
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_200_10_2_40.opb 		SAT
TT=0.135
T1=0.1
 SAT
TT=32.366
T1=32.37
 SAT
TT=9.263
T1=9.25
 ?
TT=1798.11

 ?
TT=1798.16

 SAT
TT=0.135
T1=0.1
 SAT
TT=19.569
T1=17.28
 SAT
TT=8.516
T1=7.23
 SAT
TT=41.236
T1=41.19
 SAT
TT=23.409
T1=23.37
 ? (MO)
TT=867.353
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_200_10_3_15.opb 		SAT
TT=0.127
T1=0.09
 SAT
TT=32.496
T1=32.44
 SAT
TT=0.642
T1=0.64
 ?
TT=1798.18

 SAT
TT=0.649
T1=0.64
 SAT
TT=0.127
T1=0.09
 SAT
TT=2.525
T1=1.8
 SAT
TT=3.556
T1=2.52
 SAT
TT=0.538
T1=0.49
 SAT
TT=0.924
T1=0.88
 SAT
TT=0.745
T1=0.74
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_200_10_3_40.opb 		SAT
TT=0.296
T1=0.27
 SAT
TT=32.803
T1=32.72
 SAT
TT=2.331
T1=2.32
 ?
TT=1798.12

 SAT
TT=3.804
T1=3.8
 SAT
TT=0.296
T1=0.27
 SAT
TT=10.124
T1=7.98
 SAT
TT=4.186
T1=3.01
 SAT
TT=37.504
T1=37.46
 SAT
TT=24.661
T1=24.62
 SAT
TT=16.279
T1=16.27
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_200_10_4_15.opb 		SAT
TT=0.114
T1=0.09
 SAT
TT=33.601
T1=33.49
 SAT
TT=0.65
T1=0.64
 ?
TT=1798.12

 SAT
TT=0.655
T1=0.65
 SAT
TT=0.114
T1=0.09
 SAT
TT=2.627
T1=1.85
 SAT
TT=3.633
T1=2.51
 SAT
TT=0.544
T1=0.49
 SAT
TT=0.556
T1=0.51
 SAT
TT=0.413
T1=0.41
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_200_10_4_40.opb 		SAT
TT=0.164
T1=0.14
 SAT
TT=33.314
T1=33.3
 SAT
TT=2.969
T1=2.96
 ? (TO)
TT=1800.22

 SAT
TT=590.592
T1=590.68
 SAT
TT=0.164
T1=0.14
 SAT
TT=9.678
T1=7.89
 SAT
TT=14.383
T1=13
 SAT
TT=28.413
T1=28.36
 SAT
TT=38.643
T1=38.6
 ? (MO)
TT=766.288
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_200_10_5_15.opb 		SAT
TT=0.114
T1=0.09
 SAT
TT=32.59
T1=32.57
 SAT
TT=0.671
T1=0.67
 ?
TT=1798.14

 SAT
TT=0.63
T1=0.62
 SAT
TT=0.114
T1=0.09
 SAT
TT=2.639
T1=1.87
 SAT
TT=3.599
T1=2.53
 SAT
TT=0.536
T1=0.49
 SAT
TT=1.152
T1=1.1
 SAT
TT=0.758
T1=0.75
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_200_10_5_40.opb 		SAT
TT=0.485
T1=0.46
 SAT
TT=32.701
T1=32.66
 SAT
TT=2.673
T1=2.68
 ?
TT=1798.12

 SAT
TT=2.605
T1=2.6
 SAT
TT=0.485
T1=0.46
 SAT
TT=33.795
T1=30.28
 SAT
TT=5.027
T1=3.83
 SAT
TT=26.645
T1=26.6
 SAT
TT=32.915
T1=32.88
 ? (MO)
TT=839.468
Bench nameBest resultsBoolVar
2009-04-26
(complete)		bsolo
3.1
(complete)		bsolo
3.1 cl
(complete)		bsolo
3.1 pb
(complete)		pbclasp
2009-04-24
(complete)		SAT4J Pseudo CP
2.1.1
(complete)		SAT4J Pseudo Resolution
2.1.1
(complete)		SCIPclp
SCIP 1.1.0.7 with CLP 1.8.2
(complete)		SCIPspx
SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
(complete)		wbo
1.0
(complete)
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_200_25_1_15.opb 		SAT
TT=0.279
T1=0.22
 SAT
TT=72.02
T1=72.19
 SAT
TT=9.564
T1=9.56
 ?
TT=1798.11

 SAT
TT=9.554
T1=9.55
 SAT
TT=0.279
T1=0.22
 SAT
TT=21.111
T1=18.45
 SAT
TT=17.805
T1=16.43
 SAT
TT=15.35
T1=15.26
 SAT
TT=36.985
T1=36.89
 SAT
TT=0.585
T1=0.58
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_200_25_1_40.opb


? (MO)
TT=536.999

 ?
TT=1798.18

 ?
TT=1798.16

 ?
TT=1798.39

 ? (TO)
TT=1800.1

 ? (TO)
TT=1800.22

 ? (TO)
TT=1800.5

 ?
TT=1798.19

 ?
TT=1799.94

 ? (MO)
TT=933.768
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_200_25_2_15.opb 		SAT
TT=0.246
T1=0.19
 SAT
TT=68.402
T1=68.37
 SAT
TT=9.847
T1=9.84
 SAT
TT=26.078
T1=26.07
 SAT
TT=9.769
T1=9.77
 SAT
TT=0.246
T1=0.19
 SAT
TT=21.649
T1=19.3
 SAT
TT=18.114
T1=16.72
 SAT
TT=37.053
T1=36.96
 SAT
TT=22.212
T1=22.1
 SAT
TT=1.159
T1=1.15
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_200_25_2_40.opb


? (MO)
TT=474.214

 ?
TT=1798.12

 ?
TT=1798.23

 ? (TO)
TT=1800.13

 ? (TO)
TT=1800.12

 ? (TO)
TT=1800.23

 ? (TO)
TT=1800.76

 ?
TT=1797.47

 ? (TO)
TT=1800.07

 ? (MO)
TT=926.902
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_200_25_3_15.opb 		SAT
TT=0.287
T1=0.22
 SAT
TT=65.687
T1=65.66
 SAT
TT=10.071
T1=10.08
 ?
TT=1798.37

 SAT
TT=8.97
T1=8.97
 SAT
TT=0.287
T1=0.22
 SAT
TT=22.578
T1=19.9
 SAT
TT=18.888
T1=17.39
 SAT
TT=24.942
T1=24.84
 SAT
TT=22.96
T1=22.86
 SAT
TT=98.21
T1=98.19
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_200_25_3_40.opb


? (MO)
TT=475.785

 ?
TT=1798.23

 ?
TT=1798.13

 ?
TT=1798.1

 ? (TO)
TT=1800.05

 ? (TO)
TT=1800.17

 ? (TO)
TT=1800.54

 ?
TT=1799.16

 ? (TO)
TT=1800.4

 ? (MO)
TT=935.49
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_200_25_4_15.opb 		SAT
TT=0.259
T1=0.2
 SAT
TT=65.577
T1=65.78
 SAT
TT=9.327
T1=9.32
 ?
TT=1798.14

 SAT
TT=9.305
T1=9.3
 SAT
TT=0.259
T1=0.2
 SAT
TT=21.028
T1=18.88
 SAT
TT=18.245
T1=16.66
 SAT
TT=11.925
T1=11.83
 SAT
TT=18.864
T1=18.76
 SAT
TT=0.538
T1=0.53
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_200_25_4_40.opb


? (MO)
TT=546.8

 ?
TT=1798.13

 ?
TT=1798.73

 ?
TT=1798.2

 ? (TO)
TT=1800.09

 ? (TO)
TT=1800.21

 ? (TO)
TT=1800.55

 ?
TT=1797.44

 ?
TT=1799.63

 ? (MO)
TT=956.477
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_200_25_5_15.opb 		SAT
TT=0.257
T1=0.2
 SAT
TT=67.243
T1=67.66
 SAT
TT=9.939
T1=9.93
 ?
TT=1798.14

 SAT
TT=9.73
T1=9.72
 SAT
TT=0.257
T1=0.2
 SAT
TT=23.335
T1=21.09
 SAT
TT=18.331
T1=16.77
 SAT
TT=12.913
T1=12.81
 SAT
TT=20.387
T1=20.28
 SAT
TT=0.549
T1=0.54
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_200_25_5_40.opb


? (MO)
TT=620.298

 ?
TT=1798.16

 ?
TT=1798.13

 ?
TT=1798.24

 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.17

 ? (TO)
TT=1800.52

 ?
TT=1797.57

 ?
TT=1799.92

 ? (MO)
TT=898.102
Bench nameBest resultsBoolVar
2009-04-26
(complete)		bsolo
3.1
(complete)		bsolo
3.1 cl
(complete)		bsolo
3.1 pb
(complete)		pbclasp
2009-04-24
(complete)		SAT4J Pseudo CP
2.1.1
(complete)		SAT4J Pseudo Resolution
2.1.1
(complete)		SCIPclp
SCIP 1.1.0.7 with CLP 1.8.2
(complete)		SCIPspx
SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
(complete)		wbo
1.0
(complete)
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_500_10_1_15.opb 		SAT
TT=0.987
T1=0.93
 SAT
TT=471.198
T1=472.39
 SAT
TT=1.937
T1=1.93
 ?
TT=1798.18

 SAT
TT=1.969
T1=1.96
 SAT
TT=0.987
T1=0.93
 SAT
TT=16.399
T1=15.27
 SAT
TT=21.181
T1=19.55
 SAT
TT=1.054
T1=0.93
 SAT
TT=2.814
T1=2.69
 SAT
TT=5.828
T1=5.83
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_500_10_1_80.opb 		SAT
TT=1.098
T1=1.04
 SAT
TT=477.611
T1=478.92
 SAT
TT=712.219
T1=711.95
 ?
TT=1798.18

 SAT
TT=3.686
T1=3.68
 SAT
TT=1.098
T1=1.04
 SAT
TT=41.353
T1=38.44
 SAT
TT=31.713
T1=29.85
 SAT
TT=197.164
T1=197.09
 SAT
TT=137.977
T1=137.87
 SAT
TT=518.543
T1=518.56
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_500_10_2_15.opb 		SAT
TT=1.042
T1=0.92
 SAT
TT=518.87
T1=520.4
 SAT
TT=2.049
T1=2.04
 ?
TT=1798.17

 SAT
TT=2.064
T1=2.06
 SAT
TT=1.244
T1=1.19
 SAT
TT=16.403
T1=15.32
 SAT
TT=21.782
T1=20.08
 SAT
TT=1.042
T1=0.92
 SAT
TT=1.055
T1=0.93
 SAT
TT=6.173
T1=6.17
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_500_10_2_80.opb 		SAT
TT=1.264
T1=1.2
 SAT
TT=497.989
T1=504.65
 ?
TT=1798.24

 ?
TT=1798.15

 SAT
TT=3.81
T1=3.8
 SAT
TT=1.264
T1=1.2
 SAT
TT=39.393
T1=36.98
 SAT
TT=25.608
T1=23.78
 SAT
TT=162.89
T1=162.82
 SAT
TT=154.518
T1=154.45
 ? (MO)
TT=754.01
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_500_10_3_15.opb 		SAT
TT=1.051
T1=0.93
 SAT
TT=519.947
T1=520.98
 SAT
TT=1.938
T1=1.93
 ?
TT=1798.21

 SAT
TT=2.076
T1=2.07
 SAT
TT=1.326
T1=1.27
 SAT
TT=16.464
T1=15.33
 SAT
TT=22.113
T1=20.31
 SAT
TT=1.051
T1=0.93
 SAT
TT=1.918
T1=1.8
 SAT
TT=6.148
T1=6.14
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_500_10_3_80.opb 		SAT
TT=1.084
T1=1.22
 SAT
TT=465.396
T1=466.58
 ? (MO)
TT=1343.31

 ?
TT=1798.17

 SAT
TT=3.609
T1=3.6
 SAT
TT=1.084
T1=1.22
 SAT
TT=47.416
T1=44.73
 SAT
TT=21.545
T1=19.79
 SAT
TT=182.31
T1=182.37
 SAT
TT=150.51
T1=150.41
 ? (MO)
TT=824.704
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_500_10_4_15.opb 		SAT
TT=1.04
T1=0.92
 SAT
TT=512.541
T1=513.59
 SAT
TT=2.038
T1=2.03
 ?
TT=1798.47

 SAT
TT=2.058
T1=2.05
 SAT
TT=1.558
T1=1.5
 SAT
TT=16.429
T1=15.29
 SAT
TT=21.808
T1=20.05
 SAT
TT=1.04
T1=0.92
 SAT
TT=1.056
T1=0.93
 SAT
TT=6.147
T1=6.14
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_500_10_4_80.opb 		SAT
TT=1.52
T1=1.7
 SAT
TT=484.839
T1=486.37
 ?
TT=1798.24

 ?
TT=1798.18

 SAT
TT=3.793
T1=3.79
 SAT
TT=1.52
T1=1.7
 SAT
TT=46.848
T1=43.97
 SAT
TT=24.054
T1=22.22
 SAT
TT=214.067
T1=213.99
 SAT
TT=136.498
T1=136.42
 SAT
TT=742.67
T1=742.6
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_500_10_5_15.opb 		SAT
TT=1.044
T1=0.92
 SAT
TT=518.249
T1=519.64
 SAT
TT=2.015
T1=2.01
 ?
TT=1798.22

 SAT
TT=2.029
T1=2.02
 SAT
TT=1.175
T1=1.11
 SAT
TT=15.999
T1=14.82
 SAT
TT=21.72
T1=19.99
 SAT
TT=1.044
T1=0.92
 SAT
TT=1.067
T1=0.94
 SAT
TT=6.169
T1=6.16
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_500_10_5_80.opb 		SAT
TT=1.202
T1=1.19
 SAT
TT=529.563
T1=535.58
 ?
TT=1798.23

 ?
TT=1798.22

 SAT
TT=3.654
T1=3.65
 SAT
TT=1.202
T1=1.19
 SAT
TT=43.804
T1=40.83
 SAT
TT=32.436
T1=30.54
 SAT
TT=195.062
T1=195
 SAT
TT=147.441
T1=147.82
 ? (MO)
TT=638.175
Bench nameBest resultsBoolVar
2009-04-26
(complete)		bsolo
3.1
(complete)		bsolo
3.1 cl
(complete)		bsolo
3.1 pb
(complete)		pbclasp
2009-04-24
(complete)		SAT4J Pseudo CP
2.1.1
(complete)		SAT4J Pseudo Resolution
2.1.1
(complete)		SCIPclp
SCIP 1.1.0.7 with CLP 1.8.2
(complete)		SCIPspx
SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
(complete)		wbo
1.0
(complete)
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_500_25_1_15.opb 		SAT
TT=1.135
T1=0.99
 ? (MO)
TT=411.686

 SAT
TT=30.981
T1=30.98
 SAT
TT=806.204
T1=806.35
 SAT
TT=31.314
T1=31.31
 SAT
TT=1.135
T1=0.99
 SAT
TT=110.558
T1=108.89
 SAT
TT=105.343
T1=103.13
 SAT
TT=2.883
T1=2.61
 SAT
TT=12.493
T1=12.22
 SAT
TT=6.873
T1=6.87
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_500_25_1_80.opb


? (MO)
TT=406.543

 ?
TT=1798.26

 ?
TT=1798.25

 ?
TT=1798.59

 ? (TO)
TT=1800.02

 ? (TO)
TT=1800.26

 ? (TO)
TT=1800.42

 ?
TT=1794.34

 ?
TT=1796.17

 ? (MO)
TT=1558.15
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_500_25_2_15.opb 		SAT
TT=1.229
T1=1.1
 ? (MO)
TT=421.984

 SAT
TT=29.85
T1=29.85
 ?
TT=1798.26

 SAT
TT=29.755
T1=29.75
 SAT
TT=1.229
T1=1.1
 SAT
TT=109.276
T1=107.66
 SAT
TT=104.22
T1=102.04
 SAT
TT=2.872
T1=2.6
 SAT
TT=9.611
T1=9.33
 SAT
TT=6.903
T1=6.89
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_500_25_2_80.opb


? (MO)
TT=406.101

 ?
TT=1798.32

 ?
TT=1798.46

 ?
TT=1798.19

 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.16

 ? (TO)
TT=1800.38

 ?
TT=1793.99

 ?
TT=1796.38

 ? (MO)
TT=1495.07
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_500_25_3_15.opb 		SAT
TT=1.038
T1=1.46
 ? (MO)
TT=416.639

 SAT
TT=29.857
T1=29.86
 SAT
TT=408.974
T1=409
 SAT
TT=30.989
T1=30.99
 SAT
TT=1.038
T1=1.46
 SAT
TT=110.452
T1=108.92
 SAT
TT=106.063
T1=103.86
 SAT
TT=2.824
T1=2.56
 SAT
TT=47.138
T1=46.9
 SAT
TT=6.898
T1=6.89
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_500_25_3_80.opb


? (MO)
TT=425.436

 ?
TT=1798.27

 ?
TT=1798.28

 ?
TT=1798.1

 ? (TO)
TT=1800.08

 ? (TO)
TT=1800.32

 ? (TO)
TT=1800.51

 ?
TT=1794.27

 ?
TT=1796.37

 ? (MO)
TT=1565.47
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_500_25_4_15.opb 		SAT
TT=0.854
T1=0.7
 ? (MO)
TT=427.67

 SAT
TT=31.335
T1=31.34
 ?
TT=1798.13

 SAT
TT=31.104
T1=31.11
 SAT
TT=0.854
T1=0.7
 SAT
TT=110.845
T1=109.28
 SAT
TT=104.808
T1=102.56
 SAT
TT=2.884
T1=2.61
 SAT
TT=20.715
T1=20.43
 SAT
TT=6.853
T1=6.84
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_500_25_4_80.opb


? (MO)
TT=417.078

 ?
TT=1798.19

 ?
TT=1798.25

 ?
TT=1798.55

 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.27

 ? (TO)
TT=1800.43

 ?
TT=1795.1

 ?
TT=1796.27

 ? (MO)
TT=1442.23
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_500_25_5_15.opb 		SAT
TT=2.035
T1=1.89
 ? (MO)
TT=431.393

 SAT
TT=30.635
T1=30.63
 SAT
TT=844.712
T1=844.82
 SAT
TT=30.708
T1=30.71
 SAT
TT=2.035
T1=1.89
 SAT
TT=110.287
T1=108.73
 SAT
TT=102.738
T1=100.67
 SAT
TT=2.903
T1=2.62
 SAT
TT=10.91
T1=10.63
 SAT
TT=6.883
T1=6.88
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_500_25_5_80.opb


? (MO)
TT=425.247

 ?
TT=1798.3

 ? (MO)
TT=1752.63

 ?
TT=1798.1

 ? (TO)
TT=1800.09

 ? (TO)
TT=1800.19

 ? (TO)
TT=1800.4

 ?
TT=1794.52

 ?
TT=1796.47

 ? (MO)
TT=1570.08
Bench nameBest resultsBoolVar
2009-04-26
(complete)		bsolo
3.1
(complete)		bsolo
3.1 cl
(complete)		bsolo
3.1 pb
(complete)		pbclasp
2009-04-24
(complete)		SAT4J Pseudo CP
2.1.1
(complete)		SAT4J Pseudo Resolution
2.1.1
(complete)		SCIPclp
SCIP 1.1.0.7 with CLP 1.8.2
(complete)		SCIPspx
SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
(complete)		wbo
1.0
(complete)
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_500_60_1_15.opb 		SAT
TT=2.386
T1=2.02
 ? (MO)
TT=507.66

 SAT
TT=179.685
T1=179.76
 ?
TT=1798.18

 SAT
TT=179.731
T1=179.76
 SAT
TT=2.386
T1=2.02
 SAT
TT=598.574
T1=596.34
 SAT
TT=349.508
T1=346.99
 SAT
TT=6.874
T1=6.25
 SAT
TT=266.375
T1=266.74
 SAT
TT=12.732
T1=12.72
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_500_60_1_80.opb


? (MO)
TT=510.41

 ?
TT=1798.11

 ? (MO)
TT=1637.45

 ?
TT=1799.08

 ? (TO)
TT=1800.05

 ? (TO)
TT=1800.19

 ? (TO)
TT=1800.45

 ?
TT=1794.11

 ?
TT=1795.11

 ? (TO)
TT=1800.26
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_500_60_2_15.opb 		SAT
TT=2.508
T1=2.15
 ? (MO)
TT=547.714

 SAT
TT=179.682
T1=179.95
 ?
TT=1798.2

 SAT
TT=179.745
T1=179.77
 SAT
TT=2.508
T1=2.15
 SAT
TT=608.716
T1=607.18
 SAT
TT=350.573
T1=348.22
 SAT
TT=7.259
T1=6.62
 SAT
TT=128.57
T1=127.97
 SAT
TT=10.834
T1=10.83
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_500_60_2_80.opb


? (MO)
TT=513.49

 ?
TT=1798.14

 ?
TT=1798.26

 ?
TT=1798.25

 ? (TO)
TT=1800.03

 ? (TO)
TT=1800.23

 ? (TO)
TT=1800.29

 ?
TT=1794.31

 ?
TT=1795.87

 ? (TO)
TT=1800.29
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_500_60_3_15.opb 		SAT
TT=2.107
T1=1.74
 ? (MO)
TT=524.079

 SAT
TT=179.71
T1=179.75
 SAT
TT=723.835
T1=724.07
 SAT
TT=179.695
T1=179.78
 SAT
TT=2.107
T1=1.74
 SAT
TT=605.728
T1=604.05
 SAT
TT=351.449
T1=348.86
 SAT
TT=7.224
T1=6.58
 SAT
TT=227.835
T1=227.24
 SAT
TT=11.918
T1=11.9
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_500_60_3_80.opb


? (MO)
TT=526.341

 ?
TT=1798.24

 ?
TT=1798.29

 ?
TT=1798.36

 ? (TO)
TT=1800.03

 ? (TO)
TT=1800.24

 ? (TO)
TT=1800.4

 ?
TT=1793.7

 ?
TT=1795.3

 ? (TO)
TT=1800.22
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_500_60_4_15.opb 		SAT
TT=2.589
T1=2.23
 ? (MO)
TT=529.376

 SAT
TT=179.664
T1=179.73
 ?
TT=1798.22

 SAT
TT=179.745
T1=179.79
 SAT
TT=2.589
T1=2.23
 SAT
TT=607.719
T1=606.13
 SAT
TT=351.796
T1=349.51
 SAT
TT=7.178
T1=6.54
 SAT
TT=326.698
T1=326.2
 SAT
TT=9.269
T1=9.26
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_500_60_4_80.opb


? (MO)
TT=524.429

 ?
TT=1798.27

 ?
TT=1798.23

 ?
TT=1798.11

 ? (TO)
TT=1800.1

 ? (TO)
TT=1800.17

 ? (TO)
TT=1800.43

 ?
TT=1794.36

 ?
TT=1795.45

 ? (TO)
TT=1800.27
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_500_60_5_15.opb 		SAT
TT=2.067
T1=1.71
 ? (MO)
TT=524.792

 SAT
TT=179.708
T1=179.74
 ?
TT=1798.19

 SAT
TT=179.741
T1=179.78
 SAT
TT=2.067
T1=1.71
 SAT
TT=598.86
T1=597.45
 SAT
TT=349.098
T1=346.52
 SAT
TT=7.168
T1=6.53
 SAT
TT=191.566
T1=191.05
 SAT
TT=12.022
T1=12.46
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_500_60_5_80.opb


? (MO)
TT=521.482

 ?
TT=1798.13

 ?
TT=1798.28

 ?
TT=1798.15

 ? (TO)
TT=1800.01

 ? (TO)
TT=1800.16

 ? (TO)
TT=1800.41

 ?
TT=1794.57

 ?
TT=1795.8

 ? (TO)
TT=1800.26
Bench nameBest resultsBoolVar
2009-04-26
(complete)		bsolo
3.1
(complete)		bsolo
3.1 cl
(complete)		bsolo
3.1 pb
(complete)		pbclasp
2009-04-24
(complete)		SAT4J Pseudo CP
2.1.1
(complete)		SAT4J Pseudo Resolution
2.1.1
(complete)		SCIPclp
SCIP 1.1.0.7 with CLP 1.8.2
(complete)		SCIPspx
SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
(complete)		wbo
1.0
(complete)
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_50_10_1_15.opb


? (TO)
TT=1800.13

 ?
TT=1798.01

 ?
TT=1798.02

 ?
TT=1798.03

 ? (TO)
TT=1800.1

 ? (TO)
TT=1800.28

 ? (TO)
TT=1800.63

 ? (TO)
TT=1800.29

 ? (TO)
TT=1800.23

 ? (TO)
TT=1800.28
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_50_10_1_5.opb 		SAT
TT=0.023
T1=0.02
 SAT
TT=1.295
T1=1.2
 SAT
TT=0.126
T1=0.12
 SAT
TT=15.848
T1=15.85
 SAT
TT=0.134
T1=0.13
 SAT
TT=0.035
T1=0.02
 SAT
TT=0.784
T1=0.55
 SAT
TT=1.352
T1=0.84
 SAT
TT=0.192
T1=0.18
 SAT
TT=0.362
T1=0.34
 SAT
TT=0.023
T1=0.02
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_50_10_2_15.opb


? (TO)
TT=1800.1

 ? (TO)
TT=1800.08

 ?
TT=1798.02

 ? (TO)
TT=1800.11

 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.29

 ? (TO)
TT=1800.93

 ? (TO)
TT=1800.3

 ? (TO)
TT=1800.25

 ? (TO)
TT=1800.29
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_50_10_2_5.opb 		SAT
TT=0.023
T1=0.02
 SAT
TT=1.39
T1=1.67
 SAT
TT=0.144
T1=0.16
 SAT
TT=109.724
T1=109.74
 SAT
TT=0.142
T1=0.14
 SAT
TT=0.038
T1=0.04
 SAT
TT=0.786
T1=0.57
 SAT
TT=1.334
T1=0.85
 SAT
TT=0.195
T1=0.18
 SAT
TT=0.281
T1=0.27
 SAT
TT=0.023
T1=0.02
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_50_10_3_15.opb


? (TO)
TT=1800.06

 ?
TT=1798.05

 ?
TT=1798.02

 ?
TT=1798.04

 ? (TO)
TT=1800.08

 ? (TO)
TT=1800.28

 ? (TO)
TT=1800.59

 ? (TO)
TT=1800.24

 ? (TO)
TT=1800.3

 ? (TO)
TT=1800.32
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_50_10_3_5.opb 		SAT
TT=0.023
T1=0.02
 SAT
TT=1.275
T1=1.18
 SAT
TT=0.139
T1=0.13
 SAT
TT=1.789
T1=1.78
 SAT
TT=0.138
T1=0.13
 SAT
TT=0.038
T1=0.02
 SAT
TT=0.787
T1=0.56
 SAT
TT=1.445
T1=0.9
 SAT
TT=0.194
T1=0.18
 SAT
TT=0.297
T1=0.28
 SAT
TT=0.023
T1=0.02
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_50_10_4_15.opb


? (TO)
TT=1800.11

 ?
TT=1798.02

 ?
TT=1798.02

 ?
TT=1798.03

 ? (TO)
TT=1800.09

 ? (TO)
TT=1800.3

 ? (TO)
TT=1800.62

 ? (TO)
TT=1800.22

 ? (TO)
TT=1800.29

 ? (TO)
TT=1800.34
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_50_10_4_5.opb 		SAT
TT=0.022
T1=0.02
 SAT
TT=1.31
T1=1.22
 SAT
TT=0.131
T1=0.13
 SAT
TT=123.634
T1=123.66
 SAT
TT=0.14
T1=0.14
 SAT
TT=0.035
T1=0.02
 SAT
TT=0.764
T1=0.56
 SAT
TT=1.337
T1=0.86
 SAT
TT=0.181
T1=0.16
 SAT
TT=0.952
T1=0.94
 SAT
TT=0.022
T1=0.02
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_50_10_5_15.opb


? (TO)
TT=1800.05

 ?
TT=1798.01

 ?
TT=1798.02

 ?
TT=1798.08

 ? (TO)
TT=1800.12

 ? (TO)
TT=1800.32

 ? (TO)
TT=1800.61

 ? (TO)
TT=1800.21

 ? (TO)
TT=1800.32

 ? (TO)
TT=1800.3
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_50_10_5_5.opb 		SAT
TT=0.038
T1=0.02
 SAT
TT=1.28
T1=1.19
 SAT
TT=0.136
T1=0.13
 SAT
TT=1.336
T1=1.33
 SAT
TT=0.135
T1=0.13
 SAT
TT=0.038
T1=0.02
 SAT
TT=0.828
T1=0.57
 SAT
TT=1.5
T1=0.95
 SAT
TT=0.977
T1=0.96
 SAT
TT=0.978
T1=0.96
 SAT
TT=0.088
T1=0.08
Bench nameBest resultsBoolVar
2009-04-26
(complete)		bsolo
3.1
(complete)		bsolo
3.1 cl
(complete)		bsolo
3.1 pb
(complete)		pbclasp
2009-04-24
(complete)		SAT4J Pseudo CP
2.1.1
(complete)		SAT4J Pseudo Resolution
2.1.1
(complete)		SCIPclp
SCIP 1.1.0.7 with CLP 1.8.2
(complete)		SCIPspx
SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
(complete)		wbo
1.0
(complete)
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_50_25_1_15.opb 		UNSAT
TT=12.386

 UNSAT
TT=74.816

 UNSAT
TT=350.725

 ?
TT=1798.05

 UNSAT
TT=12.386

 UNSAT
TT=26.277

 UNSAT
TT=164.176

 UNSAT
TT=705.377

 UNSAT
TT=24.783

 UNSAT
TT=14.817

 UNSAT
TT=408.801
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_50_25_1_5.opb 		SAT
TT=0.123
T1=0.1
 SAT
TT=5.473
T1=5.93
 SAT
TT=1.635
T1=1.63
 SAT
TT=14.468
T1=14.46
 SAT
TT=1.585
T1=1.58
 SAT
TT=0.123
T1=0.1
 SAT
TT=3.733
T1=2.14
 SAT
TT=2.461
T1=1.47
 SAT
TT=1.961
T1=1.94
 SAT
TT=2.18
T1=2.15
 SAT
TT=1.581
T1=1.58
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_50_25_2_15.opb 		UNSAT
TT=16.459

 UNSAT
TT=75.919

 UNSAT
TT=346.857

 ?
TT=1798.03

 UNSAT
TT=16.459

 UNSAT
TT=33.688

 UNSAT
TT=42.734

 UNSAT
TT=997.846

 UNSAT
TT=23.092

 UNSAT
TT=18.139

 UNSAT
TT=1086.17
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_50_25_2_5.opb 		SAT
TT=0.082
T1=0.06
 SAT
TT=4.844
T1=4.97
 SAT
TT=1.492
T1=1.49
 SAT
TT=77.926
T1=77.95
 SAT
TT=1.72
T1=1.72
 SAT
TT=0.082
T1=0.06
 SAT
TT=3.784
T1=2.17
 SAT
TT=2.201
T1=1.34
 SAT
TT=4.071
T1=4.04
 SAT
TT=4.935
T1=4.9
 SAT
TT=12.871
T1=12.87
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_50_25_3_15.opb 		UNSAT
TT=20.006

 UNSAT
TT=73.623

 UNSAT
TT=407.931

 ?
TT=1798.05

 UNSAT
TT=31.216

 UNSAT
TT=33.51

 UNSAT
TT=77.034

 UNSAT
TT=1036.04

 UNSAT
TT=21.839

 UNSAT
TT=20.006

 UNSAT
TT=811.461
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_50_25_3_5.opb 		SAT
TT=0.067
T1=0.07
 SAT
TT=4.72
T1=4.62
 SAT
TT=1.569
T1=1.56
 SAT
TT=2.223
T1=2.22
 SAT
TT=1.486
T1=1.48
 SAT
TT=0.067
T1=0.07
 SAT
TT=4.159
T1=2.35
 SAT
TT=2.216
T1=1.43
 SAT
TT=3.619
T1=3.59
 SAT
TT=4.573
T1=4.55
 SAT
TT=8.585
T1=8.58
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_50_25_4_15.opb 		UNSAT
TT=19.25

 UNSAT
TT=107.988

 UNSAT
TT=642.195

 ?
TT=1798.06

 UNSAT
TT=36.408

 UNSAT
TT=34.499

 UNSAT
TT=418.544

 ? (TO)
TT=1800.54

 UNSAT
TT=19.25

 UNSAT
TT=21.448

 UNSAT
TT=679.011
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_50_25_4_5.opb 		SAT
TT=0.066
T1=0.05
 SAT
TT=4.765
T1=5
 SAT
TT=1.418
T1=1.41
 SAT
TT=34.204
T1=34.58
 SAT
TT=1.728
T1=1.72
 SAT
TT=0.066
T1=0.05
 SAT
TT=3.713
T1=2.18
 SAT
TT=2.284
T1=1.4
 SAT
TT=5.011
T1=4.98
 SAT
TT=2.46
T1=2.43
 SAT
TT=8.391
T1=8.39
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_50_25_5_15.opb 		UNSAT
TT=18.027

 UNSAT
TT=112.316

 UNSAT
TT=861.319

 ?
TT=1798.05

 UNSAT
TT=34.838

 UNSAT
TT=35.939

 UNSAT
TT=32.857

 ? (TO)
TT=1800.58

 UNSAT
TT=23.578

 UNSAT
TT=18.027

 UNSAT
TT=694.919
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_50_25_5_5.opb 		SAT
TT=0.081
T1=0.26
 SAT
TT=4.674
T1=4.73
 SAT
TT=1.502
T1=1.5
 SAT
TT=21.587
T1=21.59
 SAT
TT=1.609
T1=1.6
 SAT
TT=0.081
T1=0.26
 SAT
TT=3.525
T1=2.15
 SAT
TT=2.091
T1=1.34
 SAT
TT=3.362
T1=3.33
 SAT
TT=3.487
T1=3.46
 SAT
TT=48.297
T1=48.3



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