fisher/ FISCHER10-10-fair.xml |
UNSAT
TT=1566.6
|
? TT=7.4
|
? TT=7.536
|
UNSAT TT=1566.6
|
? TT=3.948
|
? TT=4.017
|
? TT=4.304
|
Signal TT=7.177
|
? (TO) TT=1800.02
|
? (TO) TT=1800.04
|
? (MO) TT=1.674
|
? TT=4.077
|
? TT=4.427
|
? (TO) TT=1801.64
|
? (exit code) TT=1.688
|
fisher/ FISCHER10-11-fair.xml |
UNSAT
TT=1563.37
|
? TT=7.329
|
? TT=7.406
|
UNSAT TT=1563.37
|
? TT=4.056
|
? TT=4.054
|
? TT=5.003
|
Signal TT=7.06
|
? (TO) TT=1800.07
|
? (TO) TT=1800.07
|
? (exit code) TT=1.645
|
? TT=4.48
|
? TT=4.173
|
? TT=1369.28
|
? (MO) TT=1.671
|
fisher/ FISCHER10-12-fair.xml |
UNSAT
TT=1570.47
|
? TT=7.393
|
? TT=7.415
|
UNSAT TT=1570.47
|
? TT=3.901
|
? TT=3.972
|
? TT=5.086
|
Signal TT=6.778
|
? (TO) TT=1800.05
|
? (TO) TT=1800.02
|
? (MO) TT=1.702
|
? TT=4.278
|
? TT=4.307
|
? TT=1481.19
|
? (MO) TT=1.66
|
fisher/ FISCHER10-13-fair.xml |
|
? TT=7.395
|
? TT=7.405
|
? (TO) TT=1800.12
|
? TT=4.037
|
? TT=4.033
|
? TT=4.81
|
Signal TT=6.911
|
? (TO) TT=1800.05
|
? (TO) TT=1800.04
|
? (MO) TT=1.668
|
? TT=4.16
|
? TT=4.39
|
? TT=1624.97
|
? (exit code) TT=1.643
|
fisher/ FISCHER10-14-fair.xml |
|
? TT=7.373
|
? TT=7.233
|
? (TO) TT=1800.03
|
? TT=3.958
|
? TT=3.975
|
? TT=3.708
|
Signal TT=7.268
|
? (TO) TT=1800.04
|
? (TO) TT=1800.09
|
? (MO) TT=1.668
|
? TT=4.463
|
? TT=4.606
|
? (TO) TT=1801.63
|
? (MO) TT=1.684
|
fisher/ FISCHER10-15-fair.xml |
UNSAT
TT=1571.44
|
? TT=7.198
|
? TT=7.416
|
UNSAT TT=1571.44
|
? TT=3.756
|
? TT=3.716
|
? TT=5.043
|
Signal TT=7.139
|
? (TO) TT=1800.06
|
? (TO) TT=1800
|
? (MO) TT=1.673
|
? TT=3.697
|
? TT=3.938
|
? (TO) TT=1803.83
|
? (MO) TT=1.588
|
fisher/ FISCHER10-1-fair.xml |
UNSAT
TT=0.371
|
? TT=7.096
|
? TT=7.232
|
UNSAT TT=0.371
|
? TT=3.826
|
? TT=3.765
|
? TT=5.147
|
Signal TT=6.401
|
? (TO) TT=1800.02
|
? (TO) TT=1800.06
|
Signal TT=2.617
|
? TT=3.438
|
? TT=3.547
|
? TT=166.76
|
Signal TT=2.481
|
fisher/ FISCHER10-2-fair.xml |
UNSAT
TT=1565.7
|
? TT=7.228
|
? TT=7.416
|
UNSAT TT=1565.7
|
? TT=3.941
|
? TT=3.735
|
? TT=4.796
|
Signal TT=6.7
|
? (TO) TT=1800.01
|
? (TO) TT=1800.1
|
Signal TT=5.354
|
? TT=3.15
|
? TT=3.387
|
? TT=292.682
|
Signal TT=5.124
|
fisher/ FISCHER10-3-fair.xml |
|
? TT=7.569
|
? TT=7.337
|
? (TO) TT=1800.09
|
? TT=3.718
|
? TT=3.819
|
? TT=4.937
|
Signal TT=7.413
|
? (TO) TT=1800
|
? (TO) TT=1800.05
|
? (MO) TT=1.663
|
? TT=3.157
|
? TT=2.975
|
? TT=409.411
|
? (MO) TT=1.67
|
fisher/ FISCHER10-4-fair.xml |
UNSAT
TT=1575.31
|
? TT=7.247
|
? TT=7.425
|
UNSAT TT=1575.31
|
? TT=3.68
|
? TT=3.807
|
? TT=4.391
|
Signal TT=6.449
|
? (TO) TT=1800.02
|
? (TO) TT=1800.06
|
? (MO) TT=1.688
|
? TT=3.513
|
? TT=3.588
|
? TT=513.021
|
? (MO) TT=1.676
|
Bench 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 |
---|
fisher/ FISCHER10-5-fair.xml |
|
? TT=7.386
|
? TT=7.283
|
? (TO) TT=1800.09
|
? TT=5.253
|
? TT=5.051
|
? TT=4.985
|
Signal TT=6.982
|
? (TO) TT=1800.07
|
? (TO) TT=1800.07
|
? (MO) TT=1.614
|
? TT=3.719
|
? TT=3.463
|
? TT=1667.37
|
? (MO) TT=1.679
|
fisher/ FISCHER10-6-fair.xml |
|
? TT=9.503
|
? TT=7.269
|
? (TO) TT=1800.04
|
? TT=5.394
|
? TT=4.823
|
? TT=4.623
|
Signal TT=6.924
|
? (TO) TT=1800.03
|
? (TO) TT=1800.04
|
? (MO) TT=1.679
|
? TT=3.79
|
? TT=3.832
|
? TT=801.794
|
? (MO) TT=1.619
|
fisher/ FISCHER10-7-fair.xml |
UNSAT
TT=1562.13
|
? TT=7.337
|
? TT=7.567
|
UNSAT TT=1562.13
|
? TT=3.965
|
? TT=3.922
|
? TT=5.122
|
Signal TT=6.897
|
? (TO) TT=1800.01
|
? (TO) TT=1800.07
|
? (MO) TT=1.683
|
? TT=3.751
|
? TT=4.663
|
? TT=894.257
|
? (MO) TT=1.667
|
fisher/ FISCHER10-8-fair.xml |
|
? TT=7.246
|
? TT=7.23
|
? (TO) TT=1800.1
|
? TT=3.869
|
? TT=4.055
|
? TT=3.767
|
Signal TT=6.244
|
? (TO) TT=1800.07
|
? (TO) TT=1800.03
|
? (exit code) TT=1.674
|
? TT=4.031
|
? TT=4.045
|
? TT=1025.65
|
? (MO) TT=1.674
|
fisher/ FISCHER10-9-fair.xml |
UNSAT
TT=1568.61
|
? TT=7.443
|
? TT=7.531
|
UNSAT TT=1568.61
|
? TT=3.946
|
? TT=3.908
|
? TT=3.632
|
Signal TT=6.91
|
? (TO) TT=1800.09
|
? (TO) TT=1800.05
|
? (MO) TT=1.67
|
? TT=3.942
|
? TT=3.934
|
? (TO) TT=1802.04
|
? (MO) TT=1.672
|
fisher/ FISCHER11-10-fair.xml |
UNSAT
TT=1570.87
|
? TT=7.338
|
? TT=7.488
|
UNSAT TT=1570.87
|
? TT=4.304
|
? TT=4.063
|
? TT=5.07
|
Signal TT=6.897
|
? (TO) TT=1800.08
|
? (TO) TT=1800.09
|
? (MO) TT=1.595
|
? TT=4.155
|
? TT=4.171
|
? TT=1373.75
|
? (MO) TT=1.683
|
fisher/ FISCHER11-11-fair.xml |
|
? TT=7.387
|
? TT=7.441
|
? (TO) TT=1800.04
|
? TT=4.035
|
? TT=4.029
|
? TT=5.106
|
Signal TT=7.171
|
? (TO) TT=1800.1
|
? (TO) TT=1800.01
|
? (MO) TT=1.671
|
? TT=4.202
|
? TT=4.326
|
? (TO) TT=1802.46
|
? (MO) TT=1.693
|
fisher/ FISCHER11-12-fair.xml |
UNSAT
TT=1570.44
|
? TT=7.184
|
? TT=7.112
|
UNSAT TT=1570.44
|
? TT=4.143
|
? TT=4.101
|
? TT=4.34
|
Signal TT=7.302
|
? (TO) TT=1800.02
|
? (TO) TT=1800
|
? (MO) TT=1.668
|
? TT=4.467
|
? TT=4.45
|
? (TO) TT=1804.54
|
? (MO) TT=1.673
|
fisher/ FISCHER11-13-fair.xml |
UNSAT
TT=1577.87
|
? TT=8.843
|
? TT=7.319
|
UNSAT TT=1577.87
|
? TT=5.265
|
? TT=3.916
|
? TT=4.212
|
Signal TT=7.292
|
? (TO) TT=1800.01
|
? (TO) TT=1800.07
|
? (MO) TT=1.771
|
? TT=5.145
|
? TT=4.553
|
? (TO) TT=1801.74
|
? (MO) TT=1.663
|
fisher/ FISCHER11-14-fair.xml |
|
? TT=7.216
|
? TT=7.227
|
? (TO) TT=1800.1
|
? TT=4.039
|
? TT=3.843
|
? TT=3.892
|
Signal TT=7.461
|
? (TO) TT=1800.08
|
? (TO) TT=1800.02
|
? (MO) TT=1.675
|
? TT=3.924
|
? TT=3.71
|
? (TO) TT=1804.13
|
? (MO) TT=1.671
|
Bench 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 |
---|
fisher/ FISCHER11-15-fair.xml |
|
? TT=7.16
|
? TT=7.266
|
? (TO) TT=1800.12
|
? TT=4.337
|
? TT=3.743
|
? TT=4.334
|
Signal TT=6.773
|
? (TO) TT=1800.09
|
? (TO) TT=1800.01
|
? (MO) TT=1.87
|
? TT=3.76
|
? TT=3.756
|
? (TO) TT=1802.38
|
? (MO) TT=1.722
|
fisher/ FISCHER11-16-fair.xml |
UNSAT
TT=1569.18
|
? TT=7.437
|
? TT=7.398
|
UNSAT TT=1569.18
|
? TT=3.894
|
? TT=3.853
|
? TT=5.292
|
Signal TT=7.083
|
? (TO) TT=1800
|
? (TO) TT=1800.06
|
? (MO) TT=1.672
|
? TT=4.11
|
? TT=4.087
|
? (TO) TT=1803.62
|
? (MO) TT=1.679
|
fisher/ FISCHER11-1-fair.xml |
UNSAT
TT=0.425
|
? TT=7.282
|
? TT=8.476
|
UNSAT TT=0.425
|
? TT=3.822
|
? TT=3.682
|
? TT=4.482
|
Signal TT=6.657
|
? (TO) TT=1800.07
|
? (TO) TT=1800.03
|
Signal TT=2.956
|
? TT=3.463
|
? TT=3.335
|
? TT=177.488
|
Signal TT=3.023
|
fisher/ FISCHER11-2-fair.xml |
UNSAT
TT=1565.33
|
? TT=7.357
|
? TT=7.216
|
UNSAT TT=1565.33
|
? TT=3.733
|
? TT=3.687
|
? TT=4.434
|
Signal TT=6.714
|
? (TO) TT=1800.07
|
? (TO) TT=1800.08
|
Signal TT=5.252
|
? TT=3.482
|
? TT=3.459
|
? TT=844.639
|
Signal TT=5.621
|
fisher/ FISCHER11-3-fair.xml |
|
? TT=7.358
|
? TT=7.46
|
? (TO) TT=1800.13
|
? TT=3.764
|
? TT=3.756
|
? TT=3.579
|
Signal TT=6.114
|
? (TO) TT=1800.08
|
? (TO) TT=1800.03
|
? (MO) TT=1.668
|
? TT=3.003
|
? TT=3.213
|
? TT=448.185
|
? (MO) TT=1.651
|
fisher/ FISCHER11-4-fair.xml |
|
? TT=7.159
|
? TT=7.413
|
? (TO) TT=1800.02
|
? TT=3.828
|
? TT=3.745
|
? TT=4.4
|
Signal TT=6.267
|
? (TO) TT=1800.08
|
? (TO) TT=1800.1
|
? (MO) TT=1.664
|
? TT=3.397
|
? TT=3.394
|
? TT=1333.03
|
? (MO) TT=1.669
|
fisher/ FISCHER11-5-fair.xml |
UNSAT
TT=1567.98
|
? TT=7.477
|
? TT=7.185
|
UNSAT TT=1567.98
|
? TT=3.804
|
? TT=3.815
|
? TT=4.884
|
Signal TT=6.198
|
? (TO) TT=1800.05
|
? (TO) TT=1800.02
|
? (MO) TT=1.64
|
? TT=3.728
|
? TT=3.5
|
? (TO) TT=1803.2
|
? (MO) TT=1.688
|
fisher/ FISCHER11-6-fair.xml |
UNSAT
TT=1569.49
|
? TT=7.475
|
? TT=7.228
|
UNSAT TT=1569.49
|
? TT=3.913
|
? TT=3.961
|
? TT=4.418
|
Signal TT=7.021
|
? (TO) TT=1800.04
|
? (TO) TT=1800.03
|
? (MO) TT=1.684
|
? TT=3.873
|
? TT=3.895
|
? TT=813.44
|
? (MO) TT=1.667
|
fisher/ FISCHER11-7-fair.xml |
|
? TT=7.539
|
? TT=7.586
|
? (TO) TT=1800.03
|
? TT=3.884
|
? TT=3.892
|
? TT=4.303
|
Signal TT=6.577
|
? (TO) TT=1800.07
|
? (TO) TT=1800.08
|
? (MO) TT=1.61
|
? TT=4.077
|
? TT=4.005
|
? TT=963.746
|
? (MO) TT=1.668
|
fisher/ FISCHER11-8-fair.xml |
UNSAT
TT=1567.8
|
? TT=7.478
|
? TT=7.378
|
UNSAT TT=1567.8
|
? TT=3.895
|
? TT=4.004
|
? TT=4.495
|
Signal TT=7.437
|
? (TO) TT=1800.07
|
? (TO) TT=1800
|
? (MO) TT=1.672
|
? TT=4.288
|
? TT=3.894
|
? TT=1141.32
|
? (MO) TT=1.662
|
Bench 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 |
---|
fisher/ FISCHER11-9-fair.xml |
UNSAT
TT=1573.15
|
? TT=7.282
|
? TT=7.253
|
UNSAT TT=1573.15
|
? TT=3.974
|
? TT=4.019
|
? TT=3.621
|
Signal TT=6.717
|
? (TO) TT=1800.07
|
? (TO) TT=1800.06
|
? (MO) TT=1.676
|
? TT=4.312
|
? TT=4.001
|
? (TO) TT=1802.98
|
? (MO) TT=1.668
|
fisher/ FISCHER1-1-fair.xml |
UNSAT
TT=0.046
|
? (TO) TT=1800.16
|
? (TO) TT=1800.17
|
UNSAT TT=0.046
|
? (MO) TT=0.005
|
? (MO) TT=0.006
|
? TT=13.09
|
? (MO) TT=5.659
|
? (TO) TT=1800.09
|
? (TO) TT=1800.01
|
Signal TT=0.29
|
? (MO) TT=27.417
|
? (MO) TT=5.511
|
? (MO) TT=27.88
|
Signal TT=0.275
|
fisher/ FISCHER1-2-fair.xml |
UNSAT
TT=0.06
|
? (TO) TT=1800.21
|
? (TO) TT=1800.17
|
UNSAT TT=0.06
|
? (MO) TT=0.006
|
? (MO) TT=0.004
|
? TT=6.083
|
? (MO) TT=10.809
|
? (TO) TT=1800.02
|
? (TO) TT=1800.06
|
Signal TT=0.478
|
? (MO) TT=16.034
|
? (MO) TT=9.402
|
? (MO) TT=32.93
|
Signal TT=0.478
|
fisher/ FISCHER1-3-fair.xml |
UNSAT
TT=0.086
|
? TT=14.391
|
? TT=15.305
|
UNSAT TT=0.086
|
? TT=670.991
|
? TT=703.811
|
? TT=5.235
|
? (MO) TT=3.786
|
? (TO) TT=1800.07
|
? (TO) TT=1800.01
|
Signal TT=0.684
|
? (MO) TT=5.98
|
? (MO) TT=7.485
|
? (MO) TT=45.06
|
Signal TT=0.682
|
fisher/ FISCHER1-4-fair.xml |
UNSAT
TT=0.116
|
? TT=14.742
|
? TT=15.3
|
UNSAT TT=0.116
|
? TT=16.701
|
? TT=17.278
|
? TT=3.691
|
Signal TT=6.235
|
? (TO) TT=1800.02
|
? (TO) TT=1800.04
|
Signal TT=0.999
|
? TT=15.172
|
? TT=14.973
|
? (MO) TT=58.42
|
Signal TT=1.113
|
fisher/ FISCHER1-5-fair.xml |
UNSAT
TT=0.18
|
? TT=14.037
|
? TT=13.706
|
UNSAT TT=0.18
|
? TT=3.714
|
? TT=3.686
|
? TT=5.06
|
Signal TT=6.58
|
? (TO) TT=1800.01
|
? (TO) TT=1800.05
|
Signal TT=1.184
|
? TT=3.629
|
? TT=3.536
|
? (MO) TT=66.57
|
Signal TT=1.152
|
fisher/ FISCHER1-6-fair.xml |
UNSAT
TT=0.318
|
? TT=10.093
|
? TT=10.345
|
UNSAT TT=0.318
|
? TT=3.783
|
? TT=3.694
|
? TT=4.565
|
Signal TT=6.371
|
? (TO) TT=1800.06
|
? (TO) TT=1800.04
|
Signal TT=1.31
|
? TT=4.888
|
? TT=4.857
|
? (MO) TT=83.28
|
Signal TT=1.297
|
fisher/ FISCHER2-1-fair.xml |
UNSAT
TT=0.069
|
? (TO) TT=1800.26
|
? (TO) TT=1800.3
|
UNSAT TT=0.069
|
? TT=970.433
|
? TT=903.411
|
? TT=5.168
|
? (MO) TT=4.167
|
? (TO) TT=1800.08
|
? (TO) TT=1800.02
|
Signal TT=0.516
|
? (MO) TT=5.252
|
? (MO) TT=5.986
|
? (MO) TT=35.79
|
Signal TT=0.53
|
fisher/ FISCHER2-2-fair.xml |
|
? TT=15.701
|
? TT=14.378
|
? (TO) TT=1800.03
|
? TT=14.04
|
? TT=14.306
|
? TT=5.08
|
Signal TT=6.566
|
? (TO) TT=1800
|
? (TO) TT=1800.05
|
Signal TT=0.948
|
? (exit code) TT=13.843
|
? (exit code) TT=14.921
|
? (MO) TT=57.11
|
Signal TT=0.95
|
fisher/ FISCHER2-3-fair.xml |
UNSAT
TT=1568.6
|
? TT=10.187
|
? TT=9.887
|
UNSAT TT=1568.6
|
? TT=3.821
|
? TT=3.799
|
? TT=4.383
|
Signal TT=6.2
|
? (TO) TT=1800.01
|
? (TO) TT=1800.06
|
Signal TT=1.361
|
? TT=4.9
|
? TT=4.824
|
? (MO) TT=80.59
|
Signal TT=1.318
|
Bench 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 |
---|
fisher/ FISCHER2-4-fair.xml |
UNSAT
TT=1562.84
|
? TT=7.175
|
? TT=7.304
|
UNSAT TT=1562.84
|
? TT=3.672
|
? TT=3.702
|
? TT=4.386
|
Signal TT=6.161
|
? (TO) TT=1800.06
|
? (TO) TT=1800.08
|
Signal TT=2.004
|
? TT=4.952
|
? TT=4.572
|
? (MO) TT=106.06
|
Signal TT=1.715
|
fisher/ FISCHER2-5-fair.xml |
UNSAT
TT=1573.72
|
? TT=7.743
|
? TT=7.221
|
UNSAT TT=1573.72
|
? TT=4.141
|
? TT=4.243
|
? TT=4.949
|
Signal TT=6.545
|
? (TO) TT=1800.01
|
? (TO) TT=1800.09
|
Signal TT=2.252
|
? TT=4.702
|
? TT=4.518
|
? TT=131.44
|
Signal TT=2.185
|
fisher/ FISCHER2-6-fair.xml |
|
? TT=7.382
|
? TT=7.245
|
? (TO) TT=1800.09
|
? TT=3.66
|
? TT=3.673
|
? TT=3.711
|
Signal TT=6.619
|
? (TO) TT=1800.02
|
? (TO) TT=1800.02
|
Signal TT=2.409
|
? TT=3.525
|
? TT=3.278
|
? TT=1.18
|
Signal TT=2.511
|
fisher/ FISCHER2-7-fair.xml |
|
? TT=7.358
|
? TT=7.474
|
? (TO) TT=1800.09
|
? TT=3.805
|
? TT=3.735
|
? TT=3.703
|
Signal TT=6.322
|
? (TO) TT=1800.1
|
? (TO) TT=1800.05
|
Signal TT=2.882
|
? TT=3.321
|
? TT=3.422
|
? TT=174.768
|
Signal TT=2.773
|
fisher/ FISCHER3-1-fair.xml |
UNSAT
TT=0.089
|
? TT=16.514
|
? (TO) TT=1800.21
|
UNSAT TT=0.089
|
? TT=303.98
|
? TT=309.854
|
? TT=4.636
|
? (MO) TT=4.139
|
? (TO) TT=1800.09
|
? (TO) TT=1800.05
|
Signal TT=0.772
|
? (MO) TT=8.91
|
? (MO) TT=9.025
|
? (MO) TT=51.88
|
Signal TT=0.776
|
fisher/ FISCHER3-2-fair.xml |
|
? TT=9.693
|
? TT=10.033
|
? (TO) TT=1800.09
|
? TT=3.717
|
? TT=3.703
|
? TT=4.981
|
Signal TT=7.296
|
? (TO) TT=1800.09
|
? (TO) TT=1800.08
|
Signal TT=1.307
|
? TT=4.451
|
? TT=4.559
|
? (MO) TT=88.63
|
Signal TT=1.371
|
fisher/ FISCHER3-3-fair.xml |
|
? TT=7.284
|
? TT=9.282
|
? (TO) TT=1800.09
|
? TT=3.669
|
? TT=3.702
|
? TT=4.936
|
Signal TT=6.425
|
? (TO) TT=1800.05
|
? (TO) TT=1800.09
|
Signal TT=1.879
|
? TT=4.668
|
? TT=4.152
|
? TT=121.961
|
Signal TT=1.979
|
fisher/ FISCHER3-4-fair.xml |
|
? TT=7.553
|
? TT=7.212
|
? (TO) TT=1800.07
|
? TT=3.923
|
? TT=3.932
|
? TT=4.106
|
Signal TT=6.677
|
? (TO) TT=1800.01
|
? (TO) TT=1800.01
|
Signal TT=2.752
|
? TT=3.735
|
? TT=3.59
|
? TT=148.781
|
Signal TT=2.71
|
fisher/ FISCHER3-5-fair.xml |
UNSAT
TT=1570.51
|
? TT=7.222
|
? TT=7.479
|
UNSAT TT=1570.51
|
? TT=3.957
|
? TT=3.822
|
? TT=5.122
|
Signal TT=6.318
|
? (TO) TT=1800.04
|
? (TO) TT=1800.01
|
Signal TT=2.989
|
? TT=3.522
|
? TT=3.595
|
? TT=183.52
|
Signal TT=3.107
|
fisher/ FISCHER3-6-fair.xml |
UNSAT
TT=1568.1
|
? TT=7.104
|
? TT=7.394
|
UNSAT TT=1568.1
|
? TT=3.76
|
? TT=3.713
|
? TT=4.927
|
Signal TT=6.251
|
? (TO) TT=1800.01
|
? (TO) TT=1800.05
|
Signal TT=3.564
|
? TT=2.783
|
? TT=2.909
|
? TT=234.764
|
Signal TT=3.744
|
Bench 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 |
---|
fisher/ FISCHER3-7-fair.xml |
UNSAT
TT=1572.02
|
? TT=7.222
|
? TT=7.457
|
UNSAT TT=1572.02
|
? TT=3.895
|
? TT=3.764
|
? TT=3.605
|
Signal TT=6.58
|
? (TO) TT=1800.08
|
? (TO) TT=1800.03
|
Signal TT=4.713
|
? TT=3.281
|
? TT=3.428
|
? TT=249.43
|
Signal TT=4.823
|
fisher/ FISCHER3-8-fair.xml |
UNSAT
TT=1563.86
|
? TT=7.885
|
? TT=7.405
|
UNSAT TT=1563.86
|
? TT=3.977
|
? TT=3.822
|
? TT=4.858
|
Signal TT=6.044
|
? (TO) TT=1800.1
|
? (TO) TT=1800.09
|
Signal TT=5.42
|
? TT=3.302
|
? TT=3.405
|
? TT=289.78
|
Signal TT=5.33
|
fisher/ FISCHER4-1-fair.xml |
UNSAT
TT=0.115
|
? TT=13.286
|
? TT=13.597
|
UNSAT TT=0.115
|
? TT=3.81
|
? TT=3.846
|
? TT=4.339
|
Signal TT=6.696
|
? (TO) TT=1800.03
|
? (TO) TT=1800.01
|
Signal TT=1.004
|
? TT=4.007
|
? TT=3.881
|
? (MO) TT=64.35
|
Signal TT=1.031
|
fisher/ FISCHER4-2-fair.xml |
UNSAT
TT=1568.1
|
? TT=7.51
|
? TT=7.286
|
UNSAT TT=1568.1
|
? TT=3.911
|
? TT=3.816
|
? TT=4.936
|
Signal TT=6.583
|
? (TO) TT=1800.09
|
? (TO) TT=1800.06
|
Signal TT=1.814
|
? TT=3.946
|
? TT=3.805
|
? (MO) TT=106.69
|
Signal TT=1.813
|
fisher/ FISCHER4-3-fair.xml |
|
? TT=7.259
|
? TT=7.269
|
? (TO) TT=1800.04
|
? TT=4.477
|
? TT=4.829
|
? TT=5.089
|
Signal TT=6.605
|
? (TO) TT=1800.08
|
? (TO) TT=1800.01
|
Signal TT=2.49
|
? TT=4.374
|
? TT=3.376
|
? TT=160.727
|
Signal TT=2.477
|
fisher/ FISCHER4-4-fair.xml |
UNSAT
TT=1569.34
|
? TT=7.369
|
? TT=7.251
|
UNSAT TT=1569.34
|
? TT=3.825
|
? TT=3.857
|
? TT=5.062
|
Signal TT=6.47
|
? (TO) TT=1800.02
|
? (TO) TT=1800.11
|
Signal TT=3.4
|
? TT=2.581
|
? TT=2.715
|
? TT=211.407
|
Signal TT=3.593
|
fisher/ FISCHER4-5-fair.xml |
UNSAT
TT=1572.26
|
? TT=7.602
|
? TT=7.411
|
UNSAT TT=1572.26
|
? TT=3.75
|
? TT=3.798
|
? TT=4.953
|
Signal TT=6.676
|
? (TO) TT=1800.02
|
? (TO) TT=1800
|
Signal TT=6.042
|
? TT=3.234
|
? TT=3.054
|
? TT=251.601
|
Signal TT=6.236
|
fisher/ FISCHER4-6-fair.xml |
|
? TT=7.203
|
? TT=7.256
|
? (TO) TT=1800.08
|
? TT=3.813
|
? TT=3.78
|
? TT=4.941
|
Signal TT=6.081
|
? (TO) TT=1800.03
|
? (TO) TT=1800.1
|
Signal TT=5.976
|
? TT=3.451
|
? TT=3.464
|
? TT=296.78
|
Signal TT=5.665
|
fisher/ FISCHER4-7-fair.xml |
|
? TT=7.209
|
? TT=7.194
|
? (TO) TT=1800.11
|
? TT=3.694
|
? TT=3.69
|
? TT=4.563
|
Signal TT=7.122
|
? (TO) TT=1800.03
|
? (TO) TT=1800.07
|
? (MO) TT=1.672
|
? TT=3.785
|
? TT=3.81
|
? TT=616.196
|
? (MO) TT=1.681
|
fisher/ FISCHER4-8-fair.xml |
|
? TT=7.498
|
? TT=10.7
|
? (TO) TT=1800.07
|
? TT=3.826
|
? TT=3.707
|
? TT=3.563
|
Signal TT=6.739
|
? (TO) TT=1800.03
|
? (TO) TT=1800.09
|
? (MO) TT=1.697
|
? TT=2.979
|
? TT=2.96
|
? TT=389.599
|
? (MO) TT=1.691
|
Bench 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 |
---|
fisher/ FISCHER4-9-fair.xml |
UNSAT
TT=1563.83
|
? TT=7.167
|
? TT=7.276
|
UNSAT TT=1563.83
|
? TT=3.836
|
? TT=3.796
|
? TT=4.861
|
Signal TT=6.41
|
? (TO) TT=1800.04
|
? (TO) TT=1800.08
|
? (MO) TT=1.553
|
? TT=3.016
|
? TT=3.045
|
? TT=438.397
|
? (MO) TT=1.673
|
fisher/ FISCHER5-10-fair.xml |
UNSAT
TT=1566.16
|
? TT=7.41
|
? TT=7.291
|
UNSAT TT=1566.16
|
? TT=3.972
|
? TT=3.9
|
? TT=4.972
|
Signal TT=6.096
|
? (TO) TT=1800.07
|
? (TO) TT=1800.01
|
? (MO) TT=1.673
|
? TT=3.674
|
? TT=3.416
|
? TT=1473.35
|
? (MO) TT=1.774
|
fisher/ FISCHER5-1-fair.xml |
UNSAT
TT=0.147
|
? TT=10.758
|
? TT=11.221
|
UNSAT TT=0.147
|
? TT=3.829
|
? TT=3.776
|
? TT=5.405
|
Signal TT=6.4
|
? (TO) TT=1800.02
|
? (TO) TT=1800.02
|
Signal TT=1.294
|
? TT=4.666
|
? TT=4.827
|
? (MO) TT=81.71
|
Signal TT=1.29
|
fisher/ FISCHER5-2-fair.xml |
UNSAT
TT=1572.45
|
? TT=7.483
|
? TT=7.462
|
UNSAT TT=1572.45
|
? TT=3.83
|
? TT=3.803
|
? TT=3.558
|
Signal TT=6.498
|
? (TO) TT=1800.03
|
? (TO) TT=1800.01
|
Signal TT=2.25
|
? TT=4.603
|
? TT=4.609
|
? TT=137.709
|
Signal TT=2.143
|
fisher/ FISCHER5-3-fair.xml |
|
? TT=7.359
|
? TT=8.071
|
? (TO) TT=1800.09
|
? TT=3.771
|
? TT=3.865
|
? TT=3.593
|
Signal TT=6.49
|
? (TO) TT=1800.01
|
? (TO) TT=1800.07
|
Signal TT=3.229
|
? TT=3.514
|
? TT=3.531
|
? TT=202.65
|
Signal TT=3.624
|
fisher/ FISCHER5-4-fair.xml |
|
? TT=7.529
|
? TT=7.467
|
? (TO) TT=1800.09
|
? TT=3.81
|
? TT=3.802
|
? TT=4.955
|
Signal TT=6.649
|
? (TO) TT=1800.01
|
? (TO) TT=1800.06
|
Signal TT=4.303
|
? TT=3.051
|
? TT=3.114
|
? TT=259.238
|
Signal TT=4.716
|
fisher/ FISCHER5-5-fair.xml |
UNSAT
TT=1573.57
|
? TT=7.357
|
? TT=7.23
|
UNSAT TT=1573.57
|
? TT=3.827
|
? TT=3.828
|
? TT=5.057
|
Signal TT=6.29
|
? (TO) TT=1800.1
|
? (TO) TT=1800.07
|
Signal TT=5.718
|
? TT=3.5
|
? TT=3.312
|
? TT=318.933
|
Signal TT=5.677
|
fisher/ FISCHER5-6-fair.xml |
UNSAT
TT=1568.37
|
? TT=7.354
|
? TT=7.373
|
UNSAT TT=1568.37
|
? TT=3.779
|
? TT=3.805
|
? TT=5.034
|
Signal TT=6.49
|
? (TO) TT=1800.08
|
? (TO) TT=1800.04
|
? (exit code) TT=1.668
|
? TT=3.085
|
? TT=2.906
|
? TT=385.114
|
? (MO) TT=1.677
|
fisher/ FISCHER5-7-fair.xml |
|
? TT=7.254
|
? TT=7.443
|
? (TO) TT=1800.1
|
? TT=3.798
|
? TT=3.776
|
? TT=3.563
|
Signal TT=6.247
|
? (TO) TT=1800.1
|
? (TO) TT=1800.01
|
? (MO) TT=1.641
|
? TT=3.209
|
? TT=3.016
|
? TT=429.269
|
? (MO) TT=1.687
|
fisher/ FISCHER5-8-fair.xml |
|
? TT=7.223
|
? TT=7.228
|
? (TO) TT=1800.03
|
? TT=3.742
|
? TT=3.841
|
? TT=4.865
|
Signal TT=6.793
|
? (TO) TT=1800.07
|
? (TO) TT=1800.01
|
? (MO) TT=1.684
|
? TT=3.519
|
? TT=3.304
|
? TT=493.845
|
? (MO) TT=1.672
|
Bench 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 |
---|
fisher/ FISCHER5-9-fair.xml |
|
? TT=7.235
|
? TT=7.117
|
? (TO) TT=1800.04
|
? TT=3.718
|
? TT=3.807
|
? TT=3.627
|
Signal TT=6.133
|
? (TO) TT=1800.01
|
? (TO) TT=1800.06
|
? (MO) TT=1.675
|
? TT=3.458
|
? TT=3.457
|
? TT=559.163
|
? (MO) TT=1.665
|
fisher/ FISCHER6-10-fair.xml |
|
? TT=7.428
|
? TT=7.271
|
? (TO) TT=1800.09
|
? TT=3.947
|
? TT=4.031
|
? TT=3.626
|
Signal TT=6.877
|
? (TO) TT=1800.07
|
? (TO) TT=1800.09
|
? (MO) TT=1.684
|
? TT=3.596
|
? TT=3.532
|
? TT=738.804
|
? (MO) TT=1.786
|
fisher/ FISCHER6-11-fair.xml |
UNSAT
TT=1575.79
|
? TT=9.443
|
? TT=7.318
|
UNSAT TT=1575.79
|
? TT=5.276
|
? TT=4.678
|
? TT=4.433
|
Signal TT=6.563
|
? (TO) TT=1800.03
|
? (TO) TT=1800.01
|
? (MO) TT=2.086
|
? TT=3.813
|
? TT=3.855
|
? (TO) TT=1804.01
|
? (MO) TT=1.672
|
fisher/ FISCHER6-1-fair.xml |
UNSAT
TT=0.18
|
? TT=7.388
|
? TT=7.225
|
UNSAT TT=0.18
|
? TT=3.785
|
? TT=3.908
|
? TT=5.004
|
Signal TT=6.568
|
? (TO) TT=1800.1
|
? (TO) TT=1800.01
|
Signal TT=1.479
|
? TT=4.301
|
? TT=4.26
|
? (MO) TT=100.1
|
Signal TT=1.578
|
fisher/ FISCHER6-2-fair.xml |
UNSAT
TT=1569.16
|
? TT=7.24
|
? TT=7.298
|
UNSAT TT=1569.16
|
? TT=3.794
|
? TT=3.708
|
? TT=3.619
|
Signal TT=6.86
|
? (TO) TT=1800.08
|
? (TO) TT=1800
|
Signal TT=2.955
|
? TT=3.913
|
? TT=3.704
|
? TT=159.961
|
Signal TT=2.614
|
fisher/ FISCHER6-3-fair.xml |
|
? TT=7.375
|
? TT=7.201
|
? (TO) TT=1800.05
|
? TT=3.756
|
? TT=3.763
|
? TT=5.106
|
Signal TT=6.815
|
? (TO) TT=1800.06
|
? (TO) TT=1800
|
Signal TT=3.956
|
? TT=3.174
|
? TT=3.183
|
? TT=237.556
|
Signal TT=3.916
|
fisher/ FISCHER6-4-fair.xml |
|
? TT=7.186
|
? TT=7.228
|
? (TO) TT=1800.07
|
? TT=3.964
|
? TT=3.807
|
? TT=4.434
|
Signal TT=6.42
|
? (TO) TT=1800.06
|
? (TO) TT=1800.09
|
Signal TT=5.565
|
? TT=3.528
|
? TT=3.335
|
? TT=308.99
|
Signal TT=5.565
|
fisher/ FISCHER6-5-fair.xml |
|
? TT=7.184
|
? TT=7.352
|
? (TO) TT=1800.03
|
? TT=3.776
|
? TT=3.775
|
? TT=4.45
|
Signal TT=6.7
|
? (TO) TT=1800.08
|
? (TO) TT=1800.04
|
? (MO) TT=1.69
|
? TT=2.934
|
? TT=3.148
|
? TT=379.897
|
? (MO) TT=1.612
|
fisher/ FISCHER6-6-fair.xml |
|
? TT=7.096
|
? TT=7.359
|
? (TO) TT=1800.03
|
? TT=3.786
|
? TT=3.773
|
? TT=3.884
|
Signal TT=6.385
|
? (TO) TT=1800.03
|
? (TO) TT=1800.08
|
? (MO) TT=1.688
|
? TT=3.428
|
? TT=3.422
|
? TT=466.22
|
? (MO) TT=2.061
|
fisher/ FISCHER6-7-fair.xml |
|
? TT=7.445
|
? TT=7.27
|
? (TO) TT=1800.12
|
? TT=3.771
|
? TT=3.802
|
? TT=4.896
|
Signal TT=6.574
|
? (TO) TT=1800.05
|
? (TO) TT=1800.03
|
? (MO) TT=1.652
|
? TT=3.542
|
? TT=3.337
|
? TT=537.278
|
? (MO) TT=1.674
|
Bench 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 |
---|
fisher/ FISCHER6-8-fair.xml |
UNSAT
TT=1563.95
|
? TT=7.564
|
? TT=7.319
|
UNSAT TT=1563.95
|
? TT=3.991
|
? TT=4
|
? TT=4.174
|
Signal TT=6.811
|
? (TO) TT=1800.05
|
? (TO) TT=1800.04
|
? (MO) TT=1.678
|
? TT=3.418
|
? TT=3.443
|
? TT=596.723
|
? (MO) TT=1.677
|
fisher/ FISCHER6-9-fair.xml |
UNSAT
TT=1569.57
|
? TT=7.515
|
? TT=7.389
|
UNSAT TT=1569.57
|
? TT=3.924
|
? TT=3.907
|
? TT=4.959
|
Signal TT=7.62
|
? (TO) TT=1800.04
|
? (TO) TT=1800.06
|
? (MO) TT=1.57
|
? TT=3.475
|
? TT=3.431
|
? TT=681.719
|
? (MO) TT=1.677
|
fisher/ FISCHER7-10-fair.xml |
UNSAT
TT=1574.11
|
? TT=7.384
|
? TT=7.429
|
UNSAT TT=1574.11
|
? TT=3.976
|
? TT=3.925
|
? TT=5.066
|
Signal TT=6.959
|
? (TO) TT=1800.09
|
? (TO) TT=1800.08
|
? (MO) TT=1.668
|
? TT=3.946
|
? TT=3.903
|
? TT=864.494
|
? (MO) TT=1.667
|
fisher/ FISCHER7-11-fair.xml |
UNSAT
TT=1569.64
|
? TT=7.365
|
? TT=7.571
|
UNSAT TT=1569.64
|
? TT=3.951
|
? TT=3.894
|
? TT=4.548
|
Signal TT=6.949
|
? (TO) TT=1800
|
? (TO) TT=1800.06
|
? (MO) TT=1.659
|
? TT=4.014
|
? TT=3.759
|
? (TO) TT=1804.05
|
? (MO) TT=1.555
|
fisher/ FISCHER7-12-fair.xml |
|
? TT=7.546
|
? TT=7.381
|
? (TO) TT=1800.12
|
? TT=3.967
|
? TT=4.003
|
? TT=5.07
|
Signal TT=7.687
|
? (TO) TT=1800.03
|
? (TO) TT=1800.07
|
? (MO) TT=1.673
|
? TT=3.831
|
? TT=4.111
|
? TT=1013.71
|
? (MO) TT=1.673
|
fisher/ FISCHER7-1-fair.xml |
UNSAT
TT=0.219
|
? TT=7.455
|
? TT=7.481
|
UNSAT TT=0.219
|
? TT=5.14
|
? TT=5.045
|
? TT=5.044
|
Signal TT=6.759
|
? (TO) TT=1800.06
|
? (TO) TT=1800.1
|
Signal TT=1.829
|
? TT=4.315
|
? TT=4.496
|
? (MO) TT=109.82
|
Signal TT=1.89
|
fisher/ FISCHER7-2-fair.xml |
UNSAT
TT=1572.79
|
? TT=7.382
|
? TT=7.307
|
UNSAT TT=1572.79
|
? TT=3.828
|
? TT=3.818
|
? TT=5.118
|
Signal TT=6.716
|
? (TO) TT=1800.05
|
? (TO) TT=1800.07
|
Signal TT=3.081
|
? TT=3.641
|
? TT=3.638
|
? TT=192.897
|
Signal TT=3.186
|
fisher/ FISCHER7-3-fair.xml |
|
? TT=7.249
|
? TT=7.454
|
? (TO) TT=1800.09
|
? TT=3.662
|
? TT=3.785
|
? TT=3.737
|
Signal TT=6.825
|
? (TO) TT=1800.07
|
? (TO) TT=1800.01
|
Signal TT=4.776
|
? TT=3.309
|
? TT=3.166
|
? TT=1210.16
|
Signal TT=5.021
|
fisher/ FISCHER7-4-fair.xml |
|
? TT=7.186
|
? TT=7.216
|
? (TO) TT=1800.08
|
? TT=3.702
|
? TT=3.679
|
? TT=4.978
|
Signal TT=6.315
|
? (TO) TT=1800.07
|
? (TO) TT=1800.03
|
? (MO) TT=1.692
|
? TT=3.107
|
? TT=2.876
|
? TT=360.815
|
? (MO) TT=1.68
|
fisher/ FISCHER7-5-fair.xml |
UNSAT
TT=1564.07
|
? TT=8.008
|
? TT=8.991
|
UNSAT TT=1564.07
|
? TT=3.91
|
? TT=3.904
|
? TT=4.466
|
Signal TT=6.74
|
? (TO) TT=1800.09
|
? (TO) TT=1800.06
|
? (MO) TT=1.656
|
? TT=3.217
|
? TT=3.23
|
? TT=439.553
|
? (MO) TT=1.682
|
Bench 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 |
---|
fisher/ FISCHER7-6-fair.xml |
|
? TT=7.228
|
? TT=7.325
|
? (TO) TT=1800.03
|
? TT=3.786
|
? TT=5.739
|
? TT=4.857
|
Signal TT=6.584
|
? (TO) TT=1800.04
|
? (TO) TT=1800
|
? (MO) TT=1.667
|
? TT=3.898
|
? TT=3.328
|
? TT=876.284
|
? (MO) TT=1.679
|
fisher/ FISCHER7-7-fair.xml |
|
? TT=7.472
|
? TT=7.256
|
? (TO) TT=1800.06
|
? TT=3.838
|
? TT=3.834
|
? TT=4.676
|
Signal TT=6.862
|
? (TO) TT=1800.06
|
? (TO) TT=1800.07
|
? (MO) TT=1.631
|
? TT=3.679
|
? TT=3.694
|
? TT=1524.71
|
? (MO) TT=1.673
|
fisher/ FISCHER7-8-fair.xml |
|
? TT=11.614
|
? TT=7.481
|
? (TO) TT=1800.06
|
? TT=3.877
|
? TT=3.866
|
? TT=3.726
|
Signal TT=6.707
|
? (TO) TT=1800
|
? (TO) TT=1800.1
|
? (MO) TT=2.281
|
? TT=4.058
|
? TT=3.86
|
? (TO) TT=1802.59
|
? (MO) TT=1.63
|
fisher/ FISCHER7-9-fair.xml |
UNSAT
TT=1568.74
|
? TT=7.238
|
? TT=7.39
|
UNSAT TT=1568.74
|
? TT=3.906
|
? TT=3.955
|
? TT=4.519
|
Signal TT=6.852
|
? (TO) TT=1800.09
|
? (TO) TT=1800.09
|
? (MO) TT=1.678
|
? TT=3.823
|
? TT=3.575
|
? TT=773.86
|
? (MO) TT=1.659
|
fisher/ FISCHER8-10-fair.xml |
|
? TT=7.382
|
? TT=7.26
|
? (TO) TT=1800.05
|
? TT=3.967
|
? TT=3.888
|
? TT=3.7
|
Signal TT=6.752
|
? (TO) TT=1800.01
|
? (TO) TT=1800.1
|
? (MO) TT=1.652
|
? TT=4.092
|
? TT=4.023
|
? TT=975.834
|
? (MO) TT=1.687
|
fisher/ FISCHER8-11-fair.xml |
UNSAT
TT=1573.77
|
? TT=7.448
|
? TT=7.328
|
UNSAT TT=1573.77
|
? TT=4.002
|
? TT=3.981
|
? TT=4.289
|
Signal TT=7.075
|
? (TO) TT=1800.08
|
? (TO) TT=1800.04
|
? (MO) TT=1.619
|
? TT=4.729
|
? TT=4.151
|
? (TO) TT=1802.19
|
? (MO) TT=1.793
|
fisher/ FISCHER8-12-fair.xml |
UNSAT
TT=1569.6
|
? TT=7.146
|
? TT=10.366
|
UNSAT TT=1569.6
|
? TT=3.981
|
? TT=3.925
|
? TT=3.665
|
Signal TT=6.671
|
? (TO) TT=1800.02
|
? (TO) TT=1800
|
? (MO) TT=1.668
|
? TT=4.265
|
? TT=4.283
|
? TT=1213.02
|
? (MO) TT=1.664
|
fisher/ FISCHER8-13-fair.xml |
UNSAT
TT=1566.77
|
? TT=7.437
|
? TT=7.26
|
UNSAT TT=1566.77
|
? TT=3.976
|
? TT=3.899
|
? TT=4.469
|
Signal TT=6.699
|
? (TO) TT=1800.05
|
? (TO) TT=1800.03
|
? (MO) TT=1.613
|
? TT=4.358
|
? TT=4.367
|
? (TO) TT=1804.11
|
? (MO) TT=1.874
|
fisher/ FISCHER8-1-fair.xml |
UNSAT
TT=0.267
|
? TT=9.169
|
? TT=7.26
|
UNSAT TT=0.267
|
? TT=5.178
|
? TT=4.366
|
? TT=3.682
|
Signal TT=7.311
|
? (TO) TT=1800.1
|
? (TO) TT=1800.08
|
Signal TT=2.069
|
? TT=4.133
|
? TT=4.232
|
? TT=127.039
|
Signal TT=2.071
|
fisher/ FISCHER8-2-fair.xml |
UNSAT
TT=1566.75
|
? TT=7.437
|
? TT=7.277
|
UNSAT TT=1566.75
|
? TT=3.798
|
? TT=3.833
|
? TT=4.306
|
Signal TT=6.631
|
? (TO) TT=1800.08
|
? (TO) TT=1800.1
|
Signal TT=3.465
|
? TT=2.87
|
? TT=2.763
|
? TT=226.822
|
Signal TT=3.649
|
Bench 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 |
---|
fisher/ FISCHER8-3-fair.xml |
|
? TT=7.419
|
? TT=7.204
|
? (TO) TT=1800.03
|
? TT=3.788
|
? TT=3.886
|
? TT=5.043
|
Signal TT=6.782
|
? (TO) TT=1800.07
|
? (TO) TT=1800.09
|
? (MO) TT=1.581
|
? TT=3.543
|
? TT=3.545
|
? TT=313.97
|
? (MO) TT=1.664
|
fisher/ FISCHER8-4-fair.xml |
UNSAT
TT=1562.71
|
? TT=7.524
|
? TT=7.483
|
UNSAT TT=1562.71
|
? TT=3.783
|
? TT=3.784
|
? TT=4.384
|
Signal TT=6.502
|
? (TO) TT=1800.02
|
? (TO) TT=1800.06
|
? (MO) TT=1.577
|
? TT=3.178
|
? TT=3.172
|
? TT=410.82
|
? (MO) TT=1.652
|
fisher/ FISCHER8-5-fair.xml |
|
? TT=7.443
|
? TT=7.451
|
? (TO) TT=1800.02
|
? TT=3.8
|
? TT=3.834
|
? TT=3.576
|
Signal TT=6.634
|
? (TO) TT=1800.03
|
? (TO) TT=1800.05
|
? (exit code) TT=1.674
|
? TT=3.284
|
? TT=3.448
|
? TT=513.437
|
? (MO) TT=1.612
|
fisher/ FISCHER8-6-fair.xml |
|
? TT=7.494
|
? TT=7.493
|
? (TO) TT=1800.03
|
? TT=3.844
|
? TT=3.76
|
? TT=5.093
|
Signal TT=6.561
|
? (TO) TT=1800.05
|
? (TO) TT=1800.03
|
? (MO) TT=1.732
|
? TT=3.661
|
? TT=3.592
|
? TT=595.634
|
? (MO) TT=1.701
|
fisher/ FISCHER8-7-fair.xml |
|
? TT=7.377
|
? TT=7.554
|
? (TO) TT=1800.06
|
? TT=3.837
|
? TT=3.838
|
? TT=3.61
|
Signal TT=6.86
|
? (TO) TT=1800.06
|
? (TO) TT=1800.05
|
? (MO) TT=1.974
|
? TT=3.856
|
? TT=3.973
|
? TT=701.307
|
? (MO) TT=1.681
|
fisher/ FISCHER8-8-fair.xml |
|
? TT=7.386
|
? TT=7.445
|
? (TO) TT=1800.03
|
? TT=3.945
|
? TT=3.911
|
? TT=3.676
|
Signal TT=6.719
|
? (TO) TT=1800.06
|
? (TO) TT=1800.08
|
? (MO) TT=1.653
|
? TT=3.884
|
? TT=3.904
|
? TT=792.71
|
? (MO) TT=1.687
|
fisher/ FISCHER8-9-fair.xml |
UNSAT
TT=1569.32
|
? TT=7.455
|
? TT=8.161
|
UNSAT TT=1569.32
|
? TT=3.759
|
? TT=3.885
|
? TT=3.675
|
Signal TT=6.525
|
? (TO) TT=1800.07
|
? (TO) TT=1800.07
|
? (MO) TT=1.667
|
? TT=3.748
|
? TT=3.934
|
? TT=879.687
|
? (MO) TT=1.66
|
fisher/ FISCHER9-10-fair.xml |
UNSAT
TT=1576.47
|
? TT=7.447
|
? TT=7.312
|
UNSAT TT=1576.47
|
? TT=3.9
|
? TT=3.903
|
? TT=4.956
|
Signal TT=6.722
|
? (TO) TT=1800
|
? (TO) TT=1800.02
|
? (MO) TT=1.686
|
? TT=3.962
|
? TT=3.915
|
? TT=1114.4
|
? (MO) TT=1.668
|
fisher/ FISCHER9-11-fair.xml |
UNSAT
TT=1575.68
|
? TT=7.171
|
? TT=7.182
|
UNSAT TT=1575.68
|
? TT=3.949
|
? TT=3.942
|
? TT=4.46
|
Signal TT=7.977
|
? (TO) TT=1800.08
|
? (TO) TT=1800.08
|
? (MO) TT=1.651
|
? TT=4.029
|
? TT=4.038
|
? TT=1200.6
|
? (exit code) TT=1.633
|
fisher/ FISCHER9-12-fair.xml |
UNSAT
TT=1570.84
|
? TT=9.382
|
? TT=8.45
|
UNSAT TT=1570.84
|
? TT=5.586
|
? TT=4.533
|
? TT=3.635
|
Signal TT=7.088
|
? (TO) TT=1800.06
|
? (TO) TT=1800.06
|
? (MO) TT=1.773
|
? TT=4.426
|
? TT=4.368
|
? (TO) TT=1802.41
|
? (MO) TT=1.748
|
Bench 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 |
---|
fisher/ FISCHER9-13-fair.xml |
UNSAT
TT=1569.26
|
? TT=7.374
|
? TT=7.439
|
UNSAT TT=1569.26
|
? TT=3.954
|
? TT=4.127
|
? TT=3.695
|
Signal TT=7.125
|
? (TO) TT=1800.06
|
? (TO) TT=1800.07
|
? (MO) TT=1.67
|
? TT=4.449
|
? TT=4.675
|
? (TO) TT=1803.07
|
? (MO) TT=1.651
|
fisher/ FISCHER9-14-fair.xml |
UNSAT
TT=1569.61
|
? TT=7.786
|
? TT=7.573
|
UNSAT TT=1569.61
|
? TT=4.862
|
? TT=4.827
|
? TT=4.52
|
Signal TT=7.224
|
? (TO) TT=1800.05
|
? (TO) TT=1800.08
|
? (MO) TT=1.875
|
? TT=4.598
|
? TT=4.544
|
? TT=1540.67
|
? (MO) TT=1.877
|
fisher/ FISCHER9-1-fair.xml |
UNSAT
TT=0.299
|
? TT=7.831
|
? TT=7.343
|
UNSAT TT=0.299
|
? TT=3.978
|
? TT=3.795
|
? TT=3.632
|
Signal TT=6.374
|
? (TO) TT=1800.04
|
? (TO) TT=1800.06
|
Signal TT=2.349
|
? TT=3.198
|
? TT=3.44
|
? TT=147.097
|
Signal TT=2.364
|
fisher/ FISCHER9-2-fair.xml |
UNSAT
TT=1563.94
|
? TT=7.51
|
? TT=7.448
|
UNSAT TT=1563.94
|
? TT=3.796
|
? TT=3.793
|
? TT=4.489
|
Signal TT=6.715
|
? (TO) TT=1800.04
|
? (TO) TT=1800.1
|
Signal TT=4.421
|
? TT=3.414
|
? TT=3.203
|
? TT=251.79
|
Signal TT=4.304
|
fisher/ FISCHER9-3-fair.xml |
UNSAT
TT=1570.39
|
? TT=7.376
|
? TT=7.318
|
UNSAT TT=1570.39
|
? TT=3.583
|
? TT=3.674
|
? TT=5.001
|
Signal TT=6.689
|
? (TO) TT=1800.02
|
? (TO) TT=1800.1
|
? (MO) TT=1.674
|
? TT=3.684
|
? TT=3.847
|
? TT=360.572
|
? (MO) TT=1.677
|
fisher/ FISCHER9-4-fair.xml |
|
? TT=11.618
|
? TT=7.462
|
? (TO) TT=1800.06
|
? TT=3.854
|
? TT=3.807
|
? TT=3.655
|
Signal TT=6.642
|
? (TO) TT=1800.01
|
? (TO) TT=1800.06
|
? (MO) TT=1.673
|
? TT=3.111
|
? TT=3.288
|
? TT=487
|
? (MO) TT=1.669
|
fisher/ FISCHER9-5-fair.xml |
|
? TT=7.574
|
? TT=7.242
|
? (TO) TT=1800.07
|
? TT=4.166
|
? TT=3.914
|
? TT=3.625
|
Signal TT=6.728
|
? (TO) TT=1800.06
|
? (TO) TT=1800.02
|
? (MO) TT=2.115
|
? TT=3.369
|
? TT=3.577
|
? TT=580.371
|
? (MO) TT=1.969
|
fisher/ FISCHER9-6-fair.xml |
|
? TT=7.269
|
? TT=7.412
|
? (TO) TT=1800.06
|
? TT=3.846
|
? TT=3.812
|
? TT=4.061
|
Signal TT=6.826
|
? (TO) TT=1800.01
|
? (TO) TT=1800.08
|
? (MO) TT=1.584
|
? TT=3.43
|
? TT=3.485
|
? TT=689.93
|
? (MO) TT=1.658
|
fisher/ FISCHER9-7-fair.xml |
UNSAT
TT=1575.92
|
? TT=8.856
|
? TT=7.409
|
UNSAT TT=1575.92
|
? TT=5.236
|
? TT=3.972
|
? TT=3.64
|
Signal TT=6.872
|
? (TO) TT=1800.06
|
? (TO) TT=1800
|
? (MO) TT=1.675
|
? TT=3.608
|
? TT=3.581
|
? TT=801.322
|
? (MO) TT=1.663
|
fisher/ FISCHER9-8-fair.xml |
|
? TT=7.313
|
? TT=7.546
|
? (TO) TT=1800.11
|
? TT=5.134
|
? TT=5.319
|
? TT=4.497
|
Signal TT=7.045
|
? (TO) TT=1800.04
|
? (TO) TT=1800.1
|
? (MO) TT=1.766
|
? TT=4.033
|
? TT=3.975
|
? TT=903.786
|
? (MO) TT=1.673
|
Bench 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 |
---|
fisher/ FISCHER9-9-fair.xml |
UNSAT
TT=1576.29
|
? TT=7.323
|
? TT=7.259
|
UNSAT TT=1576.29
|
? TT=4.019
|
? TT=3.993
|
? TT=3.651
|
Signal TT=6.366
|
? (TO) TT=1800.04
|
? (TO) TT=1800.1
|
? (MO) TT=1.67
|
? TT=3.777
|
? TT=3.907
|
? TT=1001.18
|
? (MO) TT=1.679
|
mknap/ mknap-1-0.xml |
SAT
TT=0.013
|
SAT TT=0.684
CHECKS=66
NODES=0
|
SAT TT=0.655
CHECKS=66
NODES=6
|
SAT TT=0.021
|
SAT TT=0.422
NODES=0
|
SAT TT=0.417
NODES=6
|
SAT TT=0.415
CHECKS=64
NODES=6
|
SAT TT=0.015
|
SAT TT=1.445
|
SAT TT=1.325
|
SAT TT=0.014
|
SAT TT=1.227
|
SAT TT=1.226
|
? (TO) TT=1800.24
|
SAT TT=0.013
|
mknap/ mknap-1-2.xml |
SAT
TT=0.023
|
SAT TT=2.198
CHECKS=39780
NODES=0
|
SAT TT=2.16
CHECKS=39780
NODES=15
|
SAT TT=0.023
|
SAT TT=0.703
NODES=0
|
SAT TT=0.659
NODES=15
|
SAT TT=0.7
CHECKS=32768
NODES=15
|
SAT TT=0.135
|
SAT TT=3.144
|
SAT TT=2.915
|
SAT TT=0.031
|
? (MO) TT=2.534
|
? (MO) TT=2.366
|
SAT TT=142.71
|
SAT TT=0.031
|
mknap/ mknap-1-3.xml |
SAT
TT=0.03
|
SAT TT=25.72
CHECKS=1311872
NODES=0
|
SAT TT=26.247
CHECKS=1311872
NODES=20
|
SAT TT=0.062
|
SAT TT=5.242
NODES=0
|
SAT TT=5.223
NODES=20
|
SAT TT=5.2
CHECKS=1048576
NODES=20
|
SAT TT=26.067
|
? (problem) TT=49.628
|
? (problem) TT=44.941
|
SAT TT=0.03
|
? (MO) TT=2.454
|
? (MO) TT=2.911
|
? (MO) TT=52.4
|
SAT TT=0.03
|
mknap/ mknap-1-4.xml |
SAT
TT=0.65
|
? (TO) TT=1800.09
|
? (TO) TT=1800.16
|
SAT TT=1.114
|
? (TO) TT=1800.02
|
? (TO) TT=1800.1
|
? (TO) TT=1800.01
|
? (MO) TT=225.439
|
? (MO) TT=0.028
|
? (MO) TT=0.025
|
SAT TT=0.702
|
? (MO) TT=2.587
|
? (MO) TT=2.909
|
? TT=152.018
|
SAT TT=0.65
|
mknap/ mknap-1-5.xml |
SAT
TT=1794.32
|
? (TO) TT=1800.12
|
? (TO) TT=1800.14
|
SAT TT=1794.32
|
? (TO) TT=1800.01
|
? (TO) TT=1800.09
|
? (TO) TT=1800.02
|
? (MO) TT=157.632
|
? (TO) TT=1800.09
|
? (TO) TT=1800
|
? (TO) TT=1800.06
|
? (MO) TT=3.634
|
? (MO) TT=4.083
|
? TT=128.106
|
? (TO) TT=1800.1
|
mknap/ mknap-1-6.xml |
|
? (TO) TT=1800.06
|
? (TO) TT=1800.17
|
? (TO) TT=1800.11
|
? (TO) TT=1800.07
|
? (TO) TT=1800.01
|
? (TO) TT=1800.09
|
? (MO) TT=157.045
|
? (TO) TT=1800.02
|
? (TO) TT=1800.08
|
? (TO) TT=1800.07
|
? (MO) TT=6.078
|
? (MO) TT=7.033
|
? TT=343.99
|
? (TO) TT=1800.01
|
ramsey/ramsey3/ ramsey-10-3.xml |
SAT
TT=0.021
|
SAT TT=0.795
CHECKS=703
NODES=45
|
SAT TT=0.778
CHECKS=623
NODES=56
|
SAT TT=1340.25
|
SAT TT=0.802
NODES=2
|
SAT TT=0.812
NODES=45
|
SAT TT=0.826
CHECKS=8918
NODES=45
|
SAT TT=0.021
|
SAT TT=1.338
|
SAT TT=1.288
|
SAT TT=2.54
|
SAT TT=1.539
|
SAT TT=1.102
|
SAT TT=0.92
|
SAT TT=0.038
|
ramsey/ramsey3/ ramsey-13-3.xml |
SAT
TT=0.066
|
SAT TT=0.898
CHECKS=1493
NODES=78
|
SAT TT=0.868
CHECKS=2649
NODES=168
|
? (TO) TT=1800.06
|
SAT TT=1.227
NODES=85
|
SAT TT=1.238
NODES=79
|
SAT TT=1.235
CHECKS=21334
NODES=79
|
SAT TT=0.066
|
SAT TT=1.691
|
SAT TT=1.64
|
SAT TT=288.454
|
SAT TT=2.225
|
SAT TT=1.73
|
SAT TT=1.01
|
SAT TT=1.456
|
ramsey/ramsey3/ ramsey-15-3.xml |
SAT
TT=0.92
|
SAT TT=1.326
CHECKS=105811
NODES=4047
|
SAT TT=1.161
CHECKS=34637
NODES=1260
|
? (TO) TT=1800.05
|
SAT TT=8.331
NODES=15414
|
SAT TT=2.255
NODES=1582
|
SAT TT=2.354
CHECKS=160169
NODES=1582
|
SAT TT=0.92
|
SAT TT=2.125
|
SAT TT=2.564
|
? (TO) TT=1800.02
|
SAT TT=4.335
|
SAT TT=3.818
|
SAT TT=2.14
|
? (TO) TT=1800.11
|
Bench 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 |
---|
ramsey/ramsey3/ ramsey-16-3.xml |
SAT
TT=0.809
|
SAT TT=1.444
CHECKS=100911
NODES=4947
|
SAT TT=1.765
CHECKS=192347
NODES=6160
|
? (TO) TT=1800.07
|
SAT TT=10.933
NODES=20087
|
SAT TT=2.152
NODES=1097
|
SAT TT=2.347
CHECKS=127442
NODES=1097
|
SAT TT=0.809
|
SAT TT=2.299
|
SAT TT=4.191
|
? (TO) TT=1800.06
|
SAT TT=3.737
|
SAT TT=3.199
|
SAT TT=6.79
|
? (TO) TT=1800.02
|
ramsey/ramsey3/ ramsey-17-3.xml |
|
? (TO) TT=1800.05
|
? (TO) TT=1800.1
|
? (TO) TT=1800.06
|
? (TO) TT=1800.07
|
? (TO) TT=1800.1
|
? (TO) TT=1800.07
|
? (TO) TT=1800.14
|
? (TO) TT=1800.05
|
? (TO) TT=1800.07
|
? (TO) TT=1800.04
|
? (TO) TT=1800.18
|
? (TO) TT=1800.08
|
? (TO) TT=1800.06
|
? (TO) TT=1800.06
|
ramsey/ramsey3/ ramsey-18-3.xml |
|
? (TO) TT=1800.08
|
? (TO) TT=1800.17
|
? (TO) TT=1800.03
|
? (TO) TT=1800.03
|
? (TO) TT=1800.06
|
? (TO) TT=1800.07
|
? (TO) TT=1800.14
|
? (TO) TT=1800.1
|
? (TO) TT=1800.04
|
? (TO) TT=1800.03
|
? (TO) TT=1800.13
|
? (TO) TT=1800.14
|
? (TO) TT=1800.09
|
? (TO) TT=1800.05
|
ramsey/ramsey3/ ramsey-20-3.xml |
|
? (TO) TT=1800.13
|
? (TO) TT=1800.08
|
? (TO) TT=1800.1
|
? (TO) TT=1800.02
|
? (TO) TT=1800.06
|
? (TO) TT=1800.02
|
? (TO) TT=1800.07
|
? (TO) TT=1800.1
|
? (TO) TT=1800.07
|
? (TO) TT=1800.07
|
? (TO) TT=1800.18
|
? (TO) TT=1800.14
|
? (TO) TT=1800.1
|
? (TO) TT=1800.07
|
ramsey/ramsey3/ ramsey-25-3.xml |
|
? (TO) TT=1800.08
|
? (TO) TT=1800.13
|
? (TO) TT=1800.05
|
? (TO) TT=1800
|
? (TO) TT=1800.01
|
? (TO) TT=1800.04
|
? (TO) TT=1800.05
|
? (TO) TT=1800.07
|
? (TO) TT=1800.01
|
? (TO) TT=1800.06
|
? (TO) TT=1800.74
|
? (TO) TT=1800.16
|
? (TO) TT=1800.01
|
? (TO) TT=1800.1
|
ramsey/ramsey4/ ramsey-25-4.xml |
SAT
TT=1.445
|
SAT TT=1.516
CHECKS=14768
NODES=306
|
SAT TT=1.445
CHECKS=17919
NODES=563
|
? (TO) TT=1800.03
|
SAT TT=5.577
NODES=316
|
SAT TT=5.808
NODES=300
|
SAT TT=6.038
CHECKS=421318
NODES=300
|
SAT TT=6.149
|
SAT TT=3.904
|
SAT TT=3.807
|
? (TO) TT=1800.08
|
SAT TT=5.632
|
SAT TT=4.753
|
SAT TT=8.535
|
? (TO) TT=1800.08
|
ramsey/ramsey4/ ramsey-30-4.xml |
SAT
TT=2.328
|
SAT TT=2.482
CHECKS=54908
NODES=4613
|
SAT TT=2.328
CHECKS=53543
NODES=1383
|
? (TO) TT=1800.02
|
SAT TT=10.465
NODES=488
|
SAT TT=10.95
NODES=461
|
SAT TT=11.069
CHECKS=749514
NODES=461
|
SAT TT=19.812
|
SAT TT=5.852
|
SAT TT=5.605
|
? (TO) TT=1800.05
|
SAT TT=6.489
|
SAT TT=5.39
|
SAT TT=24.61
|
? (TO) TT=1800.02
|
ramsey/ramsey4/ ramsey-32-4.xml |
SAT
TT=2.821
|
SAT TT=4.653
CHECKS=204768
NODES=19135
|
SAT TT=2.821
CHECKS=88184
NODES=1980
|
? (TO) TT=1800.08
|
SAT TT=15.705
NODES=687
|
SAT TT=15.537
NODES=637
|
SAT TT=15.784
CHECKS=971646
NODES=637
|
SAT TT=21.484
|
SAT TT=11.678
|
SAT TT=11.597
|
? (TO) TT=1800.11
|
SAT TT=25.862
|
SAT TT=23.485
|
SAT TT=52.75
|
? (TO) TT=1800.1
|
ramsey/ramsey4/ ramsey-33-4.xml |
SAT
TT=4.687
|
SAT TT=11.207
CHECKS=793508
NODES=56068
|
SAT TT=4.687
CHECKS=404172
NODES=6534
|
? (TO) TT=1800.02
|
SAT TT=32.432
NODES=3535
|
SAT TT=86.687
NODES=16092
|
SAT TT=107.833
CHECKS=4769958
NODES=16092
|
SAT TT=47.917
|
SAT TT=36.35
|
SAT TT=61.783
|
? (TO) TT=1800.09
|
SAT TT=28.65
|
SAT TT=25.639
|
SAT TT=55.09
|
? (TO) TT=1800.08
|
ramsey/ramsey4/ ramsey-34-4.xml |
SAT
TT=9.937
|
SAT TT=12.948
CHECKS=962133
NODES=55692
|
SAT TT=9.937
CHECKS=1730617
NODES=22093
|
? (TO) TT=1800.08
|
SAT TT=69.68
NODES=10536
|
SAT TT=101.695
NODES=18617
|
SAT TT=137.652
CHECKS=5447846
NODES=18617
|
SAT TT=106.147
|
SAT TT=45.511
|
SAT TT=19.908
|
? (TO) TT=1800.05
|
SAT TT=77.095
|
SAT TT=68.239
|
SAT TT=213.869
|
? (TO) TT=1800.09
|
Bench 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 |
---|
ramsey/ramsey4/ ramsey-35-4.xml |
SAT
TT=4.935
|
SAT TT=66.812
CHECKS=21748211
NODES=289273
|
SAT TT=4.935
CHECKS=527247
NODES=7538
|
? (TO) TT=1800.07
|
SAT TT=146.747
NODES=20409
|
? (TO) TT=1800.09
|
? (TO) TT=1800.05
|
SAT TT=891.506
|
SAT TT=173.312
|
SAT TT=1766.86
|
? (TO) TT=1800.08
|
SAT TT=480.262
|
SAT TT=414.783
|
? (TO) TT=1800.08
|
? (TO) TT=1800.07
|
ramsey/ramsey4/ ramsey-38-4.xml |
SAT
TT=314.837
|
? (TO) TT=1800.08
|
? (TO) TT=1800.08
|
? (TO) TT=1800.03
|
SAT TT=314.837
NODES=51127
|
? (TO) TT=1800.05
|
? (TO) TT=1800.09
|
? (TO) TT=1800.1
|
? (TO) TT=1800.04
|
? (TO) TT=0.03
|
? (TO) TT=1800.09
|
? (TO) TT=1800.23
|
? (TO) TT=1800.21
|
? (TO) TT=1800.14
|
? (TO) TT=1800.07
|
ramsey/ramsey4/ ramsey-45-4.xml |
|
? (TO) TT=1800.11
|
? (TO) TT=1800.19
|
? (TO) TT=1800.1
|
? (TO) TT=1800
|
? (TO) TT=1800.05
|
? (TO) TT=1800.1
|
? (TO) TT=1800.1
|
? (TO) TT=1800.02
|
? (TO) TT=0.026
|
? (TO) TT=1800.02
|
? (TO) TT=1800.21
|
? (TO) TT=1800.19
|
? (TO) TT=1800.09
|
? (TO) TT=1800.08
|
schurrLemma/ lemma-100-9-mod.xml |
UNSAT
TT=5.629
|
? (TO) TT=1800.04
|
? (TO) TT=1800.16
|
UNSAT TT=6.525
|
? (TO) TT=1800.09
|
? (TO) TT=1800.09
|
? (TO) TT=1800.03
|
UNSAT TT=62.213
|
UNSAT TT=706.322
|
UNSAT TT=498.15
|
UNSAT TT=187.929
|
UNSAT TT=406.484
|
Wrong Cert. TT=5.729
|
UNSAT TT=5.629
|
UNSAT TT=317.393
|
schurrLemma/ lemma-12-9-mod.xml |
UNSAT
TT=0.547
|
UNSAT TT=21.357
CHECKS=19441869
NODES=331786
|
UNSAT TT=16.509
CHECKS=14449590
NODES=114423
|
UNSAT TT=0.757
|
UNSAT TT=136.919
NODES=753931
|
UNSAT TT=30.537
NODES=470352
|
UNSAT TT=33.513
CHECKS=16466996
NODES=473811
|
UNSAT TT=19.147
|
UNSAT TT=44.56
|
UNSAT TT=138.061
|
UNSAT TT=2.318
|
UNSAT TT=372.754
|
Wrong Cert. TT=1.284
|
UNSAT TT=0.547
|
UNSAT TT=3.996
|
schurrLemma/ lemma-15-9-mod.xml |
UNSAT
TT=0.932
|
UNSAT TT=32.351
CHECKS=35246356
NODES=222839
|
UNSAT TT=30.76
CHECKS=34926943
NODES=212008
|
UNSAT TT=0.932
|
UNSAT TT=134.986
NODES=536401
|
UNSAT TT=40.072
NODES=257075
|
UNSAT TT=39.184
CHECKS=22289314
NODES=260173
|
UNSAT TT=27.023
|
UNSAT TT=54.701
|
UNSAT TT=169.079
|
UNSAT TT=4.171
|
UNSAT TT=226.104
|
Wrong Cert. TT=1.365
|
UNSAT TT=1.11
|
UNSAT TT=6.476
|
schurrLemma/ lemma-20-9-mod.xml |
UNSAT
TT=1.159
|
UNSAT TT=60.443
CHECKS=74907633
NODES=216653
|
UNSAT TT=53.315
CHECKS=70687294
NODES=208319
|
UNSAT TT=1.159
|
UNSAT TT=169.989
NODES=437275
|
UNSAT TT=73.503
NODES=256446
|
UNSAT TT=78.745
CHECKS=49616940
NODES=268285
|
UNSAT TT=24.987
|
UNSAT TT=77.122
|
UNSAT TT=224.851
|
UNSAT TT=7.552
|
UNSAT TT=375.171
|
Wrong Cert. TT=1.453
|
UNSAT TT=1.16
|
UNSAT TT=12.44
|
schurrLemma/ lemma-23-3.xml |
SAT
TT=0.038
|
SAT TT=0.753
CHECKS=417
NODES=0
|
SAT TT=0.738
CHECKS=864
NODES=35
|
SAT TT=0.038
|
SAT TT=0.832
NODES=25
|
SAT TT=0.817
NODES=25
|
SAT TT=0.786
CHECKS=9070
NODES=25
|
SAT TT=0.105
|
SAT TT=1.331
|
SAT TT=1.299
|
SAT TT=1.073
|
SAT TT=1.744
|
SAT TT=1.246
|
SAT TT=0.985
|
SAT TT=1.207
|
schurrLemma/ lemma-24-3.xml |
UNSAT
TT=0.325
|
UNSAT TT=1.198
CHECKS=139364
NODES=2835
|
UNSAT TT=1.114
CHECKS=138946
NODES=2816
|
UNSAT TT=2.032
|
UNSAT TT=2.1
NODES=3108
|
UNSAT TT=1.978
NODES=3521
|
UNSAT TT=1.767
CHECKS=272794
NODES=3521
|
UNSAT TT=0.329
|
UNSAT TT=0.879
|
UNSAT TT=0.983
|
UNSAT TT=101.659
|
UNSAT TT=2.193
|
UNSAT TT=1.88
|
UNSAT TT=0.325
|
UNSAT TT=262.822
|
schurrLemma/ lemma-30-9-mod.xml |
UNSAT
TT=1.716
|
UNSAT TT=159.269
CHECKS=219626483
NODES=216419
|
UNSAT TT=159.413
CHECKS=234055266
NODES=228874
|
UNSAT TT=1.716
|
UNSAT TT=408.124
NODES=469606
|
UNSAT TT=191.638
NODES=267828
|
UNSAT TT=175.929
CHECKS=111148701
NODES=256700
|
UNSAT TT=29.247
|
UNSAT TT=193.447
|
UNSAT TT=250.685
|
UNSAT TT=16.797
|
UNSAT TT=404.813
|
Wrong Cert. TT=1.916
|
UNSAT TT=2.609
|
UNSAT TT=25.579
|
Bench 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 |
---|
schurrLemma/ lemma-50-9-mod.xml |
UNSAT
TT=3.22
|
UNSAT TT=488.238
CHECKS=735106177
NODES=210961
|
UNSAT TT=466.921
CHECKS=750187571
NODES=209531
|
UNSAT TT=3.26
|
UNSAT TT=1265.47
NODES=463183
|
UNSAT TT=704.701
NODES=265837
|
UNSAT TT=684.496
CHECKS=357619618
NODES=260615
|
UNSAT TT=40.76
|
UNSAT TT=580.968
|
UNSAT TT=303.348
|
UNSAT TT=44.76
|
UNSAT TT=497.465
|
Wrong Cert. TT=2.824
|
UNSAT TT=3.22
|
UNSAT TT=66.028
|
schurrLemma/ lemma-66-4.xml |
SAT
TT=2.796
|
? (TO) TT=1800.12
|
SAT TT=753.112
CHECKS=468032914
NODES=2618851
|
? (TO) TT=1800.08
|
SAT TT=2.796
NODES=107
|
SAT TT=2.821
NODES=88
|
SAT TT=2.863
CHECKS=198363
NODES=88
|
? (TO) TT=1800.13
|
? (TO) TT=1800.09
|
? (TO) TT=1800.03
|
? (TO) TT=1800.03
|
? (TO) TT=1800.08
|
? (TO) TT=1800.13
|
SAT TT=187.75
|
? (TO) TT=1800.05
|
schurrLemma/ lemma-67-4.xml |
|
? (TO) TT=1800.11
|
? (TO) TT=1800.14
|
? (TO) TT=1800.05
|
? (TO) TT=1800.07
|
? (TO) TT=1800.05
|
? (TO) TT=1800.07
|
? (TO) TT=1800.16
|
? (TO) TT=1800.13
|
? (TO) TT=1800.03
|
? (TO) TT=1800.04
|
? (TO) TT=1800.1
|
? (TO) TT=1800.11
|
? (TO) TT=1800.09
|
? (TO) TT=1800.09
|