PB'11 competition: WBO track: benchmarks results per solver
Result page for solver clasp
2.0-RC2
(complete)
Category "both soft and hard constraints, small integers, linear constraints" (PARTIAL-SMALLINT-LIN)
Solver proved unsatisfiability (UNSATISFIABLE) (1 run)
[Show/Hide]
Benchmark Name
Answer
cost of falsified constraints
CPU time
Wall clock time
TraceID
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-langford-3-11_wcsp.wbo
UNSAT
11.1363
11.1471
3448641
Solver found the best solution (454 runs)
[Show/Hide]
Benchmark Name
Answer
cost of falsified constraints
CPU time
Wall clock time
TraceID
/PARTIAL-SMALLINT-LIN/wcsp/spot5/
normalized-spot5-8_wcsp.wbo
OPTIMUM
2
0
0.00564195
3448711
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-4wqueens_wcsp.wbo
OPTIMUM
0
0
0.00569508
3448630
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-elf.rf6.ucl--soft-66-100-0.wbo
OPTIMUM
9
0.000999
0.00585002
3448284
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-elf.rf6.ucl--soft-33-100-0.wbo
OPTIMUM
1
0.000999
0.0057251
3448243
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-4queens_wcsp.wbo
OPTIMUM
0
0.000999
0.00573402
3448634
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-8queens_wcsp.wbo
OPTIMUM
0
0.000999
0.00579298
3448633
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-langford-2-4_wcsp.wbo
OPTIMUM
0
0.000999
0.00573503
3448631
/PARTIAL-SMALLINT-LIN/wcsp/
pedigree/normalized-sobel_wcsp.wbo
OPTIMUM
0
0.001999
0.00590907
3448716
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois21_ext.wbo
OPTIMUM
1
0.001999
0.005935
3448648
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-zebre-ext_wcsp.wbo
OPTIMUM
0
0.001999
0.00575191
3448637
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois23_ext.wbo
OPTIMUM
1
0.002998
0.0057491
3448655
/PARTIAL-SMALLINT-LIN/wcsp/pedigree/
normalized-connell_wcsp.wbo
OPTIMUM
1
0.002998
0.00567411
3448714
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois25_ext.wbo
OPTIMUM
1
0.002998
0.00583305
3448662
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois20_ext.wbo
OPTIMUM
1
0.002998
0.00579509
3448653
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-pret60_75_ext.wbo
OPTIMUM
1
0.002999
0.00573296
3448663
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois27_ext.wbo
OPTIMUM
1
0.002999
0.00577109
3448664
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-4.ucl--soft-66-100-0.wbo
OPTIMUM
5
0.002999
0.00583502
3448298
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois24_ext.wbo
OPTIMUM
1
0.002999
0.00578292
3448647
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-8wqueens_wcsp.wbo
OPTIMUM
2
0.002999
0.00581504
3448632
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois26_ext.wbo
OPTIMUM
1
0.002999
0.00565193
3448652
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois22_ext.wbo
OPTIMUM
1
0.003998
0.00583798
3448649
/PARTIAL-SMALLINT-LIN/wcsp/pedigree/
normalized-simple_wcsp.wbo
OPTIMUM
1
0.003998
0.00589993
3448715
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois28_ext.wbo
OPTIMUM
1
0.003998
0.00582108
3448656
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-4.ucl--soft-33-100-0.wbo
OPTIMUM
13
0.003999
0.00573497
3448239
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-3.ucl--soft-33-100-0.wbo
OPTIMUM
8
0.003999
0.00567994
3448223
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-geom30a-5_wcsp.wbo
OPTIMUM
1
0.003999
0.00581397
3448717
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh07_wcsp.wbo
OPTIMUM
0
0.003999
0.00567297
3448702
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh220_wcsp.wbo
OPTIMUM
0
0.004998
0.00581605
3448706
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh12_wcsp.wbo
OPTIMUM
0
0.004998
0.00567608
3448669
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh17_wcsp.wbo
OPTIMUM
0
0.004998
0.00659795
3448695
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois30_ext.wbo
OPTIMUM
1
0.004999
0.0057611
3448657
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-3.ucl--soft-66-100-0.wbo
OPTIMUM
1
0.004999
0.00583103
3448234
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-myciel5g-6_wcsp.wbo
OPTIMUM
0
0.004999
0.00768292
3448719
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh01_wcsp.wbo
OPTIMUM
0
0.004999
0.00577811
3448677
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh205_wcsp.wbo
OPTIMUM
0
0.004999
0.00599091
3448705
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois29_ext.wbo
OPTIMUM
1
0.004999
0.00574792
3448650
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh207_wcsp.wbo
OPTIMUM
0
0.005998
0.00620306
3448672
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-warehouse0_wcsp.wbo
OPTIMUM
328
0.005999
0.00758209
3448638
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh209_wcsp.wbo
OPTIMUM
0
0.006998
0.00826204
3448697
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-ssa0432-003_ext.wbo
OPTIMUM
1
0.006998
0.00857489
3448658
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois50_ext.wbo
OPTIMUM
1
0.006998
0.00747391
3448646
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh203_wcsp.wbo
OPTIMUM
39
0.007998
0.0093041
3448692
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-2.ucl--soft-33-100-0.wbo
OPTIMUM
1
0.008998
0.010198
3448217
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh210_wcsp.wbo
OPTIMUM
0
0.008998
0.00977606
3448690
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh215_wcsp.wbo
OPTIMUM
88
0.010997
0.010915
3448678
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-2.ucl--soft-66-100-0.wbo
OPTIMUM
1
0.010998
0.011828
3448290
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-pret150_75_ext.wbo
OPTIMUM
1
0.010998
0.0132359
3448661
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh217_wcsp.wbo
OPTIMUM
0
0.010998
0.0116049
3448710
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-pret60_25_ext.wbo
OPTIMUM
1
0.011997
0.012296
3448642
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-44s.smv--soft-66-100-0.wbo
OPTIMUM
1
0.011998
0.0124611
3448304
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh219_wcsp.wbo
OPTIMUM
82
0.012998
0.01397
3448683
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh308_wcsp.wbo
OPTIMUM
130
0.013997
0.0145121
3448693
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh201_wcsp.wbo
OPTIMUM
0
0.013997
0.014486
3448694
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh211_wcsp.wbo
OPTIMUM
259
0.013997
0.0146219
3448703
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-pret60_60_ext.wbo
OPTIMUM
1
0.014996
0.015195
3448660
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh212_wcsp.wbo
OPTIMUM
0
0.014997
0.0156899
3448691
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh04_wcsp.wbo
OPTIMUM
95
0.014997
0.0159371
3448674
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh202_wcsp.wbo
OPTIMUM
68
0.015997
0.016356
3448673
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh10_wcsp.wbo
OPTIMUM
85
0.016997
0.0178111
3448699
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-44s.smv--soft-33-100-0.wbo
OPTIMUM
1
0.017996
0.0198631
3448235
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh301_wcsp.wbo
OPTIMUM
0
0.018997
0.01989
3448667
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh214_wcsp.wbo
OPTIMUM
75
0.018997
0.0203359
3448684
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j308_1-unsat--soft-66-100-0.wbo
OPTIMUM
83
0.019996
0.021023
3448317
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh19_wcsp.wbo
OPTIMUM
166
0.021995
0.0213699
3448679
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-bf2670-001_ext.wbo
OPTIMUM
1
0.021995
0.021997
3448643
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-pret60_40_ext.wbo
OPTIMUM
1
0.022995
0.022503
3448659
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-37s.smv--soft-66-100-0.wbo
OPTIMUM
1
0.022996
0.0248
3448222
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh06_wcsp.wbo
OPTIMUM
99
0.023995
0.0235491
3448689
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-elf.rf7.ucl--soft-66-100-0.wbo
OPTIMUM
2
0.023995
0.0269771
3448282
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois100_ext.wbo
OPTIMUM
1
0.025996
0.0265269
3448644
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh306_wcsp.wbo
OPTIMUM
16
0.028995
0.0306519
3448696
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j301_4-unsat--soft-66-100-0.wbo
OPTIMUM
21
0.032994
0.033675
3448311
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh16_wcsp.wbo
OPTIMUM
6
0.033994
0.0345401
3448698
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh18_wcsp.wbo
OPTIMUM
130
0.036993
0.0372061
3448681
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-cache.inv8.ucl--soft-66-100-0.wbo
OPTIMUM
41
0.038993
0.04045
3448213
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j308_1-unsat--soft-33-100-0.wbo
OPTIMUM
5
0.039993
0.0399929
3448333
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-pret150_25_ext.wbo
OPTIMUM
1
0.041992
0.0424691
3448651
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh13_wcsp.wbo
OPTIMUM
109
0.041992
0.041949
3448700
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh304_wcsp.wbo
OPTIMUM
321
0.045993
0.046742
3448688
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh05_wcsp.wbo
OPTIMUM
183
0.045993
0.0475681
3448709
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j301_4-unsat--soft-33-100-0.wbo
OPTIMUM
9
0.046992
0.0480741
3448326
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j3046_4-unsat--soft-66-100-0.wbo
OPTIMUM
2
0.047991
0.0502181
3448315
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-donald_wcsp.wbo
OPTIMUM
0
0.048991
0.050474
3448635
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j603_2-unsat--soft-66-100-0.wbo
OPTIMUM
31
0.048992
0.0501431
3448412
/PARTIAL-SMALLINT-LIN/wcsp/
academics/normalized-send_wcsp.wbo
OPTIMUM
0
0.049991
0.0527411
3448629
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j602_7-unsat--soft-33-100-0.wbo
OPTIMUM
6
0.051991
0.053404
3448377
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf6.ucl--soft-66-100-0.wbo
OPTIMUM
2
0.051991
0.0526029
3448220
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh218_wcsp.wbo
OPTIMUM
0
0.052991
0.053343
3448680
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j602_7-unsat--soft-66-100-0.wbo
OPTIMUM
3
0.056991
0.05732
3448374
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-pret150_40_ext.wbo
OPTIMUM
1
0.05899
0.058916
3448645
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/
normalized-j907_8-unsat--soft-66-100-0.wbo
OPTIMUM
14
0.05999
0.0609169
3448343
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-37s.smv--soft-33-100-0.wbo
OPTIMUM
1
0.06399
0.0655351
3448302
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j6027_4-unsat--soft-33-100-0.wbo
OPTIMUM
22
0.06399
0.0651179
3448416
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j6010_2-unsat--soft-33-100-0.wbo
OPTIMUM
6
0.064989
0.0660919
3448371
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh14_wcsp.wbo
OPTIMUM
101
0.06499
0.067916
3448670
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf6.ucl--soft-33-100-0.wbo
OPTIMUM
1
0.065989
0.066639
3448226
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/
normalized-j903_10-unsat--soft-66-100-0.wbo
OPTIMUM
4
0.067988
0.0683489
3448352
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-6.ucl--soft-33-100-0.wbo
OPTIMUM
1
0.067988
0.070015
3448294
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-zebra_wcsp.wbo
OPTIMUM
0
0.068988
0.069026
3448639
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j6027_4-unsat--soft-66-100-0.wbo
OPTIMUM
24
0.071988
0.0739971
3448422
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j6033_2-unsat--soft-66-100-0.wbo
OPTIMUM
51
0.071988
0.0722721
3448421
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j606_1-unsat--soft-33-100-0.wbo
OPTIMUM
3
0.072988
0.0733251
3448398
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/
normalized-j9012_2-unsat--soft-66-100-0.wbo
OPTIMUM
54
0.076988
0.0767169
3448341
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-6.ucl--soft-66-100-0.wbo
OPTIMUM
1
0.077987
0.0787989
3448255
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j603_2-unsat--soft-33-100-0.wbo
OPTIMUM
6
0.077987
0.07855
3448410
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-ssa2670-141_ext.wbo
OPTIMUM
1
0.081986
0.0826931
3448665
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j6010_2-unsat--soft-66-100-0.wbo
OPTIMUM
12
0.081986
0.0819259
3448380
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/
normalized-j9028_2-unsat--soft-66-100-0.wbo
OPTIMUM
20
0.083986
0.0840851
3448360
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j606_1-unsat--soft-66-100-0.wbo
OPTIMUM
25
0.085986
0.0864441
3448407
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-16wqueens_wcsp.wbo
OPTIMUM
2
0.088985
0.0918129
3448640
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/
normalized-j9015_10-unsat--soft-66-100-0.wbo
OPTIMUM
29
0.088986
0.0896729
3448362
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/
normalized-j9039_3-unsat--soft-66-100-0.wbo
OPTIMUM
42
0.089985
0.0913101
3448345
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-pret150_60_ext.wbo
OPTIMUM
1
0.093985
0.0937149
3448666
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/
normalized-j9048_1-unsat--soft-66-100-0.wbo
OPTIMUM
22
0.096985
0.0970671
3448356
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh11_wcsp.wbo
OPTIMUM
172
0.102983
0.103578
3448687
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/
normalized-j9010_6-unsat--soft-66-100-0.wbo
OPTIMUM
9
0.103983
0.104649
3448339
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/
normalized-j9014_1-unsat--soft-66-100-0.wbo
OPTIMUM
6
0.104983
0.105941
3448335
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh216_wcsp.wbo
OPTIMUM
12
0.107983
0.111358
3448671
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-46s.smv--soft-66-100-0.wbo
OPTIMUM
1
0.108983
0.109732
3448253
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh09_wcsp.wbo
OPTIMUM
333
0.110982
0.134865
3448707
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-46s.smv--soft-33-100-0.wbo
OPTIMUM
1
0.118981
0.118919
3448236
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh302_wcsp.wbo
OPTIMUM
395
0.12698
0.126869
3448668
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-elf.rf7.ucl--soft-33-100-0.wbo
OPTIMUM
1
0.147976
0.148632
3448241
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh208_wcsp.wbo
OPTIMUM
79
0.171973
0.173735
3448685
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh307_wcsp.wbo
OPTIMUM
540
0.18597
0.186283
3448675
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf7.ucl--soft-66-100-0.wbo
OPTIMUM
1
0.18697
0.187979
3448267
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-elf.rf8.ucl--soft-66-100-0.wbo
OPTIMUM
1
0.211967
0.211766
3448300
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-cache.inv8.ucl--soft-33-100-0.wbo
OPTIMUM
2
0.218965
0.219562
3448259
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh309_wcsp.wbo
OPTIMUM
276
0.242962
0.242958
3448686
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j3046_4-unsat--soft-33-100-0.wbo
OPTIMUM
2
0.262959
0.26356
3448332
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-dlx1c.ucl--soft-66-100-0.wbo
OPTIMUM
1
0.266959
0.267117
3448232
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh08_wcsp.wbo
OPTIMUM
462
0.303952
0.306272
3448701
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.4.accl.ucl--soft-33-100-0.wbo
OPTIMUM
1
0.361944
0.362559
3448208
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-dlx1c.ucl--soft-33-100-0.wbo
OPTIMUM
1
0.369943
0.370506
3448214
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-langford-3-9_wcsp.wbo
OPTIMUM
0
0.381941
0.382819
3448636
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-elf.rf8.ucl--soft-33-100-0.wbo
OPTIMUM
1
0.38694
0.388387
3448231
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh15_wcsp.wbo
OPTIMUM
206
0.430933
0.430881
3448682
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh303_wcsp.wbo
OPTIMUM
351
0.45793
0.458232
3448704
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf7.ucl--soft-33-100-0.wbo
OPTIMUM
1
0.459929
0.459783
3448275
/PARTIAL-SMALLINT-LIN/wcsp/spot5/
normalized-spot5-54_wcsp.wbo
OPTIMUM
37
0.468928
0.470208
3448712
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j3041_4-unsat--soft-66-100-0.wbo
OPTIMUM
5
0.486925
0.486803
3448322
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.4.accl.ucl--soft-66-100-0.wbo
OPTIMUM
1
0.489925
0.490934
3448238
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-tlan2.ucl--soft-33-100-0.wbo
OPTIMUM
1
0.511922
0.512229
3448225
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-cache.inv10.ucl--soft-66-100-0.wbo
OPTIMUM
3
0.533918
0.53492
3448245
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf8.ucl--soft-66-100-0.wbo
OPTIMUM
1
0.599908
0.599818
3448233
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.2.accl.ucl--soft-66-100-0.wbo
OPTIMUM
1
0.687894
0.688322
3448257
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-dlx1c.rwmem.ucl--soft-66-100-0.wbo
OPTIMUM
1
0.942856
0.942703
3448209
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-cache.inv10.ucl--soft-33-100-0.wbo
OPTIMUM
3
0.949854
0.949836
3448207
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-22s.smv--soft-33-100-0.wbo
OPTIMUM
1
0.982849
0.983984
3448261
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-25s.smv--soft-66-100-0.wbo
OPTIMUM
1
1.03984
1.04009
3448221
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-tlan2.ucl--soft-66-100-0.wbo
OPTIMUM
2
1.04684
1.0467
3448210
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110967729--soft-66-100-0.wbo
OPTIMUM
80
1.06484
1.06774
3448505
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111227326--soft-66-100-0.wbo
OPTIMUM
17
1.23181
1.23442
3448438
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh310_wcsp.wbo
OPTIMUM
463
1.26181
1.26254
3448708
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111217392--soft-33-100-0.wbo
OPTIMUM
2
1.3268
1.32753
3448455
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.tag8.ucl--soft-33-100-0.wbo
OPTIMUM
1
1.36479
1.36536
3448265
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224059--soft-66-100-0.wbo
OPTIMUM
80
1.37879
1.38003
3448388
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110966483--soft-33-100-0.wbo
OPTIMUM
1
1.37979
1.38086
3448394
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.tag8.ucl--soft-66-100-0.wbo
OPTIMUM
2
1.46078
1.46193
3448285
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110967142--soft-66-100-0.wbo
OPTIMUM
1
1.52777
1.5286
3448396
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111227326--soft-33-100-0.wbo
OPTIMUM
2
1.53977
1.54015
3448464
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-25s.smv--soft-33-100-0.wbo
OPTIMUM
2
1.60576
1.60595
3448206
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110974180--soft-33-100-0.wbo
OPTIMUM
2
1.62675
1.62718
3448384
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j3041_4-unsat--soft-33-100-0.wbo
OPTIMUM
1
1.64275
1.64437
3448328
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf8.ucl--soft-33-100-0.wbo
OPTIMUM
1
1.66175
1.66162
3448280
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111213670--soft-66-100-0.wbo
OPTIMUM
80
1.70874
1.70876
3448408
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110977780--soft-66-100-0.wbo
OPTIMUM
80
1.71474
1.7155
3448501
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-43s.smv--soft-33-100-0.wbo
OPTIMUM
1
1.74073
1.74188
3448219
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111227012--soft-33-100-0.wbo
OPTIMUM
2
1.78873
1.79006
3448405
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110966688--soft-33-100-0.wbo
OPTIMUM
2
1.81872
1.81906
3448481
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224451--soft-33-100-0.wbo
OPTIMUM
2
1.82072
1.82132
3448486
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111221624--soft-33-100-0.wbo
OPTIMUM
5
1.83672
1.83766
3448478
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-dlx1c.rwmem1.ucl--soft-33-100-0.wbo
OPTIMUM
1
1.84772
1.84778
3448237
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111226680--soft-66-100-0.wbo
OPTIMUM
66
1.9597
1.9602
3448397
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111221203--soft-33-100-0.wbo
OPTIMUM
2
1.9657
1.96555
3448428
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111225122--soft-33-100-0.wbo
OPTIMUM
2
2.00869
2.00882
3448523
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218955--soft-33-100-0.wbo
OPTIMUM
2
2.01669
2.01807
3448502
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111216411--soft-66-100-0.wbo
OPTIMUM
6
2.05169
2.05191
3448417
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111219799--soft-66-100-0.wbo
OPTIMUM
1
2.05669
2.0574
3448402
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111227012--soft-66-100-0.wbo
OPTIMUM
49
2.08468
2.08548
3448457
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111220019--soft-33-100-0.wbo
OPTIMUM
2
2.16567
2.16512
3448453
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110974180--soft-66-100-0.wbo
OPTIMUM
23
2.21466
2.2148
3448423
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111220546--soft-66-100-0.wbo
OPTIMUM
69
2.28865
2.28895
3448488
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111227861--soft-66-100-0.wbo
OPTIMUM
80
2.30065
2.30053
3448399
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111222539--soft-66-100-0.wbo
OPTIMUM
80
2.32565
2.32634
3448484
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111226062--soft-66-100-0.wbo
OPTIMUM
40
2.37864
2.37939
3448450
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110978113--soft-66-100-0.wbo
OPTIMUM
17
2.43663
2.43748
3448506
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111219348--soft-66-100-0.wbo
OPTIMUM
80
2.43763
2.43946
3448479
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110976157--soft-66-100-0.wbo
OPTIMUM
80
2.48962
2.49024
3448441
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.2.accl.ucl--soft-33-100-0.wbo
OPTIMUM
1
2.49462
2.49598
3448309
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218757--soft-66-100-0.wbo
OPTIMUM
80
2.51262
2.51298
3448458
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111225605--soft-66-100-0.wbo
OPTIMUM
17
2.52262
2.52331
3448487
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf9.ucl--soft-66-100-0.wbo
OPTIMUM
1
2.53561
2.53792
3448247
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111220019--soft-66-100-0.wbo
OPTIMUM
60
2.56161
2.56233
3448451
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111221203--soft-66-100-0.wbo
OPTIMUM
23
2.57461
2.57474
3448459
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111225605--soft-33-100-0.wbo
OPTIMUM
1
2.74258
2.74257
3448467
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111212923--soft-66-100-0.wbo
OPTIMUM
22
2.76458
2.76469
3448510
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110968898--soft-33-100-0.wbo
OPTIMUM
2
2.77958
2.78052
3448444
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110970444--soft-66-100-0.wbo
OPTIMUM
80
2.79257
2.79311
3448474
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218308--soft-33-100-0.wbo
OPTIMUM
2
2.84557
2.84659
3448480
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111212272--soft-33-100-0.wbo
OPTIMUM
2
2.87656
2.87618
3448476
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111226680--soft-33-100-0.wbo
OPTIMUM
2
2.88956
2.88916
3448403
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111223004--soft-33-100-0.wbo
OPTIMUM
2
2.94055
2.94119
3448389
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110975965--soft-33-100-0.wbo
OPTIMUM
2
2.96055
2.96102
3448420
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-dlx1c.rwmem1.ucl--soft-66-100-0.wbo
OPTIMUM
1
2.98554
2.98671
3448205
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110975607--soft-66-100-0.wbo
OPTIMUM
18
2.99654
2.99614
3448500
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111212476--soft-66-100-0.wbo
OPTIMUM
17
3.01154
3.01144
3448395
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111216411--soft-33-100-0.wbo
OPTIMUM
2
3.07853
3.07869
3448433
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110972154--soft-66-100-0.wbo
OPTIMUM
66
3.09453
3.09631
3448385
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224451--soft-66-100-0.wbo
OPTIMUM
64
3.10053
3.10087
3448504
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111220546--soft-33-100-0.wbo
OPTIMUM
2
3.15152
3.15353
3448491
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110968898--soft-66-100-0.wbo
OPTIMUM
80
3.16452
3.16628
3448496
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110971697--soft-66-100-0.wbo
OPTIMUM
80
3.20351
3.20572
3448436
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218024--soft-66-100-0.wbo
OPTIMUM
80
3.2605
3.26108
3448393
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111212272--soft-66-100-0.wbo
OPTIMUM
36
3.2805
3.28097
3448439
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110968094--soft-66-100-0.wbo
OPTIMUM
17
3.35149
3.35171
3448515
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111220767--soft-66-100-0.wbo
OPTIMUM
80
3.43648
3.43759
3448456
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.3.accl.ucl--soft-66-100-0.wbo
OPTIMUM
1
3.44048
3.4414
3448227
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110973364--soft-66-100-0.wbo
OPTIMUM
80
3.51946
3.5201
3448503
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110973670--soft-66-100-0.wbo
OPTIMUM
22
3.54746
3.54827
3448437
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110976157--soft-33-100-0.wbo
OPTIMUM
8
3.64745
3.64834
3448390
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110972154--soft-33-100-0.wbo
OPTIMUM
2
3.64844
3.64854
3448442
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218955--soft-66-100-0.wbo
OPTIMUM
19
3.69144
3.69123
3448443
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110978113--soft-33-100-0.wbo
OPTIMUM
2
3.71443
3.71468
3448466
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110967142--soft-33-100-0.wbo
OPTIMUM
2
3.78042
3.78254
3448427
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111213868--soft-33-100-0.wbo
OPTIMUM
2
3.9344
3.93488
3448381
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111222257--soft-66-100-0.wbo
OPTIMUM
78
3.9444
3.94503
3448449
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-43s.smv--soft-66-100-0.wbo
OPTIMUM
1
3.9694
3.96955
3448229
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110976935--soft-33-100-0.wbo
OPTIMUM
2
4.06338
4.06468
3448383
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111221624--soft-66-100-0.wbo
OPTIMUM
22
4.15337
4.15269
3448447
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110976730--soft-66-100-0.wbo
OPTIMUM
78
4.17237
4.17352
3448475
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.3.accl.ucl--soft-33-100-0.wbo
OPTIMUM
1
4.26435
4.26478
3448230
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111227861--soft-33-100-0.wbo
OPTIMUM
11
4.42033
4.42042
3448415
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh305_wcsp.wbo
OPTIMUM
742
4.49931
4.4997
3448676
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110971697--soft-33-100-0.wbo
OPTIMUM
2
4.50731
4.50985
3448378
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110968561--soft-66-100-0.wbo
OPTIMUM
19
4.53131
4.53119
3448452
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111225122--soft-66-100-0.wbo
OPTIMUM
35
4.55431
4.5549
3448411
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110970444--soft-33-100-0.wbo
OPTIMUM
10
4.5963
4.5963
3448471
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111219799--soft-33-100-0.wbo
OPTIMUM
4
4.64029
4.64154
3448401
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111228076--soft-66-100-0.wbo
OPTIMUM
10
4.82227
4.82326
3448435
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-22s.smv--soft-66-100-0.wbo
OPTIMUM
1
4.83326
4.83426
3448251
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111216823--soft-33-100-0.wbo
OPTIMUM
4
5.32119
5.32269
3448509
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110974372--soft-66-100-0.wbo
OPTIMUM
207
5.32919
5.32915
3448498
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j309_10-unsat--soft-33-100-0.wbo
OPTIMUM
2
5.34319
5.34349
3448330
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110972763--soft-33-100-0.wbo
OPTIMUM
6
5.34919
5.34864
3448387
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110966688--soft-66-100-0.wbo
OPTIMUM
19
5.39618
5.39647
3448465
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111216823--soft-66-100-0.wbo
OPTIMUM
18
5.45617
5.45977
3448404
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111219348--soft-33-100-0.wbo
OPTIMUM
9
5.68114
5.68099
3448483
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224059--soft-33-100-0.wbo
OPTIMUM
15
5.71113
5.71094
3448495
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224255--soft-66-100-0.wbo
OPTIMUM
22
5.73413
5.73368
3448448
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j6030_9-unsat--soft-66-100-0.wbo
OPTIMUM
8
5.84211
5.8425
3448391
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111212476--soft-33-100-0.wbo
OPTIMUM
1
5.9201
5.92021
3448514
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110973364--soft-33-100-0.wbo
OPTIMUM
2
5.98809
5.98816
3448461
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110967729--soft-33-100-0.wbo
OPTIMUM
4
6.04408
6.04416
3448493
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900564824--soft-33-100-0.wbo
OPTIMUM
4
6.42402
6.42407
3448592
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111217555--soft-33-100-0.wbo
OPTIMUM
8
6.43302
6.43346
3448386
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111217392--soft-66-100-0.wbo
OPTIMUM
14
6.51301
6.51278
3448440
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.tag10.ucl--soft-33-100-0.wbo
OPTIMUM
1
6.79097
6.79242
3448218
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110973670--soft-33-100-0.wbo
OPTIMUM
8
6.80296
6.80317
3448418
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224255--soft-33-100-0.wbo
OPTIMUM
8
6.80596
6.80666
3448469
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110968561--soft-33-100-0.wbo
OPTIMUM
8
6.98294
6.98437
3448414
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111226368--soft-66-100-0.wbo
OPTIMUM
19
7.16391
7.16701
3448446
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110969860--soft-33-100-0.wbo
OPTIMUM
8
7.27589
7.28001
3448382
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110969170--soft-66-100-0.wbo
OPTIMUM
49
7.31589
7.3169
3448400
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110971363--soft-66-100-0.wbo
OPTIMUM
59
7.45187
7.45168
3448519
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.tag10.ucl--soft-66-100-0.wbo
OPTIMUM
1
7.49686
7.49757
3448296
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110975607--soft-33-100-0.wbo
OPTIMUM
24
7.62784
7.62784
3448508
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110977273--soft-66-100-0.wbo
OPTIMUM
22
7.74082
7.74061
3448522
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110966483--soft-66-100-0.wbo
OPTIMUM
51
7.78282
7.78348
3448489
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110976935--soft-66-100-0.wbo
OPTIMUM
68
7.81881
7.82022
3448434
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j309_10-unsat--soft-66-100-0.wbo
OPTIMUM
1
8.01278
8.0127
3448319
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j605_1-unsat--soft-66-100-0.wbo
OPTIMUM
1
8.11877
8.12135
3448370
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218308--soft-66-100-0.wbo
OPTIMUM
9
8.23875
8.23919
3448460
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110973163--soft-66-100-0.wbo
OPTIMUM
69
8.82666
8.82791
3448513
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111226368--soft-33-100-0.wbo
OPTIMUM
15
8.90465
8.90536
3448507
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110967523--soft-33-100-0.wbo
OPTIMUM
8
9.14861
9.14967
3448497
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110972763--soft-66-100-0.wbo
OPTIMUM
39
9.25159
9.25104
3448521
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111226062--soft-33-100-0.wbo
OPTIMUM
10
9.49656
9.49667
3448490
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110978334--soft-66-100-0.wbo
OPTIMUM
63
9.64353
9.64751
3448430
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111228076--soft-33-100-0.wbo
OPTIMUM
10
9.74452
9.74534
3448424
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-geom30a-4_wcsp.wbo
OPTIMUM
4
10.0115
10.0128
3448723
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110977273--soft-33-100-0.wbo
OPTIMUM
8
10.0785
10.0782
3448516
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224929--soft-33-100-0.wbo
OPTIMUM
8
10.1865
10.1889
3448512
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j3029_8-unsat--soft-66-100-0.wbo
OPTIMUM
2
10.2054
10.2058
3448313
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900552423--soft-66-100-0.wbo
OPTIMUM
12
10.3774
10.3767
3448627
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111223220--soft-33-100-0.wbo
OPTIMUM
12
10.4384
10.4398
3448425
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110967523--soft-66-100-0.wbo
OPTIMUM
14
10.7894
10.7897
3448470
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110968094--soft-33-100-0.wbo
OPTIMUM
23
11.3043
11.3045
3448413
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110969170--soft-33-100-0.wbo
OPTIMUM
14
11.3273
11.3286
3448445
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111223220--soft-66-100-0.wbo
OPTIMUM
39
11.4373
11.4385
3448454
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110969577--soft-66-100-0.wbo
OPTIMUM
58
11.4703
11.471
3448409
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-7.ucl--soft-33-100-0.wbo
OPTIMUM
1
11.5023
11.5026
3448211
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900551864--soft-66-100-0.wbo
OPTIMUM
1
12.4711
12.4706
3448570
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111222539--soft-33-100-0.wbo
OPTIMUM
9
12.6301
12.631
3448482
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900564281--soft-33-100-0.wbo
OPTIMUM
1
12.6521
12.653
3448193
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110970631--soft-66-100-0.wbo
OPTIMUM
73
12.879
12.8798
3448462
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111213868--soft-66-100-0.wbo
OPTIMUM
14
13.101
13.106
3448517
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111212923--soft-33-100-0.wbo
OPTIMUM
8
13.339
13.3388
3448431
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110976730--soft-33-100-0.wbo
OPTIMUM
4
13.444
13.4443
3448485
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-7.ucl--soft-66-100-0.wbo
OPTIMUM
4
13.4959
13.4961
3448212
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110978334--soft-33-100-0.wbo
OPTIMUM
29
13.5929
13.5936
3448477
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218757--soft-33-100-0.wbo
OPTIMUM
24
14.5688
14.5693
3448520
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110970631--soft-33-100-0.wbo
OPTIMUM
19
14.8897
14.892
3448392
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900575442--soft-66-100-0.wbo
OPTIMUM
1
14.9387
14.9403
3448614
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110973163--soft-33-100-0.wbo
OPTIMUM
15
15.0087
15.0087
3448472
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900546076--soft-33-100-0.wbo
OPTIMUM
4
15.1297
15.1301
3448532
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900567135--soft-66-100-0.wbo
OPTIMUM
2
15.1867
15.1869
3448544
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218024--soft-33-100-0.wbo
OPTIMUM
12
15.4996
15.4994
3448429
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111222257--soft-33-100-0.wbo
OPTIMUM
8
15.9426
15.945
3448518
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111213670--soft-33-100-0.wbo
OPTIMUM
29
15.9926
15.9937
3448406
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900551864--soft-33-100-0.wbo
OPTIMUM
1
16.1195
16.1187
3448561
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110969860--soft-66-100-0.wbo
OPTIMUM
22
16.2465
16.2471
3448432
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110969577--soft-33-100-0.wbo
OPTIMUM
12
16.6315
16.6313
3448379
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900564824--soft-66-100-0.wbo
OPTIMUM
19
16.8374
16.8374
3448527
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900670675--soft-66-100-0.wbo
OPTIMUM
1
17.0134
17.0132
3448524
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-8.ucl--soft-33-100-0.wbo
OPTIMUM
3
17.1384
17.1373
3448228
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111223004--soft-66-100-0.wbo
OPTIMUM
19
17.3114
17.3133
3448463
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110975965--soft-66-100-0.wbo
OPTIMUM
23
17.4383
17.4383
3448426
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900552423--soft-33-100-0.wbo
OPTIMUM
7
17.6543
17.6538
3448557
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110974372--soft-33-100-0.wbo
OPTIMUM
29
17.9383
17.9394
3448492
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-elf.rf9.ucl--soft-66-100-0.wbo
OPTIMUM
1
18.5512
18.5506
3448216
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900564281--soft-66-100-0.wbo
OPTIMUM
3
18.7671
18.768
3448584
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900563801--soft-33-100-0.wbo
OPTIMUM
1
19.56
19.5592
3448550
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111217555--soft-66-100-0.wbo
OPTIMUM
22
19.759
19.7602
3448473
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224929--soft-66-100-0.wbo
OPTIMUM
71
20.5599
20.5614
3448511
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900574864--soft-66-100-0.wbo
OPTIMUM
1
20.7358
20.7365
3448533
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110971363--soft-33-100-0.wbo
OPTIMUM
25
20.8518
20.8521
3448494
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111220767--soft-33-100-0.wbo
OPTIMUM
28
21.4457
21.4463
3448499
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900554420--soft-66-100-0.wbo
OPTIMUM
1
22.2586
22.259
3448593
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110977780--soft-33-100-0.wbo
OPTIMUM
27
22.4736
22.4746
3448468
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900556231--soft-66-100-0.wbo
OPTIMUM
1
23.3994
23.3992
3448619
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900558106--soft-33-100-0.wbo
OPTIMUM
4
23.9634
23.963
3448585
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900670675--soft-33-100-0.wbo
OPTIMUM
2
24.0373
24.0383
3448543
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900544484--soft-66-100-0.wbo
OPTIMUM
2
24.0703
24.0695
3448588
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900567135--soft-33-100-0.wbo
OPTIMUM
1
25.2552
25.2556
3448577
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900551347--soft-33-100-0.wbo
OPTIMUM
2
25.9551
25.9562
3448531
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-tlan3.ucl--soft-66-100-0.wbo
OPTIMUM
4
26.6969
26.6964
3448287
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900554420--soft-33-100-0.wbo
OPTIMUM
2
27.1719
27.1712
3448569
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900567024--soft-66-100-0.wbo
OPTIMUM
12
27.6158
27.6155
3448604
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900553812--soft-66-100-0.wbo
OPTIMUM
3
27.9158
27.9154
3448198
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900554072--soft-33-100-0.wbo
OPTIMUM
1
28.1757
28.1763
3448587
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900584219--soft-66-100-0.wbo
OPTIMUM
3
28.4437
28.4429
3448545
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900554072--soft-66-100-0.wbo
OPTIMUM
3
30.8213
30.822
3448534
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900544484--soft-33-100-0.wbo
OPTIMUM
1
31.1113
31.1108
3448203
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900563801--soft-66-100-0.wbo
OPTIMUM
5
31.2383
31.2392
3448625
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900575442--soft-33-100-0.wbo
OPTIMUM
1
31.3012
31.302
3448546
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900546417--soft-66-100-0.wbo
OPTIMUM
1
32.828
32.8278
3448525
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-myciel5g-5_wcsp.wbo
OPTIMUM
1
34.3248
34.3534
3448720
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900550006--soft-66-100-0.wbo
OPTIMUM
1
36.7104
36.7092
3448551
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900574864--soft-33-100-0.wbo
OPTIMUM
1
38.5261
38.5261
3448571
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900670167--soft-33-100-0.wbo
OPTIMUM
2
39.512
39.5114
3448602
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900581320--soft-66-100-0.wbo
OPTIMUM
1
39.8869
39.8867
3448589
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900582300--soft-66-100-0.wbo
OPTIMUM
1
42.6735
42.6717
3448540
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900566157--soft-33-100-0.wbo
OPTIMUM
1
42.9525
42.9535
3448576
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900669797--soft-66-100-0.wbo
OPTIMUM
1
43.7174
43.7172
3448624
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900546076--soft-66-100-0.wbo
OPTIMUM
13
44.2313
44.2313
3448601
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900556231--soft-33-100-0.wbo
OPTIMUM
1
44.5912
44.5911
3448537
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900573137--soft-66-100-0.wbo
OPTIMUM
1
45.0831
45.0823
3448599
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900547389--soft-66-100-0.wbo
OPTIMUM
2
45.1491
45.15
3448581
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900567024--soft-33-100-0.wbo
OPTIMUM
6
45.1911
45.1913
3448200
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900584106--soft-66-100-0.wbo
OPTIMUM
12
45.2941
45.2922
3448530
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-dlx1c.rwmem.ucl--soft-33-100-0.wbo
OPTIMUM
1
45.3111
45.3108
3448215
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900568706--soft-33-100-0.wbo
OPTIMUM
2
48.8276
48.8257
3448541
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900553812--soft-33-100-0.wbo
OPTIMUM
3
49.4385
49.4424
3448552
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-11-10--soft-66-100-0.wbo
OPTIMUM
1
51.8911
51.8901
3448349
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900576360--soft-66-100-0.wbo
OPTIMUM
2
52.1791
52.217
3448618
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900573901--soft-66-100-0.wbo
OPTIMUM
1
55.0836
55.0829
3448591
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf10.ucl--soft-66-100-0.wbo
OPTIMUM
1
56.8594
56.8711
3448306
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900571761--soft-33-100-0.wbo
OPTIMUM
1
56.9303
56.9291
3448535
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-15-10--soft-66-100-0.wbo
OPTIMUM
35
58.1092
58.1095
3448316
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900557574--soft-33-100-0.wbo
OPTIMUM
8
58.4891
58.4903
3448196
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900576151--soft-66-100-0.wbo
OPTIMUM
1
58.5841
58.5826
3448573
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900545610--soft-66-100-0.wbo
OPTIMUM
1
58.7251
58.7251
3448526
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900567985--soft-66-100-0.wbo
OPTIMUM
1
58.8681
58.8657
3448204
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900558106--soft-66-100-0.wbo
OPTIMUM
13
59.058
59.0576
3448610
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900568186--soft-33-100-0.wbo
OPTIMUM
3
59.8149
59.8135
3448528
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900667195--soft-66-100-0.wbo
OPTIMUM
1
60.2198
60.2183
3448190
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900545610--soft-33-100-0.wbo
OPTIMUM
2
60.4828
60.4824
3448575
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900546417--soft-33-100-0.wbo
OPTIMUM
1
60.4978
60.4955
3448628
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900550720--soft-66-100-0.wbo
OPTIMUM
1
60.7458
60.7457
3448194
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900571132--soft-33-100-0.wbo
OPTIMUM
1
60.7978
60.7967
3448608
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900571132--soft-66-100-0.wbo
OPTIMUM
1
61.7106
61.7119
3448202
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900669797--soft-33-100-0.wbo
OPTIMUM
1
61.7946
61.794
3448611
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-8.ucl--soft-66-100-0.wbo
OPTIMUM
4
62.6365
62.6355
3448249
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-11-10--soft-33-100-0.wbo
OPTIMUM
1
62.7615
62.7621
3448314
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900573901--soft-33-100-0.wbo
OPTIMUM
1
66.9188
66.9151
3448538
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900552288--soft-66-100-0.wbo
OPTIMUM
2
68.1656
68.1708
3448622
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900550720--soft-33-100-0.wbo
OPTIMUM
1
69.9284
69.9267
3448606
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900562192--soft-33-100-0.wbo
OPTIMUM
1
70.1653
70.1654
3448201
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900566157--soft-66-100-0.wbo
OPTIMUM
6
70.5163
70.5137
3448623
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.tag12.ucl--soft-66-100-0.wbo
OPTIMUM
1
72.192
72.1928
3448224
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900551347--soft-66-100-0.wbo
OPTIMUM
11
72.283
72.2817
3448621
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900565534--soft-66-100-0.wbo
OPTIMUM
1
72.614
72.6125
3448595
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900568186--soft-66-100-0.wbo
OPTIMUM
13
73.6198
73.6174
3448564
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900559676--soft-66-100-0.wbo
OPTIMUM
1
75.7475
75.7467
3448548
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-15-10--soft-33-100-0.wbo
OPTIMUM
2
76.5104
76.5151
3448327
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900582300--soft-33-100-0.wbo
OPTIMUM
1
76.9713
76.9704
3448597
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900563250--soft-66-100-0.wbo
OPTIMUM
1
76.9763
76.9764
3448580
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900576927--soft-66-100-0.wbo
OPTIMUM
1
78.2241
78.2237
3448554
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900563250--soft-33-100-0.wbo
OPTIMUM
1
79.151
79.1501
3448617
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900579996--soft-66-100-0.wbo
OPTIMUM
1
81.6526
81.6511
3448553
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900670167--soft-66-100-0.wbo
OPTIMUM
2
82.2925
82.2911
3448556
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900581320--soft-33-100-0.wbo
OPTIMUM
1
83.6103
83.6105
3448603
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900547389--soft-33-100-0.wbo
OPTIMUM
2
85.245
85.2432
3448191
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900557957--soft-33-100-0.wbo
OPTIMUM
3
85.471
85.4683
3448600
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900583053--soft-66-100-0.wbo
OPTIMUM
1
87.2637
87.2625
3448607
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900553647--soft-66-100-0.wbo
OPTIMUM
1
87.3737
87.3743
3448547
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900562192--soft-66-100-0.wbo
OPTIMUM
1
87.6837
87.6822
3448555
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900552288--soft-33-100-0.wbo
OPTIMUM
1
90.3653
90.3643
3448197
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900550006--soft-33-100-0.wbo
OPTIMUM
1
90.6162
90.614
3448598
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900568706--soft-66-100-0.wbo
OPTIMUM
7
91.879
91.8766
3448192
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900577940--soft-66-100-0.wbo
OPTIMUM
1
92.308
92.3064
3448195
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl10_11_pb.cnf.cr--soft-66-100-0.wbo
OPTIMUM
15
94.2477
94.2454
3448276
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900584106--soft-33-100-0.wbo
OPTIMUM
10
95.7075
95.7048
3448594
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900584219--soft-33-100-0.wbo
OPTIMUM
1
96.3474
96.5488
3448529
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl10_11_pb.cnf.cr--soft-33-100-0.wbo
OPTIMUM
3
104.936
104.933
3448288
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900557362--soft-66-100-0.wbo
OPTIMUM
7
105.273
105.276
3448613
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900558739--soft-33-100-0.wbo
OPTIMUM
1
109.892
109.887
3448572
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900576360--soft-33-100-0.wbo
OPTIMUM
2
113.427
113.425
3448620
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900576927--soft-33-100-0.wbo
OPTIMUM
1
113.746
113.744
3448590
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900557574--soft-66-100-0.wbo
OPTIMUM
9
114.942
114.939
3448574
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900558739--soft-66-100-0.wbo
OPTIMUM
2
119.157
119.151
3448568
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900583053--soft-33-100-0.wbo
OPTIMUM
1
122.075
122.074
3448579
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900573137--soft-33-100-0.wbo
OPTIMUM
1
122.301
122.299
3448583
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900576151--soft-33-100-0.wbo
OPTIMUM
1
123.84
123.839
3448605
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900577940--soft-33-100-0.wbo
OPTIMUM
1
124.917
124.918
3448567
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl10_15_pb.cnf.cr--soft-33-100-0.wbo
OPTIMUM
21
130.146
130.141
3448246
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900548667--soft-33-100-0.wbo
OPTIMUM
1
130.374
130.371
3448536
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900667195--soft-33-100-0.wbo
OPTIMUM
1
134.936
134.933
3448565
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900553647--soft-33-100-0.wbo
OPTIMUM
1
135.034
135.03
3448559
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900557957--soft-66-100-0.wbo
OPTIMUM
7
139.442
139.462
3448558
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900557362--soft-33-100-0.wbo
OPTIMUM
5
140.662
140.656
3448626
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900570242--soft-33-100-0.wbo
OPTIMUM
8
141.252
141.25
3448586
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900565534--soft-33-100-0.wbo
OPTIMUM
1
145.178
145.187
3448563
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900570242--soft-66-100-0.wbo
OPTIMUM
16
146.66
146.66
3448612
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900561288--soft-33-100-0.wbo
OPTIMUM
1
148.522
148.519
3448566
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900548667--soft-66-100-0.wbo
OPTIMUM
1
151.013
151.009
3448616
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900552735--soft-33-100-0.wbo
OPTIMUM
4
153.159
153.155
3448199
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900559676--soft-33-100-0.wbo
OPTIMUM
1
153.216
153.211
3448596
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900567985--soft-33-100-0.wbo
OPTIMUM
1
155.336
155.337
3448578
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900571761--soft-66-100-0.wbo
OPTIMUM
2
161.414
161.41
3448560
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900579996--soft-33-100-0.wbo
OPTIMUM
1
169.293
169.289
3448562
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900561288--soft-66-100-0.wbo
OPTIMUM
1
188.987
188.988
3448539
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900569834--soft-33-100-0.wbo
OPTIMUM
8
194.59
194.584
3448549
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900552735--soft-66-100-0.wbo
OPTIMUM
6
229.011
229.006
3448609
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900569834--soft-66-100-0.wbo
OPTIMUM
12
247.631
247.626
3448615
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl10_15_pb.cnf.cr--soft-66-100-0.wbo
OPTIMUM
58
252.88
252.875
3448278
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900670234--soft-33-100-0.wbo
OPTIMUM
1
275.955
275.963
3448542
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl10_20_pb.cnf.cr--soft-66-100-0.wbo
OPTIMUM
96
385.416
385.41
3448250
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl10_20_pb.cnf.cr--soft-33-100-0.wbo
OPTIMUM
20
395.482
395.468
3448305
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900670234--soft-66-100-0.wbo
OPTIMUM
2
396.721
396.718
3448582
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-geom40-2_wcsp.wbo
OPTIMUM
22
529.881
529.885
3448718
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j605_1-unsat--soft-33-100-0.wbo
OPTIMUM
1
586.887
586.871
3448419
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.8.accl.ucl--soft-66-100-0.wbo
OPTIMUM
1
762.483
762.485
3448263
Solver timed out but found at least a solution (81 runs)
[Show/Hide]
Benchmark Name
Answer
cost of falsified constraints
CPU time
Wall clock time
TraceID
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-55-50--soft-66-100-0.wbo
MSAT (TO)
770
1800.02
1800.01
3448321
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_41_pb.cnf.cr--soft-66-100-0.wbo
MSAT (TO)
994
1800.03
1800.01
3448264
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_25_pb.cnf.cr--soft-33-100-0.wbo
MSAT (TO)
1337
1800.03
1800.01
3448281
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-25-20--soft-66-100-0.wbo
MSAT (TO)
7
1800.03
1800.01
3448320
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_20_pb.cnf.cr--soft-66-100-0.wbo
MSAT (TO)
338
1800.03
1800.01
3448277
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_60_pb.cnf.cr--soft-66-100-0.wbo
MSAT (TO)
2274
1800.03
1800.01
3448299
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_45_pb.cnf.cr--soft-33-100-0.wbo
MSAT (TO)
2829
1800.03
1800.01
3448266
/PARTIAL-SMALLINT-LIN/wcsp/spot5/
normalized-spot5-404_wcsp.wbo
MSAT (TO)
116
1800.03
1800.01
3448713
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_30_pb.cnf.cr--soft-66-100-0.wbo
MSAT (TO)
729
1800.03
1800.01
3448310
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_31_pb.cnf.cr--soft-33-100-0.wbo
MSAT (TO)
1779
1800.03
1800.01
3448307
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_45_pb.cnf.cr--soft-66-100-0.wbo
MSAT (TO)
1368
1800.04
1800.01
3448293
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_20_pb.cnf.cr--soft-33-100-0.wbo
MSAT (TO)
803
1800.04
1800.01
3448295
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-95-90--soft-33-100-0.wbo
MSAT (TO)
3531
1800.04
1800.01
3448369
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_40_pb.cnf.cr--soft-66-100-0.wbo
MSAT (TO)
1059
1800.04
1800.01
3448301
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-71-70--soft-33-100-0.wbo
MSAT (TO)
2715
1800.04
1800.01
3448358
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_50_pb.cnf.cr--soft-33-100-0.wbo
MSAT (TO)
3379
1800.05
1800.01
3448258
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-95-90--soft-66-100-0.wbo
MSAT (TO)
1491
1800.05
1800.01
3448367
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-81-80--soft-66-100-0.wbo
MSAT (TO)
1126
1800.05
1800.01
3448363
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-65-60--soft-33-100-0.wbo
MSAT (TO)
1914
1800.05
1800.01
3448348
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_40_pb.cnf.cr--soft-33-100-0.wbo
MSAT (TO)
1956
1800.05
1800.01
3448272
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_16_pb.cnf.cr--soft-66-100-0.wbo
MSAT (TO)
245
1800.05
1800.01
3448240
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_45_pb.cnf.cr--soft-66-100-0.wbo
MSAT (TO)
1363
1800.05
1800.01
3448274
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_16_pb.cnf.cr--soft-33-100-0.wbo
MSAT (TO)
485
1800.05
1800.01
3448273
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-35-30--soft-66-100-0.wbo
MSAT (TO)
23
1800.05
1800.01
3448357
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-25-20--soft-33-100-0.wbo
MSAT (TO)
297
1800.05
1800.01
3448353
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_31_pb.cnf.cr--soft-66-100-0.wbo
MSAT (TO)
824
1800.05
1800.01
3448303
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_50_pb.cnf.cr--soft-66-100-0.wbo
MSAT (TO)
1474
1800.05
1800.01
3448254
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-51-50--soft-33-100-0.wbo
MSAT (TO)
1657
1800.05
1800.01
3448344
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_25_pb.cnf.cr--soft-33-100-0.wbo
MSAT (TO)
1504
1800.05
1800.01
3448242
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-45-40--soft-33-100-0.wbo
MSAT (TO)
1640
1800.05
1800.01
3448342
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_35_pb.cnf.cr--soft-66-100-0.wbo
MSAT (TO)
837
1800.05
1800.01
3448256
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-21-20--soft-33-100-0.wbo
MSAT (TO)
272
1800.05
1800.01
3448365
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-bf0432-007_ext.wbo
MSAT (TO)
58
1800.05
1800.01
3448654
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-41-40--soft-66-100-0.wbo
MSAT (TO)
418
1800.05
1800.01
3448361
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j3029_8-unsat--soft-33-100-0.wbo
MSAT (TO)
1329
1800.05
1800.01
3448324
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-75-70--soft-33-100-0.wbo
MSAT (TO)
2423
1800.05
1800.01
3448375
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_55_pb.cnf.cr--soft-66-100-0.wbo
MSAT (TO)
2004
1800.05
1800.01
3448252
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_25_pb.cnf.cr--soft-66-100-0.wbo
MSAT (TO)
692
1800.05
1800.01
3448260
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_55_pb.cnf.cr--soft-33-100-0.wbo
MSAT (TO)
3741
1800.05
1800.01
3448262
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-le450-5a-2_wcsp.wbo
MSAT (TO)
2725
1800.06
1800.02
3448724
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-85-80--soft-33-100-0.wbo
MSAT (TO)
3028
1800.06
1800.01
3448359
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-dsjc125-1-4_wcsp.wbo
MSAT (TO)
41
1800.06
1800.01
3448721
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-35-30--soft-33-100-0.wbo
MSAT (TO)
1055
1800.06
1800.01
3448312
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-31-30--soft-33-100-0.wbo
MSAT (TO)
987
1800.06
1800.01
3448325
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_21_pb.cnf.cr--soft-66-100-0.wbo
MSAT (TO)
426
1800.06
1800.01
3448248
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-61-60--soft-33-100-0.wbo
MSAT (TO)
1653
1800.06
1800.01
3448331
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_30_pb.cnf.cr--soft-33-100-0.wbo
MSAT (TO)
1863
1800.06
1800.01
3448268
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-55-50--soft-33-100-0.wbo
MSAT (TO)
1717
1800.06
1800.01
3448340
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j605_10-unsat--soft-66-100-0.wbo
MSAT (TO)
69
1800.06
1800.02
3448364
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-45-40--soft-66-100-0.wbo
MSAT (TO)
406
1800.06
1800.01
3448334
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-65-60--soft-66-100-0.wbo
MSAT (TO)
790
1800.06
1800.01
3448354
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-41-40--soft-33-100-0.wbo
MSAT (TO)
1375
1800.06
1800.01
3448368
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-105-100--soft-33-100-0.wbo
MSAT (TO)
3539
1800.06
1800.01
3448350
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-71-70--soft-66-100-0.wbo
MSAT (TO)
958
1800.06
1800.01
3448351
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_21_pb.cnf.cr--soft-33-100-0.wbo
MSAT (TO)
871
1800.06
1800.01
3448292
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_45_pb.cnf.cr--soft-33-100-0.wbo
MSAT (TO)
2084
1800.07
1800.01
3448308
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-81-80--soft-33-100-0.wbo
MSAT (TO)
3065
1800.07
1800.01
3448373
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-21-20--soft-66-100-0.wbo
MSAT (TO)
23
1800.07
1800.01
3448338
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-91-90--soft-33-100-0.wbo
MSAT (TO)
2668
1800.07
1800.01
3448372
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-myciel5g-3_wcsp.wbo
MSAT (TO)
19
1800.07
1800.01
3448722
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-75-70--soft-66-100-0.wbo
MSAT (TO)
1076
1800.07
1800.01
3448346
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-105-100--soft-66-100-0.wbo
MSAT (TO)
1638
1800.07
1800.02
3448323
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_60_pb.cnf.cr--soft-33-100-0.wbo
MSAT (TO)
3972
1800.07
1800.01
3448269
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_40_pb.cnf.cr--soft-66-100-0.wbo
MSAT (TO)
1373
1800.07
1800.01
3448271
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-61-60--soft-66-100-0.wbo
MSAT (TO)
801
1800.07
1800.01
3448347
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-101-100--soft-66-100-0.wbo
MSAT (TO)
1612
1800.07
1800.02
3448329
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_51_pb.cnf.cr--soft-33-100-0.wbo
MSAT (TO)
3377
1800.07
1800.01
3448291
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-91-90--soft-66-100-0.wbo
MSAT (TO)
1342
1800.07
1800.01
3448355
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_36_pb.cnf.cr--soft-33-100-0.wbo
MSAT (TO)
2134
1800.07
1800.01
3448286
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-101-100--soft-33-100-0.wbo
MSAT (TO)
3015
1800.07
1800.02
3448336
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_25_pb.cnf.cr--soft-66-100-0.wbo
MSAT (TO)
379
1800.07
1800.01
3448283
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-51-50--soft-66-100-0.wbo
MSAT (TO)
638
1800.07
1800.01
3448376
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-85-80--soft-66-100-0.wbo
MSAT (TO)
1041
1800.08
1800.01
3448337
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j605_10-unsat--soft-33-100-0.wbo
MSAT (TO)
180
1800.08
1800.03
3448366
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_41_pb.cnf.cr--soft-33-100-0.wbo
MSAT (TO)
2706
1800.08
1800.01
3448270
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_36_pb.cnf.cr--soft-66-100-0.wbo
MSAT (TO)
979
1800.08
1800.01
3448297
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_51_pb.cnf.cr--soft-66-100-0.wbo
MSAT (TO)
1786
1800.08
1800.01
3448244
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_40_pb.cnf.cr--soft-33-100-0.wbo
MSAT (TO)
2454
1800.08
1800.11
3448279
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_35_pb.cnf.cr--soft-33-100-0.wbo
MSAT (TO)
2081
1800.08
1800.01
3448289
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-31-30--soft-66-100-0.wbo
MSAT (TO)
1
1800.08
1800.01
3448318
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-le450-5a-4_wcsp.wbo
MSAT (TO)
1421
1800.09
1800.03
3448725