PB'24 competition: WBO track: benchmarks results per solver
Result page for solver Sat4j Partial RoundingSAT 2024
2024-07-12
(complete)
Category "WBO, both soft and hard constraints, linear constraints" (PARTIAL-LIN)
Solver found the best solution (108 runs)
[Show/Hide]
Benchmark Name
Answer
cost of falsified constraints
CPU time
Wall clock time
TraceID
PB24/WBO/PARTIAL-LIN/wcsp/academics/
normalized-4wqueens_wcsp.wbo
OPTIMUM
0
0.322189
0.211644
4424325
PB24/WBO/PARTIAL-LIN/wcsp/spot5/
normalized-spot5-8_wcsp.wbo
OPTIMUM
2
0.331722
0.37327
4456539
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-11-10--soft-66-100-0.wbo
OPTIMUM
1
0.343227
0.250618
4424294
PB24/WBO/PARTIAL-LIN/PB06/web/uclid_pb_benchmarks/
normalized-elf.rf6.ucl--soft-33-100-0.wbo
OPTIMUM
1
0.365745
0.877295
4424307
PB24/WBO/PARTIAL-LIN/wcsp/academics/
normalized-4queens_wcsp.wbo
OPTIMUM
0
0.385223
0.258918
4424324
PB24/WBO/PARTIAL-LIN/wcsp/coloring/
normalized-geom40-6_wcsp.wbo
OPTIMUM
0
0.424816
0.263826
4424358
PB24/WBO/PARTIAL-LIN/wcsp/dimacs/
normalized-dubois20_ext.wbo
OPTIMUM
1
0.437129
0.273296
4424368
PB24/WBO/PARTIAL-LIN/wcsp/bwt/
normalized-bwt3c_wcsp.wbo
OPTIMUM
304
0.443707
0.274935
4424334
PB24/WBO/PARTIAL-LIN/wcsp/dimacs/
normalized-dubois21_ext.wbo
OPTIMUM
1
0.44412
0.290957
4424369
PB24/WBO/PARTIAL-LIN/wcsp/mprime/
normalized-mprime03bc_wcsp.wbo
OPTIMUM
353
0.460198
0.294302
4424415
PB24/WBO/PARTIAL-LIN/wcsp/mprime/
normalized-mprime03ac_wcsp.wbo
OPTIMUM
278
0.462385
0.300145
4424414
PB24/WBO/PARTIAL-LIN/wcsp/bwt/
normalized-bwt3cc_wcsp.wbo
OPTIMUM
153
0.471886
0.298623
4424333
PB24/WBO/PARTIAL-LIN/wcsp/depot/
normalized-depot01cc_wcsp.wbo
OPTIMUM
1982
0.494105
0.311698
4424365
PB24/WBO/PARTIAL-LIN/wcsp/dimacs/
normalized-ssa0432-003_ext.wbo
OPTIMUM
1
0.580351
0.345615
4424375
PB24/WBO/PARTIAL-LIN/wcsp/dimacs/
normalized-dubois28_ext.wbo
OPTIMUM
1
0.604469
0.36976
4424371
PB24/WBO/PARTIAL-LIN/wcsp/dimacs/
normalized-pret60_40_ext.wbo
OPTIMUM
1
0.620371
0.38336
4424374
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-75-70--soft-66-100-0.wbo
OPTIMUM
1
0.624043
0.71269
4424299
PB24/WBO/PARTIAL-LIN/wcsp/dimacs/
normalized-dubois23_ext.wbo
OPTIMUM
1
0.628201
0.390996
4424370
PB24/WBO/PARTIAL-LIN/wcsp/coloring/
normalized-geom40-5_wcsp.wbo
OPTIMUM
1
0.697381
0.458387
4424357
PB24/WBO/PARTIAL-LIN/wcsp/jnh/
normalized-jnh13_wcsp.wbo
OPTIMUM
109
0.818607
0.480545
4424400
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_40_pb.cnf.cr--soft-66-100-0.wbo
OPTIMUM
18
0.829013
0.950765
4424268
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl10_11_pb.cnf.cr--soft-33-100-0.wbo
OPTIMUM
3
0.965237
0.642391
4424263
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl10_15_pb.cnf.cr--soft-33-100-0.wbo
OPTIMUM
21
0.984104
0.626009
4424264
PB24/WBO/PARTIAL-LIN/wcsp/academics/
normalized-langford-2-4_wcsp.wbo
OPTIMUM
0
1.00624
0.619683
4424327
PB24/WBO/PARTIAL-LIN/wcsp/pedigree/
normalized-simple_wcsp.wbo
OPTIMUM
1
1.01501
0.634155
4424429
PB24/WBO/PARTIAL-LIN/wcsp/jnh/
normalized-jnh214_wcsp.wbo
OPTIMUM
75
1.02145
0.729412
4456569
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-25-20--soft-66-100-0.wbo
OPTIMUM
7
1.02211
0.668191
4424295
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl10_15_pb.cnf.cr--soft-66-100-0.wbo
OPTIMUM
58
1.12939
1.17021
4424265
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_25_pb.cnf.cr--soft-33-100-0.wbo
OPTIMUM
15
1.14771
0.712505
4424266
PB24/WBO/PARTIAL-LIN/wcsp/jnh/
normalized-jnh203_wcsp.wbo
OPTIMUM
39
1.18107
0.680552
4424402
PB24/WBO/PARTIAL-LIN/wcsp/dimacs/
normalized-ssa2670-141_ext.wbo
OPTIMUM
1
1.27521
0.695883
4424376
PB24/WBO/PARTIAL-LIN/wcsp/academics/
normalized-send_wcsp.wbo
OPTIMUM
0
1.28646
0.713791
4424328
PB24/WBO/PARTIAL-LIN/wcsp/dimacs/
normalized-pret150_25_ext.wbo
OPTIMUM
1
1.28978
0.726616
4424372
PB24/WBO/PARTIAL-LIN/wcsp/mprime/
normalized-mprime03cc_wcsp.wbo
OPTIMUM
326
1.29931
0.768084
4456279
PB24/WBO/PARTIAL-LIN/wcsp/driver/
normalized-driverlog01bc_wcsp.wbo
OPTIMUM
2413
1.31659
0.951105
4456379
PB24/WBO/PARTIAL-LIN/wcsp/bwt/
normalized-bwt4c_wcsp.wbo
OPTIMUM
456
1.42506
0.825841
4424337
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-65-60--soft-66-100-0.wbo
OPTIMUM
4
1.44233
1.45559
4424298
PB24/WBO/PARTIAL-LIN/wcsp/bwt/
normalized-bwt4bc_wcsp.wbo
OPTIMUM
301
1.47041
0.89145
4424335
PB24/WBO/PARTIAL-LIN/wcsp/jnh/
normalized-jnh06_wcsp.wbo
OPTIMUM
99
1.50591
0.827929
4456579
PB24/WBO/PARTIAL-LIN/wcsp/coloring/
normalized-geom30a-5_wcsp.wbo
OPTIMUM
1
1.51158
0.932289
4424355
PB24/WBO/PARTIAL-LIN/PB06/web/uclid_pb_benchmarks/
normalized-elf.rf7.ucl--soft-66-100-0.wbo
OPTIMUM
2
1.5574
1.51057
4424308
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-31-30--soft-66-100-0.wbo
OPTIMUM
1
1.60187
1.51281
4424296
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_41_pb.cnf.cr--soft-33-100-0.wbo
OPTIMUM
4
1.64621
1.68499
4424269
PB24/WBO/PARTIAL-LIN/wcsp/dimacs/
normalized-pret150_75_ext.wbo
OPTIMUM
1
1.66759
0.924852
4424373
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-85-80--soft-33-100-0.wbo
OPTIMUM
1
1.68588
1.55488
4424300
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_40_pb.cnf.cr--soft-33-100-0.wbo
OPTIMUM
14
1.69377
0.972229
4424267
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_45_pb.cnf.cr--soft-66-100-0.wbo
OPTIMUM
3
1.7069
0.997199
4424270
PB24/WBO/PARTIAL-LIN/wcsp/jnh/
normalized-jnh16_wcsp.wbo
OPTIMUM
6
1.73475
0.962388
4424401
PB24/WBO/PARTIAL-LIN/wcsp/dimacs/
normalized-bf0432-007_ext.wbo
OPTIMUM
1
1.75639
0.963681
4424367
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-95-90--soft-66-100-0.wbo
OPTIMUM
2
1.79968
1.65224
4424302
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-105-100--soft-33-100-0.wbo
OPTIMUM
3
1.90181
1.68454
4424293
PB24/WBO/PARTIAL-LIN/wcsp/academics/
normalized-zebra_wcsp.wbo
OPTIMUM
0
1.99657
1.11697
4424332
PB24/WBO/PARTIAL-LIN/wcsp/academics/
normalized-donald_wcsp.wbo
OPTIMUM
0
2.17176
1.18985
4424326
PB24/WBO/PARTIAL-LIN/wcsp/
rover/normalized-rovers02cc_wcsp.wbo
OPTIMUM
1587
2.21932
1.20642
4424433
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_55_pb.cnf.cr--soft-33-100-0.wbo
OPTIMUM
3
2.23851
1.92486
4424271
PB24/WBO/PARTIAL-LIN/PB06/web/uclid_pb_benchmarks/
normalized-46s.smv--soft-66-100-0.wbo
OPTIMUM
1
2.73013
2.15304
4424304
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_55_pb.cnf.cr--soft-66-100-0.wbo
OPTIMUM
15
2.73296
2.10682
4424272
PB24/WBO/PARTIAL-LIN/wcsp/
rover/normalized-rovers02ac_wcsp.wbo
OPTIMUM
1579
2.80849
1.4983
4424431
PB24/WBO/PARTIAL-LIN/wcsp/bwt/
normalized-bwt4cc_wcsp.wbo
OPTIMUM
531
3.19278
1.70691
4424336
PB24/WBO/PARTIAL-LIN/wcsp/jnh/
normalized-jnh05_wcsp.wbo
OPTIMUM
183
3.31692
1.77385
4424398
PB24/WBO/PARTIAL-LIN/wcsp/zenotravel/
normalized-zenotravel02cc_wcsp.wbo
OPTIMUM
724
3.53061
1.84738
4424474
PB24/WBO/PARTIAL-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-8.ucl--soft-66-100-0.wbo
OPTIMUM
4
3.67574
2.5716
4424305
PB24/WBO/PARTIAL-LIN/wcsp/jnh/
normalized-jnh309_wcsp.wbo
OPTIMUM
276
3.90769
2.11402
4424406
PB24/WBO/PARTIAL-LIN/PB06/web/uclid_pb_benchmarks/
normalized-43s.smv--soft-66-100-0.wbo
OPTIMUM
1
4.05695
2.75964
4424303
PB24/WBO/PARTIAL-LIN/wcsp/satellite/
normalized-satellite01bc_wcsp.wbo
OPTIMUM
1773
4.19044
2.199
4424436
PB24/WBO/PARTIAL-LIN/PB10/oliveras/j90/
normalized-j9015_10-unsat--soft-66-100-0.wbo
OPTIMUM
29
4.50148
2.39642
4424321
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-61-60--soft-33-100-0.wbo
OPTIMUM
1
4.54137
2.89859
4424297
PB24/WBO/PARTIAL-LIN/PB10/oliveras/j90/
normalized-j9012_2-unsat--soft-33-100-0.wbo
OPTIMUM
11
4.5787
2.70728
4424320
PB24/WBO/PARTIAL-LIN/wcsp/zenotravel/
normalized-zenotravel02bc_wcsp.wbo
OPTIMUM
2251
4.89322
2.57516
4424473
PB24/WBO/PARTIAL-LIN/wcsp/bwt/
normalized-bwt5cc_wcsp.wbo
OPTIMUM
866
4.91965
2.85163
4424340
PB24/WBO/PARTIAL-LIN/wcsp/satellite/
normalized-satellite01ac_wcsp.wbo
OPTIMUM
1494
5.59534
2.92525
4424435
PB24/WBO/PARTIAL-LIN/PB10/oliveras/j90/
normalized-j9039_3-unsat--soft-33-100-0.wbo
OPTIMUM
10
5.73666
3.76571
4424322
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-91-90--soft-33-100-0.wbo
OPTIMUM
1
6.02157
4.03296
4424301
PB24/WBO/PARTIAL-LIN/wcsp/jnh/
normalized-jnh11_wcsp.wbo
OPTIMUM
172
6.84259
3.97702
4424399
PB24/WBO/PARTIAL-LIN/wcsp/coloring/
normalized-geom40-3_wcsp.wbo
OPTIMUM
7
6.86666
3.66587
4424356
PB24/WBO/PARTIAL-LIN/PB10/oliveras/j120/
normalized-j1205_1-unsat--soft-66-100-0.wbo
OPTIMUM
17
6.89988
4.80603
4424315
PB24/WBO/PARTIAL-LIN/wcsp/depot/
normalized-depot01bc_wcsp.wbo
OPTIMUM
1794
7.23126
5.90646
4424364
PB24/WBO/PARTIAL-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf7.ucl--soft-66-100-0.wbo
OPTIMUM
1
9.15341
6.10004
4424311
PB24/WBO/PARTIAL-LIN/wcsp/bwt/
normalized-bwt5ac_wcsp.wbo
OPTIMUM
608
9.55028
5.2378
4424338
PB24/WBO/PARTIAL-LIN/wcsp/depot/
normalized-depot01ac_wcsp.wbo
OPTIMUM
1549
10.6314
8.86361
4424363
PB24/WBO/PARTIAL-LIN/wcsp/mprime/
normalized-mprime04cc_wcsp.wbo
OPTIMUM
896
11.0763
7.98669
4424419
PB24/WBO/PARTIAL-LIN/wcsp/jnh/
normalized-jnh304_wcsp.wbo
OPTIMUM
321
14.0219
10.3545
4424404
PB24/WBO/PARTIAL-LIN/wcsp/academics/
normalized-warehouse0_wcsp.wbo
OPTIMUM
328
14.0326
11.4103
4424330
PB24/WBO/PARTIAL-LIN/wcsp/bwt/
normalized-bwt6_wcsp.wbo
OPTIMUM
460
14.9291
11.4857
4424342
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110975607--soft-66-100-0.wbo
OPTIMUM
18
26.7625
23.4828
4424286
PB24/WBO/PARTIAL-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.4.accl.ucl--soft-33-100-0.wbo
OPTIMUM
1
28.8246
26.0284
4424309
PB24/WBO/PARTIAL-LIN/wcsp/pedigree/
normalized-pedck350l3_wcsp.wbo
OPTIMUM
0
32.3654
28.099
4424422
PB24/WBO/PARTIAL-LIN/wcsp/
rover/normalized-rovers02bc_wcsp.wbo
OPTIMUM
1552
44.3559
41.2471
4424432
PB24/WBO/PARTIAL-LIN/wcsp/
pedigree/normalized-eye_wcsp.wbo
OPTIMUM
1
49.3256
43.843
4456609
PB24/WBO/PARTIAL-LIN/wcsp/pedigree/
normalized-pedck350_wcsp.wbo
OPTIMUM
2
71.0697
65.6062
4424423
PB24/WBO/PARTIAL-LIN/wcsp/jnh/
normalized-jnh08_wcsp.wbo
OPTIMUM
462
80.803
77.0844
4456559
PB24/WBO/PARTIAL-LIN/PB10/oliveras/j30/
normalized-j3041_4-unsat--soft-66-100-0.wbo
OPTIMUM
5
162.034
156.715
4424318
PB24/WBO/PARTIAL-LIN/PB06/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-unbounded.Icl2arity.ucl--soft-66-100-0.wbo
OPTIMUM
1
216.099
209.74
4424306
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218955--soft-33-100-0.wbo
OPTIMUM
2
230.656
227.26
4424287
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111220019--soft-33-100-0.wbo
OPTIMUM
2
453.143
445.512
4424288
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110970444--soft-33-100-0.wbo
OPTIMUM
10
512.939
506.825
4424284
PB24/WBO/PARTIAL-LIN/wcsp/coloring/
normalized-dsjc125-1-5_wcsp.wbo
OPTIMUM
0
555.005
545.53
4424354
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111222257--soft-33-100-0.wbo
OPTIMUM
8
589.407
584.963
4424291
PB24/WBO/PARTIAL-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.tag12.ucl--soft-66-100-0.wbo
OPTIMUM
1
603.315
593.693
4424312
PB24/WBO/PARTIAL-LIN/wcsp/bwt/
normalized-bwt5bc_wcsp.wbo
OPTIMUM
338
836.579
832.361
4424339
PB24/WBO/PARTIAL-LIN/wcsp/satellite/
normalized-satellite02cc_wcsp.wbo
OPTIMUM
2086
938.623
930.882
4424441
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224059--soft-33-100-0.wbo
OPTIMUM
15
1067.77
1065.45
4424292
PB24/WBO/PARTIAL-LIN/wcsp/academics/
normalized-16wqueens_wcsp.wbo
OPTIMUM
2
1068.56
1061.82
4424323
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111221203--soft-33-100-0.wbo
OPTIMUM
2
1353.96
1352.17
4424290
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900559676--soft-66-100-0.wbo
OPTIMUM
1
1466.24
1448.41
4424277
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900551347--soft-66-100-0.wbo
OPTIMUM
11
1621.16
1604.38
4424274
PB24/WBO/PARTIAL-LIN/wcsp/zenotravel/
normalized-zenotravel04cc_wcsp.wbo
OPTIMUM
1555
2329.06
2319.9
4424478
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110970444--soft-66-100-0.wbo
OPTIMUM
80
2781.2
2774.85
4424285
Solver timed out but found at least a solution (75 runs)
[Show/Hide]
Benchmark Name
Answer
cost of falsified constraints
CPU time
Wall clock time
TraceID
PB24/WBO/PARTIAL-LIN/wcsp/spot5/
normalized-spot5-29_wcsp.wbo
MSAT (TO)
8059
3600.09
3604.05
4456549
PB24/WBO/PARTIAL-LIN/wcsp/zenotravel/
normalized-zenotravel04ac_wcsp.wbo
MSAT (TO)
4116
3600.11
3595.66
4424476
PB24/WBO/PARTIAL-LIN/wcsp/
celar/normalized-celar7-sub1_wcsp.wbo
MSAT (TO)
321635
3600.12
3596.37
4424349
PB24/WBO/PARTIAL-LIN/wcsp/mprime/
normalized-mprime01bc_wcsp.wbo
MSAT (TO)
259
3600.12
3612.56
4424411
PB24/WBO/PARTIAL-LIN/wcsp/driver/
normalized-driverlog02bc_wcsp.wbo
MSAT (TO)
2009
3600.13
3605.66
4424378
PB24/WBO/PARTIAL-LIN/wcsp/mprime/
normalized-mprime01cc_wcsp.wbo
MSAT (TO)
617
3600.13
3610.36
4424412
PB24/WBO/PARTIAL-LIN/wcsp/celar/
normalized-celar7-sub4-22_wcsp.wbo
MSAT (TO)
352742
3600.13
3603.86
4424351
PB24/WBO/PARTIAL-LIN/wcsp/driver/
normalized-driverlog04cc_wcsp.wbo
MSAT (TO)
2842
3600.14
3603.27
4456349
PB24/WBO/PARTIAL-LIN/wcsp/coloring/
normalized-le450-5a-2_wcsp.wbo
MSAT (TO)
2696
3600.14
3596.95
4424359
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900670675--soft-33-100-0.wbo
MSAT (TO)
1685
3600.15
3602.98
4424282
PB24/WBO/PARTIAL-LIN/wcsp/coloring/
normalized-dsjc125-1-4_wcsp.wbo
MSAT (TO)
60
3600.16
3580.98
4424353
PB24/WBO/PARTIAL-LIN/wcsp/scens/
normalized-scen06-30_wcsp.wbo
MSAT (TO)
4569
3600.16
3601.58
4424449
PB24/WBO/PARTIAL-LIN/wcsp/driver/
normalized-driverlog08cc_wcsp.wbo
MSAT (TO)
4027
3600.17
3611.86
4456339
PB24/WBO/PARTIAL-LIN/wcsp/zenotravel/
normalized-zenotravel04bc_wcsp.wbo
MSAT (TO)
3956
3600.17
3597.56
4424477
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900557362--soft-33-100-0.wbo
MSAT (TO)
39
3600.17
3580.9
4424276
PB24/WBO/PARTIAL-LIN/wcsp/pedigree/
normalized-wijsmanguo_wcsp.wbo
MSAT (TO)
28
3600.18
3366.91
4456599
PB24/WBO/PARTIAL-LIN/wcsp/mprime/
normalized-mprime04ac_wcsp.wbo
MSAT (TO)
568
3600.18
3587.96
4424417
PB24/WBO/PARTIAL-LIN/wcsp/
spot5/normalized-spot5-1506_wcsp.wbo
MSAT (TO)
395588
3600.18
3602.57
4456529
PB24/WBO/PARTIAL-LIN/wcsp/spot5/
normalized-spot5-505_wcsp.wbo
MSAT (TO)
22260
3600.19
3605.97
4424459
PB24/WBO/PARTIAL-LIN/wcsp/spot5/
normalized-spot5-503_wcsp.wbo
MSAT (TO)
11119
3600.2
3602.47
4424458
PB24/WBO/PARTIAL-LIN/wcsp/mprime/
normalized-mprime04bc_wcsp.wbo
MSAT (TO)
467
3600.2
3588.37
4424418
PB24/WBO/PARTIAL-LIN/wcsp/
celar/normalized-celar7-sub0_wcsp.wbo
MSAT (TO)
10917
3600.2
3598.77
4424348
PB24/WBO/PARTIAL-LIN/wcsp/satellite/
normalized-satellite02ac_wcsp.wbo
MSAT (TO)
1559
3600.2
3597.77
4424439
PB24/WBO/PARTIAL-LIN/wcsp/pedigree/
normalized-pedck1000_wcsp.wbo
MSAT (TO)
582
3600.22
3600.33
4456629
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900577940--soft-33-100-0.wbo
MSAT (TO)
3724
3600.22
3592.59
4424281
PB24/WBO/PARTIAL-LIN/wcsp/
spot5/normalized-spot5-1407_wcsp.wbo
MSAT (TO)
505652
3600.22
3599.99
4424453
PB24/WBO/PARTIAL-LIN/wcsp/spot5/
normalized-spot5-408_wcsp.wbo
MSAT (TO)
6233
3600.22
3598.13
4424455
PB24/WBO/PARTIAL-LIN/PB10/oliveras/j30/
normalized-j3029_8-unsat--soft-33-100-0.wbo
MSAT (TO)
473
3600.25
3542.39
4424316
PB24/WBO/PARTIAL-LIN/wcsp/logistics/
normalized-logistics01bc_wcsp.wbo
MSAT (TO)
7560
3600.26
3598.33
4424408
PB24/WBO/PARTIAL-LIN/wcsp/driver/
normalized-driverlog05cc_wcsp.wbo
MSAT (TO)
2641
3600.26
3587.94
4456369
PB24/WBO/PARTIAL-LIN/wcsp/warehouse/
normalized-cap101_wcsp.wbo
MSAT (TO)
7803465
3600.27
3598.62
4456459
PB24/WBO/PARTIAL-LIN/wcsp/
driver/normalized-driverlogs03_wcsp.wbo
MSAT (TO)
1177
3600.28
3594.45
4456389
PB24/WBO/PARTIAL-LIN/PB10/oliveras/j120/
normalized-j12013_1-unsat--soft-66-100-0.wbo
MSAT (TO)
9412
3600.29
3608.64
4424313
PB24/WBO/PARTIAL-LIN/wcsp/coloring/
normalized-queen5-5-4_wcsp.wbo
MSAT (TO)
13
3600.29
3570.01
4424362
PB24/WBO/PARTIAL-LIN/wcsp/logistics/
normalized-logistics01ac_wcsp.wbo
MSAT (TO)
8265
3600.29
3601.64
4424407
PB24/WBO/PARTIAL-LIN/wcsp/zenotravel/
normalized-zenotravel02ac_wcsp.wbo
MSAT (TO)
2401
3600.3
3594.84
4424472
PB24/WBO/PARTIAL-LIN/wcsp/warehouse/
normalized-cap42_wcsp.wbo
MSAT (TO)
9556215
3600.3
3600.72
4456469
PB24/WBO/PARTIAL-LIN/wcsp/warehouse/
normalized-cap111_wcsp.wbo
MSAT (TO)
8085538
3600.3
3599.54
4456419
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110967523--soft-33-100-0.wbo
MSAT (TO)
1305
3600.31
3589.86
4424283
PB24/WBO/PARTIAL-LIN/wcsp/driver/
normalized-driverlog04ac_wcsp.wbo
MSAT (TO)
1718
3600.32
3595.65
4456359
PB24/WBO/PARTIAL-LIN/wcsp/mprime/
normalized-mprime01ac_wcsp.wbo
MSAT (TO)
174
3600.32
3600.63
4456289
PB24/WBO/PARTIAL-LIN/wcsp/logistics/
normalized-logistics01cc_wcsp.wbo
MSAT (TO)
4198
3600.33
3600.27
4424409
PB24/WBO/PARTIAL-LIN/wcsp/coloring/
normalized-le450-5a-4_wcsp.wbo
MSAT (TO)
988
3600.34
3590.56
4424360
PB24/WBO/PARTIAL-LIN/PB10/oliveras/j120/
normalized-j12027_7-unsat--soft-33-100-0.wbo
MSAT (TO)
2993
3600.34
3608.86
4424314
PB24/WBO/PARTIAL-LIN/wcsp/scens/
normalized-scen07_10000_30r_wcsp.wbo
MSAT (TO)
6930186
3600.34
3590.54
4456309
PB24/WBO/PARTIAL-LIN/wcsp/driver/
normalized-driverlog08bc_wcsp.wbo
MSAT (TO)
2257
3600.35
3597.26
4424385
PB24/WBO/PARTIAL-LIN/wcsp/satellite/
normalized-satellite02bc_wcsp.wbo
MSAT (TO)
2211
3600.35
3588.75
4424440
PB24/WBO/PARTIAL-LIN/PB10/oliveras/j30/
normalized-j3029_8-unsat--soft-66-100-0.wbo
MSAT (TO)
422
3600.36
3575.58
4424317
PB24/WBO/PARTIAL-LIN/wcsp/
spot5/normalized-spot5-1403_wcsp.wbo
MSAT (TO)
500265
3600.36
3599.19
4456499
PB24/WBO/PARTIAL-LIN/wcsp/warehouse/
normalized-cap104_wcsp.wbo
MSAT (TO)
9340135
3600.37
3599.67
4456439
PB24/WBO/PARTIAL-LIN/wcsp/celar/
normalized-celar6-sub1-24_wcsp.wbo
MSAT (TO)
7172
3600.37
3582.77
4424344
PB24/WBO/PARTIAL-LIN/wcsp/warehouse/
normalized-capmo3_wcsp.wbo
MSAT (TO)
1223633
3600.37
3594.99
4456409
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900570242--soft-66-100-0.wbo
MSAT (TO)
16
3600.38
3566.32
4424279
PB24/WBO/PARTIAL-LIN/wcsp/
spot5/normalized-spot5-1405_wcsp.wbo
MSAT (TO)
499462
3600.38
3594.58
4456509
PB24/WBO/PARTIAL-LIN/wcsp/academics/
normalized-warehouse1_wcsp.wbo
MSAT (TO)
713073
3600.39
3594.57
4424331
PB24/WBO/PARTIAL-LIN/wcsp/driver/
normalized-driverlog02ac_wcsp.wbo
MSAT (TO)
1934
3600.39
3598.08
4456399
PB24/WBO/PARTIAL-LIN/wcsp/
celar/normalized-celar6-sub0_wcsp.wbo
MSAT (TO)
4525
3600.39
3588.68
4424343
PB24/WBO/PARTIAL-LIN/wcsp/driver/
normalized-driverlog04bc_wcsp.wbo
MSAT (TO)
1885
3600.39
3597.77
4424380
PB24/WBO/PARTIAL-LIN/wcsp/
academics/normalized-slangford-3-11_wcsp.wbo
MSAT (TO)
107
3600.39
3526.98
4424329
PB24/WBO/PARTIAL-LIN/wcsp/warehouse/
normalized-cap44_wcsp.wbo
MSAT (TO)
10324923
3600.4
3602.31
4424465
PB24/WBO/PARTIAL-LIN/wcsp/pedigree/
normalized-sheep4r-4-0_wcsp.wbo
MSAT (TO)
217
3600.41
3597.88
4456589
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900565534--soft-66-100-0.wbo
MSAT (TO)
487
3600.42
3584.33
4424278
PB24/WBO/PARTIAL-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl--soft-33-100-0.wbo
MSAT (TO)
14442
3600.43
3602.83
4424310
PB24/WBO/PARTIAL-LIN/wcsp/warehouse/
normalized-capmq1_wcsp.wbo
MSAT (TO)
3438412
3600.45
3594.74
4456489
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111220767--soft-33-100-0.wbo
MSAT (TO)
1289
3600.45
3586.31
4424289
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900550720--soft-33-100-0.wbo
MSAT (TO)
885
3600.45
3590.31
4424273
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900576360--soft-66-100-0.wbo
MSAT (TO)
416
3600.46
3590.14
4424280
PB24/WBO/PARTIAL-LIN/PB10/oliveras/j60/
normalized-j605_1-unsat--soft-33-100-0.wbo
MSAT (TO)
52
3600.47
3527.36
4424319
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900556231--soft-33-100-0.wbo
MSAT (TO)
1016
3600.49
3578.61
4424275
PB24/WBO/PARTIAL-LIN/wcsp/
spot5/normalized-spot5-1504_wcsp.wbo
MSAT (TO)
182333
3600.5
3592.13
4456519
PB24/WBO/PARTIAL-LIN/wcsp/pedigree/
normalized-sheep4r-4-1_wcsp.wbo
MSAT (TO)
28
3600.58
3576.42
4424427
PB24/WBO/PARTIAL-LIN/wcsp/warehouse/
normalized-capmo4_wcsp.wbo
MSAT (TO)
1136666
3600.58
3596.88
4456429
PB24/WBO/PARTIAL-LIN/wcsp/coloring/
normalized-myciel5g-5_wcsp.wbo
MSAT (TO)
14
3600.7
3185.4
4424361
PB24/WBO/PARTIAL-LIN/wcsp/warehouse/
normalized-capa_wcsp.wbo
MSAT (TO)
30418228
3600.85
3593.34
4456479
PB24/WBO/PARTIAL-LIN/wcsp/warehouse/
normalized-capc_wcsp.wbo
MSAT (TO)
23055786
3600.9
3590.98
4456449
Solver timed out (no solution given) (25 runs)
[Show/Hide]
Benchmark Name
Answer
cost of falsified constraints
CPU time
Wall clock time
TraceID
PB24/WBO/PARTIAL-LIN/wcsp/
celar/normalized-celar7-sub4_wcsp.wbo
? (TO)
3600.08
3603.44
4424352
PB24/WBO/PARTIAL-LIN/wcsp/scens/
normalized-scen06-24reduc_wcsp.wbo
? (TO)
3600.1
3595.86
4424446
PB24/WBO/PARTIAL-LIN/wcsp/scens/
normalized-scen06-18reduc_wcsp.wbo
? (TO)
3600.1
3607.06
4424442
PB24/WBO/PARTIAL-LIN/wcsp/scens/
normalized-scen06-22_wcsp.wbo
? (TO)
3600.12
3600.85
4424445
PB24/WBO/PARTIAL-LIN/wcsp/graphs/
normalized-graph12_wcsp.wbo
? (TO)
3600.12
3600.06
4424393
PB24/WBO/PARTIAL-LIN/wcsp/graphs/
normalized-graph11reducmore_wcsp.wbo
? (TO)
3600.12
3600.85
4424390
PB24/WBO/PARTIAL-LIN/wcsp/graphs/
normalized-graph05_wcsp.wbo
? (TO)
3600.14
3593.69
4424387
PB24/WBO/PARTIAL-LIN/wcsp/
scens/normalized-scen08reduc_wcsp.wbo
? (TO)
3600.14
3599.48
4456329
PB24/WBO/PARTIAL-LIN/wcsp/
celar/normalized-celar6-sub3_wcsp.wbo
? (TO)
3600.15
3601.06
4424346
PB24/WBO/PARTIAL-LIN/wcsp/scens/
normalized-scen07_wcsp.wbo
? (TO)
3600.16
3601.17
4456319
PB24/WBO/PARTIAL-LIN/wcsp/graphs/
normalized-graph11_wcsp.wbo
? (TO)
3600.16
3599.26
4424392
PB24/WBO/PARTIAL-LIN/wcsp/pedigree/
normalized-sheep4nr_wcsp.wbo
? (TO)
3600.18
3603.96
4424426
PB24/WBO/PARTIAL-LIN/wcsp/graphs/
normalized-graph07_wcsp.wbo
? (TO)
3600.18
3600.95
4424389
PB24/WBO/PARTIAL-LIN/wcsp/scens/
normalized-scen06-22reduc_wcsp.wbo
? (TO)
3600.21
3586.72
4424444
PB24/WBO/PARTIAL-LIN/wcsp/scens/
normalized-scen06-18_wcsp.wbo
? (TO)
3600.21
3591.79
4424443
PB24/WBO/PARTIAL-LIN/wcsp/graphs/
normalized-graph13_wcsp.wbo
? (TO)
3600.22
3601.08
4424396
PB24/WBO/PARTIAL-LIN/wcsp/
celar/normalized-celar6-sub4_wcsp.wbo
? (TO)
3600.23
3596.13
4424347
PB24/WBO/PARTIAL-LIN/wcsp/
celar/normalized-celar7-sub3_wcsp.wbo
? (TO)
3600.24
3592.83
4424350
PB24/WBO/PARTIAL-LIN/wcsp/graphs/
normalized-graph06_wcsp.wbo
? (TO)
3600.25
3593.42
4424388
PB24/WBO/PARTIAL-LIN/wcsp/
graphs/normalized-graph13reduc_wcsp.wbo
? (TO)
3600.25
3596.53
4424395
PB24/WBO/PARTIAL-LIN/wcsp/
graphs/normalized-graph11reduc_wcsp.wbo
? (TO)
3600.26
3597.65
4424391
PB24/WBO/PARTIAL-LIN/wcsp/scens/
normalized-scen06-16reduc_wcsp.wbo
? (TO)
3600.27
3592.26
4456299
PB24/WBO/PARTIAL-LIN/wcsp/graphs/
normalized-graph13reducmore_wcsp.wbo
? (TO)
3600.27
3601.84
4424394
PB24/WBO/PARTIAL-LIN/wcsp/pedigree/
normalized-sheep4r_wcsp.wbo
? (TO)
3600.29
3588.83
4456619
PB24/WBO/PARTIAL-LIN/wcsp/
celar/normalized-celar6-sub1_wcsp.wbo
? (TO)
3600.31
3585.02
4424345
Category "WBO, only soft constraints, linear constraints" (SOFT-LIN)
Solver found the best solution (47 runs)
[Show/Hide]
Benchmark Name
Answer
cost of falsified constraints
CPU time
Wall clock time
TraceID
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-55-50--soft-0-100-0.wbo
OPTIMUM
2
0.53335
0.320067
4456009
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-35-30--soft-0-100-0.wbo
OPTIMUM
3
0.885889
0.548686
4456029
PB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl10_11_pb.cnf.cr--soft-0-100-0.wbo
OPTIMUM
9
0.900945
0.577457
4455949
PB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_35_pb.cnf.cr--soft-0-100-0.wbo
OPTIMUM
7
0.936357
0.535002
4455979
PB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_50_pb.cnf.cr--soft-0-100-0.wbo
OPTIMUM
6
0.975465
0.563915
4455999
PB24/WBO/SOFT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-floppy1-3.ucl--soft-0-100-0.wbo
OPTIMUM
4
1.0003
0.662091
4455909
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-21-20--soft-0-100-0.wbo
OPTIMUM
1
1.06173
0.666348
4424513
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-65-60--soft-0-100-0.wbo
OPTIMUM
1
1.13278
0.692116
4456039
PB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl10_20_pb.cnf.cr--soft-0-100-0.wbo
OPTIMUM
7
1.17628
1.53716
4424480
PB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_16_pb.cnf.cr--soft-0-100-0.wbo
OPTIMUM
8
1.19206
1.54281
4424481
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-85-80--soft-0-100-0.wbo
OPTIMUM
1
1.24813
0.730389
4456019
PB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_40_pb.cnf.cr--soft-0-100-0.wbo
OPTIMUM
10
1.30683
0.753557
4455969
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-75-70--soft-0-100-0.wbo
OPTIMUM
1
1.54595
0.910439
4424517
PB24/WBO/SOFT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-44s.smv--soft-0-100-0.wbo
OPTIMUM
2
1.60737
1.64391
4455869
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-95-90--soft-0-100-0.wbo
OPTIMUM
1
1.70106
0.974073
4424519
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-51-50--soft-0-100-0.wbo
OPTIMUM
1
1.74523
0.953114
4456049
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-105-100--soft-0-100-0.wbo
OPTIMUM
1
1.80159
1.02519
4424510
PB24/WBO/SOFT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf6.ucl--soft-0-100-0.wbo
OPTIMUM
1
1.94499
1.09216
4455919
PB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_31_pb.cnf.cr--soft-0-100-0.wbo
OPTIMUM
5
1.95917
1.88263
4424485
PB24/WBO/SOFT-LIN/PB10/oliveras/j30/
normalized-j308_1-unsat--soft-0-100-0.wbo
OPTIMUM
19
2.06238
1.17429
4424533
PB24/WBO/SOFT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-cache.inv8.ucl--soft-0-100-0.wbo
OPTIMUM
16
2.10406
1.97018
4424523
PB24/WBO/SOFT-LIN/PB10/oliveras/j60/
normalized-j602_7-unsat--soft-0-100-0.wbo
OPTIMUM
1
2.22657
1.94671
4424534
PB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_60_pb.cnf.cr--soft-0-100-0.wbo
OPTIMUM
3
2.97657
1.63884
4424489
PB24/WBO/SOFT-LIN/PB10/oliveras/j30/
normalized-j301_4-unsat--soft-0-100-0.wbo
OPTIMUM
8
3.13647
2.46274
4424532
PB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_41_pb.cnf.cr--soft-0-100-0.wbo
OPTIMUM
5
3.34634
1.81994
4455959
PB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_51_pb.cnf.cr--soft-0-100-0.wbo
OPTIMUM
3
4.39465
2.39546
4455989
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-71-70--soft-0-100-0.wbo
OPTIMUM
1
4.85596
3.51603
4424516
PB24/WBO/SOFT-LIN/PB10/oliveras/j60/
normalized-j6033_2-unsat--soft-0-100-0.wbo
OPTIMUM
20
6.72294
4.84287
4424535
PB24/WBO/SOFT-LIN/PB10/oliveras/j90/
normalized-j9010_6-unsat--soft-0-100-0.wbo
OPTIMUM
5
8.1846
5.49876
4456219
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111222539--soft-0-100-0.wbo
OPTIMUM
2
21.5687
18.3706
4424508
PB24/WBO/SOFT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.tag8.ucl--soft-0-100-0.wbo
OPTIMUM
1
37.6651
32.443
4455889
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111227326--soft-0-100-0.wbo
OPTIMUM
2
55.1566
51.1077
4456189
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110966483--soft-0-100-0.wbo
OPTIMUM
19
56.3127
52.7255
4456209
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224255--soft-0-100-0.wbo
OPTIMUM
1
56.4628
52.4746
4456149
PB24/WBO/SOFT-LIN/PB10/oliveras/j30/
normalized-j3041_4-unsat--soft-0-100-0.wbo
OPTIMUM
4
165.943
153.013
4456249
PB24/WBO/SOFT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf8.ucl--soft-0-100-0.wbo
OPTIMUM
1
197.942
190.197
4455899
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111221624--soft-0-100-0.wbo
OPTIMUM
2
269.238
265.932
4424507
PB24/WBO/SOFT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-tlan3.ucl--soft-0-100-0.wbo
OPTIMUM
1
297.01
288.641
4455929
PB24/WBO/SOFT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.tag10.ucl--soft-0-100-0.wbo
OPTIMUM
1
321.672
310.831
4455939
PB24/WBO/SOFT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-dlx1c.rwmem1.ucl--soft-0-100-0.wbo
OPTIMUM
1
503.134
498.459
4424524
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110975965--soft-0-100-0.wbo
OPTIMUM
1
574.183
568.664
4456169
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111212272--soft-0-100-0.wbo
OPTIMUM
5
642.898
634.294
4456159
PB24/WBO/SOFT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf10.ucl--soft-0-100-0.wbo
OPTIMUM
1
899.289
884.034
4455879
PB24/WBO/SOFT-LIN/PB10/oliveras/j90/
normalized-j9014_1-unsat--soft-0-100-0.wbo
OPTIMUM
2
939.317
929.856
4456229
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110967523--soft-0-100-0.wbo
OPTIMUM
3
1134.28
1132.25
4424500
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110971363--soft-0-100-0.wbo
OPTIMUM
4
1393.35
1389.27
4456199
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218955--soft-0-100-0.wbo
OPTIMUM
9
2798.15
2791.92
4456179
Solver timed out but found at least a solution (13 runs)
[Show/Hide]
Benchmark Name
Answer
cost of falsified constraints
CPU time
Wall clock time
TraceID
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900551864--soft-0-100-0.wbo
MSAT (TO)
72
3600.14
3573.88
4456119
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900576151--soft-0-100-0.wbo
MSAT (TO)
39
3600.14
3581.88
4456089
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900547389--soft-0-100-0.wbo
MSAT (TO)
113
3600.17
3581.29
4456099
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900582300--soft-0-100-0.wbo
MSAT (TO)
52
3600.26
3564
4424498
PB24/WBO/SOFT-LIN/PB10/oliveras/j120/
normalized-j12013_1-unsat--soft-0-100-0.wbo
MSAT (TO)
63400
3600.3
3600.34
4456259
PB24/WBO/SOFT-LIN/PB10/oliveras/j120/
normalized-j12015_3-unsat--soft-0-100-0.wbo
MSAT (TO)
3120
3600.34
3588.79
4456269
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900551347--soft-0-100-0.wbo
MSAT (TO)
79
3600.37
3548.65
4456109
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900573137--soft-0-100-0.wbo
MSAT (TO)
38
3600.39
3582.58
4456059
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900550006--soft-0-100-0.wbo
MSAT (TO)
127
3600.4
3580.79
4456129
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900553812--soft-0-100-0.wbo
MSAT (TO)
25
3600.46
3577.53
4456079
PB24/WBO/SOFT-LIN/PB10/oliveras/j30/
normalized-j3029_8-unsat--soft-0-100-0.wbo
MSAT (TO)
281
3600.47
3553.44
4456239
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900552423--soft-0-100-0.wbo
MSAT (TO)
48
3600.48
3551.72
4456139
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900566157--soft-0-100-0.wbo
MSAT (TO)
91
3600.56
3582.28
4456069