2018 XCSP3 competition: parallel solvers tracks: benchmarks results per solver
Result page for solver scop
order+glucose-syrup (2018-07-07)
(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
2.28365
1.37281
4297074
Langford/
LangfordBin-06_c18.xml
UNSAT
2.5624
1.43667
4296924
Haystacks/
Haystacks-ext-05_c18.xml
UNSAT
2.75737
1.52259
4297075
Dubois/
Dubois-018_c18.xml
UNSAT
3.066
1.61041
4296935
Dubois/
Dubois-020_c18.xml
UNSAT
3.32937
1.64463
4296936
Haystacks/
Haystacks-ext-06_c18.xml
UNSAT
3.41906
1.66552
4297076
ColouredQueens/
ColouredQueens-06_c18.xml
UNSAT
3.46948
1.68284
4296913
Dubois/
Dubois-021_c18.xml
UNSAT
3.48958
1.66188
4296937
Dubois/
Dubois-022_c18.xml
UNSAT
3.53277
1.66847
4296938
Dubois/
Dubois-023_c18.xml
UNSAT
3.55894
1.67834
4296939
Dubois/
Dubois-024_c18.xml
UNSAT
3.66218
1.69782
4296940
Dubois/
Dubois-025_c18.xml
UNSAT
3.67683
1.68001
4296941
Dubois/
Dubois-030_c18.xml
UNSAT
3.68685
1.72641
4296942
StripPacking/
StripPacking-1a_c18.xml
UNSAT
3.70785
1.74296
4297012
Dubois/
Dubois-040_c18.xml
UNSAT
4.05575
1.83872
4296943
Haystacks/
Haystacks-ext-07_c18.xml
UNSAT
4.23552
1.83097
4297077
Dubois/
Dubois-050_c18.xml
UNSAT
4.42724
1.92731
4296944
Quasigroups/
QuasiGroup-7-07_c18.xml
UNSAT
5.0353
2.04308
4296992
Dubois/
Dubois-075_c18.xml
UNSAT
5.32023
2.16773
4296945
Haystacks/
Haystacks-ext-08_c18.xml
UNSAT
5.32932
2.04489
4297078
Dubois/
Dubois-100_c18.xml
UNSAT
5.77694
2.28183
4296946
Langford/
LangfordBin-09_c18.xml
UNSAT
6.2343
1.94467
4296927
Haystacks/
Haystacks-ext-09_c18.xml
UNSAT
6.37313
2.25807
4297079
Haystacks/
Haystacks-ext-10_c18.xml
UNSAT
8.46021
2.73561
4297080
Quasigroups/
QuasiGroup-4-07_c18.xml
UNSAT
8.84424
2.68252
4296984
Quasigroups/
QuasiGroup-7-08_c18.xml
UNSAT
9.54578
2.74223
4296993
SocialGolfers/
SocialGolfers-4-4-6-cp_c18.xml
UNSAT
10.9421
3.27285
4297002
SocialGolfers/
SocialGolfers-4-4-7-cp_c18.xml
UNSAT
12.1457
3.52454
4297003
Haystacks/
Haystacks-ext-11_c18.xml
UNSAT
12.1815
3.29238
4297081
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f11_c18.xml
UNSAT
16.5899
5.88944
4297112
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f12_c18.xml
UNSAT
17.3288
5.92617
4297108
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f10_c18.xml
UNSAT
17.5217
6.21254
4297111
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f09_c18.xml
UNSAT
17.6917
6.28506
4297114
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f08_c18.xml
UNSAT
17.8301
6.37802
4297117
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f07_c18.xml
UNSAT
18.136
6.66695
4297107
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f06_c18.xml
UNSAT
18.1825
6.54638
4297109
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f04_c18.xml
UNSAT
20.0865
6.83926
4297113
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f05_c18.xml
UNSAT
20.1292
6.88309
4297116
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f03_c18.xml
UNSAT
20.7698
7.01064
4297110
MagicHexagon/
MagicHexagon-04-0017_c18.xml
UNSAT
21.0939
4.49374
4296948
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f01_c18.xml
UNSAT
22.4784
7.49253
4297115
SocialGolfers/
SocialGolfers-5-5-7-cp_c18.xml
UNSAT
22.6234
6.14603
4297006
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f02_c18.xml
UNSAT
24.4817
7.5631
4297118
Haystacks/
Haystacks-ext-12_c18.xml
UNSAT
25.2954
5.1911
4297082
SocialGolfers/
SocialGolfers-5-5-8-cp_c18.xml
UNSAT
28.9328
7.21061
4297007
Langford/
LangfordBin-10_c18.xml
UNSAT
31.5101
5.1507
4296928
SocialGolfers/
SocialGolfers-6-6-9-cp_c18.xml
UNSAT
52.4708
12.8288
4297011
Subisomorphism/
Subisomorphism-g34-g36_c18.xml
UNSAT
72.8235
39.1069
4297044
Haystacks/
Haystacks-ext-13_c18.xml
UNSAT
96.6687
14.3732
4297083
Quasigroups/
QuasiGroup-4-08_c18.xml
UNSAT
166.954
22.7014
4296985
CarSequencing/
CarSequencing-06-76_c18.xml
UNSAT
202.378
31.9903
4296896
PseudoBoolean-dec/
Pb-chnl10-11_c18.xml
UNSAT
269.967
34.9483
4297084
PseudoBoolean-dec/
Pb-chnl15-16_c18.xml
UNSAT
568.427
72.5108
4297085
ColouredQueens/
ColouredQueens-08_c18.xml
UNSAT
1235.14
156.181
4296915
SocialGolfers/
SocialGolfers-6-6-8-cp_c18.xml
UNSAT
3098.15
393.616
4297010
Quasigroups/
QuasiGroup-7-10_c18.xml
UNSAT
4035.81
507.8
4296995
Subisomorphism/
Subisomorphism-g17-g42_c18.xml
UNSAT
6925.97
886.837
4297040
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
2.76757
1.49607
4296925
ColouredQueens/
ColouredQueens-05_c18.xml
SAT
2.89994
1.54952
4296912
Langford/
LangfordBin-08_c18.xml
SAT
2.94228
1.54628
4296926
StripPacking/
StripPacking-1b_c18.xml
SAT
3.31696
1.68532
4297013
GracefulGraph/
GracefulGraph-K03-P03_c18.xml
SAT
3.36152
1.61545
4296974
Langford/
LangfordBin-11_c18.xml
SAT
3.47031
1.79589
4296929
GracefulGraph/
GracefulGraph-K04-P02_c18.xml
SAT
3.56883
1.66997
4296975
Langford/
LangfordBin-12_c18.xml
SAT
3.61292
1.7262
4296930
ColouredQueens/
ColouredQueens-07_c18.xml
SAT
4.01251
1.82087
4296914
Bibd/
Bibd-sum-07-03-01_c18.xml
SAT
4.14906
1.94594
4296889
CarSequencing/
CarSequencing-dingbas_c18.xml
SAT
4.16006
1.88314
4296911
Langford/
LangfordBin-16_c18.xml
SAT
4.49329
1.90365
4296934
Langford/
LangfordBin-15_c18.xml
SAT
4.56446
1.88214
4296933
StripPacking/
StripPacking-C1P1_c18.xml
SAT
4.66562
1.96419
4297014
Bibd/
Bibd-sc-07-03-01_c18.xml
SAT
4.86734
2.05085
4296883
StripPacking/
StripPacking-C1P2_c18.xml
SAT
5.01776
2.00067
4297015
StripPacking/
StripPacking-C1P3_c18.xml
SAT
6.41025
2.15386
4297016
SocialGolfers/
SocialGolfers-4-4-4-cp_c18.xml
SAT
6.99933
2.52527
4297000
Quasigroups/
QuasiGroup-7-09_c18.xml
SAT
7.25857
2.58323
4296994
GracefulGraph/
GracefulGraph-K02-P09_c18.xml
SAT
7.58419
2.40781
4296973
MisteryShopper/
MisteryShopper-04_c18.xml
SAT
7.81566
2.80584
4297097
SocialGolfers/
SocialGolfers-4-4-5-cp_c18.xml
SAT
8.77848
2.83809
4297001
Eternity/
Eternity-04-04_c18.xml
SAT
9.62332
3.02798
4296958
PseudoBoolean-dec/
Pb-fpga25-25-sat_c18.xml
SAT
9.83768
3.39889
4297089
StripPacking/
StripPacking-T1c_c18.xml
SAT
10.3121
3.24269
4297022
PseudoBoolean-dec/
Pb-robin08_c18.xml
SAT
10.4356
4.48826
4297091
Quasigroups/
QuasiGroup-4-09_c18.xml
SAT
10.4992
3.339
4296986
SportsScheduling/
SportsScheduling-08_c18.xml
SAT
10.6115
3.3699
4297024
Frb/
frb-30-15-1_c18.xml
SAT
11.905
3.42121
4297045
Frb/
frb-35-17-1_c18.xml
SAT
13.7294
4.27392
4297046
SocialGolfers/
SocialGolfers-5-5-5-cp_c18.xml
SAT
15.1121
4.23168
4297004
Eternity/
Eternity-05-05_c18.xml
SAT
15.2395
4.78616
4296959
Bibd/
Bibd-sum-12-06-05_c18.xml
SAT
15.5392
4.77463
4296892
StripPacking/
StripPacking-C2P1_c18.xml
SAT
15.6905
3.59673
4297017
MisteryShopper/
MisteryShopper-06a_c18.xml
SAT
16.2813
5.06779
4297098
MisteryShopper/
MisteryShopper-10a_c18.xml
SAT
16.7783
5.39515
4297102
SocialGolfers/
SocialGolfers-5-5-6-cp_c18.xml
SAT
16.9217
4.98373
4297005
Bibd/
Bibd-sc-12-06-05_c18.xml
SAT
18.0886
5.25344
4296886
GracefulGraph/
GracefulGraph-K05-P02_c18.xml
SAT
18.4162
3.92318
4296978
PseudoBoolean-dec/
Pb-robin10_c18.xml
SAT
18.7237
6.71309
4297092
SportsScheduling/
SportsScheduling-10_c18.xml
SAT
19.0416
5.21105
4297025
Eternity/
Eternity-06-06_c18.xml
SAT
21.0804
7.52097
4296960
MisteryShopper/
MisteryShopper-06b_c18.xml
SAT
23.5071
7.79688
4297099
GracefulGraph/
GracefulGraph-K04-P03_c18.xml
SAT
27.4944
4.87351
4296976
Eternity/
Eternity-10-04_c18.xml
SAT
27.8857
9.21743
4296964
PseudoBoolean-dec/
Pb-fpga45-45-sat_c18.xml
SAT
28.4476
13.4367
4297090
MisteryShopper/
MisteryShopper-10b_c18.xml
SAT
28.988
10.6429
4297103
MagicHexagon/
MagicHexagon-04-0003_c18.xml
SAT
30.0396
6.17186
4296947
Frb/
frb-40-19-1-mgd_c18.xml
SAT
31.7263
6.74123
4297047
StripPacking/
StripPacking-T1d_c18.xml
SAT
35.4425
6.41741
4297023
PseudoBoolean-dec/
Pb-robin12_c18.xml
SAT
37.1596
17.0971
4297093
MisteryShopper/
MisteryShopper-06c_c18.xml
SAT
38.6077
12.7557
4297100
Bibd/
Bibd-sum-09-03-09_c18.xml
SAT
39.7154
21.9154
4296890
CarSequencing/
CarSequencing-60-02_c18.xml
SAT
41.1183
20.2689
4296898
Crossword/
Crossword-m18-ogd2008-vg-04-05_c18.xml
SAT
45.2784
25.7103
4297061
Bibd/
Bibd-sc-09-03-09_c18.xml
SAT
46.7091
23.728
4296884
CarSequencing/
CarSequencing-65-02_c18.xml
SAT
49.2692
23.2552
4296900
CarSequencing/
CarSequencing-60-01_c18.xml
SAT
50.7555
24.1357
4296897
CarSequencing/
CarSequencing-70-01_c18.xml
SAT
51.544
25.6398
4296901
CarSequencing/
CarSequencing-04-72_c18.xml
SAT
51.942
13.5034
4296895
Subisomorphism/
Subisomorphism-g08-g43_c18.xml
SAT
54.7941
37.8512
4297034
CarSequencing/
CarSequencing-65-01_c18.xml
SAT
56.8072
25.5665
4296899
Bibd/
Bibd-sum-10-03-08_c18.xml
SAT
62.6593
39.7341
4296891
CarSequencing/
CarSequencing-75-01_c18.xml
SAT
64.5016
27.5803
4296903
MisteryShopper/
MisteryShopper-10c_c18.xml
SAT
65.9456
21.622
4297104
Bibd/
Bibd-sc-10-03-08_c18.xml
SAT
71.6614
43.1291
4296885
CarSequencing/
CarSequencing-70-02_c18.xml
SAT
73.4628
28.1667
4296902
StripPacking/
StripPacking-N1c_c18.xml
SAT
77.722
11.6641
4297020
CarSequencing/
CarSequencing-85-01_c18.xml
SAT
80.6229
30.9179
4296907
MagicHexagon/
MagicHexagon-04-m004_c18.xml
SAT
100.815
15.0384
4296949
CarSequencing/
CarSequencing-80-01_c18.xml
SAT
100.82
32.5856
4296905
Eternity/
Eternity-10-05_c18.xml
SAT
108.364
22.2572
4296965
CarSequencing/
CarSequencing-75-02_c18.xml
SAT
112.985
33.9129
4296904
MisteryShopper/
MisteryShopper-06d_c18.xml
SAT
119.332
27.5331
4297101
CarSequencing/
CarSequencing-80-02_c18.xml
SAT
121.434
34.9819
4296906
MisteryShopper/
MisteryShopper-12_c18.xml
SAT
122.415
35.1941
4297106
CarSequencing/
CarSequencing-85-02_c18.xml
SAT
127.501
37.0265
4296908
Crossword/
Crossword-m18-ogd2008-vg-05-06_c18.xml
SAT
134.984
79.2309
4297062
SportsScheduling/
SportsScheduling-12_c18.xml
SAT
150.712
23.732
4297026
Eternity/
Eternity-07-07_c18.xml
SAT
153.162
27.5752
4296961
Frb/
frb-56-25-3-mgd_c18.xml
SAT
210.887
32.025
4297057
CarSequencing/
CarSequencing-90-02_c18.xml
SAT
359.948
66.4583
4296910
MisteryShopper/
MisteryShopper-10d_c18.xml
SAT
472.571
83.9495
4297105
Frb/
frb-45-21-1_c18.xml
SAT
674.523
88.427
4297048
StripPacking/
StripPacking-N1a_c18.xml
SAT
773.966
98.9011
4297018
StripPacking/
StripPacking-N1b_c18.xml
SAT
1001.15
127.397
4297019
Crossword/
Crossword-m18-ogd2008-vg-06-07_c18.xml
SAT
1258.86
307.289
4297063
GracefulGraph/
GracefulGraph-K04-P04_c18.xml
SAT
1295.77
164.383
4296977
Frb/
frb-50-23-1-mgd_c18.xml
SAT
1622.4
207.852
4297049
Quasigroups/
QuasiGroup-4-12_c18.xml
SAT
1973.66
251.354
4296988
StripPacking/
StripPacking-T1a_c18.xml
SAT
2303.5
290.847
4297021
SportsScheduling/
SportsScheduling-14_c18.xml
SAT
2479.36
320.514
4297027
MagicHexagon/
MagicHexagon-05-0006_c18.xml
SAT
4713.26
598.293
4296950
Frb/
frb-50-23-2-mgd_c18.xml
SAT
4847.48
612.173
4297050
Eternity/
Eternity-10-06_c18.xml
SAT
5950.41
758.849
4296966
MagicHexagon/
MagicHexagon-05-m003_c18.xml
SAT
8421.25
1063.61
4296951
Solver timed out (no solution given) (54 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
Crossword/
Crossword-m18-ogd2008-vg-07-08_c18.xml
? (TO)
17955.4
2520.4
4297064
Subisomorphism/
Subisomorphism-g19-g43_c18.xml
? (TO)
19421.8
2520.13
4297041
Eternity/
Eternity-11-11_c18.xml
? (TO)
19613.8
2520.19
4296968
Subisomorphism/
Subisomorphism-g19-g45_c18.xml
? (TO)
19682.6
2520.12
4297042
Eternity/
Eternity-10-10_c18.xml
? (TO)
19803.7
2520.13
4296967
SportsScheduling/
SportsScheduling-18_c18.xml
? (TO)
19854.9
2520.2
4297029
Subisomorphism/
Subisomorphism-g11-g44_c18.xml
? (TO)
19880.7
2520.12
4297038
Eternity/
Eternity-09-09_c18.xml
? (TO)
19898.9
2520.14
4296963
PseudoBoolean-dec/
Pb-robin14_c18.xml
? (TO)
19913.9
2520.27
4297094
Subisomorphism/
Subisomorphism-g11-g30_c18.xml
? (TO)
19928.1
2520.1
4297037
Subisomorphism/
Subisomorphism-g17-g37_c18.xml
? (TO)
19937.2
2520.12
4297039
Quasigroups/
QuasiGroup-4-20_c18.xml
? (TO)
19937.5
2520.15
4296991
CarSequencing/
CarSequencing-90-01_c18.xml
? (TO)
19940.1
2520.23
4296909
SportsScheduling/
SportsScheduling-16_c18.xml
? (TO)
19958.2
2520.16
4297028
Eternity/
Eternity-08-08_c18.xml
? (TO)
19975.9
2520.12
4296962
Quasigroups/
QuasiGroup-4-16_c18.xml
? (TO)
20027.6
2520.22
4296990
Bibd/
Bibd-sc-22-033-12-08-04_c18.xml
? (TO)
20031.3
2520.11
4296887
GracefulGraph/
GracefulGraph-K07-P03_c18.xml
? (TO)
20033.5
2520.15
4296983
Subisomorphism/
Subisomorphism-g10-g27_c18.xml
? (TO)
20035.8
2520.1
4297036
Bibd/
Bibd-sum-22-033-12-08-04_c18.xml
? (TO)
20038.5
2520.11
4296893
Quasigroups/
QuasiGroup-7-20_c18.xml
? (TO)
20040.5
2520.18
4296999
Subisomorphism/
Subisomorphism-g10-g23_c18.xml
? (TO)
20044.3
2520.08
4297035
Frb/
frb-59-26-3-mgd_c18.xml
? (TO)
20049
2520.09
4297060
Frb/
frb-59-26-2-mgd_c18.xml
? (TO)
20049.9
2520.09
4297059
Quasigroups/
QuasiGroup-4-14_c18.xml
? (TO)
20051.1
2520.1
4296989
Frb/
frb-59-26-1-mgd_c18.xml
? (TO)
20051.2
2520.09
4297058
Frb/
frb-56-25-1-mgd_c18.xml
? (TO)
20052.1
2520.09
4297055
Frb/
frb-56-25-2-mgd_c18.xml
? (TO)
20054.8
2520.09
4297056
Frb/
frb-53-24-3-mgd_c18.xml
? (TO)
20060.6
2520.09
4297054
Frb/
frb-53-24-1-mgd_c18.xml
? (TO)
20060.7
2520.09
4297052
Frb/
frb-53-24-2-mgd_c18.xml
? (TO)
20061.3
2520.08
4297053
Frb/
frb-50-23-3-mgd_c18.xml
? (TO)
20063.8
2520.09
4297051
SocialGolfers/
SocialGolfers-6-6-7-cp_c18.xml
? (TO)
20067
2520.09
4297009
GracefulGraph/
GracefulGraph-K06-P03_c18.xml
? (TO)
20067.7
2520.09
4296981
Quasigroups/
QuasiGroup-7-16_c18.xml
? (TO)
20071.3
2520.09
4296998
SocialGolfers/
SocialGolfers-6-6-6-cp_c18.xml
? (TO)
20071.6
2520.08
4297008
Quasigroups/
QuasiGroup-7-14_c18.xml
? (TO)
20076.2
2520.07
4296997
PseudoBoolean-dec/
Pb-chnl30-31_c18.xml
? (TO)
20076.6
2520.15
4297087
GracefulGraph/
GracefulGraph-K07-P02_c18.xml
? (TO)
20079.5
2520.07
4296982
ColouredQueens/
ColouredQueens-16_c18.xml
? (TO)
20080.2
2520.1
4296923
ColouredQueens/
ColouredQueens-15_c18.xml
? (TO)
20081
2520.09
4296922
Quasigroups/
QuasiGroup-4-10_c18.xml
? (TO)
20081.4
2520.07
4296987
GracefulGraph/
GracefulGraph-K05-P03_c18.xml
? (TO)
20083.3
2520.07
4296979
Quasigroups/
QuasiGroup-7-12_c18.xml
? (TO)
20083.8
2520.08
4296996
ColouredQueens/
ColouredQueens-14_c18.xml
? (TO)
20084.3
2520.08
4296921
ColouredQueens/
ColouredQueens-13_c18.xml
? (TO)
20084.5
2520.08
4296920
GracefulGraph/
GracefulGraph-K06-P02_c18.xml
? (TO)
20085.4
2520.07
4296980
ColouredQueens/
ColouredQueens-11_c18.xml
? (TO)
20086.1
2520.08
4296918
ColouredQueens/
ColouredQueens-12_c18.xml
? (TO)
20086.8
2520.11
4296919
PseudoBoolean-dec/
Pb-chnl20-21_c18.xml
? (TO)
20087.6
2520.13
4297086
ColouredQueens/
ColouredQueens-10_c18.xml
? (TO)
20088.5
2520.08
4296917
Langford/
LangfordBin-13_c18.xml
? (TO)
20089.1
2520.07
4296931
ColouredQueens/
ColouredQueens-09_c18.xml
? (TO)
20089.3
2520.08
4296916
Langford/
LangfordBin-14_c18.xml
? (TO)
20090.3
2520.07
4296932
Solver exceeded the memory limit (no solution given) (29 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
MagicHexagon/
MagicHexagon-06-0010_c18.xml
? (MO)
23.5695
17.6406
4296952
MagicHexagon/
MagicHexagon-06-m001_c18.xml
? (MO)
24.5793
18.4657
4296953
MagicHexagon/
MagicHexagon-07-0002_c18.xml
? (MO)
54.2757
47.8804
4296954
MagicHexagon/
MagicHexagon-07-m011_c18.xml
? (MO)
57.5809
51.8092
4296955
PseudoBoolean-dec/
Pb-robin18_c18.xml
? (MO)
95.6738
69.1821
4297096
SportsScheduling/
SportsScheduling-20_c18.xml
? (MO)
98.4732
47.9057
4297030
SportsScheduling/
SportsScheduling-22_c18.xml
? (MO)
103.265
69.9881
4297031
PseudoBoolean-dec/
Pb-robin16_c18.xml
? (MO)
117.62
98.0512
4297095
MagicHexagon/
MagicHexagon-08-m009_c18.xml
? (MO)
127.526
112.04
4296957
MagicHexagon/
MagicHexagon-08-0006_c18.xml
? (MO)
131.271
127.45
4296956
SportsScheduling/
SportsScheduling-24_c18.xml
? (MO)
143.131
103.919
4297032
SportsScheduling/
SportsScheduling-26_c18.xml
? (MO)
201.285
155.251
4297033
Eternity/
Eternity-14-14_c18.xml
? (MO)
296.763
228.873
4296971
Eternity/
Eternity-15-15_c18.xml
? (MO)
397.266
315.571
4296972
Subisomorphism/
Subisomorphism-g29-g50_c18.xml
? (MO)
648.464
475.473
4297043
Crossword/
Crossword-m18-ogd2008-vg-08-09_c18.xml
? (MO)
686.805
475.994
4297065
Crossword/
Crossword-m18-ogd2008-vg-09-10_c18.xml
? (MO)
1062.1
680.315
4297066
Crossword/
Crossword-m18-ogd2008-vg-16-17_c18.xml
? (MO)
1398.07
860.389
4297073
Crossword/
Crossword-m18-ogd2008-vg-10-11_c18.xml
? (MO)
1408.34
835.354
4297067
Crossword/
Crossword-m18-ogd2008-vg-11-12_c18.xml
? (MO)
1828.44
975.868
4297068
Crossword/
Crossword-m18-ogd2008-vg-15-16_c18.xml
? (MO)
2298.52
1071.14
4297072
Crossword/
Crossword-m18-ogd2008-vg-12-13_c18.xml
? (MO)
2484.3
1141.43
4297069
Crossword/
Crossword-m18-ogd2008-vg-13-14_c18.xml
? (MO)
3099.17
1240.59
4297070
Crossword/
Crossword-m18-ogd2008-vg-14-15_c18.xml
? (MO)
3401.39
1246.45
4297071
Eternity/
Eternity-13-13_c18.xml
? (MO)
5209.4
787.154
4296970
Bibd/
Bibd-sum-34-085-30-12-10_c18.xml
? (MO)
5887.52
793.162
4296894
Bibd/
Bibd-sc-34-085-30-12-10_c18.xml
? (MO)
8793.59
1165.17
4296888
PseudoBoolean-dec/
Pb-chnl50-51_c18.xml
? (MO)
11479.1
1442.99
4297088
Eternity/
Eternity-12-12_c18.xml
? (MO)
18364.7
2394.07
4296969