2018 XCSP3 competition: sequential solvers tracks: benchmarks results per solver
Result page for solver BTD_12
2018-06-11_12
(complete)
Category "decision problem" (CSP)
Solver proved unsatisfiability (UNSATISFIABLE) (49 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
Haystacks/
Haystacks-ext-04_c18.xml
UNSAT
0.006619
0.00691889
4294740
Dubois/
Dubois-018_c18.xml
UNSAT
0.008259
0.00854894
4294650
Haystacks/
Haystacks-ext-05_c18.xml
UNSAT
0.008546
0.00873799
4294695
Dubois/
Dubois-020_c18.xml
UNSAT
0.008641
0.00879409
4294614
Dubois/
Dubois-023_c18.xml
UNSAT
0.008924
0.00913201
4294596
Dubois/
Dubois-021_c18.xml
UNSAT
0.009021
0.0091361
4294605
Dubois/
Dubois-022_c18.xml
UNSAT
0.009158
0.00946403
4294641
Dubois/
Dubois-025_c18.xml
UNSAT
0.009275
0.00976188
4294668
Dubois/
Dubois-030_c18.xml
UNSAT
0.009765
0.00997992
4294632
Dubois/
Dubois-024_c18.xml
UNSAT
0.011113
0.0113421
4294659
Dubois/
Dubois-040_c18.xml
UNSAT
0.012652
0.0128201
4294623
Dubois/
Dubois-050_c18.xml
UNSAT
0.013819
0.0140419
4294578
Haystacks/
Haystacks-ext-06_c18.xml
UNSAT
0.014585
0.0147499
4294731
Dubois/
Dubois-075_c18.xml
UNSAT
0.020748
0.0210001
4294587
Quasigroups/
QuasiGroup-7-07_c18.xml
UNSAT
0.021061
0.0213269
4295860
Quasigroups/
QuasiGroup-7-08_c18.xml
UNSAT
0.025879
0.026139
4295932
Dubois/
Dubois-100_c18.xml
UNSAT
0.027086
0.027333
4294677
Haystacks/
Haystacks-ext-07_c18.xml
UNSAT
0.041663
0.042004
4294749
Quasigroups/
QuasiGroup-7-10_c18.xml
UNSAT
0.050424
0.0505971
4295914
Quasigroups/
QuasiGroup-7-12_c18.xml
UNSAT
0.088455
0.0885121
4295824
Quasigroups/
QuasiGroup-7-14_c18.xml
UNSAT
0.151768
0.156153
4295905
Langford/
LangfordBin-06_c18.xml
UNSAT
0.217174
0.217466
4294241
Haystacks/
Haystacks-ext-08_c18.xml
UNSAT
0.244515
0.244883
4294722
Quasigroups/
QuasiGroup-7-16_c18.xml
UNSAT
0.337383
0.337744
4295869
ColouredQueens/
ColouredQueens-06_c18.xml
UNSAT
0.864199
0.864463
4292782
Quasigroups/
QuasiGroup-7-20_c18.xml
UNSAT
0.873289
0.873436
4295842
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f11_c18.xml
UNSAT
1.16611
1.17053
4293440
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f12_c18.xml
UNSAT
1.16867
1.16881
4293530
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f10_c18.xml
UNSAT
1.22934
1.22962
4293485
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f09_c18.xml
UNSAT
1.24071
1.24095
4293467
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f08_c18.xml
UNSAT
1.28318
1.2875
4293539
Haystacks/
Haystacks-ext-09_c18.xml
UNSAT
2.05959
2.06028
4294704
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f07_c18.xml
UNSAT
2.12184
2.12205
4293476
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f06_c18.xml
UNSAT
2.86406
2.86849
4293512
Subisomorphism/
Subisomorphism-g34-g36_c18.xml
UNSAT
4.40822
4.40867
4295231
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f05_c18.xml
UNSAT
11.5564
11.5648
4293521
Quasigroups/
QuasiGroup-4-07_c18.xml
UNSAT
16.8542
16.8609
4295896
Haystacks/
Haystacks-ext-10_c18.xml
UNSAT
19.4063
19.4075
4294767
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f04_c18.xml
UNSAT
46.5603
46.5831
4293503
Subisomorphism/
Subisomorphism-g10-g23_c18.xml
UNSAT
87.0143
87.0199
4295258
Subisomorphism/
Subisomorphism-g17-g42_c18.xml
UNSAT
126.499
126.503
4295285
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f03_c18.xml
UNSAT
160.087
160.111
4293458
Haystacks/
Haystacks-ext-11_c18.xml
UNSAT
213.531
213.532
4294686
MagicHexagon/
MagicHexagon-04-0017_c18.xml
UNSAT
215.222
215.234
4295545
Subisomorphism/
Subisomorphism-g11-g30_c18.xml
UNSAT
403.927
403.954
4295222
Quasigroups/
QuasiGroup-4-08_c18.xml
UNSAT
498.695
498.657
4295887
Crossword/
Crossword-m18-ogd2008-vg-16-17_c18.xml
UNSAT
630.506
630.521
4294832
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f02_c18.xml
UNSAT
655.588
655.596
4293449
Subisomorphism/
Subisomorphism-g11-g44_c18.xml
UNSAT
1269.9
1269.99
4295276
Solver found a solution (SATISFIABLE) for a SAT/UNSAT instance (31 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
ColouredQueens/
ColouredQueens-05_c18.xml
SAT
0.006554
0.00669793
4292854
ColouredQueens/
ColouredQueens-07_c18.xml
SAT
0.00762
0.00790107
4292791
Eternity/
Eternity-04-04_c18.xml
SAT
0.009249
0.00944502
4296075
GracefulGraph/
GracefulGraph-K03-P03_c18.xml
SAT
0.010747
0.010908
4293377
GracefulGraph/
GracefulGraph-K02-P09_c18.xml
SAT
0.022022
0.022192
4293404
Crossword/
Crossword-m18-ogd2008-vg-04-05_c18.xml
SAT
0.045396
0.045578
4294850
GracefulGraph/
GracefulGraph-K04-P02_c18.xml
SAT
0.060202
0.0604231
4293341
Eternity/
Eternity-05-05_c18.xml
SAT
0.111979
0.112293
4296156
Crossword/
Crossword-m18-ogd2008-vg-05-06_c18.xml
SAT
0.119968
0.120129
4294868
Langford/
LangfordBin-07_c18.xml
SAT
0.156533
0.156737
4294214
PseudoBoolean-dec/
Pb-fpga25-25-sat_c18.xml
SAT
0.21946
0.223721
4293713
Crossword/
Crossword-m18-ogd2008-vg-06-07_c18.xml
SAT
0.267687
0.267905
4294877
PseudoBoolean-dec/
Pb-robin08_c18.xml
SAT
0.349499
0.349762
4293776
Eternity/
Eternity-06-06_c18.xml
SAT
0.641692
0.641964
4296066
Quasigroups/
QuasiGroup-4-09_c18.xml
SAT
0.737616
0.741921
4295833
Frb/
frb-30-15-1_c18.xml
SAT
1.02785
1.02823
4295680
Langford/
LangfordBin-08_c18.xml
SAT
2.49892
2.49908
4294205
Subisomorphism/
Subisomorphism-g08-g43_c18.xml
SAT
3.5432
3.84882
4295240
PseudoBoolean-dec/
Pb-fpga45-45-sat_c18.xml
SAT
3.59601
3.59728
4293704
Eternity/
Eternity-10-04_c18.xml
SAT
4.1031
4.10447
4296120
GracefulGraph/
GracefulGraph-K04-P03_c18.xml
SAT
5.22905
5.22916
4293350
Eternity/
Eternity-07-07_c18.xml
SAT
10.0672
10.0672
4296192
Frb/
frb-35-17-1_c18.xml
SAT
14.4262
14.4291
4295608
Eternity/
Eternity-10-05_c18.xml
SAT
37.6078
37.6079
4296084
MagicHexagon/
MagicHexagon-04-0003_c18.xml
SAT
38.0027
38.0094
4295563
Frb/
frb-40-19-1-mgd_c18.xml
SAT
59.673
59.6725
4295698
GracefulGraph/
GracefulGraph-K05-P02_c18.xml
SAT
83.8323
83.8321
4293413
PseudoBoolean-dec/
Pb-robin10_c18.xml
SAT
97.7069
97.7045
4293749
MagicHexagon/
MagicHexagon-04-m004_c18.xml
SAT
183.754
183.769
4295527
GracefulGraph/
GracefulGraph-K04-P04_c18.xml
SAT
402.536
402.528
4293359
Crossword/
Crossword-m18-ogd2008-vg-07-08_c18.xml
SAT
683.174
683.191
4294913
Solver didn't decide (UNKNOWN) (23 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
ColouredQueens/
ColouredQueens-10_c18.xml
?
2520.01
2519.95
4292818
ColouredQueens/
ColouredQueens-13_c18.xml
?
2520.01
2519.94
4292827
ColouredQueens/
ColouredQueens-14_c18.xml
?
2520.01
2519.96
4292836
Langford/
LangfordBin-16_c18.xml
?
2520.01
2519.97
4294232
GracefulGraph/
GracefulGraph-K05-P03_c18.xml
?
2520.01
2519.95
4293368
ColouredQueens/
ColouredQueens-08_c18.xml
?
2520.01
2519.96
4292872
ColouredQueens/
ColouredQueens-11_c18.xml
?
2520.01
2519.94
4292845
ColouredQueens/
ColouredQueens-12_c18.xml
?
2520.01
2519.96
4292863
GracefulGraph/
GracefulGraph-K06-P02_c18.xml
?
2520.01
2519.97
4293386
Langford/
LangfordBin-11_c18.xml
?
2520.01
2519.97
4294178
Langford/
LangfordBin-15_c18.xml
?
2520.01
2519.96
4294196
Langford/
LangfordBin-10_c18.xml
?
2520.01
2519.94
4294223
PseudoBoolean-dec/
Pb-chnl15-16_c18.xml
?
2520.01
2519.97
4293767
GracefulGraph/
GracefulGraph-K07-P02_c18.xml
?
2520.02
2519.96
4293431
PseudoBoolean-dec/
Pb-chnl20-21_c18.xml
?
2520.02
2519.98
4293812
GracefulGraph/
GracefulGraph-K07-P03_c18.xml
?
2520.02
2519.98
4293422
Haystacks/
Haystacks-ext-13_c18.xml
?
2520.02
2519.96
4294713
Eternity/
Eternity-08-08_c18.xml
?
2520.03
2519.97
4296174
Eternity/
Eternity-10-06_c18.xml
?
2520.03
2519.99
4296093
Frb/
frb-45-21-1_c18.xml
?
2520.04
2519.97
4295653
Eternity/
Eternity-09-09_c18.xml
?
2520.05
2520
4296138
Frb/
frb-50-23-1-mgd_c18.xml
?
2520.05
2519.99
4295671
Eternity/
Eternity-10-10_c18.xml
?
2520.06
2519.88
4296147
Solver does not handle one of the constraint (73 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
CarSequencing/
CarSequencing-dingbas_c18.xml
? (NS)
0.006885
0.0127121
4295021
SportsScheduling/
SportsScheduling-08_c18.xml
? (NS)
0.007373
0.00749412
4295779
MisteryShopper/
MisteryShopper-04_c18.xml
? (NS)
0.008145
0.00831105
4294551
Bibd/
Bibd-sum-07-03-01_c18.xml
? (NS)
0.008154
0.00837103
4294061
SportsScheduling/
SportsScheduling-10_c18.xml
? (NS)
0.008609
0.00874102
4295752
CarSequencing/
CarSequencing-06-76_c18.xml
? (NS)
0.009163
0.00937489
4294985
CarSequencing/
CarSequencing-04-72_c18.xml
? (NS)
0.00928
0.009595
4295030
MisteryShopper/
MisteryShopper-10a_c18.xml
? (NS)
0.010446
0.01084
4294497
CarSequencing/
CarSequencing-60-02_c18.xml
? (NS)
0.010573
0.010988
4295066
MisteryShopper/
MisteryShopper-06a_c18.xml
? (NS)
0.010633
0.010833
4294560
SportsScheduling/
SportsScheduling-12_c18.xml
? (NS)
0.010679
0.0107171
4295797
CarSequencing/
CarSequencing-60-01_c18.xml
? (NS)
0.010792
0.011026
4294949
CarSequencing/
CarSequencing-75-01_c18.xml
? (NS)
0.010872
0.0112521
4294976
StripPacking/
StripPacking-1b_c18.xml
? (NS)
0.010878
0.0110871
4293136
CarSequencing/
CarSequencing-80-02_c18.xml
? (NS)
0.010947
0.011197
4294967
CarSequencing/
CarSequencing-70-01_c18.xml
? (NS)
0.010962
0.011178
4295003
CarSequencing/
CarSequencing-85-01_c18.xml
? (NS)
0.011011
0.011229
4295012
CarSequencing/
CarSequencing-90-01_c18.xml
? (NS)
0.011019
0.0112801
4295039
CarSequencing/
CarSequencing-65-02_c18.xml
? (NS)
0.011341
0.0116831
4295084
CarSequencing/
CarSequencing-75-02_c18.xml
? (NS)
0.011606
0.0119151
4295093
CarSequencing/
CarSequencing-80-01_c18.xml
? (NS)
0.011624
0.0120591
4295048
CarSequencing/
CarSequencing-85-02_c18.xml
? (NS)
0.011722
0.012124
4294958
CarSequencing/
CarSequencing-65-01_c18.xml
? (NS)
0.011902
0.012041
4294994
StripPacking/
StripPacking-1a_c18.xml
? (NS)
0.011905
0.0121549
4293181
CarSequencing/
CarSequencing-90-02_c18.xml
? (NS)
0.012003
0.0124859
4295057
CarSequencing/
CarSequencing-70-02_c18.xml
? (NS)
0.012012
0.012277
4295075
StripPacking/
StripPacking-C1P1_c18.xml
? (NS)
0.013788
0.0140449
4293163
StripPacking/
StripPacking-C1P3_c18.xml
? (NS)
0.014066
0.0142899
4293118
SportsScheduling/
SportsScheduling-14_c18.xml
? (NS)
0.014261
0.0144881
4295725
StripPacking/
StripPacking-C1P2_c18.xml
? (NS)
0.014403
0.0146589
4293109
MisteryShopper/
MisteryShopper-06b_c18.xml
? (NS)
0.014867
0.0150501
4294506
StripPacking/
StripPacking-N1a_c18.xml
? (NS)
0.015709
0.0158949
4293172
StripPacking/
StripPacking-T1c_c18.xml
? (NS)
0.015844
0.0161179
4293127
StripPacking/
StripPacking-T1d_c18.xml
? (NS)
0.015865
0.016085
4293190
MisteryShopper/
MisteryShopper-10b_c18.xml
? (NS)
0.016575
0.016933
4294533
StripPacking/
StripPacking-N1c_c18.xml
? (NS)
0.016586
0.016773
4293208
StripPacking/
StripPacking-N1b_c18.xml
? (NS)
0.016611
0.016761
4293199
StripPacking/
StripPacking-T1a_c18.xml
? (NS)
0.016746
0.0169351
4293145
StripPacking/
StripPacking-C2P1_c18.xml
? (NS)
0.018472
0.0187249
4293154
SportsScheduling/
SportsScheduling-16_c18.xml
? (NS)
0.019283
0.0195189
4295761
MisteryShopper/
MisteryShopper-06c_c18.xml
? (NS)
0.022019
0.022486
4294515
Bibd/
Bibd-sc-07-03-01_c18.xml
? (NS)
0.027755
0.0279319
4294106
SportsScheduling/
SportsScheduling-18_c18.xml
? (NS)
0.029186
0.02937
4295743
MisteryShopper/
MisteryShopper-10c_c18.xml
? (NS)
0.029523
0.0299039
4294569
MisteryShopper/
MisteryShopper-06d_c18.xml
? (NS)
0.033784
0.034351
4294524
MisteryShopper/
MisteryShopper-12_c18.xml
? (NS)
0.037352
0.037596
4294542
SportsScheduling/
SportsScheduling-20_c18.xml
? (NS)
0.040132
0.0403469
4295788
MisteryShopper/
MisteryShopper-10d_c18.xml
? (NS)
0.048604
0.048947
4294488
SportsScheduling/
SportsScheduling-22_c18.xml
? (NS)
0.055789
0.0560829
4295716
Bibd/
Bibd-sum-12-06-05_c18.xml
? (NS)
0.06695
0.0672271
4294160
SportsScheduling/
SportsScheduling-24_c18.xml
? (NS)
0.083552
0.083848
4295734
SportsScheduling/
SportsScheduling-26_c18.xml
? (NS)
0.113874
0.114162
4295770
SocialGolfers/
SocialGolfers-4-4-4-cp_c18.xml
? (NS)
0.151206
0.151638
4294389
SocialGolfers/
SocialGolfers-4-4-5-cp_c18.xml
? (NS)
0.250805
0.251154
4294461
Bibd/
Bibd-sc-12-06-05_c18.xml
? (NS)
0.303021
0.303151
4294151
SocialGolfers/
SocialGolfers-4-4-6-cp_c18.xml
? (NS)
0.379651
0.381131
4294398
Bibd/
Bibd-sum-09-03-09_c18.xml
? (NS)
0.427282
0.427445
4294070
SocialGolfers/
SocialGolfers-4-4-7-cp_c18.xml
? (NS)
0.548035
0.548745
4294470
SocialGolfers/
SocialGolfers-5-5-5-cp_c18.xml
? (NS)
0.655475
0.65567
4294380
Bibd/
Bibd-sum-10-03-08_c18.xml
? (NS)
0.755805
0.757125
4294097
SocialGolfers/
SocialGolfers-5-5-6-cp_c18.xml
? (NS)
1.02859
1.02931
4294434
Bibd/
Bibd-sc-09-03-09_c18.xml
? (NS)
1.25863
1.25887
4294079
Bibd/
Bibd-sum-22-033-12-08-04_c18.xml
? (NS)
1.26186
1.26199
4294124
SocialGolfers/
SocialGolfers-5-5-7-cp_c18.xml
? (NS)
1.53007
1.53097
4294443
Bibd/
Bibd-sc-10-03-08_c18.xml
? (NS)
2.04877
2.04906
4294142
SocialGolfers/
SocialGolfers-5-5-8-cp_c18.xml
? (NS)
2.15163
2.15237
4294452
SocialGolfers/
SocialGolfers-6-6-6-cp_c18.xml
? (NS)
2.52574
2.5458
4294425
Bibd/
Bibd-sc-22-033-12-08-04_c18.xml
? (NS)
3.20167
3.81352
4294133
SocialGolfers/
SocialGolfers-6-6-7-cp_c18.xml
? (NS)
4.04056
4.04146
4294479
SocialGolfers/
SocialGolfers-6-6-8-cp_c18.xml
? (NS)
5.77877
5.78
4294407
SocialGolfers/
SocialGolfers-6-6-9-cp_c18.xml
? (NS)
8.2652
8.47913
4294416
Bibd/
Bibd-sum-34-085-30-12-10_c18.xml
? (NS)
98.3227
98.3484
4294115
Bibd/
Bibd-sc-34-085-30-12-10_c18.xml
? (NS)
166.953
166.977
4294088
Solver timed out (no solution given) (59 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
MagicHexagon/
MagicHexagon-06-m001_c18.xml
? (TO)
2519.73
2520.01
4295509
Langford/
LangfordBin-12_c18.xml
? (TO)
2519.78
2520.01
4294169
ColouredQueens/
ColouredQueens-16_c18.xml
? (TO)
2519.79
2520
4292809
Crossword/
Crossword-m18-ogd2008-vg-13-14_c18.xml
? (TO)
2519.79
2520
4294886
Crossword/
Crossword-m18-ogd2008-vg-09-10_c18.xml
? (TO)
2519.79
2520.01
4294904
Crossword/
Crossword-m18-ogd2008-vg-10-11_c18.xml
? (TO)
2519.81
2520.01
4294841
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f01_c18.xml
? (TO)
2519.81
2520
4293494
Langford/
LangfordBin-09_c18.xml
? (TO)
2519.84
2520.01
4294259
Frb/
frb-59-26-1-mgd_c18.xml
? (TO)
2519.87
2520.01
4295572
Eternity/
Eternity-12-12_c18.xml
? (TO)
2519.91
2520.01
4296183
Langford/
LangfordBin-14_c18.xml
? (TO)
2519.91
2520
4294187
PseudoBoolean-dec/
Pb-chnl50-51_c18.xml
? (TO)
2519.92
2520.01
4293731
PseudoBoolean-dec/
Pb-robin18_c18.xml
? (TO)
2519.93
2520.01
4293803
ColouredQueens/
ColouredQueens-09_c18.xml
? (TO)
2519.93
2520.01
4292800
Quasigroups/
QuasiGroup-4-20_c18.xml
? (TO)
2519.94
2520.01
4295941
Frb/
frb-50-23-3-mgd_c18.xml
? (TO)
2519.94
2520.01
4295626
Eternity/
Eternity-13-13_c18.xml
? (TO)
2519.94
2520.01
4296129
Frb/
frb-53-24-2-mgd_c18.xml
? (TO)
2519.94
2520.01
4295689
Haystacks/
Haystacks-ext-12_c18.xml
? (TO)
2519.95
2520.01
4294758
Quasigroups/
QuasiGroup-4-10_c18.xml
? (TO)
2519.96
2520.01
4295806
ColouredQueens/
ColouredQueens-15_c18.xml
? (TO)
2519.96
2520.01
4292773
Subisomorphism/
Subisomorphism-g29-g50_c18.xml
? (TO)
2519.96
2520.01
4295294
PseudoBoolean-dec/
Pb-robin12_c18.xml
? (TO)
2519.96
2520.01
4293758
Frb/
frb-59-26-3-mgd_c18.xml
? (TO)
2519.97
2520.01
4295581
Crossword/
Crossword-m18-ogd2008-vg-12-13_c18.xml
? (TO)
2519.97
2520.01
4294931
Crossword/
Crossword-m18-ogd2008-vg-11-12_c18.xml
? (TO)
2519.97
2520.01
4294922
Crossword/
Crossword-m18-ogd2008-vg-14-15_c18.xml
? (TO)
2519.98
2520.01
4294859
Frb/
frb-53-24-1-mgd_c18.xml
? (TO)
2519.98
2520
4295617
Subisomorphism/
Subisomorphism-g10-g27_c18.xml
? (TO)
2519.98
2520.01
4295303
Crossword/
Crossword-m18-ogd2008-vg-15-16_c18.xml
? (TO)
2519.98
2520.01
4294940
Crossword/
Crossword-m18-ogd2008-vg-08-09_c18.xml
? (TO)
2519.98
2520.01
4294895
Langford/
LangfordBin-13_c18.xml
? (TO)
2519.98
2520
4294250
MagicHexagon/
MagicHexagon-05-m003_c18.xml
? (TO)
2519.99
2520.01
4295491
MagicHexagon/
MagicHexagon-05-0006_c18.xml
? (TO)
2519.99
2520.01
4295536
Frb/
frb-53-24-3-mgd_c18.xml
? (TO)
2519.99
2520.01
4295590
PseudoBoolean-dec/
Pb-chnl10-11_c18.xml
? (TO)
2519.99
2520.01
4293785
MagicHexagon/
MagicHexagon-08-m009_c18.xml
? (TO)
2519.99
2520.01
4295473
Subisomorphism/
Subisomorphism-g19-g43_c18.xml
? (TO)
2519.99
2520.01
4295249
Frb/
frb-56-25-2-mgd_c18.xml
? (TO)
2520
2520.01
4295599
MagicHexagon/
MagicHexagon-07-m011_c18.xml
? (TO)
2520
2520.01
4295554
GracefulGraph/
GracefulGraph-K06-P03_c18.xml
? (TO)
2520
2520.01
4293395
Subisomorphism/
Subisomorphism-g19-g45_c18.xml
? (TO)
2520
2520.01
4295267
Subisomorphism/
Subisomorphism-g17-g37_c18.xml
? (TO)
2520.01
2520.01
4295312
MagicHexagon/
MagicHexagon-07-0002_c18.xml
? (TO)
2520.01
2520.01
4295482
MagicHexagon/
MagicHexagon-08-0006_c18.xml
? (TO)
2520.01
2520.01
4295518
MagicHexagon/
MagicHexagon-06-0010_c18.xml
? (TO)
2520.01
2520.01
4295500
Frb/
frb-56-25-1-mgd_c18.xml
? (TO)
2520.04
2520.01
4295644
Quasigroups/
QuasiGroup-4-12_c18.xml
? (TO)
2520.04
2520
4295815
PseudoBoolean-dec/
Pb-chnl30-31_c18.xml
? (TO)
2520.05
2520.01
4293794
PseudoBoolean-dec/
Pb-robin16_c18.xml
? (TO)
2520.05
2520.01
4293740
Frb/
frb-50-23-2-mgd_c18.xml
? (TO)
2520.05
2520.01
4295662
Frb/
frb-56-25-3-mgd_c18.xml
? (TO)
2520.06
2520.01
4295707
Eternity/
Eternity-15-15_c18.xml
? (TO)
2520.06
2519.9
4296102
Eternity/
Eternity-14-14_c18.xml
? (TO)
2520.06
2520.01
4296165
Quasigroups/
QuasiGroup-4-14_c18.xml
? (TO)
2520.06
2519.9
4295878
PseudoBoolean-dec/
Pb-robin14_c18.xml
? (TO)
2520.06
2520.01
4293722
Quasigroups/
QuasiGroup-4-16_c18.xml
? (TO)
2520.07
2520.01
4295923
Eternity/
Eternity-11-11_c18.xml
? (TO)
2520.07
2519.9
4296111
Frb/
frb-59-26-2-mgd_c18.xml
? (TO)
2520.08
2520.01
4295635
Solver wrongly proved unsatitisfiability (1 run)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
Quasigroups/
QuasiGroup-7-09_c18.xml
Wrong UNSAT
0.033855
0.0340521
4295851