2018 XCSP3 competition: parallel solvers tracks: benchmarks results per solver
Result page for solver scop
both+glucose-syrup (2018-07-31)
(complete)
Category "decision problem" (CSP)
Solver proved unsatisfiability (UNSATISFIABLE) (57 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
Haystacks/
Haystacks-ext-04_c18.xml
UNSAT
3.45527
2.33275
4307494
Langford/
LangfordBin-06_c18.xml
UNSAT
3.69629
2.21477
4307344
Haystacks/
Haystacks-ext-05_c18.xml
UNSAT
3.92023
2.32989
4307495
Dubois/
Dubois-018_c18.xml
UNSAT
4.23858
2.39488
4307355
Haystacks/
Haystacks-ext-06_c18.xml
UNSAT
4.45574
2.45704
4307496
Dubois/
Dubois-022_c18.xml
UNSAT
4.58754
2.59798
4307358
ColouredQueens/
ColouredQueens-06_c18.xml
UNSAT
4.59313
2.42378
4307333
Dubois/
Dubois-020_c18.xml
UNSAT
4.66695
2.45908
4307356
Dubois/
Dubois-021_c18.xml
UNSAT
4.71329
2.46738
4307357
Dubois/
Dubois-023_c18.xml
UNSAT
4.79052
2.49228
4307359
Dubois/
Dubois-024_c18.xml
UNSAT
4.85499
2.48721
4307360
Dubois/
Dubois-025_c18.xml
UNSAT
4.90467
2.51291
4307361
StripPacking/
StripPacking-1a_c18.xml
UNSAT
4.93037
2.58862
4307432
Dubois/
Dubois-030_c18.xml
UNSAT
5.03939
2.57587
4307362
Haystacks/
Haystacks-ext-07_c18.xml
UNSAT
5.30573
2.62477
4307497
Dubois/
Dubois-040_c18.xml
UNSAT
5.36366
2.6647
4307363
Dubois/
Dubois-050_c18.xml
UNSAT
5.63426
2.74188
4307364
Quasigroups/
QuasiGroup-7-07_c18.xml
UNSAT
6.3417
2.87913
4307412
Haystacks/
Haystacks-ext-08_c18.xml
UNSAT
6.43125
2.83089
4307498
Dubois/
Dubois-075_c18.xml
UNSAT
6.44202
3.03854
4307365
Dubois/
Dubois-100_c18.xml
UNSAT
7.10049
3.26792
4307366
Haystacks/
Haystacks-ext-09_c18.xml
UNSAT
7.33812
3.00314
4307499
Langford/
LangfordBin-09_c18.xml
UNSAT
8.06553
2.81814
4307347
Haystacks/
Haystacks-ext-10_c18.xml
UNSAT
9.64528
3.51119
4307500
Quasigroups/
QuasiGroup-4-07_c18.xml
UNSAT
9.73311
3.61513
4307404
Quasigroups/
QuasiGroup-7-08_c18.xml
UNSAT
10.7987
3.55716
4307413
SocialGolfers/
SocialGolfers-4-4-6-cp_c18.xml
UNSAT
12.321
4.04955
4307422
Haystacks/
Haystacks-ext-11_c18.xml
UNSAT
13.3419
4.10643
4307501
SocialGolfers/
SocialGolfers-4-4-7-cp_c18.xml
UNSAT
14.0436
4.41397
4307423
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f12_c18.xml
UNSAT
19.2241
7.09064
4307528
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f09_c18.xml
UNSAT
19.4303
7.58406
4307534
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f10_c18.xml
UNSAT
19.8258
7.48998
4307531
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f11_c18.xml
UNSAT
19.9324
7.35476
4307532
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f08_c18.xml
UNSAT
20.0288
7.56685
4307537
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f07_c18.xml
UNSAT
20.316
7.66543
4307527
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f06_c18.xml
UNSAT
20.506
8.08242
4307529
MagicHexagon/
MagicHexagon-04-0017_c18.xml
UNSAT
21.4031
5.38939
4307368
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f05_c18.xml
UNSAT
22.5377
8.29738
4307536
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f04_c18.xml
UNSAT
22.5736
8.15579
4307533
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f03_c18.xml
UNSAT
23.6097
8.50235
4307530
Haystacks/
Haystacks-ext-12_c18.xml
UNSAT
24.6471
5.72758
4307502
SocialGolfers/
SocialGolfers-5-5-7-cp_c18.xml
UNSAT
25.1654
6.97003
4307426
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f02_c18.xml
UNSAT
25.1945
8.6261
4307538
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f01_c18.xml
UNSAT
25.3828
8.95138
4307535
SocialGolfers/
SocialGolfers-5-5-8-cp_c18.xml
UNSAT
25.8179
7.59466
4307427
Langford/
LangfordBin-10_c18.xml
UNSAT
31.0223
5.85702
4307348
Subisomorphism/
Subisomorphism-g34-g36_c18.xml
UNSAT
74.8028
39.8985
4307464
Haystacks/
Haystacks-ext-13_c18.xml
UNSAT
93.474
14.6769
4307503
Quasigroups/
QuasiGroup-4-08_c18.xml
UNSAT
172.082
24.0107
4307405
CarSequencing/
CarSequencing-06-76_c18.xml
UNSAT
202.564
32.9059
4307316
PseudoBoolean-dec/
Pb-chnl10-11_c18.xml
UNSAT
307.707
40.3542
4307504
SocialGolfers/
SocialGolfers-6-6-8-cp_c18.xml
UNSAT
867.941
114.725
4307430
SocialGolfers/
SocialGolfers-6-6-9-cp_c18.xml
UNSAT
1188.47
155.783
4307431
ColouredQueens/
ColouredQueens-08_c18.xml
UNSAT
1217.89
154.714
4307335
Quasigroups/
QuasiGroup-7-10_c18.xml
UNSAT
4309.94
542.947
4307415
Subisomorphism/
Subisomorphism-g17-g42_c18.xml
UNSAT
6556.98
841.92
4307460
Subisomorphism/
Subisomorphism-g10-g23_c18.xml
UNSAT
20006.7
2516.17
4307455
Solver found a solution (SATISFIABLE) for a SAT/UNSAT instance (82 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
Langford/
LangfordBin-07_c18.xml
SAT
3.92956
2.31103
4307345
Langford/
LangfordBin-08_c18.xml
SAT
4.13892
2.36653
4307346
ColouredQueens/
ColouredQueens-05_c18.xml
SAT
4.19273
2.42514
4307332
GracefulGraph/
GracefulGraph-K03-P03_c18.xml
SAT
4.65116
2.43671
4307394
Langford/
LangfordBin-11_c18.xml
SAT
4.69684
2.53206
4307349
GracefulGraph/
GracefulGraph-K04-P02_c18.xml
SAT
4.69984
2.55231
4307395
StripPacking/
StripPacking-1b_c18.xml
SAT
4.71106
2.56383
4307433
Langford/
LangfordBin-12_c18.xml
SAT
4.8391
2.69056
4307350
Bibd/
Bibd-sum-07-03-01_c18.xml
SAT
5.3206
2.67693
4307309
CarSequencing/
CarSequencing-dingbas_c18.xml
SAT
5.54096
2.74588
4307331
Langford/
LangfordBin-15_c18.xml
SAT
5.69127
2.85606
4307353
Langford/
LangfordBin-16_c18.xml
SAT
5.84225
2.76918
4307354
StripPacking/
StripPacking-C1P1_c18.xml
SAT
6.00208
2.82358
4307434
StripPacking/
StripPacking-C1P2_c18.xml
SAT
6.33735
2.91901
4307435
GracefulGraph/
GracefulGraph-K02-P09_c18.xml
SAT
7.45232
3.09761
4307393
StripPacking/
StripPacking-C1P3_c18.xml
SAT
7.75653
3.15376
4307436
SocialGolfers/
SocialGolfers-4-4-4-cp_c18.xml
SAT
8.01762
3.34209
4307420
Quasigroups/
QuasiGroup-7-09_c18.xml
SAT
8.6198
3.56432
4307414
MisteryShopper/
MisteryShopper-04_c18.xml
SAT
8.6365
3.44541
4307517
StripPacking/
StripPacking-T1c_c18.xml
SAT
10.0593
4.13201
4307442
SocialGolfers/
SocialGolfers-4-4-5-cp_c18.xml
SAT
10.212
3.78876
4307421
PseudoBoolean-dec/
Pb-robin08_c18.xml
SAT
10.2474
3.80854
4307511
Eternity/
Eternity-04-04_c18.xml
SAT
10.9117
3.9277
4307378
PseudoBoolean-dec/
Pb-fpga25-25-sat_c18.xml
SAT
10.9655
3.92202
4307509
SportsScheduling/
SportsScheduling-08_c18.xml
SAT
11.6351
4.17254
4307444
Quasigroups/
QuasiGroup-4-09_c18.xml
SAT
12.1212
4.32383
4307406
StripPacking/
StripPacking-C2P1_c18.xml
SAT
12.2518
4.04513
4307437
Frb/
frb-30-15-1_c18.xml
SAT
13.343
4.31111
4307465
SocialGolfers/
SocialGolfers-5-5-5-cp_c18.xml
SAT
15.5894
5.12261
4307424
Bibd/
Bibd-sum-12-06-05_c18.xml
SAT
16.1051
5.42618
4307312
Eternity/
Eternity-05-05_c18.xml
SAT
16.3964
5.4074
4307379
PseudoBoolean-dec/
Pb-robin10_c18.xml
SAT
17.8826
6.13484
4307512
PseudoBoolean-dec/
Pb-fpga45-45-sat_c18.xml
SAT
17.9609
7.12401
4307510
SocialGolfers/
SocialGolfers-5-5-6-cp_c18.xml
SAT
18.0042
5.89116
4307425
MisteryShopper/
MisteryShopper-06a_c18.xml
SAT
18.0825
5.95595
4307518
GracefulGraph/
GracefulGraph-K05-P02_c18.xml
SAT
18.133
4.37373
4307398
Frb/
frb-35-17-1_c18.xml
SAT
18.204
5.36675
4307466
MisteryShopper/
MisteryShopper-10a_c18.xml
SAT
18.2464
6.32103
4307522
SportsScheduling/
SportsScheduling-10_c18.xml
SAT
18.6241
5.97852
4307445
GracefulGraph/
GracefulGraph-K04-P03_c18.xml
SAT
19.9522
4.67392
4307396
Bibd/
Bibd-sc-12-06-05_c18.xml
SAT
19.9777
6.27614
4307306
StripPacking/
StripPacking-N1b_c18.xml
SAT
23.6406
5.75038
4307439
MisteryShopper/
MisteryShopper-06b_c18.xml
SAT
24.5077
8.73546
4307519
Eternity/
Eternity-10-04_c18.xml
SAT
24.6701
9.2866
4307384
Eternity/
Eternity-06-06_c18.xml
SAT
25.3107
8.68913
4307380
MisteryShopper/
MisteryShopper-10b_c18.xml
SAT
28.4736
11.2327
4307523
Bibd/
Bibd-sum-09-03-09_c18.xml
SAT
41.0697
22.9805
4307310
MisteryShopper/
MisteryShopper-06c_c18.xml
SAT
43.6508
14.3513
4307520
Crossword/
Crossword-m18-ogd2008-vg-04-05_c18.xml
SAT
46.5416
26.8209
4307481
Frb/
frb-40-19-1-mgd_c18.xml
SAT
47.313
9.53805
4307467
StripPacking/
StripPacking-N1c_c18.xml
SAT
49.2736
8.8449
4307440
Bibd/
Bibd-sc-09-03-09_c18.xml
SAT
50.2437
25.1271
4307304
Subisomorphism/
Subisomorphism-g08-g43_c18.xml
SAT
55.883
38.5561
4307454
MisteryShopper/
MisteryShopper-10c_c18.xml
SAT
66.4014
22.3009
4307524
CarSequencing/
CarSequencing-04-72_c18.xml
SAT
68.0512
16.1949
4307315
MagicHexagon/
MagicHexagon-04-m004_c18.xml
SAT
70.7815
11.8739
4307369
Bibd/
Bibd-sum-10-03-08_c18.xml
SAT
75.8774
29.6587
4307311
Bibd/
Bibd-sc-10-03-08_c18.xml
SAT
88.7351
34.11
4307305
MagicHexagon/
MagicHexagon-04-0003_c18.xml
SAT
89.7123
14.1521
4307367
MisteryShopper/
MisteryShopper-12_c18.xml
SAT
90.6102
31.6722
4307526
Eternity/
Eternity-10-05_c18.xml
SAT
117.672
24.2721
4307385
StripPacking/
StripPacking-T1d_c18.xml
SAT
119.725
17.6732
4307443
MisteryShopper/
MisteryShopper-06d_c18.xml
SAT
136.989
30.5773
4307521
Crossword/
Crossword-m18-ogd2008-vg-05-06_c18.xml
SAT
144.498
83.8061
4307482
Frb/
frb-45-21-1_c18.xml
SAT
221.514
31.9327
4307468
StripPacking/
StripPacking-T1a_c18.xml
SAT
223.932
30.8142
4307441
Eternity/
Eternity-07-07_c18.xml
SAT
229.157
37.9581
4307381
GracefulGraph/
GracefulGraph-K04-P04_c18.xml
SAT
257.186
34.8491
4307397
MisteryShopper/
MisteryShopper-10d_c18.xml
SAT
305.202
62.769
4307525
SportsScheduling/
SportsScheduling-12_c18.xml
SAT
362.641
51.2182
4307446
PseudoBoolean-dec/
Pb-robin12_c18.xml
SAT
372.782
53.076
4307513
Crossword/
Crossword-m18-ogd2008-vg-06-07_c18.xml
SAT
444.653
206.816
4307483
Frb/
frb-53-24-3-mgd_c18.xml
SAT
786.161
104.697
4307474
SportsScheduling/
SportsScheduling-14_c18.xml
SAT
1412.83
187.283
4307447
Eternity/
Eternity-10-06_c18.xml
SAT
2295.7
301.259
4307386
Quasigroups/
QuasiGroup-4-12_c18.xml
SAT
2309.6
294.132
4307408
StripPacking/
StripPacking-N1a_c18.xml
SAT
2497.39
315.912
4307438
Frb/
frb-50-23-1-mgd_c18.xml
SAT
3560.88
451.747
4307469
Subisomorphism/
Subisomorphism-g10-g27_c18.xml
SAT
4745.4
603.921
4307456
CarSequencing/
CarSequencing-60-02_c18.xml
SAT
6902.47
883.382
4307318
Subisomorphism/
Subisomorphism-g17-g37_c18.xml
SAT
8917
1139.08
4307459
MagicHexagon/
MagicHexagon-05-0006_c18.xml
SAT
8935.99
1128.56
4307370
Solver timed out (no solution given) (97 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
ColouredQueens/
ColouredQueens-07_c18.xml
? (TO)
6.7115
2520.03
4307334
Bibd/
Bibd-sc-07-03-01_c18.xml
? (TO)
7.43928
2520.02
4307303
Crossword/
Crossword-m18-ogd2008-vg-13-14_c18.xml
? (TO)
13173.4
2520.64
4307490
Crossword/
Crossword-m18-ogd2008-vg-14-15_c18.xml
? (TO)
13298.7
2520.62
4307491
Crossword/
Crossword-m18-ogd2008-vg-12-13_c18.xml
? (TO)
13449.1
2520.6
4307489
Crossword/
Crossword-m18-ogd2008-vg-15-16_c18.xml
? (TO)
13770
2520.76
4307492
Crossword/
Crossword-m18-ogd2008-vg-11-12_c18.xml
? (TO)
14007.8
2520.5
4307488
Crossword/
Crossword-m18-ogd2008-vg-16-17_c18.xml
? (TO)
14485.8
2520.71
4307493
Crossword/
Crossword-m18-ogd2008-vg-10-11_c18.xml
? (TO)
14799.3
2520.51
4307487
Crossword/
Crossword-m18-ogd2008-vg-09-10_c18.xml
? (TO)
15920.1
2520.46
4307486
Subisomorphism/
Subisomorphism-g29-g50_c18.xml
? (TO)
16925
2520.32
4307463
Crossword/
Crossword-m18-ogd2008-vg-08-09_c18.xml
? (TO)
16940.5
2520.3
4307485
Crossword/
Crossword-m18-ogd2008-vg-07-08_c18.xml
? (TO)
17894.4
2520.23
4307484
Eternity/
Eternity-15-15_c18.xml
? (TO)
18032.9
2520.43
4307392
Eternity/
Eternity-14-14_c18.xml
? (TO)
18553.9
2520.43
4307391
Eternity/
Eternity-13-13_c18.xml
? (TO)
18997
2520.32
4307390
SportsScheduling/
SportsScheduling-26_c18.xml
? (TO)
19021.5
2521.06
4307453
Eternity/
Eternity-12-12_c18.xml
? (TO)
19360
2520.21
4307389
SportsScheduling/
SportsScheduling-24_c18.xml
? (TO)
19395.2
2520.6
4307452
Subisomorphism/
Subisomorphism-g19-g43_c18.xml
? (TO)
19410.7
2520.1
4307461
Bibd/
Bibd-sc-34-085-30-12-10_c18.xml
? (TO)
19522.4
2520.33
4307308
Eternity/
Eternity-11-11_c18.xml
? (TO)
19603.2
2520.15
4307388
Bibd/
Bibd-sum-34-085-30-12-10_c18.xml
? (TO)
19629.4
2520.36
4307314
SportsScheduling/
SportsScheduling-22_c18.xml
? (TO)
19630.2
2520.41
4307451
Subisomorphism/
Subisomorphism-g19-g45_c18.xml
? (TO)
19678.7
2520.1
4307462
Eternity/
Eternity-10-10_c18.xml
? (TO)
19781
2520.14
4307387
PseudoBoolean-dec/
Pb-robin18_c18.xml
? (TO)
19787.8
2520.17
4307516
SportsScheduling/
SportsScheduling-20_c18.xml
? (TO)
19803.1
2520.23
4307450
SportsScheduling/
SportsScheduling-18_c18.xml
? (TO)
19846.6
2520.2
4307449
Subisomorphism/
Subisomorphism-g11-g44_c18.xml
? (TO)
19871.7
2520.09
4307458
Eternity/
Eternity-09-09_c18.xml
? (TO)
19889.3
2520.13
4307383
CarSequencing/
CarSequencing-90-01_c18.xml
? (TO)
19893.3
2520.32
4307329
CarSequencing/
CarSequencing-85-01_c18.xml
? (TO)
19896.2
2520.33
4307327
CarSequencing/
CarSequencing-80-01_c18.xml
? (TO)
19900.8
2520.33
4307325
CarSequencing/
CarSequencing-85-02_c18.xml
? (TO)
19902.1
2520.29
4307328
CarSequencing/
CarSequencing-90-02_c18.xml
? (TO)
19902.4
2520.25
4307330
CarSequencing/
CarSequencing-80-02_c18.xml
? (TO)
19902.6
2520.33
4307326
CarSequencing/
CarSequencing-75-01_c18.xml
? (TO)
19911
2520.29
4307323
CarSequencing/
CarSequencing-70-01_c18.xml
? (TO)
19916.7
2520.31
4307321
Subisomorphism/
Subisomorphism-g11-g30_c18.xml
? (TO)
19916.8
2520.08
4307457
CarSequencing/
CarSequencing-75-02_c18.xml
? (TO)
19917
2520.3
4307324
CarSequencing/
CarSequencing-70-02_c18.xml
? (TO)
19919.5
2520.27
4307322
Quasigroups/
QuasiGroup-4-20_c18.xml
? (TO)
19923.1
2520.12
4307411
CarSequencing/
CarSequencing-65-01_c18.xml
? (TO)
19924.1
2520.3
4307319
CarSequencing/
CarSequencing-60-01_c18.xml
? (TO)
19925.3
2520.24
4307317
PseudoBoolean-dec/
Pb-robin16_c18.xml
? (TO)
19931.7
2520.17
4307515
CarSequencing/
CarSequencing-65-02_c18.xml
? (TO)
19937
2520.29
4307320
SportsScheduling/
SportsScheduling-16_c18.xml
? (TO)
19955.2
2520.14
4307448
Eternity/
Eternity-08-08_c18.xml
? (TO)
19970.4
2520.1
4307382
MagicHexagon/
MagicHexagon-08-0006_c18.xml
? (TO)
19976.5
2520.22
4307376
MagicHexagon/
MagicHexagon-08-m009_c18.xml
? (TO)
19980.4
2520.21
4307377
PseudoBoolean-dec/
Pb-robin14_c18.xml
? (TO)
20004.1
2520.14
4307514
Quasigroups/
QuasiGroup-4-16_c18.xml
? (TO)
20017.7
2520.1
4307410
Bibd/
Bibd-sc-22-033-12-08-04_c18.xml
? (TO)
20021.9
2520.09
4307307
GracefulGraph/
GracefulGraph-K07-P03_c18.xml
? (TO)
20025.5
2520.12
4307403
MagicHexagon/
MagicHexagon-07-0002_c18.xml
? (TO)
20027.7
2520.21
4307374
MagicHexagon/
MagicHexagon-07-m011_c18.xml
? (TO)
20029
2520.16
4307375
Quasigroups/
QuasiGroup-7-20_c18.xml
? (TO)
20031.6
2520.16
4307419
MagicHexagon/
MagicHexagon-05-m003_c18.xml
? (TO)
20032
2520.19
4307371
Bibd/
Bibd-sum-22-033-12-08-04_c18.xml
? (TO)
20037.7
2520.11
4307313
Frb/
frb-59-26-1-mgd_c18.xml
? (TO)
20041.6
2520.08
4307478
Frb/
frb-59-26-3-mgd_c18.xml
? (TO)
20042.7
2520.08
4307480
Frb/
frb-56-25-3-mgd_c18.xml
? (TO)
20042.9
2520.07
4307477
Frb/
frb-59-26-2-mgd_c18.xml
? (TO)
20044.1
2520.07
4307479
Quasigroups/
QuasiGroup-4-14_c18.xml
? (TO)
20044.4
2520.09
4307409
Frb/
frb-56-25-1-mgd_c18.xml
? (TO)
20049.4
2520.07
4307475
Frb/
frb-53-24-2-mgd_c18.xml
? (TO)
20051.7
2520.08
4307473
Frb/
frb-56-25-2-mgd_c18.xml
? (TO)
20052.2
2520.06
4307476
Frb/
frb-53-24-1-mgd_c18.xml
? (TO)
20054.4
2520.07
4307472
MagicHexagon/
MagicHexagon-06-0010_c18.xml
? (TO)
20055.6
2520.11
4307372
MagicHexagon/
MagicHexagon-06-m001_c18.xml
? (TO)
20056.2
2520.12
4307373
Frb/
frb-50-23-3-mgd_c18.xml
? (TO)
20056.3
2520.07
4307471
SocialGolfers/
SocialGolfers-6-6-7-cp_c18.xml
? (TO)
20056.9
2520.08
4307429
Quasigroups/
QuasiGroup-7-16_c18.xml
? (TO)
20057.9
2520.1
4307418
Frb/
frb-50-23-2-mgd_c18.xml
? (TO)
20059.4
2520.08
4307470
GracefulGraph/
GracefulGraph-K06-P03_c18.xml
? (TO)
20061
2520.1
4307401
SocialGolfers/
SocialGolfers-6-6-6-cp_c18.xml
? (TO)
20065.9
2520.08
4307428
PseudoBoolean-dec/
Pb-chnl50-51_c18.xml
? (TO)
20069.7
2520.15
4307508
GracefulGraph/
GracefulGraph-K07-P02_c18.xml
? (TO)
20070.3
2520.08
4307402
Quasigroups/
QuasiGroup-7-14_c18.xml
? (TO)
20070.6
2520.07
4307417
ColouredQueens/
ColouredQueens-16_c18.xml
? (TO)
20070.8
2520.1
4307343
Quasigroups/
QuasiGroup-4-10_c18.xml
? (TO)
20072.5
2520.07
4307407
Quasigroups/
QuasiGroup-7-12_c18.xml
? (TO)
20072.7
2520.07
4307416
ColouredQueens/
ColouredQueens-15_c18.xml
? (TO)
20074.4
2520.1
4307342
ColouredQueens/
ColouredQueens-14_c18.xml
? (TO)
20075.2
2520.12
4307341
ColouredQueens/
ColouredQueens-13_c18.xml
? (TO)
20077.1
2520.09
4307340
ColouredQueens/
ColouredQueens-12_c18.xml
? (TO)
20077.8
2520.09
4307339
GracefulGraph/
GracefulGraph-K06-P02_c18.xml
? (TO)
20078.1
2520.07
4307400
GracefulGraph/
GracefulGraph-K05-P03_c18.xml
? (TO)
20078.7
2520.05
4307399
PseudoBoolean-dec/
Pb-chnl30-31_c18.xml
? (TO)
20079.3
2520.12
4307507
Langford/
LangfordBin-14_c18.xml
? (TO)
20080.2
2520.06
4307352
ColouredQueens/
ColouredQueens-11_c18.xml
? (TO)
20080.3
2520.1
4307338
ColouredQueens/
ColouredQueens-09_c18.xml
? (TO)
20081.9
2520.08
4307336
ColouredQueens/
ColouredQueens-10_c18.xml
? (TO)
20082.1
2520.09
4307337
PseudoBoolean-dec/
Pb-chnl20-21_c18.xml
? (TO)
20082.4
2520.15
4307506
PseudoBoolean-dec/
Pb-chnl15-16_c18.xml
? (TO)
20083.3
2520.08
4307505
Langford/
LangfordBin-13_c18.xml
? (TO)
20086.1
2520.06
4307351