2018 XCSP3 competition: fast COP track: benchmarks results per solver
Result page for solver OscaR - Conflict Ordering with restarts
2018-08-14
(complete)
Category "optimization problem" (COP)
Solver found a solution (SATISFIABLE) but this may not be the optimal solution (109 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
Knapsack/
Knapsack-70-300-00_c18.xml
SAT
1425
248.92
247.367
4309904
Knapsack/
Knapsack-90-400-01_c18.xml
SAT
1681
248.932
247.363
4309909
Knapsack/
Knapsack-60-250-01_c18.xml
SAT
1323
248.94
247.363
4309903
Knapsack/
Knapsack-60-250-00_c18.xml
SAT
1404
248.953
247.369
4309902
Knapsack/
Knapsack-80-350-01_c18.xml
SAT
1659
248.969
247.362
4309907
Knapsack/
Knapsack-80-350-00_c18.xml
SAT
1564
248.986
247.367
4309906
Knapsack/
Knapsack-90-400-00_c18.xml
SAT
1519
249.049
247.361
4309908
Knapsack/
Knapsack-70-300-01_c18.xml
SAT
1465
249.078
247.37
4309905
PseudoBoolean-opt/
Pb-garden-9x9_c18.xml
SAT
25
249.264
247.363
4310021
PseudoBoolean-opt/
Pb-garden-15x15_c18.xml
SAT
90
249.504
247.363
4310018
TravellingSalesman/
TravellingSalesman-15-30-00_c18.xml
SAT
93
249.846
247.358
4309965
GolombRuler/
GolombRuler-a3v18-nodv-09_c18.xml
SAT
44
249.879
247.879
4309984
PseudoBoolean-opt/
Pb-radar-10-10-45-050-100_c18.xml
SAT
41
249.955
247.384
4310022
GolombRuler/
GolombRuler-a3v18-11_c18.xml
SAT
72
249.995
247.361
4309978
TravellingSalesman/
TravellingSalesman-20-30-00_c18.xml
SAT
119
250.088
247.36
4309966
GolombRuler/
GolombRuler-a3v18-nodv-10_c18.xml
SAT
61
250.133
247.374
4309985
GolombRuler/
GolombRuler-a3v18-15_c18.xml
SAT
177
250.213
247.378
4309982
GolombRuler/
GolombRuler-a3v18-nodv-11_c18.xml
SAT
88
250.243
247.367
4309986
GolombRuler/
GolombRuler-a3v18-14_c18.xml
SAT
148
250.247
247.364
4309981
TravellingSalesman/
TravellingSalesman-30-30-00_c18.xml
SAT
199
250.31
247.359
4309968
TravellingSalesman/
TravellingSalesman-25-30-00_c18.xml
SAT
175
250.432
247.359
4309967
TemplateDesign/
TemplateDesign-m2-1_c18.xml
SAT
2
250.506
247.363
4310103
GolombRuler/
GolombRuler-a3v18-16_c18.xml
SAT
210
250.532
247.375
4309983
GolombRuler/
GolombRuler-a3v18-12_c18.xml
SAT
93
250.613
247.364
4309979
PseudoBoolean-opt/
Pb-radar-10-20-45-050-100_c18.xml
SAT
93
250.643
247.373
4310023
GolombRuler/
GolombRuler-a3v18-13_c18.xml
SAT
116
250.661
247.369
4309980
Rlfap/Rlfap-opt/
Rlfap-graph-01-opt_c18.xml
SAT
48
250.731
247.788
4310173
Auction/Auction-sum/
Auction-sum-decay100_c18.xml
SAT
527300
250.747
247.371
4310210
QuadraticAssignment/
QuadraticAssignment-esc32a_c18.xml
SAT
87
250.781
247.371
4310029
QuadraticAssignment/
QuadraticAssignment-had12_c18.xml
SAT
833
250.804
247.37
4310032
TravellingSalesman/
TravellingSalesman-40-30-00_c18.xml
SAT
291
250.847
247.38
4309970
QuadraticAssignment/
QuadraticAssignment-had14_c18.xml
SAT
1393
250.85
247.376
4310033
Auction/Auction-sum/
Auction-sum-example_c18.xml
SAT
54
250.857
247.368
4310211
TravellingSalesman/
TravellingSalesman-35-30-00_c18.xml
SAT
237
250.885
247.369
4309969
Auction/Auction-cnt/
Auction-cnt-decay100_c18.xml
SAT
522786
250.886
247.525
4310199
Auction/Auction-cnt/
Auction-cnt-matching080_c18.xml
SAT
30448558
250.894
247.366
4310197
Bacp/Bacp-m1/
Bacp-m1-07b_c18.xml
SAT
13
250.923
247.78
4310148
Auction/Auction-sum/
Auction-sum-decay400_c18.xml
SAT
1444789
250.95
247.376
4310207
Auction/Auction-sum/
Auction-sum-matching080_c18.xml
SAT
29536850
250.98
247.372
4310213
Mario/
Mario-n-medium-2_c18.xml
SAT
990
251.009
247.362
4310125
Auction/Auction-cnt/
Auction-cnt-matching040_c18.xml
SAT
7336175
251.023
247.364
4310203
SumColoring/
SumColoring-myciel5_c18.xml
SAT
47
251.026
247.358
4310119
TravellingSalesman/
TravellingSalesman-45-30-00_c18.xml
SAT
325
251.044
247.36
4309971
TravellingSalesman/
TravellingSalesman-50-30-00_c18.xml
SAT
399
251.064
247.376
4309972
Knapsack/
Knapsack-30-100-01_c18.xml
SAT
871
251.073
247.377
4309897
TemplateDesign/
TemplateDesign-m1s-2_c18.xml
SAT
2
251.099
247.368
4310099
PseudoBoolean-opt/
Pb-garden-7x7_c18.xml
SAT
12
251.109
247.363
4310020
TemplateDesign/
TemplateDesign-m1s-1_c18.xml
SAT
2
251.118
247.362
4310098
Bacp/Bacp-m1/
Bacp-m1-10b_c18.xml
SAT
14
251.12
247.38
4310149
QuadraticAssignment/
QuadraticAssignment-esc16a_c18.xml
SAT
34
251.12
247.371
4310027
Auction/Auction-sum/
Auction-sum-matching040_c18.xml
SAT
7707304
251.138
247.364
4310212
PseudoBoolean-opt/
Pb-garden-4x4_c18.xml
SAT
4
251.16
247.365
4310019
TemplateDesign/
TemplateDesign-m1-2_c18.xml
SAT
2
251.182
247.363
4310094
Bacp/Bacp-m1/
Bacp-m1-08a_c18.xml
SAT
17
251.206
247.367
4310154
Bacp/Bacp-m1/
Bacp-m1-12b_c18.xml
SAT
17
251.239
247.375
4310153
Auction/Auction-cnt/
Auction-cnt-example_c18.xml
SAT
54
251.246
247.366
4310200
QuadraticAssignment/
QuadraticAssignment-esc32d_c18.xml
SAT
115
251.274
247.367
4310030
Auction/Auction-sum/
Auction-sum-decay300_c18.xml
SAT
1180732
251.28
247.371
4310208
QuadraticAssignment/
QuadraticAssignment-had16_c18.xml
SAT
1913
251.287
247.361
4310034
Bacp/Bacp-m1/
Bacp-m1-08b_c18.xml
SAT
17
251.321
247.366
4310152
Knapsack/
Knapsack-40-150-00_c18.xml
SAT
932
251.374
247.361
4309898
TemplateDesign/
TemplateDesign-m2-2_c18.xml
SAT
2
251.408
247.369
4310104
SteelMillSlab/
SteelMillSlab-m1-simple_c18.xml
SAT
0
251.414
247.366
4310071
TemplateDesign/
TemplateDesign-m1-1_c18.xml
SAT
2
251.42
247.376
4310093
Auction/Auction-cnt/
Auction-cnt-decay300_c18.xml
SAT
1120240
251.431
247.369
4310201
Bacp/Bacp-m1/
Bacp-m1-10a-nodv_c18.xml
SAT
14
251.433
247.371
4310151
Knapsack/
Knapsack-30-100-00_c18.xml
SAT
709
251.493
247.363
4309896
QuadraticAssignment/
QuadraticAssignment-had18_c18.xml
SAT
2759
251.53
247.366
4310035
PeacableArmies/
PeacableArmies-m2-07_c18.xml
SAT
4
251.533
247.368
4309942
Rlfap/Rlfap-opt/
Rlfap-scen-02-opt_c18.xml
SAT
42
251.573
247.356
4310185
Bacp/Bacp-m1/
Bacp-m1-12a_c18.xml
SAT
17
251.59
247.378
4310156
TemplateDesign/
TemplateDesign-m1-catfood_c18.xml
SAT
2
251.595
247.369
4310095
Bacp/Bacp-m1/
Bacp-m1-07a_c18.xml
SAT
12
251.597
247.372
4310146
Bacp/Bacp-m1/
Bacp-m1-12a-nodv_c18.xml
SAT
17
251.599
247.37
4310150
QuadraticAssignment/
QuadraticAssignment-had20_c18.xml
SAT
3655
251.608
247.374
4310036
Bacp/Bacp-m1/
Bacp-m1-05_c18.xml
SAT
9
251.627
247.365
4310157
GolombRuler/
GolombRuler-a3v18-07_c18.xml
SAT
25
251.63
247.37
4309974
Rlfap/Rlfap-opt/
Rlfap-graph-02-opt_c18.xml
SAT
48
251.657
247.371
4310177
TravellingSalesman/
TravellingSalesman-75-50-00_c18.xml
SAT
1237
251.665
247.367
4309973
PeacableArmies/
PeacableArmies-m1-05_c18.xml
SAT
4
251.673
247.367
4309934
Tal/
Tal-01_c18.xml
SAT
6
251.685
247.365
4310083
Mario/
Mario-easy-2_c18.xml
SAT
628
251.698
247.384
4310122
QuadraticAssignment/
QuadraticAssignment-esc64a_c18.xml
SAT
59
251.704
247.363
4310031
SumColoring/
SumColoring-myciel3_c18.xml
SAT
10
251.713
247.377
4310117
Knapsack/
Knapsack-40-150-01_c18.xml
SAT
1128
251.718
247.362
4309899
GolombRuler/
GolombRuler-a3v18-08_c18.xml
SAT
34
251.726
247.366
4309975
Rcpsp/
Rcpsp-j120-01-01_c18.xml
SAT
107
251.752
247.375
4309987
Rcpsp/
Rcpsp-j30-01-04_c18.xml
SAT
62
251.763
247.377
4309994
QuadraticAssignment/
QuadraticAssignment-esc16d_c18.xml
SAT
8
251.763
247.379
4310028
Bacp/Bacp-m2/
Bacp-m2-08b_c18.xml
SAT
17
251.783
247.71
4310161
Rcpsp/
Rcpsp-j30-01-01_c18.xml
SAT
43
251.79
247.365
4309991
Bacp/Bacp-m2/
Bacp-m2-05_c18.xml
SAT
9
251.802
247.364
4310162
Knapsack/
Knapsack-50-200-01_c18.xml
SAT
1297
251.809
247.364
4309901
Knapsack/
Knapsack-50-200-00_c18.xml
SAT
960
251.815
247.365
4309900
Auction/Auction-sum/
Auction-sum-decay200_c18.xml
SAT
799824
251.833
247.377
4310209
GraphColoring/
GraphColoring-queen5-5_c18.xml
SAT
4
251.844
247.369
4309920
Bacp/Bacp-m1/
Bacp-m1-10a_c18.xml
SAT
14
251.844
247.372
4310147
Rcpsp/
Rcpsp-j30-01-03_c18.xml
SAT
47
251.855
247.369
4309993
QuadraticAssignment/
QuadraticAssignment-qap_c18.xml
SAT
4776
251.856
247.381
4310037
TravellingSalesman/
TravellingSalesman-100-50-00_c18.xml
SAT
1595
251.879
247.383
4309962
TemplateDesign/
TemplateDesign-m1s-catfood_c18.xml
SAT
2
251.891
247.376
4310100
SumColoring/
SumColoring-1-fullins-4_c18.xml
SAT
109
251.906
247.363
4310109
Auction/Auction-cnt/
Auction-cnt-decay200_c18.xml
SAT
817501
251.928
247.382
4310198
Auction/Auction-cnt/
Auction-cnt-decay400_c18.xml
SAT
1531454
251.944
247.39
4310202
Rcpsp/
Rcpsp-j30-01-02_c18.xml
SAT
47
251.949
247.369
4309992
Bacp/Bacp-m2/
Bacp-m2-10b_c18.xml
SAT
14
251.968
247.361
4310160
Bacp/Bacp-m2/
Bacp-m2-07a_c18.xml
SAT
12
252.009
247.364
4310159
Auction/Auction-cnt/
Auction-cnt-decay500_c18.xml
SAT
1826932
252.042
247.396
4310204
SteelMillSlab/
SteelMillSlab-m2-simple_c18.xml
SAT
0
252.06
247.365
4310082
Solver timed out but found at least a solution (153 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
Tal/
Tal-09_c18.xml
SAT (TO)
138
252.027
245.717
4310091
PseudoBoolean-opt/
Pb-circ4-3_c18.xml
SAT (TO)
20
252.028
246.828
4310014
PizzaVoucher/
PizzaVoucher-15b_c18.xml
SAT (TO)
64
252.028
245.817
4310008
Tal/
Tal-06_c18.xml
SAT (TO)
94
252.03
246.018
4310088
SumColoring/
SumColoring-dsjc-125-1_c18.xml
SAT (TO)
1485
252.031
247.316
4310111
GraphColoring/
GraphColoring-5-fullins-3_c18.xml
SAT (TO)
7
252.031
246.428
4309914
Bacp/Bacp-m2/
Bacp-m2-08a_c18.xml
SAT (TO)
17
252.031
247.322
4310168
LowAutocorrelation/
LowAutocorrelation-025_c18.xml
SAT (TO)
36
252.034
245.725
4310138
Bacp/Bacp-m2/
Bacp-m2-12a-nodv_c18.xml
SAT (TO)
18
252.034
246.128
4310164
Tal/
Tal-04_c18.xml
SAT (TO)
142
252.034
246.016
4310086
StillLife/
StillLife-wastage-10_c18.xml
SAT (TO)
54
252.035
246.217
4309885
Rcpsp/
Rcpsp-j60-01-04_c18.xml
SAT (TO)
91
252.035
247.142
4309998
TravelingTournament/
TravelingTournament-a3-galaxy10_c18.xml
SAT (TO)
5990
252.04
242.731
4309958
Tal/
Tal-10_c18.xml
SAT (TO)
276
252.041
245.618
4310092
NurseRostering/
NurseRostering-03_c18.xml
SAT (TO)
3780
252.042
244.718
4310048
StillLife/
StillLife-wastage-09_c18.xml
SAT (TO)
43
252.043
246.027
4309884
PizzaVoucher/
PizzaVoucher-18b_c18.xml
SAT (TO)
67
252.043
245.827
4310010
Tal/
Tal-02_c18.xml
SAT (TO)
86
252.044
246.328
4310084
SumColoring/
SumColoring-myciel4_c18.xml
SAT (TO)
22
252.045
246.627
4310118
Tal/
Tal-03_c18.xml
SAT (TO)
96
252.046
245.027
4310085
NurseRostering/
NurseRostering-00_c18.xml
SAT (TO)
1202
252.046
245.328
4310045
GraphColoring/
GraphColoring-2-fullins-5_c18.xml
SAT (TO)
6
252.047
244.331
4309910
LowAutocorrelation/
LowAutocorrelation-050_c18.xml
SAT (TO)
345
252.047
244.542
4310145
Mario/
Mario-easy-5_c18.xml
SAT (TO)
445
252.048
247.22
4310124
Rcpsp/
Rcpsp-j120-01-04_c18.xml
SAT (TO)
97
252.048
244.827
4309990
LowAutocorrelation/
LowAutocorrelation-023_c18.xml
SAT (TO)
47
252.049
245.918
4310136
LowAutocorrelation/
LowAutocorrelation-015_c18.xml
SAT (TO)
15
252.049
247.036
4310132
Rlfap/Rlfap-opt/
Rlfap-scen-03-opt_c18.xml
SAT (TO)
46
252.049
247.037
4310181
TravelingTournament/
TravelingTournament-a2-galaxy04_c18.xml
SAT (TO)
517
252.049
246.83
4309948
TravelingTournament/
TravelingTournament-a2-galaxy08_c18.xml
SAT (TO)
3346
252.05
242.83
4309950
Rlfap/Rlfap-opt/
Rlfap-graph-05-opt_c18.xml
SAT (TO)
74620
252.05
244.932
4310178
CrosswordDesign/
CrosswordDesign-04-4-rom_c18.xml
SAT (TO)
24
252.051
246.833
4309922
LowAutocorrelation/
LowAutocorrelation-040_c18.xml
SAT (TO)
188
252.051
245.62
4310144
Rcpsp/
Rcpsp-j90-01-03_c18.xml
SAT (TO)
66
252.051
245.428
4310001
SumColoring/
SumColoring-dsjc-250-5_c18.xml
SAT (TO)
17293
252.051
245.325
4310115
NurseRostering/
NurseRostering-02_c18.xml
SAT (TO)
1749
252.051
245.319
4310047
CrosswordDesign/
CrosswordDesign-06-4-rom_c18.xml
SAT (TO)
40
252.051
239.146
4309924
LowAutocorrelation/
LowAutocorrelation-021_c18.xml
SAT (TO)
26
252.053
245.917
4310134
Rlfap/Rlfap-opt/
Rlfap-graph-07-opt_c18.xml
SAT (TO)
162097
252.054
243.833
4310171
PizzaVoucher/
PizzaVoucher-10a_c18.xml
SAT (TO)
210
252.054
246.417
4310003
TravelingTournament/
TravelingTournament-a2-galaxy14_c18.xml
SAT (TO)
17671
252.054
241.227
4309953
Fapp/Fapp-m2s/
Fapp-m2s-ex2_c18.xml
SAT (TO)
13871
252.054
244.318
4310215
QuadraticAssignment/
QuadraticAssignment-sko56_c18.xml
SAT (TO)
20300
252.054
243.442
4310040
QuadraticAssignment/
QuadraticAssignment-esc128_c18.xml
SAT (TO)
36
252.056
247.332
4310026
SumColoring/
SumColoring-dsjc-250-1_c18.xml
SAT (TO)
13499
252.056
245.029
4310114
Mario/
Mario-n-medium-3_c18.xml
SAT (TO)
943
252.057
246.627
4310126
NurseRostering/
NurseRostering-01_c18.xml
SAT (TO)
607
252.058
245.022
4310046
Bacp/Bacp-m2/
Bacp-m2-07b_c18.xml
SAT (TO)
13
252.058
247.318
4310165
Rcpsp/
Rcpsp-j120-01-02_c18.xml
SAT (TO)
109
252.06
246.726
4309988
Mario/
Mario-t-hard-5_c18.xml
SAT (TO)
4482
252.06
246.72
4310131
PeacableArmies/
PeacableArmies-m1-10_c18.xml
SAT (TO)
13
252.061
247.333
4309936
LowAutocorrelation/
LowAutocorrelation-028_c18.xml
SAT (TO)
70
252.061
245.027
4310141
StillLife/
StillLife-wastage-30_c18.xml
SAT (TO)
364
252.062
246.238
4309895
NurseRostering/
NurseRostering-05_c18.xml
SAT (TO)
5646
252.063
244.52
4310050
Mario/
Mario-t-hard-1_c18.xml
SAT (TO)
4783
252.063
245.527
4310129
Bacp/Bacp-m1/
Bacp-m1-06_c18.xml
SAT (TO)
10
252.063
245.026
4310155
StillLife/
StillLife-wastage-13_c18.xml
SAT (TO)
85
252.064
246.628
4309888
LowAutocorrelation/
LowAutocorrelation-024_c18.xml
SAT (TO)
36
252.065
245.327
4310137
LowAutocorrelation/
LowAutocorrelation-020_c18.xml
SAT (TO)
26
252.066
245.227
4310133
QuadraticAssignment/
QuadraticAssignment-sko81_c18.xml
SAT (TO)
52860
252.068
229.353
4310043
StillLife/
StillLife-wastage-11_c18.xml
SAT (TO)
59
252.068
246.916
4309886
CrosswordDesign/
CrosswordDesign-03-4-rom_c18.xml
SAT (TO)
12
252.07
247.22
4309921
StillLife/
StillLife-wastage-15_c18.xml
SAT (TO)
108
252.07
246.62
4309890
SumColoring/
SumColoring-myciel7_c18.xml
SAT (TO)
2755
252.07
244.427
4310121
Tal/
Tal-05_c18.xml
SAT (TO)
16
252.07
244.723
4310087
Fapp/Fapp-m2s/
Fapp-m2s-ex1_c18.xml
SAT (TO)
523
252.07
245.224
4310227
GraphColoring/
GraphColoring-qg-order30_c18.xml
SAT (TO)
29
252.071
242.233
4309917
Rcpsp/
Rcpsp-j120-01-03_c18.xml
SAT (TO)
127
252.073
247.328
4309989
StillLife/
StillLife-wastage-17_c18.xml
SAT (TO)
135
252.073
246.625
4309891
Mario/
Mario-t-hard-2_c18.xml
SAT (TO)
4850
252.074
245.52
4310130
NurseRostering/
NurseRostering-09_c18.xml
SAT (TO)
11020
252.075
244.046
4310054
PizzaVoucher/
PizzaVoucher-10b_c18.xml
SAT (TO)
28
252.076
246.718
4310004
Bacp/Bacp-m2/
Bacp-m2-06_c18.xml
SAT (TO)
10
252.078
244.916
4310158
TravelingTournament/
TravelingTournament-a3-galaxy16_c18.xml
SAT (TO)
22755
252.079
241.345
4309961
PseudoBoolean-opt/
Pb-radar-30-30-45-050-100_c18.xml
SAT (TO)
1317
252.079
246.631
4310024
LowAutocorrelation/
LowAutocorrelation-026_c18.xml
SAT (TO)
45
252.079
245.618
4310139
Mario/
Mario-n-medium-4_c18.xml
SAT (TO)
832
252.081
246.916
4310127
PeacableArmies/
PeacableArmies-m1-50_c18.xml
SAT (TO)
165
252.081
224.443
4309940
PseudoBoolean-opt/
Pb-circ6-3_c18.xml
SAT (TO)
70
252.082
247.028
4310015
GolombRuler/
GolombRuler-a3v18-09_c18.xml
SAT (TO)
44
252.082
247.127
4309976
TravelingTournament/
TravelingTournament-a2-galaxy10_c18.xml
SAT (TO)
6520
252.083
241.144
4309951
Bacp/Bacp-m2/
Bacp-m2-12b_c18.xml
SAT (TO)
17
252.084
246.719
4310169
Tal/
Tal-07_c18.xml
SAT (TO)
158
252.084
245.823
4310089
SumColoring/
SumColoring-dsjc-250-9_c18.xml
SAT (TO)
18397
252.086
243.727
4310116
PeacableArmies/
PeacableArmies-m1-15_c18.xml
SAT (TO)
25
252.086
245.932
4309937
Rcpsp/
Rcpsp-j90-01-04_c18.xml
SAT (TO)
86
252.087
244.728
4310002
PeacableArmies/
PeacableArmies-m1-07_c18.xml
SAT (TO)
7
252.087
247.04
4309935
PizzaVoucher/
PizzaVoucher-12a_c18.xml
SAT (TO)
49
252.088
246.518
4310005
TravellingSalesman/
TravellingSalesman-150-50-00_c18.xml
SAT (TO)
2640
252.089
244.226
4309964
QuadraticAssignment/
QuadraticAssignment-sko49_c18.xml
SAT (TO)
13882
252.09
245.831
4310039
QuadraticAssignment/
QuadraticAssignment-sko64_c18.xml
SAT (TO)
28222
252.094
238.844
4310041
TravelingTournament/
TravelingTournament-a2-galaxy12_c18.xml
SAT (TO)
11149
252.094
240.236
4309952
SumColoring/
SumColoring-dsjc-125-5_c18.xml
SAT (TO)
3039
252.095
246.037
4310112
Rcpsp/
Rcpsp-j60-01-01_c18.xml
SAT (TO)
77
252.095
246.929
4309995
Rcpsp/
Rcpsp-j60-01-02_c18.xml
SAT (TO)
68
252.096
246.63
4309996
StillLife/
StillLife-wastage-08_c18.xml
SAT (TO)
36
252.097
245.626
4309883
Rlfap/Rlfap-opt/
Rlfap-graph-03-opt_c18.xml
SAT (TO)
792
252.098
246.033
4310193
NurseRostering/
NurseRostering-04_c18.xml
SAT (TO)
4305
252.099
244.818
4310049
Bacp/Bacp-m2/
Bacp-m2-10a-nodv_c18.xml
SAT (TO)
14
252.1
246.917
4310163
Bacp/Bacp-m2/
Bacp-m2-10a_c18.xml
SAT (TO)
14
252.1
246.619
4310167
PeacableArmies/
PeacableArmies-m2-05_c18.xml
SAT (TO)
4
252.1
246.517
4309941
SumColoring/
SumColoring-1-fullins-5_c18.xml
SAT (TO)
11673
252.102
245.52
4310110
SumColoring/
SumColoring-1-fullins-3_c18.xml
SAT (TO)
24
252.103
246.518
4310108
TravelingTournament/
TravelingTournament-a2-galaxy06_c18.xml
SAT (TO)
1605
252.103
243.717
4309949
Rcpsp/
Rcpsp-j60-01-03_c18.xml
SAT (TO)
68
252.103
246.617
4309997
LowAutocorrelation/
LowAutocorrelation-027_c18.xml
SAT (TO)
69
252.103
245.618
4310140
Auction/Auction-sum/
Auction-sum-decay500_c18.xml
SAT (TO)
1845351
252.104
246.929
4310205
TravelingTournament/
TravelingTournament-a3-galaxy14_c18.xml
SAT (TO)
16135
252.104
240.734
4309960
TemplateDesign/
TemplateDesign-m2-catfood_c18.xml
SAT (TO)
2
252.104
246.319
4310105
QuadraticAssignment/
QuadraticAssignment-sko90_c18.xml
SAT (TO)
67345
252.104
218.973
4310044
CrosswordDesign/
CrosswordDesign-05-4-rom_c18.xml
SAT (TO)
38
252.104
247.129
4309923
PizzaVoucher/
PizzaVoucher-12b_c18.xml
SAT (TO)
43
252.105
245.618
4310006
LowAutocorrelation/
LowAutocorrelation-030_c18.xml
SAT (TO)
83
252.106
245.623
4310142
Rcpsp/
Rcpsp-j90-01-02_c18.xml
SAT (TO)
92
252.107
246.328
4310000
SumColoring/
SumColoring-dsjc-125-9_c18.xml
SAT (TO)
3925
252.107
247.027
4310113
TravelingTournament/
TravelingTournament-a3-galaxy08_c18.xml
SAT (TO)
3084
252.107
243.129
4309957
PizzaVoucher/
PizzaVoucher-15a_c18.xml
SAT (TO)
55
252.109
246.039
4310007
Rcpsp/
Rcpsp-j90-01-01_c18.xml
SAT (TO)
73
252.109
245.038
4309999
Mario/
Mario-easy-4_c18.xml
SAT (TO)
545
252.11
247.041
4310123
TravellingSalesman/
TravellingSalesman-10-20-00_c18.xml
SAT (TO)
47
252.11
247.22
4309963
PeacableArmies/
PeacableArmies-m1-30_c18.xml
SAT (TO)
69
252.11
241.742
4309939
Rlfap/Rlfap-opt/
Rlfap-scen-10-opt_c18.xml
SAT (TO)
9067350
252.111
241.065
4310184
SteelMillSlab/
SteelMillSlab-m2s-4-0_c18.xml
SAT (TO)
314
252.111
239.658
4310081
GraphColoring/
GraphColoring-3-fullins-5_c18.xml
SAT (TO)
1479
252.111
238.239
4309911
SumColoring/
SumColoring-myciel6_c18.xml
SAT (TO)
285
252.112
246.616
4310120
Bacp/Bacp-m2/
Bacp-m2-12a_c18.xml
SAT (TO)
17
252.112
247.028
4310166
Rlfap/Rlfap-opt/
Rlfap-scen-05-opt_c18.xml
SAT (TO)
792
252.112
243.83
4310175
QuadraticAssignment/
QuadraticAssignment-sko42_c18.xml
SAT (TO)
9353
252.115
246.845
4310038
GraphColoring/
GraphColoring-4-fullins-5_c18.xml
SAT (TO)
4113
252.117
214.18
4309913
Mario/
Mario-n-medium-5_c18.xml
SAT (TO)
771
252.118
246.619
4310128
LowAutocorrelation/
LowAutocorrelation-035_c18.xml
SAT (TO)
129
252.119
245.127
4310143
StillLife/
StillLife-wastage-12_c18.xml
SAT (TO)
73
252.12
246.821
4309887
StillLife/
StillLife-wastage-19_c18.xml
SAT (TO)
161
252.121
246.421
4309892
GolombRuler/
GolombRuler-a3v18-10_c18.xml
SAT (TO)
55
252.122
247.327
4309977
TravelingTournament/
TravelingTournament-a3-galaxy06_c18.xml
SAT (TO)
1444
252.123
244.433
4309956
TravelingTournament/
TravelingTournament-a3-galaxy04_c18.xml
SAT (TO)
416
252.123
246.819
4309955
GraphColoring/
GraphColoring-qg-order40_c18.xml
SAT (TO)
1266
252.124
235.459
4309918
Rlfap/Rlfap-opt/
Rlfap-scen-09-opt_c18.xml
SAT (TO)
417128
252.126
243.541
4310172
GraphColoring/
GraphColoring-5-fullins-4_c18.xml
SAT (TO)
8
252.126
244.141
4309915
QuadraticAssignment/
QuadraticAssignment-sko72_c18.xml
SAT (TO)
38323
252.127
234.742
4310042
Tal/
Tal-08_c18.xml
SAT (TO)
194
252.128
245.518
4310090
StillLife/
StillLife-wastage-14_c18.xml
SAT (TO)
82
252.13
246.722
4309889
StillLife/
StillLife-wastage-25_c18.xml
SAT (TO)
256
252.13
247.05
4309894
LowAutocorrelation/
LowAutocorrelation-022_c18.xml
SAT (TO)
39
252.131
245.818
4310135
PseudoBoolean-opt/
Pb-garden-100x100_c18.xml
SAT (TO)
5268
252.132
244.935
4310017
PeacableArmies/
PeacableArmies-m1-20_c18.xml
SAT (TO)
35
252.133
244.533
4309938
TravelingTournament/
TravelingTournament-a3-galaxy12_c18.xml
SAT (TO)
10069
252.138
242.428
4309959
GraphColoring/
GraphColoring-4-fullins-4_c18.xml
SAT (TO)
7
252.138
246.731
4309912
PseudoBoolean-opt/
Pb-radar-30-70-45-050-100_c18.xml
SAT (TO)
3342
252.156
243.439
4310025
SteelMillSlab/
SteelMillSlab-m2s-2-2_c18.xml
SAT (TO)
1116
252.162
239.567
4310078
SteelMillSlab/
SteelMillSlab-m2s-3-0_c18.xml
SAT (TO)
377
252.173
239.658
4310079
SteelMillSlab/
SteelMillSlab-m2s-3-2_c18.xml
SAT (TO)
549
252.178
239.264
4310080
StillLife/
StillLife-wastage-21_c18.xml
SAT (TO)
181
252.441
247.386
4309893
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
?
70.6921
23.5583
4309926
CrosswordDesign/
CrosswordDesign-10-4-rom_c18.xml
?
70.838
25.3954
4309928
CrosswordDesign/
CrosswordDesign-14-4-rom_c18.xml
?
72.1732
28.4157
4309932
CrosswordDesign/
CrosswordDesign-13-4-rom_c18.xml
?
72.2438
27.7602
4309931
CrosswordDesign/
CrosswordDesign-12-4-rom_c18.xml
?
74.2996
28.669
4309930
CrosswordDesign/
CrosswordDesign-11-4-rom_c18.xml
?
75.592
27.2326
4309929
CrosswordDesign/
CrosswordDesign-09-4-rom_c18.xml
?
76.2342
25.8015
4309927
CrosswordDesign/
CrosswordDesign-15-4-rom_c18.xml
?
77.3828
30.8665
4309933
CrosswordDesign/
CrosswordDesign-07-4-rom_c18.xml
?
77.557
25.6613
4309925
TemplateDesign/
TemplateDesign-m2-herbs_c18.xml
?
251.028
247.363
4310106
TemplateDesign/
TemplateDesign-m2-magazine_c18.xml
?
251.504
247.362
4310107
Rlfap/Rlfap-opt/
Rlfap-graph-08-opt_c18.xml
?
251.726
247.384
4310191
Rlfap/Rlfap-opt/
Rlfap-graph-14-opt_c18.xml
?
251.881
247.466
4310194
Rlfap/Rlfap-opt/
Rlfap-scen-04-opt_c18.xml
?
251.886
247.381
4310174
Rlfap/Rlfap-opt/
Rlfap-graph-09-opt_c18.xml
?
251.893
247.51
4310176
Rlfap/Rlfap-opt/
Rlfap-scen-11-opt_c18.xml
?
251.929
247.495
4310190
Solver timed out (no solution given) (68 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
NurseRostering/
NurseRostering-07_c18.xml
? (TO)
252.024
245.32
4310052
TravelingTournament/
TravelingTournament-a2-galaxy16_c18.xml
? (TO)
252.033
241.037
4309954
TemplateDesign/
TemplateDesign-m1s-herbs_c18.xml
? (TO)
252.033
247.118
4310101
Rlfap/Rlfap-opt/
Rlfap-graph-12-opt_c18.xml
? (TO)
252.034
244.122
4310179
TemplateDesign/
TemplateDesign-m1-herbs_c18.xml
? (TO)
252.034
247.126
4310096
Rlfap/Rlfap-opt/
Rlfap-scen-01-opt_c18.xml
? (TO)
252.035
247.315
4310189
SteelMillSlab/
SteelMillSlab-m2-2-2_c18.xml
? (TO)
252.038
240.531
4310073
Rlfap/Rlfap-opt/
Rlfap-graph-04-opt_c18.xml
? (TO)
252.038
245.716
4310180
PizzaVoucher/
PizzaVoucher-18a_c18.xml
? (TO)
252.04
246.616
4310009
SteelMillSlab/
SteelMillSlab-m2s-2-0_c18.xml
? (TO)
252.04
242.137
4310077
PseudoBoolean-opt/
Pb-circ10-3_c18.xml
? (TO)
252.041
244.137
4310013
NurseRostering/
NurseRostering-11_c18.xml
? (TO)
252.042
242.724
4310056
Fapp/Fapp-m2s/
Fapp-m2s-test02-0250_c18.xml
? (TO)
252.043
233.979
4310232
SteelMillSlab/
SteelMillSlab-m2-2-0_c18.xml
? (TO)
252.043
241.628
4310072
SteelMillSlab/
SteelMillSlab-m2-4-0_c18.xml
? (TO)
252.045
241.528
4310076
NurseRostering/
NurseRostering-08_c18.xml
? (TO)
252.046
244.221
4310053
Fapp/Fapp-m2s/
Fapp-m2s-20-0420_c18.xml
? (TO)
252.046
228.233
4310228
NurseRostering/
NurseRostering-10_c18.xml
? (TO)
252.047
244.623
4310055
NurseRostering/
NurseRostering-06_c18.xml
? (TO)
252.048
245.418
4310051
NurseRostering/
NurseRostering-14_c18.xml
? (TO)
252.053
243.925
4310059
PeacableArmies/
PeacableArmies-m2-50_c18.xml
? (TO)
252.053
238.64
4309947
TemplateDesign/
TemplateDesign-m1s-magazine_c18.xml
? (TO)
252.056
245.417
4310102
SteelMillSlab/
SteelMillSlab-m1-3-0_c18.xml
? (TO)
252.058
247.216
4310068
Rlfap/Rlfap-opt/
Rlfap-graph-10-opt_c18.xml
? (TO)
252.059
245.919
4310170
SteelMillSlab/
SteelMillSlab-m2-3-0_c18.xml
? (TO)
252.06
240.631
4310074
NurseRostering/
NurseRostering-16_c18.xml
? (TO)
252.061
244.523
4310061
SteelMillSlab/
SteelMillSlab-m1-4-0_c18.xml
? (TO)
252.064
246.814
4310070
Rlfap/Rlfap-opt/
Rlfap-graph-11-opt_c18.xml
? (TO)
252.066
243.922
4310187
Fapp/Fapp-m2s/
Fapp-m2s-18-0350_c18.xml
? (TO)
252.069
233.533
4310223
SteelMillSlab/
SteelMillSlab-m1-3-2_c18.xml
? (TO)
252.069
247.124
4310069
Fapp/Fapp-m2s/
Fapp-m2s-05-0350_c18.xml
? (TO)
252.071
224.335
4310225
TemplateDesign/
TemplateDesign-m1-magazine_c18.xml
? (TO)
252.072
245.516
4310097
PizzaVoucher/
PizzaVoucher-22b_c18.xml
? (TO)
252.073
246.318
4310012
NurseRostering/
NurseRostering-13_c18.xml
? (TO)
252.076
233.542
4310058
SteelMillSlab/
SteelMillSlab-m1-2-0_c18.xml
? (TO)
252.081
246.716
4310066
PeacableArmies/
PeacableArmies-m2-10_c18.xml
? (TO)
252.082
246.915
4309943
NurseRostering/
NurseRostering-15_c18.xml
? (TO)
252.082
241.523
4310060
PeacableArmies/
PeacableArmies-m2-30_c18.xml
? (TO)
252.083
241.929
4309946
NurseRostering/
NurseRostering-17_c18.xml
? (TO)
252.086
242.328
4310062
Fapp/Fapp-m2s/
Fapp-m2s-06-0500_c18.xml
? (TO)
252.086
214.639
4310230
Rlfap/Rlfap-opt/
Rlfap-scen-06-opt_c18.xml
? (TO)
252.087
245.315
4310188
SteelMillSlab/
SteelMillSlab-m2-3-2_c18.xml
? (TO)
252.091
240.529
4310075
Fapp/Fapp-m2s/
Fapp-m2s-test01-0150_c18.xml
? (TO)
252.093
240.233
4310224
Rlfap/Rlfap-opt/
Rlfap-scen-08-opt_c18.xml
? (TO)
252.094
243.425
4310183
PeacableArmies/
PeacableArmies-m2-15_c18.xml
? (TO)
252.094
245.815
4309944
Fapp/Fapp-m2s/
Fapp-m2s-02-0250_c18.xml
? (TO)
252.095
237.145
4310217
Fapp/Fapp-m2s/
Fapp-m2s-08-0700_c18.xml
? (TO)
252.096
205.638
4310220
Fapp/Fapp-m2s/
Fapp-m2s-16-0260_c18.xml
? (TO)
252.1
232.838
4310218
Fapp/Fapp-m2s/
Fapp-m2s-03-0300_c18.xml
? (TO)
252.1
228.634
4310221
Fapp/Fapp-m2s/
Fapp-m2s-04-0300_c18.xml
? (TO)
252.102
231.833
4310219
PseudoBoolean-opt/
Pb-circ8-3_c18.xml
? (TO)
252.102
245.43
4310016
PizzaVoucher/
PizzaVoucher-22a_c18.xml
? (TO)
252.105
246.617
4310011
NurseRostering/
NurseRostering-19_c18.xml
? (TO)
252.109
237.233
4310064
Fapp/Fapp-m2s/
Fapp-m2s-01-0200_c18.xml
? (TO)
252.11
241.935
4310216
Fapp/Fapp-m2s/
Fapp-m2s-21-0500_c18.xml
? (TO)
252.11
237.232
4310222
SteelMillSlab/
SteelMillSlab-m1-2-2_c18.xml
? (TO)
252.113
246.816
4310067
NurseRostering/
NurseRostering-12_c18.xml
? (TO)
252.113
241.425
4310057
Rlfap/Rlfap-opt/
Rlfap-graph-13-opt_c18.xml
? (TO)
252.115
243.036
4310192
Rlfap/Rlfap-opt/
Rlfap-scen-07-opt_c18.xml
? (TO)
252.119
223.067
4310186
NurseRostering/
NurseRostering-18_c18.xml
? (TO)
252.126
242.922
4310063
Rlfap/Rlfap-opt/
Rlfap-graph-06-opt_c18.xml
? (TO)
252.126
245.419
4310182
Fapp/Fapp-m2s/
Fapp-m2s-17-0300_c18.xml
? (TO)
252.127
231.935
4310231
PeacableArmies/
PeacableArmies-m2-20_c18.xml
? (TO)
252.131
245.42
4309945
Fapp/Fapp-m2s/
Fapp-m2s-test03-0400_c18.xml
? (TO)
252.136
225.836
4310226
Fapp/Fapp-m2s/
Fapp-m2s-07-0600_c18.xml
? (TO)
252.145
185.846
4310229
NurseRostering/
NurseRostering-20_c18.xml
? (TO)
252.16
227.084
4310065
GraphColoring/
GraphColoring-qg-order60_c18.xml
? (TO)
253.995
92.4751
4309919
GraphColoring/
GraphColoring-qg-order100_c18.xml
? (TO)
257.218
104.297
4309916