bqwh/bqwh-15-106_glb/ bqwh-15-106-11_glb.xml |
SAT
TT=0.018
|
SAT TT=0.807
CHECKS=30
NODES=379
|
SAT TT=0.831
CHECKS=30
NODES=396
|
SAT TT=0.025
|
SAT TT=0.414
NODES=205
|
SAT TT=0.417
NODES=292
|
SAT TT=0.454
CHECKS=0
NODES=281
|
SAT TT=0.023
|
SAT TT=3.261
|
SAT TT=3.071
|
SAT TT=0.018
|
SAT TT=1.023
|
SAT TT=1.023
|
SAT TT=1.05
|
SAT TT=0.019
|
bqwh/bqwh-15-106_glb/ bqwh-15-106-13_glb.xml |
SAT
TT=0.022
|
SAT TT=0.955
CHECKS=30
NODES=300
|
SAT TT=0.833
CHECKS=30
NODES=454
|
SAT TT=0.023
|
SAT TT=0.489
NODES=297
|
SAT TT=0.377
NODES=170
|
SAT TT=0.47
CHECKS=0
NODES=578
|
SAT TT=0.023
|
SAT TT=3.052
|
SAT TT=2.953
|
SAT TT=0.022
|
SAT TT=1.121
|
SAT TT=1.065
|
SAT TT=0.079
|
SAT TT=0.043
|
bqwh/bqwh-15-106_glb/ bqwh-15-106-15_glb.xml |
SAT
TT=0.03
|
SAT TT=0.933
CHECKS=30
NODES=301
|
SAT TT=0.936
CHECKS=30
NODES=1930
|
SAT TT=0.042
|
SAT TT=0.75
NODES=931
|
SAT TT=0.505
NODES=553
|
SAT TT=0.908
CHECKS=0
NODES=2764
|
SAT TT=0.037
|
SAT TT=2.919
|
SAT TT=2.746
|
SAT TT=0.053
|
SAT TT=1.335
|
SAT TT=1.114
|
SAT TT=1.1
|
SAT TT=0.03
|
bqwh/bqwh-15-106_glb/ bqwh-15-106-17_glb.xml |
SAT
TT=0.021
|
SAT TT=0.902
CHECKS=30
NODES=521
|
SAT TT=0.78
CHECKS=30
NODES=499
|
SAT TT=0.027
|
SAT TT=0.386
NODES=119
|
SAT TT=0.359
NODES=115
|
SAT TT=0.37
CHECKS=0
NODES=136
|
SAT TT=0.021
|
SAT TT=3.164
|
SAT TT=3.086
|
SAT TT=0.026
|
SAT TT=1.059
|
SAT TT=1.039
|
SAT TT=1.02
|
SAT TT=0.031
|
bqwh/bqwh-15-106_glb/ bqwh-15-106-19_glb.xml |
SAT
TT=0.02
|
SAT TT=0.747
CHECKS=30
NODES=146
|
SAT TT=0.824
CHECKS=30
NODES=733
|
SAT TT=0.022
|
SAT TT=0.406
NODES=122
|
SAT TT=0.371
NODES=122
|
SAT TT=0.413
CHECKS=0
NODES=354
|
SAT TT=0.02
|
SAT TT=3.032
|
SAT TT=2.896
|
SAT TT=0.031
|
SAT TT=0.985
|
SAT TT=0.835
|
SAT TT=1.05
|
SAT TT=0.024
|
bqwh/bqwh-15-106_glb/ bqwh-15-106-1_glb.xml |
SAT
TT=0.023
|
SAT TT=0.955
CHECKS=30
NODES=1638
|
SAT TT=0.825
CHECKS=30
NODES=775
|
SAT TT=0.026
|
SAT TT=0.59
NODES=601
|
SAT TT=0.556
NODES=644
|
SAT TT=0.694
CHECKS=0
NODES=1635
|
SAT TT=0.025
|
SAT TT=3.241
|
SAT TT=3.043
|
SAT TT=0.057
|
SAT TT=1.108
|
SAT TT=1.108
|
SAT TT=1.06
|
SAT TT=0.023
|
bqwh/bqwh-15-106_glb/ bqwh-15-106-21_glb.xml |
SAT
TT=0.023
|
SAT TT=0.812
CHECKS=30
NODES=481
|
SAT TT=0.787
CHECKS=30
NODES=589
|
SAT TT=0.023
|
SAT TT=0.443
NODES=230
|
SAT TT=0.415
NODES=295
|
SAT TT=0.449
CHECKS=0
NODES=573
|
SAT TT=0.023
|
SAT TT=3
|
SAT TT=2.881
|
SAT TT=0.029
|
SAT TT=1.125
|
SAT TT=1.253
|
SAT TT=1.03
|
SAT TT=0.053
|
bqwh/bqwh-15-106_glb/ bqwh-15-106-23_glb.xml |
SAT
TT=0.021
|
SAT TT=0.764
CHECKS=30
NODES=197
|
SAT TT=0.751
CHECKS=30
NODES=116
|
SAT TT=0.023
|
SAT TT=0.421
NODES=183
|
SAT TT=0.407
NODES=168
|
SAT TT=0.422
CHECKS=0
NODES=210
|
SAT TT=0.021
|
SAT TT=3.075
|
SAT TT=2.939
|
SAT TT=0.022
|
SAT TT=0.843
|
SAT TT=0.86
|
SAT TT=0.816
|
SAT TT=0.026
|
bqwh/bqwh-15-106_glb/ bqwh-15-106-25_glb.xml |
SAT
TT=0.027
|
SAT TT=0.942
CHECKS=30
NODES=1541
|
SAT TT=0.717
CHECKS=30
NODES=187
|
SAT TT=0.027
|
SAT TT=0.478
NODES=287
|
SAT TT=0.463
NODES=430
|
SAT TT=1.114
CHECKS=0
NODES=4047
|
SAT TT=0.033
|
SAT TT=3.08
|
SAT TT=3.003
|
SAT TT=0.03
|
SAT TT=1.187
|
SAT TT=1.054
|
SAT TT=1.03
|
SAT TT=0.034
|
bqwh/bqwh-15-106_glb/ bqwh-15-106-27_glb.xml |
SAT
TT=0.027
|
SAT TT=0.858
CHECKS=30
NODES=472
|
SAT TT=1.123
CHECKS=30
NODES=4256
|
SAT TT=0.058
|
SAT TT=0.543
NODES=561
|
SAT TT=0.536
NODES=611
|
SAT TT=0.548
CHECKS=0
NODES=892
|
SAT TT=0.027
|
SAT TT=2.969
|
SAT TT=2.798
|
SAT TT=0.122
|
SAT TT=0.964
|
SAT TT=0.978
|
SAT TT=1.02
|
SAT TT=0.047
|
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 |
---|
bqwh/bqwh-15-106_glb/ bqwh-15-106-29_glb.xml |
SAT
TT=0.028
|
SAT TT=0.843
CHECKS=30
NODES=573
|
SAT TT=0.872
CHECKS=30
NODES=1238
|
SAT TT=0.043
|
SAT TT=0.662
NODES=675
|
SAT TT=0.432
NODES=310
|
SAT TT=0.514
CHECKS=0
NODES=883
|
SAT TT=0.028
|
SAT TT=3.122
|
SAT TT=3.007
|
SAT TT=0.094
|
SAT TT=1.311
|
SAT TT=1.194
|
SAT TT=1.06
|
SAT TT=0.083
|
bqwh/bqwh-15-106_glb/ bqwh-15-106-31_glb.xml |
SAT
TT=0.023
|
SAT TT=0.804
CHECKS=30
NODES=0
|
SAT TT=0.793
CHECKS=30
NODES=278
|
SAT TT=0.024
|
SAT TT=0.433
NODES=237
|
SAT TT=0.419
NODES=211
|
SAT TT=0.395
CHECKS=0
NODES=254
|
SAT TT=0.023
|
SAT TT=3.114
|
SAT TT=2.899
|
SAT TT=0.059
|
SAT TT=1.053
|
SAT TT=1.049
|
SAT TT=1.02
|
SAT TT=0.045
|
bqwh/bqwh-15-106_glb/ bqwh-15-106-33_glb.xml |
SAT
TT=0.021
|
SAT TT=0.751
CHECKS=30
NODES=117
|
SAT TT=0.741
CHECKS=30
NODES=315
|
SAT TT=0.025
|
SAT TT=0.419
NODES=211
|
SAT TT=0.489
NODES=429
|
SAT TT=0.422
CHECKS=0
NODES=285
|
SAT TT=0.021
|
SAT TT=2.996
|
SAT TT=2.892
|
SAT TT=0.021
|
SAT TT=1.143
|
SAT TT=1.118
|
SAT TT=1.02
|
SAT TT=0.022
|
bqwh/bqwh-15-106_glb/ bqwh-15-106-35_glb.xml |
SAT
TT=0.021
|
SAT TT=0.779
CHECKS=30
NODES=107
|
SAT TT=0.77
CHECKS=30
NODES=175
|
SAT TT=0.033
|
SAT TT=0.402
NODES=159
|
SAT TT=0.395
NODES=173
|
SAT TT=0.682
CHECKS=0
NODES=1619
|
SAT TT=0.021
|
SAT TT=3.462
|
SAT TT=3.23
|
SAT TT=0.022
|
SAT TT=0.941
|
SAT TT=0.955
|
SAT TT=1.02
|
SAT TT=0.024
|
bqwh/bqwh-15-106_glb/ bqwh-15-106-37_glb.xml |
SAT
TT=0.022
|
SAT TT=0.844
CHECKS=30
NODES=106
|
SAT TT=0.8
CHECKS=30
NODES=326
|
SAT TT=0.023
|
SAT TT=0.503
NODES=438
|
SAT TT=0.661
NODES=1066
|
SAT TT=0.614
CHECKS=0
NODES=1499
|
SAT TT=0.022
|
SAT TT=2.827
|
SAT TT=2.764
|
SAT TT=0.044
|
SAT TT=1.189
|
SAT TT=1.148
|
SAT TT=0.863
|
SAT TT=0.054
|
bqwh/bqwh-15-106_glb/ bqwh-15-106-39_glb.xml |
SAT
TT=0.028
|
SAT TT=0.796
CHECKS=30
NODES=207
|
SAT TT=0.753
CHECKS=30
NODES=611
|
SAT TT=0.028
|
SAT TT=0.407
NODES=199
|
SAT TT=0.407
NODES=155
|
SAT TT=0.505
CHECKS=0
NODES=807
|
SAT TT=0.033
|
SAT TT=3.074
|
SAT TT=2.969
|
SAT TT=0.032
|
SAT TT=1.38
|
SAT TT=1.167
|
SAT TT=0.091
|
SAT TT=0.038
|
bqwh/bqwh-15-106_glb/ bqwh-15-106-3_glb.xml |
SAT
TT=0.024
|
SAT TT=0.77
CHECKS=30
NODES=229
|
SAT TT=0.821
CHECKS=30
NODES=355
|
SAT TT=0.112
|
SAT TT=0.454
NODES=313
|
SAT TT=0.541
NODES=694
|
SAT TT=0.461
CHECKS=0
NODES=413
|
SAT TT=0.05
|
SAT TT=3.143
|
SAT TT=3.012
|
SAT TT=0.024
|
SAT TT=1.046
|
SAT TT=0.975
|
SAT TT=1.08
|
SAT TT=0.029
|
bqwh/bqwh-15-106_glb/ bqwh-15-106-41_glb.xml |
SAT
TT=0.022
|
SAT TT=0.928
CHECKS=30
NODES=877
|
SAT TT=0.8
CHECKS=30
NODES=610
|
SAT TT=0.044
|
SAT TT=0.479
NODES=344
|
SAT TT=0.405
NODES=280
|
SAT TT=0.552
CHECKS=0
NODES=838
|
SAT TT=0.023
|
SAT TT=3.038
|
SAT TT=2.843
|
SAT TT=0.04
|
SAT TT=1.124
|
SAT TT=1.094
|
SAT TT=1.02
|
SAT TT=0.022
|
bqwh/bqwh-15-106_glb/ bqwh-15-106-43_glb.xml |
SAT
TT=0.02
|
SAT TT=0.803
CHECKS=30
NODES=0
|
SAT TT=0.844
CHECKS=30
NODES=572
|
SAT TT=0.023
|
SAT TT=0.408
NODES=137
|
SAT TT=0.376
NODES=153
|
SAT TT=0.446
CHECKS=0
NODES=467
|
SAT TT=0.021
|
SAT TT=3.079
|
SAT TT=2.869
|
SAT TT=0.02
|
SAT TT=1.197
|
SAT TT=1.177
|
SAT TT=0.852
|
SAT TT=0.02
|
bqwh/bqwh-15-106_glb/ bqwh-15-106-45_glb.xml |
SAT
TT=0.022
|
SAT TT=0.881
CHECKS=30
NODES=470
|
SAT TT=0.726
CHECKS=30
NODES=200
|
SAT TT=0.024
|
SAT TT=0.39
NODES=132
|
SAT TT=0.38
NODES=140
|
SAT TT=0.4
CHECKS=0
NODES=150
|
SAT TT=0.022
|
SAT TT=3.122
|
SAT TT=2.966
|
SAT TT=0.04
|
SAT TT=0.883
|
SAT TT=1.001
|
SAT TT=1.07
|
SAT TT=0.043
|
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 |
---|
bqwh/bqwh-15-106_glb/ bqwh-15-106-47_glb.xml |
SAT
TT=0.022
|
SAT TT=0.808
CHECKS=30
NODES=0
|
SAT TT=0.742
CHECKS=30
NODES=444
|
SAT TT=0.028
|
SAT TT=0.378
NODES=130
|
SAT TT=0.371
NODES=135
|
SAT TT=0.388
CHECKS=0
NODES=192
|
SAT TT=0.026
|
SAT TT=3
|
SAT TT=2.804
|
SAT TT=0.022
|
SAT TT=1.026
|
SAT TT=1.018
|
SAT TT=1.07
|
SAT TT=0.023
|
bqwh/bqwh-15-106_glb/ bqwh-15-106-49_glb.xml |
SAT
TT=0.022
|
SAT TT=0.817
CHECKS=30
NODES=298
|
SAT TT=0.877
CHECKS=30
NODES=795
|
SAT TT=0.027
|
SAT TT=0.57
NODES=564
|
SAT TT=0.469
NODES=393
|
SAT TT=1.224
CHECKS=0
NODES=5120
|
SAT TT=0.022
|
SAT TT=3.005
|
SAT TT=2.848
|
SAT TT=0.052
|
SAT TT=1.093
|
SAT TT=1.056
|
SAT TT=0.092
|
SAT TT=0.025
|
bqwh/bqwh-15-106_glb/ bqwh-15-106-51_glb.xml |
SAT
TT=0.022
|
SAT TT=0.975
CHECKS=30
NODES=1887
|
SAT TT=0.955
CHECKS=30
NODES=1714
|
SAT TT=0.05
|
SAT TT=0.414
NODES=189
|
SAT TT=0.382
NODES=174
|
SAT TT=0.404
CHECKS=0
NODES=296
|
SAT TT=0.024
|
SAT TT=3.074
|
SAT TT=2.89
|
SAT TT=0.022
|
SAT TT=1.087
|
SAT TT=1.079
|
SAT TT=1.06
|
SAT TT=0.026
|
bqwh/bqwh-15-106_glb/ bqwh-15-106-53_glb.xml |
SAT
TT=0.021
|
SAT TT=0.801
CHECKS=30
NODES=234
|
SAT TT=0.755
CHECKS=30
NODES=338
|
SAT TT=0.023
|
SAT TT=0.421
NODES=160
|
SAT TT=0.372
NODES=125
|
SAT TT=0.447
CHECKS=0
NODES=523
|
SAT TT=0.021
|
SAT TT=3.092
|
SAT TT=2.885
|
SAT TT=0.023
|
SAT TT=1.042
|
SAT TT=1.214
|
SAT TT=1.05
|
SAT TT=0.029
|
bqwh/bqwh-15-106_glb/ bqwh-15-106-55_glb.xml |
SAT
TT=0.022
|
SAT TT=0.898
CHECKS=30
NODES=1382
|
SAT TT=1.151
CHECKS=30
NODES=3598
|
SAT TT=0.045
|
SAT TT=0.433
NODES=200
|
SAT TT=0.537
NODES=636
|
SAT TT=0.425
CHECKS=0
NODES=245
|
SAT TT=0.022
|
SAT TT=3.255
|
SAT TT=3.211
|
SAT TT=0.068
|
SAT TT=1.038
|
SAT TT=1.113
|
SAT TT=1.134
|
SAT TT=0.321
|
bqwh/bqwh-15-106_glb/ bqwh-15-106-57_glb.xml |
SAT
TT=0.025
|
SAT TT=0.826
CHECKS=30
NODES=179
|
SAT TT=0.83
CHECKS=30
NODES=564
|
SAT TT=0.037
|
SAT TT=0.928
NODES=1657
|
SAT TT=0.412
NODES=285
|
SAT TT=0.469
CHECKS=0
NODES=471
|
SAT TT=0.025
|
SAT TT=3.11
|
SAT TT=2.915
|
SAT TT=0.101
|
SAT TT=0.94
|
SAT TT=1.005
|
SAT TT=1.04
|
SAT TT=0.027
|
bqwh/bqwh-15-106_glb/ bqwh-15-106-59_glb.xml |
SAT
TT=0.026
|
SAT TT=1.118
CHECKS=30
NODES=3271
|
SAT TT=0.847
CHECKS=30
NODES=974
|
SAT TT=0.026
|
SAT TT=0.521
NODES=457
|
SAT TT=0.423
NODES=260
|
SAT TT=1.377
CHECKS=0
NODES=5929
|
SAT TT=0.03
|
SAT TT=3.341
|
SAT TT=3.218
|
SAT TT=0.03
|
SAT TT=1.237
|
SAT TT=1.135
|
SAT TT=1.03
|
SAT TT=0.068
|
bqwh/bqwh-15-106_glb/ bqwh-15-106-5_glb.xml |
SAT
TT=0.024
|
SAT TT=0.785
CHECKS=30
NODES=0
|
SAT TT=0.744
CHECKS=30
NODES=256
|
SAT TT=0.029
|
SAT TT=0.521
NODES=510
|
SAT TT=0.573
NODES=576
|
SAT TT=0.607
CHECKS=0
NODES=1097
|
SAT TT=0.024
|
SAT TT=3.079
|
SAT TT=2.868
|
SAT TT=0.07
|
SAT TT=1.172
|
SAT TT=1.057
|
SAT TT=1.01
|
SAT TT=0.025
|
bqwh/bqwh-15-106_glb/ bqwh-15-106-61_glb.xml |
SAT
TT=0.027
|
SAT TT=0.993
CHECKS=30
NODES=1389
|
SAT TT=1.223
CHECKS=30
NODES=4153
|
SAT TT=0.031
|
SAT TT=0.421
NODES=135
|
SAT TT=0.377
NODES=127
|
SAT TT=0.402
CHECKS=0
NODES=158
|
SAT TT=0.027
|
SAT TT=3.006
|
SAT TT=2.968
|
SAT TT=0.034
|
SAT TT=1.04
|
SAT TT=1.004
|
SAT TT=1.06
|
SAT TT=0.03
|
bqwh/bqwh-15-106_glb/ bqwh-15-106-63_glb.xml |
SAT
TT=0.024
|
SAT TT=0.81
CHECKS=30
NODES=534
|
SAT TT=0.871
CHECKS=30
NODES=828
|
SAT TT=0.027
|
SAT TT=0.414
NODES=217
|
SAT TT=0.391
NODES=228
|
SAT TT=0.484
CHECKS=0
NODES=536
|
SAT TT=0.024
|
SAT TT=3.014
|
SAT TT=2.823
|
SAT TT=0.039
|
SAT TT=1.079
|
SAT TT=1.183
|
SAT TT=1.03
|
SAT TT=0.059
|
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 |
---|
bqwh/bqwh-15-106_glb/ bqwh-15-106-65_glb.xml |
SAT
TT=0.02
|
SAT TT=0.85
CHECKS=30
NODES=297
|
SAT TT=0.716
CHECKS=30
NODES=191
|
SAT TT=0.024
|
SAT TT=0.426
NODES=209
|
SAT TT=0.401
NODES=198
|
SAT TT=0.397
CHECKS=0
NODES=255
|
SAT TT=0.022
|
SAT TT=3.093
|
SAT TT=2.951
|
SAT TT=0.02
|
SAT TT=1.105
|
SAT TT=1.275
|
SAT TT=0.553
|
SAT TT=0.021
|
bqwh/bqwh-15-106_glb/ bqwh-15-106-67_glb.xml |
SAT
TT=0.02
|
SAT TT=0.842
CHECKS=30
NODES=0
|
SAT TT=0.768
CHECKS=30
NODES=607
|
SAT TT=0.041
|
SAT TT=0.605
NODES=603
|
SAT TT=0.4
NODES=230
|
SAT TT=0.941
CHECKS=0
NODES=3308
|
SAT TT=0.02
|
SAT TT=2.882
|
SAT TT=2.789
|
SAT TT=0.041
|
SAT TT=1.07
|
SAT TT=1.083
|
SAT TT=1.03
|
SAT TT=0.148
|
bqwh/bqwh-15-106_glb/ bqwh-15-106-69_glb.xml |
SAT
TT=0.024
|
SAT TT=0.883
CHECKS=30
NODES=1295
|
SAT TT=0.825
CHECKS=30
NODES=510
|
SAT TT=0.025
|
SAT TT=0.385
NODES=120
|
SAT TT=0.362
NODES=122
|
SAT TT=0.483
CHECKS=0
NODES=583
|
SAT TT=0.024
|
SAT TT=3.087
|
SAT TT=2.95
|
SAT TT=0.06
|
SAT TT=1.047
|
SAT TT=1.03
|
SAT TT=0.09
|
SAT TT=0.038
|
bqwh/bqwh-15-106_glb/ bqwh-15-106-71_glb.xml |
SAT
TT=0.025
|
SAT TT=1.07
CHECKS=30
NODES=3376
|
SAT TT=0.871
CHECKS=30
NODES=750
|
SAT TT=0.025
|
SAT TT=0.432
NODES=229
|
SAT TT=0.586
NODES=808
|
SAT TT=5.568
CHECKS=0
NODES=36380
|
SAT TT=0.03
|
SAT TT=3.202
|
SAT TT=2.979
|
SAT TT=0.034
|
SAT TT=1.206
|
SAT TT=1.11
|
SAT TT=1.05
|
SAT TT=0.041
|
bqwh/bqwh-15-106_glb/ bqwh-15-106-73_glb.xml |
SAT
TT=0.022
|
SAT TT=0.79
CHECKS=30
NODES=0
|
SAT TT=0.822
CHECKS=30
NODES=618
|
SAT TT=0.023
|
SAT TT=0.398
NODES=141
|
SAT TT=0.368
NODES=157
|
SAT TT=0.405
CHECKS=0
NODES=211
|
SAT TT=0.022
|
SAT TT=2.951
|
SAT TT=2.809
|
SAT TT=0.043
|
SAT TT=1.103
|
SAT TT=1.264
|
SAT TT=1.057
|
SAT TT=0.04
|
bqwh/bqwh-15-106_glb/ bqwh-15-106-75_glb.xml |
SAT
TT=0.023
|
SAT TT=0.805
CHECKS=30
NODES=383
|
SAT TT=0.766
CHECKS=30
NODES=349
|
SAT TT=0.031
|
SAT TT=0.406
NODES=110
|
SAT TT=0.357
NODES=110
|
SAT TT=0.387
CHECKS=0
NODES=152
|
SAT TT=0.023
|
SAT TT=3.52
|
SAT TT=3.286
|
SAT TT=0.027
|
SAT TT=1.02
|
SAT TT=1.029
|
SAT TT=0.113
|
SAT TT=0.064
|
bqwh/bqwh-15-106_glb/ bqwh-15-106-77_glb.xml |
SAT
TT=0.022
|
SAT TT=0.792
CHECKS=30
NODES=0
|
SAT TT=0.832
CHECKS=30
NODES=366
|
SAT TT=0.022
|
SAT TT=0.414
NODES=136
|
SAT TT=0.373
NODES=126
|
SAT TT=0.398
CHECKS=0
NODES=147
|
SAT TT=0.023
|
SAT TT=2.955
|
SAT TT=2.79
|
SAT TT=0.032
|
SAT TT=1.071
|
SAT TT=1.02
|
SAT TT=0.99
|
SAT TT=0.04
|
bqwh/bqwh-15-106_glb/ bqwh-15-106-79_glb.xml |
SAT
TT=0.02
|
SAT TT=0.877
CHECKS=30
NODES=350
|
SAT TT=0.777
CHECKS=30
NODES=501
|
SAT TT=0.025
|
SAT TT=0.389
NODES=144
|
SAT TT=0.378
NODES=135
|
SAT TT=0.489
CHECKS=0
NODES=610
|
SAT TT=0.02
|
SAT TT=2.863
|
SAT TT=2.729
|
SAT TT=0.024
|
SAT TT=1.069
|
SAT TT=1.063
|
SAT TT=1
|
SAT TT=0.04
|
bqwh/bqwh-15-106_glb/ bqwh-15-106-7_glb.xml |
SAT
TT=0.025
|
SAT TT=0.784
CHECKS=30
NODES=380
|
SAT TT=0.806
CHECKS=30
NODES=613
|
SAT TT=0.029
|
SAT TT=0.513
NODES=499
|
SAT TT=0.415
NODES=256
|
SAT TT=0.481
CHECKS=0
NODES=585
|
SAT TT=0.025
|
SAT TT=3.035
|
SAT TT=2.919
|
SAT TT=0.045
|
SAT TT=1.185
|
SAT TT=1.159
|
SAT TT=0.093
|
SAT TT=0.094
|
bqwh/bqwh-15-106_glb/ bqwh-15-106-81_glb.xml |
SAT
TT=0.023
|
SAT TT=0.786
CHECKS=30
NODES=431
|
SAT TT=1.058
CHECKS=30
NODES=2901
|
SAT TT=0.043
|
SAT TT=0.476
NODES=355
|
SAT TT=0.595
NODES=938
|
SAT TT=1.274
CHECKS=0
NODES=5359
|
SAT TT=0.026
|
SAT TT=3.059
|
SAT TT=2.923
|
SAT TT=0.087
|
SAT TT=1.159
|
SAT TT=1.154
|
SAT TT=1.05
|
SAT TT=0.023
|
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 |
---|
bqwh/bqwh-15-106_glb/ bqwh-15-106-83_glb.xml |
SAT
TT=0.028
|
SAT TT=0.81
CHECKS=30
NODES=237
|
SAT TT=1.012
CHECKS=30
NODES=1997
|
SAT TT=0.209
|
SAT TT=0.964
NODES=1606
|
SAT TT=0.426
NODES=300
|
SAT TT=0.466
CHECKS=0
NODES=512
|
SAT TT=0.031
|
SAT TT=3.161
|
SAT TT=3.195
|
SAT TT=0.092
|
SAT TT=1.211
|
SAT TT=1.196
|
SAT TT=1.122
|
SAT TT=0.028
|
bqwh/bqwh-15-106_glb/ bqwh-15-106-85_glb.xml |
SAT
TT=0.028
|
SAT TT=0.822
CHECKS=30
NODES=218
|
SAT TT=0.935
CHECKS=30
NODES=1383
|
SAT TT=0.029
|
SAT TT=0.877
NODES=1531
|
SAT TT=0.457
NODES=392
|
SAT TT=0.427
CHECKS=0
NODES=425
|
SAT TT=0.028
|
SAT TT=2.981
|
SAT TT=2.897
|
SAT TT=0.13
|
SAT TT=1.149
|
SAT TT=1.126
|
SAT TT=1.02
|
SAT TT=0.095
|
bqwh/bqwh-15-106_glb/ bqwh-15-106-87_glb.xml |
SAT
TT=0.021
|
SAT TT=0.842
CHECKS=30
NODES=677
|
SAT TT=0.712
CHECKS=30
NODES=151
|
SAT TT=0.023
|
SAT TT=0.439
NODES=245
|
SAT TT=0.43
NODES=339
|
SAT TT=0.581
CHECKS=0
NODES=1264
|
SAT TT=0.03
|
SAT TT=2.985
|
SAT TT=2.769
|
SAT TT=0.021
|
SAT TT=0.935
|
SAT TT=0.943
|
SAT TT=1
|
SAT TT=0.051
|
bqwh/bqwh-15-106_glb/ bqwh-15-106-89_glb.xml |
SAT
TT=0.022
|
SAT TT=0.878
CHECKS=30
NODES=115
|
SAT TT=0.801
CHECKS=30
NODES=596
|
SAT TT=0.024
|
SAT TT=0.9
NODES=1801
|
SAT TT=0.462
NODES=407
|
SAT TT=0.493
CHECKS=0
NODES=701
|
SAT TT=0.026
|
SAT TT=2.966
|
SAT TT=2.976
|
SAT TT=0.022
|
SAT TT=1.182
|
SAT TT=1.098
|
SAT TT=1.08
|
SAT TT=0.043
|
bqwh/bqwh-15-106_glb/ bqwh-15-106-91_glb.xml |
SAT
TT=0.024
|
SAT TT=0.83
CHECKS=30
NODES=225
|
SAT TT=0.787
CHECKS=30
NODES=791
|
SAT TT=0.026
|
SAT TT=0.463
NODES=285
|
SAT TT=0.557
NODES=567
|
SAT TT=0.883
CHECKS=0
NODES=2737
|
SAT TT=0.024
|
SAT TT=3.129
|
SAT TT=2.989
|
SAT TT=0.038
|
SAT TT=1.112
|
SAT TT=1.127
|
SAT TT=1.082
|
SAT TT=0.037
|
bqwh/bqwh-15-106_glb/ bqwh-15-106-93_glb.xml |
SAT
TT=0.025
|
SAT TT=0.915
CHECKS=30
NODES=1367
|
SAT TT=0.745
CHECKS=30
NODES=429
|
SAT TT=0.025
|
SAT TT=0.377
NODES=114
|
SAT TT=0.368
NODES=109
|
SAT TT=0.431
CHECKS=0
NODES=111
|
SAT TT=0.028
|
SAT TT=3.055
|
SAT TT=2.89
|
SAT TT=0.037
|
SAT TT=0.923
|
SAT TT=0.851
|
SAT TT=0.94
|
SAT TT=0.032
|
bqwh/bqwh-15-106_glb/ bqwh-15-106-95_glb.xml |
SAT
TT=0.019
|
SAT TT=0.757
CHECKS=30
NODES=114
|
SAT TT=0.717
CHECKS=30
NODES=116
|
SAT TT=0.027
|
SAT TT=0.401
NODES=179
|
SAT TT=0.384
NODES=177
|
SAT TT=0.43
CHECKS=0
NODES=439
|
SAT TT=0.02
|
SAT TT=3.14
|
SAT TT=3.001
|
SAT TT=0.022
|
SAT TT=1.227
|
SAT TT=1.242
|
SAT TT=0.98
|
SAT TT=0.019
|
bqwh/bqwh-15-106_glb/ bqwh-15-106-97_glb.xml |
SAT
TT=0.023
|
SAT TT=0.829
CHECKS=30
NODES=781
|
SAT TT=0.849
CHECKS=30
NODES=1029
|
SAT TT=0.025
|
SAT TT=0.509
NODES=384
|
SAT TT=0.429
NODES=313
|
SAT TT=0.447
CHECKS=0
NODES=551
|
SAT TT=0.023
|
SAT TT=3.038
|
SAT TT=2.735
|
SAT TT=0.029
|
SAT TT=1.112
|
SAT TT=1.079
|
SAT TT=1.07
|
SAT TT=0.087
|
bqwh/bqwh-15-106_glb/ bqwh-15-106-99_glb.xml |
SAT
TT=0.026
|
SAT TT=0.78
CHECKS=30
NODES=314
|
SAT TT=0.713
CHECKS=30
NODES=181
|
SAT TT=0.026
|
SAT TT=0.402
NODES=126
|
SAT TT=0.373
NODES=145
|
SAT TT=0.405
CHECKS=0
NODES=166
|
SAT TT=0.028
|
SAT TT=3.098
|
SAT TT=2.983
|
SAT TT=0.045
|
SAT TT=0.921
|
SAT TT=0.992
|
SAT TT=1.01
|
SAT TT=0.031
|
bqwh/bqwh-15-106_glb/ bqwh-15-106-9_glb.xml |
SAT
TT=0.021
|
SAT TT=0.905
CHECKS=30
NODES=782
|
SAT TT=0.907
CHECKS=30
NODES=1029
|
SAT TT=0.03
|
SAT TT=0.41
NODES=121
|
SAT TT=0.362
NODES=109
|
SAT TT=0.366
CHECKS=0
NODES=114
|
SAT TT=0.021
|
SAT TT=2.999
|
SAT TT=2.932
|
SAT TT=0.031
|
SAT TT=0.948
|
SAT TT=0.948
|
SAT TT=1.06
|
SAT TT=0.072
|
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 |
---|
bqwh/bqwh-18-141_glb/ bqwh-18-141-11_glb.xml |
SAT
TT=0.026
|
SAT TT=1.008
CHECKS=36
NODES=1804
|
SAT TT=1.005
CHECKS=36
NODES=1887
|
SAT TT=0.026
|
SAT TT=1.046
NODES=1398
|
SAT TT=0.992
NODES=1692
|
SAT TT=0.615
CHECKS=0
NODES=955
|
SAT TT=0.027
|
SAT TT=4.533
|
SAT TT=4.25
|
SAT TT=0.097
|
SAT TT=1.455
|
SAT TT=1.53
|
SAT TT=1.09
|
SAT TT=0.1
|
bqwh/bqwh-18-141_glb/ bqwh-18-141-13_glb.xml |
SAT
TT=0.027
|
SAT TT=0.93
CHECKS=36
NODES=488
|
SAT TT=1.379
CHECKS=36
NODES=5983
|
SAT TT=0.027
|
SAT TT=0.591
NODES=551
|
SAT TT=0.528
NODES=448
|
SAT TT=3.454
CHECKS=0
NODES=14930
|
SAT TT=0.036
|
SAT TT=4.677
|
SAT TT=4.746
|
SAT TT=0.281
|
SAT TT=1.377
|
SAT TT=1.359
|
SAT TT=0.93
|
SAT TT=0.033
|
bqwh/bqwh-18-141_glb/ bqwh-18-141-15_glb.xml |
SAT
TT=0.043
|
SAT TT=1.271
CHECKS=36
NODES=4505
|
SAT TT=0.782
CHECKS=36
NODES=657
|
SAT TT=0.272
|
SAT TT=24.911
NODES=74332
|
SAT TT=5.413
NODES=15419
|
SAT TT=1.105
CHECKS=0
NODES=3407
|
SAT TT=0.043
|
SAT TT=4.364
|
SAT TT=4.308
|
SAT TT=0.374
|
SAT TT=1.962
|
SAT TT=1.497
|
SAT TT=1.26
|
SAT TT=0.384
|
bqwh/bqwh-18-141_glb/ bqwh-18-141-17_glb.xml |
SAT
TT=0.03
|
SAT TT=1.213
CHECKS=36
NODES=2454
|
SAT TT=1.275
CHECKS=36
NODES=4409
|
SAT TT=0.454
|
SAT TT=1.041
NODES=1417
|
SAT TT=1.04
NODES=2005
|
SAT TT=6.261
CHECKS=0
NODES=27201
|
SAT TT=0.03
|
SAT TT=4.199
|
SAT TT=3.958
|
SAT TT=0.316
|
SAT TT=1.424
|
SAT TT=1.308
|
SAT TT=1.216
|
SAT TT=0.358
|
bqwh/bqwh-18-141_glb/ bqwh-18-141-19_glb.xml |
SAT
TT=0.035
|
SAT TT=1.046
CHECKS=36
NODES=1322
|
SAT TT=0.981
CHECKS=36
NODES=1394
|
SAT TT=0.345
|
SAT TT=7.785
NODES=18838
|
SAT TT=0.535
NODES=431
|
SAT TT=2.654
CHECKS=0
NODES=9746
|
SAT TT=0.035
|
SAT TT=4.371
|
SAT TT=4.189
|
SAT TT=0.074
|
SAT TT=1.519
|
SAT TT=1.45
|
SAT TT=1.19
|
SAT TT=0.214
|
bqwh/bqwh-18-141_glb/ bqwh-18-141-1_glb.xml |
SAT
TT=0.029
|
SAT TT=1.318
CHECKS=36
NODES=4476
|
SAT TT=0.891
CHECKS=36
NODES=1181
|
SAT TT=0.03
|
SAT TT=0.498
NODES=337
|
SAT TT=0.932
NODES=1646
|
SAT TT=0.833
CHECKS=0
NODES=2110
|
SAT TT=0.04
|
SAT TT=5.551
|
SAT TT=6.779
|
SAT TT=0.029
|
SAT TT=1.356
|
SAT TT=1.472
|
SAT TT=1.307
|
SAT TT=0.399
|
bqwh/bqwh-18-141_glb/ bqwh-18-141-21_glb.xml |
SAT
TT=0.031
|
SAT TT=0.885
CHECKS=36
NODES=460
|
SAT TT=0.981
CHECKS=36
NODES=1469
|
SAT TT=0.069
|
SAT TT=0.906
NODES=1329
|
SAT TT=0.514
NODES=496
|
SAT TT=1.322
CHECKS=0
NODES=4409
|
SAT TT=0.031
|
SAT TT=4.443
|
SAT TT=4.015
|
SAT TT=0.135
|
SAT TT=1.41
|
SAT TT=1.363
|
SAT TT=1.25
|
SAT TT=0.424
|
bqwh/bqwh-18-141_glb/ bqwh-18-141-23_glb.xml |
SAT
TT=0.046
|
SAT TT=1.001
CHECKS=36
NODES=0
|
SAT TT=1.303
CHECKS=36
NODES=5053
|
SAT TT=0.069
|
SAT TT=10.289
NODES=29672
|
SAT TT=6.38
NODES=17934
|
SAT TT=7.77
CHECKS=0
NODES=35418
|
SAT TT=0.046
|
SAT TT=4.696
|
SAT TT=4.584
|
SAT TT=0.41
|
SAT TT=1.297
|
SAT TT=1.308
|
SAT TT=1.01
|
SAT TT=0.72
|
bqwh/bqwh-18-141_glb/ bqwh-18-141-25_glb.xml |
SAT
TT=0.059
|
SAT TT=2.166
CHECKS=36
NODES=13717
|
SAT TT=2.566
CHECKS=36
NODES=19221
|
SAT TT=0.267
|
SAT TT=135.736
NODES=423644
|
SAT TT=5.878
NODES=14013
|
SAT TT=3.831
CHECKS=0
NODES=16049
|
SAT TT=0.059
|
SAT TT=4.918
|
SAT TT=4.639
|
SAT TT=0.776
|
SAT TT=1.416
|
SAT TT=1.423
|
SAT TT=1.13
|
SAT TT=6.34
|
bqwh/bqwh-18-141_glb/ bqwh-18-141-27_glb.xml |
SAT
TT=0.032
|
SAT TT=1.696
CHECKS=36
NODES=8913
|
SAT TT=1.926
CHECKS=36
NODES=11541
|
SAT TT=0.106
|
SAT TT=110.523
NODES=334672
|
SAT TT=4.07
NODES=9455
|
SAT TT=4.145
CHECKS=0
NODES=18204
|
SAT TT=0.032
|
SAT TT=4.588
|
SAT TT=4.372
|
SAT TT=0.281
|
SAT TT=1.299
|
SAT TT=1.246
|
SAT TT=1.06
|
SAT TT=0.219
|
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 |
---|
bqwh/bqwh-18-141_glb/ bqwh-18-141-29_glb.xml |
SAT
TT=0.029
|
SAT TT=1.129
CHECKS=36
NODES=2823
|
SAT TT=1.157
CHECKS=36
NODES=3254
|
SAT TT=1.435
|
SAT TT=1.915
NODES=4437
|
SAT TT=0.658
NODES=717
|
SAT TT=1.456
CHECKS=0
NODES=4998
|
SAT TT=0.029
|
SAT TT=5.341
|
SAT TT=4.854
|
SAT TT=0.05
|
SAT TT=1.313
|
SAT TT=1.337
|
SAT TT=1.23
|
SAT TT=0.099
|
bqwh/bqwh-18-141_glb/ bqwh-18-141-31_glb.xml |
SAT
TT=0.028
|
SAT TT=1.256
CHECKS=36
NODES=3535
|
SAT TT=0.884
CHECKS=36
NODES=1277
|
SAT TT=0.028
|
SAT TT=12.211
NODES=35223
|
SAT TT=0.806
NODES=1050
|
SAT TT=4.874
CHECKS=0
NODES=21972
|
SAT TT=0.029
|
SAT TT=5.588
|
SAT TT=5.272
|
SAT TT=1.457
|
SAT TT=1.555
|
SAT TT=1.523
|
SAT TT=1.23
|
SAT TT=0.324
|
bqwh/bqwh-18-141_glb/ bqwh-18-141-33_glb.xml |
SAT
TT=0.026
|
SAT TT=0.929
CHECKS=36
NODES=324
|
SAT TT=0.83
CHECKS=36
NODES=675
|
SAT TT=0.026
|
SAT TT=0.427
NODES=200
|
SAT TT=0.41
NODES=214
|
SAT TT=0.418
CHECKS=0
NODES=268
|
SAT TT=0.026
|
SAT TT=4.165
|
SAT TT=3.796
|
SAT TT=0.04
|
SAT TT=1.068
|
SAT TT=1.123
|
SAT TT=0.91
|
SAT TT=0.043
|
bqwh/bqwh-18-141_glb/ bqwh-18-141-35_glb.xml |
SAT
TT=0.034
|
SAT TT=0.946
CHECKS=36
NODES=523
|
SAT TT=0.959
CHECKS=36
NODES=1532
|
SAT TT=0.034
|
SAT TT=0.431
NODES=201
|
SAT TT=0.403
NODES=199
|
SAT TT=2.72
CHECKS=0
NODES=11038
|
SAT TT=0.034
|
SAT TT=4.188
|
SAT TT=3.905
|
SAT TT=0.066
|
SAT TT=1.374
|
SAT TT=1.367
|
SAT TT=1.1
|
SAT TT=0.736
|
bqwh/bqwh-18-141_glb/ bqwh-18-141-37_glb.xml |
SAT
TT=0.033
|
SAT TT=1.005
CHECKS=36
NODES=1187
|
SAT TT=1.165
CHECKS=36
NODES=3397
|
SAT TT=0.033
|
SAT TT=26.653
NODES=77728
|
SAT TT=1.899
NODES=3847
|
SAT TT=4.844
CHECKS=0
NODES=20745
|
SAT TT=0.04
|
SAT TT=4.454
|
SAT TT=4.244
|
SAT TT=0.089
|
SAT TT=1.413
|
SAT TT=1.354
|
SAT TT=1.17
|
SAT TT=0.164
|
bqwh/bqwh-18-141_glb/ bqwh-18-141-39_glb.xml |
SAT
TT=0.033
|
SAT TT=1.028
CHECKS=36
NODES=811
|
SAT TT=0.909
CHECKS=36
NODES=1420
|
SAT TT=0.074
|
SAT TT=0.523
NODES=415
|
SAT TT=1.962
NODES=4087
|
SAT TT=1.808
CHECKS=0
NODES=6346
|
SAT TT=0.033
|
SAT TT=4.456
|
SAT TT=4.199
|
SAT TT=0.221
|
SAT TT=1.164
|
SAT TT=1.191
|
SAT TT=1.07
|
SAT TT=0.215
|
bqwh/bqwh-18-141_glb/ bqwh-18-141-3_glb.xml |
SAT
TT=0.026
|
SAT TT=1.825
CHECKS=36
NODES=10284
|
SAT TT=1.941
CHECKS=36
NODES=12389
|
SAT TT=3.454
|
SAT TT=1.275
NODES=2155
|
SAT TT=3.835
NODES=9366
|
SAT TT=1.397
CHECKS=0
NODES=4984
|
SAT TT=0.026
|
SAT TT=4.632
|
SAT TT=4.494
|
SAT TT=6.451
|
SAT TT=1.696
|
SAT TT=1.788
|
SAT TT=1.074
|
SAT TT=5.454
|
bqwh/bqwh-18-141_glb/ bqwh-18-141-41_glb.xml |
SAT
TT=0.033
|
SAT TT=1.114
CHECKS=36
NODES=2293
|
SAT TT=0.949
CHECKS=36
NODES=1498
|
SAT TT=1.263
|
SAT TT=1.038
NODES=1656
|
SAT TT=0.884
NODES=1286
|
SAT TT=5.683
CHECKS=0
NODES=24061
|
SAT TT=0.033
|
SAT TT=4.411
|
SAT TT=3.964
|
SAT TT=0.39
|
SAT TT=1.606
|
SAT TT=1.622
|
SAT TT=0.95
|
SAT TT=0.279
|
bqwh/bqwh-18-141_glb/ bqwh-18-141-43_glb.xml |
SAT
TT=0.059
|
SAT TT=2.266
CHECKS=36
NODES=16909
|
SAT TT=1.367
CHECKS=36
NODES=6325
|
SAT TT=0.873
|
SAT TT=141.348
NODES=443824
|
SAT TT=55.203
NODES=155749
|
SAT TT=2.291
CHECKS=0
NODES=9758
|
SAT TT=0.059
|
SAT TT=5.162
|
SAT TT=5.395
|
SAT TT=0.176
|
SAT TT=1.525
|
SAT TT=1.438
|
SAT TT=1.36
|
SAT TT=0.258
|
bqwh/bqwh-18-141_glb/ bqwh-18-141-45_glb.xml |
SAT
TT=0.054
|
SAT TT=0.85
CHECKS=36
NODES=425
|
SAT TT=0.778
CHECKS=36
NODES=358
|
SAT TT=0.131
|
SAT TT=25.597
NODES=79059
|
SAT TT=0.635
NODES=801
|
SAT TT=2.223
CHECKS=0
NODES=9026
|
SAT TT=0.058
|
SAT TT=4.911
|
SAT TT=5.028
|
SAT TT=0.076
|
SAT TT=1.202
|
SAT TT=1.229
|
SAT TT=1.19
|
SAT TT=0.054
|
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 |
---|
bqwh/bqwh-18-141_glb/ bqwh-18-141-47_glb.xml |
SAT
TT=0.05
|
SAT TT=2.043
CHECKS=36
NODES=12421
|
SAT TT=14.588
CHECKS=36
NODES=169752
|
SAT TT=1.475
|
SAT TT=22.614
NODES=64374
|
SAT TT=2.482
NODES=5752
|
SAT TT=0.917
CHECKS=0
NODES=2650
|
SAT TT=0.05
|
SAT TT=4.632
|
SAT TT=4.351
|
SAT TT=2.742
|
SAT TT=1.422
|
SAT TT=1.518
|
SAT TT=1.15
|
SAT TT=3.975
|
bqwh/bqwh-18-141_glb/ bqwh-18-141-49_glb.xml |
SAT
TT=0.058
|
SAT TT=0.984
CHECKS=36
NODES=855
|
SAT TT=1.449
CHECKS=36
NODES=7124
|
SAT TT=0.158
|
SAT TT=12.299
NODES=33631
|
SAT TT=0.748
NODES=974
|
SAT TT=71.554
CHECKS=0
NODES=388258
|
SAT TT=0.058
|
SAT TT=5.271
|
SAT TT=5.342
|
SAT TT=0.793
|
SAT TT=1.387
|
SAT TT=1.347
|
SAT TT=1.133
|
SAT TT=0.27
|
bqwh/bqwh-18-141_glb/ bqwh-18-141-51_glb.xml |
SAT
TT=0.027
|
SAT TT=1.089
CHECKS=36
NODES=1818
|
SAT TT=1.323
CHECKS=36
NODES=5040
|
SAT TT=0.027
|
SAT TT=14.69
NODES=40410
|
SAT TT=4.773
NODES=11298
|
SAT TT=2.782
CHECKS=0
NODES=9830
|
SAT TT=0.031
|
SAT TT=4.702
|
SAT TT=4.485
|
SAT TT=0.034
|
SAT TT=1.37
|
SAT TT=1.332
|
SAT TT=1.196
|
SAT TT=0.126
|
bqwh/bqwh-18-141_glb/ bqwh-18-141-53_glb.xml |
SAT
TT=0.025
|
SAT TT=0.847
CHECKS=36
NODES=539
|
SAT TT=0.922
CHECKS=36
NODES=1277
|
SAT TT=0.025
|
SAT TT=0.451
NODES=209
|
SAT TT=0.433
NODES=256
|
SAT TT=0.779
CHECKS=0
NODES=1763
|
SAT TT=0.036
|
SAT TT=5.519
|
SAT TT=5.993
|
SAT TT=0.029
|
SAT TT=1.362
|
SAT TT=1.371
|
SAT TT=1.179
|
SAT TT=0.032
|
bqwh/bqwh-18-141_glb/ bqwh-18-141-55_glb.xml |
SAT
TT=0.046
|
SAT TT=1.406
CHECKS=36
NODES=3243
|
SAT TT=1.039
CHECKS=36
NODES=2221
|
SAT TT=0.047
|
SAT TT=1.394
NODES=2508
|
SAT TT=0.872
NODES=1221
|
SAT TT=2.933
CHECKS=0
NODES=10307
|
SAT TT=0.046
|
SAT TT=4.103
|
SAT TT=3.889
|
SAT TT=0.209
|
SAT TT=1.181
|
SAT TT=1.174
|
SAT TT=1.21
|
SAT TT=0.237
|
bqwh/bqwh-18-141_glb/ bqwh-18-141-57_glb.xml |
SAT
TT=0.03
|
SAT TT=0.905
CHECKS=36
NODES=862
|
SAT TT=1.007
CHECKS=36
NODES=1880
|
SAT TT=0.038
|
SAT TT=0.825
NODES=886
|
SAT TT=0.631
NODES=748
|
SAT TT=3.137
CHECKS=0
NODES=12600
|
SAT TT=0.03
|
SAT TT=4.154
|
SAT TT=4.004
|
SAT TT=0.088
|
SAT TT=1.283
|
SAT TT=1.365
|
SAT TT=1.11
|
SAT TT=0.124
|
bqwh/bqwh-18-141_glb/ bqwh-18-141-59_glb.xml |
SAT
TT=0.035
|
SAT TT=1.069
CHECKS=36
NODES=2246
|
SAT TT=0.851
CHECKS=36
NODES=1027
|
SAT TT=1.504
|
SAT TT=7.116
NODES=18616
|
SAT TT=0.675
NODES=810
|
SAT TT=1.602
CHECKS=0
NODES=6329
|
SAT TT=0.035
|
SAT TT=4.9
|
SAT TT=4.835
|
SAT TT=4.65
|
SAT TT=1.313
|
SAT TT=1.295
|
SAT TT=1.07
|
SAT TT=0.474
|
bqwh/bqwh-18-141_glb/ bqwh-18-141-5_glb.xml |
SAT
TT=0.062
|
SAT TT=1.041
CHECKS=36
NODES=991
|
SAT TT=1.49
CHECKS=36
NODES=6708
|
SAT TT=0.084
|
SAT TT=0.604
NODES=569
|
SAT TT=4.558
NODES=12585
|
SAT TT=2.897
CHECKS=0
NODES=13137
|
SAT TT=0.062
|
SAT TT=5.004
|
SAT TT=4.886
|
SAT TT=0.528
|
SAT TT=1.747
|
SAT TT=1.671
|
SAT TT=1.384
|
SAT TT=3.17
|
bqwh/bqwh-18-141_glb/ bqwh-18-141-61_glb.xml |
SAT
TT=0.051
|
SAT TT=1.914
CHECKS=36
NODES=12859
|
SAT TT=5.637
CHECKS=36
NODES=66050
|
SAT TT=10.083
|
SAT TT=27.778
NODES=82750
|
SAT TT=0.674
NODES=918
|
SAT TT=14.101
CHECKS=0
NODES=65753
|
SAT TT=0.051
|
SAT TT=4.751
|
SAT TT=4.776
|
SAT TT=2.818
|
SAT TT=1.435
|
SAT TT=1.54
|
SAT TT=1.28
|
SAT TT=0.068
|
bqwh/bqwh-18-141_glb/ bqwh-18-141-63_glb.xml |
SAT
TT=0.041
|
SAT TT=1.298
CHECKS=36
NODES=3508
|
SAT TT=0.9
CHECKS=36
NODES=1137
|
SAT TT=0.111
|
SAT TT=1.246
NODES=1963
|
SAT TT=1.368
NODES=2795
|
SAT TT=2.051
CHECKS=0
NODES=7636
|
SAT TT=0.041
|
SAT TT=4.6
|
SAT TT=4.384
|
SAT TT=0.305
|
SAT TT=1.534
|
SAT TT=1.489
|
SAT TT=0.93
|
SAT TT=2.135
|
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 |
---|
bqwh/bqwh-18-141_glb/ bqwh-18-141-65_glb.xml |
SAT
TT=0.029
|
SAT TT=1.712
CHECKS=36
NODES=8756
|
SAT TT=1.344
CHECKS=36
NODES=4977
|
SAT TT=0.029
|
SAT TT=1.753
NODES=2703
|
SAT TT=3.329
NODES=8290
|
SAT TT=9.982
CHECKS=0
NODES=50751
|
SAT TT=0.058
|
SAT TT=4.064
|
SAT TT=3.844
|
SAT TT=0.181
|
SAT TT=1.463
|
SAT TT=1.453
|
SAT TT=1.21
|
SAT TT=1.636
|
bqwh/bqwh-18-141_glb/ bqwh-18-141-67_glb.xml |
SAT
TT=0.071
|
SAT TT=1.302
CHECKS=36
NODES=3986
|
SAT TT=0.836
CHECKS=36
NODES=735
|
SAT TT=0.075
|
SAT TT=35.317
NODES=111350
|
SAT TT=0.505
NODES=487
|
SAT TT=0.92
CHECKS=0
NODES=2499
|
SAT TT=0.071
|
SAT TT=4.578
|
SAT TT=4.124
|
SAT TT=0.7
|
SAT TT=1.356
|
SAT TT=1.382
|
SAT TT=1.053
|
SAT TT=0.094
|
bqwh/bqwh-18-141_glb/ bqwh-18-141-69_glb.xml |
SAT
TT=0.059
|
SAT TT=1.545
CHECKS=36
NODES=6188
|
SAT TT=1.456
CHECKS=36
NODES=6412
|
SAT TT=0.228
|
SAT TT=2.139
NODES=3784
|
SAT TT=1.771
NODES=4176
|
SAT TT=7.631
CHECKS=0
NODES=37048
|
SAT TT=0.059
|
SAT TT=3.955
|
SAT TT=4.05
|
SAT TT=0.207
|
SAT TT=1.333
|
SAT TT=1.344
|
SAT TT=1.011
|
SAT TT=0.298
|
bqwh/bqwh-18-141_glb/ bqwh-18-141-71_glb.xml |
SAT
TT=0.031
|
SAT TT=1.071
CHECKS=36
NODES=2336
|
SAT TT=1.776
CHECKS=36
NODES=9297
|
SAT TT=0.581
|
SAT TT=12.258
NODES=32587
|
SAT TT=2.001
NODES=4525
|
SAT TT=1.401
CHECKS=0
NODES=4488
|
SAT TT=0.031
|
SAT TT=4.764
|
SAT TT=4.728
|
SAT TT=0.04
|
SAT TT=1.433
|
SAT TT=1.48
|
SAT TT=1.08
|
SAT TT=2.217
|
bqwh/bqwh-18-141_glb/ bqwh-18-141-73_glb.xml |
SAT
TT=0.029
|
SAT TT=1.008
CHECKS=36
NODES=1347
|
SAT TT=2.017
CHECKS=36
NODES=13035
|
SAT TT=1.124
|
SAT TT=40.945
NODES=121263
|
SAT TT=1.816
NODES=3896
|
SAT TT=26.656
CHECKS=0
NODES=125650
|
SAT TT=0.029
|
SAT TT=4.892
|
SAT TT=4.686
|
SAT TT=2.125
|
SAT TT=1.275
|
SAT TT=1.295
|
SAT TT=1.02
|
SAT TT=1.214
|
bqwh/bqwh-18-141_glb/ bqwh-18-141-75_glb.xml |
SAT
TT=0.024
|
SAT TT=1.145
CHECKS=36
NODES=2215
|
SAT TT=0.964
CHECKS=36
NODES=1791
|
SAT TT=0.032
|
SAT TT=1.516
NODES=2518
|
SAT TT=0.511
NODES=468
|
SAT TT=1.804
CHECKS=0
NODES=6101
|
SAT TT=0.024
|
SAT TT=4.473
|
SAT TT=4.266
|
SAT TT=0.096
|
SAT TT=2.158
|
SAT TT=1.499
|
SAT TT=1.14
|
SAT TT=0.055
|
bqwh/bqwh-18-141_glb/ bqwh-18-141-77_glb.xml |
SAT
TT=0.034
|
SAT TT=1.069
CHECKS=36
NODES=2106
|
SAT TT=1.571
CHECKS=36
NODES=8436
|
SAT TT=0.034
|
SAT TT=0.92
NODES=1113
|
SAT TT=0.713
NODES=856
|
SAT TT=0.869
CHECKS=0
NODES=2017
|
SAT TT=0.091
|
SAT TT=5.158
|
SAT TT=5.787
|
SAT TT=0.1
|
SAT TT=1.405
|
SAT TT=1.262
|
SAT TT=1.16
|
SAT TT=0.152
|
bqwh/bqwh-18-141_glb/ bqwh-18-141-79_glb.xml |
SAT
TT=0.036
|
SAT TT=1.425
CHECKS=36
NODES=4323
|
SAT TT=1.38
CHECKS=36
NODES=4857
|
SAT TT=0.068
|
SAT TT=3.414
NODES=7604
|
SAT TT=0.98
NODES=1874
|
SAT TT=2.635
CHECKS=0
NODES=10957
|
SAT TT=0.036
|
SAT TT=4.145
|
SAT TT=3.788
|
SAT TT=0.516
|
SAT TT=1.518
|
SAT TT=1.456
|
SAT TT=1.2
|
SAT TT=1.106
|
bqwh/bqwh-18-141_glb/ bqwh-18-141-7_glb.xml |
SAT
TT=0.048
|
SAT TT=1.393
CHECKS=36
NODES=4851
|
SAT TT=1.034
CHECKS=36
NODES=2343
|
SAT TT=0.325
|
SAT TT=1.279
NODES=1981
|
SAT TT=4.938
NODES=13962
|
SAT TT=7.739
CHECKS=0
NODES=36029
|
SAT TT=0.048
|
SAT TT=4.579
|
SAT TT=4.45
|
SAT TT=0.063
|
SAT TT=1.486
|
SAT TT=1.531
|
SAT TT=1.136
|
SAT TT=0.076
|
bqwh/bqwh-18-141_glb/ bqwh-18-141-81_glb.xml |
SAT
TT=0.041
|
SAT TT=2.902
CHECKS=36
NODES=23745
|
SAT TT=1.079
CHECKS=36
NODES=2912
|
SAT TT=0.041
|
SAT TT=59.43
NODES=179233
|
SAT TT=8.127
NODES=23405
|
SAT TT=12.456
CHECKS=0
NODES=58884
|
SAT TT=0.074
|
SAT TT=4.657
|
SAT TT=5.207
|
SAT TT=0.109
|
SAT TT=1.54
|
SAT TT=1.617
|
SAT TT=1.05
|
SAT TT=0.046
|
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 |
---|
bqwh/bqwh-18-141_glb/ bqwh-18-141-83_glb.xml |
SAT
TT=0.034
|
SAT TT=0.929
CHECKS=36
NODES=977
|
SAT TT=1.3
CHECKS=36
NODES=6038
|
SAT TT=0.088
|
SAT TT=10.541
NODES=32114
|
SAT TT=0.497
NODES=443
|
SAT TT=0.861
CHECKS=0
NODES=2454
|
SAT TT=0.034
|
SAT TT=4.368
|
SAT TT=4.122
|
SAT TT=0.139
|
SAT TT=1.222
|
SAT TT=1.23
|
SAT TT=1.21
|
SAT TT=0.116
|
bqwh/bqwh-18-141_glb/ bqwh-18-141-85_glb.xml |
SAT
TT=0.034
|
SAT TT=1.123
CHECKS=36
NODES=2796
|
SAT TT=1.108
CHECKS=36
NODES=2338
|
SAT TT=0.089
|
SAT TT=17.694
NODES=50380
|
SAT TT=1.024
NODES=1927
|
SAT TT=1.237
CHECKS=0
NODES=3970
|
SAT TT=0.034
|
SAT TT=4.136
|
SAT TT=4.068
|
SAT TT=0.124
|
SAT TT=1.401
|
SAT TT=1.384
|
SAT TT=1.21
|
SAT TT=0.046
|
bqwh/bqwh-18-141_glb/ bqwh-18-141-87_glb.xml |
SAT
TT=0.041
|
SAT TT=1.103
CHECKS=36
NODES=1763
|
SAT TT=1.395
CHECKS=36
NODES=6527
|
SAT TT=0.464
|
SAT TT=1.306
NODES=1967
|
SAT TT=17.021
NODES=51038
|
SAT TT=2.413
CHECKS=0
NODES=9644
|
SAT TT=0.041
|
SAT TT=5.578
|
SAT TT=5.197
|
SAT TT=0.193
|
SAT TT=1.372
|
SAT TT=1.353
|
SAT TT=1.048
|
SAT TT=0.423
|
bqwh/bqwh-18-141_glb/ bqwh-18-141-89_glb.xml |
SAT
TT=0.049
|
SAT TT=1.099
CHECKS=36
NODES=1000
|
SAT TT=0.906
CHECKS=36
NODES=1426
|
SAT TT=0.058
|
SAT TT=0.429
NODES=168
|
SAT TT=0.442
NODES=254
|
SAT TT=0.812
CHECKS=0
NODES=1701
|
SAT TT=0.049
|
SAT TT=4.961
|
SAT TT=4.579
|
SAT TT=0.189
|
SAT TT=1.173
|
SAT TT=1.157
|
SAT TT=1.07
|
SAT TT=1.12
|
bqwh/bqwh-18-141_glb/ bqwh-18-141-91_glb.xml |
SAT
TT=0.047
|
SAT TT=1.339
CHECKS=36
NODES=4214
|
SAT TT=2.893
CHECKS=36
NODES=26746
|
SAT TT=0.047
|
SAT TT=7.691
NODES=22337
|
SAT TT=7.044
NODES=22128
|
SAT TT=7.956
CHECKS=0
NODES=35488
|
SAT TT=0.048
|
SAT TT=4.437
|
SAT TT=4.285
|
SAT TT=0.421
|
SAT TT=1.291
|
SAT TT=1.364
|
SAT TT=1.18
|
SAT TT=0.125
|
bqwh/bqwh-18-141_glb/ bqwh-18-141-93_glb.xml |
SAT
TT=0.024
|
SAT TT=0.745
CHECKS=36
NODES=0
|
SAT TT=0.713
CHECKS=36
NODES=142
|
SAT TT=0.024
|
SAT TT=0.846
NODES=968
|
SAT TT=0.946
NODES=1582
|
SAT TT=1.204
CHECKS=0
NODES=3597
|
SAT TT=0.038
|
SAT TT=4.278
|
SAT TT=4.071
|
SAT TT=0.029
|
SAT TT=1.173
|
SAT TT=1.238
|
SAT TT=0.91
|
SAT TT=0.101
|
bqwh/bqwh-18-141_glb/ bqwh-18-141-95_glb.xml |
SAT
TT=0.039
|
SAT TT=0.903
CHECKS=36
NODES=854
|
SAT TT=0.867
CHECKS=36
NODES=862
|
SAT TT=0.052
|
SAT TT=3.203
NODES=7277
|
SAT TT=0.98
NODES=1571
|
SAT TT=6.306
CHECKS=0
NODES=28988
|
SAT TT=0.039
|
SAT TT=4.757
|
SAT TT=4.716
|
SAT TT=0.374
|
SAT TT=1.393
|
SAT TT=1.48
|
SAT TT=1.19
|
SAT TT=0.508
|
bqwh/bqwh-18-141_glb/ bqwh-18-141-97_glb.xml |
SAT
TT=0.059
|
SAT TT=2.621
CHECKS=36
NODES=20749
|
SAT TT=0.795
CHECKS=36
NODES=495
|
SAT TT=0.507
|
SAT TT=1.645
NODES=2668
|
SAT TT=4.49
NODES=12474
|
SAT TT=13.97
CHECKS=0
NODES=68617
|
SAT TT=0.059
|
SAT TT=4.197
|
SAT TT=4.002
|
SAT TT=0.371
|
SAT TT=1.529
|
SAT TT=1.549
|
SAT TT=1.2
|
SAT TT=3.496
|
bqwh/bqwh-18-141_glb/ bqwh-18-141-99_glb.xml |
SAT
TT=0.028
|
SAT TT=1.44
CHECKS=36
NODES=4224
|
SAT TT=1.691
CHECKS=36
NODES=8343
|
SAT TT=0.028
|
SAT TT=1.053
NODES=1451
|
SAT TT=2.474
NODES=4598
|
SAT TT=15.443
CHECKS=0
NODES=75929
|
SAT TT=0.029
|
SAT TT=4.677
|
SAT TT=4.584
|
SAT TT=0.065
|
SAT TT=1.403
|
SAT TT=1.421
|
SAT TT=1.21
|
SAT TT=2.465
|
bqwh/bqwh-18-141_glb/ bqwh-18-141-9_glb.xml |
SAT
TT=0.033
|
SAT TT=0.938
CHECKS=36
NODES=423
|
SAT TT=0.929
CHECKS=36
NODES=1405
|
SAT TT=0.033
|
SAT TT=0.824
NODES=903
|
SAT TT=0.541
NODES=426
|
SAT TT=1.822
CHECKS=0
NODES=6167
|
SAT TT=0.043
|
SAT TT=4.83
|
SAT TT=4.427
|
SAT TT=0.64
|
SAT TT=1.343
|
SAT TT=1.41
|
SAT TT=1.22
|
SAT TT=0.038
|
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 |
---|
latinSquare/ latinSquare-dg-10_all.xml |
|
? (TO) TT=1800.08
|
? (TO) TT=1800.09
|
? (TO) TT=1800.02
|
? (TO) TT=1800.07
|
? (TO) TT=1800.07
|
? (TO) TT=1800.09
|
? (TO) TT=1800.02
|
? (TO) TT=1800.02
|
? (TO) TT=1800.06
|
? (TO) TT=1800.03
|
? (TO) TT=1800.59
|
? (TO) TT=1800.08
|
? (TO) TT=1800.09
|
? (TO) TT=1800.08
|
latinSquare/ latinSquare-dg-11_all.xml |
|
? (TO) TT=1800.12
|
? (TO) TT=1800.14
|
? (TO) TT=1800.09
|
? (TO) TT=1800.05
|
? (TO) TT=1800.09
|
? (TO) TT=1800.06
|
? (TO) TT=1800.07
|
? (TO) TT=1800.1
|
? (TO) TT=1800.07
|
? (TO) TT=1800.04
|
? (TO) TT=1800.11
|
? (TO) TT=1800.12
|
? (TO) TT=1800.08
|
? (TO) TT=1800.08
|
latinSquare/ latinSquare-dg-12_all.xml |
|
? (TO) TT=1800.1
|
? (TO) TT=1800.17
|
? (TO) TT=1800.01
|
? (TO) TT=1800.1
|
? (TO) TT=1800.01
|
? (TO) TT=1800.03
|
? (TO) TT=1800.06
|
? (TO) TT=1800.07
|
? (TO) TT=1800.07
|
? (TO) TT=1800.01
|
? (TO) TT=1800.15
|
? (TO) TT=1800.12
|
? (TO) TT=1800.11
|
? (TO) TT=1800.03
|
latinSquare/ latinSquare-dg-3_all.xml |
UNSAT
TT=0.012
|
UNSAT TT=0.649
CHECKS=0
NODES=0
|
UNSAT TT=0.6
CHECKS=0
NODES=2
|
UNSAT TT=0.017
|
UNSAT TT=0.291
NODES=11
|
UNSAT TT=0.289
NODES=2
|
UNSAT TT=0.269
CHECKS=0
NODES=2
|
UNSAT TT=0.013
|
UNSAT TT=0.687
|
UNSAT TT=0.618
|
UNSAT TT=0.012
|
UNSAT TT=0.6
|
UNSAT TT=0.582
|
UNSAT TT=0.05
|
UNSAT TT=0.012
|
latinSquare/ latinSquare-dg-4_all.xml |
UNSAT
TT=0.012
|
UNSAT TT=0.65
CHECKS=0
NODES=0
|
UNSAT TT=0.657
CHECKS=0
NODES=3
|
UNSAT TT=0.02
|
UNSAT TT=0.311
NODES=11
|
UNSAT TT=0.309
NODES=3
|
UNSAT TT=0.312
CHECKS=0
NODES=3
|
UNSAT TT=0.013
|
UNSAT TT=0.757
|
UNSAT TT=0.701
|
UNSAT TT=0.014
|
UNSAT TT=0.59
|
UNSAT TT=0.612
|
UNSAT TT=0.319
|
UNSAT TT=0.012
|
latinSquare/ latinSquare-dg-5_all.xml |
SAT
TT=0.013
|
SAT TT=0.668
CHECKS=20
NODES=0
|
SAT TT=0.624
CHECKS=20
NODES=25
|
SAT TT=0.018
|
SAT TT=0.318
NODES=33
|
SAT TT=0.282
NODES=25
|
SAT TT=0.308
CHECKS=0
NODES=25
|
SAT TT=0.013
|
SAT TT=1.385
|
SAT TT=1.241
|
SAT TT=0.015
|
SAT TT=0.606
|
SAT TT=0.571
|
SAT TT=0.796
|
SAT TT=0.014
|
latinSquare/ latinSquare-dg-6_all.xml |
UNSAT
TT=0.048
|
UNSAT TT=1.221
CHECKS=0
NODES=3429
|
UNSAT TT=1.213
CHECKS=0
NODES=3429
|
UNSAT TT=0.226
|
UNSAT TT=0.612
NODES=727
|
UNSAT TT=0.651
NODES=1049
|
UNSAT TT=0.513
CHECKS=0
NODES=1049
|
UNSAT TT=0.059
|
UNSAT TT=1.773
|
UNSAT TT=1.601
|
UNSAT TT=0.048
|
UNSAT TT=1.071
|
UNSAT TT=1.071
|
UNSAT TT=0.08
|
UNSAT TT=0.062
|
latinSquare/ latinSquare-dg-7_all.xml |
SAT
TT=0.015
|
SAT TT=0.741
CHECKS=28
NODES=93
|
SAT TT=0.733
CHECKS=28
NODES=93
|
SAT TT=0.021
|
SAT TT=0.645
NODES=138
|
SAT TT=0.627
NODES=122
|
SAT TT=0.609
CHECKS=0
NODES=127
|
SAT TT=0.019
|
SAT TT=5.176
|
SAT TT=6.697
|
SAT TT=0.017
|
SAT TT=0.779
|
SAT TT=0.841
|
SAT TT=0.761
|
SAT TT=0.015
|
latinSquare/ latinSquare-dg-8_all.xml |
|
? (TO) TT=1800.07
|
? (TO) TT=1800.14
|
? (TO) TT=1800.09
|
? (TO) TT=1800.04
|
? (TO) TT=1800.03
|
? (TO) TT=0.005
|
? (TO) TT=1800.09
|
? (TO) TT=1800.08
|
UNSAT TT=883.55
|
? (TO) TT=1800.08
|
? (TO) TT=1800.18
|
? (TO) TT=1800.15
|
? (TO) TT=1800.05
|
? (TO) TT=1800.11
|
latinSquare/ latinSquare-dg-9_all.xml |
|
? (TO) TT=1800.11
|
? (TO) TT=1800.06
|
? (TO) TT=1800.07
|
? (TO) TT=1800.05
|
? (TO) TT=1800.03
|
? (TO) TT=1800.06
|
? (TO) TT=1800.02
|
? (TO) TT=1800.05
|
? (TO) TT=1800.09
|
? (TO) TT=1800.07
|
? (TO) TT=1800.11
|
? (TO) TT=1800.12
|
? (TO) TT=1800.1
|
? (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 |
---|
pigeons_glb/ pigeons-10_ext.xml |
UNSAT
TT=0.011
|
UNSAT TT=0.604
CHECKS=0
NODES=0
|
UNSAT TT=0.592
CHECKS=0
NODES=0
|
UNSAT TT=0.018
|
UNSAT TT=0.278
NODES=0
|
UNSAT TT=0.261
NODES=0
|
UNSAT TT=0.259
CHECKS=0
NODES=0
|
UNSAT TT=4.038
|
? (TO) TT=1800.06
|
? (TO) TT=1800.09
|
UNSAT TT=0.014
|
UNSAT TT=24.483
|
UNSAT TT=25.689
|
UNSAT TT=0.715
|
UNSAT TT=0.011
|
pigeons_glb/ pigeons-11_ext.xml |
UNSAT
TT=0.01
|
UNSAT TT=0.631
CHECKS=0
NODES=0
|
UNSAT TT=0.601
CHECKS=0
NODES=0
|
UNSAT TT=0.018
|
UNSAT TT=0.292
NODES=0
|
UNSAT TT=0.262
NODES=0
|
UNSAT TT=0.27
CHECKS=0
NODES=0
|
UNSAT TT=47.055
|
? (TO) TT=1800.07
|
? (TO) TT=1800.1
|
UNSAT TT=0.012
|
UNSAT TT=910.415
|
UNSAT TT=1018.04
|
UNSAT TT=2.33
|
UNSAT TT=0.01
|
pigeons_glb/ pigeons-12_ext.xml |
UNSAT
TT=0.011
|
UNSAT TT=0.648
CHECKS=0
NODES=0
|
UNSAT TT=0.588
CHECKS=0
NODES=0
|
UNSAT TT=0.02
|
UNSAT TT=0.282
NODES=0
|
UNSAT TT=0.256
NODES=0
|
UNSAT TT=0.277
CHECKS=0
NODES=0
|
UNSAT TT=590.142
|
? (TO) TT=1800.05
|
? (TO) TT=1800.1
|
UNSAT TT=0.012
|
? (TO) TT=1800.12
|
? (TO) TT=1800.07
|
UNSAT TT=13.28
|
UNSAT TT=0.011
|
pigeons_glb/ pigeons-13_ext.xml |
UNSAT
TT=0.011
|
UNSAT TT=0.638
CHECKS=0
NODES=0
|
UNSAT TT=0.604
CHECKS=0
NODES=0
|
UNSAT TT=0.019
|
UNSAT TT=0.265
NODES=0
|
UNSAT TT=0.264
NODES=0
|
UNSAT TT=0.258
CHECKS=0
NODES=0
|
? (TO) TT=1800.03
|
? (TO) TT=1800
|
? (TO) TT=1800.06
|
UNSAT TT=0.012
|
? (TO) TT=1800.74
|
? (TO) TT=1800.78
|
UNSAT TT=71.07
|
UNSAT TT=0.011
|
pigeons_glb/ pigeons-14_ext.xml |
UNSAT
TT=0.011
|
UNSAT TT=0.614
CHECKS=0
NODES=0
|
UNSAT TT=0.633
CHECKS=0
NODES=0
|
UNSAT TT=0.018
|
UNSAT TT=0.278
NODES=0
|
UNSAT TT=0.262
NODES=0
|
UNSAT TT=0.282
CHECKS=0
NODES=0
|
? (TO) TT=1800.02
|
? (TO) TT=1800.07
|
? (TO) TT=1800.06
|
UNSAT TT=0.011
|
? (TO) TT=1800.14
|
? (TO) TT=1800.09
|
UNSAT TT=646.748
|
UNSAT TT=0.011
|
pigeons_glb/ pigeons-15_ext.xml |
UNSAT
TT=0.012
|
UNSAT TT=0.619
CHECKS=0
NODES=0
|
UNSAT TT=0.632
CHECKS=0
NODES=0
|
UNSAT TT=0.02
|
UNSAT TT=0.272
NODES=0
|
UNSAT TT=0.265
NODES=0
|
UNSAT TT=0.259
CHECKS=0
NODES=0
|
? (TO) TT=1800.09
|
? (TO) TT=1800.05
|
? (TO) TT=1800.08
|
UNSAT TT=0.013
|
? (TO) TT=1800.11
|
? (TO) TT=1800.2
|
? (TO) TT=1800.02
|
UNSAT TT=0.012
|
pigeons_glb/ pigeons-18_ext.xml |
UNSAT
TT=0.011
|
UNSAT TT=0.617
CHECKS=0
NODES=0
|
UNSAT TT=0.601
CHECKS=0
NODES=0
|
UNSAT TT=0.019
|
UNSAT TT=0.269
NODES=0
|
UNSAT TT=0.267
NODES=0
|
UNSAT TT=0.282
CHECKS=0
NODES=0
|
? (TO) TT=1800.05
|
? (TO) TT=1800.06
|
? (TO) TT=1800.03
|
UNSAT TT=0.013
|
? (TO) TT=1800.12
|
? (TO) TT=1800.14
|
? (TO) TT=1800.07
|
UNSAT TT=0.011
|
pigeons_glb/ pigeons-20_ext.xml |
UNSAT
TT=0.01
|
UNSAT TT=0.622
CHECKS=0
NODES=0
|
UNSAT TT=0.619
CHECKS=0
NODES=0
|
UNSAT TT=0.018
|
UNSAT TT=0.3
NODES=0
|
UNSAT TT=0.269
NODES=0
|
UNSAT TT=0.283
CHECKS=0
NODES=0
|
? (TO) TT=1800.04
|
? (MO) TT=0.028
|
? (MO) TT=0.029
|
UNSAT TT=0.01
|
? (TO) TT=1800.18
|
? (TO) TT=1800.14
|
? (TO) TT=1800
|
UNSAT TT=0.011
|
pigeons_glb/ pigeons-25_ext.xml |
UNSAT
TT=0.013
|
UNSAT TT=0.617
CHECKS=0
NODES=0
|
UNSAT TT=0.602
CHECKS=0
NODES=0
|
UNSAT TT=0.018
|
UNSAT TT=0.304
NODES=0
|
UNSAT TT=0.301
NODES=0
|
UNSAT TT=0.288
CHECKS=0
NODES=0
|
? (TO) TT=1800.05
|
? (MO) TT=0.033
|
? (MO) TT=0.03
|
UNSAT TT=0.013
|
? (TO) TT=1800.2
|
? (TO) TT=1800.11
|
? (TO) TT=1800.01
|
UNSAT TT=0.014
|
pigeons_glb/ pigeons-30_ext.xml |
UNSAT
TT=0.012
|
UNSAT TT=0.666
CHECKS=0
NODES=0
|
UNSAT TT=0.61
CHECKS=0
NODES=0
|
UNSAT TT=0.018
|
UNSAT TT=0.32
NODES=0
|
UNSAT TT=0.304
NODES=0
|
UNSAT TT=0.323
CHECKS=0
NODES=0
|
? (TO) TT=1800.05
|
? (MO) TT=0.027
|
? (MO) TT=0.029
|
UNSAT TT=0.012
|
? (TO) TT=1800.61
|
? (TO) TT=1800.17
|
? (TO) TT=1800.14
|
UNSAT TT=0.014
|
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 |
---|
pigeons_glb/ pigeons-35_ext.xml |
UNSAT
TT=0.011
|
UNSAT TT=0.658
CHECKS=0
NODES=0
|
UNSAT TT=0.606
CHECKS=0
NODES=0
|
UNSAT TT=0.019
|
UNSAT TT=0.329
NODES=0
|
UNSAT TT=0.322
NODES=0
|
UNSAT TT=0.315
CHECKS=0
NODES=0
|
? (TO) TT=1800.06
|
? (TO) TT=1800.07
|
? (TO) TT=1800.1
|
UNSAT TT=0.012
|
? (TO) TT=1800.16
|
? (TO) TT=1800.17
|
? (TO) TT=1800.08
|
UNSAT TT=0.011
|
pigeons_glb/ pigeons-40_ext.xml |
UNSAT
TT=0.013
|
UNSAT TT=0.676
CHECKS=0
NODES=0
|
UNSAT TT=0.663
CHECKS=0
NODES=0
|
UNSAT TT=0.018
|
UNSAT TT=0.353
NODES=0
|
UNSAT TT=0.352
NODES=0
|
UNSAT TT=0.318
CHECKS=0
NODES=0
|
? (TO) TT=1800.09
|
? (TO) TT=1800.06
|
? (TO) TT=1800.05
|
UNSAT TT=0.013
|
? (TO) TT=1800.19
|
? (TO) TT=1800.15
|
? (TO) TT=1800.1
|
UNSAT TT=0.014
|
pigeons_glb/ pigeons-45_ext.xml |
UNSAT
TT=0.012
|
UNSAT TT=0.676
CHECKS=0
NODES=0
|
UNSAT TT=0.655
CHECKS=0
NODES=0
|
UNSAT TT=0.018
|
UNSAT TT=0.378
NODES=0
|
UNSAT TT=0.378
NODES=0
|
UNSAT TT=0.308
CHECKS=0
NODES=0
|
? (TO) TT=1800.1
|
? (MO) TT=0.029
|
? (MO) TT=0.028
|
UNSAT TT=0.016
|
? (TO) TT=1800.12
|
? (TO) TT=1800.18
|
? (TO) TT=1800.08
|
UNSAT TT=0.012
|
pigeons_glb/ pigeons-50_ext.xml |
UNSAT
TT=0.014
|
UNSAT TT=0.649
CHECKS=0
NODES=0
|
UNSAT TT=0.622
CHECKS=0
NODES=0
|
UNSAT TT=0.018
|
UNSAT TT=0.406
NODES=0
|
UNSAT TT=0.392
NODES=0
|
UNSAT TT=0.32
CHECKS=0
NODES=0
|
? (TO) TT=1800.07
|
? (TO) TT=1800.05
|
? (TO) TT=1800.01
|
UNSAT TT=0.014
|
? (TO) TT=1800.15
|
? (TO) TT=1800.26
|
? (TO) TT=1800.07
|
UNSAT TT=0.014
|
pigeons_glb/ pigeons-5_ext.xml |
UNSAT
TT=0.011
|
UNSAT TT=0.603
CHECKS=0
NODES=0
|
UNSAT TT=0.606
CHECKS=0
NODES=0
|
UNSAT TT=0.017
|
UNSAT TT=0.257
NODES=0
|
UNSAT TT=0.277
NODES=0
|
UNSAT TT=0.265
CHECKS=0
NODES=0
|
UNSAT TT=0.012
|
UNSAT TT=0.488
|
Wrong Cert. TT=0.891
|
UNSAT TT=0.012
|
UNSAT TT=0.534
|
UNSAT TT=0.532
|
UNSAT TT=0.22
|
UNSAT TT=0.011
|
pigeons_glb/ pigeons-6_ext.xml |
UNSAT
TT=0.011
|
UNSAT TT=0.64
CHECKS=0
NODES=0
|
UNSAT TT=0.629
CHECKS=0
NODES=0
|
UNSAT TT=0.017
|
UNSAT TT=0.267
NODES=0
|
UNSAT TT=0.266
NODES=0
|
UNSAT TT=0.273
CHECKS=0
NODES=0
|
UNSAT TT=0.013
|
UNSAT TT=0.523
|
Wrong Cert. TT=0.933
|
UNSAT TT=0.014
|
UNSAT TT=0.621
|
UNSAT TT=0.635
|
UNSAT TT=0.237
|
UNSAT TT=0.011
|
pigeons_glb/ pigeons-7_ext.xml |
UNSAT
TT=0.013
|
UNSAT TT=0.656
CHECKS=0
NODES=0
|
UNSAT TT=0.614
CHECKS=0
NODES=0
|
UNSAT TT=0.019
|
UNSAT TT=0.27
NODES=0
|
UNSAT TT=0.271
NODES=0
|
UNSAT TT=0.273
CHECKS=0
NODES=0
|
UNSAT TT=0.027
|
UNSAT TT=0.741
|
Wrong Cert. TT=1.055
|
UNSAT TT=0.013
|
UNSAT TT=0.808
|
UNSAT TT=0.786
|
UNSAT TT=0.057
|
UNSAT TT=0.013
|
pigeons_glb/ pigeons-8_ext.xml |
UNSAT
TT=0.011
|
UNSAT TT=0.597
CHECKS=0
NODES=0
|
UNSAT TT=0.598
CHECKS=0
NODES=0
|
UNSAT TT=0.017
|
UNSAT TT=0.307
NODES=0
|
UNSAT TT=0.287
NODES=0
|
UNSAT TT=0.289
CHECKS=0
NODES=0
|
UNSAT TT=0.069
|
UNSAT TT=4.047
|
Wrong Cert. TT=4.459
|
UNSAT TT=0.011
|
UNSAT TT=1.026
|
UNSAT TT=1.042
|
UNSAT TT=0.274
|
UNSAT TT=0.011
|
pigeons_glb/ pigeons-9_ext.xml |
UNSAT
TT=0.011
|
UNSAT TT=0.63
CHECKS=0
NODES=0
|
UNSAT TT=0.624
CHECKS=0
NODES=0
|
UNSAT TT=0.017
|
UNSAT TT=0.791
NODES=0
|
UNSAT TT=0.838
NODES=0
|
UNSAT TT=0.816
CHECKS=0
NODES=0
|
UNSAT TT=0.388
|
UNSAT TT=89.927
|
Wrong Cert. TT=95.416
|
UNSAT TT=0.011
|
UNSAT TT=2.875
|
UNSAT TT=2.845
|
UNSAT TT=0.166
|
UNSAT TT=0.012
|
zhou/ protein.xml |
SAT
TT=10.836
|
? (TO) TT=1800.13
|
SAT TT=639.803
CHECKS=756011370
NODES=518928
|
SAT TT=10.836
|
? (TO) TT=1800.03
|
? (TO) TT=1800.02
|
? (TO) TT=1800.08
|
? (TO) TT=1800.03
|
? (TO) TT=1800.08
|
? (TO) TT=1800.09
|
Signal TT=0.02
|
SAT TT=1255.82
|
? TT=17.208
|
SAT TT=32.81
|
Signal TT=0.021
|
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 |
---|
zhou/ queens2.xml |
SAT
TT=0.084
|
SAT TT=7.705
CHECKS=7301938
NODES=1215
|
SAT TT=4.928
CHECKS=4881221
NODES=1165
|
SAT TT=0.084
|
SAT TT=191.614
NODES=342
|
SAT TT=193.608
NODES=310
|
SAT TT=84.812
CHECKS=63769
NODES=310
|
? (TO) TT=1800.1
|
? (MO) TT=0.027
|
? (MO) TT=0.036
|
Signal TT=0.044
|
SAT TT=17.454
|
SAT TT=18.515
|
SAT TT=9.08
|
Signal TT=0.044
|
zhou/ sudoku368.xml |
SAT
TT=0.112
|
SAT TT=15.468
CHECKS=75
NODES=3512
|
SAT TT=3.532
CHECKS=75
NODES=5254
|
SAT TT=0.112
|
SAT TT=18.764
NODES=4489
|
SAT TT=298.25
NODES=64991
|
? (TO) TT=1800.07
|
SAT TT=0.129
|
? (TO) TT=1800.09
|
? (TO) TT=1800.01
|
SAT TT=0.227
|
SAT TT=3.091
|
SAT TT=3.009
|
SAT TT=3.33
|
SAT TT=0.227
|