2018 XCSP3 competition: fast COP track: benchmarks results per solver
Result page for solver OscaR - Conflict Ordering with restarts
2018-08-17
(complete)
Category "optimization problem" (COP)
Solver found optimum (OPTIMUM FOUND) (83 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
Auction/Auction-sum/
Auction-sum-example_c18.xml
OPT
54
1.45116
0.995913
4312418
Auction/Auction-cnt/
Auction-cnt-example_c18.xml
OPT
54
1.48941
1.51158
4312408
PseudoBoolean-opt/
Pb-garden-4x4_c18.xml
OPT
4
1.53189
1.02473
4312229
TemplateDesign/
TemplateDesign-m2-1_c18.xml
OPT
2
1.56511
1.04407
4312313
TemplateDesign/
TemplateDesign-m1-1_c18.xml
OPT
2
1.60592
1.07231
4312303
TemplateDesign/
TemplateDesign-m2-2_c18.xml
OPT
2
1.61784
1.07276
4312314
SumColoring/
SumColoring-myciel3_c18.xml
OPT
10
1.66929
1.08109
4312327
TemplateDesign/
TemplateDesign-m1-2_c18.xml
OPT
2
1.69053
1.10172
4312304
TemplateDesign/
TemplateDesign-m1s-1_c18.xml
OPT
2
1.80867
1.43615
4312308
GolombRuler/
GolombRuler-a3v18-07_c18.xml
OPT
25
1.81429
1.14693
4312184
SteelMillSlab/
SteelMillSlab-m1-simple_c18.xml
OPT
0
1.96632
1.21991
4312281
GraphColoring/
GraphColoring-queen5-5_c18.xml
OPT
4
1.99269
1.52955
4312130
TemplateDesign/
TemplateDesign-m1-catfood_c18.xml
OPT
2
2.01392
1.20225
4312305
Bacp/Bacp-m1/
Bacp-m1-05_c18.xml
OPT
9
2.01996
1.22921
4312367
Rcpsp/
Rcpsp-j30-01-02_c18.xml
OPT
47
2.04156
1.22888
4312202
Rcpsp/
Rcpsp-j30-01-03_c18.xml
OPT
47
2.06315
1.22847
4312203
TemplateDesign/
TemplateDesign-m1s-2_c18.xml
OPT
2
2.08954
1.2391
4312309
Rcpsp/
Rcpsp-j30-01-01_c18.xml
OPT
43
2.136
1.25573
4312201
Tal/
Tal-01_c18.xml
OPT
6
2.15442
1.24904
4312293
Knapsack/
Knapsack-30-100-01_c18.xml
OPT
871
2.18621
1.24777
4312107
Rcpsp/
Rcpsp-j30-01-04_c18.xml
OPT
62
2.21116
1.27651
4312204
Knapsack/
Knapsack-30-100-00_c18.xml
OPT
709
2.22088
1.44437
4312106
Bacp/Bacp-m2/
Bacp-m2-05_c18.xml
OPT
9
2.22419
1.31041
4312372
Mario/
Mario-easy-2_c18.xml
OPT
628
2.25472
1.28238
4312332
TemplateDesign/
TemplateDesign-m1s-catfood_c18.xml
OPT
2
2.34572
1.31543
4312310
PeacableArmies/
PeacableArmies-m1-05_c18.xml
OPT
4
2.53
1.39493
4312144
CrosswordDesign/
CrosswordDesign-03-4-rom_c18.xml
OPT
12
2.54413
1.28604
4312131
SteelMillSlab/
SteelMillSlab-m2-simple_c18.xml
OPT
0
2.59603
1.38193
4312292
GolombRuler/
GolombRuler-a3v18-08_c18.xml
OPT
34
2.70836
1.43857
4312185
TravelingTournament/
TravelingTournament-a2-galaxy04_c18.xml
OPT
517
2.79116
1.52705
4312158
Mario/
Mario-easy-5_c18.xml
OPT
445
2.79367
1.46156
4312334
Rcpsp/
Rcpsp-j60-01-04_c18.xml
OPT
91
2.84781
1.49312
4312208
Rcpsp/
Rcpsp-j60-01-03_c18.xml
OPT
68
2.90986
1.5147
4312207
TravelingTournament/
TravelingTournament-a3-galaxy04_c18.xml
OPT
416
2.92188
1.57216
4312165
Mario/
Mario-easy-4_c18.xml
OPT
545
3.01944
1.53239
4312333
Rcpsp/
Rcpsp-j60-01-01_c18.xml
OPT
77
3.04187
1.54341
4312205
QuadraticAssignment/
QuadraticAssignment-qap_c18.xml
OPT
4776
3.04332
1.58244
4312247
TravellingSalesman/
TravellingSalesman-10-20-00_c18.xml
OPT
47
3.23938
1.69285
4312173
Rcpsp/
Rcpsp-j60-01-02_c18.xml
OPT
68
3.33733
1.6469
4312206
Mario/
Mario-t-hard-5_c18.xml
OPT
4482
3.78792
1.66511
4312341
Tal/
Tal-02_c18.xml
OPT
86
3.99608
1.77059
4312294
LowAutocorrelation/
LowAutocorrelation-015_c18.xml
OPT
15
4.1592
1.95602
4312342
Rcpsp/
Rcpsp-j90-01-02_c18.xml
OPT
92
4.16703
1.88791
4312210
Knapsack/
Knapsack-40-150-01_c18.xml
OPT
1128
4.28932
3.01309
4312109
PseudoBoolean-opt/
Pb-circ4-3_c18.xml
OPT
20
4.3834
2.42411
4312224
CrosswordDesign/
CrosswordDesign-04-4-rom_c18.xml
OPT
24
4.46307
1.94841
4312132
GolombRuler/
GolombRuler-a3v18-09_c18.xml
OPT
44
4.5675
2.72114
4312186
Rcpsp/
Rcpsp-j90-01-03_c18.xml
OPT
66
5.38353
2.28684
4312211
Mario/
Mario-t-hard-2_c18.xml
OPT
4850
6.4515
2.68808
4312340
Mario/
Mario-t-hard-1_c18.xml
OPT
4783
6.47833
2.61174
4312339
Bacp/Bacp-m1/
Bacp-m1-06_c18.xml
OPT
10
6.66674
3.28701
4312365
Rcpsp/
Rcpsp-j90-01-01_c18.xml
OPT
73
7.5036
3.71048
4312209
Knapsack/
Knapsack-40-150-00_c18.xml
OPT
932
7.7315
6.53953
4312108
Rcpsp/
Rcpsp-j90-01-04_c18.xml
OPT
86
7.80968
3.33824
4312212
Rcpsp/
Rcpsp-j120-01-04_c18.xml
OPT
97
8.6254
4.9445
4312200
Fapp/Fapp-m2s/
Fapp-m2s-ex2_c18.xml
OPT
13871
8.91023
4.19709
4312421
SumColoring/
SumColoring-myciel4_c18.xml
OPT
22
10.0064
7.88148
4312328
Bacp/Bacp-m2/
Bacp-m2-06_c18.xml
OPT
10
10.8275
7.03732
4312368
Fapp/Fapp-m2s/
Fapp-m2s-ex1_c18.xml
OPT
523
12.9986
9.50884
4312433
PeacableArmies/
PeacableArmies-m2-05_c18.xml
OPT
4
15.8458
13.3396
4312151
TemplateDesign/
TemplateDesign-m2-catfood_c18.xml
OPT
2
15.9621
13.995
4312315
GraphColoring/
GraphColoring-5-fullins-3_c18.xml
OPT
7
17.9404
15.3822
4312124
NurseRostering/
NurseRostering-00_c18.xml
OPT
1202
18.1154
14.3463
4312255
Rlfap/Rlfap-opt/
Rlfap-scen-05-opt_c18.xml
OPT
792
18.2769
13.6666
4312385
StillLife/
StillLife-wastage-08_c18.xml
OPT
36
26.2067
22.7739
4312093
GolombRuler/
GolombRuler-a3v18-10_c18.xml
OPT
55
26.5234
24.7435
4312187
Knapsack/
Knapsack-50-200-01_c18.xml
OPT
1297
28.6971
27.4249
4312111
Knapsack/
Knapsack-50-200-00_c18.xml
OPT
960
34.9811
33.7003
4312110
PseudoBoolean-opt/
Pb-garden-7x7_c18.xml
OPT
12
48.8962
47.4169
4312230
NurseRostering/
NurseRostering-01_c18.xml
OPT
607
69.114
64.3511
4312256
Tal/
Tal-05_c18.xml
OPT
16
69.8535
65.3386
4312297
SumColoring/
SumColoring-1-fullins-3_c18.xml
OPT
24
72.4506
69.6652
4312318
Rlfap/Rlfap-opt/
Rlfap-graph-03-opt_c18.xml
OPT
380
77.9068
72.9306
4312403
LowAutocorrelation/
LowAutocorrelation-020_c18.xml
OPT
26
78.632
74.7114
4312343
Tal/
Tal-03_c18.xml
OPT
96
98.6036
94.2986
4312295
Mario/
Mario-n-medium-3_c18.xml
OPT
943
105.947
102.769
4312336
Mario/
Mario-n-medium-5_c18.xml
OPT
771
113.776
110.355
4312338
Rcpsp/
Rcpsp-j120-01-02_c18.xml
OPT
109
153.124
149.129
4312198
LowAutocorrelation/
LowAutocorrelation-021_c18.xml
OPT
26
154.971
150.187
4312344
PeacableArmies/
PeacableArmies-m1-07_c18.xml
OPT
7
162.221
159.465
4312145
Mario/
Mario-n-medium-4_c18.xml
OPT
832
171.596
168.539
4312337
QuadraticAssignment/
QuadraticAssignment-esc16d_c18.xml
OPT
8
207.433
204.323
4312238
GraphColoring/
GraphColoring-4-fullins-4_c18.xml
OPT
7
226.853
221.972
4312122
Solver found a solution (SATISFIABLE) but this may not be the optimal solution (72 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
Knapsack/
Knapsack-80-350-00_c18.xml
SAT
1561
248.895
247.359
4312116
Knapsack/
Knapsack-60-250-01_c18.xml
SAT
1323
248.906
247.362
4312113
Knapsack/
Knapsack-90-400-01_c18.xml
SAT
1680
248.972
247.798
4312119
Knapsack/
Knapsack-60-250-00_c18.xml
SAT
1404
248.978
247.362
4312112
Knapsack/
Knapsack-70-300-00_c18.xml
SAT
1425
248.981
247.362
4312114
Knapsack/
Knapsack-70-300-01_c18.xml
SAT
1465
248.995
247.36
4312115
Knapsack/
Knapsack-90-400-00_c18.xml
SAT
1497
249.04
247.364
4312118
Knapsack/
Knapsack-80-350-01_c18.xml
SAT
1659
249.044
247.374
4312117
PseudoBoolean-opt/
Pb-garden-9x9_c18.xml
SAT
24
249.343
247.36
4312231
PseudoBoolean-opt/
Pb-garden-15x15_c18.xml
SAT
91
249.689
247.37
4312228
PseudoBoolean-opt/
Pb-radar-10-10-45-050-100_c18.xml
SAT
38
249.787
247.361
4312232
TravellingSalesman/
TravellingSalesman-15-30-00_c18.xml
SAT
93
250.014
247.378
4312175
GolombRuler/
GolombRuler-a3v18-nodv-10_c18.xml
SAT
61
250.036
247.371
4312195
TravellingSalesman/
TravellingSalesman-20-30-00_c18.xml
SAT
122
250.087
247.363
4312176
GolombRuler/
GolombRuler-a3v18-11_c18.xml
SAT
72
250.176
247.367
4312188
GolombRuler/
GolombRuler-a3v18-nodv-11_c18.xml
SAT
85
250.209
247.363
4312196
GolombRuler/
GolombRuler-a3v18-14_c18.xml
SAT
140
250.339
247.362
4312191
GolombRuler/
GolombRuler-a3v18-15_c18.xml
SAT
171
250.416
247.373
4312192
GolombRuler/
GolombRuler-a3v18-nodv-09_c18.xml
SAT
44
250.434
247.367
4312194
TravellingSalesman/
TravellingSalesman-35-30-00_c18.xml
SAT
245
250.446
247.363
4312179
PseudoBoolean-opt/
Pb-radar-10-20-45-050-100_c18.xml
SAT
105
250.483
247.372
4312233
GolombRuler/
GolombRuler-a3v18-12_c18.xml
SAT
92
250.493
247.364
4312189
GolombRuler/
GolombRuler-a3v18-16_c18.xml
SAT
209
250.522
247.373
4312193
TravellingSalesman/
TravellingSalesman-25-30-00_c18.xml
SAT
191
250.563
247.37
4312177
TravellingSalesman/
TravellingSalesman-30-30-00_c18.xml
SAT
202
250.583
247.368
4312178
QuadraticAssignment/
QuadraticAssignment-esc16a_c18.xml
SAT
34
250.591
247.373
4312237
GolombRuler/
GolombRuler-a3v18-13_c18.xml
SAT
114
250.599
247.364
4312190
SumColoring/
SumColoring-myciel5_c18.xml
SAT
51
250.653
247.363
4312329
QuadraticAssignment/
QuadraticAssignment-esc32a_c18.xml
SAT
87
250.674
247.37
4312239
Bacp/Bacp-m1/
Bacp-m1-07b_c18.xml
SAT
13
250.725
247.368
4312358
QuadraticAssignment/
QuadraticAssignment-had12_c18.xml
SAT
835
250.759
247.379
4312242
Bacp/Bacp-m1/
Bacp-m1-10b_c18.xml
SAT
14
250.797
247.369
4312359
TravellingSalesman/
TravellingSalesman-40-30-00_c18.xml
SAT
350
250.862
247.373
4312180
Rcpsp/
Rcpsp-j120-01-01_c18.xml
SAT
105
250.865
247.376
4312197
Auction/Auction-sum/
Auction-sum-matching080_c18.xml
SAT
29911590
250.917
247.378
4312420
Auction/Auction-sum/
Auction-sum-matching040_c18.xml
SAT
7538972
250.986
247.366
4312419
Bacp/Bacp-m1/
Bacp-m1-08a_c18.xml
SAT
17
250.99
247.365
4312364
Auction/Auction-sum/
Auction-sum-decay100_c18.xml
SAT
514358
251.034
247.363
4312417
Auction/Auction-sum/
Auction-sum-decay300_c18.xml
SAT
1115298
251.069
247.372
4312415
Auction/Auction-cnt/
Auction-cnt-decay400_c18.xml
SAT
1503634
251.071
247.374
4312410
QuadraticAssignment/
QuadraticAssignment-had14_c18.xml
SAT
1378
251.071
247.36
4312243
Auction/Auction-cnt/
Auction-cnt-decay200_c18.xml
SAT
787685
251.088
247.38
4312406
TravellingSalesman/
TravellingSalesman-50-30-00_c18.xml
SAT
375
251.119
247.363
4312182
Mario/
Mario-n-medium-2_c18.xml
SAT
990
251.131
247.364
4312335
Auction/Auction-cnt/
Auction-cnt-matching080_c18.xml
SAT
29457707
251.156
247.369
4312405
Bacp/Bacp-m1/
Bacp-m1-12b_c18.xml
SAT
17
251.167
247.375
4312363
Auction/Auction-cnt/
Auction-cnt-matching040_c18.xml
SAT
7765907
251.268
247.38
4312411
TravellingSalesman/
TravellingSalesman-45-30-00_c18.xml
SAT
349
251.283
247.367
4312181
QuadraticAssignment/
QuadraticAssignment-esc64a_c18.xml
SAT
58
251.32
247.365
4312241
PeacableArmies/
PeacableArmies-m2-07_c18.xml
SAT
6
251.321
247.372
4312152
QuadraticAssignment/
QuadraticAssignment-esc32d_c18.xml
SAT
117
251.358
247.363
4312240
QuadraticAssignment/
QuadraticAssignment-had16_c18.xml
SAT
1931
251.373
247.361
4312244
Rlfap/Rlfap-opt/
Rlfap-graph-01-opt_c18.xml
SAT
48
251.405
247.373
4312383
QuadraticAssignment/
QuadraticAssignment-had20_c18.xml
SAT
3660
251.45
247.364
4312246
Rlfap/Rlfap-opt/
Rlfap-scen-02-opt_c18.xml
SAT
44
251.458
247.378
4312395
QuadraticAssignment/
QuadraticAssignment-had18_c18.xml
SAT
2733
251.466
247.363
4312245
TravellingSalesman/
TravellingSalesman-75-50-00_c18.xml
SAT
1011
251.504
247.366
4312183
Bacp/Bacp-m1/
Bacp-m1-12a_c18.xml
SAT
17
251.57
247.379
4312366
Bacp/Bacp-m1/
Bacp-m1-07a_c18.xml
SAT
12
251.59
247.37
4312356
Bacp/Bacp-m1/
Bacp-m1-10a-nodv_c18.xml
SAT
14
251.6
247.381
4312361
Bacp/Bacp-m2/
Bacp-m2-10b_c18.xml
SAT
14
251.711
247.361
4312370
Bacp/Bacp-m1/
Bacp-m1-08b_c18.xml
SAT
17
251.802
247.365
4312362
Bacp/Bacp-m1/
Bacp-m1-12a-nodv_c18.xml
SAT
17
251.824
247.373
4312360
Auction/Auction-sum/
Auction-sum-decay200_c18.xml
SAT
800255
251.842
247.376
4312416
SumColoring/
SumColoring-dsjc-125-1_c18.xml
SAT
1003
251.854
247.366
4312321
TravellingSalesman/
TravellingSalesman-100-50-00_c18.xml
SAT
1434
251.89
247.38
4312172
Bacp/Bacp-m2/
Bacp-m2-07a_c18.xml
SAT
12
251.895
247.362
4312369
Bacp/Bacp-m1/
Bacp-m1-10a_c18.xml
SAT
14
251.956
247.363
4312357
Rcpsp/
Rcpsp-j120-01-03_c18.xml
SAT
126
251.994
247.372
4312199
Bacp/Bacp-m2/
Bacp-m2-07b_c18.xml
SAT
13
252.008
247.367
4312375
PeacableArmies/
PeacableArmies-m1-10_c18.xml
SAT
13
252.014
247.369
4312146
Rlfap/Rlfap-opt/
Rlfap-graph-02-opt_c18.xml
SAT
48
252.037
247.378
4312387
Solver timed out but found at least a solution (107 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
Bacp/Bacp-m2/
Bacp-m2-08a_c18.xml
SAT (TO)
17
252.033
247.126
4312378
SumColoring/
SumColoring-myciel6_c18.xml
SAT (TO)
133
252.034
246.716
4312330
StillLife/
StillLife-wastage-12_c18.xml
SAT (TO)
68
252.038
246.717
4312097
PizzaVoucher/
PizzaVoucher-15a_c18.xml
SAT (TO)
55
252.039
246.227
4312217
StillLife/
StillLife-wastage-09_c18.xml
SAT (TO)
43
252.041
246.926
4312094
PizzaVoucher/
PizzaVoucher-10b_c18.xml
SAT (TO)
28
252.042
245.415
4312214
NurseRostering/
NurseRostering-04_c18.xml
SAT (TO)
4001
252.043
244.717
4312259
TravelingTournament/
TravelingTournament-a3-galaxy14_c18.xml
SAT (TO)
15969
252.044
240.641
4312170
StillLife/
StillLife-wastage-25_c18.xml
SAT (TO)
254
252.045
246.537
4312104
Tal/
Tal-08_c18.xml
SAT (TO)
176
252.046
245.416
4312300
StillLife/
StillLife-wastage-10_c18.xml
SAT (TO)
54
252.046
247.225
4312095
LowAutocorrelation/
LowAutocorrelation-026_c18.xml
SAT (TO)
45
252.046
245.317
4312349
Bacp/Bacp-m2/
Bacp-m2-12b_c18.xml
SAT (TO)
17
252.046
246.918
4312379
TravelingTournament/
TravelingTournament-a3-galaxy16_c18.xml
SAT (TO)
22566
252.049
241.338
4312171
TravelingTournament/
TravelingTournament-a2-galaxy14_c18.xml
SAT (TO)
17741
252.05
241.436
4312163
QuadraticAssignment/
QuadraticAssignment-sko42_c18.xml
SAT (TO)
9490
252.05
247.23
4312248
TravelingTournament/
TravelingTournament-a2-galaxy10_c18.xml
SAT (TO)
6564
252.051
241.541
4312161
TravellingSalesman/
TravellingSalesman-150-50-00_c18.xml
SAT (TO)
2900
252.051
244.026
4312174
PseudoBoolean-opt/
Pb-radar-30-30-45-050-100_c18.xml
SAT (TO)
1303
252.051
246.621
4312234
Tal/
Tal-09_c18.xml
SAT (TO)
192
252.053
246.026
4312301
CrosswordDesign/
CrosswordDesign-06-4-rom_c18.xml
SAT (TO)
42
252.055
239.549
4312134
LowAutocorrelation/
LowAutocorrelation-035_c18.xml
SAT (TO)
125
252.056
245.419
4312353
Auction/Auction-sum/
Auction-sum-decay500_c18.xml
SAT (TO)
1807811
252.056
246.917
4312413
SumColoring/
SumColoring-dsjc-125-5_c18.xml
SAT (TO)
2566
252.056
246.326
4312322
GraphColoring/
GraphColoring-3-fullins-5_c18.xml
SAT (TO)
1470
252.057
238.047
4312121
SumColoring/
SumColoring-dsjc-250-1_c18.xml
SAT (TO)
13489
252.058
245.129
4312324
Bacp/Bacp-m2/
Bacp-m2-12a-nodv_c18.xml
SAT (TO)
17
252.059
246.518
4312374
Bacp/Bacp-m2/
Bacp-m2-12a_c18.xml
SAT (TO)
17
252.059
246.717
4312376
Tal/
Tal-07_c18.xml
SAT (TO)
138
252.061
246.026
4312299
PizzaVoucher/
PizzaVoucher-15b_c18.xml
SAT (TO)
54
252.061
246.128
4312218
Tal/
Tal-04_c18.xml
SAT (TO)
142
252.062
246.916
4312296
SumColoring/
SumColoring-1-fullins-4_c18.xml
SAT (TO)
98
252.063
247.989
4312319
PseudoBoolean-opt/
Pb-garden-100x100_c18.xml
SAT (TO)
5269
252.063
244.039
4312227
QuadraticAssignment/
QuadraticAssignment-sko49_c18.xml
SAT (TO)
13657
252.064
245.642
4312249
Bacp/Bacp-m2/
Bacp-m2-10a-nodv_c18.xml
SAT (TO)
14
252.067
247.227
4312373
PeacableArmies/
PeacableArmies-m1-30_c18.xml
SAT (TO)
68
252.067
241.448
4312149
PizzaVoucher/
PizzaVoucher-18b_c18.xml
SAT (TO)
62
252.068
246.429
4312220
TravelingTournament/
TravelingTournament-a2-galaxy08_c18.xml
SAT (TO)
3318
252.07
242.82
4312160
Auction/Auction-cnt/
Auction-cnt-decay300_c18.xml
SAT (TO)
1109036
252.07
247.335
4312409
PeacableArmies/
PeacableArmies-m1-50_c18.xml
SAT (TO)
174
252.072
228.95
4312150
StillLife/
StillLife-wastage-15_c18.xml
SAT (TO)
106
252.072
246.52
4312100
Auction/Auction-sum/
Auction-sum-decay400_c18.xml
SAT (TO)
1470150
252.073
247.316
4312414
TravelingTournament/
TravelingTournament-a3-galaxy06_c18.xml
SAT (TO)
1451
252.073
244.135
4312166
Rlfap/Rlfap-opt/
Rlfap-graph-05-opt_c18.xml
SAT (TO)
88483
252.073
244.841
4312388
TravelingTournament/
TravelingTournament-a2-galaxy06_c18.xml
SAT (TO)
1598
252.073
243.717
4312159
PeacableArmies/
PeacableArmies-m1-15_c18.xml
SAT (TO)
25
252.074
246.232
4312147
SumColoring/
SumColoring-myciel7_c18.xml
SAT (TO)
2345
252.075
244.828
4312331
QuadraticAssignment/
QuadraticAssignment-sko72_c18.xml
SAT (TO)
38595
252.075
233.042
4312252
SumColoring/
SumColoring-dsjc-250-9_c18.xml
SAT (TO)
20429
252.076
244.038
4312326
LowAutocorrelation/
LowAutocorrelation-025_c18.xml
SAT (TO)
44
252.077
246.127
4312348
LowAutocorrelation/
LowAutocorrelation-023_c18.xml
SAT (TO)
47
252.08
245.924
4312346
PizzaVoucher/
PizzaVoucher-10a_c18.xml
SAT (TO)
210
252.082
245.916
4312213
PeacableArmies/
PeacableArmies-m2-50_c18.xml
SAT (TO)
96
252.083
236.554
4312157
Tal/
Tal-10_c18.xml
SAT (TO)
288
252.085
246.019
4312302
SumColoring/
SumColoring-dsjc-250-5_c18.xml
SAT (TO)
14757
252.085
245.335
4312325
QuadraticAssignment/
QuadraticAssignment-sko56_c18.xml
SAT (TO)
20263
252.086
243.244
4312250
PseudoBoolean-opt/
Pb-circ6-3_c18.xml
SAT (TO)
72
252.086
247.137
4312225
PeacableArmies/
PeacableArmies-m1-20_c18.xml
SAT (TO)
35
252.086
245.146
4312148
Bacp/Bacp-m2/
Bacp-m2-08b_c18.xml
SAT (TO)
17
252.087
246.829
4312371
PeacableArmies/
PeacableArmies-m2-30_c18.xml
SAT (TO)
54
252.087
241.631
4312156
StillLife/
StillLife-wastage-11_c18.xml
SAT (TO)
54
252.088
246.917
4312096
PizzaVoucher/
PizzaVoucher-12a_c18.xml
SAT (TO)
42
252.088
246.225
4312215
Auction/Auction-cnt/
Auction-cnt-decay500_c18.xml
SAT (TO)
1839263
252.089
247.23
4312412
GraphColoring/
GraphColoring-2-fullins-5_c18.xml
SAT (TO)
6
252.09
243.843
4312120
Rlfap/Rlfap-opt/
Rlfap-scen-10-opt_c18.xml
SAT (TO)
10728361
252.091
242.159
4312394
LowAutocorrelation/
LowAutocorrelation-030_c18.xml
SAT (TO)
67
252.092
245.726
4312352
StillLife/
StillLife-wastage-17_c18.xml
SAT (TO)
129
252.096
246.227
4312101
StillLife/
StillLife-wastage-19_c18.xml
SAT (TO)
152
252.096
247.223
4312102
QuadraticAssignment/
QuadraticAssignment-sko64_c18.xml
SAT (TO)
28267
252.098
239.744
4312251
TravelingTournament/
TravelingTournament-a3-galaxy12_c18.xml
SAT (TO)
10144
252.098
241.825
4312169
LowAutocorrelation/
LowAutocorrelation-022_c18.xml
SAT (TO)
39
252.1
245.217
4312345
TravelingTournament/
TravelingTournament-a3-galaxy10_c18.xml
SAT (TO)
5939
252.101
242.632
4312168
LowAutocorrelation/
LowAutocorrelation-040_c18.xml
SAT (TO)
156
252.102
246.027
4312354
Bacp/Bacp-m2/
Bacp-m2-10a_c18.xml
SAT (TO)
14
252.104
246.917
4312377
Rlfap/Rlfap-opt/
Rlfap-scen-03-opt_c18.xml
SAT (TO)
46
252.105
247.118
4312391
LowAutocorrelation/
LowAutocorrelation-027_c18.xml
SAT (TO)
53
252.106
246.718
4312350
Rlfap/Rlfap-opt/
Rlfap-graph-07-opt_c18.xml
SAT (TO)
159504
252.107
243.74
4312381
LowAutocorrelation/
LowAutocorrelation-024_c18.xml
SAT (TO)
36
252.108
245.816
4312347
SumColoring/
SumColoring-1-fullins-5_c18.xml
SAT (TO)
6225
252.108
244.218
4312320
Fapp/Fapp-m2s/
Fapp-m2s-test01-0150_c18.xml
SAT (TO)
51575114
252.111
239.834
4312430
QuadraticAssignment/
QuadraticAssignment-esc128_c18.xml
SAT (TO)
36
252.112
247.238
4312236
SumColoring/
SumColoring-dsjc-125-9_c18.xml
SAT (TO)
4563
252.112
246.626
4312323
CrosswordDesign/
CrosswordDesign-05-4-rom_c18.xml
SAT (TO)
38
252.115
247.032
4312133
GraphColoring/
GraphColoring-qg-order40_c18.xml
SAT (TO)
1276
252.117
234.545
4312128
Tal/
Tal-06_c18.xml
SAT (TO)
94
252.118
246.225
4312298
LowAutocorrelation/
LowAutocorrelation-028_c18.xml
SAT (TO)
66
252.118
244.718
4312351
StillLife/
StillLife-wastage-13_c18.xml
SAT (TO)
82
252.119
246.725
4312098
TravelingTournament/
TravelingTournament-a3-galaxy08_c18.xml
SAT (TO)
3097
252.119
243.322
4312167
NurseRostering/
NurseRostering-02_c18.xml
SAT (TO)
2055
252.119
245.518
4312257
PizzaVoucher/
PizzaVoucher-12b_c18.xml
SAT (TO)
43
252.124
245.716
4312216
LowAutocorrelation/
LowAutocorrelation-050_c18.xml
SAT (TO)
345
252.126
244.231
4312355
SteelMillSlab/
SteelMillSlab-m2s-3-0_c18.xml
SAT (TO)
417
252.128
240.346
4312289
NurseRostering/
NurseRostering-03_c18.xml
SAT (TO)
3582
252.128
245.027
4312258
GraphColoring/
GraphColoring-qg-order30_c18.xml
SAT (TO)
29
252.129
242.831
4312127
StillLife/
StillLife-wastage-14_c18.xml
SAT (TO)
86
252.133
247.027
4312099
TravelingTournament/
TravelingTournament-a2-galaxy12_c18.xml
SAT (TO)
11120
252.135
239.641
4312162
StillLife/
StillLife-wastage-30_c18.xml
SAT (TO)
367
252.135
246.048
4312105
Auction/Auction-cnt/
Auction-cnt-decay100_c18.xml
SAT (TO)
526634
252.136
247.339
4312407
TravelingTournament/
TravelingTournament-a2-galaxy16_c18.xml
SAT (TO)
25258
252.139
238.339
4312164
GraphColoring/
GraphColoring-5-fullins-4_c18.xml
SAT (TO)
8
252.141
243.532
4312125
SteelMillSlab/
SteelMillSlab-m2s-3-2_c18.xml
SAT (TO)
515
252.144
239.062
4312290
PseudoBoolean-opt/
Pb-radar-30-70-45-050-100_c18.xml
SAT (TO)
3353
252.146
242.626
4312235
SteelMillSlab/
SteelMillSlab-m2s-4-0_c18.xml
SAT (TO)
300
252.146
240.057
4312291
QuadraticAssignment/
QuadraticAssignment-sko81_c18.xml
SAT (TO)
52637
252.147
228.168
4312253
StillLife/
StillLife-wastage-21_c18.xml
SAT (TO)
180
252.151
247.045
4312103
QuadraticAssignment/
QuadraticAssignment-sko90_c18.xml
SAT (TO)
67481
252.162
219.372
4312254
GraphColoring/
GraphColoring-4-fullins-5_c18.xml
SAT (TO)
4114
252.426
213.842
4312123
Solver didn't decide (UNKNOWN) (16 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
CrosswordDesign/
CrosswordDesign-08-4-rom_c18.xml
?
64.425
21.6882
4312136
CrosswordDesign/
CrosswordDesign-10-4-rom_c18.xml
?
68.1931
24.7587
4312138
CrosswordDesign/
CrosswordDesign-14-4-rom_c18.xml
?
68.9866
27.4886
4312142
CrosswordDesign/
CrosswordDesign-13-4-rom_c18.xml
?
70.13
27.1955
4312141
CrosswordDesign/
CrosswordDesign-09-4-rom_c18.xml
?
71.1767
24.3363
4312137
CrosswordDesign/
CrosswordDesign-11-4-rom_c18.xml
?
72.6649
26.9113
4312139
CrosswordDesign/
CrosswordDesign-07-4-rom_c18.xml
?
76.6921
25.4082
4312135
CrosswordDesign/
CrosswordDesign-15-4-rom_c18.xml
?
82.6788
32.173
4312143
CrosswordDesign/
CrosswordDesign-12-4-rom_c18.xml
?
82.8143
31.0216
4312140
TemplateDesign/
TemplateDesign-m2-herbs_c18.xml
?
251.32
247.369
4312316
TemplateDesign/
TemplateDesign-m2-magazine_c18.xml
?
251.582
247.361
4312317
Rlfap/Rlfap-opt/
Rlfap-graph-14-opt_c18.xml
?
251.698
247.425
4312404
Rlfap/Rlfap-opt/
Rlfap-scen-04-opt_c18.xml
?
251.699
247.389
4312384
Rlfap/Rlfap-opt/
Rlfap-graph-08-opt_c18.xml
?
251.792
247.366
4312401
Rlfap/Rlfap-opt/
Rlfap-scen-01-opt_c18.xml
?
251.811
247.45
4312399
TemplateDesign/
TemplateDesign-m1s-herbs_c18.xml
?
251.872
247.363
4312311
Solver timed out (no solution given) (68 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
SteelMillSlab/
SteelMillSlab-m1-2-2_c18.xml
? (TO)
252.032
247.024
4312277
Rlfap/Rlfap-opt/
Rlfap-graph-06-opt_c18.xml
? (TO)
252.033
244.027
4312392
PeacableArmies/
PeacableArmies-m2-20_c18.xml
? (TO)
252.034
244.818
4312155
NurseRostering/
NurseRostering-18_c18.xml
? (TO)
252.034
243.322
4312273
PeacableArmies/
PeacableArmies-m2-15_c18.xml
? (TO)
252.041
245.816
4312154
NurseRostering/
NurseRostering-09_c18.xml
? (TO)
252.041
244.231
4312264
NurseRostering/
NurseRostering-15_c18.xml
? (TO)
252.046
241.824
4312270
Rlfap/Rlfap-opt/
Rlfap-scen-09-opt_c18.xml
? (TO)
252.047
243.221
4312382
NurseRostering/
NurseRostering-14_c18.xml
? (TO)
252.049
243.035
4312269
Rlfap/Rlfap-opt/
Rlfap-scen-11-opt_c18.xml
? (TO)
252.05
247.316
4312400
Fapp/Fapp-m2s/
Fapp-m2s-01-0200_c18.xml
? (TO)
252.05
241.33
4312422
SteelMillSlab/
SteelMillSlab-m2-2-2_c18.xml
? (TO)
252.052
241.428
4312283
NurseRostering/
NurseRostering-10_c18.xml
? (TO)
252.058
243.728
4312265
Rlfap/Rlfap-opt/
Rlfap-scen-08-opt_c18.xml
? (TO)
252.065
243.325
4312393
NurseRostering/
NurseRostering-08_c18.xml
? (TO)
252.067
244.32
4312263
Rlfap/Rlfap-opt/
Rlfap-graph-11-opt_c18.xml
? (TO)
252.069
243.62
4312397
Rlfap/Rlfap-opt/
Rlfap-graph-10-opt_c18.xml
? (TO)
252.069
245.918
4312380
SteelMillSlab/
SteelMillSlab-m1-2-0_c18.xml
? (TO)
252.069
247.215
4312276
Fapp/Fapp-m2s/
Fapp-m2s-07-0600_c18.xml
? (TO)
252.071
189.841
4312435
Rlfap/Rlfap-opt/
Rlfap-scen-06-opt_c18.xml
? (TO)
252.071
245.517
4312398
Fapp/Fapp-m2s/
Fapp-m2s-test02-0250_c18.xml
? (TO)
252.071
234.042
4312438
PizzaVoucher/
PizzaVoucher-18a_c18.xml
? (TO)
252.073
246.319
4312219
TemplateDesign/
TemplateDesign-m1s-magazine_c18.xml
? (TO)
252.075
245.719
4312312
SteelMillSlab/
SteelMillSlab-m1-4-0_c18.xml
? (TO)
252.076
246.416
4312280
SteelMillSlab/
SteelMillSlab-m2s-2-0_c18.xml
? (TO)
252.076
241.326
4312287
TemplateDesign/
TemplateDesign-m1-magazine_c18.xml
? (TO)
252.077
246.328
4312307
Fapp/Fapp-m2s/
Fapp-m2s-20-0420_c18.xml
? (TO)
252.081
226.934
4312434
SteelMillSlab/
SteelMillSlab-m1-3-2_c18.xml
? (TO)
252.085
246.916
4312279
Fapp/Fapp-m2s/
Fapp-m2s-17-0300_c18.xml
? (TO)
252.086
231.231
4312437
NurseRostering/
NurseRostering-17_c18.xml
? (TO)
252.086
242.132
4312272
NurseRostering/
NurseRostering-05_c18.xml
? (TO)
252.088
245.321
4312260
Fapp/Fapp-m2s/
Fapp-m2s-04-0300_c18.xml
? (TO)
252.088
231.534
4312425
SteelMillSlab/
SteelMillSlab-m2-3-2_c18.xml
? (TO)
252.092
240.228
4312285
Fapp/Fapp-m2s/
Fapp-m2s-05-0350_c18.xml
? (TO)
252.092
225.234
4312431
Rlfap/Rlfap-opt/
Rlfap-graph-12-opt_c18.xml
? (TO)
252.092
244.224
4312389
Rlfap/Rlfap-opt/
Rlfap-scen-07-opt_c18.xml
? (TO)
252.092
221.556
4312396
PseudoBoolean-opt/
Pb-circ8-3_c18.xml
? (TO)
252.095
245.429
4312226
SteelMillSlab/
SteelMillSlab-m2s-2-2_c18.xml
? (TO)
252.095
239.927
4312288
NurseRostering/
NurseRostering-11_c18.xml
? (TO)
252.098
242.524
4312266
NurseRostering/
NurseRostering-16_c18.xml
? (TO)
252.098
244.624
4312271
Fapp/Fapp-m2s/
Fapp-m2s-21-0500_c18.xml
? (TO)
252.098
237.237
4312428
TemplateDesign/
TemplateDesign-m1-herbs_c18.xml
? (TO)
252.103
246.416
4312306
Fapp/Fapp-m2s/
Fapp-m2s-18-0350_c18.xml
? (TO)
252.104
233.432
4312429
PizzaVoucher/
PizzaVoucher-22b_c18.xml
? (TO)
252.104
245.318
4312222
NurseRostering/
NurseRostering-13_c18.xml
? (TO)
252.107
234.939
4312268
NurseRostering/
NurseRostering-19_c18.xml
? (TO)
252.108
236.928
4312274
SteelMillSlab/
SteelMillSlab-m2-4-0_c18.xml
? (TO)
252.108
241.328
4312286
Fapp/Fapp-m2s/
Fapp-m2s-test03-0400_c18.xml
? (TO)
252.109
225.434
4312432
SteelMillSlab/
SteelMillSlab-m2-3-0_c18.xml
? (TO)
252.109
240.927
4312284
NurseRostering/
NurseRostering-12_c18.xml
? (TO)
252.112
240.822
4312267
Rlfap/Rlfap-opt/
Rlfap-graph-04-opt_c18.xml
? (TO)
252.114
246.425
4312390
NurseRostering/
NurseRostering-07_c18.xml
? (TO)
252.117
244.619
4312262
SteelMillSlab/
SteelMillSlab-m1-3-0_c18.xml
? (TO)
252.117
247.016
4312278
NurseRostering/
NurseRostering-06_c18.xml
? (TO)
252.119
245.618
4312261
PseudoBoolean-opt/
Pb-circ10-3_c18.xml
? (TO)
252.12
244.53
4312223
Rlfap/Rlfap-opt/
Rlfap-graph-09-opt_c18.xml
? (TO)
252.12
246.716
4312386
PeacableArmies/
PeacableArmies-m2-10_c18.xml
? (TO)
252.122
247.024
4312153
Fapp/Fapp-m2s/
Fapp-m2s-16-0260_c18.xml
? (TO)
252.122
233.941
4312424
Fapp/Fapp-m2s/
Fapp-m2s-06-0500_c18.xml
? (TO)
252.131
210.641
4312436
Fapp/Fapp-m2s/
Fapp-m2s-02-0250_c18.xml
? (TO)
252.133
236.738
4312423
PizzaVoucher/
PizzaVoucher-22a_c18.xml
? (TO)
252.136
245.986
4312221
SteelMillSlab/
SteelMillSlab-m2-2-0_c18.xml
? (TO)
252.137
241.039
4312282
Fapp/Fapp-m2s/
Fapp-m2s-08-0700_c18.xml
? (TO)
252.139
210.437
4312426
Rlfap/Rlfap-opt/
Rlfap-graph-13-opt_c18.xml
? (TO)
252.139
243.238
4312402
Fapp/Fapp-m2s/
Fapp-m2s-03-0300_c18.xml
? (TO)
252.144
229.048
4312427
NurseRostering/
NurseRostering-20_c18.xml
? (TO)
252.159
226.284
4312275
GraphColoring/
GraphColoring-qg-order60_c18.xml
? (TO)
253.018
93.8295
4312129
GraphColoring/
GraphColoring-qg-order100_c18.xml
? (TO)
255.315
102.7
4312126