2018 XCSP3 competition: sequential solvers tracks: benchmarks results per solver
Result page for solver scop
order+MapleCOMSPS (2018-06-13)
(complete)
Category "decision problem" (CSP)
Solver proved unsatisfiability (UNSATISFIABLE) (53 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
Haystacks/
Haystacks-ext-04_c18.xml
UNSAT
2.27475
1.36196
4294748
Langford/
LangfordBin-06_c18.xml
UNSAT
2.58712
1.44337
4294249
Haystacks/
Haystacks-ext-05_c18.xml
UNSAT
2.73531
1.50241
4294703
Dubois/
Dubois-018_c18.xml
UNSAT
3.06169
1.59431
4294658
Dubois/
Dubois-020_c18.xml
UNSAT
3.12761
1.61665
4294622
Dubois/
Dubois-024_c18.xml
UNSAT
3.32332
1.66698
4294667
ColouredQueens/
ColouredQueens-06_c18.xml
UNSAT
3.32986
1.74123
4292790
Haystacks/
Haystacks-ext-06_c18.xml
UNSAT
3.34258
1.65386
4294739
Dubois/
Dubois-021_c18.xml
UNSAT
3.35495
1.6596
4294613
Dubois/
Dubois-022_c18.xml
UNSAT
3.41868
1.66666
4294649
Dubois/
Dubois-023_c18.xml
UNSAT
3.42513
1.68042
4294604
Dubois/
Dubois-025_c18.xml
UNSAT
3.51847
1.71035
4294676
StripPacking/
StripPacking-1a_c18.xml
UNSAT
3.52875
1.74313
4293189
Dubois/
Dubois-030_c18.xml
UNSAT
3.67505
1.75323
4294640
Haystacks/
Haystacks-ext-07_c18.xml
UNSAT
3.98639
1.82196
4294757
Dubois/
Dubois-040_c18.xml
UNSAT
4.07302
1.8482
4294631
Dubois/
Dubois-050_c18.xml
UNSAT
4.19003
1.9394
4294586
Langford/
LangfordBin-09_c18.xml
UNSAT
4.59953
3.04885
4294267
Haystacks/
Haystacks-ext-08_c18.xml
UNSAT
4.67927
2.10242
4294730
Quasigroups/
QuasiGroup-7-07_c18.xml
UNSAT
4.80553
2.12016
4295868
Dubois/
Dubois-075_c18.xml
UNSAT
4.80776
2.125
4294595
Dubois/
Dubois-100_c18.xml
UNSAT
5.26565
2.27461
4294685
Haystacks/
Haystacks-ext-09_c18.xml
UNSAT
5.47588
2.59231
4294712
Quasigroups/
QuasiGroup-7-08_c18.xml
UNSAT
6.52046
3.36217
4295940
Haystacks/
Haystacks-ext-10_c18.xml
UNSAT
7.03696
2.97923
4294775
Quasigroups/
QuasiGroup-4-07_c18.xml
UNSAT
7.07452
3.17195
4295904
Haystacks/
Haystacks-ext-11_c18.xml
UNSAT
8.53206
4.16407
4294694
MagicHexagon/
MagicHexagon-04-0017_c18.xml
UNSAT
8.54513
5.5213
4295553
SocialGolfers/
SocialGolfers-4-4-6-cp_c18.xml
UNSAT
9.7464
3.67451
4294406
SocialGolfers/
SocialGolfers-4-4-7-cp_c18.xml
UNSAT
10.5529
3.84831
4294478
Langford/
LangfordBin-10_c18.xml
UNSAT
10.9668
9.36597
4294231
Haystacks/
Haystacks-ext-12_c18.xml
UNSAT
12.1523
6.46079
4294766
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f10_c18.xml
UNSAT
15.0649
6.06005
4293493
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f12_c18.xml
UNSAT
15.4581
6.18289
4293538
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f11_c18.xml
UNSAT
15.6497
6.10902
4293448
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f08_c18.xml
UNSAT
15.7404
6.35859
4293547
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f07_c18.xml
UNSAT
15.9739
6.53733
4293484
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f04_c18.xml
UNSAT
15.9885
7.01315
4293511
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f05_c18.xml
UNSAT
16.0776
6.94926
4293529
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f06_c18.xml
UNSAT
16.1526
6.64116
4293520
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f09_c18.xml
UNSAT
16.4141
6.55663
4293475
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f03_c18.xml
UNSAT
17.0012
7.65317
4293466
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f01_c18.xml
UNSAT
17.7427
8.40522
4293502
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f02_c18.xml
UNSAT
18.41
8.87021
4293457
Haystacks/
Haystacks-ext-13_c18.xml
UNSAT
22.866
16.3548
4294721
SocialGolfers/
SocialGolfers-5-5-8-cp_c18.xml
UNSAT
34.6645
23.189
4294460
PseudoBoolean-dec/
Pb-chnl10-11_c18.xml
UNSAT
49.9476
48.571
4293793
Quasigroups/
QuasiGroup-4-08_c18.xml
UNSAT
55.5001
50.6176
4295895
SocialGolfers/
SocialGolfers-5-5-7-cp_c18.xml
UNSAT
63.6995
53.4714
4294451
CarSequencing/
CarSequencing-06-76_c18.xml
UNSAT
118.754
105.865
4294993
PseudoBoolean-dec/
Pb-chnl15-16_c18.xml
UNSAT
166.895
164.574
4293775
ColouredQueens/
ColouredQueens-08_c18.xml
UNSAT
1192.23
1189.03
4292880
Quasigroups/
QuasiGroup-7-10_c18.xml
UNSAT
1602.04
1597.13
4295922
Solver found a solution (SATISFIABLE) for a SAT/UNSAT instance (70 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
Langford/
LangfordBin-07_c18.xml
SAT
2.7658
1.51224
4294222
ColouredQueens/
ColouredQueens-05_c18.xml
SAT
2.8846
1.53261
4292862
Langford/
LangfordBin-08_c18.xml
SAT
2.92421
1.54103
4294213
GracefulGraph/
GracefulGraph-K03-P03_c18.xml
SAT
3.26836
1.62487
4293385
GracefulGraph/
GracefulGraph-K04-P02_c18.xml
SAT
3.32466
1.64929
4293349
StripPacking/
StripPacking-1b_c18.xml
SAT
3.33102
1.68505
4293144
Langford/
LangfordBin-11_c18.xml
SAT
3.37763
1.669
4294186
Langford/
LangfordBin-12_c18.xml
SAT
3.53576
1.73127
4294177
CarSequencing/
CarSequencing-dingbas_c18.xml
SAT
3.81683
1.8526
4295029
ColouredQueens/
ColouredQueens-07_c18.xml
SAT
3.86298
1.785
4292799
Langford/
LangfordBin-15_c18.xml
SAT
4.02509
1.87081
4294204
Bibd/
Bibd-sum-07-03-01_c18.xml
SAT
4.03893
1.84448
4294069
StripPacking/
StripPacking-C1P3_c18.xml
SAT
4.46912
1.98909
4293126
Langford/
LangfordBin-16_c18.xml
SAT
4.48698
2.04266
4294240
Bibd/
Bibd-sc-07-03-01_c18.xml
SAT
4.68174
2.05787
4294114
StripPacking/
StripPacking-T1c_c18.xml
SAT
5.7678
3.02759
4293135
GracefulGraph/
GracefulGraph-K02-P09_c18.xml
SAT
5.80541
3.13878
4293412
StripPacking/
StripPacking-C2P1_c18.xml
SAT
6.13401
2.71503
4293162
SocialGolfers/
SocialGolfers-4-4-4-cp_c18.xml
SAT
6.53199
2.56345
4294397
Quasigroups/
QuasiGroup-7-09_c18.xml
SAT
6.62492
2.66805
4295859
MisteryShopper/
MisteryShopper-04_c18.xml
SAT
6.7067
2.6208
4294559
MagicHexagon/
MagicHexagon-04-0003_c18.xml
SAT
6.87403
3.49449
4295571
StripPacking/
StripPacking-C1P1_c18.xml
SAT
7.64181
5.10219
4293171
SocialGolfers/
SocialGolfers-4-4-5-cp_c18.xml
SAT
8.08034
2.95601
4294469
StripPacking/
StripPacking-C1P2_c18.xml
SAT
8.0846
5.46014
4293117
Eternity/
Eternity-04-04_c18.xml
SAT
8.57659
3.14746
4296083
PseudoBoolean-dec/
Pb-fpga25-25-sat_c18.xml
SAT
8.81166
3.43052
4293721
SportsScheduling/
SportsScheduling-08_c18.xml
SAT
8.83682
3.4246
4295787
Quasigroups/
QuasiGroup-4-09_c18.xml
SAT
9.45432
3.55655
4295841
Frb/
frb-30-15-1_c18.xml
SAT
9.93642
3.76714
4295688
PseudoBoolean-dec/
Pb-robin08_c18.xml
SAT
10.3206
4.61103
4293784
SocialGolfers/
SocialGolfers-5-5-5-cp_c18.xml
SAT
12.3826
4.43332
4294388
Bibd/
Bibd-sum-12-06-05_c18.xml
SAT
13.7697
5.87788
4294168
MisteryShopper/
MisteryShopper-06a_c18.xml
SAT
14.0836
5.20087
4294568
Frb/
frb-35-17-1_c18.xml
SAT
14.3111
5.56257
4295616
Eternity/
Eternity-05-05_c18.xml
SAT
14.5191
5.10044
4296164
SportsScheduling/
SportsScheduling-10_c18.xml
SAT
14.7278
5.94827
4295760
SocialGolfers/
SocialGolfers-5-5-6-cp_c18.xml
SAT
14.7964
5.12035
4294442
MisteryShopper/
MisteryShopper-10a_c18.xml
SAT
14.8851
5.4963
4294505
Bibd/
Bibd-sc-12-06-05_c18.xml
SAT
15.1207
5.58071
4294159
StripPacking/
StripPacking-T1d_c18.xml
SAT
16.1132
13.2746
4293198
PseudoBoolean-dec/
Pb-robin10_c18.xml
SAT
17.6819
7.93087
4293757
MagicHexagon/
MagicHexagon-04-m004_c18.xml
SAT
17.8286
14.5391
4295535
Frb/
frb-40-19-1-mgd_c18.xml
SAT
20.687
10.1095
4295706
MisteryShopper/
MisteryShopper-06b_c18.xml
SAT
21.1002
8.32958
4294514
Eternity/
Eternity-10-04_c18.xml
SAT
21.7884
9.55236
4296128
Eternity/
Eternity-06-06_c18.xml
SAT
21.9323
10.2323
4296074
MisteryShopper/
MisteryShopper-10b_c18.xml
SAT
22.9949
10.1223
4294541
GracefulGraph/
GracefulGraph-K04-P03_c18.xml
SAT
24.4908
21.9243
4293358
PseudoBoolean-dec/
Pb-fpga45-45-sat_c18.xml
SAT
24.5429
13.2813
4293712
Eternity/
Eternity-10-05_c18.xml
SAT
25.9587
14.3451
4296092
MisteryShopper/
MisteryShopper-06c_c18.xml
SAT
27.9089
13.8803
4294523
Eternity/
Eternity-07-07_c18.xml
SAT
29.1447
17.0529
4296200
Bibd/
Bibd-sum-09-03-09_c18.xml
SAT
35.0281
21.5262
4294078
Crossword/
Crossword-m18-ogd2008-vg-04-05_c18.xml
SAT
39.0996
24.9501
4294858
Bibd/
Bibd-sc-09-03-09_c18.xml
SAT
41.5322
23.6986
4294087
CarSequencing/
CarSequencing-04-72_c18.xml
SAT
41.6124
28.6419
4295038
PseudoBoolean-dec/
Pb-robin12_c18.xml
SAT
42.6407
31.2398
4293766
SportsScheduling/
SportsScheduling-12_c18.xml
SAT
53.8673
41.1969
4295805
Subisomorphism/
Subisomorphism-g08-g43_c18.xml
SAT
56.5632
40.1777
4295248
Crossword/
Crossword-m18-ogd2008-vg-05-06_c18.xml
SAT
117.469
82.707
4294876
StripPacking/
StripPacking-N1b_c18.xml
SAT
158.344
155.188
4293207
StripPacking/
StripPacking-N1a_c18.xml
SAT
228.4
225.463
4293180
GracefulGraph/
GracefulGraph-K04-P04_c18.xml
SAT
252.87
249.266
4293367
GracefulGraph/
GracefulGraph-K05-P02_c18.xml
SAT
331.888
329.23
4293421
Quasigroups/
QuasiGroup-4-12_c18.xml
SAT
394.459
385.113
4295823
StripPacking/
StripPacking-T1a_c18.xml
SAT
749.317
745.776
4293153
StripPacking/
StripPacking-N1c_c18.xml
SAT
1088.29
1084.78
4293216
Frb/
frb-45-21-1_c18.xml
SAT
1771.15
1760.61
4295661
Frb/
frb-50-23-2-mgd_c18.xml
SAT
2245.14
2231.03
4295670
Solver timed out (no solution given) (44 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
Frb/
frb-59-26-3-mgd_c18.xml
? (TO)
2520.04
2505.14
4295589
Subisomorphism/
Subisomorphism-g10-g23_c18.xml
? (TO)
2520.04
2509.73
4295266
ColouredQueens/
ColouredQueens-09_c18.xml
? (TO)
2520.05
2516.02
4292808
Quasigroups/
QuasiGroup-7-14_c18.xml
? (TO)
2520.05
2511.42
4295913
ColouredQueens/
ColouredQueens-15_c18.xml
? (TO)
2520.05
2513.32
4292781
ColouredQueens/
ColouredQueens-13_c18.xml
? (TO)
2520.05
2514.02
4292835
Frb/
frb-50-23-1-mgd_c18.xml
? (TO)
2520.05
2505.43
4295679
Frb/
frb-50-23-3-mgd_c18.xml
? (TO)
2520.05
2506.34
4295634
Frb/
frb-53-24-3-mgd_c18.xml
? (TO)
2520.05
2508.83
4295598
GracefulGraph/
GracefulGraph-K06-P02_c18.xml
? (TO)
2520.05
2515.12
4293394
Frb/
frb-56-25-3-mgd_c18.xml
? (TO)
2520.06
2506.94
4295715
ColouredQueens/
ColouredQueens-12_c18.xml
? (TO)
2520.06
2514.61
4292871
Quasigroups/
QuasiGroup-4-10_c18.xml
? (TO)
2520.06
2511.62
4295814
Frb/
frb-59-26-2-mgd_c18.xml
? (TO)
2520.06
2504.63
4295643
ColouredQueens/
ColouredQueens-14_c18.xml
? (TO)
2520.06
2513.81
4292844
PseudoBoolean-dec/
Pb-chnl20-21_c18.xml
? (TO)
2520.07
2516.02
4293820
Frb/
frb-53-24-2-mgd_c18.xml
? (TO)
2520.07
2507.04
4295697
ColouredQueens/
ColouredQueens-16_c18.xml
? (TO)
2520.08
2512.52
4292817
ColouredQueens/
ColouredQueens-11_c18.xml
? (TO)
2520.08
2515.31
4292853
Subisomorphism/
Subisomorphism-g10-g27_c18.xml
? (TO)
2520.08
2509.33
4295311
GracefulGraph/
GracefulGraph-K07-P02_c18.xml
? (TO)
2520.09
2514.13
4293439
SocialGolfers/
SocialGolfers-6-6-9-cp_c18.xml
? (TO)
2520.09
2502.93
4294424
Langford/
LangfordBin-13_c18.xml
? (TO)
2520.1
2516.41
4294258
SocialGolfers/
SocialGolfers-6-6-7-cp_c18.xml
? (TO)
2520.1
2503.13
4294487
GracefulGraph/
GracefulGraph-K05-P03_c18.xml
? (TO)
2520.1
2515.02
4293376
Langford/
LangfordBin-14_c18.xml
? (TO)
2520.1
2517.02
4294195
Frb/
frb-56-25-2-mgd_c18.xml
? (TO)
2520.1
2505.54
4295607
Quasigroups/
QuasiGroup-4-14_c18.xml
? (TO)
2520.11
2507.63
4295886
Bibd/
Bibd-sum-22-033-12-08-04_c18.xml
? (TO)
2520.11
2504.43
4294132
SocialGolfers/
SocialGolfers-6-6-6-cp_c18.xml
? (TO)
2520.11
2505.22
4294433
ColouredQueens/
ColouredQueens-10_c18.xml
? (TO)
2520.12
2515.71
4292826
Frb/
frb-53-24-1-mgd_c18.xml
? (TO)
2520.12
2507.15
4295625
Frb/
frb-56-25-1-mgd_c18.xml
? (TO)
2520.13
2505.84
4295652
Quasigroups/
QuasiGroup-7-12_c18.xml
? (TO)
2520.13
2513.03
4295832
Quasigroups/
QuasiGroup-7-16_c18.xml
? (TO)
2520.14
2509.82
4295877
Frb/
frb-59-26-1-mgd_c18.xml
? (TO)
2520.14
2504.84
4295580
Crossword/
Crossword-m18-ogd2008-vg-13-14_c18.xml
? (TO)
2520.3
959.654
4294894
Crossword/
Crossword-m18-ogd2008-vg-14-15_c18.xml
? (TO)
2525.24
941.398
4294867
Crossword/
Crossword-m18-ogd2008-vg-16-17_c18.xml
? (TO)
2525.57
930.337
4294840
Crossword/
Crossword-m18-ogd2008-vg-12-13_c18.xml
? (TO)
2528.3
953.302
4294939
Crossword/
Crossword-m18-ogd2008-vg-10-11_c18.xml
? (TO)
2528.31
981.56
4294849
Crossword/
Crossword-m18-ogd2008-vg-09-10_c18.xml
? (TO)
2528.34
966.933
4294912
Crossword/
Crossword-m18-ogd2008-vg-15-16_c18.xml
? (TO)
2528.36
955.52
4294948
Crossword/
Crossword-m18-ogd2008-vg-11-12_c18.xml
? (TO)
2528.4
959.262
4294930
Solver exceeded the memory limit (no solution given) (69 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
MagicHexagon/
MagicHexagon-05-0006_c18.xml
? (MO)
13.643
8.81904
4295544
MagicHexagon/
MagicHexagon-05-m003_c18.xml
? (MO)
13.7321
9.04236
4295499
GracefulGraph/
GracefulGraph-K07-P03_c18.xml
? (MO)
15.4533
10.1391
4293430
MagicHexagon/
MagicHexagon-06-0010_c18.xml
? (MO)
19.6315
14.3536
4295508
MagicHexagon/
MagicHexagon-06-m001_c18.xml
? (MO)
19.9382
13.2539
4295517
SocialGolfers/
SocialGolfers-6-6-8-cp_c18.xml
? (MO)
25.03
8.95425
4294415
MisteryShopper/
MisteryShopper-06d_c18.xml
? (MO)
32.5344
16.5317
4294532
MisteryShopper/
MisteryShopper-10c_c18.xml
? (MO)
32.8565
16.9333
4294577
SportsScheduling/
SportsScheduling-16_c18.xml
? (MO)
34.8898
18.4388
4295769
CarSequencing/
CarSequencing-65-02_c18.xml
? (MO)
35.4303
18.6411
4295092
CarSequencing/
CarSequencing-60-02_c18.xml
? (MO)
35.7307
17.5418
4295074
MisteryShopper/
MisteryShopper-12_c18.xml
? (MO)
37.0822
20.339
4294550
CarSequencing/
CarSequencing-60-01_c18.xml
? (MO)
37.2295
19.542
4294957
CarSequencing/
CarSequencing-70-02_c18.xml
? (MO)
38.6231
20.1527
4295083
CarSequencing/
CarSequencing-75-01_c18.xml
? (MO)
39.3084
21.0534
4294984
CarSequencing/
CarSequencing-80-02_c18.xml
? (MO)
39.5405
21.4443
4294975
CarSequencing/
CarSequencing-85-02_c18.xml
? (MO)
39.6027
21.2437
4294966
Quasigroups/
QuasiGroup-4-20_c18.xml
? (MO)
39.6231
24.3385
4295949
CarSequencing/
CarSequencing-75-02_c18.xml
? (MO)
39.6817
20.5422
4295101
CarSequencing/
CarSequencing-80-01_c18.xml
? (MO)
40.1283
21.5438
4295056
PseudoBoolean-dec/
Pb-robin14_c18.xml
? (MO)
40.1934
24.3424
4293730
CarSequencing/
CarSequencing-70-01_c18.xml
? (MO)
41.1819
21.543
4295011
CarSequencing/
CarSequencing-65-01_c18.xml
? (MO)
41.2855
21.0538
4295002
CarSequencing/
CarSequencing-90-02_c18.xml
? (MO)
41.5421
22.0563
4295065
CarSequencing/
CarSequencing-85-01_c18.xml
? (MO)
41.8297
21.4441
4295020
CarSequencing/
CarSequencing-90-01_c18.xml
? (MO)
41.9018
22.5435
4295047
MagicHexagon/
MagicHexagon-07-0002_c18.xml
? (MO)
43.3547
35.7069
4295490
MisteryShopper/
MisteryShopper-10d_c18.xml
? (MO)
43.9343
25.0519
4294496
Bibd/
Bibd-sum-10-03-08_c18.xml
? (MO)
44.1711
28.3399
4294105
MagicHexagon/
MagicHexagon-07-m011_c18.xml
? (MO)
46.5482
40.2228
4295562
SportsScheduling/
SportsScheduling-18_c18.xml
? (MO)
48.3281
28.1552
4295751
Subisomorphism/
Subisomorphism-g34-g36_c18.xml
? (MO)
49.0766
33.0523
4295239
Bibd/
Bibd-sc-10-03-08_c18.xml
? (MO)
51.1269
30.544
4294150
SportsScheduling/
SportsScheduling-20_c18.xml
? (MO)
64.3623
41.2572
4295796
PseudoBoolean-dec/
Pb-robin18_c18.xml
? (MO)
82.5516
63.0728
4293811
SportsScheduling/
SportsScheduling-22_c18.xml
? (MO)
88.1755
63.0954
4295724
Bibd/
Bibd-sum-34-085-30-12-10_c18.xml
? (MO)
89.4178
62.0625
4294123
Eternity/
Eternity-11-11_c18.xml
? (MO)
96.5112
70.4443
4296119
PseudoBoolean-dec/
Pb-robin16_c18.xml
? (MO)
98.6563
83.5113
4293748
MagicHexagon/
MagicHexagon-08-0006_c18.xml
? (MO)
103.846
102.533
4295526
MagicHexagon/
MagicHexagon-08-m009_c18.xml
? (MO)
104.494
96.2527
4295481
Eternity/
Eternity-10-10_c18.xml
? (MO)
106.752
88.1432
4296155
Bibd/
Bibd-sc-34-085-30-12-10_c18.xml
? (MO)
108.753
73.1615
4294096
SportsScheduling/
SportsScheduling-24_c18.xml
? (MO)
124.901
95.1256
4295742
Eternity/
Eternity-09-09_c18.xml
? (MO)
127.514
112.041
4296146
Eternity/
Eternity-12-12_c18.xml
? (MO)
132.528
103.448
4296191
SportsScheduling/
SportsScheduling-26_c18.xml
? (MO)
173.099
139.277
4295778
Eternity/
Eternity-13-13_c18.xml
? (MO)
179.635
143.657
4296137
Eternity/
Eternity-08-08_c18.xml
? (MO)
209.562
195.628
4296182
Crossword/
Crossword-m18-ogd2008-vg-06-07_c18.xml
? (MO)
230.787
175.045
4294885
Eternity/
Eternity-14-14_c18.xml
? (MO)
245.847
206.072
4296173
PseudoBoolean-dec/
Pb-chnl50-51_c18.xml
? (MO)
322.44
315.032
4293739
Subisomorphism/
Subisomorphism-g17-g37_c18.xml
? (MO)
343.352
330.734
4295320
Eternity/
Eternity-15-15_c18.xml
? (MO)
354.558
308.189
4296110
Subisomorphism/
Subisomorphism-g19-g45_c18.xml
? (MO)
377.482
354.636
4295275
SportsScheduling/
SportsScheduling-14_c18.xml
? (MO)
463.24
448.732
4295733
Crossword/
Crossword-m18-ogd2008-vg-07-08_c18.xml
? (MO)
481.007
331.369
4294921
Subisomorphism/
Subisomorphism-g29-g50_c18.xml
? (MO)
664.144
492.093
4295302
Subisomorphism/
Subisomorphism-g19-g43_c18.xml
? (MO)
772.766
751.44
4295257
Quasigroups/
QuasiGroup-4-16_c18.xml
? (MO)
797.465
784.73
4295931
Crossword/
Crossword-m18-ogd2008-vg-08-09_c18.xml
? (MO)
862.43
536.156
4294903
Subisomorphism/
Subisomorphism-g11-g30_c18.xml
? (MO)
892.646
878.335
4295230
Subisomorphism/
Subisomorphism-g17-g42_c18.xml
? (MO)
987.148
974.079
4295293
Eternity/
Eternity-10-06_c18.xml
? (MO)
1048.12
1034.23
4296101
Subisomorphism/
Subisomorphism-g11-g44_c18.xml
? (MO)
1201.41
1185.04
4295284
Quasigroups/
QuasiGroup-7-20_c18.xml
? (MO)
1390.13
1379.14
4295850
Bibd/
Bibd-sc-22-033-12-08-04_c18.xml
? (MO)
1787.52
1767.34
4294141
GracefulGraph/
GracefulGraph-K06-P03_c18.xml
? (MO)
2214.41
2208.03
4293403
PseudoBoolean-dec/
Pb-chnl30-31_c18.xml
? (MO)
2251.68
2246.42
4293802