PB'11 competition: satisfaction and optimization track: 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:
borg pb-dec-11.04.03 (complete)
bsolo 3.2 (complete)
clasp 2.0-R4191 (complete)
MinisatID 2.4.8 [DEPRECATED] (complete)
MinisatID 2.4.8-gmp [DEPRECATED] (complete)
MinisatID 2.5.2 (fixed) (complete)
MinisatID 2.5.2-gmp (fixed) (complete)
Sat4j CuttingPlanes 2.3.0 (complete)
Sat4j Res//CP 2.3.0 (complete)
Sat4j Resolution 2.3.0 (complete)
SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete)
SCIP spx 2 2011-06-10 (fixed) (complete)
SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete)
SCIP spx E_2 2011-06-10 (fixed) (complete)

Bench nameBest results
on this
instance		borg
pb-dec-11.04.03
(complete)		bsolo
3.2
(complete)		clasp
2.0-R4191
(complete)		MinisatID
2.4.8 [DEPRECATED]
(complete)		MinisatID
2.4.8-gmp [DEPRECATED]
(complete)		MinisatID
2.5.2 (fixed)
(complete)		MinisatID
2.5.2-gmp (fixed)
(complete)		Sat4j CuttingPlanes
2.3.0
(complete)		Sat4j Res//CP
2.3.0
(complete)		Sat4j Resolution
2.3.0
(complete)		SCIP spx
SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED]
(complete)		SCIP spx 2
2011-06-10 (fixed)
(complete)		SCIP spx E
SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED]
(complete)		SCIP spx E_2
2011-06-10 (fixed)
(complete)
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_100_10_1_15.opb 		SAT
TT=0.018
T1=0.01
 SAT
TT=0.566
T1=0.7
 SAT
TT=0.554
T1=0.55
 SAT
TT=0.018
T1=0.01
 SAT
TT=0.072
T1=0.07
 SAT
TT=0.41
T1=0.4
 ? (exit code)
TT=0.001

 ? (exit code)
TT=0.001

 SAT
TT=2.261
T1=1.06
 SAT
TT=3.565
T1=1.33
 ? (TO)
TT=1800.08

 SAT
TT=2.708
T1=2.69
 SAT
TT=2.457
T1=2.44
 SAT
TT=0.103
T1=0.09
 SAT
TT=0.101
T1=0.09
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_100_10_1_40.opb


? (TO)
TT=1800.05

 ?
TT=1798.01

 ? (TO)
TT=1800.05

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.06

 ? (exit code)
TT=0.001

 ? (exit code)
TT=0.001

 ? (TO)
TT=1800.26

 ? (TO)
TT=1800.38

 ? (TO)
TT=1800.08

 ? (TO)
TT=1800.08

 ?
TT=1797.07

 ? (TO)
TT=1800.06

 ?
TT=1797.09
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_100_10_2_15.opb 		SAT
TT=0.025
T1=0.02
 SAT
TT=0.512
T1=0.61
 SAT
TT=0.714
T1=0.71
 SAT
TT=0.025
T1=0.02
 SAT
TT=1.138
T1=1.13
 SAT
TT=7.173
T1=7.17
 ? (exit code)
TT=0.001

 ? (exit code)
TT=0.001

 SAT
TT=1.823
T1=0.88
 SAT
TT=3.332
T1=1.33
 SAT
TT=911.206
T1=909.75
 SAT
TT=1.851
T1=1.84
 SAT
TT=1.811
T1=1.8
 SAT
TT=0.122
T1=0.11
 SAT
TT=0.107
T1=0.09
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_100_10_2_40.opb


? (TO)
TT=1800.04

 ?
TT=1798.01

 ? (TO)
TT=1800.08

 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.07

 ? (exit code)
TT=0

 ? (exit code)
TT=0.001

 ? (TO)
TT=1800.24

 ? (TO)
TT=1800.33

 ? (TO)
TT=1800.12

 ? (TO)
TT=1800.12

 ?
TT=1797.07

 ? (TO)
TT=1800.03

 ?
TT=1797.1
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_100_10_3_15.opb 		SAT
TT=0.016
T1=0.01
 SAT
TT=0.519
T1=1.12
 SAT
TT=0.619
T1=0.61
 SAT
TT=0.016
T1=0.01
 SAT
TT=0.734
T1=0.73
 SAT
TT=4.869
T1=4.87
 ? (exit code)
TT=0.001

 ? (exit code)
TT=0

 SAT
TT=1.962
T1=0.92
 SAT
TT=3.12
T1=1.32
 ? (TO)
TT=1800.08

 SAT
TT=1.971
T1=1.96
 SAT
TT=2.094
T1=2.08
 SAT
TT=0.115
T1=0.12
 SAT
TT=0.103
T1=0.09
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_100_10_3_40.opb


? (TO)
TT=1800.06

 ?
TT=1798.02

 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.09

 ? (TO)
TT=1800.09

 ? (exit code)
TT=0.001

 ? (exit code)
TT=0.001

 ? (TO)
TT=1800.31

 ? (TO)
TT=1800.26

 ? (TO)
TT=1800.1

 ?
TT=1799.99

 ?
TT=1797.05

 ? (TO)
TT=1800.07

 ?
TT=1797.11
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_100_10_4_15.opb 		SAT
TT=0.023
T1=0.02
 SAT
TT=0.586
T1=0.74
 SAT
TT=0.627
T1=0.62
 SAT
TT=0.023
T1=0.02
 SAT
TT=1.523
T1=1.52
 SAT
TT=8.924
T1=8.92
 ? (exit code)
TT=0.001

 ? (exit code)
TT=0.001

 SAT
TT=1.868
T1=0.85
 SAT
TT=2.962
T1=1.32
 ? (TO)
TT=1800.14

 SAT
TT=1.961
T1=1.95
 SAT
TT=1.922
T1=1.91
 SAT
TT=0.117
T1=0.11
 SAT
TT=0.104
T1=0.09
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_100_10_4_40.opb


? (TO)
TT=1800.01

 ?
TT=1798.01

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.07

 ? (exit code)
TT=0.001

 ? (exit code)
TT=0.001

 ? (TO)
TT=1800.36

 ? (TO)
TT=1800.39

 ? (TO)
TT=1800.08

 ?
TT=1799.98

 ?
TT=1797.07

 ? (TO)
TT=1800.07

 ?
TT=1797.1
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_100_10_5_15.opb 		SAT
TT=0.021
T1=0.01
 SAT
TT=0.569
T1=0.69
 SAT
TT=0.56
T1=0.55
 SAT
TT=0.021
T1=0.01
 SAT
TT=0.074
T1=0.07
 SAT
TT=0.432
T1=0.43
 ? (exit code)
TT=0

 ? (exit code)
TT=0

 SAT
TT=1.735
T1=0.72
 SAT
TT=2.842
T1=1.32
 SAT
TT=852.776
T1=851.49
 SAT
TT=1.523
T1=1.51
 SAT
TT=1.49
T1=1.48
 SAT
TT=4.988
T1=4.98
 SAT
TT=5.057
T1=5.04
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_100_10_5_40.opb


? (TO)
TT=1800.1

 ?
TT=1798.01

 ? (TO)
TT=1800.09

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.05

 ? (exit code)
TT=0.001

 ? (exit code)
TT=0.001

 ? (TO)
TT=1800.22

 ? (TO)
TT=1800.31

 ? (TO)
TT=1800.12

 ? (TO)
TT=1800.05

 ?
TT=1797.07

 ? (TO)
TT=1800.06

 ?
TT=1797.1
Bench nameBest resultsborg
pb-dec-11.04.03
(complete)		bsolo
3.2
(complete)		clasp
2.0-R4191
(complete)		MinisatID
2.4.8 [DEPRECATED]
(complete)		MinisatID
2.4.8-gmp [DEPRECATED]
(complete)		MinisatID
2.5.2 (fixed)
(complete)		MinisatID
2.5.2-gmp (fixed)
(complete)		Sat4j CuttingPlanes
2.3.0
(complete)		Sat4j Res//CP
2.3.0
(complete)		Sat4j Resolution
2.3.0
(complete)		SCIP spx
SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED]
(complete)		SCIP spx 2
2011-06-10 (fixed)
(complete)		SCIP spx E
SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED]
(complete)		SCIP spx E_2
2011-06-10 (fixed)
(complete)
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_100_25_1_15.opb 		SAT
TT=4.916
T1=4.9
 ? (TO)
TT=1800.06

 ?
TT=1798.03

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.07

 ? (exit code)
TT=0.001

 ? (exit code)
TT=0.001

 ? (TO)
TT=1800.23

 ? (TO)
TT=1800.25

 ? (TO)
TT=1800.15

 SAT
TT=591.99
T1=591.96
 SAT
TT=597.224
T1=597.18
 SAT
TT=14.268
T1=14.25
 SAT
TT=4.916
T1=4.9
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_100_25_1_40.opb 		UNSAT
TT=18.56

 UNSAT
TT=1393.7

 ?
TT=1798.04

 ? (TO)
TT=1800.09

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.07

 ? (exit code)
TT=0

 ? (exit code)
TT=0.001

 ? (TO)
TT=1800.26

 ? (TO)
TT=1800.47

 ? (TO)
TT=1800.16

 UNSAT
TT=365.924

 UNSAT
TT=366.841

 UNSAT
TT=21.885

 UNSAT
TT=18.56
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_100_25_2_15.opb 		SAT
TT=86.032
T1=86.01
 ? (TO)
TT=1800.01

 ?
TT=1798.06

 SAT
TT=1356.74
T1=1356.74
 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.04

 ? (exit code)
TT=0.002

 ? (exit code)
TT=0.002

 ? (TO)
TT=1800.26

 ? (TO)
TT=1800.3

 ? (TO)
TT=1800.08

 ? (TO)
TT=1800.07

 ?
TT=1797.1

 SAT
TT=126.71
T1=126.68
 SAT
TT=86.032
T1=86.01
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_100_25_2_40.opb 		UNSAT
TT=18.096

 UNSAT
TT=1144.81

 ?
TT=1798.09

 ? (TO)
TT=1800.11

 ? (TO)
TT=1800.04

 ? (TO)
TT=1800.06

 ? (exit code)
TT=0.001

 ? (exit code)
TT=0.001

 ? (TO)
TT=1800.22

 ? (TO)
TT=1800.16

 ? (TO)
TT=1800.06

 UNSAT
TT=347.223

 UNSAT
TT=348.626

 UNSAT
TT=18.096

 UNSAT
TT=18.261
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_100_25_3_15.opb 		SAT
TT=6.786
T1=6.77
 SAT
TT=1560.13
T1=1550.68
 ?
TT=1798.03

 SAT
TT=346.989
T1=346.97
 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.06

 ? (exit code)
TT=0.001

 ? (exit code)
TT=0.001

 ? (TO)
TT=1800.23

 ? (TO)
TT=1800.25

 ? (TO)
TT=1800.13

 SAT
TT=1382.36
T1=1382.33
 SAT
TT=1152.75
T1=1152.7
 SAT
TT=6.786
T1=6.77
 SAT
TT=7.374
T1=7.36
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_100_25_3_40.opb 		UNSAT
TT=18.902

 UNSAT
TT=955.345

 ?
TT=1798.03

 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.04

 ? (TO)
TT=1800.02

 ? (exit code)
TT=0.001

 ? (exit code)
TT=0.001

 ? (TO)
TT=1800.3

 ? (TO)
TT=1800.22

 ? (TO)
TT=1800.15

 UNSAT
TT=360.237

 UNSAT
TT=329.966

 UNSAT
TT=18.902

 UNSAT
TT=19.466
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_100_25_4_15.opb 		SAT
TT=93.724
T1=93.69
 SAT
TT=1512.64
T1=1503.54
 ?
TT=1798.05

 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.05

 ? (TO)
TT=1800.06

 ? (exit code)
TT=0.001

 ? (exit code)
TT=0.001

 ? (TO)
TT=1800.21

 ? (TO)
TT=1800.35

 ? (TO)
TT=1800.07

 SAT
TT=462.944
T1=462.92
 SAT
TT=419.136
T1=419.09
 SAT
TT=93.724
T1=93.69
 SAT
TT=224.39
T1=224.35
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_100_25_4_40.opb 		UNSAT
TT=15.038

 UNSAT
TT=1615.52

 ?
TT=1798.14

 ? (TO)
TT=1800.12

 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.04

 ? (exit code)
TT=0.001

 ? (exit code)
TT=0.002

 ? (TO)
TT=1800.24

 ? (TO)
TT=1800.33

 ? (TO)
TT=1800.06

 UNSAT
TT=342.005

 UNSAT
TT=355.523

 UNSAT
TT=15.831

 UNSAT
TT=15.038
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_100_25_5_15.opb 		SAT
TT=13.756
T1=13.74
 SAT
TT=911.504
T1=907.19
 ?
TT=1798.03

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.07

 ? (exit code)
TT=0.001

 ? (exit code)
TT=0

 ? (TO)
TT=1800.22

 ? (TO)
TT=1800.24

 ? (TO)
TT=1800.16

 SAT
TT=1483.98
T1=1484.13
 SAT
TT=1409.71
T1=1409.64
 SAT
TT=51.615
T1=51.59
 SAT
TT=13.756
T1=13.74
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_100_25_5_40.opb 		UNSAT
TT=17.907

 UNSAT
TT=1199.79

 ?
TT=1798.03

 ? (TO)
TT=1800.05

 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.06

 ? (exit code)
TT=0.002

 ? (exit code)
TT=0.002

 ? (TO)
TT=1800.26

 ? (TO)
TT=1800.21

 ? (TO)
TT=1800.14

 UNSAT
TT=345.827

 UNSAT
TT=347.008

 UNSAT
TT=17.907

 UNSAT
TT=18.538
Bench nameBest resultsborg
pb-dec-11.04.03
(complete)		bsolo
3.2
(complete)		clasp
2.0-R4191
(complete)		MinisatID
2.4.8 [DEPRECATED]
(complete)		MinisatID
2.4.8-gmp [DEPRECATED]
(complete)		MinisatID
2.5.2 (fixed)
(complete)		MinisatID
2.5.2-gmp (fixed)
(complete)		Sat4j CuttingPlanes
2.3.0
(complete)		Sat4j Res//CP
2.3.0
(complete)		Sat4j Resolution
2.3.0
(complete)		SCIP spx
SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED]
(complete)		SCIP spx 2
2011-06-10 (fixed)
(complete)		SCIP spx E
SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED]
(complete)		SCIP spx E_2
2011-06-10 (fixed)
(complete)
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/
dbsg/normalized-dbsg_10_4_1_5.opb 		UNSAT
TT=0.003

 UNSAT
TT=0.456

 UNSAT
TT=0.003

 UNSAT
TT=0.003

 UNSAT
TT=0.012

 UNSAT
TT=0.054

 ? (exit code)
TT=0

 ? (exit code)
TT=0.001

 UNSAT
TT=0.45

 UNSAT
TT=0.618

 UNSAT
TT=0.314

 UNSAT
TT=0.033

 UNSAT
TT=0.033

 UNSAT
TT=0.034

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

 UNSAT
TT=0.44

 UNSAT
TT=0.002

 UNSAT
TT=0.002

 UNSAT
TT=0.003

 UNSAT
TT=0.009

 ? (exit code)
TT=0.001

 ? (exit code)
TT=0

 UNSAT
TT=0.173

 UNSAT
TT=0.195

 UNSAT
TT=0.188

 UNSAT
TT=0.015

 UNSAT
TT=0.015

 UNSAT
TT=0.018

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

 UNSAT
TT=0.455

 UNSAT
TT=0.003

 UNSAT
TT=0.002

 UNSAT
TT=0.01

 UNSAT
TT=0.045

 ? (exit code)
TT=0

 ? (exit code)
TT=0.001

 UNSAT
TT=0.339

 UNSAT
TT=0.581

 UNSAT
TT=0.317

 UNSAT
TT=0.051

 UNSAT
TT=0.051

 UNSAT
TT=0.034

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

 UNSAT
TT=0.425

 UNSAT
TT=0.003

 UNSAT
TT=0.002

 UNSAT
TT=0.003

 UNSAT
TT=0.008

 ? (exit code)
TT=0.001

 ? (exit code)
TT=0.001

 UNSAT
TT=0.177

 UNSAT
TT=0.192

 UNSAT
TT=0.178

 UNSAT
TT=0.015

 UNSAT
TT=0.014

 UNSAT
TT=0.017

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

 UNSAT
TT=0.49

 UNSAT
TT=0.003

 UNSAT
TT=0.003

 UNSAT
TT=0.011

 UNSAT
TT=0.047

 ? (exit code)
TT=0.001

 ? (exit code)
TT=0.001

 UNSAT
TT=0.284

 UNSAT
TT=0.526

 UNSAT
TT=0.299

 UNSAT
TT=0.035

 UNSAT
TT=0.03

 UNSAT
TT=0.032

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

 UNSAT
TT=0.455

 UNSAT
TT=0.002

 UNSAT
TT=0.001

 UNSAT
TT=0.003

 UNSAT
TT=0.009

 ? (exit code)
TT=0.001

 ? (exit code)
TT=0.001

 UNSAT
TT=0.183

 UNSAT
TT=0.204

 UNSAT
TT=0.181

 UNSAT
TT=0.015

 UNSAT
TT=0.015

 UNSAT
TT=0.018

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

 UNSAT
TT=0.493

 UNSAT
TT=0.003

 UNSAT
TT=0.002

 UNSAT
TT=0.009

 UNSAT
TT=0.04

 ? (exit code)
TT=0

 ? (exit code)
TT=0.001

 UNSAT
TT=0.254

 UNSAT
TT=0.585

 UNSAT
TT=0.315

 UNSAT
TT=0.048

 UNSAT
TT=0.048

 UNSAT
TT=0.032

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

 UNSAT
TT=0.454

 UNSAT
TT=0.003

 UNSAT
TT=0.002

 UNSAT
TT=0.003

 UNSAT
TT=0.009

 ? (exit code)
TT=0

 ? (exit code)
TT=0.001

 UNSAT
TT=0.186

 UNSAT
TT=0.197

 UNSAT
TT=0.179

 UNSAT
TT=0.015

 UNSAT
TT=0.014

 UNSAT
TT=0.017

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

 UNSAT
TT=0.465

 UNSAT
TT=0.004

 UNSAT
TT=0.003

 UNSAT
TT=0.01

 UNSAT
TT=0.047

 ? (exit code)
TT=0.002

 ? (exit code)
TT=0.001

 UNSAT
TT=0.22

 UNSAT
TT=0.566

 UNSAT
TT=0.32

 UNSAT
TT=0.036

 UNSAT
TT=0.031

 UNSAT
TT=0.033

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

 UNSAT
TT=0.456

 UNSAT
TT=0.002

 UNSAT
TT=0.002

 UNSAT
TT=0.003

 UNSAT
TT=0.008

 ? (exit code)
TT=0.002

 ? (exit code)
TT=0

 UNSAT
TT=0.179

 UNSAT
TT=0.195

 UNSAT
TT=0.176

 UNSAT
TT=0.015

 UNSAT
TT=0.014

 UNSAT
TT=0.017

 UNSAT
TT=0.017
Bench nameBest resultsborg
pb-dec-11.04.03
(complete)		bsolo
3.2
(complete)		clasp
2.0-R4191
(complete)		MinisatID
2.4.8 [DEPRECATED]
(complete)		MinisatID
2.4.8-gmp [DEPRECATED]
(complete)		MinisatID
2.5.2 (fixed)
(complete)		MinisatID
2.5.2-gmp (fixed)
(complete)		Sat4j CuttingPlanes
2.3.0
(complete)		Sat4j Res//CP
2.3.0
(complete)		Sat4j Resolution
2.3.0
(complete)		SCIP spx
SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED]
(complete)		SCIP spx 2
2011-06-10 (fixed)
(complete)		SCIP spx E
SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED]
(complete)		SCIP spx E_2
2011-06-10 (fixed)
(complete)
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_200_10_1_15.opb 		SAT
TT=0.033
T1=0.03
 SAT
TT=0.668
T1=0.79
 SAT
TT=1.306
T1=1.3
 SAT
TT=0.033
T1=0.03
 SAT
TT=0.355
T1=0.35
 SAT
TT=2.519
T1=2.51
 ? (exit code)
TT=0.001

 ? (exit code)
TT=0.001

 SAT
TT=0.998
T1=0.46
 SAT
TT=1.581
T1=0.92
 ? (TO)
TT=1800.07

 SAT
TT=0.779
T1=0.76
 SAT
TT=0.751
T1=0.73
 SAT
TT=29.021
T1=29.01
 SAT
TT=31.632
T1=31.61
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_200_10_1_40.opb 		SAT
TT=0.652
T1=0.71
 SAT
TT=0.652
T1=0.71
 SAT
TT=3.819
T1=3.81
 ? (TO)
TT=1800.09

 ? (TO)
TT=1800.05

 ? (TO)
TT=1800.03

 ? (exit code)
TT=0.001

 ? (exit code)
TT=0.002

 SAT
TT=61.184
T1=59
 SAT
TT=114.555
T1=56.64
 ? (TO)
TT=1800.15

 SAT
TT=16.933
T1=16.91
 SAT
TT=17.024
T1=17
 SAT
TT=15.826
T1=15.81
 SAT
TT=16.903
T1=16.89
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_200_10_2_15.opb 		SAT
TT=0.03
T1=0.03
 SAT
TT=0.657
T1=0.9
 SAT
TT=1.203
T1=1.2
 SAT
TT=0.03
T1=0.03
 SAT
TT=0.353
T1=0.35
 SAT
TT=2.832
T1=2.83
 ? (exit code)
TT=0.002

 ? (exit code)
TT=0.001

 SAT
TT=0.992
T1=0.47
 SAT
TT=1.55
T1=0.92
 ? (TO)
TT=1800.07

 SAT
TT=0.35
T1=0.33
 SAT
TT=0.336
T1=0.31
 SAT
TT=26.462
T1=26.45
 SAT
TT=26.621
T1=26.6
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_200_10_2_40.opb 		SAT
TT=0.124
T1=0.12
 SAT
TT=0.643
T1=0.69
 SAT
TT=57.394
T1=57.39
 SAT
TT=0.124
T1=0.12
 SAT
TT=2.133
T1=2.13
 SAT
TT=12.113
T1=12.11
 ? (exit code)
TT=0.002

 ? (exit code)
TT=0.001

 SAT
TT=12.657
T1=11
 SAT
TT=17.649
T1=8.45
 ? (TO)
TT=1800.14

 SAT
TT=16.427
T1=16.4
 SAT
TT=16.363
T1=16.34
 SAT
TT=63.452
T1=63.43
 SAT
TT=71.878
T1=71.86
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_200_10_3_15.opb 		SAT
TT=0.025
T1=0.02
 SAT
TT=0.64
T1=0.69
 SAT
TT=1.196
T1=1.19
 SAT
TT=0.025
T1=0.02
 SAT
TT=0.357
T1=0.35
 SAT
TT=2.523
T1=2.53
 ? (exit code)
TT=0.001

 ? (exit code)
TT=0.001

 SAT
TT=0.995
T1=0.47
 SAT
TT=1.326
T1=0.92
 ? (TO)
TT=1800.07

 SAT
TT=0.617
T1=0.59
 SAT
TT=0.542
T1=0.52
 SAT
TT=67.915
T1=67.9
 SAT
TT=66.281
T1=66.26
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_200_10_3_40.opb 		SAT
TT=0.495
T1=0.49
 SAT
TT=0.835
T1=1.03
 SAT
TT=3.701
T1=3.7
 SAT
TT=1.009
T1=1
 SAT
TT=0.495
T1=0.49
 SAT
TT=2.915
T1=2.91
 ? (exit code)
TT=0.001

 ? (exit code)
TT=0.001

 SAT
TT=16.705
T1=14.79
 SAT
TT=23.597
T1=11.46
 ? (TO)
TT=1800.14

 SAT
TT=23.002
T1=22.98
 SAT
TT=22.891
T1=22.87
 SAT
TT=107.171
T1=107.16
 SAT
TT=94.583
T1=94.57
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_200_10_4_15.opb 		SAT
TT=0.028
T1=0.02
 SAT
TT=0.77
T1=1.04
 SAT
TT=1.261
T1=1.26
 SAT
TT=0.028
T1=0.02
 SAT
TT=0.356
T1=0.35
 SAT
TT=2.501
T1=2.52
 ? (exit code)
TT=0.001

 ? (exit code)
TT=0.001

 SAT
TT=1.026
T1=0.47
 SAT
TT=1.627
T1=0.93
 ? (TO)
TT=1800.15

 SAT
TT=1.994
T1=1.97
 SAT
TT=2.12
T1=2.1
 SAT
TT=18.412
T1=18.39
 SAT
TT=16.49
T1=16.47
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_200_10_4_40.opb 		SAT
TT=0.662
T1=0.86
 SAT
TT=0.662
T1=0.86
 SAT
TT=2.541
T1=2.54
 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.11

 ? (exit code)
TT=0.002

 ? (exit code)
TT=0.002

 SAT
TT=5.205
T1=3.59
 SAT
TT=8.94
T1=3.93
 ? (TO)
TT=1800.14

 SAT
TT=11.442
T1=11.42
 SAT
TT=11.424
T1=11.4
 SAT
TT=72.641
T1=72.63
 SAT
TT=73.042
T1=73.03
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_200_10_5_15.opb 		SAT
TT=0.033
T1=0.07
 SAT
TT=0.698
T1=0.92
 SAT
TT=1.38
T1=1.37
 SAT
TT=0.033
T1=0.07
 SAT
TT=0.359
T1=0.35
 SAT
TT=2.52
T1=2.53
 ? (exit code)
TT=0.001

 ? (exit code)
TT=0.001

 SAT
TT=1.032
T1=0.47
 SAT
TT=1.598
T1=0.93
 ? (TO)
TT=1800.1

 SAT
TT=0.984
T1=0.96
 SAT
TT=0.948
T1=0.93
 SAT
TT=33.865
T1=33.86
 SAT
TT=33.34
T1=33.32
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_200_10_5_40.opb 		SAT
TT=0.34
T1=0.34
 SAT
TT=0.722
T1=0.92
 SAT
TT=1.738
T1=1.73
 SAT
TT=0.34
T1=0.34
 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.1

 ? (exit code)
TT=0.002

 ? (exit code)
TT=0.002

 SAT
TT=6.47
T1=4.81
 SAT
TT=11.189
T1=4.95
 ? (TO)
TT=1800.07

 SAT
TT=25.3
T1=25.28
 SAT
TT=24.968
T1=24.94
 SAT
TT=17.252
T1=17.24
 SAT
TT=17.042
T1=17.02
Bench nameBest resultsborg
pb-dec-11.04.03
(complete)		bsolo
3.2
(complete)		clasp
2.0-R4191
(complete)		MinisatID
2.4.8 [DEPRECATED]
(complete)		MinisatID
2.4.8-gmp [DEPRECATED]
(complete)		MinisatID
2.5.2 (fixed)
(complete)		MinisatID
2.5.2-gmp (fixed)
(complete)		Sat4j CuttingPlanes
2.3.0
(complete)		Sat4j Res//CP
2.3.0
(complete)		Sat4j Resolution
2.3.0
(complete)		SCIP spx
SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED]
(complete)		SCIP spx 2
2011-06-10 (fixed)
(complete)		SCIP spx E
SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED]
(complete)		SCIP spx E_2
2011-06-10 (fixed)
(complete)
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_200_25_1_15.opb 		SAT
TT=0.111
T1=0.11
 SAT
TT=0.841
T1=1
 SAT
TT=18.223
T1=18.22
 SAT
TT=0.111
T1=0.11
 SAT
TT=0.587
T1=0.58
 SAT
TT=3.329
T1=3.32
 ? (exit code)
TT=0.001

 ? (exit code)
TT=0.001

 SAT
TT=3.474
T1=2.16
 SAT
TT=5.899
T1=2.6
 ? (TO)
TT=1800.1

 SAT
TT=11.804
T1=11.79
 SAT
TT=11.431
T1=11.39
 SAT
TT=34.673
T1=34.65
 SAT
TT=33.463
T1=33.44
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_200_25_1_40.opb


? (TO)
TT=1800.01

 ?
TT=1798.05

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.05

 ? (TO)
TT=1800.08

 ? (exit code)
TT=0.001

 ? (exit code)
TT=0.001

 ? (TO)
TT=1800.25

 ? (TO)
TT=1800.39

 ? (TO)
TT=1800.12

 ? (TO)
TT=1800.06

 ?
TT=1797.15

 ? (TO)
TT=1800.05

 ?
TT=1797.08
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_200_25_2_15.opb 		SAT
TT=0.058
T1=0.05
 SAT
TT=0.937
T1=1.16
 SAT
TT=18.511
T1=18.51
 SAT
TT=0.058
T1=0.05
 SAT
TT=0.475
T1=0.47
 SAT
TT=2.954
T1=2.95
 ? (exit code)
TT=0.001

 ? (exit code)
TT=0.001

 SAT
TT=4.029
T1=2.66
 SAT
TT=7.639
T1=3.11
 ? (TO)
TT=1800.17

 SAT
TT=12.14
T1=12.09
 SAT
TT=10.781
T1=10.74
 SAT
TT=30.122
T1=30.1
 SAT
TT=28.968
T1=28.94
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_200_25_2_40.opb


? (TO)
TT=1800.08

 ? (TO)
TT=1800.1

 ? (TO)
TT=1800.09

 ? (TO)
TT=1800.04

 ? (TO)
TT=1800.08

 ? (exit code)
TT=0.002

 ? (exit code)
TT=0.001

 ? (TO)
TT=1800.28

 ? (TO)
TT=1800.28

 ? (TO)
TT=1800.17

 ? (TO)
TT=1800.07

 ?
TT=1797.13

 ? (TO)
TT=1800.04

 ?
TT=1797.08
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_200_25_3_15.opb 		SAT
TT=0.228
T1=0.22
 SAT
TT=0.934
T1=0.95
 SAT
TT=19.95
T1=19.95
 SAT
TT=0.228
T1=0.22
 SAT
TT=0.6
T1=0.59
 SAT
TT=3.545
T1=3.54
 ? (exit code)
TT=0.001

 ? (exit code)
TT=0.001

 SAT
TT=4.752
T1=3.25
 SAT
TT=8.708
T1=3.63
 ? (TO)
TT=1800.14

 SAT
TT=9.332
T1=9.29
 SAT
TT=9.025
T1=8.98
 SAT
TT=18.344
T1=18.32
 SAT
TT=18.161
T1=18.13
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_200_25_3_40.opb


? (TO)
TT=1800.06

 ?
TT=1798.04

 ? (TO)
TT=1800.1

 ? (TO)
TT=1800.12

 ? (TO)
TT=1800.13

 ? (exit code)
TT=0.001

 ? (exit code)
TT=0.001

 ? (TO)
TT=1800.29

 ? (TO)
TT=1800.42

 ? (TO)
TT=1800.09

 ? (TO)
TT=1800.04

 ?
TT=1797.12

 ? (TO)
TT=1800.13

 ?
TT=1797.09
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_200_25_4_15.opb 		SAT
TT=0.065
T1=0.06
 SAT
TT=0.961
T1=1.14
 SAT
TT=18.873
T1=18.87
 SAT
TT=0.065
T1=0.06
 SAT
TT=0.476
T1=0.47
 SAT
TT=3.194
T1=3.19
 ? (exit code)
TT=0.002

 ? (exit code)
TT=0.002

 SAT
TT=3.857
T1=2.52
 SAT
TT=6.683
T1=2.63
 ? (TO)
TT=1800.09

 SAT
TT=11.403
T1=11.36
 SAT
TT=12.147
T1=12.1
 SAT
TT=0.336
T1=0.31
 SAT
TT=0.295
T1=0.27
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_200_25_4_40.opb


? (TO)
TT=1800.06

 ?
TT=1798.05

 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.07

 ? (exit code)
TT=0.001

 ? (exit code)
TT=0.002

 ? (TO)
TT=1800.19

 ? (TO)
TT=1800.32

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.08

 ?
TT=1797.14

 ? (TO)
TT=1800.1

 ?
TT=1797.11
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_200_25_5_15.opb 		SAT
TT=0.133
T1=0.13
 SAT
TT=0.877
T1=4.32
 SAT
TT=18.534
T1=18.53
 SAT
TT=0.133
T1=0.13
 SAT
TT=0.48
T1=0.47
 SAT
TT=2.968
T1=2.97
 ? (exit code)
TT=0.001

 ? (exit code)
TT=0.002

 SAT
TT=5.381
T1=3.94
 SAT
TT=10.327
T1=4.61
 ? (TO)
TT=1800.11

 SAT
TT=10.845
T1=10.81
 SAT
TT=10.58
T1=10.54
 SAT
TT=41.647
T1=41.62
 SAT
TT=41.319
T1=41.29
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_200_25_5_40.opb


? (TO)
TT=1800.01

 ?
TT=1798.04

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.12

 ? (TO)
TT=1800.13

 ? (exit code)
TT=0.001

 ? (exit code)
TT=0.002

 ? (TO)
TT=1800.22

 ? (TO)
TT=1800.46

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.07

 ?
TT=1797.11

 ? (TO)
TT=1800.05

 ?
TT=1797.13
Bench nameBest resultsborg
pb-dec-11.04.03
(complete)		bsolo
3.2
(complete)		clasp
2.0-R4191
(complete)		MinisatID
2.4.8 [DEPRECATED]
(complete)		MinisatID
2.4.8-gmp [DEPRECATED]
(complete)		MinisatID
2.5.2 (fixed)
(complete)		MinisatID
2.5.2-gmp (fixed)
(complete)		Sat4j CuttingPlanes
2.3.0
(complete)		Sat4j Res//CP
2.3.0
(complete)		Sat4j Resolution
2.3.0
(complete)		SCIP spx
SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED]
(complete)		SCIP spx 2
2011-06-10 (fixed)
(complete)		SCIP spx E
SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED]
(complete)		SCIP spx E_2
2011-06-10 (fixed)
(complete)
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_500_10_1_15.opb 		SAT
TT=0.333
T1=0.33
 SAT
TT=2.48
T1=1.66
 SAT
TT=3.67
T1=3.66
 SAT
TT=0.333
T1=0.33
 SAT
TT=5.016
T1=5.01
 SAT
TT=37.491
T1=37.48
 ? (exit code)
TT=0.002

 ? (exit code)
TT=0.002

 SAT
TT=1.508
T1=0.7
 SAT
TT=2.381
T1=1.15
 ? (TO)
TT=1800.17

 SAT
TT=0.949
T1=0.9
 SAT
TT=0.961
T1=0.91
 SAT
TT=183.286
T1=183.25
 SAT
TT=215.986
T1=215.95
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_500_10_1_80.opb 		SAT
TT=4.151
T1=4.15
 SAT
TT=31.109
T1=31.07
 SAT
TT=336.56
T1=336.51
 SAT
TT=6.979
T1=6.97
 SAT
TT=4.151
T1=4.15
 SAT
TT=31.665
T1=31.66
 ? (exit code)
TT=0.002

 ? (exit code)
TT=0.001

 SAT
TT=16.233
T1=14.77
 SAT
TT=30.922
T1=15.19
 ? (TO)
TT=1800.13

 SAT
TT=86.911
T1=86.86
 SAT
TT=95.597
T1=95.56
 SAT
TT=524.761
T1=524.72
 SAT
TT=543.932
T1=543.89
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_500_10_2_15.opb 		SAT
TT=0.283
T1=0.24
 SAT
TT=2.404
T1=1.59
 SAT
TT=3.654
T1=3.65
 SAT
TT=0.329
T1=0.33
 SAT
TT=4.629
T1=4.62
 SAT
TT=37.35
T1=37.34
 ? (exit code)
TT=0.002

 ? (exit code)
TT=0.002

 SAT
TT=1.517
T1=0.66
 SAT
TT=2.429
T1=1.13
 ? (TO)
TT=1800.13

 SAT
TT=0.293
T1=0.25
 SAT
TT=0.283
T1=0.24
 SAT
TT=0.334
T1=0.3
 SAT
TT=0.323
T1=0.29
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_500_10_2_80.opb 		SAT
TT=3.797
T1=3.79
 SAT
TT=9.83
T1=9.79
 SAT
TT=727.451
T1=727.38
 SAT
TT=25.839
T1=25.85
 SAT
TT=3.797
T1=3.79
 SAT
TT=30.671
T1=30.66
 ? (exit code)
TT=0.002

 ? (exit code)
TT=0.002

 SAT
TT=26.76
T1=25.37
 SAT
TT=38.029
T1=18.78
 ? (TO)
TT=1800.09

 SAT
TT=95.645
T1=95.6
 SAT
TT=90.571
T1=90.53
 SAT
TT=713.528
T1=713.48
 SAT
TT=728.134
T1=728.08
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_500_10_3_15.opb 		SAT
TT=0.236
T1=0.23
 SAT
TT=2.54
T1=1.86
 SAT
TT=3.634
T1=3.63
 SAT
TT=0.236
T1=0.23
 SAT
TT=4.801
T1=4.83
 SAT
TT=37.275
T1=37.27
 ? (exit code)
TT=0.001

 ? (exit code)
TT=0.002

 SAT
TT=1.529
T1=0.68
 SAT
TT=2.283
T1=1.13
 ? (TO)
TT=1800.13

 SAT
TT=0.859
T1=0.81
 SAT
TT=0.828
T1=0.78
 SAT
TT=1.2
T1=1.17
 SAT
TT=1.2
T1=1.17
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_500_10_3_80.opb 		SAT
TT=0.443
T1=0.44
 SAT
TT=33.674
T1=37.15
 ?
TT=1798.05

 SAT
TT=0.443
T1=0.44
 SAT
TT=31.541
T1=32.72
 SAT
TT=190.727
T1=190.71
 ? (exit code)
TT=0.001

 ? (exit code)
TT=0.002

 SAT
TT=17.562
T1=16.19
 SAT
TT=33.773
T1=16.19
 ? (TO)
TT=1800.13

 SAT
TT=79.421
T1=79.39
 SAT
TT=79.271
T1=79.22
 SAT
TT=835.603
T1=835.55
 SAT
TT=722.65
T1=722.6
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_500_10_4_15.opb 		SAT
TT=0.281
T1=0.24
 SAT
TT=2.37
T1=1.68
 SAT
TT=3.641
T1=3.64
 SAT
TT=0.348
T1=0.34
 SAT
TT=4.605
T1=4.6
 SAT
TT=37.899
T1=37.89
 ? (exit code)
TT=0.002

 ? (exit code)
TT=0.002

 SAT
TT=1.474
T1=0.66
 SAT
TT=2.443
T1=1.14
 ? (TO)
TT=1800.16

 SAT
TT=0.294
T1=0.25
 SAT
TT=0.281
T1=0.24
 SAT
TT=0.472
T1=0.44
 SAT
TT=0.421
T1=0.39
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_500_10_4_80.opb 		SAT
TT=3.995
T1=3.99
 SAT
TT=33.246
T1=33.49
 ? (TO)
TT=1800.14

 ? (TO)
TT=1800.05

 SAT
TT=3.995
T1=3.99
 SAT
TT=31.337
T1=31.33
 ? (exit code)
TT=0.002

 ? (exit code)
TT=0.002

 SAT
TT=18.031
T1=16.52
 SAT
TT=34.592
T1=16.69
 ? (TO)
TT=1800.18

 SAT
TT=76.56
T1=76.51
 SAT
TT=83.562
T1=83.51
 SAT
TT=592.208
T1=592.17
 SAT
TT=477.126
T1=477.09
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_500_10_5_15.opb 		SAT
TT=0.346
T1=0.32
 SAT
TT=2.339
T1=1.55
 SAT
TT=3.89
T1=3.89
 SAT
TT=0.404
T1=0.4
 SAT
TT=4.633
T1=4.63
 SAT
TT=37.475
T1=37.47
 ? (exit code)
TT=0.001

 ? (exit code)
TT=0.002

 SAT
TT=1.43
T1=0.65
 SAT
TT=2.505
T1=1.16
 ? (TO)
TT=1800.16

 SAT
TT=0.644
T1=0.6
 SAT
TT=0.623
T1=0.58
 SAT
TT=0.402
T1=0.37
 SAT
TT=0.346
T1=0.32
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_500_10_5_80.opb 		SAT
TT=10.066
T1=10.04
 SAT
TT=10.066
T1=10.04
 ? (TO)
TT=1800.11

 SAT
TT=1718.07
T1=1718
 SAT
TT=35.873
T1=35.89
 SAT
TT=225.115
T1=225.1
 ? (exit code)
TT=0.001

 ? (exit code)
TT=0.002

 SAT
TT=15.716
T1=14.34
 SAT
TT=30.132
T1=14.69
 ? (TO)
TT=1800.19

 SAT
TT=75.388
T1=75.34
 SAT
TT=75.189
T1=75.14
 SAT
TT=578.534
T1=578.49
 SAT
TT=563.711
T1=563.67
Bench nameBest resultsborg
pb-dec-11.04.03
(complete)		bsolo
3.2
(complete)		clasp
2.0-R4191
(complete)		MinisatID
2.4.8 [DEPRECATED]
(complete)		MinisatID
2.4.8-gmp [DEPRECATED]
(complete)		MinisatID
2.5.2 (fixed)
(complete)		MinisatID
2.5.2-gmp (fixed)
(complete)		Sat4j CuttingPlanes
2.3.0
(complete)		Sat4j Res//CP
2.3.0
(complete)		Sat4j Resolution
2.3.0
(complete)		SCIP spx
SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED]
(complete)		SCIP spx 2
2011-06-10 (fixed)
(complete)		SCIP spx E
SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED]
(complete)		SCIP spx E_2
2011-06-10 (fixed)
(complete)
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_500_25_1_15.opb 		SAT
TT=0.212
T1=0.2
 SAT
TT=3.448
T1=2.32
 SAT
TT=60.137
T1=60.13
 SAT
TT=0.212
T1=0.2
 SAT
TT=4.867
T1=4.86
 SAT
TT=44.228
T1=44.23
 ? (exit code)
TT=0.002

 ? (exit code)
TT=0.002

 SAT
TT=1.994
T1=0.84
 SAT
TT=2.822
T1=1.34
 ? (TO)
TT=1800.19

 SAT
TT=1.836
T1=1.73
 SAT
TT=1.72
T1=1.61
 SAT
TT=315.16
T1=315.17
 SAT
TT=330.154
T1=330.1
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_500_25_1_80.opb


? (TO)
TT=1800.04

 ?
TT=1798.04

 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.04

 ? (TO)
TT=1800.06

 ? (exit code)
TT=0.001

 ? (exit code)
TT=0.002

 ? (TO)
TT=1800.29

 ? (TO)
TT=1800.41

 ? (TO)
TT=1800.21

 ? (TO)
TT=1800.08

 ?
TT=1797.19

 ? (TO)
TT=1800.27

 ?
TT=1797.13
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_500_25_2_15.opb 		SAT
TT=0.325
T1=0.32
 SAT
TT=3.507
T1=2.31
 SAT
TT=60.02
T1=60.01
 SAT
TT=0.325
T1=0.32
 SAT
TT=5.31
T1=5.3
 SAT
TT=44.664
T1=44.66
 ? (exit code)
TT=0.002

 ? (exit code)
TT=0.001

 SAT
TT=2.089
T1=0.91
 SAT
TT=2.855
T1=1.33
 ? (TO)
TT=1800.18

 SAT
TT=9.818
T1=9.71
 SAT
TT=9.356
T1=9.25
 SAT
TT=385.065
T1=385.01
 SAT
TT=315.341
T1=315.29
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_500_25_2_80.opb


? (TO)
TT=1800.03

 ?
TT=1798.14

 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.04

 ? (TO)
TT=1800.08

 ? (exit code)
TT=0.001

 ? (exit code)
TT=0.002

 ? (TO)
TT=1800.26

 ? (TO)
TT=1800.45

 ? (TO)
TT=1800.21

 ? (TO)
TT=1800.04

 ?
TT=1797.2

 ? (TO)
TT=1800.1

 ?
TT=1797.13
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_500_25_3_15.opb 		SAT
TT=0.22
T1=0.21
 SAT
TT=3.598
T1=2.74
 SAT
TT=60.08
T1=60.07
 SAT
TT=0.22
T1=0.21
 SAT
TT=4.887
T1=4.88
 SAT
TT=39.244
T1=39.23
 ? (exit code)
TT=0.001

 ? (exit code)
TT=0.002

 SAT
TT=2.05
T1=0.9
 SAT
TT=2.808
T1=1.33
 ? (TO)
TT=1800.2

 SAT
TT=16.186
T1=16.08
 SAT
TT=17.14
T1=17.02
 SAT
TT=310.537
T1=310.48
 SAT
TT=291.763
T1=291.71
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_500_25_3_80.opb


? (TO)
TT=1800.06

 ?
TT=1798.06

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.08

 ? (TO)
TT=1800.08

 ? (exit code)
TT=0.001

 ? (exit code)
TT=0.001

 ? (TO)
TT=1800.24

 ? (TO)
TT=1800.31

 ? (TO)
TT=1800.21

 ? (TO)
TT=1800.07

 ?
TT=1797.45

 ? (TO)
TT=1800.05

 ?
TT=1797.19
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_500_25_4_15.opb 		SAT
TT=0.251
T1=0.25
 SAT
TT=3.479
T1=3.58
 SAT
TT=67.566
T1=67.56
 SAT
TT=0.251
T1=0.25
 SAT
TT=4.858
T1=4.85
 SAT
TT=38.661
T1=38.65
 ? (exit code)
TT=0.001

 ? (exit code)
TT=0.002

 SAT
TT=2.056
T1=0.89
 SAT
TT=2.765
T1=1.33
 ? (TO)
TT=1800.16

 SAT
TT=4.039
T1=3.93
 SAT
TT=3.81
T1=3.7
 SAT
TT=600.896
T1=600.84
 SAT
TT=564.374
T1=564.31
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_500_25_4_80.opb


? (TO)
TT=1800.09

 ?
TT=1798.08

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.05

 ? (TO)
TT=1800.04

 ? (exit code)
TT=0.001

 ? (exit code)
TT=0.002

 ? (TO)
TT=1800.24

 ? (TO)
TT=1800.38

 ? (TO)
TT=1800.2

 ? (TO)
TT=1800.08

 ?
TT=1797.15

 ? (TO)
TT=1800.05

 ?
TT=1797.18
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_500_25_5_15.opb 		SAT
TT=0.237
T1=0.23
 SAT
TT=3.791
T1=2.72
 SAT
TT=60.617
T1=60.61
 SAT
TT=0.237
T1=0.23
 SAT
TT=4.864
T1=4.86
 SAT
TT=40.485
T1=40.47
 ? (exit code)
TT=0.002

 ? (exit code)
TT=0.002

 SAT
TT=2.106
T1=0.87
 SAT
TT=2.869
T1=1.33
 ? (TO)
TT=1800.16

 SAT
TT=23.369
T1=23.26
 SAT
TT=22.733
T1=22.63
 SAT
TT=618.716
T1=618.65
 SAT
TT=626.376
T1=626.32
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_500_25_5_80.opb


? (TO)
TT=1800.01

 ?
TT=1798.07

 ? (TO)
TT=1800.09

 ? (TO)
TT=1800.12

 ? (TO)
TT=1800.06

 ? (exit code)
TT=0.001

 ? (exit code)
TT=0.002

 ? (TO)
TT=1800.23

 ? (TO)
TT=1800.45

 ? (TO)
TT=1800.14

 ? (TO)
TT=1800.13

 ?
TT=1797.21

 ? (TO)
TT=1800.1

 ?
TT=1797.15
Bench nameBest resultsborg
pb-dec-11.04.03
(complete)		bsolo
3.2
(complete)		clasp
2.0-R4191
(complete)		MinisatID
2.4.8 [DEPRECATED]
(complete)		MinisatID
2.4.8-gmp [DEPRECATED]
(complete)		MinisatID
2.5.2 (fixed)
(complete)		MinisatID
2.5.2-gmp (fixed)
(complete)		Sat4j CuttingPlanes
2.3.0
(complete)		Sat4j Res//CP
2.3.0
(complete)		Sat4j Resolution
2.3.0
(complete)		SCIP spx
SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED]
(complete)		SCIP spx 2
2011-06-10 (fixed)
(complete)		SCIP spx E
SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED]
(complete)		SCIP spx E_2
2011-06-10 (fixed)
(complete)
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_500_60_1_15.opb 		SAT
TT=0.174
T1=0.17
 SAT
TT=8.045
T1=16.46
 SAT
TT=179.386
T1=179.39
 SAT
TT=0.174
T1=0.17
 SAT
TT=5.572
T1=5.56
 SAT
TT=44.432
T1=44.42
 ? (exit code)
TT=0.001

 ? (exit code)
TT=0.002

 SAT
TT=2.301
T1=1.11
 SAT
TT=3.852
T1=1.67
 ? (TO)
TT=1800.2

 SAT
TT=117.382
T1=117.13
 SAT
TT=112.367
T1=112.12
 SAT
TT=416.072
T1=415.97
 SAT
TT=436.075
T1=435.96
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_500_60_1_80.opb


? (TO)
TT=1800.07

 ?
TT=1798.04

 ? (TO)
TT=1800.11

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.06

 ? (exit code)
TT=0.001

 ? (exit code)
TT=0.002

 ? (TO)
TT=1800.2

 ? (TO)
TT=1800.46

 ? (TO)
TT=1800.17

 ? (TO)
TT=1800.35

 ?
TT=1797.72

 ? (TO)
TT=1800.11

 ?
TT=1797.14
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_500_60_2_15.opb 		SAT
TT=0.359
T1=0.35
 SAT
TT=7.27
T1=7.08
 SAT
TT=179.416
T1=179.41
 SAT
TT=0.359
T1=0.35
 SAT
TT=5.629
T1=5.62
 SAT
TT=45.034
T1=45.02
 ? (exit code)
TT=0.002

 ? (exit code)
TT=0.002

 SAT
TT=2.189
T1=1.05
 SAT
TT=3.051
T1=1.59
 ? (TO)
TT=1800.12

 SAT
TT=76.313
T1=76.06
 SAT
TT=73.309
T1=73.05
 SAT
TT=357.066
T1=356.96
 SAT
TT=347.474
T1=347.38
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_500_60_2_80.opb


? (TO)
TT=1800.1

 ?
TT=1798.05

 ? (TO)
TT=1800.1

 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.06

 ? (exit code)
TT=0.002

 ? (exit code)
TT=0.002

 ? (TO)
TT=1800.28

 ? (TO)
TT=1800.47

 ? (TO)
TT=1800.12

 ? (TO)
TT=1800.07

 ?
TT=1797.87

 ? (TO)
TT=1800.07

 ?
TT=1797.22
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_500_60_3_15.opb 		SAT
TT=0.187
T1=0.18
 SAT
TT=29.695
T1=32.81
 SAT
TT=179.388
T1=179.37
 SAT
TT=0.187
T1=0.18
 SAT
TT=5.556
T1=5.54
 SAT
TT=43.873
T1=43.86
 ? (exit code)
TT=0.002

 ? (exit code)
TT=0.002

 SAT
TT=2.138
T1=1.04
 SAT
TT=3.127
T1=1.58
 ? (TO)
TT=1800.14

 SAT
TT=74.857
T1=74.6
 SAT
TT=70.732
T1=70.48
 SAT
TT=436.624
T1=436.54
 SAT
TT=369.633
T1=369.53
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_500_60_3_80.opb


? (TO)
TT=1800.03

 ?
TT=1798.05

 ? (TO)
TT=1800.09

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.07

 ? (exit code)
TT=0.002

 ? (exit code)
TT=0.002

 ? (TO)
TT=1800.2

 ? (TO)
TT=1800.33

 ? (TO)
TT=1800.19

 ? (TO)
TT=1800.69

 ?
TT=1797.44

 ? (TO)
TT=1800.08

 ?
TT=1797.19
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_500_60_4_15.opb 		SAT
TT=0.244
T1=0.24
 SAT
TT=6.928
T1=6.83
 SAT
TT=179.413
T1=179.41
 SAT
TT=0.244
T1=0.24
 SAT
TT=5.59
T1=5.58
 SAT
TT=44.515
T1=44.5
 ? (exit code)
TT=0.002

 ? (exit code)
TT=0.002

 SAT
TT=2.146
T1=1.05
 SAT
TT=3.469
T1=1.67
 ? (TO)
TT=1800.13

 SAT
TT=90.293
T1=90.05
 SAT
TT=86.033
T1=85.78
 SAT
TT=233.543
T1=233.45
 SAT
TT=224.308
T1=224.22
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_500_60_4_80.opb


? (TO)
TT=1800.1

 ?
TT=1798.05

 ? (TO)
TT=1800.08

 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.06

 ? (exit code)
TT=0.001

 ? (exit code)
TT=0.003

 ? (TO)
TT=1800.26

 ? (TO)
TT=1800.38

 ? (TO)
TT=1800.22

 ? (TO)
TT=1800.36

 ?
TT=1797.36

 ? (TO)
TT=1800.13

 ?
TT=1797.16
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_500_60_5_15.opb 		SAT
TT=0.309
T1=0.3
 SAT
TT=7.559
T1=7.36
 SAT
TT=179.389
T1=179.39
 SAT
TT=0.309
T1=0.3
 SAT
TT=5.571
T1=5.56
 SAT
TT=44.634
T1=44.62
 ? (exit code)
TT=0.002

 ? (exit code)
TT=0.002

 SAT
TT=2.127
T1=1.04
 SAT
TT=3.056
T1=1.59
 ? (TO)
TT=1800.15

 SAT
TT=93.332
T1=93.08
 SAT
TT=80.003
T1=79.75
 SAT
TT=429.846
T1=429.74
 SAT
TT=412.777
T1=412.68
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_500_60_5_80.opb


? (TO)
TT=1800.1

 ?
TT=1798.09

 ? (TO)
TT=1800.09

 ? (TO)
TT=1800.09

 ? (TO)
TT=1800.06

 ? (exit code)
TT=0.002

 ? (exit code)
TT=0.002

 ? (TO)
TT=1800.26

 ? (TO)
TT=1800.36

 ? (TO)
TT=1800.2

 ? (TO)
TT=1800.34

 ?
TT=1797.36

 ? (TO)
TT=1800.38

 ?
TT=1797.26
Bench nameBest resultsborg
pb-dec-11.04.03
(complete)		bsolo
3.2
(complete)		clasp
2.0-R4191
(complete)		MinisatID
2.4.8 [DEPRECATED]
(complete)		MinisatID
2.4.8-gmp [DEPRECATED]
(complete)		MinisatID
2.5.2 (fixed)
(complete)		MinisatID
2.5.2-gmp (fixed)
(complete)		Sat4j CuttingPlanes
2.3.0
(complete)		Sat4j Res//CP
2.3.0
(complete)		Sat4j Resolution
2.3.0
(complete)		SCIP spx
SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED]
(complete)		SCIP spx 2
2011-06-10 (fixed)
(complete)		SCIP spx E
SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED]
(complete)		SCIP spx E_2
2011-06-10 (fixed)
(complete)
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_50_10_1_15.opb


? (TO)
TT=1800.08

 ? (TO)
TT=1800.11

 ? (TO)
TT=1800.08

 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.05

 ? (exit code)
TT=0

 ? (exit code)
TT=0.001

 ? (TO)
TT=1800.32

 ? (TO)
TT=1800.34

 ? (TO)
TT=1800.13

 ? (TO)
TT=1800.09

 ?
TT=1797.09

 ? (TO)
TT=1800.06

 ?
TT=1797.1
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_50_10_1_5.opb 		SAT
TT=0.006
T1=0
 SAT
TT=0.478
T1=0.55
 SAT
TT=0.231
T1=0.23
 SAT
TT=0.006
T1=0
 SAT
TT=0.026
T1=0.02
 SAT
TT=0.118
T1=0.11
 ? (exit code)
TT=0.001

 ? (exit code)
TT=0.001

 SAT
TT=0.331
T1=0.24
 SAT
TT=0.728
T1=0.76
 SAT
TT=9.725
T1=9.26
 SAT
TT=0.351
T1=0.34
 SAT
TT=0.309
T1=0.3
 SAT
TT=0.068
T1=0.06
 SAT
TT=0.066
T1=0.06
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_50_10_2_15.opb 		UNSAT
TT=1736.2

 ? (TO)
TT=1800.08

 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.08

 ? (TO)
TT=1800.06

 ? (exit code)
TT=0.001

 ? (exit code)
TT=0.001

 ? (TO)
TT=1800.28

 ? (TO)
TT=1800.49

 ? (TO)
TT=1800.15

 UNSAT
TT=1736.2

 ?
TT=1797.11

 ? (TO)
TT=1800.07

 ?
TT=1797.12
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_50_10_2_5.opb 		SAT
TT=0.007
T1=0
 SAT
TT=0.485
T1=0.55
 SAT
TT=0.238
T1=0.23
 SAT
TT=0.007
T1=0
 SAT
TT=0.024
T1=0.02
 SAT
TT=0.113
T1=0.11
 ? (exit code)
TT=0.002

 ? (exit code)
TT=0

 SAT
TT=0.326
T1=0.24
 SAT
TT=0.518
T1=0.76
 SAT
TT=18.17
T1=17.64
 SAT
TT=0.144
T1=0.13
 SAT
TT=0.149
T1=0.14
 SAT
TT=0.067
T1=0.06
 SAT
TT=0.067
T1=0.06
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_50_10_3_15.opb


? (TO)
TT=1800.06

 ?
TT=1798.01

 ? (TO)
TT=1800.05

 ? (TO)
TT=1800.04

 ? (TO)
TT=1800.06

 ? (exit code)
TT=0.001

 ? (exit code)
TT=0.001

 ? (TO)
TT=1800.29

 ? (TO)
TT=1800.16

 ? (TO)
TT=1800.11

 ?
TT=1800.02

 ?
TT=1797.07

 ?
TT=1800.05

 ?
TT=1797.09
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_50_10_3_5.opb 		SAT
TT=0.007
T1=0
 SAT
TT=0.571
T1=1.81
 SAT
TT=0.267
T1=0.28
 SAT
TT=0.007
T1=0
 SAT
TT=0.026
T1=0.03
 SAT
TT=0.112
T1=0.11
 ? (exit code)
TT=0.001

 ? (exit code)
TT=0.001

 SAT
TT=0.332
T1=0.26
 SAT
TT=0.51
T1=0.75
 SAT
TT=12.231
T1=11.73
 SAT
TT=0.137
T1=0.13
 SAT
TT=0.132
T1=0.12
 SAT
TT=0.078
T1=0.07
 SAT
TT=0.069
T1=0.06
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_50_10_4_15.opb


? (TO)
TT=1800.04

 ?
TT=1798.01

 ? (TO)
TT=1800.1

 ? (TO)
TT=1800.08

 ? (TO)
TT=1800.09

 ? (exit code)
TT=0.001

 ? (exit code)
TT=0.001

 ? (TO)
TT=1800.26

 ? (TO)
TT=1800.16

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.07

 ?
TT=1797.07

 ?
TT=1800.02

 ?
TT=1797.11
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_50_10_4_5.opb 		SAT
TT=0.005
T1=0
 SAT
TT=0.511
T1=0.77
 SAT
TT=0.238
T1=0.23
 SAT
TT=0.005
T1=0
 SAT
TT=0.024
T1=0.02
 SAT
TT=0.113
T1=0.11
 ? (exit code)
TT=0

 ? (exit code)
TT=0.001

 SAT
TT=0.328
T1=0.24
 SAT
TT=0.632
T1=0.76
 SAT
TT=18.444
T1=17.86
 SAT
TT=0.98
T1=0.97
 SAT
TT=0.876
T1=0.87
 SAT
TT=0.068
T1=0.06
 SAT
TT=0.068
T1=0.06
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_50_10_5_15.opb


? (TO)
TT=1800.03

 ?
TT=1798.01

 ? (TO)
TT=1800.08

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.08

 ? (exit code)
TT=0

 ? (exit code)
TT=0.001

 ? (TO)
TT=1800.26

 ? (TO)
TT=1800.48

 ? (TO)
TT=1800.13

 ? (TO)
TT=1800.07

 ?
TT=1797.08

 ? (TO)
TT=1800.06

 ?
TT=1797.14
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_50_10_5_5.opb 		SAT
TT=0.008
T1=0
 SAT
TT=0.49
T1=0.84
 SAT
TT=0.227
T1=0.22
 SAT
TT=0.008
T1=0
 SAT
TT=0.024
T1=0.02
 SAT
TT=0.113
T1=0.11
 ? (exit code)
TT=0

 ? (exit code)
TT=0.001

 SAT
TT=0.342
T1=0.24
 SAT
TT=0.561
T1=0.76
 SAT
TT=29.326
T1=28.83
 SAT
TT=0.172
T1=0.16
 SAT
TT=0.151
T1=0.14
 SAT
TT=0.067
T1=0.08
 SAT
TT=0.067
T1=0.06
Bench nameBest resultsborg
pb-dec-11.04.03
(complete)		bsolo
3.2
(complete)		clasp
2.0-R4191
(complete)		MinisatID
2.4.8 [DEPRECATED]
(complete)		MinisatID
2.4.8-gmp [DEPRECATED]
(complete)		MinisatID
2.5.2 (fixed)
(complete)		MinisatID
2.5.2-gmp (fixed)
(complete)		Sat4j CuttingPlanes
2.3.0
(complete)		Sat4j Res//CP
2.3.0
(complete)		Sat4j Resolution
2.3.0
(complete)		SCIP spx
SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED]
(complete)		SCIP spx 2
2011-06-10 (fixed)
(complete)		SCIP spx E
SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED]
(complete)		SCIP spx E_2
2011-06-10 (fixed)
(complete)
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_50_25_1_15.opb 		UNSAT
TT=0.567

 UNSAT
TT=12.042

 UNSAT
TT=222.416

 UNSAT
TT=10.572

 ? (TO)
TT=1800.1

 ? (TO)
TT=1800.09

 ? (exit code)
TT=0

 ? (exit code)
TT=0.001

 UNSAT
TT=27.113

 UNSAT
TT=44.781

 UNSAT
TT=465.549

 UNSAT
TT=22.462

 UNSAT
TT=22.381

 UNSAT
TT=0.585

 UNSAT
TT=0.567
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_50_25_1_5.opb 		SAT
TT=0.011
T1=0.01
 SAT
TT=0.573
T1=0.7
 SAT
TT=3.009
T1=3.01
 SAT
TT=0.011
T1=0.01
 SAT
TT=6.639
T1=6.63
 SAT
TT=13.369
T1=13.36
 ? (exit code)
TT=0.001

 ? (exit code)
TT=0

 SAT
TT=1.517
T1=0.65
 SAT
TT=2.391
T1=0.83
 SAT
TT=5.777
T1=5.21
 SAT
TT=2.341
T1=2.33
 SAT
TT=2.299
T1=2.28
 SAT
TT=0.099
T1=0.09
 SAT
TT=0.088
T1=0.08
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_50_25_2_15.opb 		UNSAT
TT=0.792

 UNSAT
TT=16.883

 UNSAT
TT=168.646

 UNSAT
TT=11.806

 ? (TO)
TT=1800.05

 ? (TO)
TT=1800.04

 ? (exit code)
TT=0

 ? (exit code)
TT=0.001

 UNSAT
TT=21.468

 UNSAT
TT=36.687

 UNSAT
TT=317.95

 UNSAT
TT=20.491

 UNSAT
TT=20.39

 UNSAT
TT=0.881

 UNSAT
TT=0.792
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_50_25_2_5.opb 		SAT
TT=0.019
T1=0.03
 SAT
TT=0.572
T1=0.64
 SAT
TT=2.858
T1=2.85
 SAT
TT=0.019
T1=0.03
 SAT
TT=1.359
T1=1.35
 SAT
TT=3.764
T1=3.76
 ? (exit code)
TT=0.001

 ? (exit code)
TT=0.001

 SAT
TT=1.435
T1=0.63
 SAT
TT=2.32
T1=0.83
 SAT
TT=3.924
T1=3.41
 SAT
TT=1.677
T1=1.66
 SAT
TT=1.796
T1=1.78
 SAT
TT=0.091
T1=0.08
 SAT
TT=0.089
T1=0.08
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_50_25_3_15.opb 		UNSAT
TT=0.831

 UNSAT
TT=15.987

 UNSAT
TT=244.749

 UNSAT
TT=9.973

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.08

 ? (exit code)
TT=0.002

 ? (exit code)
TT=0.001

 UNSAT
TT=42.541

 UNSAT
TT=81.664

 UNSAT
TT=543.825

 UNSAT
TT=22.64

 UNSAT
TT=22.538

 UNSAT
TT=0.831

 UNSAT
TT=0.837
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_50_25_3_5.opb 		SAT
TT=0.018
T1=0.01
 SAT
TT=0.601
T1=0.82
 SAT
TT=2.826
T1=2.82
 SAT
TT=0.018
T1=0.01
 SAT
TT=3.715
T1=3.71
 SAT
TT=8.317
T1=8.31
 ? (exit code)
TT=0

 ? (exit code)
TT=0.001

 SAT
TT=1.47
T1=0.65
 SAT
TT=2.695
T1=1.33
 SAT
TT=5.164
T1=4.5
 SAT
TT=2.347
T1=2.33
 SAT
TT=2.295
T1=2.28
 SAT
TT=0.089
T1=0.08
 SAT
TT=0.096
T1=0.08
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_50_25_4_15.opb 		UNSAT
TT=0.861

 UNSAT
TT=16.159

 UNSAT
TT=224.953

 UNSAT
TT=11.081

 ? (TO)
TT=1800.04

 ? (TO)
TT=1800.05

 ? (exit code)
TT=0.001

 ? (exit code)
TT=0.002

 UNSAT
TT=54.155

 UNSAT
TT=106.87

 UNSAT
TT=214.912

 UNSAT
TT=24.092

 UNSAT
TT=23.955

 UNSAT
TT=0.861

 UNSAT
TT=0.862
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_50_25_4_5.opb 		SAT
TT=0.012
T1=0.01
 SAT
TT=0.563
T1=0.61
 SAT
TT=2.886
T1=2.88
 SAT
TT=0.012
T1=0.01
 SAT
TT=0.432
T1=0.43
 SAT
TT=1.553
T1=1.55
 ? (exit code)
TT=0.001

 ? (exit code)
TT=0.001

 SAT
TT=1.563
T1=0.67
 SAT
TT=2.443
T1=0.83
 SAT
TT=5.409
T1=4.63
 SAT
TT=1.369
T1=1.35
 SAT
TT=1.329
T1=1.31
 SAT
TT=0.091
T1=0.08
 SAT
TT=0.089
T1=0.08
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_50_25_5_15.opb 		UNSAT
TT=0.737

 UNSAT
TT=17.773

 UNSAT
TT=277.857

 UNSAT
TT=12.271

 ? (TO)
TT=1800.04

 ? (TO)
TT=1800.1

 ? (exit code)
TT=0

 ? (exit code)
TT=0.001

 UNSAT
TT=28.414

 UNSAT
TT=54.469

 UNSAT
TT=251.811

 UNSAT
TT=24.56

 UNSAT
TT=24.485

 UNSAT
TT=0.737

 UNSAT
TT=0.739
normalized-PB07/SATUNSAT-SMALLINT-NLC/
submittedPB07/manquinho/dbsg/
normalized-dbsg_50_25_5_5.opb 		SAT
TT=0.01
T1=0
 SAT
TT=0.553
T1=0.65
 SAT
TT=3.045
T1=3.04
 SAT
TT=0.01
T1=0
 SAT
TT=6.308
T1=6.3
 SAT
TT=12.664
T1=12.66
 ? (exit code)
TT=0

 ? (exit code)
TT=0.001

 SAT
TT=1.452
T1=0.63
 SAT
TT=2.312
T1=0.83
 SAT
TT=4.974
T1=4.22
 SAT
TT=2.766
T1=2.75
 SAT
TT=2.72
T1=2.7
 SAT
TT=0.101
T1=0.09
 SAT
TT=0.088
T1=0.08



Statisticsborg
pb-dec-11.04.03
(complete)		bsolo
3.2
(complete)		clasp
2.0-R4191
(complete)		MinisatID
2.4.8 [DEPRECATED]
(complete)		MinisatID
2.4.8-gmp [DEPRECATED]
(complete)		MinisatID
2.5.2 (fixed)
(complete)		MinisatID
2.5.2-gmp (fixed)
(complete)		Sat4j CuttingPlanes
2.3.0
(complete)		Sat4j Res//CP
2.3.0
(complete)		Sat4j Resolution
2.3.0
(complete)		SCIP spx
SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED]
(complete)		SCIP spx 2
2011-06-10 (fixed)
(complete)		SCIP spx E
SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED]
(complete)		SCIP spx E_2
2011-06-10 (fixed)
(complete)
Number of times the solver is able to give the best known answer73626457570065652775747575
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)		334940000001288