PB'12 competition: WBO track: benchmarks results per solver
Result page for solver clasp
2.0.6-R5325
(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
7.19291
7.20094
3711514
Solver found the best solution (209 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.00649192
3711509
/PARTIAL-SMALLINT-LIN/wcsp/spot5/
normalized-spot5-8_wcsp.wbo
OPTIMUM
2
0.001998
0.00628399
3711602
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois24_ext.wbo
OPTIMUM
1
0.002998
0.00661491
3711549
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-langford-2-4_wcsp.wbo
OPTIMUM
0
0.002998
0.00634593
3711513
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois22_ext.wbo
OPTIMUM
1
0.002998
0.00631496
3711547
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois23_ext.wbo
OPTIMUM
1
0.002998
0.00654289
3711548
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-zebre-ext_wcsp.wbo
OPTIMUM
0
0.002999
0.0063311
3711519
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-4queens_wcsp.wbo
OPTIMUM
0
0.002999
0.00630105
3711508
/PARTIAL-SMALLINT-LIN/wcsp/
pedigree/normalized-sobel_wcsp.wbo
OPTIMUM
0
0.002999
0.00670293
3711599
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-8queens_wcsp.wbo
OPTIMUM
0
0.002999
0.00652112
3711510
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-queen5-5-5_wcsp.wbo
OPTIMUM
0
0.003998
0.0065091
3711541
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois26_ext.wbo
OPTIMUM
1
0.003998
0.00655199
3711551
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-pret60_75_ext.wbo
OPTIMUM
1
0.003998
0.00615388
3711564
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois29_ext.wbo
OPTIMUM
1
0.003998
0.00631111
3711554
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois21_ext.wbo
OPTIMUM
1
0.003998
0.00643499
3711546
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-pret60_25_ext.wbo
OPTIMUM
1
0.003998
0.0068439
3711561
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois20_ext.wbo
OPTIMUM
1
0.003998
0.00660595
3711545
/PARTIAL-SMALLINT-LIN/wcsp/pedigree/
normalized-connell_wcsp.wbo
OPTIMUM
1
0.003998
0.00692203
3711597
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-geom40-6_wcsp.wbo
OPTIMUM
0
0.003999
0.0063949
3711530
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-geom30a-6_wcsp.wbo
OPTIMUM
0
0.003999
0.00645606
3711525
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois27_ext.wbo
OPTIMUM
1
0.004998
0.00644497
3711552
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-geom30a-5_wcsp.wbo
OPTIMUM
1
0.004998
0.00693496
3711524
/PARTIAL-SMALLINT-LIN/wcsp/pedigree/
normalized-simple_wcsp.wbo
OPTIMUM
1
0.004998
0.00683399
3711598
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois25_ext.wbo
OPTIMUM
1
0.004998
0.00625896
3711550
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-pret60_40_ext.wbo
OPTIMUM
1
0.004998
0.00632895
3711562
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois30_ext.wbo
OPTIMUM
1
0.004998
0.00644104
3711555
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois28_ext.wbo
OPTIMUM
1
0.004998
0.00636597
3711553
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-geom40-5_wcsp.wbo
OPTIMUM
1
0.004998
0.006174
3711529
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh220_wcsp.wbo
OPTIMUM
0
0.004998
0.0061639
3711590
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-3.ucl--soft-66-100-0.wbo
OPTIMUM
1
0.004999
0.00665806
3711454
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh07_wcsp.wbo
OPTIMUM
0
0.005998
0.00620097
3711570
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh210_wcsp.wbo
OPTIMUM
0
0.005998
0.00650503
3711583
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-pret60_60_ext.wbo
OPTIMUM
1
0.005998
0.00641898
3711563
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-myciel5g-6_wcsp.wbo
OPTIMUM
0
0.005998
0.00686212
3711538
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh205_wcsp.wbo
OPTIMUM
0
0.005999
0.00728395
3711581
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-8wqueens_wcsp.wbo
OPTIMUM
2
0.006998
0.00767095
3711511
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois50_ext.wbo
OPTIMUM
1
0.006998
0.00793399
3711556
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh01_wcsp.wbo
OPTIMUM
0
0.006998
0.00647497
3711567
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-3.ucl--soft-33-100-0.wbo
OPTIMUM
8
0.007998
0.00634598
3711453
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh218_wcsp.wbo
OPTIMUM
0
0.008998
0.008722
3711589
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-warehouse0_wcsp.wbo
OPTIMUM
328
0.008998
0.0105209
3711517
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh10_wcsp.wbo
OPTIMUM
85
0.008998
0.00843689
3711572
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-ssa0432-003_ext.wbo
OPTIMUM
1
0.008998
0.00867395
3711565
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-2.ucl--soft-66-100-0.wbo
OPTIMUM
1
0.009997
0.012261
3711452
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-pret150_75_ext.wbo
OPTIMUM
1
0.009997
0.0107509
3711560
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-2.ucl--soft-33-100-0.wbo
OPTIMUM
1
0.009998
0.0137841
3711451
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh215_wcsp.wbo
OPTIMUM
88
0.010997
0.01204
3711587
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh217_wcsp.wbo
OPTIMUM
0
0.011997
0.0150919
3711588
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh203_wcsp.wbo
OPTIMUM
39
0.011997
0.012832
3711580
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh208_wcsp.wbo
OPTIMUM
79
0.012997
0.0144679
3711582
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh214_wcsp.wbo
OPTIMUM
75
0.013997
0.0161881
3711586
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh04_wcsp.wbo
OPTIMUM
95
0.013997
0.0169371
3711568
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh13_wcsp.wbo
OPTIMUM
109
0.015996
0.01739
3711574
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-pret150_25_ext.wbo
OPTIMUM
1
0.015996
0.0171469
3711557
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-pret150_40_ext.wbo
OPTIMUM
1
0.015996
0.018666
3711558
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh212_wcsp.wbo
OPTIMUM
0
0.016996
0.016762
3711585
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh211_wcsp.wbo
OPTIMUM
259
0.016996
0.018233
3711584
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh306_wcsp.wbo
OPTIMUM
16
0.016996
0.0187671
3711593
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois100_ext.wbo
OPTIMUM
1
0.016997
0.0187311
3711544
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh19_wcsp.wbo
OPTIMUM
166
0.019996
0.021267
3711579
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-bf2670-001_ext.wbo
OPTIMUM
1
0.019996
0.020772
3711543
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh14_wcsp.wbo
OPTIMUM
101
0.020996
0.019553
3711575
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh06_wcsp.wbo
OPTIMUM
99
0.021996
0.022247
3711569
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-dsjc125-1-5_wcsp.wbo
OPTIMUM
0
0.022996
0.0243381
3711521
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-37s.smv--soft-33-100-0.wbo
OPTIMUM
1
0.027995
0.029051
3711449
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j3046_4-unsat--soft-66-100-0.wbo
OPTIMUM
2
0.030994
0.0314641
3711483
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-ssa2670-141_ext.wbo
OPTIMUM
1
0.030994
0.0302549
3711566
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j301_4-unsat--soft-66-100-0.wbo
OPTIMUM
21
0.030995
0.0311929
3711478
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j301_4-unsat--soft-33-100-0.wbo
OPTIMUM
9
0.032994
0.033613
3711477
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-pret150_60_ext.wbo
OPTIMUM
1
0.034993
0.037083
3711559
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j308_1-unsat--soft-33-100-0.wbo
OPTIMUM
5
0.034993
0.0368849
3711484
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j3046_4-unsat--soft-33-100-0.wbo
OPTIMUM
2
0.045992
0.04662
3711482
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j603_2-unsat--soft-66-100-0.wbo
OPTIMUM
31
0.046992
0.048132
3711495
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh11_wcsp.wbo
OPTIMUM
172
0.046992
0.0480889
3711573
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh16_wcsp.wbo
OPTIMUM
6
0.046992
0.0480249
3711577
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j602_7-unsat--soft-66-100-0.wbo
OPTIMUM
3
0.049991
0.051575
3711491
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf6.ucl--soft-33-100-0.wbo
OPTIMUM
1
0.051991
0.053234
3711472
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh302_wcsp.wbo
OPTIMUM
395
0.051992
0.0532141
3711591
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j602_7-unsat--soft-33-100-0.wbo
OPTIMUM
6
0.052991
0.0545909
3711490
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-donald_wcsp.wbo
OPTIMUM
0
0.055991
0.056686
3711512
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/
normalized-j907_8-unsat--soft-66-100-0.wbo
OPTIMUM
14
0.05699
0.0574999
3711506
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j6027_4-unsat--soft-33-100-0.wbo
OPTIMUM
22
0.05899
0.060563
3711488
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j6027_4-unsat--soft-66-100-0.wbo
OPTIMUM
24
0.060989
0.0619239
3711489
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh309_wcsp.wbo
OPTIMUM
276
0.06199
0.0623281
3711595
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j6010_2-unsat--soft-33-100-0.wbo
OPTIMUM
6
0.065989
0.0675261
3711486
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j6010_2-unsat--soft-66-100-0.wbo
OPTIMUM
12
0.066989
0.0685249
3711487
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-16wqueens_wcsp.wbo
OPTIMUM
2
0.067988
0.069682
3711507
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j603_2-unsat--soft-33-100-0.wbo
OPTIMUM
6
0.068988
0.0714659
3711494
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/
normalized-j903_10-unsat--soft-66-100-0.wbo
OPTIMUM
4
0.069989
0.070885
3711505
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-geom40-4_wcsp.wbo
OPTIMUM
3
0.072988
0.0741119
3711528
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j6033_2-unsat--soft-66-100-0.wbo
OPTIMUM
51
0.073987
0.0757199
3711493
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/
normalized-j9028_2-unsat--soft-66-100-0.wbo
OPTIMUM
20
0.077987
0.079269
3711503
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh18_wcsp.wbo
OPTIMUM
130
0.077987
0.0796351
3711578
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/
normalized-j9012_2-unsat--soft-66-100-0.wbo
OPTIMUM
54
0.078987
0.0799699
3711500
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-6.ucl--soft-66-100-0.wbo
OPTIMUM
1
0.078987
0.0855779
3711455
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j606_1-unsat--soft-33-100-0.wbo
OPTIMUM
3
0.079987
0.0820519
3711499
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/
normalized-j9039_3-unsat--soft-66-100-0.wbo
OPTIMUM
42
0.083986
0.085695
3711504
/PARTIAL-SMALLINT-LIN/wcsp/
academics/normalized-send_wcsp.wbo
OPTIMUM
0
0.084986
0.0861599
3711516
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh307_wcsp.wbo
OPTIMUM
540
0.087986
0.08852
3711594
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-46s.smv--soft-33-100-0.wbo
OPTIMUM
1
0.090985
0.09166
3711450
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/
normalized-j9015_10-unsat--soft-66-100-0.wbo
OPTIMUM
29
0.091985
0.0939789
3711502
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh15_wcsp.wbo
OPTIMUM
206
0.100984
0.101286
3711576
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/
normalized-j9014_1-unsat--soft-66-100-0.wbo
OPTIMUM
6
0.110982
0.111714
3711501
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh09_wcsp.wbo
OPTIMUM
333
0.117981
0.118442
3711571
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j3041_4-unsat--soft-66-100-0.wbo
OPTIMUM
5
0.131979
0.133615
3711481
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-cache.inv10.ucl--soft-66-100-0.wbo
OPTIMUM
3
0.144977
0.147687
3711463
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-25s.smv--soft-33-100-0.wbo
OPTIMUM
2
0.154976
0.155764
3711448
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j6030_9-unsat--soft-66-100-0.wbo
OPTIMUM
8
0.159975
0.162809
3711492
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-zebra_wcsp.wbo
OPTIMUM
0
0.174973
0.176189
3711518
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh310_wcsp.wbo
OPTIMUM
463
0.201968
0.203388
3711596
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-langford-3-9_wcsp.wbo
OPTIMUM
0
0.261959
0.262257
3711515
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-le450-5a-5_wcsp.wbo
OPTIMUM
0
0.282956
0.28425
3711534
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-elf.rf8.ucl--soft-33-100-0.wbo
OPTIMUM
1
0.302953
0.304593
3711467
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.4.accl.ucl--soft-33-100-0.wbo
OPTIMUM
1
0.371942
0.373453
3711471
/PARTIAL-SMALLINT-LIN/wcsp/spot5/
normalized-spot5-54_wcsp.wbo
OPTIMUM
37
0.445931
0.448067
3711601
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-tlan2.ucl--soft-66-100-0.wbo
OPTIMUM
2
0.543916
0.546277
3711461
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh305_wcsp.wbo
OPTIMUM
742
0.554915
0.555438
3711592
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-dlx1c.ucl--soft-33-100-0.wbo
OPTIMUM
1
0.634903
0.63611
3711466
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-dlx1c.rwmem1.ucl--soft-33-100-0.wbo
OPTIMUM
1
0.6539
0.654749
3711465
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf8.ucl--soft-33-100-0.wbo
OPTIMUM
1
0.696893
0.698738
3711473
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-dlx1c.rwmem.ucl--soft-66-100-0.wbo
OPTIMUM
1
0.701893
0.70316
3711464
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-22s.smv--soft-33-100-0.wbo
OPTIMUM
1
0.884864
0.885883
3711447
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110966483--soft-33-100-0.wbo
OPTIMUM
1
1.14682
1.14841
3711387
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-tlan2.ucl--soft-33-100-0.wbo
OPTIMUM
1
1.19182
1.19323
3711460
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf9.ucl--soft-66-100-0.wbo
OPTIMUM
1
2.21866
2.21948
3711474
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218024--soft-66-100-0.wbo
OPTIMUM
80
2.73858
2.74101
3711401
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110973364--soft-33-100-0.wbo
OPTIMUM
2
2.95255
2.95402
3711394
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-geom30a-4_wcsp.wbo
OPTIMUM
4
3.10753
3.10945
3711523
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111212272--soft-33-100-0.wbo
OPTIMUM
2
3.21451
3.21616
3711397
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.2.accl.ucl--soft-33-100-0.wbo
OPTIMUM
1
3.22951
3.23147
3711469
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110970444--soft-66-100-0.wbo
OPTIMUM
80
3.40248
3.40693
3711392
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111227012--soft-66-100-0.wbo
OPTIMUM
49
3.50047
3.50138
3711415
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-elf.rf9.ucl--soft-66-100-0.wbo
OPTIMUM
1
3.75243
3.755
3711468
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111220546--soft-33-100-0.wbo
OPTIMUM
2
3.82142
3.82309
3711404
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111226680--soft-66-100-0.wbo
OPTIMUM
66
4.00239
4.00514
3711414
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111225605--soft-66-100-0.wbo
OPTIMUM
17
4.06938
4.07115
3711412
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110967142--soft-33-100-0.wbo
OPTIMUM
2
4.31834
4.31982
3711388
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111220019--soft-33-100-0.wbo
OPTIMUM
2
4.72228
4.72391
3711403
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111220767--soft-66-100-0.wbo
OPTIMUM
80
5.65214
5.65706
3711406
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111213868--soft-66-100-0.wbo
OPTIMUM
14
6.05408
6.05551
3711398
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110977780--soft-66-100-0.wbo
OPTIMUM
80
6.24305
6.24388
3711396
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111223004--soft-33-100-0.wbo
OPTIMUM
2
6.29151
3.20301
3711409
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.3.accl.ucl--soft-33-100-0.wbo
OPTIMUM
1
8.59269
8.59689
3711470
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111223004--soft-66-100-0.wbo
OPTIMUM
19
8.60169
8.6037
3711410
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j605_1-unsat--soft-66-100-0.wbo
OPTIMUM
1
9.1936
9.19656
3711497
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110968561--soft-33-100-0.wbo
OPTIMUM
8
10.3724
10.3741
3711389
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j309_10-unsat--soft-66-100-0.wbo
OPTIMUM
1
11.2493
11.2521
3711485
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-7.ucl--soft-66-100-0.wbo
OPTIMUM
4
11.3503
11.3517
3711457
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111226368--soft-33-100-0.wbo
OPTIMUM
15
11.5272
11.5292
3711413
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111227861--soft-33-100-0.wbo
OPTIMUM
11
11.8362
11.8403
3711416
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110975607--soft-33-100-0.wbo
OPTIMUM
24
11.8582
11.8615
3711395
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900552423--soft-33-100-0.wbo
OPTIMUM
7
12.1422
12.1465
3711361
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-7.ucl--soft-33-100-0.wbo
OPTIMUM
1
12.3251
12.3278
3711456
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111222539--soft-33-100-0.wbo
OPTIMUM
9
12.7451
12.7475
3711408
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900567135--soft-66-100-0.wbo
OPTIMUM
2
13.345
13.3487
3711370
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-8.ucl--soft-66-100-0.wbo
OPTIMUM
4
14.1948
14.2047
3711459
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111222257--soft-33-100-0.wbo
OPTIMUM
8
14.4278
14.4322
3711407
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-8.ucl--soft-33-100-0.wbo
OPTIMUM
3
14.6878
14.6908
3711458
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218757--soft-66-100-0.wbo
OPTIMUM
80
14.8517
14.8547
3711402
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900575442--soft-66-100-0.wbo
OPTIMUM
1
15.1687
15.1726
3711377
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111217555--soft-33-100-0.wbo
OPTIMUM
8
16.2685
16.273
3711399
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224059--soft-33-100-0.wbo
OPTIMUM
15
16.6855
16.6895
3711411
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900567135--soft-33-100-0.wbo
OPTIMUM
1
19.0901
19.0962
3711369
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900670675--soft-33-100-0.wbo
OPTIMUM
2
19.3271
19.3349
3711386
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900558106--soft-66-100-0.wbo
OPTIMUM
13
21.5457
21.5542
3711365
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900544484--soft-33-100-0.wbo
OPTIMUM
1
21.8427
21.8468
3711357
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110969577--soft-33-100-0.wbo
OPTIMUM
12
22.3106
22.316
3711390
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900581320--soft-66-100-0.wbo
OPTIMUM
1
22.8205
22.8263
3711381
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900554420--soft-33-100-0.wbo
OPTIMUM
2
24.2723
24.2812
3711362
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.tag10.ucl--soft-33-100-0.wbo
OPTIMUM
1
24.3423
24.3531
3711475
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110971363--soft-33-100-0.wbo
OPTIMUM
25
25.1732
25.1782
3711393
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900669797--soft-66-100-0.wbo
OPTIMUM
1
26.273
26.2796
3711384
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110969577--soft-66-100-0.wbo
OPTIMUM
58
27.2609
27.2674
3711391
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-15-10--soft-66-100-0.wbo
OPTIMUM
35
28.3477
28.3617
3711421
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111220767--soft-33-100-0.wbo
OPTIMUM
28
29.4285
29.4353
3711405
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900556231--soft-33-100-0.wbo
OPTIMUM
1
31.1803
31.1893
3711363
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900670167--soft-33-100-0.wbo
OPTIMUM
2
31.4492
31.4585
3711385
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-tlan3.ucl--soft-66-100-0.wbo
OPTIMUM
4
31.9991
32.0045
3711462
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900567024--soft-33-100-0.wbo
OPTIMUM
6
32.1441
32.1595
3711368
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900563250--soft-66-100-0.wbo
OPTIMUM
1
32.1531
32.1583
3711367
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900571132--soft-66-100-0.wbo
OPTIMUM
1
34.7237
34.7319
3711375
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900582300--soft-66-100-0.wbo
OPTIMUM
1
35.3196
35.3262
3711382
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j3029_8-unsat--soft-66-100-0.wbo
OPTIMUM
2
36.7724
36.7827
3711480
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-myciel5g-5_wcsp.wbo
OPTIMUM
1
37.5703
37.5856
3711537
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218024--soft-33-100-0.wbo
OPTIMUM
12
38.0122
38.0188
3711400
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900571132--soft-33-100-0.wbo
OPTIMUM
1
40.1519
40.1627
3711374
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900573901--soft-33-100-0.wbo
OPTIMUM
1
40.5528
40.567
3711376
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-15-10--soft-33-100-0.wbo
OPTIMUM
2
41.1447
41.1516
3711420
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900584219--soft-33-100-0.wbo
OPTIMUM
1
44.2253
44.2346
3711383
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900552288--soft-66-100-0.wbo
OPTIMUM
2
44.8542
44.8694
3711360
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-geom40-3_wcsp.wbo
OPTIMUM
7
55.8585
55.8685
3711527
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl10_11_pb.cnf.cr--soft-33-100-0.wbo
OPTIMUM
3
60.8947
60.9053
3711327
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900550006--soft-66-100-0.wbo
OPTIMUM
1
66.1709
66.1833
3711359
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900581320--soft-33-100-0.wbo
OPTIMUM
1
66.6799
66.6988
3711380
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900570242--soft-66-100-0.wbo
OPTIMUM
16
68.3836
68.3994
3711373
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900547389--soft-33-100-0.wbo
OPTIMUM
2
70.1423
70.1546
3711358
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900576927--soft-33-100-0.wbo
OPTIMUM
1
75.3375
75.3584
3711379
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900576151--soft-33-100-0.wbo
OPTIMUM
1
90.7232
90.745
3711378
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl10_11_pb.cnf.cr--soft-66-100-0.wbo
OPTIMUM
15
94.5346
94.5512
3711328
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl10_15_pb.cnf.cr--soft-33-100-0.wbo
OPTIMUM
21
95.8124
95.8312
3711329
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.tag12.ucl--soft-66-100-0.wbo
OPTIMUM
1
96.9883
97.0348
3711476
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900557362--soft-33-100-0.wbo
OPTIMUM
5
100.799
100.821
3711364
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900570242--soft-33-100-0.wbo
OPTIMUM
8
118.031
118.06
3711372
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl10_20_pb.cnf.cr--soft-33-100-0.wbo
OPTIMUM
20
126.289
126.31
3711330
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900567985--soft-33-100-0.wbo
OPTIMUM
1
167.251
167.284
3711371
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900561288--soft-33-100-0.wbo
OPTIMUM
1
172.719
172.751
3711366
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl10_20_pb.cnf.cr--soft-66-100-0.wbo
OPTIMUM
96
257.268
257.309
3711331
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-geom40-2_wcsp.wbo
OPTIMUM
22
1029.98
1030.14
3711526
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-geom30a-3_wcsp.wbo
OPTIMUM
11
1320.3
1320.5
3711522
Solver timed out but found at least a solution (66 runs)
[Show/Hide]
Benchmark Name
Answer
cost of falsified constraints
CPU time
Wall clock time
TraceID
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_51_pb.cnf.cr--soft-33-100-0.wbo
MSAT (TO)
3364
1800.01
1800.31
3711352
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_55_pb.cnf.cr--soft-33-100-0.wbo
MSAT (TO)
3730
1800.02
1800.31
3711354
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-myciel5g-3_wcsp.wbo
MSAT (TO)
18
1800.02
1800.31
3711535
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-myciel5g-4_wcsp.wbo
MSAT (TO)
4
1800.02
1800.31
3711536
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-95-90--soft-66-100-0.wbo
MSAT (TO)
1490
1800.02
1800.31
3711446
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_41_pb.cnf.cr--soft-33-100-0.wbo
MSAT (TO)
2689
1800.02
1800.31
3711348
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-bf0432-007_ext.wbo
MSAT (TO)
61
1800.02
1800.31
3711542
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_21_pb.cnf.cr--soft-33-100-0.wbo
MSAT (TO)
864
1800.02
1800.31
3711336
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_45_pb.cnf.cr--soft-66-100-0.wbo
MSAT (TO)
1358
1800.02
1800.31
3711347
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_25_pb.cnf.cr--soft-33-100-0.wbo
MSAT (TO)
1404
1800.02
1800.31
3711338
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-51-50--soft-66-100-0.wbo
MSAT (TO)
619
1800.02
1800.31
3711431
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-65-60--soft-66-100-0.wbo
MSAT (TO)
743
1800.02
1800.31
3711437
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-71-70--soft-66-100-0.wbo
MSAT (TO)
959
1800.02
1800.31
3711439
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-le450-5a-4_wcsp.wbo
MSAT (TO)
1188
1800.02
1800.41
3711533
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-61-60--soft-66-100-0.wbo
MSAT (TO)
780
1800.02
1800.31
3711435
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_40_pb.cnf.cr--soft-66-100-0.wbo
MSAT (TO)
1009
1800.02
1800.31
3711345
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-51-50--soft-33-100-0.wbo
MSAT (TO)
1775
1800.02
1800.31
3711430
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-31-30--soft-33-100-0.wbo
MSAT (TO)
902
1800.02
1800.31
3711424
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_50_pb.cnf.cr--soft-33-100-0.wbo
MSAT (TO)
3359
1800.02
1800.31
3711350
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_35_pb.cnf.cr--soft-66-100-0.wbo
MSAT (TO)
837
1800.02
1800.31
3711343
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-31-30--soft-66-100-0.wbo
MSAT (TO)
1
1800.03
1800.31
3711425
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-61-60--soft-33-100-0.wbo
MSAT (TO)
1613
1800.03
1800.31
3711434
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_25_pb.cnf.cr--soft-33-100-0.wbo
MSAT (TO)
1423
1800.03
1800.31
3711335
/PARTIAL-SMALLINT-LIN/wcsp/spot5/
normalized-spot5-404_wcsp.wbo
MSAT (TO)
114
1800.03
1800.31
3711600
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j605_1-unsat--soft-33-100-0.wbo
MSAT (TO)
4383
1800.03
1800.31
3711496
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-21-20--soft-66-100-0.wbo
MSAT (TO)
23
1800.03
1800.31
3711422
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_20_pb.cnf.cr--soft-33-100-0.wbo
MSAT (TO)
809
1800.03
1800.31
3711333
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_36_pb.cnf.cr--soft-66-100-0.wbo
MSAT (TO)
972
1800.03
1800.31
3711344
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_31_pb.cnf.cr--soft-33-100-0.wbo
MSAT (TO)
1700
1800.03
1800.31
3711341
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-35-30--soft-33-100-0.wbo
MSAT (TO)
1108
1800.03
1800.31
3711426
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_30_pb.cnf.cr--soft-66-100-0.wbo
MSAT (TO)
676
1800.03
1800.31
3711340
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-queen5-5-3_wcsp.wbo
MSAT (TO)
29
1800.03
1800.31
3711539
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_16_pb.cnf.cr--soft-66-100-0.wbo
MSAT (TO)
239
1800.03
1800.31
3711332
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_51_pb.cnf.cr--soft-66-100-0.wbo
MSAT (TO)
1742
1800.03
1800.31
3711353
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_21_pb.cnf.cr--soft-66-100-0.wbo
MSAT (TO)
411
1800.03
1800.31
3711337
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_50_pb.cnf.cr--soft-66-100-0.wbo
MSAT (TO)
1433
1800.03
1800.31
3711351
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_45_pb.cnf.cr--soft-33-100-0.wbo
MSAT (TO)
2825
1800.03
1800.31
3711349
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_30_pb.cnf.cr--soft-33-100-0.wbo
MSAT (TO)
1850
1800.03
1800.31
3711339
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_20_pb.cnf.cr--soft-66-100-0.wbo
MSAT (TO)
338
1800.03
1800.31
3711334
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_60_pb.cnf.cr--soft-66-100-0.wbo
MSAT (TO)
2183
1800.03
1800.31
3711356
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-41-40--soft-66-100-0.wbo
MSAT (TO)
404
1800.03
1800.31
3711428
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_31_pb.cnf.cr--soft-66-100-0.wbo
MSAT (TO)
824
1800.03
1800.31
3711342
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-55-50--soft-33-100-0.wbo
MSAT (TO)
1731
1800.03
1800.31
3711432
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-75-70--soft-66-100-0.wbo
MSAT (TO)
1099
1800.03
1800.31
3711441
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-41-40--soft-33-100-0.wbo
MSAT (TO)
1353
1800.03
1800.31
3711427
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-queen5-5-4_wcsp.wbo
MSAT (TO)
12
1800.03
1800.31
3711540
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-25-20--soft-33-100-0.wbo
MSAT (TO)
310
1800.03
1800.31
3711423
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-55-50--soft-66-100-0.wbo
MSAT (TO)
718
1800.03
1800.31
3711433
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-105-100--soft-33-100-0.wbo
MSAT (TO)
3553
1800.06
1800.41
3711418
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j605_10-unsat--soft-33-100-0.wbo
MSAT (TO)
58822
1800.07
1800.41
3711498
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-le450-5a-2_wcsp.wbo
MSAT (TO)
2726
1800.07
1800.41
3711531
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j3029_8-unsat--soft-33-100-0.wbo
MSAT (TO)
25163
1800.08
1800.41
3711479
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-95-90--soft-33-100-0.wbo
MSAT (TO)
3452
1800.09
1800.41
3711445
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-81-80--soft-33-100-0.wbo
MSAT (TO)
3039
1800.09
1800.41
3711442
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-le450-5a-3_wcsp.wbo
MSAT (TO)
1741
1800.09
1800.51
3711532
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_45_pb.cnf.cr--soft-33-100-0.wbo
MSAT (TO)
2061
1800.1
1800.41
3711346
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-85-80--soft-66-100-0.wbo
MSAT (TO)
1219
1800.1
1800.41
3711444
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-105-100--soft-66-100-0.wbo
MSAT (TO)
1638
1800.1
1800.41
3711419
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-71-70--soft-33-100-0.wbo
MSAT (TO)
2730
1800.11
1800.41
3711438
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_60_pb.cnf.cr--soft-33-100-0.wbo
MSAT (TO)
3941
1800.11
1800.41
3711355
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-65-60--soft-33-100-0.wbo
MSAT (TO)
2432
1800.11
1800.41
3711436
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-dsjc125-1-4_wcsp.wbo
MSAT (TO)
41
1800.11
1800.41
3711520
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-101-100--soft-66-100-0.wbo
MSAT (TO)
1629
1800.11
1800.41
3711417
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-45-40--soft-66-100-0.wbo
MSAT (TO)
346
1800.11
1800.41
3711429
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-85-80--soft-33-100-0.wbo
MSAT (TO)
3039
1800.12
1800.41
3711443
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-75-70--soft-33-100-0.wbo
MSAT (TO)
2437
1800.12
1800.41
3711440
Category "only soft constraints, small integers, linear constraints" (SOFT-SMALLINT-LIN)
Solver found the best solution (95 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.002998
0.00617803
3711310
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-floppy1-4.ucl--soft-0-100-0.wbo
OPTIMUM
18
0.004998
0.00638102
3711303
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-floppy1-3.ucl--soft-0-100-0.wbo
OPTIMUM
4
0.005999
0.00694291
3711302
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-floppy1-2.ucl--soft-0-100-0.wbo
OPTIMUM
2
0.010998
0.0122341
3711301
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-44s.smv--soft-0-100-0.wbo
OPTIMUM
2
0.017996
0.0184091
3711299
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-37s.smv--soft-0-100-0.wbo
OPTIMUM
1
0.022996
0.0241479
3711297
/SOFT-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j308_1-unsat--soft-0-100-0.wbo
OPTIMUM
19
0.024995
0.0260801
3711324
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-elf.rf7.ucl--soft-0-100-0.wbo
OPTIMUM
1
0.034994
0.035883
3711311
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf6.ucl--soft-0-100-0.wbo
OPTIMUM
1
0.035994
0.042201
3711316
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-cache.inv8.ucl--soft-0-100-0.wbo
OPTIMUM
16
0.036993
0.0365221
3711308
/SOFT-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j301_4-unsat--soft-0-100-0.wbo
OPTIMUM
8
0.041993
0.0428619
3711320
/SOFT-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j3046_4-unsat--soft-0-100-0.wbo
OPTIMUM
1
0.05999
0.061121
3711323
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-floppy1-6.ucl--soft-0-100-0.wbo
OPTIMUM
1
0.065989
0.067013
3711304
/SOFT-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j602_7-unsat--soft-0-100-0.wbo
OPTIMUM
1
0.072988
0.073684
3711326
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-46s.smv--soft-0-100-0.wbo
OPTIMUM
1
0.194969
0.19645
3711300
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-elf.rf8.ucl--soft-0-100-0.wbo
OPTIMUM
1
0.247961
0.250451
3711312
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf7.ucl--soft-0-100-0.wbo
OPTIMUM
1
0.329949
0.331963
3711317
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-tlan2.ucl--soft-0-100-0.wbo
OPTIMUM
1
0.437933
0.4385
3711307
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.4.accl.ucl--soft-0-100-0.wbo
OPTIMUM
1
0.476927
0.480573
3711315
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-22s.smv--soft-0-100-0.wbo
OPTIMUM
1
0.490924
0.492066
3711295
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-25s.smv--soft-0-100-0.wbo
OPTIMUM
1
0.553915
0.554398
3711296
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-dlx1c.ucl--soft-0-100-0.wbo
OPTIMUM
1
0.628904
0.629879
3711309
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-43s.smv--soft-0-100-0.wbo
OPTIMUM
1
0.702892
0.704164
3711298
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf8.ucl--soft-0-100-0.wbo
OPTIMUM
1
1.25281
1.25434
3711318
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224255--soft-0-100-0.wbo
OPTIMUM
1
1.35179
1.35307
3711678
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110974180--soft-0-100-0.wbo
OPTIMUM
1
1.69774
1.69996
3711664
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110972763--soft-0-100-0.wbo
OPTIMUM
1
1.88671
1.88733
3711662
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110977273--soft-0-100-0.wbo
OPTIMUM
1
1.89771
1.89903
3711666
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111223220--soft-0-100-0.wbo
OPTIMUM
1
2.03169
2.03278
3711677
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110976935--soft-0-100-0.wbo
OPTIMUM
2
2.11868
2.12153
3711665
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110973670--soft-0-100-0.wbo
OPTIMUM
1
2.13767
2.13904
3711663
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111217392--soft-0-100-0.wbo
OPTIMUM
2
2.15767
2.15939
3711674
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111222539--soft-0-100-0.wbo
OPTIMUM
2
2.69059
2.69186
3711676
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110969860--soft-0-100-0.wbo
OPTIMUM
1
2.77958
2.78173
3711658
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111225605--soft-0-100-0.wbo
OPTIMUM
2
2.89956
2.89987
3711680
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111216411--soft-0-100-0.wbo
OPTIMUM
2
3.01554
3.01673
3711673
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111226062--soft-0-100-0.wbo
OPTIMUM
3
3.03354
3.03555
3711681
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111212476--soft-0-100-0.wbo
OPTIMUM
2
3.2965
3.29881
3711670
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110968561--soft-0-100-0.wbo
OPTIMUM
3
3.50947
3.50987
3711657
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111213868--soft-0-100-0.wbo
OPTIMUM
2
3.73843
3.74024
3711672
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110967523--soft-0-100-0.wbo
OPTIMUM
3
3.9614
3.96367
3711656
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224451--soft-0-100-0.wbo
OPTIMUM
9
4.04638
4.04927
3711679
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110978334--soft-0-100-0.wbo
OPTIMUM
9
4.18036
4.1818
3711669
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111227012--soft-0-100-0.wbo
OPTIMUM
5
4.42033
4.42247
3711682
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-floppy1-7.ucl--soft-0-100-0.wbo
OPTIMUM
1
4.46432
4.46554
3711305
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110978113--soft-0-100-0.wbo
OPTIMUM
9
4.70128
4.70381
3711668
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111228076--soft-0-100-0.wbo
OPTIMUM
3
4.78127
4.78298
3711683
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110971363--soft-0-100-0.wbo
OPTIMUM
4
5.61015
5.61293
3711660
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.2.accl.ucl--soft-0-100-0.wbo
OPTIMUM
1
5.85511
5.8564
3711313
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110967142--soft-0-100-0.wbo
OPTIMUM
9
6.01908
6.02319
3711655
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110972154--soft-0-100-0.wbo
OPTIMUM
1
6.4935
3.30439
3711661
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.tag8.ucl--soft-0-100-0.wbo
OPTIMUM
1
6.95494
6.95563
3711319
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-floppy1-8.ucl--soft-0-100-0.wbo
OPTIMUM
1
12.1761
12.1789
3711306
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110977780--soft-0-100-0.wbo
OPTIMUM
10
13.127
13.1291
3711667
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110966483--soft-0-100-0.wbo
OPTIMUM
19
15.7186
15.7222
3711654
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111213670--soft-0-100-0.wbo
OPTIMUM
10
19.66
19.6641
3711671
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110970631--soft-0-100-0.wbo
OPTIMUM
16
20.8188
20.8241
3711659
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218024--soft-0-100-0.wbo
OPTIMUM
10
28.4827
28.4876
3711675
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900562192--soft-0-100-0.wbo
OPTIMUM
1
29.2146
29.226
3711637
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900564281--soft-0-100-0.wbo
OPTIMUM
2
33.8738
33.8903
3711638
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900551347--soft-0-100-0.wbo
OPTIMUM
2
35.8046
35.8173
3711629
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-11-10--soft-0-100-0.wbo
OPTIMUM
1
36.9814
36.9882
3711686
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900556231--soft-0-100-0.wbo
OPTIMUM
1
40.6638
40.6712
3711633
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900670167--soft-0-100-0.wbo
OPTIMUM
1
42.6915
42.7
3711652
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900669797--soft-0-100-0.wbo
OPTIMUM
1
44.5782
44.5875
3711651
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900554072--soft-0-100-0.wbo
OPTIMUM
1
46.244
46.2583
3711632
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900544484--soft-0-100-0.wbo
OPTIMUM
1
53.5109
53.5293
3711624
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl10_11_pb.cnf.cr--soft-0-100-0.wbo
OPTIMUM
9
58.5801
58.5905
3711603
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900581320--soft-0-100-0.wbo
OPTIMUM
1
59.008
59.0246
3711648
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900566157--soft-0-100-0.wbo
OPTIMUM
1
61.8366
61.8531
3711640
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl10_15_pb.cnf.cr--soft-0-100-0.wbo
OPTIMUM
6
62.4175
62.4291
3711604
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-15-10--soft-0-100-0.wbo
OPTIMUM
2
66.4929
66.5037
3711687
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900545610--soft-0-100-0.wbo
OPTIMUM
1
75.7385
75.756
3711625
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.3.accl.ucl--soft-0-100-0.wbo
OPTIMUM
1
79.152
79.1919
3711314
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900571132--soft-0-100-0.wbo
OPTIMUM
1
81.8506
81.8735
3711646
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900568186--soft-0-100-0.wbo
OPTIMUM
3
91.6831
91.702
3711642
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900667195--soft-0-100-0.wbo
OPTIMUM
1
97.4522
97.4791
3711650
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900570242--soft-0-100-0.wbo
OPTIMUM
5
98.563
98.6002
3711645
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900557957--soft-0-100-0.wbo
OPTIMUM
3
100.628
100.652
3711635
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900568706--soft-0-100-0.wbo
OPTIMUM
1
100.848
100.874
3711643
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900558739--soft-0-100-0.wbo
OPTIMUM
1
103.087
103.116
3711636
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900565534--soft-0-100-0.wbo
OPTIMUM
1
104.441
104.465
3711639
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900552288--soft-0-100-0.wbo
OPTIMUM
1
107.41
107.433
3711630
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900552735--soft-0-100-0.wbo
OPTIMUM
4
110.225
110.254
3711631
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900550006--soft-0-100-0.wbo
OPTIMUM
1
114.007
114.026
3711627
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900557574--soft-0-100-0.wbo
OPTIMUM
6
117.74
117.78
3711634
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900550720--soft-0-100-0.wbo
OPTIMUM
1
145.472
145.51
3711628
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900569834--soft-0-100-0.wbo
OPTIMUM
4
151.356
151.402
3711644
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900670234--soft-0-100-0.wbo
OPTIMUM
1
167.119
167.154
3711653
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900584106--soft-0-100-0.wbo
OPTIMUM
7
171.284
171.32
3711649
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl10_20_pb.cnf.cr--soft-0-100-0.wbo
OPTIMUM
7
172.396
172.425
3711605
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900577940--soft-0-100-0.wbo
OPTIMUM
1
180.47
180.514
3711647
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900567985--soft-0-100-0.wbo
OPTIMUM
1
197.314
197.36
3711641
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900548667--soft-0-100-0.wbo
OPTIMUM
1
203.553
203.599
3711626
/SOFT-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j3041_4-unsat--soft-0-100-0.wbo
OPTIMUM
4
268.154
268.206
3711322
Solver timed out but found at least a solution (38 runs)
[Show/Hide]
Benchmark Name
Answer
cost of falsified constraints
CPU time
Wall clock time
TraceID
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_45_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
4325
1800.01
1800.31
3711617
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_40_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
3810
1800.02
1800.31
3711614
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-35-30--soft-0-100-0.wbo
MSAT (TO)
1511
1800.02
1800.31
3711691
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-75-70--soft-0-100-0.wbo
MSAT (TO)
3675
1800.02
1800.31
3711290
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-45-40--soft-0-100-0.wbo
MSAT (TO)
2157
1800.02
1800.31
3711693
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-51-50--soft-0-100-0.wbo
MSAT (TO)
2705
1800.02
1800.31
3711694
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_51_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
5028
1800.02
1800.31
3711621
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_36_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
3259
1800.02
1800.31
3711615
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_41_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
3865
1800.02
1800.31
3711618
/SOFT-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j3029_8-unsat--soft-0-100-0.wbo
MSAT (TO)
5369
1800.02
1800.31
3711321
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-21-20--soft-0-100-0.wbo
MSAT (TO)
567
1800.02
1800.31
3711688
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_40_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
3694
1800.02
1800.31
3711616
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_45_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
3943
1800.02
1800.31
3711619
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_25_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
2395
1800.03
1800.31
3711610
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_50_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
5005
1800.03
1800.31
3711620
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-41-40--soft-0-100-0.wbo
MSAT (TO)
2083
1800.03
1800.31
3711692
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_35_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
3077
1800.03
1800.31
3711613
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_20_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
1417
1800.03
1800.31
3711607
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_21_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
1971
1800.03
1800.31
3711609
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_16_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
1152
1800.03
1800.31
3711606
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_25_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
1971
1800.03
1800.31
3711608
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_30_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
2481
1800.03
1800.31
3711611
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_55_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
5429
1800.03
1800.31
3711622
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_31_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
2767
1800.03
1800.31
3711612
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-55-50--soft-0-100-0.wbo
MSAT (TO)
2929
1800.03
1800.31
3711695
/SOFT-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j309_10-unsat--soft-0-100-0.wbo
MSAT (TO)
4822
1800.03
1800.31
3711325
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-25-20--soft-0-100-0.wbo
MSAT (TO)
743
1800.03
1800.31
3711689
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-31-30--soft-0-100-0.wbo
MSAT (TO)
1313
1800.03
1800.31
3711690
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-101-100--soft-0-100-0.wbo
MSAT (TO)
4703
1800.08
1800.41
3711684
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-105-100--soft-0-100-0.wbo
MSAT (TO)
5432
1800.08
1800.41
3711685
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-91-90--soft-0-100-0.wbo
MSAT (TO)
4346
1800.09
1800.41
3711293
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-61-60--soft-0-100-0.wbo
MSAT (TO)
2874
1800.1
1800.41
3711696
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-95-90--soft-0-100-0.wbo
MSAT (TO)
5039
1800.1
1800.41
3711294
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-85-80--soft-0-100-0.wbo
MSAT (TO)
3752
1800.1
1800.41
3711292
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-71-70--soft-0-100-0.wbo
MSAT (TO)
3879
1800.11
1800.41
3711698
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_60_pb.cnf.cr--soft-0-100-0.wbo
MSAT (TO)
6072
1800.11
1800.41
3711623
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-81-80--soft-0-100-0.wbo
MSAT (TO)
4515
1800.11
1800.41
3711291
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-65-60--soft-0-100-0.wbo
MSAT (TO)
3081
1800.11
1800.41
3711697