2018 XCSP3 competition: parallel solvers tracks: benchmarks results per solver
Result page for solver scop
order+glucose-syrup (2018-07-31)
(complete)
Category "decision problem" (CSP)
Solver proved unsatisfiability (UNSATISFIABLE) (56 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
Haystacks/
Haystacks-ext-04_c18.xml
UNSAT
3.44427
2.16468
4307258
Langford/
LangfordBin-06_c18.xml
UNSAT
3.70626
2.25336
4307108
Haystacks/
Haystacks-ext-05_c18.xml
UNSAT
3.92917
2.3287
4307259
Dubois/
Dubois-018_c18.xml
UNSAT
4.24467
2.39028
4307119
Haystacks/
Haystacks-ext-06_c18.xml
UNSAT
4.45603
2.45825
4307260
ColouredQueens/
ColouredQueens-06_c18.xml
UNSAT
4.58843
2.44165
4307097
Dubois/
Dubois-020_c18.xml
UNSAT
4.65364
2.43753
4307120
Dubois/
Dubois-023_c18.xml
UNSAT
4.70446
2.48632
4307123
Dubois/
Dubois-021_c18.xml
UNSAT
4.70555
2.46476
4307121
Dubois/
Dubois-022_c18.xml
UNSAT
4.76008
2.64176
4307122
Dubois/
Dubois-025_c18.xml
UNSAT
4.81645
2.51145
4307125
Dubois/
Dubois-024_c18.xml
UNSAT
4.82583
2.51561
4307124
Dubois/
Dubois-030_c18.xml
UNSAT
4.85127
2.53792
4307126
StripPacking/
StripPacking-1a_c18.xml
UNSAT
4.89048
2.59575
4307196
Dubois/
Dubois-040_c18.xml
UNSAT
5.41196
2.65083
4307127
Haystacks/
Haystacks-ext-07_c18.xml
UNSAT
5.62206
2.66729
4307261
Dubois/
Dubois-050_c18.xml
UNSAT
5.79028
2.84886
4307128
Quasigroups/
QuasiGroup-7-07_c18.xml
UNSAT
6.33369
2.87605
4307176
Dubois/
Dubois-075_c18.xml
UNSAT
6.49404
2.95039
4307129
Haystacks/
Haystacks-ext-08_c18.xml
UNSAT
6.81295
2.95435
4307262
Dubois/
Dubois-100_c18.xml
UNSAT
7.22775
3.12566
4307130
Haystacks/
Haystacks-ext-09_c18.xml
UNSAT
7.92426
3.31301
4307263
Langford/
LangfordBin-09_c18.xml
UNSAT
8.27962
3.04564
4307111
Haystacks/
Haystacks-ext-10_c18.xml
UNSAT
9.71658
3.61873
4307264
Quasigroups/
QuasiGroup-4-07_c18.xml
UNSAT
9.94922
3.4282
4307168
Quasigroups/
QuasiGroup-7-08_c18.xml
UNSAT
10.8724
3.69746
4307177
SocialGolfers/
SocialGolfers-4-4-6-cp_c18.xml
UNSAT
11.7506
4.11645
4307186
SocialGolfers/
SocialGolfers-4-4-7-cp_c18.xml
UNSAT
13.0972
4.37807
4307187
Haystacks/
Haystacks-ext-11_c18.xml
UNSAT
14.0647
4.35697
4307265
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f10_c18.xml
UNSAT
18.9807
7.46136
4307295
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f12_c18.xml
UNSAT
19.3865
7.14802
4307292
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f07_c18.xml
UNSAT
19.7554
7.7091
4307291
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f11_c18.xml
UNSAT
19.8467
7.39549
4307296
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f09_c18.xml
UNSAT
20.1214
7.56882
4307298
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f08_c18.xml
UNSAT
20.7074
7.88815
4307301
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f06_c18.xml
UNSAT
20.7962
7.74752
4307293
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f05_c18.xml
UNSAT
21.5769
7.9437
4307300
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f04_c18.xml
UNSAT
22.395
8.43962
4307297
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f03_c18.xml
UNSAT
23.7861
8.41398
4307294
MagicHexagon/
MagicHexagon-04-0017_c18.xml
UNSAT
24.719
5.63261
4307132
Haystacks/
Haystacks-ext-12_c18.xml
UNSAT
24.9624
5.8183
4307266
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f02_c18.xml
UNSAT
25.611
8.6627
4307302
SocialGolfers/
SocialGolfers-5-5-8-cp_c18.xml
UNSAT
26.4973
7.63849
4307191
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f01_c18.xml
UNSAT
26.7396
9.1389
4307299
SocialGolfers/
SocialGolfers-5-5-7-cp_c18.xml
UNSAT
26.7557
7.16669
4307190
Langford/
LangfordBin-10_c18.xml
UNSAT
30.4575
5.75223
4307112
Subisomorphism/
Subisomorphism-g34-g36_c18.xml
UNSAT
73.581
41.0873
4307228
Haystacks/
Haystacks-ext-13_c18.xml
UNSAT
103.586
16.0109
4307267
Quasigroups/
QuasiGroup-4-08_c18.xml
UNSAT
179.948
24.9543
4307169
SocialGolfers/
SocialGolfers-6-6-9-cp_c18.xml
UNSAT
184.449
29.8144
4307195
CarSequencing/
CarSequencing-06-76_c18.xml
UNSAT
199.813
32.4237
4307080
PseudoBoolean-dec/
Pb-chnl10-11_c18.xml
UNSAT
264.883
34.9599
4307268
PseudoBoolean-dec/
Pb-chnl15-16_c18.xml
UNSAT
481.692
62.3184
4307269
ColouredQueens/
ColouredQueens-08_c18.xml
UNSAT
1549.18
196.242
4307099
Quasigroups/
QuasiGroup-7-10_c18.xml
UNSAT
4749.22
597.927
4307179
Subisomorphism/
Subisomorphism-g17-g42_c18.xml
UNSAT
6442.1
827.081
4307224
Solver found a solution (SATISFIABLE) for a SAT/UNSAT instance (96 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
Langford/
LangfordBin-07_c18.xml
SAT
3.99377
2.34701
4307109
Langford/
LangfordBin-08_c18.xml
SAT
4.1192
2.37503
4307110
ColouredQueens/
ColouredQueens-05_c18.xml
SAT
4.22028
2.4382
4307096
GracefulGraph/
GracefulGraph-K03-P03_c18.xml
SAT
4.56345
2.42763
4307158
Langford/
LangfordBin-11_c18.xml
SAT
4.63377
2.49809
4307113
GracefulGraph/
GracefulGraph-K04-P02_c18.xml
SAT
4.67383
2.45235
4307159
StripPacking/
StripPacking-1b_c18.xml
SAT
4.70034
2.57078
4307197
Langford/
LangfordBin-12_c18.xml
SAT
4.78548
2.55975
4307114
ColouredQueens/
ColouredQueens-07_c18.xml
SAT
5.2683
2.65714
4307098
Bibd/
Bibd-sum-07-03-01_c18.xml
SAT
5.36917
2.67017
4307073
CarSequencing/
CarSequencing-dingbas_c18.xml
SAT
5.53076
2.78156
4307095
Langford/
LangfordBin-15_c18.xml
SAT
5.71678
2.69565
4307117
Langford/
LangfordBin-16_c18.xml
SAT
5.93367
2.78254
4307118
StripPacking/
StripPacking-C1P1_c18.xml
SAT
6.0344
2.83963
4307198
StripPacking/
StripPacking-C1P2_c18.xml
SAT
6.29578
2.91078
4307199
SocialGolfers/
SocialGolfers-4-4-4-cp_c18.xml
SAT
8.14691
3.35956
4307184
GracefulGraph/
GracefulGraph-K02-P09_c18.xml
SAT
8.66063
3.22761
4307157
GracefulGraph/
GracefulGraph-K04-P03_c18.xml
SAT
8.73913
3.19681
4307160
Quasigroups/
QuasiGroup-7-09_c18.xml
SAT
8.81294
3.58745
4307178
MisteryShopper/
MisteryShopper-04_c18.xml
SAT
8.95431
3.76578
4307281
StripPacking/
StripPacking-C1P3_c18.xml
SAT
9.00439
3.22171
4307200
StripPacking/
StripPacking-T1c_c18.xml
SAT
9.62959
4.06676
4307206
SocialGolfers/
SocialGolfers-4-4-5-cp_c18.xml
SAT
10.4033
3.82214
4307185
Eternity/
Eternity-04-04_c18.xml
SAT
11.1094
3.88887
4307142
PseudoBoolean-dec/
Pb-fpga25-25-sat_c18.xml
SAT
11.6173
4.40061
4307273
SportsScheduling/
SportsScheduling-08_c18.xml
SAT
11.6666
4.20209
4307208
Quasigroups/
QuasiGroup-4-09_c18.xml
SAT
11.8534
4.50611
4307170
PseudoBoolean-dec/
Pb-robin08_c18.xml
SAT
12.294
5.54655
4307275
Frb/
frb-30-15-1_c18.xml
SAT
14.597
4.58953
4307229
SocialGolfers/
SocialGolfers-5-5-5-cp_c18.xml
SAT
15.6181
5.14738
4307188
Bibd/
Bibd-sum-12-06-05_c18.xml
SAT
16.5919
5.56548
4307076
Eternity/
Eternity-05-05_c18.xml
SAT
16.6707
5.44658
4307143
SocialGolfers/
SocialGolfers-5-5-6-cp_c18.xml
SAT
17.4628
5.78682
4307189
MisteryShopper/
MisteryShopper-06a_c18.xml
SAT
17.6161
5.95173
4307282
MisteryShopper/
MisteryShopper-10a_c18.xml
SAT
18.0031
6.19552
4307286
SportsScheduling/
SportsScheduling-10_c18.xml
SAT
20.5259
6.22735
4307209
PseudoBoolean-dec/
Pb-robin10_c18.xml
SAT
20.6109
8.473
4307276
Frb/
frb-35-17-1_c18.xml
SAT
21.1093
5.65299
4307230
Eternity/
Eternity-06-06_c18.xml
SAT
21.5258
8.20669
4307144
Bibd/
Bibd-sc-12-06-05_c18.xml
SAT
22.821
6.73123
4307070
MisteryShopper/
MisteryShopper-06b_c18.xml
SAT
24.2537
8.5653
4307283
StripPacking/
StripPacking-C2P1_c18.xml
SAT
25.2093
5.52911
4307201
Eternity/
Eternity-10-04_c18.xml
SAT
25.9266
9.42896
4307148
MisteryShopper/
MisteryShopper-10b_c18.xml
SAT
29.4069
11.2526
4307287
PseudoBoolean-dec/
Pb-fpga45-45-sat_c18.xml
SAT
30.8862
15.3907
4307274
StripPacking/
StripPacking-N1c_c18.xml
SAT
31.4902
6.78183
4307204
GracefulGraph/
GracefulGraph-K05-P02_c18.xml
SAT
34.3003
6.56959
4307162
Eternity/
Eternity-10-05_c18.xml
SAT
36.1356
13.7984
4307149
Frb/
frb-40-19-1-mgd_c18.xml
SAT
37.082
8.32455
4307231
Bibd/
Bibd-sum-09-03-09_c18.xml
SAT
41.0341
22.9218
4307074
CarSequencing/
CarSequencing-60-02_c18.xml
SAT
45.2021
21.5425
4307082
MisteryShopper/
MisteryShopper-06c_c18.xml
SAT
47.2108
15.0152
4307284
Crossword/
Crossword-m18-ogd2008-vg-04-05_c18.xml
SAT
48.0357
27.4856
4307245
Bibd/
Bibd-sc-09-03-09_c18.xml
SAT
49.0601
25.0103
4307068
CarSequencing/
CarSequencing-65-01_c18.xml
SAT
50.3781
25.6542
4307083
CarSequencing/
CarSequencing-65-02_c18.xml
SAT
51.0036
23.9263
4307084
MisteryShopper/
MisteryShopper-10c_c18.xml
SAT
55.6238
20.85
4307288
CarSequencing/
CarSequencing-60-01_c18.xml
SAT
56.0534
26.0222
4307081
Subisomorphism/
Subisomorphism-g08-g43_c18.xml
SAT
56.1185
38.7843
4307218
CarSequencing/
CarSequencing-70-01_c18.xml
SAT
57.1617
27.5715
4307085
MagicHexagon/
MagicHexagon-04-m004_c18.xml
SAT
59.1243
10.419
4307133
CarSequencing/
CarSequencing-70-02_c18.xml
SAT
59.9224
27.0472
4307086
MagicHexagon/
MagicHexagon-04-0003_c18.xml
SAT
61.9818
10.8315
4307131
StripPacking/
StripPacking-T1d_c18.xml
SAT
66.9231
11.245
4307207
CarSequencing/
CarSequencing-75-01_c18.xml
SAT
68.2623
29.073
4307087
CarSequencing/
CarSequencing-75-02_c18.xml
SAT
70.7552
28.7637
4307088
PseudoBoolean-dec/
Pb-robin12_c18.xml
SAT
73.9038
22.1257
4307277
Bibd/
Bibd-sum-10-03-08_c18.xml
SAT
74.1029
41.7977
4307075
CarSequencing/
CarSequencing-80-02_c18.xml
SAT
74.5643
30.2067
4307090
MisteryShopper/
MisteryShopper-12_c18.xml
SAT
80.3095
30.7397
4307290
Bibd/
Bibd-sc-10-03-08_c18.xml
SAT
88.093
46.3409
4307069
CarSequencing/
CarSequencing-80-01_c18.xml
SAT
97.4634
33.1839
4307089
MisteryShopper/
MisteryShopper-06d_c18.xml
SAT
118.281
28.374
4307285
Crossword/
Crossword-m18-ogd2008-vg-05-06_c18.xml
SAT
147.79
84.9365
4307246
CarSequencing/
CarSequencing-85-01_c18.xml
SAT
210.24
47.3146
4307091
SportsScheduling/
SportsScheduling-12_c18.xml
SAT
247.599
36.8019
4307210
CarSequencing/
CarSequencing-04-72_c18.xml
SAT
404.49
58.0313
4307079
MisteryShopper/
MisteryShopper-10d_c18.xml
SAT
471.342
83.7934
4307289
SportsScheduling/
SportsScheduling-14_c18.xml
SAT
536.319
77.3472
4307211
StripPacking/
StripPacking-N1a_c18.xml
SAT
663.48
85.8471
4307202
CarSequencing/
CarSequencing-85-02_c18.xml
SAT
730.892
112.844
4307092
Eternity/
Eternity-07-07_c18.xml
SAT
982.224
132.171
4307145
StripPacking/
StripPacking-T1a_c18.xml
SAT
1088.5
139.387
4307205
CarSequencing/
CarSequencing-90-02_c18.xml
SAT
1448.39
203.534
4307094
GracefulGraph/
GracefulGraph-K04-P04_c18.xml
SAT
1824.41
231.352
4307161
MagicHexagon/
MagicHexagon-05-0006_c18.xml
SAT
2321.49
299.513
4307134
StripPacking/
StripPacking-N1b_c18.xml
SAT
3153.38
398.074
4307203
Crossword/
Crossword-m18-ogd2008-vg-06-07_c18.xml
SAT
4355.56
699.843
4307247
Frb/
frb-50-23-1-mgd_c18.xml
SAT
4570.85
578.059
4307233
Eternity/
Eternity-10-06_c18.xml
SAT
4636.27
595.714
4307150
Frb/
frb-53-24-2-mgd_c18.xml
SAT
4834.31
612.042
4307237
Frb/
frb-45-21-1_c18.xml
SAT
6267.18
790.158
4307232
MagicHexagon/
MagicHexagon-05-m003_c18.xml
SAT
6879.73
871.075
4307135
CarSequencing/
CarSequencing-90-01_c18.xml
SAT
11625.2
1479.83
4307093
Quasigroups/
QuasiGroup-4-12_c18.xml
SAT
12450.8
1565.57
4307172
Subisomorphism/
Subisomorphism-g10-g27_c18.xml
SAT
19665.4
2475.16
4307220
Solver timed out (no solution given) (82 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
Bibd/
Bibd-sc-07-03-01_c18.xml
? (TO)
7.56111
2520.03
4307067
Crossword/
Crossword-m18-ogd2008-vg-13-14_c18.xml
? (TO)
13191.5
2520.63
4307254
Crossword/
Crossword-m18-ogd2008-vg-12-13_c18.xml
? (TO)
13274.1
2520.58
4307253
Crossword/
Crossword-m18-ogd2008-vg-14-15_c18.xml
? (TO)
13525.6
2520.6
4307255
Crossword/
Crossword-m18-ogd2008-vg-15-16_c18.xml
? (TO)
13622.9
2520.57
4307256
Crossword/
Crossword-m18-ogd2008-vg-11-12_c18.xml
? (TO)
14025.6
2520.56
4307252
Crossword/
Crossword-m18-ogd2008-vg-16-17_c18.xml
? (TO)
14426.8
2520.49
4307257
Crossword/
Crossword-m18-ogd2008-vg-10-11_c18.xml
? (TO)
14529.2
2520.51
4307251
Crossword/
Crossword-m18-ogd2008-vg-09-10_c18.xml
? (TO)
15933.8
2520.44
4307250
Subisomorphism/
Subisomorphism-g29-g50_c18.xml
? (TO)
16912.3
2520.38
4307227
Crossword/
Crossword-m18-ogd2008-vg-08-09_c18.xml
? (TO)
16976.1
2520.3
4307249
Crossword/
Crossword-m18-ogd2008-vg-07-08_c18.xml
? (TO)
17867.5
2520.28
4307248
Eternity/
Eternity-15-15_c18.xml
? (TO)
17937
2520.46
4307156
Eternity/
Eternity-14-14_c18.xml
? (TO)
18605.1
2520.33
4307155
Eternity/
Eternity-13-13_c18.xml
? (TO)
18952.2
2520.3
4307154
SportsScheduling/
SportsScheduling-26_c18.xml
? (TO)
19002.9
2521.08
4307217
Eternity/
Eternity-12-12_c18.xml
? (TO)
19361.4
2520.23
4307153
SportsScheduling/
SportsScheduling-24_c18.xml
? (TO)
19409.1
2520.52
4307216
Subisomorphism/
Subisomorphism-g19-g43_c18.xml
? (TO)
19415.1
2520.1
4307225
PseudoBoolean-dec/
Pb-robin16_c18.xml
? (TO)
19426.4
2520.91
4307279
Bibd/
Bibd-sc-34-085-30-12-10_c18.xml
? (TO)
19562.3
2520.24
4307072
SportsScheduling/
SportsScheduling-22_c18.xml
? (TO)
19618.5
2520.43
4307215
PseudoBoolean-dec/
Pb-robin18_c18.xml
? (TO)
19619.6
2520.4
4307280
Eternity/
Eternity-11-11_c18.xml
? (TO)
19623.8
2520.16
4307152
Subisomorphism/
Subisomorphism-g19-g45_c18.xml
? (TO)
19648.7
2520.1
4307226
Bibd/
Bibd-sum-34-085-30-12-10_c18.xml
? (TO)
19657.7
2520.23
4307078
MagicHexagon/
MagicHexagon-07-0002_c18.xml
? (TO)
19702.9
2520.85
4307138
MagicHexagon/
MagicHexagon-07-m011_c18.xml
? (TO)
19716.2
2521.16
4307139
Eternity/
Eternity-10-10_c18.xml
? (TO)
19787.1
2520.14
4307151
SportsScheduling/
SportsScheduling-20_c18.xml
? (TO)
19802.4
2520.28
4307214
SportsScheduling/
SportsScheduling-18_c18.xml
? (TO)
19840
2520.2
4307213
Subisomorphism/
Subisomorphism-g11-g44_c18.xml
? (TO)
19877.4
2520.08
4307222
Eternity/
Eternity-09-09_c18.xml
? (TO)
19894.3
2520.11
4307147
PseudoBoolean-dec/
Pb-robin14_c18.xml
? (TO)
19902.5
2520.24
4307278
Subisomorphism/
Subisomorphism-g11-g30_c18.xml
? (TO)
19923.2
2520.11
4307221
Quasigroups/
QuasiGroup-4-20_c18.xml
? (TO)
19929.4
2520.16
4307175
Subisomorphism/
Subisomorphism-g17-g37_c18.xml
? (TO)
19934
2520.09
4307223
SportsScheduling/
SportsScheduling-16_c18.xml
? (TO)
19957.6
2520.16
4307212
MagicHexagon/
MagicHexagon-06-0010_c18.xml
? (TO)
19968.4
2520.42
4307136
MagicHexagon/
MagicHexagon-06-m001_c18.xml
? (TO)
19974.4
2520.37
4307137
Eternity/
Eternity-08-08_c18.xml
? (TO)
19975
2520.1
4307146
Quasigroups/
QuasiGroup-4-16_c18.xml
? (TO)
20011.9
2520.08
4307174
Bibd/
Bibd-sc-22-033-12-08-04_c18.xml
? (TO)
20023.3
2520.09
4307071
GracefulGraph/
GracefulGraph-K07-P03_c18.xml
? (TO)
20028.7
2520.13
4307167
Quasigroups/
QuasiGroup-7-20_c18.xml
? (TO)
20033.4
2520.18
4307183
Bibd/
Bibd-sum-22-033-12-08-04_c18.xml
? (TO)
20038.6
2520.1
4307077
Frb/
frb-50-23-2-mgd_c18.xml
? (TO)
20038.7
2520.07
4307234
Subisomorphism/
Subisomorphism-g10-g23_c18.xml
? (TO)
20038.9
2520.06
4307219
Frb/
frb-59-26-3-mgd_c18.xml
? (TO)
20040.8
2520.08
4307244
Frb/
frb-59-26-2-mgd_c18.xml
? (TO)
20042.9
2520.08
4307243
Frb/
frb-59-26-1-mgd_c18.xml
? (TO)
20045.2
2520.06
4307242
Quasigroups/
QuasiGroup-4-14_c18.xml
? (TO)
20046.2
2520.1
4307173
Frb/
frb-56-25-1-mgd_c18.xml
? (TO)
20046.3
2520.06
4307239
Frb/
frb-56-25-2-mgd_c18.xml
? (TO)
20048.2
2520.07
4307240
Frb/
frb-56-25-3-mgd_c18.xml
? (TO)
20050
2520.07
4307241
SocialGolfers/
SocialGolfers-6-6-8-cp_c18.xml
? (TO)
20052
2520.07
4307194
Frb/
frb-53-24-1-mgd_c18.xml
? (TO)
20052.5
2520.07
4307236
Frb/
frb-53-24-3-mgd_c18.xml
? (TO)
20052.8
2520.08
4307238
Frb/
frb-50-23-3-mgd_c18.xml
? (TO)
20057.4
2520.08
4307235
SocialGolfers/
SocialGolfers-6-6-7-cp_c18.xml
? (TO)
20058.6
2520.07
4307193
GracefulGraph/
GracefulGraph-K06-P03_c18.xml
? (TO)
20060.4
2520.1
4307165
PseudoBoolean-dec/
Pb-chnl50-51_c18.xml
? (TO)
20061.7
2520.29
4307272
Quasigroups/
QuasiGroup-7-16_c18.xml
? (TO)
20061.9
2520.1
4307182
SocialGolfers/
SocialGolfers-6-6-6-cp_c18.xml
? (TO)
20064.4
2520.07
4307192
ColouredQueens/
ColouredQueens-16_c18.xml
? (TO)
20069.2
2520.09
4307107
GracefulGraph/
GracefulGraph-K07-P02_c18.xml
? (TO)
20069.3
2520.12
4307166
Quasigroups/
QuasiGroup-7-14_c18.xml
? (TO)
20069.6
2520.07
4307181
PseudoBoolean-dec/
Pb-chnl30-31_c18.xml
? (TO)
20071.7
2520.16
4307271
ColouredQueens/
ColouredQueens-15_c18.xml
? (TO)
20072.9
2520.1
4307106
Quasigroups/
QuasiGroup-4-10_c18.xml
? (TO)
20074.5
2520.07
4307171
GracefulGraph/
GracefulGraph-K05-P03_c18.xml
? (TO)
20075
2520.07
4307163
ColouredQueens/
ColouredQueens-14_c18.xml
? (TO)
20076.2
2520.11
4307105
Quasigroups/
QuasiGroup-7-12_c18.xml
? (TO)
20076.9
2520.06
4307180
ColouredQueens/
ColouredQueens-13_c18.xml
? (TO)
20077.9
2520.11
4307104
ColouredQueens/
ColouredQueens-12_c18.xml
? (TO)
20077.9
2520.1
4307103
GracefulGraph/
GracefulGraph-K06-P02_c18.xml
? (TO)
20077.9
2520.06
4307164
ColouredQueens/
ColouredQueens-09_c18.xml
? (TO)
20081.6
2520.08
4307100
PseudoBoolean-dec/
Pb-chnl20-21_c18.xml
? (TO)
20081.8
2520.13
4307270
ColouredQueens/
ColouredQueens-11_c18.xml
? (TO)
20082.7
2520.08
4307102
Langford/
LangfordBin-13_c18.xml
? (TO)
20082.8
2520.07
4307115
ColouredQueens/
ColouredQueens-10_c18.xml
? (TO)
20083.7
2520.08
4307101
Langford/
LangfordBin-14_c18.xml
? (TO)
20084
2520.06
4307116
Solver exceeded the memory limit (no solution given) (2 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
MagicHexagon/
MagicHexagon-08-0006_c18.xml
? (MO)
149.924
143.808
4307140
MagicHexagon/
MagicHexagon-08-m009_c18.xml
? (MO)
152.417
145.278
4307141