allIntervalSeries/ series-100.xml |
SAT
TT=34.864
|
SAT TT=233.382
CHECKS=686307605
NODES=0
|
? (TO) TT=1800.09
|
SAT TT=34.864
|
? (TO) TT=1800.09
|
? (TO) TT=1800.07
|
? (TO) TT=1800.1
|
? (TO) TT=1800.04
|
? (TO) TT=1800.01
|
? (MO) TT=0.047
|
? (TO) TT=1800.02
|
? TT=164.196
|
? (MO) TT=134.189
|
? (TO) TT=1800.15
|
? (TO) TT=1800.08
|
allIntervalSeries/ series-10.xml |
SAT
TT=0.021
|
SAT TT=0.72
CHECKS=7886
NODES=0
|
SAT TT=1.106
CHECKS=376756
NODES=1692
|
SAT TT=0.021
|
SAT TT=0.584
NODES=28
|
SAT TT=0.637
NODES=126
|
SAT TT=0.653
CHECKS=20197
NODES=81
|
SAT TT=0.307
|
SAT TT=1.494
|
SAT TT=1.546
|
SAT TT=0.039
|
? (MO) TT=2.204
|
SAT TT=1.824
|
SAT TT=0.687
|
SAT TT=0.029
|
allIntervalSeries/ series-11.xml |
SAT
TT=0.021
|
SAT TT=0.758
CHECKS=12220
NODES=0
|
SAT TT=1.611
CHECKS=1299924
NODES=4368
|
SAT TT=0.021
|
SAT TT=0.725
NODES=108
|
SAT TT=0.748
NODES=213
|
SAT TT=0.668
CHECKS=29052
NODES=86
|
SAT TT=1.066
|
SAT TT=1.623
|
SAT TT=1.976
|
SAT TT=0.149
|
SAT TT=2.195
|
SAT TT=2.322
|
SAT TT=0.851
|
SAT TT=0.028
|
allIntervalSeries/ series-12.xml |
SAT
TT=0.021
|
SAT TT=0.727
CHECKS=18841
NODES=0
|
SAT TT=3.362
CHECKS=4540469
NODES=12643
|
SAT TT=0.021
|
SAT TT=2.683
NODES=4936
|
SAT TT=1.233
NODES=1845
|
SAT TT=1.425
CHECKS=244212
NODES=2965
|
SAT TT=0.562
|
SAT TT=3.609
|
SAT TT=3.969
|
SAT TT=0.606
|
SAT TT=2.268
|
SAT TT=2.285
|
SAT TT=0.217
|
SAT TT=0.105
|
allIntervalSeries/ series-13.xml |
SAT
TT=0.023
|
SAT TT=0.805
CHECKS=27423
NODES=0
|
SAT TT=1.904
CHECKS=2094430
NODES=5353
|
SAT TT=0.023
|
SAT TT=15.021
NODES=30908
|
SAT TT=1.341
NODES=1351
|
SAT TT=2.394
CHECKS=564198
NODES=6380
|
SAT TT=6.688
|
SAT TT=2.876
|
SAT TT=8.44
|
SAT TT=3.231
|
SAT TT=7.976
|
SAT TT=7.89
|
SAT TT=10.442
|
SAT TT=0.437
|
allIntervalSeries/ series-14.xml |
SAT
TT=0.025
|
SAT TT=0.794
CHECKS=39745
NODES=0
|
SAT TT=20.804
CHECKS=40507759
NODES=99866
|
SAT TT=0.025
|
SAT TT=6.295
NODES=10529
|
SAT TT=81.463
NODES=237619
|
SAT TT=107.153
CHECKS=44135278
NODES=417097
|
SAT TT=5.205
|
SAT TT=20.959
|
SAT TT=3.116
|
SAT TT=32.643
|
SAT TT=17.622
|
SAT TT=15.381
|
SAT TT=1.46
|
SAT TT=0.049
|
allIntervalSeries/ series-15.xml |
SAT
TT=0.023
|
SAT TT=0.782
CHECKS=55042
NODES=0
|
SAT TT=309.53
CHECKS=637816850
NODES=1264587
|
SAT TT=0.023
|
SAT TT=48.645
NODES=81187
|
SAT TT=6.86
NODES=17639
|
SAT TT=272.771
CHECKS=115403779
NODES=956902
|
SAT TT=265.495
|
SAT TT=59.742
|
SAT TT=190.023
|
SAT TT=142.22
|
SAT TT=24.885
|
? (MO) TT=2.83
|
SAT TT=9.307
|
SAT TT=0.151
|
allIntervalSeries/ series-16.xml |
SAT
TT=0.025
|
SAT TT=0.809
CHECKS=76185
NODES=0
|
SAT TT=83.5
CHECKS=173077991
NODES=352244
|
SAT TT=0.025
|
SAT TT=50.513
NODES=79151
|
SAT TT=3.885
NODES=7932
|
SAT TT=9.066
CHECKS=3166341
NODES=27166
|
SAT TT=442.797
|
SAT TT=524.994
|
SAT TT=216.655
|
SAT TT=895.774
|
SAT TT=103.605
|
SAT TT=98.873
|
SAT TT=1439.84
|
SAT TT=15.234
|
allIntervalSeries/ series-18.xml |
SAT
TT=0.028
|
SAT TT=0.835
CHECKS=135520
NODES=0
|
? (TO) TT=1800.16
|
SAT TT=0.028
|
? (TO) TT=1800.01
|
? (TO) TT=1800.02
|
SAT TT=93
CHECKS=35681871
NODES=243610
|
? (TO) TT=1800.09
|
SAT TT=803.619
|
SAT TT=636.482
|
? (TO) TT=1800.05
|
? (TO) TT=1800.41
|
? (MO) TT=3.542
|
SAT TT=14.59
|
SAT TT=1565.09
|
allIntervalSeries/ series-20.xml |
SAT
TT=0.031
|
SAT TT=0.927
CHECKS=227553
NODES=0
|
? (TO) TT=1800.08
|
SAT TT=0.031
|
? (TO) TT=1800.05
|
? (TO) TT=1800.06
|
? (TO) TT=1800.11
|
? (TO) TT=1800.11
|
? (TO) TT=1800.05
|
? (TO) TT=1800.05
|
? (TO) TT=1800.03
|
? (TO) TT=1800.21
|
? (TO) TT=1800.19
|
SAT TT=650.79
|
SAT TT=207.504
|
Bench name | Best 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 |
---|
allIntervalSeries/ series-25.xml |
SAT
TT=0.037
|
SAT TT=1.119
CHECKS=681981
NODES=0
|
? (TO) TT=1800.08
|
SAT TT=0.037
|
? (TO) TT=1800.07
|
? (TO) TT=1800.04
|
? (TO) TT=1800.05
|
? (TO) TT=1800.09
|
? (TO) TT=1800.09
|
? (TO) TT=1800.06
|
? (TO) TT=1800.08
|
? (TO) TT=1800.16
|
? (TO) TT=1800.21
|
? (TO) TT=1800.1
|
? (TO) TT=1800.02
|
allIntervalSeries/ series-30.xml |
SAT
TT=0.051
|
SAT TT=1.6
CHECKS=1690330
NODES=0
|
? (TO) TT=1800.15
|
SAT TT=0.051
|
? (TO) TT=1800.01
|
? (TO) TT=1800.11
|
? (TO) TT=1800.04
|
? (TO) TT=1800.08
|
? (TO) TT=1800.02
|
? (TO) TT=1800.05
|
? (TO) TT=1800.1
|
? (TO) TT=1800.24
|
? (TO) TT=1800.2
|
? (TO) TT=1800.01
|
? (TO) TT=1800.07
|
allIntervalSeries/ series-35.xml |
SAT
TT=0.07
|
SAT TT=2.324
CHECKS=3629388
NODES=0
|
? (TO) TT=1800.14
|
SAT TT=0.07
|
? (TO) TT=1800.04
|
? (TO) TT=1800
|
? (TO) TT=1800.07
|
? (TO) TT=1800.05
|
? (TO) TT=1800.09
|
? (TO) TT=1800.03
|
? (TO) TT=1800.03
|
? (MO) TT=1104.97
|
? (MO) TT=1658.63
|
? (TO) TT=1800.1
|
? (TO) TT=1800.09
|
allIntervalSeries/ series-40.xml |
SAT
TT=0.104
|
SAT TT=3.383
CHECKS=7070736
NODES=0
|
? (TO) TT=1800.05
|
SAT TT=0.104
|
? (TO) TT=1800.09
|
? (TO) TT=1800.04
|
? (TO) TT=1800.08
|
? (TO) TT=1800.04
|
? (TO) TT=1800.08
|
? (TO) TT=1800.07
|
? (TO) TT=1800.01
|
? (MO) TT=836.045
|
? (MO) TT=6.466
|
? (TO) TT=1800.12
|
? (TO) TT=1800.06
|
allIntervalSeries/ series-45.xml |
SAT
TT=0.155
|
SAT TT=5.341
CHECKS=12700600
NODES=0
|
? (TO) TT=1800.03
|
SAT TT=0.155
|
? (TO) TT=1800.03
|
? (TO) TT=1800.05
|
? (TO) TT=1800.1
|
? (TO) TT=1800.03
|
? (TO) TT=1800.06
|
? (TO) TT=1800.02
|
? (TO) TT=1800.11
|
? (MO) TT=604.854
|
? (MO) TT=253.464
|
? (TO) TT=1800.14
|
? (TO) TT=1800.02
|
allIntervalSeries/ series-50.xml |
SAT
TT=0.243
|
SAT TT=7.934
CHECKS=21514343
NODES=0
|
? (TO) TT=1800.07
|
SAT TT=0.243
|
? (TO) TT=1800.06
|
? (TO) TT=1800.08
|
? (TO) TT=1800.08
|
? (TO) TT=1800.02
|
? (TO) TT=1800.06
|
? (TO) TT=1800.08
|
? (TO) TT=1800.06
|
? (MO) TT=270.743
|
? (MO) TT=36.009
|
? (TO) TT=1800.07
|
? (TO) TT=1800.08
|
allIntervalSeries/ series-5.xml |
SAT
TT=0.012
|
SAT TT=0.642
CHECKS=310
NODES=0
|
SAT TT=0.638
CHECKS=381
NODES=12
|
SAT TT=0.02
|
SAT TT=0.411
NODES=9
|
SAT TT=0.395
NODES=16
|
SAT TT=0.405
CHECKS=974
NODES=16
|
SAT TT=0.013
|
SAT TT=1.112
|
SAT TT=1.068
|
SAT TT=0.012
|
SAT TT=0.913
|
SAT TT=0.89
|
SAT TT=0.265
|
SAT TT=0.014
|
allIntervalSeries/ series-60.xml |
SAT
TT=0.634
|
SAT TT=19.4
CHECKS=53447430
NODES=0
|
? (TO) TT=1800.13
|
SAT TT=0.634
|
? (TO) TT=1800.04
|
? (TO) TT=1800.06
|
? (TO) TT=1800.03
|
? (TO) TT=1800.1
|
? (TO) TT=41.196
|
? (TO) TT=1800.05
|
? (TO) TT=1800.1
|
? (MO) TT=66.898
|
? (MO) TT=61.317
|
? (TO) TT=1800.11
|
? (TO) TT=1800.09
|
allIntervalSeries/ series-6.xml |
SAT
TT=0.014
|
SAT TT=0.677
CHECKS=722
NODES=0
|
SAT TT=0.661
CHECKS=1015
NODES=19
|
SAT TT=0.019
|
SAT TT=0.453
NODES=15
|
SAT TT=0.461
NODES=11
|
SAT TT=0.428
CHECKS=1886
NODES=11
|
SAT TT=0.02
|
SAT TT=1.168
|
SAT TT=1.128
|
SAT TT=0.014
|
SAT TT=1.02
|
SAT TT=1.01
|
SAT TT=0.631
|
SAT TT=0.016
|
allIntervalSeries/ series-70.xml |
SAT
TT=1.715
|
SAT TT=41.263
CHECKS=115433042
NODES=0
|
? (TO) TT=1800.09
|
SAT TT=1.715
|
? (TO) TT=1800.09
|
? (TO) TT=1800.03
|
? (TO) TT=1800
|
? (TO) TT=1800.03
|
? (TO) TT=1800.07
|
? (TO) TT=1800.04
|
? (TO) TT=1800.06
|
? TT=74.248
|
? (exit code) TT=104.856
|
? (TO) TT=1800.04
|
? (TO) TT=1800.11
|
Bench name | Best 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 |
---|
allIntervalSeries/ series-7.xml |
SAT
TT=0.014
|
SAT TT=0.694
CHECKS=1443
NODES=0
|
SAT TT=0.743
CHECKS=5015
NODES=54
|
SAT TT=0.019
|
SAT TT=0.497
NODES=20
|
SAT TT=0.477
NODES=30
|
SAT TT=0.511
CHECKS=4368
NODES=37
|
SAT TT=0.027
|
SAT TT=1.179
|
SAT TT=1.133
|
SAT TT=0.015
|
SAT TT=1.305
|
SAT TT=1.195
|
SAT TT=0.212
|
SAT TT=0.014
|
allIntervalSeries/ series-80.xml |
SAT
TT=4.866
|
SAT TT=78.831
CHECKS=224961273
NODES=0
|
? (TO) TT=1800.08
|
SAT TT=4.866
|
? (TO) TT=1800.09
|
? (TO) TT=1800.01
|
? (TO) TT=1800
|
? (TO) TT=1800.07
|
? (TO) TT=1800.06
|
? (TO) TT=1800.05
|
? (TO) TT=1800.04
|
? (MO) TT=81.633
|
? (MO) TT=57.283
|
? (TO) TT=1800.16
|
? (TO) TT=1800.11
|
allIntervalSeries/ series-8.xml |
SAT
TT=0.016
|
SAT TT=0.678
CHECKS=2737
NODES=0
|
SAT TT=0.792
CHECKS=22971
NODES=153
|
SAT TT=0.02
|
SAT TT=0.552
NODES=17
|
SAT TT=0.561
NODES=53
|
SAT TT=0.553
CHECKS=7812
NODES=46
|
SAT TT=0.356
|
SAT TT=1.32
|
SAT TT=1.378
|
SAT TT=0.017
|
SAT TT=1.62
|
SAT TT=2.118
|
SAT TT=0.721
|
SAT TT=0.016
|
allIntervalSeries/ series-90.xml |
SAT
TT=13.36
|
SAT TT=133.526
CHECKS=405299672
NODES=0
|
? (TO) TT=1800.07
|
SAT TT=13.36
|
? (TO) TT=1800.04
|
? (TO) TT=1800.06
|
? (TO) TT=1800.04
|
? (TO) TT=1800.04
|
? (TO) TT=1800.09
|
? (TO) TT=1800.02
|
? (TO) TT=1800.03
|
? (MO) TT=100.646
|
? (MO) TT=55.447
|
? (TO) TT=1800.12
|
? (TO) TT=1800.02
|
allIntervalSeries/ series-9.xml |
SAT
TT=0.016
|
SAT TT=0.677
CHECKS=4667
NODES=0
|
SAT TT=0.91
CHECKS=54469
NODES=326
|
SAT TT=0.02
|
SAT TT=0.557
NODES=52
|
SAT TT=0.577
NODES=33
|
SAT TT=0.582
CHECKS=11304
NODES=33
|
SAT TT=0.325
|
SAT TT=1.607
|
SAT TT=1.423
|
SAT TT=0.023
|
SAT TT=1.947
|
SAT TT=1.605
|
SAT TT=0.582
|
SAT TT=0.016
|
chessboardColoration/ cc-10-10-2.xml |
UNSAT
TT=0.22
|
UNSAT TT=2.294
CHECKS=79545
NODES=3621
|
UNSAT TT=2.258
CHECKS=78927
NODES=3529
|
UNSAT TT=53.735
|
UNSAT TT=62.239
NODES=13249
|
UNSAT TT=45.286
NODES=8207
|
UNSAT TT=28.826
CHECKS=746863
NODES=9106
|
UNSAT TT=0.22
|
UNSAT TT=4.515
|
UNSAT TT=3.536
|
UNSAT TT=1.292
|
UNSAT TT=5.047
|
UNSAT TT=4.759
|
UNSAT TT=2.61
|
UNSAT TT=3.294
|
chessboardColoration/ cc-10-10-3.xml |
SAT
TT=7.312
|
? (TO) TT=1800.13
|
? (TO) TT=1800.13
|
? (TO) TT=1800.07
|
SAT TT=550.994
NODES=111243
|
? (TO) TT=1800.02
|
SAT TT=645.784
CHECKS=76117013
NODES=228321
|
SAT TT=53.196
|
SAT TT=313.362
|
SAT TT=19.347
|
? (TO) TT=1800.05
|
SAT TT=7.312
|
SAT TT=6.26
|
SAT TT=50.79
|
? (TO) TT=1800.09
|
chessboardColoration/ cc-12-12-2.xml |
UNSAT
TT=0.427
|
UNSAT TT=3.21
CHECKS=88732
NODES=3716
|
UNSAT TT=3.059
CHECKS=79382
NODES=3540
|
UNSAT TT=428.742
|
UNSAT TT=87.957
NODES=6915
|
UNSAT TT=81.189
NODES=7890
|
UNSAT TT=67.43
CHECKS=733800
NODES=8468
|
UNSAT TT=0.427
|
UNSAT TT=7.949
|
UNSAT TT=6.124
|
UNSAT TT=2.334
|
UNSAT TT=6.556
|
UNSAT TT=5.952
|
UNSAT TT=5.49
|
UNSAT TT=7.008
|
chessboardColoration/ cc-12-12-3.xml |
|
? (TO) TT=1800.13
|
? (TO) TT=1800.12
|
? (TO) TT=1800.08
|
? (TO) TT=1800.03
|
? (TO) TT=1800.01
|
? (TO) TT=1800.06
|
? (TO) TT=1800.08
|
? (TO) TT=1800.06
|
? (TO) TT=1800.08
|
? (TO) TT=1800.07
|
? (TO) TT=1800.22
|
? (TO) TT=1800.2
|
? (TO) TT=1800.12
|
? (TO) TT=1800.02
|
chessboardColoration/ cc-15-15-2.xml |
UNSAT
TT=1.007
|
UNSAT TT=5.417
CHECKS=72820
NODES=3656
|
UNSAT TT=5.302
CHECKS=83558
NODES=3666
|
? (TO) TT=1800.04
|
UNSAT TT=248.215
NODES=7021
|
UNSAT TT=297.174
NODES=10016
|
UNSAT TT=248.239
CHECKS=1024033
NODES=7427
|
UNSAT TT=1.007
|
UNSAT TT=20.597
|
UNSAT TT=13.088
|
UNSAT TT=7
|
UNSAT TT=9.294
|
UNSAT TT=7.604
|
UNSAT TT=13.186
|
UNSAT TT=17.353
|
Bench name | Best 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 |
---|
chessboardColoration/ cc-15-15-3.xml |
|
? (TO) TT=1800.13
|
? (TO) TT=1800.18
|
? (TO) TT=1800.08
|
? (TO) TT=1800.05
|
? (TO) TT=1800.02
|
? (TO) TT=1800.07
|
? (TO) TT=1800.05
|
? (TO) TT=1800.06
|
? (TO) TT=1800.06
|
? (TO) TT=1800.03
|
? (TO) TT=1800.13
|
? (TO) TT=1800.15
|
? (TO) TT=1800.1
|
? (TO) TT=1800.1
|
chessboardColoration/ cc-20-20-2.xml |
UNSAT
TT=3.256
|
UNSAT TT=13.693
CHECKS=95718
NODES=3640
|
UNSAT TT=11.56
CHECKS=84236
NODES=3497
|
? (TO) TT=1800.06
|
UNSAT TT=1608.39
NODES=11299
|
UNSAT TT=1055.44
NODES=4708
|
UNSAT TT=1281.88
CHECKS=2483438
NODES=6986
|
UNSAT TT=3.256
|
UNSAT TT=63.338
|
UNSAT TT=44.55
|
UNSAT TT=28.816
|
UNSAT TT=14.587
|
UNSAT TT=12.048
|
UNSAT TT=43.543
|
UNSAT TT=77.112
|
chessboardColoration/ cc-20-20-3.xml |
|
? (TO) TT=1800.19
|
? (TO) TT=1800.18
|
? (TO) TT=1800.06
|
? (TO) TT=1800.06
|
? (TO) TT=1800.08
|
? (TO) TT=1800.07
|
? (TO) TT=1800.13
|
? (TO) TT=1800.03
|
? (TO) TT=1800.02
|
? (TO) TT=1800.09
|
? (TO) TT=1800.17
|
? (TO) TT=1800.19
|
? (TO) TT=1800.14
|
? (TO) TT=1800.04
|
chessboardColoration/ cc-25-25-2.xml |
UNSAT
TT=8.315
|
UNSAT TT=35.803
CHECKS=78640
NODES=3696
|
UNSAT TT=32.174
CHECKS=9456695
NODES=3412
|
? (conv) TT=0.018
|
? TT=592.35
|
? TT=615.489
|
? TT=572.445
|
UNSAT TT=8.315
|
UNSAT TT=181.975
|
UNSAT TT=108.242
|
UNSAT TT=74.715
|
UNSAT TT=30.709
|
UNSAT TT=23.777
|
UNSAT TT=270.35
|
UNSAT TT=143.597
|
chessboardColoration/ cc-25-25-3.xml |
|
? (TO) TT=1800.13
|
? (TO) TT=1800.13
|
? (conv) TT=0.017
|
? TT=588.918
|
? TT=619.961
|
? TT=567.837
|
? (TO) TT=1800.12
|
? (TO) TT=1800.03
|
? (MO) TT=0.022
|
? (TO) TT=1800.06
|
? (TO) TT=1800.22
|
? (TO) TT=1800.12
|
? (TO) TT=1800.25
|
? (TO) TT=1800.06
|
chessboardColoration/ cc-5-5-2.xml |
UNSAT
TT=0.121
|
UNSAT TT=1.176
CHECKS=70639
NODES=3427
|
UNSAT TT=1.1
CHECKS=80829
NODES=3595
|
UNSAT TT=0.371
|
UNSAT TT=2.963
NODES=5357
|
UNSAT TT=2.698
NODES=5149
|
UNSAT TT=2.508
CHECKS=332071
NODES=5042
|
UNSAT TT=0.121
|
UNSAT TT=0.962
|
UNSAT TT=1.048
|
UNSAT TT=0.123
|
UNSAT TT=1.961
|
UNSAT TT=1.571
|
UNSAT TT=0.912
|
UNSAT TT=0.243
|
chessboardColoration/ cc-5-5-3.xml |
SAT
TT=0.02
|
SAT TT=0.78
CHECKS=472
NODES=0
|
SAT TT=0.778
CHECKS=534
NODES=34
|
SAT TT=0.03
|
SAT TT=0.873
NODES=0
|
SAT TT=1.013
NODES=25
|
SAT TT=1.016
CHECKS=31477
NODES=25
|
SAT TT=0.02
|
SAT TT=1.456
|
SAT TT=1.404
|
SAT TT=0.039
|
SAT TT=1.649
|
SAT TT=1.104
|
SAT TT=1.01
|
SAT TT=0.041
|
chessboardColoration/ cc-6-6-2.xml |
UNSAT
TT=0.143
|
UNSAT TT=1.162
CHECKS=61490
NODES=3034
|
UNSAT TT=1.307
CHECKS=76111
NODES=3571
|
UNSAT TT=0.903
|
UNSAT TT=12.461
NODES=20553
|
UNSAT TT=5.637
NODES=7791
|
UNSAT TT=4.883
CHECKS=563213
NODES=7729
|
UNSAT TT=0.143
|
UNSAT TT=1.225
|
UNSAT TT=1.301
|
UNSAT TT=0.212
|
UNSAT TT=2.222
|
UNSAT TT=1.789
|
UNSAT TT=1.16
|
UNSAT TT=0.665
|
chessboardColoration/ cc-6-6-3.xml |
SAT
TT=0.033
|
SAT TT=0.863
CHECKS=1147
NODES=38
|
SAT TT=0.89
CHECKS=1501
NODES=74
|
SAT TT=0.668
|
SAT TT=1.298
NODES=2
|
SAT TT=1.436
NODES=36
|
SAT TT=1.504
CHECKS=70762
NODES=36
|
SAT TT=0.033
|
SAT TT=1.892
|
SAT TT=1.769
|
SAT TT=2.324
|
SAT TT=2.065
|
SAT TT=1.967
|
SAT TT=0.92
|
SAT TT=9.823
|
chessboardColoration/ cc-7-7-2.xml |
UNSAT
TT=0.136
|
UNSAT TT=1.483
CHECKS=84604
NODES=3788
|
UNSAT TT=1.438
CHECKS=75794
NODES=3234
|
UNSAT TT=1.761
|
UNSAT TT=26.917
NODES=27789
|
UNSAT TT=10.324
NODES=6902
|
UNSAT TT=5.735
CHECKS=345695
NODES=6912
|
UNSAT TT=0.136
|
UNSAT TT=1.795
|
UNSAT TT=1.683
|
UNSAT TT=0.341
|
UNSAT TT=2.791
|
UNSAT TT=2.336
|
UNSAT TT=1.21
|
UNSAT TT=0.881
|
Bench name | Best 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 |
---|
chessboardColoration/ cc-7-7-3.xml |
SAT
TT=0.052
|
SAT TT=0.949
CHECKS=1935
NODES=0
|
SAT TT=0.993
CHECKS=2556
NODES=92
|
SAT TT=141.252
|
SAT TT=2.212
NODES=2
|
SAT TT=2.334
NODES=53
|
SAT TT=2.275
CHECKS=138989
NODES=53
|
SAT TT=0.052
|
SAT TT=2.599
|
SAT TT=2.139
|
SAT TT=552.203
|
SAT TT=2.991
|
SAT TT=2.374
|
SAT TT=1.19
|
SAT TT=1567.38
|
chessboardColoration/ cc-8-8-2.xml |
UNSAT
TT=0.125
|
UNSAT TT=1.551
CHECKS=79482
NODES=3516
|
UNSAT TT=1.55
CHECKS=76085
NODES=3388
|
UNSAT TT=5.623
|
UNSAT TT=38.371
NODES=24408
|
UNSAT TT=15.114
NODES=6399
|
UNSAT TT=9.222
CHECKS=345365
NODES=6191
|
UNSAT TT=0.125
|
UNSAT TT=2.497
|
UNSAT TT=2.007
|
UNSAT TT=0.587
|
UNSAT TT=3.387
|
UNSAT TT=2.883
|
UNSAT TT=1.644
|
UNSAT TT=1.755
|
chessboardColoration/ cc-8-8-3.xml |
SAT
TT=0.089
|
SAT TT=1.11
CHECKS=8393
NODES=140
|
SAT TT=1.091
CHECKS=8399
NODES=186
|
? (TO) TT=1800.07
|
SAT TT=6.55
NODES=1714
|
SAT TT=4.351
NODES=367
|
SAT TT=3.99
CHECKS=307499
NODES=367
|
SAT TT=0.089
|
SAT TT=3.769
|
SAT TT=3.044
|
? (TO) TT=1800.08
|
SAT TT=3.38
|
SAT TT=3.209
|
SAT TT=1.811
|
? (TO) TT=1800.07
|
chessboardColoration/ cc-9-9-2.xml |
UNSAT
TT=0.203
|
UNSAT TT=1.755
CHECKS=71604
NODES=3600
|
UNSAT TT=1.914
CHECKS=81107
NODES=3880
|
UNSAT TT=16.433
|
UNSAT TT=82.447
NODES=30607
|
UNSAT TT=29.314
NODES=7860
|
UNSAT TT=17.906
CHECKS=632244
NODES=7958
|
UNSAT TT=0.203
|
UNSAT TT=3.308
|
UNSAT TT=2.869
|
UNSAT TT=0.771
|
UNSAT TT=4.184
|
UNSAT TT=3.693
|
UNSAT TT=2.11
|
UNSAT TT=2.506
|
chessboardColoration/ cc-9-9-3.xml |
SAT
TT=0.217
|
SAT TT=2.716
CHECKS=443875
NODES=6013
|
SAT TT=1.681
CHECKS=135786
NODES=1659
|
? (TO) TT=1800.11
|
SAT TT=10.82
NODES=1979
|
SAT TT=7.455
NODES=731
|
SAT TT=38.976
CHECKS=5422207
NODES=13556
|
SAT TT=0.217
|
SAT TT=5.099
|
SAT TT=4.497
|
? (TO) TT=1800.02
|
SAT TT=4.878
|
SAT TT=3.877
|
SAT TT=3.301
|
? (TO) TT=1800.09
|
golombRuler/ golombRulerArity3/ruler-17-6-a3.xml |
SAT
TT=0.02
|
SAT TT=1.11
CHECKS=913273
NODES=23
|
SAT TT=0.866
CHECKS=234570
NODES=173
|
SAT TT=0.022
|
SAT TT=0.778
NODES=23
|
SAT TT=0.937
NODES=204
|
SAT TT=0.825
CHECKS=88531
NODES=193
|
SAT TT=0.372
|
SAT TT=2.068
|
SAT TT=1.634
|
SAT TT=0.023
|
SAT TT=3.225
|
SAT TT=3.149
|
SAT TT=0.501
|
SAT TT=0.02
|
golombRuler/ golombRulerArity3/ruler-17-7-a3.xml |
UNSAT
TT=0.035
|
UNSAT TT=1.616
CHECKS=2351347
NODES=95
|
UNSAT TT=0.897
CHECKS=223944
NODES=79
|
UNSAT TT=0.035
|
UNSAT TT=1.175
NODES=91
|
UNSAT TT=1.37
NODES=250
|
UNSAT TT=1.213
CHECKS=162415
NODES=248
|
UNSAT TT=55.863
|
UNSAT TT=1.998
|
UNSAT TT=1.346
|
UNSAT TT=0.039
|
? (TO) TT=1800.15
|
? (TO) TT=1800.18
|
UNSAT TT=0.432
|
UNSAT TT=0.04
|
golombRuler/ golombRulerArity3/ruler-25-7-a3.xml |
SAT
TT=0.026
|
SAT TT=3.083
CHECKS=7678380
NODES=97
|
SAT TT=1.437
CHECKS=1957677
NODES=239
|
SAT TT=0.026
|
SAT TT=1.242
NODES=55
|
SAT TT=2.201
NODES=837
|
SAT TT=1.719
CHECKS=424160
NODES=560
|
SAT TT=7.707
|
SAT TT=3.914
|
SAT TT=2.352
|
SAT TT=0.043
|
SAT TT=5.417
|
SAT TT=4.729
|
SAT TT=0.96
|
SAT TT=0.033
|
golombRuler/ golombRulerArity3/ruler-25-8-a3.xml |
UNSAT
TT=0.136
|
UNSAT TT=6.027
CHECKS=17484389
NODES=463
|
UNSAT TT=1.872
CHECKS=3023590
NODES=504
|
UNSAT TT=0.193
|
UNSAT TT=5.23
NODES=1822
|
UNSAT TT=9.767
NODES=3863
|
UNSAT TT=5.891
CHECKS=2395329
NODES=4010
|
UNSAT TT=620.331
|
UNSAT TT=5.424
|
UNSAT TT=7.531
|
UNSAT TT=0.136
|
UNSAT TT=1786.89
|
UNSAT TT=1773.07
|
UNSAT TT=1.153
|
UNSAT TT=0.189
|
golombRuler/ golombRulerArity3/ruler-34-8-a3.xml |
SAT
TT=0.037
|
SAT TT=16.909
CHECKS=52649005
NODES=795
|
SAT TT=3.398
CHECKS=7657795
NODES=1082
|
SAT TT=0.037
|
SAT TT=3.466
NODES=579
|
SAT TT=40.248
NODES=14538
|
SAT TT=21.485
CHECKS=11424514
NODES=16400
|
SAT TT=457.53
|
SAT TT=11.467
|
SAT TT=67.248
|
SAT TT=0.085
|
SAT TT=400.162
|
SAT TT=402.536
|
SAT TT=1.22
|
SAT TT=0.083
|
Bench name | Best 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 |
---|
golombRuler/ golombRulerArity3/ruler-34-9-a3.xml |
UNSAT
TT=1.628
|
UNSAT TT=30.81
CHECKS=97368244
NODES=2319
|
UNSAT TT=8.167
CHECKS=21512210
NODES=4039
|
UNSAT TT=3.019
|
UNSAT TT=24.87
NODES=4944
|
UNSAT TT=76.012
NODES=16851
|
UNSAT TT=103.567
CHECKS=50660959
NODES=64923
|
? (TO) TT=1800.14
|
UNSAT TT=50.596
|
UNSAT TT=74.797
|
UNSAT TT=1.628
|
UNSAT TT=434.352
|
UNSAT TT=409.512
|
UNSAT TT=4.88
|
UNSAT TT=2.599
|
golombRuler/ golombRulerArity3/ ruler-44-10-a3.xml |
UNSAT
TT=13.958
|
UNSAT TT=69.647
CHECKS=247640056
NODES=9775
|
UNSAT TT=37.085
CHECKS=114465985
NODES=11334
|
UNSAT TT=57.264
|
UNSAT TT=158.179
NODES=15478
|
UNSAT TT=791.874
NODES=103065
|
UNSAT TT=1235.27
CHECKS=500647164
NODES=437603
|
? (TO) TT=1800.1
|
UNSAT TT=746.447
|
UNSAT TT=1130.57
|
UNSAT TT=13.958
|
? (TO) TT=1800.24
|
? (MO) TT=6.456
|
UNSAT TT=43.708
|
UNSAT TT=21.335
|
golombRuler/ golombRulerArity3/ruler-44-9-a3.xml |
SAT
TT=0.158
|
SAT TT=59.81
CHECKS=210909489
NODES=9781
|
SAT TT=20.93
CHECKS=67697904
NODES=10243
|
SAT TT=0.158
|
SAT TT=74.986
NODES=11012
|
SAT TT=267.385
NODES=53018
|
SAT TT=228.076
CHECKS=123353634
NODES=100038
|
? (TO) TT=1800.02
|
SAT TT=139.914
|
SAT TT=301.143
|
SAT TT=1.002
|
SAT TT=808.889
|
? (MO) TT=7.392
|
SAT TT=16.78
|
SAT TT=10.123
|
golombRuler/ golombRulerArity3/ ruler-55-10-a3.xml |
SAT
TT=4.164
|
SAT TT=331.292
CHECKS=1065451251
NODES=88692
|
SAT TT=130.402
CHECKS=438915548
NODES=44051
|
SAT TT=4.164
|
SAT TT=1322.24
NODES=125524
|
? (TO) TT=1800.07
|
? (TO) TT=1800.09
|
? (TO) TT=1800.02
|
? (TO) TT=1800.05
|
? (TO) TT=1800.01
|
SAT TT=6.872
|
? (MO) TT=32.773
|
? (MO) TT=22.78
|
SAT TT=12.37
|
SAT TT=106.187
|
golombRuler/ golombRulerArity3/ ruler-55-11-a3.xml |
UNSAT
TT=69.053
|
UNSAT TT=297.752
CHECKS=947463057
NODES=55646
|
UNSAT TT=224.977
CHECKS=729808091
NODES=47267
|
UNSAT TT=1687.13
|
UNSAT TT=962.2
NODES=59574
|
? (TO) TT=1800.04
|
? (TO) TT=1800.08
|
? (TO) TT=1800.1
|
? (TO) TT=1800.05
|
? (TO) TT=1800.09
|
UNSAT TT=69.053
|
? (MO) TT=41.602
|
? (MO) TT=19.566
|
UNSAT TT=589.16
|
UNSAT TT=116.771
|
golombRuler/ golombRulerArity3/ ruler-67-11-a3.xml |
UNSAT
TT=822.148
|
? (TO) TT=1800.08
|
? (TO) TT=1800.11
|
? (TO) TT=1800.05
|
? (TO) TT=1800.01
|
? (TO) TT=1800.06
|
? (TO) TT=1800.07
|
? (TO) TT=1800.11
|
? (TO) TT=1800.04
|
? (TO) TT=1800.1
|
UNSAT TT=822.148
|
? (MO) TT=38.307
|
? (MO) TT=21.169
|
? (TO) TT=1800.03
|
? (TO) TT=1800.02
|
golombRuler/ golombRulerArity3/ ruler-67-12-a3.xml |
UNSAT
TT=498.493
|
UNSAT TT=1439.19
CHECKS=5166269351
NODES=184057
|
UNSAT TT=1437.46
CHECKS=4758700469
NODES=208898
|
? (TO) TT=1800.07
|
? (TO) TT=1800.01
|
? (TO) TT=1800.02
|
? (TO) TT=1800.01
|
? (TO) TT=1800.08
|
? (TO) TT=1800.02
|
? (TO) TT=1800.09
|
UNSAT TT=527.608
|
? (MO) TT=42.389
|
? (MO) TT=24.387
|
? (TO) TT=1800.06
|
UNSAT TT=498.493
|
golombRuler/ golombRulerArity3/ ruler-70-12-a3.xml |
UNSAT
TT=757.64
|
? (TO) TT=1800.07
|
? (TO) TT=1800.14
|
? (TO) TT=1800.1
|
? (TO) TT=1800.04
|
? (TO) TT=1800.07
|
? (TO) TT=1800.06
|
? (TO) TT=1800.06
|
? (TO) TT=1800.1
|
? (TO) TT=1800.05
|
UNSAT TT=757.64
|
? (exit code) TT=97.012
|
? (MO) TT=18.747
|
? (TO) TT=1800.04
|
? (TO) TT=1800.08
|
golombRuler/ golombRulerArity3/ ruler-70-13-a3.xml |
UNSAT
TT=971.281
|
? (TO) TT=1800.04
|
? (TO) TT=1800.05
|
? (TO) TT=1800.11
|
? (TO) TT=1800.04
|
? (TO) TT=1800.1
|
? (TO) TT=1800.04
|
? (TO) TT=1800.12
|
? (TO) TT=1800.08
|
? (TO) TT=1800.03
|
? (TO) TT=1800.07
|
? (exit code) TT=98.902
|
? (MO) TT=14.967
|
? (TO) TT=1800.1
|
UNSAT TT=971.281
|
golombRuler/ golombRulerArity4/ruler-17-6-a4.xml |
SAT
TT=0.023
|
SAT TT=0.752
CHECKS=21760
NODES=38
|
SAT TT=0.78
CHECKS=9004
NODES=23
|
SAT TT=0.023
|
SAT TT=3.078
NODES=19
|
SAT TT=4.045
NODES=144
|
SAT TT=4.102
CHECKS=1714867
NODES=179
|
SAT TT=0.027
|
SAT TT=7.155
|
SAT TT=4.171
|
SAT TT=0.049
|
SAT TT=9.177
|
Wrong Cert. TT=1.714
|
SAT TT=0.877
|
SAT TT=0.031
|
Bench name | Best 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 |
---|
golombRuler/ golombRulerArity4/ruler-17-7-a4.xml |
UNSAT
TT=0.055
|
UNSAT TT=0.938
CHECKS=116315
NODES=170
|
UNSAT TT=0.96
CHECKS=119394
NODES=185
|
UNSAT TT=0.055
|
UNSAT TT=6.865
NODES=99
|
UNSAT TT=8.192
NODES=163
|
UNSAT TT=7.716
CHECKS=2883964
NODES=162
|
UNSAT TT=0.94
|
UNSAT TT=13.937
|
UNSAT TT=7.076
|
UNSAT TT=0.109
|
UNSAT TT=18.798
|
Wrong Cert. TT=1.933
|
UNSAT TT=0.99
|
? (TO) TT=1800.09
|
golombRuler/ golombRulerArity4/ruler-25-7-a4.xml |
SAT
TT=0.033
|
SAT TT=1.018
CHECKS=171183
NODES=216
|
SAT TT=0.922
CHECKS=66267
NODES=98
|
SAT TT=0.033
|
SAT TT=25.008
NODES=207
|
SAT TT=37.132
NODES=777
|
SAT TT=35.347
CHECKS=22121358
NODES=716
|
SAT TT=0.107
|
SAT TT=67.205
|
SAT TT=9.893
|
SAT TT=1.11
|
SAT TT=83.151
|
Wrong Cert. TT=2.24
|
SAT TT=1.53
|
? (TO) TT=1800.09
|
golombRuler/ golombRulerArity4/ruler-25-8-a4.xml |
UNSAT
TT=0.497
|
UNSAT TT=3.743
CHECKS=2243828
NODES=2068
|
UNSAT TT=2.701
CHECKS=1409274
NODES=1389
|
UNSAT TT=0.497
|
UNSAT TT=51.407
NODES=1021
|
UNSAT TT=68.26
NODES=1661
|
UNSAT TT=64.11
CHECKS=36558107
NODES=1307
|
UNSAT TT=42.393
|
UNSAT TT=124.6
|
UNSAT TT=168.694
|
UNSAT TT=1.36
|
UNSAT TT=146.448
|
Wrong Cert. TT=2.393
|
UNSAT TT=3.96
|
UNSAT TT=1.956
|
golombRuler/ golombRulerArity4/ruler-34-8-a4.xml |
SAT
TT=0.067
|
SAT TT=3.003
CHECKS=1810879
NODES=1998
|
SAT TT=1.093
CHECKS=148602
NODES=127
|
SAT TT=0.067
|
SAT TT=157.329
NODES=462
|
SAT TT=269.353
NODES=20001
|
SAT TT=269.034
CHECKS=187021433
NODES=23063
|
SAT TT=38.794
|
SAT TT=325.971
|
? (TO) TT=1800.04
|
SAT TT=1.098
|
SAT TT=578.645
|
Wrong Cert. TT=3.805
|
SAT TT=5.035
|
SAT TT=19.338
|
golombRuler/ golombRulerArity4/ruler-34-9-a4.xml |
UNSAT
TT=6.655
|
UNSAT TT=11.873
CHECKS=8656516
NODES=6293
|
UNSAT TT=9.694
CHECKS=7637427
NODES=4261
|
UNSAT TT=6.655
|
UNSAT TT=303.489
NODES=5201
|
UNSAT TT=438.079
NODES=7519
|
UNSAT TT=409.747
CHECKS=273529021
NODES=6945
|
UNSAT TT=1156.14
|
? (TO) TT=1800.1
|
? (TO) TT=1800.01
|
UNSAT TT=12.239
|
UNSAT TT=1082.59
|
Wrong Cert. TT=4.703
|
UNSAT TT=67.534
|
UNSAT TT=21.307
|
golombRuler/ golombRulerArity4/ ruler-44-10-a4.xml |
UNSAT
TT=84.665
|
UNSAT TT=105.241
CHECKS=85936817
NODES=32570
|
UNSAT TT=92.866
CHECKS=77802373
NODES=30284
|
UNSAT TT=84.665
|
? TT=156.736
|
? TT=717.711
|
? (TO) TT=0.005
|
? (TO) TT=1800.1
|
? (TO) TT=1800.09
|
? (MO) TT=0.025
|
UNSAT TT=110.014
|
? (TO) TT=1802.19
|
Wrong Cert. TT=5.368
|
UNSAT TT=795.298
|
UNSAT TT=170.592
|
golombRuler/ golombRulerArity4/ruler-44-9-a4.xml |
SAT
TT=0.678
|
SAT TT=71.895
CHECKS=57055093
NODES=44701
|
SAT TT=3.36
CHECKS=1929830
NODES=1205
|
SAT TT=0.678
|
SAT TT=815.007
NODES=15093
|
SAT TT=1407.34
NODES=87234
|
SAT TT=1546.26
CHECKS=1094296751
NODES=128046
|
? (TO) TT=1800.08
|
? (TO) TT=1800.1
|
? (MO) TT=0.029
|
SAT TT=181.37
|
? (TO) TT=1800.95
|
Wrong Cert. TT=5.052
|
SAT TT=45.94
|
SAT TT=263.474
|
golombRuler/ golombRulerArity4/ ruler-55-10-a4.xml |
SAT
TT=7.237
|
SAT TT=42.241
CHECKS=34764009
NODES=14672
|
SAT TT=11.116
CHECKS=8354128
NODES=2604
|
SAT TT=7.237
|
? TT=13.949
|
? TT=14.153
|
? TT=42.514
|
? (TO) TT=1800.11
|
? (MO) TT=0
|
? (MO) TT=0.031
|
? (TO) TT=1800.06
|
? (MO) TT=1459.81
|
Wrong Cert. TT=6.197
|
SAT TT=145.526
|
? (TO) TT=1800.02
|
golombRuler/ golombRulerArity4/ ruler-55-11-a4.xml |
UNSAT
TT=659.985
|
UNSAT TT=1079.42
CHECKS=853550393
NODES=172802
|
UNSAT TT=659.985
CHECKS=536533730
NODES=113643
|
UNSAT TT=894.657
|
? TT=17.846
|
? TT=17.668
|
? TT=34.489
|
? (TO) TT=1800.01
|
? (MO) TT=0
|
? (MO) TT=0.028
|
UNSAT TT=1480.11
|
? (MO) TT=4.052
|
Wrong Cert. TT=8.028
|
? (TO) TT=1800.07
|
? (TO) TT=1800.1
|
golombRuler/ golombRulerArity4/ ruler-67-11-a4.xml |
|
? (TO) TT=1800.16
|
? (TO) TT=1800.1
|
? (TO) TT=1800.05
|
? TT=45.768
|
? TT=46.132
|
? TT=64.897
|
? (TO) TT=1800.03
|
? (TO) TT=1800.01
|
? (MO) TT=0.029
|
? (TO) TT=1800.06
|
? (TO) TT=1801.14
|
Wrong Cert. TT=11.017
|
? (TO) TT=1800.13
|
? (TO) TT=1800.02
|
Bench name | Best 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 |
---|
golombRuler/ golombRulerArity4/ ruler-67-12-a4.xml |
UNSAT
TT=1473.75
|
? (TO) TT=1800.06
|
? (TO) TT=1800.05
|
UNSAT TT=1473.75
|
? TT=61.997
|
? TT=61.177
|
? TT=66.738
|
? (TO) TT=1800.02
|
? (TO) TT=1800.04
|
? (MO) TT=0.027
|
? (TO) TT=1800.02
|
? (TO) TT=1801.36
|
Wrong Cert. TT=13.077
|
? (TO) TT=1800.19
|
? (TO) TT=1800.03
|
golombRuler/ golombRulerArity4/ ruler-70-12-a4.xml |
|
? (TO) TT=1800.09
|
? (TO) TT=1800.09
|
? (TO) TT=1800.05
|
? TT=77.791
|
? TT=77.817
|
? TT=62.871
|
? (TO) TT=1800.08
|
? (TO) TT=1800.09
|
? (MO) TT=0.03
|
? (TO) TT=1800.09
|
? (TO) TT=1800.22
|
? (MO) TT=3.172
|
? (TO) TT=1800.26
|
? (TO) TT=1800.07
|
golombRuler/ golombRulerArity4/ ruler-70-13-a4.xml |
|
? (TO) TT=1800.04
|
? (TO) TT=1800.04
|
? (TO) TT=1800.06
|
? TT=87.591
|
? TT=66.793
|
? TT=67.247
|
? (TO) TT=1800.02
|
? (TO) TT=1800.04
|
? (problem) TT=20.318
|
? (TO) TT=1800.1
|
? (TO) TT=1800.97
|
? (MO) TT=3.268
|
? (MO) TT=40.83
|
? (TO) TT=1800.03
|
socialGolfers/ socialGolfer-10-4-8.xml |
|
? (TO) TT=1800.09
|
? (TO) TT=1800.12
|
? (TO) TT=1800.09
|
? (TO) TT=1800.07
|
? (TO) TT=1800.07
|
? (TO) TT=1800.09
|
? (TO) TT=1800.18
|
? (TO) TT=1800.02
|
? (TO) TT=1800.01
|
? (TO) TT=1800.05
|
? (MO) TT=19.465
|
? (MO) TT=6.145
|
? (TO) TT=1800.09
|
? (TO) TT=1800.1
|
socialGolfers/ socialGolfer-6-3-5.xml |
SAT
TT=21.23
|
? (TO) TT=1800.16
|
SAT TT=1579.13
CHECKS=272847461
NODES=6172588
|
? (TO) TT=1800.04
|
? (TO) TT=1800.03
|
SAT TT=355.971
NODES=71099
|
SAT TT=1597.05
CHECKS=69135159
NODES=284417
|
SAT TT=33.635
|
SAT TT=21.23
|
? (TO) TT=1800.05
|
? (TO) TT=1800.02
|
? (TO) TT=1800.19
|
? (TO) TT=1800.19
|
SAT TT=202.12
|
? (TO) TT=1800.03
|
socialGolfers/ socialGolfer-6-3-6.xml |
SAT
TT=3.23
|
SAT TT=27.423
CHECKS=1804549
NODES=25226
|
SAT TT=20.21
CHECKS=577050
NODES=9178
|
? (TO) TT=1800.07
|
? (TO) TT=1800.05
|
SAT TT=33.84
NODES=2844
|
SAT TT=37.139
CHECKS=1871351
NODES=2569
|
SAT TT=36.621
|
SAT TT=12.405
|
SAT TT=127.202
|
SAT TT=663.302
|
? (MO) TT=8.314
|
? (MO) TT=40.761
|
SAT TT=3.23
|
SAT TT=4.839
|
socialGolfers/ socialGolfer-6-3-7.xml |
SAT
TT=3.421
|
SAT TT=31.681
CHECKS=11338100
NODES=24029
|
SAT TT=15.167
CHECKS=4688956
NODES=9400
|
? (TO) TT=1800.09
|
? (TO) TT=1800.06
|
SAT TT=154.407
NODES=2144
|
SAT TT=158.144
CHECKS=10204474
NODES=2144
|
SAT TT=118.124
|
SAT TT=21.123
|
SAT TT=820.096
|
SAT TT=25.391
|
? (MO) TT=9.281
|
? (MO) TT=10.114
|
SAT TT=20.32
|
SAT TT=3.421
|
socialGolfers/ socialGolfer-6-3-8.xml |
SAT
TT=8.656
|
SAT TT=177.511
CHECKS=107778246
NODES=46764
|
SAT TT=43.49
CHECKS=22176316
NODES=12453
|
? (TO) TT=1800.03
|
SAT TT=299.959
NODES=12686
|
SAT TT=1105.91
NODES=2809
|
SAT TT=1015.09
CHECKS=235428791
NODES=2809
|
? (MO) TT=687.404
|
SAT TT=49.033
|
? (TO) TT=1800.02
|
SAT TT=1660.83
|
? (MO) TT=74.771
|
? (MO) TT=50.82
|
SAT TT=9.18
|
SAT TT=8.656
|
socialGolfers/ socialGolfer-6-4-5.xml |
|
? (TO) TT=1800.15
|
? (TO) TT=1800.15
|
? (TO) TT=1800.05
|
? (TO) TT=1800.05
|
? (TO) TT=1800.07
|
? (TO) TT=1800.04
|
? (TO) TT=1800.13
|
? (TO) TT=1800.09
|
? (TO) TT=1800.09
|
? (TO) TT=1800.07
|
? (MO) TT=7.974
|
? (MO) TT=41.251
|
? (TO) TT=1800.04
|
? (TO) TT=1800.06
|
socialGolfers/ socialGolfer-6-4-6.xml |
|
? (TO) TT=1800.13
|
? (TO) TT=1800.15
|
? (TO) TT=1800.04
|
? (TO) TT=0.003
|
? (TO) TT=0.005
|
? (TO) TT=0.005
|
? (TO) TT=1800.12
|
? (TO) TT=1800.02
|
? (TO) TT=1800.01
|
? (TO) TT=1800.07
|
? (MO) TT=72.986
|
? (MO) TT=45.036
|
? (TO) TT=1800.07
|
? (TO) TT=1800.06
|
Bench name | Best 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 |
---|
socialGolfers/ socialGolfer-6-4-7.xml |
SAT
TT=415.484
|
? (TO) TT=1800.15
|
? (TO) TT=1800.12
|
? (TO) TT=1800.11
|
? (TO) TT=0.005
|
? (TO) TT=1800.06
|
? (TO) TT=0.006
|
? (MO) TT=684.066
|
SAT TT=415.484
|
? (TO) TT=1800.04
|
? (TO) TT=1800.04
|
? (MO) TT=13.873
|
? (MO) TT=12.365
|
? (TO) TT=1800.02
|
? (TO) TT=1800.09
|
socialGolfers/ socialGolfer-6-4-8.xml |
SAT
TT=239.695
|
SAT TT=372.437
CHECKS=107697022
NODES=60813
|
SAT TT=239.695
CHECKS=77550261
NODES=37781
|
? (TO) TT=1800.02
|
? (TO) TT=1800.09
|
? (TO) TT=1800.08
|
Wrong Cert. TT=695.369
CHECKS=6689106
NODES=14098
|
? (MO) TT=869.664
|
? (TO) TT=1800.08
|
? (TO) TT=1800.01
|
? (TO) TT=1800.08
|
? (MO) TT=9.779
|
? (MO) TT=45.202
|
? (TO) TT=1800.09
|
SAT TT=960.35
|
socialGolfers/ socialGolfer-7-4-8.xml |
|
? (TO) TT=1800.08
|
? (TO) TT=1800.15
|
? (TO) TT=1800.09
|
? (TO) TT=1800.06
|
? (TO) TT=1800.1
|
? (TO) TT=1800.07
|
? (MO) TT=1108.78
|
? (TO) TT=1800
|
? (TO) TT=1800.01
|
? (TO) TT=1800.05
|
? (MO) TT=88.622
|
? (MO) TT=46.967
|
? (TO) TT=1800.04
|
? (TO) TT=1800.05
|
socialGolfers/ socialGolfer-8-4-8.xml |
|
? (TO) TT=1800.14
|
? (TO) TT=1800.09
|
? (TO) TT=1800.07
|
? (TO) TT=1800.04
|
? (TO) TT=1800.02
|
? (TO) TT=1800.07
|
? (MO) TT=1281.37
|
? (TO) TT=1800.09
|
? (TO) TT=1800.01
|
? (TO) TT=1800.09
|
? (MO) TT=16.225
|
? (MO) TT=18.119
|
? (TO) TT=1800.07
|
? (TO) TT=1800.09
|
socialGolfers/ socialGolfer-9-4-8.xml |
|
? (TO) TT=1800.12
|
? (TO) TT=1800.11
|
? (TO) TT=1800.09
|
? (TO) TT=1800.07
|
? (TO) TT=1800.08
|
? (TO) TT=1800.04
|
? (MO) TT=1561.54
|
? (TO) TT=1800.05
|
? (TO) TT=1800.06
|
? (TO) TT=1800.11
|
? (MO) TT=19.263
|
? (MO) TT=19.243
|
? (TO) TT=1800.02
|
? (TO) TT=1800.1
|
zhou/ block.xml |
UNSAT
TT=3.818
|
UNSAT TT=29.84
CHECKS=7973542
NODES=35219
|
? (TO) TT=1800.11
|
UNSAT TT=1353.77
|
? (TO) TT=1800.08
|
? (TO) TT=1800.05
|
? (TO) TT=1800.05
|
UNSAT TT=75.462
|
UNSAT TT=18.137
|
UNSAT TT=28.977
|
? (problem) TT=0.025
|
UNSAT TT=135.464
|
UNSAT TT=6.608
|
UNSAT TT=3.818
|
? (problem) TT=0.024
|
zhou/ pack.xml |
SAT
TT=99.513
|
? (TO) TT=1800.09
|
? (TO) TT=1800.11
|
SAT TT=1406.96
|
? TT=38.104
|
? TT=38.329
|
? TT=39.667
|
? (TO) TT=1800.11
|
? (MO) TT=0.028
|
? (MO) TT=17.82
|
? (problem) TT=0.241
|
? (MO) TT=71.136
|
? (MO) TT=54.874
|
SAT TT=99.513
|
? (problem) TT=0.235
|
zhou/ radi.xml |
SAT
TT=5.029
|
SAT TT=42.684
CHECKS=53340313
NODES=5266
|
SAT TT=76.749
CHECKS=88967625
NODES=7782
|
SAT TT=5.029
|
SAT TT=371.018
NODES=167
|
SAT TT=224.205
NODES=110
|
SAT TT=188.819
CHECKS=103976663
NODES=107
|
SAT TT=5.536
|
? (problem) TT=162.671
|
? (problem) TT=163.991
|
Signal TT=0.041
|
? (MO) TT=63.368
|
? (MO) TT=45.243
|
? TT=0.468
|
Signal TT=0.038
|
zhou/ schur.xml |
SAT
TT=2.071
|
SAT TT=2.071
CHECKS=43745
NODES=360
|
SAT TT=3.41
CHECKS=654148
NODES=2464
|
SAT TT=17.132
|
SAT TT=8.986
NODES=275
|
SAT TT=17.402
NODES=1566
|
SAT TT=14.393
CHECKS=2055628
NODES=1566
|
SAT TT=74.929
|
SAT TT=159.244
|
SAT TT=142.931
|
? (problem) TT=0.292
|
? (MO) TT=7.073
|
? (MO) TT=2.971
|
SAT TT=6.842
|
? (problem) TT=0.293
|