SAT 2007 Competition Phase 2: results by benchmark

Results by benchmark for category industrial instances (INDUST)

This page displays the results of the different solvers for each benchmark for category industrial instances (INDUST)

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
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
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 gave a definitive answer (SAT or UNSAT)
textthe solver performed better than the other ones on that instance
textthe solver was ended by a signal
textthe solver gave an incomplete answer
textthe solver was disqualified in the category
textthe solver gave a wrong answer

For better readability, you may choose to hide some solvers:
CMUSAT 2007-02-08
minisat SAT 2007
MiraXT v3
MXC 2007-02-08
picosat 535
Rsat 2007-02-08
SAT7 2007-02-08
SATzilla CRAFTED
Siege V4
TiniSatELite 2007-02-08

Bench nameBest results
on this
instance		CMUSAT
2007-02-08		minisat
SAT 2007		MiraXT
v3		MXC
2007-02-08		picosat
535		Rsat
2007-02-08		SAT7
2007-02-08		SATzilla
CRAFTED		Siege
V4		TiniSatELite
2007-02-08
industrial/anbulagan/
hard-sat/
partial-10-11-s.cnf		 SAT
TT=4715.44

 SAT
TT=7574.91

 ? (MO)
TT=4291.37

 ? (TO)
TT=10000.4

 ? (TO)
TT=10000.2

 SAT
TT=4715.44

 ? (TO)
TT=10000

 ? (MO)
TT=7272.2

 ? (MO)
TT=4257.85

 SAT
TT=6181.12

 ? (MO)
TT=4428.42
industrial/anbulagan/
hard-sat/
partial-10-13-s.cnf		 SAT
TT=2488.38

 ? (MO)
TT=4961.91

 ? (MO)
TT=4204.43

 ? (MO)
TT=2799.28

 ? (TO)
TT=10000.3

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000

 ? (MO)
TT=7543.5

 ? (MO)
TT=3457.38

 SAT
TT=2488.38

 ? (MO)
TT=3888.18
industrial/anbulagan/
hard-sat/
partial-10-15-s.cnf		 SAT
TT=1843.31

 ? (MO)
TT=5662.38

 ? (MO)
TT=4019.53

 ? (MO)
TT=4821.8

 ? (TO)
TT=10000.3

 SAT
TT=1843.31

 ? (MO)
TT=7848.15

 ? (TO)
TT=10000.3

 ? (MO)
TT=4731.7

 SAT
TT=3774.16

 ? (MO)
TT=3816.61
industrial/anbulagan/
hard-sat/
partial-10-17-s.cnf		 SAT
TT=6657.8

 ? (MO)
TT=3084.21

 ? (MO)
TT=4003.87

 ? (MO)
TT=4831.84

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (MO)
TT=9653.92

 ? (MO)
TT=8041.45

 ? (MO)
TT=3742.19

 SAT
TT=6657.8

 ? (MO)
TT=3844.56
industrial/anbulagan/
hard-sat/
partial-10-19-s.cnf


? (MO)
TT=2503.39

 ? (MO)
TT=4196.1

 ? (MO)
TT=3773.26

 ? (TO)
TT=10000.3

 ? (TO)
TT=10000.1

 ? (MO)
TT=6431.23

 ? (MO)
TT=7963.19

 ? (MO)
TT=5157.01

 ? (TO)
TT=10000

 ? (MO)
TT=5513.62
industrial/anbulagan/
hard-sat/
partial-5-17-s.cnf		 SAT
TT=3766.93

 ? (MO)
TT=6382.29

 ? (MO)
TT=4452.06

 ? (MO)
TT=3912.96

 ? (TO)
TT=10000.3

 SAT
TT=3766.93

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.4

 ? (MO)
TT=4397.65

 ? (TO)
TT=10000

 ? (MO)
TT=4724.58
industrial/anbulagan/
hard-sat/
partial-5-19-s.cnf		 SAT
TT=1460.38

 ? (MO)
TT=3823.66

 ? (MO)
TT=4128.52

 ? (MO)
TT=1544.5

 ? (TO)
TT=10000.3

 SAT
TT=1460.38

 ? (MO)
TT=8423.5

 ? (TO)
TT=10000.3

 ? (MO)
TT=4240.24

 SAT
TT=3175.38

 ? (MO)
TT=4388.99
industrial/anbulagan/
hard-unsat/
dated-10-11-u.cnf		 UNSAT
TT=2352.91

 UNSAT
TT=9493.31

 UNSAT
TT=8203.46

 UNSAT
TT=7716.11

 UNSAT
TT=4782.04

 ? (TO)
TT=10000

 UNSAT
TT=7069.05

 ? (TO)
TT=10000.1

 ? (exit code)
TT=9998

 UNSAT
TT=2352.91

 ? (TO)
TT=10000.1
industrial/anbulagan/
hard-unsat/
dated-10-13-u.cnf		 UNSAT
TT=3104.62

 UNSAT
TT=3661.2

 UNSAT
TT=4949.23

 UNSAT
TT=4276.28

 UNSAT
TT=4528.25

 ? (TO)
TT=10000

 UNSAT
TT=3622.15

 UNSAT
TT=8260.32

 UNSAT
TT=6999.3

 UNSAT
TT=3104.62

 UNSAT
TT=7838.09
industrial/anbulagan/
hard-unsat/
dated-10-17-u.cnf


? (TO)
TT=10000.2

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000
Bench nameBest results
on this
instance		CMUSAT
2007-02-08		minisat
SAT 2007		MiraXT
v3		MXC
2007-02-08		picosat
535		Rsat
2007-02-08		SAT7
2007-02-08		SATzilla
CRAFTED		Siege
V4		TiniSatELite
2007-02-08
industrial/anbulagan/
hard-unsat/
dated-10-19-u.cnf


? (TO)
TT=10000.2

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.4

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000

 ? (TO)
TT=10000
industrial/anbulagan/
hard-unsat/
dated-5-13-u.cnf


? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.3

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000

 ? (TO)
TT=10000.1

 ? (exit code)
TT=9998.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000
industrial/anbulagan/
hard-unsat/
dated-5-15-u.cnf		 UNSAT
TT=987.102

 UNSAT
TT=2200.04

 UNSAT
TT=3704.85

 UNSAT
TT=1620.85

 UNSAT
TT=1465.53

 UNSAT
TT=3146.46

 UNSAT
TT=987.102

 UNSAT
TT=3604.4

 UNSAT
TT=2628.86

 UNSAT
TT=1180.52

 UNSAT
TT=4997
industrial/anbulagan/
hard-unsat/
dated-5-17-u.cnf		 UNSAT
TT=1815.91

 UNSAT
TT=5120.42

 UNSAT
TT=5096.5

 ? (TO)
TT=10000.4

 UNSAT
TT=2501.15

 UNSAT
TT=3522.63

 UNSAT
TT=1815.91

 UNSAT
TT=6858.17

 UNSAT
TT=2664.25

 UNSAT
TT=1988.75

 UNSAT
TT=8853.81
industrial/anbulagan/
hard-unsat/
dated-5-19-u.cnf


? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1
industrial/anbulagan/
hard-unsat/
partial-10-11-u.cnf


? (MO)
TT=7343.29

 ? (MO)
TT=4527.85

 ? (TO)
TT=10000.5

 ? (TO)
TT=10000.3

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (MO)
TT=6488.87

 ? (MO)
TT=4521.42

 ? (TO)
TT=10000.1

 ? (MO)
TT=4439.96
industrial/anbulagan/
hard-unsat/
partial-10-13-u.cnf


? (MO)
TT=5458.83

 ? (MO)
TT=3908.54

 ? (MO)
TT=2858.57

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (MO)
TT=6561.7

 ? (MO)
TT=3915.78

 ? (TO)
TT=10000.1

 ? (MO)
TT=4600.98
industrial/anbulagan/
hard-unsat/
partial-10-15-u.cnf


? (MO)
TT=7643.95

 ? (MO)
TT=4032.91

 ? (MO)
TT=3129.55

 ? (TO)
TT=10000.3

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (MO)
TT=9079.86

 ? (MO)
TT=4425.29

 ? (TO)
TT=10000

 ? (MO)
TT=4304.53
industrial/anbulagan/
hard-unsat/
partial-10-17-u.cnf


? (MO)
TT=4895.57

 ? (MO)
TT=4184.01

 ? (MO)
TT=3427.16

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000

 ? (MO)
TT=8032.53

 ? (MO)
TT=3849.28

 ? (TO)
TT=10000.1

 ? (MO)
TT=4477.48
industrial/anbulagan/
hard-unsat/
partial-10-19-u.cnf


? (MO)
TT=4858.95

 ? (MO)
TT=4090.48

 ? (MO)
TT=1518.39

 ? (TO)
TT=10000.3

 ? (TO)
TT=10000.2

 ? (MO)
TT=6823.07

 ? (MO)
TT=8739.7

 ? (MO)
TT=6187.81

 ? (TO)
TT=10000.1

 ? (MO)
TT=2847.39
Bench nameBest results
on this
instance		CMUSAT
2007-02-08		minisat
SAT 2007		MiraXT
v3		MXC
2007-02-08		picosat
535		Rsat
2007-02-08		SAT7
2007-02-08		SATzilla
CRAFTED		Siege
V4		TiniSatELite
2007-02-08
industrial/anbulagan/
hard-unsat/
partial-5-11-u.cnf


? (MO)
TT=9322.11

 ? (MO)
TT=5572.1

 ? (MO)
TT=4247.09

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (MO)
TT=9364.47

 ? (MO)
TT=4612.2

 ? (TO)
TT=10000.1

 ? (MO)
TT=6147.9
industrial/anbulagan/
hard-unsat/
partial-5-13-u.cnf


? (MO)
TT=6486.65

 ? (MO)
TT=4441.36

 ? (MO)
TT=2917.05

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000

 ? (MO)
TT=7353.7

 ? (MO)
TT=4368.95

 ? (TO)
TT=10000.1

 ? (MO)
TT=3556.09
industrial/anbulagan/
hard-unsat/
partial-5-15-u.cnf


? (MO)
TT=5079.67

 ? (MO)
TT=3757.13

 ? (MO)
TT=3266.14

 ? (TO)
TT=10000.3

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (MO)
TT=7839.89

 ? (MO)
TT=4274.63

 ? (TO)
TT=10000

 ? (MO)
TT=3716.91
industrial/anbulagan/
hard-unsat/
partial-5-17-u.cnf


? (MO)
TT=9706.46

 ? (MO)
TT=3855.01

 ? (MO)
TT=2637.22

 ? (TO)
TT=10000.3

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000

 ? (MO)
TT=8185.93

 ? (MO)
TT=4796.64

 ? (TO)
TT=10000

 ? (MO)
TT=4673.26
industrial/anbulagan/
hard-unsat/
partial-5-19-u.cnf


? (MO)
TT=5379.84

 ? (MO)
TT=4142.64

 ? (MO)
TT=1135.28

 ? (TO)
TT=10000.3

 ? (TO)
TT=10000.2

 ? (MO)
TT=8893.77

 ? (MO)
TT=7625.21

 ? (MO)
TT=4515.95

 ? (TO)
TT=10000

 ? (MO)
TT=3883.32
industrial/anbulagan/
hard-unsat/
total-10-15-u.cnf


? (MO)
TT=5833.14

 ? (TO)
TT=10000.3

 ? (MO)
TT=2141.87

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.3

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000

 ? (MO)
TT=5492.71
industrial/anbulagan/
hard-unsat/
total-10-17-u.cnf


? (TO)
TT=10000.3

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.3

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000
industrial/anbulagan/
hard-unsat/
total-10-19-u.cnf


? (TO)
TT=10000.3

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.3

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000

 ? (TO)
TT=10000
industrial/anbulagan/
hard-unsat/
total-5-15-u.cnf


? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000

 ? (TO)
TT=10000
industrial/anbulagan/
hard-unsat/
total-5-17-u.cnf


? (TO)
TT=10000.2

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000

 ? (TO)
TT=10000

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000
Bench nameBest results
on this
instance		CMUSAT
2007-02-08		minisat
SAT 2007		MiraXT
v3		MXC
2007-02-08		picosat
535		Rsat
2007-02-08		SAT7
2007-02-08		SATzilla
CRAFTED		Siege
V4		TiniSatELite
2007-02-08
industrial/anbulagan/
hard-unsat/
total-5-19-u.cnf


? (TO)
TT=10000.1

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.4

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000

 ? (TO)
TT=10000
industrial/anbulagan/
medium-sat/
dated-10-13-s.cnf		 SAT
TT=19.012

 SAT
TT=590.049

 SAT
TT=6804.33

 SAT
TT=80.806

 SAT
TT=999.612

 SAT
TT=27.879

 SAT
TT=44.815

 SAT
TT=383.912

 SAT
TT=1008.84

 SAT
TT=22.171

 SAT
TT=19.012
industrial/anbulagan/
medium-sat/
dated-10-17-s.cnf		 SAT
TT=15.826

 SAT
TT=26.157

 SAT
TT=8785.39

 SAT
TT=139.264

 SAT
TT=5891.67

 SAT
TT=49.217

 SAT
TT=31.303

 SAT
TT=3034.15

 SAT
TT=7097.56

 SAT
TT=18.198

 SAT
TT=15.826
industrial/anbulagan/
medium-sat/
partial-5-11-s.cnf		 SAT
TT=238.128

 ? (MO)
TT=7887.07

 ? (MO)
TT=4492.89

 SAT
TT=478.238

 ? (TO)
TT=10000.2

 SAT
TT=520.252

 SAT
TT=2174.6

 ? (MO)
TT=8680.91

 ? (MO)
TT=4667.11

 SAT
TT=238.128

 SAT
TT=1668.8
industrial/anbulagan/
medium-sat/
partial-5-13-s.cnf		 SAT
TT=63.888

 SAT
TT=326.946

 ? (MO)
TT=3893.83

 SAT
TT=63.888

 ? (TO)
TT=10000.2

 SAT
TT=693.827

 SAT
TT=1365.53

 ? (MO)
TT=7114.38

 SAT
TT=86.801

 SAT
TT=440.876

 SAT
TT=81.922
industrial/anbulagan/
medium-sat/
partial-5-15-s.cnf		 SAT
TT=464.515

 ? (MO)
TT=6423.81

 ? (MO)
TT=4234.29

 SAT
TT=464.515

 ? (TO)
TT=10000.2

 SAT
TT=668.12

 SAT
TT=3333.92

 ? (MO)
TT=6830.36

 ? (MO)
TT=4413.35

 SAT
TT=4349.12

 ? (MO)
TT=4265.75
industrial/anbulagan/
medium-sat/
total-10-15-s.cnf		 SAT
TT=27.118

 SAT
TT=48.391

 ? (TO)
TT=10000.3

 SAT
TT=109.328

 ? (TO)
TT=10000.2

 SAT
TT=120.098

 SAT
TT=1887.53

 ? (TO)
TT=10000.2

 ? (MO)
TT=8391.74

 SAT
TT=27.118

 SAT
TT=110.489
industrial/anbulagan/
medium-sat/
total-10-17-s.cnf		 SAT
TT=17.538

 SAT
TT=183.225

 SAT
TT=1350.22

 SAT
TT=139.144

 ? (TO)
TT=10000.1

 SAT
TT=68.906

 SAT
TT=389.45

 SAT
TT=3944.77

 SAT
TT=2870.52

 SAT
TT=107.333

 SAT
TT=17.538
industrial/anbulagan/
medium-sat/
total-10-19-s.cnf		 SAT
TT=21.582

 SAT
TT=86.156

 ? (TO)
TT=10000.3

 SAT
TT=170.284

 SAT
TT=187.231

 SAT
TT=191.059

 SAT
TT=4247.81

 SAT
TT=2819.31

 SAT
TT=1378.99

 SAT
TT=21.582

 SAT
TT=32.687
industrial/anbulagan/
medium-sat/
total-5-17-s.cnf		 SAT
TT=14.368

 SAT
TT=27.797

 SAT
TT=125.605

 SAT
TT=183.21

 SAT
TT=1608.71

 SAT
TT=21.677

 SAT
TT=76.02

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 SAT
TT=14.368

 SAT
TT=58.229
Bench nameBest results
on this
instance		CMUSAT
2007-02-08		minisat
SAT 2007		MiraXT
v3		MXC
2007-02-08		picosat
535		Rsat
2007-02-08		SAT7
2007-02-08		SATzilla
CRAFTED		Siege
V4		TiniSatELite
2007-02-08
industrial/anbulagan/
medium-sat/
total-5-19-s.cnf		 SAT
TT=65.211

 SAT
TT=120.576

 ? (TO)
TT=10000.2

 SAT
TT=178.358

 SAT
TT=4276.02

 SAT
TT=75.384

 SAT
TT=133.931

 SAT
TT=4481.77

 SAT
TT=107.798

 SAT
TT=84.116

 SAT
TT=65.211
industrial/anbulagan/
medium-unsat/
dated-10-15-u.cnf		 UNSAT
TT=18.563

 UNSAT
TT=51.622

 UNSAT
TT=36.286

 UNSAT
TT=180.2

 UNSAT
TT=50.964

 UNSAT
TT=134.451

 UNSAT
TT=18.563

 UNSAT
TT=107.365

 UNSAT
TT=125.714

 UNSAT
TT=40.084

 UNSAT
TT=33.673
industrial/anbulagan/
medium-unsat/
dated-5-11-u.cnf		 UNSAT
TT=149.063

 UNSAT
TT=301.425

 UNSAT
TT=180.834

 UNSAT
TT=650.713

 UNSAT
TT=317.644

 UNSAT
TT=293.862

 UNSAT
TT=185.746

 UNSAT
TT=447.254

 UNSAT
TT=194.883

 UNSAT
TT=149.063

 UNSAT
TT=300.384
industrial/anbulagan/
medium-unsat/
total-10-11-u.cnf		 UNSAT
TT=74.915

 UNSAT
TT=83.055

 UNSAT
TT=74.915

 UNSAT
TT=323.692

 UNSAT
TT=171.713

 UNSAT
TT=427.776

 UNSAT
TT=80.341

 UNSAT
TT=274.642

 UNSAT
TT=246.566

 UNSAT
TT=93.212

 UNSAT
TT=81.838
industrial/anbulagan/
medium-unsat/
total-10-13-u.cnf		 UNSAT
TT=1183.4

 UNSAT
TT=6066.9

 UNSAT
TT=4699.29

 ? (TO)
TT=10000.3

 UNSAT
TT=4120.9

 ? (TO)
TT=10000.1

 UNSAT
TT=2817.69

 UNSAT
TT=6191.2

 UNSAT
TT=5507.48

 UNSAT
TT=1183.4

 UNSAT
TT=4918.98
industrial/anbulagan/
medium-unsat/
total-5-11-u.cnf		 UNSAT
TT=21.29

 UNSAT
TT=41.161

 UNSAT
TT=24.386

 UNSAT
TT=100.85

 UNSAT
TT=24.483

 UNSAT
TT=75.915

 UNSAT
TT=32.763

 UNSAT
TT=74.281

 UNSAT
TT=117.171

 UNSAT
TT=29.455

 UNSAT
TT=21.29
industrial/anbulagan/
medium-unsat/
total-5-13-u.cnf		 UNSAT
TT=74.88

 UNSAT
TT=157.128

 UNSAT
TT=97.934

 UNSAT
TT=156.56

 UNSAT
TT=137.703

 UNSAT
TT=200.444

 UNSAT
TT=74.88

 UNSAT
TT=196.905

 UNSAT
TT=187.186

 UNSAT
TT=81.78

 UNSAT
TT=88.644
industrial/babic/
dspam/
dspam_dump_vc1080.cnf		 UNSAT
TT=0.488

 UNSAT
TT=1.96

 UNSAT
TT=1.211

 UNSAT
TT=1.311

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 UNSAT
TT=2.779

 ? (TO)
TT=10000.2

 UNSAT
TT=96.811

 UNSAT
TT=0.488

 UNSAT
TT=2.78
industrial/babic/
dspam/
dspam_dump_vc1081.cnf		 UNSAT
TT=1.204

 UNSAT
TT=1.965

 UNSAT
TT=1.204

 UNSAT
TT=1.314

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 UNSAT
TT=2.815

 ? (TO)
TT=10000.1

 UNSAT
TT=3356.52

 UNSAT
TT=7.815

 UNSAT
TT=2.802
industrial/babic/
dspam/
dspam_dump_vc1093.cnf		 UNSAT
TT=1.086

 UNSAT
TT=1.446

 UNSAT
TT=1.086

 UNSAT
TT=1.19

 ? (TO)
TT=10000.1

 UNSAT
TT=1739.67

 UNSAT
TT=2.525

 ? (TO)
TT=10000.1

 UNSAT
TT=81.374

 UNSAT
TT=34.154

 UNSAT
TT=2.391
Bench nameBest results
on this
instance		CMUSAT
2007-02-08		minisat
SAT 2007		MiraXT
v3		MXC
2007-02-08		picosat
535		Rsat
2007-02-08		SAT7
2007-02-08		SATzilla
CRAFTED		Siege
V4		TiniSatELite
2007-02-08
industrial/babic/
dspam/
dspam_dump_vc1103.cnf		 UNSAT
TT=2.74

 UNSAT
TT=4.681

 UNSAT
TT=2.74

 UNSAT
TT=2.948

 ? (TO)
TT=10000.2

 UNSAT
TT=2941.37

 UNSAT
TT=5.985

 ? (TO)
TT=10000.2

 UNSAT
TT=9224.73

 UNSAT
TT=27.893

 UNSAT
TT=5.659
industrial/babic/
dspam/
dspam_dump_vc1104.cnf		 UNSAT
TT=2.714

 UNSAT
TT=4.629

 UNSAT
TT=2.714

 UNSAT
TT=2.936

 ? (TO)
TT=10000.2

 UNSAT
TT=472.117

 UNSAT
TT=46.623

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 UNSAT
TT=21.688

 UNSAT
TT=8.284
industrial/babic/
dspam/
dspam_dump_vc949.cnf		 UNSAT
TT=0.977

 UNSAT
TT=1.847

 UNSAT
TT=1.082

 UNSAT
TT=1.107

 UNSAT
TT=0.977

 UNSAT
TT=609.087

 UNSAT
TT=2.424

 UNSAT
TT=4988.02

 UNSAT
TT=115.758

 UNSAT
TT=1.425

 UNSAT
TT=2.268
industrial/babic/
dspam/
dspam_dump_vc950.cnf		 UNSAT
TT=1.079

 UNSAT
TT=1.833

 UNSAT
TT=1.079

 UNSAT
TT=1.167

 UNSAT
TT=2.139

 UNSAT
TT=1269.07

 UNSAT
TT=2.405

 ? (TO)
TT=10000.2

 UNSAT
TT=116.68

 UNSAT
TT=1.636

 UNSAT
TT=2.355
industrial/babic/
dspam/
dspam_dump_vc962.cnf		 UNSAT
TT=0.971

 UNSAT
TT=1.698

 UNSAT
TT=0.971

 UNSAT
TT=1.059

 UNSAT
TT=5437.4

 UNSAT
TT=3.534

 UNSAT
TT=2.023

 ? (TO)
TT=10000.1

 UNSAT
TT=58.506

 UNSAT
TT=3.931

 UNSAT
TT=2.159
industrial/babic/
dspam/
dspam_dump_vc972.cnf		 UNSAT
TT=2.586

 UNSAT
TT=4.589

 UNSAT
TT=2.586

 UNSAT
TT=2.778

 UNSAT
TT=49.743

 UNSAT
TT=321.13

 UNSAT
TT=8.616

 ? (TO)
TT=10000.2

 ?
TT=9998.51

 UNSAT
TT=50.272

 UNSAT
TT=7.498
industrial/babic/
dspam/
dspam_dump_vc973.cnf		 UNSAT
TT=2.587

 UNSAT
TT=4.576

 UNSAT
TT=2.587

 UNSAT
TT=2.767

 ? (TO)
TT=10000.1

 UNSAT
TT=996.932

 UNSAT
TT=5.168

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 UNSAT
TT=13.109

 UNSAT
TT=5.211
industrial/babic/
hsatv17/
hsat_vc11773.cnf		 UNSAT
TT=1.764

 UNSAT
TT=2.674

 UNSAT
TT=1.764

 UNSAT
TT=1.92

 UNSAT
TT=6.294

 UNSAT
TT=6.197

 UNSAT
TT=8.814

 UNSAT
TT=15.37

 UNSAT
TT=71.469

 UNSAT
TT=108.34

 UNSAT
TT=8.254
industrial/babic/
hsatv17/
hsat_vc11803.cnf		 UNSAT
TT=1.771

 UNSAT
TT=2.34

 UNSAT
TT=1.771

 UNSAT
TT=1.816

 UNSAT
TT=33.713

 UNSAT
TT=7.504

 UNSAT
TT=9.987

 UNSAT
TT=12.9

 UNSAT
TT=71.478

 UNSAT
TT=156.199

 UNSAT
TT=9.425
industrial/babic/
hsatv17/
hsat_vc11813.cnf		 UNSAT
TT=2.641

 UNSAT
TT=3.783

 UNSAT
TT=2.641

 UNSAT
TT=2.909

 UNSAT
TT=44.513

 UNSAT
TT=20.213

 UNSAT
TT=14.209

 UNSAT
TT=12.321

 UNSAT
TT=74.037

 UNSAT
TT=150.3

 UNSAT
TT=13.45
Bench nameBest results
on this
instance		CMUSAT
2007-02-08		minisat
SAT 2007		MiraXT
v3		MXC
2007-02-08		picosat
535		Rsat
2007-02-08		SAT7
2007-02-08		SATzilla
CRAFTED		Siege
V4		TiniSatELite
2007-02-08
industrial/babic/
hsatv17/
hsat_vc11817.cnf		 UNSAT
TT=1.798

 UNSAT
TT=3.021

 UNSAT
TT=1.798

 UNSAT
TT=1.967

 UNSAT
TT=6.075

 UNSAT
TT=8.162

 UNSAT
TT=8.827

 UNSAT
TT=10.339

 UNSAT
TT=80.589

 UNSAT
TT=107.233

 UNSAT
TT=8.842
industrial/babic/
hsatv17/
hsat_vc11935.cnf		 UNSAT
TT=1.027

 UNSAT
TT=1.407

 UNSAT
TT=1.027

 UNSAT
TT=1.13

 UNSAT
TT=3.185

 UNSAT
TT=6.257

 UNSAT
TT=3.918

 UNSAT
TT=10.364

 UNSAT
TT=71.131

 UNSAT
TT=38.886

 UNSAT
TT=3.887
industrial/babic/
hsatv17/
hsat_vc11944.cnf		 UNSAT
TT=1.06

 UNSAT
TT=1.868

 UNSAT
TT=1.06

 UNSAT
TT=1.143

 UNSAT
TT=4.702

 UNSAT
TT=7.214

 UNSAT
TT=3.965

 UNSAT
TT=5.651

 UNSAT
TT=69.479

 UNSAT
TT=77.984

 UNSAT
TT=3.702
industrial/babic/
hsatv17/
hsat_vc12016.cnf		 UNSAT
TT=1.216

 UNSAT
TT=1.803

 UNSAT
TT=1.216

 UNSAT
TT=1.31

 UNSAT
TT=8.001

 UNSAT
TT=4.111

 UNSAT
TT=4.144

 UNSAT
TT=9.824

 UNSAT
TT=73.082

 UNSAT
TT=94.287

 UNSAT
TT=4.088
industrial/babic/
hsatv17/
hsat_vc12062.cnf		 UNSAT
TT=1.257

 UNSAT
TT=2.03

 UNSAT
TT=1.257

 UNSAT
TT=1.307

 UNSAT
TT=9.702

 UNSAT
TT=16.374

 UNSAT
TT=5.483

 UNSAT
TT=6.305

 UNSAT
TT=74.03

 UNSAT
TT=83.869

 UNSAT
TT=5.183
industrial/babic/
hsatv17/
hsat_vc12070.cnf		 UNSAT
TT=1.248

 UNSAT
TT=2.157

 UNSAT
TT=1.248

 UNSAT
TT=1.36

 UNSAT
TT=4.566

 UNSAT
TT=5.575

 UNSAT
TT=5.494

 UNSAT
TT=6.604

 UNSAT
TT=71.983

 UNSAT
TT=97.77

 UNSAT
TT=5.448
industrial/babic/
hsatv17/
hsat_vc12072.cnf		 UNSAT
TT=1.782

 UNSAT
TT=2.957

 UNSAT
TT=1.782

 UNSAT
TT=1.932

 UNSAT
TT=2.235

 UNSAT
TT=34.412

 UNSAT
TT=7.873

 UNSAT
TT=5.211

 UNSAT
TT=72.279

 UNSAT
TT=99.164

 UNSAT
TT=7.854
industrial/babic/
xinetd/
itox_vc1033.cnf		 SAT
TT=4.3

 SAT
TT=5.151

 SAT
TT=4.3

 SAT
TT=4.575

 SAT
TT=80.659

 SAT
TT=11.65

 SAT
TT=7.037

 SAT
TT=68.152

 No Cert.
TT=180.462

 SAT
TT=119.305

 SAT
TT=6.422
industrial/babic/
xinetd/
itox_vc1044.cnf		 SAT
TT=4.957

 SAT
TT=5.687

 SAT
TT=5.833

 SAT
TT=4.957

 SAT
TT=63.639

 SAT
TT=21.968

 SAT
TT=7.13

 SAT
TT=13.193

 No Cert.
TT=1769.61

 SAT
TT=145.368

 SAT
TT=7.132
industrial/babic/
xinetd/
itox_vc1130.cnf		 SAT
TT=5.667

 SAT
TT=6.604

 SAT
TT=5.667

 SAT
TT=6.049

 ? (TO)
TT=10000.1

 SAT
TT=23.635

 SAT
TT=8.821

 SAT
TT=375.187

 SAT
TT=310.324

 SAT
TT=210.159

 SAT
TT=7.656
Bench nameBest results
on this
instance		CMUSAT
2007-02-08		minisat
SAT 2007		MiraXT
v3		MXC
2007-02-08		picosat
535		Rsat
2007-02-08		SAT7
2007-02-08		SATzilla
CRAFTED		Siege
V4		TiniSatELite
2007-02-08
industrial/babic/
xinetd/
itox_vc1138.cnf		 SAT
TT=5.681

 SAT
TT=7.163

 SAT
TT=5.681

 SAT
TT=6.358

 SAT
TT=123.426

 SAT
TT=9.682

 SAT
TT=7.857

 SAT
TT=136.811

 SAT
TT=230.568

 SAT
TT=256.803

 SAT
TT=7.727
industrial/babic/
xinetd/
itox_vc1216.cnf		 UNSAT
TT=0.342

 UNSAT
TT=1.229

 UNSAT
TT=0.701

 UNSAT
TT=0.748

 UNSAT
TT=0.342

 UNSAT
TT=3.583

 UNSAT
TT=5.311

 UNSAT
TT=2.093

 UNSAT
TT=71.06

 UNSAT
TT=0.802

 UNSAT
TT=5
industrial/
babic/xinetd/
itox_vc909.cnf		 SAT
TT=4.447

 SAT
TT=4.937

 SAT
TT=4.577

 SAT
TT=4.447

 SAT
TT=120.831

 SAT
TT=6.471

 SAT
TT=5.781

 SAT
TT=260.424

 No Cert.
TT=200.244

 SAT
TT=136.755

 SAT
TT=5.945
industrial/
babic/xinetd/
itox_vc965.cnf		 UNSAT
TT=0.232

 UNSAT
TT=0.404

 UNSAT
TT=0.396

 UNSAT
TT=0.502

 UNSAT
TT=0.232

 UNSAT
TT=2.78

 UNSAT
TT=0.399

 UNSAT
TT=1.586

 UNSAT
TT=0.595

 UNSAT
TT=0.262

 UNSAT
TT=0.365
industrial/
babic/xinetd/
itox_vc979.cnf		 UNSAT
TT=0.263

 UNSAT
TT=1.13

 UNSAT
TT=0.65

 UNSAT
TT=0.711

 UNSAT
TT=0.263

 UNSAT
TT=2.816

 UNSAT
TT=4.076

 UNSAT
TT=1.574

 UNSAT
TT=71.257

 UNSAT
TT=0.281

 UNSAT
TT=4.143
industrial/babic/
xinetd/
xinetd_vc56687.cnf		 UNSAT
TT=0.195

 UNSAT
TT=0.332

 UNSAT
TT=0.327

 UNSAT
TT=0.408

 UNSAT
TT=0.195

 UNSAT
TT=2.171

 UNSAT
TT=0.344

 UNSAT
TT=1.311

 UNSAT
TT=0.491

 UNSAT
TT=0.238

 UNSAT
TT=0.333
industrial/babic/
xinetd/
xinetd_vc56703.cnf		 UNSAT
TT=0.195

 UNSAT
TT=0.335

 UNSAT
TT=0.324

 UNSAT
TT=0.409

 UNSAT
TT=0.195

 UNSAT
TT=2.23

 UNSAT
TT=0.348

 UNSAT
TT=1.306

 UNSAT
TT=0.496

 UNSAT
TT=0.233

 UNSAT
TT=0.32
industrial/
crypto/
mizh-md5-47-3.cnf		 SAT
TT=173.559

 SAT
TT=402.605

 SAT
TT=880.747

 SAT
TT=549.316

 SAT
TT=173.559

 SAT
TT=2749.42

 SAT
TT=426.498

 SAT
TT=1782.7

 SAT
TT=441.049

 SAT
TT=5643.82

 SAT
TT=1769.55
industrial/
crypto/
mizh-md5-47-4.cnf		 SAT
TT=116.919

 SAT
TT=2153.95

 SAT
TT=577.493

 SAT
TT=465.243

 SAT
TT=116.919

 SAT
TT=694.14

 SAT
TT=1092.85

 SAT
TT=4795.62

 SAT
TT=1173.16

 SAT
TT=3689.34

 SAT
TT=2507.76
industrial/
crypto/
mizh-md5-47-5.cnf		 SAT
TT=144.751

 SAT
TT=1437.71

 SAT
TT=426.06

 SAT
TT=278.751

 SAT
TT=144.751

 SAT
TT=739.193

 SAT
TT=1395.24

 SAT
TT=2793

 SAT
TT=168.194

 SAT
TT=1290.37

 SAT
TT=197.693
Bench nameBest results
on this
instance		CMUSAT
2007-02-08		minisat
SAT 2007		MiraXT
v3		MXC
2007-02-08		picosat
535		Rsat
2007-02-08		SAT7
2007-02-08		SATzilla
CRAFTED		Siege
V4		TiniSatELite
2007-02-08
industrial/
crypto/
mizh-md5-48-2.cnf		 SAT
TT=161.061

 SAT
TT=2707.2

 SAT
TT=492.614

 SAT
TT=340.678

 SAT
TT=161.061

 SAT
TT=992.856

 SAT
TT=691.123

 SAT
TT=162.202

 SAT
TT=1358.27

 SAT
TT=3542.89

 SAT
TT=6853.36
industrial/
crypto/
mizh-md5-48-5.cnf		 SAT
TT=307.261

 SAT
TT=1363.04

 SAT
TT=4759.37

 SAT
TT=307.261

 SAT
TT=403.38

 SAT
TT=6172.18

 SAT
TT=512.732

 SAT
TT=1060.86

 SAT
TT=3627.77

 SAT
TT=3233.11

 SAT
TT=453.359
industrial/
crypto/
mizh-sha0-35-2.cnf		 SAT
TT=58.966

 SAT
TT=831.067

 SAT
TT=58.966

 SAT
TT=85.937

 SAT
TT=92.917

 SAT
TT=212.115

 SAT
TT=188.833

 SAT
TT=1110.96

 SAT
TT=217.154

 SAT
TT=189.239

 SAT
TT=729.864
industrial/
crypto/
mizh-sha0-35-3.cnf		 SAT
TT=41.063

 SAT
TT=143.765

 SAT
TT=1637.21

 SAT
TT=76.433

 SAT
TT=261.775

 SAT
TT=326.636

 SAT
TT=41.063

 SAT
TT=2002.97

 SAT
TT=62.852

 SAT
TT=651.39

 SAT
TT=809.234
industrial/
crypto/
mizh-sha0-35-4.cnf		 SAT
TT=129.64

 SAT
TT=168.722

 SAT
TT=864.638

 SAT
TT=203.191

 SAT
TT=129.64

 SAT
TT=179.428

 SAT
TT=340.184

 SAT
TT=701.093

 SAT
TT=656.909

 SAT
TT=352.031

 SAT
TT=633.876
industrial/
crypto/
mizh-sha0-35-5.cnf		 SAT
TT=143.815

 SAT
TT=886.384

 SAT
TT=632.973

 SAT
TT=174.849

 SAT
TT=199.955

 SAT
TT=268.522

 SAT
TT=143.815

 SAT
TT=381.882

 SAT
TT=188.063

 SAT
TT=595.907

 SAT
TT=571.321
industrial/
crypto/
mizh-sha0-36-2.cnf		 SAT
TT=277.166

 SAT
TT=1431.04

 SAT
TT=8531.55

 ? (TO)
TT=10000.1

 SAT
TT=929.642

 SAT
TT=374.891

 SAT
TT=277.166

 ? (TO)
TT=10000.2

 SAT
TT=4999.24

 SAT
TT=6589.16

 SAT
TT=3123.45
industrial/
fuhs/hard/
AProVE07-01.cnf


? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (exit code)
TT=9997.75

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1
industrial/
fuhs/hard/
AProVE07-03.cnf		 UNSAT
TT=1184.2

 UNSAT
TT=7393.91

 UNSAT
TT=1184.2

 UNSAT
TT=7323.94

 UNSAT
TT=1757.45

 ? (TO)
TT=10000

 ? (TO)
TT=10000

 UNSAT
TT=3823.13

 ? (exit code)
TT=9998.2

 ? (TO)
TT=10000

 ? (TO)
TT=10000
industrial/
fuhs/hard/
AProVE07-08.cnf		 UNSAT
TT=1847.13

 ? (TO)
TT=10000.1

 UNSAT
TT=1847.13

 UNSAT
TT=4499.96

 UNSAT
TT=2232.91

 ? (TO)
TT=10000.1

 UNSAT
TT=6547.74

 UNSAT
TT=5888.29

 ? (exit code)
TT=9998.3

 ? (TO)
TT=10000

 ? (TO)
TT=10000.1
Bench nameBest results
on this
instance		CMUSAT
2007-02-08		minisat
SAT 2007		MiraXT
v3		MXC
2007-02-08		picosat
535		Rsat
2007-02-08		SAT7
2007-02-08		SATzilla
CRAFTED		Siege
V4		TiniSatELite
2007-02-08
industrial/
fuhs/hard/
AProVE07-25.cnf


? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000

 ? (TO)
TT=10000.1

 ? (exit code)
TT=9998.08

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1
industrial/
fuhs/hard/
AProVE07-26.cnf


? (TO)
TT=10000.3

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (exit code)
TT=9997.91

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1
industrial/
fuhs/hard/
AProVE07-27.cnf		 UNSAT
TT=3688.57

 UNSAT
TT=9969.44

 UNSAT
TT=3688.57

 ? (TO)
TT=10000.1

 UNSAT
TT=6269.45

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000

 ? (TO)
TT=10000.1

 UNSAT
TT=5697.24

 ? (TO)
TT=10000

 ? (TO)
TT=10000
industrial/
fuhs/medium/
AProVE07-02.cnf		 UNSAT
TT=662.346

 UNSAT
TT=1437.5

 UNSAT
TT=662.346

 UNSAT
TT=1353.37

 UNSAT
TT=1054.66

 ? (TO)
TT=10000

 UNSAT
TT=4562.14

 UNSAT
TT=4340.31

 UNSAT
TT=800.109

 ? (TO)
TT=10000

 UNSAT
TT=3349.2
industrial/
fuhs/medium/
AProVE07-04.cnf		 UNSAT
TT=116.4

 UNSAT
TT=278.293

 UNSAT
TT=116.4

 UNSAT
TT=269.54

 UNSAT
TT=280.079

 UNSAT
TT=772.237

 UNSAT
TT=288.097

 UNSAT
TT=802.056

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000

 UNSAT
TT=1246.83
industrial/
fuhs/medium/
AProVE07-06.cnf		 UNSAT
TT=178.624

 UNSAT
TT=178.624

 UNSAT
TT=448.958

 UNSAT
TT=423.39

 UNSAT
TT=491.725

 UNSAT
TT=288.172

 UNSAT
TT=319.383

 UNSAT
TT=871.19

 ? (TO)
TT=10000.1

 UNSAT
TT=1177.78

 UNSAT
TT=839.581
industrial/
fuhs/medium/
AProVE07-09.cnf		 UNSAT
TT=1440.96

 UNSAT
TT=1440.96

 UNSAT
TT=3805.13

 UNSAT
TT=1469.49

 ? (TO)
TT=10000.1

 UNSAT
TT=5634.52

 UNSAT
TT=4896.68

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 UNSAT
TT=7097.35

 ? (TO)
TT=10000
industrial/
fuhs/medium/
AProVE07-11.cnf		 SAT
TT=109.125

 SAT
TT=1391.96

 SAT
TT=109.125

 ? (MO)
TT=5.792

 SAT
TT=259.841

 SAT
TT=570.092

 SAT
TT=162.642

 SAT
TT=200.677

 SAT
TT=802.57

 ?
TT=0.005

 SAT
TT=172.167
industrial/
fuhs/medium/
AProVE07-15.cnf		 UNSAT
TT=68.654

 UNSAT
TT=68.654

 UNSAT
TT=165.758

 UNSAT
TT=280.678

 UNSAT
TT=297.04

 UNSAT
TT=121.14

 UNSAT
TT=97.93

 UNSAT
TT=872.221

 UNSAT
TT=150.539

 UNSAT
TT=199.279

 UNSAT
TT=252.881
industrial/
fuhs/medium/
AProVE07-16.cnf		 UNSAT
TT=411.6

 UNSAT
TT=411.6

 UNSAT
TT=1743.72

 UNSAT
TT=915.009

 UNSAT
TT=2625.63

 UNSAT
TT=1274.51

 UNSAT
TT=1427.64

 UNSAT
TT=4357.57

 UNSAT
TT=2163.63

 UNSAT
TT=633.28

 UNSAT
TT=732.592
Bench nameBest results
on this
instance		CMUSAT
2007-02-08		minisat
SAT 2007		MiraXT
v3		MXC
2007-02-08		picosat
535		Rsat
2007-02-08		SAT7
2007-02-08		SATzilla
CRAFTED		Siege
V4		TiniSatELite
2007-02-08
industrial/
fuhs/medium/
AProVE07-20.cnf		 UNSAT
TT=213.945

 UNSAT
TT=510.16

 UNSAT
TT=213.945

 UNSAT
TT=412.965

 UNSAT
TT=328.513

 UNSAT
TT=465.737

 UNSAT
TT=733.899

 UNSAT
TT=988.157

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 UNSAT
TT=1283.41
industrial/
fuhs/medium/
AProVE07-21.cnf		 UNSAT
TT=542.475

 UNSAT
TT=542.475

 UNSAT
TT=868.01

 UNSAT
TT=1985.81

 UNSAT
TT=1020.98

 UNSAT
TT=2297.73

 UNSAT
TT=2101.84

 UNSAT
TT=1622.6

 ? (exit code)
TT=9998.31

 UNSAT
TT=1860.76

 UNSAT
TT=3854.48
industrial/
fuhs/medium/
AProVE07-22.cnf		 UNSAT
TT=83.086

 UNSAT
TT=106.251

 UNSAT
TT=124.636

 UNSAT
TT=108.298

 UNSAT
TT=260.17

 UNSAT
TT=119.169

 UNSAT
TT=203.012

 UNSAT
TT=448.882

 UNSAT
TT=83.086

 UNSAT
TT=191.469

 UNSAT
TT=484.479
industrial/grieu/
vmpc_24.cnf		 SAT
TT=0.466

 SAT
TT=32.778

 SAT
TT=163.396

 SAT
TT=25.646

 SAT
TT=103.542

 SAT
TT=72.353

 SAT
TT=0.466

 SAT
TT=124.763

 SAT
TT=95.086

 SAT
TT=491.734

 SAT
TT=4.668
industrial/grieu/
vmpc_25.cnf		 SAT
TT=6.742

 SAT
TT=6.742

 SAT
TT=117.424

 SAT
TT=91.09

 SAT
TT=155.348

 SAT
TT=11.61

 SAT
TT=71.676

 SAT
TT=470.8

 SAT
TT=796.212

 SAT
TT=40.831

 SAT
TT=628.621
industrial/grieu/
vmpc_26.cnf		 SAT
TT=6.926

 SAT
TT=54.748

 SAT
TT=404.311

 SAT
TT=574.861

 SAT
TT=214.658

 SAT
TT=100.966

 SAT
TT=93.345

 SAT
TT=1384.57

 SAT
TT=1161.81

 SAT
TT=6.926

 SAT
TT=427.522
industrial/grieu/
vmpc_27.cnf		 SAT
TT=5.424

 SAT
TT=17.694

 SAT
TT=688.638

 SAT
TT=5.424

 SAT
TT=118.085

 SAT
TT=42.501

 SAT
TT=93.201

 SAT
TT=858.019

 SAT
TT=1059.66

 SAT
TT=124.74

 SAT
TT=90.422
industrial/grieu/
vmpc_28.cnf		 SAT
TT=5.808

 SAT
TT=5.808

 SAT
TT=3003.85

 SAT
TT=153.501

 SAT
TT=947.951

 SAT
TT=280.65

 SAT
TT=116.31

 SAT
TT=6724.72

 SAT
TT=3543.43

 SAT
TT=374.99

 SAT
TT=866.676
industrial/grieu/
vmpc_29.cnf		 SAT
TT=2591.78

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 SAT
TT=2591.78

 SAT
TT=4268.62

 ? (TO)
TT=10000

 ? (TO)
TT=10000

 ? (TO)
TT=10000.1

 ?
TT=9999.86

 ? (TO)
TT=10000

 ? (TO)
TT=10000.1
industrial/grieu/
vmpc_30.cnf		 SAT
TT=458.614

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 SAT
TT=676.412

 SAT
TT=1584.54

 SAT
TT=458.614

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 SAT
TT=2851.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1
Bench nameBest results
on this
instance		CMUSAT
2007-02-08		minisat
SAT 2007		MiraXT
v3		MXC
2007-02-08		picosat
535		Rsat
2007-02-08		SAT7
2007-02-08		SATzilla
CRAFTED		Siege
V4		TiniSatELite
2007-02-08
industrial/grieu/
vmpc_31.cnf		 SAT
TT=238.324

 SAT
TT=4764.16

 ? (TO)
TT=10000.1

 SAT
TT=3486.55

 ? (TO)
TT=10000

 SAT
TT=238.324

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ?
TT=9999.92

 ? (TO)
TT=10000

 ? (TO)
TT=10000
industrial/grieu/
vmpc_33.cnf		 SAT
TT=1495.24

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 SAT
TT=1495.24

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000

 ? (TO)
TT=10000.1
industrial/grieu/
vmpc_34.cnf


? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000
industrial/
IBM_FV_2002_13_rule_1/
SAT_dat.k100.cnf


? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.3

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000

 ? (TO)
TT=10000.2

 ? (exit code)
TT=9997.88

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000
industrial/
IBM_FV_2002_13_rule_1/
SAT_dat.k10.cnf


? (TO)
TT=10000.2

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.3

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.2

 ? (exit code)
TT=9998.34

 ? (TO)
TT=10000

 ? (TO)
TT=10000
industrial/
IBM_FV_2002_13_rule_1/
SAT_dat.k15.cnf


? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000

 ? (TO)
TT=10000.2

 ? (exit code)
TT=9997.81

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1
industrial/
IBM_FV_2002_13_rule_1/
SAT_dat.k20.cnf


? (TO)
TT=10000.2

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.3

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.2

 ? (exit code)
TT=9997.79

 ? (TO)
TT=10000

 ? (TO)
TT=10000
industrial/
IBM_FV_2002_13_rule_1/
SAT_dat.k25.cnf


? (TO)
TT=10000.3

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.3

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (exit code)
TT=9997.83

 ? (TO)
TT=10000

 ? (TO)
TT=10000
industrial/
IBM_FV_2002_13_rule_1/
SAT_dat.k30.cnf


? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.3

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (exit code)
TT=9997.61

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000
industrial/
IBM_FV_2002_13_rule_1/
SAT_dat.k35.cnf


? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000

 ? (TO)
TT=10000.2

 ? (exit code)
TT=9998.49

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1
Bench nameBest results
on this
instance		CMUSAT
2007-02-08		minisat
SAT 2007		MiraXT
v3		MXC
2007-02-08		picosat
535		Rsat
2007-02-08		SAT7
2007-02-08		SATzilla
CRAFTED		Siege
V4		TiniSatELite
2007-02-08
industrial/
IBM_FV_2002_13_rule_1/
SAT_dat.k40.cnf


? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.3

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.2

 ? (exit code)
TT=9997.77

 ? (TO)
TT=10000

 ? (TO)
TT=10000
industrial/
IBM_FV_2002_13_rule_1/
SAT_dat.k45.cnf


? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.3

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000

 ? (TO)
TT=10000

 ? (TO)
TT=10000.1

 ? (exit code)
TT=9997.7

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1
industrial/
IBM_FV_2002_13_rule_1/
SAT_dat.k50.cnf


? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.3

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (exit code)
TT=9997.58

 ? (TO)
TT=10000

 ? (TO)
TT=10000
industrial/
IBM_FV_2002_13_rule_1/
SAT_dat.k55.cnf


? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000

 ? (TO)
TT=10000.1

 ? (exit code)
TT=9998.39

 ? (TO)
TT=10000

 ? (TO)
TT=10000
industrial/
IBM_FV_2002_13_rule_1/
SAT_dat.k60.cnf


? (TO)
TT=10000.3

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000

 ? (TO)
TT=10000.2

 ? (exit code)
TT=9997.64

 ? (TO)
TT=10000

 ? (TO)
TT=10000
industrial/
IBM_FV_2002_13_rule_1/
SAT_dat.k65.cnf


? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.3

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000

 ? (TO)
TT=10000.2

 ? (exit code)
TT=9998.3

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000
industrial/
IBM_FV_2002_13_rule_1/
SAT_dat.k70.cnf


? (TO)
TT=10000.2

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000

 ? (TO)
TT=10000.2

 ? (exit code)
TT=9997.77

 ? (TO)
TT=10000

 ? (TO)
TT=10000.1
industrial/
IBM_FV_2002_13_rule_1/
SAT_dat.k75.cnf


? (TO)
TT=10000.3

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000

 ? (TO)
TT=10000.1

 ? (exit code)
TT=9997.75

 ? (TO)
TT=10000

 ? (TO)
TT=10000
industrial/
IBM_FV_2002_13_rule_1/
SAT_dat.k80.cnf


? (TO)
TT=10000.3

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000

 ? (TO)
TT=10000.1

 ? (exit code)
TT=9997.9

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000
industrial/
IBM_FV_2002_13_rule_1/
SAT_dat.k85.cnf


? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000

 ? (TO)
TT=10000.2

 ? (exit code)
TT=9997.74

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1
Bench nameBest results
on this
instance		CMUSAT
2007-02-08		minisat
SAT 2007		MiraXT
v3		MXC
2007-02-08		picosat
535		Rsat
2007-02-08		SAT7
2007-02-08		SATzilla
CRAFTED		Siege
V4		TiniSatELite
2007-02-08
industrial/
IBM_FV_2002_13_rule_1/
SAT_dat.k90.cnf


? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.3

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000

 ? (TO)
TT=10000

 ? (TO)
TT=10000.2

 ? (exit code)
TT=9998.27

 ? (TO)
TT=10000

 ? (TO)
TT=10000.1
industrial/
IBM_FV_2002_13_rule_1/
SAT_dat.k95.cnf


? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.2

 ? (exit code)
TT=9997.86

 ? (TO)
TT=10000

 ? (TO)
TT=10000.1
industrial/
IBM_FV_2002_31_1_rule_1/
SAT_dat.k100.cnf


? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000

 ? (TO)
TT=10000

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000

 ? (TO)
TT=10000.1
industrial/
IBM_FV_2002_31_1_rule_1/
SAT_dat.k25.cnf		 UNSAT
TT=76.895

 UNSAT
TT=340.522

 UNSAT
TT=98.742

 UNSAT
TT=341.111

 UNSAT
TT=219.631

 UNSAT
TT=383.447

 UNSAT
TT=76.895

 UNSAT
TT=361.932

 UNSAT
TT=97.009

 UNSAT
TT=1443.69

 UNSAT
TT=319.181
industrial/
IBM_FV_2002_31_1_rule_1/
SAT_dat.k30.cnf		 UNSAT
TT=1082.8

 UNSAT
TT=7858.67

 UNSAT
TT=2091.64

 UNSAT
TT=4196.41

 UNSAT
TT=4636.82

 ? (TO)
TT=10000.1

 UNSAT
TT=1521.97

 UNSAT
TT=7627.64

 UNSAT
TT=1082.8

 ? (TO)
TT=10000

 ? (TO)
TT=10000.1
industrial/
IBM_FV_2002_31_1_rule_1/
SAT_dat.k35.cnf


? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.2

 ? (exit code)
TT=9998.23

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1
industrial/
IBM_FV_2002_31_1_rule_1/
SAT_dat.k40.cnf


? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.3

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (exit code)
TT=9997.67

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000
industrial/
IBM_FV_2002_31_1_rule_1/
SAT_dat.k45.cnf


? (TO)
TT=10000.2

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (exit code)
TT=9997.61

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000
industrial/
IBM_FV_2002_31_1_rule_1/
SAT_dat.k50.cnf


? (TO)
TT=10000.2

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (exit code)
TT=9997.92

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1
industrial/
IBM_FV_2002_31_1_rule_1/
SAT_dat.k55.cnf


? (TO)
TT=10000.2

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000

 ? (TO)
TT=10000.1

 ? (exit code)
TT=9998.42

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000
Bench nameBest results
on this
instance		CMUSAT
2007-02-08		minisat
SAT 2007		MiraXT
v3		MXC
2007-02-08		picosat
535		Rsat
2007-02-08		SAT7
2007-02-08		SATzilla
CRAFTED		Siege
V4		TiniSatELite
2007-02-08
industrial/
IBM_FV_2002_31_1_rule_1/
SAT_dat.k60.cnf


? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (exit code)
TT=9998.49

 ? (TO)
TT=10000

 ? (TO)
TT=10000
industrial/
IBM_FV_2002_31_1_rule_1/
SAT_dat.k65.cnf


? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (exit code)
TT=9998.24

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1
industrial/
IBM_FV_2002_31_1_rule_1/
SAT_dat.k70.cnf


? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000

 ? (TO)
TT=10000.2

 ? (exit code)
TT=9998.2

 ? (TO)
TT=10000

 ? (TO)
TT=10000
industrial/
IBM_FV_2002_31_1_rule_1/
SAT_dat.k75.cnf


? (TO)
TT=10000.2

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ?
TT=9998.61

 ? (TO)
TT=10000

 ? (TO)
TT=10000
industrial/
IBM_FV_2002_31_1_rule_1/
SAT_dat.k80.cnf


? (TO)
TT=10000.2

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000

 ? (TO)
TT=10000.1

 ? (exit code)
TT=9998.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000
industrial/
IBM_FV_2002_31_1_rule_1/
SAT_dat.k85.cnf


? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.3

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000

 ? (TO)
TT=10000.2

 ? (exit code)
TT=9998.38

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1
industrial/
IBM_FV_2002_31_1_rule_1/
SAT_dat.k90.cnf


? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000

 ? (TO)
TT=10000.1
industrial/
IBM_FV_2002_31_1_rule_1/
SAT_dat.k95.cnf


? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000

 ? (TO)
TT=10000.1
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k100.cnf		 SAT
TT=2425.37

 SAT
TT=4744.56

 SAT
TT=2425.37

 SAT
TT=4809.56

 ? (TO)
TT=10000.1

 SAT
TT=2614.3

 SAT
TT=3239.47

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k15.cnf		 UNSAT
TT=170.061

 UNSAT
TT=170.061

 UNSAT
TT=384.609

 UNSAT
TT=1248.74

 UNSAT
TT=565.335

 UNSAT
TT=214.67

 UNSAT
TT=322.09

 UNSAT
TT=1345.14

 UNSAT
TT=226.354

 UNSAT
TT=390.086

 UNSAT
TT=697.585
Bench nameBest results
on this
instance		CMUSAT
2007-02-08		minisat
SAT 2007		MiraXT
v3		MXC
2007-02-08		picosat
535		Rsat
2007-02-08		SAT7
2007-02-08		SATzilla
CRAFTED		Siege
V4		TiniSatELite
2007-02-08
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k20.cnf		 UNSAT
TT=2964.11

 UNSAT
TT=7282.36

 UNSAT
TT=7242.54

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 UNSAT
TT=8979.94

 UNSAT
TT=6246.81

 ? (TO)
TT=10000.1

 UNSAT
TT=2964.11

 ? (TO)
TT=10000

 ? (TO)
TT=10000
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k25.cnf		 SAT
TT=3678.16

 ? (TO)
TT=10000.2

 SAT
TT=3678.16

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (exit code)
TT=9998.04

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k30.cnf


? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000

 ? (TO)
TT=10000

 ? (TO)
TT=10000.2

 ? (exit code)
TT=9997.73

 ? (TO)
TT=10000

 ? (TO)
TT=10000
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k35.cnf		 SAT
TT=2473.75

 SAT
TT=2473.75

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.2

 ? (exit code)
TT=9998.5

 ? (TO)
TT=10000

 ? (TO)
TT=10000
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k40.cnf		 SAT
TT=6512.88

 SAT
TT=6512.88

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 SAT
TT=8828.96

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.2

 ? (exit code)
TT=9997.97

 ? (TO)
TT=10000

 ? (TO)
TT=10000
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k45.cnf		 SAT
TT=2556.7

 SAT
TT=2556.7

 ? (TO)
TT=10000.2

 SAT
TT=2652.56

 ? (TO)
TT=10000.1

 SAT
TT=6199.83

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (exit code)
TT=9998.24

 ? (TO)
TT=10000

 ? (TO)
TT=10000.1
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k50.cnf		 SAT
TT=1007.48

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 SAT
TT=1007.48

 ? (TO)
TT=10000.1

 SAT
TT=4153.88

 SAT
TT=8492.64

 ? (TO)
TT=10000.2

 SAT
TT=3974.69

 ? (TO)
TT=10000

 ? (TO)
TT=10000.1
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf		 SAT
TT=181.585

 ? (TO)
TT=10000.2

 SAT
TT=321.759

 SAT
TT=4529.39

 ? (TO)
TT=10000.1

 SAT
TT=181.585

 SAT
TT=523.592

 SAT
TT=1856.81

 ? (exit code)
TT=9997.88

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k60.cnf		 SAT
TT=379.486

 SAT
TT=3442.74

 SAT
TT=379.486

 SAT
TT=4277.31

 ? (TO)
TT=10000.1

 SAT
TT=9383.38

 SAT
TT=993.766

 SAT
TT=7368.61

 ? (exit code)
TT=9997.8

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k65.cnf		 SAT
TT=2605.68

 ? (TO)
TT=10000.2

 SAT
TT=7786.09

 SAT
TT=4498.77

 ? (TO)
TT=10000.1

 SAT
TT=5840.1

 SAT
TT=2605.68

 ? (TO)
TT=10000.2

 SAT
TT=5639.6

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1
Bench nameBest results
on this
instance		CMUSAT
2007-02-08		minisat
SAT 2007		MiraXT
v3		MXC
2007-02-08		picosat
535		Rsat
2007-02-08		SAT7
2007-02-08		SATzilla
CRAFTED		Siege
V4		TiniSatELite
2007-02-08
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k70.cnf		 SAT
TT=384.76

 ? (TO)
TT=10000.2

 SAT
TT=3794.72

 SAT
TT=1749.38

 ? (TO)
TT=10000.1

 SAT
TT=1421.6

 SAT
TT=384.76

 SAT
TT=6353.34

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000

 ? (MO)
TT=6785.5
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k75.cnf		 SAT
TT=558.765

 SAT
TT=5158

 SAT
TT=795.766

 SAT
TT=1087.38

 SAT
TT=655.969

 SAT
TT=1280.28

 SAT
TT=3420.01

 SAT
TT=6102.53

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 SAT
TT=558.765
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf		 SAT
TT=981.31

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.2

 SAT
TT=3083.81

 SAT
TT=5675.93

 SAT
TT=3287.48

 SAT
TT=3032.24

 SAT
TT=5884.27

 SAT
TT=981.31

 SAT
TT=4097.14

 SAT
TT=7461.9
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k85.cnf		 SAT
TT=702.079

 SAT
TT=5427.97

 SAT
TT=702.079

 SAT
TT=2635.01

 ? (TO)
TT=10000.1

 SAT
TT=3174.75

 SAT
TT=1882.32

 SAT
TT=4417.38

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000

 SAT
TT=1493.87
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k90.cnf		 SAT
TT=1156.48

 SAT
TT=3004.42

 SAT
TT=7504.01

 SAT
TT=1156.48

 ? (TO)
TT=10000.2

 SAT
TT=6453.63

 SAT
TT=4916.11

 SAT
TT=9034.69

 ?
TT=9998.6

 ? (TO)
TT=10000.1

 SAT
TT=3078.55
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k95.cnf		 SAT
TT=628.713

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.2

 SAT
TT=1272.06

 ? (TO)
TT=10000.1

 SAT
TT=3998.22

 SAT
TT=628.713

 SAT
TT=3914.38

 SAT
TT=1007.35

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1
industrial/jarvisalo/
eq.atree.braun.10.unsat.cnf		 UNSAT
TT=622.684

 ? (TO)
TT=10000.1

 UNSAT
TT=822.258

 UNSAT
TT=2857.41

 UNSAT
TT=622.684

 UNSAT
TT=3440.58

 UNSAT
TT=3609.41

 UNSAT
TT=1059.62

 UNSAT
TT=718.059

 ? (TO)
TT=10000

 ? (TO)
TT=10000.1
industrial/jarvisalo/
eq.atree.braun.11.unsat.cnf		 UNSAT
TT=3240.96

 ? (TO)
TT=10000.1

 UNSAT
TT=5408.92

 ? (TO)
TT=10000.1

 UNSAT
TT=3240.96

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000

 UNSAT
TT=9474.3

 UNSAT
TT=4657.99

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000
industrial/jarvisalo/
eq.atree.braun.12.unsat.cnf


? (TO)
TT=10000.1

 ? (TO)
TT=10000

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000

 ? (exit code)
TT=9998.08

 ? (TO)
TT=10000

 ? (TO)
TT=10000.1
industrial/jarvisalo/
eq.atree.braun.13.unsat.cnf


? (TO)
TT=10000.1

 ? (TO)
TT=10000

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000

 ? (TO)
TT=10000

 ? (TO)
TT=10000.1

 ? (exit code)
TT=9998.2

 ? (TO)
TT=10000

 ? (TO)
TT=10000
Bench nameBest results
on this
instance		CMUSAT
2007-02-08		minisat
SAT 2007		MiraXT
v3		MXC
2007-02-08		picosat
535		Rsat
2007-02-08		SAT7
2007-02-08		SATzilla
CRAFTED		Siege
V4		TiniSatELite
2007-02-08
industrial/jarvisalo/
eq.atree.braun.7.unsat.cnf		 UNSAT
TT=1.79

 UNSAT
TT=7.535

 UNSAT
TT=3.489

 UNSAT
TT=5.082

 UNSAT
TT=3.299

 UNSAT
TT=6.173

 ? (exit code)
TT=0.038

 UNSAT
TT=5.723

 UNSAT
TT=1.79

 UNSAT
TT=4.355

 UNSAT
TT=6.281
industrial/jarvisalo/
eq.atree.braun.8.unsat.cnf		 UNSAT
TT=24.238

 UNSAT
TT=62.759

 UNSAT
TT=24.238

 UNSAT
TT=65.504

 UNSAT
TT=37.83

 UNSAT
TT=88.581

 UNSAT
TT=58.203

 UNSAT
TT=39.131

 UNSAT
TT=29.407

 UNSAT
TT=70.214

 UNSAT
TT=106.136
industrial/jarvisalo/
eq.atree.braun.9.unsat.cnf		 UNSAT
TT=114.886

 UNSAT
TT=652.81

 UNSAT
TT=114.886

 UNSAT
TT=347.101

 UNSAT
TT=141.492

 UNSAT
TT=318.103

 UNSAT
TT=364.243

 UNSAT
TT=155.206

 UNSAT
TT=115.858

 UNSAT
TT=621.784

 UNSAT
TT=1280.95
industrial/
manolios/
manol-pipe-c10nidw_s.cnf		 UNSAT
TT=29.22

 UNSAT
TT=440.466

 UNSAT
TT=803.404

 UNSAT
TT=69.025

 ? (TO)
TT=10000.2

 UNSAT
TT=216.819

 UNSAT
TT=29.22

 UNSAT
TT=761.995

 UNSAT
TT=562.405

 UNSAT
TT=1555.91

 UNSAT
TT=203.911
industrial/
manolios/
manol-pipe-c6nidw_i.cnf		 UNSAT
TT=94.965

 UNSAT
TT=162.051

 UNSAT
TT=125.113

 UNSAT
TT=696.321

 UNSAT
TT=734.952

 UNSAT
TT=736.222

 UNSAT
TT=94.965

 UNSAT
TT=918.517

 UNSAT
TT=971.08

 UNSAT
TT=3175.6

 UNSAT
TT=289.121
industrial/
manolios/
manol-pipe-c7bidw_i.cnf		 UNSAT
TT=146.359

 UNSAT
TT=451.376

 UNSAT
TT=577.046

 UNSAT
TT=1424.2

 UNSAT
TT=8416.75

 UNSAT
TT=2294.91

 UNSAT
TT=146.359

 UNSAT
TT=5064.05

 UNSAT
TT=4247.84

 ? (TO)
TT=10000

 UNSAT
TT=1182.49
industrial/
manolios/
manol-pipe-c7nidw.cnf		 UNSAT
TT=193.169

 UNSAT
TT=568.551

 UNSAT
TT=513.6

 UNSAT
TT=1737.24

 ? (TO)
TT=10000.1

 UNSAT
TT=3762.17

 UNSAT
TT=193.169

 UNSAT
TT=4687.85

 UNSAT
TT=3172.08

 ? (TO)
TT=10000.1

 UNSAT
TT=957.236
industrial/
manolios/
manol-pipe-f10ni.cnf		 UNSAT
TT=826.819

 UNSAT
TT=826.819

 ? (TO)
TT=10000.1

 UNSAT
TT=4126.88

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 UNSAT
TT=4979.1

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.2

 UNSAT
TT=4101.52

 UNSAT
TT=3465.29
industrial/
manolios/
manol-pipe-f7idw.cnf		 UNSAT
TT=225.619

 UNSAT
TT=225.619

 ? (TO)
TT=10000.1

 UNSAT
TT=279.298

 UNSAT
TT=2214.74

 UNSAT
TT=599.285

 ? (TO)
TT=10000

 UNSAT
TT=1386.5

 UNSAT
TT=1300.8

 UNSAT
TT=501.728

 UNSAT
TT=297.527
industrial/
manolios/
manol-pipe-f9b.cnf		 UNSAT
TT=384.87

 UNSAT
TT=384.87

 UNSAT
TT=3187.58

 UNSAT
TT=2390.67

 UNSAT
TT=5154.95

 UNSAT
TT=2112.77

 UNSAT
TT=1925.87

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 UNSAT
TT=1185.31

 UNSAT
TT=1284.8
Bench nameBest results
on this
instance		CMUSAT
2007-02-08		minisat
SAT 2007		MiraXT
v3		MXC
2007-02-08		picosat
535		Rsat
2007-02-08		SAT7
2007-02-08		SATzilla
CRAFTED		Siege
V4		TiniSatELite
2007-02-08
industrial/
manolios/
manol-pipe-f9n.cnf		 UNSAT
TT=628.965

 UNSAT
TT=628.965

 UNSAT
TT=6931.1

 UNSAT
TT=2504.32

 UNSAT
TT=8744.51

 UNSAT
TT=2506.74

 UNSAT
TT=1173.17

 ? (TO)
TT=10000.1

 UNSAT
TT=4531.24

 UNSAT
TT=1304.93

 UNSAT
TT=1165.02
industrial/
manolios/
manol-pipe-g10bidw.cnf		 UNSAT
TT=440.435

 UNSAT
TT=440.435

 UNSAT
TT=907.74

 UNSAT
TT=1294.16

 UNSAT
TT=9862.01

 UNSAT
TT=661.212

 UNSAT
TT=2602.75

 UNSAT
TT=2676.09

 UNSAT
TT=3177.51

 UNSAT
TT=4672.08

 UNSAT
TT=458.616
industrial/
manolios/
manol-pipe-g10nid.cnf		 UNSAT
TT=276.856

 UNSAT
TT=318.463

 UNSAT
TT=2851.57

 UNSAT
TT=1291.11

 UNSAT
TT=7679.76

 UNSAT
TT=602.671

 UNSAT
TT=276.856

 UNSAT
TT=2048.77

 UNSAT
TT=1961.3

 UNSAT
TT=3504.93

 UNSAT
TT=491.979
industrial/narain/
clauses-10.cnf		 UNSAT
TT=98.124

 UNSAT
TT=170.817

 UNSAT
TT=205.153

 ?
TT=10.645

 UNSAT
TT=98.124

 UNSAT
TT=156.148

 UNSAT
TT=291.486

 UNSAT
TT=1888.07

 UNSAT
TT=304.904

 ?
TT=0.005

 UNSAT
TT=867.721
industrial/narain/
clauses-2.cnf		 SAT
TT=3.623

 SAT
TT=4.23

 SAT
TT=3.623

 SAT
TT=15.894

 SAT
TT=6.281

 SAT
TT=4.207

 SAT
TT=4.63

 SAT
TT=8.049

 SAT
TT=93.427

 SAT
TT=9.218

 SAT
TT=4.332
industrial/narain/
clauses-4.cnf		 SAT
TT=39.746

 SAT
TT=76.223

 SAT
TT=39.746

 SAT
TT=84.239

 SAT
TT=1205.01

 SAT
TT=61.61

 SAT
TT=47.414

 SAT
TT=103.07

 SAT
TT=140.613

 SAT
TT=124.386

 SAT
TT=94.855
industrial/narain/
clauses-6.cnf		 SAT
TT=412.943

 SAT
TT=502.038

 SAT
TT=4036.08

 SAT
TT=952.677

 ? (TO)
TT=10000.2

 SAT
TT=798.344

 SAT
TT=412.943

 SAT
TT=1845.39

 SAT
TT=1119.91

 ?
TT=0.005

 SAT
TT=1584.55
industrial/narain/
clauses-8.cnf		 SAT
TT=3709.38

 ? (MO)
TT=4580.4

 SAT
TT=3709.38

 ?
TT=6.99

 ? (TO)
TT=10000.3

 SAT
TT=5483.93

 SAT
TT=4887.4

 SAT
TT=9862.33

 SAT
TT=3759.44

 ?
TT=0.004

 ? (MO)
TT=8331.13
industrial/palacios/
hard/
safe-30-h29-unsat.cnf


? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000
industrial/palacios/
hard/
safe-50-h49-unsat.cnf


? (TO)
TT=10000.2

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.3

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ?
TT=0.005

 ? (TO)
TT=10000.1
Bench nameBest results
on this
instance		CMUSAT
2007-02-08		minisat
SAT 2007		MiraXT
v3		MXC
2007-02-08		picosat
535		Rsat
2007-02-08		SAT7
2007-02-08		SATzilla
CRAFTED		Siege
V4		TiniSatELite
2007-02-08
industrial/
palacios/hard/
safe-50-h50-sat.cnf		 SAT
TT=410.742

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 SAT
TT=1214.55

 SAT
TT=410.742

 ? (TO)
TT=10000.2

 ?
TT=9998.61

 ?
TT=0.007

 SAT
TT=1290.08
industrial/palacios/
hard/
sortnet-6-ipc5-h11-unsat.cnf		 UNSAT
TT=1102.68

 ? (TO)
TT=10000.1

 UNSAT
TT=3093.74

 UNSAT
TT=8430.17

 UNSAT
TT=9704.1

 ? (TO)
TT=10000

 UNSAT
TT=1102.68

 ? (TO)
TT=10000

 UNSAT
TT=2271.53

 ? (TO)
TT=10000

 UNSAT
TT=9741.9
industrial/palacios/
hard/
sortnet-7-ipc5-h15-unsat.cnf


? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (exit code)
TT=9997.63

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1
industrial/palacios/
hard/
sortnet-8-ipc5-h18-unsat.cnf


? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.3

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (MO)
TT=4203.89

 ? (TO)
TT=10000.1
industrial/palacios/
hard/
sortnet-8-ipc5-h19-sat.cnf


? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (MO)
TT=4890.98

 ? (TO)
TT=10000
industrial/palacios/
medium/
blocks-4-ipc5-h21-unknown.cnf		 UNSAT
TT=29.562

 UNSAT
TT=168.15

 UNSAT
TT=133.414

 UNSAT
TT=591.171

 UNSAT
TT=260.687

 UNSAT
TT=247.704

 UNSAT
TT=29.562

 UNSAT
TT=585.192

 UNSAT
TT=367.118

 UNSAT
TT=556.914

 UNSAT
TT=34.369
industrial/palacios/
medium/
blocks-4-ipc5-h22-unknown.cnf		 UNSAT
TT=33.021

 UNSAT
TT=2954.8

 UNSAT
TT=263.082

 UNSAT
TT=1157.34

 UNSAT
TT=449.639

 UNSAT
TT=364.509

 UNSAT
TT=33.021

 UNSAT
TT=710.598

 UNSAT
TT=565.739

 UNSAT
TT=1173.3

 UNSAT
TT=63.248
industrial/palacios/
medium/
cube-11-h13-unsat.cnf		 UNSAT
TT=312.783

 ? (TO)
TT=10000.2

 UNSAT
TT=2498.65

 ? (TO)
TT=10000.3

 UNSAT
TT=3257.28

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000

 UNSAT
TT=4540.61

 UNSAT
TT=4816.06

 UNSAT
TT=312.783

 UNSAT
TT=619.807
industrial/palacios/
medium/
cube-11-h14-sat.cnf		 SAT
TT=1072.92

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.3

 ? (TO)
TT=10000.2

 SAT
TT=7463.73

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 SAT
TT=8739.4

 SAT
TT=1072.92

 SAT
TT=1614.73
industrial/palacios/
medium/
cube-9-h10-unsat.cnf		 UNSAT
TT=51.954

 UNSAT
TT=795.874

 UNSAT
TT=148.116

 UNSAT
TT=922.106

 UNSAT
TT=199.363

 UNSAT
TT=212.311

 UNSAT
TT=107.566

 UNSAT
TT=345.545

 UNSAT
TT=378.038

 UNSAT
TT=62.058

 UNSAT
TT=51.954
Bench nameBest results
on this
instance		CMUSAT
2007-02-08		minisat
SAT 2007		MiraXT
v3		MXC
2007-02-08		picosat
535		Rsat
2007-02-08		SAT7
2007-02-08		SATzilla
CRAFTED		Siege
V4		TiniSatELite
2007-02-08
industrial/palacios/
medium/
cube-9-h11-sat.cnf		 SAT
TT=54.893

 SAT
TT=440.631

 SAT
TT=518.84

 SAT
TT=721.379

 SAT
TT=930.273

 SAT
TT=662.343

 SAT
TT=3592.24

 SAT
TT=1119.76

 SAT
TT=779.142

 SAT
TT=54.893

 SAT
TT=89.867
industrial/palacios/
medium/
emptyroom-4-h21-unsat.cnf		 UNSAT
TT=282.282

 UNSAT
TT=1830.84

 UNSAT
TT=3379.84

 UNSAT
TT=9733.41

 ? (TO)
TT=10000.1

 UNSAT
TT=4853.11

 UNSAT
TT=1426.17

 ? (TO)
TT=10000.2

 ? (exit code)
TT=9997.6

 UNSAT
TT=997.565

 UNSAT
TT=282.282
industrial/palacios/
medium/
emptyroom-4-h22-sat.cnf		 SAT
TT=98.998

 SAT
TT=1088.66

 SAT
TT=6106.76

 SAT
TT=7017.16

 SAT
TT=9930.14

 SAT
TT=98.998

 SAT
TT=3253.07

 SAT
TT=3048.24

 ? (exit code)
TT=9997.88

 SAT
TT=190.157

 SAT
TT=427.075
industrial/palacios/
medium/
safe-30-h30-sat.cnf		 SAT
TT=21.742

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.2

 SAT
TT=1847.65

 SAT
TT=21.742

 SAT
TT=24.458

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000

 SAT
TT=1014.44

 SAT
TT=56.393
industrial/palacios/
medium/
sortnet-7-ipc5-h16-sat.cnf		 SAT
TT=44.107

 ? (TO)
TT=10000.1

 SAT
TT=2872.24

 ? (TO)
TT=10000.3

 SAT
TT=7785.18

 SAT
TT=904.854

 SAT
TT=44.107

 ? (TO)
TT=10000.1

 ? (exit code)
TT=9997.73

 SAT
TT=4444.84

 SAT
TT=3248.26
industrial/palacios/
uts/
uts-l05-ipc5-h26-unsat.cnf		 UNSAT
TT=17.198

 UNSAT
TT=152.234

 UNSAT
TT=61.006

 UNSAT
TT=221.837

 UNSAT
TT=133.6

 UNSAT
TT=85.316

 UNSAT
TT=17.198

 UNSAT
TT=238.465

 UNSAT
TT=302.92

 UNSAT
TT=353.043

 UNSAT
TT=28.462
industrial/palacios/
uts/
uts-l05-ipc5-h27-unknown.cnf		 UNSAT
TT=21.698

 UNSAT
TT=240.307

 UNSAT
TT=85.666

 UNSAT
TT=299.999

 UNSAT
TT=323.718

 UNSAT
TT=169.807

 UNSAT
TT=21.698

 UNSAT
TT=367.517

 UNSAT
TT=345.759

 UNSAT
TT=569.405

 UNSAT
TT=35.956
industrial/palacios/
uts/
uts-l06-ipc5-h28-unknown.cnf		 UNSAT
TT=23.309

 UNSAT
TT=87.999

 UNSAT
TT=211.977

 UNSAT
TT=140.333

 UNSAT
TT=357.869

 UNSAT
TT=84.876

 UNSAT
TT=23.309

 UNSAT
TT=169.145

 UNSAT
TT=407.495

 UNSAT
TT=197.897

 UNSAT
TT=30.325
industrial/palacios/
uts/
uts-l06-ipc5-h29-unknown.cnf		 UNSAT
TT=29.485

 UNSAT
TT=269.811

 UNSAT
TT=106.139

 UNSAT
TT=200.972

 UNSAT
TT=580.691

 UNSAT
TT=144.22

 UNSAT
TT=29.485

 UNSAT
TT=451.286

 UNSAT
TT=315.986

 UNSAT
TT=422.085

 UNSAT
TT=47.757
industrial/palacios/
uts/
uts-l06-ipc5-h30-unknown.cnf		 UNSAT
TT=30.039

 UNSAT
TT=486.374

 UNSAT
TT=499.664

 UNSAT
TT=455.782

 UNSAT
TT=428.188

 UNSAT
TT=200.094

 UNSAT
TT=30.039

 UNSAT
TT=1444.66

 UNSAT
TT=887.79

 UNSAT
TT=687.379

 UNSAT
TT=68.335
Bench nameBest results
on this
instance		CMUSAT
2007-02-08		minisat
SAT 2007		MiraXT
v3		MXC
2007-02-08		picosat
535		Rsat
2007-02-08		SAT7
2007-02-08		SATzilla
CRAFTED		Siege
V4		TiniSatELite
2007-02-08
industrial/palacios/
uts/
uts-l06-ipc5-h31-unknown.cnf		 UNSAT
TT=52.669

 UNSAT
TT=974.043

 UNSAT
TT=633.978

 UNSAT
TT=1418.37

 UNSAT
TT=509.223

 UNSAT
TT=312.336

 UNSAT
TT=52.669

 UNSAT
TT=1808.37

 UNSAT
TT=1224.48

 UNSAT
TT=1631.65

 UNSAT
TT=158.666
industrial/palacios/
uts/
uts-l06-ipc5-h32-unknown.cnf		 UNSAT
TT=67.036

 UNSAT
TT=2337.91

 UNSAT
TT=853.415

 UNSAT
TT=2709.44

 UNSAT
TT=2594.77

 UNSAT
TT=378.716

 UNSAT
TT=67.036

 UNSAT
TT=1516.93

 UNSAT
TT=1331.56

 ? (MO)
TT=2642.94

 UNSAT
TT=188.013
industrial/palacios/
uts/
uts-l06-ipc5-h33-unknown.cnf		 UNSAT
TT=121.7

 UNSAT
TT=8978.71

 UNSAT
TT=1262.11

 UNSAT
TT=6041.76

 UNSAT
TT=1958.74

 UNSAT
TT=805.683

 UNSAT
TT=121.7

 UNSAT
TT=1983.6

 UNSAT
TT=1723.11

 ? (TO)
TT=10000

 UNSAT
TT=725.638
industrial/palacios/
uts/
uts-l06-ipc5-h34-unknown.cnf		 SAT
TT=36.382

 SAT
TT=2480.44

 SAT
TT=220.837

 SAT
TT=458.229

 SAT
TT=175.752

 SAT
TT=57.136

 SAT
TT=36.382

 SAT
TT=388.204

 SAT
TT=264.228

 SAT
TT=1036.62

 SAT
TT=59.959
industrial/palacios/
uts/
uts-l06-ipc5-h35-unknown.cnf		 SAT
TT=38.41

 SAT
TT=3746.79

 SAT
TT=74.779

 SAT
TT=519.604

 SAT
TT=104.665

 SAT
TT=147.353

 SAT
TT=38.41

 SAT
TT=235.679

 SAT
TT=261.86

 SAT
TT=663.914

 SAT
TT=100.003
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug10.cnf		 SAT
TT=32.916

 ? (MO)
TT=32.227

 SAT
TT=51.413

 ?
TT=13.38

 SAT
TT=32.916

 SAT
TT=920.645

 SAT
TT=228.378

 SAT
TT=365.445

 SAT
TT=257.515

 ?
TT=1243.2

 SAT
TT=340.417
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug1.cnf		 SAT
TT=52.645

 ? (MO)
TT=30.207

 SAT
TT=52.645

 ?
TT=13.462

 SAT
TT=62.376

 SAT
TT=852.976

 SAT
TT=164.47

 SAT
TT=180.018

 SAT
TT=258.971

 SAT
TT=133.612

 SAT
TT=352.649
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug2.cnf		 SAT
TT=41.485

 ? (MO)
TT=32.229

 SAT
TT=41.485

 ?
TT=13.359

 SAT
TT=70.641

 SAT
TT=795.146

 SAT
TT=58.602

 SAT
TT=131.544

 SAT
TT=249.294

 SAT
TT=61.448

 SAT
TT=337.554
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug3.cnf		 SAT
TT=55.032

 ? (MO)
TT=32.116

 SAT
TT=55.694

 ?
TT=13.293

 SAT
TT=55.032

 SAT
TT=158.714

 SAT
TT=94.751

 SAT
TT=134.509

 SAT
TT=262.88

 SAT
TT=156.737

 SAT
TT=278.621
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug4.cnf		 SAT
TT=22.634

 ? (MO)
TT=32.216

 SAT
TT=40.25

 ?
TT=13.459

 SAT
TT=22.634

 SAT
TT=990.216

 SAT
TT=145.018

 SAT
TT=128.056

 SAT
TT=246.955

 ?
TT=1172.94

 SAT
TT=458.747
Bench nameBest results
on this
instance		CMUSAT
2007-02-08		minisat
SAT 2007		MiraXT
v3		MXC
2007-02-08		picosat
535		Rsat
2007-02-08		SAT7
2007-02-08		SATzilla
CRAFTED		Siege
V4		TiniSatELite
2007-02-08
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug5.cnf		 SAT
TT=32.184

 ? (MO)
TT=32.215

 SAT
TT=32.184

 ?
TT=13.45

 SAT
TT=108.684

 SAT
TT=975.351

 SAT
TT=108.108

 SAT
TT=118.058

 SAT
TT=239.402

 ?
TT=1057.06

 SAT
TT=390.484
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug6.cnf		 SAT
TT=47.235

 ? (MO)
TT=32.207

 SAT
TT=50.152

 ?
TT=13.445

 SAT
TT=47.235

 SAT
TT=500.427

 SAT
TT=89.951

 SAT
TT=129.667

 SAT
TT=256.381

 SAT
TT=145.221

 SAT
TT=329.725
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug7.cnf		 SAT
TT=39.486

 ? (MO)
TT=32.343

 SAT
TT=40.542

 ?
TT=13.324

 SAT
TT=39.486

 SAT
TT=209.836

 SAT
TT=586.257

 SAT
TT=133.251

 SAT
TT=239.613

 SAT
TT=129.343

 SAT
TT=275.244
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug8.cnf		 SAT
TT=23.681

 ? (MO)
TT=32.241

 SAT
TT=23.681

 ?
TT=13.443

 SAT
TT=94.105

 SAT
TT=1056.36

 SAT
TT=88.103

 SAT
TT=196.466

 SAT
TT=230.635

 ?
TT=1246.98

 SAT
TT=271.524
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug9.cnf		 SAT
TT=22.184

 ? (MO)
TT=32.128

 SAT
TT=124.745

 ?
TT=13.355

 SAT
TT=22.184

 SAT
TT=661.423

 SAT
TT=100.21

 SAT
TT=101.454

 SAT
TT=329.989

 ?
TT=1050.45

 SAT
TT=312.678
industrial/
vliw_unsat_2.0/
9dlx_vliw_at_b_iq1.cnf		 UNSAT
TT=76.066

 UNSAT
TT=4114.59

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.3

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 UNSAT
TT=5830.44

 ? (TO)
TT=10000.3

 ? (exit code)
TT=9998.23

 UNSAT
TT=76.066

 UNSAT
TT=454.645
industrial/
vliw_unsat_2.0/
9dlx_vliw_at_b_iq2.cnf		 UNSAT
TT=236.116

 ? (TO)
TT=10000.3

 ? (MO)
TT=6550.33

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (MO)
TT=6224

 ? (MO)
TT=4274.16

 UNSAT
TT=236.116

 UNSAT
TT=1494.44
industrial/
vliw_unsat_2.0/
9dlx_vliw_at_b_iq3.cnf		 UNSAT
TT=637.607

 ? (TO)
TT=10000.2

 ? (MO)
TT=2558.26

 ? (TO)
TT=10000.3

 ? (TO)
TT=10000.3

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (MO)
TT=5146.31

 ? (MO)
TT=2445.91

 UNSAT
TT=637.607

 UNSAT
TT=2252.89
industrial/
vliw_unsat_2.0/
9dlx_vliw_at_b_iq4.cnf		 UNSAT
TT=1653.87

 ? (TO)
TT=10000.4

 ? (MO)
TT=2125.59

 ? (MO)
TT=8254.2

 ? (TO)
TT=10000.3

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (MO)
TT=2914.77

 ? (MO)
TT=1813.02

 UNSAT
TT=1653.87

 ? (MO)
TT=4265.63
industrial/
vliw_unsat_2.0/
9dlx_vliw_at_b_iq5.cnf		 UNSAT
TT=3968.58

 ? (MO)
TT=6040.01

 ? (MO)
TT=2014.43

 ? (MO)
TT=5952.71

 ? (TO)
TT=10000.3

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000

 ? (MO)
TT=3157.73

 ? (MO)
TT=1698.4

 UNSAT
TT=3968.58

 ? (MO)
TT=2190.76
Bench nameBest results
on this
instance		CMUSAT
2007-02-08		minisat
SAT 2007		MiraXT
v3		MXC
2007-02-08		picosat
535		Rsat
2007-02-08		SAT7
2007-02-08		SATzilla
CRAFTED		Siege
V4		TiniSatELite
2007-02-08
industrial/
vliw_unsat_2.0/
9dlx_vliw_at_b_iq6.cnf		 UNSAT
TT=7727.65

 ? (MO)
TT=2193.55

 ? (MO)
TT=2333.6

 ? (MO)
TT=963.318

 ? (TO)
TT=10000.3

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (MO)
TT=2410.47

 ? (MO)
TT=1224.15

 UNSAT
TT=7727.65

 ? (MO)
TT=1447.26
industrial/
vliw_unsat_2.0/
9dlx_vliw_at_b_iq7.cnf		 UNSAT
TT=6946.14

 ? (MO)
TT=1600.76

 ? (MO)
TT=889.175

 ?
TT=6.22

 ? (TO)
TT=10000.3

 ? (TO)
TT=10000.1

 ? (TO)
TT=10000.1

 ? (MO)
TT=2065.65

 ? (MO)
TT=1169.03

 UNSAT
TT=6946.14

 ? (MO)
TT=3021.62
industrial/
vliw_unsat_2.0/
9dlx_vliw_at_b_iq8.cnf


? (MO)
TT=1489.56

 ? (MO)
TT=2405.85

 ?
TT=6.901

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (MO)
TT=6992.41

 ? (MO)
TT=1902.91

 ? (MO)
TT=2475.91

 ? (TO)
TT=10000.1

 ? (MO)
TT=1428.76
industrial/
vliw_unsat_2.0/
9dlx_vliw_at_b_iq9.cnf


? (MO)
TT=1492.7

 ? (MO)
TT=1060.61

 ?
TT=9.288

 ? (TO)
TT=10000.2

 ? (TO)
TT=10000.1

 ? (MO)
TT=8072.7

 ? (MO)
TT=2542.93

 ? (MO)
TT=1522.83

 ? (TO)
TT=10000

 ? (MO)
TT=3373.32

Some statistics...

CMUSAT
2007-02-08		minisat
SAT 2007		MiraXT
v3		MXC
2007-02-08		picosat
535		Rsat
2007-02-08		SAT7
2007-02-08		SATzilla
CRAFTED		Siege
V4		TiniSatELite
2007-02-08
Number of times the solver is able to give the best known answer123132126116139139114114122130
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)16431020103305228