2018 XCSP3 competition: parallel solvers tracks: benchmarks results per solver
Result page for solver scop
both+glucose-syrup (2018-07-07)
(complete)
Category "decision problem" (CSP)
Solver proved unsatisfiability (UNSATISFIABLE) (55 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
Haystacks/
Haystacks-ext-04_c18.xml
UNSAT
2.27111
1.37204
4297310
Langford/
LangfordBin-06_c18.xml
UNSAT
2.56637
1.4368
4297160
Haystacks/
Haystacks-ext-05_c18.xml
UNSAT
2.75233
1.62081
4297311
Dubois/
Dubois-018_c18.xml
UNSAT
3.07269
1.5992
4297171
Dubois/
Dubois-020_c18.xml
UNSAT
3.28979
1.63384
4297172
Haystacks/
Haystacks-ext-06_c18.xml
UNSAT
3.39929
1.64112
4297312
Dubois/
Dubois-023_c18.xml
UNSAT
3.44866
1.65967
4297175
ColouredQueens/
ColouredQueens-06_c18.xml
UNSAT
3.46023
1.68902
4297149
Dubois/
Dubois-021_c18.xml
UNSAT
3.53902
1.69495
4297173
Dubois/
Dubois-022_c18.xml
UNSAT
3.56064
1.67759
4297174
Dubois/
Dubois-025_c18.xml
UNSAT
3.62614
1.69877
4297177
Dubois/
Dubois-024_c18.xml
UNSAT
3.63743
1.68634
4297176
StripPacking/
StripPacking-1a_c18.xml
UNSAT
3.66386
1.74269
4297248
Dubois/
Dubois-030_c18.xml
UNSAT
3.87401
1.85142
4297178
Dubois/
Dubois-040_c18.xml
UNSAT
4.13094
1.83902
4297179
Haystacks/
Haystacks-ext-07_c18.xml
UNSAT
4.16791
1.81368
4297313
Dubois/
Dubois-050_c18.xml
UNSAT
4.43207
1.93087
4297180
Dubois/
Dubois-075_c18.xml
UNSAT
5.06358
2.21059
4297181
Quasigroups/
QuasiGroup-7-07_c18.xml
UNSAT
5.08298
2.05791
4297228
Haystacks/
Haystacks-ext-08_c18.xml
UNSAT
5.32686
2.05294
4297314
Dubois/
Dubois-100_c18.xml
UNSAT
5.70265
2.35364
4297182
Langford/
LangfordBin-09_c18.xml
UNSAT
6.09138
1.94645
4297163
Haystacks/
Haystacks-ext-09_c18.xml
UNSAT
6.58932
2.27878
4297315
Haystacks/
Haystacks-ext-10_c18.xml
UNSAT
8.4265
2.71037
4297316
Quasigroups/
QuasiGroup-4-07_c18.xml
UNSAT
8.79384
2.67409
4297220
Quasigroups/
QuasiGroup-7-08_c18.xml
UNSAT
9.412
2.69392
4297229
SocialGolfers/
SocialGolfers-4-4-6-cp_c18.xml
UNSAT
11.1424
3.28703
4297238
SocialGolfers/
SocialGolfers-4-4-7-cp_c18.xml
UNSAT
12.065
3.60089
4297239
Haystacks/
Haystacks-ext-11_c18.xml
UNSAT
12.1052
3.28078
4297317
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f10_c18.xml
UNSAT
16.8786
6.12177
4297347
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f12_c18.xml
UNSAT
16.9557
5.95718
4297344
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f08_c18.xml
UNSAT
16.9992
6.25616
4297353
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f11_c18.xml
UNSAT
17.6524
5.92013
4297348
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f07_c18.xml
UNSAT
17.7829
6.40061
4297343
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f09_c18.xml
UNSAT
18.1515
6.45398
4297350
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f06_c18.xml
UNSAT
18.3885
6.48864
4297345
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f05_c18.xml
UNSAT
19.7903
6.71569
4297352
MagicHexagon/
MagicHexagon-04-0017_c18.xml
UNSAT
20.1462
4.37405
4297184
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f04_c18.xml
UNSAT
20.822
6.86467
4297349
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f03_c18.xml
UNSAT
20.9504
7.36815
4297346
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f02_c18.xml
UNSAT
23.3055
7.45869
4297354
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f01_c18.xml
UNSAT
23.7527
7.65117
4297351
SocialGolfers/
SocialGolfers-5-5-7-cp_c18.xml
UNSAT
23.9383
6.09918
4297242
Haystacks/
Haystacks-ext-12_c18.xml
UNSAT
23.9563
5.2052
4297318
SocialGolfers/
SocialGolfers-5-5-8-cp_c18.xml
UNSAT
25.0344
6.62252
4297243
Langford/
LangfordBin-10_c18.xml
UNSAT
33.4721
5.5246
4297164
Subisomorphism/
Subisomorphism-g34-g36_c18.xml
UNSAT
73.925
40.3711
4297280
Haystacks/
Haystacks-ext-13_c18.xml
UNSAT
97.8061
14.5335
4297319
Quasigroups/
QuasiGroup-4-08_c18.xml
UNSAT
167.705
22.8183
4297221
CarSequencing/
CarSequencing-06-76_c18.xml
UNSAT
209.919
32.8699
4297132
PseudoBoolean-dec/
Pb-chnl10-11_c18.xml
UNSAT
238.89
31.0326
4297320
ColouredQueens/
ColouredQueens-08_c18.xml
UNSAT
1389.7
175.554
4297151
Quasigroups/
QuasiGroup-7-10_c18.xml
UNSAT
5835.51
733.436
4297231
SocialGolfers/
SocialGolfers-6-6-9-cp_c18.xml
UNSAT
6041.82
763.415
4297247
Subisomorphism/
Subisomorphism-g17-g42_c18.xml
UNSAT
6516.11
835.297
4297276
Solver found a solution (SATISFIABLE) for a SAT/UNSAT instance (85 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
Langford/
LangfordBin-07_c18.xml
SAT
2.79983
1.51416
4297161
Langford/
LangfordBin-08_c18.xml
SAT
2.8639
1.53244
4297162
ColouredQueens/
ColouredQueens-05_c18.xml
SAT
2.92297
1.54197
4297148
StripPacking/
StripPacking-1b_c18.xml
SAT
3.37769
1.69208
4297249
GracefulGraph/
GracefulGraph-K03-P03_c18.xml
SAT
3.42225
1.61048
4297210
Langford/
LangfordBin-11_c18.xml
SAT
3.48666
1.66777
4297165
GracefulGraph/
GracefulGraph-K04-P02_c18.xml
SAT
3.54876
1.64175
4297211
Langford/
LangfordBin-12_c18.xml
SAT
3.66157
1.73061
4297166
ColouredQueens/
ColouredQueens-07_c18.xml
SAT
4.13966
1.84842
4297150
CarSequencing/
CarSequencing-dingbas_c18.xml
SAT
4.18983
1.9946
4297147
Bibd/
Bibd-sum-07-03-01_c18.xml
SAT
4.23742
1.83198
4297125
Langford/
LangfordBin-15_c18.xml
SAT
4.40452
1.88117
4297169
Langford/
LangfordBin-16_c18.xml
SAT
4.59362
1.9125
4297170
StripPacking/
StripPacking-C1P1_c18.xml
SAT
4.75927
1.96719
4297250
Bibd/
Bibd-sc-07-03-01_c18.xml
SAT
4.9398
2.06965
4297119
StripPacking/
StripPacking-C1P2_c18.xml
SAT
5.08421
2.05953
4297251
GracefulGraph/
GracefulGraph-K02-P09_c18.xml
SAT
6.11848
2.22822
4297209
StripPacking/
StripPacking-C1P3_c18.xml
SAT
6.28846
2.13048
4297252
SocialGolfers/
SocialGolfers-4-4-4-cp_c18.xml
SAT
7.07286
2.54494
4297236
Quasigroups/
QuasiGroup-7-09_c18.xml
SAT
7.50062
2.61685
4297230
MisteryShopper/
MisteryShopper-04_c18.xml
SAT
7.59654
2.64688
4297333
PseudoBoolean-dec/
Pb-robin08_c18.xml
SAT
7.75875
2.72108
4297327
GracefulGraph/
GracefulGraph-K04-P03_c18.xml
SAT
8.09293
2.46595
4297212
StripPacking/
StripPacking-T1c_c18.xml
SAT
8.41361
3.01019
4297258
PseudoBoolean-dec/
Pb-fpga25-25-sat_c18.xml
SAT
8.97759
2.78822
4297325
SocialGolfers/
SocialGolfers-4-4-5-cp_c18.xml
SAT
9.31857
2.94111
4297237
Eternity/
Eternity-04-04_c18.xml
SAT
9.76503
3.05439
4297194
SportsScheduling/
SportsScheduling-08_c18.xml
SAT
10.4344
3.33104
4297260
Quasigroups/
QuasiGroup-4-09_c18.xml
SAT
10.6139
3.36329
4297222
Frb/
frb-30-15-1_c18.xml
SAT
12.5874
3.51012
4297281
SocialGolfers/
SocialGolfers-5-5-5-cp_c18.xml
SAT
14.7991
4.21556
4297240
PseudoBoolean-dec/
Pb-fpga45-45-sat_c18.xml
SAT
15.2713
5.65254
4297326
Eternity/
Eternity-05-05_c18.xml
SAT
15.5377
4.76092
4297195
PseudoBoolean-dec/
Pb-robin10_c18.xml
SAT
15.7298
4.59117
4297328
MisteryShopper/
MisteryShopper-06a_c18.xml
SAT
16.5322
5.07845
4297334
MisteryShopper/
MisteryShopper-10a_c18.xml
SAT
16.7522
5.29805
4297338
Bibd/
Bibd-sum-12-06-05_c18.xml
SAT
17.164
4.82329
4297128
SocialGolfers/
SocialGolfers-5-5-6-cp_c18.xml
SAT
18.044
5.1877
4297241
Eternity/
Eternity-06-06_c18.xml
SAT
19.7889
7.19436
4297196
MagicHexagon/
MagicHexagon-04-0003_c18.xml
SAT
20.0967
4.7543
4297183
Frb/
frb-35-17-1_c18.xml
SAT
20.1576
4.96444
4297282
SportsScheduling/
SportsScheduling-10_c18.xml
SAT
20.3189
5.47217
4297261
Bibd/
Bibd-sc-12-06-05_c18.xml
SAT
21.5733
5.80427
4297122
Eternity/
Eternity-10-04_c18.xml
SAT
21.8201
8.37438
4297200
MisteryShopper/
MisteryShopper-06b_c18.xml
SAT
23.331
7.63821
4297335
StripPacking/
StripPacking-C2P1_c18.xml
SAT
26.2374
4.89199
4297253
MisteryShopper/
MisteryShopper-10b_c18.xml
SAT
29.0493
10.46
4297339
Frb/
frb-40-19-1-mgd_c18.xml
SAT
34.1546
7.33702
4297283
Eternity/
Eternity-10-05_c18.xml
SAT
38.3056
13.8878
4297201
Bibd/
Bibd-sum-09-03-09_c18.xml
SAT
39.1563
21.9424
4297126
MisteryShopper/
MisteryShopper-06c_c18.xml
SAT
40.7156
13.2192
4297336
MagicHexagon/
MagicHexagon-04-m004_c18.xml
SAT
43.3363
7.71081
4297185
Crossword/
Crossword-m18-ogd2008-vg-04-05_c18.xml
SAT
46.8825
26.1817
4297297
Bibd/
Bibd-sc-09-03-09_c18.xml
SAT
47.9495
23.6939
4297120
Subisomorphism/
Subisomorphism-g08-g43_c18.xml
SAT
55.9602
38.0105
4297270
Bibd/
Bibd-sum-10-03-08_c18.xml
SAT
64.1155
27.0106
4297127
MisteryShopper/
MisteryShopper-10c_c18.xml
SAT
64.6466
21.0826
4297340
StripPacking/
StripPacking-T1d_c18.xml
SAT
71.1893
10.9093
4297259
CarSequencing/
CarSequencing-04-72_c18.xml
SAT
74.8382
16.2804
4297131
StripPacking/
StripPacking-N1a_c18.xml
SAT
75.5003
11.4096
4297254
Bibd/
Bibd-sc-10-03-08_c18.xml
SAT
82.2746
31.0906
4297121
MisteryShopper/
MisteryShopper-12_c18.xml
SAT
101.005
32.2385
4297342
PseudoBoolean-dec/
Pb-robin12_c18.xml
SAT
118.679
19.961
4297329
GracefulGraph/
GracefulGraph-K05-P02_c18.xml
SAT
119.693
16.3908
4297214
MisteryShopper/
MisteryShopper-06d_c18.xml
SAT
130.286
29.2262
4297337
Crossword/
Crossword-m18-ogd2008-vg-05-06_c18.xml
SAT
142.225
82.58
4297298
GracefulGraph/
GracefulGraph-K04-P04_c18.xml
SAT
295.609
38.9899
4297213
StripPacking/
StripPacking-N1c_c18.xml
SAT
296.549
39.127
4297256
StripPacking/
StripPacking-T1a_c18.xml
SAT
333.315
43.8079
4297257
Subisomorphism/
Subisomorphism-g10-g27_c18.xml
SAT
422.22
61.2708
4297272
SportsScheduling/
SportsScheduling-12_c18.xml
SAT
444.489
60.7238
4297262
Eternity/
Eternity-07-07_c18.xml
SAT
477.149
68.0517
4297197
StripPacking/
StripPacking-N1b_c18.xml
SAT
480.122
62.1211
4297255
MisteryShopper/
MisteryShopper-10d_c18.xml
SAT
533.482
91.4249
4297341
Quasigroups/
QuasiGroup-4-12_c18.xml
SAT
576.682
76.011
4297224
Frb/
frb-50-23-1-mgd_c18.xml
SAT
818.264
107.033
4297285
SportsScheduling/
SportsScheduling-14_c18.xml
SAT
1294.73
171.66
4297263
Eternity/
Eternity-10-06_c18.xml
SAT
1350.52
182.081
4297202
Crossword/
Crossword-m18-ogd2008-vg-06-07_c18.xml
SAT
3250.46
557.826
4297299
MagicHexagon/
MagicHexagon-05-m003_c18.xml
SAT
4556.42
578.984
4297187
Frb/
frb-45-21-1_c18.xml
SAT
4814.22
607.207
4297284
Frb/
frb-56-25-3-mgd_c18.xml
SAT
5065.37
640.755
4297293
Frb/
frb-53-24-2-mgd_c18.xml
SAT
16830.9
2114.92
4297289
SportsScheduling/
SportsScheduling-16_c18.xml
SAT
19267.7
2433.13
4297264
Subisomorphism/
Subisomorphism-g17-g37_c18.xml
SAT
19705
2491.01
4297275
Solver timed out (no solution given) (60 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
Crossword/
Crossword-m18-ogd2008-vg-07-08_c18.xml
? (TO)
17972.4
2520.28
4297300
Eternity/
Eternity-12-12_c18.xml
? (TO)
19382.6
2520.24
4297205
Subisomorphism/
Subisomorphism-g19-g43_c18.xml
? (TO)
19403.6
2520.14
4297277
Eternity/
Eternity-11-11_c18.xml
? (TO)
19629.8
2520.18
4297204
Subisomorphism/
Subisomorphism-g19-g45_c18.xml
? (TO)
19691.3
2520.12
4297278
Eternity/
Eternity-10-10_c18.xml
? (TO)
19773.7
2520.15
4297203
SportsScheduling/
SportsScheduling-18_c18.xml
? (TO)
19853.1
2520.24
4297265
Subisomorphism/
Subisomorphism-g11-g44_c18.xml
? (TO)
19887.1
2520.11
4297274
Eternity/
Eternity-09-09_c18.xml
? (TO)
19895.8
2520.14
4297199
Subisomorphism/
Subisomorphism-g11-g30_c18.xml
? (TO)
19930.7
2520.12
4297273
Quasigroups/
QuasiGroup-4-20_c18.xml
? (TO)
19934.8
2520.15
4297227
PseudoBoolean-dec/
Pb-robin16_c18.xml
? (TO)
19952.3
2520.23
4297331
Eternity/
Eternity-08-08_c18.xml
? (TO)
19978.6
2520.12
4297198
PseudoBoolean-dec/
Pb-robin14_c18.xml
? (TO)
20018.2
2520.15
4297330
Quasigroups/
QuasiGroup-4-16_c18.xml
? (TO)
20028.1
2520.23
4297226
GracefulGraph/
GracefulGraph-K07-P03_c18.xml
? (TO)
20031.4
2520.17
4297219
Bibd/
Bibd-sc-22-033-12-08-04_c18.xml
? (TO)
20032.4
2520.11
4297123
MagicHexagon/
MagicHexagon-07-0002_c18.xml
? (TO)
20038.2
2520.18
4297190
MagicHexagon/
MagicHexagon-07-m011_c18.xml
? (TO)
20038.4
2520.18
4297191
Quasigroups/
QuasiGroup-7-20_c18.xml
? (TO)
20040.2
2520.14
4297235
MagicHexagon/
MagicHexagon-05-0006_c18.xml
? (TO)
20043.1
2520.17
4297186
Bibd/
Bibd-sum-22-033-12-08-04_c18.xml
? (TO)
20043.1
2520.11
4297129
Subisomorphism/
Subisomorphism-g10-g23_c18.xml
? (TO)
20044.4
2520.08
4297271
Frb/
frb-59-26-3-mgd_c18.xml
? (TO)
20047.7
2520.09
4297296
Quasigroups/
QuasiGroup-4-14_c18.xml
? (TO)
20051.2
2520.09
4297225
Frb/
frb-59-26-1-mgd_c18.xml
? (TO)
20051.4
2520.08
4297294
Frb/
frb-59-26-2-mgd_c18.xml
? (TO)
20052
2520.08
4297295
Frb/
frb-56-25-2-mgd_c18.xml
? (TO)
20053.9
2520.09
4297292
Frb/
frb-56-25-1-mgd_c18.xml
? (TO)
20054.1
2520.08
4297291
SocialGolfers/
SocialGolfers-6-6-8-cp_c18.xml
? (TO)
20058.4
2520.09
4297246
Frb/
frb-53-24-3-mgd_c18.xml
? (TO)
20060
2520.09
4297290
Frb/
frb-53-24-1-mgd_c18.xml
? (TO)
20060.5
2520.08
4297288
MagicHexagon/
MagicHexagon-06-0010_c18.xml
? (TO)
20063.4
2520.12
4297188
SocialGolfers/
SocialGolfers-6-6-7-cp_c18.xml
? (TO)
20064
2520.1
4297245
Frb/
frb-50-23-3-mgd_c18.xml
? (TO)
20065.3
2520.1
4297287
Frb/
frb-50-23-2-mgd_c18.xml
? (TO)
20066.1
2520.08
4297286
MagicHexagon/
MagicHexagon-06-m001_c18.xml
? (TO)
20066.8
2520.12
4297189
GracefulGraph/
GracefulGraph-K06-P03_c18.xml
? (TO)
20067.8
2520.09
4297217
Quasigroups/
QuasiGroup-7-16_c18.xml
? (TO)
20068.5
2520.09
4297234
SocialGolfers/
SocialGolfers-6-6-6-cp_c18.xml
? (TO)
20071.2
2520.09
4297244
Quasigroups/
QuasiGroup-7-14_c18.xml
? (TO)
20076.6
2520.06
4297233
GracefulGraph/
GracefulGraph-K07-P02_c18.xml
? (TO)
20077.2
2520.08
4297218
Quasigroups/
QuasiGroup-4-10_c18.xml
? (TO)
20080.7
2520.07
4297223
ColouredQueens/
ColouredQueens-15_c18.xml
? (TO)
20081
2520.1
4297158
ColouredQueens/
ColouredQueens-16_c18.xml
? (TO)
20081.6
2520.09
4297159
ColouredQueens/
ColouredQueens-13_c18.xml
? (TO)
20082
2520.08
4297156
Quasigroups/
QuasiGroup-7-12_c18.xml
? (TO)
20082.7
2520.07
4297232
PseudoBoolean-dec/
Pb-chnl50-51_c18.xml
? (TO)
20083.8
2520.15
4297324
ColouredQueens/
ColouredQueens-14_c18.xml
? (TO)
20083.9
2520.08
4297157
GracefulGraph/
GracefulGraph-K05-P03_c18.xml
? (TO)
20085.3
2520.06
4297215
ColouredQueens/
ColouredQueens-12_c18.xml
? (TO)
20085.5
2520.09
4297155
GracefulGraph/
GracefulGraph-K06-P02_c18.xml
? (TO)
20086
2520.08
4297216
ColouredQueens/
ColouredQueens-10_c18.xml
? (TO)
20086.3
2520.08
4297153
ColouredQueens/
ColouredQueens-11_c18.xml
? (TO)
20087.6
2520.09
4297154
PseudoBoolean-dec/
Pb-chnl30-31_c18.xml
? (TO)
20089
2520.2
4297323
ColouredQueens/
ColouredQueens-09_c18.xml
? (TO)
20089.2
2520.07
4297152
PseudoBoolean-dec/
Pb-chnl20-21_c18.xml
? (TO)
20090.2
2520.11
4297322
Langford/
LangfordBin-14_c18.xml
? (TO)
20090.3
2520.06
4297168
PseudoBoolean-dec/
Pb-chnl15-16_c18.xml
? (TO)
20091.4
2520.08
4297321
Langford/
LangfordBin-13_c18.xml
? (TO)
20092.8
2520.06
4297167
Solver exceeded the memory limit (no solution given) (36 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
SportsScheduling/
SportsScheduling-22_c18.xml
? (MO)
102.242
68.9823
4297267
SportsScheduling/
SportsScheduling-20_c18.xml
? (MO)
109.143
50.748
4297266
Bibd/
Bibd-sc-34-085-30-12-10_c18.xml
? (MO)
125.001
80.5725
4297124
SportsScheduling/
SportsScheduling-24_c18.xml
? (MO)
141.827
102.617
4297268
Bibd/
Bibd-sum-34-085-30-12-10_c18.xml
? (MO)
183.933
78.211
4297130
SportsScheduling/
SportsScheduling-26_c18.xml
? (MO)
195.494
150.867
4297269
Eternity/
Eternity-14-14_c18.xml
? (MO)
300.892
233.511
4297207
Eternity/
Eternity-15-15_c18.xml
? (MO)
404.328
324.371
4297208
CarSequencing/
CarSequencing-80-02_c18.xml
? (MO)
485.719
83.994
4297142
CarSequencing/
CarSequencing-80-01_c18.xml
? (MO)
522.96
88.7148
4297141
CarSequencing/
CarSequencing-85-02_c18.xml
? (MO)
600.21
99.3218
4297144
Subisomorphism/
Subisomorphism-g29-g50_c18.xml
? (MO)
639.063
471.129
4297279
CarSequencing/
CarSequencing-85-01_c18.xml
? (MO)
650.698
105.61
4297143
Crossword/
Crossword-m18-ogd2008-vg-08-09_c18.xml
? (MO)
697.303
485.927
4297301
CarSequencing/
CarSequencing-90-01_c18.xml
? (MO)
720.753
115.111
4297145
CarSequencing/
CarSequencing-90-02_c18.xml
? (MO)
773.424
121.518
4297146
Crossword/
Crossword-m18-ogd2008-vg-09-10_c18.xml
? (MO)
1056.42
674.416
4297302
Crossword/
Crossword-m18-ogd2008-vg-10-11_c18.xml
? (MO)
1399.81
840.212
4297303
Crossword/
Crossword-m18-ogd2008-vg-16-17_c18.xml
? (MO)
1465.65
903.134
4297309
Crossword/
Crossword-m18-ogd2008-vg-11-12_c18.xml
? (MO)
1863.69
1011.67
4297304
CarSequencing/
CarSequencing-75-01_c18.xml
? (MO)
2030.39
277.304
4297139
Crossword/
Crossword-m18-ogd2008-vg-15-16_c18.xml
? (MO)
2381.53
1081.53
4297308
Crossword/
Crossword-m18-ogd2008-vg-12-13_c18.xml
? (MO)
2503.17
1140.67
4297305
CarSequencing/
CarSequencing-75-02_c18.xml
? (MO)
2571.12
345.334
4297140
CarSequencing/
CarSequencing-70-02_c18.xml
? (MO)
2581.3
344.423
4297138
Crossword/
Crossword-m18-ogd2008-vg-13-14_c18.xml
? (MO)
3272.86
1275.51
4297306
CarSequencing/
CarSequencing-70-01_c18.xml
? (MO)
3327.22
438.612
4297137
Crossword/
Crossword-m18-ogd2008-vg-14-15_c18.xml
? (MO)
3413.12
1264.9
4297307
CarSequencing/
CarSequencing-65-02_c18.xml
? (MO)
3500.91
458.318
4297136
Eternity/
Eternity-13-13_c18.xml
? (MO)
4469.69
696.654
4297206
CarSequencing/
CarSequencing-65-01_c18.xml
? (MO)
5190.48
671.825
4297135
CarSequencing/
CarSequencing-60-02_c18.xml
? (MO)
6168.54
790.213
4297134
CarSequencing/
CarSequencing-60-01_c18.xml
? (MO)
6507.72
835.722
4297133
PseudoBoolean-dec/
Pb-robin18_c18.xml
? (MO)
13162.8
1684.69
4297332
MagicHexagon/
MagicHexagon-08-m009_c18.xml
? (MO)
16610.5
2096.44
4297193
MagicHexagon/
MagicHexagon-08-0006_c18.xml
? (MO)
16791.6
2119.74
4297192