2018 XCSP3 competition: sequential solvers tracks: benchmarks results per solver
Result page for solver scop
both+MapleCOMSPS (2018-06-13)
(complete)
Category "decision problem" (CSP)
Solver proved unsatisfiability (UNSATISFIABLE) (52 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
Haystacks/
Haystacks-ext-04_c18.xml
UNSAT
2.33029
1.38706
4294747
Langford/
LangfordBin-06_c18.xml
UNSAT
2.58033
1.43292
4294248
Haystacks/
Haystacks-ext-05_c18.xml
UNSAT
2.76815
1.52428
4294702
Dubois/
Dubois-018_c18.xml
UNSAT
3.14767
1.63251
4294657
Dubois/
Dubois-020_c18.xml
UNSAT
3.19728
1.64454
4294621
Haystacks/
Haystacks-ext-06_c18.xml
UNSAT
3.24216
1.67867
4294738
ColouredQueens/
ColouredQueens-06_c18.xml
UNSAT
3.27291
1.65212
4292789
Dubois/
Dubois-023_c18.xml
UNSAT
3.3119
1.67906
4294603
Dubois/
Dubois-021_c18.xml
UNSAT
3.43154
1.67826
4294612
Dubois/
Dubois-022_c18.xml
UNSAT
3.47357
1.69699
4294648
Dubois/
Dubois-024_c18.xml
UNSAT
3.50073
1.71042
4294666
StripPacking/
StripPacking-1a_c18.xml
UNSAT
3.53964
1.74696
4293188
Dubois/
Dubois-025_c18.xml
UNSAT
3.61542
1.83593
4294675
Dubois/
Dubois-030_c18.xml
UNSAT
3.61633
1.74569
4294639
Haystacks/
Haystacks-ext-07_c18.xml
UNSAT
3.91975
1.84169
4294756
Dubois/
Dubois-040_c18.xml
UNSAT
3.93987
1.91692
4294630
Dubois/
Dubois-050_c18.xml
UNSAT
4.24282
1.95674
4294585
Langford/
LangfordBin-09_c18.xml
UNSAT
4.57309
3.06383
4294266
Haystacks/
Haystacks-ext-08_c18.xml
UNSAT
4.76434
2.1349
4294729
Dubois/
Dubois-075_c18.xml
UNSAT
4.8443
2.15318
4294594
Quasigroups/
QuasiGroup-7-07_c18.xml
UNSAT
4.85744
2.12044
4295867
Dubois/
Dubois-100_c18.xml
UNSAT
5.39093
2.31018
4294684
Haystacks/
Haystacks-ext-09_c18.xml
UNSAT
5.67396
2.39878
4294711
Quasigroups/
QuasiGroup-7-08_c18.xml
UNSAT
6.66338
3.41689
4295939
Quasigroups/
QuasiGroup-4-07_c18.xml
UNSAT
6.95255
3.13121
4295903
Haystacks/
Haystacks-ext-10_c18.xml
UNSAT
7.11121
3.0528
4294774
Haystacks/
Haystacks-ext-11_c18.xml
UNSAT
8.69475
3.97955
4294693
MagicHexagon/
MagicHexagon-04-0017_c18.xml
UNSAT
8.8231
5.55085
4295552
SocialGolfers/
SocialGolfers-4-4-6-cp_c18.xml
UNSAT
9.72403
3.68562
4294405
SocialGolfers/
SocialGolfers-4-4-7-cp_c18.xml
UNSAT
10.3785
3.81878
4294477
Langford/
LangfordBin-10_c18.xml
UNSAT
10.9346
9.32239
4294230
Haystacks/
Haystacks-ext-12_c18.xml
UNSAT
12.3776
6.5543
4294765
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f11_c18.xml
UNSAT
15.2358
6.02556
4293447
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f12_c18.xml
UNSAT
15.2378
6.11278
4293537
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f10_c18.xml
UNSAT
15.5268
6.26439
4293492
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f07_c18.xml
UNSAT
16.1635
6.6626
4293483
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f09_c18.xml
UNSAT
16.2162
6.60817
4293474
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f08_c18.xml
UNSAT
16.2371
6.50371
4293546
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f05_c18.xml
UNSAT
16.3976
6.9718
4293528
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f06_c18.xml
UNSAT
16.5093
6.72325
4293519
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f04_c18.xml
UNSAT
17.1821
7.28702
4293510
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f01_c18.xml
UNSAT
17.3852
8.43957
4293501
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f03_c18.xml
UNSAT
17.5742
7.86419
4293465
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f02_c18.xml
UNSAT
18.6801
8.85746
4293456
PseudoBoolean-dec/
Pb-chnl10-11_c18.xml
UNSAT
22.5191
21.2168
4293792
Haystacks/
Haystacks-ext-13_c18.xml
UNSAT
22.9559
16.5449
4294720
SocialGolfers/
SocialGolfers-5-5-8-cp_c18.xml
UNSAT
34.6448
23.1439
4294459
Quasigroups/
QuasiGroup-4-08_c18.xml
UNSAT
55.7452
50.5174
4295894
SocialGolfers/
SocialGolfers-5-5-7-cp_c18.xml
UNSAT
64.5419
53.6315
4294450
CarSequencing/
CarSequencing-06-76_c18.xml
UNSAT
118.467
105.877
4294992
ColouredQueens/
ColouredQueens-08_c18.xml
UNSAT
1213.14
1210.2
4292879
Quasigroups/
QuasiGroup-7-10_c18.xml
UNSAT
1623.38
1618.29
4295921
Solver found a solution (SATISFIABLE) for a SAT/UNSAT instance (71 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
Langford/
LangfordBin-07_c18.xml
SAT
2.75038
1.4853
4294221
ColouredQueens/
ColouredQueens-05_c18.xml
SAT
2.92945
1.55951
4292861
Langford/
LangfordBin-08_c18.xml
SAT
2.94566
1.55232
4294212
GracefulGraph/
GracefulGraph-K03-P03_c18.xml
SAT
3.30377
1.6305
4293384
StripPacking/
StripPacking-1b_c18.xml
SAT
3.33798
1.68789
4293143
GracefulGraph/
GracefulGraph-K04-P02_c18.xml
SAT
3.33845
1.63595
4293348
Langford/
LangfordBin-11_c18.xml
SAT
3.49654
1.71779
4294185
Langford/
LangfordBin-12_c18.xml
SAT
3.62771
1.74971
4294176
CarSequencing/
CarSequencing-dingbas_c18.xml
SAT
3.95305
1.89213
4295028
ColouredQueens/
ColouredQueens-07_c18.xml
SAT
3.96487
1.79618
4292798
Bibd/
Bibd-sum-07-03-01_c18.xml
SAT
4.09065
1.85119
4294068
Langford/
LangfordBin-15_c18.xml
SAT
4.11426
1.87781
4294203
Langford/
LangfordBin-16_c18.xml
SAT
4.32813
2.01507
4294239
StripPacking/
StripPacking-C1P3_c18.xml
SAT
4.4256
2.00257
4293125
Bibd/
Bibd-sc-07-03-01_c18.xml
SAT
4.74104
2.0957
4294113
StripPacking/
StripPacking-T1c_c18.xml
SAT
5.74134
3.01026
4293134
GracefulGraph/
GracefulGraph-K02-P09_c18.xml
SAT
5.81047
3.17312
4293411
StripPacking/
StripPacking-C2P1_c18.xml
SAT
6.19627
2.72223
4293161
MagicHexagon/
MagicHexagon-04-0003_c18.xml
SAT
6.53971
3.22579
4295570
Quasigroups/
QuasiGroup-7-09_c18.xml
SAT
6.57841
2.65023
4295858
SocialGolfers/
SocialGolfers-4-4-4-cp_c18.xml
SAT
6.66536
2.5959
4294396
MisteryShopper/
MisteryShopper-04_c18.xml
SAT
6.80457
2.65681
4294558
PseudoBoolean-dec/
Pb-robin08_c18.xml
SAT
7.40896
2.87961
4293783
StripPacking/
StripPacking-C1P1_c18.xml
SAT
7.62722
5.12332
4293170
PseudoBoolean-dec/
Pb-fpga25-25-sat_c18.xml
SAT
7.95339
3.40937
4293720
SocialGolfers/
SocialGolfers-4-4-5-cp_c18.xml
SAT
8.07668
2.94402
4294468
StripPacking/
StripPacking-C1P2_c18.xml
SAT
8.15172
5.53992
4293116
Eternity/
Eternity-04-04_c18.xml
SAT
8.45633
3.18725
4296082
SportsScheduling/
SportsScheduling-08_c18.xml
SAT
9.01221
3.38977
4295786
Quasigroups/
QuasiGroup-4-09_c18.xml
SAT
9.43484
3.52524
4295840
Frb/
frb-30-15-1_c18.xml
SAT
10.334
3.74532
4295687
PseudoBoolean-dec/
Pb-robin10_c18.xml
SAT
11.8779
5.2184
4293756
SocialGolfers/
SocialGolfers-5-5-5-cp_c18.xml
SAT
12.7079
4.49134
4294387
PseudoBoolean-dec/
Pb-fpga45-45-sat_c18.xml
SAT
12.9623
5.68983
4293711
Frb/
frb-35-17-1_c18.xml
SAT
13.8549
5.60949
4295615
Bibd/
Bibd-sum-12-06-05_c18.xml
SAT
13.8623
5.84961
4294167
MisteryShopper/
MisteryShopper-06a_c18.xml
SAT
14.6365
5.24459
4294567
Eternity/
Eternity-05-05_c18.xml
SAT
14.7278
5.31397
4296163
SocialGolfers/
SocialGolfers-5-5-6-cp_c18.xml
SAT
14.8138
5.13264
4294441
SportsScheduling/
SportsScheduling-10_c18.xml
SAT
14.933
6.11973
4295759
MisteryShopper/
MisteryShopper-10a_c18.xml
SAT
15.253
5.63055
4294504
StripPacking/
StripPacking-T1d_c18.xml
SAT
16.193
13.3096
4293197
MagicHexagon/
MagicHexagon-04-m004_c18.xml
SAT
18.0585
14.7365
4295534
Frb/
frb-40-19-1-mgd_c18.xml
SAT
20.4307
9.94564
4295705
MisteryShopper/
MisteryShopper-06b_c18.xml
SAT
21.1746
8.31124
4294513
Eternity/
Eternity-10-04_c18.xml
SAT
21.4524
9.55797
4296127
Eternity/
Eternity-06-06_c18.xml
SAT
21.9061
10.242
4296073
MisteryShopper/
MisteryShopper-10b_c18.xml
SAT
24.2816
10.3086
4294540
GracefulGraph/
GracefulGraph-K04-P03_c18.xml
SAT
24.8008
22.1657
4293357
Eternity/
Eternity-10-05_c18.xml
SAT
25.9871
14.4348
4296091
PseudoBoolean-dec/
Pb-robin12_c18.xml
SAT
27.8728
19.6038
4293765
MisteryShopper/
MisteryShopper-06c_c18.xml
SAT
28.8709
14.0425
4294522
Eternity/
Eternity-07-07_c18.xml
SAT
29.2006
16.4322
4296199
Bibd/
Bibd-sum-09-03-09_c18.xml
SAT
35.0245
21.421
4294077
Crossword/
Crossword-m18-ogd2008-vg-04-05_c18.xml
SAT
39.6068
25.3798
4294857
Bibd/
Bibd-sc-09-03-09_c18.xml
SAT
40.7678
23.6125
4294086
CarSequencing/
CarSequencing-04-72_c18.xml
SAT
42.3839
28.9477
4295037
Bibd/
Bibd-sum-10-03-08_c18.xml
SAT
45.7194
28.62
4294104
Bibd/
Bibd-sc-10-03-08_c18.xml
SAT
53.2002
32.3976
4294149
SportsScheduling/
SportsScheduling-12_c18.xml
SAT
53.5258
41.6901
4295804
Subisomorphism/
Subisomorphism-g08-g43_c18.xml
SAT
56.255
40.2725
4295247
Crossword/
Crossword-m18-ogd2008-vg-05-06_c18.xml
SAT
114.813
79.6524
4294875
StripPacking/
StripPacking-N1b_c18.xml
SAT
159.457
156.413
4293206
StripPacking/
StripPacking-N1a_c18.xml
SAT
228.742
225.899
4293179
GracefulGraph/
GracefulGraph-K04-P04_c18.xml
SAT
254.842
251.181
4293366
GracefulGraph/
GracefulGraph-K05-P02_c18.xml
SAT
332.4
329.809
4293420
Quasigroups/
QuasiGroup-4-12_c18.xml
SAT
397.511
387.939
4295822
StripPacking/
StripPacking-T1a_c18.xml
SAT
750.318
746.885
4293152
StripPacking/
StripPacking-N1c_c18.xml
SAT
1101.16
1097.78
4293215
Frb/
frb-45-21-1_c18.xml
SAT
1775.47
1765.45
4295660
Frb/
frb-50-23-2-mgd_c18.xml
SAT
2249.59
2235.26
4295669
Solver timed out (no solution given) (47 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
Quasigroups/
QuasiGroup-7-16_c18.xml
? (TO)
2520.04
2508.82
4295876
ColouredQueens/
ColouredQueens-09_c18.xml
? (TO)
2520.05
2516.21
4292807
ColouredQueens/
ColouredQueens-16_c18.xml
? (TO)
2520.05
2512.82
4292816
Quasigroups/
QuasiGroup-7-12_c18.xml
? (TO)
2520.05
2512.32
4295831
SocialGolfers/
SocialGolfers-6-6-9-cp_c18.xml
? (TO)
2520.06
2503.33
4294423
Frb/
frb-56-25-1-mgd_c18.xml
? (TO)
2520.06
2506.33
4295651
Frb/
frb-53-24-2-mgd_c18.xml
? (TO)
2520.06
2505.64
4295696
ColouredQueens/
ColouredQueens-15_c18.xml
? (TO)
2520.06
2513.42
4292780
Frb/
frb-59-26-3-mgd_c18.xml
? (TO)
2520.06
2504.53
4295588
GracefulGraph/
GracefulGraph-K06-P02_c18.xml
? (TO)
2520.07
2515.31
4293393
Frb/
frb-56-25-3-mgd_c18.xml
? (TO)
2520.07
2506.74
4295714
Frb/
frb-59-26-1-mgd_c18.xml
? (TO)
2520.08
2506.33
4295579
ColouredQueens/
ColouredQueens-10_c18.xml
? (TO)
2520.08
2516.02
4292825
Quasigroups/
QuasiGroup-4-14_c18.xml
? (TO)
2520.08
2507.53
4295885
Quasigroups/
QuasiGroup-7-14_c18.xml
? (TO)
2520.08
2510.92
4295912
Frb/
frb-53-24-1-mgd_c18.xml
? (TO)
2520.08
2505.63
4295624
PseudoBoolean-dec/
Pb-chnl50-51_c18.xml
? (TO)
2520.08
2512.42
4293738
Langford/
LangfordBin-14_c18.xml
? (TO)
2520.08
2517.12
4294194
SocialGolfers/
SocialGolfers-6-6-8-cp_c18.xml
? (TO)
2520.08
2503.83
4294414
Subisomorphism/
Subisomorphism-g10-g23_c18.xml
? (TO)
2520.09
2509.43
4295265
Langford/
LangfordBin-13_c18.xml
? (TO)
2520.09
2517.12
4294257
GracefulGraph/
GracefulGraph-K07-P02_c18.xml
? (TO)
2520.09
2514.62
4293438
Frb/
frb-56-25-2-mgd_c18.xml
? (TO)
2520.09
2505.73
4295606
ColouredQueens/
ColouredQueens-12_c18.xml
? (TO)
2520.1
2514.91
4292870
Frb/
frb-53-24-3-mgd_c18.xml
? (TO)
2520.1
2506.84
4295597
ColouredQueens/
ColouredQueens-11_c18.xml
? (TO)
2520.1
2515.41
4292852
PseudoBoolean-dec/
Pb-chnl15-16_c18.xml
? (TO)
2520.1
2517.51
4293774
ColouredQueens/
ColouredQueens-14_c18.xml
? (TO)
2520.1
2514.21
4292843
Frb/
frb-59-26-2-mgd_c18.xml
? (TO)
2520.1
2504.43
4295642
SocialGolfers/
SocialGolfers-6-6-7-cp_c18.xml
? (TO)
2520.11
2504.03
4294486
PseudoBoolean-dec/
Pb-chnl30-31_c18.xml
? (TO)
2520.11
2515.41
4293801
Bibd/
Bibd-sum-22-033-12-08-04_c18.xml
? (TO)
2520.11
2504.63
4294131
ColouredQueens/
ColouredQueens-13_c18.xml
? (TO)
2520.12
2514.32
4292834
Frb/
frb-50-23-3-mgd_c18.xml
? (TO)
2520.12
2506.53
4295633
SocialGolfers/
SocialGolfers-6-6-6-cp_c18.xml
? (TO)
2520.12
2505.32
4294432
PseudoBoolean-dec/
Pb-chnl20-21_c18.xml
? (TO)
2520.13
2516.82
4293819
Frb/
frb-50-23-1-mgd_c18.xml
? (TO)
2520.13
2505.93
4295678
Subisomorphism/
Subisomorphism-g10-g27_c18.xml
? (TO)
2520.13
2509.73
4295310
GracefulGraph/
GracefulGraph-K05-P03_c18.xml
? (TO)
2520.13
2514.52
4293375
Crossword/
Crossword-m18-ogd2008-vg-11-12_c18.xml
? (TO)
2526.67
987.021
4294929
Crossword/
Crossword-m18-ogd2008-vg-13-14_c18.xml
? (TO)
2528.12
974.938
4294893
Crossword/
Crossword-m18-ogd2008-vg-15-16_c18.xml
? (TO)
2528.15
947.853
4294947
Crossword/
Crossword-m18-ogd2008-vg-16-17_c18.xml
? (TO)
2528.21
950.049
4294839
Crossword/
Crossword-m18-ogd2008-vg-12-13_c18.xml
? (TO)
2528.25
954.206
4294938
Crossword/
Crossword-m18-ogd2008-vg-09-10_c18.xml
? (TO)
2528.28
991.082
4294911
Crossword/
Crossword-m18-ogd2008-vg-14-15_c18.xml
? (TO)
2528.36
956.987
4294866
Crossword/
Crossword-m18-ogd2008-vg-10-11_c18.xml
? (TO)
2528.54
986.445
4294848
Solver exceeded the memory limit (no solution given) (66 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
MagicHexagon/
MagicHexagon-05-0006_c18.xml
? (MO)
13.5334
8.83061
4295543
MagicHexagon/
MagicHexagon-05-m003_c18.xml
? (MO)
13.6731
9.15438
4295498
Bibd/
Bibd-sc-12-06-05_c18.xml
? (MO)
14.7704
5.18675
4294158
GracefulGraph/
GracefulGraph-K07-P03_c18.xml
? (MO)
15.2005
10.0396
4293429
MagicHexagon/
MagicHexagon-07-0002_c18.xml
? (MO)
17.1569
8.14368
4295489
MagicHexagon/
MagicHexagon-06-m001_c18.xml
? (MO)
18.2885
11.5237
4295516
MagicHexagon/
MagicHexagon-07-m011_c18.xml
? (MO)
18.5303
8.33445
4295561
MagicHexagon/
MagicHexagon-06-0010_c18.xml
? (MO)
18.7202
11.3236
4295507
MagicHexagon/
MagicHexagon-08-m009_c18.xml
? (MO)
24.152
12.1486
4295480
MagicHexagon/
MagicHexagon-08-0006_c18.xml
? (MO)
25.3714
12.4379
4295525
MisteryShopper/
MisteryShopper-06d_c18.xml
? (MO)
33.1137
16.4336
4294531
MisteryShopper/
MisteryShopper-10c_c18.xml
? (MO)
33.1585
17.0564
4294576
PseudoBoolean-dec/
Pb-robin14_c18.xml
? (MO)
34.5036
25.0421
4293729
PseudoBoolean-dec/
Pb-robin16_c18.xml
? (MO)
35.1994
23.631
4293747
SportsScheduling/
SportsScheduling-16_c18.xml
? (MO)
35.3939
18.6398
4295768
CarSequencing/
CarSequencing-60-02_c18.xml
? (MO)
36.0382
18.3428
4295073
CarSequencing/
CarSequencing-65-02_c18.xml
? (MO)
37.8013
21.0529
4295091
MisteryShopper/
MisteryShopper-12_c18.xml
? (MO)
39.4516
20.4414
4294549
Quasigroups/
QuasiGroup-4-20_c18.xml
? (MO)
40.3444
24.4342
4295948
CarSequencing/
CarSequencing-60-01_c18.xml
? (MO)
41.5142
22.3443
4294956
CarSequencing/
CarSequencing-65-01_c18.xml
? (MO)
41.8874
23.0532
4295001
CarSequencing/
CarSequencing-70-02_c18.xml
? (MO)
42.0144
23.0576
4295082
CarSequencing/
CarSequencing-70-01_c18.xml
? (MO)
42.8222
24.3672
4295010
CarSequencing/
CarSequencing-75-02_c18.xml
? (MO)
43.9225
25.0589
4295100
CarSequencing/
CarSequencing-80-01_c18.xml
? (MO)
44.5831
25.0619
4295055
MisteryShopper/
MisteryShopper-10d_c18.xml
? (MO)
44.789
25.0529
4294495
CarSequencing/
CarSequencing-80-02_c18.xml
? (MO)
45.0284
25.0635
4294974
CarSequencing/
CarSequencing-75-01_c18.xml
? (MO)
45.0613
25.0655
4294983
CarSequencing/
CarSequencing-85-02_c18.xml
? (MO)
46.0336
25.2485
4294965
CarSequencing/
CarSequencing-90-02_c18.xml
? (MO)
46.1549
26.1576
4295064
CarSequencing/
CarSequencing-85-01_c18.xml
? (MO)
46.2422
26.0635
4295019
CarSequencing/
CarSequencing-90-01_c18.xml
? (MO)
46.9552
26.5504
4295046
SportsScheduling/
SportsScheduling-18_c18.xml
? (MO)
48.152
26.8468
4295750
Subisomorphism/
Subisomorphism-g34-g36_c18.xml
? (MO)
48.5253
32.5378
4295238
PseudoBoolean-dec/
Pb-robin18_c18.xml
? (MO)
53.1383
38.5379
4293810
SportsScheduling/
SportsScheduling-20_c18.xml
? (MO)
66.5808
42.0685
4295795
SportsScheduling/
SportsScheduling-22_c18.xml
? (MO)
89.7399
61.5764
4295723
Bibd/
Bibd-sum-34-085-30-12-10_c18.xml
? (MO)
93.9441
64.0717
4294122
Eternity/
Eternity-11-11_c18.xml
? (MO)
95.3476
69.6416
4296118
Eternity/
Eternity-10-10_c18.xml
? (MO)
96.6036
78.1419
4296154
Eternity/
Eternity-09-09_c18.xml
? (MO)
105.48
89.8298
4296145
Bibd/
Bibd-sc-34-085-30-12-10_c18.xml
? (MO)
113.076
76.2512
4294095
SportsScheduling/
SportsScheduling-24_c18.xml
? (MO)
122.534
92.1077
4295741
Eternity/
Eternity-12-12_c18.xml
? (MO)
140.058
110.062
4296190
Quasigroups/
QuasiGroup-4-10_c18.xml
? (MO)
150.722
143.318
4295813
SportsScheduling/
SportsScheduling-26_c18.xml
? (MO)
175.206
141.443
4295777
Eternity/
Eternity-13-13_c18.xml
? (MO)
181.714
146.55
4296136
Eternity/
Eternity-08-08_c18.xml
? (MO)
202.551
188.927
4296181
Crossword/
Crossword-m18-ogd2008-vg-06-07_c18.xml
? (MO)
224.913
170.297
4294884
Eternity/
Eternity-14-14_c18.xml
? (MO)
253.612
212.358
4296172
Eternity/
Eternity-15-15_c18.xml
? (MO)
352.997
306.091
4296109
Subisomorphism/
Subisomorphism-g19-g45_c18.xml
? (MO)
377.826
356.047
4295274
Subisomorphism/
Subisomorphism-g17-g37_c18.xml
? (MO)
388.679
375.732
4295319
Crossword/
Crossword-m18-ogd2008-vg-07-08_c18.xml
? (MO)
443.122
319.096
4294920
SportsScheduling/
SportsScheduling-14_c18.xml
? (MO)
459.575
444.044
4295732
Subisomorphism/
Subisomorphism-g29-g50_c18.xml
? (MO)
658.545
488.092
4295301
Subisomorphism/
Subisomorphism-g19-g43_c18.xml
? (MO)
760.776
740.044
4295256
Quasigroups/
QuasiGroup-4-16_c18.xml
? (MO)
797.886
784.727
4295930
Crossword/
Crossword-m18-ogd2008-vg-08-09_c18.xml
? (MO)
868.706
531.108
4294902
Subisomorphism/
Subisomorphism-g11-g30_c18.xml
? (MO)
940.324
927.144
4295229
Subisomorphism/
Subisomorphism-g17-g42_c18.xml
? (MO)
990.956
977.877
4295292
Eternity/
Eternity-10-06_c18.xml
? (MO)
1055.52
1042.04
4296100
Subisomorphism/
Subisomorphism-g11-g44_c18.xml
? (MO)
1221.74
1205.23
4295283
Quasigroups/
QuasiGroup-7-20_c18.xml
? (MO)
1386.95
1375.53
4295849
Bibd/
Bibd-sc-22-033-12-08-04_c18.xml
? (MO)
1789.51
1767.94
4294140
GracefulGraph/
GracefulGraph-K06-P03_c18.xml
? (MO)
2237.57
2231.22
4293402