CSP 2006 Competition (second round): results by benchmark

Results by benchmark for category n-ary constraints in extension (N-ARY-EXT)

This page displays the results of the different solvers for each benchmark for category n-ary constraints in extension (N-ARY-EXT)

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

0868023NODES=23808?
TT=30.598

?
TT=34.47

?
TT=33.142

?
TT=35.888

dtll100 class="14sult">TT=1891203tsp-25-13_ext.xml?
TT=32.96

79 (TO)
TT=18resu6lt">?
TT=35.888

tsp-25-48_ext.xml 2223th=100 class=712esult">?
TT=30.598

?
6&2segfault">? (problem)
TT=127.218

<9ev=6&idsolver=62SAT
TT=30.412

893/td>
00td width=100 cla51esesult">SAT
TT=329.341

SAT
TT=19.907

0idjob=270693">?
6&2ss="odd" width=300 >travellingSalesman/
travb0d width=100 clasul3tsp-25-13_ext.xml
0idth=100 class="g61.7esult">SAT
TT=478.525

08 5998457 NODES=17602<79989esult">?
TT=37.964

SAT
TT=1369.92

? (TO)
TT=1800.18

? (MO)
TT=216.889

?
TT=37.964

5djob=270693">?
6&idjob=206868">SAT
TT=56.204

NODdjob=207768">SAT
TT=869.971

100 class="nclas2lt">?
TT=35.888

f="trace.php?idev=6&idjob=207011">?
TT=35.888

f="trace.php?idev=6&idjob=207011">?
TT=35.888

109 ESAC

Some statistics...

>
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
cril/
cril-0_ext.xml
SAT
TT=0.309

SAT
TT=1.09

CHECKS=1076
NODES=0
SAT
TT=0.988

CHECKS=1429
NODES=142
? (problem)
TT=413.843

SAT
TT=0.874

NODES=121
SAT
TT=0.882

NODES=115
SAT
TT=0.893

CHECKS=806
NODES=115
SAT
TT=1.036

SAT
TT=3.048

SAT
TT=2.98

SAT
TT=0.309

SAT
TT=4.489

SAT
TT=4.432

?
TT=47.36

SAT
TT=0.323

cril/
cril-6_ext.xml
UNSAT
TT=0.961

UNSAT
TT=27.747

CHECKS=26721736
NODES=379811
UNSAT
TT=26.436

CHECKS=25274074
NODES=342436
? (TO)
TT=1800.03

UNSAT
TT=189.737

NODES=996967
UNSAT
TT=68.906

NODES=381587
UNSAT
TT=62.968

CHECKS=18381
NODES=373460
UNSAT
TT=28.359

UNSAT
TT=1.015

UNSAT
TT=0.961

UNSAT
TT=25.658

UNSAT
TT=10.886

UNSAT
TT=10.162

? (TO)
TT=1800.04

UNSAT
TT=2.051

cril/
cril-7.ext.xml
UNSAT
TT=0.952

UNSAT
TT=41.816

CHECKS=46151938
NODES=565822
UNSAT
TT=55.81

CHECKS=58004485
NODES=702678
? (TO)
TT=1800.1

UNSAT
TT=228.851

NODES=1200998
UNSAT
TT=114.176

NODES=769051
UNSAT
TT=81.743

CHECKS=18506
NODES=555867
UNSAT
TT=17.229

UNSAT
TT=1.018

UNSAT
TT=0.952

UNSAT
TT=30.078

UNSAT
TT=31.705

UNSAT
TT=32.739

UNSAT
TT=424.78

UNSAT
TT=14.269

dimacs/aim-100/
aim-100-1-6-sat-1_ext.xml
SAT
TT=0.022

SAT
TT=0.799

CHECKS=1466
NODES=314
SAT
TT=0.792

CHECKS=1128
NODES=293
? (TO)
TT=1800.02

SAT
TT=0.445

NODES=286
SAT
TT=0.407

NODES=210
SAT
TT=0.417

CHECKS=3201
NODES=210
SAT
TT=0.022

SAT
TT=1.075

SAT
TT=1.118

SAT
TT=0.023

SAT
TT=0.8

SAT
TT=0.901

SAT
TT=0.85

SAT
TT=0.022

dimacs/aim-100/
aim-100-1-6-sat-2_ext.xml
SAT
TT=0.024

SAT
TT=0.84

CHECKS=2014
NODES=499
SAT
TT=0.814

CHECKS=2179
NODES=494
? (TO)
TT=1800.1

SAT
TT=0.445

NODES=246
SAT
TT=0.463

NODES=292
SAT
TT=0.461

CHECKS=3249
NODES=292
SAT
TT=0.024

SAT
TT=1.119

SAT
TT=1.103

SAT
TT=0.033

SAT
TT=0.796

SAT
TT=0.901

SAT
TT=0.054

SAT
TT=0.03

dimacs/aim-100/
aim-100-1-6-sat-3_ext.xml
SAT
TT=0.022

SAT
TT=0.89

CHECKS=5514
NODES=1286
SAT
TT=0.81

CHECKS=2805
NODES=750
? (TO)
TT=1800.04

SAT
TT=0.794

NODES=3180
SAT
TT=0.564

NODES=1062
SAT
TT=0.568

CHECKS=3264
NODES=1062
SAT
TT=0.022

SAT
TT=1.066

SAT
TT=1.128

SAT
TT=0.026

SAT
TT=0.861

SAT
TT=0.84

SAT
TT=0.699

SAT
TT=0.026

dimacs/aim-100/
aim-100-1-6-sat-4_ext.xml
SAT
TT=0.022

SAT
TT=0.781

CHECKS=1428
NODES=334
SAT
TT=0.741

CHECKS=862
NODES=236
? (TO)
TT=1800.02

SAT
TT=0.465

NODES=336
SAT
TT=0.433

NODES=298
SAT
TT=0.434

CHECKS=3288
NODES=298
SAT
TT=0.022

SAT
TT=1.109

SAT
TT=1.112

SAT
TT=0.028

SAT
TT=0.774

SAT
TT=0.829

SAT
TT=0.053

SAT
TT=0.027

dimacs/aim-100/
aim-100-1-6-unsat-1_ext.xml
UNSAT
TT=0.024

UNSAT
TT=0.971

CHECKS=13933
NODES=2704
UNSAT
TT=0.842

CHECKS=4933
NODES=1101
? (TO)
TT=1800.08

UNSAT
TT=1.638

NODES=5351
UNSAT
TT=0.535

NODES=726
UNSAT
TT=0.499

CHECKS=3288
NODES=726
UNSAT
TT=0.024

UNSAT
TT=0.598

UNSAT
TT=0.646

UNSAT
TT=0.063

UNSAT
TT=0.768

UNSAT
TT=0.813

UNSAT
TT=0.336

UNSAT
TT=0.04

dimacs/aim-100/
aim-100-1-6-unsat-2_ext.xml
UNSAT
TT=0.024

UNSAT
TT=0.816

CHECKS=4927
NODES=715
UNSAT
TT=0.836

CHECKS=6353
NODES=1079
? (TO)
TT=1800.05

UNSAT
TT=0.869

NODES=3196
UNSAT
TT=0.934

NODES=3610
UNSAT
TT=0.748

CHECKS=3090
NODES=2571
UNSAT
TT=0.024

UNSAT
TT=0.637

UNSAT
TT=0.598

UNSAT
TT=0.05

UNSAT
TT=0.779

UNSAT
TT=0.822

UNSAT
TT=0.051

UNSAT
TT=0.033

dimacs/aim-100/
aim-100-1-6-unsat-3_ext.xml
UNSAT
TT=0.022

UNSAT
TT=1.093

CHECKS=31983
NODES=5490
UNSAT
TT=1.149

CHECKS=46318
NODES=8164
? (TO)
TT=1800.11

UNSAT
TT=5.259

NODES=35971
UNSAT
TT=3.769

NODES=23362
UNSAT
TT=3.273

CHECKS=3162
NODES=23362
UNSAT
TT=0.022

UNSAT
TT=0.613

UNSAT
TT=0.591

UNSAT
TT=0.541

UNSAT
TT=0.808

UNSAT
TT=0.915

UNSAT
TT=0.463

UNSAT
TT=0.534

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
dimacs/aim-100/
aim-100-1-6-unsat-4_ext.xml
UNSAT
TT=0.024

UNSAT
TT=0.973

CHECKS=7883
NODES=1928
UNSAT
TT=1.008

CHECKS=16786
NODES=4171
? (TO)
TT=1800.04

UNSAT
TT=1.605

NODES=5398
UNSAT
TT=0.851

NODES=2953
UNSAT
TT=0.822

CHECKS=3258
NODES=2953
UNSAT
TT=0.024

UNSAT
TT=0.641

UNSAT
TT=0.61

UNSAT
TT=0.213

UNSAT
TT=0.786

UNSAT
TT=0.765

UNSAT
TT=0.705

UNSAT
TT=0.055

dimacs/aim-100/
aim-100-2-0-sat-1_ext.xml
SAT
TT=0.025

SAT
TT=0.873

CHECKS=5145
NODES=986
SAT
TT=0.901

CHECKS=7353
NODES=1249
SAT
TT=1612.91

SAT
TT=0.8

NODES=2605
SAT
TT=0.503

NODES=539
SAT
TT=0.506

CHECKS=4047
NODES=539
SAT
TT=0.025

SAT
TT=1.162

SAT
TT=1.117

SAT
TT=0.034

SAT
TT=0.884

SAT
TT=0.919

SAT
TT=0.619

SAT
TT=0.029

dimacs/aim-100/
aim-100-2-0-sat-2_ext.xml
SAT
TT=0.025

SAT
TT=0.889

CHECKS=5876
NODES=1313
SAT
TT=1.019

CHECKS=14657
NODES=2377
? (TO)
TT=1800.02

SAT
TT=0.948

NODES=3288
SAT
TT=0.73

NODES=1948
SAT
TT=0.737

CHECKS=4098
NODES=1948
SAT
TT=0.025

SAT
TT=1.105

SAT
TT=1.169

SAT
TT=0.089

SAT
TT=0.836

SAT
TT=0.922

SAT
TT=0.196

SAT
TT=0.039

dimacs/aim-100/
aim-100-2-0-sat-3_ext.xml
SAT
TT=0.026

SAT
TT=0.804

CHECKS=1222
NODES=260
SAT
TT=0.804

CHECKS=2073
NODES=444
SAT
TT=655.257

SAT
TT=0.529

NODES=499
SAT
TT=0.936

NODES=2912
SAT
TT=0.87

CHECKS=3969
NODES=2912
SAT
TT=0.026

SAT
TT=1.108

SAT
TT=1.18

SAT
TT=0.135

SAT
TT=0.906

SAT
TT=0.906

SAT
TT=0.185

SAT
TT=0.093

dimacs/aim-100/
aim-100-2-0-sat-4_ext.xml
SAT
TT=0.022

SAT
TT=0.845

CHECKS=3749
NODES=893
SAT
TT=0.821

CHECKS=4274
NODES=692
SAT
TT=720.555

SAT
TT=0.628

NODES=836
SAT
TT=0.664

NODES=1274
SAT
TT=0.671

CHECKS=4083
NODES=1274
SAT
TT=0.022

SAT
TT=1.114

SAT
TT=1.111

SAT
TT=0.033

SAT
TT=0.821

SAT
TT=0.84

SAT
TT=0.855

SAT
TT=0.027

dimacs/aim-100/
aim-100-2-0-unsat-1_ext.xml
UNSAT
TT=0.022

UNSAT
TT=0.755

CHECKS=749
NODES=103
UNSAT
TT=0.738

CHECKS=506
NODES=86
? (TO)
TT=1800.09

UNSAT
TT=0.46

NODES=174
UNSAT
TT=0.465

NODES=123
UNSAT
TT=0.433

CHECKS=4104
NODES=123
UNSAT
TT=0.025

UNSAT
TT=0.663

UNSAT
TT=0.647

UNSAT
TT=0.028

UNSAT
TT=0.806

UNSAT
TT=0.849

UNSAT
TT=0.769

UNSAT
TT=0.022

dimacs/aim-100/
aim-100-2-0-unsat-2_ext.xml
UNSAT
TT=0.025

UNSAT
TT=0.847

CHECKS=2768
NODES=697
UNSAT
TT=0.83

CHECKS=3321
NODES=696
? (TO)
TT=1800.07

UNSAT
TT=0.847

NODES=2960
UNSAT
TT=0.526

NODES=578
UNSAT
TT=0.526

CHECKS=4011
NODES=578
UNSAT
TT=0.025

UNSAT
TT=0.63

UNSAT
TT=0.625

UNSAT
TT=0.048

UNSAT
TT=0.848

UNSAT
TT=0.832

UNSAT
TT=0.73

UNSAT
TT=0.041

dimacs/aim-100/
aim-100-2-0-unsat-3_ext.xml
UNSAT
TT=0.026

UNSAT
TT=0.825

CHECKS=1890
NODES=415
UNSAT
TT=0.77

CHECKS=1267
NODES=294
? (TO)
TT=1800.07

UNSAT
TT=0.79

NODES=2523
UNSAT
TT=0.497

NODES=345
UNSAT
TT=0.484

CHECKS=4008
NODES=345
UNSAT
TT=0.026

UNSAT
TT=0.622

UNSAT
TT=0.637

UNSAT
TT=0.047

UNSAT
TT=0.787

UNSAT
TT=0.889

UNSAT
TT=0.782

UNSAT
TT=0.026

dimacs/aim-100/
aim-100-2-0-unsat-4_ext.xml
UNSAT
TT=0.026

UNSAT
TT=0.812

CHECKS=2070
NODES=412
UNSAT
TT=0.786

CHECKS=1770
NODES=416
? (TO)
TT=1800.1

UNSAT
TT=0.781

NODES=1198
UNSAT
TT=0.499

NODES=472
UNSAT
TT=0.511

CHECKS=3984
NODES=472
UNSAT
TT=0.026

UNSAT
TT=0.628

UNSAT
TT=0.644

UNSAT
TT=0.047

UNSAT
TT=0.796

UNSAT
TT=0.795

UNSAT
TT=0.472

UNSAT
TT=0.03

dimacs/aim-100/
aim-100-3-4-sat-1_ext.xml
SAT
TT=0.037

SAT
TT=0.878

CHECKS=4871
NODES=488
SAT
TT=0.894

CHECKS=5744
NODES=652
SAT
TT=0.142

SAT
TT=0.841

NODES=838
SAT
TT=0.647

NODES=475
SAT
TT=0.595

CHECKS=6645
NODES=475
SAT
TT=0.037

SAT
TT=1.242

SAT
TT=1.303

SAT
TT=0.061

SAT
TT=1.062

SAT
TT=1.058

SAT
TT=0.95

SAT
TT=0.044

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
dimacs/aim-100/
aim-100-3-4-sat-2_ext.xml
SAT
TT=0.032

SAT
TT=0.924

CHECKS=7008
NODES=621
SAT
TT=0.867

CHECKS=4774
NODES=547
SAT
TT=2.432

SAT
TT=0.834

NODES=1985
SAT
TT=0.537

NODES=311
SAT
TT=0.553

CHECKS=6519
NODES=311
SAT
TT=0.034

SAT
TT=1.306

SAT
TT=1.286

SAT
TT=0.032

SAT
TT=1.068

SAT
TT=1.123

SAT
TT=0.98

SAT
TT=0.039

dimacs/aim-100/
aim-100-3-4-sat-3_ext.xml
SAT
TT=0.032

SAT
TT=0.88

CHECKS=5360
NODES=526
SAT
TT=0.893

CHECKS=5759
NODES=575
SAT
TT=0.814

SAT
TT=0.785

NODES=819
SAT
TT=0.502

NODES=197
SAT
TT=0.544

CHECKS=6471
NODES=197
SAT
TT=0.032

SAT
TT=1.269

SAT
TT=1.299

SAT
TT=0.038

SAT
TT=1.08

SAT
TT=1.146

SAT
TT=0.93

SAT
TT=0.044

dimacs/aim-100/
aim-100-3-4-sat-4_ext.xml
SAT
TT=0.031

SAT
TT=0.957

CHECKS=6310
NODES=647
SAT
TT=0.928

CHECKS=8776
NODES=929
SAT
TT=5.522

SAT
TT=0.945

NODES=2340
SAT
TT=0.725

NODES=906
SAT
TT=0.768

CHECKS=6576
NODES=906
SAT
TT=0.031

SAT
TT=1.318

SAT
TT=1.326

SAT
TT=0.045

SAT
TT=1.154

SAT
TT=1.107

SAT
TT=0.98

SAT
TT=0.042

dimacs/aim-100/
aim-100-6-0-sat-1_ext.xml
SAT
TT=0.041

SAT
TT=0.874

CHECKS=2518
NODES=0
SAT
TT=0.928

CHECKS=3597
NODES=188
SAT
TT=0.058

SAT
TT=0.601

NODES=185
SAT
TT=0.578

NODES=151
SAT
TT=0.594

CHECKS=11574
NODES=151
SAT
TT=0.044

SAT
TT=1.408

SAT
TT=1.352

SAT
TT=0.042

SAT
TT=1.197

SAT
TT=1.163

SAT
TT=1.08

SAT
TT=0.041

dimacs/aim-100/
aim-100-6-0-sat-2_ext.xml
SAT
TT=0.043

SAT
TT=0.905

CHECKS=5472
NODES=242
SAT
TT=0.877

CHECKS=2612
NODES=148
SAT
TT=0.112

SAT
TT=0.727

NODES=326
SAT
TT=0.66

NODES=291
SAT
TT=0.676

CHECKS=11601
NODES=291
SAT
TT=0.043

SAT
TT=1.416

SAT
TT=1.348

SAT
TT=0.049

SAT
TT=1.222

SAT
TT=1.191

SAT
TT=1.04

SAT
TT=0.051

dimacs/aim-100/
aim-100-6-0-sat-3_ext.xml
SAT
TT=0.041

SAT
TT=0.875

CHECKS=3713
NODES=0
SAT
TT=0.908

CHECKS=4435
NODES=247
SAT
TT=0.257

SAT
TT=0.648

NODES=239
SAT
TT=0.657

NODES=213
SAT
TT=0.628

CHECKS=11634
NODES=213
SAT
TT=0.043

SAT
TT=1.445

SAT
TT=1.379

SAT
TT=0.041

SAT
TT=1.186

SAT
TT=1.209

SAT
TT=1.063

SAT
TT=0.042

dimacs/aim-100/
aim-100-6-0-sat-4_ext.xml
SAT
TT=0.039

SAT
TT=0.908

CHECKS=2776
NODES=100
SAT
TT=0.861

CHECKS=1285
NODES=100
SAT
TT=0.067

SAT
TT=0.689

NODES=318
SAT
TT=0.611

NODES=166
SAT
TT=0.64

CHECKS=11826
NODES=166
SAT
TT=0.042

SAT
TT=1.392

SAT
TT=1.351

SAT
TT=0.04

SAT
TT=1.198

SAT
TT=1.167

SAT
TT=1.09

SAT
TT=0.039

dimacs/aim-200/
aim-200-1-6-sat-1_ext.xml
SAT
TT=0.037

SAT
TT=1.092

CHECKS=5473
NODES=1620
SAT
TT=0.958

CHECKS=3089
NODES=854
? (TO)
TT=1800.09

SAT
TT=0.999

NODES=1584
SAT
TT=0.945

NODES=2005
SAT
TT=0.993

CHECKS=6585
NODES=2005
SAT
TT=0.037

SAT
TT=1.333

SAT
TT=1.266

SAT
TT=0.051

SAT
TT=1.1

SAT
TT=1.191

SAT
TT=1.01

SAT
TT=0.037

dimacs/aim-200/
aim-200-1-6-sat-2_ext.xml
SAT
TT=0.036

SAT
TT=1.161

CHECKS=12812
NODES=3165
SAT
TT=1.062

CHECKS=8678
NODES=1922
? (TO)
TT=1800.06

SAT
TT=2.126

NODES=11895
SAT
TT=0.81

NODES=1431
SAT
TT=0.832

CHECKS=6609
NODES=1431
SAT
TT=0.036

SAT
TT=1.335

SAT
TT=1.364

SAT
TT=0.106

SAT
TT=1.119

SAT
TT=1.168

SAT
TT=0.991

SAT
TT=0.062

dimacs/aim-200/
aim-200-1-6-sat-3_ext.xml
SAT
TT=0.034

SAT
TT=1.052

CHECKS=4422
NODES=1371
SAT
TT=1.1

CHECKS=9471
NODES=1935
? (TO)
TT=1800.11

SAT
TT=1.618

NODES=3314
SAT
TT=0.962

NODES=2047
SAT
TT=1.057

CHECKS=6492
NODES=2047
SAT
TT=0.034

SAT
TT=1.394

SAT
TT=1.368

SAT
TT=0.059

SAT
TT=1.119

SAT
TT=1.162

SAT
TT=0.056

SAT
TT=0.041

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
dimacs/aim-200/
aim-200-1-6-sat-4_ext.xml
SAT
TT=0.033

SAT
TT=1.086

CHECKS=8245
NODES=1850
SAT
TT=1.184

CHECKS=15898
NODES=3236
? (TO)
TT=1800.02

SAT
TT=6.661

NODES=48968
SAT
TT=1.104

NODES=2749
SAT
TT=1.193

CHECKS=6612
NODES=2749
SAT
TT=0.033

SAT
TT=1.326

SAT
TT=1.365

SAT
TT=0.078

SAT
TT=1.093

SAT
TT=1.188

SAT
TT=0.39

SAT
TT=0.057

dimacs/aim-200/
aim-200-1-6-unsat-1_ext.xml
UNSAT
TT=0.034

UNSAT
TT=1.45

CHECKS=37233
NODES=6593
UNSAT
TT=1.337

CHECKS=35372
NODES=5890
? (TO)
TT=1800.08

UNSAT
TT=7.069

NODES=45919
UNSAT
TT=5.315

NODES=21133
UNSAT
TT=5.913

CHECKS=6417
NODES=21133
UNSAT
TT=0.034

UNSAT
TT=0.811

UNSAT
TT=0.748

UNSAT
TT=0.677

UNSAT
TT=1.083

UNSAT
TT=1.095

UNSAT
TT=0.841

UNSAT
TT=0.152

dimacs/aim-200/
aim-200-1-6-unsat-2_ext.xml
UNSAT
TT=0.035

UNSAT
TT=3.035

CHECKS=217532
NODES=38365
UNSAT
TT=3.501

CHECKS=197619
NODES=38749
? (TO)
TT=1800.12

UNSAT
TT=10.903

NODES=59761
UNSAT
TT=7.563

NODES=35092
UNSAT
TT=8.603

CHECKS=6282
NODES=35092
UNSAT
TT=0.035

UNSAT
TT=0.754

UNSAT
TT=0.704

UNSAT
TT=2.163

UNSAT
TT=1.136

UNSAT
TT=2.122

UNSAT
TT=0.053

UNSAT
TT=0.158

dimacs/aim-200/
aim-200-1-6-unsat-3_ext.xml
UNSAT
TT=0.035

UNSAT
TT=2.369

CHECKS=128701
NODES=26659
UNSAT
TT=1.515

CHECKS=49396
NODES=11021
? (TO)
TT=1800.09

UNSAT
TT=34.68

NODES=282550
UNSAT
TT=79.968

NODES=350696
UNSAT
TT=89.178

CHECKS=6426
NODES=350696
UNSAT
TT=0.035

UNSAT
TT=0.808

UNSAT
TT=0.757

UNSAT
TT=6.197

UNSAT
TT=1.159

UNSAT
TT=1.154

UNSAT
TT=0.893

UNSAT
TT=3.08

dimacs/aim-200/
aim-200-1-6-unsat-4_ext.xml
UNSAT
TT=0.034

UNSAT
TT=1.001

CHECKS=4089
NODES=1143
UNSAT
TT=1.248

CHECKS=25811
NODES=5285
? (TO)
TT=1800.04

UNSAT
TT=8.058

NODES=47794
UNSAT
TT=1.28

NODES=2683
UNSAT
TT=1.271

CHECKS=6624
NODES=2683
UNSAT
TT=0.034

UNSAT
TT=0.774

UNSAT
TT=0.733

UNSAT
TT=0.16

UNSAT
TT=1.016

UNSAT
TT=1.079

UNSAT
TT=0.488

UNSAT
TT=0.075

dimacs/aim-200/
aim-200-2-0-sat-1_ext.xml
SAT
TT=0.039

SAT
TT=1.638

CHECKS=46903
NODES=8804
SAT
TT=3.895

CHECKS=339800
NODES=49250
? (TO)
TT=1800.06

SAT
TT=17.669

NODES=119693
SAT
TT=1.675

NODES=4456
SAT
TT=1.812

CHECKS=8058
NODES=4456
SAT
TT=0.039

SAT
TT=1.443

SAT
TT=1.417

SAT
TT=5.144

SAT
TT=1.369

SAT
TT=1.424

SAT
TT=0.873

SAT
TT=0.238

dimacs/aim-200/
aim-200-2-0-sat-2_ext.xml
SAT
TT=0.04

SAT
TT=1.437

CHECKS=30181
NODES=5706
SAT
TT=1.447

CHECKS=42894
NODES=7126
? (TO)
TT=1800.08

SAT
TT=9.327

NODES=51698
SAT
TT=1.623

NODES=4442
SAT
TT=1.843

CHECKS=7956
NODES=4442
SAT
TT=0.04

SAT
TT=1.378

SAT
TT=1.42

SAT
TT=0.213

SAT
TT=1.184

SAT
TT=1.211

SAT
TT=1.064

SAT
TT=0.188

dimacs/aim-200/
aim-200-2-0-sat-3_ext.xml
SAT
TT=0.041

SAT
TT=1.204

CHECKS=15684
NODES=2976
SAT
TT=1.403

CHECKS=39155
NODES=6427
? (TO)
TT=1800.08

SAT
TT=2.392

NODES=4781
SAT
TT=1.309

NODES=2784
SAT
TT=1.369

CHECKS=8076
NODES=2784
SAT
TT=0.041

SAT
TT=1.458

SAT
TT=1.411

SAT
TT=0.35

SAT
TT=1.24

SAT
TT=1.345

SAT
TT=0.98

SAT
TT=0.073

dimacs/aim-200/
aim-200-2-0-sat-4_ext.xml
SAT
TT=0.04

SAT
TT=2.152

CHECKS=122547
NODES=18751
SAT
TT=2.291

CHECKS=135673
NODES=22187
? (TO)
TT=1800.08

SAT
TT=36.122

NODES=230037
SAT
TT=2.357

NODES=7051
SAT
TT=2.687

CHECKS=8109
NODES=7051
SAT
TT=0.04

SAT
TT=1.36

SAT
TT=1.372

SAT
TT=6.178

SAT
TT=1.256

SAT
TT=1.278

SAT
TT=0.99

SAT
TT=3.019

dimacs/aim-200/
aim-200-2-0-unsat-1_ext.xml
UNSAT
TT=0.032

UNSAT
TT=1.237

CHECKS=20461
NODES=4264
UNSAT
TT=1.302

CHECKS=23640
NODES=4816
? (TO)
TT=1800.03

UNSAT
TT=2.177

NODES=10241
UNSAT
TT=1.228

NODES=2358
UNSAT
TT=1.37

CHECKS=8124
NODES=2358
UNSAT
TT=0.032

UNSAT
TT=0.828

UNSAT
TT=0.77

UNSAT
TT=0.347

UNSAT
TT=1.159

UNSAT
TT=1.161

UNSAT
TT=0.423

UNSAT
TT=0.049

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
dimacs/aim-200/
aim-200-2-0-unsat-2_ext.xml
UNSAT
TT=0.036

UNSAT
TT=1.04

CHECKS=5387
NODES=1161
UNSAT
TT=1.11

CHECKS=10473
NODES=2411
? (TO)
TT=1800.05

UNSAT
TT=1.607

NODES=5990
UNSAT
TT=1.624

NODES=3574
UNSAT
TT=1.702

CHECKS=7980
NODES=3574
UNSAT
TT=0.036

UNSAT
TT=0.768

UNSAT
TT=0.744

UNSAT
TT=0.15

UNSAT
TT=1.171

UNSAT
TT=1.139

UNSAT
TT=0.914

UNSAT
TT=0.062

dimacs/aim-200/
aim-200-2-0-unsat-3_ext.xml
UNSAT
TT=0.041

UNSAT
TT=0.922

CHECKS=2323
NODES=661
UNSAT
TT=0.924

CHECKS=3177
NODES=763
? (TO)
TT=1800.08

UNSAT
TT=1.795

NODES=3242
UNSAT
TT=0.823

NODES=800
UNSAT
TT=0.857

CHECKS=8085
NODES=800
UNSAT
TT=0.041

UNSAT
TT=0.773

UNSAT
TT=0.745

UNSAT
TT=0.088

UNSAT
TT=1.113

UNSAT
TT=1.115

UNSAT
TT=0.051

UNSAT
TT=0.05

dimacs/aim-200/
aim-200-2-0-unsat-4_ext.xml
UNSAT
TT=0.035

UNSAT
TT=0.939

CHECKS=3011
NODES=883
UNSAT
TT=0.928

CHECKS=2877
NODES=775
? (TO)
TT=1800.04

UNSAT
TT=2.677

NODES=5412
UNSAT
TT=0.812

NODES=916
UNSAT
TT=0.856

CHECKS=8163
NODES=916
UNSAT
TT=0.035

UNSAT
TT=0.832

UNSAT
TT=0.742

UNSAT
TT=0.128

UNSAT
TT=1.083

UNSAT
TT=1.145

UNSAT
TT=0.915

UNSAT
TT=0.066

dimacs/aim-200/
aim-200-3-4-sat-1_ext.xml
SAT
TT=0.054

SAT
TT=1.168

CHECKS=13467
NODES=1493
SAT
TT=1.46

CHECKS=50394
NODES=4213
? (TO)
TT=1800.07

SAT
TT=12.693

NODES=50157
SAT
TT=19.496

NODES=36624
SAT
TT=19.933

CHECKS=13437
NODES=36624
SAT
TT=0.054

SAT
TT=1.577

SAT
TT=1.545

SAT
TT=0.33

SAT
TT=1.456

SAT
TT=1.507

SAT
TT=1.139

SAT
TT=0.11

dimacs/aim-200/
aim-200-3-4-sat-2_ext.xml
SAT
TT=0.055

SAT
TT=1.061

CHECKS=8766
NODES=1095
SAT
TT=1.163

CHECKS=18815
NODES=1699
? (TO)
TT=1800.09

SAT
TT=1.086

NODES=893
SAT
TT=1.709

NODES=2062
SAT
TT=1.734

CHECKS=13227
NODES=2062
SAT
TT=0.055

SAT
TT=1.606

SAT
TT=1.548

SAT
TT=0.204

SAT
TT=1.48

SAT
TT=1.507

SAT
TT=1.11

SAT
TT=0.155

dimacs/aim-200/
aim-200-3-4-sat-3_ext.xml
SAT
TT=0.06

SAT
TT=1.098

CHECKS=12246
NODES=1509
SAT
TT=3.266

CHECKS=400611
NODES=22287
SAT
TT=950.686

SAT
TT=13.964

NODES=60782
SAT
TT=165.449

NODES=307194
SAT
TT=162.226

CHECKS=13317
NODES=307194
SAT
TT=0.06

SAT
TT=1.498

SAT
TT=1.462

SAT
TT=0.202

SAT
TT=1.462

SAT
TT=1.604

SAT
TT=1.02

SAT
TT=0.131

dimacs/aim-200/
aim-200-3-4-sat-4_ext.xml
SAT
TT=0.05

SAT
TT=1.167

CHECKS=14282
NODES=1610
SAT
TT=0.992

CHECKS=5972
NODES=707
? (TO)
TT=1800.09

SAT
TT=5.508

NODES=21021
SAT
TT=2.135

NODES=3065
SAT
TT=2.302

CHECKS=13371
NODES=3065
SAT
TT=0.05

SAT
TT=1.583

SAT
TT=1.539

SAT
TT=1.152

SAT
TT=1.442

SAT
TT=1.542

SAT
TT=1.06

SAT
TT=0.13

dimacs/aim-200/
aim-200-6-0-sat-1_ext.xml
SAT
TT=0.08

SAT
TT=0.98

CHECKS=5789
NODES=0
SAT
TT=1.18

CHECKS=17831
NODES=929
SAT
TT=76.635

SAT
TT=0.928

NODES=433
SAT
TT=0.851

NODES=296
SAT
TT=0.89

CHECKS=24003
NODES=296
SAT
TT=0.08

SAT
TT=1.73

SAT
TT=1.674

SAT
TT=0.155

SAT
TT=1.959

SAT
TT=2.038

SAT
TT=1.126

SAT
TT=0.171

dimacs/aim-200/
aim-200-6-0-sat-2_ext.xml
SAT
TT=0.092

SAT
TT=1.417

CHECKS=34384
NODES=1789
SAT
TT=1.05

CHECKS=4286
NODES=315
SAT
TT=8.94

SAT
TT=2.311

NODES=1548
SAT
TT=1.025

NODES=470
SAT
TT=1.012

CHECKS=24384
NODES=470
SAT
TT=0.092

SAT
TT=1.747

SAT
TT=1.756

SAT
TT=0.1

SAT
TT=2.23

SAT
TT=2.229

SAT
TT=1.14

SAT
TT=0.096

dimacs/aim-200/
aim-200-6-0-sat-3_ext.xml
SAT
TT=0.075

SAT
TT=1.068

CHECKS=6312
NODES=318
SAT
TT=1.084

CHECKS=7946
NODES=534
SAT
TT=169.993

SAT
TT=1.248

NODES=674
SAT
TT=0.957

NODES=382
SAT
TT=0.92

CHECKS=24024
NODES=382
SAT
TT=0.075

SAT
TT=1.732

SAT
TT=1.73

SAT
TT=0.099

SAT
TT=2.181

SAT
TT=2.051

SAT
TT=1.07

SAT
TT=0.084

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
dimacs/aim-200/
aim-200-6-0-sat-4_ext.xml
SAT
TT=0.085

SAT
TT=1.013

CHECKS=5239
NODES=0
SAT
TT=1.252

CHECKS=27697
NODES=1447
SAT
TT=32.652

SAT
TT=1.578

NODES=1009
SAT
TT=1.314

NODES=761
SAT
TT=1.342

CHECKS=24093
NODES=761
SAT
TT=0.085

SAT
TT=1.704

SAT
TT=1.642

SAT
TT=0.117

SAT
TT=2.197

SAT
TT=2.281

SAT
TT=1.256

SAT
TT=0.091

dimacs/aim-50/
aim-50-1-6-sat-1_ext.xml
SAT
TT=0.018

SAT
TT=0.742

CHECKS=1526
NODES=356
SAT
TT=0.771

CHECKS=1112
NODES=259
SAT
TT=0.1

SAT
TT=0.396

NODES=241
SAT
TT=0.355

NODES=169
SAT
TT=0.355

CHECKS=1608
NODES=169
SAT
TT=0.018

SAT
TT=0.914

SAT
TT=0.918

SAT
TT=0.018

SAT
TT=0.669

SAT
TT=0.672

SAT
TT=0.721

SAT
TT=0.019

dimacs/aim-50/
aim-50-1-6-sat-2_ext.xml
SAT
TT=0.017

SAT
TT=0.674

CHECKS=325
NODES=0
SAT
TT=0.71

CHECKS=448
NODES=111
SAT
TT=4.072

SAT
TT=0.353

NODES=94
SAT
TT=0.369

NODES=145
SAT
TT=0.362

CHECKS=1587
NODES=145
SAT
TT=0.018

SAT
TT=0.927

SAT
TT=0.936

SAT
TT=0.017

SAT
TT=0.671

SAT
TT=0.663

SAT
TT=0.602

SAT
TT=0.017

dimacs/aim-50/
aim-50-1-6-sat-3_ext.xml
SAT
TT=0.016

SAT
TT=0.683

CHECKS=259
NODES=0
SAT
TT=0.678

CHECKS=773
NODES=158
SAT
TT=0.045

SAT
TT=0.369

NODES=188
SAT
TT=0.37

NODES=324
SAT
TT=0.381

CHECKS=1602
NODES=316
SAT
TT=0.019

SAT
TT=0.933

SAT
TT=0.923

SAT
TT=0.017

SAT
TT=0.671

SAT
TT=0.696

SAT
TT=0.378

SAT
TT=0.016

dimacs/aim-50/
aim-50-1-6-sat-4_ext.xml
SAT
TT=0.016

SAT
TT=0.679

CHECKS=281
NODES=0
SAT
TT=0.758

CHECKS=855
NODES=171
SAT
TT=0.832

SAT
TT=0.376

NODES=98
SAT
TT=0.368

NODES=75
SAT
TT=0.329

CHECKS=1578
NODES=75
SAT
TT=0.019

SAT
TT=0.913

SAT
TT=0.939

SAT
TT=0.017

SAT
TT=0.665

SAT
TT=0.68

SAT
TT=0.185

SAT
TT=0.016

dimacs/aim-50/
aim-50-1-6-unsat-1_ext.xml
UNSAT
TT=0.017

UNSAT
TT=0.717

CHECKS=480
NODES=39
UNSAT
TT=0.653

CHECKS=456
NODES=61
UNSAT
TT=3.39

UNSAT
TT=0.373

NODES=53
UNSAT
TT=0.332

NODES=42
UNSAT
TT=0.342

CHECKS=1413
NODES=42
UNSAT
TT=0.017

UNSAT
TT=0.533

UNSAT
TT=0.518

UNSAT
TT=0.017

UNSAT
TT=0.669

UNSAT
TT=0.656

UNSAT
TT=0.364

UNSAT
TT=0.018

dimacs/aim-50/
aim-50-1-6-unsat-2_ext.xml
UNSAT
TT=0.017

UNSAT
TT=0.73

CHECKS=1297
NODES=314
UNSAT
TT=0.74

CHECKS=1932
NODES=453
UNSAT
TT=79.157

UNSAT
TT=0.416

NODES=382
UNSAT
TT=0.374

NODES=254
UNSAT
TT=0.366

CHECKS=1608
NODES=254
UNSAT
TT=0.017

UNSAT
TT=0.507

UNSAT
TT=0.54

UNSAT
TT=0.023

UNSAT
TT=0.673

UNSAT
TT=0.668

UNSAT
TT=0.347

UNSAT
TT=0.017

dimacs/aim-50/
aim-50-1-6-unsat-3_ext.xml
UNSAT
TT=0.016

UNSAT
TT=0.696

CHECKS=895
NODES=77
UNSAT
TT=0.702

CHECKS=853
NODES=72
UNSAT
TT=4.298

UNSAT
TT=0.366

NODES=81
UNSAT
TT=0.343

NODES=52
UNSAT
TT=0.336

CHECKS=1425
NODES=51
UNSAT
TT=0.019

UNSAT
TT=0.517

UNSAT
TT=0.532

UNSAT
TT=0.019

UNSAT
TT=0.685

UNSAT
TT=0.693

UNSAT
TT=0.051

UNSAT
TT=0.016

dimacs/aim-50/
aim-50-1-6-unsat-4_ext.xml
UNSAT
TT=0.017

UNSAT
TT=0.749

CHECKS=348
NODES=44
UNSAT
TT=0.744

CHECKS=462
NODES=82
UNSAT
TT=12.004

UNSAT
TT=0.369

NODES=56
UNSAT
TT=0.336

NODES=62
UNSAT
TT=0.369

CHECKS=1584
NODES=62
UNSAT
TT=0.017

UNSAT
TT=0.516

UNSAT
TT=0.523

UNSAT
TT=0.017

UNSAT
TT=0.677

UNSAT
TT=0.72

UNSAT
TT=0.052

UNSAT
TT=0.018

dimacs/aim-50/
aim-50-2-0-sat-1_ext.xml
SAT
TT=0.018

SAT
TT=0.739

CHECKS=1051
NODES=173
SAT
TT=0.718

CHECKS=818
NODES=174
SAT
TT=0.427

SAT
TT=0.363

NODES=107
SAT
TT=0.348

NODES=93
SAT
TT=0.355

CHECKS=1959
NODES=93
SAT
TT=0.019

SAT
TT=0.934

SAT
TT=0.947

SAT
TT=0.019

SAT
TT=0.687

SAT
TT=0.724

SAT
TT=0.049

SAT
TT=0.018

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
dimacs/aim-50/
aim-50-2-0-sat-2_ext.xml
SAT
TT=0.017

SAT
TT=0.752

CHECKS=2471
NODES=399
SAT
TT=0.759

CHECKS=2762
NODES=529
SAT
TT=0.181

SAT
TT=0.383

NODES=155
SAT
TT=0.367

NODES=98
SAT
TT=0.355

CHECKS=1989
NODES=98
SAT
TT=0.021

SAT
TT=0.93

SAT
TT=0.936

SAT
TT=0.019

SAT
TT=0.705

SAT
TT=0.73

SAT
TT=0.742

SAT
TT=0.017

dimacs/aim-50/
aim-50-2-0-sat-3_ext.xml
SAT
TT=0.017

SAT
TT=0.736

CHECKS=844
NODES=182
SAT
TT=0.765

CHECKS=661
NODES=147
SAT
TT=0.118

SAT
TT=0.362

NODES=107
SAT
TT=0.364

NODES=167
SAT
TT=0.368

CHECKS=2004
NODES=167
SAT
TT=0.019

SAT
TT=0.956

SAT
TT=0.94

SAT
TT=0.026

SAT
TT=0.715

SAT
TT=0.722

SAT
TT=0.051

SAT
TT=0.017

dimacs/aim-50/
aim-50-2-0-sat-4_ext.xml
SAT
TT=0.017

SAT
TT=0.742

CHECKS=760
NODES=71
SAT
TT=0.694

CHECKS=610
NODES=99
SAT
TT=0.106

SAT
TT=0.382

NODES=142
SAT
TT=0.354

NODES=138
SAT
TT=0.393

CHECKS=1941
NODES=138
SAT
TT=0.018

SAT
TT=0.938

SAT
TT=0.965

SAT
TT=0.018

SAT
TT=0.684

SAT
TT=0.69

SAT
TT=0.054

SAT
TT=0.017

dimacs/aim-50/
aim-50-2-0-unsat-1_ext.xml
UNSAT
TT=0.018

UNSAT
TT=0.732

CHECKS=1234
NODES=211
UNSAT
TT=0.695

CHECKS=707
NODES=140
UNSAT
TT=2.169

UNSAT
TT=0.391

NODES=152
UNSAT
TT=0.363

NODES=127
UNSAT
TT=0.367

CHECKS=2028
NODES=127
UNSAT
TT=0.018

UNSAT
TT=0.539

UNSAT
TT=0.529

UNSAT
TT=0.023

UNSAT
TT=0.686

UNSAT
TT=0.694

UNSAT
TT=0.595

UNSAT
TT=0.019

dimacs/aim-50/
aim-50-2-0-unsat-2_ext.xml
UNSAT
TT=0.018

UNSAT
TT=0.728

CHECKS=957
NODES=155
UNSAT
TT=0.712

CHECKS=639
NODES=123
UNSAT
TT=0.607

UNSAT
TT=0.395

NODES=88
UNSAT
TT=0.365

NODES=80
UNSAT
TT=0.378

CHECKS=1956
NODES=80
UNSAT
TT=0.018

UNSAT
TT=0.588

UNSAT
TT=0.545

UNSAT
TT=0.018

UNSAT
TT=0.661

UNSAT
TT=0.723

UNSAT
TT=0.657

UNSAT
TT=0.021

dimacs/aim-50/
aim-50-2-0-unsat-3_ext.xml
UNSAT
TT=0.016

UNSAT
TT=0.733

CHECKS=1096
NODES=201
UNSAT
TT=0.724

CHECKS=868
NODES=165
UNSAT
TT=0.726

UNSAT
TT=0.394

NODES=181
UNSAT
TT=0.385

NODES=186
UNSAT
TT=0.381

CHECKS=1908
NODES=186
UNSAT
TT=0.016

UNSAT
TT=0.533

UNSAT
TT=0.534

UNSAT
TT=0.019

UNSAT
TT=0.688

UNSAT
TT=0.677

UNSAT
TT=0.611

UNSAT
TT=0.02

dimacs/aim-50/
aim-50-2-0-unsat-4_ext.xml
UNSAT
TT=0.017

UNSAT
TT=0.729

CHECKS=691
NODES=104
UNSAT
TT=0.747

CHECKS=648
NODES=147
UNSAT
TT=1.601

UNSAT
TT=0.397

NODES=219
UNSAT
TT=0.356

NODES=178
UNSAT
TT=0.366

CHECKS=1956
NODES=178
UNSAT
TT=0.018

UNSAT
TT=0.566

UNSAT
TT=0.557

UNSAT
TT=0.021

UNSAT
TT=0.69

UNSAT
TT=0.667

UNSAT
TT=0.05

UNSAT
TT=0.017

dimacs/aim-50/
aim-50-3-4-sat-1_ext.xml
SAT
TT=0.019

SAT
TT=0.78

CHECKS=1280
NODES=92
SAT
TT=0.734

CHECKS=1327
NODES=130
SAT
TT=0.034

SAT
TT=0.406

NODES=125
SAT
TT=0.381

NODES=59
SAT
TT=0.419

CHECKS=3237
NODES=59
SAT
TT=0.024

SAT
TT=1.02

SAT
TT=1.059

SAT
TT=0.02

SAT
TT=0.916

SAT
TT=0.901

SAT
TT=0.188

SAT
TT=0.019

dimacs/aim-50/
aim-50-3-4-sat-2_ext.xml
SAT
TT=0.023

SAT
TT=0.694

CHECKS=600
NODES=0
SAT
TT=0.836

CHECKS=4374
NODES=361
SAT
TT=0.043

SAT
TT=0.453

NODES=158
SAT
TT=0.42

NODES=249
SAT
TT=0.463

CHECKS=3354
NODES=249
SAT
TT=0.023

SAT
TT=1.037

SAT
TT=1.044

SAT
TT=0.025

SAT
TT=0.79

SAT
TT=0.8

SAT
TT=0.583

SAT
TT=0.029

dimacs/aim-50/
aim-50-3-4-sat-3_ext.xml
SAT
TT=0.025

SAT
TT=0.734

CHECKS=1201
NODES=89
SAT
TT=0.732

CHECKS=1057
NODES=108
SAT
TT=0.042

SAT
TT=0.419

NODES=111
SAT
TT=0.414

NODES=215
SAT
TT=0.438

CHECKS=3354
NODES=215
SAT
TT=0.025

SAT
TT=1.033

SAT
TT=1.093

SAT
TT=0.026

SAT
TT=0.756

SAT
TT=0.759

SAT
TT=0.46

SAT
TT=0.03

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
dimacs/aim-50/
aim-50-3-4-sat-4_ext.xml
SAT
TT=0.02

SAT
TT=0.77

CHECKS=1764
NODES=145
SAT
TT=0.71

CHECKS=1053
NODES=78
SAT
TT=0.034

SAT
TT=0.441

NODES=116
SAT
TT=0.409

NODES=126
SAT
TT=0.402

CHECKS=3276
NODES=126
SAT
TT=0.021

SAT
TT=1.037

SAT
TT=1.044

SAT
TT=0.02

SAT
TT=0.792

SAT
TT=0.794

SAT
TT=0.052

SAT
TT=0.02

dimacs/aim-50/
aim-50-6-0-sat-1_ext.xml
SAT
TT=0.025

SAT
TT=0.79

CHECKS=2143
NODES=0
SAT
TT=0.769

CHECKS=1137
NODES=83
SAT
TT=0.03

SAT
TT=0.457

NODES=65
SAT
TT=0.444

NODES=61
SAT
TT=0.479

CHECKS=6045
NODES=61
SAT
TT=0.029

SAT
TT=1.175

SAT
TT=1.129

SAT
TT=0.026

SAT
TT=0.927

SAT
TT=0.914

SAT
TT=0.059

SAT
TT=0.025

dimacs/aim-50/
aim-50-6-0-sat-2_ext.xml
SAT
TT=0.025

SAT
TT=0.774

CHECKS=1345
NODES=0
SAT
TT=0.745

CHECKS=731
NODES=52
SAT
TT=0.028

SAT
TT=0.455

NODES=77
SAT
TT=0.443

NODES=80
SAT
TT=0.484

CHECKS=5874
NODES=80
SAT
TT=0.028

SAT
TT=1.158

SAT
TT=1.14

SAT
TT=0.025

SAT
TT=0.937

SAT
TT=0.915

SAT
TT=0.794

SAT
TT=0.026

dimacs/aim-50/
aim-50-6-0-sat-3_ext.xml
SAT
TT=0.026

SAT
TT=0.761

CHECKS=626
NODES=0
SAT
TT=0.765

CHECKS=1323
NODES=72
SAT
TT=0.034

SAT
TT=0.449

NODES=65
SAT
TT=0.433

NODES=61
SAT
TT=0.464

CHECKS=5514
NODES=61
SAT
TT=0.027

SAT
TT=1.159

SAT
TT=1.146

SAT
TT=0.027

SAT
TT=0.906

SAT
TT=0.851

SAT
TT=0.92

SAT
TT=0.026

dimacs/aim-50/
aim-50-6-0-sat-4_ext.xml
SAT
TT=0.025

SAT
TT=0.762

CHECKS=1330
NODES=0
SAT
TT=0.782

CHECKS=1345
NODES=81
SAT
TT=0.033

SAT
TT=0.465

NODES=97
SAT
TT=0.452

NODES=88
SAT
TT=0.454

CHECKS=5640
NODES=88
SAT
TT=0.03

SAT
TT=1.164

SAT
TT=1.135

SAT
TT=0.029

SAT
TT=0.941

SAT
TT=0.919

SAT
TT=0.052

SAT
TT=0.025

dimacs/dubois/
dubois-100_ext.xml
UNSAT
TT=0.12

? (TO)
TT=1800.13

? (TO)
TT=1800.15

? (TO)
TT=1800.09

? (TO)
TT=1800.05

? (TO)
TT=1800.08

? (TO)
TT=1800.1

UNSAT
TT=0.12

UNSAT
TT=1.053

UNSAT
TT=0.984

? (TO)
TT=1800.06

? (TO)
TT=1800.17

? (TO)
TT=1800.18

UNSAT
TT=0.93

? (TO)
TT=1800.08

dimacs/dubois/
dubois-20_ext.xml
UNSAT
TT=0.028

UNSAT
TT=0.929

CHECKS=9756
NODES=2298
UNSAT
TT=2.157

CHECKS=217183
NODES=39078
UNSAT
TT=79.688

UNSAT
TT=1612.33

NODES=18548239
UNSAT
TT=190.034

NODES=5570120
UNSAT
TT=206.38

CHECKS=480
NODES=5570120
UNSAT
TT=0.028

UNSAT
TT=0.693

UNSAT
TT=0.606

UNSAT
TT=24.895

UNSAT
TT=25.101

UNSAT
TT=26.097

UNSAT
TT=0.656

UNSAT
TT=75.695

dimacs/dubois/
dubois-21_ext.xml
UNSAT
TT=0.033

UNSAT
TT=5.559

CHECKS=854278
NODES=132363
UNSAT
TT=6.34

CHECKS=1135413
NODES=148924
UNSAT
TT=149.472

? (TO)
TT=1800.1

UNSAT
TT=215.014

NODES=6278884
UNSAT
TT=242.822

CHECKS=504
NODES=6278884
UNSAT
TT=0.033

UNSAT
TT=0.699

UNSAT
TT=0.616

UNSAT
TT=43.46

UNSAT
TT=59.203

UNSAT
TT=55.385

UNSAT
TT=0.06

UNSAT
TT=149.849

dimacs/dubois/
dubois-22_ext.xml
UNSAT
TT=0.031

UNSAT
TT=0.984

CHECKS=29187
NODES=5663
UNSAT
TT=2.939

CHECKS=442226
NODES=51313
UNSAT
TT=298.151

? (TO)
TT=1800.07

UNSAT
TT=744.353

NODES=20983279
UNSAT
TT=809.969

CHECKS=528
NODES=20983279
UNSAT
TT=0.031

UNSAT
TT=0.717

UNSAT
TT=0.656

UNSAT
TT=89.904

UNSAT
TT=125.528

UNSAT
TT=123.37

UNSAT
TT=0.664

UNSAT
TT=341.498

dimacs/dubois/
dubois-23_ext.xml
UNSAT
TT=0.029

UNSAT
TT=7.768

CHECKS=1039809
NODES=207005
UNSAT
TT=0.969

CHECKS=14609
NODES=3296
UNSAT
TT=640.301

? (TO)
TT=1800

UNSAT
TT=1737.98

NODES=48409227
? (TO)
TT=1800

UNSAT
TT=0.029

UNSAT
TT=0.667

UNSAT
TT=0.658

UNSAT
TT=177.412

UNSAT
TT=251.855

UNSAT
TT=264.582

UNSAT
TT=0.72

UNSAT
TT=627.722

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
dimacs/dubois/
dubois-24_ext.xml
UNSAT
TT=0.033

UNSAT
TT=1.146

CHECKS=49402
NODES=7094
UNSAT
TT=26.865

CHECKS=5845566
NODES=567739
? (TO)
TT=1800.05

? (TO)
TT=1800.04

? (TO)
TT=1800.01

? (TO)
TT=1800.09

UNSAT
TT=0.033

UNSAT
TT=0.668

UNSAT
TT=0.681

UNSAT
TT=339.123

? (MO)
TT=439.249

? (TO)
TT=1800.23

UNSAT
TT=0.061

UNSAT
TT=1245.96

dimacs/dubois/
dubois-25_ext.xml
UNSAT
TT=0.032

UNSAT
TT=1.017

CHECKS=32035
NODES=5990
UNSAT
TT=1.145

CHECKS=59371
NODES=9032
? (TO)
TT=1800.05

? (TO)
TT=1800.06

? (TO)
TT=1800.01

? (TO)
TT=1800.01

UNSAT
TT=0.032

UNSAT
TT=0.72

UNSAT
TT=0.66

UNSAT
TT=725.776

? (TO)
TT=1800.25

? (MO)
TT=433.334

UNSAT
TT=0.727

? (TO)
TT=1800.05

dimacs/dubois/
dubois-26_ext.xml
UNSAT
TT=0.029

UNSAT
TT=1.165

CHECKS=43127
NODES=8919
UNSAT
TT=28.104

CHECKS=3910446
NODES=696341
? (TO)
TT=1800.01

? (TO)
TT=1800.09

? (TO)
TT=1800.08

? (TO)
TT=1800.08

UNSAT
TT=0.029

UNSAT
TT=0.683

UNSAT
TT=0.667

UNSAT
TT=1362.06

? (MO)
TT=412.404

? (MO)
TT=420.472

UNSAT
TT=0.3

? (TO)
TT=1800.02

dimacs/dubois/
dubois-27_ext.xml
UNSAT
TT=0.028

UNSAT
TT=4.345

CHECKS=816759
NODES=69253
UNSAT
TT=1.196

CHECKS=57312
NODES=10293
? (TO)
TT=1800.04

? (TO)
TT=1800.08

? (TO)
TT=1800.04

? (TO)
TT=1800.04

UNSAT
TT=0.028

UNSAT
TT=0.807

UNSAT
TT=0.645

? (TO)
TT=1800.01

? (MO)
TT=394.876

? (MO)
TT=414.131

UNSAT
TT=0.061

? (TO)
TT=1800.07

dimacs/dubois/
dubois-28_ext.xml
UNSAT
TT=0.035

UNSAT
TT=1.084

CHECKS=40961
NODES=6142
UNSAT
TT=48.338

CHECKS=7927593
NODES=1037268
? (TO)
TT=1800.06

? (TO)
TT=1800.03

? (TO)
TT=1800.14

? (TO)
TT=1800

UNSAT
TT=0.035

UNSAT
TT=0.72

UNSAT
TT=0.657

? (TO)
TT=1800.07

? (TO)
TT=1800.23

? (TO)
TT=1800.19

UNSAT
TT=0.47

? (TO)
TT=1800.05

dimacs/dubois/
dubois-29_ext.xml
UNSAT
TT=0.038

UNSAT
TT=6.138

CHECKS=1001238
NODES=115878
UNSAT
TT=1.408

CHECKS=61488
NODES=12782
? (TO)
TT=1800.03

? (TO)
TT=1800.08

? (TO)
TT=1800

? (TO)
TT=1800.04

UNSAT
TT=0.038

UNSAT
TT=0.735

UNSAT
TT=0.687

? (TO)
TT=1800.06

? (MO)
TT=396.922

? (MO)
TT=412.415

UNSAT
TT=0.771

? (TO)
TT=1800.08

dimacs/dubois/
dubois-30_ext.xml
UNSAT
TT=0.036

UNSAT
TT=2.887

CHECKS=509013
NODES=38395
UNSAT
TT=1.438

CHECKS=66987
NODES=13379
? (TO)
TT=1800.08

? (TO)
TT=1800.02

? (TO)
TT=1800.07

? (TO)
TT=1800.07

UNSAT
TT=0.036

UNSAT
TT=0.739

UNSAT
TT=0.67

? (TO)
TT=1800.06

? (MO)
TT=419.096

? (MO)
TT=405.648

UNSAT
TT=0.728

? (TO)
TT=1800.1

dimacs/dubois/
dubois-50_ext.xml
UNSAT
TT=0.056

UNSAT
TT=12.44

CHECKS=1279940
NODES=181834
? (TO)
TT=1800.23

? (TO)
TT=1800.02

? (TO)
TT=1800

? (TO)
TT=1800.08

? (TO)
TT=1800.01

UNSAT
TT=0.056

UNSAT
TT=0.837

UNSAT
TT=0.787

? (TO)
TT=1800.05

? (MO)
TT=477.066

? (MO)
TT=445.174

UNSAT
TT=0.576

? (TO)
TT=1800.09

dimacs/
jnhSat/
jnh01_ext.xml
SAT
TT=0.077

SAT
TT=1.226

CHECKS=10557
NODES=556
SAT
TT=1.068

CHECKS=8164
NODES=544
SAT
TT=0.612

SAT
TT=2.39

NODES=360
SAT
TT=1.672

NODES=175
SAT
TT=1.729

CHECKS=12639
NODES=185
SAT
TT=0.077

SAT
TT=6

SAT
TT=5.649

SAT
TT=0.188

SAT
TT=2.014

SAT
TT=2.175

SAT
TT=1.163

SAT
TT=0.32

dimacs/
jnhSat/
jnh07_ext.xml
SAT
TT=0.068

SAT
TT=1.024

CHECKS=6220
NODES=263
SAT
TT=1.017

CHECKS=5057
NODES=266
SAT
TT=0.068

SAT
TT=1.589

NODES=176
SAT
TT=1.495

NODES=186
SAT
TT=1.541

CHECKS=10474
NODES=186
SAT
TT=0.073

SAT
TT=5.104

SAT
TT=4.702

SAT
TT=0.169

SAT
TT=1.876

SAT
TT=1.899

SAT
TT=1.15

SAT
TT=0.281

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
dimacs/
jnhSat/
jnh12_ext.xml
SAT
TT=0.075

SAT
TT=0.964

CHECKS=4196
NODES=0
SAT
TT=1.065

CHECKS=3789
NODES=187
SAT
TT=0.075

SAT
TT=1.527

NODES=143
SAT
TT=1.385

NODES=134
SAT
TT=1.416

CHECKS=10544
NODES=134
SAT
TT=0.075

SAT
TT=5.214

SAT
TT=4.887

SAT
TT=0.132

SAT
TT=1.824

SAT
TT=1.852

SAT
TT=1.07

SAT
TT=0.137

dimacs/
jnhSat/
jnh17_ext.xml
SAT
TT=0.07

SAT
TT=1.13

CHECKS=5310
NODES=214
SAT
TT=0.983

CHECKS=3999
NODES=210
SAT
TT=0.106

SAT
TT=1.497

NODES=130
SAT
TT=1.388

NODES=178
SAT
TT=1.504

CHECKS=10351
NODES=178
SAT
TT=0.07

SAT
TT=5.095

SAT
TT=4.813

SAT
TT=0.161

SAT
TT=1.818

SAT
TT=2.012

SAT
TT=1.083

SAT
TT=0.137

dimacs/
jnhSat/
jnh201_ext.xml
SAT
TT=0.073

SAT
TT=1.127

CHECKS=6194
NODES=280
SAT
TT=0.992

CHECKS=4684
NODES=263
SAT
TT=0.174

SAT
TT=1.578

NODES=120
SAT
TT=1.495

NODES=173
SAT
TT=1.541

CHECKS=12048
NODES=173
SAT
TT=0.073

SAT
TT=5.801

SAT
TT=5.568

SAT
TT=0.081

SAT
TT=1.867

SAT
TT=1.988

SAT
TT=1.15

SAT
TT=0.083

dimacs/
jnhSat/
jnh204_ext.xml
SAT
TT=0.071

SAT
TT=1.285

CHECKS=16272
NODES=723
SAT
TT=1.355

CHECKS=20721
NODES=918
SAT
TT=0.674

SAT
TT=2.977

NODES=693
SAT
TT=1.8

NODES=309
SAT
TT=1.86

CHECKS=14154
NODES=309
SAT
TT=0.071

SAT
TT=4.928

SAT
TT=4.731

SAT
TT=0.674

SAT
TT=1.999

SAT
TT=2.206

SAT
TT=1.13

SAT
TT=0.298

dimacs/
jnhSat/
jnh205_ext.xml
SAT
TT=0.08

SAT
TT=1.144

CHECKS=10992
NODES=418
SAT
TT=1.19

CHECKS=12898
NODES=598
SAT
TT=1.25

SAT
TT=1.391

NODES=153
SAT
TT=1.328

NODES=154
SAT
TT=1.459

CHECKS=10711
NODES=157
SAT
TT=0.08

SAT
TT=5.054

SAT
TT=4.769

SAT
TT=0.186

SAT
TT=2.034

SAT
TT=2.151

SAT
TT=1.06

SAT
TT=0.109

dimacs/
jnhSat/
jnh207_ext.xml
SAT
TT=0.072

SAT
TT=0.923

CHECKS=1937
NODES=0
SAT
TT=1.22

CHECKS=18725
NODES=833
SAT
TT=0.218

SAT
TT=1.599

NODES=181
SAT
TT=1.752

NODES=304
SAT
TT=1.958

CHECKS=13575
NODES=304
SAT
TT=0.072

SAT
TT=4.982

SAT
TT=4.748

SAT
TT=0.266

SAT
TT=2.032

SAT
TT=2.122

SAT
TT=1.246

SAT
TT=0.659

dimacs/
jnhSat/
jnh209_ext.xml
SAT
TT=0.071

SAT
TT=1.13

CHECKS=13795
NODES=656
SAT
TT=1.126

CHECKS=11016
NODES=455
SAT
TT=0.23

SAT
TT=1.485

NODES=175
SAT
TT=1.458

NODES=183
SAT
TT=1.523

CHECKS=14769
NODES=183
SAT
TT=0.071

SAT
TT=4.732

SAT
TT=4.452

SAT
TT=0.165

SAT
TT=1.931

SAT
TT=1.911

SAT
TT=1.06

SAT
TT=0.304

dimacs/
jnhSat/
jnh210_ext.xml
SAT
TT=0.057

SAT
TT=1.073

CHECKS=8646
NODES=379
SAT
TT=1

CHECKS=4510
NODES=251
SAT
TT=0.057

SAT
TT=1.593

NODES=202
SAT
TT=1.301

NODES=165
SAT
TT=1.424

CHECKS=10441
NODES=167
SAT
TT=0.07

SAT
TT=4.966

SAT
TT=4.603

SAT
TT=0.14

SAT
TT=1.74

SAT
TT=1.807

SAT
TT=1.259

SAT
TT=0.127

dimacs/
jnhSat/
jnh212_ext.xml
SAT
TT=0.069

SAT
TT=1.425

CHECKS=19154
NODES=888
SAT
TT=1.191

CHECKS=13875
NODES=729
SAT
TT=1.607

SAT
TT=1.856

NODES=299
SAT
TT=3.018

NODES=689
SAT
TT=2.756

CHECKS=14892
NODES=563
SAT
TT=0.069

SAT
TT=4.962

SAT
TT=4.774

SAT
TT=0.636

SAT
TT=1.962

SAT
TT=2.031

SAT
TT=1.315

SAT
TT=1.109

dimacs/
jnhSat/
jnh213_ext.xml
SAT
TT=0.07

SAT
TT=1.186

CHECKS=4923
NODES=235
SAT
TT=0.984

CHECKS=3456
NODES=251
SAT
TT=0.279

SAT
TT=1.3

NODES=124
SAT
TT=1.138

NODES=114
SAT
TT=1.272

CHECKS=9486
NODES=114
SAT
TT=0.07

SAT
TT=4.977

SAT
TT=4.663

SAT
TT=0.137

SAT
TT=1.715

SAT
TT=1.868

SAT
TT=1.273

SAT
TT=0.153

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
dimacs/
jnhSat/
jnh217_ext.xml
SAT
TT=0.07

SAT
TT=1.074

CHECKS=8456
NODES=421
SAT
TT=1.017

CHECKS=5522
NODES=311
SAT
TT=0.084

SAT
TT=1.459

NODES=150
SAT
TT=1.785

NODES=333
SAT
TT=2.465

CHECKS=14979
NODES=464
SAT
TT=0.07

SAT
TT=4.93

SAT
TT=4.656

SAT
TT=0.093

SAT
TT=1.786

SAT
TT=1.898

SAT
TT=1.273

SAT
TT=0.093

dimacs/
jnhSat/
jnh218_ext.xml
SAT
TT=0.073

SAT
TT=1.144

CHECKS=4554
NODES=161
SAT
TT=0.939

CHECKS=3996
NODES=209
SAT
TT=0.165

SAT
TT=1.41

NODES=141
SAT
TT=1.363

NODES=183
SAT
TT=1.422

CHECKS=9601
NODES=184
SAT
TT=0.073

SAT
TT=4.946

SAT
TT=4.768

SAT
TT=0.205

SAT
TT=1.803

SAT
TT=1.888

SAT
TT=1.12

SAT
TT=0.161

dimacs/
jnhSat/
jnh220_ext.xml
SAT
TT=0.07

SAT
TT=1.484

CHECKS=25251
NODES=1180
SAT
TT=1.267

CHECKS=22355
NODES=922
SAT
TT=0.834

SAT
TT=2.293

NODES=426
SAT
TT=2.907

NODES=678
SAT
TT=3.163

CHECKS=14223
NODES=678
SAT
TT=0.07

SAT
TT=4.951

SAT
TT=4.754

SAT
TT=0.149

SAT
TT=2.076

SAT
TT=1.918

SAT
TT=1.06

SAT
TT=0.688

dimacs/
jnhSat/
jnh301_ext.xml
SAT
TT=0.074

SAT
TT=1.545

CHECKS=40539
NODES=1849
SAT
TT=1.471

CHECKS=29761
NODES=1240
SAT
TT=0.497

SAT
TT=2.521

NODES=338
SAT
TT=2.675

NODES=418
SAT
TT=2.994

CHECKS=13497
NODES=473
SAT
TT=0.074

SAT
TT=6.116

SAT
TT=5.763

SAT
TT=0.296

SAT
TT=2.167

SAT
TT=2.136

SAT
TT=1.2

SAT
TT=0.309

dimacs/
jnhUnsat/
jnh02_ext.xml
UNSAT
TT=0.073

UNSAT
TT=0.984

CHECKS=3128
NODES=0
UNSAT
TT=1.003

CHECKS=1637
NODES=63
UNSAT
TT=0.141

UNSAT
TT=1.47

NODES=25
UNSAT
TT=1.238

NODES=8
UNSAT
TT=1.295

CHECKS=9786
NODES=8
UNSAT
TT=0.073

UNSAT
TT=4.625

UNSAT
TT=4.094

UNSAT
TT=0.111

UNSAT
TT=1.815

UNSAT
TT=1.822

UNSAT
TT=1.131

UNSAT
TT=0.114

dimacs/
jnhUnsat/
jnh03_ext.xml
UNSAT
TT=0.076

UNSAT
TT=1.433

CHECKS=29630
NODES=1371
UNSAT
TT=1.353

CHECKS=27738
NODES=1269
UNSAT
TT=1.137

UNSAT
TT=2.606

NODES=420
UNSAT
TT=3.091

NODES=526
UNSAT
TT=3.332

CHECKS=13647
NODES=498
UNSAT
TT=0.076

UNSAT
TT=4.563

UNSAT
TT=4.123

UNSAT
TT=0.409

UNSAT
TT=2.057

UNSAT
TT=2.003

UNSAT
TT=1.09

UNSAT
TT=0.791

dimacs/
jnhUnsat/
jnh04_ext.xml
UNSAT
TT=0.075

UNSAT
TT=1.206

CHECKS=14478
NODES=730
UNSAT
TT=1.105

CHECKS=10914
NODES=528
UNSAT
TT=0.5

UNSAT
TT=1.895

NODES=150
UNSAT
TT=1.778

NODES=172
UNSAT
TT=2.11

CHECKS=14823
NODES=194
UNSAT
TT=0.075

UNSAT
TT=4.457

UNSAT
TT=3.972

UNSAT
TT=0.22

UNSAT
TT=1.874

UNSAT
TT=1.873

UNSAT
TT=1.17

UNSAT
TT=0.346

dimacs/
jnhUnsat/
jnh05_ext.xml
UNSAT
TT=0.074

UNSAT
TT=1.091

CHECKS=7639
NODES=58
UNSAT
TT=0.977

CHECKS=3462
NODES=161
UNSAT
TT=1.242

UNSAT
TT=1.497

NODES=28
UNSAT
TT=1.278

NODES=15
UNSAT
TT=1.395

CHECKS=12020
NODES=15
UNSAT
TT=0.074

UNSAT
TT=4.424

UNSAT
TT=3.985

UNSAT
TT=0.129

UNSAT
TT=1.883

UNSAT
TT=1.878

UNSAT
TT=1.1

UNSAT
TT=0.127

dimacs/
jnhUnsat/
jnh06_ext.xml
UNSAT
TT=0.076

UNSAT
TT=1.168

CHECKS=12091
NODES=497
UNSAT
TT=1.165

CHECKS=11940
NODES=436
UNSAT
TT=3.214

UNSAT
TT=2.022

NODES=221
UNSAT
TT=2.441

NODES=383
UNSAT
TT=2.754

CHECKS=15867
NODES=365
UNSAT
TT=0.076

UNSAT
TT=4.342

UNSAT
TT=3.912

UNSAT
TT=0.246

UNSAT
TT=2.012

UNSAT
TT=2.107

UNSAT
TT=1.11

UNSAT
TT=0.378

dimacs/
jnhUnsat/
jnh08_ext.xml
UNSAT
TT=0.073

UNSAT
TT=1.135

CHECKS=6415
NODES=159
UNSAT
TT=0.988

CHECKS=3368
NODES=136
UNSAT
TT=0.464

UNSAT
TT=1.532

NODES=70
UNSAT
TT=1.354

NODES=35
UNSAT
TT=1.409

CHECKS=12676
NODES=35
UNSAT
TT=0.073

UNSAT
TT=4.473

UNSAT
TT=4.087

UNSAT
TT=0.143

UNSAT
TT=1.924

UNSAT
TT=1.933

UNSAT
TT=1.08

UNSAT
TT=0.203

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
dimacs/
jnhUnsat/
jnh09_ext.xml
UNSAT
TT=0.07

UNSAT
TT=1.141

CHECKS=10209
NODES=443
UNSAT
TT=1.122

CHECKS=10370
NODES=550
UNSAT
TT=0.484

UNSAT
TT=1.779

NODES=132
UNSAT
TT=1.512

NODES=94
UNSAT
TT=1.739

CHECKS=15268
NODES=110
UNSAT
TT=0.07

UNSAT
TT=4.339

UNSAT
TT=3.814

UNSAT
TT=0.146

UNSAT
TT=1.801

UNSAT
TT=2.003

UNSAT
TT=1.08

UNSAT
TT=0.139

dimacs/
jnhUnsat/
jnh10_ext.xml
UNSAT
TT=0.07

UNSAT
TT=0.993

CHECKS=4459
NODES=0
UNSAT
TT=0.964

CHECKS=2757
NODES=81
UNSAT
TT=0.983

UNSAT
TT=1.529

NODES=33
UNSAT
TT=1.275

NODES=23
UNSAT
TT=1.441

CHECKS=11687
NODES=23
UNSAT
TT=0.07

UNSAT
TT=4.377

UNSAT
TT=3.916

UNSAT
TT=0.113

UNSAT
TT=1.999

UNSAT
TT=1.975

UNSAT
TT=1.14

UNSAT
TT=0.113

dimacs/
jnhUnsat/
jnh11_ext.xml
UNSAT
TT=0.071

UNSAT
TT=1.12

CHECKS=8290
NODES=178
UNSAT
TT=1.222

CHECKS=12287
NODES=445
UNSAT
TT=0.612

UNSAT
TT=2.038

NODES=237
UNSAT
TT=1.887

NODES=216
UNSAT
TT=1.967

CHECKS=16309
NODES=216
UNSAT
TT=0.071

UNSAT
TT=4.144

UNSAT
TT=3.807

UNSAT
TT=0.175

UNSAT
TT=1.937

UNSAT
TT=2.086

UNSAT
TT=1.09

UNSAT
TT=0.288

dimacs/
jnhUnsat/
jnh13_ext.xml
UNSAT
TT=0.069

UNSAT
TT=1.022

CHECKS=4081
NODES=82
UNSAT
TT=0.979

CHECKS=1885
NODES=91
UNSAT
TT=0.182

UNSAT
TT=1.463

NODES=22
UNSAT
TT=1.25

NODES=10
UNSAT
TT=1.375

CHECKS=13816
NODES=10
UNSAT
TT=0.069

UNSAT
TT=4.403

UNSAT
TT=3.893

UNSAT
TT=0.101

UNSAT
TT=1.775

UNSAT
TT=1.875

UNSAT
TT=1.171

UNSAT
TT=0.101

dimacs/
jnhUnsat/
jnh14_ext.xml
UNSAT
TT=0.072

UNSAT
TT=1.139

CHECKS=10248
NODES=373
UNSAT
TT=1.09

CHECKS=9336
NODES=402
UNSAT
TT=0.088

UNSAT
TT=1.598

NODES=101
UNSAT
TT=1.369

NODES=63
UNSAT
TT=1.578

CHECKS=15106
NODES=63
UNSAT
TT=0.072

UNSAT
TT=4.27

UNSAT
TT=3.799

UNSAT
TT=0.161

UNSAT
TT=1.835

UNSAT
TT=1.792

UNSAT
TT=1.07

UNSAT
TT=0.18

dimacs/
jnhUnsat/
jnh15_ext.xml
UNSAT
TT=0.067

UNSAT
TT=1.112

CHECKS=9868
NODES=241
UNSAT
TT=1.145

CHECKS=12768
NODES=548
UNSAT
TT=0.95

UNSAT
TT=1.721

NODES=135
UNSAT
TT=1.469

NODES=86
UNSAT
TT=1.577

CHECKS=12940
NODES=83
UNSAT
TT=0.067

UNSAT
TT=4.384

UNSAT
TT=3.937

UNSAT
TT=0.2

UNSAT
TT=1.891

UNSAT
TT=2.089

UNSAT
TT=1.1

UNSAT
TT=0.207

dimacs/
jnhUnsat/
jnh16_ext.xml
UNSAT
TT=0.088

UNSAT
TT=2.236

CHECKS=109886
NODES=4212
UNSAT
TT=2.329

CHECKS=118797
NODES=4542
UNSAT
TT=8.275

UNSAT
TT=10.61

NODES=3670
UNSAT
TT=13.011

NODES=3930
UNSAT
TT=8.907

CHECKS=15922
NODES=1985
UNSAT
TT=0.088

UNSAT
TT=4.465

UNSAT
TT=4.296

UNSAT
TT=1.432

UNSAT
TT=2.234

UNSAT
TT=2.206

UNSAT
TT=1.119

UNSAT
TT=3.963

dimacs/
jnhUnsat/
jnh18_ext.xml
UNSAT
TT=0.074

UNSAT
TT=1.183

CHECKS=15859
NODES=732
UNSAT
TT=1.211

CHECKS=17029
NODES=884
UNSAT
TT=0.631

UNSAT
TT=2.228

NODES=297
UNSAT
TT=2.13

NODES=306
UNSAT
TT=2.313

CHECKS=13913
NODES=277
UNSAT
TT=0.074

UNSAT
TT=4.54

UNSAT
TT=4.11

UNSAT
TT=0.252

UNSAT
TT=1.935

UNSAT
TT=2.112

UNSAT
TT=1.08

UNSAT
TT=0.512

dimacs/
jnhUnsat/
jnh19_ext.xml
UNSAT
TT=0.077

UNSAT
TT=1.272

CHECKS=21824
NODES=957
UNSAT
TT=1.371

CHECKS=26646
NODES=1050
UNSAT
TT=0.196

UNSAT
TT=2.462

NODES=338
UNSAT
TT=2.772

NODES=414
UNSAT
TT=2.584

CHECKS=14574
NODES=351
UNSAT
TT=0.077

UNSAT
TT=4.328

UNSAT
TT=3.868

UNSAT
TT=0.308

UNSAT
TT=1.877

UNSAT
TT=1.955

UNSAT
TT=1.01

UNSAT
TT=0.289

dimacs/
jnhUnsat/
jnh202_ext.xml
UNSAT
TT=0.069

UNSAT
TT=0.917

CHECKS=1542
NODES=0
UNSAT
TT=0.947

CHECKS=2324
NODES=116
UNSAT
TT=0.088

UNSAT
TT=1.336

NODES=31
UNSAT
TT=1.234

NODES=23
UNSAT
TT=1.364

CHECKS=9832
NODES=23
UNSAT
TT=0.069

UNSAT
TT=4.616

UNSAT
TT=4.148

UNSAT
TT=0.118

UNSAT
TT=1.812

UNSAT
TT=1.837

UNSAT
TT=1.155

UNSAT
TT=0.119

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
dimacs/
jnhUnsat/
jnh203_ext.xml
UNSAT
TT=0.071

UNSAT
TT=1.148

CHECKS=14786
NODES=657
UNSAT
TT=1.087

CHECKS=12278
NODES=511
UNSAT
TT=0.64

UNSAT
TT=1.574

NODES=79
UNSAT
TT=1.316

NODES=65
UNSAT
TT=1.517

CHECKS=12802
NODES=65
UNSAT
TT=0.071

UNSAT
TT=4.26

UNSAT
TT=3.868

UNSAT
TT=0.162

UNSAT
TT=1.828

UNSAT
TT=1.925

UNSAT
TT=1.147

UNSAT
TT=0.173

dimacs/
jnhUnsat/
jnh206_ext.xml
UNSAT
TT=0.069

UNSAT
TT=1.438

CHECKS=25752
NODES=960
UNSAT
TT=1.315

CHECKS=20064
NODES=874
UNSAT
TT=0.623

UNSAT
TT=1.676

NODES=146
UNSAT
TT=1.622

NODES=114
UNSAT
TT=1.752

CHECKS=12895
NODES=114
UNSAT
TT=0.069

UNSAT
TT=4.188

UNSAT
TT=3.88

UNSAT
TT=0.27

UNSAT
TT=1.916

UNSAT
TT=1.921

UNSAT
TT=1.04

UNSAT
TT=0.419

dimacs/
jnhUnsat/
jnh208_ext.xml
UNSAT
TT=0.077

UNSAT
TT=1.306

CHECKS=14068
NODES=427
UNSAT
TT=1.074

CHECKS=12247
NODES=482
UNSAT
TT=0.82

UNSAT
TT=1.51

NODES=82
UNSAT
TT=1.361

NODES=54
UNSAT
TT=1.481

CHECKS=11064
NODES=54
UNSAT
TT=0.077

UNSAT
TT=4.215

UNSAT
TT=3.935

UNSAT
TT=0.207

UNSAT
TT=1.933

UNSAT
TT=1.958

UNSAT
TT=1.12

UNSAT
TT=0.239

dimacs/
jnhUnsat/
jnh20_ext.xml
UNSAT
TT=0.073

UNSAT
TT=1.105

CHECKS=8436
NODES=276
UNSAT
TT=1.082

CHECKS=8670
NODES=352
UNSAT
TT=2.109

UNSAT
TT=1.692

NODES=96
UNSAT
TT=1.433

NODES=71
UNSAT
TT=1.624

CHECKS=12241
NODES=71
UNSAT
TT=0.073

UNSAT
TT=4.382

UNSAT
TT=3.985

UNSAT
TT=0.215

UNSAT
TT=1.932

UNSAT
TT=1.97

UNSAT
TT=1.182

UNSAT
TT=0.19

dimacs/
jnhUnsat/
jnh211_ext.xml
UNSAT
TT=0.073

UNSAT
TT=1.04

CHECKS=6032
NODES=190
UNSAT
TT=1.015

CHECKS=4214
NODES=212
UNSAT
TT=0.26

UNSAT
TT=1.398

NODES=61
UNSAT
TT=1.133

NODES=22
UNSAT
TT=1.23

CHECKS=11640
NODES=22
UNSAT
TT=0.073

UNSAT
TT=4.133

UNSAT
TT=3.816

UNSAT
TT=0.107

UNSAT
TT=1.819

UNSAT
TT=1.818

UNSAT
TT=1.07

UNSAT
TT=0.111

dimacs/
jnhUnsat/
jnh214_ext.xml
UNSAT
TT=0.075

UNSAT
TT=1.081

CHECKS=6859
NODES=280
UNSAT
TT=1.041

CHECKS=7278
NODES=281
UNSAT
TT=0.166

UNSAT
TT=1.449

NODES=46
UNSAT
TT=1.323

NODES=59
UNSAT
TT=1.431

CHECKS=13642
NODES=59
UNSAT
TT=0.075

UNSAT
TT=4.161

UNSAT
TT=3.783

UNSAT
TT=0.134

UNSAT
TT=1.829

UNSAT
TT=1.82

UNSAT
TT=1.08

UNSAT
TT=0.285

dimacs/
jnhUnsat/
jnh215_ext.xml
UNSAT
TT=0.069

UNSAT
TT=1.184

CHECKS=15654
NODES=611
UNSAT
TT=1.106

CHECKS=9625
NODES=516
UNSAT
TT=0.136

UNSAT
TT=1.85

NODES=199
UNSAT
TT=1.597

NODES=147
UNSAT
TT=1.787

CHECKS=13548
NODES=147
UNSAT
TT=0.069

UNSAT
TT=4.112

UNSAT
TT=3.764

UNSAT
TT=0.162

UNSAT
TT=1.806

UNSAT
TT=1.91

UNSAT
TT=1.04

UNSAT
TT=0.169

dimacs/
jnhUnsat/
jnh216_ext.xml
UNSAT
TT=0.071

UNSAT
TT=1.208

CHECKS=14492
NODES=810
UNSAT
TT=1.184

CHECKS=16402
NODES=920
UNSAT
TT=2.452

UNSAT
TT=1.747

NODES=173
UNSAT
TT=1.489

NODES=103
UNSAT
TT=1.617

CHECKS=11565
NODES=94
UNSAT
TT=0.071

UNSAT
TT=4.273

UNSAT
TT=3.943

UNSAT
TT=0.248

UNSAT
TT=1.964

UNSAT
TT=2.028

UNSAT
TT=1.14

UNSAT
TT=0.319

dimacs/
jnhUnsat/
jnh219_ext.xml
UNSAT
TT=0.073

UNSAT
TT=1.063

CHECKS=6766
NODES=258
UNSAT
TT=1.066

CHECKS=4661
NODES=240
UNSAT
TT=1.275

UNSAT
TT=1.532

NODES=79
UNSAT
TT=1.214

NODES=32
UNSAT
TT=1.39

CHECKS=13057
NODES=32
UNSAT
TT=0.073

UNSAT
TT=4.321

UNSAT
TT=3.975

UNSAT
TT=0.213

UNSAT
TT=1.94

UNSAT
TT=1.928

UNSAT
TT=1.087

UNSAT
TT=0.516

dimacs/
jnhUnsat/
jnh302_ext.xml
UNSAT
TT=0.053

UNSAT
TT=0.899

CHECKS=169
NODES=0
UNSAT
TT=0.903

CHECKS=169
NODES=0
UNSAT
TT=0.061

UNSAT
TT=1.531

NODES=0
UNSAT
TT=1.245

NODES=0
UNSAT
TT=1.37

CHECKS=0
NODES=0
UNSAT
TT=0.082

UNSAT
TT=4.717

UNSAT
TT=4.209

UNSAT
TT=0.1

UNSAT
TT=1.852

UNSAT
TT=1.865

UNSAT
TT=0.053

UNSAT
TT=0.096

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
dimacs/
jnhUnsat/
jnh303_ext.xml
UNSAT
TT=0.078

UNSAT
TT=1.198

CHECKS=16831
NODES=583
UNSAT
TT=1.119

CHECKS=14331
NODES=537
UNSAT
TT=1.257

UNSAT
TT=1.82

NODES=121
UNSAT
TT=1.654

NODES=84
UNSAT
TT=1.68

CHECKS=15291
NODES=84
UNSAT
TT=0.078

UNSAT
TT=4.472

UNSAT
TT=4.052

UNSAT
TT=0.205

UNSAT
TT=1.959

UNSAT
TT=1.957

UNSAT
TT=1.17

UNSAT
TT=0.358

dimacs/
jnhUnsat/
jnh304_ext.xml
UNSAT
TT=0.082

UNSAT
TT=1.032

CHECKS=2933
NODES=0
UNSAT
TT=1.065

CHECKS=6740
NODES=237
UNSAT
TT=0.382

UNSAT
TT=1.726

NODES=75
UNSAT
TT=1.543

NODES=75
UNSAT
TT=1.661

CHECKS=15006
NODES=75
UNSAT
TT=0.084

UNSAT
TT=4.582

UNSAT
TT=4.072

UNSAT
TT=0.082

UNSAT
TT=1.862

UNSAT
TT=1.878

UNSAT
TT=1.19

UNSAT
TT=0.082

dimacs/
jnhUnsat/
jnh305_ext.xml
UNSAT
TT=0.08

UNSAT
TT=1.006

CHECKS=3974
NODES=65
UNSAT
TT=1.02

CHECKS=2213
NODES=65
UNSAT
TT=0.276

UNSAT
TT=1.643

NODES=26
UNSAT
TT=1.334

NODES=12
UNSAT
TT=1.378

CHECKS=12771
NODES=12
UNSAT
TT=0.08

UNSAT
TT=4.5

UNSAT
TT=4.1

UNSAT
TT=0.124

UNSAT
TT=1.861

UNSAT
TT=1.911

UNSAT
TT=1.08

UNSAT
TT=0.121

dimacs/
jnhUnsat/
jnh306_ext.xml
UNSAT
TT=0.081

UNSAT
TT=1.432

CHECKS=29980
NODES=1265
UNSAT
TT=1.501

CHECKS=34048
NODES=1471
UNSAT
TT=2.094

UNSAT
TT=3.599

NODES=586
UNSAT
TT=3.282

NODES=608
UNSAT
TT=4.131

CHECKS=16267
NODES=628
UNSAT
TT=0.081

UNSAT
TT=4.488

UNSAT
TT=4.187

UNSAT
TT=0.74

UNSAT
TT=2.073

UNSAT
TT=2.053

UNSAT
TT=1.13

UNSAT
TT=1.333

dimacs/
jnhUnsat/
jnh307_ext.xml
UNSAT
TT=0.063

UNSAT
TT=0.933

CHECKS=573
NODES=0
UNSAT
TT=0.93

CHECKS=580
NODES=33
UNSAT
TT=0.063

UNSAT
TT=1.476

NODES=26
UNSAT
TT=1.228

NODES=2
UNSAT
TT=1.387

CHECKS=7867
NODES=2
UNSAT
TT=0.074

UNSAT
TT=4.349

UNSAT
TT=3.827

UNSAT
TT=0.096

UNSAT
TT=1.847

UNSAT
TT=1.993

UNSAT
TT=1.13

UNSAT
TT=0.097

dimacs/
jnhUnsat/
jnh308_ext.xml
UNSAT
TT=0.076

UNSAT
TT=1.165

CHECKS=12750
NODES=430
UNSAT
TT=1.194

CHECKS=9377
NODES=358
UNSAT
TT=1.163

UNSAT
TT=1.88

NODES=106
UNSAT
TT=1.988

NODES=178
UNSAT
TT=2.18

CHECKS=16410
NODES=181
UNSAT
TT=0.076

UNSAT
TT=4.368

UNSAT
TT=3.899

UNSAT
TT=0.19

UNSAT
TT=2.059

UNSAT
TT=1.986

UNSAT
TT=1.11

UNSAT
TT=0.203

dimacs/
jnhUnsat/
jnh309_ext.xml
UNSAT
TT=0.077

UNSAT
TT=0.96

CHECKS=2391
NODES=0
UNSAT
TT=1.076

CHECKS=4277
NODES=151
UNSAT
TT=0.212

UNSAT
TT=1.589

NODES=33
UNSAT
TT=1.398

NODES=34
UNSAT
TT=1.608

CHECKS=11182
NODES=34
UNSAT
TT=0.077

UNSAT
TT=4.642

UNSAT
TT=4.038

UNSAT
TT=0.152

UNSAT
TT=1.719

UNSAT
TT=1.854

UNSAT
TT=1.118

UNSAT
TT=0.184

dimacs/
jnhUnsat/
jnh310_ext.xml
UNSAT
TT=0.068

UNSAT
TT=0.903

CHECKS=181
NODES=0
UNSAT
TT=0.896

CHECKS=106
NODES=5
UNSAT
TT=0.08

UNSAT
TT=1.458

NODES=18
UNSAT
TT=1.334

NODES=1
UNSAT
TT=1.37

CHECKS=14152
NODES=1
UNSAT
TT=0.075

UNSAT
TT=4.433

UNSAT
TT=3.959

UNSAT
TT=0.075

UNSAT
TT=1.831

UNSAT
TT=1.866

UNSAT
TT=1.101

UNSAT
TT=0.068

dimacs/pret/
pret-150-25_ext.xml
UNSAT
TT=0.045

UNSAT
TT=13.28

CHECKS=975416
NODES=228595
UNSAT
TT=5.937

CHECKS=409888
NODES=92288
? (TO)
TT=1800.08

? (TO)
TT=1800.03

? (TO)
TT=1800.04

? (TO)
TT=1800.07

UNSAT
TT=0.045

UNSAT
TT=0.822

UNSAT
TT=0.807

? (TO)
TT=1800.02

UNSAT
TT=1.598

UNSAT
TT=1.514

UNSAT
TT=0.59

? (TO)
TT=1800.07

dimacs/pret/
pret-150-40_ext.xml
UNSAT
TT=0.046

UNSAT
TT=640.591

CHECKS=142817109
NODES=8577422
UNSAT
TT=29.899

CHECKS=2399469
NODES=460368
? (TO)
TT=1800.12

? (TO)
TT=1800.07

? (TO)
TT=1800

? (TO)
TT=1800.04

UNSAT
TT=0.046

UNSAT
TT=0.822

UNSAT
TT=0.77

? (TO)
TT=1800.08

UNSAT
TT=1.258

UNSAT
TT=1.419

UNSAT
TT=0.084

? (TO)
TT=1800.03

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
dimacs/pret/
pret-150-60_ext.xml
UNSAT
TT=0.043

UNSAT
TT=12.869

CHECKS=927969
NODES=209630
UNSAT
TT=40.014

CHECKS=3085952
NODES=634477
? (TO)
TT=1800.1

? (TO)
TT=1800.06

? (TO)
TT=1800.09

? (TO)
TT=1800.06

UNSAT
TT=0.043

UNSAT
TT=0.85

UNSAT
TT=0.813

? (TO)
TT=1800.1

UNSAT
TT=1.37

UNSAT
TT=1.361

UNSAT
TT=0.831

? (TO)
TT=1800.11

dimacs/pret/
pret-150-75_ext.xml
UNSAT
TT=0.046

UNSAT
TT=83.726

CHECKS=10301713
NODES=1419745
UNSAT
TT=8.828

CHECKS=660753
NODES=151699
? (TO)
TT=1800.02

? (TO)
TT=1800.06

? (TO)
TT=1800.03

? (TO)
TT=1800.08

UNSAT
TT=0.046

UNSAT
TT=0.799

UNSAT
TT=0.808

? (TO)
TT=1800.06

UNSAT
TT=1.485

UNSAT
TT=1.46

UNSAT
TT=0.078

? (TO)
TT=1800.02

dimacs/pret/
pret-60-25_ext.xml
UNSAT
TT=0.026

UNSAT
TT=2.356

CHECKS=261176
NODES=55150
UNSAT
TT=1.291

CHECKS=87725
NODES=15042
UNSAT
TT=200.259

UNSAT
TT=1219.29

NODES=13785854
UNSAT
TT=228.53

NODES=5764099
UNSAT
TT=236.847

CHECKS=480
NODES=5764099
UNSAT
TT=0.026

UNSAT
TT=0.708

UNSAT
TT=0.626

UNSAT
TT=31.448

UNSAT
TT=1.099

UNSAT
TT=1.125

UNSAT
TT=0.06

UNSAT
TT=114.964

dimacs/pret/
pret-60-40_ext.xml
UNSAT
TT=0.024

UNSAT
TT=1.381

CHECKS=99112
NODES=16006
UNSAT
TT=3.036

CHECKS=405547
NODES=65602
UNSAT
TT=200.629

UNSAT
TT=1528.62

NODES=16753877
UNSAT
TT=232.531

NODES=5698327
UNSAT
TT=245.817

CHECKS=480
NODES=5698327
UNSAT
TT=0.024

UNSAT
TT=0.7

UNSAT
TT=0.667

UNSAT
TT=35.825

UNSAT
TT=0.995

UNSAT
TT=1.054

UNSAT
TT=0.68

UNSAT
TT=118.909

dimacs/pret/
pret-60-60_ext.xml
UNSAT
TT=0.026

UNSAT
TT=1.664

CHECKS=175627
NODES=27054
UNSAT
TT=0.982

CHECKS=38578
NODES=5340
UNSAT
TT=189.253

UNSAT
TT=1521.35

NODES=17662521
UNSAT
TT=224.834

NODES=5727566
UNSAT
TT=230.477

CHECKS=480
NODES=5727566
UNSAT
TT=0.026

UNSAT
TT=0.701

UNSAT
TT=0.671

UNSAT
TT=25.873

UNSAT
TT=1.021

UNSAT
TT=1.078

UNSAT
TT=0.433

UNSAT
TT=92.257

dimacs/pret/
pret-60-75_ext.xml
UNSAT
TT=0.025

UNSAT
TT=1.352

CHECKS=98700
NODES=14083
UNSAT
TT=1

CHECKS=33275
NODES=5974
UNSAT
TT=190.544

UNSAT
TT=1654.49

NODES=19742110
UNSAT
TT=235.601

NODES=5713843
UNSAT
TT=251.889

CHECKS=480
NODES=5713843
UNSAT
TT=0.025

UNSAT
TT=0.698

UNSAT
TT=0.635

UNSAT
TT=24.226

UNSAT
TT=1.137

UNSAT
TT=1.082

UNSAT
TT=0.46

UNSAT
TT=89.724

dimacs/ssa/
ssa-0432-003_ext.xml
UNSAT
TT=0.058

UNSAT
TT=8.507

CHECKS=1651310
NODES=26015
UNSAT
TT=14.835

CHECKS=3443275
NODES=46806
? (TO)
TT=1800.03

UNSAT
TT=27.666

NODES=159645
UNSAT
TT=25.661

NODES=43670
UNSAT
TT=25.688

CHECKS=6294
NODES=43670
UNSAT
TT=0.058

UNSAT
TT=1.176

UNSAT
TT=1.042

UNSAT
TT=0.245

UNSAT
TT=2.021

UNSAT
TT=1.84

UNSAT
TT=1.029

UNSAT
TT=0.981

dimacs/ssa/
ssa-2670-130_ext.xml
UNSAT
TT=0.18

UNSAT
TT=19.92

CHECKS=2911626
NODES=51709
UNSAT
TT=49.057

CHECKS=3349424
NODES=62683
? (TO)
TT=1800.04

UNSAT
TT=446.93

NODES=1136730
UNSAT
TT=169.649

NODES=66066
UNSAT
TT=185.043

CHECKS=28393
NODES=66066
UNSAT
TT=0.18

UNSAT
TT=2.201

UNSAT
TT=1.832

UNSAT
TT=12.318

UNSAT
TT=3.544

UNSAT
TT=3.117

UNSAT
TT=1.54

UNSAT
TT=50.474

dimacs/ssa/
ssa-2670-141_ext.xml
SAT
TT=0.028

SAT
TT=0.825

CHECKS=445
NODES=0
SAT
TT=0.861

CHECKS=444
NODES=391
SAT
TT=0.033

SAT
TT=0.47

NODES=0
SAT
TT=0.499

NODES=391
SAT
TT=0.552

CHECKS=3286
NODES=391
SAT
TT=0.028

SAT
TT=1.415

SAT
TT=1.442

SAT
TT=0.032

SAT
TT=1.064

SAT
TT=1.138

SAT
TT=0.062

SAT
TT=0.032

dimacs/ssa/
ssa-6288-047_ext.xml
SAT
TT=1.495

SAT
TT=327.909

CHECKS=280928
NODES=32356
SAT
TT=232.096

CHECKS=92468
NODES=13721
SAT
TT=1.495

SAT
TT=140.538

NODES=12624
SAT
TT=167.859

NODES=14628
SAT
TT=241.977

CHECKS=392391
NODES=14628
SAT
TT=2.987

SAT
TT=252.319

SAT
TT=259.362

SAT
TT=46.306

SAT
TT=8.527

SAT
TT=8.692

SAT
TT=8.73

SAT
TT=62.329

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
dimacs/ssa/
ssa-7552-038_ext.xml
SAT
TT=0.182

SAT
TT=1.768

CHECKS=20657
NODES=0
SAT
TT=3.084

CHECKS=30334
NODES=2193
? (TO)
TT=1800.08

SAT
TT=2.023

NODES=1914
SAT
TT=5.309

NODES=4302
SAT
TT=6.54

CHECKS=26245
NODES=4302
SAT
TT=0.182

SAT
TT=4.186

SAT
TT=3.836

SAT
TT=0.23

SAT
TT=3.923

SAT
TT=3.541

SAT
TT=1.65

SAT
TT=0.227

dimacs/ssa/
ssa-7552-158_ext.xml
SAT
TT=0.111

SAT
TT=1.282

CHECKS=6896
NODES=0
SAT
TT=2.156

CHECKS=5678
NODES=1364
SAT
TT=0.111

SAT
TT=1.401

NODES=1522
SAT
TT=1.276

NODES=1365
SAT
TT=1.331

CHECKS=17102
NODES=1365
SAT
TT=0.138

SAT
TT=3.383

SAT
TT=3.156

SAT
TT=0.177

SAT
TT=2.95

SAT
TT=3.422

SAT
TT=1.52

SAT
TT=0.165

dimacs/ssa/
ssa-7552-159_ext.xml
SAT
TT=0.117

SAT
TT=1.508

CHECKS=10818
NODES=0
SAT
TT=2.038

CHECKS=5791
NODES=1366
SAT
TT=0.117

SAT
TT=1.381

NODES=1488
SAT
TT=1.32

NODES=1365
SAT
TT=1.307

CHECKS=17854
NODES=1365
SAT
TT=0.15

SAT
TT=3.443

SAT
TT=3.224

SAT
TT=0.178

SAT
TT=2.94

SAT
TT=3.053

SAT
TT=1.59

SAT
TT=0.176

dimacs/ssa/
ssa-7552-160_ext.xml
SAT
TT=0.061

SAT
TT=1.005

CHECKS=2310
NODES=0
SAT
TT=1.14

CHECKS=2063
NODES=757
SAT
TT=0.061

SAT
TT=0.703

NODES=0
SAT
TT=0.851

NODES=757
SAT
TT=0.951

CHECKS=12263
NODES=757
SAT
TT=0.072

SAT
TT=2.061

SAT
TT=1.973

SAT
TT=0.073

SAT
TT=2.142

SAT
TT=2.046

SAT
TT=1.07

SAT
TT=0.075

dimacs/varDimacs/
bf-0432-007_ext.xml
SAT
TT=0.097

SAT
TT=1.314

CHECKS=10228
NODES=0
SAT
TT=1.615

CHECKS=5681
NODES=970
SAT
TT=0.097

SAT
TT=1.266

NODES=1248
SAT
TT=1.099

NODES=973
SAT
TT=1.219

CHECKS=21374
NODES=973
SAT
TT=0.133

SAT
TT=3.114

SAT
TT=2.818

SAT
TT=0.153

SAT
TT=2.694

SAT
TT=2.795

SAT
TT=1.36

SAT
TT=0.14

dimacs/varDimacs/
bf-1355-075_ext.xml
SAT
TT=0.117

SAT
TT=1.415

CHECKS=5440
NODES=0
SAT
TT=2.493

CHECKS=4850
NODES=1818
SAT
TT=0.117

SAT
TT=1.426

NODES=2
SAT
TT=2.324

NODES=1824
SAT
TT=2.536

CHECKS=37032
NODES=1824
SAT
TT=0.154

SAT
TT=3.963

SAT
TT=3.939

SAT
TT=0.205

SAT
TT=3.037

SAT
TT=3.034

SAT
TT=1.44

SAT
TT=0.204

dimacs/varDimacs/
bf-1355-638_ext.xml
SAT
TT=0.039

SAT
TT=0.834

CHECKS=1053
NODES=0
SAT
TT=0.936

CHECKS=959
NODES=532
SAT
TT=0.039

SAT
TT=0.557

NODES=0
SAT
TT=0.614

NODES=532
SAT
TT=0.621

CHECKS=4806
NODES=532
SAT
TT=0.043

SAT
TT=1.583

SAT
TT=1.53

SAT
TT=0.042

SAT
TT=1.219

SAT
TT=1.316

SAT
TT=1.07

SAT
TT=0.04

dimacs/varDimacs/
bf-2670-001_ext.xml
SAT
TT=0.095

SAT
TT=1.875

CHECKS=8483
NODES=1244
SAT
TT=1.575

CHECKS=3834
NODES=1244
SAT
TT=0.095

SAT
TT=1.33

NODES=1328
SAT
TT=1.154

NODES=1246
SAT
TT=1.146

CHECKS=11479
NODES=1246
SAT
TT=0.109

SAT
TT=2.723

SAT
TT=2.59

SAT
TT=0.127

SAT
TT=2.699

SAT
TT=2.646

SAT
TT=1.33

SAT
TT=0.125

dimacs/
varDimacs/
hole-06_ext.xml
UNSAT
TT=0.036

UNSAT
TT=1.009

CHECKS=108196
NODES=5410
UNSAT
TT=1.035

CHECKS=100362
NODES=4802
UNSAT
TT=0.081

UNSAT
TT=1.929

NODES=12328
UNSAT
TT=0.593

NODES=2221
UNSAT
TT=0.647

CHECKS=756
NODES=2221
UNSAT
TT=0.036

UNSAT
TT=0.598

UNSAT
TT=0.646

UNSAT
TT=0.04

UNSAT
TT=1.159

UNSAT
TT=1.089

UNSAT
TT=0.307

UNSAT
TT=0.102

dimacs/
varDimacs/
hole-07_ext.xml
UNSAT
TT=0.1

UNSAT
TT=3.478

CHECKS=1103593
NODES=49656
UNSAT
TT=3.187

CHECKS=952442
NODES=43028
UNSAT
TT=0.725

UNSAT
TT=18.108

NODES=120010
UNSAT
TT=3.318

NODES=23193
UNSAT
TT=4.161

CHECKS=1176
NODES=23193
UNSAT
TT=0.1

UNSAT
TT=0.715

UNSAT
TT=0.791

UNSAT
TT=0.226

UNSAT
TT=1.174

UNSAT
TT=1.293

UNSAT
TT=0.428

UNSAT
TT=0.924

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
dimacs/
varDimacs/
hole-08_ext.xml
UNSAT
TT=0.543

UNSAT
TT=23.837

CHECKS=11793676
NODES=472274
UNSAT
TT=25.253

CHECKS=12133659
NODES=479455
UNSAT
TT=8.748

UNSAT
TT=246.378

NODES=1658424
UNSAT
TT=40.618

NODES=245999
UNSAT
TT=51.725

CHECKS=1728
NODES=245999
UNSAT
TT=0.543

UNSAT
TT=0.858

UNSAT
TT=2.556

UNSAT
TT=2.008

UNSAT
TT=1.707

UNSAT
TT=1.695

UNSAT
TT=1.31

UNSAT
TT=7.757

dimacs/
varDimacs/
hole-09_ext.xml
UNSAT
TT=1.34

UNSAT
TT=325.512

CHECKS=152270777
NODES=5540213
UNSAT
TT=323.131

CHECKS=143486605
NODES=5382235
UNSAT
TT=124.576

? (TO)
TT=1800.01

UNSAT
TT=541.72

NODES=2720755
UNSAT
TT=707.611

CHECKS=2430
NODES=2720755
UNSAT
TT=3.53

UNSAT
TT=1.34

UNSAT
TT=1.51

UNSAT
TT=20.411

UNSAT
TT=3.866

UNSAT
TT=3.96

UNSAT
TT=5.13

UNSAT
TT=94.737

dimacs/
varDimacs/
hole-10_ext.xml
UNSAT
TT=2.544

? (TO)
TT=1800.16

? (TO)
TT=1800.18

? (TO)
TT=1800.11

? (TO)
TT=1800.01

? (TO)
TT=1800.08

? (TO)
TT=1800.09

UNSAT
TT=90.164

UNSAT
TT=2.544

UNSAT
TT=3.373

UNSAT
TT=274.076

UNSAT
TT=31.001

UNSAT
TT=30.481

UNSAT
TT=63.08

UNSAT
TT=1040.15

random/rand-10-20-10/
rand-10-20-10-5-10000-11_ext.xml
UNSAT
TT=12.062

UNSAT
TT=12.786

CHECKS=9548040
NODES=11127
UNSAT
TT=12.062

CHECKS=9543799
NODES=11127
? (problem)
TT=328.922

?
TT=0.535

?
TT=0.508

?
TT=0.546

UNSAT
TT=246.633

UNSAT
TT=451.221

UNSAT
TT=281.375

? (exit code)
TT=0.369

? (MO)
TT=31.968

? (MO)
TT=25.686

?
TT=9.24

? (exit code)
TT=0.376

random/rand-10-20-10/
rand-10-20-10-5-10000-13_ext.xml
UNSAT
TT=3.553

UNSAT
TT=3.553

CHECKS=1804002
NODES=11424
UNSAT
TT=5.361

CHECKS=3345958
NODES=11443
? (problem)
TT=307.548

?
TT=0.537

?
TT=0.543

?
TT=0.519

UNSAT
TT=300.952

UNSAT
TT=530.522

? (TO)
TT=1800.08

? (exit code)
TT=0.361

? (MO)
TT=25.335

? (MO)
TT=24.114

?
TT=8.91

? (exit code)
TT=0.368

random/rand-10-20-10/
rand-10-20-10-5-10000-15_ext.xml
UNSAT
TT=4.083

UNSAT
TT=4.083

CHECKS=2143280
NODES=11127
UNSAT
TT=4.105

CHECKS=2094662
NODES=11128
? (problem)
TT=302.311

?
TT=0.501

?
TT=0.503

?
TT=0.52

UNSAT
TT=282.566

UNSAT
TT=536.933

UNSAT
TT=904.177

? (exit code)
TT=0.373

? (MO)
TT=25.557

? (MO)
TT=24.581

?
TT=8.81

? (exit code)
TT=0.386

random/rand-10-20-10/
rand-10-20-10-5-10000-17_ext.xml
UNSAT
TT=3.619

UNSAT
TT=3.792

CHECKS=2033905
NODES=11129
UNSAT
TT=3.619

CHECKS=2025456
NODES=11129
? (problem)
TT=313.956

?
TT=0.507

?
TT=0.524

?
TT=0.512

UNSAT
TT=234.547

UNSAT
TT=513.154

UNSAT
TT=463.631

? (exit code)
TT=0.363

? (MO)
TT=34.466

? (MO)
TT=23.918

?
TT=9.13

? (exit code)
TT=0.367

random/rand-10-20-10/
rand-10-20-10-5-10000-19_ext.xml
UNSAT
TT=18.025

UNSAT
TT=18.025

CHECKS=15377127
NODES=11127
UNSAT
TT=18.477

CHECKS=15365313
NODES=11127
? (problem)
TT=313.355

?
TT=0.554

?
TT=0.542

?
TT=0.521

UNSAT
TT=259.464

UNSAT
TT=254.353

UNSAT
TT=198.278

? (exit code)
TT=0.368

? (MO)
TT=24.791

? (MO)
TT=24.947

?
TT=8.97

? (exit code)
TT=0.38

random/rand-10-20-10/
rand-10-20-10-5-10000-1_ext.xml
UNSAT
TT=3.363

UNSAT
TT=3.363

CHECKS=1763609
NODES=11514
UNSAT
TT=22.794

CHECKS=20482683
NODES=11537
? (problem)
TT=311.44

?
TT=0.508

?
TT=0.502

?
TT=0.503

UNSAT
TT=538.205

UNSAT
TT=424.155

UNSAT
TT=1248.4

? (exit code)
TT=0.375

? (MO)
TT=25.926

? (MO)
TT=24.812

?
TT=9.2

? (exit code)
TT=0.371

random/rand-10-20-10/
rand-10-20-10-5-10000-3_ext.xml
UNSAT
TT=3.39

UNSAT
TT=3.619

CHECKS=1791934
NODES=11132
UNSAT
TT=3.39

CHECKS=1790041
NODES=11158
? (problem)
TT=302.731

?
TT=0.544

?
TT=0.548

?
TT=0.51

UNSAT
TT=430.164

UNSAT
TT=348.825

UNSAT
TT=816.252

? (exit code)
TT=0.373

? (MO)
TT=33.61

? (MO)
TT=24.448

?
TT=8.91

? (exit code)
TT=0.381

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
random/rand-10-20-10/
rand-10-20-10-5-10000-5_ext.xml
UNSAT
TT=4.946

UNSAT
TT=5.149

CHECKS=3268373
NODES=11290
UNSAT
TT=4.946

CHECKS=3279333
NODES=11148
? (problem)
TT=315.784

?
TT=0.536

?
TT=0.499

?
TT=0.509

UNSAT
TT=328.617

UNSAT
TT=782.637

UNSAT
TT=1283.16

? (exit code)
TT=0.336

? (MO)
TT=26.57

? (MO)
TT=24.063

?
TT=8.7

? (exit code)
TT=0.379

random/rand-10-20-10/
rand-10-20-10-5-10000-7_ext.xml
UNSAT
TT=13.824

UNSAT
TT=14.376

CHECKS=11355785
NODES=11155
UNSAT
TT=13.824

CHECKS=11343851
NODES=11127
? (problem)
TT=315.761

?
TT=0.534

?
TT=0.517

?
TT=0.545

UNSAT
TT=134.373

UNSAT
TT=311.881

UNSAT
TT=563.427

? (exit code)
TT=0.365

? (MO)
TT=25.522

? (MO)
TT=24.182

?
TT=9.42

? (exit code)
TT=0.375

random/rand-10-20-10/
rand-10-20-10-5-10000-9_ext.xml
UNSAT
TT=21.227

UNSAT
TT=21.227

CHECKS=18314476
NODES=11223
UNSAT
TT=21.808

CHECKS=18356708
NODES=11131
? (problem)
TT=315.439

?
TT=0.513

?
TT=0.537

?
TT=0.508

UNSAT
TT=328.698

UNSAT
TT=328.258

UNSAT
TT=901.864

? (exit code)
TT=0.339

? (MO)
TT=25.241

? (MO)
TT=28.598

?
TT=9.26

? (exit code)
TT=0.378

random/rand-3-20-20-fcd/
rand-3-20-20-60-632-fcd-11_ext.xml
SAT
TT=4.625

SAT
TT=50.136

CHECKS=39902377
NODES=50726
SAT
TT=41.779

CHECKS=34119507
NODES=44346
SAT
TT=90.111

SAT
TT=43.935

NODES=71428
SAT
TT=11.543

NODES=13949
SAT
TT=8.533

CHECKS=530091
NODES=14652
? (TO)
TT=1800.1

? (TO)
TT=1800.1

? (TO)
TT=1800.01

SAT
TT=4.625

SAT
TT=10.325

SAT
TT=10.512

? (TO)
TT=1800.94

SAT
TT=94.478

random/rand-3-20-20-fcd/
rand-3-20-20-60-632-fcd-13_ext.xml
SAT
TT=38.279

SAT
TT=40.923

CHECKS=31886534
NODES=37411
SAT
TT=38.279

CHECKS=31465743
NODES=36829
? (TO)
TT=1800.04

SAT
TT=219.893

NODES=382578
SAT
TT=122.222

NODES=185149
SAT
TT=87.321

CHECKS=501370
NODES=183566
? (TO)
TT=1800.08

? (TO)
TT=1800.05

? (TO)
TT=1800.08

SAT
TT=51.562

? (TO)
TT=1800.15

? (TO)
TT=1800.19

? (TO)
TT=1800.16

SAT
TT=68.032

random/rand-3-20-20-fcd/
rand-3-20-20-60-632-fcd-15_ext.xml
SAT
TT=5.655

SAT
TT=39.441

CHECKS=34170149
NODES=41841
SAT
TT=34.535

CHECKS=27703181
NODES=32804
SAT
TT=144.749

SAT
TT=262.733

NODES=477055
SAT
TT=73.981

NODES=95826
SAT
TT=47.421

CHECKS=501277
NODES=96865
? (TO)
TT=1800.07

? (TO)
TT=1800.09

? (TO)
TT=1800.04

SAT
TT=15.378

SAT
TT=328.076

SAT
TT=341.947

? (TO)
TT=1800.23

SAT
TT=5.655

random/rand-3-20-20-fcd/
rand-3-20-20-60-632-fcd-17_ext.xml
SAT
TT=2.229

SAT
TT=11.753

CHECKS=9239240
NODES=10548
SAT
TT=10.134

CHECKS=8289009
NODES=9653
SAT
TT=35.766

SAT
TT=54.566

NODES=105663
SAT
TT=80.966

NODES=112611
SAT
TT=57.13

CHECKS=501237
NODES=115180
? (TO)
TT=1800.1

? (TO)
TT=1800.08

? (TO)
TT=1800.03

SAT
TT=2.229

SAT
TT=393.354

SAT
TT=386.72

? (TO)
TT=1800.28

SAT
TT=42.97

random/rand-3-20-20-fcd/
rand-3-20-20-60-632-fcd-19_ext.xml
SAT
TT=29.612

SAT
TT=80.269

CHECKS=65816810
NODES=86076
SAT
TT=131.868

CHECKS=110409249
NODES=155893
SAT
TT=253.891

SAT
TT=272.023

NODES=519450
SAT
TT=135.952

NODES=220475
SAT
TT=44.687

CHECKS=505022
NODES=103874
? (TO)
TT=1800.09

? (TO)
TT=1800.01

? (TO)
TT=1800.07

SAT
TT=29.612

? (TO)
TT=1800.18

? (TO)
TT=1800.14

? (TO)
TT=1800.23

SAT
TT=42.608

random/rand-3-20-20-fcd/
rand-3-20-20-60-632-fcd-21_ext.xml
SAT
TT=16.81

SAT
TT=58.977

CHECKS=48621535
NODES=49456
SAT
TT=52.143

CHECKS=45153953
NODES=45593
SAT
TT=202.573

SAT
TT=123.263

NODES=221087
SAT
TT=18.686

NODES=24191
SAT
TT=16.81

CHECKS=501474
NODES=32041
? (TO)
TT=1800.11

SAT
TT=344.977

? (TO)
TT=1800.02

SAT
TT=23.862

SAT
TT=19.457

SAT
TT=19.531

? (TO)
TT=1800.93

SAT
TT=33.942

random/rand-3-20-20-fcd/
rand-3-20-20-60-632-fcd-23_ext.xml
SAT
TT=7.308

SAT
TT=36.741

CHECKS=29110912
NODES=34358
SAT
TT=53.192

CHECKS=43316447
NODES=58289
SAT
TT=175.888

SAT
TT=50.794

NODES=89937
SAT
TT=23.713

NODES=34878
SAT
TT=17.485

CHECKS=486580
NODES=34314
? (TO)
TT=1800.12

? (TO)
TT=1800.08

? (TO)
TT=1800.05

SAT
TT=7.308

SAT
TT=316.705

SAT
TT=299.89

? (TO)
TT=1800.83

SAT
TT=12.726

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
random/rand-3-20-20-fcd/
rand-3-20-20-60-632-fcd-25_ext.xml
SAT
TT=9.154

SAT
TT=9.342

CHECKS=6912969
NODES=8012
SAT
TT=12.638

CHECKS=9213391
NODES=10456
SAT
TT=487.925

SAT
TT=9.154

NODES=12110
SAT
TT=68.907

NODES=92520
SAT
TT=77.079

CHECKS=515867
NODES=152456
? (TO)
TT=1800.12

? (TO)
TT=1800.08

? (TO)
TT=1800.01

SAT
TT=56.438

SAT
TT=311.626

SAT
TT=306.356

? (TO)
TT=1800.99

SAT
TT=68.492

random/rand-3-20-20-fcd/
rand-3-20-20-60-632-fcd-27_ext.xml
SAT
TT=8.064

SAT
TT=8.064

CHECKS=5564061
NODES=6725
SAT
TT=10.978

CHECKS=8300974
NODES=9489
? (TO)
TT=1800.05

SAT
TT=372.852

NODES=650917
SAT
TT=205.311

NODES=271478
SAT
TT=125.281

CHECKS=530234
NODES=266017
? (TO)
TT=1800.12

? (TO)
TT=1800.09

? (TO)
TT=1800

SAT
TT=48.559

SAT
TT=35.759

SAT
TT=36.552

? (TO)
TT=1800.3

SAT
TT=49.478

random/rand-3-20-20-fcd/
rand-3-20-20-60-632-fcd-29_ext.xml
SAT
TT=13.543

SAT
TT=95.808

CHECKS=83381993
NODES=84284
SAT
TT=95.053

CHECKS=86415730
NODES=86421
SAT
TT=183.386

SAT
TT=127.933

NODES=216450
SAT
TT=112.073

NODES=121899
SAT
TT=13.543

CHECKS=486897
NODES=22725
? (TO)
TT=1800.1

? (TO)
TT=1800.01

? (TO)
TT=1800.06

SAT
TT=35.531

SAT
TT=351.909

SAT
TT=335.766

? (TO)
TT=1801.02

SAT
TT=25.778

random/rand-3-20-20-fcd/
rand-3-20-20-60-632-fcd-31_ext.xml
SAT
TT=20.863

SAT
TT=26.717

CHECKS=22626483
NODES=26787
SAT
TT=20.863

CHECKS=16365354
NODES=19970
SAT
TT=611.324

SAT
TT=298.657

NODES=558529
SAT
TT=58.516

NODES=78955
SAT
TT=38.584

CHECKS=516072
NODES=73545
? (TO)
TT=1800.13

? (TO)
TT=1800.08

? (TO)
TT=1800.03

SAT
TT=79.184

SAT
TT=39.838

SAT
TT=39.047

? (TO)
TT=1801.06

SAT
TT=43.079

random/rand-3-20-20-fcd/
rand-3-20-20-60-632-fcd-33_ext.xml
SAT
TT=30.991

SAT
TT=259.01

CHECKS=225950942
NODES=291371
SAT
TT=226.907

CHECKS=191926709
NODES=255200
? (TO)
TT=1800.06

SAT
TT=659.249

NODES=1165115
SAT
TT=121.047

NODES=176561
SAT
TT=94.469

CHECKS=516053
NODES=231411
? (TO)
TT=1800.15

? (TO)
TT=1800.09

? (TO)
TT=1800.01

SAT
TT=30.991

? (TO)
TT=1800.13

? (TO)
TT=1800.12

? (TO)
TT=1800.83

SAT
TT=153.804

random/rand-3-20-20-fcd/
rand-3-20-20-60-632-fcd-35_ext.xml
SAT
TT=7.56

SAT
TT=27.2

CHECKS=23970316
NODES=29944
SAT
TT=24.384

CHECKS=19501145
NODES=25815
SAT
TT=88.617

SAT
TT=81.999

NODES=161470
SAT
TT=53.748

NODES=78593
SAT
TT=39.358

CHECKS=487049
NODES=83422
? (TO)
TT=1800.14

? (TO)
TT=1800.02

? (TO)
TT=1800.06

SAT
TT=7.56

SAT
TT=658.444

SAT
TT=657.748

? (TO)
TT=1800.21

SAT
TT=15.018

random/rand-3-20-20-fcd/
rand-3-20-20-60-632-fcd-37_ext.xml
SAT
TT=17.397

SAT
TT=624.571

CHECKS=555793417
NODES=603119
SAT
TT=699.59

CHECKS=603996874
NODES=668453
SAT
TT=315.611

SAT
TT=898.61

NODES=1546437
SAT
TT=180.09

NODES=250325
SAT
TT=107.611

CHECKS=501397
NODES=238511
? (TO)
TT=1800.06

? (TO)
TT=1800.06

? (TO)
TT=1800.06

SAT
TT=17.397

? (TO)
TT=1800.11

? (TO)
TT=1800.17

? (TO)
TT=1801.12

SAT
TT=89.651

random/rand-3-20-20-fcd/
rand-3-20-20-60-632-fcd-39_ext.xml
SAT
TT=48.298

SAT
TT=119.087

CHECKS=94560927
NODES=117988
SAT
TT=89.553

CHECKS=70397017
NODES=91101
SAT
TT=393.656

SAT
TT=299.205

NODES=558869
SAT
TT=137.755

NODES=206244
SAT
TT=76.698

CHECKS=515624
NODES=169075
? (TO)
TT=1800.15

? (TO)
TT=1800.06

? (TO)
TT=1800.05

SAT
TT=48.298

SAT
TT=938.243

SAT
TT=958.221

? (TO)
TT=1800.97

SAT
TT=87.157

random/rand-3-20-20-fcd/
rand-3-20-20-60-632-fcd-41_ext.xml
SAT
TT=7.797

SAT
TT=7.797

CHECKS=5340183
NODES=6716
SAT
TT=18.421

CHECKS=14315346
NODES=16684
SAT
TT=511.889

SAT
TT=17.384

NODES=26198
SAT
TT=20.043

NODES=23378
SAT
TT=13.629

CHECKS=530155
NODES=23679
? (TO)
TT=1800.09

? (TO)
TT=1800.02

? (TO)
TT=1800.08

SAT
TT=29.383

? (TO)
TT=1800.12

? (TO)
TT=1800.19

? (TO)
TT=1801.02

SAT
TT=225.271

random/rand-3-20-20-fcd/
rand-3-20-20-60-632-fcd-43_ext.xml
SAT
TT=7.789

SAT
TT=15.221

CHECKS=12159815
NODES=16744
SAT
TT=16.266

CHECKS=12812748
NODES=17601
SAT
TT=333.561

SAT
TT=127.011

NODES=226339
SAT
TT=10.728

NODES=13175
SAT
TT=9.098

CHECKS=486868
NODES=15657
? (TO)
TT=1800.07

? (TO)
TT=1800.09

? (TO)
TT=1800.04

SAT
TT=7.789

SAT
TT=98.037

SAT
TT=91.478

? (TO)
TT=1800.16

SAT
TT=8.968

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
random/rand-3-20-20-fcd/
rand-3-20-20-60-632-fcd-45_ext.xml
SAT
TT=6.519

SAT
TT=39.315

CHECKS=33977826
NODES=30786
SAT
TT=41.214

CHECKS=34721408
NODES=33051
SAT
TT=320.536

SAT
TT=55.196

NODES=99781
SAT
TT=30.365

NODES=37081
SAT
TT=20.302

CHECKS=486815
NODES=33118
? (TO)
TT=1800.06

? (TO)
TT=1800

? (TO)
TT=1800

SAT
TT=6.519

SAT
TT=37.601

SAT
TT=36.561

? (TO)
TT=1801

SAT
TT=11.159

random/rand-3-20-20-fcd/
rand-3-20-20-60-632-fcd-47_ext.xml
SAT
TT=0.591

SAT
TT=12.294

CHECKS=10030609
NODES=12678
SAT
TT=18.076

CHECKS=14829413
NODES=18967
SAT
TT=95.955

SAT
TT=93.857

NODES=169494
SAT
TT=42.259

NODES=60046
SAT
TT=36.751

CHECKS=501274
NODES=83325
? (TO)
TT=1800.11

? (TO)
TT=1800.07

? (TO)
TT=1800.05

SAT
TT=0.591

SAT
TT=268.233

SAT
TT=279.216

? (TO)
TT=1800.24

SAT
TT=2.931

random/rand-3-20-20-fcd/
rand-3-20-20-60-632-fcd-49_ext.xml
SAT
TT=8.097

SAT
TT=51.254

CHECKS=40497217
NODES=48638
SAT
TT=248.418

CHECKS=210683306
NODES=263427
SAT
TT=71.953

SAT
TT=10.774

NODES=16126
SAT
TT=8.097

NODES=9702
SAT
TT=10.335

CHECKS=486874
NODES=19179
? (TO)
TT=1800.09

? (TO)
TT=1800

? (TO)
TT=1800.09

SAT
TT=34.893

? (TO)
TT=1800.13

? (TO)
TT=1800.41

? (TO)
TT=1800.97

SAT
TT=29.411

random/rand-3-20-20/
rand-3-20-20-60-632-11_ext.xml
UNSAT
TT=170.881

UNSAT
TT=441.821

CHECKS=389900728
NODES=455192
UNSAT
TT=509.422

CHECKS=414829463
NODES=504679
? (TO)
TT=1800.1

? (TO)
TT=1800.09

UNSAT
TT=328.334

NODES=474217
UNSAT
TT=266.642

CHECKS=530341
NODES=619202
? (TO)
TT=1800.07

? (TO)
TT=1800.02

? (TO)
TT=1800.05

UNSAT
TT=170.881

? (TO)
TT=1800.14

? (TO)
TT=1800.12

? (TO)
TT=1800.35

UNSAT
TT=217.513

random/rand-3-20-20/
rand-3-20-20-60-632-13_ext.xml
SAT
TT=5.33

SAT
TT=11.745

CHECKS=9505284
NODES=11305
SAT
TT=17.607

CHECKS=13677412
NODES=16334
SAT
TT=1356.77

SAT
TT=288.083

NODES=503450
SAT
TT=92.493

NODES=137733
SAT
TT=66.154

CHECKS=501337
NODES=144895
? (TO)
TT=1800.13

? (TO)
TT=1800.08

? (TO)
TT=1800.06

SAT
TT=13.031

SAT
TT=1194.03

SAT
TT=1229.74

? (TO)
TT=1800.23

SAT
TT=5.33

random/rand-3-20-20/
rand-3-20-20-60-632-15_ext.xml
SAT
TT=5.624

SAT
TT=23.89

CHECKS=19620260
NODES=22048
SAT
TT=30.726

CHECKS=22658170
NODES=26041
SAT
TT=531.687

SAT
TT=198.262

NODES=356311
SAT
TT=13.89

NODES=18860
SAT
TT=39.368

CHECKS=501197
NODES=81473
? (TO)
TT=1800.15

? (TO)
TT=1800.09

? (TO)
TT=1800.05

SAT
TT=5.624

SAT
TT=468.99

SAT
TT=402.567

? (TO)
TT=1800.85

SAT
TT=23.764

random/rand-3-20-20/
rand-3-20-20-60-632-17_ext.xml
SAT
TT=28.879

SAT
TT=55.753

CHECKS=48197267
NODES=52238
SAT
TT=51.071

CHECKS=43857143
NODES=47029
SAT
TT=153.95

SAT
TT=54.581

NODES=105527
SAT
TT=79.939

NODES=119159
SAT
TT=60.561

CHECKS=501307
NODES=125472
? (TO)
TT=1800.12

? (TO)
TT=1800.03

? (TO)
TT=1800.01

SAT
TT=41.302

SAT
TT=379.08

SAT
TT=394.393

? (TO)
TT=1800.21

SAT
TT=28.879

random/rand-3-20-20/
rand-3-20-20-60-632-19_ext.xml
UNSAT
TT=65.503

UNSAT
TT=196.655

CHECKS=168390949
NODES=234432
UNSAT
TT=199.953

CHECKS=167444602
NODES=232976
? (TO)
TT=1800.13

UNSAT
TT=363.797

NODES=706173
UNSAT
TT=132.705

NODES=226145
UNSAT
TT=92.526

CHECKS=504854
NODES=225536
? (TO)
TT=1800.06

? (TO)
TT=1800.1

? (TO)
TT=1800.04

UNSAT
TT=65.503

? (TO)
TT=1800.19

? (TO)
TT=1800.19

? (TO)
TT=1800.26

UNSAT
TT=103.409

random/rand-3-20-20/
rand-3-20-20-60-632-1_ext.xml
SAT
TT=14.53

SAT
TT=73.446

CHECKS=64084772
NODES=68981
SAT
TT=82.946

CHECKS=69192040
NODES=73480
SAT
TT=484.49

SAT
TT=56.197

NODES=98709
SAT
TT=47.93

NODES=62973
SAT
TT=16.003

CHECKS=530340
NODES=33871
? (TO)
TT=1800.12

? (TO)
TT=1800.02

? (TO)
TT=1800.1

SAT
TT=14.53

SAT
TT=578.983

SAT
TT=663.499

? (TO)
TT=1800.24

SAT
TT=24.305

random/rand-3-20-20/
rand-3-20-20-60-632-21_ext.xml
UNSAT
TT=36.855

UNSAT
TT=88.507

CHECKS=80695227
NODES=80546
UNSAT
TT=99.334

CHECKS=85394845
NODES=91226
UNSAT
TT=281.736

UNSAT
TT=269.13

NODES=477614
UNSAT
TT=79.3

NODES=101236
UNSAT
TT=54.402

CHECKS=501539
NODES=101689
? (TO)
TT=1800.09

? (TO)
TT=1800.09

? (TO)
TT=1800.1

UNSAT
TT=36.855

UNSAT
TT=839.751

UNSAT
TT=776.584

? (TO)
TT=1800.5

UNSAT
TT=49.776

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
random/rand-3-20-20/
rand-3-20-20-60-632-23_ext.xml
UNSAT
TT=47.943

UNSAT
TT=130.86

CHECKS=108774055
NODES=145560
UNSAT
TT=170.927

CHECKS=132912924
NODES=171224
UNSAT
TT=822.147

UNSAT
TT=280.598

NODES=464759
UNSAT
TT=101.688

NODES=155576
UNSAT
TT=68.694

CHECKS=486886
NODES=161202
? (TO)
TT=1800.13

? (TO)
TT=1800.09

? (TO)
TT=1800.05

UNSAT
TT=47.943

UNSAT
TT=884.929

UNSAT
TT=871.795

? (TO)
TT=1800.75

UNSAT
TT=57.908

random/rand-3-20-20/
rand-3-20-20-60-632-25_ext.xml
SAT
TT=10.163

SAT
TT=86.693

CHECKS=75224946
NODES=82673
SAT
TT=95.593

CHECKS=84275832
NODES=94860
SAT
TT=250.597

SAT
TT=145.738

NODES=240413
SAT
TT=71.601

NODES=100589
SAT
TT=55.135

CHECKS=515901
NODES=109538
? (TO)
TT=1800.1

? (TO)
TT=1800.08

? (TO)
TT=1800

SAT
TT=31.363

SAT
TT=10.163

SAT
TT=11.163

? (TO)
TT=1800.19

SAT
TT=40.763

random/rand-3-20-20/
rand-3-20-20-60-632-27_ext.xml
SAT
TT=14.774

SAT
TT=19.181

CHECKS=14651741
NODES=17657
SAT
TT=14.774

CHECKS=10557251
NODES=12388
? (TO)
TT=1800.09

SAT
TT=97.443

NODES=171528
SAT
TT=204.477

NODES=277110
SAT
TT=137.265

CHECKS=530084
NODES=270449
? (TO)
TT=1800.08

? (TO)
TT=1800.03

? (TO)
TT=1800.03

SAT
TT=47.019

SAT
TT=17.575

SAT
TT=16.677

? (TO)
TT=1800.99

SAT
TT=59.487

random/rand-3-20-20/
rand-3-20-20-60-632-29_ext.xml
SAT
TT=14.603

SAT
TT=20.346

CHECKS=17780106
NODES=18228
SAT
TT=31.508

CHECKS=26005632
NODES=27937
SAT
TT=686.903

SAT
TT=41.937

NODES=73044
SAT
TT=46.823

NODES=56406
SAT
TT=109.586

CHECKS=486965
NODES=241618
? (TO)
TT=1800.11

? (TO)
TT=1800.08

? (TO)
TT=1800.07

SAT
TT=14.603

SAT
TT=143.177

SAT
TT=127.643

? (TO)
TT=1800.97

SAT
TT=27.186

random/rand-3-20-20/
rand-3-20-20-60-632-31_ext.xml
UNSAT
TT=90.609

UNSAT
TT=241.534

CHECKS=223238075
NODES=249032
UNSAT
TT=215.477

CHECKS=201909200
NODES=237240
UNSAT
TT=623.579

UNSAT
TT=411.729

NODES=708462
UNSAT
TT=176.747

NODES=258991
UNSAT
TT=109.667

CHECKS=515948
NODES=258795
? (TO)
TT=1800.13

? (TO)
TT=1800.09

? (TO)
TT=1800

UNSAT
TT=90.609

? (TO)
TT=1800.15

? (TO)
TT=1800.2

? (TO)
TT=1800.26

UNSAT
TT=114.524

random/rand-3-20-20/
rand-3-20-20-60-632-33_ext.xml
UNSAT
TT=221.25

UNSAT
TT=584.062

CHECKS=503674399
NODES=653995
UNSAT
TT=586.466

CHECKS=501652673
NODES=646474
? (TO)
TT=1800.07

UNSAT
TT=1510.72

NODES=2651286
UNSAT
TT=400.399

NODES=634744
UNSAT
TT=306.381

CHECKS=515944
NODES=724922
? (TO)
TT=1800.1

? (TO)
TT=1800.01

? (TO)
TT=1800.05

UNSAT
TT=221.25

? (TO)
TT=1800.11

? (TO)
TT=1800.13

? (TO)
TT=1800.2

UNSAT
TT=242.16

random/rand-3-20-20/
rand-3-20-20-60-632-35_ext.xml
UNSAT
TT=27.75

UNSAT
TT=74.181

CHECKS=66366264
NODES=81727
UNSAT
TT=77.974

CHECKS=65579300
NODES=80141
UNSAT
TT=268.945

UNSAT
TT=118.088

NODES=247975
UNSAT
TT=58.239

NODES=84610
UNSAT
TT=38.102

CHECKS=487211
NODES=87610
? (TO)
TT=1800.15

? (TO)
TT=1800.07

? (TO)
TT=1800

UNSAT
TT=27.75

UNSAT
TT=949.605

UNSAT
TT=938.367

? (TO)
TT=1801.01

UNSAT
TT=33.631

random/rand-3-20-20/
rand-3-20-20-60-632-37_ext.xml
SAT
TT=173.762

SAT
TT=539.893

CHECKS=456449754
NODES=508372
SAT
TT=173.762

CHECKS=144361238
NODES=163349
? (TO)
TT=1800.1

SAT
TT=290.527

NODES=463264
SAT
TT=495.956

NODES=703230
SAT
TT=179.496

CHECKS=501583
NODES=389081
? (TO)
TT=1800.07

? (TO)
TT=1800.02

? (TO)
TT=1800.06

SAT
TT=188.511

? (TO)
TT=1800.2

? (TO)
TT=1800.17

? (TO)
TT=1800.96

SAT
TT=264.604

random/rand-3-20-20/
rand-3-20-20-60-632-39_ext.xml
UNSAT
TT=123.037

UNSAT
TT=225.117

CHECKS=195158359
NODES=233910
UNSAT
TT=226.806

CHECKS=189143035
NODES=225576
? (TO)
TT=1800.13

UNSAT
TT=530.794

NODES=1047381
UNSAT
TT=237.22

NODES=343144
UNSAT
TT=153.401

CHECKS=515700
NODES=344243
? (TO)
TT=1800.12

? (TO)
TT=1800.07

? (TO)
TT=1800.08

UNSAT
TT=123.037

? (TO)
TT=1800.16

? (TO)
TT=1800.1

? (TO)
TT=1800.94

UNSAT
TT=126.954

random/rand-3-20-20/
rand-3-20-20-60-632-3_ext.xml
UNSAT
TT=99.712

UNSAT
TT=260.024

CHECKS=228064322
NODES=275130
UNSAT
TT=267.487

CHECKS=233240587
NODES=270555
UNSAT
TT=668.183

UNSAT
TT=539.865

NODES=1002853
UNSAT
TT=187.584

NODES=299999
UNSAT
TT=148.685

CHECKS=515743
NODES=330886
? (TO)
TT=1800.14

? (TO)
TT=1800.06

? (TO)
TT=1800.01

UNSAT
TT=99.712

? (TO)
TT=1800.14

? (TO)
TT=1800.16

? (TO)
TT=1800.2

UNSAT
TT=126.437

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
random/rand-3-20-20/
rand-3-20-20-60-632-41_ext.xml
SAT
TT=6.709

SAT
TT=15.01

CHECKS=12012520
NODES=14256
SAT
TT=16.507

CHECKS=12594076
NODES=14729
SAT
TT=219.51

SAT
TT=16.138

NODES=25494
SAT
TT=191.15

NODES=258840
SAT
TT=127.31

CHECKS=530047
NODES=262409
? (TO)
TT=1800.14

? (TO)
TT=1800.07

? (TO)
TT=1800.09

SAT
TT=6.709

SAT
TT=706.481

SAT
TT=643.681

? (TO)
TT=1800.91

SAT
TT=12.127

random/rand-3-20-20/
rand-3-20-20-60-632-43_ext.xml
UNSAT
TT=8.599

UNSAT
TT=22.41

CHECKS=18022194
NODES=24023
UNSAT
TT=22.083

CHECKS=17555615
NODES=23761
UNSAT
TT=370.527

UNSAT
TT=255.195

NODES=503970
UNSAT
TT=20.28

NODES=27372
UNSAT
TT=12.227

CHECKS=487333
NODES=23595
? (TO)
TT=1800.11

? (TO)
TT=1800.07

? (TO)
TT=1800.02

UNSAT
TT=8.599

UNSAT
TT=167.387

UNSAT
TT=192.54

? (TO)
TT=1800.99

UNSAT
TT=11.875

random/rand-3-20-20/
rand-3-20-20-60-632-45_ext.xml
UNSAT
TT=24.077

UNSAT
TT=64.026

CHECKS=53470306
NODES=49326
UNSAT
TT=58.524

CHECKS=51052789
NODES=51063
UNSAT
TT=282.022

UNSAT
TT=144.687

NODES=257407
UNSAT
TT=59.513

NODES=74925
UNSAT
TT=39.333

CHECKS=486760
NODES=77139
? (TO)
TT=1800.14

? (TO)
TT=1800.06

? (TO)
TT=1800.08

UNSAT
TT=24.077

UNSAT
TT=445.313

UNSAT
TT=452.333

? (TO)
TT=1800.46

UNSAT
TT=31.262

random/rand-3-20-20/
rand-3-20-20-60-632-47_ext.xml
SAT
TT=13.492

SAT
TT=28.646

CHECKS=22597807
NODES=29547
SAT
TT=40.848

CHECKS=31410650
NODES=40919
SAT
TT=504.394

SAT
TT=33.499

NODES=61547
SAT
TT=13.492

NODES=17214
SAT
TT=55.785

CHECKS=501596
NODES=120158
? (TO)
TT=1800.07

? (TO)
TT=1800.01

SAT
TT=1251.04

SAT
TT=17.13

SAT
TT=209.063

SAT
TT=208.558

? (TO)
TT=1800.95

SAT
TT=19.821

random/rand-3-20-20/
rand-3-20-20-60-632-49_ext.xml
SAT
TT=28.295

SAT
TT=110.126

CHECKS=94153175
NODES=112325
SAT
TT=320.492

CHECKS=274767590
NODES=331441
SAT
TT=622.047

SAT
TT=919.762

NODES=1667107
SAT
TT=57.934

NODES=80509
SAT
TT=28.295

CHECKS=486887
NODES=57787
? (TO)
TT=1800.13

? (TO)
TT=1800.08

? (TO)
TT=1800.03

SAT
TT=96.153

? (TO)
TT=1800.17

? (TO)
TT=1800.12

? (TO)
TT=1800.87

SAT
TT=118.449

random/rand-3-20-20/
rand-3-20-20-60-632-5_ext.xml
UNSAT
TT=86.688

UNSAT
TT=247.837

CHECKS=213648000
NODES=261579
UNSAT
TT=250.719

CHECKS=229144813
NODES=264300
? (TO)
TT=1800.13

UNSAT
TT=478.939

NODES=849196
UNSAT
TT=184.556

NODES=281068
UNSAT
TT=121.934

CHECKS=457863
NODES=258998
? (TO)
TT=1800.1

? (TO)
TT=1800.02

? (TO)
TT=1800.02

UNSAT
TT=86.688

? (TO)
TT=1800.18

? (TO)
TT=1800.1

? (TO)
TT=1800.17

UNSAT
TT=101.138

random/rand-3-20-20/
rand-3-20-20-60-632-7_ext.xml
SAT
TT=8.668

SAT
TT=19.112

CHECKS=14898557
NODES=17479
SAT
TT=8.668

CHECKS=6482718
NODES=7710
SAT
TT=457.412

SAT
TT=71.313

NODES=127762
SAT
TT=96.482

NODES=123358
SAT
TT=83.1

CHECKS=486717
NODES=168027
? (TO)
TT=1800.07

SAT
TT=1567.79

? (TO)
TT=1800.01

SAT
TT=21.184

SAT
TT=143.036

SAT
TT=146.694

? (TO)
TT=1801.06

SAT
TT=26.733

random/rand-3-20-20/
rand-3-20-20-60-632-9_ext.xml
SAT
TT=11.72

SAT
TT=41.532

CHECKS=34162951
NODES=33737
SAT
TT=45.06

CHECKS=39310450
NODES=40210
SAT
TT=190.562

SAT
TT=51.503

NODES=87186
SAT
TT=29.823

NODES=36155
SAT
TT=16.718

CHECKS=515837
NODES=31229
? (TO)
TT=1800.1

? (TO)
TT=1800.08

? (TO)
TT=1800.01

SAT
TT=11.72

SAT
TT=33.785

SAT
TT=35.01

? (TO)
TT=1800.18

SAT
TT=23.222

random/rand-3-24-24-fcd/
rand-3-24-24-76-632-fcd-11_ext.xml
SAT
TT=64.911

? (TO)
TT=1800.1

SAT
TT=313.039

CHECKS=227829470
NODES=182629
? (TO)
TT=1800.1

SAT
TT=64.911

NODES=83015
SAT
TT=390.675

NODES=407848
SAT
TT=148.17

CHECKS=1110415
NODES=222888
? (TO)
TT=1800.13

? (TO)
TT=1800.05

? (TO)
TT=1800.05

SAT
TT=454.234

? (TO)
TT=1800.17

? (TO)
TT=1800.14

? (TO)
TT=1800.27

SAT
TT=772.775

random/rand-3-24-24-fcd/
rand-3-24-24-76-632-fcd-13_ext.xml
SAT
TT=1220.64

? (TO)
TT=1800.13

? (TO)
TT=1800.14

? (TO)
TT=1800.08

? (TO)
TT=1800.03

SAT
TT=1422.13

NODES=1473992
SAT
TT=1220.64

CHECKS=1110322
NODES=2048933
? (TO)
TT=1800.08

? (TO)
TT=1800.02

? (TO)
TT=1800.06

? (TO)
TT=1800.09

? (TO)
TT=1800.12

? (TO)
TT=1800.16

? (TO)
TT=1800.54

? (TO)
TT=1800.05

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
random/rand-3-24-24-fcd/
rand-3-24-24-76-632-fcd-15_ext.xml
SAT
TT=1341.78

? (TO)
TT=1800.09

SAT
TT=1341.78

CHECKS=1007430452
NODES=950437
? (TO)
TT=1800.1

? (TO)
TT=1800.03

? (TO)
TT=1800.01

? (TO)
TT=1800.02

? (TO)
TT=1800.12

? (TO)
TT=1800.01

? (TO)
TT=1800.05

? (TO)
TT=1800.11

? (TO)
TT=1800.12

? (TO)
TT=1800.33

? (TO)
TT=1801.03

? (TO)
TT=1800.1

random/rand-3-24-24-fcd/
rand-3-24-24-76-632-fcd-17_ext.xml
SAT
TT=1115.6

? (TO)
TT=1800.1

? (TO)
TT=1800.12

? (TO)
TT=1800.09

? (TO)
TT=1800.05

? (TO)
TT=1800.03

? (TO)
TT=1800.08

? (TO)
TT=1800.09

? (TO)
TT=1800.01

? (TO)
TT=1800.03

? (TO)
TT=1800.04

? (TO)
TT=1800.16

? (TO)
TT=1800.15

? (TO)
TT=1800.96

SAT
TT=1115.6

random/rand-3-24-24-fcd/
rand-3-24-24-76-632-fcd-19_ext.xml



? (TO)
TT=1800.14

? (TO)
TT=1800.09

? (TO)
TT=1800.14

? (TO)
TT=1800.02

? (TO)
TT=1800.06

? (TO)
TT=1800.01

? (TO)
TT=1800.14

? (TO)
TT=1800.02

? (TO)
TT=1800.06

? (TO)
TT=1800.03

? (TO)
TT=1800.13

? (TO)
TT=1800.16

? (TO)
TT=1800.78

? (TO)
TT=1800.04

random/rand-3-24-24-fcd/
rand-3-24-24-76-632-fcd-21_ext.xml
SAT
TT=25.582

SAT
TT=25.582

CHECKS=18082625
NODES=14082
SAT
TT=84.23

CHECKS=62034821
NODES=48662
? (TO)
TT=1800.09

SAT
TT=315.972

NODES=423429
SAT
TT=124.85

NODES=119221
SAT
TT=227.917

CHECKS=1110172
NODES=323306
? (TO)
TT=1800.14

? (TO)
TT=1800.04

? (TO)
TT=1800.02

SAT
TT=331.836

? (TO)
TT=1800.19

? (TO)
TT=1800.14

? (TO)
TT=1801.06

SAT
TT=153.281

random/rand-3-24-24-fcd/
rand-3-24-24-76-632-fcd-23_ext.xml



? (TO)
TT=1800.09

? (TO)
TT=1800.15

? (TO)
TT=1800.13

? (TO)
TT=1800.04

? (TO)
TT=1800.02

? (TO)
TT=1800.02

? (TO)
TT=1800.12

? (TO)
TT=1800.04

? (TO)
TT=1800.03

? (TO)
TT=1800.08

? (TO)
TT=1800.1

? (TO)
TT=1800.15

? (TO)
TT=1800.94

? (TO)
TT=1800.02

random/rand-3-24-24-fcd/
rand-3-24-24-76-632-fcd-25_ext.xml
SAT
TT=308.313

SAT
TT=831.23

CHECKS=623234622
NODES=585345
SAT
TT=1271.69

CHECKS=941092517
NODES=902684
? (TO)
TT=1800.12

SAT
TT=779.447

NODES=1053006
? (TO)
TT=1800.01

? (TO)
TT=1800.02

? (TO)
TT=1800.14

? (TO)
TT=1800.08

? (TO)
TT=1800.01

SAT
TT=308.313

? (TO)
TT=1800.25

? (TO)
TT=1800.17

? (TO)
TT=1801.09

SAT
TT=402.398

random/rand-3-24-24-fcd/
rand-3-24-24-76-632-fcd-27_ext.xml



? (TO)
TT=1800.11

? (TO)
TT=1800.07

? (TO)
TT=1800.13

? (TO)
TT=1800.08

? (TO)
TT=1800.04

? (TO)
TT=1800.04

? (TO)
TT=1800.16

? (TO)
TT=1800.09

? (TO)
TT=1800.08

? (TO)
TT=1800.09

? (TO)
TT=1800.22

? (TO)
TT=1800.18

? (TO)
TT=1800.99

? (TO)
TT=1800.11

random/rand-3-24-24-fcd/
rand-3-24-24-76-632-fcd-29_ext.xml



? (TO)
TT=1800.11

? (TO)
TT=1800.14

? (TO)
TT=1800.11

? (TO)
TT=1800.03

? (TO)
TT=1800.01

? (TO)
TT=1800.1

? (TO)
TT=1800.09

? (TO)
TT=1800.03

? (TO)
TT=1800.04

? (TO)
TT=1800.05

? (TO)
TT=1800.19

? (TO)
TT=1800.18

? (TO)
TT=1801

? (TO)
TT=1800.07

random/rand-3-24-24-fcd/
rand-3-24-24-76-632-fcd-31_ext.xml
SAT
TT=62.414

? (TO)
TT=1800.15

? (TO)
TT=1800.14

SAT
TT=166.307

? (TO)
TT=1800.08

? (TO)
TT=1800.06

SAT
TT=697.879

CHECKS=1060436
NODES=1021729
? (TO)
TT=1800.13

? (TO)
TT=1800.09

? (TO)
TT=1800.08

SAT
TT=62.414

? (TO)
TT=1800.16

? (TO)
TT=1800.12

? (TO)
TT=1801

? (TO)
TT=1800.1

random/rand-3-24-24-fcd/
rand-3-24-24-76-632-fcd-33_ext.xml
SAT
TT=15.44

SAT
TT=15.44

CHECKS=10062917
NODES=9702
SAT
TT=38.785

CHECKS=25967279
NODES=24490
? (TO)
TT=1800.05

? (TO)
TT=1800.06

? (TO)
TT=1800.04

? (TO)
TT=1800.03

? (TO)
TT=1800.1

? (TO)
TT=1800.04

? (TO)
TT=1800.08

SAT
TT=402.946

SAT
TT=1659.34

SAT
TT=1609.44

? (TO)
TT=1801

SAT
TT=965.586

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
random/rand-3-24-24-fcd/
rand-3-24-24-76-632-fcd-35_ext.xml
SAT
TT=47.618

SAT
TT=492.231

CHECKS=375822224
NODES=318986
SAT
TT=320.414

CHECKS=229871323
NODES=198433
? (TO)
TT=1800.06

SAT
TT=89.77

NODES=110988
SAT
TT=1303.74

NODES=1248649
SAT
TT=926.024

CHECKS=1135193
NODES=1314842
? (TO)
TT=1800.13

? (TO)
TT=1800.02

? (TO)
TT=1800.01

SAT
TT=47.618

? (TO)
TT=1800.16

? (TO)
TT=1800.12

? (TO)
TT=1801

SAT
TT=49.012

random/rand-3-24-24-fcd/
rand-3-24-24-76-632-fcd-37_ext.xml
SAT
TT=1180.2

? (TO)
TT=1800.11

? (TO)
TT=1800.13

? (TO)
TT=1800.12

SAT
TT=1180.2

NODES=1539111
? (TO)
TT=1800.07

? (TO)
TT=1800.01

? (TO)
TT=1800.14

? (TO)
TT=1800

? (TO)
TT=1800.01

? (TO)
TT=1800.07

? (TO)
TT=1800.23

? (TO)
TT=1800.13

? (TO)
TT=1800.93

? (TO)
TT=1800.07

random/rand-3-24-24-fcd/
rand-3-24-24-76-632-fcd-39_ext.xml
SAT
TT=159.171

? (TO)
TT=1800.14

SAT
TT=1274.72

CHECKS=977946863
NODES=954783
? (TO)
TT=1800.11

? (TO)
TT=1800.08

? (TO)
TT=1800.1

SAT
TT=159.171

CHECKS=1135187
NODES=246428
? (TO)
TT=1800.08

? (TO)
TT=1800.07

? (TO)
TT=1800.01

SAT
TT=1488.14

? (TO)
TT=1800.12

? (TO)
TT=1800.21

? (TO)
TT=1800.97

SAT
TT=772.763

random/rand-3-24-24-fcd/
rand-3-24-24-76-632-fcd-41_ext.xml
SAT
TT=799.067

? (TO)
TT=1800.13

? (TO)
TT=1800.14

? (TO)
TT=1800.13

? (TO)
TT=1800.06

? (TO)
TT=1800

SAT
TT=1080.01

CHECKS=1160383
NODES=1946285
? (TO)
TT=1800.11

? (TO)
TT=1800.03

? (TO)
TT=1800.06

SAT
TT=799.067

? (TO)
TT=1800.23

? (TO)
TT=1800.22

? (TO)
TT=1800.92

SAT
TT=1642.14

random/rand-3-24-24-fcd/
rand-3-24-24-76-632-fcd-43_ext.xml
SAT
TT=237

? (TO)
TT=1800.11

? (TO)
TT=1800.11

? (TO)
TT=1800.11

? (TO)
TT=1800.09

SAT
TT=1563.72

NODES=1758483
SAT
TT=304.665

CHECKS=1160180
NODES=563697
? (TO)
TT=1800.08

? (TO)
TT=1800

? (TO)
TT=1800.07

SAT
TT=237

? (TO)
TT=1800.18

? (TO)
TT=1800.17

? (TO)
TT=1800.18

? (TO)
TT=1800.09

random/rand-3-24-24-fcd/
rand-3-24-24-76-632-fcd-45_ext.xml
SAT
TT=146.429

? (TO)
TT=1800.08

SAT
TT=545.603

CHECKS=394760319
NODES=318702
? (TO)
TT=1800.12

? (TO)
TT=1800.06

? (TO)
TT=1800.01

? (TO)
TT=1800.1

? (TO)
TT=1800.15

? (TO)
TT=1800.03

? (TO)
TT=1800.08

SAT
TT=146.429

? (TO)
TT=1800.15

? (TO)
TT=1800.19

? (TO)
TT=1800.95

SAT
TT=499.613

random/rand-3-24-24-fcd/
rand-3-24-24-76-632-fcd-47_ext.xml



? (TO)
TT=1800.11

? (TO)
TT=1800.13

? (TO)
TT=1800.11

? (TO)
TT=1800.02

? (TO)
TT=1800.06

? (TO)
TT=1800.02

? (TO)
TT=1800.15

? (TO)
TT=1800.05

? (TO)
TT=1800

? (TO)
TT=1800.04

? (TO)
TT=1800.18

? (TO)
TT=1800.14

? (TO)
TT=1800.73

? (TO)
TT=1800.1

random/rand-3-24-24-fcd/
rand-3-24-24-76-632-fcd-49_ext.xml
SAT
TT=568.712

? (TO)
TT=1800.1

? (TO)
TT=1800.1

? (TO)
TT=1800.13

? (TO)
TT=1800.04

SAT
TT=889.398

NODES=980885
? (TO)
TT=1800.1

? (TO)
TT=1800.13

? (TO)
TT=1800.02

? (TO)
TT=1800.02

SAT
TT=1287.85

SAT
TT=623.72

SAT
TT=568.712

? (TO)
TT=1800.99

SAT
TT=1666.37

random/rand-3-24-24/
rand-3-24-24-76-632-10_ext.xml



? (TO)
TT=1800.09

? (TO)
TT=1800.12

? (TO)
TT=1800.11

? (TO)
TT=1800.08

? (TO)
TT=1800.01

? (TO)
TT=1800.1

? (TO)
TT=1800.15

? (TO)
TT=1800.05

? (TO)
TT=1800

? (TO)
TT=1800.05

? (TO)
TT=1800.2

? (TO)
TT=1800.18

? (TO)
TT=1800.37

? (TO)
TT=1800.05

random/rand-3-24-24/
rand-3-24-24-76-632-11_ext.xml
UNSAT
TT=1232.27

? (TO)
TT=1800.12

? (TO)
TT=1800.17

? (TO)
TT=1800.13

? (TO)
TT=1800.05

? (TO)
TT=1800.07

UNSAT
TT=1662.25

CHECKS=1110607
NODES=2539966
? (TO)
TT=1800.16

? (TO)
TT=1800.02

? (TO)
TT=1800.02

UNSAT
TT=1232.27

? (TO)
TT=1800.14

? (TO)
TT=1800.22

? (TO)
TT=1801.02

UNSAT
TT=1556.95

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
random/rand-3-24-24/
rand-3-24-24-76-632-12_ext.xml



? (TO)
TT=1800.08

? (TO)
TT=1800.09

? (TO)
TT=1800.08

? (TO)
TT=1800.02

? (TO)
TT=1800.01

? (TO)
TT=1800.08

? (TO)
TT=1800.08

? (TO)
TT=1800.02

? (TO)
TT=1800.06

? (TO)
TT=1800.04

? (TO)
TT=1800.17

? (TO)
TT=1800.17

? (TO)
TT=1800.94

? (TO)
TT=1800.08

random/rand-3-24-24/
rand-3-24-24-76-632-13_ext.xml
SAT
TT=1146.98

? (TO)
TT=1800.07

? (TO)
TT=1800.15

? (TO)
TT=1800.06

? (TO)
TT=1800.02

? (TO)
TT=1800.03

SAT
TT=1406.51

CHECKS=1110326
NODES=2488316
? (TO)
TT=1800.17

? (TO)
TT=1800.07

? (TO)
TT=1800.01

SAT
TT=1146.98

? (TO)
TT=1800.22

? (TO)
TT=1800.16

? (TO)
TT=1800.17

SAT
TT=1539.26

random/rand-3-24-24/
rand-3-24-24-76-632-14_ext.xml



? (TO)
TT=1800.1

? (TO)
TT=1800.07

? (TO)
TT=1800.05

? (TO)
TT=1800.08

? (TO)
TT=1800.02

? (TO)
TT=1800.01

? (TO)
TT=1800.17

? (TO)
TT=1800.04

? (TO)
TT=1800.09

? (TO)
TT=1800.08

? (TO)
TT=1800.2

? (TO)
TT=1800.16

? (TO)
TT=1800.95

? (TO)
TT=1800.11

random/rand-3-24-24/
rand-3-24-24-76-632-15_ext.xml
SAT
TT=645.835

? (TO)
TT=1800.11

? (TO)
TT=1800.12

? (TO)
TT=1800.14

? (TO)
TT=1800.03

? (TO)
TT=1800.09

? (TO)
TT=1800.03

? (TO)
TT=1800.11

? (TO)
TT=1800.06

? (TO)
TT=1800.06

SAT
TT=645.835

? (TO)
TT=1800.22

? (TO)
TT=1800.2

? (TO)
TT=1800.77

SAT
TT=1598.32

random/rand-3-24-24/
rand-3-24-24-76-632-16_ext.xml
SAT
TT=77.345

SAT
TT=77.345

CHECKS=56568528
NODES=42488
SAT
TT=80.677

CHECKS=62120411
NODES=46793
? (TO)
TT=1800.12

? (TO)
TT=1800.09

SAT
TT=610.094

NODES=523936
SAT
TT=288.297

CHECKS=1110706
NODES=389371
? (TO)
TT=1800.14

? (TO)
TT=1800.09

? (TO)
TT=1800.08

SAT
TT=309.037

? (TO)
TT=1800.19

? (TO)
TT=1800.1

? (TO)
TT=1800.97

SAT
TT=174.191

random/rand-3-24-24/
rand-3-24-24-76-632-17_ext.xml



? (TO)
TT=1800.12

? (TO)
TT=1800.06

? (TO)
TT=1800.07

? (TO)
TT=1800.05

? (TO)
TT=1800.09

? (TO)
TT=1800.01

? (TO)
TT=1800.18

? (TO)
TT=1800.08

? (TO)
TT=1800.06

? (TO)
TT=1800.11

? (TO)
TT=1800.23

? (TO)
TT=1800.15

? (TO)
TT=1800.98

? (TO)
TT=1800.06

random/rand-3-24-24/
rand-3-24-24-76-632-18_ext.xml
SAT
TT=50.566

SAT
TT=680.721

CHECKS=520167581
NODES=490458
SAT
TT=723.498

CHECKS=513245495
NODES=471742
? (TO)
TT=1800.14

? (TO)
TT=1800.05

SAT
TT=629.203

NODES=746042
SAT
TT=486.617

CHECKS=1110589
NODES=784674
? (TO)
TT=1800.09

? (TO)
TT=1800.09

? (TO)
TT=1800

SAT
TT=50.566

? (TO)
TT=1800.12

? (TO)
TT=1800.25

? (TO)
TT=1800.19

SAT
TT=350.02

random/rand-3-24-24/
rand-3-24-24-76-632-19_ext.xml



? (TO)
TT=1800.07

? (TO)
TT=1800.17

? (TO)
TT=1800.06

? (TO)
TT=1800.1

? (TO)
TT=1800.01

? (TO)
TT=1800.01

? (TO)
TT=1800.1

? (TO)
TT=1800.1

? (TO)
TT=1800.1

? (TO)
TT=1800.04

? (TO)
TT=1800.18

? (TO)
TT=1800.25

? (TO)
TT=1801.04

? (TO)
TT=1800.09

random/rand-3-24-24/
rand-3-24-24-76-632-1_ext.xml
SAT
TT=721.63

? (TO)
TT=1800.13

? (TO)
TT=1800.08

? (TO)
TT=1800.07

? (TO)
TT=1800.01

? (TO)
TT=1800.08

? (TO)
TT=1800.08

? (TO)
TT=1800.12

? (TO)
TT=1800.03

? (TO)
TT=1800.07

SAT
TT=721.63

? (TO)
TT=1800.15

? (TO)
TT=1800.17

? (TO)
TT=1800.32

SAT
TT=1666.87

random/rand-3-24-24/
rand-3-24-24-76-632-20_ext.xml
UNSAT
TT=669.252

UNSAT
TT=1797.72

CHECKS=1336061820
NODES=1037592
UNSAT
TT=1745.68

CHECKS=1295573841
NODES=1043478
? (TO)
TT=1800.11

? (TO)
TT=1800.09

UNSAT
TT=1053.58

NODES=1107870
UNSAT
TT=778.166

CHECKS=1160460
NODES=1222035
? (TO)
TT=1800.15

? (TO)
TT=1800.08

? (TO)
TT=1800.03

UNSAT
TT=669.252

? (TO)
TT=1800.13

? (TO)
TT=1800.08

? (TO)
TT=1801.02

UNSAT
TT=802.147

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
random/rand-3-24-24/
rand-3-24-24-76-632-21_ext.xml
SAT
TT=44.814

SAT
TT=1474.23

CHECKS=1100679057
NODES=774605
SAT
TT=622.444

CHECKS=476394233
NODES=353175
? (TO)
TT=1800.1

SAT
TT=1638.1

NODES=2160145
SAT
TT=241.647

NODES=254418
SAT
TT=44.814

CHECKS=1110259
NODES=64562
? (TO)
TT=1800.16

? (TO)
TT=1800.1

? (TO)
TT=1800.02

SAT
TT=77.842

? (TO)
TT=1800.15

? (TO)
TT=1800.14

? (TO)
TT=1800.96

SAT
TT=189.753

random/rand-3-24-24/
rand-3-24-24-76-632-22_ext.xml
UNSAT
TT=377.497

UNSAT
TT=1052.28

CHECKS=738641481
NODES=651804
UNSAT
TT=1060.47

CHECKS=737725364
NODES=652262
? (TO)
TT=1800.16

UNSAT
TT=1563.63

NODES=2098386
UNSAT
TT=693.701

NODES=658639
UNSAT
TT=472.455

CHECKS=1160456
NODES=725863
? (TO)
TT=1800.1

? (TO)
TT=1800.09

? (TO)
TT=1800.07

UNSAT
TT=377.497

? (TO)
TT=1800.16

? (TO)
TT=1800.14

? (TO)
TT=1800.15

UNSAT
TT=539.364

random/rand-3-24-24/
rand-3-24-24-76-632-23_ext.xml
SAT
TT=475.366

SAT
TT=475.366

CHECKS=349080787
NODES=351426
? (TO)
TT=1800.14

? (TO)
TT=1800.07

? (TO)
TT=1800.09

? (TO)
TT=1800.07

? (TO)
TT=1800.04

? (TO)
TT=1800.15

? (TO)
TT=1800.1

? (TO)
TT=1800.06

? (TO)
TT=1800.02

? (TO)
TT=1800.22

? (TO)
TT=1800.16

? (TO)
TT=1801.02

? (TO)
TT=1800.03

random/rand-3-24-24/
rand-3-24-24-76-632-24_ext.xml



? (TO)
TT=1800.04

? (TO)
TT=1800.06

? (TO)
TT=1800.13

? (TO)
TT=1800.01

? (TO)
TT=1800.03

? (TO)
TT=1800.04

? (TO)
TT=1800.16

? (TO)
TT=1800.01

? (TO)
TT=1800.07

? (TO)
TT=1800.03

? (TO)
TT=1800.21

? (TO)
TT=1800.21

? (TO)
TT=1800.82

? (TO)
TT=1800.06

random/rand-3-24-24/
rand-3-24-24-76-632-25_ext.xml
SAT
TT=230.554

? (TO)
TT=1800.16

? (TO)
TT=1800.07

? (TO)
TT=1800.16

SAT
TT=230.554

NODES=307626
SAT
TT=1554.58

NODES=1715958
SAT
TT=614.017

CHECKS=1160355
NODES=1043091
? (TO)
TT=1800.13

? (TO)
TT=1800.05

? (TO)
TT=1800.05

SAT
TT=876.192

? (TO)
TT=1800.14

? (TO)
TT=1800.19

? (TO)
TT=0.047

SAT
TT=1127.94

random/rand-3-24-24/
rand-3-24-24-76-632-26_ext.xml
UNSAT
TT=1250.43

? (TO)
TT=1800.18

? (TO)
TT=1800.07

? (TO)
TT=1800.07

? (TO)
TT=1800.08

? (TO)
TT=1800.06

? (TO)
TT=1800.05

? (TO)
TT=1800.13

? (TO)
TT=1800.06

? (TO)
TT=1800.05

UNSAT
TT=1250.43

? (TO)
TT=1800.11

? (TO)
TT=1800.16

? (TO)
TT=1800.97

UNSAT
TT=1680.41

random/rand-3-24-24/
rand-3-24-24-76-632-27_ext.xml
SAT
TT=678.048

SAT
TT=1185.24

CHECKS=898637634
NODES=736354
SAT
TT=678.048

CHECKS=518910048
NODES=429604
? (TO)
TT=1800.14

? (TO)
TT=1800.04

? (TO)
TT=1800.02

? (TO)
TT=1800.04

? (TO)
TT=1800.08

? (TO)
TT=1800.08

? (TO)
TT=1800.03

? (TO)
TT=1800.03

? (TO)
TT=1800.15

? (TO)
TT=1800.16

? (TO)
TT=1800.59

? (TO)
TT=1800.12

random/rand-3-24-24/
rand-3-24-24-76-632-28_ext.xml
SAT
TT=81.174

SAT
TT=915.008

CHECKS=713533026
NODES=532495
SAT
TT=1115.33

CHECKS=759653527
NODES=574601
? (TO)
TT=1800.1

SAT
TT=283.741

NODES=366477
SAT
TT=109.407

NODES=115955
SAT
TT=81.174

CHECKS=1061013
NODES=119719
? (TO)
TT=1800.13

? (TO)
TT=1800.11

? (TO)
TT=1800

SAT
TT=144.908

? (TO)
TT=1800.15

? (TO)
TT=1800.16

? (TO)
TT=1800.99

SAT
TT=196.87

random/rand-3-24-24/
rand-3-24-24-76-632-29_ext.xml



? (TO)
TT=1800.11

? (TO)
TT=1800.07

? (TO)
TT=1800.15

? (TO)
TT=1800.1

? (TO)
TT=1800.05

? (TO)
TT=1800.05

? (TO)
TT=1800.12

? (TO)
TT=1800.1

? (TO)
TT=1800.09

? (TO)
TT=1800.05

? (TO)
TT=1800.15

? (TO)
TT=1800.21

? (TO)
TT=1801.13

? (TO)
TT=1800.09

random/rand-3-24-24/
rand-3-24-24-76-632-2_ext.xml
SAT
TT=1394.08

? (TO)
TT=1800.09

? (TO)
TT=1800.14

? (TO)
TT=1800.08

? (TO)
TT=1800.09

? (TO)
TT=1800.04

SAT
TT=1394.08

CHECKS=1085562
NODES=2811372
? (TO)
TT=1800.15

? (TO)
TT=1800.03

? (TO)
TT=1800.08

? (TO)
TT=1800.02

? (TO)
TT=1800.2

? (TO)
TT=1800.2

? (TO)
TT=1801.01

? (TO)
TT=1800.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
random/rand-3-24-24/
rand-3-24-24-76-632-30_ext.xml



? (TO)
TT=1800.12

? (TO)
TT=1800.15

? (TO)
TT=1800.05

? (TO)
TT=1800.09

? (TO)
TT=1800.05

? (TO)
TT=1800.07

? (TO)
TT=1800.08

? (TO)
TT=1800.04

? (TO)
TT=1800.03

? (TO)
TT=1800.03

? (TO)
TT=1800.2

? (TO)
TT=1800.17

? (TO)
TT=1801.04

? (TO)
TT=1800.09

random/rand-3-24-24/
rand-3-24-24-76-632-31_ext.xml
SAT
TT=980.19

? (TO)
TT=1800.07

? (TO)
TT=1800.16

? (TO)
TT=1800.09

? (TO)
TT=1800.06

? (TO)
TT=1800.01

? (TO)
TT=1800.05

? (TO)
TT=1800.11

? (TO)
TT=1800.03

? (TO)
TT=1800.02

SAT
TT=980.19

? (TO)
TT=1800.17

? (TO)
TT=1800.15

? (TO)
TT=1801.02

? (TO)
TT=1800.01

random/rand-3-24-24/
rand-3-24-24-76-632-32_ext.xml
UNSAT
TT=1710.44

? (TO)
TT=1800.07

? (TO)
TT=1800.07

? (TO)
TT=1800.13

? (TO)
TT=1800.06

? (TO)
TT=1800.01

? (TO)
TT=1800.07

? (TO)
TT=1800.16

? (TO)
TT=1800.06

? (TO)
TT=1800.01

UNSAT
TT=1710.44

? (TO)
TT=1800.19

? (TO)
TT=1800.21

? (TO)
TT=1800.18

? (TO)
TT=1800.1

random/rand-3-24-24/
rand-3-24-24-76-632-33_ext.xml
SAT
TT=150.29

? (TO)
TT=1800.15

? (TO)
TT=1800.06

? (TO)
TT=1800.08

? (TO)
TT=1800.01

SAT
TT=150.29

NODES=160580
SAT
TT=181.594

CHECKS=1160361
NODES=286071
? (TO)
TT=1800.17

? (TO)
TT=1800.09

? (TO)
TT=1800.05

SAT
TT=1191.79

? (TO)
TT=1800.24

? (TO)
TT=1800.24

? (TO)
TT=1800.92

SAT
TT=1725.01

random/rand-3-24-24/
rand-3-24-24-76-632-34_ext.xml



? (TO)
TT=1800.06

? (TO)
TT=1800.09

? (TO)
TT=1800.09

? (TO)
TT=1800.09

? (TO)
TT=1800.04

? (TO)
TT=1800.02

? (TO)
TT=1800.15

? (TO)
TT=1800.09

? (TO)
TT=1800.09

? (TO)
TT=1800.07

? (TO)
TT=1800.13

? (TO)
TT=1800.17

? (TO)
TT=1801.01

? (TO)
TT=1800.07

random/rand-3-24-24/
rand-3-24-24-76-632-35_ext.xml
SAT
TT=699.298

SAT
TT=1438.19

CHECKS=1108547976
NODES=863608
? (TO)
TT=1800.08

SAT
TT=785.03

? (TO)
TT=1800.01

SAT
TT=1141.58

NODES=1124279
SAT
TT=814.92

CHECKS=1135158
NODES=1141521
? (TO)
TT=1800.14

? (TO)
TT=1800.06

? (TO)
TT=1800.06

SAT
TT=699.298

SAT
TT=1150.3

SAT
TT=1139.78

? (TO)
TT=1800.98

SAT
TT=951.611

random/rand-3-24-24/
rand-3-24-24-76-632-36_ext.xml



? (TO)
TT=1800.13

? (TO)
TT=1800.09

? (TO)
TT=1800.1

? (TO)
TT=1800.08

? (TO)
TT=1800.02

? (TO)
TT=1800.06

? (TO)
TT=1800.12

? (TO)
TT=1800.08

? (TO)
TT=1800.09

? (TO)
TT=1800.03

? (TO)
TT=1800.12

? (TO)
TT=1800.16

? (TO)
TT=1801.02

? (TO)
TT=1800.12

random/rand-3-24-24/
rand-3-24-24-76-632-37_ext.xml



? (TO)
TT=1800.13

? (TO)
TT=1800.07

? (TO)
TT=1800.07

? (TO)
TT=1800.08

? (TO)
TT=1800.06

? (TO)
TT=1800.04

? (TO)
TT=1800.09

? (TO)
TT=1800.02

? (TO)
TT=1800.09

? (TO)
TT=1800.08

? (TO)
TT=1800.18

? (TO)
TT=1800.19

? (TO)
TT=1801.03

? (TO)
TT=1800.08

random/rand-3-24-24/
rand-3-24-24-76-632-38_ext.xml
SAT
TT=421.256

SAT
TT=421.256

CHECKS=300159833
NODES=313558
SAT
TT=586.865

CHECKS=429201652
NODES=433942
? (TO)
TT=1800.15

? (TO)
TT=1800.01

SAT
TT=1214.47

NODES=1579717
? (TO)
TT=1800.09

? (TO)
TT=1800.18

? (TO)
TT=1800.03

? (TO)
TT=1800.03

SAT
TT=864.252

? (TO)
TT=1800.23

? (TO)
TT=1800.11

? (TO)
TT=1800.99

SAT
TT=1191.1

random/rand-3-24-24/
rand-3-24-24-76-632-39_ext.xml
SAT
TT=395.207

? (TO)
TT=1800.09

? (TO)
TT=1800.18

? (TO)
TT=1800.1

? (TO)
TT=1800.04

SAT
TT=946.47

NODES=1097704
SAT
TT=395.207

CHECKS=1135232
NODES=674993
? (TO)
TT=1800.14

? (TO)
TT=1800.06

? (TO)
TT=1800

? (TO)
TT=1800.05

? (TO)
TT=1800.17

? (TO)
TT=1800.18

? (TO)
TT=1800.41

? (TO)
TT=1800.06

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
random/rand-3-24-24/
rand-3-24-24-76-632-3_ext.xml
UNSAT
TT=976.11

? (TO)
TT=1800.15

? (TO)
TT=1800.09

? (TO)
TT=1800.11

? (TO)
TT=1800.01

? (TO)
TT=1800.07

UNSAT
TT=1449.53

CHECKS=1110294
NODES=2465398
? (TO)
TT=1800.13

? (TO)
TT=1800.07

? (TO)
TT=1800.04

UNSAT
TT=976.11

? (TO)
TT=1800.15

? (TO)
TT=1800.19

? (TO)
TT=1800.89

UNSAT
TT=1264.98

random/rand-3-24-24/
rand-3-24-24-76-632-40_ext.xml



? (TO)
TT=1800.06

? (TO)
TT=1800.12

? (TO)
TT=1800.09

? (TO)
TT=1800.04

? (TO)
TT=1800.08

? (TO)
TT=1800.01

? (TO)
TT=1800.09

? (TO)
TT=1800.01

? (TO)
TT=1800.09

? (TO)
TT=1800.07

? (TO)
TT=1800.16

? (TO)
TT=1800.15

? (TO)
TT=1801.02

? (TO)
TT=1800.07

random/rand-3-24-24/
rand-3-24-24-76-632-41_ext.xml
SAT
TT=226.419

? (TO)
TT=1800.1

? (TO)
TT=1800.11

? (TO)
TT=1800.11

? (TO)
TT=1800

SAT
TT=299.472

NODES=290527
SAT
TT=226.419

CHECKS=1160365
NODES=374911
? (TO)
TT=1800.16

? (TO)
TT=1800.02

? (TO)
TT=1800.04

? (TO)
TT=1800.1

? (TO)
TT=1800.23

? (TO)
TT=1800.12

? (TO)
TT=1801.02

SAT
TT=239.524

random/rand-3-24-24/
rand-3-24-24-76-632-42_ext.xml
UNSAT
TT=539.028

UNSAT
TT=1680.87

CHECKS=1246709720
NODES=1046384
UNSAT
TT=1663.45

CHECKS=1236829999
NODES=1041250
? (TO)
TT=1800.11

? (TO)
TT=1800.11

UNSAT
TT=918.477

NODES=983412
UNSAT
TT=622.639

CHECKS=1060477
NODES=1032156
? (TO)
TT=1800.08

? (TO)
TT=1800.04

? (TO)
TT=1800

UNSAT
TT=539.028

? (TO)
TT=1800.14

? (TO)
TT=1800.14

? (TO)
TT=1801.01

UNSAT
TT=662.378

random/rand-3-24-24/
rand-3-24-24-76-632-43_ext.xml



? (TO)
TT=1800.06

? (TO)
TT=1800.14

? (TO)
TT=1800.12

? (TO)
TT=1800.08

? (TO)
TT=1800.01

? (TO)
TT=1800.1

? (TO)
TT=1800.18

? (TO)
TT=1800.06

? (TO)
TT=1800.05

? (TO)
TT=1800.07

? (TO)
TT=1800.14

? (TO)
TT=1800.17

? (TO)
TT=1800.98

? (TO)
TT=1800.06

random/rand-3-24-24/
rand-3-24-24-76-632-44_ext.xml
SAT
TT=922.959

SAT
TT=1380.49

CHECKS=1048316645
NODES=919430
? (TO)
TT=1800.13

? (TO)
TT=1800.11

? (TO)
TT=1800.09

? (TO)
TT=1800

? (TO)
TT=1800.09

? (TO)
TT=1800.09

? (TO)
TT=1800.04

? (TO)
TT=1800.06

SAT
TT=922.959

? (TO)
TT=1800.19

? (TO)
TT=1800.14

? (TO)
TT=1800.31

SAT
TT=1469.21

random/rand-3-24-24/
rand-3-24-24-76-632-45_ext.xml



? (TO)
TT=1800.16

? (TO)
TT=1800.13

? (TO)
TT=1800.08

? (TO)
TT=1800.06

? (TO)
TT=1800.01

? (TO)
TT=1800.05

? (TO)
TT=1800.18

? (TO)
TT=1800.03

? (TO)
TT=1800.08

? (TO)
TT=1800.02

? (TO)
TT=1800.12

? (TO)
TT=1800.15

? (TO)
TT=1800.73

? (TO)
TT=1800.1

random/rand-3-24-24/
rand-3-24-24-76-632-46_ext.xml



? (TO)
TT=1800.11

? (TO)
TT=1800.13

? (TO)
TT=1800.15

? (TO)
TT=1800.04

? (TO)
TT=1800.07

? (TO)
TT=1800.05

? (TO)
TT=1800.14

? (TO)
TT=1800.06

? (TO)
TT=1800.07

? (TO)
TT=1800.06

? (TO)
TT=1800.43

? (TO)
TT=1800.24

? (TO)
TT=1801

? (TO)
TT=1800.08

random/rand-3-24-24/
rand-3-24-24-76-632-47_ext.xml



? (TO)
TT=1800.08

? (TO)
TT=1800.09

? (TO)
TT=1800.07

? (TO)
TT=1800.01

? (TO)
TT=1800.07

? (TO)
TT=1800

? (TO)
TT=1800.18

? (TO)
TT=1800.06

? (TO)
TT=1800

? (TO)
TT=1800.1

? (TO)
TT=1800.23

? (TO)
TT=1800.13

? (TO)
TT=1801.11

? (TO)
TT=1800.11

random/rand-3-24-24/
rand-3-24-24-76-632-48_ext.xml



? (TO)
TT=1800.06

? (TO)
TT=1800.05

? (TO)
TT=1800.08

? (TO)
TT=1800

? (TO)
TT=1800.04

? (TO)
TT=1800.07

? (TO)
TT=1800.16

? (TO)
TT=1800.02

? (TO)
TT=1800.04

? (TO)
TT=1800.08

? (TO)
TT=1800.12

? (TO)
TT=1800.13

? (TO)
TT=1800.22

? (TO)
TT=1800.03

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
random/rand-3-24-24/
rand-3-24-24-76-632-49_ext.xml
SAT
TT=407.519

? (TO)
TT=1800.12

SAT
TT=407.519

CHECKS=310253738
NODES=300815
? (TO)
TT=1800.11

? (TO)
TT=1800.04

? (TO)
TT=1800.09

SAT
TT=1443.13

CHECKS=1085256
NODES=2592514
? (TO)
TT=1800.08

? (TO)
TT=1800.03

? (TO)
TT=1800.1

SAT
TT=1458.53

? (TO)
TT=1800.2

? (TO)
TT=1800.13

? (TO)
TT=1800.97

SAT
TT=760.624

random/rand-3-24-24/
rand-3-24-24-76-632-4_ext.xml
UNSAT
TT=284.015

UNSAT
TT=913.892

CHECKS=648736794
NODES=480771
UNSAT
TT=931.082

CHECKS=651305203
NODES=481784
? (TO)
TT=1800.14

UNSAT
TT=1180.7

NODES=1498021
UNSAT
TT=472.993

NODES=484953
UNSAT
TT=284.015

CHECKS=1160446
NODES=413565
? (TO)
TT=1800.13

? (TO)
TT=1800.02

? (TO)
TT=1800.08

UNSAT
TT=290.634

? (TO)
TT=1800.18

? (TO)
TT=1800.15

? (TO)
TT=1800.96

UNSAT
TT=398.721

random/rand-3-24-24/
rand-3-24-24-76-632-50_ext.xml



? (TO)
TT=1800.07

? (TO)
TT=1800.13

? (TO)
TT=1800.07

? (TO)
TT=1800.03

? (TO)
TT=1800.02

? (TO)
TT=1800.04

? (TO)
TT=1800.18

? (TO)
TT=1800.09

? (TO)
TT=1800.05

? (TO)
TT=1800.02

? (TO)
TT=1800.23

? (TO)
TT=1800.41

? (TO)
TT=1801

? (TO)
TT=1800.03

random/rand-3-24-24/
rand-3-24-24-76-632-5_ext.xml



? (TO)
TT=1800.14

? (TO)
TT=1800.11

? (TO)
TT=1800.16

? (TO)
TT=1800.02

? (TO)
TT=1800.03

? (TO)
TT=1800.1

? (TO)
TT=1800.12

? (TO)
TT=1800.09

? (TO)
TT=1800.08

? (TO)
TT=1800.04

? (TO)
TT=1800.23

? (TO)
TT=1800.12

? (TO)
TT=1801.01

? (TO)
TT=1800.04

random/rand-3-24-24/
rand-3-24-24-76-632-6_ext.xml



? (TO)
TT=1800.08

? (TO)
TT=1800.07

? (TO)
TT=1800.14

? (TO)
TT=1800.01

? (TO)
TT=1800.07

? (TO)
TT=1800.04

? (TO)
TT=1800.1

? (TO)
TT=1800.04

? (TO)
TT=1800.06

? (TO)
TT=1800.07

? (TO)
TT=1800.47

? (TO)
TT=1800.16

? (TO)
TT=1800.99

? (TO)
TT=1800.06

random/rand-3-24-24/
rand-3-24-24-76-632-7_ext.xml
SAT
TT=3.948

SAT
TT=345.468

CHECKS=254099312
NODES=217040
SAT
TT=3.948

CHECKS=1648298
NODES=1506
? (TO)
TT=1800.07

SAT
TT=59.897

NODES=81046
SAT
TT=232.379

NODES=208306
SAT
TT=261.468

CHECKS=1110427
NODES=380488
? (TO)
TT=1800.09

? (TO)
TT=1800.08

? (TO)
TT=1800.01

SAT
TT=238.984

? (TO)
TT=1800.2

? (TO)
TT=1800.14

? (TO)
TT=1800.99

SAT
TT=350.098

random/rand-3-24-24/
rand-3-24-24-76-632-8_ext.xml
UNSAT
TT=1500.09

? (TO)
TT=1800.07

? (TO)
TT=1800.09

? (TO)
TT=1800.06

? (TO)
TT=1800.01

? (TO)
TT=1800.03

? (TO)
TT=1800.1

? (TO)
TT=1800.13

? (TO)
TT=1800.08

? (TO)
TT=1800.05

UNSAT
TT=1500.09

? (TO)
TT=1800.17

? (TO)
TT=1800.37

? (TO)
TT=1800.98

? (TO)
TT=1800.07

random/rand-3-24-24/
rand-3-24-24-76-632-9_ext.xml
UNSAT
TT=1487.13

? (TO)
TT=1800.05

? (TO)
TT=1800.13

? (TO)
TT=1800.11

? (TO)
TT=1800.05

? (TO)
TT=1800.01

? (TO)
TT=1800.1

? (TO)
TT=1800.15

? (TO)
TT=1800

? (TO)
TT=1800.07

UNSAT
TT=1487.13

? (TO)
TT=1800.15

? (TO)
TT=1800.13

? (TO)
TT=1800.23

? (TO)
TT=1800.04

random/rand-3-28-28-fcd/
rand-3-28-28-93-632-fcd-11_ext.xml



? (TO)
TT=1800.14

? (TO)
TT=1800.07

? (TO)
TT=1800.1

? (TO)
TT=1800.08

? (TO)
TT=1800.01

? (TO)
TT=1800.01

? (MO)
TT=10.237

? (TO)
TT=1800.02

? (TO)
TT=1800.04

? (TO)
TT=1800.06

? (TO)
TT=1800.21

? (TO)
TT=1800.21

?
TT=299.26

? (TO)
TT=1800.09

random/rand-3-28-28-fcd/
rand-3-28-28-93-632-fcd-13_ext.xml
SAT
TT=718.704

SAT
TT=718.704

CHECKS=439981372
NODES=319010
? (TO)
TT=1800.14

? (TO)
TT=1800.19

? (TO)
TT=1800.04

? (TO)
TT=1800.04

? (TO)
TT=1800.08

? (MO)
TT=11.103

? (TO)
TT=1800.08

? (TO)
TT=1800.05

? (TO)
TT=1800.04

? (TO)
TT=1800.16

? (TO)
TT=1800.17

?
TT=320.29

? (TO)
TT=1800.03

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
random/rand-3-28-28-fcd/
rand-3-28-28-93-632-fcd-15_ext.xml



? (TO)
TT=1800.05

? (TO)
TT=1800.14

? (TO)
TT=1800.14

? (TO)
TT=1800.03

? (TO)
TT=1800.08

? (TO)
TT=1800.08

? (MO)
TT=10.378

? (TO)
TT=1800.09

? (TO)
TT=1800.05

? (TO)
TT=1800.11

? (TO)
TT=1800.19

? (TO)
TT=1800.15

?
TT=318.71

? (TO)
TT=1800.05

random/rand-3-28-28-fcd/
rand-3-28-28-93-632-fcd-17_ext.xml



? (TO)
TT=1800.19

? (TO)
TT=1800.13

? (TO)
TT=1800.13

? (TO)
TT=1800.11

? (TO)
TT=1800.1

? (TO)
TT=1800.01

? (MO)
TT=11.094

? (TO)
TT=1800.01

? (TO)
TT=1800.08

? (TO)
TT=1800.08

? (TO)
TT=1800.25

? (TO)
TT=1800.17

?
TT=327.48

? (TO)
TT=1800.09

random/rand-3-28-28-fcd/
rand-3-28-28-93-632-fcd-19_ext.xml



? (TO)
TT=1800.1

? (TO)
TT=1800.11

? (TO)
TT=1800.13

? (TO)
TT=1800.06

? (TO)
TT=1800.07

? (TO)
TT=1800.06

? (MO)
TT=9.755

? (TO)
TT=1800.01

? (TO)
TT=1800

? (TO)
TT=1800.11

? (TO)
TT=1800.19

? (TO)
TT=1800.22

?
TT=331.26

? (TO)
TT=1800.08

random/rand-3-28-28-fcd/
rand-3-28-28-93-632-fcd-21_ext.xml



? (TO)
TT=1800.08

? (TO)
TT=1800.12

? (TO)
TT=1800.17

? (TO)
TT=1800.01

? (TO)
TT=1800.03

? (TO)
TT=1800.1

? (MO)
TT=10.479

? (TO)
TT=1800.08

? (TO)
TT=0.028

? (TO)
TT=1800.05

? (TO)
TT=1800.21

? (TO)
TT=1800.18

?
TT=323.75

? (TO)
TT=1800.09

random/rand-3-28-28-fcd/
rand-3-28-28-93-632-fcd-23_ext.xml
SAT
TT=100.169

? (TO)
TT=1800.14

? (TO)
TT=1800.06

? (TO)
TT=1800.16

? (TO)
TT=1800.02

? (TO)
TT=1800.1

? (TO)
TT=1800.02

? (MO)
TT=10.385

? (TO)
TT=1800.1

? (TO)
TT=1800.09

SAT
TT=100.169

? (TO)
TT=1800.2

? (TO)
TT=1800.12

?
TT=339.24

? (TO)
TT=1800.02

random/rand-3-28-28-fcd/
rand-3-28-28-93-632-fcd-25_ext.xml



? (TO)
TT=1800.08

? (TO)
TT=1800.14

? (TO)
TT=1800.17

? (TO)
TT=1800.1

? (TO)
TT=1800.03

? (TO)
TT=1800.07

? (MO)
TT=10.181

? (TO)
TT=1800.02

? (TO)
TT=0.024

? (TO)
TT=1800.04

? (TO)
TT=1800.18

? (TO)
TT=1800.17

?
TT=344.09

? (TO)
TT=1800.08

random/rand-3-28-28-fcd/
rand-3-28-28-93-632-fcd-27_ext.xml



? (TO)
TT=1800.11

? (TO)
TT=1800.13

? (TO)
TT=1800.14

? (TO)
TT=1800.02

? (TO)
TT=1800.01

? (TO)
TT=1800.1

? (MO)
TT=11.112

? (TO)
TT=1800.06

? (TO)
TT=1800.05

? (TO)
TT=1800.12

? (TO)
TT=1800.23

? (TO)
TT=1800.25

?
TT=299.02

? (TO)
TT=1800.11

random/rand-3-28-28-fcd/
rand-3-28-28-93-632-fcd-29_ext.xml



? (TO)
TT=1800.12

? (TO)
TT=1800.11

? (TO)
TT=1800.11

? (TO)
TT=1800.09

? (TO)
TT=1800.01

? (TO)
TT=1800.04

? (MO)
TT=11.152

? (TO)
TT=1800.07

? (TO)
TT=1800.1

? (TO)
TT=1800.09

? (TO)
TT=1800.14

? (TO)
TT=1800.23

?
TT=329.85

? (TO)
TT=1800.08

random/rand-3-28-28-fcd/
rand-3-28-28-93-632-fcd-31_ext.xml



? (TO)
TT=1800.1

? (TO)
TT=1800.13

? (TO)
TT=1800.1

? (TO)
TT=1800.07

? (TO)
TT=1800.1

? (TO)
TT=1800.07

? (MO)
TT=11.095

? (TO)
TT=1800.02

? (TO)
TT=1800.04

? (TO)
TT=1800.11

? (TO)
TT=1800.23

? (TO)
TT=1800.18

?
TT=330.58

? (TO)
TT=1800.06

random/rand-3-28-28-fcd/
rand-3-28-28-93-632-fcd-33_ext.xml



? (TO)
TT=1800.14

? (TO)
TT=1800.15

? (TO)
TT=1800.15

? (TO)
TT=1800.02

? (TO)
TT=1800.01

? (TO)
TT=1800.03

? (MO)
TT=10.395

? (TO)
TT=1800.04

? (TO)
TT=1800

? (TO)
TT=1800.08

? (TO)
TT=1800.27

? (TO)
TT=1800.16

?
TT=303.63

? (TO)
TT=1800.07

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
random/rand-3-28-28-fcd/
rand-3-28-28-93-632-fcd-35_ext.xml



? (TO)
TT=1800.05

? (TO)
TT=1800.15

? (TO)
TT=1800.1

? (TO)
TT=1800.01

? (TO)
TT=1800.04

? (TO)
TT=1800.09

? (MO)
TT=10.895

? (TO)
TT=1800.05

? (TO)
TT=0.027

? (TO)
TT=1800.04

? (TO)
TT=1800.22

? (TO)
TT=1800.15

?
TT=316.39

? (TO)
TT=1800.04

random/rand-3-28-28-fcd/
rand-3-28-28-93-632-fcd-37_ext.xml



? (TO)
TT=1800.12

? (TO)
TT=1800.11

? (TO)
TT=1800.19

? (TO)
TT=1800

? (TO)
TT=1800.08

? (TO)
TT=1800.08

? (MO)
TT=10.48

? (TO)
TT=1800.08

? (TO)
TT=1800.07

? (TO)
TT=1800.04

? (TO)
TT=1800.17

? (TO)
TT=1800.17

?
TT=334.97

? (TO)
TT=1800.01

random/rand-3-28-28-fcd/
rand-3-28-28-93-632-fcd-39_ext.xml



? (TO)
TT=1800.1

? (TO)
TT=1800.17

? (TO)
TT=1800.18

? (TO)
TT=1800.09

? (TO)
TT=1800.02

? (TO)
TT=1800.05

? (MO)
TT=11.099

? (TO)
TT=1800.01

? (TO)
TT=1800.02

? (TO)
TT=1800.03

? (TO)
TT=1800.18

? (TO)
TT=1800.2

?
TT=335.25

? (TO)
TT=1800.05

random/rand-3-28-28-fcd/
rand-3-28-28-93-632-fcd-41_ext.xml
SAT
TT=36.098

? (TO)
TT=1800.17

? (TO)
TT=1800.14

? (TO)
TT=1800.17

? (TO)
TT=1800.07

SAT
TT=1083.5

NODES=800471
SAT
TT=36.098

CHECKS=2135667
NODES=35771
? (MO)
TT=10.383

? (TO)
TT=1800.09

? (TO)
TT=1800.04

? (TO)
TT=1800.03

? (TO)
TT=1800.17

? (TO)
TT=1800.15

?
TT=325.8

? (TO)
TT=1800.11

random/rand-3-28-28-fcd/
rand-3-28-28-93-632-fcd-43_ext.xml
SAT
TT=246.336

? (TO)
TT=1800.1

? (TO)
TT=1800.12

? (TO)
TT=1800.16

SAT
TT=246.336

NODES=228598
? (TO)
TT=1800.08

? (TO)
TT=1800.03

? (MO)
TT=10.911

? (TO)
TT=1800.01

? (TO)
TT=1800.07

SAT
TT=1276.13

? (TO)
TT=1800.22

? (TO)
TT=1800.17

?
TT=330.83

SAT
TT=1540.85

random/rand-3-28-28-fcd/
rand-3-28-28-93-632-fcd-45_ext.xml



? (TO)
TT=1800.08

? (TO)
TT=1800.09

? (TO)
TT=1800.1

? (TO)
TT=1800.09

? (TO)
TT=1800.04

? (TO)
TT=1800.09

? (MO)
TT=9.844

? (TO)
TT=1800.08

? (TO)
TT=1800

? (TO)
TT=1800.1

? (TO)
TT=1800.18

? (TO)
TT=1800.23

?
TT=317.86

? (TO)
TT=1800.11

random/rand-3-28-28-fcd/
rand-3-28-28-93-632-fcd-47_ext.xml



? (TO)
TT=1800.07

? (TO)
TT=1800.1

? (TO)
TT=1800.16

? (TO)
TT=1800.05

? (TO)
TT=1800.02

? (TO)
TT=1800.1

? (MO)
TT=10.812

? (TO)
TT=1800.09

? (TO)
TT=1800.02

? (TO)
TT=1800.07

? (TO)
TT=1800.13

? (TO)
TT=1800.47

?
TT=343.56

? (TO)
TT=1800.1

random/rand-3-28-28-fcd/
rand-3-28-28-93-632-fcd-49_ext.xml



? (TO)
TT=1800.08

? (TO)
TT=1800.13

? (TO)
TT=1800.1

? (TO)
TT=1800.08

? (TO)
TT=1800.08

? (TO)
TT=1800.04

? (MO)
TT=10.98

? (TO)
TT=1800.09

? (TO)
TT=1800.06

? (TO)
TT=1800.06

? (TO)
TT=1800.15

? (TO)
TT=1800.18

?
TT=328.09

? (TO)
TT=1800.06

random/rand-3-28-28/
rand-3-28-28-93-632-10_ext.xml
SAT
TT=1741.14

? (TO)
TT=1800.11

? (TO)
TT=1800.13

? (TO)
TT=1800.2

? (TO)
TT=1800.08

? (TO)
TT=1800.06

SAT
TT=1741.14

CHECKS=2254343
NODES=1994805
? (MO)
TT=9.903

? (TO)
TT=1800.02

? (TO)
TT=1800.02

? (TO)
TT=1800.03

? (TO)
TT=1800.23

? (TO)
TT=1800.17

?
TT=334.93

? (TO)
TT=1800.08

random/rand-3-28-28/
rand-3-28-28-93-632-11_ext.xml



? (TO)
TT=1800.14

? (TO)
TT=1800.09

? (TO)
TT=1800.11

? (TO)
TT=1800.05

? (TO)
TT=1800.1

? (TO)
TT=1800.08

? (MO)
TT=10.602

? (TO)
TT=1800.02

? (TO)
TT=1800.02

? (TO)
TT=1800.02

? (TO)
TT=1800.2

? (TO)
TT=1800.44

?
TT=297.66

? (TO)
TT=1800.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
random/rand-3-28-28/
rand-3-28-28-93-632-12_ext.xml



? (TO)
TT=1800.16

? (TO)
TT=1800.16

? (TO)
TT=1800.13

? (TO)
TT=1800

? (TO)
TT=1800.07

? (TO)
TT=1800.09

? (MO)
TT=10.268

? (TO)
TT=1800.07

? (TO)
TT=1800.04

? (TO)
TT=1800.07

? (TO)
TT=1800.21

? (TO)
TT=1800.21

?
TT=352.12

? (TO)
TT=1800.07

random/rand-3-28-28/
rand-3-28-28-93-632-13_ext.xml
SAT
TT=312.575

? (TO)
TT=1800.16

SAT
TT=312.575

CHECKS=191174096
NODES=139663
? (TO)
TT=1800.18

? (TO)
TT=1800.01

? (TO)
TT=1800.09

? (TO)
TT=1800.06

? (MO)
TT=9.989

? (TO)
TT=1800.04

? (TO)
TT=1800.02

? (TO)
TT=1800.06

? (TO)
TT=1800.24

? (TO)
TT=1800.21

?
TT=319.32

? (TO)
TT=1800.01

random/rand-3-28-28/
rand-3-28-28-93-632-14_ext.xml



? (TO)
TT=1800.19

? (TO)
TT=1800.13

? (TO)
TT=1800.17

? (TO)
TT=1800.09

? (TO)
TT=1800.04

? (TO)
TT=1800.07

? (MO)
TT=10.258

? (TO)
TT=1800.08

? (TO)
TT=0.03

? (TO)
TT=1800.1

? (TO)
TT=1800.3

? (TO)
TT=1800.21

?
TT=328.86

? (TO)
TT=1800.06

random/rand-3-28-28/
rand-3-28-28-93-632-15_ext.xml



? (TO)
TT=1800.11

? (TO)
TT=1800.19

? (TO)
TT=1800.14

? (TO)
TT=1800.06

? (TO)
TT=1800.05

? (TO)
TT=1800.08

? (MO)
TT=9.754

? (TO)
TT=1800.1

? (TO)
TT=1800.05

? (TO)
TT=1800.02

? (TO)
TT=1800.19

? (TO)
TT=1800.26

?
TT=315.47

? (TO)
TT=1800.02

random/rand-3-28-28/
rand-3-28-28-93-632-16_ext.xml



? (TO)
TT=1800.13

? (TO)
TT=1800.14

? (TO)
TT=1800.19

? (TO)
TT=1800.05

? (TO)
TT=1800.07

? (TO)
TT=1800.03

? (MO)
TT=10.736

? (TO)
TT=1800.03

? (TO)
TT=1800.04

? (TO)
TT=1800.06

? (TO)
TT=1800.24

? (TO)
TT=1800.21

?
TT=326.74

? (TO)
TT=1800.1

random/rand-3-28-28/
rand-3-28-28-93-632-17_ext.xml



? (TO)
TT=1800.1

? (TO)
TT=1800.11

? (TO)
TT=1800.16

? (TO)
TT=1800.1

? (TO)
TT=1800.07

? (TO)
TT=1800.05

? (MO)
TT=9.977

? (TO)
TT=1800.06

? (TO)
TT=1800.07

? (TO)
TT=1800.02

? (TO)
TT=1800.2

? (TO)
TT=1800.19

?
TT=312.15

? (TO)
TT=1800.01

random/rand-3-28-28/
rand-3-28-28-93-632-18_ext.xml



? (TO)
TT=1800.14

? (TO)
TT=1800.14

? (TO)
TT=1800.15

? (TO)
TT=1800.08

? (TO)
TT=1800.05

? (TO)
TT=1800.09

? (MO)
TT=9.968

? (TO)
TT=1800.03

? (TO)
TT=0.031

? (TO)
TT=1800.05

? (TO)
TT=1800.23

? (TO)
TT=1800.18

?
TT=330

? (TO)
TT=1800.07

random/rand-3-28-28/
rand-3-28-28-93-632-19_ext.xml



? (TO)
TT=1800.13

? (TO)
TT=1800.1

? (TO)
TT=1800.09

? (TO)
TT=1800.07

? (TO)
TT=1800.01

? (TO)
TT=1800.06

? (MO)
TT=10.626

? (TO)
TT=1800.07

? (TO)
TT=0.028

? (TO)
TT=1800.05

? (TO)
TT=1800.18

? (TO)
TT=1800.17

?
TT=323.76

? (TO)
TT=1800.07

random/rand-3-28-28/
rand-3-28-28-93-632-1_ext.xml



? (TO)
TT=1800.14

? (TO)
TT=1800.08

? (TO)
TT=1800.18

? (TO)
TT=1800.05

? (TO)
TT=1800

? (TO)
TT=1800.05

? (MO)
TT=11.21

? (TO)
TT=1800.01

? (TO)
TT=1800.04

? (TO)
TT=1800.07

? (TO)
TT=1800.24

? (TO)
TT=1800.16

?
TT=296.06

? (TO)
TT=1800.09

random/rand-3-28-28/
rand-3-28-28-93-632-20_ext.xml



? (TO)
TT=1800.09

? (TO)
TT=1800.12

? (TO)
TT=1800.09

? (TO)
TT=1800.03

? (TO)
TT=1800.04

? (TO)
TT=1800

? (MO)
TT=10.556

? (TO)
TT=1800.08

? (TO)
TT=1800.06

? (TO)
TT=1800.05

? (TO)
TT=1800.17

? (TO)
TT=1800.38

?
TT=321.11

? (TO)
TT=1800.02

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
random/rand-3-28-28/
rand-3-28-28-93-632-21_ext.xml



? (TO)
TT=1800.14

? (TO)
TT=1800.16

? (TO)
TT=1800.17

? (TO)
TT=1800.02

? (TO)
TT=1800.01

? (TO)
TT=1800.08

? (MO)
TT=10.117

? (TO)
TT=1800

? (TO)
TT=1800.03

? (TO)
TT=1800.02

? (TO)
TT=1800.19

? (TO)
TT=1800.26

?
TT=335.24

? (TO)
TT=1800.02

random/rand-3-28-28/
rand-3-28-28-93-632-22_ext.xml



? (TO)
TT=1800.15

? (TO)
TT=1800.1

? (TO)
TT=1800.1

? (TO)
TT=1800.03

? (TO)
TT=1800.01

? (TO)
TT=1800.08

? (MO)
TT=9.895

? (TO)
TT=1800.08

? (TO)
TT=1800.05

? (TO)
TT=1800.06

? (TO)
TT=1800.21

? (TO)
TT=1800.14

?
TT=317.64

? (TO)
TT=1800.1

random/rand-3-28-28/
rand-3-28-28-93-632-23_ext.xml



? (TO)
TT=1800.13

? (TO)
TT=1800.11

? (TO)
TT=1800.15

? (TO)
TT=1800

? (TO)
TT=1800.03

? (TO)
TT=1800

? (MO)
TT=10.12

? (TO)
TT=1800.05

? (TO)
TT=1800.03

? (TO)
TT=1800.08

? (TO)
TT=1800.14

? (TO)
TT=1800.14

?
TT=331.96

? (TO)
TT=1800.09

random/rand-3-28-28/
rand-3-28-28-93-632-24_ext.xml



? (TO)
TT=1800.13

? (TO)
TT=1800.16

? (TO)
TT=1800.16

? (TO)
TT=1800.06

? (TO)
TT=1800.01

? (TO)
TT=1800.03

? (MO)
TT=10.318

? (TO)
TT=1800.09

? (TO)
TT=1800.03

? (TO)
TT=1800.04

? (TO)
TT=1800.26

? (TO)
TT=1800.16

?
TT=333.37

? (TO)
TT=1800.09

random/rand-3-28-28/
rand-3-28-28-93-632-25_ext.xml



? (TO)
TT=1800.16

? (TO)
TT=1800.13

? (TO)
TT=1800.16

? (TO)
TT=1800.09

? (TO)
TT=1800.01

? (TO)
TT=1800.07

? (MO)
TT=10.351

? (TO)
TT=1800.05

? (TO)
TT=0.029

? (TO)
TT=1800.08

? (TO)
TT=1800.27

? (TO)
TT=1800.19

?
TT=330.4

? (TO)
TT=1800.06

random/rand-3-28-28/
rand-3-28-28-93-632-26_ext.xml



? (TO)
TT=1800.13

? (TO)
TT=1800.09

? (TO)
TT=1800.18

? (TO)
TT=1800.08

? (TO)
TT=1800.02

? (TO)
TT=1800.06

? (MO)
TT=10.009

? (TO)
TT=1800.08

? (TO)
TT=0.025

? (TO)
TT=1800.11

? (TO)
TT=1800.27

? (TO)
TT=1800.14

?
TT=330.13

? (TO)
TT=1800.02

random/rand-3-28-28/
rand-3-28-28-93-632-27_ext.xml



? (TO)
TT=1800.12

? (TO)
TT=1800.1

? (TO)
TT=1800.19

? (TO)
TT=1800.06

? (TO)
TT=1800.05

? (TO)
TT=1800.06

? (MO)
TT=9.987

? (TO)
TT=1800.09

? (TO)
TT=1800.04

? (TO)
TT=1800.03

? (TO)
TT=1800.18

? (TO)
TT=1800.2

?
TT=331.79

? (TO)
TT=1800.07

random/rand-3-28-28/
rand-3-28-28-93-632-28_ext.xml



? (TO)
TT=1800.07

? (TO)
TT=1800.09

? (TO)
TT=1800.12

? (TO)
TT=1800.01

? (TO)
TT=1800.01

? (TO)
TT=1800.03

? (MO)
TT=9.943

? (TO)
TT=1800.07

? (TO)
TT=1800

? (TO)
TT=1800.06

? (TO)
TT=1800.22

? (TO)
TT=1800.21

?
TT=310.43

? (TO)
TT=1800.05

random/rand-3-28-28/
rand-3-28-28-93-632-29_ext.xml



? (TO)
TT=1800.07

? (TO)
TT=1800.11

? (TO)
TT=1800.13

? (TO)
TT=1800.09

? (TO)
TT=1800.01

? (TO)
TT=1800.07

? (MO)
TT=10.539

? (TO)
TT=1800.07

? (TO)
TT=1800.02

? (TO)
TT=1800.09

? (TO)
TT=1800.22

? (TO)
TT=1800.18

?
TT=314.03

? (TO)
TT=1800.02

random/rand-3-28-28/
rand-3-28-28-93-632-2_ext.xml



? (TO)
TT=1800.13

? (TO)
TT=1800.15

? (TO)
TT=1800.14

? (TO)
TT=1800.04

? (TO)
TT=1800.09

? (TO)
TT=1800.09

? (MO)
TT=10.479

? (TO)
TT=1800.04

? (TO)
TT=0.028

? (TO)
TT=1800.06

? (TO)
TT=1800.2

? (TO)
TT=1800.14

?
TT=350.79

? (TO)
TT=1800.06

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
random/rand-3-28-28/
rand-3-28-28-93-632-30_ext.xml



? (TO)
TT=1800.11

? (TO)
TT=1800.09

? (TO)
TT=1800.16

? (TO)
TT=1800.06

? (TO)
TT=1800.06

? (TO)
TT=1800.06

? (MO)
TT=10.596

? (TO)
TT=1800.08

? (TO)
TT=1800.09

? (TO)
TT=1800.04

? (TO)
TT=1800.18

? (TO)
TT=1800.2

?
TT=307.58

? (TO)
TT=1800.06

random/rand-3-28-28/
rand-3-28-28-93-632-31_ext.xml



? (TO)
TT=1800.11

? (TO)
TT=1800.15

? (TO)
TT=1800.19

? (TO)
TT=1800.06

? (TO)
TT=1800.03

? (TO)
TT=1800.03

? (MO)
TT=9.97

? (TO)
TT=1800.11

? (TO)
TT=1800.07

? (TO)
TT=1800.06

? (TO)
TT=1800.16

? (TO)
TT=1800.16

?
TT=330.02

? (TO)
TT=1800.08

random/rand-3-28-28/
rand-3-28-28-93-632-32_ext.xml



? (TO)
TT=1800.1

? (TO)
TT=1800.14

? (TO)
TT=1800.17

? (TO)
TT=1800.03

? (TO)
TT=1800.06

? (TO)
TT=1800.01

? (MO)
TT=10.471

? (TO)
TT=1800.09

? (MO)
TT=0.02

? (TO)
TT=1800.07

? (TO)
TT=1800.25

? (TO)
TT=1800.21

?
TT=327.86

? (TO)
TT=1800.11

random/rand-3-28-28/
rand-3-28-28-93-632-33_ext.xml



? (TO)
TT=1800.13

? (TO)
TT=1800.09

? (TO)
TT=1800.17

? (TO)
TT=1800.04

? (TO)
TT=1800.04

? (TO)
TT=1800.09

? (MO)
TT=10.306

? (TO)
TT=1800.04

? (TO)
TT=1800.08

? (TO)
TT=1800.08

? (TO)
TT=1800.21

? (TO)
TT=1800.23

?
TT=328.16

? (TO)
TT=1800.11

random/rand-3-28-28/
rand-3-28-28-93-632-34_ext.xml



? (TO)
TT=1800.13

? (TO)
TT=1800.12

? (TO)
TT=1800.18

? (TO)
TT=1800.09

? (TO)
TT=1800.09

? (TO)
TT=1800.05

? (MO)
TT=10.376

? (TO)
TT=1800.04

? (TO)
TT=1800.06

? (TO)
TT=1800.1

? (TO)
TT=1800.47

? (TO)
TT=1800.21

?
TT=310.04

? (TO)
TT=1800.05

random/rand-3-28-28/
rand-3-28-28-93-632-35_ext.xml



? (TO)
TT=1800.14

? (TO)
TT=1800.09

? (TO)
TT=1800.14

? (TO)
TT=1800.1

? (TO)
TT=1800.02

? (TO)
TT=1800.05

? (MO)
TT=10.557

? (TO)
TT=1800.09

? (TO)
TT=0.027

? (TO)
TT=1800.03

? (TO)
TT=1800.21

? (TO)
TT=1800.13

?
TT=318.03

? (TO)
TT=1800.07

random/rand-3-28-28/
rand-3-28-28-93-632-36_ext.xml



? (TO)
TT=1800.13

? (TO)
TT=1800.12

? (TO)
TT=1800.15

? (TO)
TT=1800.08

? (TO)
TT=1800.09

? (TO)
TT=1800.01

? (MO)
TT=9.89

? (TO)
TT=1800.05

? (TO)
TT=0.027

? (TO)
TT=1800.06

? (TO)
TT=1800.2

? (TO)
TT=1800.25

?
TT=326.84

? (TO)
TT=1800.07

random/rand-3-28-28/
rand-3-28-28-93-632-37_ext.xml



? (TO)
TT=1800.07

? (TO)
TT=1800.13

? (TO)
TT=1800.12

? (TO)
TT=1800

? (TO)
TT=1800.08

? (TO)
TT=1800.1

? (MO)
TT=10.276

? (TO)
TT=1800.08

? (TO)
TT=1800.09

? (TO)
TT=1800.03

? (TO)
TT=1800.25

? (TO)
TT=1800.17

?
TT=299.16

? (TO)
TT=1800.02

random/rand-3-28-28/
rand-3-28-28-93-632-38_ext.xml



? (TO)
TT=1800.11

? (TO)
TT=1800.12

? (TO)
TT=1800.1

? (TO)
TT=1800.02

? (TO)
TT=1800.08

? (TO)
TT=1800.01

? (MO)
TT=9.824

? (TO)
TT=1800.1

? (TO)
TT=1800.06

? (TO)
TT=1800.04

? (TO)
TT=1800.23

? (TO)
TT=1800.16

?
TT=331.17

? (TO)
TT=1800.03

random/rand-3-28-28/
rand-3-28-28-93-632-39_ext.xml



? (TO)
TT=1800.16

? (TO)
TT=1800.1

? (TO)
TT=1800.15

? (TO)
TT=1800.04

? (TO)
TT=1800.05

? (TO)
TT=1800.01

? (MO)
TT=9.909

? (TO)
TT=1800.05

? (TO)
TT=1800.09

? (TO)
TT=1800.12

? (TO)
TT=1800.13

? (TO)
TT=1800.19

?
TT=351.05

? (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
random/rand-3-28-28/
rand-3-28-28-93-632-3_ext.xml



? (TO)
TT=1800.12

? (TO)
TT=1800.17

? (TO)
TT=1800.11

? (TO)
TT=1800.02

? (TO)
TT=1800.06

? (TO)
TT=1800.03

? (MO)
TT=10.479

? (TO)
TT=1800.03

? (TO)
TT=1800.02

? (TO)
TT=1800.01

? (MO)
TT=1779.39

? (TO)
TT=1800.26

?
TT=320.54

? (TO)
TT=1800.08

random/rand-3-28-28/
rand-3-28-28-93-632-40_ext.xml



? (TO)
TT=1800.16

? (TO)
TT=1800.12

? (TO)
TT=1800.14

? (TO)
TT=1800.02

? (TO)
TT=1800.09

? (TO)
TT=1800.09

? (MO)
TT=10.246

? (TO)
TT=1800.07

? (TO)
TT=1800.1

? (TO)
TT=1800.05

? (TO)
TT=1800.11

? (TO)
TT=1800.16

?
TT=339.18

? (TO)
TT=1800.02

random/rand-3-28-28/
rand-3-28-28-93-632-41_ext.xml



? (TO)
TT=1800.18

? (TO)
TT=1800.09

? (TO)
TT=1800.17

? (TO)
TT=1800.02

? (TO)
TT=1800.02

? (TO)
TT=1800.06

? (MO)
TT=10.589

? (TO)
TT=1800.1

? (TO)
TT=0.028

? (TO)
TT=1800.03

? (TO)
TT=1800.13

? (TO)
TT=1800.16

?
TT=315.77

? (TO)
TT=1800.12

random/rand-3-28-28/
rand-3-28-28-93-632-42_ext.xml



? (TO)
TT=1800.08

? (TO)
TT=1800.07

? (TO)
TT=1800.09

? (TO)
TT=1800.09

? (TO)
TT=1800.06

? (TO)
TT=1800.07

? (MO)
TT=10.549

? (TO)
TT=1800.05

? (TO)
TT=1800.09

? (TO)
TT=1800.11

? (TO)
TT=1800.21

? (TO)
TT=1800.14

?
TT=342.88

? (TO)
TT=1800.04

random/rand-3-28-28/
rand-3-28-28-93-632-43_ext.xml



? (TO)
TT=1800.08

? (TO)
TT=1800.12

? (TO)
TT=1800.13

? (TO)
TT=1800

? (TO)
TT=1800.07

? (TO)
TT=1800.09

? (MO)
TT=9.866

? (TO)
TT=1800.09

? (TO)
TT=1800.02

? (TO)
TT=1800.1

? (TO)
TT=1800.18

? (TO)
TT=1800.49

?
TT=330.1

? (TO)
TT=1800.08

random/rand-3-28-28/
rand-3-28-28-93-632-44_ext.xml



? (TO)
TT=1800.07

? (TO)
TT=1800.11

? (TO)
TT=1800.17

? (TO)
TT=1800.11

? (TO)
TT=1800.02

? (TO)
TT=1800.05

? (MO)
TT=10.483

? (TO)
TT=1800.03

? (TO)
TT=1800.08

? (TO)
TT=1800.03

? (TO)
TT=1800.18

? (TO)
TT=1800.19

?
TT=318.92

? (TO)
TT=1800.03

random/rand-3-28-28/
rand-3-28-28-93-632-45_ext.xml



? (TO)
TT=1800.15

? (TO)
TT=1800.14

? (TO)
TT=1800.1

? (TO)
TT=1800.03

? (TO)
TT=1800.07

? (TO)
TT=1800.09

? (MO)
TT=10.124

? (TO)
TT=1800.07

? (TO)
TT=0.023

? (TO)
TT=1800.11

? (TO)
TT=1800.17

? (TO)
TT=1800.2

?
TT=314.95

? (TO)
TT=1800.09

random/rand-3-28-28/
rand-3-28-28-93-632-46_ext.xml
SAT
TT=81.297

? (TO)
TT=1800.1

? (TO)
TT=1800.06

? (TO)
TT=1800.09

? (TO)
TT=1800.03

? (TO)
TT=1800.09

? (TO)
TT=1800.04

? (MO)
TT=9.892

? (TO)
TT=1800.07

? (TO)
TT=1800.04

SAT
TT=81.297

? (TO)
TT=1800.13

? (TO)
TT=1800.18

?
TT=315.36

? (TO)
TT=1800.05

random/rand-3-28-28/
rand-3-28-28-93-632-47_ext.xml



? (TO)
TT=1800.11

? (TO)
TT=1800.06

? (TO)
TT=1800.15

? (TO)
TT=1800.01

? (TO)
TT=1800.01

? (TO)
TT=1800.07

? (MO)
TT=9.975

? (TO)
TT=1800.01

? (TO)
TT=1800.06

? (TO)
TT=1800.09

? (TO)
TT=1800.13

? (TO)
TT=1800.19

?
TT=350.65

? (TO)
TT=1800.06

random/rand-3-28-28/
rand-3-28-28-93-632-48_ext.xml



? (TO)
TT=1800.13

? (TO)
TT=1800.15

? (TO)
TT=1800.15

? (TO)
TT=1800.04

? (TO)
TT=1800.01

? (TO)
TT=1800.07

? (MO)
TT=10.585

? (TO)
TT=1800.09

? (TO)
TT=0.028

? (TO)
TT=1800.03

? (TO)
TT=1800.19

? (TO)
TT=1800.23

?
TT=295.56

? (TO)
TT=1800.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
random/rand-3-28-28/
rand-3-28-28-93-632-49_ext.xml
SAT
TT=444.223

? (TO)
TT=1800.13

? (TO)
TT=1800.15

? (TO)
TT=1800.18

? (TO)
TT=1800.07

? (TO)
TT=1800.07

? (TO)
TT=1800.08

? (MO)
TT=9.828

? (TO)
TT=1800.08

? (TO)
TT=0.023

SAT
TT=444.223

? (TO)
TT=1800.14

? (TO)
TT=1800.19

?
TT=345.49

? (TO)
TT=1800.09

random/rand-3-28-28/
rand-3-28-28-93-632-4_ext.xml



? (TO)
TT=1800.14

? (TO)
TT=1800.15

? (TO)
TT=1800.16

? (TO)
TT=1800.01

? (TO)
TT=1800.07

? (TO)
TT=1800.03

? (MO)
TT=9.964

? (TO)
TT=1800.1

? (TO)
TT=1800.03

? (TO)
TT=1800.09

? (TO)
TT=1800.17

? (TO)
TT=1800.16

?
TT=307.88

? (TO)
TT=1800.08

random/rand-3-28-28/
rand-3-28-28-93-632-50_ext.xml



? (TO)
TT=1800.14

? (TO)
TT=1800.17

? (TO)
TT=1800.15

? (TO)
TT=1800.04

? (TO)
TT=1800.1

? (TO)
TT=1800.07

? (MO)
TT=9.83

? (TO)
TT=1800.08

? (TO)
TT=1800.08

? (TO)
TT=1800.02

? (TO)
TT=1800.21

? (TO)
TT=1800.27

?
TT=314.78

? (TO)
TT=1800.11

random/rand-3-28-28/
rand-3-28-28-93-632-5_ext.xml



? (TO)
TT=1800.07

? (TO)
TT=1800.11

? (TO)
TT=1800.18

? (TO)
TT=1800.03

? (TO)
TT=1800.07

? (TO)
TT=1800.06

? (MO)
TT=9.951

? (TO)
TT=1800.1

? (TO)
TT=1800

? (TO)
TT=1800.01

? (TO)
TT=1800.22

? (TO)
TT=1800.14

?
TT=326.86

? (TO)
TT=1800.06

random/rand-3-28-28/
rand-3-28-28-93-632-6_ext.xml



? (TO)
TT=1800.1

? (TO)
TT=1800.14

? (TO)
TT=1800.11

? (TO)
TT=1800.01

? (TO)
TT=1800

? (TO)
TT=1800.03

? (MO)
TT=10.563

? (TO)
TT=1800

? (TO)
TT=0.029

? (TO)
TT=1800.11

? (TO)
TT=1800.17

? (MO)
TT=1763.03

?
TT=330.12

? (TO)
TT=1800.1

random/rand-3-28-28/
rand-3-28-28-93-632-7_ext.xml



? (TO)
TT=1800.14

? (TO)
TT=1800.17

? (TO)
TT=1800.14

? (TO)
TT=1800

? (TO)
TT=1800.05

? (TO)
TT=1800.01

? (MO)
TT=9.94

? (TO)
TT=1800.07

? (TO)
TT=1800.07

? (TO)
TT=1800.12

? (TO)
TT=1800.18

? (TO)
TT=1800.15

?
TT=330.44

? (TO)
TT=1800.06

random/rand-3-28-28/
rand-3-28-28-93-632-8_ext.xml



? (TO)
TT=1800.12

? (TO)
TT=1800.18

? (TO)
TT=1800.13

? (TO)
TT=1800.03

? (TO)
TT=1800.02

? (TO)
TT=1800.01

? (MO)
TT=9.94

? (TO)
TT=1800.09

? (TO)
TT=1800.06

? (TO)
TT=1800.08

? (TO)
TT=1800.17

? (TO)
TT=1800.2

?
TT=335.31

? (TO)
TT=1800.02

random/rand-3-28-28/
rand-3-28-28-93-632-9_ext.xml



? (TO)
TT=1800.1

? (TO)
TT=1800.14

? (TO)
TT=1800.18

? (TO)
TT=1800.06

? (TO)
TT=1800.01

? (TO)
TT=1800.02

? (MO)
TT=9.855

? (TO)
TT=1800.08

? (TO)
TT=1800.1

? (TO)
TT=1800.1

? (TO)
TT=1800.14

? (TO)
TT=1800.17

?
TT=321.6

? (TO)
TT=1800.09

random/rand-8-20-5/
rand-8-20-5-18-800-11_ext.xml
SAT
TT=12.968

SAT
TT=108.028

CHECKS=33909885
NODES=102827
SAT
TT=110.517

CHECKS=33925931
NODES=102699
? (conv)
TT=0.019

SAT
TT=27.337

NODES=32254
SAT
TT=12.968

NODES=2137
SAT
TT=18.142

CHECKS=0
NODES=10614
? (MO)
TT=17.08

? (TO)
TT=1800.02

? (problem)
TT=257.148

? (exit code)
TT=0.379

? (MO)
TT=28.432

? (MO)
TT=36.232

?
TT=324

? (exit code)
TT=0.395

random/rand-8-20-5/
rand-8-20-5-18-800-13_ext.xml
SAT
TT=54.623

SAT
TT=106.134

CHECKS=30738466
NODES=109945
SAT
TT=54.623

CHECKS=14878510
NODES=53718
? (conv)
TT=0.019

SAT
TT=1318.2

NODES=2873483
SAT
TT=1379.21

NODES=3012112
SAT
TT=687.096

CHECKS=0
NODES=1447527
? (MO)
TT=16.999

? (TO)
TT=1800.03

? (problem)
TT=228.562

? (exit code)
TT=0.398

? (MO)
TT=27.83

? (MO)
TT=28.53

?
TT=315.73

? (exit code)
TT=0.395

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
random/rand-8-20-5/
rand-8-20-5-18-800-15_ext.xml
SAT
TT=23.176

SAT
TT=26.077

CHECKS=4278991
NODES=14283
SAT
TT=23.176

CHECKS=4420083
NODES=14930
? (conv)
TT=0.019

SAT
TT=673.636

NODES=1461596
SAT
TT=153.624

NODES=273132
SAT
TT=213.812

CHECKS=0
NODES=398038
? (MO)
TT=17.238

? (TO)
TT=1800.09

? (MO)
TT=0.028

? (exit code)
TT=0.401

? (MO)
TT=28.449

? (MO)
TT=27.815

?
TT=334.85

? (exit code)
TT=0.402

random/rand-8-20-5/
rand-8-20-5-18-800-17_ext.xml
SAT
TT=17.162

SAT
TT=17.162

CHECKS=2371549
NODES=6383
SAT
TT=17.977

CHECKS=2299831
NODES=6069
? (conv)
TT=0.019

SAT
TT=302.083

NODES=591818
SAT
TT=302.667

NODES=595913
SAT
TT=98.958

CHECKS=0
NODES=165536
? (MO)
TT=16.842

? (TO)
TT=1800.08

? (problem)
TT=269.443

? (exit code)
TT=0.373

? (MO)
TT=34.185

?
TT=69.414

?
TT=311.73

? (exit code)
TT=0.392

random/rand-8-20-5/
rand-8-20-5-18-800-19_ext.xml
SAT
TT=110.339

SAT
TT=110.339

CHECKS=35614502
NODES=87468
SAT
TT=117.083

CHECKS=36213711
NODES=88327
? (conv)
TT=0.019

SAT
TT=1007.71

NODES=2162906
SAT
TT=372.169

NODES=722768
SAT
TT=453.198

CHECKS=0
NODES=906457
? (MO)
TT=17.923

? (TO)
TT=1800.02

? (problem)
TT=255.126

? (exit code)
TT=0.405

? (MO)
TT=29.698

? (MO)
TT=34.151

?
TT=300.01

? (exit code)
TT=0.393

random/rand-8-20-5/
rand-8-20-5-18-800-1_ext.xml
SAT
TT=155.889

SAT
TT=283.768

CHECKS=93368732
NODES=217455
SAT
TT=301.116

CHECKS=93142565
NODES=217469
? (conv)
TT=0.018

SAT
TT=762.852

NODES=1572730
SAT
TT=351.925

NODES=603553
SAT
TT=155.889

CHECKS=0
NODES=287249
? (MO)
TT=17.254

? (TO)
TT=1800.02

? (problem)
TT=206.774

? (exit code)
TT=0.396

? (MO)
TT=28.191

? (MO)
TT=26.794

?
TT=303.16

? (exit code)
TT=0.407

random/rand-8-20-5/
rand-8-20-5-18-800-3_ext.xml
SAT
TT=34.515

SAT
TT=118.565

CHECKS=39782224
NODES=80842
SAT
TT=114.395

CHECKS=39222653
NODES=79898
? (conv)
TT=0.018

SAT
TT=428.955

NODES=848577
SAT
TT=34.575

NODES=36530
SAT
TT=34.515

CHECKS=0
NODES=38357
? (MO)
TT=17.343

? (TO)
TT=1800.08

? (problem)
TT=257.122

? (exit code)
TT=0.382

? (MO)
TT=27.917

? (MO)
TT=28.491

?
TT=318.14

? (exit code)
TT=0.408

random/rand-8-20-5/
rand-8-20-5-18-800-5_ext.xml
SAT
TT=33.758

SAT
TT=254.706

CHECKS=93968747
NODES=290693
SAT
TT=238.94

CHECKS=93500931
NODES=289176
? (conv)
TT=0.019

SAT
TT=299.932

NODES=595245
SAT
TT=33.758

NODES=54271
SAT
TT=125.665

CHECKS=0
NODES=243256
? (MO)
TT=17.451

? (TO)
TT=1800.02

? (MO)
TT=0.028

? (exit code)
TT=0.398

? (MO)
TT=26.882

? (MO)
TT=26.993

?
TT=307.57

? (exit code)
TT=0.365

random/rand-8-20-5/
rand-8-20-5-18-800-7_ext.xml
SAT
TT=20.257

SAT
TT=23.538

CHECKS=3579304
NODES=12762
SAT
TT=22.624

CHECKS=3567367
NODES=12733
? (conv)
TT=0.018

SAT
TT=20.257

NODES=18439
SAT
TT=24.542

NODES=23330
SAT
TT=22.748

CHECKS=0
NODES=23787
? (MO)
TT=17.234

SAT
TT=1040.11

? (problem)
TT=259.25

? (exit code)
TT=0.401

?
TT=88.368

?
TT=82.101

?
TT=319.38

? (exit code)
TT=0.409

random/rand-8-20-5/
rand-8-20-5-18-800-9_ext.xml
SAT
TT=62.181

SAT
TT=130.96

CHECKS=42915145
NODES=88293
SAT
TT=120.175

CHECKS=42644180
NODES=87437
? (conv)
TT=0.018

SAT
TT=204.182

NODES=429089
SAT
TT=62.181

NODES=84954
SAT
TT=62.64

CHECKS=0
NODES=84421
? (MO)
TT=18.997

? (TO)
TT=1800.03

? (MO)
TT=0.029

? (exit code)
TT=0.403

? (MO)
TT=34.218

? (MO)
TT=34.266

?
TT=320.18

? (exit code)
TT=0.377

renault/
renault-mgd_ext.xml
SAT
TT=1.199

SAT
TT=1.826

CHECKS=19147
NODES=101
SAT
TT=1.726

CHECKS=5930
NODES=101
? (problem)
TT=382.957

SAT
TT=54.352

NODES=108
SAT
TT=20.811

NODES=101
SAT
TT=19.705

CHECKS=21053
NODES=101
SAT
TT=4.568

SAT
TT=11.142

SAT
TT=9.287

SAT
TT=1.199

? (MO)
TT=25.35

? (MO)
TT=24.465

? (TO)
TT=1800.99

SAT
TT=1.21

travellingSalesman/
travellingSalesman-20/
tsp-20-142_ext.xml
SAT
TT=29.671

SAT
TT=42.598

CHECKS=77296168
NODES=34647
SAT
TT=29.671

CHECKS=52215791
NODES=25997
? (TO)
TT=1800.07

?
TT=35.301

?
TT=34.73

?
TT=40.19

? (MO)
TT=593.134

? (TO)
TT=1800.09

? (problem)
TT=101.032

SAT
TT=77.527

? (MO)
TT=215.226

? (MO)
TT=233.587

?
TT=19.97

SAT
TT=31.307

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
travellingSalesman/
travellingSalesman-20/
tsp-20-190_ext.xml
SAT
TT=4.795

SAT
TT=5.832

CHECKS=8032926
NODES=8411
SAT
TT=4.795

CHECKS=5659192
NODES=6856
? (TO)
TT=1800.07

SAT
TT=143.512

NODES=3140
SAT
TT=149.232

NODES=9439
?
TT=44.57

? (TO)
TT=1800.14

SAT
TT=921.032

? (problem)
TT=111.985

SAT
TT=19.221

? (MO)
TT=181.293

? (MO)
TT=190.859

?
TT=14.25

SAT
TT=24.048

travellingSalesman/
travellingSalesman-20/
tsp-20-193_ext.xml
SAT
TT=4.248

SAT
TT=16.365

CHECKS=27383402
NODES=9809
SAT
TT=4.248

CHECKS=5457990
NODES=1498
? (TO)
TT=1800.03

?
TT=33.307

?
TT=33.542

?
TT=33.453

? (MO)
TT=13.736

? (TO)
TT=1800.08

? (problem)
TT=100.28

SAT
TT=64.762

? (MO)
TT=175.238

? (MO)
TT=229.292

?
TT=27.25

SAT
TT=90.452

travellingSalesman/
travellingSalesman-20/
tsp-20-1_ext.xml
SAT
TT=1.312

SAT
TT=1.728

CHECKS=1511349
NODES=334
SAT
TT=1.312

CHECKS=569013
NODES=358
? (TO)
TT=1800.05

?
TT=45.942

?
TT=53.078

?
TT=44.81

? (TO)
TT=1800.16

SAT
TT=665.841

? (problem)
TT=106.247

SAT
TT=13.821

? (MO)
TT=182.602

? (MO)
TT=246.618

?
TT=16.44

SAT
TT=15.632

travellingSalesman/
travellingSalesman-20/
tsp-20-29_ext.xml
SAT
TT=0.946

SAT
TT=1.585

CHECKS=1081125
NODES=77
SAT
TT=0.946

CHECKS=118352
NODES=102
? (TO)
TT=1800.05

SAT
TT=91.032

NODES=81
SAT
TT=86.622

NODES=67
SAT
TT=86.418

CHECKS=48290
NODES=68
? (TO)
TT=1800.13

SAT
TT=405.161

? (problem)
TT=111.584

SAT
TT=12.658

? (MO)
TT=221.083

? (MO)
TT=181.395

?
TT=10.1

SAT
TT=12.585

travellingSalesman/
travellingSalesman-20/
tsp-20-2_ext.xml
SAT
TT=3.566

SAT
TT=3.566

CHECKS=3973614
NODES=2759
SAT
TT=7.219

CHECKS=10544129
NODES=8292
? (TO)
TT=1800.07

?
TT=33.741

?
TT=33.546

?
TT=41.952

? (MO)
TT=707.972

SAT
TT=954.91

? (problem)
TT=104.135

SAT
TT=23.483

? (MO)
TT=239.508

? (MO)
TT=171.358

?
TT=18.72

SAT
TT=30.861

travellingSalesman/
travellingSalesman-20/
tsp-20-30_ext.xml
SAT
TT=1.079

SAT
TT=1.906

CHECKS=1797844
NODES=118
SAT
TT=1.079

CHECKS=268735
NODES=150
? (TO)
TT=1800.05

SAT
TT=111.665

NODES=195
SAT
TT=111.213

NODES=148
SAT
TT=105.853

CHECKS=96323
NODES=134
? (TO)
TT=1800.12

SAT
TT=598.19

? (problem)
TT=98.614

SAT
TT=15.313

? (MO)
TT=199.224

? (MO)
TT=236.924

?
TT=12.23

SAT
TT=14.056

travellingSalesman/
travellingSalesman-20/
tsp-20-366_ext.xml
SAT
TT=1.57

SAT
TT=2.394

CHECKS=2734190
NODES=835
SAT
TT=1.57

CHECKS=912402
NODES=612
? (TO)
TT=1800.02

?
TT=34.063

?
TT=35.878

?
TT=37.391

? (MO)
TT=1076.57

? (TO)
TT=1800.04

? (problem)
TT=82.891

SAT
TT=28.204

? (MO)
TT=162.925

? (MO)
TT=169.628

?
TT=19.57

SAT
TT=24.758

travellingSalesman/
travellingSalesman-20/
tsp-20-453_ext.xml
SAT
TT=24.312

SAT
TT=41.817

CHECKS=65348880
NODES=45778
SAT
TT=24.312

CHECKS=40149486
NODES=29052
? (TO)
TT=1800.11

?
TT=31.939

?
TT=39.679

?
TT=39.131

? (MO)
TT=584.555

? (TO)
TT=1800.01

? (problem)
TT=98.03

SAT
TT=73.297

? (MO)
TT=202.934

? (MO)
TT=194.705

?
TT=19.53

SAT
TT=95.617

travellingSalesman/
travellingSalesman-20/
tsp-20-68_ext.xml
SAT
TT=0.858

SAT
TT=0.877

CHECKS=44035
NODES=0
SAT
TT=0.858

CHECKS=47559
NODES=63
SAT
TT=46.262

SAT
TT=54.254

NODES=69
SAT
TT=56.204

NODES=63
SAT
TT=55.425

CHECKS=16839
NODES=63
SAT
TT=305.877

SAT
TT=249.581

SAT
TT=135.092

SAT
TT=6.674

? (MO)
TT=450.347

? (MO)
TT=448.284

? (TO)
TT=1800.39

SAT
TT=6.729

travellingSalesman/
travellingSalesman-20/
tsp-20-727_ext.xml
SAT
TT=1.778

SAT
TT=1.778

CHECKS=1413013
NODES=637
SAT
TT=2.746

CHECKS=2999289
NODES=1760
? (TO)
TT=1800.05

?
TT=32.992

?
TT=31.692

?
TT=38.103

? (MO)
TT=14.02

SAT
TT=635.91

? (problem)
TT=117.591

SAT
TT=33.412

? (MO)
TT=196.999

? (MO)
TT=177.672

?
TT=27.45

SAT
TT=37.823

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
travellingSalesman/
travellingSalesman-20/
tsp-20-75_ext.xml
SAT
TT=25.938

SAT
TT=25.938

CHECKS=46112722
NODES=18661
SAT
TT=31.267

CHECKS=53930185
NODES=23808
? (TO)
TT=1800.03

?
TT=32.905

?
TT=35.888

?
TT=40.322

? (MO)
TT=685.298

? (TO)
TT=1800.01

? (problem)
TT=98.166

SAT
TT=30.412

? (MO)
TT=290.695

? (MO)
TT=193.381

?
TT=19.75

SAT
TT=52.437

travellingSalesman/
travellingSalesman-20/
tsp-20-76_ext.xml
SAT
TT=6.608

SAT
TT=6.608

CHECKS=8944371
NODES=6783
SAT
TT=9.712

CHECKS=13928994
NODES=12028
? (TO)
TT=1800.12

?
TT=33.48

?
TT=39.158

?
TT=36.647

? (MO)
TT=12.599

? (TO)
TT=1800.03

? (problem)
TT=99.848

SAT
TT=23.028

? (MO)
TT=168.456

? (MO)
TT=216.889

?
TT=19.87

SAT
TT=47.899

travellingSalesman/
travellingSalesman-20/
tsp-20-8_ext.xml
SAT
TT=1.006

SAT
TT=1.213

CHECKS=639941
NODES=190
SAT
TT=1.006

CHECKS=149977
NODES=120
SAT
TT=1643.8

SAT
TT=77.064

NODES=80
SAT
TT=81.972

NODES=112
SAT
TT=76.831

CHECKS=64682
NODES=104
? (TO)
TT=1800.1

SAT
TT=324.125

? (problem)
TT=105.345

SAT
TT=13.284

? (MO)
TT=205.706

? (MO)
TT=193.122

?
TT=8.81

SAT
TT=13.675

travellingSalesman/
travellingSalesman-20/
tsp-20-901_ext.xml
SAT
TT=16.903

SAT
TT=16.903

CHECKS=26027182
NODES=15054
SAT
TT=18.444

CHECKS=29544604
NODES=17602
? (TO)
TT=1800.1

?
TT=38.35

?
TT=40.846

?
TT=49.644

? (MO)
TT=12.261

? (TO)
TT=1800.02

? (problem)
TT=104.27

SAT
TT=50.75

? (MO)
TT=276.917

? (MO)
TT=226.22

?
TT=24.31

SAT
TT=36.565

travellingSalesman/
travellingSalesman-25/
tsp-25-13_ext.xml
SAT
TT=2.513

SAT
TT=2.878

CHECKS=3142874
NODES=1270
SAT
TT=2.513

CHECKS=2752350
NODES=1615
? (TO)
TT=1800.03

SAT
TT=148.061

NODES=763
SAT
TT=120.31

NODES=590
SAT
TT=115.86

CHECKS=139265
NODES=753
? (TO)
TT=1800.16

SAT
TT=869.971

? (problem)
TT=81.354

SAT
TT=17.95

? (MO)
TT=164.468

? (MO)
TT=140.075

?
TT=13.75

SAT
TT=21.551

travellingSalesman/
travellingSalesman-25/
tsp-25-163_ext.xml
SAT
TT=18.464

SAT
TT=22.834

CHECKS=34990930
NODES=15511
SAT
TT=18.464

CHECKS=28772400
NODES=14578
? (TO)
TT=1800.09

?
TT=30.598

?
TT=32.96

?
TT=38.933

? (MO)
TT=14.279

? (TO)
TT=1800.05

? (problem)
TT=100.699

SAT
TT=146.61

? (MO)
TT=238.926

? (MO)
TT=192.365

?
TT=37.54

SAT
TT=478.525

travellingSalesman/
travellingSalesman-25/
tsp-25-190_ext.xml
SAT
TT=65.121

SAT
TT=65.121

CHECKS=108054720
NODES=64740
SAT
TT=147.691

CHECKS=244802389
NODES=152317
? (TO)
TT=1800.1

?
TT=36.793

?
TT=38.598

?
TT=38.302

? (MO)
TT=14.252

? (TO)
TT=1800.05

? (problem)
TT=108.56

SAT
TT=204.239

? (MO)
TT=140.446

? (MO)
TT=140.535

?
TT=23.06

SAT
TT=329.341

travellingSalesman/
travellingSalesman-25/
tsp-25-312_ext.xml
SAT
TT=55.676

SAT
TT=55.676

CHECKS=90564399
NODES=52043
SAT
TT=198.213

CHECKS=349237626
NODES=214803
? (TO)
TT=1800.04

?
TT=33.142

?
TT=34.274

?
TT=46.757

? (MO)
TT=12.89

? (TO)
TT=1800

? (problem)
TT=98.458

SAT
TT=63.651

? (MO)
TT=151.896

? (MO)
TT=160.154

?
TT=28.01

SAT
TT=155.684

travellingSalesman/
travellingSalesman-25/
tsp-25-38_ext.xml
SAT
TT=2.577

SAT
TT=6.313

CHECKS=9054075
NODES=3219
SAT
TT=2.577

CHECKS=2615130
NODES=1288
? (TO)
TT=1800.04

?
TT=33.596

?
TT=37.915

?
TT=46.81

? (TO)
TT=1800.16

SAT
TT=773.637

? (problem)
TT=101.789

SAT
TT=21.456

? (MO)
TT=164.496

? (MO)
TT=171.36

?
TT=15.9

SAT
TT=22.625

travellingSalesman/
travellingSalesman-25/
tsp-25-3_ext.xml
SAT
TT=5.438

SAT
TT=8.764

CHECKS=13628740
NODES=6579
SAT
TT=5.438

CHECKS=7469759
NODES=3890
? (TO)
TT=1800.04

?
TT=37.964

?
TT=37.577

?
TT=46.557

? (TO)
TT=1800.18

SAT
TT=1072.38

? (problem)
TT=106.206

SAT
TT=22.495

? (MO)
TT=148.571

? (MO)
TT=135.929

?
TT=16.59

SAT
TT=19.907

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
travellingSalesman/
travellingSalesman-25/
tsp-25-456_ext.xml
SAT
TT=172.385

SAT
TT=410.67

CHECKS=655413427
NODES=410201
SAT
TT=172.385

CHECKS=276606578
NODES=177045
? (TO)
TT=1800.08

?
TT=34.776

?
TT=34.982

?
TT=39.776

? (MO)
TT=13.261

SAT
TT=1369.92

? (problem)
TT=127.218

SAT
TT=274.097

? (MO)
TT=225.21

? (MO)
TT=168.707

?
TT=28.49

SAT
TT=748.222

travellingSalesman/
travellingSalesman-25/
tsp-25-48_ext.xml
SAT
TT=65.6

SAT
TT=234.533

CHECKS=407968421
NODES=247452
SAT
TT=104.792

CHECKS=167984767
NODES=99788
? (TO)
TT=1800.05

?
TT=44.506

?
TT=34.47

?
T41.214

?
TT=34.47
?
6&idjob=206868">SAT
TT=56.204

NODES=63
travellingSalesman/
trav3lingSalesman-26ore57
? (TO)
TT=1800.05

? (TO)
TT=1800.04

3AT
TT=147.6916tsp-25-13_ext.xml
SAT
TT=2.513

SAT
TT=2.878

CHECKS=3142874
NODES=1270
15/<32>
43)
TT=1800.09<32>
?
T41.214

? (MO)
TT=12.599

? (problem)
TT=100.699

? (MO)
TT=192.365

SAT
TT=30.412

841td>
travellingSalesman/
traveNODES=112
2ss="ult">
?
T41.214

? (MO)
TT=140.535

SAT
TT=329.341

travellingSalesman/
trav/td>
tsp-25-3_ext.xml SAT
TT=5.438

SAT
TT=1.778

CHECKS=1413013
NODES=6342>
?
TT=23.06

? (TO)
TT=1800.18

travellingSalesman/
travbr>TT=2.746
<661esult">
SAT
TT=22.495

19d>
Bench nameBest results
on this
instance
?
TT=23.06

?
TT=36.647

? (MO)
TT=685.298

SAT
TT=2.513

SAT
TT=2.878

CHECKS=3142874
NODES=1270
19lass="odd" wi300 >
travellingSalesman/
trave90ngSalesman-20/
NODES=423sult">
? (TO)91v=6&idsolver=745.464

CHECK1>TT=th=100 class="732esult">
?
TT=36.793

?
TT=32.96

? (TO)
TT=1800.16

?
TT=35.888

?
6&idjob=206868">SAT
TT=56.204

NODES=63
? (MO)
TT=225.21

?
TT=35.888

?
TT=13.75

? (MO)
TT=164.468

SAT
TT=65.6

SAT
TT=6.608

CHECKS=8944371
NODES=as03343
S95">SAT
TT=2.0

CHECKS=161=6009=100 class="g84>
?9llingSalesman-result"> SAT
TT=120.31
<89lingSalesman-oodrsult">
?9 (TO)
TT=190resODES=104
? (TO)<9ODES=112
8resusult">
?
TT=37.964

Bench nameBest results
on this
instance
SAT
TT=19.907

SAT
TT=2.513

SAT
TT=2.878

CHECKS=3142874
NODES=1270
111="segfault">? (problem)
TT=127.218

<03)
TT=1800. clasult">S0ev=6&idsolver=11="segfault"S=295441835071idth=100 class2094result">?
TT=33.142

? (MO)
TT=192.365

? (TO)
TT=1800.04

? (TO)
TT=1800.16

? (TO)
TT=1800.05

?
6&idjob=206868">SAT
TT=56.204

NODES=63
? (problem)
TT=127.218

<10 width=100 cla0.9lsult">SAT
TT=748.222

?
TT=16.59

? (MO)
TT=238.926

<11
TT=18.44426.419>tsp-25-48_ext.xml
SAT
TT=65.6

SAT
TT=6.608

CHECKS=8944371
NODES=a05.171>
3td width=100 cl5.171> ?
TT=37.964

?
TT=37.964

? (MO)
TT=216.889

SAT
TT=22.495

32td>
SAT
TT=748.222

? (problem)
TT=106.206

tsp-25-13_ext.xml SAT
TT=2.513

SAT
TT=2.878

CHECKS=3142874
NODES=1270
ore801>
? (TO)7ev=6&idsolver=re801>
CHE756549606578
NO88odresult">SAT
TT=869.971

? (MO)
TT=14.279

?
TT=38.933

?
6&idjob=206868">SAT
TT=56.204

NODES=63
?
TT=28.49

?
TT=28.49

? (MO)
TT=164.468

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
travellingSalesman/
travellingSalesman-25/
tsp-25-456_ext.xml
S>Number of times the s/
is awid to give the nore known answer109 E276109 E277109 E150109 E2oSAT9 E234AT9 E23SAT9 E176109 E1="nT9 E175AT9 E26SAT9 E187AT9 E187AT9 E161AT9 E260109 ES>Number of times the s/
is the nore s/
from a point of view (i.e. nore known answer and nore TT time)AT9 E23AT9 E38AT9 E12AT9 E6AT9 E6AT9 E15AT9 E120109 E2109 E2109 E64AT9 E1AT9 E1AT9 E1AT9 E28AT9 E>