PB'07 evaluation: results by benchmark

Results by benchmark for category no optimisation, small integers, linear constraints (SATUNSAT-SMALLINT-LIN), subcategory Industrial

This page displays the results of the different solvers for each benchmark for category no optimisation, small integers, linear constraints (SATUNSAT-SMALLINT-LIN), subcategory Industrial

REMINDER

Keep in mind that the 'Best result' columns only provide the best result given by one of the solvers. This 'Best result' may be wrong in case of an UNSATISFIABLE or OPTIMUM FOUND answer (because there's no efficient way to check these answers).

Description of a cell contents:

Cell exampleMeaning
AnswerSolver result
f=...value of the objective function for the model reported by the solver
TT=...Total Time (TT): this is the CPU time (in seconds) used by the solver until termination. This time is only meaningful for complete solvers because incomplete solvers will always run until they time out
T1=...Time to get the best model (T1): this is the wall clock time (in seconds) ellapsed when the solver found its best model. This time is obtained from the 'o lines'. It is useful to compare both complete and incomplete solvers. It doesn't take into account the time to prove optimality of the solution.
Remember that CPU time and wall clock time are two very different notions. The CPU time represents the time during which the instructions of the solver were executed by the processor. The wall clock time represents how much time ellapsed on the clock. For a same event, the CPU time may be either smaller or greater than the wall clock time depending on the number of threads of execution and the number of processors.

Meaning of some abbreviations:

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

Meaning of the different colors:

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

For better readability, you may choose to hide some solvers:
absconPseudo 102
bsolo 3.0.16
bsolo 3.0.17
glpPB 0.2
minisat+ 1.14
oree 0.1.2 alpha
PB-clasp 2007-03-23
PB-clasp 2007-04-10
PBS4 2007-03-23
PBS4_v2 2007-03-23
Pueblo 1.4
sat4jPseudoCP 2007-03-23
sat4jPseudoCPClause 2007-03-23
SAT4JPseudoResolution 2007-03-23
wildcat-rnp 2007-03-21
wildcat-skc 2007-03-21

Bench nameBest results
on this
instance
absconPseudo
102
bsolo
3.0.16
bsolo
3.0.17
glpPB
0.2
minisat+
1.14
oree
0.1.2 alpha
PB-clasp
2007-03-23
PB-clasp
2007-04-10
PBS4
2007-03-23
PBS4_v2
2007-03-23
Pueblo
1.4
sat4jPseudoCP
2007-03-23
sat4jPseudoCPClause
2007-03-23
SAT4JPseudoResolution
2007-03-23
wildcat-rnp
2007-03-21
wildcat-skc
2007-03-21
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl10_11_pb.cnf.cr.opb
UNSAT
TT=0.002

? (TO)
TT=1800.14

UNSAT
TT=228.517

UNSAT
TT=232.037

UNSAT
TT=0.006

UNSAT
TT=33.422

? (TO)
TT=1800.2

UNSAT
TT=66.627

UNSAT
TT=134.644

UNSAT
TT=0.004

UNSAT
TT=0.002

UNSAT
TT=0.007

UNSAT
TT=0.536

UNSAT
TT=0.522

UNSAT
TT=1133.68

? (TO)
TT=1800.08

? (TO)
TT=1800.03

normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl10_15_pb.cnf.cr.opb
UNSAT
TT=0.002

? (TO)
TT=1800.07

UNSAT
TT=671.661

UNSAT
TT=662.216

UNSAT
TT=0.01

UNSAT
TT=139.022

? (TO)
TT=1800.14

UNSAT
TT=99.004

UNSAT
TT=121.473

UNSAT
TT=0.004

UNSAT
TT=0.002

UNSAT
TT=0.007

UNSAT
TT=0.36

UNSAT
TT=0.332

? (TO)
TT=1800.13

? (TO)
TT=1800.1

? (TO)
TT=1800.01

normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl10_20_pb.cnf.cr.opb
UNSAT
TT=0.004

? (TO)
TT=1800.1

?
TT=1800.01

? (TO)
TT=1800.04

UNSAT
TT=0.01

UNSAT
TT=120.815

? (TO)
TT=1800.14

UNSAT
TT=120.78

UNSAT
TT=103.596

UNSAT
TT=0.006

UNSAT
TT=0.004

UNSAT
TT=0.01

UNSAT
TT=0.382

UNSAT
TT=0.389

? (TO)
TT=1800.16

? (TO)
TT=1800.08

? (TO)
TT=1800.09

normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl15_16_pb.cnf.cr.opb
UNSAT
TT=0.005

? (TO)
TT=1800.07

? (TO)
TT=1800.02

? (TO)
TT=1800.08

UNSAT
TT=0.013

? (TO)
TT=1800.09

? (TO)
TT=1800.32

? (TO)
TT=1800.1

? (TO)
TT=1800.07

UNSAT
TT=0.005

UNSAT
TT=0.005

UNSAT
TT=0.01

UNSAT
TT=0.655

UNSAT
TT=0.657

? (TO)
TT=1800.17

? (TO)
TT=1800.04

? (TO)
TT=1800.1

normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl15_20_pb.cnf.cr.opb
UNSAT
TT=0.006

? (TO)
TT=1800.06

?
TT=1800.01

? (TO)
TT=1800.06

UNSAT
TT=0.013

? (TO)
TT=1800.08

? (TO)
TT=1800.2

? (TO)
TT=1800.02

? (TO)
TT=1800.12

UNSAT
TT=0.006

UNSAT
TT=0.006

UNSAT
TT=0.012

UNSAT
TT=0.446

UNSAT
TT=0.446

? (TO)
TT=1800.14

? (TO)
TT=1800.1

? (TO)
TT=1800.08

normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl15_25_pb.cnf.cr.opb
UNSAT
TT=0.007

? (TO)
TT=1800.16

? (TO)
TT=1800.07

? (TO)
TT=1800.07

UNSAT
TT=0.013

? (TO)
TT=1800.11

? (TO)
TT=1800.08

? (TO)
TT=1800.03

? (TO)
TT=1800.05

UNSAT
TT=0.007

UNSAT
TT=0.007

UNSAT
TT=0.013

UNSAT
TT=0.499

UNSAT
TT=0.494

? (TO)
TT=1800.16

? (TO)
TT=1800.11

? (TO)
TT=1800.09

normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl20_21_pb.cnf.cr.opb
UNSAT
TT=0.006

? (TO)
TT=1800.15

?
TT=1800.03

? (TO)
TT=1800.1

UNSAT
TT=0.018

? (TO)
TT=1800.1

? (TO)
TT=1800.56

? (TO)
TT=1800.01

? (TO)
TT=1800.08

UNSAT
TT=0.006

UNSAT
TT=0.006

UNSAT
TT=0.018

UNSAT
TT=0.906

UNSAT
TT=0.91

? (TO)
TT=1800.19

? (TO)
TT=1800.05

? (TO)
TT=1800.11

normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl20_25_pb.cnf.cr.opb
UNSAT
TT=0.007

? (TO)
TT=1800.14

?
TT=1800.03

? (TO)
TT=1800.09

UNSAT
TT=0.019

? (TO)
TT=1800.04

? (TO)
TT=1800.16

? (TO)
TT=1800.07

? (TO)
TT=1800.13

UNSAT
TT=0.007

UNSAT
TT=0.008

UNSAT
TT=0.023

UNSAT
TT=0.544

UNSAT
TT=0.557

? (TO)
TT=1800.19

? (TO)
TT=1800.1

? (TO)
TT=1800.04

normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl20_30_pb.cnf.cr.opb
UNSAT
TT=0.01

? (TO)
TT=1800.1

? (TO)
TT=1800.04

? (TO)
TT=1800.13

UNSAT
TT=0.023

? (TO)
TT=1800.05

? (TO)
TT=1800.15

? (TO)
TT=1800.09

? (TO)
TT=1800.05

UNSAT
TT=0.011

UNSAT
TT=0.01

UNSAT
TT=0.033

UNSAT
TT=0.667

UNSAT
TT=0.681

? (TO)
TT=1800.2

? (TO)
TT=1800.02

? (TO)
TT=1800.04

normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl30_31_pb.cnf.cr.opb
UNSAT
TT=0.014

? (TO)
TT=1800.08

? (TO)
TT=1800.12

? (TO)
TT=1800.21

UNSAT
TT=0.039

? (TO)
TT=1800.12

? (TO)
TT=1800.54

? (TO)
TT=1800.06

? (TO)
TT=1800.03

UNSAT
TT=0.014

UNSAT
TT=0.015

UNSAT
TT=0.055

UNSAT
TT=2.245

UNSAT
TT=2.23

? (TO)
TT=1800.25

? (TO)
TT=1800.09

? (TO)
TT=1800.1

Bench nameBest results
on this
instance
absconPseudo
102
bsolo
3.0.16
bsolo
3.0.17
glpPB
0.2
minisat+
1.14
oree
0.1.2 alpha
PB-clasp
2007-03-23
PB-clasp
2007-04-10
PBS4
2007-03-23
PBS4_v2
2007-03-23
Pueblo
1.4
sat4jPseudoCP
2007-03-23
sat4jPseudoCPClause
2007-03-23
SAT4JPseudoResolution
2007-03-23
wildcat-rnp
2007-03-21
wildcat-skc
2007-03-21
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl30_35_pb.cnf.cr.opb
UNSAT
TT=0.016

? (TO)
TT=1800.15

? (TO)
TT=1800.19

? (TO)
TT=1800.15

UNSAT
TT=0.043

? (TO)
TT=1800.12

? (TO)
TT=1800.23

? (TO)
TT=1800.03

? (TO)
TT=1800.09

UNSAT
TT=0.016

UNSAT
TT=0.016

UNSAT
TT=0.101

UNSAT
TT=0.798

UNSAT
TT=0.808

? (TO)
TT=1801.15

? (TO)
TT=1800.06

? (TO)
TT=1800.01

normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl30_40_pb.cnf.cr.opb
UNSAT
TT=0.019

? (TO)
TT=1800.17

? (TO)
TT=1800.23

? (TO)
TT=1800.25

UNSAT
TT=0.057

? (TO)
TT=1800.08

? (TO)
TT=1800.34

? (TO)
TT=1800.11

? (TO)
TT=1800.04

UNSAT
TT=0.019

UNSAT
TT=0.019

UNSAT
TT=0.101

UNSAT
TT=0.84

UNSAT
TT=0.844

? (TO)
TT=1800.26

? (TO)
TT=1800.01

? (TO)
TT=1800.07

normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl35_36_pb.cnf.cr.opb
UNSAT
TT=0.02

? (TO)
TT=1800.09

? (TO)
TT=1800.22

? (TO)
TT=1800.25

UNSAT
TT=0.053

? (TO)
TT=1800.12

? (TO)
TT=1800.13

? (TO)
TT=1800.04

? (TO)
TT=1800.04

UNSAT
TT=0.02

UNSAT
TT=0.02

UNSAT
TT=0.114

UNSAT
TT=3.161

UNSAT
TT=3.167

? (TO)
TT=1800.29

? (TO)
TT=1800.07

? (TO)
TT=1800.1

normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl35_40_pb.cnf.cr.opb
UNSAT
TT=0.023

? (TO)
TT=1800.1

? (TO)
TT=1800.24

? (TO)
TT=1800.31

UNSAT
TT=0.06

? (TO)
TT=1800.11

? (TO)
TT=1800.22

? (TO)
TT=1800.03

? (TO)
TT=1800.06

UNSAT
TT=0.023

UNSAT
TT=0.023

UNSAT
TT=0.14

UNSAT
TT=1.031

UNSAT
TT=1.087

? (TO)
TT=1800.3

? (TO)
TT=1800.04

? (TO)
TT=1800.07

normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl35_45_pb.cnf.cr.opb
UNSAT
TT=0.026

? (TO)
TT=1800.09

? (TO)
TT=1800.22

? (TO)
TT=1800.25

UNSAT
TT=0.075

? (TO)
TT=1800.12

? (TO)
TT=1800.2

? (TO)
TT=1800.12

? (TO)
TT=1800.02

UNSAT
TT=0.026

UNSAT
TT=0.027

UNSAT
TT=0.189

UNSAT
TT=1.115

UNSAT
TT=1.06

? (TO)
TT=1800.19

? (TO)
TT=1800.1

? (TO)
TT=1800.03

normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl40_41_pb.cnf.cr.opb
UNSAT
TT=0.026

? (TO)
TT=1800.05

? (TO)
TT=1800.32

? (TO)
TT=1800.27

UNSAT
TT=0.07

? (TO)
TT=1800.08

? (TO)
TT=1800.36

? (TO)
TT=1800.06

? (TO)
TT=1800.03

UNSAT
TT=0.026

UNSAT
TT=0.026

UNSAT
TT=0.181

UNSAT
TT=4.449

UNSAT
TT=4.481

? (TO)
TT=1800.3

? (TO)
TT=1800.03

? (TO)
TT=1800.1

normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl40_45_pb.cnf.cr.opb
UNSAT
TT=0.029

? (TO)
TT=1800.08

? (TO)
TT=1800.32

? (TO)
TT=1800.32

UNSAT
TT=0.082

? (TO)
TT=1800.11

? (TO)
TT=1800.17

? (TO)
TT=1800.14

? (TO)
TT=1800.03

UNSAT
TT=0.029

UNSAT
TT=0.029

UNSAT
TT=0.219

UNSAT
TT=1.217

UNSAT
TT=1.282

? (TO)
TT=1800.27

? (TO)
TT=1800.07

? (TO)
TT=1800.05

normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr.opb
UNSAT
TT=0.032

? (TO)
TT=1800.08

? (TO)
TT=1800.26

? (TO)
TT=1800.24

UNSAT
TT=0.082

? (TO)
TT=1800.07

? (TO)
TT=1800.17

? (TO)
TT=1800.02

? (TO)
TT=1800.11

UNSAT
TT=0.032

UNSAT
TT=0.032

UNSAT
TT=0.294

UNSAT
TT=1.349

UNSAT
TT=1.351

? (TO)
TT=1800.21

? (TO)
TT=1800.07

? (TO)
TT=1800.02

normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl50_51_pb.cnf.cr.opb
UNSAT
TT=0.042

? (TO)
TT=1800.16

? (TO)
TT=1800.3

? (TO)
TT=1800.32

UNSAT
TT=0.123

? (TO)
TT=1800.11

? (TO)
TT=1800.57

? (TO)
TT=1800.06

? (TO)
TT=1800.1

UNSAT
TT=0.042

UNSAT
TT=0.042

UNSAT
TT=0.46

UNSAT
TT=10.308

UNSAT
TT=10.276

? (TO)
TT=1800.62

? (TO)
TT=1800.02

? (TO)
TT=1800.08

normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl50_55_pb.cnf.cr.opb
UNSAT
TT=0.046

? (TO)
TT=1800.13

? (MO)
TT=1076.28

? (MO)
TT=1075.43

UNSAT
TT=0.133

? (TO)
TT=1800.1

? (TO)
TT=1800.31

? (TO)
TT=1800.1

? (TO)
TT=1800

UNSAT
TT=0.046

UNSAT
TT=0.046

UNSAT
TT=0.549

UNSAT
TT=1.927

UNSAT
TT=1.681

? (TO)
TT=1800.18

? (TO)
TT=1800.08

? (TO)
TT=1800.02

Bench nameBest results
on this
instance
absconPseudo
102
bsolo
3.0.16
bsolo
3.0.17
glpPB
0.2
minisat+
1.14
oree
0.1.2 alpha
PB-clasp
2007-03-23
PB-clasp
2007-04-10
PBS4
2007-03-23
PBS4_v2
2007-03-23
Pueblo
1.4
sat4jPseudoCP
2007-03-23
sat4jPseudoCPClause
2007-03-23
SAT4JPseudoResolution
2007-03-23
wildcat-rnp
2007-03-21
wildcat-skc
2007-03-21
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr.opb
UNSAT
TT=0.05

? (TO)
TT=1800.07

? (MO)
TT=1129.51

? (MO)
TT=1125.91

UNSAT
TT=0.143

? (TO)
TT=1800.07

? (TO)
TT=1800.23

? (TO)
TT=1800

? (TO)
TT=1800.04

UNSAT
TT=0.05

UNSAT
TT=0.052

UNSAT
TT=0.75

UNSAT
TT=1.732

UNSAT
TT=1.732

? (TO)
TT=1800.68

? (TO)
TT=1800.1

? (TO)
TT=1800.05

normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB05/aloul/FPGA_SAT05/
normalized-fpga10_10_sat_pb.cnf.cr.opb
SAT
TT=0.003
T1=0
? (TO)
TT=1800.17

SAT
TT=0.014
T1=0
SAT
TT=0.014
T1=0
SAT
TT=0.311
T1=0.29
SAT
TT=0.019
T1=0
SAT
TT=696.748
T1=696.68
SAT
TT=0.066
T1=0
SAT
TT=0.066
T1=0
SAT
TT=1.115
T1=1.09
SAT
TT=1.119
T1=1.09
SAT
TT=0.01
T1=0
SAT
TT=1.082
T1=1.02
SAT
TT=1.067
T1=0.86
SAT
TT=14.512
T1=14.49
SAT
TT=0.004
T1=0
SAT
TT=0.003
T1=0
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB05/aloul/FPGA_SAT05/
normalized-fpga10_8_sat_pb.cnf.cr.opb
SAT
TT=0.002
T1=0
? (TO)
TT=1800.09

SAT
TT=0.008
T1=0
SAT
TT=0.006
T1=0
SAT
TT=5.053
T1=4.99
SAT
TT=0.017
T1=0
SAT
TT=1225.06
T1=1224.96
SAT
TT=0.054
T1=0
SAT
TT=0.043
T1=0
SAT
TT=0.655
T1=0.59
SAT
TT=0.644
T1=0.59
SAT
TT=0.014
T1=0
SAT
TT=6.632
T1=6.54
SAT
TT=45.512
T1=45.4
SAT
TT=7.92
T1=7.88
SAT
TT=0.002
T1=0
SAT
TT=0.005
T1=0
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB05/aloul/FPGA_SAT05/
normalized-fpga10_9_sat_pb.cnf.cr.opb
SAT
TT=0.003
T1=0
? (TO)
TT=1800.08

SAT
TT=0.062
T1=0
SAT
TT=0.063
T1=0
SAT
TT=111.741
T1=111.65
SAT
TT=0.016
T1=0
SAT
TT=191.759
T1=191.64
SAT
TT=0.065
T1=0
SAT
TT=0.051
T1=0
SAT
TT=0.975
T1=0.89
SAT
TT=0.965
T1=0.89
SAT
TT=0.009
T1=0
SAT
TT=1.998
T1=1.8
SAT
TT=1.735
T1=1.58
SAT
TT=63.673
T1=63.6
SAT
TT=0.003
T1=0
SAT
TT=0.003
T1=0
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB05/aloul/FPGA_SAT05/
normalized-fpga11_10_sat_pb.cnf.cr.opb
SAT
TT=0.003
T1=0
? (TO)
TT=1800.11

SAT
TT=0.009
T1=0
SAT
TT=0.009
T1=0
? (TO)
TT=1800.09

SAT
TT=0.019
T1=0
? (TO)
TT=1800.15

SAT
TT=0.062
T1=0
SAT
TT=0.056
T1=0
SAT
TT=1.195
T1=1.09
SAT
TT=1.181
T1=1.1
SAT
TT=0.011
T1=0
SAT
TT=0.779
T1=0.65
SAT
TT=0.812
T1=0.67
SAT
TT=89.878
T1=89.77
SAT
TT=0.003
T1=0
SAT
TT=0.005
T1=0
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB05/aloul/FPGA_SAT05/
normalized-fpga11_11_sat_pb.cnf.cr.opb
SAT
TT=0.003
T1=0
? (TO)
TT=1800.11

SAT
TT=0.009
T1=0
SAT
TT=0.009
T1=0
SAT
TT=864.937
T1=864.86
SAT
TT=0.023
T1=0
? (TO)
TT=1800.15

SAT
TT=0.118
T1=0
SAT
TT=0.055
T1=0
SAT
TT=1.452
T1=1.39
SAT
TT=1.468
T1=1.4
SAT
TT=0.01
T1=0
SAT
TT=2.221
T1=2.11
SAT
TT=1.499
T1=1.35
SAT
TT=460.711
T1=460.59
SAT
TT=0.004
T1=0
SAT
TT=0.003
T1=0
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB05/aloul/FPGA_SAT05/
normalized-fpga11_9_sat_pb.cnf.cr.opb
SAT
TT=0.003
T1=0
? (TO)
TT=1800.11

SAT
TT=0.007
T1=0
SAT
TT=0.009
T1=0
SAT
TT=1733.34
T1=1733.25
SAT
TT=0.019
T1=0
? (TO)
TT=1800.17

SAT
TT=0.066
T1=0
SAT
TT=0.051
T1=0
SAT
TT=0.988
T1=0.89
SAT
TT=0.982
T1=0.89
SAT
TT=0.013
T1=0
SAT
TT=81.597
T1=81.5
SAT
TT=22.67
T1=22.56
SAT
TT=326.659
T1=326.62
SAT
TT=0.003
T1=0
SAT
TT=0.003
T1=0
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB05/aloul/FPGA_SAT05/
normalized-fpga12_10_sat_pb.cnf.cr.opb
SAT
TT=0.003
T1=0
? (TO)
TT=1800.1

SAT
TT=0.008
T1=0
SAT
TT=0.007
T1=0
? (TO)
TT=1800.08

SAT
TT=0.021
T1=0
? (TO)
TT=1800.21

SAT
TT=0.075
T1=0
SAT
TT=0.057
T1=0
SAT
TT=1.54
T1=1.49
SAT
TT=1.442
T1=1.39
SAT
TT=0.024
T1=0
SAT
TT=23.108
T1=23.05
? (TO)
TT=1800.44

? (TO)
TT=1800.17

SAT
TT=0.003
T1=0
SAT
TT=0.003
T1=0
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB05/aloul/FPGA_SAT05/
normalized-fpga12_11_sat_pb.cnf.cr.opb
SAT
TT=0.003
T1=0
? (TO)
TT=1800.16

SAT
TT=0.022
T1=0
SAT
TT=0.023
T1=0
? (TO)
TT=1800.04

SAT
TT=0.024
T1=0
? (TO)
TT=1800.3

SAT
TT=0.123
T1=0
SAT
TT=0.105
T1=0
SAT
TT=1.823
T1=1.79
SAT
TT=1.797
T1=1.69
SAT
TT=0.012
T1=0
SAT
TT=2.183
T1=1.97
SAT
TT=2
T1=1.95
? (TO)
TT=1800.23

SAT
TT=0.004
T1=0
SAT
TT=0.003
T1=0
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB05/aloul/FPGA_SAT05/
normalized-fpga12_12_sat_pb.cnf.cr.opb
SAT
TT=0.005
T1=0
? (TO)
TT=1800.12

SAT
TT=0.008
T1=0
SAT
TT=0.009
T1=0
? (TO)
TT=1800.02

SAT
TT=0.026
T1=0
? (TO)
TT=1800.09

SAT
TT=0.086
T1=0
SAT
TT=0.074
T1=0
SAT
TT=1.912
T1=1.89
SAT
TT=1.899
T1=1.79
SAT
TT=0.01
T1=0
SAT
TT=1.129
T1=0.99
SAT
TT=1.135
T1=1
? (TO)
TT=1800.16

SAT
TT=0.006
T1=0
SAT
TT=0.005
T1=0
Bench nameBest results
on this
instance
absconPseudo
102
bsolo
3.0.16
bsolo
3.0.17
glpPB
0.2
minisat+
1.14
oree
0.1.2 alpha
PB-clasp
2007-03-23
PB-clasp
2007-04-10
PBS4
2007-03-23
PBS4_v2
2007-03-23
Pueblo
1.4
sat4jPseudoCP
2007-03-23
sat4jPseudoCPClause
2007-03-23
SAT4JPseudoResolution
2007-03-23
wildcat-rnp
2007-03-21
wildcat-skc
2007-03-21
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB05/aloul/FPGA_SAT05/
normalized-fpga13_11_sat_pb.cnf.cr.opb
SAT
TT=0.003
T1=0
? (TO)
TT=1800.09

SAT
TT=0.084
T1=0
SAT
TT=0.081
T1=0.01
? (TO)
TT=1800.09

SAT
TT=0.027
T1=0
? (TO)
TT=1800.12

SAT
TT=0.191
T1=0
SAT
TT=0.059
T1=0
SAT
TT=2.027
T1=1.99
SAT
TT=1.962
T1=1.89
SAT
TT=0.013
T1=0
SAT
TT=276.986
T1=276.84
? (TO)
TT=1800.21

? (TO)
TT=1800.12

SAT
TT=0.004
T1=0
SAT
TT=0.003
T1=0
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB05/aloul/FPGA_SAT05/
normalized-fpga13_12_sat_pb.cnf.cr.opb
SAT
TT=0.004
T1=0
? (TO)
TT=1800.16

SAT
TT=0.016
T1=0
SAT
TT=0.015
T1=0
? (TO)
TT=1800.1

SAT
TT=0.028
T1=0.01
? (TO)
TT=1800.32

SAT
TT=0.101
T1=0
SAT
TT=0.073
T1=0
SAT
TT=1.646
T1=1.59
SAT
TT=1.632
T1=1.59
SAT
TT=0.03
T1=0.01
SAT
TT=1.184
T1=1.16
SAT
TT=1.127
T1=1.02
? (TO)
TT=1800.17

SAT
TT=0.004
T1=0
SAT
TT=0.005
T1=0
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB05/aloul/FPGA_SAT05/
normalized-fpga13_13_sat_pb.cnf.cr.opb
SAT
TT=0.004
T1=0
? (TO)
TT=1800.16

SAT
TT=0.017
T1=0
SAT
TT=0.017
T1=0
? (TO)
TT=1800.1

SAT
TT=0.071
T1=0.05
? (TO)
TT=1800.17

SAT
TT=0.1
T1=0
SAT
TT=0.082
T1=0
SAT
TT=1.896
T1=1.79
SAT
TT=1.862
T1=1.79
SAT
TT=0.012
T1=0
SAT
TT=2.686
T1=2.41
SAT
TT=2.364
T1=2.24
? (TO)
TT=1800.1

SAT
TT=0.005
T1=0
SAT
TT=0.004
T1=0
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB05/aloul/FPGA_SAT05/
normalized-fpga14_12_sat_pb.cnf.cr.opb
SAT
TT=0.004
T1=0
? (TO)
TT=1800.14

SAT
TT=0.086
T1=0.03
SAT
TT=0.084
T1=0.02
? (TO)
TT=1800.03

SAT
TT=0.029
T1=0
? (TO)
TT=1800.11

SAT
TT=0.495
T1=0
SAT
TT=0.598
T1=0
SAT
TT=2.217
T1=2.2
SAT
TT=2.212
T1=2.2
SAT
TT=0.013
T1=0
? (TO)
TT=1800.18

SAT
TT=307.822
T1=307.66
? (TO)
TT=1800.09

SAT
TT=0.004
T1=0
SAT
TT=0.004
T1=0
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB05/aloul/FPGA_SAT05/
normalized-fpga14_13_sat_pb.cnf.cr.opb
SAT
TT=0.004
T1=0
? (TO)
TT=1800.11

SAT
TT=0.013
T1=0
SAT
TT=0.013
T1=0
? (TO)
TT=1800.06

SAT
TT=0.041
T1=0.03
? (TO)
TT=1800.4

SAT
TT=0.33
T1=0
SAT
TT=0.129
T1=0
SAT
TT=1.958
T1=1.89
SAT
TT=1.92
T1=1.88
SAT
TT=0.025
T1=0
SAT
TT=3.444
T1=3.32
SAT
TT=3.551
T1=3.09
? (TO)
TT=1800.15

SAT
TT=0.005
T1=0
SAT
TT=0.004
T1=0
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB05/aloul/FPGA_SAT05/
normalized-fpga14_14_sat_pb.cnf.cr.opb
SAT
TT=0.005
T1=0
? (TO)
TT=1800.15

SAT
TT=0.024
T1=0
SAT
TT=0.023
T1=0
? (TO)
TT=1800.02

SAT
TT=0.037
T1=0.02
? (TO)
TT=1800.08

SAT
TT=1.598
T1=1.57
SAT
TT=0.073
T1=0
SAT
TT=2.232
T1=2.2
SAT
TT=2.206
T1=2.19
SAT
TT=0.014
T1=0
SAT
TT=4.517
T1=4.46
SAT
TT=3.3
T1=3.08
? (TO)
TT=1800.18

SAT
TT=0.005
T1=0
SAT
TT=0.005
T1=0
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB05/aloul/FPGA_SAT05/
normalized-fpga15_13_sat_pb.cnf.cr.opb
SAT
TT=0.004
T1=0
? (TO)
TT=1800.14

SAT
TT=0.014
T1=0
SAT
TT=0.013
T1=0
? (TO)
TT=1800.06

SAT
TT=0.033
T1=0
? (TO)
TT=1800.22

SAT
TT=75.103
T1=75.05
SAT
TT=1.683
T1=1.58
SAT
TT=1.72
T1=1.68
SAT
TT=1.679
T1=1.58
SAT
TT=0.018
T1=0
? (TO)
TT=1800.18

? (TO)
TT=1800.22

? (TO)
TT=1800.2

SAT
TT=0.005
T1=0
SAT
TT=0.004
T1=0
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB05/aloul/FPGA_SAT05/
normalized-fpga15_14_sat_pb.cnf.cr.opb
SAT
TT=0.004
T1=0
? (TO)
TT=1800.05

SAT
TT=0.013
T1=0
SAT
TT=0.014
T1=0
? (TO)
TT=1800.01

SAT
TT=0.039
T1=0
? (TO)
TT=1800.11

SAT
TT=1.062
T1=1.03
SAT
TT=0.234
T1=0
SAT
TT=2.688
T1=2.59
SAT
TT=2.687
T1=2.59
SAT
TT=0.029
T1=0
SAT
TT=4.255
T1=4.13
SAT
TT=4.123
T1=4.07
? (TO)
TT=1800.13

SAT
TT=0.005
T1=0
SAT
TT=0.004
T1=0
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB05/aloul/FPGA_SAT05/
normalized-fpga15_15_sat_pb.cnf.cr.opb
SAT
TT=0.005
T1=0
? (TO)
TT=1800.09

SAT
TT=0.022
T1=0
SAT
TT=0.026
T1=0
? (TO)
TT=1800.02

SAT
TT=0.06
T1=0
? (TO)
TT=1800.08

SAT
TT=0.903
T1=0
SAT
TT=0.145
T1=0
SAT
TT=3.551
T1=3.48
SAT
TT=3.58
T1=3.49
SAT
TT=0.017
T1=0
SAT
TT=3.535
T1=3.43
SAT
TT=3.699
T1=3.66
? (TO)
TT=1800.18

SAT
TT=0.006
T1=0
SAT
TT=0.005
T1=0
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB05/aloul/FPGA_SAT05/
normalized-fpga20_18_sat_pb.cnf.cr.opb
SAT
TT=0.008
T1=0
? (TO)
TT=1800.09

SAT
TT=2.449
T1=2.39
SAT
TT=2.441
T1=2.39
? (TO)
TT=1800.11

SAT
TT=0.199
T1=0.09
? (TO)
TT=1800.33

SAT
TT=602.767
T1=602.66
SAT
TT=1.387
T1=1.28
SAT
TT=5.145
T1=5.09
SAT
TT=5.152
T1=5.08
SAT
TT=0.039
T1=0
? (TO)
TT=1800.31

? (TO)
TT=1800.22

? (TO)
TT=1800.1

SAT
TT=0.009
T1=0
SAT
TT=0.008
T1=0
Bench nameBest results
on this
instance
absconPseudo
102
bsolo
3.0.16
bsolo
3.0.17
glpPB
0.2
minisat+
1.14
oree
0.1.2 alpha
PB-clasp
2007-03-23
PB-clasp
2007-04-10
PBS4
2007-03-23
PBS4_v2
2007-03-23
Pueblo
1.4
sat4jPseudoCP
2007-03-23
sat4jPseudoCPClause
2007-03-23
SAT4JPseudoResolution
2007-03-23
wildcat-rnp
2007-03-21
wildcat-skc
2007-03-21
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB05/aloul/FPGA_SAT05/
normalized-fpga20_19_sat_pb.cnf.cr.opb
SAT
TT=0.009
T1=0
? (TO)
TT=1800.08

SAT
TT=0.026
T1=0.01
SAT
TT=0.034
T1=0
? (TO)
TT=1800.05

SAT
TT=0.284
T1=0.19
? (TO)
TT=1800.14

SAT
TT=1139.58
T1=1139.53
SAT
TT=0.475
T1=0
SAT
TT=7.124
T1=7.09
SAT
TT=7.126
T1=7.08
SAT
TT=0.045
T1=0.03
? (TO)
TT=1800.17

SAT
TT=34.507
T1=34.42
? (TO)
TT=1800.17

SAT
TT=0.012
T1=0
SAT
TT=0.009
T1=0
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB05/aloul/FPGA_SAT05/
normalized-fpga20_20_sat_pb.cnf.cr.opb
SAT
TT=0.01
T1=0
? (TO)
TT=1800.11

SAT
TT=0.03
T1=0
SAT
TT=0.03
T1=0
? (TO)
TT=1800.08

SAT
TT=0.122
T1=0.09
? (TO)
TT=1800.21

SAT
TT=612.441
T1=612.36
SAT
TT=0.143
T1=0
SAT
TT=16.824
T1=16.79
SAT
TT=16.826
T1=16.79
SAT
TT=0.042
T1=0
SAT
TT=7.23
T1=7.17
SAT
TT=5.703
T1=5.56
? (TO)
TT=1800.16

SAT
TT=0.011
T1=0
SAT
TT=0.01
T1=0
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB05/aloul/FPGA_SAT05/
normalized-fpga25_23_sat_pb.cnf.cr.opb
SAT
TT=0.013
T1=0
? (TO)
TT=1800.07

SAT
TT=186.369
T1=186.26
SAT
TT=186.054
T1=185.94
? (TO)
TT=1800.08

SAT
TT=14.637
T1=14.59
? (TO)
TT=1800.29

? (TO)
TT=1800.01

SAT
TT=0.279
T1=0
SAT
TT=12.68
T1=12.59
SAT
TT=12.692
T1=12.59
SAT
TT=0.065
T1=0
? (TO)
TT=1800.25

? (TO)
TT=1800.45

? (TO)
TT=1800.16

SAT
TT=0.016
T1=0
SAT
TT=0.013
T1=0
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB05/aloul/FPGA_SAT05/
normalized-fpga25_24_sat_pb.cnf.cr.opb
SAT
TT=0.016
T1=0
? (TO)
TT=1800.08

SAT
TT=0.083
T1=0.03
SAT
TT=0.099
T1=0.04
? (TO)
TT=1800.09

SAT
TT=0.395
T1=0.29
? (TO)
TT=1800.15

? (TO)
TT=1800.08

? (TO)
TT=1800.1

SAT
TT=30.721
T1=30.69
SAT
TT=30.638
T1=30.57
SAT
TT=0.431
T1=0.39
? (TO)
TT=1800.16

? (TO)
TT=1800.24

? (TO)
TT=1800.27

SAT
TT=0.018
T1=0
SAT
TT=0.016
T1=0
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB05/aloul/FPGA_SAT05/
normalized-fpga25_25_sat_pb.cnf.cr.opb
SAT
TT=0.017
T1=0
? (TO)
TT=1800.14

SAT
TT=1.533
T1=1.48
SAT
TT=1.519
T1=1.49
? (TO)
TT=1800.09

SAT
TT=0.298
T1=0.19
? (TO)
TT=1800.14

? (TO)
TT=1800.1

SAT
TT=0.316
T1=0
SAT
TT=54.969
T1=54.89
SAT
TT=55.06
T1=54.98
SAT
TT=0.095
T1=0.04
? (TO)
TT=1800.26

SAT
TT=8.028
T1=7.87
? (TO)
TT=1800.15

SAT
TT=0.019
T1=0.01
SAT
TT=0.017
T1=0
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB05/aloul/FPGA_SAT05/
normalized-fpga30_28_sat_pb.cnf.cr.opb
SAT
TT=0.023
T1=0
? (TO)
TT=1800.16

SAT
TT=0.08
T1=0.02
SAT
TT=0.081
T1=0.02
? (TO)
TT=1800.1

SAT
TT=10.941
T1=10.89
? (TO)
TT=1800.2

? (TO)
TT=1800.05

SAT
TT=0.773
T1=0
SAT
TT=774.411
T1=774.35
SAT
TT=773.836
T1=773.77
SAT
TT=0.233
T1=0.19
? (TO)
TT=1800.25

? (TO)
TT=1800.27

? (TO)
TT=1800.22

SAT
TT=0.025
T1=0
SAT
TT=0.023
T1=0
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB05/aloul/FPGA_SAT05/
normalized-fpga30_29_sat_pb.cnf.cr.opb
SAT
TT=0.022
T1=0
? (TO)
TT=1800.07

SAT
TT=0.147
T1=0.09
SAT
TT=0.144
T1=0.09
? (TO)
TT=1800.07

SAT
TT=0.262
T1=0.19
? (TO)
TT=1800.37

? (TO)
TT=1800.1

SAT
TT=1.556
T1=1.5
SAT
TT=862.333
T1=862.25
SAT
TT=863.859
T1=863.72
SAT
TT=0.201
T1=0.19
? (TO)
TT=1800.45

? (TO)
TT=1800.2

? (TO)
TT=1800.21

SAT
TT=0.028
T1=0.02
SAT
TT=0.022
T1=0
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB05/aloul/FPGA_SAT05/
normalized-fpga30_30_sat_pb.cnf.cr.opb
SAT
TT=0.024
T1=0
? (TO)
TT=1800.11

SAT
TT=0.097
T1=0.01
SAT
TT=0.096
T1=0.04
? (TO)
TT=1800.06

SAT
TT=1.724
T1=1.68
? (TO)
TT=1800.08

? (TO)
TT=1800.08

SAT
TT=0.31
T1=0
? (TO)
TT=1800.09

? (TO)
TT=1800.05

SAT
TT=0.234
T1=0.16
SAT
TT=21.284
T1=21.08
? (TO)
TT=1800.24

? (TO)
TT=1801.12

SAT
TT=0.03
T1=0
SAT
TT=0.024
T1=0
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB05/aloul/FPGA_SAT05/
normalized-fpga35_33_sat_pb.cnf.cr.opb
SAT
TT=0.037
T1=0
? (TO)
TT=1800.12

SAT
TT=3.54
T1=3.49
SAT
TT=3.416
T1=3.4
? (TO)
TT=1800.03

? (TO)
TT=1800.09

? (TO)
TT=1800.42

? (TO)
TT=1800.03

SAT
TT=25.614
T1=25.49
? (TO)
TT=1800.12

? (TO)
TT=1800.11

SAT
TT=0.315
T1=0.29
? (TO)
TT=1800.24

? (TO)
TT=1800.3

? (TO)
TT=1800.25

SAT
TT=0.04
T1=0
SAT
TT=0.037
T1=0
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB05/aloul/FPGA_SAT05/
normalized-fpga35_34_sat_pb.cnf.cr.opb
SAT
TT=0.037
T1=0
? (TO)
TT=1800.13

SAT
TT=0.152
T1=0.07
SAT
TT=0.16
T1=0.09
? (TO)
TT=1800.01

SAT
TT=121.219
T1=121.15
? (TO)
TT=1800.19

? (TO)
TT=1800.04

SAT
TT=1.922
T1=1.81
? (TO)
TT=1800.17

? (TO)
TT=1800.15

SAT
TT=0.415
T1=0.39
? (TO)
TT=1800.22

? (TO)
TT=1800.27

? (TO)
TT=1800.27

SAT
TT=0.045
T1=0
SAT
TT=0.037
T1=0
Bench nameBest results
on this
instance
absconPseudo
102
bsolo
3.0.16
bsolo
3.0.17
glpPB
0.2
minisat+
1.14
oree
0.1.2 alpha
PB-clasp
2007-03-23
PB-clasp
2007-04-10
PBS4
2007-03-23
PBS4_v2
2007-03-23
Pueblo
1.4
sat4jPseudoCP
2007-03-23
sat4jPseudoCPClause
2007-03-23
SAT4JPseudoResolution
2007-03-23
wildcat-rnp
2007-03-21
wildcat-skc
2007-03-21
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB05/aloul/FPGA_SAT05/
normalized-fpga35_35_sat_pb.cnf.cr.opb
SAT
TT=0.038
T1=0
? (TO)
TT=1800.07

SAT
TT=0.205
T1=0.19
SAT
TT=0.204
T1=0.19
? (TO)
TT=1800.04

SAT
TT=67.297
T1=67.26
? (TO)
TT=1800.29

? (TO)
TT=1800.04

SAT
TT=6.718
T1=6.61
? (TO)
TT=1800.1

? (TO)
TT=1800.17

SAT
TT=0.378
T1=0.28
? (TO)
TT=1800.28

? (TO)
TT=1800.43

? (TO)
TT=1800.68

SAT
TT=0.049
T1=0
SAT
TT=0.038
T1=0
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB05/aloul/FPGA_SAT05/
normalized-fpga40_38_sat_pb.cnf.cr.opb
SAT
TT=0.053
T1=0
? (TO)
TT=1800.13

SAT
TT=0.255
T1=0.19
SAT
TT=0.248
T1=0.19
? (TO)
TT=1800.04

? (TO)
TT=1800.12

? (TO)
TT=1800.2

? (TO)
TT=1800.06

? (TO)
TT=1800.04

? (TO)
TT=1800.15

? (TO)
TT=1800.14

SAT
TT=2.983
T1=2.89
? (TO)
TT=1800.19

? (TO)
TT=1800.25

? (TO)
TT=1800.28

SAT
TT=0.064
T1=0.05
SAT
TT=0.053
T1=0
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB05/aloul/FPGA_SAT05/
normalized-fpga40_39_sat_pb.cnf.cr.opb
SAT
TT=0.058
T1=0
? (TO)
TT=1800.06

SAT
TT=0.298
T1=0.19
SAT
TT=0.348
T1=0.29
? (TO)
TT=1800.08

SAT
TT=239.999
T1=239.9
? (TO)
TT=1800.31

? (TO)
TT=1800.07

SAT
TT=10.956
T1=10.82
? (TO)
TT=1800.16

? (TO)
TT=1800.13

SAT
TT=0.849
T1=0.79
? (TO)
TT=1800.3

? (TO)
TT=1800.2

? (TO)
TT=1801.07

SAT
TT=0.065
T1=0
SAT
TT=0.058
T1=0
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB05/aloul/FPGA_SAT05/
normalized-fpga40_40_sat_pb.cnf.cr.opb
SAT
TT=0.061
T1=0
? (TO)
TT=1800.08

SAT
TT=0.323
T1=0.29
SAT
TT=0.322
T1=0.29
? (TO)
TT=1800.07

SAT
TT=575.848
T1=575.73
? (TO)
TT=1800.23

? (TO)
TT=1800.05

SAT
TT=7.432
T1=7.31
? (TO)
TT=1800.12

? (TO)
TT=1800.12

SAT
TT=0.809
T1=0.79
? (TO)
TT=1800.25

SAT
TT=385.798
T1=385.72
? (TO)
TT=1800.32

SAT
TT=0.071
T1=0
SAT
TT=0.061
T1=0.04
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB05/aloul/FPGA_SAT05/
normalized-fpga45_43_sat_pb.cnf.cr.opb
SAT
TT=0.077
T1=0
? (TO)
TT=1800.14

? (TO)
TT=1800.15

? (TO)
TT=1800.18

? (TO)
TT=1800.08

? (TO)
TT=1800.11

? (TO)
TT=1800.51

? (TO)
TT=1800.04

SAT
TT=2.813
T1=2.73
? (TO)
TT=1800.16

? (TO)
TT=1800.14

SAT
TT=2.314
T1=2.28
? (TO)
TT=1800.3

? (TO)
TT=1800.31

? (TO)
TT=1800.28

SAT
TT=0.09
T1=0
SAT
TT=0.077
T1=0
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB05/aloul/FPGA_SAT05/
normalized-fpga45_44_sat_pb.cnf.cr.opb
SAT
TT=0.085
T1=0.03
? (TO)
TT=1800.13

SAT
TT=1.793
T1=1.69
SAT
TT=1.492
T1=1.39
? (TO)
TT=1800.07

? (TO)
TT=1800.12

? (TO)
TT=1800.19

? (TO)
TT=1800.1

SAT
TT=20.524
T1=20.44
? (TO)
TT=1800.15

? (TO)
TT=1800.09

SAT
TT=1.509
T1=1.49
? (TO)
TT=1800.29

? (TO)
TT=1800.25

? (TO)
TT=1800.28

SAT
TT=0.095
T1=0.03
SAT
TT=0.085
T1=0.03
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB05/aloul/FPGA_SAT05/
normalized-fpga45_45_sat_pb.cnf.cr.opb
SAT
TT=0.084
T1=0
? (TO)
TT=1800.12

SAT
TT=0.735
T1=0.69
SAT
TT=0.708
T1=0.69
? (TO)
TT=1800.11

SAT
TT=1.155
T1=1.09
? (TO)
TT=1800.38

? (TO)
TT=1800.02

SAT
TT=9.076
T1=8.93
? (TO)
TT=1800.17

? (TO)
TT=1800.14

SAT
TT=1.144
T1=1.09
? (TO)
TT=1800.2

? (TO)
TT=1800.33

? (TO)
TT=1800.25

SAT
TT=0.103
T1=0
SAT
TT=0.084
T1=0.02
normalized-PB06/SATUNSAT-SMALLINT/
web/
uclid_pb_benchmarks/normalized-22s.smv.opb
UNSAT
TT=0.362

? (TO)
TT=1800.13

UNSAT
TT=0.803

UNSAT
TT=0.805

? (TO)
TT=1800.09

UNSAT
TT=1.399

UNSAT
TT=0.628

UNSAT
TT=12.544

UNSAT
TT=1.652

UNSAT
TT=0.365

UNSAT
TT=0.362

UNSAT
TT=0.479

UNSAT
TT=3.122

UNSAT
TT=3.106

UNSAT
TT=2.802

? (TO)
TT=1800.11

?
TT=1150.58

normalized-PB06/SATUNSAT-SMALLINT/
web/
uclid_pb_benchmarks/normalized-25s.smv.opb
UNSAT
TT=0.201

? (TO)
TT=1800.1

UNSAT
TT=0.412

UNSAT
TT=0.414

? (TO)
TT=1800.04

UNSAT
TT=1.017

UNSAT
TT=0.697

UNSAT
TT=7.328

UNSAT
TT=1.396

UNSAT
TT=0.201

UNSAT
TT=0.201

UNSAT
TT=0.332

UNSAT
TT=2.881

UNSAT
TT=4.648

UNSAT
TT=3.017

? (TO)
TT=1800.08

?
TT=763.749

normalized-PB06/SATUNSAT-SMALLINT/
web/
uclid_pb_benchmarks/normalized-37s.smv.opb
UNSAT
TT=0.055

? (TO)
TT=1800.08

UNSAT
TT=0.065

UNSAT
TT=0.068

? (TO)
TT=1800.09

UNSAT
TT=0.141

UNSAT
TT=2.9

UNSAT
TT=0.449

UNSAT
TT=0.305

UNSAT
TT=0.058

UNSAT
TT=0.057

UNSAT
TT=0.055

UNSAT
TT=2.426

UNSAT
TT=2.783

UNSAT
TT=1.964

? (TO)
TT=1800.06

?
TT=774.934

Bench nameBest results
on this
instance
absconPseudo
102
bsolo
3.0.16
bsolo
3.0.17
glpPB
0.2
minisat+
1.14
oree
0.1.2 alpha
PB-clasp
2007-03-23
PB-clasp
2007-04-10
PBS4
2007-03-23
PBS4_v2
2007-03-23
Pueblo
1.4
sat4jPseudoCP
2007-03-23
sat4jPseudoCPClause
2007-03-23
SAT4JPseudoResolution
2007-03-23
wildcat-rnp
2007-03-21
wildcat-skc
2007-03-21
normalized-PB06/SATUNSAT-SMALLINT/
web/
uclid_pb_benchmarks/normalized-43s.smv.opb
UNSAT
TT=0.377

? (TO)
TT=1800.11

UNSAT
TT=0.554

UNSAT
TT=0.557

? (TO)
TT=1800.02

UNSAT
TT=0.932

UNSAT
TT=16.837

UNSAT
TT=9.76

UNSAT
TT=1.526

UNSAT
TT=0.377

UNSAT
TT=0.377

UNSAT
TT=0.39

UNSAT
TT=49.84

? (TO)
TT=1800.17

UNSAT
TT=3.163

? (TO)
TT=1800.02

?
TT=746.476

normalized-PB06/SATUNSAT-SMALLINT/
web/
uclid_pb_benchmarks/normalized-44s.smv.opb
UNSAT
TT=0.026

? (TO)
TT=1800.07

UNSAT
TT=0.026

UNSAT
TT=0.029

? (TO)
TT=1800.09

UNSAT
TT=0.085

UNSAT
TT=0.311

UNSAT
TT=0.278

UNSAT
TT=0.138

UNSAT
TT=0.028

UNSAT
TT=0.028

UNSAT
TT=0.029

UNSAT
TT=5.697

UNSAT
TT=5.105

UNSAT
TT=1.249

? (TO)
TT=1800.08

?
TT=752.713

normalized-PB06/SATUNSAT-SMALLINT/
web/
uclid_pb_benchmarks/normalized-46s.smv.opb
UNSAT
TT=0.084

? (TO)
TT=1800.15

UNSAT
TT=0.184

UNSAT
TT=0.181

? (TO)
TT=1800.02

UNSAT
TT=0.303

UNSAT
TT=1.66

UNSAT
TT=1.083

UNSAT
TT=0.415

UNSAT
TT=0.086

UNSAT
TT=0.084

UNSAT
TT=0.118

UNSAT
TT=7.62

UNSAT
TT=5.971

UNSAT
TT=2.29

? (TO)
TT=1800.08

?
TT=746.841

normalized-PB06/SATUNSAT-SMALLINT/
web/uclid_pb_benchmarks/
normalized-blast-floppy1-2.ucl.opb
UNSAT
TT=0.015

UNSAT
TT=0.616

UNSAT
TT=0.016

UNSAT
TT=0.015

UNSAT
TT=0.015

UNSAT
TT=0.023

UNSAT
TT=0.096

UNSAT
TT=0.409

UNSAT
TT=0.058

UNSAT
TT=0.045

UNSAT
TT=0.046

UNSAT
TT=0.02

UNSAT
TT=11.245

UNSAT
TT=6.1

UNSAT
TT=0.917

? (TO)
TT=1800.08

?
TT=819.467

normalized-PB06/SATUNSAT-SMALLINT/
web/uclid_pb_benchmarks/
normalized-blast-floppy1-3.ucl.opb
UNSAT
TT=0.006

UNSAT
TT=0.573

UNSAT
TT=0.009

UNSAT
TT=0.008

UNSAT
TT=0.02

UNSAT
TT=0.021

UNSAT
TT=0.008

UNSAT
TT=0.125

UNSAT
TT=0.061

UNSAT
TT=0.008

UNSAT
TT=0.006

UNSAT
TT=0.011

UNSAT
TT=0.458

UNSAT
TT=0.46

UNSAT
TT=0.466

? (TO)
TT=1800.11

?
TT=724.233

normalized-PB06/SATUNSAT-SMALLINT/
web/uclid_pb_benchmarks/
normalized-blast-floppy1-4.ucl.opb
UNSAT
TT=0.004

UNSAT
TT=0.473

UNSAT
TT=0.009

UNSAT
TT=0.008

UNSAT
TT=0.015

UNSAT
TT=0.017

UNSAT
TT=0.008

UNSAT
TT=0.217

UNSAT
TT=0.056

UNSAT
TT=0.004

UNSAT
TT=0.004

UNSAT
TT=0.008

UNSAT
TT=0.406

UNSAT
TT=0.415

UNSAT
TT=0.413

? (TO)
TT=1800.05

?
TT=812.7

normalized-PB06/SATUNSAT-SMALLINT/
web/uclid_pb_benchmarks/
normalized-blast-floppy1-6.ucl.opb
UNSAT
TT=0.054

UNSAT
TT=0.703

UNSAT
TT=0.078

UNSAT
TT=0.076

UNSAT
TT=0.095

UNSAT
TT=0.089

UNSAT
TT=0.32

UNSAT
TT=2.795

UNSAT
TT=0.144

UNSAT
TT=0.115

UNSAT
TT=0.116

UNSAT
TT=0.054

UNSAT
TT=1.034

UNSAT
TT=8.434

UNSAT
TT=1.279

? (TO)
TT=1800.08

?
TT=838.644

normalized-PB06/SATUNSAT-SMALLINT/
web/uclid_pb_benchmarks/
normalized-blast-floppy1-7.ucl.opb
UNSAT
TT=0.065

UNSAT
TT=0.802

UNSAT
TT=0.065

UNSAT
TT=0.067

UNSAT
TT=1.236

UNSAT
TT=0.583

UNSAT
TT=0.095

? (MO)
TT=33.17

UNSAT
TT=0.523

UNSAT
TT=0.102

UNSAT
TT=0.102

UNSAT
TT=0.126

UNSAT
TT=2.582

UNSAT
TT=9.98

UNSAT
TT=2.528

? (TO)
TT=1800.06

?
TT=1779.49

normalized-PB06/SATUNSAT-SMALLINT/
web/uclid_pb_benchmarks/
normalized-blast-floppy1-8.ucl.opb
UNSAT
TT=0.067

UNSAT
TT=0.858

UNSAT
TT=0.068

UNSAT
TT=0.067

UNSAT
TT=1.969

UNSAT
TT=0.411

UNSAT
TT=0.12

? (MO)
TT=35.14

UNSAT
TT=0.65

UNSAT
TT=0.127

UNSAT
TT=0.127

UNSAT
TT=0.164

UNSAT
TT=2.415

UNSAT
TT=2.484

UNSAT
TT=2.467

? (TO)
TT=1800.11

?
TT=1754.22

normalized-PB06/SATUNSAT-SMALLINT/
web/uclid_pb_benchmarks/
normalized-blast-tlan2.ucl.opb
UNSAT
TT=0.121

? (TO)
TT=1800.07

UNSAT
TT=0.128

UNSAT
TT=0.13

UNSAT
TT=1.007

UNSAT
TT=0.382

UNSAT
TT=0.252

UNSAT
TT=11.399

UNSAT
TT=0.454

UNSAT
TT=0.121

UNSAT
TT=0.122

UNSAT
TT=0.138

UNSAT
TT=3.226

UNSAT
TT=14.938

UNSAT
TT=3.694

? (TO)
TT=1800.06

?
TT=748.261

Bench nameBest results
on this
instance
absconPseudo
102
bsolo
3.0.16
bsolo
3.0.17
glpPB
0.2
minisat+
1.14
oree
0.1.2 alpha
PB-clasp
2007-03-23
PB-clasp
2007-04-10
PBS4
2007-03-23
PBS4_v2
2007-03-23
Pueblo
1.4
sat4jPseudoCP
2007-03-23
sat4jPseudoCPClause
2007-03-23
SAT4JPseudoResolution
2007-03-23
wildcat-rnp
2007-03-21
wildcat-skc
2007-03-21
normalized-PB06/SATUNSAT-SMALLINT/
web/uclid_pb_benchmarks/
normalized-blast-tlan3.ucl.opb
UNSAT
TT=0.501

UNSAT
TT=3.43

UNSAT
TT=0.839

UNSAT
TT=0.501

UNSAT
TT=195.769

UNSAT
TT=3.025

UNSAT
TT=0.848

? (MO)
TT=40.68

UNSAT
TT=5.588

UNSAT
TT=1.018

UNSAT
TT=1.022

UNSAT
TT=2.845

UNSAT
TT=4.409

UNSAT
TT=4.764

UNSAT
TT=4.489

? (TO)
TT=1800.11

?
TT=830.574

normalized-PB06/SATUNSAT-SMALLINT/
web/uclid_pb_benchmarks/
normalized-cache-ibm-q-full.all.ucl.opb
UNSAT
TT=1140.32

? (TO)
TT=1800.39

? (TO)
TT=1800.05

? (TO)
TT=1800.11

? (TO)
TT=1800.08

UNSAT
TT=1140.32

? (TO)
TT=1800.19

? (TO)
TT=1800.03

? (TO)
TT=1800.07

? (TO)
TT=1800.11

? (TO)
TT=1800.1

? (TO)
TT=1800.14

? (TO)
TT=1800.16

? (TO)
TT=1800.21

? (TO)
TT=1800.1

? (TO)
TT=1800.08

? (TO)
TT=1800.07

normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/
normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb
UNSAT
TT=20.743

?
TT=12.356

UNSAT
TT=421.82

UNSAT
TT=466.737

? (TO)
TT=1800.06

UNSAT
TT=20.743

? (TO)
TT=1800.22

UNSAT
TT=210

UNSAT
TT=57.251

UNSAT
TT=70.572

UNSAT
TT=70.488

UNSAT
TT=86.244

? (TO)
TT=1800.37

? (TO)
TT=1800.25

UNSAT
TT=60.987

? (TO)
TT=1800.13

? (TO)
TT=1800.13

normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/
normalized-cache-ibm-q-unbounded.Icl2arity.ucl.opb
UNSAT
TT=3.569

? (TO)
TT=1800.2

UNSAT
TT=66.535

UNSAT
TT=66.25

? (TO)
TT=1800.05

UNSAT
TT=3.797

UNSAT
TT=409.91

UNSAT
TT=18.284

UNSAT
TT=7.769

UNSAT
TT=3.609

UNSAT
TT=3.569

UNSAT
TT=6.964

UNSAT
TT=67.109

UNSAT
TT=137.74

UNSAT
TT=14.63

? (TO)
TT=1800.07

?
TT=815.458

normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/
normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb
UNSAT
TT=803.494

? (MO)
TT=12.442

? (TO)
TT=1800.12

? (TO)
TT=1800.09

? (TO)
TT=1800.14

UNSAT
TT=803.494

? (TO)
TT=1800.31

? (TO)
TT=1800.09

? (TO)
TT=1800.03

? (TO)
TT=1800.1

? (TO)
TT=1800.09

? (TO)
TT=1800.1

? (TO)
TT=1800.27

? (TO)
TT=1800.16

? (TO)
TT=1800.21

? (TO)
TT=1800.11

? (TO)
TT=1800.08

normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/
normalized-cache-ibm-q-unbounded.Ih2arity.ucl.opb
SAT
TT=3.409
T1=3.29
?
TT=11.477

SAT
TT=186.592
T1=186.43
SAT
TT=187.272
T1=187.13
? (TO)
TT=1800.13

SAT
TT=11.122
T1=10.97
SAT
TT=16.854
T1=16.68
SAT
TT=76.928
T1=76.85
SAT
TT=22.012
T1=21.93
SAT
TT=3.437
T1=3.29
SAT
TT=3.409
T1=3.29
SAT
TT=42.818
T1=42.77
SAT
TT=11.145
T1=10.87
SAT
TT=11.689
T1=11.42
SAT
TT=11.662
T1=11.4
? (TO)
TT=1800.14

? (TO)
TT=1800.13

normalized-PB06/SATUNSAT-SMALLINT/
web/uclid_pb_benchmarks/
normalized-cache.inv10.ucl.opb
UNSAT
TT=0.204

UNSAT
TT=87.462

UNSAT
TT=0.204

UNSAT
TT=0.209

? (TO)
TT=1800.07

UNSAT
TT=0.909

UNSAT
TT=0.979

UNSAT
TT=3.08

UNSAT
TT=2.237

UNSAT
TT=0.29

UNSAT
TT=0.287

UNSAT
TT=0.735

UNSAT
TT=2.571

UNSAT
TT=2.535

UNSAT
TT=2.486

? (TO)
TT=1800.05

?
TT=1194.2

normalized-PB06/SATUNSAT-SMALLINT/
web/uclid_pb_benchmarks/
normalized-cache.inv12.ucl.opb
UNSAT
TT=9.239

? (TO)
TT=1800.09

UNSAT
TT=129.883

UNSAT
TT=130.896

? (TO)
TT=1800.11

UNSAT
TT=11.65

? (TO)
TT=1800.18

UNSAT
TT=45.346

UNSAT
TT=15.538

UNSAT
TT=9.239

UNSAT
TT=9.266

UNSAT
TT=35.928

? (TO)
TT=1800.17

? (TO)
TT=1800.33

UNSAT
TT=26.862

? (TO)
TT=1800.1

?
TT=1350.19

normalized-PB06/SATUNSAT-SMALLINT/
web/uclid_pb_benchmarks/
normalized-cache.inv14.ucl.opb



? (TO)
TT=1800.23

? (TO)
TT=1800.16

? (TO)
TT=1800.17

? (TO)
TT=1800.07

? (TO)
TT=1800.08

? (TO)
TT=1802.05

? (TO)
TT=1800.01

? (TO)
TT=1800.01

? (TO)
TT=1800.09

? (TO)
TT=1800.07

? (TO)
TT=1800.15

? (TO)
TT=1800.18

? (TO)
TT=1800.2

? (TO)
TT=1800.17

? (TO)
TT=1800.07

?
TT=1727.27

normalized-PB06/SATUNSAT-SMALLINT/
web/uclid_pb_benchmarks/
normalized-cache.inv8.ucl.opb
UNSAT
TT=0.041

UNSAT
TT=0.686

UNSAT
TT=0.042

UNSAT
TT=0.041

UNSAT
TT=1.317

UNSAT
TT=0.222

UNSAT
TT=0.07

UNSAT
TT=0.81

UNSAT
TT=0.597

UNSAT
TT=0.065

UNSAT
TT=0.065

UNSAT
TT=0.11

UNSAT
TT=1.497

UNSAT
TT=1.477

UNSAT
TT=1.481

? (TO)
TT=1800.06

?
TT=1092.81

Bench nameBest results
on this
instance
absconPseudo
102
bsolo
3.0.16
bsolo
3.0.17
glpPB
0.2
minisat+
1.14
oree
0.1.2 alpha
PB-clasp
2007-03-23
PB-clasp
2007-04-10
PBS4
2007-03-23
PBS4_v2
2007-03-23
Pueblo
1.4
sat4jPseudoCP
2007-03-23
sat4jPseudoCPClause
2007-03-23
SAT4JPseudoResolution
2007-03-23
wildcat-rnp
2007-03-21
wildcat-skc
2007-03-21
normalized-PB06/SATUNSAT-SMALLINT/
web/uclid_pb_benchmarks/
normalized-dlx1c.rwmem1.ucl.opb
UNSAT
TT=0.581

? (TO)
TT=1800.12

UNSAT
TT=3.005

UNSAT
TT=3.066

? (TO)
TT=1800.07

UNSAT
TT=1.254

UNSAT
TT=50.368

UNSAT
TT=4.139

UNSAT
TT=2.338

UNSAT
TT=0.581

UNSAT
TT=0.622

UNSAT
TT=0.937

UNSAT
TT=6.238

UNSAT
TT=7.409

UNSAT
TT=3.717

? (TO)
TT=1800.02

?
TT=1413.2

normalized-PB06/SATUNSAT-SMALLINT/
web/uclid_pb_benchmarks/
normalized-dlx1c.rwmem.ucl.opb
UNSAT
TT=0.84

? (TO)
TT=1800.14

UNSAT
TT=6.147

UNSAT
TT=6.262

? (TO)
TT=1800.03

UNSAT
TT=1.409

UNSAT
TT=96.075

UNSAT
TT=4.706

UNSAT
TT=2.903

UNSAT
TT=0.84

UNSAT
TT=0.882

UNSAT
TT=1.128

UNSAT
TT=5.989

UNSAT
TT=6.155

UNSAT
TT=3.72

? (TO)
TT=1800.04

?
TT=1409.98

normalized-PB06/SATUNSAT-SMALLINT/
web/uclid_pb_benchmarks/
normalized-dlx1c.ucl.opb
UNSAT
TT=0.394

? (TO)
TT=1800.07

UNSAT
TT=1.952

UNSAT
TT=1.97

? (TO)
TT=1800.03

UNSAT
TT=0.98

UNSAT
TT=7.327

UNSAT
TT=2.855

UNSAT
TT=1.848

UNSAT
TT=0.394

UNSAT
TT=0.397

UNSAT
TT=0.563

UNSAT
TT=5.006

UNSAT
TT=4.88

UNSAT
TT=3.969

? (TO)
TT=1800.1

?
TT=1379.07

normalized-PB06/SATUNSAT-SMALLINT/
web/uclid_pb_benchmarks/
normalized-elf.rf10.ucl.opb
UNSAT
TT=9.648

? (TO)
TT=1800.28

UNSAT
TT=153.951

UNSAT
TT=155.128

? (TO)
TT=1800.08

UNSAT
TT=9.648

UNSAT
TT=842.439

UNSAT
TT=51.429

UNSAT
TT=20.134

UNSAT
TT=10.572

UNSAT
TT=10.528

UNSAT
TT=57.208

UNSAT
TT=55.942

UNSAT
TT=55.81

UNSAT
TT=12.994

? (TO)
TT=1800.08

? (TO)
TT=1800.11

normalized-PB06/SATUNSAT-SMALLINT/
web/uclid_pb_benchmarks/
normalized-elf.rf6.ucl.opb
UNSAT
TT=0.002

UNSAT
TT=0.455

UNSAT
TT=0.004

UNSAT
TT=0.005

UNSAT
TT=0.018

UNSAT
TT=0.007

UNSAT
TT=0.003

UNSAT
TT=0.043

UNSAT
TT=0.042

UNSAT
TT=0.002

UNSAT
TT=0.003

UNSAT
TT=0.007

UNSAT
TT=0.285

UNSAT
TT=0.282

UNSAT
TT=0.279

?
TT=1461.33

?
TT=791.042

normalized-PB06/SATUNSAT-SMALLINT/
web/uclid_pb_benchmarks/
normalized-elf.rf7.ucl.opb
UNSAT
TT=0.036

? (TO)
TT=1800.08

UNSAT
TT=0.086

UNSAT
TT=0.09

? (TO)
TT=1800.09

UNSAT
TT=0.149

UNSAT
TT=0.065

UNSAT
TT=0.459

UNSAT
TT=0.315

UNSAT
TT=0.036

UNSAT
TT=0.037

UNSAT
TT=0.055

UNSAT
TT=1.927

UNSAT
TT=2.008

UNSAT
TT=1.5

? (TO)
TT=1800.1

?
TT=887.68

normalized-PB06/SATUNSAT-SMALLINT/
web/uclid_pb_benchmarks/
normalized-elf.rf8.ucl.opb
UNSAT
TT=0.218

? (TO)
TT=1800.08

UNSAT
TT=1.082

UNSAT
TT=1.039

? (TO)
TT=1800.01

UNSAT
TT=0.754

UNSAT
TT=0.721

UNSAT
TT=2.526

UNSAT
TT=1.592

UNSAT
TT=0.218

UNSAT
TT=0.219

UNSAT
TT=0.46

UNSAT
TT=3.436

UNSAT
TT=3.486

UNSAT
TT=2.916

? (TO)
TT=1800.02

?
TT=1173.92

normalized-PB06/SATUNSAT-SMALLINT/
web/uclid_pb_benchmarks/
normalized-elf.rf9.ucl.opb
UNSAT
TT=1.128

? (TO)
TT=1800.13

UNSAT
TT=17.335

UNSAT
TT=17.062

? (TO)
TT=1800.11

UNSAT
TT=2.721

UNSAT
TT=17.669

UNSAT
TT=11.111

UNSAT
TT=5.591

UNSAT
TT=1.194

UNSAT
TT=1.128

UNSAT
TT=3.506

UNSAT
TT=7.773

UNSAT
TT=7.8

UNSAT
TT=4.336

? (TO)
TT=1800.04

?
TT=1591.27

normalized-PB06/SATUNSAT-SMALLINT/
web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.2.accl.ucl.opb
UNSAT
TT=1.366

? (TO)
TT=1800.14

UNSAT
TT=5.596

UNSAT
TT=5.551

? (TO)
TT=1800.09

UNSAT
TT=1.372

? (TO)
TT=1801.16

UNSAT
TT=3.341

UNSAT
TT=2.023

UNSAT
TT=1.366

UNSAT
TT=1.372

UNSAT
TT=1.433

? (TO)
TT=1800.16

? (TO)
TT=1800.17

UNSAT
TT=5.576

? (TO)
TT=1800.08

?
TT=734.417

normalized-PB06/SATUNSAT-SMALLINT/
web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.3.accl.ucl.opb
UNSAT
TT=3.615

? (TO)
TT=1800.1

UNSAT
TT=16.975

UNSAT
TT=16.928

? (TO)
TT=1800.07

UNSAT
TT=3.615

? (TO)
TT=1800.33

UNSAT
TT=12.608

UNSAT
TT=7.057

UNSAT
TT=4.615

UNSAT
TT=4.336

UNSAT
TT=9.401

? (TO)
TT=1800.2

? (TO)
TT=1800.24

UNSAT
TT=12.361

? (TO)
TT=1800.06

?
TT=1188.92

Bench nameBest results
on this
instance
absconPseudo
102
bsolo
3.0.16
bsolo
3.0.17
glpPB
0.2
minisat+
1.14
oree
0.1.2 alpha
PB-clasp
2007-03-23
PB-clasp
2007-04-10
PBS4
2007-03-23
PBS4_v2
2007-03-23
Pueblo
1.4
sat4jPseudoCP
2007-03-23
sat4jPseudoCPClause
2007-03-23
SAT4JPseudoResolution
2007-03-23
wildcat-rnp
2007-03-21
wildcat-skc
2007-03-21
normalized-PB06/SATUNSAT-SMALLINT/
web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.4.accl.ucl.opb
UNSAT
TT=0.285

? (TO)
TT=1800.14

UNSAT
TT=0.343

UNSAT
TT=0.343

? (TO)
TT=1800.08

UNSAT
TT=0.611

UNSAT
TT=17.373

UNSAT
TT=2.496

UNSAT
TT=1.119

UNSAT
TT=0.291

UNSAT
TT=0.294

UNSAT
TT=0.285

UNSAT
TT=4.129

UNSAT
TT=4.159

UNSAT
TT=2.487

? (TO)
TT=1800.05

? (TO)
TT=1800.04

normalized-PB06/SATUNSAT-SMALLINT/
web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.6.accl.ucl.opb



? (TO)
TT=1800.16

? (TO)
TT=1800.17

? (TO)
TT=1800.2

? (TO)
TT=1800.07

? (TO)
TT=1800.08

? (TO)
TT=1800.16

? (TO)
TT=1800.06

? (TO)
TT=1800.06

? (TO)
TT=1800.04

? (TO)
TT=1800.06

? (TO)
TT=1800.1

? (TO)
TT=1800.19

? (TO)
TT=1800.25

? (TO)
TT=1800.21

? (TO)
TT=1800.09

? (TO)
TT=1800.05

normalized-PB06/SATUNSAT-SMALLINT/
web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.8.accl.ucl.opb
UNSAT
TT=315.848

? (TO)
TT=1800.13

? (TO)
TT=1800.08

? (TO)
TT=1800.12

? (TO)
TT=1800.09

? (TO)
TT=1800.13

? (TO)
TT=1800.2

UNSAT
TT=1306.94

UNSAT
TT=495.434

UNSAT
TT=318.155

UNSAT
TT=315.848

? (TO)
TT=1800.09

? (TO)
TT=1800.31

? (TO)
TT=1800.29

UNSAT
TT=785.177

? (TO)
TT=1800.04

? (TO)
TT=1800.09

normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/
normalized-ooo.ex.br.mem.RobRegValid_bar.ucl.opb
UNSAT
TT=82.804

?
TT=10.287

UNSAT
TT=499.312

UNSAT
TT=499.556

? (TO)
TT=1800.06

UNSAT
TT=87.836

? (TO)
TT=1800.32

UNSAT
TT=1387.88

UNSAT
TT=324.737

UNSAT
TT=201.184

UNSAT
TT=200.676

UNSAT
TT=91.518

? (TO)
TT=1800.43

? (TO)
TT=1800.22

UNSAT
TT=82.804

? (TO)
TT=1800.11

? (TO)
TT=1800.09

normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb
UNSAT
TT=1506.93

?
TT=13.768

? (TO)
TT=1800.08

? (TO)
TT=1800.11

? (TO)
TT=1800.13

UNSAT
TT=1506.93

? (TO)
TT=1800.39

? (TO)
TT=1800.07

? (TO)
TT=1800.1

? (TO)
TT=1800.04

? (TO)
TT=1800.06

? (TO)
TT=1800.09

? (TO)
TT=1800.24

? (TO)
TT=1800.25

? (TO)
TT=1800.22

? (TO)
TT=1800.1

? (TO)
TT=1800.16

normalized-PB06/SATUNSAT-SMALLINT/
web/uclid_pb_benchmarks/
normalized-ooo.ex.mem.LdValue.ucl.opb
UNSAT
TT=1370.29

?
TT=11.675

? (TO)
TT=1800.09

? (TO)
TT=1800.1

? (TO)
TT=1800.13

UNSAT
TT=1370.29

? (TO)
TT=1800.26

? (TO)
TT=1800.04

? (TO)
TT=1800.03

UNSAT
TT=1719.6

UNSAT
TT=1717.91

? (TO)
TT=1800.12

? (TO)
TT=1800.27

? (TO)
TT=1800.3

? (TO)
TT=1800.27

? (TO)
TT=1800.1

? (TO)
TT=1800.12

normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.ex.mem.LsqHdStrong.ucl.opb
UNSAT
TT=1587.71

?
TT=17.94

? (TO)
TT=1800.05

? (TO)
TT=1800.1

? (TO)
TT=1800.1

UNSAT
TT=1587.71

? (TO)
TT=1800.25

? (TO)
TT=1800.11

? (TO)
TT=1800.06

? (TO)
TT=1800.1

? (TO)
TT=1800.08

? (TO)
TT=1800.14

? (TO)
TT=1800.14

? (TO)
TT=1800.26

? (TO)
TT=1800.13

? (TO)
TT=1800.12

? (TO)
TT=1800.08

normalized-PB06/SATUNSAT-SMALLINT/
web/uclid_pb_benchmarks/
normalized-ooo.rf10.ucl.opb
UNSAT
TT=12.589

? (TO)
TT=1800.13

UNSAT
TT=294.864

UNSAT
TT=286.618

? (TO)
TT=1800.03

UNSAT
TT=12.589

? (TO)
TT=1800.15

UNSAT
TT=56.885

UNSAT
TT=18.698

UNSAT
TT=28.477

UNSAT
TT=28.564

UNSAT
TT=68.095

? (TO)
TT=1800.25

? (TO)
TT=1800.2

UNSAT
TT=54.617

? (TO)
TT=1800.09

?
TT=1338.03

normalized-PB06/SATUNSAT-SMALLINT/
web/uclid_pb_benchmarks/
normalized-ooo.rf6.ucl.opb
UNSAT
TT=0.058

? (TO)
TT=1800.04

UNSAT
TT=0.165

UNSAT
TT=0.178

? (TO)
TT=1800.07

UNSAT
TT=0.209

UNSAT
TT=0.382

UNSAT
TT=0.652

UNSAT
TT=0.454

UNSAT
TT=0.059

UNSAT
TT=0.058

UNSAT
TT=0.103

UNSAT
TT=2.845

UNSAT
TT=3.222

UNSAT
TT=2

? (TO)
TT=1800.11

?
TT=924.03

normalized-PB06/SATUNSAT-SMALLINT/
web/uclid_pb_benchmarks/
normalized-ooo.rf7.ucl.opb
UNSAT
TT=0.201

? (TO)
TT=1800.14

UNSAT
TT=1.162

UNSAT
TT=1.204

? (TO)
TT=1800.08

UNSAT
TT=0.469

UNSAT
TT=9.288

UNSAT
TT=1.665

UNSAT
TT=0.991

UNSAT
TT=0.204

UNSAT
TT=0.201

UNSAT
TT=0.391

UNSAT
TT=4.648

UNSAT
TT=6.075

UNSAT
TT=2.928

? (TO)
TT=1800.02

?
TT=973.164

Bench nameBest results
on this
instance
absconPseudo
102
bsolo
3.0.16
bsolo
3.0.17
glpPB
0.2
minisat+
1.14
oree
0.1.2 alpha
PB-clasp
2007-03-23
PB-clasp
2007-04-10
PBS4
2007-03-23
PBS4_v2
2007-03-23
Pueblo
1.4
sat4jPseudoCP
2007-03-23
sat4jPseudoCPClause
2007-03-23
SAT4JPseudoResolution
2007-03-23
wildcat-rnp
2007-03-21
wildcat-skc
2007-03-21
normalized-PB06/SATUNSAT-SMALLINT/
web/uclid_pb_benchmarks/
normalized-ooo.rf8.ucl.opb
UNSAT
TT=0.754

? (TO)
TT=1800.13

UNSAT
TT=4.725

UNSAT
TT=4.613

? (TO)
TT=1800.05

UNSAT
TT=1.026

UNSAT
TT=197.717

UNSAT
TT=3.944

UNSAT
TT=2.014

UNSAT
TT=0.754

UNSAT
TT=0.756

UNSAT
TT=1.448

UNSAT
TT=12.79

UNSAT
TT=18.942

UNSAT
TT=3.94

? (TO)
TT=1800.07

?
TT=1026.35

normalized-PB06/SATUNSAT-SMALLINT/
web/uclid_pb_benchmarks/
normalized-ooo.rf9.ucl.opb
UNSAT
TT=2.946

? (TO)
TT=1800.17

UNSAT
TT=28.582

UNSAT
TT=28.469

? (TO)
TT=1800.06

UNSAT
TT=2.946

? (TO)
TT=1800.52

UNSAT
TT=12.253

UNSAT
TT=4.934

UNSAT
TT=3.319

UNSAT
TT=3.251

UNSAT
TT=9.304

UNSAT
TT=80.237

UNSAT
TT=123.844

UNSAT
TT=8.736

? (TO)
TT=1800.09

?
TT=1164.06

normalized-PB06/SATUNSAT-SMALLINT/
web/uclid_pb_benchmarks/
normalized-ooo.tag10.ucl.opb
UNSAT
TT=2.129

? (TO)
TT=1800.15

UNSAT
TT=54.245

UNSAT
TT=54.316

? (TO)
TT=1800.02

UNSAT
TT=3.784

UNSAT
TT=1348.33

UNSAT
TT=10.731

UNSAT
TT=4.818

UNSAT
TT=2.129

UNSAT
TT=2.146

UNSAT
TT=23.166

UNSAT
TT=1365.48

UNSAT
TT=327.608

UNSAT
TT=27.149

? (TO)
TT=1800.06

?
TT=1207.81

normalized-PB06/SATUNSAT-SMALLINT/
web/uclid_pb_benchmarks/
normalized-ooo.tag12.ucl.opb
UNSAT
TT=12.221

? (TO)
TT=1800.14

UNSAT
TT=420.918

UNSAT
TT=419.885

? (TO)
TT=1800.12

UNSAT
TT=22.07

? (TO)
TT=1800.71

UNSAT
TT=28.126

UNSAT
TT=23.646

UNSAT
TT=12.221

UNSAT
TT=12.318

UNSAT
TT=52.354

UNSAT
TT=535.059

UNSAT
TT=1624.92

UNSAT
TT=139.742

? (TO)
TT=1800.06

?
TT=1458.82

normalized-PB06/SATUNSAT-SMALLINT/
web/uclid_pb_benchmarks/
normalized-ooo.tag14.ucl.opb
UNSAT
TT=46.821

? (TO)
TT=1800.19

UNSAT
TT=1432.86

UNSAT
TT=1664.59

? (TO)
TT=1800.06

UNSAT
TT=46.945

? (TO)
TT=1800.61

UNSAT
TT=169.059

UNSAT
TT=48.821

UNSAT
TT=47.299

UNSAT
TT=46.821

UNSAT
TT=763.786

? (TO)
TT=1800.24

? (TO)
TT=1800.2

UNSAT
TT=755.273

? (TO)
TT=1800.02

?
TT=1767.8

normalized-PB06/SATUNSAT-SMALLINT/
web/uclid_pb_benchmarks/
normalized-ooo.tag8.ucl.opb
UNSAT
TT=0.538

? (TO)
TT=1800.12

UNSAT
TT=4.732

UNSAT
TT=4.524

? (TO)
TT=1800.07

UNSAT
TT=1.02

UNSAT
TT=92.808

UNSAT
TT=2.301

UNSAT
TT=1.388

UNSAT
TT=0.541

UNSAT
TT=0.538

UNSAT
TT=3.004

UNSAT
TT=71.594

UNSAT
TT=219.129

UNSAT
TT=6.787

? (TO)
TT=1800.11

?
TT=985.358

normalized-PB06/SATUNSAT-SMALLINT/
web/uclid_pb_benchmarks/
normalized-ooo.unbounded.all.ucl.opb
UNSAT
TT=419.445

?
TT=12.099

? (TO)
TT=1800.06

? (TO)
TT=1800.14

? (TO)
TT=1800.08

UNSAT
TT=419.445

? (TO)
TT=1800.18

? (TO)
TT=1800.08

UNSAT
TT=729.469

UNSAT
TT=1266.7

UNSAT
TT=1226.04

UNSAT
TT=784.144

? (TO)
TT=1800.37

? (TO)
TT=1800.2

UNSAT
TT=910.691

? (TO)
TT=1800.12

? (TO)
TT=1800.09

Some statistics...

absconPseudo
102
bsolo
3.0.16
bsolo
3.0.17
glpPB
0.2
minisat+
1.14
oree
0.1.2 alpha
PB-clasp
2007-03-23
PB-clasp
2007-04-10
PBS4
2007-03-23
PBS4_v2
2007-03-23
Pueblo
1.4
sat4jPseudoCP
2007-03-23
sat4jPseudoCPClause
2007-03-23
SAT4JPseudoResolution
2007-03-23
wildcat-rnp
2007-03-21
wildcat-skc
2007-03-21
Number of times the solver is able to give the best known answer10787836823563809191997373503636
Number of times the solver is able to give the best known answer from an incomplete solver point of view (i.e. without considering optimality proof)10787836823563809191997373503636
Number of times the solver is the best solver from a imes the solver is able to give the best known answer an00 class="goodresult">UNSAT
TT=2.146

82828280827878> 828299828282