PB'11 competition: WBO track: benchmarks results per solver
Result page for solver clasp
2.0-RC2
(complete)
Category "only soft constraints, small integers, linear constraints" (SOFT-SMALLINT-LIN)
Solver found the best solution (163 runs)
[Show/Hide]
Benchmark Name
Answer
cost of falsified constraints
CPU time
Wall clock time
TraceID
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-elf.rf6.ucl--soft-0-100-0.wbo
OPTIMUM
2
0.000999
0.00584811
3448066
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-floppy1-4.ucl--soft-0-100-0.wbo
OPTIMUM
18
0.003999
0.00583102
3448057
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-floppy1-3.ucl--soft-0-100-0.wbo
OPTIMUM
4
0.004998
0.00587995
3448059
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-floppy1-2.ucl--soft-0-100-0.wbo
OPTIMUM
2
0.012998
0.0134711
3448062
/SOFT-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j308_1-unsat--soft-0-100-0.wbo
OPTIMUM
19
0.025995
0.027479
3448081
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-44s.smv--soft-0-100-0.wbo
OPTIMUM
2
0.028994
0.0286591
3448052
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-elf.rf7.ucl--soft-0-100-0.wbo
OPTIMUM
1
0.037993
0.0398369
3448054
/SOFT-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j301_4-unsat--soft-0-100-0.wbo
OPTIMUM
8
0.039993
0.0412199
3448077
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-cache.inv8.ucl--soft-0-100-0.wbo
OPTIMUM
16
0.042992
0.0436099
3448069
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf6.ucl--soft-0-100-0.wbo
OPTIMUM
1
0.047992
0.0485621
3448070
/SOFT-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j3046_4-unsat--soft-0-100-0.wbo
OPTIMUM
1
0.052991
0.0535319
3448079
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-37s.smv--soft-0-100-0.wbo
OPTIMUM
1
0.062989
0.0621151
3448074
/SOFT-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j602_7-unsat--soft-0-100-0.wbo
OPTIMUM
1
0.066989
0.0683919
3448082
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-floppy1-6.ucl--soft-0-100-0.wbo
OPTIMUM
1
0.074988
0.0772611
3448055
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-46s.smv--soft-0-100-0.wbo
OPTIMUM
1
0.215966
0.216128
3448075
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf7.ucl--soft-0-100-0.wbo
OPTIMUM
1
0.258959
0.260164
3448058
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-elf.rf8.ucl--soft-0-100-0.wbo
OPTIMUM
1
0.303953
0.303782
3448072
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-25s.smv--soft-0-100-0.wbo
OPTIMUM
1
0.354945
0.355018
3448051
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-tlan2.ucl--soft-0-100-0.wbo
OPTIMUM
1
0.447931
0.448353
3448063
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.4.accl.ucl--soft-0-100-0.wbo
OPTIMUM
1
0.499923
0.500159
3448073
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-dlx1c.ucl--soft-0-100-0.wbo
OPTIMUM
1
1.10283
1.10414
3448060
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf8.ucl--soft-0-100-0.wbo
OPTIMUM
1
1.21681
1.21895
3448064
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-22s.smv--soft-0-100-0.wbo
OPTIMUM
1
1.26781
1.26931
3448065
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111226368--soft-0-100-0.wbo
OPTIMUM
1
1.27681
1.27732
3448143
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-43s.smv--soft-0-100-0.wbo
OPTIMUM
1
1.35079
1.35111
3448061
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111216823--soft-0-100-0.wbo
OPTIMUM
1
1.49277
1.49385
3448159
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.2.accl.ucl--soft-0-100-0.wbo
OPTIMUM
1
1.52677
1.52704
3448068
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110974180--soft-0-100-0.wbo
OPTIMUM
1
1.81672
1.81779
3448152
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111227326--soft-0-100-0.wbo
OPTIMUM
2
1.84972
1.84993
3448177
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110973670--soft-0-100-0.wbo
OPTIMUM
1
1.87871
1.87907
3448184
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110971697--soft-0-100-0.wbo
OPTIMUM
1
1.88971
1.88969
3448134
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111223004--soft-0-100-0.wbo
OPTIMUM
1
1.91971
1.91969
3448127
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224255--soft-0-100-0.wbo
OPTIMUM
1
1.92971
1.93054
3448183
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110976935--soft-0-100-0.wbo
OPTIMUM
2
2.31965
2.31929
3448136
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111225122--soft-0-100-0.wbo
OPTIMUM
2
2.46662
2.4663
3448153
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111223220--soft-0-100-0.wbo
OPTIMUM
1
2.51262
2.51298
3448173
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111221203--soft-0-100-0.wbo
OPTIMUM
1
2.53561
2.53633
3448172
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110977273--soft-0-100-0.wbo
OPTIMUM
1
2.53961
2.54029
3448149
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111217392--soft-0-100-0.wbo
OPTIMUM
2
2.54961
2.55055
3448131
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110969860--soft-0-100-0.wbo
OPTIMUM
1
2.57961
2.58017
3448128
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111220546--soft-0-100-0.wbo
OPTIMUM
2
2.6066
2.60913
3448162
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111212272--soft-0-100-0.wbo
OPTIMUM
5
2.88356
2.88444
3447990
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110972763--soft-0-100-0.wbo
OPTIMUM
1
2.99354
2.99369
3448167
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111217555--soft-0-100-0.wbo
OPTIMUM
1
3.02754
3.02809
3448124
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110973364--soft-0-100-0.wbo
OPTIMUM
2
3.06553
3.06601
3448130
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110975965--soft-0-100-0.wbo
OPTIMUM
1
3.2645
3.26564
3448178
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111219348--soft-0-100-0.wbo
OPTIMUM
2
3.3095
3.31048
3448181
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.tag8.ucl--soft-0-100-0.wbo
OPTIMUM
1
3.34049
3.34036
3448053
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110972154--soft-0-100-0.wbo
OPTIMUM
1
3.37849
3.37818
3448158
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111216411--soft-0-100-0.wbo
OPTIMUM
2
3.47247
3.47331
3448125
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111225605--soft-0-100-0.wbo
OPTIMUM
2
3.50147
3.50121
3448188
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111222539--soft-0-100-0.wbo
OPTIMUM
2
3.58745
3.58842
3448189
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111213868--soft-0-100-0.wbo
OPTIMUM
2
3.81842
3.81865
3448169
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111226062--soft-0-100-0.wbo
OPTIMUM
3
3.87841
3.87887
3448148
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110966688--soft-0-100-0.wbo
OPTIMUM
9
3.9324
3.9324
3448156
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110968094--soft-0-100-0.wbo
OPTIMUM
9
4.00239
4.0028
3448155
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110978334--soft-0-100-0.wbo
OPTIMUM
9
4.09238
4.09381
3448170
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218308--soft-0-100-0.wbo
OPTIMUM
1
4.13037
4.13021
3448154
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110967523--soft-0-100-0.wbo
OPTIMUM
3
4.18636
4.18674
3448151
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111219799--soft-0-100-0.wbo
OPTIMUM
9
4.19336
4.19323
3448171
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111212476--soft-0-100-0.wbo
OPTIMUM
2
4.26635
4.26608
3448133
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111220019--soft-0-100-0.wbo
OPTIMUM
2
4.27135
4.27135
3448163
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111212923--soft-0-100-0.wbo
OPTIMUM
3
4.31234
4.31385
3448132
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218955--soft-0-100-0.wbo
OPTIMUM
9
4.32734
4.32667
3447989
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111222257--soft-0-100-0.wbo
OPTIMUM
3
4.33234
4.33349
3448144
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110975607--soft-0-100-0.wbo
OPTIMUM
9
4.43233
4.4327
3448166
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110969577--soft-0-100-0.wbo
OPTIMUM
4
4.50331
4.50387
3448147
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110968561--soft-0-100-0.wbo
OPTIMUM
3
4.51031
4.51204
3448185
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224451--soft-0-100-0.wbo
OPTIMUM
9
4.64629
4.64578
3448180
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111228076--soft-0-100-0.wbo
OPTIMUM
3
5.15921
5.15935
3448174
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111221624--soft-0-100-0.wbo
OPTIMUM
2
5.17521
5.17518
3448138
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110968898--soft-0-100-0.wbo
OPTIMUM
3
5.2532
5.25446
3448165
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110978113--soft-0-100-0.wbo
OPTIMUM
9
5.30119
5.30111
3448168
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111220767--soft-0-100-0.wbo
OPTIMUM
3
5.70513
5.70539
3448141
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111226680--soft-0-100-0.wbo
OPTIMUM
3
6.12807
6.12891
3448137
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110971363--soft-0-100-0.wbo
OPTIMUM
4
6.17206
6.17308
3448175
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111227012--soft-0-100-0.wbo
OPTIMUM
5
6.602
6.60148
3448187
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-floppy1-7.ucl--soft-0-100-0.wbo
OPTIMUM
1
6.91595
6.9174
3448056
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110967142--soft-0-100-0.wbo
OPTIMUM
9
7.11092
7.1131
3448179
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224059--soft-0-100-0.wbo
OPTIMUM
9
7.39487
7.3944
3448140
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900552423--soft-0-100-0.wbo
OPTIMUM
5
11.1063
11.1067
3447991
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224929--soft-0-100-0.wbo
OPTIMUM
8
11.2053
11.2065
3448157
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111227861--soft-0-100-0.wbo
OPTIMUM
7
12.856
12.8557
3448139
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218757--soft-0-100-0.wbo
OPTIMUM
20
12.923
12.9226
3448182
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110970444--soft-0-100-0.wbo
OPTIMUM
8
13.9349
13.9339
3448145
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-floppy1-8.ucl--soft-0-100-0.wbo
OPTIMUM
1
14.1438
14.1438
3448071
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110967729--soft-0-100-0.wbo
OPTIMUM
10
14.8547
14.8545
3448126
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110976157--soft-0-100-0.wbo
OPTIMUM
9
16.0456
16.0485
3448176
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111213670--soft-0-100-0.wbo
OPTIMUM
10
17.1314
17.1346
3448164
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.3.accl.ucl--soft-0-100-0.wbo
OPTIMUM
1
18.7881
18.7913
3448067
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110976730--soft-0-100-0.wbo
OPTIMUM
10
19.757
19.7596
3448142
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110969170--soft-0-100-0.wbo
OPTIMUM
17
20.6369
20.6363
3448135
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900563801--soft-0-100-0.wbo
OPTIMUM
1
22.7635
22.7633
3448023
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900554420--soft-0-100-0.wbo
OPTIMUM
1
23.0755
23.0764
3448021
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218024--soft-0-100-0.wbo
OPTIMUM
10
25.3621
25.3636
3448160
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900551864--soft-0-100-0.wbo
OPTIMUM
1
25.6171
25.6168
3447992
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110970631--soft-0-100-0.wbo
OPTIMUM
16
26.9089
26.9086
3448150
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110973163--soft-0-100-0.wbo
OPTIMUM
16
27.2749
27.2781
3448129
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110977780--soft-0-100-0.wbo
OPTIMUM
10
28.2867
28.2877
3448186
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110974372--soft-0-100-0.wbo
OPTIMUM
36
29.2256
29.2258
3448146
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900575442--soft-0-100-0.wbo
OPTIMUM
1
31.1083
31.1101
3448031
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110966483--soft-0-100-0.wbo
OPTIMUM
19
32.2301
32.2304
3448161
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-11-10--soft-0-100-0.wbo
OPTIMUM
1
34.7947
34.7945
3448111
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900574864--soft-0-100-0.wbo
OPTIMUM
1
36.1265
36.1287
3448012
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900567135--soft-0-100-0.wbo
OPTIMUM
1
39.244
39.2491
3448008
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900564824--soft-0-100-0.wbo
OPTIMUM
8
39.443
39.4412
3447999
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900562192--soft-0-100-0.wbo
OPTIMUM
1
43.2854
43.286
3448001
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900554072--soft-0-100-0.wbo
OPTIMUM
1
43.6604
43.6617
3448005
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900546076--soft-0-100-0.wbo
OPTIMUM
3
46.232
46.234
3448035
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900670675--soft-0-100-0.wbo
OPTIMUM
2
52.0101
52.0088
3448026
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900551347--soft-0-100-0.wbo
OPTIMUM
2
53.2789
53.2844
3448003
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900558106--soft-0-100-0.wbo
OPTIMUM
7
56.9743
56.9725
3448034
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900553812--soft-0-100-0.wbo
OPTIMUM
3
60.7228
60.7249
3448013
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900670167--soft-0-100-0.wbo
OPTIMUM
1
61.4907
61.4905
3448046
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900564281--soft-0-100-0.wbo
OPTIMUM
2
61.6476
61.6451
3448048
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900556231--soft-0-100-0.wbo
OPTIMUM
1
64.4622
64.4627
3448009
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-15-10--soft-0-100-0.wbo
OPTIMUM
2
64.8871
64.8849
3448114
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900669797--soft-0-100-0.wbo
OPTIMUM
1
65.911
65.9132
3448040
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900567024--soft-0-100-0.wbo
OPTIMUM
3
66.6779
66.6775
3448006
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl10_15_pb.cnf.cr--soft-0-100-0.wbo
OPTIMUM
6
67.3718
67.3705
3448103
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900566157--soft-0-100-0.wbo
OPTIMUM
1
67.8797
67.8784
3448033
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900544484--soft-0-100-0.wbo
OPTIMUM
1
68.6096
68.6066
3448015
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900581320--soft-0-100-0.wbo
OPTIMUM
1
69.4274
69.4298
3448025
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900545610--soft-0-100-0.wbo
OPTIMUM
1
69.9404
69.9386
3448038
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900582300--soft-0-100-0.wbo
OPTIMUM
1
71.0972
71.0956
3448029
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl10_11_pb.cnf.cr--soft-0-100-0.wbo
OPTIMUM
9
75.1946
75.1954
3448088
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900571132--soft-0-100-0.wbo
OPTIMUM
1
79.208
79.2113
3448010
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900557362--soft-0-100-0.wbo
OPTIMUM
5
79.7219
79.7236
3448042
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900570242--soft-0-100-0.wbo
OPTIMUM
5
80.6567
80.6551
3448044
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl10_20_pb.cnf.cr--soft-0-100-0.wbo
OPTIMUM
7
84.7221
84.7219
3448087
/SOFT-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j3041_4-unsat--soft-0-100-0.wbo
OPTIMUM
4
88.3906
88.3879
3448078
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900546417--soft-0-100-0.wbo
OPTIMUM
1
97.4932
97.4903
3448017
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900547389--soft-0-100-0.wbo
OPTIMUM
1
98.1011
98.099
3447996
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900583053--soft-0-100-0.wbo
OPTIMUM
1
102.059
102.059
3448050
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900584219--soft-0-100-0.wbo
OPTIMUM
2
104.093
104.09
3448049
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900552288--soft-0-100-0.wbo
OPTIMUM
1
106.711
106.709
3448000
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900563250--soft-0-100-0.wbo
OPTIMUM
1
109.424
109.422
3448016
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900568186--soft-0-100-0.wbo
OPTIMUM
3
109.698
109.696
3448007
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900667195--soft-0-100-0.wbo
OPTIMUM
1
109.938
109.936
3448036
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900553647--soft-0-100-0.wbo
OPTIMUM
1
110.462
110.459
3447997
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900573137--soft-0-100-0.wbo
OPTIMUM
1
112.728
112.726
3448014
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900584106--soft-0-100-0.wbo
OPTIMUM
7
114.135
114.134
3448024
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900568706--soft-0-100-0.wbo
OPTIMUM
1
115.464
115.461
3447998
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900576151--soft-0-100-0.wbo
OPTIMUM
1
119.316
119.311
3448045
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900576360--soft-0-100-0.wbo
OPTIMUM
2
119.676
119.682
3448041
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900557574--soft-0-100-0.wbo
OPTIMUM
6
122.111
122.111
3447993
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900559676--soft-0-100-0.wbo
OPTIMUM
1
128.587
128.592
3448037
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900550720--soft-0-100-0.wbo
OPTIMUM
1
130.063
130.061
3448018
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900576927--soft-0-100-0.wbo
OPTIMUM
1
130.802
130.807
3448011
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900550006--soft-0-100-0.wbo
OPTIMUM
1
130.847
130.844
3448002
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900569834--soft-0-100-0.wbo
OPTIMUM
4
133.178
133.18
3448047
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900573901--soft-0-100-0.wbo
OPTIMUM
1
133.991
133.988
3448043
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900557957--soft-0-100-0.wbo
OPTIMUM
3
145.4
145.409
3448028
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900552735--soft-0-100-0.wbo
OPTIMUM
4
149.542
149.539
3448027
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900565534--soft-0-100-0.wbo
OPTIMUM
1
149.691
149.686
3448020
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900571761--soft-0-100-0.wbo
OPTIMUM
2
170.65
170.698
3448019
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900577940--soft-0-100-0.wbo
OPTIMUM
1
179.526
179.52
3448039
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900567985--soft-0-100-0.wbo
OPTIMUM
1
181.599
181.595
3447994
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900558739--soft-0-100-0.wbo
OPTIMUM
1
185.866
185.869
3447995
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900579996--soft-0-100-0.wbo
OPTIMUM
1
201.797
201.79
3448030
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900670234--soft-0-100-0.wbo
OPTIMUM
1
211.292
211.29
3448004
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900561288--soft-0-100-0.wbo
OPTIMUM
1
224.237
224.235
3448022
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900548667--soft-0-100-0.wbo
OPTIMUM
1
225.076
225.073
3448032
Solver timed out but found at least a solution (38 runs)
[Show/Hide]
Benchmark Name
Answer
cost of falsified constraints
CPU time
Wall clock time
TraceID
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_35_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
3051
1800.04
1800.01
3448097
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-31-30--soft-0-100-0.wbo
MSAT (TO)
1350
1800.05
1800.01
3448108
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_30_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
2466
1800.05
1800.01
3448093
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-81-80--soft-0-100-0.wbo
MSAT (TO)
4506
1800.05
1800.02
3448117
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-105-100--soft-0-100-0.wbo
MSAT (TO)
5428
1800.05
1800.02
3448119
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_45_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
4357
1800.05
1800.01
3448092
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_41_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
3863
1800.05
1800.01
3448102
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-101-100--soft-0-100-0.wbo
MSAT (TO)
4701
1800.05
1800.02
3448118
/SOFT-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j309_10-unsat--soft-0-100-0.wbo
MSAT (TO)
4822
1800.05
1800.01
3448076
/SOFT-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j3029_8-unsat--soft-0-100-0.wbo
MSAT (TO)
5369
1800.05
1800.01
3448080
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_16_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
1106
1800.05
1800.01
3448090
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_45_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
3964
1800.05
1800.01
3448085
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_40_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
3466
1800.05
1800.01
3448099
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-55-50--soft-0-100-0.wbo
MSAT (TO)
2940
1800.05
1800.01
3448104
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-25-20--soft-0-100-0.wbo
MSAT (TO)
732
1800.05
1800.01
3448123
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_25_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
2338
1800.05
1800.01
3448098
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_36_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
3251
1800.05
1800.01
3448101
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_51_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
5028
1800.05
1800.01
3448100
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_50_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
5017
1800.05
1800.01
3448095
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-41-40--soft-0-100-0.wbo
MSAT (TO)
2084
1800.06
1800.01
3448105
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_60_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
6064
1800.06
1800.01
3448089
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_25_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
1981
1800.06
1800.01
3448091
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_31_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
2784
1800.06
1800.01
3448096
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-61-60--soft-0-100-0.wbo
MSAT (TO)
2874
1800.06
1800.01
3448113
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_55_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
5438
1800.06
1800.01
3448094
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-71-70--soft-0-100-0.wbo
MSAT (TO)
3879
1800.06
1800.01
3448107
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-75-70--soft-0-100-0.wbo
MSAT (TO)
3683
1800.06
1800.01
3448115
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_20_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
1409
1800.07
1800.01
3448083
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-95-90--soft-0-100-0.wbo
MSAT (TO)
5046
1800.07
1800.01
3448106
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-21-20--soft-0-100-0.wbo
MSAT (TO)
530
1800.07
1800.01
3448109
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-85-80--soft-0-100-0.wbo
MSAT (TO)
3748
1800.07
1800.01
3448112
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-91-90--soft-0-100-0.wbo
MSAT (TO)
4353
1800.07
1800.01
3448121
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_21_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
1990
1800.07
1800.01
3448084
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-45-40--soft-0-100-0.wbo
MSAT (TO)
2311
1800.07
1800.01
3448110
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_40_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
3701
1800.07
1800.01
3448086
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-35-30--soft-0-100-0.wbo
MSAT (TO)
1609
1800.08
1800.11
3448120
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-65-60--soft-0-100-0.wbo
MSAT (TO)
3080
1800.09
1800.01
3448122
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-51-50--soft-0-100-0.wbo
MSAT (TO)
2701
1800.09
1800.01
3448116