CSP 2006 Competition (second round): results by benchmark

Results by benchmark for category n-ary constraints in intension (N-ARY-INT), subcategory problems with patterns

This page displays the results of the different solvers for each benchmark for category n-ary constraints in intension (N-ARY-INT), subcategory problems with patterns

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:
Abscon 109 ESAC
Abscon 109 AC
BPrologCSPSolver70a 2006-12-13
CSP4J - Combo 2006-12-19
CSP4J - MAC 2006-12-19
CSP4J - MAC 2007-01-16
CSPtoSAT+minisat 0.3
galac 1
galacJ beta 1
Mistral 2006-12-04
sat4jCSP 1.7 RC BF3
SAT4JCSP-CACHED 1.7 RC BF3
sugar 0.40
Tramontane 2006-12-04

Bench nameBest results
on this
instance		Abscon
109 ESAC		Abscon
109 AC		BPrologCSPSolver70a
2006-12-13		CSP4J - Combo
2006-12-19		CSP4J - MAC
2006-12-19		CSP4J - MAC
2007-01-16		CSPtoSAT+minisat
0.3		galac
1		galacJ
beta 1		Mistral
2006-12-04		sat4jCSP
1.7 RC BF3		SAT4JCSP-CACHED
1.7 RC BF3		sugar
0.40		Tramontane
2006-12-04
fisher/
FISCHER10-10-fair.xml		 UNSAT
TT=1566.6

 ?
TT=7.4

 ?
TT=7.536

 UNSAT
TT=1566.6

 ?
TT=3.948

 ?
TT=4.017

 ?
TT=4.304

 Signal
TT=7.177

 ? (TO)
TT=1800.02

 ? (TO)
TT=1800.04

 ? (MO)
TT=1.674

 ?
TT=4.077

 ?
TT=4.427

 ? (TO)
TT=1801.64

 ? (exit code)
TT=1.688
fisher/
FISCHER10-11-fair.xml		 UNSAT
TT=1563.37

 ?
TT=7.329

 ?
TT=7.406

 UNSAT
TT=1563.37

 ?
TT=4.056

 ?
TT=4.054

 ?
TT=5.003

 Signal
TT=7.06

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.07

 ? (exit code)
TT=1.645

 ?
TT=4.48

 ?
TT=4.173

 ?
TT=1369.28

 ? (MO)
TT=1.671
fisher/
FISCHER10-12-fair.xml		 UNSAT
TT=1570.47

 ?
TT=7.393

 ?
TT=7.415

 UNSAT
TT=1570.47

 ?
TT=3.901

 ?
TT=3.972

 ?
TT=5.086

 Signal
TT=6.778

 ? (TO)
TT=1800.05

 ? (TO)
TT=1800.02

 ? (MO)
TT=1.702

 ?
TT=4.278

 ?
TT=4.307

 ?
TT=1481.19

 ? (MO)
TT=1.66
fisher/
FISCHER10-13-fair.xml


?
TT=7.395

 ?
TT=7.405

 ? (TO)
TT=1800.12

 ?
TT=4.037

 ?
TT=4.033

 ?
TT=4.81

 Signal
TT=6.911

 ? (TO)
TT=1800.05

 ? (TO)
TT=1800.04

 ? (MO)
TT=1.668

 ?
TT=4.16

 ?
TT=4.39

 ?
TT=1624.97

 ? (exit code)
TT=1.643
fisher/
FISCHER10-14-fair.xml


?
TT=7.373

 ?
TT=7.233

 ? (TO)
TT=1800.03

 ?
TT=3.958

 ?
TT=3.975

 ?
TT=3.708

 Signal
TT=7.268

 ? (TO)
TT=1800.04

 ? (TO)
TT=1800.09

 ? (MO)
TT=1.668

 ?
TT=4.463

 ?
TT=4.606

 ? (TO)
TT=1801.63

 ? (MO)
TT=1.684
fisher/
FISCHER10-15-fair.xml		 UNSAT
TT=1571.44

 ?
TT=7.198

 ?
TT=7.416

 UNSAT
TT=1571.44

 ?
TT=3.756

 ?
TT=3.716

 ?
TT=5.043

 Signal
TT=7.139

 ? (TO)
TT=1800.06

 ? (TO)
TT=1800

 ? (MO)
TT=1.673

 ?
TT=3.697

 ?
TT=3.938

 ? (TO)
TT=1803.83

 ? (MO)
TT=1.588
fisher/
FISCHER10-1-fair.xml		 UNSAT
TT=0.371

 ?
TT=7.096

 ?
TT=7.232

 UNSAT
TT=0.371

 ?
TT=3.826

 ?
TT=3.765

 ?
TT=5.147

 Signal
TT=6.401

 ? (TO)
TT=1800.02

 ? (TO)
TT=1800.06

 Signal
TT=2.617

 ?
TT=3.438

 ?
TT=3.547

 ?
TT=166.76

 Signal
TT=2.481
fisher/
FISCHER10-2-fair.xml		 UNSAT
TT=1565.7

 ?
TT=7.228

 ?
TT=7.416

 UNSAT
TT=1565.7

 ?
TT=3.941

 ?
TT=3.735

 ?
TT=4.796

 Signal
TT=6.7

 ? (TO)
TT=1800.01

 ? (TO)
TT=1800.1

 Signal
TT=5.354

 ?
TT=3.15

 ?
TT=3.387

 ?
TT=292.682

 Signal
TT=5.124
fisher/
FISCHER10-3-fair.xml


?
TT=7.569

 ?
TT=7.337

 ? (TO)
TT=1800.09

 ?
TT=3.718

 ?
TT=3.819

 ?
TT=4.937

 Signal
TT=7.413

 ? (TO)
TT=1800

 ? (TO)
TT=1800.05

 ? (MO)
TT=1.663

 ?
TT=3.157

 ?
TT=2.975

 ?
TT=409.411

 ? (MO)
TT=1.67
fisher/
FISCHER10-4-fair.xml		 UNSAT
TT=1575.31

 ?
TT=7.247

 ?
TT=7.425

 UNSAT
TT=1575.31

 ?
TT=3.68

 ?
TT=3.807

 ?
TT=4.391

 Signal
TT=6.449

 ? (TO)
TT=1800.02

 ? (TO)
TT=1800.06

 ? (MO)
TT=1.688

 ?
TT=3.513

 ?
TT=3.588

 ?
TT=513.021

 ? (MO)
TT=1.676
Bench nameBest results
on this
instance		Abscon
109 ESAC		Abscon
109 AC		BPrologCSPSolver70a
2006-12-13		CSP4J - Combo
2006-12-19		CSP4J - MAC
2006-12-19		CSP4J - MAC
2007-01-16		CSPtoSAT+minisat
0.3		galac
1		galacJ
beta 1		Mistral
2006-12-04		sat4jCSP
1.7 RC BF3		SAT4JCSP-CACHED
1.7 RC BF3		sugar
0.40		Tramontane
2006-12-04
fisher/
FISCHER10-5-fair.xml


?
TT=7.386

 ?
TT=7.283

 ? (TO)
TT=1800.09

 ?
TT=5.253

 ?
TT=5.051

 ?
TT=4.985

 Signal
TT=6.982

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.07

 ? (MO)
TT=1.614

 ?
TT=3.719

 ?
TT=3.463

 ?
TT=1667.37

 ? (MO)
TT=1.679
fisher/
FISCHER10-6-fair.xml


?
TT=9.503

 ?
TT=7.269

 ? (TO)
TT=1800.04

 ?
TT=5.394

 ?
TT=4.823

 ?
TT=4.623

 Signal
TT=6.924

 ? (TO)
TT=1800.03

 ? (TO)
TT=1800.04

 ? (MO)
TT=1.679

 ?
TT=3.79

 ?
TT=3.832

 ?
TT=801.794

 ? (MO)
TT=1.619
fisher/
FISCHER10-7-fair.xml		 UNSAT
TT=1562.13

 ?
TT=7.337

 ?
TT=7.567

 UNSAT
TT=1562.13

 ?
TT=3.965

 ?
TT=3.922

 ?
TT=5.122

 Signal
TT=6.897

 ? (TO)
TT=1800.01

 ? (TO)
TT=1800.07

 ? (MO)
TT=1.683

 ?
TT=3.751

 ?
TT=4.663

 ?
TT=894.257

 ? (MO)
TT=1.667
fisher/
FISCHER10-8-fair.xml


?
TT=7.246

 ?
TT=7.23

 ? (TO)
TT=1800.1

 ?
TT=3.869

 ?
TT=4.055

 ?
TT=3.767

 Signal
TT=6.244

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.03

 ? (exit code)
TT=1.674

 ?
TT=4.031

 ?
TT=4.045

 ?
TT=1025.65

 ? (MO)
TT=1.674
fisher/
FISCHER10-9-fair.xml		 UNSAT
TT=1568.61

 ?
TT=7.443

 ?
TT=7.531

 UNSAT
TT=1568.61

 ?
TT=3.946

 ?
TT=3.908

 ?
TT=3.632

 Signal
TT=6.91

 ? (TO)
TT=1800.09

 ? (TO)
TT=1800.05

 ? (MO)
TT=1.67

 ?
TT=3.942

 ?
TT=3.934

 ? (TO)
TT=1802.04

 ? (MO)
TT=1.672
fisher/
FISCHER11-10-fair.xml		 UNSAT
TT=1570.87

 ?
TT=7.338

 ?
TT=7.488

 UNSAT
TT=1570.87

 ?
TT=4.304

 ?
TT=4.063

 ?
TT=5.07

 Signal
TT=6.897

 ? (TO)
TT=1800.08

 ? (TO)
TT=1800.09

 ? (MO)
TT=1.595

 ?
TT=4.155

 ?
TT=4.171

 ?
TT=1373.75

 ? (MO)
TT=1.683
fisher/
FISCHER11-11-fair.xml


?
TT=7.387

 ?
TT=7.441

 ? (TO)
TT=1800.04

 ?
TT=4.035

 ?
TT=4.029

 ?
TT=5.106

 Signal
TT=7.171

 ? (TO)
TT=1800.1

 ? (TO)
TT=1800.01

 ? (MO)
TT=1.671

 ?
TT=4.202

 ?
TT=4.326

 ? (TO)
TT=1802.46

 ? (MO)
TT=1.693
fisher/
FISCHER11-12-fair.xml		 UNSAT
TT=1570.44

 ?
TT=7.184

 ?
TT=7.112

 UNSAT
TT=1570.44

 ?
TT=4.143

 ?
TT=4.101

 ?
TT=4.34

 Signal
TT=7.302

 ? (TO)
TT=1800.02

 ? (TO)
TT=1800

 ? (MO)
TT=1.668

 ?
TT=4.467

 ?
TT=4.45

 ? (TO)
TT=1804.54

 ? (MO)
TT=1.673
fisher/
FISCHER11-13-fair.xml		 UNSAT
TT=1577.87

 ?
TT=8.843

 ?
TT=7.319

 UNSAT
TT=1577.87

 ?
TT=5.265

 ?
TT=3.916

 ?
TT=4.212

 Signal
TT=7.292

 ? (TO)
TT=1800.01

 ? (TO)
TT=1800.07

 ? (MO)
TT=1.771

 ?
TT=5.145

 ?
TT=4.553

 ? (TO)
TT=1801.74

 ? (MO)
TT=1.663
fisher/
FISCHER11-14-fair.xml


?
TT=7.216

 ?
TT=7.227

 ? (TO)
TT=1800.1

 ?
TT=4.039

 ?
TT=3.843

 ?
TT=3.892

 Signal
TT=7.461

 ? (TO)
TT=1800.08

 ? (TO)
TT=1800.02

 ? (MO)
TT=1.675

 ?
TT=3.924

 ?
TT=3.71

 ? (TO)
TT=1804.13

 ? (MO)
TT=1.671
Bench nameBest results
on this
instance		Abscon
109 ESAC		Abscon
109 AC		BPrologCSPSolver70a
2006-12-13		CSP4J - Combo
2006-12-19		CSP4J - MAC
2006-12-19		CSP4J - MAC
2007-01-16		CSPtoSAT+minisat
0.3		galac
1		galacJ
beta 1		Mistral
2006-12-04		sat4jCSP
1.7 RC BF3		SAT4JCSP-CACHED
1.7 RC BF3		sugar
0.40		Tramontane
2006-12-04
fisher/
FISCHER11-15-fair.xml


?
TT=7.16

 ?
TT=7.266

 ? (TO)
TT=1800.12

 ?
TT=4.337

 ?
TT=3.743

 ?
TT=4.334

 Signal
TT=6.773

 ? (TO)
TT=1800.09

 ? (TO)
TT=1800.01

 ? (MO)
TT=1.87

 ?
TT=3.76

 ?
TT=3.756

 ? (TO)
TT=1802.38

 ? (MO)
TT=1.722
fisher/
FISCHER11-16-fair.xml		 UNSAT
TT=1569.18

 ?
TT=7.437

 ?
TT=7.398

 UNSAT
TT=1569.18

 ?
TT=3.894

 ?
TT=3.853

 ?
TT=5.292

 Signal
TT=7.083

 ? (TO)
TT=1800

 ? (TO)
TT=1800.06

 ? (MO)
TT=1.672

 ?
TT=4.11

 ?
TT=4.087

 ? (TO)
TT=1803.62

 ? (MO)
TT=1.679
fisher/
FISCHER11-1-fair.xml		 UNSAT
TT=0.425

 ?
TT=7.282

 ?
TT=8.476

 UNSAT
TT=0.425

 ?
TT=3.822

 ?
TT=3.682

 ?
TT=4.482

 Signal
TT=6.657

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.03

 Signal
TT=2.956

 ?
TT=3.463

 ?
TT=3.335

 ?
TT=177.488

 Signal
TT=3.023
fisher/
FISCHER11-2-fair.xml		 UNSAT
TT=1565.33

 ?
TT=7.357

 ?
TT=7.216

 UNSAT
TT=1565.33

 ?
TT=3.733

 ?
TT=3.687

 ?
TT=4.434

 Signal
TT=6.714

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.08

 Signal
TT=5.252

 ?
TT=3.482

 ?
TT=3.459

 ?
TT=844.639

 Signal
TT=5.621
fisher/
FISCHER11-3-fair.xml


?
TT=7.358

 ?
TT=7.46

 ? (TO)
TT=1800.13

 ?
TT=3.764

 ?
TT=3.756

 ?
TT=3.579

 Signal
TT=6.114

 ? (TO)
TT=1800.08

 ? (TO)
TT=1800.03

 ? (MO)
TT=1.668

 ?
TT=3.003

 ?
TT=3.213

 ?
TT=448.185

 ? (MO)
TT=1.651
fisher/
FISCHER11-4-fair.xml


?
TT=7.159

 ?
TT=7.413

 ? (TO)
TT=1800.02

 ?
TT=3.828

 ?
TT=3.745

 ?
TT=4.4

 Signal
TT=6.267

 ? (TO)
TT=1800.08

 ? (TO)
TT=1800.1

 ? (MO)
TT=1.664

 ?
TT=3.397

 ?
TT=3.394

 ?
TT=1333.03

 ? (MO)
TT=1.669
fisher/
FISCHER11-5-fair.xml		 UNSAT
TT=1567.98

 ?
TT=7.477

 ?
TT=7.185

 UNSAT
TT=1567.98

 ?
TT=3.804

 ?
TT=3.815

 ?
TT=4.884

 Signal
TT=6.198

 ? (TO)
TT=1800.05

 ? (TO)
TT=1800.02

 ? (MO)
TT=1.64

 ?
TT=3.728

 ?
TT=3.5

 ? (TO)
TT=1803.2

 ? (MO)
TT=1.688
fisher/
FISCHER11-6-fair.xml		 UNSAT
TT=1569.49

 ?
TT=7.475

 ?
TT=7.228

 UNSAT
TT=1569.49

 ?
TT=3.913

 ?
TT=3.961

 ?
TT=4.418

 Signal
TT=7.021

 ? (TO)
TT=1800.04

 ? (TO)
TT=1800.03

 ? (MO)
TT=1.684

 ?
TT=3.873

 ?
TT=3.895

 ?
TT=813.44

 ? (MO)
TT=1.667
fisher/
FISCHER11-7-fair.xml


?
TT=7.539

 ?
TT=7.586

 ? (TO)
TT=1800.03

 ?
TT=3.884

 ?
TT=3.892

 ?
TT=4.303

 Signal
TT=6.577

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.08

 ? (MO)
TT=1.61

 ?
TT=4.077

 ?
TT=4.005

 ?
TT=963.746

 ? (MO)
TT=1.668
fisher/
FISCHER11-8-fair.xml		 UNSAT
TT=1567.8

 ?
TT=7.478

 ?
TT=7.378

 UNSAT
TT=1567.8

 ?
TT=3.895

 ?
TT=4.004

 ?
TT=4.495

 Signal
TT=7.437

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800

 ? (MO)
TT=1.672

 ?
TT=4.288

 ?
TT=3.894

 ?
TT=1141.32

 ? (MO)
TT=1.662
Bench nameBest results
on this
instance		Abscon
109 ESAC		Abscon
109 AC		BPrologCSPSolver70a
2006-12-13		CSP4J - Combo
2006-12-19		CSP4J - MAC
2006-12-19		CSP4J - MAC
2007-01-16		CSPtoSAT+minisat
0.3		galac
1		galacJ
beta 1		Mistral
2006-12-04		sat4jCSP
1.7 RC BF3		SAT4JCSP-CACHED
1.7 RC BF3		sugar
0.40		Tramontane
2006-12-04
fisher/
FISCHER11-9-fair.xml		 UNSAT
TT=1573.15

 ?
TT=7.282

 ?
TT=7.253

 UNSAT
TT=1573.15

 ?
TT=3.974

 ?
TT=4.019

 ?
TT=3.621

 Signal
TT=6.717

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.06

 ? (MO)
TT=1.676

 ?
TT=4.312

 ?
TT=4.001

 ? (TO)
TT=1802.98

 ? (MO)
TT=1.668
fisher/
FISCHER1-1-fair.xml		 UNSAT
TT=0.046

 ? (TO)
TT=1800.16

 ? (TO)
TT=1800.17

 UNSAT
TT=0.046

 ? (MO)
TT=0.005

 ? (MO)
TT=0.006

 ?
TT=13.09

 ? (MO)
TT=5.659

 ? (TO)
TT=1800.09

 ? (TO)
TT=1800.01

 Signal
TT=0.29

 ? (MO)
TT=27.417

 ? (MO)
TT=5.511

 ? (MO)
TT=27.88

 Signal
TT=0.275
fisher/
FISCHER1-2-fair.xml		 UNSAT
TT=0.06

 ? (TO)
TT=1800.21

 ? (TO)
TT=1800.17

 UNSAT
TT=0.06

 ? (MO)
TT=0.006

 ? (MO)
TT=0.004

 ?
TT=6.083

 ? (MO)
TT=10.809

 ? (TO)
TT=1800.02

 ? (TO)
TT=1800.06

 Signal
TT=0.478

 ? (MO)
TT=16.034

 ? (MO)
TT=9.402

 ? (MO)
TT=32.93

 Signal
TT=0.478
fisher/
FISCHER1-3-fair.xml		 UNSAT
TT=0.086

 ?
TT=14.391

 ?
TT=15.305

 UNSAT
TT=0.086

 ?
TT=670.991

 ?
TT=703.811

 ?
TT=5.235

 ? (MO)
TT=3.786

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.01

 Signal
TT=0.684

 ? (MO)
TT=5.98

 ? (MO)
TT=7.485

 ? (MO)
TT=45.06

 Signal
TT=0.682
fisher/
FISCHER1-4-fair.xml		 UNSAT
TT=0.116

 ?
TT=14.742

 ?
TT=15.3

 UNSAT
TT=0.116

 ?
TT=16.701

 ?
TT=17.278

 ?
TT=3.691

 Signal
TT=6.235

 ? (TO)
TT=1800.02

 ? (TO)
TT=1800.04

 Signal
TT=0.999

 ?
TT=15.172

 ?
TT=14.973

 ? (MO)
TT=58.42

 Signal
TT=1.113
fisher/
FISCHER1-5-fair.xml		 UNSAT
TT=0.18

 ?
TT=14.037

 ?
TT=13.706

 UNSAT
TT=0.18

 ?
TT=3.714

 ?
TT=3.686

 ?
TT=5.06

 Signal
TT=6.58

 ? (TO)
TT=1800.01

 ? (TO)
TT=1800.05

 Signal
TT=1.184

 ?
TT=3.629

 ?
TT=3.536

 ? (MO)
TT=66.57

 Signal
TT=1.152
fisher/
FISCHER1-6-fair.xml		 UNSAT
TT=0.318

 ?
TT=10.093

 ?
TT=10.345

 UNSAT
TT=0.318

 ?
TT=3.783

 ?
TT=3.694

 ?
TT=4.565

 Signal
TT=6.371

 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.04

 Signal
TT=1.31

 ?
TT=4.888

 ?
TT=4.857

 ? (MO)
TT=83.28

 Signal
TT=1.297
fisher/
FISCHER2-1-fair.xml		 UNSAT
TT=0.069

 ? (TO)
TT=1800.26

 ? (TO)
TT=1800.3

 UNSAT
TT=0.069

 ?
TT=970.433

 ?
TT=903.411

 ?
TT=5.168

 ? (MO)
TT=4.167

 ? (TO)
TT=1800.08

 ? (TO)
TT=1800.02

 Signal
TT=0.516

 ? (MO)
TT=5.252

 ? (MO)
TT=5.986

 ? (MO)
TT=35.79

 Signal
TT=0.53
fisher/
FISCHER2-2-fair.xml


?
TT=15.701

 ?
TT=14.378

 ? (TO)
TT=1800.03

 ?
TT=14.04

 ?
TT=14.306

 ?
TT=5.08

 Signal
TT=6.566

 ? (TO)
TT=1800

 ? (TO)
TT=1800.05

 Signal
TT=0.948

 ? (exit code)
TT=13.843

 ? (exit code)
TT=14.921

 ? (MO)
TT=57.11

 Signal
TT=0.95
fisher/
FISCHER2-3-fair.xml		 UNSAT
TT=1568.6

 ?
TT=10.187

 ?
TT=9.887

 UNSAT
TT=1568.6

 ?
TT=3.821

 ?
TT=3.799

 ?
TT=4.383

 Signal
TT=6.2

 ? (TO)
TT=1800.01

 ? (TO)
TT=1800.06

 Signal
TT=1.361

 ?
TT=4.9

 ?
TT=4.824

 ? (MO)
TT=80.59

 Signal
TT=1.318
Bench nameBest results
on this
instance		Abscon
109 ESAC		Abscon
109 AC		BPrologCSPSolver70a
2006-12-13		CSP4J - Combo
2006-12-19		CSP4J - MAC
2006-12-19		CSP4J - MAC
2007-01-16		CSPtoSAT+minisat
0.3		galac
1		galacJ
beta 1		Mistral
2006-12-04		sat4jCSP
1.7 RC BF3		SAT4JCSP-CACHED
1.7 RC BF3		sugar
0.40		Tramontane
2006-12-04
fisher/
FISCHER2-4-fair.xml		 UNSAT
TT=1562.84

 ?
TT=7.175

 ?
TT=7.304

 UNSAT
TT=1562.84

 ?
TT=3.672

 ?
TT=3.702

 ?
TT=4.386

 Signal
TT=6.161

 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.08

 Signal
TT=2.004

 ?
TT=4.952

 ?
TT=4.572

 ? (MO)
TT=106.06

 Signal
TT=1.715
fisher/
FISCHER2-5-fair.xml		 UNSAT
TT=1573.72

 ?
TT=7.743

 ?
TT=7.221

 UNSAT
TT=1573.72

 ?
TT=4.141

 ?
TT=4.243

 ?
TT=4.949

 Signal
TT=6.545

 ? (TO)
TT=1800.01

 ? (TO)
TT=1800.09

 Signal
TT=2.252

 ?
TT=4.702

 ?
TT=4.518

 ?
TT=131.44

 Signal
TT=2.185
fisher/
FISCHER2-6-fair.xml


?
TT=7.382

 ?
TT=7.245

 ? (TO)
TT=1800.09

 ?
TT=3.66

 ?
TT=3.673

 ?
TT=3.711

 Signal
TT=6.619

 ? (TO)
TT=1800.02

 ? (TO)
TT=1800.02

 Signal
TT=2.409

 ?
TT=3.525

 ?
TT=3.278

 ?
TT=1.18

 Signal
TT=2.511
fisher/
FISCHER2-7-fair.xml


?
TT=7.358

 ?
TT=7.474

 ? (TO)
TT=1800.09

 ?
TT=3.805

 ?
TT=3.735

 ?
TT=3.703

 Signal
TT=6.322

 ? (TO)
TT=1800.1

 ? (TO)
TT=1800.05

 Signal
TT=2.882

 ?
TT=3.321

 ?
TT=3.422

 ?
TT=174.768

 Signal
TT=2.773
fisher/
FISCHER3-1-fair.xml		 UNSAT
TT=0.089

 ?
TT=16.514

 ? (TO)
TT=1800.21

 UNSAT
TT=0.089

 ?
TT=303.98

 ?
TT=309.854

 ?
TT=4.636

 ? (MO)
TT=4.139

 ? (TO)
TT=1800.09

 ? (TO)
TT=1800.05

 Signal
TT=0.772

 ? (MO)
TT=8.91

 ? (MO)
TT=9.025

 ? (MO)
TT=51.88

 Signal
TT=0.776
fisher/
FISCHER3-2-fair.xml


?
TT=9.693

 ?
TT=10.033

 ? (TO)
TT=1800.09

 ?
TT=3.717

 ?
TT=3.703

 ?
TT=4.981

 Signal
TT=7.296

 ? (TO)
TT=1800.09

 ? (TO)
TT=1800.08

 Signal
TT=1.307

 ?
TT=4.451

 ?
TT=4.559

 ? (MO)
TT=88.63

 Signal
TT=1.371
fisher/
FISCHER3-3-fair.xml


?
TT=7.284

 ?
TT=9.282

 ? (TO)
TT=1800.09

 ?
TT=3.669

 ?
TT=3.702

 ?
TT=4.936

 Signal
TT=6.425

 ? (TO)
TT=1800.05

 ? (TO)
TT=1800.09

 Signal
TT=1.879

 ?
TT=4.668

 ?
TT=4.152

 ?
TT=121.961

 Signal
TT=1.979
fisher/
FISCHER3-4-fair.xml


?
TT=7.553

 ?
TT=7.212

 ? (TO)
TT=1800.07

 ?
TT=3.923

 ?
TT=3.932

 ?
TT=4.106

 Signal
TT=6.677

 ? (TO)
TT=1800.01

 ? (TO)
TT=1800.01

 Signal
TT=2.752

 ?
TT=3.735

 ?
TT=3.59

 ?
TT=148.781

 Signal
TT=2.71
fisher/
FISCHER3-5-fair.xml		 UNSAT
TT=1570.51

 ?
TT=7.222

 ?
TT=7.479

 UNSAT
TT=1570.51

 ?
TT=3.957

 ?
TT=3.822

 ?
TT=5.122

 Signal
TT=6.318

 ? (TO)
TT=1800.04

 ? (TO)
TT=1800.01

 Signal
TT=2.989

 ?
TT=3.522

 ?
TT=3.595

 ?
TT=183.52

 Signal
TT=3.107
fisher/
FISCHER3-6-fair.xml		 UNSAT
TT=1568.1

 ?
TT=7.104

 ?
TT=7.394

 UNSAT
TT=1568.1

 ?
TT=3.76

 ?
TT=3.713

 ?
TT=4.927

 Signal
TT=6.251

 ? (TO)
TT=1800.01

 ? (TO)
TT=1800.05

 Signal
TT=3.564

 ?
TT=2.783

 ?
TT=2.909

 ?
TT=234.764

 Signal
TT=3.744
Bench nameBest results
on this
instance		Abscon
109 ESAC		Abscon
109 AC		BPrologCSPSolver70a
2006-12-13		CSP4J - Combo
2006-12-19		CSP4J - MAC
2006-12-19		CSP4J - MAC
2007-01-16		CSPtoSAT+minisat
0.3		galac
1		galacJ
beta 1		Mistral
2006-12-04		sat4jCSP
1.7 RC BF3		SAT4JCSP-CACHED
1.7 RC BF3		sugar
0.40		Tramontane
2006-12-04
fisher/
FISCHER3-7-fair.xml		 UNSAT
TT=1572.02

 ?
TT=7.222

 ?
TT=7.457

 UNSAT
TT=1572.02

 ?
TT=3.895

 ?
TT=3.764

 ?
TT=3.605

 Signal
TT=6.58

 ? (TO)
TT=1800.08

 ? (TO)
TT=1800.03

 Signal
TT=4.713

 ?
TT=3.281

 ?
TT=3.428

 ?
TT=249.43

 Signal
TT=4.823
fisher/
FISCHER3-8-fair.xml		 UNSAT
TT=1563.86

 ?
TT=7.885

 ?
TT=7.405

 UNSAT
TT=1563.86

 ?
TT=3.977

 ?
TT=3.822

 ?
TT=4.858

 Signal
TT=6.044

 ? (TO)
TT=1800.1

 ? (TO)
TT=1800.09

 Signal
TT=5.42

 ?
TT=3.302

 ?
TT=3.405

 ?
TT=289.78

 Signal
TT=5.33
fisher/
FISCHER4-1-fair.xml		 UNSAT
TT=0.115

 ?
TT=13.286

 ?
TT=13.597

 UNSAT
TT=0.115

 ?
TT=3.81

 ?
TT=3.846

 ?
TT=4.339

 Signal
TT=6.696

 ? (TO)
TT=1800.03

 ? (TO)
TT=1800.01

 Signal
TT=1.004

 ?
TT=4.007

 ?
TT=3.881

 ? (MO)
TT=64.35

 Signal
TT=1.031
fisher/
FISCHER4-2-fair.xml		 UNSAT
TT=1568.1

 ?
TT=7.51

 ?
TT=7.286

 UNSAT
TT=1568.1

 ?
TT=3.911

 ?
TT=3.816

 ?
TT=4.936

 Signal
TT=6.583

 ? (TO)
TT=1800.09

 ? (TO)
TT=1800.06

 Signal
TT=1.814

 ?
TT=3.946

 ?
TT=3.805

 ? (MO)
TT=106.69

 Signal
TT=1.813
fisher/
FISCHER4-3-fair.xml


?
TT=7.259

 ?
TT=7.269

 ? (TO)
TT=1800.04

 ?
TT=4.477

 ?
TT=4.829

 ?
TT=5.089

 Signal
TT=6.605

 ? (TO)
TT=1800.08

 ? (TO)
TT=1800.01

 Signal
TT=2.49

 ?
TT=4.374

 ?
TT=3.376

 ?
TT=160.727

 Signal
TT=2.477
fisher/
FISCHER4-4-fair.xml		 UNSAT
TT=1569.34

 ?
TT=7.369

 ?
TT=7.251

 UNSAT
TT=1569.34

 ?
TT=3.825

 ?
TT=3.857

 ?
TT=5.062

 Signal
TT=6.47

 ? (TO)
TT=1800.02

 ? (TO)
TT=1800.11

 Signal
TT=3.4

 ?
TT=2.581

 ?
TT=2.715

 ?
TT=211.407

 Signal
TT=3.593
fisher/
FISCHER4-5-fair.xml		 UNSAT
TT=1572.26

 ?
TT=7.602

 ?
TT=7.411

 UNSAT
TT=1572.26

 ?
TT=3.75

 ?
TT=3.798

 ?
TT=4.953

 Signal
TT=6.676

 ? (TO)
TT=1800.02

 ? (TO)
TT=1800

 Signal
TT=6.042

 ?
TT=3.234

 ?
TT=3.054

 ?
TT=251.601

 Signal
TT=6.236
fisher/
FISCHER4-6-fair.xml


?
TT=7.203

 ?
TT=7.256

 ? (TO)
TT=1800.08

 ?
TT=3.813

 ?
TT=3.78

 ?
TT=4.941

 Signal
TT=6.081

 ? (TO)
TT=1800.03

 ? (TO)
TT=1800.1

 Signal
TT=5.976

 ?
TT=3.451

 ?
TT=3.464

 ?
TT=296.78

 Signal
TT=5.665
fisher/
FISCHER4-7-fair.xml


?
TT=7.209

 ?
TT=7.194

 ? (TO)
TT=1800.11

 ?
TT=3.694

 ?
TT=3.69

 ?
TT=4.563

 Signal
TT=7.122

 ? (TO)
TT=1800.03

 ? (TO)
TT=1800.07

 ? (MO)
TT=1.672

 ?
TT=3.785

 ?
TT=3.81

 ?
TT=616.196

 ? (MO)
TT=1.681
fisher/
FISCHER4-8-fair.xml


?
TT=7.498

 ?
TT=10.7

 ? (TO)
TT=1800.07

 ?
TT=3.826

 ?
TT=3.707

 ?
TT=3.563

 Signal
TT=6.739

 ? (TO)
TT=1800.03

 ? (TO)
TT=1800.09

 ? (MO)
TT=1.697

 ?
TT=2.979

 ?
TT=2.96

 ?
TT=389.599

 ? (MO)
TT=1.691
Bench nameBest results
on this
instance		Abscon
109 ESAC		Abscon
109 AC		BPrologCSPSolver70a
2006-12-13		CSP4J - Combo
2006-12-19		CSP4J - MAC
2006-12-19		CSP4J - MAC
2007-01-16		CSPtoSAT+minisat
0.3		galac
1		galacJ
beta 1		Mistral
2006-12-04		sat4jCSP
1.7 RC BF3		SAT4JCSP-CACHED
1.7 RC BF3		sugar
0.40		Tramontane
2006-12-04
fisher/
FISCHER4-9-fair.xml		 UNSAT
TT=1563.83

 ?
TT=7.167

 ?
TT=7.276

 UNSAT
TT=1563.83

 ?
TT=3.836

 ?
TT=3.796

 ?
TT=4.861

 Signal
TT=6.41

 ? (TO)
TT=1800.04

 ? (TO)
TT=1800.08

 ? (MO)
TT=1.553

 ?
TT=3.016

 ?
TT=3.045

 ?
TT=438.397

 ? (MO)
TT=1.673
fisher/
FISCHER5-10-fair.xml		 UNSAT
TT=1566.16

 ?
TT=7.41

 ?
TT=7.291

 UNSAT
TT=1566.16

 ?
TT=3.972

 ?
TT=3.9

 ?
TT=4.972

 Signal
TT=6.096

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.01

 ? (MO)
TT=1.673

 ?
TT=3.674

 ?
TT=3.416

 ?
TT=1473.35

 ? (MO)
TT=1.774
fisher/
FISCHER5-1-fair.xml		 UNSAT
TT=0.147

 ?
TT=10.758

 ?
TT=11.221

 UNSAT
TT=0.147

 ?
TT=3.829

 ?
TT=3.776

 ?
TT=5.405

 Signal
TT=6.4

 ? (TO)
TT=1800.02

 ? (TO)
TT=1800.02

 Signal
TT=1.294

 ?
TT=4.666

 ?
TT=4.827

 ? (MO)
TT=81.71

 Signal
TT=1.29
fisher/
FISCHER5-2-fair.xml		 UNSAT
TT=1572.45

 ?
TT=7.483

 ?
TT=7.462

 UNSAT
TT=1572.45

 ?
TT=3.83

 ?
TT=3.803

 ?
TT=3.558

 Signal
TT=6.498

 ? (TO)
TT=1800.03

 ? (TO)
TT=1800.01

 Signal
TT=2.25

 ?
TT=4.603

 ?
TT=4.609

 ?
TT=137.709

 Signal
TT=2.143
fisher/
FISCHER5-3-fair.xml


?
TT=7.359

 ?
TT=8.071

 ? (TO)
TT=1800.09

 ?
TT=3.771

 ?
TT=3.865

 ?
TT=3.593

 Signal
TT=6.49

 ? (TO)
TT=1800.01

 ? (TO)
TT=1800.07

 Signal
TT=3.229

 ?
TT=3.514

 ?
TT=3.531

 ?
TT=202.65

 Signal
TT=3.624
fisher/
FISCHER5-4-fair.xml


?
TT=7.529

 ?
TT=7.467

 ? (TO)
TT=1800.09

 ?
TT=3.81

 ?
TT=3.802

 ?
TT=4.955

 Signal
TT=6.649

 ? (TO)
TT=1800.01

 ? (TO)
TT=1800.06

 Signal
TT=4.303

 ?
TT=3.051

 ?
TT=3.114

 ?
TT=259.238

 Signal
TT=4.716
fisher/
FISCHER5-5-fair.xml		 UNSAT
TT=1573.57

 ?
TT=7.357

 ?
TT=7.23

 UNSAT
TT=1573.57

 ?
TT=3.827

 ?
TT=3.828

 ?
TT=5.057

 Signal
TT=6.29

 ? (TO)
TT=1800.1

 ? (TO)
TT=1800.07

 Signal
TT=5.718

 ?
TT=3.5

 ?
TT=3.312

 ?
TT=318.933

 Signal
TT=5.677
fisher/
FISCHER5-6-fair.xml		 UNSAT
TT=1568.37

 ?
TT=7.354

 ?
TT=7.373

 UNSAT
TT=1568.37

 ?
TT=3.779

 ?
TT=3.805

 ?
TT=5.034

 Signal
TT=6.49

 ? (TO)
TT=1800.08

 ? (TO)
TT=1800.04

 ? (exit code)
TT=1.668

 ?
TT=3.085

 ?
TT=2.906

 ?
TT=385.114

 ? (MO)
TT=1.677
fisher/
FISCHER5-7-fair.xml


?
TT=7.254

 ?
TT=7.443

 ? (TO)
TT=1800.1

 ?
TT=3.798

 ?
TT=3.776

 ?
TT=3.563

 Signal
TT=6.247

 ? (TO)
TT=1800.1

 ? (TO)
TT=1800.01

 ? (MO)
TT=1.641

 ?
TT=3.209

 ?
TT=3.016

 ?
TT=429.269

 ? (MO)
TT=1.687
fisher/
FISCHER5-8-fair.xml


?
TT=7.223

 ?
TT=7.228

 ? (TO)
TT=1800.03

 ?
TT=3.742

 ?
TT=3.841

 ?
TT=4.865

 Signal
TT=6.793

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.01

 ? (MO)
TT=1.684

 ?
TT=3.519

 ?
TT=3.304

 ?
TT=493.845

 ? (MO)
TT=1.672
Bench nameBest results
on this
instance		Abscon
109 ESAC		Abscon
109 AC		BPrologCSPSolver70a
2006-12-13		CSP4J - Combo
2006-12-19		CSP4J - MAC
2006-12-19		CSP4J - MAC
2007-01-16		CSPtoSAT+minisat
0.3		galac
1		galacJ
beta 1		Mistral
2006-12-04		sat4jCSP
1.7 RC BF3		SAT4JCSP-CACHED
1.7 RC BF3		sugar
0.40		Tramontane
2006-12-04
fisher/
FISCHER5-9-fair.xml


?
TT=7.235

 ?
TT=7.117

 ? (TO)
TT=1800.04

 ?
TT=3.718

 ?
TT=3.807

 ?
TT=3.627

 Signal
TT=6.133

 ? (TO)
TT=1800.01

 ? (TO)
TT=1800.06

 ? (MO)
TT=1.675

 ?
TT=3.458

 ?
TT=3.457

 ?
TT=559.163

 ? (MO)
TT=1.665
fisher/
FISCHER6-10-fair.xml


?
TT=7.428

 ?
TT=7.271

 ? (TO)
TT=1800.09

 ?
TT=3.947

 ?
TT=4.031

 ?
TT=3.626

 Signal
TT=6.877

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.09

 ? (MO)
TT=1.684

 ?
TT=3.596

 ?
TT=3.532

 ?
TT=738.804

 ? (MO)
TT=1.786
fisher/
FISCHER6-11-fair.xml		 UNSAT
TT=1575.79

 ?
TT=9.443

 ?
TT=7.318

 UNSAT
TT=1575.79

 ?
TT=5.276

 ?
TT=4.678

 ?
TT=4.433

 Signal
TT=6.563

 ? (TO)
TT=1800.03

 ? (TO)
TT=1800.01

 ? (MO)
TT=2.086

 ?
TT=3.813

 ?
TT=3.855

 ? (TO)
TT=1804.01

 ? (MO)
TT=1.672
fisher/
FISCHER6-1-fair.xml		 UNSAT
TT=0.18

 ?
TT=7.388

 ?
TT=7.225

 UNSAT
TT=0.18

 ?
TT=3.785

 ?
TT=3.908

 ?
TT=5.004

 Signal
TT=6.568

 ? (TO)
TT=1800.1

 ? (TO)
TT=1800.01

 Signal
TT=1.479

 ?
TT=4.301

 ?
TT=4.26

 ? (MO)
TT=100.1

 Signal
TT=1.578
fisher/
FISCHER6-2-fair.xml		 UNSAT
TT=1569.16

 ?
TT=7.24

 ?
TT=7.298

 UNSAT
TT=1569.16

 ?
TT=3.794

 ?
TT=3.708

 ?
TT=3.619

 Signal
TT=6.86

 ? (TO)
TT=1800.08

 ? (TO)
TT=1800

 Signal
TT=2.955

 ?
TT=3.913

 ?
TT=3.704

 ?
TT=159.961

 Signal
TT=2.614
fisher/
FISCHER6-3-fair.xml


?
TT=7.375

 ?
TT=7.201

 ? (TO)
TT=1800.05

 ?
TT=3.756

 ?
TT=3.763

 ?
TT=5.106

 Signal
TT=6.815

 ? (TO)
TT=1800.06

 ? (TO)
TT=1800

 Signal
TT=3.956

 ?
TT=3.174

 ?
TT=3.183

 ?
TT=237.556

 Signal
TT=3.916
fisher/
FISCHER6-4-fair.xml


?
TT=7.186

 ?
TT=7.228

 ? (TO)
TT=1800.07

 ?
TT=3.964

 ?
TT=3.807

 ?
TT=4.434

 Signal
TT=6.42

 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.09

 Signal
TT=5.565

 ?
TT=3.528

 ?
TT=3.335

 ?
TT=308.99

 Signal
TT=5.565
fisher/
FISCHER6-5-fair.xml


?
TT=7.184

 ?
TT=7.352

 ? (TO)
TT=1800.03

 ?
TT=3.776

 ?
TT=3.775

 ?
TT=4.45

 Signal
TT=6.7

 ? (TO)
TT=1800.08

 ? (TO)
TT=1800.04

 ? (MO)
TT=1.69

 ?
TT=2.934

 ?
TT=3.148

 ?
TT=379.897

 ? (MO)
TT=1.612
fisher/
FISCHER6-6-fair.xml


?
TT=7.096

 ?
TT=7.359

 ? (TO)
TT=1800.03

 ?
TT=3.786

 ?
TT=3.773

 ?
TT=3.884

 Signal
TT=6.385

 ? (TO)
TT=1800.03

 ? (TO)
TT=1800.08

 ? (MO)
TT=1.688

 ?
TT=3.428

 ?
TT=3.422

 ?
TT=466.22

 ? (MO)
TT=2.061
fisher/
FISCHER6-7-fair.xml


?
TT=7.445

 ?
TT=7.27

 ? (TO)
TT=1800.12

 ?
TT=3.771

 ?
TT=3.802

 ?
TT=4.896

 Signal
TT=6.574

 ? (TO)
TT=1800.05

 ? (TO)
TT=1800.03

 ? (MO)
TT=1.652

 ?
TT=3.542

 ?
TT=3.337

 ?
TT=537.278

 ? (MO)
TT=1.674
Bench nameBest results
on this
instance		Abscon
109 ESAC		Abscon
109 AC		BPrologCSPSolver70a
2006-12-13		CSP4J - Combo
2006-12-19		CSP4J - MAC
2006-12-19		CSP4J - MAC
2007-01-16		CSPtoSAT+minisat
0.3		galac
1		galacJ
beta 1		Mistral
2006-12-04		sat4jCSP
1.7 RC BF3		SAT4JCSP-CACHED
1.7 RC BF3		sugar
0.40		Tramontane
2006-12-04
fisher/
FISCHER6-8-fair.xml		 UNSAT
TT=1563.95

 ?
TT=7.564

 ?
TT=7.319

 UNSAT
TT=1563.95

 ?
TT=3.991

 ?
TT=4

 ?
TT=4.174

 Signal
TT=6.811

 ? (TO)
TT=1800.05

 ? (TO)
TT=1800.04

 ? (MO)
TT=1.678

 ?
TT=3.418

 ?
TT=3.443

 ?
TT=596.723

 ? (MO)
TT=1.677
fisher/
FISCHER6-9-fair.xml		 UNSAT
TT=1569.57

 ?
TT=7.515

 ?
TT=7.389

 UNSAT
TT=1569.57

 ?
TT=3.924

 ?
TT=3.907

 ?
TT=4.959

 Signal
TT=7.62

 ? (TO)
TT=1800.04

 ? (TO)
TT=1800.06

 ? (MO)
TT=1.57

 ?
TT=3.475

 ?
TT=3.431

 ?
TT=681.719

 ? (MO)
TT=1.677
fisher/
FISCHER7-10-fair.xml		 UNSAT
TT=1574.11

 ?
TT=7.384

 ?
TT=7.429

 UNSAT
TT=1574.11

 ?
TT=3.976

 ?
TT=3.925

 ?
TT=5.066

 Signal
TT=6.959

 ? (TO)
TT=1800.09

 ? (TO)
TT=1800.08

 ? (MO)
TT=1.668

 ?
TT=3.946

 ?
TT=3.903

 ?
TT=864.494

 ? (MO)
TT=1.667
fisher/
FISCHER7-11-fair.xml		 UNSAT
TT=1569.64

 ?
TT=7.365

 ?
TT=7.571

 UNSAT
TT=1569.64

 ?
TT=3.951

 ?
TT=3.894

 ?
TT=4.548

 Signal
TT=6.949

 ? (TO)
TT=1800

 ? (TO)
TT=1800.06

 ? (MO)
TT=1.659

 ?
TT=4.014

 ?
TT=3.759

 ? (TO)
TT=1804.05

 ? (MO)
TT=1.555
fisher/
FISCHER7-12-fair.xml


?
TT=7.546

 ?
TT=7.381

 ? (TO)
TT=1800.12

 ?
TT=3.967

 ?
TT=4.003

 ?
TT=5.07

 Signal
TT=7.687

 ? (TO)
TT=1800.03

 ? (TO)
TT=1800.07

 ? (MO)
TT=1.673

 ?
TT=3.831

 ?
TT=4.111

 ?
TT=1013.71

 ? (MO)
TT=1.673
fisher/
FISCHER7-1-fair.xml		 UNSAT
TT=0.219

 ?
TT=7.455

 ?
TT=7.481

 UNSAT
TT=0.219

 ?
TT=5.14

 ?
TT=5.045

 ?
TT=5.044

 Signal
TT=6.759

 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.1

 Signal
TT=1.829

 ?
TT=4.315

 ?
TT=4.496

 ? (MO)
TT=109.82

 Signal
TT=1.89
fisher/
FISCHER7-2-fair.xml		 UNSAT
TT=1572.79

 ?
TT=7.382

 ?
TT=7.307

 UNSAT
TT=1572.79

 ?
TT=3.828

 ?
TT=3.818

 ?
TT=5.118

 Signal
TT=6.716

 ? (TO)
TT=1800.05

 ? (TO)
TT=1800.07

 Signal
TT=3.081

 ?
TT=3.641

 ?
TT=3.638

 ?
TT=192.897

 Signal
TT=3.186
fisher/
FISCHER7-3-fair.xml


?
TT=7.249

 ?
TT=7.454

 ? (TO)
TT=1800.09

 ?
TT=3.662

 ?
TT=3.785

 ?
TT=3.737

 Signal
TT=6.825

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.01

 Signal
TT=4.776

 ?
TT=3.309

 ?
TT=3.166

 ?
TT=1210.16

 Signal
TT=5.021
fisher/
FISCHER7-4-fair.xml


?
TT=7.186

 ?
TT=7.216

 ? (TO)
TT=1800.08

 ?
TT=3.702

 ?
TT=3.679

 ?
TT=4.978

 Signal
TT=6.315

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.03

 ? (MO)
TT=1.692

 ?
TT=3.107

 ?
TT=2.876

 ?
TT=360.815

 ? (MO)
TT=1.68
fisher/
FISCHER7-5-fair.xml		 UNSAT
TT=1564.07

 ?
TT=8.008

 ?
TT=8.991

 UNSAT
TT=1564.07

 ?
TT=3.91

 ?
TT=3.904

 ?
TT=4.466

 Signal
TT=6.74

 ? (TO)
TT=1800.09

 ? (TO)
TT=1800.06

 ? (MO)
TT=1.656

 ?
TT=3.217

 ?
TT=3.23

 ?
TT=439.553

 ? (MO)
TT=1.682
Bench nameBest results
on this
instance		Abscon
109 ESAC		Abscon
109 AC		BPrologCSPSolver70a
2006-12-13		CSP4J - Combo
2006-12-19		CSP4J - MAC
2006-12-19		CSP4J - MAC
2007-01-16		CSPtoSAT+minisat
0.3		galac
1		galacJ
beta 1		Mistral
2006-12-04		sat4jCSP
1.7 RC BF3		SAT4JCSP-CACHED
1.7 RC BF3		sugar
0.40		Tramontane
2006-12-04
fisher/
FISCHER7-6-fair.xml


?
TT=7.228

 ?
TT=7.325

 ? (TO)
TT=1800.03

 ?
TT=3.786

 ?
TT=5.739

 ?
TT=4.857

 Signal
TT=6.584

 ? (TO)
TT=1800.04

 ? (TO)
TT=1800

 ? (MO)
TT=1.667

 ?
TT=3.898

 ?
TT=3.328

 ?
TT=876.284

 ? (MO)
TT=1.679
fisher/
FISCHER7-7-fair.xml


?
TT=7.472

 ?
TT=7.256

 ? (TO)
TT=1800.06

 ?
TT=3.838

 ?
TT=3.834

 ?
TT=4.676

 Signal
TT=6.862

 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.07

 ? (MO)
TT=1.631

 ?
TT=3.679

 ?
TT=3.694

 ?
TT=1524.71

 ? (MO)
TT=1.673
fisher/
FISCHER7-8-fair.xml


?
TT=11.614

 ?
TT=7.481

 ? (TO)
TT=1800.06

 ?
TT=3.877

 ?
TT=3.866

 ?
TT=3.726

 Signal
TT=6.707

 ? (TO)
TT=1800

 ? (TO)
TT=1800.1

 ? (MO)
TT=2.281

 ?
TT=4.058

 ?
TT=3.86

 ? (TO)
TT=1802.59

 ? (MO)
TT=1.63
fisher/
FISCHER7-9-fair.xml		 UNSAT
TT=1568.74

 ?
TT=7.238

 ?
TT=7.39

 UNSAT
TT=1568.74

 ?
TT=3.906

 ?
TT=3.955

 ?
TT=4.519

 Signal
TT=6.852

 ? (TO)
TT=1800.09

 ? (TO)
TT=1800.09

 ? (MO)
TT=1.678

 ?
TT=3.823

 ?
TT=3.575

 ?
TT=773.86

 ? (MO)
TT=1.659
fisher/
FISCHER8-10-fair.xml


?
TT=7.382

 ?
TT=7.26

 ? (TO)
TT=1800.05

 ?
TT=3.967

 ?
TT=3.888

 ?
TT=3.7

 Signal
TT=6.752

 ? (TO)
TT=1800.01

 ? (TO)
TT=1800.1

 ? (MO)
TT=1.652

 ?
TT=4.092

 ?
TT=4.023

 ?
TT=975.834

 ? (MO)
TT=1.687
fisher/
FISCHER8-11-fair.xml		 UNSAT
TT=1573.77

 ?
TT=7.448

 ?
TT=7.328

 UNSAT
TT=1573.77

 ?
TT=4.002

 ?
TT=3.981

 ?
TT=4.289

 Signal
TT=7.075

 ? (TO)
TT=1800.08

 ? (TO)
TT=1800.04

 ? (MO)
TT=1.619

 ?
TT=4.729

 ?
TT=4.151

 ? (TO)
TT=1802.19

 ? (MO)
TT=1.793
fisher/
FISCHER8-12-fair.xml		 UNSAT
TT=1569.6

 ?
TT=7.146

 ?
TT=10.366

 UNSAT
TT=1569.6

 ?
TT=3.981

 ?
TT=3.925

 ?
TT=3.665

 Signal
TT=6.671

 ? (TO)
TT=1800.02

 ? (TO)
TT=1800

 ? (MO)
TT=1.668

 ?
TT=4.265

 ?
TT=4.283

 ?
TT=1213.02

 ? (MO)
TT=1.664
fisher/
FISCHER8-13-fair.xml		 UNSAT
TT=1566.77

 ?
TT=7.437

 ?
TT=7.26

 UNSAT
TT=1566.77

 ?
TT=3.976

 ?
TT=3.899

 ?
TT=4.469

 Signal
TT=6.699

 ? (TO)
TT=1800.05

 ? (TO)
TT=1800.03

 ? (MO)
TT=1.613

 ?
TT=4.358

 ?
TT=4.367

 ? (TO)
TT=1804.11

 ? (MO)
TT=1.874
fisher/
FISCHER8-1-fair.xml		 UNSAT
TT=0.267

 ?
TT=9.169

 ?
TT=7.26

 UNSAT
TT=0.267

 ?
TT=5.178

 ?
TT=4.366

 ?
TT=3.682

 Signal
TT=7.311

 ? (TO)
TT=1800.1

 ? (TO)
TT=1800.08

 Signal
TT=2.069

 ?
TT=4.133

 ?
TT=4.232

 ?
TT=127.039

 Signal
TT=2.071
fisher/
FISCHER8-2-fair.xml		 UNSAT
TT=1566.75

 ?
TT=7.437

 ?
TT=7.277

 UNSAT
TT=1566.75

 ?
TT=3.798

 ?
TT=3.833

 ?
TT=4.306

 Signal
TT=6.631

 ? (TO)
TT=1800.08

 ? (TO)
TT=1800.1

 Signal
TT=3.465

 ?
TT=2.87

 ?
TT=2.763

 ?
TT=226.822

 Signal
TT=3.649
Bench nameBest results
on this
instance		Abscon
109 ESAC		Abscon
109 AC		BPrologCSPSolver70a
2006-12-13		CSP4J - Combo
2006-12-19		CSP4J - MAC
2006-12-19		CSP4J - MAC
2007-01-16		CSPtoSAT+minisat
0.3		galac
1		galacJ
beta 1		Mistral
2006-12-04		sat4jCSP
1.7 RC BF3		SAT4JCSP-CACHED
1.7 RC BF3		sugar
0.40		Tramontane
2006-12-04
fisher/
FISCHER8-3-fair.xml


?
TT=7.419

 ?
TT=7.204

 ? (TO)
TT=1800.03

 ?
TT=3.788

 ?
TT=3.886

 ?
TT=5.043

 Signal
TT=6.782

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.09

 ? (MO)
TT=1.581

 ?
TT=3.543

 ?
TT=3.545

 ?
TT=313.97

 ? (MO)
TT=1.664
fisher/
FISCHER8-4-fair.xml		 UNSAT
TT=1562.71

 ?
TT=7.524

 ?
TT=7.483

 UNSAT
TT=1562.71

 ?
TT=3.783

 ?
TT=3.784

 ?
TT=4.384

 Signal
TT=6.502

 ? (TO)
TT=1800.02

 ? (TO)
TT=1800.06

 ? (MO)
TT=1.577

 ?
TT=3.178

 ?
TT=3.172

 ?
TT=410.82

 ? (MO)
TT=1.652
fisher/
FISCHER8-5-fair.xml


?
TT=7.443

 ?
TT=7.451

 ? (TO)
TT=1800.02

 ?
TT=3.8

 ?
TT=3.834

 ?
TT=3.576

 Signal
TT=6.634

 ? (TO)
TT=1800.03

 ? (TO)
TT=1800.05

 ? (exit code)
TT=1.674

 ?
TT=3.284

 ?
TT=3.448

 ?
TT=513.437

 ? (MO)
TT=1.612
fisher/
FISCHER8-6-fair.xml


?
TT=7.494

 ?
TT=7.493

 ? (TO)
TT=1800.03

 ?
TT=3.844

 ?
TT=3.76

 ?
TT=5.093

 Signal
TT=6.561

 ? (TO)
TT=1800.05

 ? (TO)
TT=1800.03

 ? (MO)
TT=1.732

 ?
TT=3.661

 ?
TT=3.592

 ?
TT=595.634

 ? (MO)
TT=1.701
fisher/
FISCHER8-7-fair.xml


?
TT=7.377

 ?
TT=7.554

 ? (TO)
TT=1800.06

 ?
TT=3.837

 ?
TT=3.838

 ?
TT=3.61

 Signal
TT=6.86

 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.05

 ? (MO)
TT=1.974

 ?
TT=3.856

 ?
TT=3.973

 ?
TT=701.307

 ? (MO)
TT=1.681
fisher/
FISCHER8-8-fair.xml


?
TT=7.386

 ?
TT=7.445

 ? (TO)
TT=1800.03

 ?
TT=3.945

 ?
TT=3.911

 ?
TT=3.676

 Signal
TT=6.719

 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.08

 ? (MO)
TT=1.653

 ?
TT=3.884

 ?
TT=3.904

 ?
TT=792.71

 ? (MO)
TT=1.687
fisher/
FISCHER8-9-fair.xml		 UNSAT
TT=1569.32

 ?
TT=7.455

 ?
TT=8.161

 UNSAT
TT=1569.32

 ?
TT=3.759

 ?
TT=3.885

 ?
TT=3.675

 Signal
TT=6.525

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.07

 ? (MO)
TT=1.667

 ?
TT=3.748

 ?
TT=3.934

 ?
TT=879.687

 ? (MO)
TT=1.66
fisher/
FISCHER9-10-fair.xml		 UNSAT
TT=1576.47

 ?
TT=7.447

 ?
TT=7.312

 UNSAT
TT=1576.47

 ?
TT=3.9

 ?
TT=3.903

 ?
TT=4.956

 Signal
TT=6.722

 ? (TO)
TT=1800

 ? (TO)
TT=1800.02

 ? (MO)
TT=1.686

 ?
TT=3.962

 ?
TT=3.915

 ?
TT=1114.4

 ? (MO)
TT=1.668
fisher/
FISCHER9-11-fair.xml		 UNSAT
TT=1575.68

 ?
TT=7.171

 ?
TT=7.182

 UNSAT
TT=1575.68

 ?
TT=3.949

 ?
TT=3.942

 ?
TT=4.46

 Signal
TT=7.977

 ? (TO)
TT=1800.08

 ? (TO)
TT=1800.08

 ? (MO)
TT=1.651

 ?
TT=4.029

 ?
TT=4.038

 ?
TT=1200.6

 ? (exit code)
TT=1.633
fisher/
FISCHER9-12-fair.xml		 UNSAT
TT=1570.84

 ?
TT=9.382

 ?
TT=8.45

 UNSAT
TT=1570.84

 ?
TT=5.586

 ?
TT=4.533

 ?
TT=3.635

 Signal
TT=7.088

 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.06

 ? (MO)
TT=1.773

 ?
TT=4.426

 ?
TT=4.368

 ? (TO)
TT=1802.41

 ? (MO)
TT=1.748
Bench nameBest results
on this
instance		Abscon
109 ESAC		Abscon
109 AC		BPrologCSPSolver70a
2006-12-13		CSP4J - Combo
2006-12-19		CSP4J - MAC
2006-12-19		CSP4J - MAC
2007-01-16		CSPtoSAT+minisat
0.3		galac
1		galacJ
beta 1		Mistral
2006-12-04		sat4jCSP
1.7 RC BF3		SAT4JCSP-CACHED
1.7 RC BF3		sugar
0.40		Tramontane
2006-12-04
fisher/
FISCHER9-13-fair.xml		 UNSAT
TT=1569.26

 ?
TT=7.374

 ?
TT=7.439

 UNSAT
TT=1569.26

 ?
TT=3.954

 ?
TT=4.127

 ?
TT=3.695

 Signal
TT=7.125

 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.07

 ? (MO)
TT=1.67

 ?
TT=4.449

 ?
TT=4.675

 ? (TO)
TT=1803.07

 ? (MO)
TT=1.651
fisher/
FISCHER9-14-fair.xml		 UNSAT
TT=1569.61

 ?
TT=7.786

 ?
TT=7.573

 UNSAT
TT=1569.61

 ?
TT=4.862

 ?
TT=4.827

 ?
TT=4.52

 Signal
TT=7.224

 ? (TO)
TT=1800.05

 ? (TO)
TT=1800.08

 ? (MO)
TT=1.875

 ?
TT=4.598

 ?
TT=4.544

 ?
TT=1540.67

 ? (MO)
TT=1.877
fisher/
FISCHER9-1-fair.xml		 UNSAT
TT=0.299

 ?
TT=7.831

 ?
TT=7.343

 UNSAT
TT=0.299

 ?
TT=3.978

 ?
TT=3.795

 ?
TT=3.632

 Signal
TT=6.374

 ? (TO)
TT=1800.04

 ? (TO)
TT=1800.06

 Signal
TT=2.349

 ?
TT=3.198

 ?
TT=3.44

 ?
TT=147.097

 Signal
TT=2.364
fisher/
FISCHER9-2-fair.xml		 UNSAT
TT=1563.94

 ?
TT=7.51

 ?
TT=7.448

 UNSAT
TT=1563.94

 ?
TT=3.796

 ?
TT=3.793

 ?
TT=4.489

 Signal
TT=6.715

 ? (TO)
TT=1800.04

 ? (TO)
TT=1800.1

 Signal
TT=4.421

 ?
TT=3.414

 ?
TT=3.203

 ?
TT=251.79

 Signal
TT=4.304
fisher/
FISCHER9-3-fair.xml		 UNSAT
TT=1570.39

 ?
TT=7.376

 ?
TT=7.318

 UNSAT
TT=1570.39

 ?
TT=3.583

 ?
TT=3.674

 ?
TT=5.001

 Signal
TT=6.689

 ? (TO)
TT=1800.02

 ? (TO)
TT=1800.1

 ? (MO)
TT=1.674

 ?
TT=3.684

 ?
TT=3.847

 ?
TT=360.572

 ? (MO)
TT=1.677
fisher/
FISCHER9-4-fair.xml


?
TT=11.618

 ?
TT=7.462

 ? (TO)
TT=1800.06

 ?
TT=3.854

 ?
TT=3.807

 ?
TT=3.655

 Signal
TT=6.642

 ? (TO)
TT=1800.01

 ? (TO)
TT=1800.06

 ? (MO)
TT=1.673

 ?
TT=3.111

 ?
TT=3.288

 ?
TT=487

 ? (MO)
TT=1.669
fisher/
FISCHER9-5-fair.xml


?
TT=7.574

 ?
TT=7.242

 ? (TO)
TT=1800.07

 ?
TT=4.166

 ?
TT=3.914

 ?
TT=3.625

 Signal
TT=6.728

 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.02

 ? (MO)
TT=2.115

 ?
TT=3.369

 ?
TT=3.577

 ?
TT=580.371

 ? (MO)
TT=1.969
fisher/
FISCHER9-6-fair.xml


?
TT=7.269

 ?
TT=7.412

 ? (TO)
TT=1800.06

 ?
TT=3.846

 ?
TT=3.812

 ?
TT=4.061

 Signal
TT=6.826

 ? (TO)
TT=1800.01

 ? (TO)
TT=1800.08

 ? (MO)
TT=1.584

 ?
TT=3.43

 ?
TT=3.485

 ?
TT=689.93

 ? (MO)
TT=1.658
fisher/
FISCHER9-7-fair.xml		 UNSAT
TT=1575.92

 ?
TT=8.856

 ?
TT=7.409

 UNSAT
TT=1575.92

 ?
TT=5.236

 ?
TT=3.972

 ?
TT=3.64

 Signal
TT=6.872

 ? (TO)
TT=1800.06

 ? (TO)
TT=1800

 ? (MO)
TT=1.675

 ?
TT=3.608

 ?
TT=3.581

 ?
TT=801.322

 ? (MO)
TT=1.663
fisher/
FISCHER9-8-fair.xml


?
TT=7.313

 ?
TT=7.546

 ? (TO)
TT=1800.11

 ?
TT=5.134

 ?
TT=5.319

 ?
TT=4.497

 Signal
TT=7.045

 ? (TO)
TT=1800.04

 ? (TO)
TT=1800.1

 ? (MO)
TT=1.766

 ?
TT=4.033

 ?
TT=3.975

 ?
TT=903.786

 ? (MO)
TT=1.673
Bench nameBest results
on this
instance		Abscon
109 ESAC		Abscon
109 AC		BPrologCSPSolver70a
2006-12-13		CSP4J - Combo
2006-12-19		CSP4J - MAC
2006-12-19		CSP4J - MAC
2007-01-16		CSPtoSAT+minisat
0.3		galac
1		galacJ
beta 1		Mistral
2006-12-04		sat4jCSP
1.7 RC BF3		SAT4JCSP-CACHED
1.7 RC BF3		sugar
0.40		Tramontane
2006-12-04
fisher/
FISCHER9-9-fair.xml		 UNSAT
TT=1576.29

 ?
TT=7.323

 ?
TT=7.259

 UNSAT
TT=1576.29

 ?
TT=4.019

 ?
TT=3.993

 ?
TT=3.651

 Signal
TT=6.366

 ? (TO)
TT=1800.04

 ? (TO)
TT=1800.1

 ? (MO)
TT=1.67

 ?
TT=3.777

 ?
TT=3.907

 ?
TT=1001.18

 ? (MO)
TT=1.679
mknap/
mknap-1-0.xml		 SAT
TT=0.013

 SAT
TT=0.684

CHECKS=66
NODES=0
 SAT
TT=0.655

CHECKS=66
NODES=6
 SAT
TT=0.021

 SAT
TT=0.422

NODES=0
 SAT
TT=0.417

NODES=6
 SAT
TT=0.415

CHECKS=64
NODES=6
 SAT
TT=0.015

 SAT
TT=1.445

 SAT
TT=1.325

 SAT
TT=0.014

 SAT
TT=1.227

 SAT
TT=1.226

 ? (TO)
TT=1800.24

 SAT
TT=0.013
mknap/
mknap-1-2.xml		 SAT
TT=0.023

 SAT
TT=2.198

CHECKS=39780
NODES=0
 SAT
TT=2.16

CHECKS=39780
NODES=15
 SAT
TT=0.023

 SAT
TT=0.703

NODES=0
 SAT
TT=0.659

NODES=15
 SAT
TT=0.7

CHECKS=32768
NODES=15
 SAT
TT=0.135

 SAT
TT=3.144

 SAT
TT=2.915

 SAT
TT=0.031

 ? (MO)
TT=2.534

 ? (MO)
TT=2.366

 SAT
TT=142.71

 SAT
TT=0.031
mknap/
mknap-1-3.xml		 SAT
TT=0.03

 SAT
TT=25.72

CHECKS=1311872
NODES=0
 SAT
TT=26.247

CHECKS=1311872
NODES=20
 SAT
TT=0.062

 SAT
TT=5.242

NODES=0
 SAT
TT=5.223

NODES=20
 SAT
TT=5.2

CHECKS=1048576
NODES=20
 SAT
TT=26.067

 ? (problem)
TT=49.628

 ? (problem)
TT=44.941

 SAT
TT=0.03

 ? (MO)
TT=2.454

 ? (MO)
TT=2.911

 ? (MO)
TT=52.4

 SAT
TT=0.03
mknap/
mknap-1-4.xml		 SAT
TT=0.65

 ? (TO)
TT=1800.09

 ? (TO)
TT=1800.16

 SAT
TT=1.114

 ? (TO)
TT=1800.02

 ? (TO)
TT=1800.1

 ? (TO)
TT=1800.01

 ? (MO)
TT=225.439

 ? (MO)
TT=0.028

 ? (MO)
TT=0.025

 SAT
TT=0.702

 ? (MO)
TT=2.587

 ? (MO)
TT=2.909

 ?
TT=152.018

 SAT
TT=0.65
mknap/
mknap-1-5.xml		 SAT
TT=1794.32

 ? (TO)
TT=1800.12

 ? (TO)
TT=1800.14

 SAT
TT=1794.32

 ? (TO)
TT=1800.01

 ? (TO)
TT=1800.09

 ? (TO)
TT=1800.02

 ? (MO)
TT=157.632

 ? (TO)
TT=1800.09

 ? (TO)
TT=1800

 ? (TO)
TT=1800.06

 ? (MO)
TT=3.634

 ? (MO)
TT=4.083

 ?
TT=128.106

 ? (TO)
TT=1800.1
mknap/
mknap-1-6.xml


? (TO)
TT=1800.06

 ? (TO)
TT=1800.17

 ? (TO)
TT=1800.11

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.01

 ? (TO)
TT=1800.09

 ? (MO)
TT=157.045

 ? (TO)
TT=1800.02

 ? (TO)
TT=1800.08

 ? (TO)
TT=1800.07

 ? (MO)
TT=6.078

 ? (MO)
TT=7.033

 ?
TT=343.99

 ? (TO)
TT=1800.01
ramsey/ramsey3/
ramsey-10-3.xml		 SAT
TT=0.021

 SAT
TT=0.795

CHECKS=703
NODES=45
 SAT
TT=0.778

CHECKS=623
NODES=56
 SAT
TT=1340.25

 SAT
TT=0.802

NODES=2
 SAT
TT=0.812

NODES=45
 SAT
TT=0.826

CHECKS=8918
NODES=45
 SAT
TT=0.021

 SAT
TT=1.338

 SAT
TT=1.288

 SAT
TT=2.54

 SAT
TT=1.539

 SAT
TT=1.102

 SAT
TT=0.92

 SAT
TT=0.038
ramsey/ramsey3/
ramsey-13-3.xml		 SAT
TT=0.066

 SAT
TT=0.898

CHECKS=1493
NODES=78
 SAT
TT=0.868

CHECKS=2649
NODES=168
 ? (TO)
TT=1800.06

 SAT
TT=1.227

NODES=85
 SAT
TT=1.238

NODES=79
 SAT
TT=1.235

CHECKS=21334
NODES=79
 SAT
TT=0.066

 SAT
TT=1.691

 SAT
TT=1.64

 SAT
TT=288.454

 SAT
TT=2.225

 SAT
TT=1.73

 SAT
TT=1.01

 SAT
TT=1.456
ramsey/ramsey3/
ramsey-15-3.xml		 SAT
TT=0.92

 SAT
TT=1.326

CHECKS=105811
NODES=4047
 SAT
TT=1.161

CHECKS=34637
NODES=1260
 ? (TO)
TT=1800.05

 SAT
TT=8.331

NODES=15414
 SAT
TT=2.255

NODES=1582
 SAT
TT=2.354

CHECKS=160169
NODES=1582
 SAT
TT=0.92

 SAT
TT=2.125

 SAT
TT=2.564

 ? (TO)
TT=1800.02

 SAT
TT=4.335

 SAT
TT=3.818

 SAT
TT=2.14

 ? (TO)
TT=1800.11
Bench nameBest results
on this
instance		Abscon
109 ESAC		Abscon
109 AC		BPrologCSPSolver70a
2006-12-13		CSP4J - Combo
2006-12-19		CSP4J - MAC
2006-12-19		CSP4J - MAC
2007-01-16		CSPtoSAT+minisat
0.3		galac
1		galacJ
beta 1		Mistral
2006-12-04		sat4jCSP
1.7 RC BF3		SAT4JCSP-CACHED
1.7 RC BF3		sugar
0.40		Tramontane
2006-12-04
ramsey/ramsey3/
ramsey-16-3.xml		 SAT
TT=0.809

 SAT
TT=1.444

CHECKS=100911
NODES=4947
 SAT
TT=1.765

CHECKS=192347
NODES=6160
 ? (TO)
TT=1800.07

 SAT
TT=10.933

NODES=20087
 SAT
TT=2.152

NODES=1097
 SAT
TT=2.347

CHECKS=127442
NODES=1097
 SAT
TT=0.809

 SAT
TT=2.299

 SAT
TT=4.191

 ? (TO)
TT=1800.06

 SAT
TT=3.737

 SAT
TT=3.199

 SAT
TT=6.79

 ? (TO)
TT=1800.02
ramsey/ramsey3/
ramsey-17-3.xml


? (TO)
TT=1800.05

 ? (TO)
TT=1800.1

 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.1

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.14

 ? (TO)
TT=1800.05

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.04

 ? (TO)
TT=1800.18

 ? (TO)
TT=1800.08

 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.06
ramsey/ramsey3/
ramsey-18-3.xml


? (TO)
TT=1800.08

 ? (TO)
TT=1800.17

 ? (TO)
TT=1800.03

 ? (TO)
TT=1800.03

 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.14

 ? (TO)
TT=1800.1

 ? (TO)
TT=1800.04

 ? (TO)
TT=1800.03

 ? (TO)
TT=1800.13

 ? (TO)
TT=1800.14

 ? (TO)
TT=1800.09

 ? (TO)
TT=1800.05
ramsey/ramsey3/
ramsey-20-3.xml


? (TO)
TT=1800.13

 ? (TO)
TT=1800.08

 ? (TO)
TT=1800.1

 ? (TO)
TT=1800.02

 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.02

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.1

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.18

 ? (TO)
TT=1800.14

 ? (TO)
TT=1800.1

 ? (TO)
TT=1800.07
ramsey/ramsey3/
ramsey-25-3.xml


? (TO)
TT=1800.08

 ? (TO)
TT=1800.13

 ? (TO)
TT=1800.05

 ? (TO)
TT=1800

 ? (TO)
TT=1800.01

 ? (TO)
TT=1800.04

 ? (TO)
TT=1800.05

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.01

 ? (TO)
TT=1800.06

 ? (TO)
TT=1800.74

 ? (TO)
TT=1800.16

 ? (TO)
TT=1800.01

 ? (TO)
TT=1800.1
ramsey/ramsey4/
ramsey-25-4.xml		 SAT
TT=1.445

 SAT
TT=1.516

CHECKS=14768
NODES=306
 SAT
TT=1.445

CHECKS=17919
NODES=563
 ? (TO)
TT=1800.03

 SAT
TT=5.577

NODES=316
 SAT
TT=5.808

NODES=300
 SAT
TT=6.038

CHECKS=421318
NODES=300
 SAT
TT=6.149

 SAT
TT=3.904

 SAT
TT=3.807

 ? (TO)
TT=1800.08

 SAT
TT=5.632

 SAT
TT=4.753

 SAT
TT=8.535

 ? (TO)
TT=1800.08
ramsey/ramsey4/
ramsey-30-4.xml		 SAT
TT=2.328

 SAT
TT=2.482

CHECKS=54908
NODES=4613
 SAT
TT=2.328

CHECKS=53543
NODES=1383
 ? (TO)
TT=1800.02

 SAT
TT=10.465

NODES=488
 SAT
TT=10.95

NODES=461
 SAT
TT=11.069

CHECKS=749514
NODES=461
 SAT
TT=19.812

 SAT
TT=5.852

 SAT
TT=5.605

 ? (TO)
TT=1800.05

 SAT
TT=6.489

 SAT
TT=5.39

 SAT
TT=24.61

 ? (TO)
TT=1800.02
ramsey/ramsey4/
ramsey-32-4.xml		 SAT
TT=2.821

 SAT
TT=4.653

CHECKS=204768
NODES=19135
 SAT
TT=2.821

CHECKS=88184
NODES=1980
 ? (TO)
TT=1800.08

 SAT
TT=15.705

NODES=687
 SAT
TT=15.537

NODES=637
 SAT
TT=15.784

CHECKS=971646
NODES=637
 SAT
TT=21.484

 SAT
TT=11.678

 SAT
TT=11.597

 ? (TO)
TT=1800.11

 SAT
TT=25.862

 SAT
TT=23.485

 SAT
TT=52.75

 ? (TO)
TT=1800.1
ramsey/ramsey4/
ramsey-33-4.xml		 SAT
TT=4.687

 SAT
TT=11.207

CHECKS=793508
NODES=56068
 SAT
TT=4.687

CHECKS=404172
NODES=6534
 ? (TO)
TT=1800.02

 SAT
TT=32.432

NODES=3535
 SAT
TT=86.687

NODES=16092
 SAT
TT=107.833

CHECKS=4769958
NODES=16092
 SAT
TT=47.917

 SAT
TT=36.35

 SAT
TT=61.783

 ? (TO)
TT=1800.09

 SAT
TT=28.65

 SAT
TT=25.639

 SAT
TT=55.09

 ? (TO)
TT=1800.08
ramsey/ramsey4/
ramsey-34-4.xml		 SAT
TT=9.937

 SAT
TT=12.948

CHECKS=962133
NODES=55692
 SAT
TT=9.937

CHECKS=1730617
NODES=22093
 ? (TO)
TT=1800.08

 SAT
TT=69.68

NODES=10536
 SAT
TT=101.695

NODES=18617
 SAT
TT=137.652

CHECKS=5447846
NODES=18617
 SAT
TT=106.147

 SAT
TT=45.511

 SAT
TT=19.908

 ? (TO)
TT=1800.05

 SAT
TT=77.095

 SAT
TT=68.239

 SAT
TT=213.869

 ? (TO)
TT=1800.09
Bench nameBest results
on this
instance		Abscon
109 ESAC		Abscon
109 AC		BPrologCSPSolver70a
2006-12-13		CSP4J - Combo
2006-12-19		CSP4J - MAC
2006-12-19		CSP4J - MAC
2007-01-16		CSPtoSAT+minisat
0.3		galac
1		galacJ
beta 1		Mistral
2006-12-04		sat4jCSP
1.7 RC BF3		SAT4JCSP-CACHED
1.7 RC BF3		sugar
0.40		Tramontane
2006-12-04
ramsey/ramsey4/
ramsey-35-4.xml		 SAT
TT=4.935

 SAT
TT=66.812

CHECKS=21748211
NODES=289273
 SAT
TT=4.935

CHECKS=527247
NODES=7538
 ? (TO)
TT=1800.07

 SAT
TT=146.747

NODES=20409
 ? (TO)
TT=1800.09

 ? (TO)
TT=1800.05

 SAT
TT=891.506

 SAT
TT=173.312

 SAT
TT=1766.86

 ? (TO)
TT=1800.08

 SAT
TT=480.262

 SAT
TT=414.783

 ? (TO)
TT=1800.08

 ? (TO)
TT=1800.07
ramsey/ramsey4/
ramsey-38-4.xml		 SAT
TT=314.837

 ? (TO)
TT=1800.08

 ? (TO)
TT=1800.08

 ? (TO)
TT=1800.03

 SAT
TT=314.837

NODES=51127
 ? (TO)
TT=1800.05

 ? (TO)
TT=1800.09

 ? (TO)
TT=1800.1

 ? (TO)
TT=1800.04

 ? (TO)
TT=0.03

 ? (TO)
TT=1800.09

 ? (TO)
TT=1800.23

 ? (TO)
TT=1800.21

 ? (TO)
TT=1800.14

 ? (TO)
TT=1800.07
ramsey/ramsey4/
ramsey-45-4.xml


? (TO)
TT=1800.11

 ? (TO)
TT=1800.19

 ? (TO)
TT=1800.1

 ? (TO)
TT=1800

 ? (TO)
TT=1800.05

 ? (TO)
TT=1800.1

 ? (TO)
TT=1800.1

 ? (TO)
TT=1800.02

 ? (TO)
TT=0.026

 ? (TO)
TT=1800.02

 ? (TO)
TT=1800.21

 ? (TO)
TT=1800.19

 ? (TO)
TT=1800.09

 ? (TO)
TT=1800.08
schurrLemma/
lemma-100-9-mod.xml		 UNSAT
TT=5.629

 ? (TO)
TT=1800.04

 ? (TO)
TT=1800.16

 UNSAT
TT=6.525

 ? (TO)
TT=1800.09

 ? (TO)
TT=1800.09

 ? (TO)
TT=1800.03

 UNSAT
TT=62.213

 UNSAT
TT=706.322

 UNSAT
TT=498.15

 UNSAT
TT=187.929

 UNSAT
TT=406.484

 Wrong Cert.
TT=5.729

 UNSAT
TT=5.629

 UNSAT
TT=317.393
schurrLemma/
lemma-12-9-mod.xml		 UNSAT
TT=0.547

 UNSAT
TT=21.357

CHECKS=19441869
NODES=331786
 UNSAT
TT=16.509

CHECKS=14449590
NODES=114423
 UNSAT
TT=0.757

 UNSAT
TT=136.919

NODES=753931
 UNSAT
TT=30.537

NODES=470352
 UNSAT
TT=33.513

CHECKS=16466996
NODES=473811
 UNSAT
TT=19.147

 UNSAT
TT=44.56

 UNSAT
TT=138.061

 UNSAT
TT=2.318

 UNSAT
TT=372.754

 Wrong Cert.
TT=1.284

 UNSAT
TT=0.547

 UNSAT
TT=3.996
schurrLemma/
lemma-15-9-mod.xml		 UNSAT
TT=0.932

 UNSAT
TT=32.351

CHECKS=35246356
NODES=222839
 UNSAT
TT=30.76

CHECKS=34926943
NODES=212008
 UNSAT
TT=0.932

 UNSAT
TT=134.986

NODES=536401
 UNSAT
TT=40.072

NODES=257075
 UNSAT
TT=39.184

CHECKS=22289314
NODES=260173
 UNSAT
TT=27.023

 UNSAT
TT=54.701

 UNSAT
TT=169.079

 UNSAT
TT=4.171

 UNSAT
TT=226.104

 Wrong Cert.
TT=1.365

 UNSAT
TT=1.11

 UNSAT
TT=6.476
schurrLemma/
lemma-20-9-mod.xml		 UNSAT
TT=1.159

 UNSAT
TT=60.443

CHECKS=74907633
NODES=216653
 UNSAT
TT=53.315

CHECKS=70687294
NODES=208319
 UNSAT
TT=1.159

 UNSAT
TT=169.989

NODES=437275
 UNSAT
TT=73.503

NODES=256446
 UNSAT
TT=78.745

CHECKS=49616940
NODES=268285
 UNSAT
TT=24.987

 UNSAT
TT=77.122

 UNSAT
TT=224.851

 UNSAT
TT=7.552

 UNSAT
TT=375.171

 Wrong Cert.
TT=1.453

 UNSAT
TT=1.16

 UNSAT
TT=12.44
schurrLemma/
lemma-23-3.xml		 SAT
TT=0.038

 SAT
TT=0.753

CHECKS=417
NODES=0
 SAT
TT=0.738

CHECKS=864
NODES=35
 SAT
TT=0.038

 SAT
TT=0.832

NODES=25
 SAT
TT=0.817

NODES=25
 SAT
TT=0.786

CHECKS=9070
NODES=25
 SAT
TT=0.105

 SAT
TT=1.331

 SAT
TT=1.299

 SAT
TT=1.073

 SAT
TT=1.744

 SAT
TT=1.246

 SAT
TT=0.985

 SAT
TT=1.207
schurrLemma/
lemma-24-3.xml		 UNSAT
TT=0.325

 UNSAT
TT=1.198

CHECKS=139364
NODES=2835
 UNSAT
TT=1.114

CHECKS=138946
NODES=2816
 UNSAT
TT=2.032

 UNSAT
TT=2.1

NODES=3108
 UNSAT
TT=1.978

NODES=3521
 UNSAT
TT=1.767

CHECKS=272794
NODES=3521
 UNSAT
TT=0.329

 UNSAT
TT=0.879

 UNSAT
TT=0.983

 UNSAT
TT=101.659

 UNSAT
TT=2.193

 UNSAT
TT=1.88

 UNSAT
TT=0.325

 UNSAT
TT=262.822
schurrLemma/
lemma-30-9-mod.xml		 UNSAT
TT=1.716

 UNSAT
TT=159.269

CHECKS=219626483
NODES=216419
 UNSAT
TT=159.413

CHECKS=234055266
NODES=228874
 UNSAT
TT=1.716

 UNSAT
TT=408.124

NODES=469606
 UNSAT
TT=191.638

NODES=267828
 UNSAT
TT=175.929

CHECKS=111148701
NODES=256700
 UNSAT
TT=29.247

 UNSAT
TT=193.447

 UNSAT
TT=250.685

 UNSAT
TT=16.797

 UNSAT
TT=404.813

 Wrong Cert.
TT=1.916

 UNSAT
TT=2.609

 UNSAT
TT=25.579
Bench nameBest results
on this
instance		Abscon
109 ESAC		Abscon
109 AC		BPrologCSPSolver70a
2006-12-13		CSP4J - Combo
2006-12-19		CSP4J - MAC
2006-12-19		CSP4J - MAC
2007-01-16		CSPtoSAT+minisat
0.3		galac
1		galacJ
beta 1		Mistral
2006-12-04		sat4jCSP
1.7 RC BF3		SAT4JCSP-CACHED
1.7 RC BF3		sugar
0.40		Tramontane
2006-12-04
schurrLemma/
lemma-50-9-mod.xml		 UNSAT
TT=3.22

 UNSAT
TT=488.238

CHECKS=735106177
NODES=210961
 UNSAT
TT=466.921

CHECKS=750187571
NODES=209531
 UNSAT
TT=3.26

 UNSAT
TT=1265.47

NODES=463183
 UNSAT
TT=704.701

NODES=265837
 UNSAT
TT=684.496

CHECKS=357619618
NODES=260615
 UNSAT
TT=40.76

 UNSAT
TT=580.968

 UNSAT
TT=303.348

 UNSAT
TT=44.76

 UNSAT
TT=497.465

 Wrong Cert.
TT=2.824

 UNSAT
TT=3.22

 UNSAT
TT=66.028
schurrLemma/
lemma-66-4.xml		 SAT
TT=2.796

 ? (TO)
TT=1800.12

 SAT
TT=753.112

CHECKS=468032914
NODES=2618851
 ? (TO)
TT=1800.08

 SAT
TT=2.796

NODES=107
 SAT
TT=2.821

NODES=88
 SAT
TT=2.863

CHECKS=198363
NODES=88
 ? (TO)
TT=1800.13

 ? (TO)
TT=1800.09

 ? (TO)
TT=1800.03

 ? (TO)
TT=1800.03

 ? (TO)
TT=1800.08

 ? (TO)
TT=1800.13

 SAT
TT=187.75

 ? (TO)
TT=1800.05
schurrLemma/
lemma-67-4.xml


? (TO)
TT=1800.11

 ? (TO)
TT=1800.14

 ? (TO)
TT=1800.05

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.05

 ? (TO)
TT=1800.07

 ? (TO)
TT=1800.16

 ? (TO)
TT=1800.13

 ? (TO)
TT=1800.03

 ? (TO)
TT=1800.04

 ? (TO)
TT=1800.1

 ? (TO)
TT=1800.11

 ? (TO)
TT=1800.09

 ? (TO)
TT=1800.09

Some statistics...

Abscon
109 ESAC		Abscon
109 AC		BPrologCSPSolver70a
2006-12-13		CSP4J - Combo
2006-12-19		CSP4J - MAC
2006-12-19		CSP4J - MAC
2007-01-16		CSPtoSAT+minisat
0.3		galac
1		galacJ
beta 1		Mistral
2006-12-04		sat4jCSP
1.7 RC BF3		SAT4JCSP-CACHED
1.7 RC BF3		sugar
0.40		Tramontane
2006-12-04
Number of times the solver is able to give the best known answer20218622200212020141901914
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)067820040010042