2018 XCSP3 competition: sequential solvers tracks: benchmarks results per solver
Result page for solver scop
order+MapleCOMSPS (2018-07-31)
(complete)
Category "decision problem" (CSP)
Solver proved unsatisfiability (UNSATISFIABLE) (54 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
Haystacks/
Haystacks-ext-04_c18.xml
UNSAT
3.43719
2.1671
4305492
Langford/
LangfordBin-06_c18.xml
UNSAT
3.66652
2.2098
4305342
Haystacks/
Haystacks-ext-05_c18.xml
UNSAT
3.93022
2.34566
4305493
Dubois/
Dubois-018_c18.xml
UNSAT
4.27937
2.42901
4305353
Dubois/
Dubois-021_c18.xml
UNSAT
4.36732
2.5495
4305355
Dubois/
Dubois-020_c18.xml
UNSAT
4.38056
2.44952
4305354
Haystacks/
Haystacks-ext-06_c18.xml
UNSAT
4.54211
2.48743
4305494
ColouredQueens/
ColouredQueens-06_c18.xml
UNSAT
4.58404
2.51909
4305331
Dubois/
Dubois-022_c18.xml
UNSAT
4.64893
2.49374
4305356
Dubois/
Dubois-023_c18.xml
UNSAT
4.68557
2.49241
4305357
Dubois/
Dubois-030_c18.xml
UNSAT
4.69969
2.56618
4305360
Dubois/
Dubois-024_c18.xml
UNSAT
4.7153
2.52854
4305358
Dubois/
Dubois-025_c18.xml
UNSAT
4.73188
2.49543
4305359
StripPacking/
StripPacking-1a_c18.xml
UNSAT
4.8865
2.60448
4305430
Haystacks/
Haystacks-ext-07_c18.xml
UNSAT
5.109
2.6556
4305495
Dubois/
Dubois-040_c18.xml
UNSAT
5.18151
2.68711
4305361
Dubois/
Dubois-050_c18.xml
UNSAT
5.48191
2.80287
4305362
Haystacks/
Haystacks-ext-08_c18.xml
UNSAT
5.88243
2.8722
4305496
Quasigroups/
QuasiGroup-7-07_c18.xml
UNSAT
6.00271
2.88112
4305410
Dubois/
Dubois-075_c18.xml
UNSAT
6.15572
3.0268
4305363
Dubois/
Dubois-100_c18.xml
UNSAT
6.68445
3.16656
4305364
Haystacks/
Haystacks-ext-09_c18.xml
UNSAT
6.75179
3.31023
4305497
Langford/
LangfordBin-09_c18.xml
UNSAT
7.03259
5.09957
4305345
Quasigroups/
QuasiGroup-7-08_c18.xml
UNSAT
7.52994
4.296
4305411
Quasigroups/
QuasiGroup-4-07_c18.xml
UNSAT
7.74328
3.71937
4305402
Haystacks/
Haystacks-ext-10_c18.xml
UNSAT
8.35775
4.12704
4305498
SocialGolfers/
SocialGolfers-4-4-6-cp_c18.xml
UNSAT
10.2757
4.0659
4305420
MagicHexagon/
MagicHexagon-04-0017_c18.xml
UNSAT
10.467
6.75391
4305366
Haystacks/
Haystacks-ext-11_c18.xml
UNSAT
11.1946
6.19527
4305499
SocialGolfers/
SocialGolfers-4-4-7-cp_c18.xml
UNSAT
11.3438
4.54289
4305421
Haystacks/
Haystacks-ext-12_c18.xml
UNSAT
16.4
10.3792
4305500
PseudoBoolean-dec/
Pb-chnl10-11_c18.xml
UNSAT
17.0683
15.393
4305502
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f11_c18.xml
UNSAT
17.0893
7.22055
4305530
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f10_c18.xml
UNSAT
17.4059
7.59027
4305529
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f12_c18.xml
UNSAT
17.4787
7.23849
4305526
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f08_c18.xml
UNSAT
17.9795
7.79664
4305535
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f07_c18.xml
UNSAT
18.1197
7.8076
4305525
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f05_c18.xml
UNSAT
18.3143
8.43886
4305534
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f06_c18.xml
UNSAT
18.3491
7.9563
4305527
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f09_c18.xml
UNSAT
18.4494
7.84489
4305532
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f04_c18.xml
UNSAT
18.8006
8.3617
4305531
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f03_c18.xml
UNSAT
19.7411
8.88061
4305528
SocialGolfers/
SocialGolfers-5-5-8-cp_c18.xml
UNSAT
19.9854
7.97795
4305425
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f01_c18.xml
UNSAT
20.1116
10.7171
4305533
Rlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f02_c18.xml
UNSAT
21.0603
10.6597
4305536
SocialGolfers/
SocialGolfers-5-5-7-cp_c18.xml
UNSAT
24.1799
13.7353
4305424
Langford/
LangfordBin-10_c18.xml
UNSAT
27.2352
25.265
4305346
Haystacks/
Haystacks-ext-13_c18.xml
UNSAT
33.3385
26.5449
4305501
Subisomorphism/
Subisomorphism-g34-g36_c18.xml
UNSAT
56.3535
40.3756
4305462
Quasigroups/
QuasiGroup-4-08_c18.xml
UNSAT
95.8737
90.3495
4305403
CarSequencing/
CarSequencing-06-76_c18.xml
UNSAT
110.197
96.6166
4305314
PseudoBoolean-dec/
Pb-chnl15-16_c18.xml
UNSAT
358.384
355.602
4305503
Quasigroups/
QuasiGroup-7-10_c18.xml
UNSAT
1434.05
1428.15
4305413
Subisomorphism/
Subisomorphism-g17-g42_c18.xml
UNSAT
2130.4
2116.74
4305458
Solver found a solution (SATISFIABLE) for a SAT/UNSAT instance (92 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
Langford/
LangfordBin-07_c18.xml
SAT
3.93386
2.31525
4305343
ColouredQueens/
ColouredQueens-05_c18.xml
SAT
4.06877
2.36318
4305330
Langford/
LangfordBin-08_c18.xml
SAT
4.09784
2.38419
4305344
GracefulGraph/
GracefulGraph-K04-P02_c18.xml
SAT
4.48148
2.45749
4305393
GracefulGraph/
GracefulGraph-K03-P03_c18.xml
SAT
4.50394
2.43722
4305392
StripPacking/
StripPacking-1b_c18.xml
SAT
4.5321
2.58041
4305431
Langford/
LangfordBin-11_c18.xml
SAT
4.59196
2.51169
4305347
Langford/
LangfordBin-12_c18.xml
SAT
4.83631
2.59354
4305348
ColouredQueens/
ColouredQueens-07_c18.xml
SAT
5.16432
2.63369
4305332
Bibd/
Bibd-sum-07-03-01_c18.xml
SAT
5.28238
2.68067
4305307
CarSequencing/
CarSequencing-dingbas_c18.xml
SAT
5.34382
2.75269
4305329
Langford/
LangfordBin-15_c18.xml
SAT
5.42155
2.71633
4305351
Langford/
LangfordBin-16_c18.xml
SAT
5.44178
2.87244
4305352
StripPacking/
StripPacking-C1P3_c18.xml
SAT
5.57915
2.83733
4305434
Bibd/
Bibd-sc-07-03-01_c18.xml
SAT
6.19216
2.97676
4305301
GracefulGraph/
GracefulGraph-K02-P09_c18.xml
SAT
6.58999
3.84259
4305391
StripPacking/
StripPacking-T1c_c18.xml
SAT
7.72416
4.37714
4305440
SocialGolfers/
SocialGolfers-4-4-4-cp_c18.xml
SAT
7.83991
3.41168
4305418
Quasigroups/
QuasiGroup-7-09_c18.xml
SAT
7.90248
3.70587
4305412
MisteryShopper/
MisteryShopper-04_c18.xml
SAT
8.44907
3.62534
4305515
StripPacking/
StripPacking-C1P1_c18.xml
SAT
8.60488
5.89116
4305432
SocialGolfers/
SocialGolfers-4-4-5-cp_c18.xml
SAT
9.19083
3.78338
4305419
StripPacking/
StripPacking-C1P2_c18.xml
SAT
10.1823
7.23715
4305433
Eternity/
Eternity-04-04_c18.xml
SAT
10.3001
4.28274
4305376
StripPacking/
StripPacking-C2P1_c18.xml
SAT
10.3111
6.54095
4305435
SportsScheduling/
SportsScheduling-08_c18.xml
SAT
10.4201
4.34028
4305442
PseudoBoolean-dec/
Pb-fpga25-25-sat_c18.xml
SAT
10.4448
4.48807
4305507
Quasigroups/
QuasiGroup-4-09_c18.xml
SAT
10.4977
4.32835
4305404
GracefulGraph/
GracefulGraph-K04-P03_c18.xml
SAT
11.1278
8.29946
4305394
Frb/
frb-30-15-1_c18.xml
SAT
11.6268
4.61547
4305463
PseudoBoolean-dec/
Pb-robin08_c18.xml
SAT
11.7404
5.64276
4305509
SocialGolfers/
SocialGolfers-5-5-5-cp_c18.xml
SAT
13.7127
5.44425
4305422
Bibd/
Bibd-sum-12-06-05_c18.xml
SAT
14.0781
5.89617
4305310
Eternity/
Eternity-05-05_c18.xml
SAT
15.395
5.90805
4305377
SocialGolfers/
SocialGolfers-5-5-6-cp_c18.xml
SAT
15.5919
6.25401
4305423
MisteryShopper/
MisteryShopper-10a_c18.xml
SAT
16.1982
6.54425
4305520
MisteryShopper/
MisteryShopper-06a_c18.xml
SAT
16.2928
6.26171
4305516
SportsScheduling/
SportsScheduling-10_c18.xml
SAT
16.5775
7.01037
4305443
Bibd/
Bibd-sc-12-06-05_c18.xml
SAT
16.8477
6.80338
4305304
PseudoBoolean-dec/
Pb-robin10_c18.xml
SAT
18.3903
8.3017
4305510
Frb/
frb-35-17-1_c18.xml
SAT
18.5511
10.2316
4305464
MisteryShopper/
MisteryShopper-06b_c18.xml
SAT
22.6211
9.04764
4305517
MisteryShopper/
MisteryShopper-10b_c18.xml
SAT
25.4453
11.3743
4305521
PseudoBoolean-dec/
Pb-fpga45-45-sat_c18.xml
SAT
26.6305
14.4364
4305508
Eternity/
Eternity-06-06_c18.xml
SAT
27.3
15.011
4305378
Eternity/
Eternity-10-04_c18.xml
SAT
27.873
15.5115
4305382
Frb/
frb-40-19-1-mgd_c18.xml
SAT
29.3501
18.794
4305465
PseudoBoolean-dec/
Pb-robin12_c18.xml
SAT
30.9345
18.548
4305511
MisteryShopper/
MisteryShopper-06c_c18.xml
SAT
33.7813
16.9565
4305518
Bibd/
Bibd-sum-09-03-09_c18.xml
SAT
37.3462
23.2546
4305308
MisteryShopper/
MisteryShopper-10c_c18.xml
SAT
38.5028
21.4638
4305522
Crossword/
Crossword-m18-ogd2008-vg-04-05_c18.xml
SAT
41.3982
26.2599
4305479
CarSequencing/
CarSequencing-60-02_c18.xml
SAT
42.374
23.454
4305316
GracefulGraph/
GracefulGraph-K05-P02_c18.xml
SAT
44.1337
41.2784
4305396
Bibd/
Bibd-sc-09-03-09_c18.xml
SAT
44.6012
25.6613
4305302
CarSequencing/
CarSequencing-60-01_c18.xml
SAT
45.4166
25.913
4305315
CarSequencing/
CarSequencing-65-01_c18.xml
SAT
46.4087
25.4539
4305317
CarSequencing/
CarSequencing-65-02_c18.xml
SAT
46.4284
27.3641
4305318
CarSequencing/
CarSequencing-70-01_c18.xml
SAT
48.3412
26.9431
4305319
CarSequencing/
CarSequencing-75-01_c18.xml
SAT
50.3789
30.9401
4305321
MisteryShopper/
MisteryShopper-06d_c18.xml
SAT
52.9944
35.2744
4305519
CarSequencing/
CarSequencing-70-02_c18.xml
SAT
54.0863
34.2853
4305320
Eternity/
Eternity-10-05_c18.xml
SAT
55.3272
42.42
4305383
Subisomorphism/
Subisomorphism-g08-g43_c18.xml
SAT
56.6779
40.3272
4305452
Bibd/
Bibd-sum-10-03-08_c18.xml
SAT
57.2607
40.625
4305309
Bibd/
Bibd-sc-10-03-08_c18.xml
SAT
64.1715
43.2392
4305303
MisteryShopper/
MisteryShopper-12_c18.xml
SAT
64.3121
46.8301
4305524
CarSequencing/
CarSequencing-04-72_c18.xml
SAT
66.2469
52.8346
4305313
CarSequencing/
CarSequencing-80-01_c18.xml
SAT
67.4617
47.2358
4305323
CarSequencing/
CarSequencing-75-02_c18.xml
SAT
79.9912
58.7832
4305322
Eternity/
Eternity-07-07_c18.xml
SAT
83.1574
70.1425
4305379
CarSequencing/
CarSequencing-85-01_c18.xml
SAT
84.3427
62.681
4305325
CarSequencing/
CarSequencing-80-02_c18.xml
SAT
90.4979
70.6906
4305324
StripPacking/
StripPacking-T1d_c18.xml
SAT
104.914
101.479
4305441
CarSequencing/
CarSequencing-85-02_c18.xml
SAT
105.226
84.1798
4305326
Crossword/
Crossword-m18-ogd2008-vg-05-06_c18.xml
SAT
117.101
81.637
4305480
SportsScheduling/
SportsScheduling-12_c18.xml
SAT
118.629
106.775
4305444
MisteryShopper/
MisteryShopper-10d_c18.xml
SAT
137.543
116.732
4305523
CarSequencing/
CarSequencing-90-02_c18.xml
SAT
212.261
189.661
4305328
PseudoBoolean-dec/
Pb-robin14_c18.xml
SAT
264.364
246.694
4305512
MagicHexagon/
MagicHexagon-04-0003_c18.xml
SAT
265.526
261.507
4305365
Crossword/
Crossword-m18-ogd2008-vg-06-07_c18.xml
SAT
282.063
226.659
4305481
CarSequencing/
CarSequencing-90-01_c18.xml
SAT
446.387
423.316
4305327
StripPacking/
StripPacking-N1b_c18.xml
SAT
453.668
449.783
4305437
GracefulGraph/
GracefulGraph-K04-P04_c18.xml
SAT
459.732
455.783
4305395
Frb/
frb-50-23-2-mgd_c18.xml
SAT
852.32
838.092
4305468
StripPacking/
StripPacking-N1c_c18.xml
SAT
875.362
871.592
4305438
MagicHexagon/
MagicHexagon-04-m004_c18.xml
SAT
967.309
962.741
4305367
Quasigroups/
QuasiGroup-4-12_c18.xml
SAT
1133.94
1123.54
4305406
Frb/
frb-45-21-1_c18.xml
SAT
1161.04
1149.49
4305466
StripPacking/
StripPacking-T1a_c18.xml
SAT
1785.64
1781.22
4305439
SportsScheduling/
SportsScheduling-14_c18.xml
SAT
1842.15
1825.69
4305445
Solver timed out (no solution given) (88 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
StripPacking/
StripPacking-N1a_c18.xml
? (TO)
2520.05
2515.62
4305436
Quasigroups/
QuasiGroup-4-10_c18.xml
? (TO)
2520.05
2511.02
4305405
Quasigroups/
QuasiGroup-7-12_c18.xml
? (TO)
2520.05
2512.21
4305414
Frb/
frb-59-26-1-mgd_c18.xml
? (TO)
2520.05
2505.02
4305476
Quasigroups/
QuasiGroup-4-14_c18.xml
? (TO)
2520.05
2506.82
4305407
GracefulGraph/
GracefulGraph-K05-P03_c18.xml
? (TO)
2520.06
2513.52
4305397
ColouredQueens/
ColouredQueens-08_c18.xml
? (TO)
2520.06
2516.31
4305333
Eternity/
Eternity-08-08_c18.xml
? (TO)
2520.06
2503.02
4305380
Frb/
frb-59-26-2-mgd_c18.xml
? (TO)
2520.06
2504.91
4305477
Frb/
frb-59-26-3-mgd_c18.xml
? (TO)
2520.06
2504.52
4305478
Frb/
frb-53-24-2-mgd_c18.xml
? (TO)
2520.06
2507.12
4305471
GracefulGraph/
GracefulGraph-K06-P02_c18.xml
? (TO)
2520.06
2515.31
4305398
Frb/
frb-53-24-1-mgd_c18.xml
? (TO)
2520.07
2507.02
4305470
Subisomorphism/
Subisomorphism-g11-g44_c18.xml
? (TO)
2520.07
2501.52
4305456
Subisomorphism/
Subisomorphism-g11-g30_c18.xml
? (TO)
2520.07
2503.52
4305455
Bibd/
Bibd-sc-22-033-12-08-04_c18.xml
? (TO)
2520.07
2498.13
4305305
Frb/
frb-50-23-1-mgd_c18.xml
? (TO)
2520.07
2506.31
4305467
Frb/
frb-56-25-1-mgd_c18.xml
? (TO)
2520.07
2505.71
4305473
ColouredQueens/
ColouredQueens-14_c18.xml
? (TO)
2520.08
2513.51
4305339
GracefulGraph/
GracefulGraph-K07-P03_c18.xml
? (TO)
2520.08
2512.72
4305401
Frb/
frb-50-23-3-mgd_c18.xml
? (TO)
2520.08
2505.81
4305469
ColouredQueens/
ColouredQueens-11_c18.xml
? (TO)
2520.08
2514.92
4305336
Quasigroups/
QuasiGroup-7-20_c18.xml
? (TO)
2520.09
2506.92
4305417
PseudoBoolean-dec/
Pb-chnl20-21_c18.xml
? (TO)
2520.09
2515.81
4305504
Frb/
frb-53-24-3-mgd_c18.xml
? (TO)
2520.09
2506.82
4305472
Subisomorphism/
Subisomorphism-g19-g45_c18.xml
? (TO)
2520.09
2496.72
4305460
Quasigroups/
QuasiGroup-7-14_c18.xml
? (TO)
2520.09
2510.71
4305415
MagicHexagon/
MagicHexagon-05-m003_c18.xml
? (TO)
2520.09
2512.73
4305369
SocialGolfers/
SocialGolfers-6-6-8-cp_c18.xml
? (TO)
2520.09
2502.81
4305428
Frb/
frb-56-25-3-mgd_c18.xml
? (TO)
2520.1
2505.52
4305475
Subisomorphism/
Subisomorphism-g10-g27_c18.xml
? (TO)
2520.1
2509.22
4305454
Crossword/
Crossword-m18-ogd2008-vg-08-09_c18.xml
? (TO)
2520.1
2199.96
4305483
GracefulGraph/
GracefulGraph-K06-P03_c18.xml
? (TO)
2520.1
2513.32
4305399
SocialGolfers/
SocialGolfers-6-6-9-cp_c18.xml
? (TO)
2520.1
2502.42
4305429
MagicHexagon/
MagicHexagon-06-0010_c18.xml
? (TO)
2520.1
2512.96
4305370
ColouredQueens/
ColouredQueens-13_c18.xml
? (TO)
2520.11
2513.91
4305338
Quasigroups/
QuasiGroup-7-16_c18.xml
? (TO)
2520.11
2509.51
4305416
Eternity/
Eternity-12-12_c18.xml
? (TO)
2520.12
2488.15
4305387
MagicHexagon/
MagicHexagon-05-0006_c18.xml
? (TO)
2520.12
2513.43
4305368
Langford/
LangfordBin-14_c18.xml
? (TO)
2520.12
2516.71
4305350
Eternity/
Eternity-10-06_c18.xml
? (TO)
2520.12
2505.82
4305384
ColouredQueens/
ColouredQueens-09_c18.xml
? (TO)
2520.12
2516.12
4305334
Frb/
frb-56-25-2-mgd_c18.xml
? (TO)
2520.12
2506.42
4305474
ColouredQueens/
ColouredQueens-15_c18.xml
? (TO)
2520.12
2512.92
4305340
ColouredQueens/
ColouredQueens-16_c18.xml
? (TO)
2520.12
2512.62
4305341
SportsScheduling/
SportsScheduling-16_c18.xml
? (TO)
2520.13
2502.03
4305446
SocialGolfers/
SocialGolfers-6-6-7-cp_c18.xml
? (TO)
2520.13
2504.72
4305427
Crossword/
Crossword-m18-ogd2008-vg-07-08_c18.xml
? (TO)
2520.13
2394.97
4305482
Quasigroups/
QuasiGroup-4-16_c18.xml
? (TO)
2520.13
2505.92
4305408
Bibd/
Bibd-sum-22-033-12-08-04_c18.xml
? (TO)
2520.13
2503.82
4305311
Eternity/
Eternity-10-10_c18.xml
? (TO)
2520.13
2498.13
4305385
Subisomorphism/
Subisomorphism-g17-g37_c18.xml
? (TO)
2520.13
2505.13
4305457
Subisomorphism/
Subisomorphism-g19-g43_c18.xml
? (TO)
2520.13
2496.42
4305459
Eternity/
Eternity-09-09_c18.xml
? (TO)
2520.13
2502.62
4305381
Eternity/
Eternity-15-15_c18.xml
? (TO)
2520.14
2471.89
4305390
Subisomorphism/
Subisomorphism-g10-g23_c18.xml
? (TO)
2520.14
2508.62
4305453
Bibd/
Bibd-sc-34-085-30-12-10_c18.xml
? (TO)
2520.14
2480.95
4305306
PseudoBoolean-dec/
Pb-chnl30-31_c18.xml
? (TO)
2520.14
2514.42
4305505
ColouredQueens/
ColouredQueens-10_c18.xml
? (TO)
2520.14
2516.02
4305335
Langford/
LangfordBin-13_c18.xml
? (TO)
2520.14
2517.02
4305349
SocialGolfers/
SocialGolfers-6-6-6-cp_c18.xml
? (TO)
2520.14
2505.62
4305426
Eternity/
Eternity-14-14_c18.xml
? (TO)
2520.14
2477.26
4305389
Quasigroups/
QuasiGroup-4-20_c18.xml
? (TO)
2520.14
2501.43
4305409
SportsScheduling/
SportsScheduling-18_c18.xml
? (TO)
2520.14
2495.85
4305447
GracefulGraph/
GracefulGraph-K07-P02_c18.xml
? (TO)
2520.15
2514.42
4305400
SportsScheduling/
SportsScheduling-22_c18.xml
? (TO)
2520.15
2490.3
4305449
PseudoBoolean-dec/
Pb-chnl50-51_c18.xml
? (TO)
2520.15
2512.03
4305506
ColouredQueens/
ColouredQueens-12_c18.xml
? (TO)
2520.16
2514.42
4305337
Subisomorphism/
Subisomorphism-g29-g50_c18.xml
? (TO)
2520.17
2334.67
4305461
Eternity/
Eternity-13-13_c18.xml
? (TO)
2520.17
2483.35
4305388
Eternity/
Eternity-11-11_c18.xml
? (TO)
2520.18
2492.33
4305386
SportsScheduling/
SportsScheduling-20_c18.xml
? (TO)
2520.18
2492.47
4305448
Bibd/
Bibd-sum-34-085-30-12-10_c18.xml
? (TO)
2520.18
2492.06
4305312
MagicHexagon/
MagicHexagon-06-m001_c18.xml
? (TO)
2520.19
2513.07
4305371
MagicHexagon/
MagicHexagon-07-0002_c18.xml
? (TO)
2520.2
2511.95
4305372
PseudoBoolean-dec/
Pb-robin18_c18.xml
? (TO)
2520.22
2500.78
4305514
SportsScheduling/
SportsScheduling-24_c18.xml
? (TO)
2520.22
2487.64
4305450
MagicHexagon/
MagicHexagon-07-m011_c18.xml
? (TO)
2520.23
2509.65
4305373
PseudoBoolean-dec/
Pb-robin16_c18.xml
? (TO)
2520.28
2502.39
4305513
SportsScheduling/
SportsScheduling-26_c18.xml
? (TO)
2520.35
2482.96
4305451
Crossword/
Crossword-m18-ogd2008-vg-12-13_c18.xml
? (TO)
2520.36
968.426
4305487
Crossword/
Crossword-m18-ogd2008-vg-16-17_c18.xml
? (TO)
2521.3
940.278
4305491
Crossword/
Crossword-m18-ogd2008-vg-09-10_c18.xml
? (TO)
2528.14
974.481
4305484
Crossword/
Crossword-m18-ogd2008-vg-11-12_c18.xml
? (TO)
2528.14
985.26
4305486
Crossword/
Crossword-m18-ogd2008-vg-15-16_c18.xml
? (TO)
2528.25
946.317
4305490
Crossword/
Crossword-m18-ogd2008-vg-14-15_c18.xml
? (TO)
2528.28
936.808
4305489
Crossword/
Crossword-m18-ogd2008-vg-13-14_c18.xml
? (TO)
2528.43
949.177
4305488
Crossword/
Crossword-m18-ogd2008-vg-10-11_c18.xml
? (TO)
2528.56
980.087
4305485
Solver exceeded the memory limit (no solution given) (2 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
MagicHexagon/
MagicHexagon-08-0006_c18.xml
? (MO)
710.105
700.571
4305374
MagicHexagon/
MagicHexagon-08-m009_c18.xml
? (MO)
731.663
722.837
4305375