SAT 2007 Competition Phase 2: results by benchmark

Results by benchmark for category crafted instances (CRAFTED)

This page displays the results of the different solvers for each benchmark for category crafted instances (CRAFTED)

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
March KS 2007-02-08
minisat SAT 2007
MiraXT v3
MXC 2007-02-08
picosat 535
Rsat 2007-02-08
SATzilla CRAFTED
TTS 4.0

Bench nameBest results
on this
instance		CMUSAT
2007-02-08		March KS
2007-02-08		minisat
SAT 2007		MiraXT
v3		MXC
2007-02-08		picosat
535		Rsat
2007-02-08		SATzilla
CRAFTED		TTS
4.0
crafted/Difficult/contest-02-03-04/
contest02-ezfact64_10.sat05-449.reshuffled-07.cnf		 SAT
TT=748.773

 SAT
TT=748.773

 ? (TO)
TT=5000.03

 SAT
TT=2584.87

 SAT
TT=2303.52

 ? (TO)
TT=5000.04

 ? (TO)
TT=5000.1

 ? (TO)
TT=5000.07

 ? (exit code)
TT=4999

 ? (TO)
TT=5000.14
crafted/Difficult/contest-02-03-04/
contest02-Mat26.sat05-457.reshuffled-07.cnf		 UNSAT
TT=296.588

 UNSAT
TT=678.012

 ? (TO)
TT=5000.14

 UNSAT
TT=296.588

 UNSAT
TT=518.476

 UNSAT
TT=552.751

 ? (TO)
TT=5000.09

 UNSAT
TT=4262.65

 UNSAT
TT=616.986

 ? (TO)
TT=5000.1
crafted/Difficult/contest-02-03-04/
contest03-hwb-n26-01-S1957858365.sat05-500.reshuffled-07.cnf		 UNSAT
TT=1230.59

 ? (TO)
TT=5000.11

 UNSAT
TT=1315.21

 UNSAT
TT=1230.59

 UNSAT
TT=4489.33

 UNSAT
TT=1232.54

 ? (TO)
TT=5000.05

 ? (TO)
TT=5000.05

 ? (exit code)
TT=4998.46

 ? (TO)
TT=5000.22
crafted/Difficult/contest-02-03-04/
contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07.cnf		 UNSAT
TT=210.436

 UNSAT
TT=1176.85

 ? (TO)
TT=5000.2

 UNSAT
TT=1664.72

 UNSAT
TT=874.542

 UNSAT
TT=210.436

 UNSAT
TT=1843.12

 UNSAT
TT=4153.45

 UNSAT
TT=1390.6

 ? (MO)
TT=2943.8
crafted/Difficult/contest-02-03-04/
contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07.cnf		 UNSAT
TT=339.256

 UNSAT
TT=2504.3

 Signal
TT=4502.17

 UNSAT
TT=2314.56

 UNSAT
TT=1714.37

 UNSAT
TT=339.256

 UNSAT
TT=3797.19

 ? (TO)
TT=5000.04

 UNSAT
TT=2323.62

 ? (TO)
TT=5000.25
crafted/Difficult/contest-02-03-04/
contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07.cnf		 UNSAT
TT=519.471

 UNSAT
TT=1331.6

 UNSAT
TT=1204.68

 UNSAT
TT=519.471

 UNSAT
TT=1591.43

 UNSAT
TT=636.115

 UNSAT
TT=4379.58

 UNSAT
TT=3495.8

 ? (exit code)
TT=4998.92

 ? (TO)
TT=5000.14
crafted/Difficult/contest-02-03-04/
contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07.cnf		 UNSAT
TT=1119.8

 ? (TO)
TT=5000.11

 UNSAT
TT=3373.41

 UNSAT
TT=1119.8

 UNSAT
TT=1784.63

 UNSAT
TT=1433.38

 ? (TO)
TT=5000.03

 ? (TO)
TT=5000

 ? (exit code)
TT=4998.84

 ? (TO)
TT=5000.3
crafted/Difficult/contest-02-03-04/
contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07.cnf		 UNSAT
TT=1734.2

 ? (TO)
TT=5000.04

 Signal
TT=1395.7

 UNSAT
TT=1749.07

 ? (TO)
TT=5000.23

 UNSAT
TT=1734.2

 ? (TO)
TT=5000.1

 ? (TO)
TT=5000.01

 UNSAT
TT=2399.91

 ? (TO)
TT=5000.11
crafted/Difficult/contest-02-03-04/
contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07.cnf		 UNSAT
TT=786.482

 ? (TO)
TT=5000.05

 ? (TO)
TT=5000.11

 UNSAT
TT=801.463

 UNSAT
TT=3443.39

 UNSAT
TT=786.482

 ? (TO)
TT=5000.05

 ? (TO)
TT=5000.02

 UNSAT
TT=1254.27

 ? (TO)
TT=5000.06
crafted/Difficult/contest05/
jarvisalo/
mod2c-3cage-unsat-10-2.sat05-2567.reshuffled-07.cnf		 UNSAT
TT=246.128

 ? (TO)
TT=5000.13

 ? (TO)
TT=5000.12

 UNSAT
TT=2160.79

 UNSAT
TT=3856.38

 ? (TO)
TT=5000.06

 ? (TO)
TT=5000.08

 ? (TO)
TT=5000.08

 ? (exit code)
TT=4998.4

 UNSAT
TT=246.128
Bench nameBest results
on this
instance		CMUSAT
2007-02-08		March KS
2007-02-08		minisat
SAT 2007		MiraXT
v3		MXC
2007-02-08		picosat
535		Rsat
2007-02-08		SATzilla
CRAFTED		TTS
4.0
crafted/Difficult/contest05/
jarvisalo/
mod2c-3cage-unsat-10-3.sat05-2568.reshuffled-07.cnf		 UNSAT
TT=338.762

 ? (TO)
TT=5000.05

 ? (TO)
TT=5000.08

 UNSAT
TT=1762.76

 UNSAT
TT=4593.7

 UNSAT
TT=4734.73

 ? (TO)
TT=5000.1

 ? (TO)
TT=5000.05

 ? (exit code)
TT=4998.36

 UNSAT
TT=338.762
crafted/Difficult/contest05/
jarvisalo/
mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf		 SAT
TT=112.6

 SAT
TT=784.687

 ? (TO)
TT=5000.09

 SAT
TT=173.067

 SAT
TT=792.106

 ? (TO)
TT=5000.1

 SAT
TT=881.204

 ? (TO)
TT=5000.04

 SAT
TT=112.6

 ? (TO)
TT=5000.18
crafted/Difficult/contest05/
jarvisalo/
mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf		 UNSAT
TT=108.647

 UNSAT
TT=108.647

 ? (TO)
TT=5000.03

 UNSAT
TT=366.767

 UNSAT
TT=383.056

 UNSAT
TT=451.325

 UNSAT
TT=641.456

 UNSAT
TT=704.749

 ? (exit code)
TT=4998.27

 UNSAT
TT=466.757
crafted/Difficult/contest05/
jarvisalo/
mod2c-rand3bip-unsat-135-2.sat05-2354.reshuffled-07.cnf		 UNSAT
TT=60.42

 UNSAT
TT=2055.46

 ? (TO)
TT=5000.05

 UNSAT
TT=585.835

 UNSAT
TT=309.364

 UNSAT
TT=1134.94

 ? (TO)
TT=5000.08

 ? (TO)
TT=5000.05

 ? (exit code)
TT=4999.25

 UNSAT
TT=60.42
crafted/Difficult/contest05/
jarvisalo/
mod2-rand3bip-sat-270-1.sat05-2248.reshuffled-07.cnf		 SAT
TT=0.014

 ? (TO)
TT=5000.08

 SAT
TT=0.032

 ? (TO)
TT=5000.09

 ? (TO)
TT=5000.12

 ? (TO)
TT=5000.11

 ? (TO)
TT=5000.08

 ? (TO)
TT=5000.01

 SAT
TT=0.014

 ? (TO)
TT=5000.24
crafted/Difficult/contest05/
jarvisalo/
mod2-rand3bip-sat-270-2.sat05-2249.reshuffled-07.cnf		 SAT
TT=0.015

 ? (TO)
TT=5000.13

 SAT
TT=0.03

 ? (TO)
TT=5000.11

 ? (TO)
TT=5000.19

 ? (TO)
TT=5000.01

 ? (TO)
TT=5000.09

 ? (TO)
TT=5000.04

 SAT
TT=0.015

 ? (MO)
TT=4439.08
crafted/Difficult/contest05/
jarvisalo/
mod2-rand3bip-sat-280-1.sat05-2263.reshuffled-07.cnf		 SAT
TT=0.016

 ? (TO)
TT=5000.11

 SAT
TT=0.033

 SAT
TT=302.197

 ? (TO)
TT=5000.08

 SAT
TT=3064.59

 SAT
TT=1477.92

 ? (TO)
TT=5000.03

 SAT
TT=0.016

 ? (TO)
TT=5000.3
crafted/Difficult/contest05/
jarvisalo/
mod2-rand3bip-sat-280-2.sat05-2264.reshuffled-07.cnf		 SAT
TT=0.015

 ? (TO)
TT=5000.1

 SAT
TT=0.034

 ? (TO)
TT=5000.11

 ? (TO)
TT=5000.21

 ? (TO)
TT=5000.07

 ? (TO)
TT=5000.03

 ? (TO)
TT=5000.01

 SAT
TT=0.015

 ? (TO)
TT=5000.32
crafted/Difficult/contest05/
jarvisalo/
mod2-rand3bip-sat-280-3.sat05-2265.reshuffled-07.cnf		 SAT
TT=0.016

 ? (TO)
TT=5000.1

 SAT
TT=0.036

 ? (TO)
TT=5000.06

 SAT
TT=4891.16

 SAT
TT=882.428

 ? (TO)
TT=5000.07

 ? (TO)
TT=5000.08

 SAT
TT=0.016

 ? (TO)
TT=5000.25
crafted/Difficult/contest05/
others/
linvrinv5.sat05-564.reshuffled-07.cnf		 UNSAT
TT=822.56

 ? (TO)
TT=5000.1

 UNSAT
TT=822.56

 UNSAT
TT=2617.65

 ? (TO)
TT=5000.08

 ? (TO)
TT=5000.04

 ? (TO)
TT=5000.04

 ? (TO)
TT=5000.07

 UNSAT
TT=4385.01

 ? (TO)
TT=5000.16
Bench nameBest results
on this
instance		CMUSAT
2007-02-08		March KS
2007-02-08		minisat
SAT 2007		MiraXT
v3		MXC
2007-02-08		picosat
535		Rsat
2007-02-08		SATzilla
CRAFTED		TTS
4.0
crafted/Difficult/contest05/
others/
pmg-12-UNSAT.sat05-3940.reshuffled-07.cnf		 UNSAT
TT=2546.42

 ? (TO)
TT=5000.07

 ? (TO)
TT=5000.3

 UNSAT
TT=2546.42

 ? (TO)
TT=5000.22

 ? (TO)
TT=5000.11

 ? (TO)
TT=5000.07

 ? (TO)
TT=5000.04

 UNSAT
TT=4892.85

 ? (TO)
TT=5000.16
crafted/Difficult/contest05/
others/
pmg-13-UNSAT.sat05-3941.reshuffled-07.cnf


? (TO)
TT=5000.1

 ? (TO)
TT=5000.19

 ? (TO)
TT=5000.04

 ? (TO)
TT=5000.13

 ? (TO)
TT=5000.07

 ? (TO)
TT=5000.02

 ? (exit code)
TT=0.029

 ? (exit code)
TT=4999.17

 ? (TO)
TT=5000.12
crafted/Difficult/contest05/
others/
pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf


? (TO)
TT=5000.11

 ? (TO)
TT=5000.11

 ? (TO)
TT=5000.09

 ? (TO)
TT=5000.11

 ? (TO)
TT=5000.06

 ? (TO)
TT=5000.08

 ? (TO)
TT=5000.07

 ? (exit code)
TT=4999

 ? (TO)
TT=5000.1
crafted/Difficult/contest05/
others/
sgp_5-5-6.sat05-2675.reshuffled-07.cnf


? (TO)
TT=5000.15

 ? (TO)
TT=5000.04

 ? (TO)
TT=5000.08

 ? (TO)
TT=5000.17

 ? (TO)
TT=5000.09

 ? (TO)
TT=5000.04

 ? (TO)
TT=5000.1

 ? (exit code)
TT=4999.11

 ? (TO)
TT=5000.14
crafted/Difficult/contest05/
others/
sgp_6-6-10.sat05-2670.reshuffled-07.cnf		 SAT
TT=169.974

 ? (TO)
TT=5000.34

 ? (TO)
TT=5000.1

 SAT
TT=169.974

 ? (TO)
TT=5000.26

 SAT
TT=1646.96

 ? (TO)
TT=5000.06

 ? (TO)
TT=5000.06

 ? (MO)
TT=3706.97

 ? (TO)
TT=5000.19
crafted/Difficult/contest05/
QG/
QG6-dead-dnd001.sat05-2742.reshuffled-07.cnf		 UNSAT
TT=70.731

 UNSAT
TT=169.521

 ? (TO)
TT=5000.06

 UNSAT
TT=70.731

 UNSAT
TT=211.179

 UNSAT
TT=154.108

 UNSAT
TT=1426.04

 UNSAT
TT=501.807

 UNSAT
TT=200.165

 ? (TO)
TT=5000.17
crafted/Difficult/contest05/
QG/
QG6-dead-dnd002.sat05-2713.reshuffled-07.cnf		 UNSAT
TT=103.742

 UNSAT
TT=235.119

 ? (TO)
TT=5000.06

 UNSAT
TT=103.742

 UNSAT
TT=501.71

 ? (TO)
TT=5000.05

 ? (TO)
TT=5000.03

 ? (TO)
TT=5000.04

 UNSAT
TT=3081.25

 ? (TO)
TT=5000.2
crafted/Difficult/contest05/
QG/
QG6-gensys-brn007.sat05-2684.reshuffled-07.cnf		 UNSAT
TT=71.089

 UNSAT
TT=182.18

 ? (TO)
TT=5000.07

 UNSAT
TT=71.089

 UNSAT
TT=400.891

 UNSAT
TT=324.898

 UNSAT
TT=1791.12

 UNSAT
TT=2371.15

 UNSAT
TT=1268.79

 ? (TO)
TT=5000.15
crafted/Difficult/contest05/
QG/
QG6-gensys-icl001.sat05-2695.reshuffled-07.cnf		 UNSAT
TT=96.374

 UNSAT
TT=166.589

 ? (TO)
TT=5000.07

 UNSAT
TT=96.374

 UNSAT
TT=518.327

 UNSAT
TT=613.236

 ? (TO)
TT=5000.08

 UNSAT
TT=2205.99

 UNSAT
TT=1605.84

 ? (TO)
TT=5000.15
crafted/Difficult/contest05/
QG/
QG6-gensys-icl004.sat05-2716.reshuffled-07.cnf		 UNSAT
TT=98.802

 UNSAT
TT=151.931

 ? (TO)
TT=5000.11

 UNSAT
TT=98.802

 UNSAT
TT=221.816

 UNSAT
TT=210.734

 UNSAT
TT=936.181

 UNSAT
TT=868.742

 UNSAT
TT=843.732

 ? (TO)
TT=5000.19
Bench nameBest results
on this
instance		CMUSAT
2007-02-08		March KS
2007-02-08		minisat
SAT 2007		MiraXT
v3		MXC
2007-02-08		picosat
535		Rsat
2007-02-08		SATzilla
CRAFTED		TTS
4.0
crafted/Difficult/contest05/
QG/
QG6-gensys-icl006.sat05-2718.reshuffled-07.cnf		 UNSAT
TT=106.434

 UNSAT
TT=193.337

 ? (TO)
TT=5000.05

 UNSAT
TT=106.434

 UNSAT
TT=449.706

 UNSAT
TT=155.625

 UNSAT
TT=434.94

 UNSAT
TT=388.831

 UNSAT
TT=743.023

 ? (TO)
TT=5000.23
crafted/Difficult/contest05/
QG/
QG6-gensys-icl008.sat05-2720.reshuffled-07.cnf		 UNSAT
TT=66.452

 UNSAT
TT=89.105

 ? (TO)
TT=5000.11

 UNSAT
TT=66.452

 UNSAT
TT=324.37

 UNSAT
TT=3135.42

 ? (TO)
TT=5000.08

 ? (TO)
TT=5000.02

 UNSAT
TT=2926.2

 ? (TO)
TT=5000.09
crafted/Difficult/contest05/
QG/
QG6-gensys-icl009.sat05-2721.reshuffled-07.cnf		 UNSAT
TT=79.28

 UNSAT
TT=134.651

 ? (TO)
TT=5000.02

 UNSAT
TT=79.28

 UNSAT
TT=277.48

 UNSAT
TT=264.224

 UNSAT
TT=1607.03

 UNSAT
TT=3488.67

 UNSAT
TT=406.114

 ? (TO)
TT=5000.11
crafted/Difficult/contest05/
QG/
QG6-gensys-ukn003.sat05-2726.reshuffled-07.cnf		 UNSAT
TT=224.026

 UNSAT
TT=224.026

 ? (TO)
TT=5000.08

 UNSAT
TT=252.809

 UNSAT
TT=253.748

 UNSAT
TT=900.358

 UNSAT
TT=3763.01

 UNSAT
TT=4972.6

 UNSAT
TT=1539.26

 ? (TO)
TT=5000.19
crafted/Difficult/contest05/
QG/
QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf		 UNSAT
TT=745.056

 UNSAT
TT=4474.15

 ? (TO)
TT=5000.07

 UNSAT
TT=847.019

 UNSAT
TT=3763.2

 UNSAT
TT=745.056

 ? (TO)
TT=5000.04

 ? (TO)
TT=5000.02

 UNSAT
TT=918.625

 ? (TO)
TT=5000.16
crafted/Difficult/contest05/
sabharwal/
counting-easier-fphp-014-012.sat05-1215.reshuffled-07.cnf		 UNSAT
TT=1.654

 ? (TO)
TT=5000.08

 ? (TO)
TT=5000.26

 ? (TO)
TT=5000.08

 ? (TO)
TT=5000.07

 ? (TO)
TT=5000.03

 ? (TO)
TT=5000.09

 ? (TO)
TT=5000

 ? (exit code)
TT=4999.01

 UNSAT
TT=1.654
crafted/Difficult/contest05/
sabharwal/
counting-easier-php-018-014.sat05-1175.reshuffled-07.cnf		 UNSAT
TT=24.241

 ? (TO)
TT=5000.11

 ? (TO)
TT=5000.03

 ? (TO)
TT=5000.07

 ? (TO)
TT=5000.11

 ? (TO)
TT=5000.11

 ? (TO)
TT=5000.01

 ? (TO)
TT=5000.04

 ? (exit code)
TT=4999.01

 UNSAT
TT=24.241
crafted/Difficult/contest05/
sabharwal/
counting-harder-php-014-013.sat05-1187.reshuffled-07.cnf		 UNSAT
TT=6.455

 ? (TO)
TT=5000.12

 ? (TO)
TT=5000.04

 ? (TO)
TT=5000.09

 ? (TO)
TT=5000.19

 ? (TO)
TT=5000.01

 ? (TO)
TT=5000.03

 ? (TO)
TT=5000.02

 ? (exit code)
TT=4998.27

 UNSAT
TT=6.455
crafted/Difficult/contest05/
sabharwal/
counting-harder-php-018-017.sat05-1189.reshuffled-07.cnf		 UNSAT
TT=382.522

 ? (TO)
TT=5000.13

 ? (TO)
TT=5000.09

 ? (TO)
TT=5000.06

 ? (TO)
TT=5000.1

 ? (TO)
TT=5000.04

 ? (TO)
TT=5000.11

 ? (TO)
TT=5000.05

 ? (exit code)
TT=4999.09

 UNSAT
TT=382.522
crafted/Difficult/contest05/sabharwal/
grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf		 SAT
TT=1.775

 ? (TO)
TT=5000.19

 ? (TO)
TT=5000.04

 SAT
TT=1.775

 SAT
TT=1.869

 ? (TO)
TT=5000.15

 SAT
TT=2550.64

 ? (TO)
TT=5000.06

 SAT
TT=435.826

 SAT
TT=1834.7
Bench nameBest results
on this
instance		CMUSAT
2007-02-08		March KS
2007-02-08		minisat
SAT 2007		MiraXT
v3		MXC
2007-02-08		picosat
535		Rsat
2007-02-08		SATzilla
CRAFTED		TTS
4.0
crafted/Difficult/contest05/sabharwal/
grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.cnf		 UNSAT
TT=1.94

 UNSAT
TT=2.655

 ? (TO)
TT=5000.09

 UNSAT
TT=1.94

 UNSAT
TT=2.024

 ? (TO)
TT=5000.11

 ?
TT=2905.97

 UNSAT
TT=7.319

 UNSAT
TT=339.005

 ? (MO)
TT=3616.81
crafted/Difficult/contest05/
sabharwal/
gt-ordering-sat-gt-040.sat05-1297.reshuffled-07.cnf		 UNSAT
TT=15.412

 ? (TO)
TT=5000.27

 ? (TO)
TT=5000.06

 ? (TO)
TT=5000.04

 ? (TO)
TT=5000.08

 ? (TO)
TT=5000.1

 ? (TO)
TT=5000.12

 ? (TO)
TT=5000.04

 UNSAT
TT=15.412

 ? (TO)
TT=5000.21
crafted/Difficult/contest05/
sabharwal/
gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf		 UNSAT
TT=25.408

 ? (TO)
TT=5000.22

 ? (TO)
TT=5000.11

 ? (TO)
TT=5000.14

 ? (TO)
TT=5000.14

 ? (TO)
TT=5000.14

 ? (TO)
TT=5000.05

 ? (TO)
TT=5000.04

 UNSAT
TT=25.408

 ? (TO)
TT=5000.14
crafted/Difficult/contest05/
sabharwal/
gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf		 UNSAT
TT=45.631

 ? (TO)
TT=5000.26

 ? (TO)
TT=5000.07

 ? (TO)
TT=5000.19

 ? (TO)
TT=5000.25

 ? (TO)
TT=5000.17

 ? (TO)
TT=5000.07

 ? (TO)
TT=5000.04

 UNSAT
TT=45.631

 ? (TO)
TT=5000.08
crafted/Difficult/contest05/sabharwal/
logistics-unsat-logistics-rotate-11t5.sat05-1141.reshuffled-07.cnf		 UNSAT
TT=1158.89

 ? (TO)
TT=5000.21

 ? (TO)
TT=5000.09

 ? (TO)
TT=5000.18

 ? (TO)
TT=5000.17

 ? (TO)
TT=5000.07

 ? (TO)
TT=5000.02

 ? (TO)
TT=5000.05

 UNSAT
TT=1158.89

 ? (TO)
TT=5000.16
crafted/Hard/contest02/
ezfact256_1.sat05-464.reshuffled-07.cnf


? (TO)
TT=5000.19

 ? (TO)
TT=5000.05

 ? (MO)
TT=4082.12

 ? (TO)
TT=5000.29

 ? (TO)
TT=5000.09

 ? (TO)
TT=5000.12

 ? (TO)
TT=5000.05

 ? (exit code)
TT=4998.98

 ? (TO)
TT=5000.2
crafted/Hard/contest02/
ezfact64_3.sat05-450.reshuffled-07.cnf		 SAT
TT=3261.29

 ? (TO)
TT=5000.09

 SAT
TT=3370.74

 SAT
TT=3261.29

 ? (TO)
TT=5000.22

 ? (TO)
TT=5000.04

 ? (TO)
TT=5000.09

 ? (TO)
TT=5000.06

 ? (exit code)
TT=4999.05

 ? (TO)
TT=5000.15
crafted/Hard/contest02/
ezfact64_4.sat05-451.reshuffled-07.cnf		 SAT
TT=4037.3

 SAT
TT=4886.41

 ? (TO)
TT=5000.03

 ? (TO)
TT=5000.05

 SAT
TT=4037.3

 ? (TO)
TT=5000.05

 ? (TO)
TT=5000.09

 ? (TO)
TT=5000.04

 SAT
TT=4312.34

 ? (TO)
TT=5000.17
crafted/Hard/contest02/
ezfact64_5.sat05-452.reshuffled-07.cnf		 SAT
TT=1479.97

 ? (TO)
TT=5000.07

 ? (TO)
TT=5000.05

 ? (TO)
TT=5000.06

 SAT
TT=1479.97

 ? (TO)
TT=5000.11

 ? (TO)
TT=5000.07

 ? (TO)
TT=5000.04

 ? (exit code)
TT=4999.15

 ? (TO)
TT=5000.18
crafted/Hard/contest02/
ezfact64_6.sat05-453.reshuffled-07.cnf		 SAT
TT=2963.28

 ? (TO)
TT=5000.12

 SAT
TT=2963.28

 ? (TO)
TT=5000.08

 ? (TO)
TT=5000.09

 ? (TO)
TT=5000.11

 ? (TO)
TT=5000.03

 ? (TO)
TT=5000.05

 ? (exit code)
TT=4999.09

 ? (TO)
TT=5000.08
Bench nameBest results
on this
instance		CMUSAT
2007-02-08		March KS
2007-02-08		minisat
SAT 2007		MiraXT
v3		MXC
2007-02-08		picosat
535		Rsat
2007-02-08		SATzilla
CRAFTED		TTS
4.0
crafted/Hard/contest02/
hgen2-v500-s1216665065.sat05-467.reshuffled-07.cnf


? (TO)
TT=5000.09

 ? (TO)
TT=5000.07

 ? (TO)
TT=5000.11

 ? (TO)
TT=5000.06

 ? (TO)
TT=5000.12

 ? (TO)
TT=5000.11

 ? (TO)
TT=5000.09

 ? (exit code)
TT=4999.1

 ? (TO)
TT=5000.11
crafted/Hard/contest02/
hgen3-v400-s344840348.sat05-470.reshuffled-07.cnf


? (TO)
TT=5000.1

 ? (TO)
TT=5000.06

 ? (TO)
TT=5000.06

 ? (TO)
TT=5000.13

 ? (TO)
TT=5000.1

 ? (TO)
TT=5000.02

 ? (TO)
TT=5000.01

 ? (exit code)
TT=4999.17

 ? (TO)
TT=5000.14
crafted/Hard/contest02/
hgen3-v400-s553296708.sat05-471.reshuffled-07.cnf


? (TO)
TT=5000.1

 ? (TO)
TT=5000.09

 ? (TO)
TT=5000.08

 ? (TO)
TT=5000.15

 ? (TO)
TT=5000.02

 ? (TO)
TT=5000.07

 ? (TO)
TT=5000.03

 ? (exit code)
TT=4999.16

 ? (TO)
TT=5000.12
crafted/Hard/contest02/
hgen3-v500-s1349121860.sat05-473.reshuffled-07.cnf


? (TO)
TT=5000.06

 ? (TO)
TT=5000.12

 ? (TO)
TT=5000.08

 ? (TO)
TT=5000.11

 ? (TO)
TT=5000.1

 ? (TO)
TT=5000.05

 ? (TO)
TT=5000.03

 ? (exit code)
TT=4999.1

 ? (TO)
TT=5000.14
crafted/Hard/contest02/
pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf		 UNSAT
TT=701.022

 ? (TO)
TT=5000.04

 UNSAT
TT=701.022

 UNSAT
TT=1917.65

 ? (TO)
TT=5000.23

 UNSAT
TT=4294.21

 ? (TO)
TT=5000.09

 ? (TO)
TT=5000.02

 ? (TO)
TT=5000.03

 ? (TO)
TT=5000.33
crafted/Hard/contest03/looksrandom/
hgen6-4-24-n650-03-S528656311.sat05-477.reshuffled-07.cnf


? (TO)
TT=5000.09

 ? (TO)
TT=5000.01

 ? (TO)
TT=5000.07

 ? (TO)
TT=5000.23

 ? (TO)
TT=5000.04

 ? (TO)
TT=5000.02

 ? (TO)
TT=5000.03

 ? (exit code)
TT=4999.06

 ? (TO)
TT=5000.12
crafted/Hard/contest03/looksrandom/
hgen7-n390-01-S248216171.sat05-478.reshuffled-07.cnf


? (TO)
TT=5000.09

 ? (TO)
TT=5000.15

 ? (TO)
TT=5000.08

 ? (TO)
TT=5000.2

 ? (TO)
TT=5000.08

 ? (TO)
TT=5000.01

 ? (TO)
TT=5000.01

 ? (exit code)
TT=4999.18

 ? (TO)
TT=5000.09
crafted/Hard/contest03/looksrandom/
hgen7-n390-02-S178568232.sat05-479.reshuffled-07.cnf


? (TO)
TT=5000.11

 ? (TO)
TT=5000.1

 ? (TO)
TT=5000.04

 ? (TO)
TT=5000.17

 ? (TO)
TT=5000.03

 ? (TO)
TT=5000.02

 ? (TO)
TT=5000.04

 ? (exit code)
TT=4999.12

 ? (TO)
TT=5000.13
crafted/Hard/contest03/looksrandom/
hgen8-n260-03-S722413478.sat05-482.reshuffled-07.cnf


? (TO)
TT=5000.1

 ? (TO)
TT=5000.14

 ? (TO)
TT=5000.05

 ? (TO)
TT=5000.18

 ? (TO)
TT=5000.11

 ? (TO)
TT=5000.02

 ? (TO)
TT=5000.1

 ? (exit code)
TT=4998.48

 ? (TO)
TT=5000.15
crafted/Hard/contest03/looksrandom/
hgen8-n320-01-S1432474240.sat05-483.reshuffled-07.cnf


? (TO)
TT=5000.1

 ? (TO)
TT=5000.16

 ? (TO)
TT=5000.06

 ? (TO)
TT=5000.1

 ? (TO)
TT=5000.1

 ? (TO)
TT=5000.08

 ? (TO)
TT=5000.08

 ? (exit code)
TT=4998.38

 ? (TO)
TT=5000.07
Bench nameBest results
on this
instance		CMUSAT
2007-02-08		March KS
2007-02-08		minisat
SAT 2007		MiraXT
v3		MXC
2007-02-08		picosat
535		Rsat
2007-02-08		SATzilla
CRAFTED		TTS
4.0
crafted/Hard/contest03/looksrandom/
hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf


? (TO)
TT=5000.14

 ? (TO)
TT=5000.1

 ? (TO)
TT=5000.06

 ? (TO)
TT=5000.14

 ? (TO)
TT=5000.06

 ? (TO)
TT=5000.06

 ? (TO)
TT=5000.06

 ? (exit code)
TT=4998.38

 ? (TO)
TT=5000.16
crafted/Hard/contest03/looksrandom/
hgen8-n320-03-S1572374531.sat05-485.reshuffled-07.cnf


? (TO)
TT=5000.06

 ? (TO)
TT=5000.19

 ? (TO)
TT=5000.05

 ? (TO)
TT=5000.16

 ? (TO)
TT=5000.1

 ? (TO)
TT=5000.08

 ? (TO)
TT=5000.04

 ? (exit code)
TT=4998.48

 ? (TO)
TT=5000.09
crafted/Hard/contest03/looksrandom/
hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07.cnf


? (TO)
TT=5000.13

 ? (TO)
TT=5000.07

 ? (TO)
TT=5000.05

 ? (TO)
TT=5000.15

 ? (TO)
TT=5000.05

 ? (TO)
TT=5000.1

 ? (TO)
TT=5000.08

 ? (exit code)
TT=4998.94

 ? (TO)
TT=5000.09
crafted/Hard/contest03/looksrandom/
hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07.cnf


? (TO)
TT=5000.13

 ? (TO)
TT=5000.06

 ? (TO)
TT=5000.11

 ? (TO)
TT=5000.1

 ? (TO)
TT=5000.11

 ? (TO)
TT=5000.06

 ? (TO)
TT=5000

 ? (exit code)
TT=4998.96

 ? (TO)
TT=5000.11
crafted/Hard/contest03/looksrandom/
hidden-k3-s0-r5-n700-03-S1609878926.sat05-487.reshuffled-07.cnf


? (TO)
TT=5000.11

 ? (TO)
TT=5000.07

 ? (TO)
TT=5000.08

 ? (TO)
TT=5000.18

 ? (TO)
TT=5000.05

 ? (TO)
TT=5000.04

 ? (TO)
TT=5000.02

 ? (exit code)
TT=4999.01

 ? (TO)
TT=5000.18
crafted/Hard/contest03/
others/
999999000001nw.sat05-447.reshuffled-07.cnf		 UNSAT
TT=0.991

 ? (TO)
TT=5000.16

 UNSAT
TT=0.991

 UNSAT
TT=2185.47

 UNSAT
TT=4590.47

 UNSAT
TT=3350.81

 ? (TO)
TT=5000.08

 UNSAT
TT=3032.49

 ? (exit code)
TT=4998.98

 ? (TO)
TT=5000.04
crafted/Hard/contest03/
others/
bqwh.40.reg.520.sat05-433.reshuffled-07.cnf


? (TO)
TT=5000.08

 ? (TO)
TT=5000.05

 ? (TO)
TT=5000.02

 ? (TO)
TT=5000.16

 ? (TO)
TT=5000.1

 ? (TO)
TT=5000.07

 ? (TO)
TT=5000.04

 ? (exit code)
TT=4998.92

 ? (TO)
TT=5000.19
crafted/Hard/contest03/
others/
bqwh.60.1080.sat05-436.reshuffled-07.cnf


? (TO)
TT=5000.21

 ? (TO)
TT=5000.09

 ? (TO)
TT=5000.13

 ? (TO)
TT=5000.25

 ? (TO)
TT=5000.11

 ? (TO)
TT=5000.03

 ? (TO)
TT=5000.07

 ? (exit code)
TT=4998.68

 ? (TO)
TT=5000.16
crafted/Hard/contest03/others/
color-11-3.sat05-445.reshuffled-07.cnf


? (TO)
TT=5000.1

 ? (TO)
TT=5000.05

 ? (TO)
TT=5000.07

 ? (TO)
TT=5000.09

 ? (TO)
TT=5000.03

 ? (TO)
TT=5000.03

 ? (TO)
TT=5000.09

 ? (exit code)
TT=4998.94

 ? (TO)
TT=5000.06
crafted/Hard/contest03/others/
color-18-4.sat05-443.reshuffled-07.cnf


? (TO)
TT=5000.1

 ? (TO)
TT=5000.07

 ? (TO)
TT=5000.06

 ? (TO)
TT=5000.17

 ? (TO)
TT=5000.1

 ? (TO)
TT=5000.06

 ? (TO)
TT=5000.01

 ? (exit code)
TT=4999.19

 ? (TO)
TT=5000.08
Bench nameBest results
on this
instance		CMUSAT
2007-02-08		March KS
2007-02-08		minisat
SAT 2007		MiraXT
v3		MXC
2007-02-08		picosat
535		Rsat
2007-02-08		SATzilla
CRAFTED		TTS
4.0
crafted/Hard/contest03/others/
hwb-n26-03-S540351185.sat05-490.reshuffled-07.cnf		 UNSAT
TT=1605.41

 ? (TO)
TT=5000.05

 UNSAT
TT=1605.41

 UNSAT
TT=2019.84

 ? (TO)
TT=5000.11

 UNSAT
TT=2032.11

 ? (TO)
TT=5000.06

 ? (TO)
TT=5000.07

 ? (exit code)
TT=4998.36

 ? (MO)
TT=4669.93
crafted/Hard/contest03/others/
hwb-n28-01-S136611085.sat05-491.reshuffled-07.cnf		 UNSAT
TT=2941.12

 ? (TO)
TT=5000.12

 UNSAT
TT=4772.87

 UNSAT
TT=3779.93

 ? (TO)
TT=5000.11

 UNSAT
TT=2941.12

 ? (TO)
TT=5000.05

 ? (TO)
TT=5000.04

 ? (exit code)
TT=4998.36

 ? (TO)
TT=5000.29
crafted/Hard/contest03/others/
hwb-n28-02-S818962541.sat05-492.reshuffled-07.cnf		 UNSAT
TT=4795.28

 ? (TO)
TT=5000.04

 ? (TO)
TT=5000.07

 UNSAT
TT=4795.28

 ? (TO)
TT=5000.23

 ? (TO)
TT=5000.11

 ? (TO)
TT=5000.03

 ? (TO)
TT=5000.02

 ? (exit code)
TT=4998.36

 ? (TO)
TT=5000.24
crafted/Hard/contest03/others/
hwb-n32-01-S1491788039.sat05-497.reshuffled-07.cnf


? (TO)
TT=5000.1

 ? (TO)
TT=5000.04

 ? (TO)
TT=5000.11

 ? (TO)
TT=5000.11

 ? (TO)
TT=5000.07

 ? (TO)
TT=5000.08

 ? (TO)
TT=5000.03

 ? (exit code)
TT=4998.37

 ? (TO)
TT=5000.36
crafted/Hard/contest03/
others/
mm-2x3-8-8-sb.1.sat05-475.reshuffled-07.cnf


? (TO)
TT=5000.08

 ? (TO)
TT=5000.14

 ? (TO)
TT=5000.08

 ? (TO)
TT=5000.16

 ? (TO)
TT=5000.08

 ? (TO)
TT=5000.06

 ? (TO)
TT=5000.03

 ?
TT=4999.54

 ? (TO)
TT=5000.09
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf


? (TO)
TT=5000.12

 ? (TO)
TT=5000.05

 ? (TO)
TT=5000.08

 ? (TO)
TT=5000.1

 ? (TO)
TT=5000.02

 ? (TO)
TT=5000.08

 ? (TO)
TT=5000.03

 ? (exit code)
TT=4998.91

 ? (TO)
TT=5000.15
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.00-s1875077647.sat05-530.reshuffled-07.cnf


? (TO)
TT=5000.08

 ? (TO)
TT=5000.03

 ? (TO)
TT=5000.04

 ? (TO)
TT=5000.18

 ? (TO)
TT=5000.07

 ? (TO)
TT=5000.05

 ? (TO)
TT=5000.1

 ? (exit code)
TT=4998.93

 ? (TO)
TT=5000.2
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.02-s1099787414.sat05-542.reshuffled-07.cnf


? (TO)
TT=5000.08

 ? (TO)
TT=5000.01

 ? (TO)
TT=5000.11

 ? (TO)
TT=5000.06

 ? (TO)
TT=5000.09

 ? (TO)
TT=5000.11

 ? (TO)
TT=5000.07

 ? (exit code)
TT=4998.88

 ? (TO)
TT=5000.16
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d-0.02-s383740539.sat05-534.reshuffled-07.cnf


? (TO)
TT=5000.15

 ? (TO)
TT=5000.03

 ? (TO)
TT=5000.07

 ? (TO)
TT=5000.06

 ? (TO)
TT=5000.06

 ? (TO)
TT=5000.04

 ? (TO)
TT=5000

 ? (exit code)
TT=4998.91

 ? (TO)
TT=5000.19
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d-0.02-s405595518.sat05-531.reshuffled-07.cnf


? (TO)
TT=5000.15

 ? (TO)
TT=5000.04

 ? (TO)
TT=5000.1

 ? (TO)
TT=5000.08

 ? (TO)
TT=5000.1

 ? (TO)
TT=5000.07

 ? (TO)
TT=5000.05

 ? (exit code)
TT=4998.91

 ? (TO)
TT=5000.06
Bench nameBest results
on this
instance		CMUSAT
2007-02-08		March KS
2007-02-08		minisat
SAT 2007		MiraXT
v3		MXC
2007-02-08		picosat
535		Rsat
2007-02-08		SATzilla
CRAFTED		TTS
4.0
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf


? (TO)
TT=5000.07

 ? (TO)
TT=5000.06

 ? (TO)
TT=5000.07

 ? (TO)
TT=5000.22

 ? (TO)
TT=5000.11

 ? (TO)
TT=5000.08

 ? (TO)
TT=5000.03

 ? (exit code)
TT=4998.91

 ? (TO)
TT=5000.16
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07.cnf


? (TO)
TT=5000.08

 ? (TO)
TT=5000.07

 ? (TO)
TT=5000.08

 ? (TO)
TT=5000.22

 ? (TO)
TT=5000.01

 ? (TO)
TT=5000.04

 ? (TO)
TT=5000.04

 ? (exit code)
TT=4998.9

 ? (TO)
TT=5000.15
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n800-d-0.02-s1542454144.sat05-533.reshuffled-07.cnf		 SAT
TT=304.177

 ? (TO)
TT=5000.12

 SAT
TT=304.177

 ? (TO)
TT=5000.06

 ? (TO)
TT=5000.17

 ? (TO)
TT=5000.03

 ? (TO)
TT=5000.07

 ? (TO)
TT=5000.04

 ? (exit code)
TT=4998.89

 ? (TO)
TT=5000.27
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07.cnf		 UNSAT
TT=1230.4

 ? (TO)
TT=5000.1

 UNSAT
TT=4708.14

 UNSAT
TT=1677.11

 UNSAT
TT=4080.18

 UNSAT
TT=4668.75

 ? (TO)
TT=5000.09

 ? (TO)
TT=5000.07

 UNSAT
TT=1230.4

 ? (TO)
TT=5000.26
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n800-d0.04-s1788334438.sat05-543.reshuffled-07.cnf


? (TO)
TT=5000.07

 ? (TO)
TT=5000.1

 ? (TO)
TT=5000.06

 ? (TO)
TT=5000.2

 ? (TO)
TT=5000.07

 ? (TO)
TT=5000.04

 ? (TO)
TT=5000.03

 ? (exit code)
TT=4998.88

 ? (TO)
TT=5000.19
crafted/Hard/contest04/others/
Composite-048BitPrimes-0.sat05-503.reshuffled-07.cnf


? (TO)
TT=5000.12

 ? (TO)
TT=5000.08

 ? (TO)
TT=5000.05

 ? (TO)
TT=5000.13

 ? (TO)
TT=5000.06

 ? (TO)
TT=5000.06

 ? (TO)
TT=5000.02

 ? (exit code)
TT=4999.11

 ? (MO)
TT=3717.13
crafted/Hard/contest04/others/
Composite-048BitPrimes-1.sat05-504.reshuffled-07.cnf


? (TO)
TT=5000.14

 ? (TO)
TT=5000.05

 ? (TO)
TT=5000.09

 ? (TO)
TT=5000.1

 ? (TO)
TT=5000.02

 ? (TO)
TT=5000.09

 ? (TO)
TT=5000.08

 ? (exit code)
TT=4998.55

 ? (TO)
TT=5000.13
crafted/Hard/contest04/others/
Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf


? (TO)
TT=5000.14

 ? (TO)
TT=5000.07

 ? (TO)
TT=5000.07

 ? (TO)
TT=5000.2

 ? (TO)
TT=5000.07

 ? (TO)
TT=5000.1

 ? (TO)
TT=5000.02

 ? (exit code)
TT=4998.79

 ? (TO)
TT=5000.21
crafted/Hard/contest04/others/
Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf


? (TO)
TT=5000.17

 ? (TO)
TT=5000.04

 ? (TO)
TT=5000.08

 ? (TO)
TT=5000.19

 ? (TO)
TT=5000.08

 ? (TO)
TT=5000.03

 ? (TO)
TT=5000.01

 ? (exit code)
TT=4999.01

 ? (TO)
TT=5000.19
crafted/Hard/contest04/
others/
CompositeRSA576.sat05-509.reshuffled-07.cnf


? (TO)
TT=5000.18

 ? (TO)
TT=5000.15

 ? (TO)
TT=5000.05

 ? (TO)
TT=5000.21

 ? (TO)
TT=5000.05

 ? (TO)
TT=5000.04

 ? (TO)
TT=5000.07

 ? (TO)
TT=5000.06

 ? (MO)
TT=506.903
Bench nameBest results
on this
instance		CMUSAT
2007-02-08		March KS
2007-02-08		minisat
SAT 2007		MiraXT
v3		MXC
2007-02-08		picosat
535		Rsat
2007-02-08		SATzilla
CRAFTED		TTS
4.0
crafted/Hard/contest04/
others/
equilarge_l2.sat05-519.reshuffled-07.cnf		 UNSAT
TT=1261.1

 ? (TO)
TT=5000.09

 UNSAT
TT=1261.1

 ? (TO)
TT=5000.11

 ? (TO)
TT=5000.22

 ? (TO)
TT=5000.09

 ? (TO)
TT=5000.11

 ? (TO)
TT=5000.02

 UNSAT
TT=1982.28

 ? (TO)
TT=5000.17
crafted/Hard/contest04/
others/
equilarge_l3.sat05-520.reshuffled-07.cnf		 UNSAT
TT=1391.12

 ? (TO)
TT=5000.15

 UNSAT
TT=1448.55

 ? (TO)
TT=5000.05

 ? (TO)
TT=5000.07

 ? (TO)
TT=5000.03

 ? (TO)
TT=5000.07

 ? (TO)
TT=5000.03

 UNSAT
TT=1391.12

 ? (TO)
TT=5000.25
crafted/Hard/contest04/
others/
equilarge_l4.sat05-521.reshuffled-07.cnf		 UNSAT
TT=1179.38

 ? (TO)
TT=5000.09

 UNSAT
TT=1179.38

 ? (TO)
TT=5000.06

 ? (TO)
TT=5000.07

 ? (TO)
TT=5000.02

 ? (TO)
TT=5000.02

 ? (TO)
TT=5000.04

 UNSAT
TT=1803

 ? (TO)
TT=5000.19
crafted/Hard/contest04/
others/
equilarge_l5.sat05-522.reshuffled-07.cnf		 UNSAT
TT=2138

 ? (TO)
TT=5000.1

 UNSAT
TT=2138

 ? (TO)
TT=5000.11

 ? (TO)
TT=5000.06

 ? (TO)
TT=5000.11

 ? (TO)
TT=5000.09

 ? (TO)
TT=5000.09

 ? (exit code)
TT=4999.16

 ? (TO)
TT=5000.23
crafted/Hard/contest04/
others/
ramsey.sat05-511.reshuffled-07.cnf


? (TO)
TT=5000.05

 ? (TO)
TT=5000.09

 ? (TO)
TT=5000.06

 ? (TO)
TT=5000.17

 ? (TO)
TT=5000.1

 ? (TO)
TT=5000.1

 ? (TO)
TT=5000

 ? (exit code)
TT=4998.76

 ? (TO)
TT=5000.11
crafted/Hard/contest05/counting-clq/
unsat-set-a-clqcolor-10-06-07.sat05-1250.reshuffled-07.cnf


? (TO)
TT=5000.09

 ? (TO)
TT=5000.04

 ? (TO)
TT=5000.03

 ? (TO)
TT=5000.16

 ? (TO)
TT=5000.09

 ? (TO)
TT=5000.05

 ? (TO)
TT=5000

 ? (exit code)
TT=4998.93

 ? (TO)
TT=5000.21
crafted/Hard/contest05/counting-clq/
unsat-set-a-clqcolor-12-07-08.sat05-1251.reshuffled-07.cnf


? (TO)
TT=5000.13

 ? (TO)
TT=5000.1

 ? (TO)
TT=5000.03

 ? (TO)
TT=5000.17

 ? (TO)
TT=5000.09

 ? (TO)
TT=5000.09

 ? (TO)
TT=5000.09

 ? (exit code)
TT=4998.88

 ? (TO)
TT=5000.17
crafted/Hard/contest05/counting-clq/
unsat-set-a-clqcolor-16-10-11.sat05-1253.reshuffled-07.cnf


? (TO)
TT=5000.1

 ? (TO)
TT=5000.06

 ? (TO)
TT=5000.07

 ? (TO)
TT=5000.25

 ? (TO)
TT=5000.05

 ? (TO)
TT=5000.06

 ? (TO)
TT=5000.03

 ? (exit code)
TT=4998.79

 ? (TO)
TT=5000.21
crafted/Hard/contest05/counting-clq/
unsat-set-a-clqcolor-30-19-20.sat05-1256.reshuffled-07.cnf


? (TO)
TT=5000.16

 ? (TO)
TT=5000.12

 ? (TO)
TT=5000.16

 ? (TO)
TT=5000.25

 ? (TO)
TT=5000.1

 ? (TO)
TT=5000.09

 ? (TO)
TT=5000.06

 ?
TT=4999.65

 ? (TO)
TT=5000.19
crafted/Hard/contest05/counting-clq/
unsat-set-a-fclqcolor-10-06-07.sat05-1274.reshuffled-07.cnf


? (TO)
TT=5000.1

 ? (TO)
TT=5000.07

 ? (TO)
TT=5000.02

 ? (TO)
TT=5000.19

 ? (TO)
TT=5000.1

 ? (TO)
TT=5000.1

 ? (TO)
TT=5000.1

 ? (exit code)
TT=4998.95

 ? (TO)
TT=5000.26
Bench nameBest results
on this
instance		CMUSAT
2007-02-08		March KS
2007-02-08		minisat
SAT 2007		MiraXT
v3		MXC
2007-02-08		picosat
535		Rsat
2007-02-08		SATzilla
CRAFTED		TTS
4.0
crafted/Hard/contest05/counting-clq/
unsat-set-a-fclqcolor-20-13-14.sat05-1278.reshuffled-07.cnf


? (TO)
TT=5000.13

 ? (TO)
TT=5000.11

 ? (TO)
TT=5000.07

 ? (TO)
TT=5000.06

 ? (TO)
TT=5000.13

 ? (TO)
TT=5000.09

 ? (TO)
TT=5000.01

 ? (exit code)
TT=4998.35

 ? (TO)
TT=5000.24
crafted/Hard/contest05/counting-clq/
unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07.cnf


? (TO)
TT=5000.17

 ? (TO)
TT=5000.04

 ? (TO)
TT=5000.12

 ? (TO)
TT=5000.21

 ? (TO)
TT=5000.09

 ? (TO)
TT=5000.1

 ? (TO)
TT=5000.05

 ? (exit code)
TT=4998.64

 ? (TO)
TT=5000.17
crafted/Hard/contest05/counting-clq/
unsat-set-b-clqcolor-30-20-26.sat05-1264.reshuffled-07.cnf


? (TO)
TT=5000.17

 ? (TO)
TT=5000.11

 ? (TO)
TT=5000.17

 ? (TO)
TT=5000.2

 ? (TO)
TT=5000.19

 ? (TO)
TT=5000.06

 ? (TO)
TT=5000.02

 ? (TO)
TT=5000.03

 ? (TO)
TT=5000.14
crafted/Hard/contest05/counting-clq/
unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07.cnf		 UNSAT
TT=2374.41

 ? (TO)
TT=5000.05

 ? (TO)
TT=5000.04

 UNSAT
TT=3556.74

 ? (TO)
TT=5000.04

 UNSAT
TT=2374.41

 ? (TO)
TT=5000.05

 ? (TO)
TT=5000.05

 UNSAT
TT=3329.88

 UNSAT
TT=2918.6
crafted/Hard/contest05/counting-clq/
unsat-set-b-fclqcolor-25-18-23.sat05-1287.reshuffled-07.cnf


? (TO)
TT=5000.16

 ? (TO)
TT=5000.12

 ? (TO)
TT=5000.13

 ? (TO)
TT=5000.17

 ? (TO)
TT=5000.13

 ? (TO)
TT=5000.07

 ? (TO)
TT=5000.08

 ? (TO)
TT=5000.08

 ? (TO)
TT=5000.14
crafted/Hard/contest05/
counting-php/
easier-fphp-020-015.sat05-1218.reshuffled-07.cnf		 UNSAT
TT=36.508

 ? (TO)
TT=5000.1

 Signal
TT=4681.33

 ? (TO)
TT=5000.04

 ? (TO)
TT=5000.05

 ? (TO)
TT=5000.08

 ? (TO)
TT=5000.09

 ? (TO)
TT=5000.03

 ? (exit code)
TT=4998.91

 UNSAT
TT=36.508
crafted/Hard/contest05/
counting-php/
easier-fphp-035-029.sat05-1221.reshuffled-07.cnf


? (TO)
TT=5000.13

 ? (TO)
TT=5000.14

 ? (TO)
TT=5000.06

 ? (TO)
TT=5000.2

 ? (TO)
TT=5000.04

 ? (TO)
TT=5000.05

 ? (TO)
TT=5000.08

 ? (exit code)
TT=4999.04

 ? (MO)
TT=2960.31
crafted/Hard/contest05/
counting-php/
easier-php-035-029.sat05-1179.reshuffled-07.cnf


? (TO)
TT=5000.16

 ? (TO)
TT=5000.05

 ? (TO)
TT=5000.04

 ? (TO)
TT=5000.1

 ? (TO)
TT=5000.05

 ? (TO)
TT=5000.1

 ? (TO)
TT=5000.05

 ? (exit code)
TT=4998.95

 ? (TO)
TT=5000.2
crafted/Hard/contest05/
counting-php/
harder-fphp-016-015.sat05-1230.reshuffled-07.cnf		 UNSAT
TT=36.698

 ? (TO)
TT=5000.16

 Signal
TT=4012.51

 ? (TO)
TT=5000.07

 ? (TO)
TT=5000.1

 ? (TO)
TT=5000.11

 ? (TO)
TT=5000.1

 ? (TO)
TT=5000.06

 ? (exit code)
TT=4999.02

 UNSAT
TT=36.698
crafted/Hard/contest05/
counting-php/
harder-fphp-018-017.sat05-1231.reshuffled-07.cnf		 UNSAT
TT=285.77

 ? (TO)
TT=5000.07

 Signal
TT=3387.35

 ? (TO)
TT=5000.1

 ? (TO)
TT=5000.16

 ? (TO)
TT=5000.09

 ? (TO)
TT=5000.04

 ? (TO)
TT=5000.03

 ? (exit code)
TT=4998.93

 UNSAT
TT=285.77
Bench nameBest results
on this
instance		CMUSAT
2007-02-08		March KS
2007-02-08		minisat
SAT 2007		MiraXT
v3		MXC
2007-02-08		picosat
535		Rsat
2007-02-08		SATzilla
CRAFTED		TTS
4.0
crafted/Hard/contest05/
counting-php/
harder-fphp-035-034.sat05-1235.reshuffled-07.cnf


? (TO)
TT=5000.13

 ? (TO)
TT=5000.15

 ? (TO)
TT=5000.1

 ? (TO)
TT=5000.17

 ? (TO)
TT=5000.1

 ? (TO)
TT=5000.04

 ? (TO)
TT=5000.04

 ? (exit code)
TT=4999.19

 ? (MO)
TT=1802.43
crafted/Hard/contest05/
counting-php/
harder-fphp-050-049.sat05-1238.reshuffled-07.cnf


? (TO)
TT=5000.14

 ? (TO)
TT=5000.09

 ? (TO)
TT=5000.09

 ? (TO)
TT=5000.15

 ? (TO)
TT=5000.09

 ? (TO)
TT=5000.04

 ? (TO)
TT=5000.02

 ? (exit code)
TT=4999.26

 ? (MO)
TT=2992.99
crafted/Hard/contest05/
counting-php/
harder-fphp-070-069.sat05-1240.reshuffled-07.cnf


? (TO)
TT=5000.19

 ? (TO)
TT=5000.03

 ? (TO)
TT=5000.25

 ? (TO)
TT=5000.2

 ? (TO)
TT=5000.03

 ? (TO)
TT=5000.1

 ? (MO)
TT=3814.73

 ?
TT=5000

 ? (MO)
TT=1131.82
crafted/Hard/contest05/
counting-php/
harder-php-025-024.sat05-1191.reshuffled-07.cnf


? (TO)
TT=5000.17

 ? (TO)
TT=5000.08

 ? (TO)
TT=5000.07

 ? (TO)
TT=5000.27

 ? (TO)
TT=5000.02

 ? (TO)
TT=5000.08

 ? (TO)
TT=5000.08

 ? (exit code)
TT=4998.86

 ? (TO)
TT=5000.19
crafted/Hard/contest05/
counting-php/
harder-php-045-044.sat05-1195.reshuffled-07.cnf


? (TO)
TT=5000.28

 ? (TO)
TT=5000.02

 ? (TO)
TT=5000.13

 ? (TO)
TT=5000.19

 ? (TO)
TT=5000.11

 ? (TO)
TT=5000.06

 ? (TO)
TT=5000.04

 ? (exit code)
TT=4999.18

 ? (TO)
TT=5000.14
crafted/Hard/contest05/
others/
eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf


? (TO)
TT=5000.08

 ? (TO)
TT=5000.29

 ? (TO)
TT=5000.02

 ? (TO)
TT=5000.22

 ? (TO)
TT=5000.05

 ? (TO)
TT=5000.02

 ? (TO)
TT=5000.07

 ? (exit code)
TT=4998.37

 ? (TO)
TT=5000.27
crafted/Hard/contest05/others/
linvrinv6.sat05-565.reshuffled-07.cnf


? (TO)
TT=5000.09

 ? (TO)
TT=5000.02

 ? (TO)
TT=5000.03

 ? (TO)
TT=5000.09

 ? (TO)
TT=5000.09

 ? (TO)
TT=5000.07

 ? (TO)
TT=5000.08

 ? (exit code)
TT=4998.96

 ? (MO)
TT=2037.55
crafted/Hard/contest05/others/
linvrinv8.sat05-567.reshuffled-07.cnf


? (TO)
TT=5000.1

 ? (TO)
TT=5000.08

 ? (TO)
TT=5000.08

 ? (TO)
TT=5000.17

 ? (TO)
TT=5000.07

 ? (TO)
TT=5000.06

 ? (TO)
TT=5000.04

 ? (exit code)
TT=4998.99

 ? (TO)
TT=5000.08
crafted/Hard/contest05/others/
linvrinv9.sat05-568.reshuffled-07.cnf


? (TO)
TT=5000.11

 ? (TO)
TT=5000.06

 ? (TO)
TT=5000.11

 ? (TO)
TT=5000.21

 ? (TO)
TT=5000.1

 ? (TO)
TT=5000.06

 ? (TO)
TT=5000.04

 ? (exit code)
TT=4999.08

 ? (TO)
TT=5000.1
crafted/Hard/contest05/others/
mod2c-rand3bip-sat-220-1.sat05-2488.reshuffled-07.cnf		 SAT
TT=387.798

 SAT
TT=4200.63

 ? (TO)
TT=5000.08

 SAT
TT=723.628

 SAT
TT=387.798

 ? (TO)
TT=5000.02

 ? (TO)
TT=5000.02

 ? (TO)
TT=5000.06

 SAT
TT=1247.53

 ? (TO)
TT=5000.31
Bench nameBest results
on this
instance		CMUSAT
2007-02-08		March KS
2007-02-08		minisat
SAT 2007		MiraXT
v3		MXC
2007-02-08		picosat
535		Rsat
2007-02-08		SATzilla
CRAFTED		TTS
4.0
crafted/Hard/contest05/others/
mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07.cnf		 SAT
TT=105.149

 SAT
TT=3720.15

 Signal
TT=138.981

 SAT
TT=105.149

 ? (TO)
TT=5000.05

 ? (TO)
TT=5000.05

 SAT
TT=371.304

 ? (TO)
TT=5000.01

 SAT
TT=2423.29

 ? (TO)
TT=5000.22
crafted/Hard/contest05/others/
sgp_5-6-8.sat05-2669.reshuffled-07.cnf


? (TO)
TT=5000.28

 ? (TO)
TT=5000.09

 ? (TO)
TT=5000.21

 ? (TO)
TT=5000.26

 ? (TO)
TT=5000.18

 ? (TO)
TT=5000.06

 ? (TO)
TT=5000.05

 ? (exit code)
TT=4998.51

 ? (TO)
TT=5000.1
crafted/Hard/contest05/others/
sgp_9-8-8.sat05-2674.reshuffled-07.cnf


? (MO)
TT=2706.43

 ? (TO)
TT=5000.12

 ? (TO)
TT=5000.35

 ? (MO)
TT=3100.08

 ? (TO)
TT=5000.29

 ? (TO)
TT=5000.14

 ? (TO)
TT=5000.02

 ? (TO)
TT=5000.1

 ? (MO)
TT=365.171
crafted/Hard/contest05/others/
strips-gripper-12t22.sat05-1151.reshuffled-07.cnf		 UNSAT
TT=728.805

 ? (TO)
TT=5000.15

 ? (TO)
TT=5000.09

 ? (TO)
TT=5000.1

 ? (TO)
TT=5000.15

 ? (TO)
TT=5000.09

 ? (TO)
TT=5000.08

 UNSAT
TT=728.805

 ? (exit code)
TT=4998.94

 ? (TO)
TT=5000.23
crafted/Hard/contest05/others/
strips-gripper-18t35.sat05-1147.reshuffled-07.cnf		 SAT
TT=65.403

 ? (TO)
TT=5000.18

 ? (TO)
TT=5000.06

 SAT
TT=2724.53

 ? (TO)
TT=5000.18

 ? (TO)
TT=5000.04

 SAT
TT=65.403

 SAT
TT=175.696

 ? (exit code)
TT=4998.31

 ? (TO)
TT=5000.26
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf


? (TO)
TT=5000.24

 ? (TO)
TT=5000.13

 ? (TO)
TT=5000.18

 ? (TO)
TT=5000.22

 ? (TO)
TT=5000.11

 ? (TO)
TT=5000.1

 ? (TO)
TT=5000.05

 ? (TO)
TT=5000.13

 ? (MO)
TT=137.956
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf


? (TO)
TT=5000.2

 ? (TO)
TT=5000.08

 ? (TO)
TT=5000.09

 ? (TO)
TT=5000.24

 ? (TO)
TT=5000.03

 ? (TO)
TT=5000.1

 ? (TO)
TT=5000.1

 ? (TO)
TT=5000.06

 ? (MO)
TT=185.231
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-equilarge_l2.used-as.sat04-894.sat05-4188.reshuffled-07.cnf


? (TO)
TT=5000.2

 ? (TO)
TT=5000.07

 ? (TO)
TT=5000.16

 ? (TO)
TT=5000.25

 ? (TO)
TT=5000.09

 ? (TO)
TT=5000.03

 ? (TO)
TT=5000.09

 ? (TO)
TT=5000.09

 ? (MO)
TT=182.897
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-equilarge_l3.used-as.sat04-895.sat05-4189.reshuffled-07.cnf


? (TO)
TT=5000.18

 ? (TO)
TT=5000.07

 ? (TO)
TT=5000.12

 ? (TO)
TT=5000.17

 ? (TO)
TT=5000.04

 ? (TO)
TT=5000.06

 ? (TO)
TT=5000.08

 ? (exit code)
TT=4998.97

 ? (MO)
TT=182.946
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.sat05-4186.reshuffled-07.cnf


? (TO)
TT=5000.12

 ? (TO)
TT=5000.09

 ? (TO)
TT=5000.13

 ? (TO)
TT=5000.18

 ? (TO)
TT=5000.1

 ? (TO)
TT=5000.03

 ? (TO)
TT=5000.09

 ? (exit code)
TT=4998.88

 ? (TO)
TT=5000.19
Bench nameBest results
on this
instance		CMUSAT
2007-02-08		March KS
2007-02-08		minisat
SAT 2007		MiraXT
v3		MXC
2007-02-08		picosat
535		Rsat
2007-02-08		SATzilla
CRAFTED		TTS
4.0
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf


? (TO)
TT=5000.25

 ? (TO)
TT=5000.1

 ? (TO)
TT=5000.11

 ? (TO)
TT=5000.28

 ? (TO)
TT=5000.02

 ? (TO)
TT=5000.08

 ? (TO)
TT=5000.04

 ? (TO)
TT=5000.15

 ? (MO)
TT=157.741
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-gigamax.used-as.sat04-984.sat05-4194.reshuffled-07.cnf		 UNSAT
TT=453.899

 UNSAT
TT=2259.49

 ? (TO)
TT=5000.11

 UNSAT
TT=453.899

 UNSAT
TT=3466.86

 UNSAT
TT=1217.82

 UNSAT
TT=1144.68

 UNSAT
TT=829.583

 UNSAT
TT=797.461

 ? (TO)
TT=5000.19
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-luckySeven.used-as.sat04-990.sat05-4196.reshuffled-07.cnf		 UNSAT
TT=1834.24

 ? (TO)
TT=5000.09

 ? (TO)
TT=5000.09

 UNSAT
TT=1834.24

 ? (TO)
TT=5000.17

 UNSAT
TT=2510.49

 UNSAT
TT=3457.88

 UNSAT
TT=2101.15

 ? (exit code)
TT=4999.17

 ? (TO)
TT=5000.23
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-myciel6-cn.used-as.sat04-319.sat05-4201.reshuffled-07.cnf


? (TO)
TT=5000.09

 ? (TO)
TT=5000.05

 ? (TO)
TT=5000.13

 ? (TO)
TT=5000.26

 ? (TO)
TT=5000.03

 ? (TO)
TT=5000.05

 ? (TO)
TT=5000.03

 ? (exit code)
TT=4999.19

 ? (MO)
TT=2060.55
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-philo.used-as.sat04-988.sat05-4195.reshuffled-07.cnf


? (TO)
TT=5000.19

 ? (TO)
TT=5000.08

 ? (TO)
TT=5000.15

 ? (TO)
TT=5000.19

 ? (TO)
TT=5000.09

 ? (TO)
TT=5000.03

 ? (TO)
TT=5000.04

 ? (TO)
TT=5000.13

 ? (MO)
TT=4448.38
crafted/Hard/contest05/QG/
QG7a-gensys-icl001.sat05-3822.reshuffled-07.cnf		 UNSAT
TT=1723.3

 UNSAT
TT=3894.91

 ? (TO)
TT=5000.1

 UNSAT
TT=1723.3

 UNSAT
TT=1877.75

 ? (TO)
TT=5000.03

 ? (TO)
TT=5000.06

 ? (TO)
TT=5000.1

 ? (exit code)
TT=4999.09

 ? (TO)
TT=5000.17
crafted/Hard/contest05/QG/
QG7a-gensys-icl004.sat05-3825.reshuffled-07.cnf		 UNSAT
TT=251.379

 UNSAT
TT=315.663

 ? (TO)
TT=5000.06

 UNSAT
TT=251.379

 UNSAT
TT=615.398

 ? (TO)
TT=5000.07

 ? (TO)
TT=5000.09

 UNSAT
TT=3628.38

 UNSAT
TT=4034.84

 ? (TO)
TT=5000.13
crafted/Hard/contest05/QG/
QG7a-gensys-icl009.sat05-3830.reshuffled-07.cnf


? (TO)
TT=5000.08

 ? (TO)
TT=5000.04

 ? (TO)
TT=5000.06

 ? (TO)
TT=5000.2

 ? (TO)
TT=5000.1

 ? (TO)
TT=5000.09

 ? (TO)
TT=5000.07

 ? (exit code)
TT=4999.22

 ? (TO)
TT=5000.1
crafted/Hard/contest05/QG/
QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf


? (TO)
TT=5000.1

 ? (TO)
TT=5000.11

 ? (TO)
TT=5000.06

 ? (TO)
TT=5000.04

 ? (TO)
TT=5000.09

 ? (TO)
TT=5000.07

 ? (TO)
TT=5000.07

 ? (exit code)
TT=4999.13

 ? (TO)
TT=5000.11
crafted/Hard/contest05/QG/
QG7a-gensys-ukn009.sat05-3849.reshuffled-07.cnf


? (TO)
TT=5000.12

 ? (TO)
TT=5000.08

 ? (TO)
TT=5000.06

 ? (TO)
TT=5000.13

 ? (TO)
TT=5000.05

 ? (TO)
TT=5000.09

 ? (TO)
TT=5000.06

 ? (exit code)
TT=4998.37

 ? (TO)
TT=5000.15
Bench nameBest results
on this
instance		CMUSAT
2007-02-08		March KS
2007-02-08		minisat
SAT 2007		MiraXT
v3		MXC
2007-02-08		picosat
535		Rsat
2007-02-08		SATzilla
CRAFTED		TTS
4.0
crafted/Hard/contest05/
QG/
QG7-dead-dnd001.sat05-3419.reshuffled-07.cnf		 UNSAT
TT=1201.77

 ? (TO)
TT=5000.06

 ? (TO)
TT=5000.05

 UNSAT
TT=2674.65

 ? (TO)
TT=5000.19

 UNSAT
TT=1201.77

 ? (TO)
TT=5000.02

 ? (TO)
TT=5000.1

 UNSAT
TT=2596.62

 ? (TO)
TT=5000.15
crafted/Hard/contest05/
QG/
QG7-dead-dnd002.sat05-3108.reshuffled-07.cnf		 UNSAT
TT=1723.62

 ? (TO)
TT=5000.1

 ? (TO)
TT=5000.05

 UNSAT
TT=3134.33

 ? (TO)
TT=5000.14

 UNSAT
TT=1723.62

 ? (TO)
TT=5000.04

 ? (TO)
TT=5000

 UNSAT
TT=3322.45

 ? (TO)
TT=5000.06
crafted/Hard/contest05/
QG/
QG7-dead-dnd005.sat05-3111.reshuffled-07.cnf		 UNSAT
TT=420.614

 ? (TO)
TT=5000.06

 ? (TO)
TT=5000.04

 UNSAT
TT=441.784

 ? (TO)
TT=5000.39

 UNSAT
TT=420.614

 ? (TO)
TT=5000.05

 ? (TO)
TT=5000.04

 UNSAT
TT=840.272

 ? (TO)
TT=5000.1
crafted/Hard/contest05/QG/
QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf		 UNSAT
TT=4172.98

 ? (TO)
TT=5000.05

 ? (TO)
TT=5000.04

 UNSAT
TT=4172.98

 ? (TO)
TT=5000.04

 UNSAT
TT=4481.56

 ? (TO)
TT=5000.03

 ? (TO)
TT=5000.07

 ?
TT=4999.34

 ? (TO)
TT=5000.15
crafted/Hard/contest05/QG/
QG7-gensys-ukn003.sat05-3346.reshuffled-07.cnf		 UNSAT
TT=2356.92

 ? (TO)
TT=5000.13

 ? (TO)
TT=5000.03

 UNSAT
TT=2438.57

 ? (TO)
TT=5000.21

 UNSAT
TT=2356.92

 ? (TO)
TT=5000.11

 ? (TO)
TT=5000.04

 UNSAT
TT=2480.74

 ? (TO)
TT=5000.14
crafted/Medium/contest05/
jarvisalo/
mod2-3cage-unsat-9-12.sat05-2587.reshuffled-07.cnf		 UNSAT
TT=0.002

 UNSAT
TT=167.731

 UNSAT
TT=0.002

 UNSAT
TT=96.743

 UNSAT
TT=342.482

 UNSAT
TT=140.69

 UNSAT
TT=2196.54

 UNSAT
TT=3427.57

 UNSAT
TT=0.002

 UNSAT
TT=3.739
crafted/Medium/contest05/
jarvisalo/
mod2-3cage-unsat-9-14.sat05-2589.reshuffled-07.cnf		 UNSAT
TT=0.002

 UNSAT
TT=426.263

 UNSAT
TT=0.002

 UNSAT
TT=131.413

 UNSAT
TT=222.161

 UNSAT
TT=122.128

 UNSAT
TT=3820.87

 UNSAT
TT=1108.78

 UNSAT
TT=0.003

 UNSAT
TT=3.913
crafted/Medium/contest05/jarvisalo/
mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf		 SAT
TT=21.658

 SAT
TT=47.913

 Signal
TT=24.747

 SAT
TT=21.658

 SAT
TT=35.21

 SAT
TT=199.689

 SAT
TT=335.166

 SAT
TT=463.651

 SAT
TT=532.99

 ? (TO)
TT=5000.28
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-210-1.sat05-2158.reshuffled-07.cnf		 SAT
TT=0.01

 SAT
TT=44.794

 SAT
TT=0.014

 SAT
TT=99.417

 SAT
TT=186.05

 SAT
TT=68.884

 SAT
TT=75.969

 SAT
TT=2229.17

 SAT
TT=0.01

 ? (MO)
TT=4619.55
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf		 SAT
TT=0.009

 SAT
TT=0.255

 SAT
TT=0.014

 SAT
TT=78.717

 SAT
TT=123.191

 SAT
TT=16.505

 SAT
TT=13.758

 SAT
TT=1016.14

 SAT
TT=0.009

 ? (MO)
TT=4546.53
Bench nameBest results
on this
instance		CMUSAT
2007-02-08		March KS
2007-02-08		minisat
SAT 2007		MiraXT
v3		MXC
2007-02-08		picosat
535		Rsat
2007-02-08		SATzilla
CRAFTED		TTS
4.0
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf		 SAT
TT=0.01

 SAT
TT=116.411

 SAT
TT=0.017

 SAT
TT=270.391

 SAT
TT=333.052

 SAT
TT=359.585

 SAT
TT=356.678

 SAT
TT=2620.37

 SAT
TT=0.01

 ? (MO)
TT=3153.87
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-220-2.sat05-2174.reshuffled-07.cnf		 SAT
TT=0.011

 SAT
TT=590.42

 SAT
TT=0.018

 SAT
TT=412.236

 SAT
TT=1032.27

 SAT
TT=1222.04

 SAT
TT=8.37

 ? (TO)
TT=5000.06

 SAT
TT=0.011

 ? (TO)
TT=5000.3
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf		 SAT
TT=0.011

 SAT
TT=2515.31

 SAT
TT=0.018

 SAT
TT=183.869

 SAT
TT=2602.96

 SAT
TT=153.433

 SAT
TT=162.717

 ? (TO)
TT=5000.02

 SAT
TT=0.011

 ? (MO)
TT=2347.55
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-240-3.sat05-2205.reshuffled-07.cnf		 SAT
TT=0.014

 SAT
TT=4150.87

 SAT
TT=0.023

 SAT
TT=451.609

 SAT
TT=761.34

 SAT
TT=607.777

 SAT
TT=145.681

 ? (TO)
TT=5000.09

 SAT
TT=0.014

 ? (MO)
TT=2745.82
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-250-3.sat05-2220.reshuffled-07.cnf		 SAT
TT=0.014

 SAT
TT=956.775

 SAT
TT=0.03

 SAT
TT=2669.1

 SAT
TT=2483.91

 SAT
TT=3548.59

 SAT
TT=1001.26

 SAT
TT=2918.47

 SAT
TT=0.014

 ? (MO)
TT=2586.31
crafted/Medium/contest05/others/
gensys-ukn002.sat05-2744.reshuffled-07.cnf		 UNSAT
TT=98.331

 UNSAT
TT=176.425

 ? (TO)
TT=5000.05

 UNSAT
TT=98.331

 UNSAT
TT=235.986

 UNSAT
TT=240.691

 UNSAT
TT=317.243

 UNSAT
TT=253.025

 UNSAT
TT=133.134

 ? (TO)
TT=5000.22
crafted/Medium/contest05/others/
pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf		 UNSAT
TT=558.566

 ? (TO)
TT=5000.06

 UNSAT
TT=782.908

 UNSAT
TT=558.566

 ? (TO)
TT=5000.08

 UNSAT
TT=1488.11

 ? (TO)
TT=5000.05

 ? (exit code)
TT=0.027

 UNSAT
TT=1035.76

 ? (MO)
TT=4593.86
crafted/Medium/contest05/
others/
QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf		 SAT
TT=2.927

 SAT
TT=12.221

 SAT
TT=585.873

 SAT
TT=2.927

 SAT
TT=5.677

 SAT
TT=90.326

 SAT
TT=507.366

 SAT
TT=337.538

 SAT
TT=25.551

 ? (TO)
TT=5000.17
crafted/Medium/contest05/
others/
QG7a-gensys-brn100.sat05-3765.reshuffled-07.cnf		 SAT
TT=3.344

 SAT
TT=3.344

 SAT
TT=3858.64

 SAT
TT=3.72

 SAT
TT=4.836

 SAT
TT=28.511

 SAT
TT=194.762

 SAT
TT=205.975

 SAT
TT=75.181

 ? (TO)
TT=5000.1
crafted/Medium/contest05/
others/
QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf		 SAT
TT=2.529

 SAT
TT=4.994

 ? (TO)
TT=5000.05

 SAT
TT=2.529

 SAT
TT=4.103

 SAT
TT=141.789

 SAT
TT=245.263

 SAT
TT=151.853

 SAT
TT=84.031

 ? (TO)
TT=5000.1
Bench nameBest results
on this
instance		CMUSAT
2007-02-08		March KS
2007-02-08		minisat
SAT 2007		MiraXT
v3		MXC
2007-02-08		picosat
535		Rsat
2007-02-08		SATzilla
CRAFTED		TTS
4.0
crafted/Medium/contest05/
others/
QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf		 SAT
TT=1.913

 SAT
TT=4.219

 SAT
TT=422.66

 SAT
TT=1.913

 SAT
TT=14.896

 SAT
TT=116.228

 SAT
TT=43.706

 SAT
TT=890.926

 SAT
TT=81.366

 ? (TO)
TT=5000.17
crafted/Medium/contest05/
others/
QG7-gensys-icl001.sat05-2926.reshuffled-07.cnf		 UNSAT
TT=44.069

 UNSAT
TT=83.55

 ? (TO)
TT=5000.04

 UNSAT
TT=53.377

 UNSAT
TT=122.29

 UNSAT
TT=44.069

 UNSAT
TT=216.748

 UNSAT
TT=147.231

 UNSAT
TT=60.885

 ? (TO)
TT=5000.16
crafted/Medium/contest05/
others/
QG8-gensys-ukn005.sat05-3584.reshuffled-07.cnf		 UNSAT
TT=77.222

 UNSAT
TT=189.782

 ? (TO)
TT=5000.06

 UNSAT
TT=159.077

 UNSAT
TT=96.732

 UNSAT
TT=207.157

 UNSAT
TT=299.635

 UNSAT
TT=175.637

 UNSAT
TT=77.222

 ? (TO)
TT=5000.08
crafted/Medium/contest05/
others/
QG-gensys-brn008.sat05-2685.reshuffled-07.cnf		 UNSAT
TT=109.248

 UNSAT
TT=188.691

 ? (TO)
TT=5000.04

 UNSAT
TT=109.248

 UNSAT
TT=374.481

 UNSAT
TT=110.451

 UNSAT
TT=455.894

 UNSAT
TT=350.305

 UNSAT
TT=173.036

 ? (TO)
TT=5000.22
crafted/Medium/contest05/
others/
QG-gensys-icl003.sat05-2715.reshuffled-07.cnf		 UNSAT
TT=89.408

 UNSAT
TT=164.094

 ? (TO)
TT=5000.1

 UNSAT
TT=89.408

 UNSAT
TT=502.055

 UNSAT
TT=131.919

 UNSAT
TT=472.321

 UNSAT
TT=392.337

 UNSAT
TT=148.823

 ? (TO)
TT=5000.06
crafted/Medium/contest05/
pebbling/
sat-grid-pbl-0070.sat05-1334.reshuffled-07.cnf		 SAT
TT=0.04

 SAT
TT=23.158

 ? (TO)
TT=5000.08

 SAT
TT=0.04

 SAT
TT=0.047

 SAT
TT=31.379

 SAT
TT=1.106

 SAT
TT=14.625

 SAT
TT=0.939

 SAT
TT=0.496
crafted/Medium/contest05/
pebbling/
sat-grid-pbl-0200.sat05-1339.reshuffled-07.cnf		 SAT
TT=0.602

 SAT
TT=1552.23

 ? (TO)
TT=5000.11

 SAT
TT=0.602

 SAT
TT=0.66

 SAT
TT=1634.1

 SAT
TT=81.423

 SAT
TT=1389.02

 SAT
TT=153.521

 SAT
TT=30.244
crafted/Medium/contest05/
pebbling/
sat-pbl-00400.sat05-1322.reshuffled-07.cnf		 SAT
TT=3.416

 SAT
TT=27.094

 ? (TO)
TT=5000.04

 SAT
TT=7.636

 SAT
TT=7.746

 SAT
TT=5.664

 SAT
TT=3.416

 SAT
TT=11.215

 SAT
TT=26.779

 ? (MO)
TT=3301.86
crafted/Medium/contest05/
pebbling/
unsat-grid-pbl-0080.sat05-1344.reshuffled-07.cnf		 UNSAT
TT=0.078

 UNSAT
TT=0.116

 ? (TO)
TT=5000.04

 UNSAT
TT=0.078

 UNSAT
TT=0.089

 ? (TO)
TT=5000.07

 UNSAT
TT=4.745

 UNSAT
TT=0.721

 UNSAT
TT=1.335

 UNSAT
TT=2.011
crafted/Medium/contest05/
pebbling/
unsat-pbl-00070.sat05-1324.reshuffled-07.cnf		 UNSAT
TT=0.252

 UNSAT
TT=0.276

 ? (TO)
TT=5000.04

 UNSAT
TT=0.252

 UNSAT
TT=0.255

 ? (TO)
TT=5000.05

 UNSAT
TT=0.367

 UNSAT
TT=25.67

 UNSAT
TT=12.81

 UNSAT
TT=0.328
Bench nameBest results
on this
instance		CMUSAT
2007-02-08		March KS
2007-02-08		minisat
SAT 2007		MiraXT
v3		MXC
2007-02-08		picosat
535		Rsat
2007-02-08		SATzilla
CRAFTED		TTS
4.0
crafted/Medium/contest05/
pebbling/
unsat-pbl-00080.sat05-1325.reshuffled-07.cnf		 UNSAT
TT=0.534

 UNSAT
TT=0.571

 ? (TO)
TT=5000.02

 UNSAT
TT=0.534

 UNSAT
TT=0.546

 ? (TO)
TT=5000.05

 UNSAT
TT=0.608

 UNSAT
TT=4.846

 UNSAT
TT=15.254

 UNSAT
TT=0.623
crafted/Medium/contest05/
pebbling/
unsat-pbl-00090.sat05-1326.reshuffled-07.cnf		 UNSAT
TT=0.266

 UNSAT
TT=0.303

 ? (TO)
TT=5000.06

 UNSAT
TT=0.266

 UNSAT
TT=0.273

 ? (TO)
TT=5000.1

 UNSAT
TT=0.44

 UNSAT
TT=0.814

 ? (exit code)
TT=4998.9

 UNSAT
TT=0.591
crafted/Medium/contest05/
pebbling/
unsat-pbl-00150.sat05-1328.reshuffled-07.cnf		 UNSAT
TT=1.372

 UNSAT
TT=2.474

 ? (TO)
TT=5000.08

 UNSAT
TT=2.372

 UNSAT
TT=2.247

 ? (TO)
TT=5000.09

 UNSAT
TT=1.372

 UNSAT
TT=21.499

 UNSAT
TT=15.125

 UNSAT
TT=21.729
crafted/Medium/contest05/
pebbling/
unsat-pbl-00200.sat05-1329.reshuffled-07.cnf		 UNSAT
TT=1.082

 UNSAT
TT=1.193

 ? (TO)
TT=5000.03

 UNSAT
TT=1.082

 UNSAT
TT=1.093

 ? (TO)
TT=5000.1

 UNSAT
TT=1.082

 UNSAT
TT=67.678

 UNSAT
TT=13.574

 UNSAT
TT=225.643
crafted/Medium/contest05/
pebbling/
unsat-pbl-00250.sat05-1330.reshuffled-07.cnf		 UNSAT
TT=1.716

 UNSAT
TT=2.017

 ? (TO)
TT=5000.1

 UNSAT
TT=1.936

 UNSAT
TT=1.941

 ? (TO)
TT=5000.02

 UNSAT
TT=1.716

 UNSAT
TT=621.782

 UNSAT
TT=20.798

 UNSAT
TT=110.757
crafted/Medium/contest05/sabharwal/
counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.cnf		 UNSAT
TT=10.293

 UNSAT
TT=12.987

 ? (TO)
TT=5000.09

 UNSAT
TT=12.385

 UNSAT
TT=23.066

 UNSAT
TT=10.293

 UNSAT
TT=33.826

 ? (exit code)
TT=0.027

 UNSAT
TT=20.696

 UNSAT
TT=67.209
crafted/Medium/contest05/sabharwal/
counting-easier-fphp-012-010.sat05-1214.reshuffled-07.cnf		 UNSAT
TT=1.416

 UNSAT
TT=62.117

 UNSAT
TT=47.157

 UNSAT
TT=177.994

 UNSAT
TT=418.643

 UNSAT
TT=129.321

 UNSAT
TT=590.572

 ? (TO)
TT=5000.01

 UNSAT
TT=89.911

 UNSAT
TT=1.416
crafted/Medium/contest05/sabharwal/
counting-easier-php-012-010.sat05-1172.reshuffled-07.cnf		 UNSAT
TT=0.417

 UNSAT
TT=46.548

 UNSAT
TT=117.233

 UNSAT
TT=157.657

 UNSAT
TT=648.008

 UNSAT
TT=129.087

 UNSAT
TT=1080.59

 ? (TO)
TT=5000.08

 UNSAT
TT=181.276

 UNSAT
TT=0.417
crafted/Medium/contest05/
sabharwal/
gt-ordering-sat-gt-030.sat05-1295.reshuffled-07.cnf		 UNSAT
TT=12.577

 ? (TO)
TT=5000.21

 ? (TO)
TT=5000.06

 ? (TO)
TT=5000.1

 ? (TO)
TT=5000.21

 ? (TO)
TT=5000.11

 ? (TO)
TT=5000.08

 ? (TO)
TT=5000.03

 UNSAT
TT=12.577

 ? (TO)
TT=5000.13
crafted/Medium/contest05/sabharwal/
gt-ordering-unsat-gt-025.sat05-1306.reshuffled-07.cnf		 UNSAT
TT=11.545

 ? (TO)
TT=5000.14

 ? (TO)
TT=5000.08

 ? (TO)
TT=5000.11

 ? (TO)
TT=5000.12

 ? (TO)
TT=5000.07

 UNSAT
TT=185.889

 UNSAT
TT=4411.59

 UNSAT
TT=11.545

 ? (TO)
TT=5000.17
Bench nameBest results
on this
instance		CMUSAT
2007-02-08		March KS
2007-02-08		minisat
SAT 2007		MiraXT
v3		MXC
2007-02-08		picosat
535		Rsat
2007-02-08		SATzilla
CRAFTED		TTS
4.0
crafted/Medium/contest05/sabharwal/
gt-ordering-unsat-gt-030.sat05-1307.reshuffled-07.cnf		 UNSAT
TT=12.912

 ? (TO)
TT=5000.11

 ? (TO)
TT=5000.05

 ? (TO)
TT=5000.07

 ? (TO)
TT=5000.24

 ? (TO)
TT=5000.03

 UNSAT
TT=787.731

 UNSAT
TT=2584.11

 UNSAT
TT=12.912

 ? (TO)
TT=5000.15
crafted/Medium/contest05/sabharwal/
gt-ordering-unsat-gt-035.sat05-1308.reshuffled-07.cnf		 UNSAT
TT=14.294

 ? (TO)
TT=5000.15

 ? (TO)
TT=5000.06

 ? (TO)
TT=5000.09

 ? (TO)
TT=5000.25

 ? (TO)
TT=5000.07

 ? (TO)
TT=5000.12

 ? (TO)
TT=5000.04

 UNSAT
TT=14.294

 ? (TO)
TT=5000.18
crafted/Medium/contest05/sabharwal/
sat-strips-gripper-10t19.sat05-1143.reshuffled-07.cnf		 SAT
TT=1.15

 SAT
TT=16.448

 ? (TO)
TT=5000.09

 SAT
TT=2.508

 SAT
TT=7.643

 SAT
TT=43.799

 SAT
TT=1.15

 SAT
TT=2.514

 SAT
TT=131.125

 ? (TO)
TT=5000.27
crafted/Medium/contest05/sabharwal/
sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf		 SAT
TT=1.52

 ? (TO)
TT=5000.13

 ? (TO)
TT=5000.13

 SAT
TT=36.503

 SAT
TT=142.565

 SAT
TT=185.809

 SAT
TT=3.692

 SAT
TT=1.52

 SAT
TT=44.171

 ? (TO)
TT=5000.21
crafted/Medium/contest05/sabharwal/
unsat-logistics-rotate-09t5.sat05-1139.reshuffled-07.cnf		 UNSAT
TT=17.812

 UNSAT
TT=25.691

 ? (TO)
TT=5000.03

 UNSAT
TT=75.903

 UNSAT
TT=27.081

 UNSAT
TT=23.711

 UNSAT
TT=17.812

 UNSAT
TT=38.252

 UNSAT
TT=24.842

 ? (TO)
TT=5000.09
crafted/
spence/hard/
s101-100.cnf		 UNSAT
TT=185.469

 ? (TO)
TT=5000.11

 ? (TO)
TT=5000.11

 UNSAT
TT=4703.7

 ? (TO)
TT=5000.17

 UNSAT
TT=4343.19

 ? (TO)
TT=5000.03

 ? (TO)
TT=5000

 UNSAT
TT=4887.19

 UNSAT
TT=185.469
crafted/
spence/hard/
s105-100.cnf		 UNSAT
TT=1443.06

 ? (TO)
TT=5000.09

 ? (TO)
TT=5000.05

 ? (TO)
TT=5000.03

 ? (TO)
TT=5000.1

 ? (TO)
TT=5000.06

 ? (TO)
TT=5000.04

 ? (TO)
TT=5000.01

 ? (exit code)
TT=4998.5

 UNSAT
TT=1443.06
crafted/
spence/hard/
s109-100.cnf		 UNSAT
TT=1634.04

 ? (TO)
TT=5000.09

 ? (TO)
TT=5000.08

 ? (TO)
TT=5000.05

 ? (TO)
TT=5000.07

 ? (TO)
TT=5000.1

 ? (TO)
TT=5000.09

 ? (TO)
TT=5000.07

 ? (exit code)
TT=4998.52

 UNSAT
TT=1634.04
crafted/
spence/hard/
s113-100.cnf		 UNSAT
TT=2416.61

 ? (TO)
TT=5000.04

 ? (TO)
TT=5000.02

 ? (TO)
TT=5000.02

 ? (TO)
TT=5000.1

 ? (TO)
TT=5000.06

 ? (TO)
TT=5000.06

 ? (TO)
TT=5000.01

 ? (exit code)
TT=4998.66

 UNSAT
TT=2416.61
crafted/
spence/hard/
s117-100.cnf


? (TO)
TT=5000.07

 ? (TO)
TT=5000.1

 ? (TO)
TT=5000.05

 ? (TO)
TT=5000.17

 ? (TO)
TT=5000.1

 ? (TO)
TT=5000.03

 ? (TO)
TT=5000.03

 ? (exit code)
TT=4998.59

 ? (TO)
TT=5000.14
Bench nameBest results
on this
instance		CMUSAT
2007-02-08		March KS
2007-02-08		minisat
SAT 2007		MiraXT
v3		MXC
2007-02-08		picosat
535		Rsat
2007-02-08		SATzilla
CRAFTED		TTS
4.0
crafted/
spence/
hard/s97-100.cnf		 UNSAT
TT=378.303

 ? (TO)
TT=5000.09

 UNSAT
TT=4547.89

 UNSAT
TT=2293.38

 ? (TO)
TT=5000.22

 UNSAT
TT=4556.23

 ? (TO)
TT=5000.09

 ? (TO)
TT=5000.09

 UNSAT
TT=2412.81

 UNSAT
TT=378.303
crafted/spence/
medium/
s57-100.cnf		 UNSAT
TT=1.35

 UNSAT
TT=7.728

 UNSAT
TT=1.35

 UNSAT
TT=1.941

 UNSAT
TT=5.255

 UNSAT
TT=1.559

 UNSAT
TT=8.556

 UNSAT
TT=2.629

 UNSAT
TT=1.369

 UNSAT
TT=1.56
crafted/spence/
medium/
s61-100.cnf		 UNSAT
TT=2.024

 UNSAT
TT=22.645

 UNSAT
TT=3.121

 UNSAT
TT=3.27

 UNSAT
TT=9.892

 UNSAT
TT=2.024

 UNSAT
TT=18.18

 UNSAT
TT=3.612

 UNSAT
TT=3.266

 UNSAT
TT=3.544
crafted/spence/
medium/
s65-100.cnf		 UNSAT
TT=3.835

 UNSAT
TT=54.531

 UNSAT
TT=6.767

 UNSAT
TT=9.263

 UNSAT
TT=15.519

 UNSAT
TT=8.369

 UNSAT
TT=45.747

 ? (exit code)
TT=0.012

 UNSAT
TT=19.983

 UNSAT
TT=3.835
crafted/spence/
medium/
s69-100.cnf		 UNSAT
TT=3.98

 UNSAT
TT=109.794

 UNSAT
TT=15.375

 UNSAT
TT=12.313

 UNSAT
TT=66.165

 UNSAT
TT=12.305

 UNSAT
TT=172.967

 UNSAT
TT=273.728

 UNSAT
TT=22.462

 UNSAT
TT=3.98
crafted/spence/
medium/
s73-100.cnf		 UNSAT
TT=17.162

 UNSAT
TT=1321.6

 UNSAT
TT=34.488

 UNSAT
TT=39.11

 UNSAT
TT=338.69

 UNSAT
TT=46.288

 UNSAT
TT=1470.21

 UNSAT
TT=599.309

 UNSAT
TT=48.958

 UNSAT
TT=17.162
crafted/spence/
medium/
s77-100.cnf		 UNSAT
TT=16.004

 UNSAT
TT=401.005

 UNSAT
TT=77.091

 UNSAT
TT=64.465

 UNSAT
TT=363.989

 UNSAT
TT=68.841

 UNSAT
TT=1290.68

 UNSAT
TT=951.289

 UNSAT
TT=73.827

 UNSAT
TT=16.004
crafted/spence/
medium/
s81-100.cnf		 UNSAT
TT=58.667

 UNSAT
TT=4104.84

 UNSAT
TT=173.094

 UNSAT
TT=130.29

 UNSAT
TT=1559.56

 UNSAT
TT=295.961

 ? (TO)
TT=5000.05

 UNSAT
TT=4428.38

 UNSAT
TT=138.251

 UNSAT
TT=58.667
crafted/spence/
medium/
s85-100.cnf		 UNSAT
TT=218.692

 ? (TO)
TT=5000.04

 UNSAT
TT=383.245

 UNSAT
TT=282.946

 UNSAT
TT=2384.75

 UNSAT
TT=438.29

 ? (TO)
TT=5000.11

 ? (TO)
TT=5000.05

 UNSAT
TT=287.72

 UNSAT
TT=218.692
crafted/spence/
medium/
s89-100.cnf		 UNSAT
TT=37.911

 ? (TO)
TT=5000.04

 UNSAT
TT=877.957

 UNSAT
TT=450.472

 UNSAT
TT=2096.95

 UNSAT
TT=765.238

 ? (TO)
TT=5000.1

 ? (TO)
TT=5000

 UNSAT
TT=452.624

 UNSAT
TT=37.911
Bench nameBest results
on this
instance		CMUSAT
2007-02-08		March KS
2007-02-08		minisat
SAT 2007		MiraXT
v3		MXC
2007-02-08		picosat
535		Rsat
2007-02-08		SATzilla
CRAFTED		TTS
4.0
crafted/spence/
medium/
s93-100.cnf		 UNSAT
TT=65.668

 ? (TO)
TT=5000.04

 UNSAT
TT=1992.35

 UNSAT
TT=718.281

 ? (TO)
TT=5000.12

 UNSAT
TT=1174.95

 ? (TO)
TT=5000.04

 ? (TO)
TT=5000

 UNSAT
TT=715.072

 UNSAT
TT=65.668

Some statistics...

CMUSAT
2007-02-08		March KS
2007-02-08		minisat
SAT 2007		MiraXT
v3		MXC
2007-02-08		picosat
535		Rsat
2007-02-08		SATzilla
CRAFTED		TTS
4.0
Number of times the solver is able to give the best known answer664798787760559442
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)41239314722425