PB'12 competition: WBO track: benchmarks results per solver
Result page for solver pwbo
2.02
(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
386.339
193.303
3728700
Solver found the best solution (192 runs)
[Show/Hide]
Benchmark Name
Answer
cost of falsified constraints
CPU time
Wall clock time
TraceID
/PARTIAL-SMALLINT-LIN/wcsp/spot5/
normalized-spot5-8_wcsp.wbo
OPTIMUM
2
0.000999
0.00635606
3728788
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois30_ext.wbo
OPTIMUM
1
0.001998
0.00751707
3728741
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-pret60_75_ext.wbo
OPTIMUM
1
0.001998
0.00630498
3728750
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois27_ext.wbo
OPTIMUM
1
0.001998
0.00656808
3728738
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois24_ext.wbo
OPTIMUM
1
0.001998
0.00656998
3728735
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois21_ext.wbo
OPTIMUM
1
0.001998
0.00637308
3728732
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois26_ext.wbo
OPTIMUM
1
0.001998
0.00748998
3728737
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois28_ext.wbo
OPTIMUM
1
0.001998
0.00664991
3728739
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-warehouse0_wcsp.wbo
OPTIMUM
328
0.001998
0.00663805
3728703
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-pret60_25_ext.wbo
OPTIMUM
1
0.001998
0.00985504
3728747
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois23_ext.wbo
OPTIMUM
1
0.001998
0.00646598
3728734
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-langford-2-4_wcsp.wbo
OPTIMUM
0
0.001999
0.00634008
3728699
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-pret60_40_ext.wbo
OPTIMUM
1
0.001999
0.00975897
3728748
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-2.ucl--soft-33-100-0.wbo
OPTIMUM
1
0.001999
0.013099
3728637
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois20_ext.wbo
OPTIMUM
1
0.001999
0.00637797
3728731
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-8queens_wcsp.wbo
OPTIMUM
0
0.001999
0.00823403
3728696
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-4wqueens_wcsp.wbo
OPTIMUM
0
0.001999
0.00632909
3728695
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-4queens_wcsp.wbo
OPTIMUM
0
0.001999
0.0061299
3728694
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois22_ext.wbo
OPTIMUM
1
0.001999
0.00651909
3728733
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-zebre-ext_wcsp.wbo
OPTIMUM
0
0.001999
0.00620805
3728705
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-geom30a-5_wcsp.wbo
OPTIMUM
1
0.002998
0.00823997
3728710
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-geom30a-6_wcsp.wbo
OPTIMUM
0
0.002998
0.00664896
3728711
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-geom40-5_wcsp.wbo
OPTIMUM
1
0.002998
0.00711602
3728715
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-3.ucl--soft-33-100-0.wbo
OPTIMUM
8
0.002998
0.00659488
3728639
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois29_ext.wbo
OPTIMUM
1
0.002998
0.00730493
3728740
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-pret60_60_ext.wbo
OPTIMUM
1
0.002998
0.00993493
3728749
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois25_ext.wbo
OPTIMUM
1
0.002998
0.0064801
3728736
/PARTIAL-SMALLINT-LIN/wcsp/
pedigree/normalized-sobel_wcsp.wbo
OPTIMUM
0
0.002998
0.00644599
3728785
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-geom30a-4_wcsp.wbo
OPTIMUM
4
0.002998
0.01207
3728709
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-geom40-2_wcsp.wbo
OPTIMUM
22
0.002999
0.010826
3728712
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-3.ucl--soft-66-100-0.wbo
OPTIMUM
1
0.002999
0.00626588
3728640
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-8wqueens_wcsp.wbo
OPTIMUM
2
0.003998
0.00665797
3728697
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-pret150_75_ext.wbo
OPTIMUM
1
0.003998
0.011128
3728746
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-pret150_40_ext.wbo
OPTIMUM
1
0.003998
0.014649
3728744
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-pret150_25_ext.wbo
OPTIMUM
1
0.003998
0.0140019
3728743
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-queen5-5-5_wcsp.wbo
OPTIMUM
0
0.003998
0.0065861
3728727
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois50_ext.wbo
OPTIMUM
1
0.003998
0.012164
3728742
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-geom40-6_wcsp.wbo
OPTIMUM
0
0.004998
0.00627488
3728716
/PARTIAL-SMALLINT-LIN/wcsp/pedigree/
normalized-connell_wcsp.wbo
OPTIMUM
1
0.004998
0.00989693
3728783
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh220_wcsp.wbo
OPTIMUM
0
0.004998
0.0139599
3728776
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-myciel5g-6_wcsp.wbo
OPTIMUM
0
0.004999
0.00901606
3728724
/PARTIAL-SMALLINT-LIN/wcsp/pedigree/
normalized-simple_wcsp.wbo
OPTIMUM
1
0.005998
0.0122149
3728784
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-ssa0432-003_ext.wbo
OPTIMUM
1
0.005998
0.016732
3728751
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh07_wcsp.wbo
OPTIMUM
0
0.005998
0.0128279
3728756
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh01_wcsp.wbo
OPTIMUM
0
0.005998
0.0142971
3728753
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh205_wcsp.wbo
OPTIMUM
0
0.005998
0.0150579
3728767
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh212_wcsp.wbo
OPTIMUM
0
0.005998
0.0141789
3728771
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh210_wcsp.wbo
OPTIMUM
0
0.005998
0.0124609
3728769
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh218_wcsp.wbo
OPTIMUM
0
0.005998
0.0126729
3728775
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh217_wcsp.wbo
OPTIMUM
0
0.006998
0.0139209
3728774
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-pret150_60_ext.wbo
OPTIMUM
1
0.042992
0.0183191
3728745
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-geom40-3_wcsp.wbo
OPTIMUM
7
0.042992
0.0171941
3728713
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-geom40-4_wcsp.wbo
OPTIMUM
3
0.043992
0.0168341
3728714
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-2.ucl--soft-66-100-0.wbo
OPTIMUM
1
0.043992
0.0146471
3728638
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois100_ext.wbo
OPTIMUM
1
0.044992
0.0211631
3728730
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh203_wcsp.wbo
OPTIMUM
39
0.044992
0.0266271
3728766
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh306_wcsp.wbo
OPTIMUM
16
0.045992
0.0245131
3728779
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh13_wcsp.wbo
OPTIMUM
109
0.05699
0.030174
3728760
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-donald_wcsp.wbo
OPTIMUM
0
0.064989
0.046481
3728698
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh10_wcsp.wbo
OPTIMUM
85
0.065989
0.0357189
3728758
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-6.ucl--soft-66-100-0.wbo
OPTIMUM
1
0.067989
0.030251
3728641
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-ssa2670-141_ext.wbo
OPTIMUM
1
0.072988
0.039828
3728752
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-bf2670-001_ext.wbo
OPTIMUM
1
0.076987
0.048226
3728729
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-37s.smv--soft-33-100-0.wbo
OPTIMUM
1
0.081987
0.0476729
3728635
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh16_wcsp.wbo
OPTIMUM
6
0.084986
0.045072
3728763
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-7.ucl--soft-66-100-0.wbo
OPTIMUM
4
0.086986
0.0559061
3728643
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-7.ucl--soft-33-100-0.wbo
OPTIMUM
1
0.098984
0.0704799
3728642
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-tlan2.ucl--soft-66-100-0.wbo
OPTIMUM
2
0.100983
0.05707
3728647
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-8.ucl--soft-66-100-0.wbo
OPTIMUM
4
0.114981
0.0757751
3728645
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-dsjc125-1-5_wcsp.wbo
OPTIMUM
0
0.114981
0.0629171
3728707
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf6.ucl--soft-33-100-0.wbo
OPTIMUM
1
0.116982
0.0777399
3728658
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-zebra_wcsp.wbo
OPTIMUM
0
0.120981
0.0893351
3728704
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-46s.smv--soft-33-100-0.wbo
OPTIMUM
1
0.12498
0.07521
3728636
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh215_wcsp.wbo
OPTIMUM
88
0.12598
0.065826
3728773
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-8.ucl--soft-33-100-0.wbo
OPTIMUM
3
0.135979
0.0887309
3728644
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-bf0432-007_ext.wbo
OPTIMUM
1
0.137978
0.0803779
3728728
/PARTIAL-SMALLINT-LIN/wcsp/
academics/normalized-send_wcsp.wbo
OPTIMUM
0
0.148977
0.0959341
3728702
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-tlan2.ucl--soft-33-100-0.wbo
OPTIMUM
1
0.161975
0.0969901
3728646
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j301_4-unsat--soft-66-100-0.wbo
OPTIMUM
21
0.171973
0.119419
3728664
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j3046_4-unsat--soft-66-100-0.wbo
OPTIMUM
2
0.201969
0.14584
3728669
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j308_1-unsat--soft-33-100-0.wbo
OPTIMUM
5
0.205968
0.137571
3728670
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh208_wcsp.wbo
OPTIMUM
79
0.284955
0.143153
3728768
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j301_4-unsat--soft-33-100-0.wbo
OPTIMUM
9
0.285955
0.181053
3728663
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j3046_4-unsat--soft-33-100-0.wbo
OPTIMUM
2
0.314951
0.207994
3728668
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j6027_4-unsat--soft-66-100-0.wbo
OPTIMUM
24
0.340947
0.227193
3728675
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j602_7-unsat--soft-66-100-0.wbo
OPTIMUM
3
0.354945
0.251188
3728677
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j603_2-unsat--soft-66-100-0.wbo
OPTIMUM
31
0.39194
0.264008
3728681
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-le450-5a-5_wcsp.wbo
OPTIMUM
0
0.412936
0.275211
3728720
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-geom30a-3_wcsp.wbo
OPTIMUM
11
0.422935
0.207458
3728708
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh214_wcsp.wbo
OPTIMUM
75
0.425934
0.215619
3728772
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-25s.smv--soft-33-100-0.wbo
OPTIMUM
2
0.457929
0.321981
3728634
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j6010_2-unsat--soft-66-100-0.wbo
OPTIMUM
12
0.467928
0.336659
3728673
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j602_7-unsat--soft-33-100-0.wbo
OPTIMUM
6
0.560913
0.366516
3728676
/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.363553
3728657
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-cache.inv10.ucl--soft-66-100-0.wbo
OPTIMUM
3
0.654899
0.449032
3728649
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/
normalized-j903_10-unsat--soft-66-100-0.wbo
OPTIMUM
4
0.669897
0.437025
3728691
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-22s.smv--soft-33-100-0.wbo
OPTIMUM
1
0.680896
0.46104
3728633
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-elf.rf8.ucl--soft-33-100-0.wbo
OPTIMUM
1
0.720889
0.468992
3728653
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j3041_4-unsat--soft-66-100-0.wbo
OPTIMUM
5
0.770882
0.49941
3728667
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j309_10-unsat--soft-66-100-0.wbo
OPTIMUM
1
0.802877
0.502141
3728671
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/
normalized-j907_8-unsat--soft-66-100-0.wbo
OPTIMUM
14
0.817875
0.596184
3728692
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j6033_2-unsat--soft-66-100-0.wbo
OPTIMUM
51
0.833872
0.538752
3728679
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh06_wcsp.wbo
OPTIMUM
99
0.896863
0.450186
3728755
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-dlx1c.ucl--soft-33-100-0.wbo
OPTIMUM
1
0.919859
0.591076
3728652
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/
normalized-j9028_2-unsat--soft-66-100-0.wbo
OPTIMUM
20
0.943856
0.615186
3728689
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/
normalized-j9015_10-unsat--soft-66-100-0.wbo
OPTIMUM
29
0.959853
0.639458
3728688
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j606_1-unsat--soft-33-100-0.wbo
OPTIMUM
3
1.09283
0.732998
3728685
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/
normalized-j9039_3-unsat--soft-66-100-0.wbo
OPTIMUM
42
1.14882
0.742712
3728690
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j6010_2-unsat--soft-33-100-0.wbo
OPTIMUM
6
1.16782
0.780799
3728672
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j6027_4-unsat--soft-33-100-0.wbo
OPTIMUM
22
1.17782
0.788598
3728674
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j6030_9-unsat--soft-66-100-0.wbo
OPTIMUM
8
1.18382
0.795395
3728678
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/
normalized-j9012_2-unsat--soft-66-100-0.wbo
OPTIMUM
54
1.18982
0.95145
3728686
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-dlx1c.rwmem1.ucl--soft-33-100-0.wbo
OPTIMUM
1
1.3018
0.851449
3728651
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-dlx1c.rwmem.ucl--soft-66-100-0.wbo
OPTIMUM
1
1.3068
0.861234
3728650
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j603_2-unsat--soft-33-100-0.wbo
OPTIMUM
6
1.41678
0.951347
3728680
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-tlan3.ucl--soft-66-100-0.wbo
OPTIMUM
4
1.43578
0.985558
3728648
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf8.ucl--soft-33-100-0.wbo
OPTIMUM
1
1.46178
0.912952
3728659
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/
normalized-j9014_1-unsat--soft-66-100-0.wbo
OPTIMUM
6
1.87471
1.26504
3728687
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-elf.rf9.ucl--soft-66-100-0.wbo
OPTIMUM
1
1.88871
1.35614
3728654
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh04_wcsp.wbo
OPTIMUM
95
2.23566
1.12116
3728754
/PARTIAL-SMALLINT-LIN/wcsp/spot5/
normalized-spot5-54_wcsp.wbo
OPTIMUM
37
2.6316
1.31539
3728787
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.2.accl.ucl--soft-33-100-0.wbo
OPTIMUM
1
2.77258
1.45377
3728655
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh19_wcsp.wbo
OPTIMUM
166
2.83457
1.41995
3728765
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-langford-3-9_wcsp.wbo
OPTIMUM
0
3.00554
1.53834
3728701
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf9.ucl--soft-66-100-0.wbo
OPTIMUM
1
5.61015
3.5113
3728660
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh09_wcsp.wbo
OPTIMUM
333
7.06592
3.53724
3728757
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j605_1-unsat--soft-66-100-0.wbo
OPTIMUM
1
8.80666
5.04237
3728683
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.3.accl.ucl--soft-33-100-0.wbo
OPTIMUM
1
13.9509
7.43319
3728656
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh11_wcsp.wbo
OPTIMUM
172
15.1837
7.59154
3728759
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j605_1-unsat--soft-33-100-0.wbo
OPTIMUM
1
15.56
9.62416
3728682
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110966483--soft-33-100-0.wbo
OPTIMUM
1
16.0496
8.05177
3728573
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh302_wcsp.wbo
OPTIMUM
395
19.543
9.77816
3728777
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh14_wcsp.wbo
OPTIMUM
101
20.2029
10.1113
3728761
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110973364--soft-33-100-0.wbo
OPTIMUM
2
27.3948
13.7404
3728580
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh15_wcsp.wbo
OPTIMUM
206
30.2004
15.1126
3728762
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.tag10.ucl--soft-33-100-0.wbo
OPTIMUM
1
30.4434
17.841
3728661
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j3029_8-unsat--soft-66-100-0.wbo
OPTIMUM
2
32.0091
16.2674
3728666
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh211_wcsp.wbo
OPTIMUM
259
33.9008
16.9591
3728770
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111227012--soft-66-100-0.wbo
OPTIMUM
49
35.0377
17.5844
3728601
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218024--soft-66-100-0.wbo
OPTIMUM
80
37.4183
18.7697
3728587
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111222257--soft-33-100-0.wbo
OPTIMUM
8
43.9373
21.9832
3728593
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111223004--soft-33-100-0.wbo
OPTIMUM
2
47.5058
23.7564
3728595
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111217555--soft-33-100-0.wbo
OPTIMUM
8
47.5848
23.7987
3728585
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110967142--soft-33-100-0.wbo
OPTIMUM
2
49.8504
24.998
3728574
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111220019--soft-33-100-0.wbo
OPTIMUM
2
51.0062
25.5095
3728589
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh309_wcsp.wbo
OPTIMUM
276
52.9589
26.4911
3728781
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111220546--soft-33-100-0.wbo
OPTIMUM
2
57.37
28.7335
3728590
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111225605--soft-66-100-0.wbo
OPTIMUM
17
60.0129
30.0187
3728598
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111212272--soft-33-100-0.wbo
OPTIMUM
2
66.16
33.1086
3728583
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111226680--soft-66-100-0.wbo
OPTIMUM
66
77.74
38.9131
3728600
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-16wqueens_wcsp.wbo
OPTIMUM
2
80.8287
40.4395
3728693
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j3029_8-unsat--soft-33-100-0.wbo
OPTIMUM
4
100.23
50.9101
3728665
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110968561--soft-33-100-0.wbo
OPTIMUM
8
100.73
50.4982
3728575
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218757--soft-66-100-0.wbo
OPTIMUM
80
115.51
57.8974
3728588
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110970444--soft-66-100-0.wbo
OPTIMUM
80
124.73
62.4272
3728578
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111220767--soft-66-100-0.wbo
OPTIMUM
80
143.71
71.8673
3728592
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110975607--soft-33-100-0.wbo
OPTIMUM
24
149.92
75.0035
3728581
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111220767--soft-33-100-0.wbo
OPTIMUM
28
150.73
75.4966
3728591
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111213868--soft-66-100-0.wbo
OPTIMUM
14
151.53
75.8303
3728584
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111226368--soft-33-100-0.wbo
OPTIMUM
15
153.7
77.0004
3728599
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.tag12.ucl--soft-66-100-0.wbo
OPTIMUM
1
154.67
87.9041
3728662
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110977780--soft-66-100-0.wbo
OPTIMUM
80
159.66
79.9045
3728582
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh18_wcsp.wbo
OPTIMUM
130
159.971
80.0033
3728764
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110969577--soft-66-100-0.wbo
OPTIMUM
58
203.475
101.787
3728577
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111223004--soft-66-100-0.wbo
OPTIMUM
19
207.08
103.641
3728596
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh305_wcsp.wbo
OPTIMUM
742
207.324
103.683
3728778
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh307_wcsp.wbo
OPTIMUM
540
216.522
108.279
3728780
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111227861--soft-33-100-0.wbo
OPTIMUM
11
267.66
133.933
3728602
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111222539--soft-33-100-0.wbo
OPTIMUM
9
318.556
159.315
3728594
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh310_wcsp.wbo
OPTIMUM
463
345.28
172.76
3728782
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900558106--soft-66-100-0.wbo
OPTIMUM
13
361.9
181.097
3728551
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218024--soft-33-100-0.wbo
OPTIMUM
12
373.23
186.704
3728586
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900544484--soft-33-100-0.wbo
OPTIMUM
1
390.7
195.547
3728543
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900670675--soft-33-100-0.wbo
OPTIMUM
2
426.38
213.425
3728572
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110971363--soft-33-100-0.wbo
OPTIMUM
25
453.2
226.77
3728579
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900575442--soft-66-100-0.wbo
OPTIMUM
1
460.01
230.184
3728563
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110969577--soft-33-100-0.wbo
OPTIMUM
12
476.33
238.25
3728576
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900567135--soft-33-100-0.wbo
OPTIMUM
1
516.74
258.567
3728555
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900554420--soft-33-100-0.wbo
OPTIMUM
2
541.58
270.955
3728548
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900552423--soft-33-100-0.wbo
OPTIMUM
7
589.62
294.984
3728547
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224059--soft-33-100-0.wbo
OPTIMUM
15
698.896
349.514
3728597
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900567135--soft-66-100-0.wbo
OPTIMUM
2
743.63
372.092
3728556
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900563250--soft-66-100-0.wbo
OPTIMUM
1
879.67
440.1
3728553
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900570242--soft-66-100-0.wbo
OPTIMUM
16
1359.72
680.169
3728559
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900571132--soft-66-100-0.wbo
OPTIMUM
1
1428.7
714.453
3728561
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900557362--soft-33-100-0.wbo
OPTIMUM
5
1448.62
724.652
3728550
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900669797--soft-66-100-0.wbo
OPTIMUM
1
1475.14
737.855
3728570
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900582300--soft-66-100-0.wbo
OPTIMUM
1
1514.26
757.259
3728568
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900573901--soft-33-100-0.wbo
OPTIMUM
1
1562.42
781.33
3728562
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900552288--soft-66-100-0.wbo
OPTIMUM
2
1597.6
799.143
3728546
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900581320--soft-66-100-0.wbo
OPTIMUM
1
1616.14
808.204
3728567
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900670167--soft-33-100-0.wbo
OPTIMUM
2
1721.1
860.912
3728571
Solver timed out but found at least a solution (83 runs)
[Show/Hide]
Benchmark Name
Answer
cost of falsified constraints
CPU time
Wall clock time
TraceID
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-55-50--soft-33-100-0.wbo
MSAT (TO)
1
1800.01
900.33
3728618
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-35-30--soft-33-100-0.wbo
MSAT (TO)
9
1800.01
900.438
3728612
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_30_pb.cnf.cr--soft-66-100-0.wbo
MSAT (TO)
8
1800.03
900.225
3728526
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-le450-5a-3_wcsp.wbo
MSAT (TO)
1571
1800.03
900.326
3728718
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-51-50--soft-33-100-0.wbo
MSAT (TO)
1
1800.03
900.349
3728616
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_60_pb.cnf.cr--soft-33-100-0.wbo
MSAT (TO)
10
1800.03
900.332
3728541
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl10_11_pb.cnf.cr--soft-33-100-0.wbo
MSAT (TO)
3
1800.05
900.219
3728513
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_16_pb.cnf.cr--soft-66-100-0.wbo
MSAT (TO)
25
1800.05
900.221
3728518
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-85-80--soft-33-100-0.wbo
MSAT (TO)
1
1800.05
900.356
3728629
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900571132--soft-33-100-0.wbo
MSAT (TO)
1
1800.05
900.361
3728560
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-45-40--soft-66-100-0.wbo
MSAT (TO)
23
1800.06
900.334
3728615
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl10_15_pb.cnf.cr--soft-33-100-0.wbo
MSAT (TO)
21
1800.06
900.218
3728515
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-21-20--soft-66-100-0.wbo
MSAT (TO)
1
1800.06
900.226
3728608
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_20_pb.cnf.cr--soft-66-100-0.wbo
MSAT (TO)
52
1800.06
900.222
3728520
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl10_11_pb.cnf.cr--soft-66-100-0.wbo
MSAT (TO)
15
1800.07
900.215
3728514
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl10_20_pb.cnf.cr--soft-66-100-0.wbo
MSAT (TO)
96
1800.07
900.221
3728517
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-61-60--soft-33-100-0.wbo
MSAT (TO)
1
1800.07
900.351
3728620
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-55-50--soft-66-100-0.wbo
MSAT (TO)
9
1800.07
900.354
3728619
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_45_pb.cnf.cr--soft-33-100-0.wbo
MSAT (TO)
25
1800.07
900.332
3728532
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-81-80--soft-33-100-0.wbo
MSAT (TO)
1
1800.08
900.341
3728628
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-15-10--soft-66-100-0.wbo
MSAT (TO)
35
1800.08
900.22
3728607
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-71-70--soft-66-100-0.wbo
MSAT (TO)
1
1800.09
900.507
3728625
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900550006--soft-66-100-0.wbo
MSAT (TO)
1
1800.09
900.427
3728545
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-31-30--soft-66-100-0.wbo
MSAT (TO)
1
1800.1
900.325
3728611
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-41-40--soft-66-100-0.wbo
MSAT (TO)
1
1800.1
900.353
3728614
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_51_pb.cnf.cr--soft-66-100-0.wbo
MSAT (TO)
12
1800.1
900.446
3728539
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900547389--soft-33-100-0.wbo
MSAT (TO)
2
1800.11
900.445
3728544
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-95-90--soft-33-100-0.wbo
MSAT (TO)
1
1800.11
900.393
3728631
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_55_pb.cnf.cr--soft-33-100-0.wbo
MSAT (TO)
3
1800.12
900.36
3728540
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900576927--soft-33-100-0.wbo
MSAT (TO)
1
1800.13
900.462
3728565
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_21_pb.cnf.cr--soft-66-100-0.wbo
MSAT (TO)
6
1800.13
900.319
3728523
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-95-90--soft-66-100-0.wbo
MSAT (TO)
2
1800.14
900.466
3728632
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_31_pb.cnf.cr--soft-66-100-0.wbo
MSAT (TO)
3
1800.14
900.359
3728528
/PARTIAL-SMALLINT-LIN/wcsp/spot5/
normalized-spot5-404_wcsp.wbo
MSAT (TO)
114
1800.15
900.315
3728786
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_41_pb.cnf.cr--soft-33-100-0.wbo
MSAT (TO)
4
1800.15
900.366
3728534
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900561288--soft-33-100-0.wbo
MSAT (TO)
1
1800.17
900.502
3728552
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_50_pb.cnf.cr--soft-33-100-0.wbo
MSAT (TO)
9
1800.17
900.42
3728536
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-41-40--soft-33-100-0.wbo
MSAT (TO)
1
1800.17
900.346
3728613
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_21_pb.cnf.cr--soft-33-100-0.wbo
MSAT (TO)
6
1800.17
900.316
3728522
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-25-20--soft-33-100-0.wbo
MSAT (TO)
7
1800.17
900.32
3728609
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-85-80--soft-66-100-0.wbo
MSAT (TO)
1
1800.18
900.63
3728630
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j605_10-unsat--soft-33-100-0.wbo
MSAT (TO)
11397
1800.19
903.04
3728684
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_25_pb.cnf.cr--soft-33-100-0.wbo
MSAT (TO)
17
1800.19
900.322
3728524
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_25_pb.cnf.cr--soft-33-100-0.wbo
MSAT (TO)
15
1800.2
900.326
3728521
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_40_pb.cnf.cr--soft-66-100-0.wbo
MSAT (TO)
15
1800.2
900.459
3728531
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_51_pb.cnf.cr--soft-33-100-0.wbo
MSAT (TO)
4
1800.2
900.448
3728538
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900570242--soft-33-100-0.wbo
MSAT (TO)
8
1800.2
900.534
3728558
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-myciel5g-3_wcsp.wbo
MSAT (TO)
17
1800.31
900.317
3728721
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl10_20_pb.cnf.cr--soft-33-100-0.wbo
MSAT (TO)
33
1800.34
900.222
3728516
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-dsjc125-1-4_wcsp.wbo
MSAT (TO)
43
1800.35
900.317
3728706
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900567024--soft-33-100-0.wbo
MSAT (TO)
7
1800.35
900.347
3728554
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_20_pb.cnf.cr--soft-33-100-0.wbo
MSAT (TO)
23
1800.36
900.217
3728519
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-15-10--soft-33-100-0.wbo
MSAT (TO)
2
1800.37
900.222
3728606
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-le450-5a-4_wcsp.wbo
MSAT (TO)
1055
1800.37
900.321
3728719
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-queen5-5-4_wcsp.wbo
MSAT (TO)
12
1800.38
900.323
3728726
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-51-50--soft-66-100-0.wbo
MSAT (TO)
1
1800.39
900.354
3728617
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-myciel5g-5_wcsp.wbo
MSAT (TO)
1
1800.4
900.332
3728723
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900567985--soft-33-100-0.wbo
MSAT (TO)
1
1800.41
900.439
3728557
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-65-60--soft-33-100-0.wbo
MSAT (TO)
1
1800.42
900.334
3728622
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900584219--soft-33-100-0.wbo
MSAT (TO)
1
1800.42
900.366
3728569
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_31_pb.cnf.cr--soft-33-100-0.wbo
MSAT (TO)
3
1800.42
900.322
3728527
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-105-100--soft-66-100-0.wbo
MSAT (TO)
4
1800.42
900.377
3728605
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-le450-5a-2_wcsp.wbo
MSAT (TO)
2679
1800.42
900.328
3728717
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-queen5-5-3_wcsp.wbo
MSAT (TO)
29
1800.43
900.315
3728725
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_45_pb.cnf.cr--soft-33-100-0.wbo
MSAT (TO)
5
1800.44
900.352
3728535
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-65-60--soft-66-100-0.wbo
MSAT (TO)
4
1800.44
900.392
3728623
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_45_pb.cnf.cr--soft-66-100-0.wbo
MSAT (TO)
12
1800.45
900.328
3728533
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-71-70--soft-33-100-0.wbo
MSAT (TO)
1
1800.46
900.373
3728624
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-myciel5g-4_wcsp.wbo
MSAT (TO)
4
1800.46
900.321
3728722
/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.343
3728529
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900581320--soft-33-100-0.wbo
MSAT (TO)
1
1800.49
900.474
3728566
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_50_pb.cnf.cr--soft-66-100-0.wbo
MSAT (TO)
5
1800.49
900.351
3728537
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_30_pb.cnf.cr--soft-33-100-0.wbo
MSAT (TO)
13
1800.52
900.32
3728525
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-75-70--soft-66-100-0.wbo
MSAT (TO)
1
1800.53
900.422
3728627
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_60_pb.cnf.cr--soft-66-100-0.wbo
MSAT (TO)
22
1800.54
900.359
3728542
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-61-60--soft-66-100-0.wbo
MSAT (TO)
1
1800.56
900.376
3728621
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900576151--soft-33-100-0.wbo
MSAT (TO)
1
1800.56
900.405
3728564
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-105-100--soft-33-100-0.wbo
MSAT (TO)
3
1800.57
900.37
3728604
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-31-30--soft-33-100-0.wbo
MSAT (TO)
1
1800.57
900.319
3728610
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900556231--soft-33-100-0.wbo
MSAT (TO)
1
1800.57
900.448
3728549
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-101-100--soft-66-100-0.wbo
MSAT (TO)
1
1800.59
900.433
3728603
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-75-70--soft-33-100-0.wbo
MSAT (TO)
6
1800.61
900.363
3728626
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_36_pb.cnf.cr--soft-66-100-0.wbo
MSAT (TO)
2
1800.64
900.463
3728530
Category "only soft constraints, small integers, linear constraints" (SOFT-SMALLINT-LIN)
Solver found the best solution (71 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-2.ucl--soft-0-100-0.wbo
OPTIMUM
2
0.001998
0.013135
3728487
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-floppy1-4.ucl--soft-0-100-0.wbo
OPTIMUM
18
0.001998
0.00654502
3728489
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-elf.rf6.ucl--soft-0-100-0.wbo
OPTIMUM
2
0.001999
0.00621599
3728496
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-floppy1-3.ucl--soft-0-100-0.wbo
OPTIMUM
4
0.002999
0.0121009
3728488
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-44s.smv--soft-0-100-0.wbo
OPTIMUM
2
0.05499
0.0285481
3728485
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-floppy1-6.ucl--soft-0-100-0.wbo
OPTIMUM
1
0.066989
0.029933
3728490
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-elf.rf7.ucl--soft-0-100-0.wbo
OPTIMUM
1
0.071988
0.051905
3728497
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-37s.smv--soft-0-100-0.wbo
OPTIMUM
1
0.111982
0.0724111
3728483
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-floppy1-7.ucl--soft-0-100-0.wbo
OPTIMUM
1
0.129979
0.083631
3728491
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-tlan2.ucl--soft-0-100-0.wbo
OPTIMUM
1
0.141977
0.0898569
3728493
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-46s.smv--soft-0-100-0.wbo
OPTIMUM
1
0.145977
0.0934361
3728486
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-cache.inv8.ucl--soft-0-100-0.wbo
OPTIMUM
16
0.162974
0.105371
3728494
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf6.ucl--soft-0-100-0.wbo
OPTIMUM
1
0.18797
0.116998
3728502
/SOFT-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j308_1-unsat--soft-0-100-0.wbo
OPTIMUM
19
0.211966
0.141839
3728510
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.4.accl.ucl--soft-0-100-0.wbo
OPTIMUM
1
0.471927
0.325497
3728501
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-43s.smv--soft-0-100-0.wbo
OPTIMUM
1
0.639902
0.379461
3728484
/SOFT-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j301_4-unsat--soft-0-100-0.wbo
OPTIMUM
8
0.658899
0.429243
3728506
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf7.ucl--soft-0-100-0.wbo
OPTIMUM
1
0.685895
0.458919
3728503
/SOFT-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j3046_4-unsat--soft-0-100-0.wbo
OPTIMUM
1
0.747885
0.506408
3728509
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-25s.smv--soft-0-100-0.wbo
OPTIMUM
1
0.812876
0.530278
3728482
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-elf.rf8.ucl--soft-0-100-0.wbo
OPTIMUM
1
0.84887
0.532668
3728498
/SOFT-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j602_7-unsat--soft-0-100-0.wbo
OPTIMUM
1
0.892863
0.589719
3728512
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-floppy1-8.ucl--soft-0-100-0.wbo
OPTIMUM
1
0.905861
0.534222
3728492
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-22s.smv--soft-0-100-0.wbo
OPTIMUM
1
1.12383
0.755548
3728481
/SOFT-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j3041_4-unsat--soft-0-100-0.wbo
OPTIMUM
4
1.54577
0.960134
3728508
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-dlx1c.ucl--soft-0-100-0.wbo
OPTIMUM
1
1.59276
1.13005
3728495
/SOFT-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j309_10-unsat--soft-0-100-0.wbo
OPTIMUM
1
1.82872
1.18516
3728511
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf8.ucl--soft-0-100-0.wbo
OPTIMUM
1
2.22166
1.28049
3728504
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.2.accl.ucl--soft-0-100-0.wbo
OPTIMUM
1
3.99739
2.08062
3728499
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.tag8.ucl--soft-0-100-0.wbo
OPTIMUM
1
5.34219
2.9251
3728505
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.3.accl.ucl--soft-0-100-0.wbo
OPTIMUM
1
19.1111
10.4284
3728500
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111225605--soft-0-100-0.wbo
OPTIMUM
2
28.1387
14.0705
3728866
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111213868--soft-0-100-0.wbo
OPTIMUM
2
29.0386
14.5602
3728858
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111223220--soft-0-100-0.wbo
OPTIMUM
1
31.5072
15.7527
3728863
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110973670--soft-0-100-0.wbo
OPTIMUM
1
32.0281
16.022
3728849
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110977273--soft-0-100-0.wbo
OPTIMUM
1
34.9977
17.5468
3728852
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110969860--soft-0-100-0.wbo
OPTIMUM
1
35.8176
17.958
3728844
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110976935--soft-0-100-0.wbo
OPTIMUM
2
42.0256
21.0241
3728851
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110972154--soft-0-100-0.wbo
OPTIMUM
1
49.38
24.7283
3728847
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111216411--soft-0-100-0.wbo
OPTIMUM
2
49.7254
24.8649
3728859
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110967523--soft-0-100-0.wbo
OPTIMUM
3
49.77
24.9175
3728842
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110972763--soft-0-100-0.wbo
OPTIMUM
1
50.39
25.2361
3728848
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224255--soft-0-100-0.wbo
OPTIMUM
1
51.5352
25.7697
3728864
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110974180--soft-0-100-0.wbo
OPTIMUM
1
53.0279
26.5204
3728850
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111217392--soft-0-100-0.wbo
OPTIMUM
2
53.1949
26.6728
3728860
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111226062--soft-0-100-0.wbo
OPTIMUM
3
53.37
26.7466
3728867
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224451--soft-0-100-0.wbo
OPTIMUM
9
55.36
27.7139
3728865
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111212476--soft-0-100-0.wbo
OPTIMUM
2
62.2835
31.1479
3728856
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110967142--soft-0-100-0.wbo
OPTIMUM
9
63.77
31.9613
3728841
/SOFT-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j3029_8-unsat--soft-0-100-0.wbo
OPTIMUM
2
66.7509
34.5913
3728507
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111222539--soft-0-100-0.wbo
OPTIMUM
2
73.1509
36.5895
3728862
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110978113--soft-0-100-0.wbo
OPTIMUM
9
79.19
39.6657
3728854
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110968561--soft-0-100-0.wbo
OPTIMUM
3
82.3295
41.1735
3728843
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111227012--soft-0-100-0.wbo
OPTIMUM
5
110.54
55.3708
3728868
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110977780--soft-0-100-0.wbo
OPTIMUM
10
124.38
62.3006
3728853
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111228076--soft-0-100-0.wbo
OPTIMUM
3
134.343
67.1686
3728869
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110971363--soft-0-100-0.wbo
OPTIMUM
4
137.16
68.6895
3728846
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110978334--soft-0-100-0.wbo
OPTIMUM
9
140.13
70.168
3728855
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218024--soft-0-100-0.wbo
OPTIMUM
10
159.76
79.916
3728861
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110970631--soft-0-100-0.wbo
OPTIMUM
16
166.177
83.0928
3728845
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111213670--soft-0-100-0.wbo
OPTIMUM
10
208.178
104.095
3728857
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110966483--soft-0-100-0.wbo
OPTIMUM
19
331.3
165.779
3728840
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900551347--soft-0-100-0.wbo
OPTIMUM
2
731.839
366.048
3728815
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900566157--soft-0-100-0.wbo
OPTIMUM
1
868.723
434.61
3728826
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900544484--soft-0-100-0.wbo
OPTIMUM
1
1079.14
539.663
3728810
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900568186--soft-0-100-0.wbo
OPTIMUM
3
1084.66
542.463
3728828
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900562192--soft-0-100-0.wbo
OPTIMUM
1
1221
610.842
3728823
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900564281--soft-0-100-0.wbo
OPTIMUM
2
1384.76
692.62
3728824
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-11-10--soft-0-100-0.wbo
OPTIMUM
1
1567.93
783.974
3728872
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900554072--soft-0-100-0.wbo
OPTIMUM
1
1579.08
789.735
3728818
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900670167--soft-0-100-0.wbo
OPTIMUM
1
1756.07
878.391
3728838
Solver timed out but found at least a solution (62 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-105-100--soft-0-100-0.wbo
MSAT (TO)
1
1800.01
900.362
3728871
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900550006--soft-0-100-0.wbo
MSAT (TO)
1
1800.01
900.424
3728813
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900565534--soft-0-100-0.wbo
MSAT (TO)
1
1800.02
900.414
3728825
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900550720--soft-0-100-0.wbo
MSAT (TO)
1
1800.02
900.495
3728814
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900584106--soft-0-100-0.wbo
MSAT (TO)
7
1800.03
900.394
3728835
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900567985--soft-0-100-0.wbo
MSAT (TO)
1
1800.04
900.375
3728827
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl10_15_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
6
1800.04
900.219
3728790
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-65-60--soft-0-100-0.wbo
MSAT (TO)
1
1800.04
900.343
3728883
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_50_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
6
1800.04
900.329
3728806
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_30_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
9
1800.05
900.219
3728797
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900571132--soft-0-100-0.wbo
MSAT (TO)
1
1800.05
900.415
3728832
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_16_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
8
1800.05
900.227
3728792
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900577940--soft-0-100-0.wbo
MSAT (TO)
1
1800.05
900.424
3728833
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-45-40--soft-0-100-0.wbo
MSAT (TO)
3
1800.05
900.319
3728879
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_60_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
3
1800.06
900.425
3728809
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-35-30--soft-0-100-0.wbo
MSAT (TO)
3
1800.06
900.326
3728877
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_40_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
8
1800.06
900.332
3728802
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900569834--soft-0-100-0.wbo
MSAT (TO)
5
1800.06
900.509
3728830
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_21_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
2
1800.07
900.214
3728795
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900545610--soft-0-100-0.wbo
MSAT (TO)
1
1800.07
900.425
3728811
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-55-50--soft-0-100-0.wbo
MSAT (TO)
2
1800.07
900.319
3728881
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-75-70--soft-0-100-0.wbo
MSAT (TO)
1
1800.09
900.436
3728476
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_41_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
5
1800.1
900.339
3728804
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_31_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
5
1800.11
900.326
3728798
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900552288--soft-0-100-0.wbo
MSAT (TO)
1
1800.12
900.403
3728816
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900548667--soft-0-100-0.wbo
MSAT (TO)
1
1800.12
900.491
3728812
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900669797--soft-0-100-0.wbo
MSAT (TO)
1
1800.12
900.406
3728837
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_55_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
6
1800.14
900.44
3728808
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900558739--soft-0-100-0.wbo
MSAT (TO)
1
1800.14
900.511
3728822
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-85-80--soft-0-100-0.wbo
MSAT (TO)
1
1800.15
900.46
3728478
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900581320--soft-0-100-0.wbo
MSAT (TO)
1
1800.16
900.525
3728834
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900568706--soft-0-100-0.wbo
MSAT (TO)
1
1800.16
900.452
3728829
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_40_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
10
1800.17
900.336
3728800
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-31-30--soft-0-100-0.wbo
MSAT (TO)
1
1800.18
900.328
3728876
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_36_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
5
1800.18
900.336
3728801
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-91-90--soft-0-100-0.wbo
MSAT (TO)
1
1800.19
900.458
3728479
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-51-50--soft-0-100-0.wbo
MSAT (TO)
1
1800.2
900.452
3728880
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-41-40--soft-0-100-0.wbo
MSAT (TO)
1
1800.29
900.321
3728878
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_25_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
10
1800.35
900.217
3728794
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_25_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
10
1800.36
900.216
3728796
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_20_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
17
1800.37
900.216
3728793
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-21-20--soft-0-100-0.wbo
MSAT (TO)
1
1800.38
900.217
3728874
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-15-10--soft-0-100-0.wbo
MSAT (TO)
2
1800.39
900.219
3728873
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_45_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
10
1800.4
900.331
3728803
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl10_11_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
9
1800.41
900.215
3728789
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900552735--soft-0-100-0.wbo
MSAT (TO)
5
1800.43
900.412
3728817
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl10_20_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
7
1800.43
900.22
3728791
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900556231--soft-0-100-0.wbo
MSAT (TO)
1
1800.45
900.429
3728819
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-71-70--soft-0-100-0.wbo
MSAT (TO)
1
1800.45
900.349
3728884
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900670234--soft-0-100-0.wbo
MSAT (TO)
1
1800.46
900.381
3728839
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-25-20--soft-0-100-0.wbo
MSAT (TO)
4
1800.47
900.323
3728875
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900557574--soft-0-100-0.wbo
MSAT (TO)
6
1800.48
900.489
3728820
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_45_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
4
1800.48
900.352
3728805
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900570242--soft-0-100-0.wbo
MSAT (TO)
5
1800.51
900.388
3728831
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-101-100--soft-0-100-0.wbo
MSAT (TO)
1
1800.52
900.368
3728870
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-61-60--soft-0-100-0.wbo
MSAT (TO)
1
1800.52
900.431
3728882
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-81-80--soft-0-100-0.wbo
MSAT (TO)
1
1800.54
900.46
3728477
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-95-90--soft-0-100-0.wbo
MSAT (TO)
1
1800.55
900.395
3728480
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900557957--soft-0-100-0.wbo
MSAT (TO)
4
1800.55
900.45
3728821
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900667195--soft-0-100-0.wbo
MSAT (TO)
1
1800.56
900.469
3728836
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_51_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
3
1800.57
900.355
3728807
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_35_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
7
1800.58
900.419
3728799