PB'10 competition: WBO track: benchmarks results per solver
Result page for solver SCIPspx
SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
(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
79.2639
79.2637
2699624
Solver found the best solution (268 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.015997
0.0167551
2700464
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-4wqueens_wcsp.wbo
OPTIMUM
0
0.018997
0.0196909
2699492
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-15-10--soft-66-100-0.wbo
OPTIMUM
35
0.019996
0.0202819
2692481
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-11-10--soft-66-100-0.wbo
OPTIMUM
1
0.022995
0.0228209
2692522
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-11-10--soft-33-100-0.wbo
OPTIMUM
1
0.023995
0.0233141
2692479
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl10_11_pb.cnf.cr--soft-66-100-0.wbo
OPTIMUM
15
0.025995
0.0260429
2692436
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-21-20--soft-66-100-0.wbo
OPTIMUM
1
0.028995
0.028297
2692510
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl10_20_pb.cnf.cr--soft-66-100-0.wbo
OPTIMUM
96
0.029995
0.0305541
2692401
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-4queens_wcsp.wbo
OPTIMUM
0
0.031994
0.03257
2699540
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-21-20--soft-33-100-0.wbo
OPTIMUM
1
0.035993
0.0362421
2692538
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-langford-2-4_wcsp.wbo
OPTIMUM
0
0.036993
0.0369371
2699504
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl10_11_pb.cnf.cr--soft-33-100-0.wbo
OPTIMUM
3
0.039993
0.040551
2692449
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-zebre-ext_wcsp.wbo
OPTIMUM
0
0.040993
0.0413099
2699576
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_16_pb.cnf.cr--soft-33-100-0.wbo
OPTIMUM
3
0.040993
0.041422
2692433
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-15-10--soft-33-100-0.wbo
OPTIMUM
2
0.042992
0.0424181
2692495
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_16_pb.cnf.cr--soft-66-100-0.wbo
OPTIMUM
25
0.043992
0.044417
2692386
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-31-30--soft-66-100-0.wbo
OPTIMUM
1
0.044992
0.045606
2692484
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-8queens_wcsp.wbo
OPTIMUM
0
0.05699
0.056732
2699528
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-31-30--soft-33-100-0.wbo
OPTIMUM
1
0.06199
0.0623089
2692492
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl10_15_pb.cnf.cr--soft-66-100-0.wbo
OPTIMUM
58
0.066989
0.0668701
2692438
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-25-20--soft-33-100-0.wbo
OPTIMUM
7
0.067988
0.067315
2692526
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-41-40--soft-66-100-0.wbo
OPTIMUM
1
0.070988
0.0706739
2692534
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_20_pb.cnf.cr--soft-33-100-0.wbo
OPTIMUM
23
0.072988
0.0727591
2692456
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-8wqueens_wcsp.wbo
OPTIMUM
2
0.079987
0.08036
2699516
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-25-20--soft-66-100-0.wbo
OPTIMUM
7
0.082986
0.083888
2692487
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_25_pb.cnf.cr--soft-66-100-0.wbo
OPTIMUM
19
0.083986
0.0845739
2692416
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-elf.rf6.ucl--soft-66-100-0.wbo
OPTIMUM
9
0.084986
0.084877
2692445
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl10_20_pb.cnf.cr--soft-33-100-0.wbo
OPTIMUM
20
0.089985
0.0904759
2692469
/PARTIAL-SMALLINT-LIN/wcsp/
pedigree/normalized-sobel_wcsp.wbo
OPTIMUM
0
0.089985
0.0914159
2700524
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_21_pb.cnf.cr--soft-33-100-0.wbo
OPTIMUM
6
0.100983
0.101093
2692453
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-41-40--soft-33-100-0.wbo
OPTIMUM
1
0.100984
0.101538
2692541
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_20_pb.cnf.cr--soft-66-100-0.wbo
OPTIMUM
49
0.104983
0.105477
2692437
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl10_15_pb.cnf.cr--soft-33-100-0.wbo
OPTIMUM
21
0.109983
0.110792
2692395
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-35-30--soft-33-100-0.wbo
OPTIMUM
9
0.113982
0.113319
2692477
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-51-50--soft-66-100-0.wbo
OPTIMUM
1
0.116982
0.117046
2692549
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_25_pb.cnf.cr--soft-33-100-0.wbo
OPTIMUM
15
0.12298
0.122573
2692441
/PARTIAL-SMALLINT-LIN/wcsp/pedigree/
normalized-simple_wcsp.wbo
OPTIMUM
1
0.147976
0.148599
2700512
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_31_pb.cnf.cr--soft-66-100-0.wbo
OPTIMUM
3
0.161975
0.161968
2692467
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_25_pb.cnf.cr--soft-33-100-0.wbo
OPTIMUM
17
0.165974
0.169418
2692389
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-61-60--soft-66-100-0.wbo
OPTIMUM
1
0.174972
0.175081
2692520
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_30_pb.cnf.cr--soft-66-100-0.wbo
OPTIMUM
8
0.174972
0.174604
2692475
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_25_pb.cnf.cr--soft-66-100-0.wbo
OPTIMUM
7
0.19097
0.190822
2692444
/PARTIAL-SMALLINT-LIN/wcsp/pedigree/
normalized-connell_wcsp.wbo
OPTIMUM
1
0.193969
0.193859
2700500
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_21_pb.cnf.cr--soft-66-100-0.wbo
OPTIMUM
6
0.204968
0.205032
2692398
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_31_pb.cnf.cr--soft-33-100-0.wbo
OPTIMUM
3
0.214966
0.216143
2692472
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-elf.rf6.ucl--soft-33-100-0.wbo
OPTIMUM
1
0.215966
0.216391
2692390
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_30_pb.cnf.cr--soft-33-100-0.wbo
OPTIMUM
13
0.222965
0.222305
2692428
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-71-70--soft-66-100-0.wbo
OPTIMUM
1
0.243962
0.24431
2692524
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-35-30--soft-66-100-0.wbo
OPTIMUM
23
0.245962
0.245741
2692530
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_41_pb.cnf.cr--soft-66-100-0.wbo
OPTIMUM
4
0.275957
0.275191
2692422
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-51-50--soft-33-100-0.wbo
OPTIMUM
1
0.281956
0.281657
2692517
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_36_pb.cnf.cr--soft-66-100-0.wbo
OPTIMUM
2
0.284956
0.285194
2692459
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_35_pb.cnf.cr--soft-66-100-0.wbo
OPTIMUM
2
0.32395
0.324817
2692410
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_40_pb.cnf.cr--soft-66-100-0.wbo
OPTIMUM
18
0.366943
0.367824
2692431
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-61-60--soft-33-100-0.wbo
OPTIMUM
1
0.38594
0.386667
2692501
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois22_ext.wbo
OPTIMUM
1
0.412937
0.412564
2699720
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_51_pb.cnf.cr--soft-66-100-0.wbo
OPTIMUM
12
0.461929
0.461182
2692392
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-55-50--soft-33-100-0.wbo
OPTIMUM
1
0.472927
0.473311
2692512
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois20_ext.wbo
OPTIMUM
1
0.478927
0.478192
2699768
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_45_pb.cnf.cr--soft-66-100-0.wbo
OPTIMUM
12
0.492924
0.492985
2692454
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_36_pb.cnf.cr--soft-33-100-0.wbo
OPTIMUM
3
0.501923
0.502408
2692447
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-81-80--soft-66-100-0.wbo
OPTIMUM
1
0.52492
0.525059
2692536
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-91-90--soft-66-100-0.wbo
OPTIMUM
1
0.525919
0.526258
2692528
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-45-40--soft-33-100-0.wbo
OPTIMUM
10
0.553914
0.554818
2692515
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois21_ext.wbo
OPTIMUM
1
0.574912
0.574746
2699708
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-75-70--soft-66-100-0.wbo
OPTIMUM
1
0.608907
0.609309
2692519
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-71-70--soft-33-100-0.wbo
OPTIMUM
1
0.629904
0.630042
2692531
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-101-100--soft-66-100-0.wbo
OPTIMUM
1
0.694893
0.695762
2692498
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois24_ext.wbo
OPTIMUM
1
0.702892
0.702987
2699696
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_35_pb.cnf.cr--soft-33-100-0.wbo
OPTIMUM
12
0.725888
0.727601
2692450
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-65-60--soft-33-100-0.wbo
OPTIMUM
1
0.749885
0.7499
2692521
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_60_pb.cnf.cr--soft-66-100-0.wbo
OPTIMUM
22
0.756884
0.756188
2692462
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-81-80--soft-33-100-0.wbo
OPTIMUM
1
0.77788
0.777535
2692546
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_51_pb.cnf.cr--soft-33-100-0.wbo
OPTIMUM
4
0.786879
0.786867
2692452
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-2.ucl--soft-66-100-0.wbo
OPTIMUM
1
0.875866
0.876242
2692451
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois27_ext.wbo
OPTIMUM
1
0.883865
0.884496
2699900
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_40_pb.cnf.cr--soft-33-100-0.wbo
OPTIMUM
14
0.918859
0.922864
2692432
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_41_pb.cnf.cr--soft-33-100-0.wbo
OPTIMUM
4
0.926858
0.928716
2692430
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-45-40--soft-66-100-0.wbo
OPTIMUM
23
0.948855
0.94877
2692505
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-91-90--soft-33-100-0.wbo
OPTIMUM
1
0.98185
0.985542
2692545
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224059--soft-66-100-0.wbo
OPTIMUM
80
0.993848
0.994629
2692561
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-geom30a-5_wcsp.wbo
OPTIMUM
1
1.02784
1.02746
2700536
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois28_ext.wbo
OPTIMUM
1
1.06184
1.06229
2699804
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111226062--soft-66-100-0.wbo
OPTIMUM
40
1.08683
1.08808
2692637
/PARTIAL-SMALLINT-LIN/wcsp/spot5/
normalized-spot5-404_wcsp.wbo
OPTIMUM
114
1.12183
1.12253
2700488
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111225605--soft-66-100-0.wbo
OPTIMUM
17
1.14382
1.14593
2692685
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois25_ext.wbo
OPTIMUM
1
1.15582
1.15664
2699876
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois30_ext.wbo
OPTIMUM
1
1.16382
1.16383
2699816
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111222539--soft-66-100-0.wbo
OPTIMUM
80
1.21081
1.21073
2692680
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111216823--soft-66-100-0.wbo
OPTIMUM
18
1.24381
1.24329
2692577
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois26_ext.wbo
OPTIMUM
1
1.25781
1.25795
2699756
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218024--soft-66-100-0.wbo
OPTIMUM
80
1.26881
1.2717
2692566
/PARTIAL-SMALLINT-LIN/wcsp/spot5/
normalized-spot5-54_wcsp.wbo
OPTIMUM
37
1.2978
1.29804
2700476
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-85-80--soft-33-100-0.wbo
OPTIMUM
1
1.3028
1.30226
2692532
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_40_pb.cnf.cr--soft-66-100-0.wbo
OPTIMUM
15
1.3078
1.31079
2692464
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois23_ext.wbo
OPTIMUM
1
1.36279
1.36276
2699792
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218757--soft-66-100-0.wbo
OPTIMUM
80
1.36779
1.36817
2692647
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110974372--soft-66-100-0.wbo
OPTIMUM
207
1.37179
1.37217
2692707
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111212476--soft-66-100-0.wbo
OPTIMUM
17
1.39979
1.3997
2692568
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110977780--soft-66-100-0.wbo
OPTIMUM
80
1.49477
1.49522
2692712
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-55-50--soft-66-100-0.wbo
OPTIMUM
9
1.52077
1.52061
2692488
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111227326--soft-33-100-0.wbo
OPTIMUM
2
1.53777
1.55674
2692657
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111220019--soft-66-100-0.wbo
OPTIMUM
60
1.53877
1.53874
2692639
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-donald_wcsp.wbo
OPTIMUM
0
1.56876
1.56894
2699552
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110978334--soft-33-100-0.wbo
OPTIMUM
29
1.58576
1.58861
2692673
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111213670--soft-66-100-0.wbo
OPTIMUM
80
1.61475
1.61491
2692581
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110966688--soft-33-100-0.wbo
OPTIMUM
2
1.63075
1.63118
2692677
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_40_pb.cnf.cr--soft-33-100-0.wbo
OPTIMUM
4
1.64475
1.64429
2692439
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224451--soft-66-100-0.wbo
OPTIMUM
64
1.66974
1.6695
2692718
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110978334--soft-66-100-0.wbo
OPTIMUM
63
1.69874
1.69827
2692608
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111220546--soft-66-100-0.wbo
OPTIMUM
69
1.73373
1.73329
2692687
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_55_pb.cnf.cr--soft-66-100-0.wbo
OPTIMUM
15
1.73773
1.741
2692404
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110978113--soft-66-100-0.wbo
OPTIMUM
17
1.75073
1.75059
2692722
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110967729--soft-66-100-0.wbo
OPTIMUM
80
1.76773
1.76755
2692720
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111227861--soft-66-100-0.wbo
OPTIMUM
80
1.77273
1.77218
2692572
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110974180--soft-66-100-0.wbo
OPTIMUM
23
1.78573
1.78613
2692599
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111212272--soft-66-100-0.wbo
OPTIMUM
36
1.78873
1.78867
2692619
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111227012--soft-66-100-0.wbo
OPTIMUM
49
1.81472
1.81432
2692645
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_50_pb.cnf.cr--soft-33-100-0.wbo
OPTIMUM
9
1.83272
1.8349
2692413
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111222257--soft-66-100-0.wbo
OPTIMUM
78
1.88171
1.88135
2692636
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-101-100--soft-33-100-0.wbo
OPTIMUM
1
1.89571
1.89747
2692508
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_45_pb.cnf.cr--soft-33-100-0.wbo
OPTIMUM
25
1.92271
1.92216
2692473
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110967142--soft-66-100-0.wbo
OPTIMUM
1
1.9797
1.97899
2692569
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218955--soft-33-100-0.wbo
OPTIMUM
2
1.9877
1.9879
2692714
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110978113--soft-33-100-0.wbo
OPTIMUM
2
1.99669
1.99636
2692660
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224451--soft-33-100-0.wbo
OPTIMUM
2
2.00169
2.00193
2692683
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218757--soft-33-100-0.wbo
OPTIMUM
24
2.01769
2.01792
2692740
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111221624--soft-66-100-0.wbo
OPTIMUM
22
2.03969
2.04015
2692634
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-myciel5g-6_wcsp.wbo
OPTIMUM
0
2.04369
2.04459
2700560
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-95-90--soft-33-100-0.wbo
OPTIMUM
1
2.05369
2.05899
2692542
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-65-60--soft-66-100-0.wbo
OPTIMUM
4
2.09768
2.09805
2692527
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111228076--soft-66-100-0.wbo
OPTIMUM
10
2.10868
2.10895
2692614
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110977273--soft-33-100-0.wbo
OPTIMUM
8
2.11368
2.11412
2692736
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110968094--soft-66-100-0.wbo
OPTIMUM
17
2.12768
2.12797
2692735
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110970444--soft-66-100-0.wbo
OPTIMUM
80
2.16667
2.16606
2692670
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111226680--soft-66-100-0.wbo
OPTIMUM
66
2.18767
2.18938
2692570
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111216411--soft-66-100-0.wbo
OPTIMUM
6
2.19967
2.20001
2692591
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111226680--soft-33-100-0.wbo
OPTIMUM
2
2.22566
2.2253
2692576
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111213670--soft-33-100-0.wbo
OPTIMUM
29
2.23366
2.23366
2692579
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-zebra_wcsp.wbo
OPTIMUM
0
2.23666
2.23693
2699600
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111220767--soft-66-100-0.wbo
OPTIMUM
80
2.24866
2.24884
2692644
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111219799--soft-33-100-0.wbo
OPTIMUM
4
2.25866
2.25822
2692574
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110971697--soft-66-100-0.wbo
OPTIMUM
80
2.33764
2.33923
2692615
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110973364--soft-66-100-0.wbo
OPTIMUM
80
2.34564
2.3464
2692716
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110975607--soft-66-100-0.wbo
OPTIMUM
18
2.37964
2.37964
2692710
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-75-70--soft-33-100-0.wbo
OPTIMUM
6
2.39863
2.39883
2692548
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111227326--soft-66-100-0.wbo
OPTIMUM
17
2.42663
2.42895
2692618
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois29_ext.wbo
OPTIMUM
1
2.45163
2.45232
2699732
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110976730--soft-66-100-0.wbo
OPTIMUM
78
2.46162
2.46186
2692671
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-105-100--soft-66-100-0.wbo
OPTIMUM
4
2.46962
2.4697
2692490
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110973163--soft-66-100-0.wbo
OPTIMUM
69
2.48362
2.48391
2692733
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110974372--soft-33-100-0.wbo
OPTIMUM
29
2.48962
2.48999
2692695
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110968898--soft-66-100-0.wbo
OPTIMUM
80
2.50362
2.5041
2692703
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110972154--soft-66-100-0.wbo
OPTIMUM
66
2.5946
2.59398
2692558
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111212923--soft-33-100-0.wbo
OPTIMUM
8
2.5966
2.59684
2692609
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111216823--soft-33-100-0.wbo
OPTIMUM
4
2.6056
2.60583
2692728
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_45_pb.cnf.cr--soft-66-100-0.wbo
OPTIMUM
3
2.6286
2.62854
2692434
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110973163--soft-33-100-0.wbo
OPTIMUM
15
2.6496
2.64911
2692668
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218024--soft-33-100-0.wbo
OPTIMUM
12
2.67359
2.6733
2692607
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111223004--soft-33-100-0.wbo
OPTIMUM
2
2.68259
2.68264
2692562
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110972763--soft-33-100-0.wbo
OPTIMUM
6
2.73758
2.73769
2692560
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111217392--soft-33-100-0.wbo
OPTIMUM
2
2.76858
2.76882
2692643
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111212272--soft-33-100-0.wbo
OPTIMUM
2
2.79557
2.7955
2692672
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224255--soft-66-100-0.wbo
OPTIMUM
22
2.82957
2.83019
2692635
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111217555--soft-33-100-0.wbo
OPTIMUM
8
2.84357
2.84266
2692559
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110967142--soft-33-100-0.wbo
OPTIMUM
2
2.84357
2.84377
2692605
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_45_pb.cnf.cr--soft-33-100-0.wbo
OPTIMUM
5
2.85656
2.85925
2692425
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110975965--soft-33-100-0.wbo
OPTIMUM
2
2.85856
2.85902
2692595
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218308--soft-33-100-0.wbo
OPTIMUM
2
2.86756
2.86796
2692676
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110976157--soft-66-100-0.wbo
OPTIMUM
80
2.92555
2.92583
2692623
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111219348--soft-66-100-0.wbo
OPTIMUM
80
2.98954
2.98989
2692675
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-2.ucl--soft-33-100-0.wbo
OPTIMUM
1
3.07353
3.07412
2692340
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111220019--soft-33-100-0.wbo
OPTIMUM
2
3.10153
3.10363
2692641
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111216411--soft-33-100-0.wbo
OPTIMUM
2
3.12252
3.1254
2692611
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110971697--soft-33-100-0.wbo
OPTIMUM
2
3.18651
3.18655
2692551
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111222257--soft-33-100-0.wbo
OPTIMUM
8
3.19351
3.19376
2692738
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110968094--soft-33-100-0.wbo
OPTIMUM
23
3.21151
3.21145
2692587
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-4.ucl--soft-66-100-0.wbo
OPTIMUM
5
3.23951
3.23953
2692460
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218955--soft-66-100-0.wbo
OPTIMUM
19
3.24251
3.24302
2692627
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-3.ucl--soft-66-100-0.wbo
OPTIMUM
1
3.35149
3.35416
2692374
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-warehouse0_wcsp.wbo
OPTIMUM
328
3.40148
3.40201
2699588
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110970444--soft-33-100-0.wbo
OPTIMUM
10
3.52346
3.52309
2692667
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110967523--soft-33-100-0.wbo
OPTIMUM
8
3.57946
3.57941
2692705
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-ssa0432-003_ext.wbo
OPTIMUM
1
3.61545
3.61593
2699828
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110975607--soft-33-100-0.wbo
OPTIMUM
24
3.61845
3.61877
2692727
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110976935--soft-33-100-0.wbo
OPTIMUM
2
3.9684
3.96821
2692556
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111221203--soft-33-100-0.wbo
OPTIMUM
2
3.9744
3.97481
2692606
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110968561--soft-33-100-0.wbo
OPTIMUM
8
4.03739
4.037
2692588
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_50_pb.cnf.cr--soft-66-100-0.wbo
OPTIMUM
5
4.10438
4.10489
2692407
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111222539--soft-33-100-0.wbo
OPTIMUM
9
4.12337
4.12263
2692678
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111219799--soft-66-100-0.wbo
OPTIMUM
1
4.15837
4.15864
2692575
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111220767--soft-33-100-0.wbo
OPTIMUM
28
4.18936
4.18896
2692708
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_55_pb.cnf.cr--soft-33-100-0.wbo
OPTIMUM
3
4.41433
4.49044
2692419
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110974180--soft-33-100-0.wbo
OPTIMUM
2
4.45532
4.45513
2692557
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110969860--soft-66-100-0.wbo
OPTIMUM
22
4.49232
4.49228
2692610
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110976730--soft-33-100-0.wbo
OPTIMUM
4
4.49332
4.49984
2692681
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110969170--soft-33-100-0.wbo
OPTIMUM
14
4.5953
4.59497
2692631
/PARTIAL-SMALLINT-LIN/wcsp/
academics/normalized-send_wcsp.wbo
OPTIMUM
0
4.87626
4.87689
2699480
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110973670--soft-33-100-0.wbo
OPTIMUM
8
5.12122
5.12132
2692592
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111226062--soft-33-100-0.wbo
OPTIMUM
10
5.13422
5.13437
2692691
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111213868--soft-33-100-0.wbo
OPTIMUM
2
5.21321
5.21364
2692554
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110967523--soft-66-100-0.wbo
OPTIMUM
14
5.2622
5.26202
2692666
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224255--soft-33-100-0.wbo
OPTIMUM
8
5.41018
5.4106
2692665
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110977273--soft-66-100-0.wbo
OPTIMUM
22
5.59615
5.5959
2692742
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110970631--soft-33-100-0.wbo
OPTIMUM
19
5.65014
5.6504
2692565
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111217555--soft-66-100-0.wbo
OPTIMUM
22
5.72713
5.72712
2692669
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110968561--soft-66-100-0.wbo
OPTIMUM
19
5.76212
5.76262
2692640
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111212476--soft-33-100-0.wbo
OPTIMUM
1
5.98809
5.9881
2692734
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111219348--soft-33-100-0.wbo
OPTIMUM
9
6.88895
6.88884
2692679
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111223004--soft-66-100-0.wbo
OPTIMUM
19
7.26389
7.26869
2692656
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111213868--soft-66-100-0.wbo
OPTIMUM
14
7.36988
7.36943
2692737
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-105-100--soft-33-100-0.wbo
OPTIMUM
3
7.65783
7.65816
2692523
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111220546--soft-33-100-0.wbo
OPTIMUM
2
8.12676
8.12631
2692693
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-85-80--soft-66-100-0.wbo
OPTIMUM
1
8.50471
8.50681
2692509
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110976157--soft-33-100-0.wbo
OPTIMUM
8
8.5697
8.56982
2692563
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110975965--soft-66-100-0.wbo
OPTIMUM
23
8.83166
8.83162
2692604
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110968898--soft-33-100-0.wbo
OPTIMUM
2
8.84066
8.8403
2692629
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218308--soft-66-100-0.wbo
OPTIMUM
9
8.97563
8.97548
2692651
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224929--soft-66-100-0.wbo
OPTIMUM
71
9.10162
9.10163
2692731
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111212923--soft-66-100-0.wbo
OPTIMUM
22
9.11561
9.11508
2692729
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110966688--soft-66-100-0.wbo
OPTIMUM
19
9.2136
9.21369
2692658
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110967729--soft-33-100-0.wbo
OPTIMUM
4
9.33758
9.33791
2692697
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111221203--soft-66-100-0.wbo
OPTIMUM
23
9.43457
9.43608
2692649
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110971363--soft-33-100-0.wbo
OPTIMUM
25
9.62554
9.62679
2692699
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110969577--soft-33-100-0.wbo
OPTIMUM
12
9.8435
9.84425
2692552
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111225605--soft-33-100-0.wbo
OPTIMUM
1
10.0315
10.0322
2692662
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111228076--soft-33-100-0.wbo
OPTIMUM
10
10.0865
10.0864
2692600
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111225122--soft-33-100-0.wbo
OPTIMUM
2
10.2314
10.2319
2692743
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-langford-3-9_wcsp.wbo
OPTIMUM
0
10.3114
10.3148
2699564
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110969860--soft-33-100-0.wbo
OPTIMUM
8
11.2073
11.2077
2692555
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224929--soft-33-100-0.wbo
OPTIMUM
8
11.5172
11.5168
2692732
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110973364--soft-33-100-0.wbo
OPTIMUM
2
11.6462
11.6459
2692652
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110966483--soft-66-100-0.wbo
OPTIMUM
51
11.9582
11.9671
2692689
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111221624--soft-33-100-0.wbo
OPTIMUM
5
12.4911
12.4906
2692674
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-95-90--soft-66-100-0.wbo
OPTIMUM
2
12.7841
12.7844
2692540
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111227861--soft-33-100-0.wbo
OPTIMUM
11
13.164
13.1632
2692589
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111223220--soft-33-100-0.wbo
OPTIMUM
12
13.363
13.3632
2692602
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111223220--soft-66-100-0.wbo
OPTIMUM
39
14.5648
14.5651
2692642
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_60_pb.cnf.cr--soft-33-100-0.wbo
OPTIMUM
10
14.6508
14.6532
2692429
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111226368--soft-33-100-0.wbo
OPTIMUM
15
15.1757
15.1761
2692724
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois50_ext.wbo
OPTIMUM
1
15.9696
15.9715
2699684
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110966483--soft-33-100-0.wbo
OPTIMUM
1
16.0496
16.0491
2692567
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110977780--soft-33-100-0.wbo
OPTIMUM
27
16.1345
16.1366
2692664
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111227012--soft-33-100-0.wbo
OPTIMUM
2
17.9263
17.9257
2692578
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110971363--soft-66-100-0.wbo
OPTIMUM
59
18.2872
18.288
2692739
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111226368--soft-66-100-0.wbo
OPTIMUM
19
18.3542
18.3594
2692633
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110970631--soft-66-100-0.wbo
OPTIMUM
73
18.8041
18.8042
2692654
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110972763--soft-66-100-0.wbo
OPTIMUM
39
18.8901
18.89
2692741
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110969170--soft-66-100-0.wbo
OPTIMUM
49
19.3121
19.3115
2692573
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224059--soft-33-100-0.wbo
OPTIMUM
15
20.1549
20.1541
2692701
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110973670--soft-66-100-0.wbo
OPTIMUM
22
21.9697
21.969
2692616
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110972154--soft-33-100-0.wbo
OPTIMUM
2
24.7512
24.7503
2692625
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111225122--soft-66-100-0.wbo
OPTIMUM
35
28.2767
28.276
2692585
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110969577--soft-66-100-0.wbo
OPTIMUM
58
32.996
32.9952
2692582
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111217392--soft-66-100-0.wbo
OPTIMUM
14
34.6157
34.6148
2692621
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-pret60_60_ext.wbo
OPTIMUM
1
36.8714
37.1411
2699852
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110976935--soft-66-100-0.wbo
OPTIMUM
68
56.4374
56.436
2692613
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois100_ext.wbo
OPTIMUM
1
84.1612
84.1587
2699660
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-pret60_75_ext.wbo
OPTIMUM
1
91.1321
91.1326
2699888
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-16wqueens_wcsp.wbo
OPTIMUM
2
124.764
124.76
2699612
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-pret60_25_ext.wbo
OPTIMUM
1
126.593
126.595
2699636
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-6.ucl--soft-66-100-0.wbo
OPTIMUM
1
129.8
129.796
2692408
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-pret60_40_ext.wbo
OPTIMUM
1
132.449
132.451
2699840
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-3.ucl--soft-33-100-0.wbo
OPTIMUM
8
382.884
382.874
2692352
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-ssa2670-141_ext.wbo
OPTIMUM
1
490.077
490.067
2699912
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-bf0432-007_ext.wbo
OPTIMUM
1
1046.09
1046.06
2699780
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh01_wcsp.wbo
OPTIMUM
0
1198.75
1198.74
2700056
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-4.ucl--soft-33-100-0.wbo
OPTIMUM
13
1322.9
1322.84
2692384
Solver timed out but found at least a solution (210 runs)
[Show/Hide]
Benchmark Name
Answer
cost of falsified constraints
CPU time
Wall clock time
TraceID
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900566157--soft-66-100-0.wbo
MSAT (TO)
8
1800.1
1800.09
2692921
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-myciel5g-5_wcsp.wbo
MSAT (TO)
1
1800.11
1800.06
2700572
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900563801--soft-66-100-0.wbo
MSAT (TO)
11
1800.12
1800.1
2692924
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900670234--soft-66-100-0.wbo
MSAT (TO)
3
1800.12
1800.08
2692839
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900581320--soft-66-100-0.wbo
MSAT (TO)
1
1800.12
1800.5
2692853
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900670675--soft-66-100-0.wbo
MSAT (TO)
1
1800.12
1800.08
2692744
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900552288--soft-66-100-0.wbo
MSAT (TO)
2
1800.13
1800.21
2692919
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900547389--soft-33-100-0.wbo
MSAT (TO)
2
1800.13
1800.09
2692293
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900553647--soft-66-100-0.wbo
MSAT (TO)
2
1800.13
1800.08
2692769
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900669797--soft-66-100-0.wbo
MSAT (TO)
1
1800.13
1800.09
2692922
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900556231--soft-66-100-0.wbo
MSAT (TO)
1
1800.13
1800.09
2692913
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900582300--soft-66-100-0.wbo
MSAT (TO)
1
1800.14
1800.1
2692760
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900558739--soft-66-100-0.wbo
MSAT (TO)
3
1800.14
1800.1
2692811
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900583053--soft-66-100-0.wbo
MSAT (TO)
1
1800.14
1800.09
2692889
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900551347--soft-66-100-0.wbo
MSAT (TO)
11
1800.14
1800.09
2692917
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900564824--soft-66-100-0.wbo
MSAT (TO)
22
1800.14
1800.1
2692747
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900554420--soft-66-100-0.wbo
MSAT (TO)
2
1800.14
1800.1
2692861
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900545610--soft-66-100-0.wbo
MSAT (TO)
2
1800.14
1800.09
2692746
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900550720--soft-66-100-0.wbo
MSAT (TO)
1
1800.14
1800.1
2692298
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900573137--soft-66-100-0.wbo
MSAT (TO)
1
1800.14
1800.1
2692873
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900548667--soft-66-100-0.wbo
MSAT (TO)
1
1800.15
1800.11
2692907
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900554072--soft-66-100-0.wbo
MSAT (TO)
7
1800.15
1800.09
2692754
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900567135--soft-66-100-0.wbo
MSAT (TO)
4
1800.15
1800.11
2692764
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900574864--soft-66-100-0.wbo
MSAT (TO)
1
1800.15
1800.12
2692753
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900564281--soft-66-100-0.wbo
MSAT (TO)
3
1800.15
1800.11
2692843
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900563250--soft-66-100-0.wbo
MSAT (TO)
1
1800.15
1800.1
2692835
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900573901--soft-66-100-0.wbo
MSAT (TO)
1
1800.15
1800.09
2692857
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900575442--soft-66-100-0.wbo
MSAT (TO)
1
1800.15
1800.11
2692903
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900571132--soft-66-100-0.wbo
MSAT (TO)
1
1800.15
1800.21
2692313
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900546417--soft-66-100-0.wbo
MSAT (TO)
2
1800.15
1800.09
2692745
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900670234--soft-33-100-0.wbo
MSAT (TO)
1
1800.15
1800.12
2692762
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900544484--soft-33-100-0.wbo
MSAT (TO)
1
1800.16
1800.14
2692315
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900562192--soft-66-100-0.wbo
MSAT (TO)
1
1800.16
1800.13
2692785
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900551864--soft-66-100-0.wbo
MSAT (TO)
4
1800.16
1800.11
2692815
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900552735--soft-66-100-0.wbo
MSAT (TO)
6
1800.16
1800.12
2692893
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900576360--soft-33-100-0.wbo
MSAT (TO)
3
1800.16
1800.11
2692915
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900553812--soft-66-100-0.wbo
MSAT (TO)
5
1800.16
1800.11
2692306
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900565534--soft-66-100-0.wbo
MSAT (TO)
1
1800.16
1800.11
2692865
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900557574--soft-66-100-0.wbo
MSAT (TO)
13
1800.16
1800.13
2692823
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900576151--soft-66-100-0.wbo
MSAT (TO)
1
1800.16
1800.1
2692821
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900551864--soft-33-100-0.wbo
MSAT (TO)
1
1800.16
1800.12
2692797
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900576927--soft-66-100-0.wbo
MSAT (TO)
1
1800.16
1800.3
2692783
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900670167--soft-66-100-0.wbo
MSAT (TO)
4
1800.16
1800.12
2692787
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900576360--soft-66-100-0.wbo
MSAT (TO)
6
1800.16
1800.08
2692911
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900571761--soft-66-100-0.wbo
MSAT (TO)
2
1800.16
1800.1
2692795
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900550006--soft-66-100-0.wbo
MSAT (TO)
1
1800.17
1800.13
2692777
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900552423--soft-66-100-0.wbo
MSAT (TO)
25
1800.17
1800.14
2692928
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900563801--soft-33-100-0.wbo
MSAT (TO)
2
1800.17
1800.13
2692775
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900558106--soft-66-100-0.wbo
MSAT (TO)
22
1800.17
1800.12
2692895
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900574864--soft-33-100-0.wbo
MSAT (TO)
1
1800.17
1800.14
2692817
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900576927--soft-33-100-0.wbo
MSAT (TO)
1
1800.17
1800.12
2692855
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900557957--soft-66-100-0.wbo
MSAT (TO)
10
1800.17
1800.13
2692791
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900568186--soft-66-100-0.wbo
MSAT (TO)
21
1800.17
1800.15
2692803
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900561288--soft-66-100-0.wbo
MSAT (TO)
1
1800.17
1800.11
2692759
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900567985--soft-33-100-0.wbo
MSAT (TO)
1
1800.17
1800.13
2692831
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900550006--soft-33-100-0.wbo
MSAT (TO)
1
1800.17
1800.13
2692871
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900583053--soft-33-100-0.wbo
MSAT (TO)
2
1800.17
1800.13
2692833
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900584219--soft-66-100-0.wbo
MSAT (TO)
9
1800.17
1800.11
2692765
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900573137--soft-33-100-0.wbo
MSAT (TO)
1
1800.17
1800.12
2692841
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900670675--soft-33-100-0.wbo
MSAT (TO)
2
1800.17
1800.13
2692763
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900562192--soft-33-100-0.wbo
MSAT (TO)
2
1800.17
1800.16
2692311
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900546417--soft-33-100-0.wbo
MSAT (TO)
1
1800.18
1800.14
2692930
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900559676--soft-66-100-0.wbo
MSAT (TO)
1
1800.18
1800.12
2692771
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900568186--soft-33-100-0.wbo
MSAT (TO)
5
1800.18
1800.13
2692748
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900567024--soft-66-100-0.wbo
MSAT (TO)
19
1800.18
1800.13
2692883
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900667195--soft-66-100-0.wbo
MSAT (TO)
1
1800.18
1800.2
2692292
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900544484--soft-66-100-0.wbo
MSAT (TO)
2
1800.18
1800.13
2692851
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900554072--soft-33-100-0.wbo
MSAT (TO)
2
1800.18
1800.13
2692849
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900568706--soft-33-100-0.wbo
MSAT (TO)
10
1800.18
1800.12
2692761
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900556231--soft-33-100-0.wbo
MSAT (TO)
2
1800.18
1800.13
2692757
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900584219--soft-33-100-0.wbo
MSAT (TO)
3
1800.18
1800.14
2692749
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900568706--soft-66-100-0.wbo
MSAT (TO)
8
1800.18
1800.11
2692295
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900565534--soft-33-100-0.wbo
MSAT (TO)
1
1800.19
1800.19
2692801
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900547389--soft-66-100-0.wbo
MSAT (TO)
2
1800.19
1800.14
2692837
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900552288--soft-33-100-0.wbo
MSAT (TO)
3
1800.19
1800.14
2692304
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900669797--soft-33-100-0.wbo
MSAT (TO)
1
1800.19
1800.12
2692897
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900546076--soft-33-100-0.wbo
MSAT (TO)
7
1800.19
1800.15
2692752
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900545610--soft-33-100-0.wbo
MSAT (TO)
2
1800.19
1800.11
2692825
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900553812--soft-33-100-0.wbo
MSAT (TO)
3
1800.2
1800.15
2692779
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900567985--soft-66-100-0.wbo
MSAT (TO)
1
1800.2
1800.22
2692317
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900577940--soft-66-100-0.wbo
MSAT (TO)
1
1800.2
1800.13
2692300
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900573901--soft-33-100-0.wbo
MSAT (TO)
1
1800.2
1800.16
2692758
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900548667--soft-33-100-0.wbo
MSAT (TO)
1
1800.21
1800.17
2692756
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900670167--soft-33-100-0.wbo
MSAT (TO)
5
1800.21
1800.16
2692879
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900552423--soft-33-100-0.wbo
MSAT (TO)
9
1800.21
1800.16
2692789
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900564281--soft-33-100-0.wbo
MSAT (TO)
5
1800.21
1800.19
2692296
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900570242--soft-66-100-0.wbo
MSAT (TO)
16
1800.21
1800.13
2692899
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900582300--soft-33-100-0.wbo
MSAT (TO)
1
1800.21
1800.18
2692869
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900558106--soft-33-100-0.wbo
MSAT (TO)
7
1800.21
1800.18
2692845
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900571761--soft-33-100-0.wbo
MSAT (TO)
1
1800.21
1800.37
2692755
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900575442--soft-33-100-0.wbo
MSAT (TO)
1
1800.21
1800.16
2692766
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900579996--soft-66-100-0.wbo
MSAT (TO)
1
1800.21
1800.14
2692781
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900667195--soft-33-100-0.wbo
MSAT (TO)
1
1800.21
1800.15
2692805
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900553647--soft-33-100-0.wbo
MSAT (TO)
1
1800.22
1800.18
2692793
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900550720--soft-33-100-0.wbo
MSAT (TO)
2
1800.22
1800.23
2692887
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900557957--soft-33-100-0.wbo
MSAT (TO)
3
1800.22
1800.15
2692875
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900569834--soft-33-100-0.wbo
MSAT (TO)
10
1800.22
1800.17
2692773
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900567135--soft-33-100-0.wbo
MSAT (TO)
1
1800.22
1800.18
2692829
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900577940--soft-33-100-0.wbo
MSAT (TO)
1
1800.22
1800.17
2692809
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900558739--soft-33-100-0.wbo
MSAT (TO)
1
1800.23
1800.24
2692819
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900551347--soft-33-100-0.wbo
MSAT (TO)
3
1800.23
1800.2
2692751
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900557362--soft-33-100-0.wbo
MSAT (TO)
8
1800.23
1800.18
2692926
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900554420--soft-33-100-0.wbo
MSAT (TO)
7
1800.24
1800.2
2692813
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900566157--soft-33-100-0.wbo
MSAT (TO)
3
1800.24
1800.2
2692827
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900584106--soft-33-100-0.wbo
MSAT (TO)
14
1800.24
1800.17
2692863
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900567024--soft-33-100-0.wbo
MSAT (TO)
11
1800.24
1800.18
2692310
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900546076--soft-66-100-0.wbo
MSAT (TO)
34
1800.25
1800.19
2692877
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900584106--soft-66-100-0.wbo
MSAT (TO)
34
1800.25
1800.2
2692750
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900552735--soft-33-100-0.wbo
MSAT (TO)
13
1800.25
1800.2
2692308
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900571132--soft-33-100-0.wbo
MSAT (TO)
2
1800.25
1800.18
2692891
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900557362--soft-66-100-0.wbo
MSAT (TO)
21
1800.26
1800.17
2692901
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900559676--soft-33-100-0.wbo
MSAT (TO)
1
1800.26
1800.18
2692867
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900569834--soft-66-100-0.wbo
MSAT (TO)
31
1800.29
1800.29
2692905
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900579996--soft-33-100-0.wbo
MSAT (TO)
1
1800.31
1800.29
2692799
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900557574--soft-33-100-0.wbo
MSAT (TO)
16
1800.34
1800.28
2692302
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-8.ucl--soft-66-100-0.wbo
MSAT (TO)
7368
1800.35
1800.31
2692399
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900576151--soft-33-100-0.wbo
MSAT (TO)
2
1800.35
1800.36
2692885
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-7.ucl--soft-33-100-0.wbo
MSAT (TO)
9862
1800.44
1800.36
2692328
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.4.accl.ucl--soft-66-100-0.wbo
MSAT (TO)
13423
1800.59
1800.54
2692382
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-43s.smv--soft-66-100-0.wbo
MSAT (TO)
15281
1800.6
1800.56
2692364
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.2.accl.ucl--soft-33-100-0.wbo
MSAT (TO)
10068
1800.61
1800.66
2692474
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf7.ucl--soft-66-100-0.wbo
MSAT (TO)
7088
1800.63
1800.56
2692426
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.tag8.ucl--soft-66-100-0.wbo
MSAT (TO)
11139
1800.64
1800.62
2692446
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-cache.inv8.ucl--soft-66-100-0.wbo
MSAT (TO)
4875
1800.64
1800.63
2692332
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-25s.smv--soft-66-100-0.wbo
MSAT (TO)
18585
1800.66
1800.62
2692348
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.3.accl.ucl--soft-66-100-0.wbo
MSAT (TO)
16774
1800.68
1800.62
2692360
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf6.ucl--soft-33-100-0.wbo
MSAT (TO)
10026
1800.7
1800.64
2692358
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.2.accl.ucl--soft-66-100-0.wbo
MSAT (TO)
11516
1800.71
1802.2
2692411
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-cache.inv8.ucl--soft-33-100-0.wbo
MSAT (TO)
7032
1800.73
1800.69
2692414
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-7.ucl--soft-66-100-0.wbo
MSAT (TO)
3804
1800.77
1800.72
2692330
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf6.ucl--soft-66-100-0.wbo
MSAT (TO)
6608
1800.8
1800.73
2692346
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-46s.smv--soft-33-100-0.wbo
MSAT (TO)
6957
1800.81
1800.79
2692378
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-elf.rf7.ucl--soft-33-100-0.wbo
MSAT (TO)
9384
1800.82
1800.76
2692387
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-22s.smv--soft-66-100-0.wbo
MSAT (TO)
19162
1800.83
1800.77
2692402
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-tlan2.ucl--soft-33-100-0.wbo
MSAT (TO)
2833
1800.86
1800.79
2692356
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-bf2670-001_ext.wbo
MSAT (TO)
183
1800.87
1800.78
2699648
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-43s.smv--soft-33-100-0.wbo
MSAT (TO)
16267
1800.88
1800.83
2692344
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-elf.rf8.ucl--soft-66-100-0.wbo
MSAT (TO)
11203
1800.89
1800.85
2692463
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.tag8.ucl--soft-33-100-0.wbo
MSAT (TO)
15271
1800.93
1800.86
2692423
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-dlx1c.ucl--soft-66-100-0.wbo
MSAT (TO)
12632
1801.03
1800.99
2692370
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-pret150_60_ext.wbo
MSAT (TO)
1
1801.03
1800.98
2699924
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf7.ucl--soft-33-100-0.wbo
MSAT (TO)
16248
1801.04
1801
2692435
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-46s.smv--soft-66-100-0.wbo
MSAT (TO)
4430
1801.05
1800.97
2692405
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.4.accl.ucl--soft-33-100-0.wbo
MSAT (TO)
15069
1801.11
1801.06
2692323
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-37s.smv--soft-33-100-0.wbo
MSAT (TO)
6709
1801.13
1801.09
2692465
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf8.ucl--soft-66-100-0.wbo
MSAT (TO)
19678
1801.16
1801.12
2692372
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-pret150_40_ext.wbo
MSAT (TO)
1
1801.19
1801.14
2699672
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-tlan2.ucl--soft-66-100-0.wbo
MSAT (TO)
3558
1801.23
1801.18
2692326
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-pret150_25_ext.wbo
MSAT (TO)
1
1801.25
1801.31
2699744
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.3.accl.ucl--soft-33-100-0.wbo
MSAT (TO)
24987
1801.37
1801.32
2692366
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-37s.smv--soft-66-100-0.wbo
MSAT (TO)
4032
1801.43
1801.39
2692350
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-pret150_75_ext.wbo
MSAT (TO)
1
1801.46
1801.57
2699864
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-elf.rf7.ucl--soft-66-100-0.wbo
MSAT (TO)
5691
1801.47
1801.41
2692442
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-dlx1c.rwmem1.ucl--soft-66-100-0.wbo
MSAT (TO)
12373
1801.7
1801.73
2692319
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-25s.smv--soft-33-100-0.wbo
MSAT (TO)
21540
1801.74
1801.7
2692321
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900570242--soft-33-100-0.wbo
MSAT (TO)
796
1801.87
1801.83
2692847
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900581320--soft-33-100-0.wbo
MSAT (TO)
978
1802.01
1801.96
2692881
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-cache.inv10.ucl--soft-66-100-0.wbo
MSAT (TO)
6474
1802.04
1801.99
2692393
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-22s.smv--soft-33-100-0.wbo
MSAT (TO)
25395
1802.07
1802.02
2692417
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900564824--soft-33-100-0.wbo
MSAT (TO)
1009
1802.07
1802.06
2692859
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900561288--soft-33-100-0.wbo
MSAT (TO)
1060
1802.09
1802.05
2692807
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh202_wcsp.wbo
MSAT (TO)
28450
1802.1
1802.58
2700008
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh11_wcsp.wbo
MSAT (TO)
5306
1802.1
1802.05
2700176
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh203_wcsp.wbo
MSAT (TO)
31226
1802.11
1802.09
2700236
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh211_wcsp.wbo
MSAT (TO)
27454
1802.12
1802.09
2700368
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh214_wcsp.wbo
MSAT (TO)
30524
1802.12
1802.09
2700140
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh17_wcsp.wbo
MSAT (TO)
20395
1802.12
1802.08
2700272
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-geom30a-4_wcsp.wbo
MSAT (TO)
4
1802.12
1802.11
2700608
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh14_wcsp.wbo
MSAT (TO)
9855
1802.12
1802.07
2699972
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh06_wcsp.wbo
MSAT (TO)
16295
1802.12
1802.08
2700200
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh209_wcsp.wbo
MSAT (TO)
28314
1802.12
1802.08
2700296
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh306_wcsp.wbo
MSAT (TO)
21970
1802.13
1802.09
2700284
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh307_wcsp.wbo
MSAT (TO)
24258
1802.13
1802.09
2700032
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh207_wcsp.wbo
MSAT (TO)
18540
1802.13
1802.09
2699996
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh304_wcsp.wbo
MSAT (TO)
26905
1802.13
1802.08
2700188
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh205_wcsp.wbo
MSAT (TO)
21986
1802.13
1802.09
2700392
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh220_wcsp.wbo
MSAT (TO)
23932
1802.13
1802.09
2700404
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh302_wcsp.wbo
MSAT (TO)
32337
1802.13
1802.08
2699948
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh12_wcsp.wbo
MSAT (TO)
23723
1802.13
1804.99
2699960
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh19_wcsp.wbo
MSAT (TO)
9223
1802.13
1802.07
2700080
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-myciel5g-3_wcsp.wbo
MSAT (TO)
20
1802.13
1802.08
2700596
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh219_wcsp.wbo
MSAT (TO)
28856
1802.13
1802.08
2700128
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh309_wcsp.wbo
MSAT (TO)
23175
1802.13
1802.08
2700164
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900563250--soft-33-100-0.wbo
MSAT (TO)
777
1802.13
1802.06
2692909
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh18_wcsp.wbo
MSAT (TO)
28964
1802.13
1802.08
2700104
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh210_wcsp.wbo
MSAT (TO)
24972
1802.13
1802.09
2700212
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh10_wcsp.wbo
MSAT (TO)
32126
1802.13
1802.08
2700320
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh201_wcsp.wbo
MSAT (TO)
29081
1802.13
1802.09
2700260
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh07_wcsp.wbo
MSAT (TO)
26981
1802.13
1802.08
2700356
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh05_wcsp.wbo
MSAT (TO)
26193
1802.13
1802.08
2700440
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh218_wcsp.wbo
MSAT (TO)
20150
1802.14
1802.08
2700092
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh301_wcsp.wbo
MSAT (TO)
20444
1802.14
1803.19
2699936
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-geom40-2_wcsp.wbo
MSAT (TO)
22
1802.14
1802.1
2700548
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh08_wcsp.wbo
MSAT (TO)
31445
1802.14
1802.09
2700344
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh310_wcsp.wbo
MSAT (TO)
31368
1802.14
1802.1
2700428
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh303_wcsp.wbo
MSAT (TO)
33507
1802.14
1802.08
2700380
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh216_wcsp.wbo
MSAT (TO)
24825
1802.14
1802.1
2699984
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh208_wcsp.wbo
MSAT (TO)
27377
1802.14
1802.08
2700152
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh217_wcsp.wbo
MSAT (TO)
26630
1802.14
1802.09
2700452
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-44s.smv--soft-33-100-0.wbo
MSAT (TO)
4202
1802.15
1802.08
2692376
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh15_wcsp.wbo
MSAT (TO)
25186
1802.15
1802.09
2700116
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-44s.smv--soft-66-100-0.wbo
MSAT (TO)
3204
1802.15
1802.09
2692468
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh215_wcsp.wbo
MSAT (TO)
24869
1802.15
1802.09
2700068
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh13_wcsp.wbo
MSAT (TO)
29884
1802.15
1802.09
2700332
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh09_wcsp.wbo
MSAT (TO)
23652
1802.15
1802.08
2700416
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh212_wcsp.wbo
MSAT (TO)
22203
1802.15
1802.09
2700224
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh16_wcsp.wbo
MSAT (TO)
29848
1802.16
1802.1
2700308
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh308_wcsp.wbo
MSAT (TO)
31306
1802.17
1802.09
2700248
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh04_wcsp.wbo
MSAT (TO)
22540
1802.18
1815.29
2700020
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh305_wcsp.wbo
MSAT (TO)
31094
1802.2
1802.69
2700044
Solver timed out (no solution given) (57 runs)
[Show/Hide]
Benchmark Name
Answer
cost of falsified constraints
CPU time
Wall clock time
TraceID
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-8.ucl--soft-33-100-0.wbo
? (TO)
1800.14
1800.1
2692362
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j606_1-unsat--soft-66-100-0.wbo
? (TO)
1800.23
1800.19
2692580
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j3029_8-unsat--soft-66-100-0.wbo
? (TO)
1800.28
1800.22
2692478
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j309_10-unsat--soft-33-100-0.wbo
? (TO)
1800.3
1800.28
2692499
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j301_4-unsat--soft-66-100-0.wbo
? (TO)
1800.31
1800.26
2692476
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-dlx1c.rwmem.ucl--soft-66-100-0.wbo
? (TO)
1800.32
1800.24
2692324
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j301_4-unsat--soft-33-100-0.wbo
? (TO)
1800.33
1800.29
2692493
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j6027_4-unsat--soft-66-100-0.wbo
? (TO)
1800.34
1800.29
2692598
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j3029_8-unsat--soft-33-100-0.wbo
? (TO)
1800.34
1801.11
2692491
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j6010_2-unsat--soft-66-100-0.wbo
? (TO)
1800.34
1800.31
2692553
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-le450-5a-4_wcsp.wbo
? (TO)
1800.35
1800.31
2701664
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/
normalized-j907_8-unsat--soft-66-100-0.wbo
? (TO)
1800.36
1800.31
2692516
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j6030_9-unsat--soft-66-100-0.wbo
? (TO)
1800.38
1800.33
2692564
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j603_2-unsat--soft-66-100-0.wbo
? (TO)
1800.38
1800.54
2692586
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j308_1-unsat--soft-33-100-0.wbo
? (TO)
1800.38
1800.34
2692504
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/
normalized-j903_10-unsat--soft-66-100-0.wbo
? (TO)
1800.38
1800.34
2692525
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/
normalized-j9015_10-unsat--soft-66-100-0.wbo
? (TO)
1800.39
1800.39
2692535
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j602_7-unsat--soft-33-100-0.wbo
? (TO)
1800.4
1800.35
2692550
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j3041_4-unsat--soft-33-100-0.wbo
? (TO)
1800.4
1800.36
2692496
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j3046_4-unsat--soft-33-100-0.wbo
? (TO)
1800.41
1800.34
2692502
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/
normalized-j9039_3-unsat--soft-66-100-0.wbo
? (TO)
1800.42
1800.36
2692518
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j6033_2-unsat--soft-66-100-0.wbo
? (TO)
1800.42
1800.41
2692596
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j605_10-unsat--soft-66-100-0.wbo
? (TO)
1800.44
1800.37
2692537
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j602_7-unsat--soft-66-100-0.wbo
? (TO)
1800.45
1800.4
2692547
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j603_2-unsat--soft-33-100-0.wbo
? (TO)
1800.47
1800.54
2692583
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j6027_4-unsat--soft-33-100-0.wbo
? (TO)
1800.48
1800.46
2692590
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j605_1-unsat--soft-33-100-0.wbo
? (TO)
1800.49
1800.44
2692593
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/
normalized-j9028_2-unsat--soft-66-100-0.wbo
? (TO)
1800.5
1800.47
2692533
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j606_1-unsat--soft-33-100-0.wbo
? (TO)
1800.52
1800.46
2692571
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j3041_4-unsat--soft-66-100-0.wbo
? (TO)
1800.53
1800.51
2692489
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j605_10-unsat--soft-33-100-0.wbo
? (TO)
1800.54
1800.49
2692539
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/
normalized-j9048_1-unsat--soft-66-100-0.wbo
? (TO)
1800.55
1800.51
2692529
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j6010_2-unsat--soft-33-100-0.wbo
? (TO)
1800.56
1800.52
2692544
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/
normalized-j9014_1-unsat--soft-66-100-0.wbo
? (TO)
1800.56
1800.5
2692506
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-le450-5a-2_wcsp.wbo
? (TO)
1800.56
1800.52
2700620
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j3046_4-unsat--soft-66-100-0.wbo
? (TO)
1800.64
1800.61
2692480
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j309_10-unsat--soft-66-100-0.wbo
? (TO)
1800.67
1800.62
2692485
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/
normalized-j9012_2-unsat--soft-66-100-0.wbo
? (TO)
1800.69
1800.64
2692513
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-dsjc125-1-4_wcsp.wbo
? (TO)
1800.79
1800.72
2700584
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-tlan3.ucl--soft-66-100-0.wbo
? (TO)
1801.26
1801.2
2692448
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j308_1-unsat--soft-66-100-0.wbo
? (TO)
1801.26
1801.21
2692482
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j605_1-unsat--soft-66-100-0.wbo
? (TO)
1801.37
1801.33
2692543
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.8.accl.ucl--soft-66-100-0.wbo
? (TO)
1801.37
1801.33
2692420
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf9.ucl--soft-66-100-0.wbo
? (TO)
1802.06
1802.03
2692396
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/
normalized-j9010_6-unsat--soft-66-100-0.wbo
? (TO)
1802.06
1802.02
2692511
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-dlx1c.rwmem.ucl--soft-33-100-0.wbo
? (TO)
1802.06
1802.03
2692336
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.tag10.ucl--soft-66-100-0.wbo
? (TO)
1802.07
1802.03
2692457
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.tag12.ucl--soft-66-100-0.wbo
? (TO)
1802.07
1802.03
2692354
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-dlx1c.ucl--soft-33-100-0.wbo
? (TO)
1802.07
1802.03
2692334
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-cache.inv10.ucl--soft-33-100-0.wbo
? (TO)
1802.07
1802.04
2692322
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.tag10.ucl--soft-33-100-0.wbo
? (TO)
1802.08
1802.04
2692342
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf8.ucl--soft-33-100-0.wbo
? (TO)
1802.09
1802.03
2692440
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-dlx1c.rwmem1.ucl--soft-33-100-0.wbo
? (TO)
1802.1
1802.04
2692380
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-elf.rf8.ucl--soft-33-100-0.wbo
? (TO)
1802.1
1802.04
2692368
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf10.ucl--soft-66-100-0.wbo
? (TO)
1802.11
1802.03
2692470
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-elf.rf9.ucl--soft-66-100-0.wbo
? (TO)
1802.11
1802.03
2692338
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-6.ucl--soft-33-100-0.wbo
? (TO)
1802.16
1802.09
2692455
Category "only soft constraints, small integers, linear constraints" (SOFT-SMALLINT-LIN)
Solver found the best solution (113 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-11-10--soft-0-100-0.wbo
OPTIMUM
1
0.018996
0.020046
2692774
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-15-10--soft-0-100-0.wbo
OPTIMUM
2
0.023995
0.02462
2692780
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl10_11_pb.cnf.cr--soft-0-100-0.wbo
OPTIMUM
9
0.028994
0.0294291
2692692
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-21-20--soft-0-100-0.wbo
OPTIMUM
1
0.033994
0.0334849
2692770
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl10_15_pb.cnf.cr--soft-0-100-0.wbo
OPTIMUM
6
0.06099
0.0606999
2692723
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-25-20--soft-0-100-0.wbo
OPTIMUM
4
0.06199
0.0620191
2692798
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-31-30--soft-0-100-0.wbo
OPTIMUM
1
0.068988
0.069328
2692768
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_16_pb.cnf.cr--soft-0-100-0.wbo
OPTIMUM
8
0.090985
0.0913621
2692696
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-41-40--soft-0-100-0.wbo
OPTIMUM
1
0.12698
0.126309
2692726
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl10_20_pb.cnf.cr--soft-0-100-0.wbo
OPTIMUM
7
0.139977
0.140223
2692690
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-35-30--soft-0-100-0.wbo
OPTIMUM
3
0.140978
0.141148
2692792
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-elf.rf6.ucl--soft-0-100-0.wbo
OPTIMUM
2
0.174972
0.175054
2692617
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_25_pb.cnf.cr--soft-0-100-0.wbo
OPTIMUM
10
0.211967
0.214684
2692698
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_25_pb.cnf.cr--soft-0-100-0.wbo
OPTIMUM
10
0.233963
0.234003
2692713
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-45-40--soft-0-100-0.wbo
OPTIMUM
3
0.237963
0.238221
2692772
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-51-50--soft-0-100-0.wbo
OPTIMUM
1
0.25596
0.256187
2692784
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_31_pb.cnf.cr--soft-0-100-0.wbo
OPTIMUM
5
0.286955
0.286555
2692709
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_36_pb.cnf.cr--soft-0-100-0.wbo
OPTIMUM
5
0.336947
0.33647
2692719
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_21_pb.cnf.cr--soft-0-100-0.wbo
OPTIMUM
2
0.338947
0.339584
2692684
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_30_pb.cnf.cr--soft-0-100-0.wbo
OPTIMUM
9
0.411936
0.411338
2692702
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-55-50--soft-0-100-0.wbo
OPTIMUM
2
0.448931
0.448746
2692725
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-61-60--soft-0-100-0.wbo
OPTIMUM
1
0.528919
0.529227
2692778
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-71-70--soft-0-100-0.wbo
OPTIMUM
1
0.549915
0.54992
2692767
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_20_pb.cnf.cr--soft-0-100-0.wbo
OPTIMUM
17
0.571912
0.57203
2692682
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-65-60--soft-0-100-0.wbo
OPTIMUM
1
0.608906
0.608426
2692796
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_45_pb.cnf.cr--soft-0-100-0.wbo
OPTIMUM
10
0.759883
0.759526
2692700
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-75-70--soft-0-100-0.wbo
OPTIMUM
1
0.933857
0.934644
2692782
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-81-80--soft-0-100-0.wbo
OPTIMUM
1
1.04584
1.04568
2692786
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-85-80--soft-0-100-0.wbo
OPTIMUM
1
1.18782
1.18837
2692776
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_40_pb.cnf.cr--soft-0-100-0.wbo
OPTIMUM
8
1.27381
1.27347
2692688
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-91-90--soft-0-100-0.wbo
OPTIMUM
1
1.3038
1.30704
2692794
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110976157--soft-0-100-0.wbo
OPTIMUM
9
1.42478
1.42502
2692904
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110977780--soft-0-100-0.wbo
OPTIMUM
10
1.44378
1.44518
2692925
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-95-90--soft-0-100-0.wbo
OPTIMUM
1
1.63975
1.63937
2692730
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-101-100--soft-0-100-0.wbo
OPTIMUM
1
1.66275
1.66347
2692788
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111221624--soft-0-100-0.wbo
OPTIMUM
2
1.76173
1.76193
2692828
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_35_pb.cnf.cr--soft-0-100-0.wbo
OPTIMUM
7
1.86671
1.86667
2692711
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111217392--soft-0-100-0.wbo
OPTIMUM
2
1.88471
1.88867
2692814
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_51_pb.cnf.cr--soft-0-100-0.wbo
OPTIMUM
3
1.9967
1.99683
2692717
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218024--soft-0-100-0.wbo
OPTIMUM
10
2.07168
2.07186
2692872
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111220019--soft-0-100-0.wbo
OPTIMUM
2
2.22166
2.22198
2692878
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110976935--soft-0-100-0.wbo
OPTIMUM
2
2.23366
2.23328
2692824
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-105-100--soft-0-100-0.wbo
OPTIMUM
1
2.25766
2.25733
2692790
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_41_pb.cnf.cr--soft-0-100-0.wbo
OPTIMUM
5
2.30465
2.30508
2692721
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111216411--soft-0-100-0.wbo
OPTIMUM
2
2.44363
2.44415
2692802
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110972154--soft-0-100-0.wbo
OPTIMUM
1
2.6006
2.60057
2692868
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110973364--soft-0-100-0.wbo
OPTIMUM
2
2.80257
2.80243
2692812
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110967523--soft-0-100-0.wbo
OPTIMUM
3
2.81057
2.81119
2692854
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111221203--soft-0-100-0.wbo
OPTIMUM
1
2.84757
2.84808
2692896
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_40_pb.cnf.cr--soft-0-100-0.wbo
OPTIMUM
10
2.92155
2.92201
2692715
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110968898--soft-0-100-0.wbo
OPTIMUM
3
2.95555
2.95507
2692882
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224059--soft-0-100-0.wbo
OPTIMUM
9
2.98354
2.98321
2692832
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111220767--soft-0-100-0.wbo
OPTIMUM
3
3.11453
3.11498
2692834
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110967729--soft-0-100-0.wbo
OPTIMUM
10
3.12452
3.12529
2692804
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111228076--soft-0-100-0.wbo
OPTIMUM
3
3.22551
3.22561
2692900
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111213868--soft-0-100-0.wbo
OPTIMUM
2
3.34749
3.34748
2692890
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110966688--soft-0-100-0.wbo
OPTIMUM
9
3.41348
3.41292
2692864
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110969577--soft-0-100-0.wbo
OPTIMUM
4
3.44048
3.44027
2692846
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_60_pb.cnf.cr--soft-0-100-0.wbo
OPTIMUM
3
3.47547
3.47651
2692694
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111227012--soft-0-100-0.wbo
OPTIMUM
5
3.60845
3.60816
2692927
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111212476--soft-0-100-0.wbo
OPTIMUM
2
3.63745
3.63684
2692818
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218308--soft-0-100-0.wbo
OPTIMUM
1
3.79142
3.79133
2692860
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111217555--soft-0-100-0.wbo
OPTIMUM
1
3.9474
3.94731
2692800
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111220546--soft-0-100-0.wbo
OPTIMUM
2
4.09938
4.09972
2692876
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111226680--soft-0-100-0.wbo
OPTIMUM
3
4.17736
4.17811
2692826
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111227861--soft-0-100-0.wbo
OPTIMUM
7
4.31234
4.31337
2692830
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110973163--soft-0-100-0.wbo
OPTIMUM
16
4.32134
4.32157
2692810
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110975965--soft-0-100-0.wbo
OPTIMUM
1
4.34634
4.34698
2692908
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111216823--soft-0-100-0.wbo
OPTIMUM
1
4.5693
4.56967
2692870
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111227326--soft-0-100-0.wbo
OPTIMUM
2
4.68929
4.69255
2692906
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110970631--soft-0-100-0.wbo
OPTIMUM
16
4.79127
4.79126
2692852
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111219799--soft-0-100-0.wbo
OPTIMUM
9
4.80327
4.80278
2692894
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_50_pb.cnf.cr--soft-0-100-0.wbo
OPTIMUM
6
4.99924
5.00204
2692706
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_45_pb.cnf.cr--soft-0-100-0.wbo
OPTIMUM
4
5.08323
5.0827
2692686
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111225605--soft-0-100-0.wbo
OPTIMUM
2
5.15821
5.24415
2692929
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110971697--soft-0-100-0.wbo
OPTIMUM
1
5.50516
5.50544
2692820
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111223004--soft-0-100-0.wbo
OPTIMUM
1
5.55015
5.55173
2692806
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111222539--soft-0-100-0.wbo
OPTIMUM
2
5.98009
5.97999
2692931
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111213670--soft-0-100-0.wbo
OPTIMUM
10
6.00309
6.0034
2692880
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224929--soft-0-100-0.wbo
OPTIMUM
8
6.14706
6.1468
2692866
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111225122--soft-0-100-0.wbo
OPTIMUM
2
6.19006
6.18992
2692858
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111226368--soft-0-100-0.wbo
OPTIMUM
1
6.22905
6.2304
2692838
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110973670--soft-0-100-0.wbo
OPTIMUM
1
6.23005
6.23066
2692920
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110976730--soft-0-100-0.wbo
OPTIMUM
10
6.33104
6.33325
2692836
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111223220--soft-0-100-0.wbo
OPTIMUM
1
6.69398
6.69614
2692898
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224255--soft-0-100-0.wbo
OPTIMUM
1
6.89895
6.89863
2692918
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110968561--soft-0-100-0.wbo
OPTIMUM
3
6.92195
6.92202
2692923
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110978334--soft-0-100-0.wbo
OPTIMUM
9
7.2149
7.21526
2692892
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110970444--soft-0-100-0.wbo
OPTIMUM
8
7.41687
7.42115
2692842
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110975607--soft-0-100-0.wbo
OPTIMUM
9
9.2186
9.21866
2692884
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110969860--soft-0-100-0.wbo
OPTIMUM
1
9.34558
9.34496
2692808
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111212923--soft-0-100-0.wbo
OPTIMUM
3
9.49156
9.49116
2692816
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110971363--soft-0-100-0.wbo
OPTIMUM
4
9.55255
9.55377
2692902
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110972763--soft-0-100-0.wbo
OPTIMUM
1
9.67553
9.67482
2692886
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_55_pb.cnf.cr--soft-0-100-0.wbo
OPTIMUM
6
10.3134
10.3139
2692704
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111219348--soft-0-100-0.wbo
OPTIMUM
2
11.0093
11.009
2692914
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111226062--soft-0-100-0.wbo
OPTIMUM
3
12.1612
12.1604
2692848
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110977273--soft-0-100-0.wbo
OPTIMUM
1
12.7661
12.7867
2692850
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110967142--soft-0-100-0.wbo
OPTIMUM
9
13.02
13.0205
2692910
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110974180--soft-0-100-0.wbo
OPTIMUM
1
13.294
13.299
2692856
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111212272--soft-0-100-0.wbo
OPTIMUM
5
13.353
13.3542
2692297
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110974372--soft-0-100-0.wbo
OPTIMUM
36
14.1029
14.1027
2692844
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224451--soft-0-100-0.wbo
OPTIMUM
9
17.0684
17.0709
2692912
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218955--soft-0-100-0.wbo
OPTIMUM
9
21.5897
21.5915
2692294
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110968094--soft-0-100-0.wbo
OPTIMUM
9
27.3438
27.3481
2692862
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-floppy1-3.ucl--soft-0-100-0.wbo
OPTIMUM
4
28.5347
28.534
2692514
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110978113--soft-0-100-0.wbo
OPTIMUM
9
31.0423
31.0419
2692888
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111222257--soft-0-100-0.wbo
OPTIMUM
3
36.2835
36.2827
2692840
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110966483--soft-0-100-0.wbo
OPTIMUM
19
38.9861
38.9867
2692874
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110969170--soft-0-100-0.wbo
OPTIMUM
17
41.7307
41.7312
2692822
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218757--soft-0-100-0.wbo
OPTIMUM
20
44.2263
44.2266
2692916
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-floppy1-2.ucl--soft-0-100-0.wbo
OPTIMUM
2
62.5695
62.5671
2692597
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-floppy1-4.ucl--soft-0-100-0.wbo
OPTIMUM
18
1648.5
1648.47
2692503
Solver timed out but found at least a solution (76 runs)
[Show/Hide]
Benchmark Name
Answer
cost of falsified constraints
CPU time
Wall clock time
TraceID
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900546417--soft-0-100-0.wbo
MSAT (TO)
1
1800.16
1800.15
2692355
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900576927--soft-0-100-0.wbo
MSAT (TO)
1
1800.19
1800.15
2692343
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900563801--soft-0-100-0.wbo
MSAT (TO)
2
1800.2
1800.16
2692367
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900577940--soft-0-100-0.wbo
MSAT (TO)
1
1800.21
1800.17
2692406
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900558739--soft-0-100-0.wbo
MSAT (TO)
1
1800.21
1800.21
2692307
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900576151--soft-0-100-0.wbo
MSAT (TO)
1
1800.22
1800.16
2692424
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900561288--soft-0-100-0.wbo
MSAT (TO)
1
1800.22
1800.18
2692365
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900565534--soft-0-100-0.wbo
MSAT (TO)
1
1800.22
1800.2
2692361
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900574864--soft-0-100-0.wbo
MSAT (TO)
1
1800.22
1800.18
2692345
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900545610--soft-0-100-0.wbo
MSAT (TO)
1
1800.23
1800.19
2692403
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900559676--soft-0-100-0.wbo
MSAT (TO)
1
1800.23
1800.21
2692400
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900557957--soft-0-100-0.wbo
MSAT (TO)
4
1800.23
1800.18
2692377
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900573901--soft-0-100-0.wbo
MSAT (TO)
1
1800.23
1800.2
2692418
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900566157--soft-0-100-0.wbo
MSAT (TO)
3
1800.23
1800.2
2692388
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900581320--soft-0-100-0.wbo
MSAT (TO)
1
1800.23
1800.21
2692371
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900552288--soft-0-100-0.wbo
MSAT (TO)
1
1800.23
1800.19
2692318
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900576360--soft-0-100-0.wbo
MSAT (TO)
8
1800.23
1800.2
2692412
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900564281--soft-0-100-0.wbo
MSAT (TO)
21
1800.24
1800.2
2692458
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900575442--soft-0-100-0.wbo
MSAT (TO)
2
1800.24
1800.19
2692383
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900582300--soft-0-100-0.wbo
MSAT (TO)
2
1800.24
1800.18
2692379
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900544484--soft-0-100-0.wbo
MSAT (TO)
1
1800.24
1800.2
2692351
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900567985--soft-0-100-0.wbo
MSAT (TO)
1
1800.24
1800.18
2692305
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900551864--soft-0-100-0.wbo
MSAT (TO)
1
1800.24
1800.2
2692301
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900547389--soft-0-100-0.wbo
MSAT (TO)
2
1800.25
1800.19
2692309
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900557574--soft-0-100-0.wbo
MSAT (TO)
12
1800.25
1800.22
2692303
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900669797--soft-0-100-0.wbo
MSAT (TO)
1
1800.25
1800.21
2692409
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900670675--soft-0-100-0.wbo
MSAT (TO)
2
1800.25
1800.21
2692373
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900550006--soft-0-100-0.wbo
MSAT (TO)
1
1800.26
1800.18
2692325
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900553647--soft-0-100-0.wbo
MSAT (TO)
3
1800.26
1800.23
2692312
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900579996--soft-0-100-0.wbo
MSAT (TO)
2
1800.26
1800.22
2692381
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900562192--soft-0-100-0.wbo
MSAT (TO)
2
1800.26
1800.21
2692320
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900583053--soft-0-100-0.wbo
MSAT (TO)
1
1800.26
1800.22
2692466
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900667195--soft-0-100-0.wbo
MSAT (TO)
2
1800.27
1800.19
2692397
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900554072--soft-0-100-0.wbo
MSAT (TO)
5
1800.27
1800.21
2692331
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900548667--soft-0-100-0.wbo
MSAT (TO)
1
1800.27
1800.22
2692385
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900573137--soft-0-100-0.wbo
MSAT (TO)
1
1800.27
1800.23
2692349
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900556231--soft-0-100-0.wbo
MSAT (TO)
1
1800.28
1800.22
2692339
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900564824--soft-0-100-0.wbo
MSAT (TO)
9
1800.28
1800.23
2692316
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900563250--soft-0-100-0.wbo
MSAT (TO)
2
1800.28
1800.24
2692353
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900551347--soft-0-100-0.wbo
MSAT (TO)
2
1800.28
1800.24
2692327
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900558106--soft-0-100-0.wbo
MSAT (TO)
11
1800.28
1800.27
2692391
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900584106--soft-0-100-0.wbo
MSAT (TO)
10
1800.29
1800.23
2692369
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900670167--soft-0-100-0.wbo
MSAT (TO)
3
1800.3
1800.22
2692427
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900670234--soft-0-100-0.wbo
MSAT (TO)
1
1800.3
1800.23
2692329
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900568706--soft-0-100-0.wbo
MSAT (TO)
4
1800.31
1800.25
2692314
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900571132--soft-0-100-0.wbo
MSAT (TO)
3
1800.31
1800.51
2692341
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900553812--soft-0-100-0.wbo
MSAT (TO)
7
1800.31
1800.24
2692347
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900571761--soft-0-100-0.wbo
MSAT (TO)
12
1800.31
1800.25
2692359
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900546076--soft-0-100-0.wbo
MSAT (TO)
76
1800.31
1800.26
2692394
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900552423--soft-0-100-0.wbo
MSAT (TO)
6
1800.32
1800.33
2692299
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900570242--soft-0-100-0.wbo
MSAT (TO)
17
1800.35
1800.29
2692421
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900568186--soft-0-100-0.wbo
MSAT (TO)
14
1800.35
1800.29
2692335
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900557362--soft-0-100-0.wbo
MSAT (TO)
8
1800.35
1800.31
2692415
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900550720--soft-0-100-0.wbo
MSAT (TO)
130
1800.39
1800.36
2692357
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900554420--soft-0-100-0.wbo
MSAT (TO)
43
1800.41
1800.35
2692363
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900584219--soft-0-100-0.wbo
MSAT (TO)
83
1800.45
1800.41
2692461
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900567135--soft-0-100-0.wbo
MSAT (TO)
46
1800.46
1800.42
2692337
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-floppy1-7.ucl--soft-0-100-0.wbo
MSAT (TO)
24863
1800.55
1800.5
2692500
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-tlan2.ucl--soft-0-100-0.wbo
MSAT (TO)
21769
1800.56
1800.51
2692601
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-floppy1-8.ucl--soft-0-100-0.wbo
MSAT (TO)
31768
1800.6
1800.57
2692628
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900552735--soft-0-100-0.wbo
MSAT (TO)
51
1800.64
1800.62
2692375
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900569834--soft-0-100-0.wbo
MSAT (TO)
78
1800.72
1800.7
2692443
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf6.ucl--soft-0-100-0.wbo
MSAT (TO)
17255
1800.79
1800.74
2692626
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900567024--soft-0-100-0.wbo
MSAT (TO)
214
1800.81
1800.76
2692333
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-elf.rf7.ucl--soft-0-100-0.wbo
MSAT (TO)
14222
1800.83
1800.77
2692494
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.2.accl.ucl--soft-0-100-0.wbo
MSAT (TO)
23096
1800.84
1800.8
2692622
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-37s.smv--soft-0-100-0.wbo
MSAT (TO)
10087
1800.84
1800.79
2692638
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-46s.smv--soft-0-100-0.wbo
MSAT (TO)
18543
1800.85
1800.8
2692646
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-cache.inv8.ucl--soft-0-100-0.wbo
MSAT (TO)
14765
1800.98
1800.94
2692624
/SOFT-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j308_1-unsat--soft-0-100-0.wbo
MSAT (TO)
13390
1801.36
1801.29
2692661
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-43s.smv--soft-0-100-0.wbo
MSAT (TO)
34004
1801.46
1801.42
2692594
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.tag8.ucl--soft-0-100-0.wbo
MSAT (TO)
26113
1801.56
1801.54
2692486
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf7.ucl--soft-0-100-0.wbo
MSAT (TO)
27216
1802.08
1802.05
2692507
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-44s.smv--soft-0-100-0.wbo
MSAT (TO)
8472
1802.1
1802.05
2692483
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.4.accl.ucl--soft-0-100-0.wbo
MSAT (TO)
30653
1802.11
1802.05
2692632
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-floppy1-6.ucl--soft-0-100-0.wbo
MSAT (TO)
5738
1802.13
1802.09
2692497
Solver timed out (no solution given) (12 runs)
[Show/Hide]
Benchmark Name
Answer
cost of falsified constraints
CPU time
Wall clock time
TraceID
/SOFT-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j309_10-unsat--soft-0-100-0.wbo
? (TO)
1802.06
1802.03
2692648
/SOFT-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j3041_4-unsat--soft-0-100-0.wbo
? (TO)
1802.07
1802.02
2692653
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-elf.rf8.ucl--soft-0-100-0.wbo
? (TO)
1802.07
1802.05
2692630
/SOFT-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j602_7-unsat--soft-0-100-0.wbo
? (TO)
1802.07
1802.03
2692663
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-dlx1c.ucl--soft-0-100-0.wbo
? (TO)
1802.08
1802.04
2692584
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf8.ucl--soft-0-100-0.wbo
? (TO)
1802.08
1802.05
2692603
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.3.accl.ucl--soft-0-100-0.wbo
? (TO)
1802.09
1802.04
2692620
/SOFT-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j3029_8-unsat--soft-0-100-0.wbo
? (TO)
1802.09
1802.03
2692659
/SOFT-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j3046_4-unsat--soft-0-100-0.wbo
? (TO)
1802.09
1802.03
2692655
/SOFT-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j301_4-unsat--soft-0-100-0.wbo
? (TO)
1802.09
1802.03
2692650
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-22s.smv--soft-0-100-0.wbo
? (TO)
1802.1
1802.04
2692612
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-25s.smv--soft-0-100-0.wbo
? (TO)
1802.11
1802.04
2692471