2018 XCSP3 competition: sequential solvers tracks: benchmarks results per solver
Result page for solver OscaR - Conflict Ordering
2018-07-02
(complete)
Category "decision problem" (CSP)
Solver proved unsatisfiability (UNSATISFIABLE) (30 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
Haystacks/
Haystacks-ext-04_c18.xml
UNSAT
1.55555
1.03597
4290909
Langford/
LangfordBin-06_c18.xml
UNSAT
1.65364
1.09488
4290759
ColouredQueens/
ColouredQueens-06_c18.xml
UNSAT
1.87763
1.15963
4290748
StripPacking/
StripPacking-1a_c18.xml
UNSAT
1.96786
1.23025
4290847
Haystacks/
Haystacks-ext-05_c18.xml
UNSAT
2.51184
1.36261
4290910
Quasigroups/
QuasiGroup-7-07_c18.xml
UNSAT
2.862
1.52629
4290827
Langford/
LangfordBin-09_c18.xml
UNSAT
3.12892
1.58096
4290762
Quasigroups/
QuasiGroup-4-07_c18.xml
UNSAT
3.88308
1.98339
4290819
Langford/
LangfordBin-10_c18.xml
UNSAT
4.63868
2.81042
4290763
MagicHexagon/
MagicHexagon-04-0017_c18.xml
UNSAT
5.19498
3.57106
4290783
Dubois/
Dubois-018_c18.xml
UNSAT
6.01538
5.32711
4290770
Subisomorphism/
Subisomorphism-g34-g36_c18.xml
UNSAT
8.70645
6.14786
4290879
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f11_c18.xml
UNSAT
11.0444
5.52228
4291795
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f12_c18.xml
UNSAT
11.4398
5.61016
4291845
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f10_c18.xml
UNSAT
11.5116
5.5253
4291820
Dubois/
Dubois-020_c18.xml
UNSAT
16.7862
15.709
4290771
Quasigroups/
QuasiGroup-7-08_c18.xml
UNSAT
24.0059
22.213
4290828
Dubois/
Dubois-021_c18.xml
UNSAT
33.6473
32.2726
4290772
SocialGolfers/
SocialGolfers-4-4-7-cp_c18.xml
UNSAT
35.721
29.9748
4290838
Dubois/
Dubois-022_c18.xml
UNSAT
64.5261
63.0283
4290773
Quasigroups/
QuasiGroup-4-08_c18.xml
UNSAT
102.589
100.164
4290820
PseudoBoolean-dec/
Pb-chnl10-11_c18.xml
UNSAT
117.824
116.125
4290919
Dubois/
Dubois-023_c18.xml
UNSAT
135.312
132.948
4290774
SocialGolfers/
SocialGolfers-4-4-6-cp_c18.xml
UNSAT
181.258
173.971
4290837
Dubois/
Dubois-024_c18.xml
UNSAT
268.842
265.514
4290775
Haystacks/
Haystacks-ext-06_c18.xml
UNSAT
460.911
456.085
4290911
Dubois/
Dubois-025_c18.xml
UNSAT
542.898
536.055
4290776
Langford/
LangfordBin-13_c18.xml
UNSAT
699.677
696.286
4290766
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f07_c18.xml
UNSAT
789.479
777.37
4291815
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f09_c18.xml
UNSAT
1219.27
1203.57
4291810
Solver found a solution (SATISFIABLE) for a SAT/UNSAT instance (51 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
ColouredQueens/
ColouredQueens-05_c18.xml
SAT
1.56624
1.19829
4290747
ColouredQueens/
ColouredQueens-07_c18.xml
SAT
1.67901
1.07772
4290749
Langford/
LangfordBin-07_c18.xml
SAT
1.68175
1.12587
4290760
Langford/
LangfordBin-08_c18.xml
SAT
1.69389
1.12426
4290761
CarSequencing/
CarSequencing-dingbas_c18.xml
SAT
1.71238
1.11539
4290746
Langford/
LangfordBin-12_c18.xml
SAT
1.72167
1.12345
4290765
Langford/
LangfordBin-11_c18.xml
SAT
1.72479
1.12656
4290764
Bibd/
Bibd-sum-07-03-01_c18.xml
SAT
1.75901
1.1496
4290724
GracefulGraph/
GracefulGraph-K03-P03_c18.xml
SAT
1.77645
1.14196
4290809
GracefulGraph/
GracefulGraph-K04-P02_c18.xml
SAT
1.85956
1.17361
4290810
Langford/
LangfordBin-15_c18.xml
SAT
1.91872
1.19699
4290768
Langford/
LangfordBin-16_c18.xml
SAT
1.99484
1.2749
4290769
SportsScheduling/
SportsScheduling-08_c18.xml
SAT
2.07781
1.27239
4290859
Eternity/
Eternity-04-04_c18.xml
SAT
2.08125
1.24769
4290793
GracefulGraph/
GracefulGraph-K02-P09_c18.xml
SAT
2.24013
1.30506
4290808
MisteryShopper/
MisteryShopper-04_c18.xml
SAT
2.24334
1.26412
4290932
SportsScheduling/
SportsScheduling-10_c18.xml
SAT
2.31932
1.3354
4290860
Eternity/
Eternity-05-05_c18.xml
SAT
2.49076
1.39023
4290794
Bibd/
Bibd-sc-07-03-01_c18.xml
SAT
2.60226
1.4109
4290718
PseudoBoolean-dec/
Pb-robin08_c18.xml
SAT
2.85815
1.42685
4290926
Crossword/
Crossword-m18-ogd2008-vg-04-05_c18.xml
SAT
2.93197
1.36646
4290896
SocialGolfers/
SocialGolfers-4-4-4-cp_c18.xml
SAT
3.04588
1.54608
4290835
Crossword/
Crossword-m18-ogd2008-vg-05-06_c18.xml
SAT
3.27464
1.64343
4290897
MisteryShopper/
MisteryShopper-06b_c18.xml
SAT
3.72559
2.08841
4290934
MisteryShopper/
MisteryShopper-10a_c18.xml
SAT
3.79842
1.73144
4290937
MisteryShopper/
MisteryShopper-06a_c18.xml
SAT
4.23816
1.90744
4290933
SocialGolfers/
SocialGolfers-4-4-5-cp_c18.xml
SAT
4.39327
1.84485
4290836
Eternity/
Eternity-10-04_c18.xml
SAT
4.73356
2.53147
4290799
SocialGolfers/
SocialGolfers-5-5-5-cp_c18.xml
SAT
4.94825
2.07473
4290839
Crossword/
Crossword-m18-ogd2008-vg-06-07_c18.xml
SAT
5.13626
2.52599
4290898
SportsScheduling/
SportsScheduling-12_c18.xml
SAT
5.90117
3.61665
4290861
Quasigroups/
QuasiGroup-7-09_c18.xml
SAT
7.08773
5.70934
4290829
Subisomorphism/
Subisomorphism-g08-g43_c18.xml
SAT
7.34148
5.32063
4290869
SocialGolfers/
SocialGolfers-5-5-6-cp_c18.xml
SAT
7.64
2.96989
4290840
Eternity/
Eternity-06-06_c18.xml
SAT
7.64846
5.4811
4290795
Frb/
frb-30-15-1_c18.xml
SAT
9.44174
7.13471
4290880
GracefulGraph/
GracefulGraph-K04-P03_c18.xml
SAT
9.69351
6.6298
4290811
Frb/
frb-40-19-1-mgd_c18.xml
SAT
12.2677
9.58245
4290882
PseudoBoolean-dec/
Pb-robin10_c18.xml
SAT
12.3105
9.59746
4290927
MisteryShopper/
MisteryShopper-06d_c18.xml
SAT
13.3433
8.45335
4290936
Quasigroups/
QuasiGroup-4-09_c18.xml
SAT
13.5696
11.3075
4290821
GracefulGraph/
GracefulGraph-K05-P02_c18.xml
SAT
22.5393
19.6534
4290813
MagicHexagon/
MagicHexagon-04-m004_c18.xml
SAT
35.5909
33.5501
4290784
PseudoBoolean-dec/
Pb-robin12_c18.xml
SAT
52.3109
49.3231
4290928
Frb/
frb-35-17-1_c18.xml
SAT
68.7887
66.2959
4290881
MisteryShopper/
MisteryShopper-06c_c18.xml
SAT
240.344
234.063
4290935
SportsScheduling/
SportsScheduling-16_c18.xml
SAT
321.729
318.035
4290863
Eternity/
Eternity-10-05_c18.xml
SAT
325.049
321.38
4290800
GracefulGraph/
GracefulGraph-K04-P04_c18.xml
SAT
1163.63
1156.43
4290812
SportsScheduling/
SportsScheduling-14_c18.xml
SAT
1224.02
1217.74
4290862
MagicHexagon/
MagicHexagon-04-0003_c18.xml
SAT
2192.13
2184.95
4290782
Solver didn't decide (UNKNOWN) (1 run)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
Crossword/
Crossword-m18-ogd2008-vg-07-08_c18.xml
?
2399.69
2395.37
4290899
Solver timed out (no solution given) (154 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
CarSequencing/
CarSequencing-85-02_c18.xml
? (TO)
2400.02
2385.31
4290743
Dubois/
Dubois-050_c18.xml
? (TO)
2400.02
2372.12
4290779
StripPacking/
StripPacking-T1c_c18.xml
? (TO)
2400.02
2360.71
4290857
SportsScheduling/
SportsScheduling-20_c18.xml
? (TO)
2400.02
2388.02
4290865
Eternity/
Eternity-15-15_c18.xml
? (TO)
2400.02
2392.62
4290807
CarSequencing/
CarSequencing-04-72_c18.xml
? (TO)
2400.02
2387.51
4290730
PseudoBoolean-dec/
Pb-chnl50-51_c18.xml
? (TO)
2400.02
2394.31
4290923
CarSequencing/
CarSequencing-90-01_c18.xml
? (TO)
2400.02
2386.41
4290744
StripPacking/
StripPacking-C1P3_c18.xml
? (TO)
2400.02
2363.91
4290851
Eternity/
Eternity-08-08_c18.xml
? (TO)
2400.02
2388.91
4290797
Haystacks/
Haystacks-ext-09_c18.xml
? (TO)
2400.02
2377.91
4290914
ColouredQueens/
ColouredQueens-16_c18.xml
? (TO)
2400.03
2389.92
4290758
CarSequencing/
CarSequencing-75-02_c18.xml
? (TO)
2400.03
2385.41
4290739
CarSequencing/
CarSequencing-75-01_c18.xml
? (TO)
2400.03
2383.12
4290738
Frb/
frb-53-24-3-mgd_c18.xml
? (TO)
2400.03
2386.91
4290889
Quasigroups/
QuasiGroup-4-20_c18.xml
? (TO)
2400.03
2394.12
4290826
Subisomorphism/
Subisomorphism-g29-g50_c18.xml
? (TO)
2400.03
2377.81
4290878
GracefulGraph/
GracefulGraph-K07-P03_c18.xml
? (TO)
2400.03
2391.61
4290818
StripPacking/
StripPacking-T1d_c18.xml
? (TO)
2400.03
2355.61
4290858
MagicHexagon/
MagicHexagon-05-0006_c18.xml
? (TO)
2400.03
2388.91
4290785
Eternity/
Eternity-10-06_c18.xml
? (TO)
2400.03
2388.21
4290801
Frb/
frb-56-25-3-mgd_c18.xml
? (TO)
2400.03
2386.02
4290892
Bibd/
Bibd-sc-10-03-08_c18.xml
? (TO)
2400.03
2361.02
4290720
Bibd/
Bibd-sc-12-06-05_c18.xml
? (TO)
2400.03
2362.12
4290721
PseudoBoolean-dec/
Pb-fpga25-25-sat_c18.xml
? (TO)
2400.03
2392.42
4290924
Langford/
LangfordBin-14_c18.xml
? (TO)
2400.04
2390.81
4290767
CarSequencing/
CarSequencing-60-02_c18.xml
? (TO)
2400.04
2375.51
4290733
Dubois/
Dubois-040_c18.xml
? (TO)
2400.04
2370.52
4290778
Bibd/
Bibd-sc-09-03-09_c18.xml
? (TO)
2400.04
2359.42
4290719
Dubois/
Dubois-030_c18.xml
? (TO)
2400.04
2369.71
4290777
CarSequencing/
CarSequencing-80-01_c18.xml
? (TO)
2400.04
2384.02
4290740
ColouredQueens/
ColouredQueens-10_c18.xml
? (TO)
2400.04
2390.21
4290752
PseudoBoolean-dec/
Pb-robin18_c18.xml
? (TO)
2400.04
2393.62
4290931
ColouredQueens/
ColouredQueens-09_c18.xml
? (TO)
2400.04
2388.51
4290751
ColouredQueens/
ColouredQueens-08_c18.xml
? (TO)
2400.04
2389.61
4290750
ColouredQueens/
ColouredQueens-14_c18.xml
? (TO)
2400.04
2390.31
4290756
PseudoBoolean-dec/
Pb-fpga45-45-sat_c18.xml
? (TO)
2400.04
2387.31
4290925
Bibd/
Bibd-sum-34-085-30-12-10_c18.xml
? (TO)
2400.04
2353.52
4290729
Haystacks/
Haystacks-ext-07_c18.xml
? (TO)
2400.05
2377.71
4290912
Eternity/
Eternity-09-09_c18.xml
? (TO)
2400.05
2389.91
4290798
StripPacking/
StripPacking-T1a_c18.xml
? (TO)
2400.05
2353.02
4290856
Quasigroups/
QuasiGroup-4-12_c18.xml
? (TO)
2400.05
2394.02
4290823
Frb/
frb-50-23-3-mgd_c18.xml
? (TO)
2400.05
2386.81
4290886
Dubois/
Dubois-100_c18.xml
? (TO)
2400.05
2372.41
4290781
Subisomorphism/
Subisomorphism-g17-g37_c18.xml
? (TO)
2400.05
2393.61
4290874
Crossword/
Crossword-m18-ogd2008-vg-10-11_c18.xml
? (TO)
2400.05
2394.03
4290902
Eternity/
Eternity-11-11_c18.xml
? (TO)
2400.05
2390.51
4290803
Haystacks/
Haystacks-ext-11_c18.xml
? (TO)
2400.05
2379.91
4290916
SportsScheduling/
SportsScheduling-18_c18.xml
? (TO)
2400.05
2389.61
4290864
ColouredQueens/
ColouredQueens-15_c18.xml
? (TO)
2400.05
2391.02
4290757
CarSequencing/
CarSequencing-65-02_c18.xml
? (TO)
2400.05
2377.21
4290735
Frb/
frb-59-26-3-mgd_c18.xml
? (TO)
2400.05
2385.31
4290895
SportsScheduling/
SportsScheduling-26_c18.xml
? (TO)
2400.05
2386.61
4290868
Eternity/
Eternity-10-10_c18.xml
? (TO)
2400.05
2390.51
4290802
Eternity/
Eternity-13-13_c18.xml
? (TO)
2400.05
2390.41
4290805
ColouredQueens/
ColouredQueens-12_c18.xml
? (TO)
2400.05
2389.21
4290754
PseudoBoolean-dec/
Pb-robin14_c18.xml
? (TO)
2400.05
2393.71
4290929
Frb/
frb-53-24-1-mgd_c18.xml
? (TO)
2400.06
2385.52
4290887
Subisomorphism/
Subisomorphism-g11-g44_c18.xml
? (TO)
2400.06
2392.21
4290873
MagicHexagon/
MagicHexagon-07-0002_c18.xml
? (TO)
2400.06
2391.71
4290789
Subisomorphism/
Subisomorphism-g17-g42_c18.xml
? (TO)
2400.06
2392.31
4290875
Crossword/
Crossword-m18-ogd2008-vg-15-16_c18.xml
? (TO)
2400.06
2394.73
4290907
Quasigroups/
QuasiGroup-7-14_c18.xml
? (TO)
2400.06
2391.71
4290832
Subisomorphism/
Subisomorphism-g19-g43_c18.xml
? (TO)
2400.06
2389.61
4290876
Subisomorphism/
Subisomorphism-g10-g23_c18.xml
? (TO)
2400.06
2390.81
4290870
ColouredQueens/
ColouredQueens-13_c18.xml
? (TO)
2400.06
2390.41
4290755
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f06_c18.xml
? (TO)
2400.06
2371.02
4291835
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f02_c18.xml
? (TO)
2400.06
2371.02
4291800
StripPacking/
StripPacking-N1a_c18.xml
? (TO)
2400.07
2356.21
4290853
MagicHexagon/
MagicHexagon-06-0010_c18.xml
? (TO)
2400.07
2391.51
4290787
Haystacks/
Haystacks-ext-12_c18.xml
? (TO)
2400.07
2379.31
4290917
CarSequencing/
CarSequencing-90-02_c18.xml
? (TO)
2400.07
2385.02
4290745
Frb/
frb-59-26-1-mgd_c18.xml
? (TO)
2400.07
2386.21
4290893
Haystacks/
Haystacks-ext-13_c18.xml
? (TO)
2400.07
2380.41
4290918
Bibd/
Bibd-sum-22-033-12-08-04_c18.xml
? (TO)
2400.07
2353.02
4290728
Quasigroups/
QuasiGroup-4-10_c18.xml
? (TO)
2400.07
2394.02
4290822
MisteryShopper/
MisteryShopper-10d_c18.xml
? (TO)
2400.07
2376.51
4290940
SocialGolfers/
SocialGolfers-6-6-7-cp_c18.xml
? (TO)
2400.07
2353.31
4290844
Quasigroups/
QuasiGroup-7-16_c18.xml
? (TO)
2400.07
2391.51
4290833
Eternity/
Eternity-14-14_c18.xml
? (TO)
2400.07
2391.31
4290806
Subisomorphism/
Subisomorphism-g19-g45_c18.xml
? (TO)
2400.07
2392.12
4290877
GracefulGraph/
GracefulGraph-K06-P02_c18.xml
? (TO)
2400.07
2390.02
4290815
Frb/
frb-56-25-1-mgd_c18.xml
? (TO)
2400.07
2386.51
4290890
CarSequencing/
CarSequencing-70-02_c18.xml
? (TO)
2400.08
2384.61
4290737
StripPacking/
StripPacking-C1P1_c18.xml
? (TO)
2400.08
2365.72
4290849
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f08_c18.xml
? (TO)
2400.08
2369.71
4291850
MagicHexagon/
MagicHexagon-06-m001_c18.xml
? (TO)
2400.08
2393.02
4290788
MagicHexagon/
MagicHexagon-07-m011_c18.xml
? (TO)
2400.08
2391.51
4290790
Frb/
frb-50-23-1-mgd_c18.xml
? (TO)
2400.08
2385.41
4290884
CarSequencing/
CarSequencing-65-01_c18.xml
? (TO)
2400.08
2386.22
4290734
Bibd/
Bibd-sum-09-03-09_c18.xml
? (TO)
2400.08
2364.61
4290725
Crossword/
Crossword-m18-ogd2008-vg-16-17_c18.xml
? (TO)
2400.08
2395.32
4290908
Bibd/
Bibd-sum-12-06-05_c18.xml
? (TO)
2400.08
2356.61
4290727
Crossword/
Crossword-m18-ogd2008-vg-09-10_c18.xml
? (TO)
2400.08
2394.72
4290901
MagicHexagon/
MagicHexagon-05-m003_c18.xml
? (TO)
2400.08
2392.21
4290786
SocialGolfers/
SocialGolfers-5-5-7-cp_c18.xml
? (TO)
2400.08
2353.12
4290841
CarSequencing/
CarSequencing-70-01_c18.xml
? (TO)
2400.08
2384.71
4290736
Subisomorphism/
Subisomorphism-g10-g27_c18.xml
? (TO)
2400.08
2389.21
4290871
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f01_c18.xml
? (TO)
2400.08
2374.62
4291825
Frb/
frb-59-26-2-mgd_c18.xml
? (TO)
2400.08
2385.41
4290894
Quasigroups/
QuasiGroup-7-12_c18.xml
? (TO)
2400.08
2392.41
4290831
Haystacks/
Haystacks-ext-08_c18.xml
? (TO)
2400.09
2379.81
4290913
PseudoBoolean-dec/
Pb-chnl20-21_c18.xml
? (TO)
2400.09
2392.71
4290921
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f03_c18.xml
? (TO)
2400.09
2367.62
4291805
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f04_c18.xml
? (TO)
2400.09
2375.13
4291830
MisteryShopper/
MisteryShopper-10c_c18.xml
? (TO)
2400.09
2380.12
4290939
SportsScheduling/
SportsScheduling-22_c18.xml
? (TO)
2400.09
2388.01
4290866
Frb/
frb-53-24-2-mgd_c18.xml
? (TO)
2400.09
2386.62
4290888
Frb/
frb-45-21-1_c18.xml
? (TO)
2400.09
2385.11
4290883
Eternity/
Eternity-07-07_c18.xml
? (TO)
2400.09
2388.71
4290796
ColouredQueens/
ColouredQueens-11_c18.xml
? (TO)
2400.09
2388.91
4290753
MagicHexagon/
MagicHexagon-08-0006_c18.xml
? (TO)
2400.09
2394.01
4290791
SportsScheduling/
SportsScheduling-24_c18.xml
? (TO)
2400.09
2384.02
4290867
Quasigroups/
QuasiGroup-4-14_c18.xml
? (TO)
2400.09
2394.51
4290824
SocialGolfers/
SocialGolfers-5-5-8-cp_c18.xml
? (TO)
2400.09
2352.51
4290842
CarSequencing/
CarSequencing-06-76_c18.xml
? (TO)
2400.09
2380.52
4290731
CarSequencing/
CarSequencing-80-02_c18.xml
? (TO)
2400.09
2383.32
4290741
Quasigroups/
QuasiGroup-7-10_c18.xml
? (TO)
2400.09
2391.51
4290830
Crossword/
Crossword-m18-ogd2008-vg-08-09_c18.xml
? (TO)
2400.09
2395.22
4290900
Frb/
frb-50-23-2-mgd_c18.xml
? (TO)
2400.1
2386.02
4290885
StripPacking/
StripPacking-C2P1_c18.xml
? (TO)
2400.1
2361.31
4290852
StripPacking/
StripPacking-1b_c18.xml
? (TO)
2400.1
2361.81
4290848
GracefulGraph/
GracefulGraph-K05-P03_c18.xml
? (TO)
2400.1
2389.91
4290814
StripPacking/
StripPacking-C1P2_c18.xml
? (TO)
2400.1
2364.31
4290850
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f05_c18.xml
? (TO)
2400.1
2371.21
4291840
Crossword/
Crossword-m18-ogd2008-vg-13-14_c18.xml
? (TO)
2400.1
2394.14
4290905
PseudoBoolean-dec/
Pb-chnl30-31_c18.xml
? (TO)
2400.1
2393.91
4290922
PseudoBoolean-dec/
Pb-robin16_c18.xml
? (TO)
2400.1
2392.81
4290930
MisteryShopper/
MisteryShopper-10b_c18.xml
? (TO)
2400.1
2373.21
4290938
Bibd/
Bibd-sum-10-03-08_c18.xml
? (TO)
2400.1
2365.12
4290726
Quasigroups/
QuasiGroup-7-20_c18.xml
? (TO)
2400.1
2390.91
4290834
Bibd/
Bibd-sc-34-085-30-12-10_c18.xml
? (TO)
2400.1
2354.12
4290723
CarSequencing/
CarSequencing-60-01_c18.xml
? (TO)
2400.11
2383.31
4290732
StripPacking/
StripPacking-N1c_c18.xml
? (TO)
2400.11
2355.51
4290855
PseudoBoolean-dec/
Pb-chnl15-16_c18.xml
? (TO)
2400.11
2391.92
4290920
Quasigroups/
QuasiGroup-4-16_c18.xml
? (TO)
2400.11
2394.71
4290825
CarSequencing/
CarSequencing-85-01_c18.xml
? (TO)
2400.11
2386.71
4290742
Bibd/
Bibd-sc-22-033-12-08-04_c18.xml
? (TO)
2400.11
2361.81
4290722
GracefulGraph/
GracefulGraph-K07-P02_c18.xml
? (TO)
2400.11
2390.92
4290817
StripPacking/
StripPacking-N1b_c18.xml
? (TO)
2400.11
2354.81
4290854
GracefulGraph/
GracefulGraph-K06-P03_c18.xml
? (TO)
2400.11
2390.91
4290816
Dubois/
Dubois-075_c18.xml
? (TO)
2400.11
2371.31
4290780
MisteryShopper/
MisteryShopper-12_c18.xml
? (TO)
2400.12
2380.82
4290941
Crossword/
Crossword-m18-ogd2008-vg-11-12_c18.xml
? (TO)
2400.12
2394.03
4290903
SocialGolfers/
SocialGolfers-6-6-6-cp_c18.xml
? (TO)
2400.12
2354.61
4290843
Haystacks/
Haystacks-ext-10_c18.xml
? (TO)
2400.12
2379.02
4290915
SocialGolfers/
SocialGolfers-6-6-9-cp_c18.xml
? (TO)
2400.12
2352.82
4290846
Eternity/
Eternity-12-12_c18.xml
? (TO)
2400.12
2390.51
4290804
SocialGolfers/
SocialGolfers-6-6-8-cp_c18.xml
? (TO)
2400.12
2350.03
4290845
Frb/
frb-56-25-2-mgd_c18.xml
? (TO)
2400.12
2385.02
4290891
Subisomorphism/
Subisomorphism-g11-g30_c18.xml
? (TO)
2400.12
2393.02
4290872
Crossword/
Crossword-m18-ogd2008-vg-12-13_c18.xml
? (TO)
2400.13
2394.13
4290904
MagicHexagon/
MagicHexagon-08-m009_c18.xml
? (TO)
2400.13
2386.02
4290792
Crossword/
Crossword-m18-ogd2008-vg-14-15_c18.xml
? (TO)
2400.13
2394.83
4290906