PB'12 competition: WBO track: benchmarks results per solver
Result page for solver pwbo
2.01
(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
405.19
202.863
3712616
Solver found the best solution (193 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
OPTIMUM
0
0.000999
0.00645396
3712611
/PARTIAL-SMALLINT-LIN/wcsp/spot5/
normalized-spot5-8_wcsp.wbo
OPTIMUM
2
0.000999
0.00615993
3712704
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois29_ext.wbo
OPTIMUM
1
0.001998
0.00737594
3712656
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-warehouse0_wcsp.wbo
OPTIMUM
328
0.001998
0.00646994
3712619
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-geom30a-4_wcsp.wbo
OPTIMUM
4
0.001998
0.0128491
3712625
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-geom40-2_wcsp.wbo
OPTIMUM
22
0.001998
0.0107929
3712628
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois21_ext.wbo
OPTIMUM
1
0.001998
0.0062771
3712648
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois20_ext.wbo
OPTIMUM
1
0.001998
0.00642307
3712647
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois22_ext.wbo
OPTIMUM
1
0.001999
0.00643192
3712649
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois23_ext.wbo
OPTIMUM
1
0.001999
0.00653198
3712650
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-pret60_25_ext.wbo
OPTIMUM
1
0.001999
0.00951402
3712663
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-geom40-5_wcsp.wbo
OPTIMUM
1
0.002998
0.00806202
3712631
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-geom30a-6_wcsp.wbo
OPTIMUM
0
0.002998
0.00617202
3712627
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-4queens_wcsp.wbo
OPTIMUM
0
0.002998
0.00623805
3712610
/PARTIAL-SMALLINT-LIN/wcsp/
pedigree/normalized-sobel_wcsp.wbo
OPTIMUM
0
0.002998
0.0065579
3712701
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-pret60_75_ext.wbo
OPTIMUM
1
0.002998
0.00670394
3712666
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-pret60_60_ext.wbo
OPTIMUM
1
0.002998
0.00932711
3712665
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-zebre-ext_wcsp.wbo
OPTIMUM
0
0.002998
0.00626011
3712621
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-pret60_40_ext.wbo
OPTIMUM
1
0.002998
0.00985991
3712664
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-3.ucl--soft-66-100-0.wbo
OPTIMUM
1
0.002998
0.00655011
3712556
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-geom30a-5_wcsp.wbo
OPTIMUM
1
0.002998
0.0083019
3712626
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois28_ext.wbo
OPTIMUM
1
0.002998
0.00645389
3712655
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois30_ext.wbo
OPTIMUM
1
0.002998
0.00803194
3712657
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-pret150_75_ext.wbo
OPTIMUM
1
0.002998
0.011528
3712662
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois24_ext.wbo
OPTIMUM
1
0.002998
0.00637193
3712651
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois25_ext.wbo
OPTIMUM
1
0.002998
0.00719603
3712652
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-8queens_wcsp.wbo
OPTIMUM
0
0.002998
0.00645803
3712612
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois27_ext.wbo
OPTIMUM
1
0.002998
0.00676199
3712654
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-8wqueens_wcsp.wbo
OPTIMUM
2
0.002999
0.00698404
3712613
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-queen5-5-5_wcsp.wbo
OPTIMUM
0
0.002999
0.00619612
3712643
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-langford-2-4_wcsp.wbo
OPTIMUM
0
0.003998
0.00704207
3712615
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-geom40-6_wcsp.wbo
OPTIMUM
0
0.003998
0.00661895
3712632
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois26_ext.wbo
OPTIMUM
1
0.003998
0.00739411
3712653
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-2.ucl--soft-33-100-0.wbo
OPTIMUM
1
0.003998
0.0128021
3712553
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois50_ext.wbo
OPTIMUM
1
0.003998
0.0126679
3712658
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-3.ucl--soft-33-100-0.wbo
OPTIMUM
8
0.004998
0.00827612
3712555
/PARTIAL-SMALLINT-LIN/wcsp/pedigree/
normalized-connell_wcsp.wbo
OPTIMUM
1
0.004998
0.0104851
3712699
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-pret150_25_ext.wbo
OPTIMUM
1
0.004998
0.013607
3712659
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh212_wcsp.wbo
OPTIMUM
0
0.004998
0.0146569
3712687
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh205_wcsp.wbo
OPTIMUM
0
0.005998
0.014377
3712683
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh218_wcsp.wbo
OPTIMUM
0
0.005998
0.0139429
3712691
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-myciel5g-6_wcsp.wbo
OPTIMUM
0
0.005998
0.00995308
3712640
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh07_wcsp.wbo
OPTIMUM
0
0.005998
0.0149549
3712672
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh220_wcsp.wbo
OPTIMUM
0
0.006998
0.015449
3712692
/PARTIAL-SMALLINT-LIN/wcsp/pedigree/
normalized-simple_wcsp.wbo
OPTIMUM
1
0.006998
0.0126589
3712700
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-ssa0432-003_ext.wbo
OPTIMUM
1
0.006998
0.0174851
3712667
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh01_wcsp.wbo
OPTIMUM
0
0.006998
0.014828
3712669
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh210_wcsp.wbo
OPTIMUM
0
0.006998
0.014126
3712685
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh217_wcsp.wbo
OPTIMUM
0
0.01
0.013404
3712690
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-2.ucl--soft-66-100-0.wbo
OPTIMUM
1
0.022996
0.014877
3712554
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-pret150_40_ext.wbo
OPTIMUM
1
0.022996
0.016322
3712660
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-geom40-3_wcsp.wbo
OPTIMUM
7
0.041992
0.0195481
3712629
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-geom40-4_wcsp.wbo
OPTIMUM
3
0.042992
0.017893
3712630
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-pret150_60_ext.wbo
OPTIMUM
1
0.043992
0.0180561
3712661
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh203_wcsp.wbo
OPTIMUM
39
0.044992
0.0278731
3712682
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois100_ext.wbo
OPTIMUM
1
0.045992
0.02172
3712646
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-6.ucl--soft-66-100-0.wbo
OPTIMUM
1
0.046992
0.0281089
3712557
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh306_wcsp.wbo
OPTIMUM
16
0.046992
0.025194
3712695
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh13_wcsp.wbo
OPTIMUM
109
0.05599
0.029771
3712676
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-donald_wcsp.wbo
OPTIMUM
0
0.065989
0.045928
3712614
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh10_wcsp.wbo
OPTIMUM
85
0.065989
0.035548
3712674
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-ssa2670-141_ext.wbo
OPTIMUM
1
0.072988
0.0419279
3712668
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-bf2670-001_ext.wbo
OPTIMUM
1
0.076987
0.046843
3712645
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-37s.smv--soft-33-100-0.wbo
OPTIMUM
1
0.081986
0.049136
3712551
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh16_wcsp.wbo
OPTIMUM
6
0.085986
0.044406
3712679
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-7.ucl--soft-66-100-0.wbo
OPTIMUM
4
0.087985
0.058525
3712559
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-7.ucl--soft-33-100-0.wbo
OPTIMUM
1
0.097984
0.061312
3712558
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-tlan2.ucl--soft-66-100-0.wbo
OPTIMUM
2
0.100984
0.0576029
3712563
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-8.ucl--soft-66-100-0.wbo
OPTIMUM
4
0.108983
0.0747511
3712561
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-dsjc125-1-5_wcsp.wbo
OPTIMUM
0
0.114982
0.0649791
3712623
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf6.ucl--soft-33-100-0.wbo
OPTIMUM
1
0.12198
0.077999
3712574
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-zebra_wcsp.wbo
OPTIMUM
0
0.12598
0.0935499
3712620
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-8.ucl--soft-33-100-0.wbo
OPTIMUM
3
0.128979
0.0882159
3712560
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-46s.smv--soft-33-100-0.wbo
OPTIMUM
1
0.128979
0.076945
3712552
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-bf0432-007_ext.wbo
OPTIMUM
1
0.138977
0.0812689
3712644
/PARTIAL-SMALLINT-LIN/wcsp/
academics/normalized-send_wcsp.wbo
OPTIMUM
0
0.146976
0.093451
3712618
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j308_1-unsat--soft-33-100-0.wbo
OPTIMUM
5
0.151976
0.103441
3712586
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-tlan2.ucl--soft-33-100-0.wbo
OPTIMUM
1
0.155976
0.092607
3712562
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh215_wcsp.wbo
OPTIMUM
88
0.166973
0.082148
3712689
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j301_4-unsat--soft-66-100-0.wbo
OPTIMUM
21
0.176972
0.119783
3712580
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j3046_4-unsat--soft-66-100-0.wbo
OPTIMUM
2
0.205968
0.151046
3712585
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j602_7-unsat--soft-66-100-0.wbo
OPTIMUM
3
0.264958
0.180359
3712593
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh208_wcsp.wbo
OPTIMUM
79
0.287955
0.142897
3712684
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j301_4-unsat--soft-33-100-0.wbo
OPTIMUM
9
0.289955
0.186498
3712579
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j6010_2-unsat--soft-66-100-0.wbo
OPTIMUM
12
0.351946
0.236337
3712589
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j603_2-unsat--soft-66-100-0.wbo
OPTIMUM
31
0.398938
0.266329
3712597
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-le450-5a-5_wcsp.wbo
OPTIMUM
0
0.413936
0.269427
3712636
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh214_wcsp.wbo
OPTIMUM
75
0.426934
0.215898
3712688
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j3046_4-unsat--soft-33-100-0.wbo
OPTIMUM
2
0.451931
0.309688
3712584
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j6027_4-unsat--soft-66-100-0.wbo
OPTIMUM
24
0.459929
0.33423
3712591
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-25s.smv--soft-33-100-0.wbo
OPTIMUM
2
0.463928
0.32553
3712550
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-22s.smv--soft-33-100-0.wbo
OPTIMUM
1
0.497924
0.348735
3712549
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-elf.rf8.ucl--soft-33-100-0.wbo
OPTIMUM
1
0.510922
0.326161
3712569
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j602_7-unsat--soft-33-100-0.wbo
OPTIMUM
6
0.559914
0.363558
3712592
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.4.accl.ucl--soft-33-100-0.wbo
OPTIMUM
1
0.567913
0.36265
3712573
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/
normalized-j907_8-unsat--soft-66-100-0.wbo
OPTIMUM
14
0.595909
0.390722
3712608
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j309_10-unsat--soft-66-100-0.wbo
OPTIMUM
1
0.677896
0.39852
3712587
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/
normalized-j903_10-unsat--soft-66-100-0.wbo
OPTIMUM
4
0.680896
0.450453
3712607
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-geom30a-3_wcsp.wbo
OPTIMUM
11
0.702893
0.353519
3712624
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-cache.inv10.ucl--soft-66-100-0.wbo
OPTIMUM
3
0.799877
0.574021
3712565
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j6033_2-unsat--soft-66-100-0.wbo
OPTIMUM
51
0.814875
0.536427
3712595
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j3041_4-unsat--soft-66-100-0.wbo
OPTIMUM
5
0.853869
0.555246
3712583
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh06_wcsp.wbo
OPTIMUM
99
0.936857
0.472177
3712671
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/
normalized-j9028_2-unsat--soft-66-100-0.wbo
OPTIMUM
20
0.959853
0.617671
3712605
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/
normalized-j9015_10-unsat--soft-66-100-0.wbo
OPTIMUM
29
0.985849
0.77895
3712604
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j606_1-unsat--soft-33-100-0.wbo
OPTIMUM
3
1.09183
0.728143
3712601
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-dlx1c.rwmem.ucl--soft-66-100-0.wbo
OPTIMUM
1
1.10083
0.764559
3712566
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-dlx1c.ucl--soft-33-100-0.wbo
OPTIMUM
1
1.10383
0.682479
3712568
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j6010_2-unsat--soft-33-100-0.wbo
OPTIMUM
6
1.16782
0.779247
3712588
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/
normalized-j9039_3-unsat--soft-66-100-0.wbo
OPTIMUM
42
1.17182
0.758786
3712606
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j6027_4-unsat--soft-33-100-0.wbo
OPTIMUM
22
1.17882
0.790255
3712590
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j6030_9-unsat--soft-66-100-0.wbo
OPTIMUM
8
1.18682
0.800019
3712594
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/
normalized-j9012_2-unsat--soft-66-100-0.wbo
OPTIMUM
54
1.20781
0.835038
3712602
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/
normalized-j9014_1-unsat--soft-66-100-0.wbo
OPTIMUM
6
1.21081
0.801852
3712603
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-dlx1c.rwmem1.ucl--soft-33-100-0.wbo
OPTIMUM
1
1.2938
0.851956
3712567
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j603_2-unsat--soft-33-100-0.wbo
OPTIMUM
6
1.41878
0.950775
3712596
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-tlan3.ucl--soft-66-100-0.wbo
OPTIMUM
4
1.42778
0.9982
3712564
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf8.ucl--soft-33-100-0.wbo
OPTIMUM
1
1.65575
1.05823
3712575
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-elf.rf9.ucl--soft-66-100-0.wbo
OPTIMUM
1
1.89671
1.36536
3712570
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh04_wcsp.wbo
OPTIMUM
95
2.22666
1.11823
3712670
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-langford-3-9_wcsp.wbo
OPTIMUM
0
2.37164
1.22071
3712617
/PARTIAL-SMALLINT-LIN/wcsp/spot5/
normalized-spot5-54_wcsp.wbo
OPTIMUM
37
2.6426
1.31547
3712703
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.2.accl.ucl--soft-33-100-0.wbo
OPTIMUM
1
2.6536
1.38415
3712571
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh19_wcsp.wbo
OPTIMUM
166
3.84841
1.93215
3712681
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf9.ucl--soft-66-100-0.wbo
OPTIMUM
1
5.32019
3.36229
3712576
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh11_wcsp.wbo
OPTIMUM
172
8.79666
4.41634
3712675
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j605_1-unsat--soft-66-100-0.wbo
OPTIMUM
1
9.04262
5.1799
3712599
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.3.accl.ucl--soft-33-100-0.wbo
OPTIMUM
1
13.8139
7.38619
3712572
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j605_1-unsat--soft-33-100-0.wbo
OPTIMUM
1
15.4507
9.43788
3712598
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh09_wcsp.wbo
OPTIMUM
333
15.7346
7.89572
3712673
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110966483--soft-33-100-0.wbo
OPTIMUM
1
17.8203
8.91282
3712489
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh14_wcsp.wbo
OPTIMUM
101
19.862
9.9619
3712677
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh302_wcsp.wbo
OPTIMUM
395
25.4021
12.7411
3712693
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110973364--soft-33-100-0.wbo
OPTIMUM
2
27.8678
13.977
3712496
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh211_wcsp.wbo
OPTIMUM
259
33.8449
16.9711
3712686
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.tag10.ucl--soft-33-100-0.wbo
OPTIMUM
1
34.1068
19.6402
3712577
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh15_wcsp.wbo
OPTIMUM
206
35.18
17.6427
3712678
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j3029_8-unsat--soft-66-100-0.wbo
OPTIMUM
2
38.7891
19.6554
3712582
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111222257--soft-33-100-0.wbo
OPTIMUM
8
41.8566
20.9371
3712509
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110967142--soft-33-100-0.wbo
OPTIMUM
2
43.2504
21.6865
3712490
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111217555--soft-33-100-0.wbo
OPTIMUM
8
46.16
23.1479
3712501
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111227012--soft-66-100-0.wbo
OPTIMUM
49
46.75
23.4338
3712517
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218024--soft-66-100-0.wbo
OPTIMUM
80
49.2445
24.6989
3712503
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111220546--soft-33-100-0.wbo
OPTIMUM
2
50.95
25.5318
3712506
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111220019--soft-33-100-0.wbo
OPTIMUM
2
51.75
25.9376
3712505
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh309_wcsp.wbo
OPTIMUM
276
52.1081
26.0579
3712697
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111212272--soft-33-100-0.wbo
OPTIMUM
2
59.94
30.0098
3712499
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111223004--soft-33-100-0.wbo
OPTIMUM
2
65.793
32.9949
3712511
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110975607--soft-33-100-0.wbo
OPTIMUM
24
75.54
37.8695
3712497
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j3029_8-unsat--soft-33-100-0.wbo
OPTIMUM
4
80.63
41.2216
3712581
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111225605--soft-66-100-0.wbo
OPTIMUM
17
85.95
43.0195
3712514
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111226680--soft-66-100-0.wbo
OPTIMUM
66
86.33
43.2264
3712516
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.tag12.ucl--soft-66-100-0.wbo
OPTIMUM
1
101.877
58.8495
3712578
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110968561--soft-33-100-0.wbo
OPTIMUM
8
104.75
52.4443
3712491
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111226368--soft-33-100-0.wbo
OPTIMUM
15
106.32
53.2293
3712515
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218757--soft-66-100-0.wbo
OPTIMUM
80
107.16
53.6458
3712504
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110977780--soft-66-100-0.wbo
OPTIMUM
80
114.34
57.2867
3712498
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110970444--soft-66-100-0.wbo
OPTIMUM
80
124.51
62.3344
3712494
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh305_wcsp.wbo
OPTIMUM
742
131.986
66.0043
3712694
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh18_wcsp.wbo
OPTIMUM
130
172.75
86.428
3712680
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111220767--soft-66-100-0.wbo
OPTIMUM
80
177.28
88.7459
3712508
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111213868--soft-66-100-0.wbo
OPTIMUM
14
180.08
90.1511
3712500
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111223004--soft-66-100-0.wbo
OPTIMUM
19
213.99
107.017
3712512
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900575442--soft-66-100-0.wbo
OPTIMUM
1
217.52
108.876
3712479
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh307_wcsp.wbo
OPTIMUM
540
219.95
110.051
3712696
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111220767--soft-33-100-0.wbo
OPTIMUM
28
240.186
120.114
3712507
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111222539--soft-33-100-0.wbo
OPTIMUM
9
248.05
124.13
3712510
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111227861--soft-33-100-0.wbo
OPTIMUM
11
277.66
138.978
3712518
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-16wqueens_wcsp.wbo
OPTIMUM
2
277.739
139.003
3712609
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900554420--soft-33-100-0.wbo
OPTIMUM
2
357.116
178.637
3712464
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110971363--soft-33-100-0.wbo
OPTIMUM
25
370.62
185.478
3712495
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh310_wcsp.wbo
OPTIMUM
463
378.51
189.315
3712698
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900544484--soft-33-100-0.wbo
OPTIMUM
1
381.503
190.794
3712459
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900558106--soft-66-100-0.wbo
OPTIMUM
13
390.31
195.247
3712467
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218024--soft-33-100-0.wbo
OPTIMUM
12
411.45
205.896
3712502
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900567135--soft-66-100-0.wbo
OPTIMUM
2
418.218
209.319
3712472
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900552423--soft-33-100-0.wbo
OPTIMUM
7
425.296
212.808
3712463
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900567135--soft-33-100-0.wbo
OPTIMUM
1
459.922
230.121
3712471
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110969577--soft-66-100-0.wbo
OPTIMUM
58
505.327
252.705
3712493
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110969577--soft-33-100-0.wbo
OPTIMUM
12
516.17
258.299
3712492
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900563250--soft-66-100-0.wbo
OPTIMUM
1
599.14
299.79
3712469
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900670675--soft-33-100-0.wbo
OPTIMUM
2
609.744
305.125
3712488
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900584219--soft-33-100-0.wbo
OPTIMUM
1
629.98
315.208
3712485
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224059--soft-33-100-0.wbo
OPTIMUM
15
646.92
323.643
3712513
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-15-10--soft-66-100-0.wbo
OPTIMUM
35
715.269
357.637
3712523
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900570242--soft-66-100-0.wbo
OPTIMUM
16
1239.66
619.937
3712475
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900571132--soft-66-100-0.wbo
OPTIMUM
1
1288.02
644.395
3712477
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900567024--soft-33-100-0.wbo
OPTIMUM
6
1319.77
660.151
3712470
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900556231--soft-33-100-0.wbo
OPTIMUM
1
1332.24
666.217
3712465
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900669797--soft-66-100-0.wbo
OPTIMUM
1
1376
688.307
3712486
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900581320--soft-66-100-0.wbo
OPTIMUM
1
1537.64
769.168
3712483
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900550006--soft-66-100-0.wbo
OPTIMUM
1
1559.68
780.274
3712461
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900552288--soft-66-100-0.wbo
OPTIMUM
2
1665.7
833.323
3712462
Solver timed out but found at least a solution (82 runs)
[Show/Hide]
Benchmark Name
Answer
cost of falsified constraints
CPU time
Wall clock time
TraceID
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900567985--soft-33-100-0.wbo
MSAT (TO)
1
1800.03
900.366
3712473
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-41-40--soft-66-100-0.wbo
MSAT (TO)
1
1800.03
900.34
3712530
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-45-40--soft-66-100-0.wbo
MSAT (TO)
23
1800.04
900.435
3712531
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-81-80--soft-33-100-0.wbo
MSAT (TO)
1
1800.04
900.365
3712544
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-15-10--soft-33-100-0.wbo
MSAT (TO)
2
1800.05
900.22
3712522
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-31-30--soft-33-100-0.wbo
MSAT (TO)
1
1800.06
900.32
3712526
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-105-100--soft-33-100-0.wbo
MSAT (TO)
3
1800.06
900.383
3712520
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-le450-5a-2_wcsp.wbo
MSAT (TO)
2679
1800.06
900.323
3712633
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-myciel5g-4_wcsp.wbo
MSAT (TO)
4
1800.08
900.317
3712638
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900582300--soft-66-100-0.wbo
MSAT (TO)
1
1800.08
900.352
3712484
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-65-60--soft-66-100-0.wbo
MSAT (TO)
4
1800.08
900.369
3712539
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-61-60--soft-33-100-0.wbo
MSAT (TO)
1
1800.08
900.367
3712536
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900670167--soft-33-100-0.wbo
MSAT (TO)
2
1800.09
900.458
3712487
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-le450-5a-4_wcsp.wbo
MSAT (TO)
1050
1800.11
900.447
3712635
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-queen5-5-3_wcsp.wbo
MSAT (TO)
29
1800.12
900.319
3712641
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-myciel5g-5_wcsp.wbo
MSAT (TO)
1
1800.12
900.325
3712639
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-dsjc125-1-4_wcsp.wbo
MSAT (TO)
43
1800.12
900.321
3712622
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-75-70--soft-66-100-0.wbo
MSAT (TO)
1
1800.13
900.544
3712543
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-71-70--soft-33-100-0.wbo
MSAT (TO)
1
1800.14
900.361
3712540
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900557362--soft-33-100-0.wbo
MSAT (TO)
5
1800.14
900.43
3712466
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-95-90--soft-66-100-0.wbo
MSAT (TO)
2
1800.14
900.477
3712548
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-65-60--soft-33-100-0.wbo
MSAT (TO)
1
1800.15
900.429
3712538
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_30_pb.cnf.cr--soft-66-100-0.wbo
MSAT (TO)
8
1800.17
900.326
3712442
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-51-50--soft-33-100-0.wbo
MSAT (TO)
1
1800.17
900.437
3712532
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_45_pb.cnf.cr--soft-33-100-0.wbo
MSAT (TO)
25
1800.17
900.433
3712448
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900576927--soft-33-100-0.wbo
MSAT (TO)
1
1800.18
900.548
3712481
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-myciel5g-3_wcsp.wbo
MSAT (TO)
16
1800.19
900.321
3712637
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900576151--soft-33-100-0.wbo
MSAT (TO)
1
1800.19
900.483
3712480
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-95-90--soft-33-100-0.wbo
MSAT (TO)
1
1800.19
900.478
3712547
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900573901--soft-33-100-0.wbo
MSAT (TO)
1
1800.24
900.345
3712478
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_21_pb.cnf.cr--soft-33-100-0.wbo
MSAT (TO)
6
1800.27
900.218
3712438
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl10_20_pb.cnf.cr--soft-33-100-0.wbo
MSAT (TO)
33
1800.28
900.221
3712432
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_16_pb.cnf.cr--soft-66-100-0.wbo
MSAT (TO)
25
1800.3
900.22
3712434
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900547389--soft-33-100-0.wbo
MSAT (TO)
2
1800.32
900.352
3712460
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl10_20_pb.cnf.cr--soft-66-100-0.wbo
MSAT (TO)
96
1800.33
900.221
3712433
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl10_11_pb.cnf.cr--soft-33-100-0.wbo
MSAT (TO)
3
1800.34
900.218
3712429
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl10_15_pb.cnf.cr--soft-33-100-0.wbo
MSAT (TO)
21
1800.34
900.219
3712431
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_20_pb.cnf.cr--soft-66-100-0.wbo
MSAT (TO)
52
1800.34
900.221
3712436
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_36_pb.cnf.cr--soft-66-100-0.wbo
MSAT (TO)
2
1800.34
900.361
3712446
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_50_pb.cnf.cr--soft-66-100-0.wbo
MSAT (TO)
5
1800.36
900.337
3712453
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-le450-5a-3_wcsp.wbo
MSAT (TO)
1669
1800.36
900.324
3712634
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-101-100--soft-66-100-0.wbo
MSAT (TO)
1
1800.37
900.339
3712519
/PARTIAL-SMALLINT-LIN/wcsp/spot5/
normalized-spot5-404_wcsp.wbo
MSAT (TO)
114
1800.38
900.222
3712702
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_60_pb.cnf.cr--soft-33-100-0.wbo
MSAT (TO)
10
1800.39
900.331
3712457
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-31-30--soft-66-100-0.wbo
MSAT (TO)
1
1800.39
900.322
3712527
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_20_pb.cnf.cr--soft-33-100-0.wbo
MSAT (TO)
23
1800.4
900.218
3712435
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-51-50--soft-66-100-0.wbo
MSAT (TO)
1
1800.4
900.358
3712533
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-21-20--soft-66-100-0.wbo
MSAT (TO)
1
1800.41
900.226
3712524
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-55-50--soft-66-100-0.wbo
MSAT (TO)
9
1800.41
900.36
3712535
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-41-40--soft-33-100-0.wbo
MSAT (TO)
1
1800.42
900.321
3712529
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl10_11_pb.cnf.cr--soft-66-100-0.wbo
MSAT (TO)
15
1800.42
900.216
3712430
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-25-20--soft-33-100-0.wbo
MSAT (TO)
7
1800.43
900.223
3712525
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-71-70--soft-66-100-0.wbo
MSAT (TO)
1
1800.43
900.495
3712541
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_50_pb.cnf.cr--soft-33-100-0.wbo
MSAT (TO)
9
1800.44
900.319
3712452
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_51_pb.cnf.cr--soft-66-100-0.wbo
MSAT (TO)
12
1800.44
900.437
3712455
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_51_pb.cnf.cr--soft-33-100-0.wbo
MSAT (TO)
4
1800.44
900.343
3712454
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_55_pb.cnf.cr--soft-33-100-0.wbo
MSAT (TO)
3
1800.45
900.354
3712456
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_30_pb.cnf.cr--soft-33-100-0.wbo
MSAT (TO)
13
1800.45
900.315
3712441
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_21_pb.cnf.cr--soft-66-100-0.wbo
MSAT (TO)
6
1800.46
900.322
3712439
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900571132--soft-33-100-0.wbo
MSAT (TO)
1
1800.46
900.37
3712476
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_35_pb.cnf.cr--soft-66-100-0.wbo
MSAT (TO)
2
1800.47
900.365
3712445
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j605_10-unsat--soft-33-100-0.wbo
MSAT (TO)
11397
1800.47
902.843
3712600
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_45_pb.cnf.cr--soft-66-100-0.wbo
MSAT (TO)
12
1800.47
900.327
3712449
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_31_pb.cnf.cr--soft-33-100-0.wbo
MSAT (TO)
3
1800.48
900.321
3712443
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_60_pb.cnf.cr--soft-66-100-0.wbo
MSAT (TO)
22
1800.48
900.359
3712458
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900570242--soft-33-100-0.wbo
MSAT (TO)
8
1800.49
900.367
3712474
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_25_pb.cnf.cr--soft-33-100-0.wbo
MSAT (TO)
17
1800.49
900.322
3712440
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900581320--soft-33-100-0.wbo
MSAT (TO)
1
1800.49
900.369
3712482
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-61-60--soft-66-100-0.wbo
MSAT (TO)
1
1800.49
900.36
3712537
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-55-50--soft-33-100-0.wbo
MSAT (TO)
1
1800.5
900.328
3712534
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_45_pb.cnf.cr--soft-33-100-0.wbo
MSAT (TO)
5
1800.5
900.342
3712451
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_40_pb.cnf.cr--soft-66-100-0.wbo
MSAT (TO)
15
1800.5
900.356
3712447
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_41_pb.cnf.cr--soft-33-100-0.wbo
MSAT (TO)
4
1800.51
900.363
3712450
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-35-30--soft-33-100-0.wbo
MSAT (TO)
9
1800.52
900.362
3712528
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-85-80--soft-66-100-0.wbo
MSAT (TO)
1
1800.52
900.52
3712546
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-105-100--soft-66-100-0.wbo
MSAT (TO)
4
1800.53
900.375
3712521
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-queen5-5-4_wcsp.wbo
MSAT (TO)
12
1800.53
900.319
3712642
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900561288--soft-33-100-0.wbo
MSAT (TO)
1
1800.54
900.475
3712468
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_25_pb.cnf.cr--soft-33-100-0.wbo
MSAT (TO)
15
1800.54
900.324
3712437
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-75-70--soft-33-100-0.wbo
MSAT (TO)
6
1800.56
900.359
3712542
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-85-80--soft-33-100-0.wbo
MSAT (TO)
1
1800.62
900.37
3712545
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_31_pb.cnf.cr--soft-66-100-0.wbo
MSAT (TO)
3
1800.64
900.348
3712444
Category "only soft constraints, small integers, linear constraints" (SOFT-SMALLINT-LIN)
Solver found the best solution (73 runs)
[Show/Hide]
Benchmark Name
Answer
cost of falsified constraints
CPU time
Wall clock time
TraceID
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-elf.rf6.ucl--soft-0-100-0.wbo
OPTIMUM
2
0.001999
0.00622794
3712412
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-floppy1-2.ucl--soft-0-100-0.wbo
OPTIMUM
2
0.002998
0.013551
3712403
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-floppy1-4.ucl--soft-0-100-0.wbo
OPTIMUM
18
0.002998
0.006442
3712405
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-floppy1-3.ucl--soft-0-100-0.wbo
OPTIMUM
4
0.004998
0.00650409
3712404
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-44s.smv--soft-0-100-0.wbo
OPTIMUM
2
0.05699
0.0291341
3712401
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-floppy1-6.ucl--soft-0-100-0.wbo
OPTIMUM
1
0.05799
0.028927
3712406
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-elf.rf7.ucl--soft-0-100-0.wbo
OPTIMUM
1
0.083986
0.0604081
3712413
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-37s.smv--soft-0-100-0.wbo
OPTIMUM
1
0.104983
0.0604381
3712399
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf6.ucl--soft-0-100-0.wbo
OPTIMUM
1
0.126979
0.0886321
3712418
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-floppy1-7.ucl--soft-0-100-0.wbo
OPTIMUM
1
0.130979
0.0853889
3712407
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-tlan2.ucl--soft-0-100-0.wbo
OPTIMUM
1
0.143977
0.092144
3712409
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-46s.smv--soft-0-100-0.wbo
OPTIMUM
1
0.147977
0.096845
3712402
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-cache.inv8.ucl--soft-0-100-0.wbo
OPTIMUM
16
0.241962
0.158272
3712410
/SOFT-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j308_1-unsat--soft-0-100-0.wbo
OPTIMUM
19
0.317951
0.216155
3712426
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.4.accl.ucl--soft-0-100-0.wbo
OPTIMUM
1
0.469928
0.317328
3712417
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-25s.smv--soft-0-100-0.wbo
OPTIMUM
1
0.513921
0.333221
3712398
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf7.ucl--soft-0-100-0.wbo
OPTIMUM
1
0.626904
0.398508
3712419
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-43s.smv--soft-0-100-0.wbo
OPTIMUM
1
0.636902
0.377783
3712400
/SOFT-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j301_4-unsat--soft-0-100-0.wbo
OPTIMUM
8
0.6499
0.427979
3712422
/SOFT-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j3046_4-unsat--soft-0-100-0.wbo
OPTIMUM
1
0.744886
0.505299
3712425
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-floppy1-8.ucl--soft-0-100-0.wbo
OPTIMUM
1
0.774881
0.450929
3712408
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-22s.smv--soft-0-100-0.wbo
OPTIMUM
1
1.12383
0.758236
3712397
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-dlx1c.ucl--soft-0-100-0.wbo
OPTIMUM
1
1.15382
0.745891
3712411
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-elf.rf8.ucl--soft-0-100-0.wbo
OPTIMUM
1
1.23681
0.861812
3712414
/SOFT-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j602_7-unsat--soft-0-100-0.wbo
OPTIMUM
1
1.54176
1.04641
3712428
/SOFT-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j3041_4-unsat--soft-0-100-0.wbo
OPTIMUM
4
1.54776
0.9584
3712424
/SOFT-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j309_10-unsat--soft-0-100-0.wbo
OPTIMUM
1
1.80072
1.17668
3712427
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf8.ucl--soft-0-100-0.wbo
OPTIMUM
1
2.22066
1.27771
3712420
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.2.accl.ucl--soft-0-100-0.wbo
OPTIMUM
1
3.9644
2.07381
3712415
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.tag8.ucl--soft-0-100-0.wbo
OPTIMUM
1
5.2822
2.92475
3712421
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110977273--soft-0-100-0.wbo
OPTIMUM
1
17.3204
8.68318
3712768
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.3.accl.ucl--soft-0-100-0.wbo
OPTIMUM
1
18.4122
10.2747
3712416
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111223220--soft-0-100-0.wbo
OPTIMUM
1
23.6494
11.8576
3712779
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111225605--soft-0-100-0.wbo
OPTIMUM
2
23.6694
11.8681
3712782
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110973670--soft-0-100-0.wbo
OPTIMUM
1
26.7979
13.4029
3712765
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110969860--soft-0-100-0.wbo
OPTIMUM
1
28.8486
14.4659
3712760
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110972763--soft-0-100-0.wbo
OPTIMUM
1
33.088
16.5923
3712764
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110976935--soft-0-100-0.wbo
OPTIMUM
2
33.4779
16.7901
3712767
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111216411--soft-0-100-0.wbo
OPTIMUM
2
34.6877
17.39
3712775
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110974180--soft-0-100-0.wbo
OPTIMUM
1
37.98
19.0318
3712766
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224255--soft-0-100-0.wbo
OPTIMUM
1
43.2164
21.6648
3712780
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111213868--soft-0-100-0.wbo
OPTIMUM
2
44.57
22.3062
3712774
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111226062--soft-0-100-0.wbo
OPTIMUM
3
49.0155
24.5747
3712783
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111212476--soft-0-100-0.wbo
OPTIMUM
2
49.18
24.6408
3712772
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111222539--soft-0-100-0.wbo
OPTIMUM
2
49.97
25.0362
3712778
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110972154--soft-0-100-0.wbo
OPTIMUM
1
50.0554
25.0967
3712763
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110967523--soft-0-100-0.wbo
OPTIMUM
3
50.58
25.3386
3712758
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111217392--soft-0-100-0.wbo
OPTIMUM
2
53.6248
26.8882
3712776
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110967142--soft-0-100-0.wbo
OPTIMUM
9
59.9529
29.9791
3712757
/SOFT-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j3029_8-unsat--soft-0-100-0.wbo
OPTIMUM
2
63.66
33.0654
3712423
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110978113--soft-0-100-0.wbo
OPTIMUM
9
72.8249
36.4229
3712770
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110968561--soft-0-100-0.wbo
OPTIMUM
3
75.8615
37.9492
3712759
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110977780--soft-0-100-0.wbo
OPTIMUM
10
81.6296
40.8272
3712769
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111227012--soft-0-100-0.wbo
OPTIMUM
5
96.96
48.5784
3712784
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110978334--soft-0-100-0.wbo
OPTIMUM
9
111.2
55.7035
3712771
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111213670--soft-0-100-0.wbo
OPTIMUM
10
111.75
55.9129
3712773
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224451--soft-0-100-0.wbo
OPTIMUM
9
121.16
60.6484
3712781
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111228076--soft-0-100-0.wbo
OPTIMUM
3
136.812
68.4207
3712785
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110971363--soft-0-100-0.wbo
OPTIMUM
4
151.18
75.7059
3712762
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218024--soft-0-100-0.wbo
OPTIMUM
10
156.34
78.2453
3712777
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110970631--soft-0-100-0.wbo
OPTIMUM
16
303.9
152.03
3712761
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110966483--soft-0-100-0.wbo
OPTIMUM
19
323.753
161.898
3712756
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900566157--soft-0-100-0.wbo
OPTIMUM
1
627.365
313.76
3712742
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900544484--soft-0-100-0.wbo
OPTIMUM
1
857.97
429.259
3712726
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900551347--soft-0-100-0.wbo
OPTIMUM
2
1049.59
525.06
3712731
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900568186--soft-0-100-0.wbo
OPTIMUM
3
1251.07
625.892
3712744
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900562192--soft-0-100-0.wbo
OPTIMUM
1
1339.56
670.118
3712739
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900670167--soft-0-100-0.wbo
OPTIMUM
1
1368.87
684.825
3712754
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900564281--soft-0-100-0.wbo
OPTIMUM
2
1462.66
731.473
3712740
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-11-10--soft-0-100-0.wbo
OPTIMUM
1
1548.8
774.409
3712788
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900554072--soft-0-100-0.wbo
OPTIMUM
1
1656.66
828.788
3712734
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900570242--soft-0-100-0.wbo
OPTIMUM
5
1738.47
869.599
3712747
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900669797--soft-0-100-0.wbo
OPTIMUM
1
1740.09
870.554
3712753
Solver timed out but found at least a solution (60 runs)
[Show/Hide]
Benchmark Name
Answer
cost of falsified constraints
CPU time
Wall clock time
TraceID
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_55_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
6
1800.01
900.426
3712724
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-61-60--soft-0-100-0.wbo
MSAT (TO)
1
1800.01
900.366
3712798
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_21_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
2
1800.02
900.214
3712711
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_60_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
3
1800.03
900.327
3712725
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl10_20_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
7
1800.03
900.223
3712707
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_25_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
10
1800.04
900.216
3712712
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900569834--soft-0-100-0.wbo
MSAT (TO)
4
1800.04
900.49
3712746
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-45-40--soft-0-100-0.wbo
MSAT (TO)
3
1800.04
900.323
3712795
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl10_11_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
9
1800.05
900.217
3712705
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-15-10--soft-0-100-0.wbo
MSAT (TO)
2
1800.05
900.219
3712789
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-75-70--soft-0-100-0.wbo
MSAT (TO)
1
1800.05
900.344
3712392
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_41_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
5
1800.05
900.351
3712720
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900545610--soft-0-100-0.wbo
MSAT (TO)
1
1800.06
900.434
3712727
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-31-30--soft-0-100-0.wbo
MSAT (TO)
1
1800.06
900.318
3712792
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-71-70--soft-0-100-0.wbo
MSAT (TO)
1
1800.07
900.35
3712800
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_35_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
7
1800.09
900.34
3712715
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_40_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
10
1800.09
900.322
3712716
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900670234--soft-0-100-0.wbo
MSAT (TO)
1
1800.09
900.52
3712755
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-85-80--soft-0-100-0.wbo
MSAT (TO)
1
1800.09
900.355
3712394
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900565534--soft-0-100-0.wbo
MSAT (TO)
1
1800.11
900.409
3712741
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-35-30--soft-0-100-0.wbo
MSAT (TO)
3
1800.11
900.323
3712793
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900557957--soft-0-100-0.wbo
MSAT (TO)
3
1800.11
900.502
3712737
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-65-60--soft-0-100-0.wbo
MSAT (TO)
1
1800.12
900.434
3712799
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900557574--soft-0-100-0.wbo
MSAT (TO)
6
1800.14
900.492
3712736
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-91-90--soft-0-100-0.wbo
MSAT (TO)
1
1800.14
900.452
3712395
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-55-50--soft-0-100-0.wbo
MSAT (TO)
2
1800.15
900.336
3712797
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-105-100--soft-0-100-0.wbo
MSAT (TO)
1
1800.15
900.37
3712787
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_31_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
5
1800.16
900.33
3712714
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_40_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
8
1800.16
900.335
3712718
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-95-90--soft-0-100-0.wbo
MSAT (TO)
1
1800.17
900.463
3712396
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900581320--soft-0-100-0.wbo
MSAT (TO)
1
1800.17
900.515
3712750
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_25_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
10
1800.17
900.315
3712710
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-51-50--soft-0-100-0.wbo
MSAT (TO)
1
1800.17
900.432
3712796
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900552288--soft-0-100-0.wbo
MSAT (TO)
1
1800.18
900.492
3712732
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900550006--soft-0-100-0.wbo
MSAT (TO)
1
1800.18
900.526
3712729
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_51_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
3
1800.19
900.451
3712723
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900667195--soft-0-100-0.wbo
MSAT (TO)
1
1800.19
900.413
3712752
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900550720--soft-0-100-0.wbo
MSAT (TO)
1
1800.19
900.514
3712730
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900552735--soft-0-100-0.wbo
MSAT (TO)
4
1800.19
900.469
3712733
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-25-20--soft-0-100-0.wbo
MSAT (TO)
4
1800.19
900.32
3712791
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-41-40--soft-0-100-0.wbo
MSAT (TO)
1
1800.2
900.424
3712794
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900568706--soft-0-100-0.wbo
MSAT (TO)
1
1800.2
900.518
3712745
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900584106--soft-0-100-0.wbo
MSAT (TO)
7
1800.2
900.502
3712751
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_16_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
8
1800.28
900.219
3712708
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_30_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
9
1800.37
900.214
3712713
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl10_15_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
6
1800.37
900.221
3712706
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900558739--soft-0-100-0.wbo
MSAT (TO)
1
1800.38
900.409
3712738
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900577940--soft-0-100-0.wbo
MSAT (TO)
1
1800.41
900.404
3712749
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_20_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
17
1800.43
900.315
3712709
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-21-20--soft-0-100-0.wbo
MSAT (TO)
1
1800.46
900.217
3712790
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-81-80--soft-0-100-0.wbo
MSAT (TO)
1
1800.46
900.375
3712393
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_45_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
4
1800.49
900.353
3712721
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_50_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
6
1800.49
900.34
3712722
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_45_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
10
1800.49
900.33
3712719
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_36_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
5
1800.54
900.319
3712717
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-101-100--soft-0-100-0.wbo
MSAT (TO)
1
1800.57
900.356
3712786
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900571132--soft-0-100-0.wbo
MSAT (TO)
1
1800.58
900.482
3712748
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900567985--soft-0-100-0.wbo
MSAT (TO)
1
1800.6
900.455
3712743
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900548667--soft-0-100-0.wbo
MSAT (TO)
1
1800.62
900.482
3712728
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900556231--soft-0-100-0.wbo
MSAT (TO)
1
1800.66
900.466
3712735