PB'10 competition: WBO track: benchmarks results per solver
Result page for solver wbo
1.4a
(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
304.651
304.663
2699620
Solver found the best solution (372 runs)
[Show/Hide]
Benchmark Name
Answer
cost of falsified constraints
CPU time
Wall clock time
TraceID
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-elf.rf6.ucl--soft-66-100-0.wbo
OPTIMUM
9
0.000999
0.00626302
2689683
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-elf.rf6.ucl--soft-33-100-0.wbo
OPTIMUM
1
0.000999
0.00604694
2689628
/PARTIAL-SMALLINT-LIN/wcsp/spot5/
normalized-spot5-8_wcsp.wbo
OPTIMUM
2
0.000999
0.00607297
2700460
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-3.ucl--soft-66-100-0.wbo
OPTIMUM
1
0.001998
0.00634292
2689612
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-4.ucl--soft-33-100-0.wbo
OPTIMUM
13
0.001998
0.006263
2689622
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-8wqueens_wcsp.wbo
OPTIMUM
2
0.001999
0.00613901
2699512
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-3.ucl--soft-33-100-0.wbo
OPTIMUM
8
0.002998
0.00609709
2689590
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-4.ucl--soft-66-100-0.wbo
OPTIMUM
5
0.002998
0.00618311
2689698
/PARTIAL-SMALLINT-LIN/wcsp/pedigree/
normalized-connell_wcsp.wbo
OPTIMUM
1
0.003998
0.00602006
2700496
/PARTIAL-SMALLINT-LIN/wcsp/pedigree/
normalized-simple_wcsp.wbo
OPTIMUM
1
0.003999
0.00623401
2700508
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-geom30a-5_wcsp.wbo
OPTIMUM
1
0.005998
0.00626799
2700532
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh202_wcsp.wbo
OPTIMUM
68
0.005998
0.00638399
2700004
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois21_ext.wbo
OPTIMUM
1
0.005998
0.00676106
2699704
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois22_ext.wbo
OPTIMUM
1
0.005999
0.00725188
2699716
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois24_ext.wbo
OPTIMUM
1
0.006998
0.011405
2699692
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-pret60_60_ext.wbo
OPTIMUM
1
0.006998
0.00767905
2699848
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois23_ext.wbo
OPTIMUM
1
0.006998
0.00723405
2699788
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-pret60_75_ext.wbo
OPTIMUM
1
0.006998
0.00687997
2699884
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-pret60_25_ext.wbo
OPTIMUM
1
0.006998
0.00900097
2699632
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois26_ext.wbo
OPTIMUM
1
0.007997
0.00803506
2699752
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois20_ext.wbo
OPTIMUM
1
0.007997
0.00982796
2699764
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-pret60_40_ext.wbo
OPTIMUM
1
0.007997
0.00723408
2699836
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois30_ext.wbo
OPTIMUM
1
0.007998
0.0234869
2699812
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois25_ext.wbo
OPTIMUM
1
0.007998
0.00773797
2699872
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-ssa0432-003_ext.wbo
OPTIMUM
1
0.007998
0.00796812
2699824
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois28_ext.wbo
OPTIMUM
1
0.008998
0.00886291
2699800
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-geom30a-4_wcsp.wbo
OPTIMUM
4
0.008998
0.00949397
2700604
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois29_ext.wbo
OPTIMUM
1
0.008998
0.0100021
2699728
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois27_ext.wbo
OPTIMUM
1
0.009997
0.010308
2699896
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-geom40-2_wcsp.wbo
OPTIMUM
22
0.009998
0.0106059
2700544
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-pret150_60_ext.wbo
OPTIMUM
1
0.011997
0.015543
2699920
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-44s.smv--soft-33-100-0.wbo
OPTIMUM
1
0.011997
0.0118789
2689614
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-44s.smv--soft-66-100-0.wbo
OPTIMUM
1
0.011997
0.011332
2689706
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-pret150_25_ext.wbo
OPTIMUM
1
0.011997
0.0133559
2699740
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-pret150_40_ext.wbo
OPTIMUM
1
0.012997
0.013476
2699668
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-2.ucl--soft-66-100-0.wbo
OPTIMUM
1
0.012998
0.0126671
2689689
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-elf.rf7.ucl--soft-33-100-0.wbo
OPTIMUM
1
0.013997
0.014671
2689625
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh306_wcsp.wbo
OPTIMUM
16
0.014996
0.0159921
2700280
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-pret150_75_ext.wbo
OPTIMUM
1
0.014997
0.0152379
2699860
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-elf.rf7.ucl--soft-66-100-0.wbo
OPTIMUM
2
0.015996
0.015957
2689680
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-2.ucl--soft-33-100-0.wbo
OPTIMUM
1
0.015996
0.0160149
2689578
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-37s.smv--soft-66-100-0.wbo
OPTIMUM
1
0.017996
0.0179471
2689588
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-37s.smv--soft-33-100-0.wbo
OPTIMUM
1
0.018996
0.0183361
2689703
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois50_ext.wbo
OPTIMUM
1
0.018996
0.0224409
2699680
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-bf2670-001_ext.wbo
OPTIMUM
1
0.018997
0.0187121
2699644
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh203_wcsp.wbo
OPTIMUM
39
0.022995
0.0237111
2700232
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-6.ucl--soft-66-100-0.wbo
OPTIMUM
1
0.022995
0.023215
2689646
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois100_ext.wbo
OPTIMUM
1
0.023995
0.0245499
2699656
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j308_1-unsat--soft-33-100-0.wbo
OPTIMUM
5
0.023995
0.0247971
2689742
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-6.ucl--soft-33-100-0.wbo
OPTIMUM
1
0.024995
0.0244551
2689693
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-ssa2670-141_ext.wbo
OPTIMUM
1
0.025995
0.0258771
2699908
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j308_1-unsat--soft-66-100-0.wbo
OPTIMUM
83
0.026995
0.0266201
2689720
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-7.ucl--soft-33-100-0.wbo
OPTIMUM
1
0.029994
0.0293981
2689566
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh10_wcsp.wbo
OPTIMUM
85
0.029995
0.030934
2700316
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-46s.smv--soft-66-100-0.wbo
OPTIMUM
1
0.031994
0.031785
2689643
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf6.ucl--soft-33-100-0.wbo
OPTIMUM
1
0.031994
0.0316641
2689596
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh13_wcsp.wbo
OPTIMUM
109
0.031995
0.0327659
2700328
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh216_wcsp.wbo
OPTIMUM
12
0.032994
0.0329891
2699980
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-cache.inv8.ucl--soft-66-100-0.wbo
OPTIMUM
41
0.034994
0.035567
2689570
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-46s.smv--soft-33-100-0.wbo
OPTIMUM
1
0.035994
0.0363049
2689616
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-8.ucl--soft-66-100-0.wbo
OPTIMUM
4
0.039993
0.039932
2689637
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-cache.inv8.ucl--soft-33-100-0.wbo
OPTIMUM
2
0.039993
0.0407151
2689652
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf6.ucl--soft-66-100-0.wbo
OPTIMUM
2
0.039993
0.0399499
2689584
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh16_wcsp.wbo
OPTIMUM
6
0.042992
0.045876
2700304
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j301_4-unsat--soft-66-100-0.wbo
OPTIMUM
21
0.043992
0.0437891
2689714
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j301_4-unsat--soft-33-100-0.wbo
OPTIMUM
9
0.049991
0.050113
2689731
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j3046_4-unsat--soft-66-100-0.wbo
OPTIMUM
2
0.051991
0.05192
2689718
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-tlan2.ucl--soft-66-100-0.wbo
OPTIMUM
2
0.053991
0.0538529
2689564
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j3046_4-unsat--soft-33-100-0.wbo
OPTIMUM
2
0.05899
0.058667
2689740
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j602_7-unsat--soft-33-100-0.wbo
OPTIMUM
6
0.05999
0.060552
2689788
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j606_1-unsat--soft-66-100-0.wbo
OPTIMUM
25
0.06099
0.060591
2689818
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j606_1-unsat--soft-33-100-0.wbo
OPTIMUM
3
0.061989
0.062207
2689809
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j602_7-unsat--soft-66-100-0.wbo
OPTIMUM
3
0.06199
0.0628749
2689785
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-tlan2.ucl--soft-33-100-0.wbo
OPTIMUM
1
0.064989
0.06479
2689594
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j6027_4-unsat--soft-66-100-0.wbo
OPTIMUM
24
0.06499
0.065546
2689836
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j6027_4-unsat--soft-33-100-0.wbo
OPTIMUM
22
0.065989
0.066694
2689828
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j603_2-unsat--soft-66-100-0.wbo
OPTIMUM
31
0.065989
0.0663159
2689824
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j603_2-unsat--soft-33-100-0.wbo
OPTIMUM
6
0.066989
0.06772
2689821
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-bf0432-007_ext.wbo
OPTIMUM
1
0.068988
0.0698689
2699776
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j6010_2-unsat--soft-66-100-0.wbo
OPTIMUM
12
0.071988
0.072023
2689791
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j6010_2-unsat--soft-33-100-0.wbo
OPTIMUM
6
0.072988
0.0732251
2689782
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-elf.rf8.ucl--soft-66-100-0.wbo
OPTIMUM
1
0.082986
0.0822519
2689701
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-25s.smv--soft-66-100-0.wbo
OPTIMUM
1
0.082986
0.0825121
2689586
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf7.ucl--soft-33-100-0.wbo
OPTIMUM
1
0.086985
0.0866241
2689673
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf7.ucl--soft-66-100-0.wbo
OPTIMUM
1
0.088985
0.08898
2689664
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/
normalized-j907_8-unsat--soft-66-100-0.wbo
OPTIMUM
14
0.090985
0.091294
2689754
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/
normalized-j903_10-unsat--soft-66-100-0.wbo
OPTIMUM
4
0.091985
0.092544
2689763
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-22s.smv--soft-66-100-0.wbo
OPTIMUM
1
0.096984
0.096627
2689640
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-25s.smv--soft-33-100-0.wbo
OPTIMUM
2
0.099984
0.100699
2689559
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-elf.rf8.ucl--soft-33-100-0.wbo
OPTIMUM
1
0.106983
0.10754
2689606
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-22s.smv--soft-33-100-0.wbo
OPTIMUM
1
0.111982
0.111217
2689655
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/
normalized-j9012_2-unsat--soft-66-100-0.wbo
OPTIMUM
54
0.12098
0.121371
2689751
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j3041_4-unsat--soft-33-100-0.wbo
OPTIMUM
1
0.12398
0.123954
2689734
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/
normalized-j9028_2-unsat--soft-66-100-0.wbo
OPTIMUM
20
0.12698
0.127871
2689771
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-cache.inv10.ucl--soft-66-100-0.wbo
OPTIMUM
3
0.128979
0.129293
2689631
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j6033_2-unsat--soft-66-100-0.wbo
OPTIMUM
51
0.132979
0.133829
2689834
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/
normalized-j9015_10-unsat--soft-66-100-0.wbo
OPTIMUM
29
0.136978
0.136994
2689773
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/
normalized-j9039_3-unsat--soft-66-100-0.wbo
OPTIMUM
42
0.138978
0.138867
2689756
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j6030_9-unsat--soft-66-100-0.wbo
OPTIMUM
8
0.140978
0.141134
2689802
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-dlx1c.ucl--soft-33-100-0.wbo
OPTIMUM
1
0.142977
0.142558
2689572
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-43s.smv--soft-66-100-0.wbo
OPTIMUM
1
0.150976
0.151067
2689602
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/
normalized-j9048_1-unsat--soft-66-100-0.wbo
OPTIMUM
22
0.151976
0.151457
2689767
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-dlx1c.ucl--soft-66-100-0.wbo
OPTIMUM
1
0.153976
0.153896
2689608
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-43s.smv--soft-33-100-0.wbo
OPTIMUM
1
0.158975
0.159441
2689582
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.4.accl.ucl--soft-33-100-0.wbo
OPTIMUM
1
0.160974
0.161609
2689561
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/
normalized-j9014_1-unsat--soft-66-100-0.wbo
OPTIMUM
6
0.160974
0.161204
2689744
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh215_wcsp.wbo
OPTIMUM
88
0.164974
0.166196
2700064
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.4.accl.ucl--soft-66-100-0.wbo
OPTIMUM
1
0.165973
0.166139
2689620
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/
normalized-j9010_6-unsat--soft-66-100-0.wbo
OPTIMUM
9
0.167974
0.167773
2689749
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j309_10-unsat--soft-66-100-0.wbo
OPTIMUM
1
0.172973
0.173595
2689723
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-cache.inv10.ucl--soft-33-100-0.wbo
OPTIMUM
3
0.172973
0.173175
2689560
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh208_wcsp.wbo
OPTIMUM
79
0.174973
0.174733
2700148
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-8.ucl--soft-33-100-0.wbo
OPTIMUM
3
0.217966
0.218016
2689600
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-tlan3.ucl--soft-66-100-0.wbo
OPTIMUM
4
0.25096
0.250817
2689686
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-dlx1c.rwmem1.ucl--soft-33-100-0.wbo
OPTIMUM
1
0.254961
0.255334
2689618
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-dlx1c.rwmem1.ucl--soft-66-100-0.wbo
OPTIMUM
1
0.25596
0.255458
2689557
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-7.ucl--soft-66-100-0.wbo
OPTIMUM
4
0.25896
0.259138
2689568
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-dlx1c.rwmem.ucl--soft-66-100-0.wbo
OPTIMUM
1
0.282956
0.283478
2689562
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh214_wcsp.wbo
OPTIMUM
75
0.287955
0.288431
2700136
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf8.ucl--soft-66-100-0.wbo
OPTIMUM
1
0.289955
0.289942
2689610
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-dlx1c.rwmem.ucl--soft-33-100-0.wbo
OPTIMUM
1
0.318951
0.318424
2689574
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf8.ucl--soft-33-100-0.wbo
OPTIMUM
1
0.32295
0.322452
2689678
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j3041_4-unsat--soft-66-100-0.wbo
OPTIMUM
5
0.347946
0.34738
2689727
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-elf.rf9.ucl--soft-66-100-0.wbo
OPTIMUM
1
0.404937
0.406031
2689576
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j309_10-unsat--soft-33-100-0.wbo
OPTIMUM
2
0.45493
0.454863
2689737
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.2.accl.ucl--soft-66-100-0.wbo
OPTIMUM
1
0.72189
0.721265
2689649
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.2.accl.ucl--soft-33-100-0.wbo
OPTIMUM
1
0.863868
0.863893
2689712
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh06_wcsp.wbo
OPTIMUM
99
1.15282
1.15285
2700196
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf9.ucl--soft-66-100-0.wbo
OPTIMUM
1
1.20882
1.20965
2689634
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.tag8.ucl--soft-33-100-0.wbo
OPTIMUM
1
1.35779
1.35742
2689661
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j605_1-unsat--soft-33-100-0.wbo
OPTIMUM
1
2.09968
2.09976
2689831
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.3.accl.ucl--soft-66-100-0.wbo
OPTIMUM
1
2.19767
2.19766
2689598
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.3.accl.ucl--soft-33-100-0.wbo
OPTIMUM
1
2.32765
2.32744
2689604
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.tag8.ucl--soft-66-100-0.wbo
OPTIMUM
2
2.6076
2.60751
2689684
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j605_1-unsat--soft-66-100-0.wbo
OPTIMUM
1
2.73858
2.73807
2689781
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh19_wcsp.wbo
OPTIMUM
166
3.11852
3.11918
2700076
/PARTIAL-SMALLINT-LIN/wcsp/spot5/
normalized-spot5-54_wcsp.wbo
OPTIMUM
37
3.64445
3.64504
2700472
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110966483--soft-33-100-0.wbo
OPTIMUM
1
5.43117
5.43456
2689805
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111219799--soft-66-100-0.wbo
OPTIMUM
1
6.09107
6.09064
2689813
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111227326--soft-33-100-0.wbo
OPTIMUM
2
7.02193
7.02188
2689895
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218955--soft-33-100-0.wbo
OPTIMUM
2
7.67983
7.67965
2689952
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf10.ucl--soft-66-100-0.wbo
OPTIMUM
1
7.69083
7.69071
2689708
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.tag10.ucl--soft-66-100-0.wbo
OPTIMUM
1
10.0925
10.092
2689695
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111225605--soft-33-100-0.wbo
OPTIMUM
1
10.1415
10.1413
2689900
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110973364--soft-33-100-0.wbo
OPTIMUM
2
10.2334
10.2328
2689890
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110967142--soft-66-100-0.wbo
OPTIMUM
1
10.3184
10.319
2689807
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.tag10.ucl--soft-33-100-0.wbo
OPTIMUM
1
10.3994
10.399
2689580
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110966688--soft-33-100-0.wbo
OPTIMUM
2
10.6234
10.6235
2689915
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224451--soft-33-100-0.wbo
OPTIMUM
2
11.0503
11.0523
2689921
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111226680--soft-33-100-0.wbo
OPTIMUM
2
11.1813
11.1811
2689814
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111221203--soft-33-100-0.wbo
OPTIMUM
2
11.1833
11.1837
2689844
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111216411--soft-66-100-0.wbo
OPTIMUM
6
11.9962
11.9956
2689829
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111213868--soft-33-100-0.wbo
OPTIMUM
2
12.0732
12.0804
2689792
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111227012--soft-33-100-0.wbo
OPTIMUM
2
12.2511
12.2503
2689816
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111212476--soft-33-100-0.wbo
OPTIMUM
1
12.3871
12.391
2689972
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111225122--soft-33-100-0.wbo
OPTIMUM
2
12.5631
12.5626
2689981
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110971697--soft-33-100-0.wbo
OPTIMUM
2
12.6521
12.6523
2689789
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111217392--soft-33-100-0.wbo
OPTIMUM
2
12.8141
12.8136
2689881
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111212272--soft-33-100-0.wbo
OPTIMUM
2
12.845
12.845
2689910
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111220019--soft-33-100-0.wbo
OPTIMUM
2
13.07
13.0699
2689879
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111220546--soft-33-100-0.wbo
OPTIMUM
2
13.5279
13.5279
2689931
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110968898--soft-33-100-0.wbo
OPTIMUM
2
13.9559
13.9552
2689867
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110974180--soft-33-100-0.wbo
OPTIMUM
2
14.1768
14.1768
2689795
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110967729--soft-33-100-0.wbo
OPTIMUM
4
14.2878
14.2872
2689935
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j3029_8-unsat--soft-66-100-0.wbo
OPTIMUM
2
17.4483
17.4488
2689716
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110972154--soft-33-100-0.wbo
OPTIMUM
2
18.0263
18.0293
2689863
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111223004--soft-33-100-0.wbo
OPTIMUM
2
18.6542
18.6543
2689800
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111216823--soft-66-100-0.wbo
OPTIMUM
18
18.8721
18.8719
2689815
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111227326--soft-66-100-0.wbo
OPTIMUM
17
19.428
19.4292
2689856
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110967142--soft-33-100-0.wbo
OPTIMUM
2
20.014
20.014
2689843
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110975607--soft-66-100-0.wbo
OPTIMUM
18
20.0589
20.0589
2689948
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110976935--soft-33-100-0.wbo
OPTIMUM
2
20.6709
20.6705
2689794
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110975965--soft-33-100-0.wbo
OPTIMUM
2
22.3286
22.3291
2689833
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111216411--soft-33-100-0.wbo
OPTIMUM
2
22.7605
22.761
2689849
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110976157--soft-33-100-0.wbo
OPTIMUM
8
23.7034
23.7036
2689801
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218955--soft-66-100-0.wbo
OPTIMUM
19
24.1663
24.1662
2689865
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218308--soft-33-100-0.wbo
OPTIMUM
2
25.1452
25.144
2689914
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111219799--soft-33-100-0.wbo
OPTIMUM
4
25.2492
25.2514
2689812
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111216823--soft-33-100-0.wbo
OPTIMUM
4
25.7841
25.7873
2689966
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110966688--soft-66-100-0.wbo
OPTIMUM
19
29.3465
29.3458
2689896
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110968094--soft-66-100-0.wbo
OPTIMUM
17
32.2281
32.229
2689973
/PARTIAL-SMALLINT-LIN/wcsp/spot5/
normalized-spot5-404_wcsp.wbo
OPTIMUM
114
32.642
32.6413
2700484
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110978113--soft-33-100-0.wbo
OPTIMUM
2
32.6945
16.4047
2689898
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900551864--soft-33-100-0.wbo
OPTIMUM
1
33.6829
33.6823
2690035
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111221624--soft-33-100-0.wbo
OPTIMUM
5
35.3586
35.3582
2689912
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.tag12.ucl--soft-66-100-0.wbo
OPTIMUM
1
38.1792
38.1799
2689592
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111225605--soft-66-100-0.wbo
OPTIMUM
17
38.7841
38.7833
2689923
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110970444--soft-33-100-0.wbo
OPTIMUM
10
39.0601
39.0632
2689905
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111213868--soft-66-100-0.wbo
OPTIMUM
14
41.2657
41.2675
2689975
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110976730--soft-33-100-0.wbo
OPTIMUM
4
43.4124
43.4156
2689919
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900563801--soft-33-100-0.wbo
OPTIMUM
1
45.0302
45.0326
2690013
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224929--soft-33-100-0.wbo
OPTIMUM
8
45.6791
45.6827
2689970
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j3029_8-unsat--soft-33-100-0.wbo
OPTIMUM
4
45.862
45.8609
2689729
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110972763--soft-33-100-0.wbo
OPTIMUM
6
50.9682
50.9684
2689798
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111228076--soft-66-100-0.wbo
OPTIMUM
10
54.4377
54.4422
2689852
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900670675--soft-66-100-0.wbo
OPTIMUM
1
56.3114
56.3104
2689982
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900564824--soft-33-100-0.wbo
OPTIMUM
4
57.7312
57.7315
2690097
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111217392--soft-66-100-0.wbo
OPTIMUM
14
58.8021
58.8009
2689859
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111219348--soft-33-100-0.wbo
OPTIMUM
9
59.6949
59.7013
2689917
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218308--soft-66-100-0.wbo
OPTIMUM
9
62.9474
62.9456
2689889
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111222257--soft-33-100-0.wbo
OPTIMUM
8
64.4352
64.4348
2689976
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224255--soft-33-100-0.wbo
OPTIMUM
8
65.3441
65.3426
2689903
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110973670--soft-33-100-0.wbo
OPTIMUM
8
66.2199
66.2186
2689830
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111227861--soft-33-100-0.wbo
OPTIMUM
11
66.8078
66.8057
2689827
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110968561--soft-33-100-0.wbo
OPTIMUM
8
67.1758
67.174
2689826
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110978113--soft-66-100-0.wbo
OPTIMUM
17
67.4237
67.5767
2689960
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110967523--soft-66-100-0.wbo
OPTIMUM
14
68.1646
68.2328
2689904
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111212923--soft-33-100-0.wbo
OPTIMUM
8
69.6934
69.6922
2689847
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111212476--soft-66-100-0.wbo
OPTIMUM
17
73.2669
73.2651
2689806
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110977273--soft-33-100-0.wbo
OPTIMUM
8
74.4727
74.4721
2689974
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900567135--soft-33-100-0.wbo
OPTIMUM
1
74.5947
74.5927
2690067
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111217555--soft-33-100-0.wbo
OPTIMUM
8
76.1204
76.1198
2689797
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111226368--soft-66-100-0.wbo
OPTIMUM
19
76.6324
76.6306
2689871
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111226368--soft-33-100-0.wbo
OPTIMUM
15
79.065
79.0643
2689962
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900554072--soft-33-100-0.wbo
OPTIMUM
1
79.3049
79.3008
2690087
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111226062--soft-33-100-0.wbo
OPTIMUM
10
79.7469
79.7454
2689929
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110967523--soft-33-100-0.wbo
OPTIMUM
8
82.3805
82.377
2689943
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111222539--soft-33-100-0.wbo
OPTIMUM
9
84.4152
84.4126
2689916
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900544484--soft-33-100-0.wbo
OPTIMUM
1
86.7398
86.7389
2689553
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111212923--soft-66-100-0.wbo
OPTIMUM
22
88.5725
88.5735
2689967
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900554420--soft-66-100-0.wbo
OPTIMUM
1
94.3157
94.3254
2690099
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900566157--soft-33-100-0.wbo
OPTIMUM
1
100.628
100.632
2690065
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111226062--soft-66-100-0.wbo
OPTIMUM
40
101.218
101.218
2689875
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900575442--soft-66-100-0.wbo
OPTIMUM
1
101.906
101.907
2690141
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900551864--soft-66-100-0.wbo
OPTIMUM
1
103.957
103.956
2690053
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110977273--soft-66-100-0.wbo
OPTIMUM
22
104.103
104.139
2689980
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-11-10--soft-33-100-0.wbo
OPTIMUM
1
104.356
104.354
2689717
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110969860--soft-33-100-0.wbo
OPTIMUM
8
107.505
107.502
2689793
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900574864--soft-33-100-0.wbo
OPTIMUM
1
107.679
107.676
2690055
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111223004--soft-66-100-0.wbo
OPTIMUM
19
107.816
107.813
2689894
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900546417--soft-66-100-0.wbo
OPTIMUM
1
108.034
108.03
2689983
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900575442--soft-33-100-0.wbo
OPTIMUM
1
108.405
108.404
2690004
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111228076--soft-33-100-0.wbo
OPTIMUM
10
111.822
111.819
2689838
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110969577--soft-33-100-0.wbo
OPTIMUM
12
113.21
113.208
2689790
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111223220--soft-33-100-0.wbo
OPTIMUM
12
116.221
116.219
2689840
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110968561--soft-66-100-0.wbo
OPTIMUM
19
117.042
117.04
2689878
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900562192--soft-66-100-0.wbo
OPTIMUM
1
117.511
117.509
2690023
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900564281--soft-33-100-0.wbo
OPTIMUM
1
117.614
117.612
2689534
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111221624--soft-66-100-0.wbo
OPTIMUM
22
118.903
118.906
2689872
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224255--soft-66-100-0.wbo
OPTIMUM
22
123.533
123.539
2689873
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111217555--soft-66-100-0.wbo
OPTIMUM
22
127.251
127.253
2689907
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111213670--soft-33-100-0.wbo
OPTIMUM
29
130.032
130.029
2689817
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900573901--soft-66-100-0.wbo
OPTIMUM
1
132.069
132.072
2690095
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110974372--soft-33-100-0.wbo
OPTIMUM
29
133.663
133.685
2689933
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218024--soft-33-100-0.wbo
OPTIMUM
12
134.021
134.019
2689845
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110974180--soft-66-100-0.wbo
OPTIMUM
23
135.895
135.893
2689837
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900553647--soft-33-100-0.wbo
OPTIMUM
1
136.044
136.041
2690031
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900544484--soft-66-100-0.wbo
OPTIMUM
2
137.643
137.645
2690089
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110968094--soft-33-100-0.wbo
OPTIMUM
23
139.668
139.665
2689825
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900573901--soft-33-100-0.wbo
OPTIMUM
1
143.76
143.759
2689996
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900567135--soft-66-100-0.wbo
OPTIMUM
2
144.309
144.306
2690002
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900562192--soft-33-100-0.wbo
OPTIMUM
1
145.475
145.492
2689549
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110975607--soft-33-100-0.wbo
OPTIMUM
24
146.22
146.224
2689965
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900546417--soft-33-100-0.wbo
OPTIMUM
1
151.682
151.678
2690168
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110973670--soft-66-100-0.wbo
OPTIMUM
22
157.1
157.093
2689854
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900551347--soft-33-100-0.wbo
OPTIMUM
2
159.195
159.201
2689989
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900574864--soft-66-100-0.wbo
OPTIMUM
1
160.876
160.877
2689991
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900546076--soft-33-100-0.wbo
OPTIMUM
4
164.488
164.484
2689990
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900669797--soft-33-100-0.wbo
OPTIMUM
1
169.551
169.547
2690135
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900669797--soft-66-100-0.wbo
OPTIMUM
1
171.049
171.045
2690160
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-11-10--soft-66-100-0.wbo
OPTIMUM
1
171.974
171.969
2689760
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900554420--soft-33-100-0.wbo
OPTIMUM
2
173.063
173.059
2690051
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111225122--soft-66-100-0.wbo
OPTIMUM
35
178.279
178.274
2689823
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110969170--soft-33-100-0.wbo
OPTIMUM
14
178.402
178.404
2689869
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900552423--soft-66-100-0.wbo
OPTIMUM
12
179.689
179.686
2690166
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900558739--soft-33-100-0.wbo
OPTIMUM
1
185.162
185.158
2690057
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900552288--soft-33-100-0.wbo
OPTIMUM
1
187.407
187.399
2689542
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900556231--soft-33-100-0.wbo
OPTIMUM
1
188.053
188.048
2689995
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900571132--soft-66-100-0.wbo
OPTIMUM
1
190.536
190.532
2689551
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900581320--soft-66-100-0.wbo
OPTIMUM
1
194.25
194.253
2690091
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110969860--soft-66-100-0.wbo
OPTIMUM
22
198.383
198.386
2689848
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110973163--soft-33-100-0.wbo
OPTIMUM
15
198.671
198.665
2689906
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900573137--soft-66-100-0.wbo
OPTIMUM
1
204.023
204.106
2690111
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900552423--soft-33-100-0.wbo
OPTIMUM
7
204.076
204.072
2690027
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900550006--soft-66-100-0.wbo
OPTIMUM
1
210.167
210.166
2690015
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900576927--soft-66-100-0.wbo
OPTIMUM
1
212.558
212.554
2690021
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900550720--soft-66-100-0.wbo
OPTIMUM
1
219.846
219.84
2689536
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900558106--soft-33-100-0.wbo
OPTIMUM
4
221.824
221.814
2690083
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900576151--soft-33-100-0.wbo
OPTIMUM
1
224.191
224.184
2690123
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111221203--soft-66-100-0.wbo
OPTIMUM
23
227.142
227.141
2689887
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900670675--soft-33-100-0.wbo
OPTIMUM
2
231.815
231.809
2690001
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111227012--soft-66-100-0.wbo
OPTIMUM
49
232.677
232.672
2689883
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900571132--soft-33-100-0.wbo
OPTIMUM
1
236.741
236.749
2690129
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900550720--soft-33-100-0.wbo
OPTIMUM
1
246.202
246.197
2690125
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900565534--soft-66-100-0.wbo
OPTIMUM
1
247.974
247.97
2690103
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900667195--soft-33-100-0.wbo
OPTIMUM
1
253.238
253.236
2690043
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900573137--soft-33-100-0.wbo
OPTIMUM
1
254.587
254.589
2690079
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900556231--soft-66-100-0.wbo
OPTIMUM
1
256.623
256.615
2690151
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900568186--soft-33-100-0.wbo
OPTIMUM
3
257.055
257.046
2689986
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111212272--soft-66-100-0.wbo
OPTIMUM
36
258.068
258.061
2689857
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900553812--soft-33-100-0.wbo
OPTIMUM
3
262.865
262.856
2690017
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900584219--soft-33-100-0.wbo
OPTIMUM
1
263.875
263.869
2689987
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218757--soft-33-100-0.wbo
OPTIMUM
24
266.873
266.867
2689978
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900577940--soft-66-100-0.wbo
OPTIMUM
1
267.837
267.829
2689538
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900565534--soft-33-100-0.wbo
OPTIMUM
1
270.287
270.281
2690039
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224059--soft-66-100-0.wbo
OPTIMUM
80
275.053
275.046
2689799
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900550006--soft-33-100-0.wbo
OPTIMUM
1
277.868
277.865
2690109
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900576927--soft-33-100-0.wbo
OPTIMUM
1
278.087
278.082
2690093
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900576360--soft-66-100-0.wbo
OPTIMUM
2
292.568
292.56
2690149
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900547389--soft-66-100-0.wbo
OPTIMUM
2
293.92
293.916
2690075
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900553812--soft-66-100-0.wbo
OPTIMUM
3
294.173
294.168
2689544
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900576360--soft-33-100-0.wbo
OPTIMUM
2
294.877
294.87
2690153
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900582300--soft-66-100-0.wbo
OPTIMUM
1
295.669
295.661
2689998
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900564281--soft-66-100-0.wbo
OPTIMUM
3
299.824
299.819
2690081
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900563250--soft-33-100-0.wbo
OPTIMUM
1
300.057
300.05
2690147
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900576151--soft-66-100-0.wbo
OPTIMUM
1
302.619
302.611
2690059
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900670167--soft-66-100-0.wbo
OPTIMUM
2
303.96
303.956
2690025
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900545610--soft-66-100-0.wbo
OPTIMUM
1
306.438
306.439
2689984
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900563801--soft-66-100-0.wbo
OPTIMUM
5
311.403
311.393
2690162
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900554072--soft-66-100-0.wbo
OPTIMUM
3
313.541
313.536
2689992
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl10_11_pb.cnf.cr--soft-66-100-0.wbo
OPTIMUM
15
315.155
315.148
2689674
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900553647--soft-66-100-0.wbo
OPTIMUM
1
320.534
320.528
2690007
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900670167--soft-33-100-0.wbo
OPTIMUM
2
324.107
324.096
2690117
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900561288--soft-66-100-0.wbo
OPTIMUM
1
326.406
326.395
2689997
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900567985--soft-66-100-0.wbo
OPTIMUM
1
327.101
327.09
2689555
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900581320--soft-33-100-0.wbo
OPTIMUM
1
331.278
331.27
2690119
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900563250--soft-66-100-0.wbo
OPTIMUM
1
336.106
336.094
2690073
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900547389--soft-33-100-0.wbo
OPTIMUM
2
336.792
336.782
2689531
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900579996--soft-33-100-0.wbo
OPTIMUM
1
340.634
340.622
2690037
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900583053--soft-33-100-0.wbo
OPTIMUM
1
348.124
348.113
2690071
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900667195--soft-66-100-0.wbo
OPTIMUM
1
355.567
355.556
2689530
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900579996--soft-66-100-0.wbo
OPTIMUM
1
373.059
373.052
2690019
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl10_11_pb.cnf.cr--soft-33-100-0.wbo
OPTIMUM
3
373.804
373.795
2689687
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900559676--soft-66-100-0.wbo
OPTIMUM
1
374.282
374.295
2690009
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900571761--soft-66-100-0.wbo
OPTIMUM
2
377.992
377.985
2690033
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900568706--soft-33-100-0.wbo
OPTIMUM
2
379.165
379.16
2689999
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900552288--soft-66-100-0.wbo
OPTIMUM
2
387.19
387.238
2690157
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900567985--soft-33-100-0.wbo
OPTIMUM
1
396.548
396.541
2690069
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900559676--soft-33-100-0.wbo
OPTIMUM
1
401.846
401.837
2690105
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900582300--soft-33-100-0.wbo
OPTIMUM
1
403.22
403.208
2690107
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900558739--soft-66-100-0.wbo
OPTIMUM
2
408.702
408.693
2690049
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900561288--soft-33-100-0.wbo
OPTIMUM
1
411.329
411.323
2690045
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900566157--soft-66-100-0.wbo
OPTIMUM
6
418.566
418.556
2690159
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900545610--soft-33-100-0.wbo
OPTIMUM
2
436.394
436.381
2690063
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900583053--soft-66-100-0.wbo
OPTIMUM
1
453.607
453.59
2690127
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900571761--soft-33-100-0.wbo
OPTIMUM
1
465.682
465.67
2689993
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900577940--soft-33-100-0.wbo
OPTIMUM
1
467.838
467.827
2690047
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111226680--soft-66-100-0.wbo
OPTIMUM
66
468.423
468.409
2689808
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900548667--soft-33-100-0.wbo
OPTIMUM
1
487.411
487.398
2689994
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900670234--soft-33-100-0.wbo
OPTIMUM
1
525.533
525.521
2690000
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900548667--soft-66-100-0.wbo
OPTIMUM
1
548.835
549.362
2690145
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900552735--soft-33-100-0.wbo
OPTIMUM
4
558.288
558.275
2689546
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900584219--soft-66-100-0.wbo
OPTIMUM
3
575.261
575.245
2690003
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900557957--soft-33-100-0.wbo
OPTIMUM
3
584.43
584.419
2690113
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900567024--soft-33-100-0.wbo
OPTIMUM
6
620.909
620.891
2689548
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111223220--soft-66-100-0.wbo
OPTIMUM
39
650.668
650.654
2689880
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218024--soft-66-100-0.wbo
OPTIMUM
80
674.207
674.219
2689804
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900557362--soft-33-100-0.wbo
OPTIMUM
5
685.075
685.055
2690164
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110972154--soft-66-100-0.wbo
OPTIMUM
66
762.206
762.189
2689796
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900551347--soft-66-100-0.wbo
OPTIMUM
11
883.978
883.952
2690155
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-myciel5g-5_wcsp.wbo
OPTIMUM
1
885.822
885.792
2700568
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900568706--soft-66-100-0.wbo
OPTIMUM
7
902.64
902.596
2689533
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900557574--soft-33-100-0.wbo
OPTIMUM
8
916.976
916.954
2689540
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900670234--soft-66-100-0.wbo
OPTIMUM
2
926.065
926.031
2690077
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111222539--soft-66-100-0.wbo
OPTIMUM
80
948.275
948.35
2689918
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900557362--soft-66-100-0.wbo
OPTIMUM
7
982.484
982.453
2690139
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900567024--soft-66-100-0.wbo
OPTIMUM
12
1010.98
1010.95
2690121
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900558106--soft-66-100-0.wbo
OPTIMUM
13
1019.51
1019.48
2690133
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900557957--soft-66-100-0.wbo
OPTIMUM
7
1120.64
1120.61
2690029
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900552735--soft-66-100-0.wbo
OPTIMUM
6
1151.42
1151.38
2690131
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-15-10--soft-33-100-0.wbo
OPTIMUM
2
1197.46
1197.45
2689733
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.8.accl.ucl--soft-66-100-0.wbo
OPTIMUM
1
1212.47
1212.43
2689658
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl10_15_pb.cnf.cr--soft-33-100-0.wbo
OPTIMUM
21
1340.12
1340.09
2689633
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900557574--soft-66-100-0.wbo
OPTIMUM
9
1350.82
1350.83
2690061
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224059--soft-33-100-0.wbo
OPTIMUM
15
1364.66
1364.62
2689939
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900568186--soft-66-100-0.wbo
OPTIMUM
13
1399.53
1399.53
2690041
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900546076--soft-66-100-0.wbo
OPTIMUM
13
1410.7
1410.67
2690115
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110970631--soft-33-100-0.wbo
OPTIMUM
19
1545.33
1545.29
2689803
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-16wqueens_wcsp.wbo
OPTIMUM
2
1548.17
1548.14
2699608
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900584106--soft-66-100-0.wbo
OPTIMUM
12
1588.53
1588.47
2689988
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900584106--soft-33-100-0.wbo
OPTIMUM
10
1739.14
1739.12
2690101
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900570242--soft-33-100-0.wbo
OPTIMUM
8
1777.4
1777.35
2690085
Solver found a solution, but probably not the best one (25 runs)
[Show/Hide]
Benchmark Name
Answer
cost of falsified constraints
CPU time
Wall clock time
TraceID
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-4wqueens_wcsp.wbo
MSAT
0
0.000999
0.00713601
2699488
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-4queens_wcsp.wbo
MSAT
0
0.000999
0.00607206
2699536
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-langford-2-4_wcsp.wbo
MSAT
0
0.001998
0.00605695
2699500
/PARTIAL-SMALLINT-LIN/wcsp/
pedigree/normalized-sobel_wcsp.wbo
MSAT
0
0.001999
0.00614596
2700520
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-8queens_wcsp.wbo
MSAT
0
0.001999
0.00594209
2699524
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-zebre-ext_wcsp.wbo
MSAT
0
0.001999
0.00578089
2699572
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh218_wcsp.wbo
MSAT
0
0.003998
0.0061541
2700088
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh17_wcsp.wbo
MSAT
0
0.003998
0.00647011
2700268
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh201_wcsp.wbo
MSAT
0
0.003998
0.00586499
2700256
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-myciel5g-6_wcsp.wbo
MSAT
0
0.003998
0.00588504
2700556
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh210_wcsp.wbo
MSAT
0
0.003998
0.00580902
2700208
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh07_wcsp.wbo
MSAT
0
0.003999
0.00603988
2700352
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh205_wcsp.wbo
MSAT
0
0.003999
0.00713494
2700388
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh217_wcsp.wbo
MSAT
0
0.003999
0.00612104
2700448
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh01_wcsp.wbo
MSAT
0
0.004998
0.0104009
2700052
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh12_wcsp.wbo
MSAT
0
0.004998
0.00610398
2699956
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh209_wcsp.wbo
MSAT
0
0.004999
0.00615899
2700292
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh301_wcsp.wbo
MSAT
0
0.004999
0.00581099
2699932
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh207_wcsp.wbo
MSAT
0
0.004999
0.00618289
2699992
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh212_wcsp.wbo
MSAT
0
0.005999
0.00673592
2700220
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh220_wcsp.wbo
MSAT
0
0.006998
0.00760095
2700400
/PARTIAL-SMALLINT-LIN/wcsp/
academics/normalized-send_wcsp.wbo
MSAT
0
0.036994
0.0389801
2699476
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-donald_wcsp.wbo
MSAT
0
0.044992
0.0452559
2699548
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-zebra_wcsp.wbo
MSAT
0
0.05899
0.0593401
2699596
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-langford-3-9_wcsp.wbo
MSAT
0
2.14167
2.14254
2699560
Solver timed out (no solution given) (103 runs)
[Show/Hide]
Benchmark Name
Answer
cost of falsified constraints
CPU time
Wall clock time
TraceID
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh305_wcsp.wbo
? (TO)
1800.03
1801.93
2700040
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_35_pb.cnf.cr--soft-66-100-0.wbo
? (TO)
1800.06
1802.81
2689648
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-le450-5a-2_wcsp.wbo
? (TO)
1800.07
1800.03
2700616
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_21_pb.cnf.cr--soft-66-100-0.wbo
? (TO)
1800.07
1817.27
2689636
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-dsjc125-1-4_wcsp.wbo
? (TO)
1800.08
1800.03
2700580
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh08_wcsp.wbo
? (TO)
1800.09
1800.05
2700340
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-15-10--soft-66-100-0.wbo
? (TO)
1800.09
1800.05
2689719
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl10_15_pb.cnf.cr--soft-66-100-0.wbo
? (TO)
1800.09
1800.05
2689676
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900564824--soft-66-100-0.wbo
? (TO)
1800.09
1800.06
2689985
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-le450-5a-4_wcsp.wbo
? (TO)
1800.09
1800.05
2701660
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh304_wcsp.wbo
? (TO)
1800.1
1800.16
2700184
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-25-20--soft-66-100-0.wbo
? (TO)
1800.1
1800.08
2689725
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl10_20_pb.cnf.cr--soft-66-100-0.wbo
? (TO)
1800.1
1800.05
2689639
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh307_wcsp.wbo
? (TO)
1800.1
1800.04
2700028
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh308_wcsp.wbo
? (TO)
1800.1
1800.07
2700244
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_16_pb.cnf.cr--soft-66-100-0.wbo
? (TO)
1800.1
1800.09
2689624
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl10_20_pb.cnf.cr--soft-33-100-0.wbo
? (TO)
1800.1
1800.05
2689707
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_21_pb.cnf.cr--soft-33-100-0.wbo
? (TO)
1800.1
1800.08
2689691
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110976157--soft-66-100-0.wbo
? (TO)
1800.1
1800.08
2689861
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh18_wcsp.wbo
? (TO)
1800.1
1800.05
2700100
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh14_wcsp.wbo
? (TO)
1800.1
1800.16
2699968
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh303_wcsp.wbo
? (TO)
1800.1
1800.05
2700376
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh219_wcsp.wbo
? (TO)
1800.11
1800.06
2700124
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh211_wcsp.wbo
? (TO)
1800.11
1800.07
2700364
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh09_wcsp.wbo
? (TO)
1800.11
1800.06
2700412
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110971363--soft-33-100-0.wbo
? (TO)
1800.11
1800.07
2689937
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110978334--soft-33-100-0.wbo
? (TO)
1800.12
1800.08
2689911
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_25_pb.cnf.cr--soft-66-100-0.wbo
? (TO)
1800.12
1800.07
2689682
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_25_pb.cnf.cr--soft-66-100-0.wbo
? (TO)
1800.12
1800.08
2689654
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110974372--soft-66-100-0.wbo
? (TO)
1800.12
1800.1
2689945
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_20_pb.cnf.cr--soft-66-100-0.wbo
? (TO)
1800.12
1800.08
2689675
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh309_wcsp.wbo
? (TO)
1800.12
1800.06
2700160
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110973163--soft-66-100-0.wbo
? (TO)
1800.12
1800.1
2689971
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-21-20--soft-33-100-0.wbo
? (TO)
1800.12
1800.07
2689776
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh04_wcsp.wbo
? (TO)
1800.12
1800.07
2700016
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110972763--soft-66-100-0.wbo
? (TO)
1800.12
1800.08
2689979
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_30_pb.cnf.cr--soft-66-100-0.wbo
? (TO)
1800.12
1800.08
2689713
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh11_wcsp.wbo
? (TO)
1800.12
1800.05
2700172
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_25_pb.cnf.cr--soft-33-100-0.wbo
? (TO)
1800.12
1800.08
2689679
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110976935--soft-66-100-0.wbo
? (TO)
1800.12
1800.08
2689851
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j605_10-unsat--soft-33-100-0.wbo
? (TO)
1800.12
1800.08
2689777
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh310_wcsp.wbo
? (TO)
1800.13
1800.84
2700424
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900570242--soft-66-100-0.wbo
? (TO)
1800.13
1800.09
2690137
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110970631--soft-66-100-0.wbo
? (TO)
1800.13
1800.18
2689892
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh302_wcsp.wbo
? (TO)
1800.13
1800.16
2699944
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900569834--soft-66-100-0.wbo
? (TO)
1800.13
1800.09
2690143
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111220019--soft-66-100-0.wbo
? (TO)
1800.13
1800.09
2689877
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-myciel5g-3_wcsp.wbo
? (TO)
1800.13
1800.06
2700592
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh05_wcsp.wbo
? (TO)
1800.13
1800.07
2700436
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-warehouse0_wcsp.wbo
? (TO)
1800.13
1800.07
2699584
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j605_10-unsat--soft-66-100-0.wbo
? (TO)
1800.13
1800.07
2689775
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110971363--soft-66-100-0.wbo
? (TO)
1800.13
1800.08
2689977
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224929--soft-66-100-0.wbo
? (TO)
1800.13
1800.29
2689969
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110977780--soft-66-100-0.wbo
? (TO)
1800.13
1800.09
2689950
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110968898--soft-66-100-0.wbo
? (TO)
1800.13
1800.09
2689941
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_40_pb.cnf.cr--soft-33-100-0.wbo
? (TO)
1800.13
1800.1
2689670
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_16_pb.cnf.cr--soft-33-100-0.wbo
? (TO)
1800.13
1800.08
2689671
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110966483--soft-66-100-0.wbo
? (TO)
1800.13
1800.07
2689927
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-25-20--soft-33-100-0.wbo
? (TO)
1800.13
1800.09
2689764
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111219348--soft-66-100-0.wbo
? (TO)
1800.13
1800.08
2689913
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111227861--soft-66-100-0.wbo
? (TO)
1800.13
1800.1
2689810
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110978334--soft-66-100-0.wbo
? (TO)
1800.13
1800.08
2689846
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110971697--soft-66-100-0.wbo
? (TO)
1800.13
1800.09
2689853
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_25_pb.cnf.cr--soft-33-100-0.wbo
? (TO)
1800.14
1800.07
2689627
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110970444--soft-66-100-0.wbo
? (TO)
1800.14
1800.09
2689908
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111220767--soft-66-100-0.wbo
? (TO)
1800.14
1800.1
2689882
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_36_pb.cnf.cr--soft-33-100-0.wbo
? (TO)
1800.14
1800.09
2689685
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111220546--soft-66-100-0.wbo
? (TO)
1800.14
1800.09
2689925
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111213670--soft-66-100-0.wbo
? (TO)
1800.14
1800.08
2689819
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_31_pb.cnf.cr--soft-66-100-0.wbo
? (TO)
1800.14
1800.1
2689705
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111222257--soft-66-100-0.wbo
? (TO)
1800.14
1800.1
2689874
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110976730--soft-66-100-0.wbo
? (TO)
1800.14
1800.1
2689909
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-31-30--soft-33-100-0.wbo
? (TO)
1800.15
1800.16
2689730
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110975965--soft-66-100-0.wbo
? (TO)
1800.15
1800.1
2689842
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-21-20--soft-66-100-0.wbo
? (TO)
1800.15
1800.08
2689748
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_31_pb.cnf.cr--soft-33-100-0.wbo
? (TO)
1800.15
1800.11
2689710
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224451--soft-66-100-0.wbo
? (TO)
1800.15
1800.09
2689956
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218757--soft-66-100-0.wbo
? (TO)
1800.15
1800.1
2689885
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110969170--soft-66-100-0.wbo
? (TO)
1800.15
1800.08
2689811
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111220767--soft-33-100-0.wbo
? (TO)
1800.15
1800.08
2689946
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_55_pb.cnf.cr--soft-66-100-0.wbo
? (TO)
1800.15
1800.12
2689642
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_30_pb.cnf.cr--soft-33-100-0.wbo
? (TO)
1800.15
1800.08
2689666
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_40_pb.cnf.cr--soft-66-100-0.wbo
? (TO)
1800.15
1800.1
2689702
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_45_pb.cnf.cr--soft-66-100-0.wbo
? (TO)
1800.16
1800.11
2689692
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_41_pb.cnf.cr--soft-66-100-0.wbo
? (TO)
1800.16
1800.12
2689660
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-35-30--soft-33-100-0.wbo
? (TO)
1800.16
1800.11
2689715
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-35-30--soft-66-100-0.wbo
? (TO)
1800.16
1800.11
2689768
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110977780--soft-33-100-0.wbo
? (TO)
1800.16
1800.17
2689902
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_50_pb.cnf.cr--soft-66-100-0.wbo
? (TO)
1800.16
1866.73
2689645
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_45_pb.cnf.cr--soft-33-100-0.wbo
? (TO)
1800.16
1800.12
2689711
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900569834--soft-33-100-0.wbo
? (TO)
1800.16
1800.09
2690011
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh15_wcsp.wbo
? (TO)
1800.17
1800.17
2700112
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_20_pb.cnf.cr--soft-33-100-0.wbo
? (TO)
1800.17
1800.09
2689694
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110969577--soft-66-100-0.wbo
? (TO)
1800.17
1800.18
2689820
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_40_pb.cnf.cr--soft-33-100-0.wbo
? (TO)
1800.17
1800.12
2689677
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_50_pb.cnf.cr--soft-33-100-0.wbo
? (TO)
1800.17
1800.13
2689651
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110973364--soft-66-100-0.wbo
? (TO)
1800.17
1800.09
2689954
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_41_pb.cnf.cr--soft-33-100-0.wbo
? (TO)
1800.17
1800.12
2689668
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-31-30--soft-66-100-0.wbo
? (TO)
1800.18
1800.12
2689722
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_35_pb.cnf.cr--soft-33-100-0.wbo
? (TO)
1800.18
1800.11
2689688
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110967729--soft-66-100-0.wbo
? (TO)
1800.18
1800.29
2689958
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_40_pb.cnf.cr--soft-66-100-0.wbo
? (TO)
1800.18
1800.11
2689669
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-45-40--soft-66-100-0.wbo
? (TO)
1800.19
1800.13
2689743
Solver exceeded the memory limit (no solution given) (35 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-105-100--soft-66-100-0.wbo
? (MO)
935.76
935.733
2689728
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-95-90--soft-66-100-0.wbo
? (MO)
947.718
947.733
2689778
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-75-70--soft-33-100-0.wbo
? (MO)
1064.82
1064.83
2689786
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-71-70--soft-66-100-0.wbo
? (MO)
1164.27
1164.24
2689762
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-71-70--soft-33-100-0.wbo
? (MO)
1164.38
1164.33
2689769
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-95-90--soft-33-100-0.wbo
? (MO)
1187.25
1187.23
2689780
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-91-90--soft-66-100-0.wbo
? (MO)
1192.95
1192.93
2689766
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-91-90--soft-33-100-0.wbo
? (MO)
1194.57
1194.53
2689783
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-75-70--soft-66-100-0.wbo
? (MO)
1239.35
1239.33
2689757
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-81-80--soft-66-100-0.wbo
? (MO)
1243.24
1243.23
2689774
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-101-100--soft-33-100-0.wbo
? (MO)
1253.97
1253.93
2689746
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-85-80--soft-66-100-0.wbo
? (MO)
1274.27
1274.23
2689747
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-101-100--soft-66-100-0.wbo
? (MO)
1282.16
1282.13
2689736
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-105-100--soft-33-100-0.wbo
? (MO)
1306.37
1306.33
2689761
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-65-60--soft-66-100-0.wbo
? (MO)
1313.17
1313.13
2689765
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-81-80--soft-33-100-0.wbo
? (MO)
1317.85
1317.83
2689784
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-85-80--soft-33-100-0.wbo
? (MO)
1357.88
1357.83
2689770
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-55-50--soft-66-100-0.wbo
? (MO)
1415.86
1415.83
2689726
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-61-60--soft-33-100-0.wbo
? (MO)
1417.77
1417.73
2689739
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_51_pb.cnf.cr--soft-33-100-0.wbo
? (MO)
1458.78
1458.73
2689690
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-61-60--soft-66-100-0.wbo
? (MO)
1477.07
1477.03
2689758
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-55-50--soft-33-100-0.wbo
? (MO)
1488.38
1488.34
2689750
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-51-50--soft-33-100-0.wbo
? (MO)
1493.54
1493.53
2689755
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_45_pb.cnf.cr--soft-66-100-0.wbo
? (MO)
1503.57
1503.53
2689672
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_55_pb.cnf.cr--soft-33-100-0.wbo
? (MO)
1506.47
1506.43
2689657
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-65-60--soft-33-100-0.wbo
? (MO)
1531.06
1531.03
2689759
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-45-40--soft-33-100-0.wbo
? (MO)
1581.65
1581.63
2689753
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-51-50--soft-66-100-0.wbo
? (MO)
1622.98
1622.94
2689787
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-41-40--soft-66-100-0.wbo
? (MO)
1661.19
1661.14
2689772
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-41-40--soft-33-100-0.wbo
? (MO)
1676.47
1676.43
2689779
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_45_pb.cnf.cr--soft-33-100-0.wbo
? (MO)
1713.88
1713.83
2689663
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_36_pb.cnf.cr--soft-66-100-0.wbo
? (MO)
1742.98
1742.93
2689697
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_51_pb.cnf.cr--soft-66-100-0.wbo
? (MO)
1771.27
1771.23
2689630
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_60_pb.cnf.cr--soft-33-100-0.wbo
? (MO)
1776.07
1776.03
2689667
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_60_pb.cnf.cr--soft-66-100-0.wbo
? (MO)
1792.32
1792.24
2689700
Category "only soft constraints, small integers, linear constraints" (SOFT-SMALLINT-LIN)
Solver found the best solution (161 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-blast-floppy1-4.ucl--soft-0-100-0.wbo
OPTIMUM
18
0.000999
0.0063701
2689741
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-elf.rf6.ucl--soft-0-100-0.wbo
OPTIMUM
2
0.000999
0.00671492
2689855
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-floppy1-3.ucl--soft-0-100-0.wbo
OPTIMUM
4
0.001999
0.00637891
2689752
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-elf.rf7.ucl--soft-0-100-0.wbo
OPTIMUM
1
0.014996
0.0153259
2689732
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-floppy1-2.ucl--soft-0-100-0.wbo
OPTIMUM
2
0.016996
0.017388
2689835
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-37s.smv--soft-0-100-0.wbo
OPTIMUM
1
0.018996
0.018937
2689876
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-cache.inv8.ucl--soft-0-100-0.wbo
OPTIMUM
16
0.021995
0.0222329
2689862
/SOFT-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j308_1-unsat--soft-0-100-0.wbo
OPTIMUM
19
0.022996
0.022652
2689899
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-floppy1-6.ucl--soft-0-100-0.wbo
OPTIMUM
1
0.023995
0.0238489
2689735
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-44s.smv--soft-0-100-0.wbo
OPTIMUM
2
0.024996
0.0252491
2689721
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-floppy1-7.ucl--soft-0-100-0.wbo
OPTIMUM
1
0.029994
0.0310809
2689738
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf6.ucl--soft-0-100-0.wbo
OPTIMUM
1
0.033993
0.0344721
2689864
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-46s.smv--soft-0-100-0.wbo
OPTIMUM
1
0.037993
0.037589
2689884
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-floppy1-8.ucl--soft-0-100-0.wbo
OPTIMUM
1
0.038993
0.038596
2689866
/SOFT-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j3046_4-unsat--soft-0-100-0.wbo
OPTIMUM
1
0.042992
0.043493
2689893
/SOFT-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j301_4-unsat--soft-0-100-0.wbo
OPTIMUM
8
0.045992
0.045767
2689888
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-tlan2.ucl--soft-0-100-0.wbo
OPTIMUM
1
0.046992
0.047932
2689839
/SOFT-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j602_7-unsat--soft-0-100-0.wbo
OPTIMUM
1
0.051992
0.0524051
2689901
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-25s.smv--soft-0-100-0.wbo
OPTIMUM
1
0.082986
0.083722
2689709
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf7.ucl--soft-0-100-0.wbo
OPTIMUM
1
0.096984
0.0975219
2689745
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-elf.rf8.ucl--soft-0-100-0.wbo
OPTIMUM
1
0.104983
0.10469
2689868
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-22s.smv--soft-0-100-0.wbo
OPTIMUM
1
0.107982
0.107915
2689850
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-dlx1c.ucl--soft-0-100-0.wbo
OPTIMUM
1
0.148976
0.149513
2689822
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.4.accl.ucl--soft-0-100-0.wbo
OPTIMUM
1
0.174973
0.175155
2689870
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-43s.smv--soft-0-100-0.wbo
OPTIMUM
1
0.194969
0.195388
2689832
/SOFT-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j309_10-unsat--soft-0-100-0.wbo
OPTIMUM
1
0.262959
0.263529
2689886
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf8.ucl--soft-0-100-0.wbo
OPTIMUM
1
0.323949
0.323582
2689841
/SOFT-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j3041_4-unsat--soft-0-100-0.wbo
OPTIMUM
4
0.380941
0.380909
2689891
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.2.accl.ucl--soft-0-100-0.wbo
OPTIMUM
1
0.855869
0.855598
2689860
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.tag8.ucl--soft-0-100-0.wbo
OPTIMUM
1
1.41778
1.41797
2689724
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.3.accl.ucl--soft-0-100-0.wbo
OPTIMUM
1
2.76158
2.76272
2689858
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111226368--soft-0-100-0.wbo
OPTIMUM
1
4.51431
4.51447
2690076
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111221203--soft-0-100-0.wbo
OPTIMUM
1
5.77012
5.77468
2690134
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110972154--soft-0-100-0.wbo
OPTIMUM
1
5.81812
5.82766
2690106
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110971697--soft-0-100-0.wbo
OPTIMUM
1
6.84696
6.84656
2690058
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110973670--soft-0-100-0.wbo
OPTIMUM
1
6.92395
6.94083
2690158
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111216823--soft-0-100-0.wbo
OPTIMUM
1
7.05093
7.05105
2690108
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110977273--soft-0-100-0.wbo
OPTIMUM
1
7.08092
7.08124
2690088
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111227326--soft-0-100-0.wbo
OPTIMUM
2
7.27189
7.27203
2690144
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224255--soft-0-100-0.wbo
OPTIMUM
1
7.44087
7.44069
2690156
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110973364--soft-0-100-0.wbo
OPTIMUM
2
7.8978
7.89937
2690050
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110969860--soft-0-100-0.wbo
OPTIMUM
1
9.04862
9.04889
2690046
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110972763--soft-0-100-0.wbo
OPTIMUM
1
9.75352
9.7534
2690124
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111223220--soft-0-100-0.wbo
OPTIMUM
1
9.94449
9.94362
2690136
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111223004--soft-0-100-0.wbo
OPTIMUM
1
10.0665
10.0687
2690044
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110976935--soft-0-100-0.wbo
OPTIMUM
2
11.1043
11.105
2690062
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110975965--soft-0-100-0.wbo
OPTIMUM
1
11.1313
11.1305
2690146
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111217555--soft-0-100-0.wbo
OPTIMUM
1
11.7392
11.7387
2690038
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111226062--soft-0-100-0.wbo
OPTIMUM
3
13.074
13.0749
2690086
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111225122--soft-0-100-0.wbo
OPTIMUM
2
13.185
13.1844
2690096
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111213868--soft-0-100-0.wbo
OPTIMUM
2
13.385
13.3847
2690128
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218308--soft-0-100-0.wbo
OPTIMUM
1
14.3698
14.3705
2690098
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110974180--soft-0-100-0.wbo
OPTIMUM
1
14.9957
14.9951
2690094
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111220019--soft-0-100-0.wbo
OPTIMUM
2
15.5116
15.5111
2690116
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111219348--soft-0-100-0.wbo
OPTIMUM
2
16.2195
16.224
2690152
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111226680--soft-0-100-0.wbo
OPTIMUM
3
16.2385
16.2418
2690064
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111217392--soft-0-100-0.wbo
OPTIMUM
2
16.3395
16.3391
2690052
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111225605--soft-0-100-0.wbo
OPTIMUM
2
17.0534
17.0529
2690167
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110968898--soft-0-100-0.wbo
OPTIMUM
3
18.2562
18.2564
2690120
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111221624--soft-0-100-0.wbo
OPTIMUM
2
18.5052
18.5046
2690066
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111222539--soft-0-100-0.wbo
OPTIMUM
2
20.1639
20.1635
2690169
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110967523--soft-0-100-0.wbo
OPTIMUM
3
20.7108
20.7103
2690092
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111212923--soft-0-100-0.wbo
OPTIMUM
3
20.8508
20.8501
2690054
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111220546--soft-0-100-0.wbo
OPTIMUM
2
22.4746
22.4741
2690114
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110966688--soft-0-100-0.wbo
OPTIMUM
9
23.1685
23.1685
2690102
/SOFT-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j3029_8-unsat--soft-0-100-0.wbo
OPTIMUM
2
23.5114
23.5109
2689897
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110975607--soft-0-100-0.wbo
OPTIMUM
9
24.1953
24.1968
2690122
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110968561--soft-0-100-0.wbo
OPTIMUM
3
24.4983
24.4977
2690161
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111228076--soft-0-100-0.wbo
OPTIMUM
3
24.7002
24.6996
2690138
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111212476--soft-0-100-0.wbo
OPTIMUM
2
25.6491
25.6479
2690056
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111212272--soft-0-100-0.wbo
OPTIMUM
5
26.172
26.1713
2689535
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111222257--soft-0-100-0.wbo
OPTIMUM
3
27.9977
27.9974
2690078
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110969577--soft-0-100-0.wbo
OPTIMUM
4
28.1777
28.1772
2690084
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111216411--soft-0-100-0.wbo
OPTIMUM
2
30.3934
30.3971
2690040
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218955--soft-0-100-0.wbo
OPTIMUM
9
32.4291
32.4299
2689532
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111227012--soft-0-100-0.wbo
OPTIMUM
5
32.606
32.6053
2690165
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900551864--soft-0-100-0.wbo
OPTIMUM
1
32.921
32.9208
2689539
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224451--soft-0-100-0.wbo
OPTIMUM
9
36.5764
36.5749
2690150
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110971363--soft-0-100-0.wbo
OPTIMUM
4
38.3862
38.3862
2690140
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224059--soft-0-100-0.wbo
OPTIMUM
9
39.8819
39.8836
2690070
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111219799--soft-0-100-0.wbo
OPTIMUM
9
41.9426
41.947
2690132
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110968094--soft-0-100-0.wbo
OPTIMUM
9
46.7219
46.7206
2690100
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110976157--soft-0-100-0.wbo
OPTIMUM
9
48.8856
48.8927
2690142
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224929--soft-0-100-0.wbo
OPTIMUM
8
53.7068
53.7056
2690104
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110967729--soft-0-100-0.wbo
OPTIMUM
10
54.4937
54.4958
2690042
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110977780--soft-0-100-0.wbo
OPTIMUM
10
55.6605
55.6598
2690163
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110978334--soft-0-100-0.wbo
OPTIMUM
9
57.5513
57.55
2690130
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900566157--soft-0-100-0.wbo
OPTIMUM
1
59.6679
59.6768
2689626
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900563801--soft-0-100-0.wbo
OPTIMUM
1
64.8941
64.8921
2689605
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111227861--soft-0-100-0.wbo
OPTIMUM
7
69.8504
69.859
2690068
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900567135--soft-0-100-0.wbo
OPTIMUM
1
70.2863
70.2849
2689575
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110978113--soft-0-100-0.wbo
OPTIMUM
9
71.2302
71.2304
2690126
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110970444--soft-0-100-0.wbo
OPTIMUM
8
71.7911
71.7906
2690080
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111213670--soft-0-100-0.wbo
OPTIMUM
10
83.4
83.5056
2690118
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900554072--soft-0-100-0.wbo
OPTIMUM
1
84.2632
84.2613
2689569
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900544484--soft-0-100-0.wbo
OPTIMUM
1
84.5321
84.5292
2689589
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110967142--soft-0-100-0.wbo
OPTIMUM
9
85.676
85.6726
2690148
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900554420--soft-0-100-0.wbo
OPTIMUM
1
93.7028
93.7015
2689601
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110966483--soft-0-100-0.wbo
OPTIMUM
19
99.0259
99.0233
2690112
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111220767--soft-0-100-0.wbo
OPTIMUM
3
100.855
50.5029
2690072
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900574864--soft-0-100-0.wbo
OPTIMUM
1
102.202
102.214
2689583
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-11-10--soft-0-100-0.wbo
OPTIMUM
1
104.486
104.485
2690012
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900553647--soft-0-100-0.wbo
OPTIMUM
1
118.75
118.756
2689550
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900552423--soft-0-100-0.wbo
OPTIMUM
5
127.939
127.934
2689537
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900575442--soft-0-100-0.wbo
OPTIMUM
1
134.437
134.509
2689621
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900562192--soft-0-100-0.wbo
OPTIMUM
1
137.819
137.817
2689558
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900669797--soft-0-100-0.wbo
OPTIMUM
1
146.332
146.327
2689647
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900568706--soft-0-100-0.wbo
OPTIMUM
1
147.368
147.362
2689552
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900547389--soft-0-100-0.wbo
OPTIMUM
1
148.653
148.649
2689547
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900546417--soft-0-100-0.wbo
OPTIMUM
1
153.406
153.404
2689593
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900573901--soft-0-100-0.wbo
OPTIMUM
1
154.84
154.838
2689656
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900546076--soft-0-100-0.wbo
OPTIMUM
3
162.272
162.268
2689632
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218024--soft-0-100-0.wbo
OPTIMUM
10
166.459
166.454
2690110
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900556231--soft-0-100-0.wbo
OPTIMUM
1
173.946
174.074
2689577
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900552288--soft-0-100-0.wbo
OPTIMUM
1
180.163
180.16
2689556
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900551347--soft-0-100-0.wbo
OPTIMUM
2
182.446
182.444
2689565
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900558739--soft-0-100-0.wbo
OPTIMUM
1
185.626
185.624
2689545
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110976730--soft-0-100-0.wbo
OPTIMUM
10
192.086
192.081
2690074
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900564281--soft-0-100-0.wbo
OPTIMUM
2
199.839
199.834
2689696
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900545610--soft-0-100-0.wbo
OPTIMUM
1
203.379
203.373
2689641
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900573137--soft-0-100-0.wbo
OPTIMUM
1
205.929
205.926
2689587
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900563250--soft-0-100-0.wbo
OPTIMUM
1
208.79
208.902
2689591
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900670167--soft-0-100-0.wbo
OPTIMUM
1
209.658
209.655
2689665
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900667195--soft-0-100-0.wbo
OPTIMUM
1
210.262
210.256
2689635
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900571132--soft-0-100-0.wbo
OPTIMUM
1
214.202
214.194
2689579
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900670675--soft-0-100-0.wbo
OPTIMUM
2
224.62
224.616
2689611
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900576151--soft-0-100-0.wbo
OPTIMUM
1
249.227
249.221
2689662
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900581320--soft-0-100-0.wbo
OPTIMUM
1
254.891
254.885
2689609
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900565534--soft-0-100-0.wbo
OPTIMUM
1
273.451
273.446
2689599
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900550720--soft-0-100-0.wbo
OPTIMUM
1
274.2
274.202
2689595
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900576927--soft-0-100-0.wbo
OPTIMUM
1
278.258
278.251
2689581
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900550006--soft-0-100-0.wbo
OPTIMUM
1
279.71
279.706
2689563
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900576360--soft-0-100-0.wbo
OPTIMUM
2
287.393
287.385
2689650
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900568186--soft-0-100-0.wbo
OPTIMUM
3
307.459
307.446
2689573
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900583053--soft-0-100-0.wbo
OPTIMUM
1
322.817
322.808
2689704
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900564824--soft-0-100-0.wbo
OPTIMUM
8
326.274
326.271
2689554
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900553812--soft-0-100-0.wbo
OPTIMUM
3
351.559
351.551
2689585
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl10_11_pb.cnf.cr--soft-0-100-0.wbo
OPTIMUM
9
365.13
365.123
2689930
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900559676--soft-0-100-0.wbo
OPTIMUM
1
368.019
368.013
2689638
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900579996--soft-0-100-0.wbo
OPTIMUM
1
374.792
374.782
2689619
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900567024--soft-0-100-0.wbo
OPTIMUM
3
380.593
380.588
2689571
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900582300--soft-0-100-0.wbo
OPTIMUM
1
385.443
385.436
2689617
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900561288--soft-0-100-0.wbo
OPTIMUM
1
385.756
385.75
2689603
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900557957--soft-0-100-0.wbo
OPTIMUM
3
447.975
447.977
2689615
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900584219--soft-0-100-0.wbo
OPTIMUM
2
471.682
471.667
2689699
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900571761--soft-0-100-0.wbo
OPTIMUM
2
474.358
474.348
2689597
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900670234--soft-0-100-0.wbo
OPTIMUM
1
488.736
488.718
2689567
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900577940--soft-0-100-0.wbo
OPTIMUM
1
510.174
510.16
2689644
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900567985--soft-0-100-0.wbo
OPTIMUM
1
513.52
513.507
2689543
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110970631--soft-0-100-0.wbo
OPTIMUM
16
572.276
572.321
2690090
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900548667--soft-0-100-0.wbo
OPTIMUM
1
584.992
584.974
2689623
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900558106--soft-0-100-0.wbo
OPTIMUM
7
608.899
608.896
2689629
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900570242--soft-0-100-0.wbo
OPTIMUM
5
632.908
632.891
2689659
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900552735--soft-0-100-0.wbo
OPTIMUM
4
722.614
722.597
2689613
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900557362--soft-0-100-0.wbo
OPTIMUM
5
730.966
730.948
2689653
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900569834--soft-0-100-0.wbo
OPTIMUM
4
864.369
864.345
2689681
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-15-10--soft-0-100-0.wbo
OPTIMUM
2
927.915
927.89
2690018
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900557574--soft-0-100-0.wbo
OPTIMUM
6
1039.76
1039.74
2689541
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl10_15_pb.cnf.cr--soft-0-100-0.wbo
OPTIMUM
6
1316.37
1316.33
2689961
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900584106--soft-0-100-0.wbo
OPTIMUM
7
1429.04
1428.97
2689607
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl10_20_pb.cnf.cr--soft-0-100-0.wbo
OPTIMUM
7
1500.29
1500.26
2689928
Solver timed out (no solution given) (21 runs)
[Show/Hide]
Benchmark Name
Answer
cost of falsified constraints
CPU time
Wall clock time
TraceID
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-31-30--soft-0-100-0.wbo
? (TO)
1800.1
1800.06
2690006
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110974372--soft-0-100-0.wbo
? (TO)
1800.11
1800.07
2690082
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110969170--soft-0-100-0.wbo
? (TO)
1800.11
1800.07
2690060
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-21-20--soft-0-100-0.wbo
? (TO)
1800.11
1800.08
2690008
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_21_pb.cnf.cr--soft-0-100-0.wbo
? (TO)
1800.12
1800.08
2689922
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_36_pb.cnf.cr--soft-0-100-0.wbo
? (TO)
1800.12
1800.08
2689957
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218757--soft-0-100-0.wbo
? (TO)
1800.12
1800.06
2690154
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_20_pb.cnf.cr--soft-0-100-0.wbo
? (TO)
1800.13
1800.09
2689920
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_40_pb.cnf.cr--soft-0-100-0.wbo
? (TO)
1800.13
1800.1
2689953
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_30_pb.cnf.cr--soft-0-100-0.wbo
? (TO)
1800.13
1800.18
2689940
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_31_pb.cnf.cr--soft-0-100-0.wbo
? (TO)
1800.14
1800.11
2689947
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-25-20--soft-0-100-0.wbo
? (TO)
1800.14
1800.09
2690036
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110973163--soft-0-100-0.wbo
? (TO)
1800.14
1800.07
2690048
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_25_pb.cnf.cr--soft-0-100-0.wbo
? (TO)
1800.14
1800.09
2689936
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_40_pb.cnf.cr--soft-0-100-0.wbo
? (TO)
1800.15
1800.11
2689926
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_16_pb.cnf.cr--soft-0-100-0.wbo
? (TO)
1800.15
1800.09
2689934
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_35_pb.cnf.cr--soft-0-100-0.wbo
? (TO)
1800.16
1800.11
2689949
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-35-30--soft-0-100-0.wbo
? (TO)
1800.17
1800.12
2690030
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_45_pb.cnf.cr--soft-0-100-0.wbo
? (TO)
1800.17
1800.12
2689938
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_41_pb.cnf.cr--soft-0-100-0.wbo
? (TO)
1800.18
1800.11
2689959
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_25_pb.cnf.cr--soft-0-100-0.wbo
? (TO)
1800.18
1800.18
2689951
Solver exceeded the memory limit (no solution given) (19 runs)
[Show/Hide]
Benchmark Name
Answer
cost of falsified constraints
CPU time
Wall clock time
TraceID
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-75-70--soft-0-100-0.wbo
? (MO)
1062.98
1062.93
2690020
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-91-90--soft-0-100-0.wbo
? (MO)
1113.44
1113.43
2690032
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-71-70--soft-0-100-0.wbo
? (MO)
1158.87
1158.83
2690005
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-95-90--soft-0-100-0.wbo
? (MO)
1185.16
1185.13
2689968
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-81-80--soft-0-100-0.wbo
? (MO)
1226.99
1226.93
2690024
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-101-100--soft-0-100-0.wbo
? (MO)
1249.88
1249.84
2690026
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-105-100--soft-0-100-0.wbo
? (MO)
1299.43
1299.43
2690028
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-61-60--soft-0-100-0.wbo
? (MO)
1310.57
1310.53
2690016
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-85-80--soft-0-100-0.wbo
? (MO)
1351.36
1351.33
2690014
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-55-50--soft-0-100-0.wbo
? (MO)
1355.77
1355.73
2689963
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-65-60--soft-0-100-0.wbo
? (MO)
1431.29
1431.23
2690034
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-51-50--soft-0-100-0.wbo
? (MO)
1436.47
1436.43
2690022
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_55_pb.cnf.cr--soft-0-100-0.wbo
? (MO)
1531.77
1531.74
2689942
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-45-40--soft-0-100-0.wbo
? (MO)
1568.57
1568.53
2690010
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_51_pb.cnf.cr--soft-0-100-0.wbo
? (MO)
1600.27
1600.23
2689955
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-41-40--soft-0-100-0.wbo
? (MO)
1654.76
1654.73
2689964
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_45_pb.cnf.cr--soft-0-100-0.wbo
? (MO)
1698.66
1698.63
2689924
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_60_pb.cnf.cr--soft-0-100-0.wbo
? (MO)
1700.35
1700.33
2689932
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_50_pb.cnf.cr--soft-0-100-0.wbo
? (MO)
1799.07
1799.03
2689944