PB'25 competition WBO: benchmarks results per solver

Benchmark Name	Answer	cost of falsified constraints	CPU time	Wall clock time	TraceID
PB24/WBO/PARTIAL-LIN/wcsp/academics/ normalized-langford-3-11_wcsp.wbo	UNSAT		382.593	383.756	4525861

Benchmark Name	Answer	cost of falsified constraints	CPU time	Wall clock time	TraceID
PB24/WBO/PARTIAL-LIN/wcsp/driver/ normalized-driverlog02ac_wcsp.wbo	OPTIMUM	1934	357.518	360.864	4526077
PB24/WBO/PARTIAL-LIN/wcsp/academics/ normalized-zebra_wcsp.wbo	OPTIMUM	0	358.169	360.173	4525834
PB24/WBO/PARTIAL-LIN/wcsp/mprime/ normalized-mprime01ac_wcsp.wbo	OPTIMUM	174	358.349	360.419	4525546
PB24/WBO/PARTIAL-LIN/PB10/oliveras/j30/ normalized-j308_1-unsat--soft-66-100-0.wbo	OPTIMUM	83	358.573	360.119	4525483
PB24/WBO/PARTIAL-LIN/wcsp/jnh/ normalized-jnh205_wcsp.wbo	OPTIMUM	0	358.589	360.02	4526446
PB24/WBO/PARTIAL-LIN/wcsp/academics/ normalized-langford-3-9_wcsp.wbo	OPTIMUM	0	358.594	360.326	4525852
PB24/WBO/PARTIAL-LIN/wcsp/bwt/ normalized-bwt4cc_wcsp.wbo	OPTIMUM	531	358.639	360.151	4526275
PB24/WBO/PARTIAL-LIN/wcsp/mprime/ normalized-mprime03ac_wcsp.wbo	OPTIMUM	278	358.655	360.011	4525600
PB24/WBO/PARTIAL-LIN/PB10/oliveras/j90/ normalized-j9010_6-unsat--soft-66-100-0.wbo	OPTIMUM	9	358.694	360.719	4525465
PB24/WBO/PARTIAL-LIN/wcsp/mprime/ normalized-mprime01bc_wcsp.wbo	OPTIMUM	244	358.714	360.262	4525564
PB24/WBO/PARTIAL-LIN/wcsp/mprime/ normalized-mprime03bc_wcsp.wbo	OPTIMUM	353	358.725	360.017	4525582
PB24/WBO/PARTIAL-LIN/wcsp/depot/ normalized-depot01ac_wcsp.wbo	OPTIMUM	1549	358.74	360.035	4526095
PB24/WBO/PARTIAL-LIN/wcsp/zenotravel/ normalized-zenotravel04cc_wcsp.wbo	OPTIMUM	1555	358.79	360.319	4526833
PB24/WBO/PARTIAL-LIN/wcsp/pedigree/ normalized-simple_wcsp.wbo	OPTIMUM	1	358.814	360.018	4526509
PB24/WBO/PARTIAL-LIN/wcsp/ driver/normalized-driverlog01c_wcsp.wbo	OPTIMUM	1113	358.842	360.014	4526023
PB24/WBO/PARTIAL-LIN/wcsp/mprime/ normalized-mprime03cc_wcsp.wbo	OPTIMUM	326	358.859	360.013	4525537
PB24/WBO/PARTIAL-LIN/wcsp/zenotravel/ normalized-zenotravel04ac_wcsp.wbo	OPTIMUM	4116	358.875	360.306	4526806
PB24/WBO/PARTIAL-LIN/wcsp/coloring/ normalized-geom30a-6_wcsp.wbo	OPTIMUM	0	358.877	360.008	4526572
PB24/WBO/PARTIAL-LIN/wcsp/ rover/normalized-rovers02bc_wcsp.wbo	OPTIMUM	1552	358.891	360.082	4526788
PB24/WBO/PARTIAL-LIN/wcsp/mprime/ normalized-mprime04ac_wcsp.wbo	OPTIMUM	562	358.898	360.475	4525528
PB24/WBO/PARTIAL-LIN/wcsp/jnh/ normalized-jnh220_wcsp.wbo	OPTIMUM	0	358.918	360.019	4526455
PB24/WBO/PARTIAL-LIN/wcsp/mprime/ normalized-mprime04bc_wcsp.wbo	OPTIMUM	467	358.919	360.481	4525573
PB24/WBO/PARTIAL-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-3.ucl--soft-66-100-0.wbo	OPTIMUM	1	358.949	360.007	4525051
PB24/WBO/PARTIAL-LIN/wcsp/pedigree/ normalized-sobel_wcsp.wbo	OPTIMUM	0	358.95	360.009	4526491
PB24/WBO/PARTIAL-LIN/wcsp/bwt/ normalized-bwt6_wcsp.wbo	OPTIMUM	460	358.954	360.963	4526248
PB24/WBO/PARTIAL-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.tag8.ucl--soft-66-100-0.wbo	OPTIMUM	2	358.975	360.195	4524997
PB24/WBO/PARTIAL-LIN/wcsp/zenotravel/ normalized-zenotravel02cc_wcsp.wbo	OPTIMUM	724	359.003	360.079	4526851
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-51-50--soft-66-100-0.wbo	OPTIMUM	1	359.009	360.05	4525168
PB24/WBO/PARTIAL-LIN/wcsp/pedigree/ normalized-pedck60-L2_wcsp.wbo	OPTIMUM	2	359.016	360.669	4526545
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl20_30_pb.cnf.cr--soft-66-100-0.wbo	OPTIMUM	8	359.023	360.017	4525114
PB24/WBO/PARTIAL-LIN/wcsp/academics/ normalized-4queens_wcsp.wbo	OPTIMUM	0	359.024	360.009	4525825
PB24/WBO/PARTIAL-LIN/wcsp/academics/ normalized-8wqueens_wcsp.wbo	OPTIMUM	2	359.03	360.008	4525870
PB24/WBO/PARTIAL-LIN/wcsp/zenotravel/ normalized-zenotravel02ac_wcsp.wbo	OPTIMUM	2401	359.032	360.075	4526842
PB24/WBO/PARTIAL-LIN/wcsp/coloring/ normalized-geom30a-4_wcsp.wbo	OPTIMUM	4	359.033	360.051	4526563
PB24/WBO/PARTIAL-LIN/wcsp/driver/ normalized-driverlog04cc_wcsp.wbo	OPTIMUM	2842	359.039	360.531	4526014
PB24/WBO/PARTIAL-LIN/wcsp/mprime/ normalized-mprime04cc_wcsp.wbo	OPTIMUM	896	359.043	360.498	4525555
PB24/WBO/PARTIAL-LIN/wcsp/driver/ normalized-driverlog01bc_wcsp.wbo	OPTIMUM	2413	359.055	360.014	4526041
PB24/WBO/PARTIAL-LIN/PB10/oliveras/j90/ normalized-j9028_2-unsat--soft-66-100-0.wbo	OPTIMUM	20	359.063	360.852	4525474
PB24/WBO/PARTIAL-LIN/wcsp/bwt/ normalized-bwt5bc_wcsp.wbo	OPTIMUM	338	359.069	360.384	4526257
PB24/WBO/PARTIAL-LIN/PB06/web/uclid_pb_benchmarks/ normalized-46s.smv--soft-33-100-0.wbo	OPTIMUM	1	359.078	360.105	4525006
PB24/WBO/PARTIAL-LIN/wcsp/jnh/ normalized-jnh210_wcsp.wbo	OPTIMUM	0	359.079	360.016	4526392
PB24/WBO/PARTIAL-LIN/wcsp/bwt/ normalized-bwt4c_wcsp.wbo	OPTIMUM	456	359.084	360.085	4526266
PB24/WBO/PARTIAL-LIN/wcsp/ rover/normalized-rovers02ac_wcsp.wbo	OPTIMUM	1579	359.088	360.09	4526797
PB24/WBO/PARTIAL-LIN/wcsp/jnh/ normalized-jnh10_wcsp.wbo	OPTIMUM	85	359.095	360.022	4526437
PB24/WBO/PARTIAL-LIN/wcsp/depot/ normalized-depot01bc_wcsp.wbo	OPTIMUM	1794	359.096	360.035	4526086
PB24/WBO/PARTIAL-LIN/wcsp/jnh/ normalized-jnh216_wcsp.wbo	OPTIMUM	12	359.097	360.024	4526383
PB24/WBO/PARTIAL-LIN/wcsp/dimacs/ normalized-pret150_40_ext.wbo	OPTIMUM	1	359.106	360.031	4525933
PB24/WBO/PARTIAL-LIN/wcsp/logistics/ normalized-logistics01bc_wcsp.wbo	OPTIMUM	7560	359.107	360.073	4525879
PB24/WBO/PARTIAL-LIN/wcsp/bwt/ normalized-bwt3c_wcsp.wbo	OPTIMUM	304	359.109	360.009	4526239
PB24/WBO/PARTIAL-LIN/wcsp/dimacs/ normalized-dubois20_ext.wbo	OPTIMUM	1	359.111	360.006	4525906
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl20_25_pb.cnf.cr--soft-33-100-0.wbo	OPTIMUM	17	359.112	360.015	4525159
PB24/WBO/PARTIAL-LIN/wcsp/bwt/ normalized-bwt3cc_wcsp.wbo	OPTIMUM	153	359.114	360.009	4526230
PB24/WBO/PARTIAL-LIN/wcsp/dimacs/ normalized-pret60_60_ext.wbo	OPTIMUM	1	359.119	360.017	4525969
PB24/WBO/PARTIAL-LIN/wcsp/satellite/ normalized-satellite01ac_wcsp.wbo	OPTIMUM	1494	359.134	360.178	4526761
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-21-20--soft-33-100-0.wbo	OPTIMUM	1	359.135	360.011	4525240
PB24/WBO/PARTIAL-LIN/wcsp/logistics/ normalized-logistics01ac_wcsp.wbo	OPTIMUM	8265	359.137	360.076	4525888
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218757--soft-33-100-0.wbo	OPTIMUM	24	359.139	360.159	4525366
PB24/WBO/PARTIAL-LIN/wcsp/dimacs/ normalized-pret150_75_ext.wbo	OPTIMUM	1	359.139	360.025	4525924
PB24/WBO/PARTIAL-LIN/PB10/oliveras/j60/ normalized-j606_1-unsat--soft-66-100-0.wbo	OPTIMUM	25	359.14	360.256	4525447
PB24/WBO/PARTIAL-LIN/wcsp/bwt/ normalized-bwt4bc_wcsp.wbo	OPTIMUM	301	359.149	360.084	4526203
PB24/WBO/PARTIAL-LIN/wcsp/ rover/normalized-rovers02cc_wcsp.wbo	OPTIMUM	1587	359.153	360.073	4526779
PB24/WBO/PARTIAL-LIN/wcsp/academics/ normalized-warehouse0_wcsp.wbo	OPTIMUM	328	359.16	360.005	4525798
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110966688--soft-33-100-0.wbo	OPTIMUM	2	359.163	360.042	4525429
PB24/WBO/PARTIAL-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf6.ucl--soft-66-100-0.wbo	OPTIMUM	9	359.171	360.007	4525060
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111213670--soft-66-100-0.wbo	OPTIMUM	80	359.171	360.153	4525411
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl10_15_pb.cnf.cr--soft-33-100-0.wbo	OPTIMUM	21	359.174	360.006	4525096
PB24/WBO/PARTIAL-LIN/wcsp/dimacs/ normalized-dubois26_ext.wbo	OPTIMUM	1	359.177	360.012	4525978
PB24/WBO/PARTIAL-LIN/wcsp/coloring/ normalized-geom40-5_wcsp.wbo	OPTIMUM	1	359.179	360.01	4526590
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-61-60--soft-33-100-0.wbo	OPTIMUM	1	359.183	360.054	4525204
PB24/WBO/PARTIAL-LIN/wcsp/jnh/ normalized-jnh08_wcsp.wbo	OPTIMUM	462	359.187	360.108	4526374
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl50_51_pb.cnf.cr--soft-66-100-0.wbo	OPTIMUM	12	359.187	360.088	4525105
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-25-20--soft-66-100-0.wbo	OPTIMUM	7	359.191	360.008	4525213
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl10_15_pb.cnf.cr--soft-66-100-0.wbo	OPTIMUM	58	359.195	360.006	4525150
PB24/WBO/PARTIAL-LIN/PB10/oliveras/j120/ normalized-j12015_3-unsat--soft-66-100-0.wbo	OPTIMUM	30	359.196	360.799	4525510
PB24/WBO/PARTIAL-LIN/wcsp/mprime/ normalized-mprime01cc_wcsp.wbo	OPTIMUM	603	359.202	360.403	4525591
PB24/WBO/PARTIAL-LIN/wcsp/zenotravel/ normalized-zenotravel02bc_wcsp.wbo	OPTIMUM	2251	359.21	360.078	4526824
PB24/WBO/PARTIAL-LIN/wcsp/ driver/normalized-driverlogs03_wcsp.wbo	OPTIMUM	1177	359.214	360.249	4526050
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl40_41_pb.cnf.cr--soft-33-100-0.wbo	OPTIMUM	4	359.217	360.053	4525087
PB24/WBO/PARTIAL-LIN/wcsp/dimacs/ normalized-pret60_75_ext.wbo	OPTIMUM	1	359.221	360.012	4525951
PB24/WBO/PARTIAL-LIN/wcsp/coloring/ normalized-geom30a-3_wcsp.wbo	OPTIMUM	11	359.235	360.362	4526635
PB24/WBO/PARTIAL-LIN/wcsp/satellite/ normalized-satellite01bc_wcsp.wbo	OPTIMUM	1773	359.235	360.143	4526734
PB24/WBO/PARTIAL-LIN/wcsp/driver/ normalized-driverlog01cc_wcsp.wbo	OPTIMUM	1045	359.236	360.014	4526032
PB24/WBO/PARTIAL-LIN/wcsp/dimacs/ normalized-pret150_60_ext.wbo	OPTIMUM	1	359.237	360.025	4525987
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-31-30--soft-66-100-0.wbo	OPTIMUM	1	359.238	360.018	4525249
PB24/WBO/PARTIAL-LIN/wcsp/academics/ normalized-langford-2-4_wcsp.wbo	OPTIMUM	0	359.24	360.006	4525789
PB24/WBO/PARTIAL-LIN/wcsp/ spot5/normalized-spot5-1502_wcsp.wbo	OPTIMUM	28042	359.243	360.118	4526302
PB24/WBO/PARTIAL-LIN/wcsp/jnh/ normalized-jnh201_wcsp.wbo	OPTIMUM	0	359.251	360.018	4526428
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110978334--soft-66-100-0.wbo	OPTIMUM	63	359.252	360.077	4525384
PB24/WBO/PARTIAL-LIN/wcsp/jnh/ normalized-jnh13_wcsp.wbo	OPTIMUM	109	359.254	360.019	4526410
PB24/WBO/PARTIAL-LIN/wcsp/dimacs/ normalized-pret60_40_ext.wbo	OPTIMUM	1	359.255	360.011	4525915
PB24/WBO/PARTIAL-LIN/wcsp/dimacs/ normalized-dubois24_ext.wbo	OPTIMUM	1	359.262	360.007	4525960
PB24/WBO/PARTIAL-LIN/wcsp/jnh/ normalized-jnh218_wcsp.wbo	OPTIMUM	0	359.263	360.02	4526419
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl20_30_pb.cnf.cr--soft-33-100-0.wbo	OPTIMUM	13	359.27	360.024	4525078
PB24/WBO/PARTIAL-LIN/wcsp/dimacs/ normalized-dubois25_ext.wbo	OPTIMUM	1	359.275	360.007	4525942
PB24/WBO/PARTIAL-LIN/wcsp/zenotravel/ normalized-zenotravel04bc_wcsp.wbo	OPTIMUM	3956	359.281	360.297	4526815
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-15-10--soft-33-100-0.wbo	OPTIMUM	2	359.283	360.006	4525186
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-65-60--soft-33-100-0.wbo	OPTIMUM	1	359.286	360.07	4525177
PB24/WBO/PARTIAL-LIN/wcsp/coloring/ normalized-le450-5a-5_wcsp.wbo	OPTIMUM	0	359.29	360.727	4526554
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl30_31_pb.cnf.cr--soft-66-100-0.wbo	OPTIMUM	3	359.292	360.037	4525123
PB24/WBO/PARTIAL-LIN/wcsp/academics/ normalized-send_wcsp.wbo	OPTIMUM	0	359.294	360.129	4525807
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl40_50_pb.cnf.cr--soft-66-100-0.wbo	OPTIMUM	5	359.296	360.088	4525132
PB24/WBO/PARTIAL-LIN/wcsp/depot/ normalized-depot01cc_wcsp.wbo	OPTIMUM	1982	359.296	360.033	4526104
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl15_16_pb.cnf.cr--soft-33-100-0.wbo	OPTIMUM	3	359.299	360.012	4525141
PB24/WBO/PARTIAL-LIN/wcsp/logistics/ normalized-logistics01cc_wcsp.wbo	OPTIMUM	4198	359.301	360.043	4525897
PB24/WBO/PARTIAL-LIN/wcsp/bwt/ normalized-bwt5ac_wcsp.wbo	OPTIMUM	608	359.31	360.346	4526221
PB24/WBO/PARTIAL-LIN/wcsp/driver/ normalized-driverlog05ac_wcsp.wbo	OPTIMUM	1278	359.371	360.732	4526005
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-71-70--soft-66-100-0.wbo	OPTIMUM	1	359.371	360.126	4525231
PB24/WBO/PARTIAL-LIN/PB06/web/uclid_pb_benchmarks/ normalized-22s.smv--soft-33-100-0.wbo	OPTIMUM	1	359.371	360.508	4525033
PB24/WBO/PARTIAL-LIN/wcsp/pedigree/ normalized-pedck60-L12_wcsp.wbo	OPTIMUM	6	359.372	360.713	4526482
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-81-80--soft-33-100-0.wbo	OPTIMUM	1	359.376	360.158	4525222
PB24/WBO/PARTIAL-LIN/wcsp/bwt/ normalized-bwt5cc_wcsp.wbo	OPTIMUM	866	359.381	360.732	4526212
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-105-100--soft-33-100-0.wbo	OPTIMUM	3	359.414	360.237	4525195
PB24/WBO/PARTIAL-LIN/wcsp/academics/ normalized-warehouse1_wcsp.wbo	OPTIMUM	674555	359.448	360.153	4525816
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111217392--soft-33-100-0.wbo	OPTIMUM	2	359.474	360.282	4525348
PB24/WBO/PARTIAL-LIN/wcsp/driver/ normalized-driverlog04bc_wcsp.wbo	OPTIMUM	1885	359.524	360.807	4526068
PB24/WBO/PARTIAL-LIN/wcsp/satellite/ normalized-satellite02ac_wcsp.wbo	OPTIMUM	1559	359.538	361.192	4526752
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110967523--soft-33-100-0.wbo	OPTIMUM	8	359.558	360.54	4525420
PB24/WBO/PARTIAL-LIN/wcsp/spot5/ normalized-spot5-29_wcsp.wbo	OPTIMUM	8059	359.567	360.647	4526365
PB24/WBO/PARTIAL-LIN/PB10/oliveras/j90/ normalized-j907_8-unsat--soft-33-100-0.wbo	OPTIMUM	2	359.624	361.068	4525456
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110968898--soft-66-100-0.wbo	OPTIMUM	80	359.638	360.441	4525402
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111221624--soft-33-100-0.wbo	OPTIMUM	5	359.663	360.488	4525393
PB24/WBO/PARTIAL-LIN/wcsp/satellite/ normalized-satellite02cc_wcsp.wbo	OPTIMUM	2086	359.72	361.451	4526743
PB24/WBO/PARTIAL-LIN/wcsp/satellite/ normalized-satellite02bc_wcsp.wbo	OPTIMUM	2211	359.754	361.461	4526770
PB24/WBO/PARTIAL-LIN/PB06/web/uclid_pb_benchmarks/ normalized-dlx1c.rwmem1.ucl--soft-66-100-0.wbo	OPTIMUM	1	359.764	360.624	4525015
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111220546--soft-33-100-0.wbo	OPTIMUM	2	359.766	360.622	4525357
PB24/WBO/PARTIAL-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Icl2arity.ucl--soft-66-100-0.wbo	OPTIMUM	1	359.81	361.119	4524988
PB24/WBO/PARTIAL-LIN/wcsp/driver/ normalized-driverlog08cc_wcsp.wbo	OPTIMUM	4027	359.88	360.938	4525996
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111226680--soft-66-100-0.wbo	OPTIMUM	66	360.081	360.871	4525375
PB24/WBO/PARTIAL-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.tag10.ucl--soft-66-100-0.wbo	OPTIMUM	1	360.09	360.931	4525069
PB24/WBO/PARTIAL-LIN/wcsp/jnh/ normalized-jnh303_wcsp.wbo	OPTIMUM	351	360.59	361.578	4526401
PB24/WBO/PARTIAL-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf9.ucl--soft-33-100-0.wbo	OPTIMUM	1	361.007	362.083	4525042
PB24/WBO/PARTIAL-LIN/wcsp/spot5/ normalized-spot5-54_wcsp.wbo	OPTIMUM	37	361.169	362.079	4526293
PB24/WBO/PARTIAL-LIN/wcsp/ driver/normalized-driverlog09_wcsp.wbo	OPTIMUM	744	361.455	363.956	4526059
PB24/WBO/PARTIAL-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.tag12.ucl--soft-66-100-0.wbo	OPTIMUM	1	362.273	363.681	4525024
PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-cap103_wcsp.wbo	OPTIMUM	8654841	363.63	364.523	4526122
PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-cap104_wcsp.wbo	OPTIMUM	9026651	366.059	367.455	4526140
PB24/WBO/PARTIAL-LIN/wcsp/pedigree/ normalized-pedck350_wcsp.wbo	OPTIMUM	2	367.146	368.655	4526473
PB24/WBO/PARTIAL-LIN/wcsp/pedigree/ normalized-pedck350l2_wcsp.wbo	OPTIMUM	1	369.835	371.575	4526536
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900552735--soft-66-100-0.wbo	OPTIMUM	6	378.119	379.017	4525276
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900556231--soft-33-100-0.wbo	OPTIMUM	1	401.055	401.99	4525339
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900568186--soft-66-100-0.wbo	OPTIMUM	13	402.277	403.449	4525330
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900574864--soft-66-100-0.wbo	OPTIMUM	1	404.411	405.355	4525258
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900568186--soft-33-100-0.wbo	OPTIMUM	3	408.542	409.584	4525267
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900573137--soft-66-100-0.wbo	OPTIMUM	1	426.19	427.202	4525312
PB24/WBO/PARTIAL-LIN/wcsp/pedigree/ normalized-sheep4r-4-1_wcsp.wbo	OPTIMUM	0	430.704	432.266	4526518
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900556231--soft-66-100-0.wbo	OPTIMUM	1	438.465	439.508	4525294
PB24/WBO/PARTIAL-LIN/PB10/oliveras/j60/ normalized-j605_1-unsat--soft-33-100-0.wbo	OPTIMUM	1	451.423	452.756	4525438
PB24/WBO/PARTIAL-LIN/wcsp/pedigree/ normalized-sheep4r-4-0_wcsp.wbo	OPTIMUM	0	459.717	461.091	4526464
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900557362--soft-33-100-0.wbo	OPTIMUM	5	498.121	499.355	4525321
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900545610--soft-33-100-0.wbo	OPTIMUM	2	509.363	510.558	4525285
PB24/WBO/PARTIAL-LIN/wcsp/pedigree/ normalized-sheep4r-4-2_wcsp.wbo	OPTIMUM	1	567.31	569.387	4526500
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567985--soft-33-100-0.wbo	OPTIMUM	1	619.789	621.508	4525303
PB24/WBO/PARTIAL-LIN/PB10/oliveras/j120/ normalized-j12041_4-unsat--soft-33-100-0.wbo	OPTIMUM	3	788.136	791.455	4525501
PB24/WBO/PARTIAL-LIN/wcsp/scens/ normalized-scen07_10000_30r_wcsp.wbo	OPTIMUM	20	1470.08	1475.49	4525627
PB24/WBO/PARTIAL-LIN/wcsp/ academics/normalized-slangford-3-11_wcsp.wbo	OPTIMUM	54	1593.28	1598.17	4525843
PB24/WBO/PARTIAL-LIN/wcsp/coloring/ normalized-myciel5g-5_wcsp.wbo	OPTIMUM	1	2454.72	2462.14	4526608

Benchmark Name	Answer	cost of falsified constraints	CPU time	Wall clock time	TraceID
PB24/WBO/PARTIAL-LIN/wcsp/graphs/ normalized-graph11_wcsp.wbo	MSAT	117381	1145.84	1149.16	4526716
PB24/WBO/PARTIAL-LIN/wcsp/graphs/ normalized-graph13_wcsp.wbo	MSAT	165891	1258.26	1263.07	4526707
PB24/WBO/PARTIAL-LIN/wcsp/graphs/ normalized-graph12_wcsp.wbo	MSAT	13592	1815.52	1821.25	4526662
PB24/WBO/PARTIAL-LIN/wcsp/scens/ normalized-scen06_wcsp.wbo	MSAT	9403	2712.64	2719.7	4525645
PB24/WBO/PARTIAL-LIN/wcsp/graphs/ normalized-graph05_wcsp.wbo	MSAT	8575	3009.92	3019.2	4526689

Benchmark Name	Answer	cost of falsified constraints	CPU time	Wall clock time	TraceID
PB24/WBO/PARTIAL-LIN/wcsp/coloring/ normalized-myciel5g-4_wcsp.wbo	MSAT (TO)	4	3600.03	3609.41	4526617
PB24/WBO/PARTIAL-LIN/wcsp/spot5/ normalized-spot5-414_wcsp.wbo	MSAT (TO)	38487	3600.04	3611.13	4526284
PB24/WBO/PARTIAL-LIN/wcsp/ spot5/normalized-spot5-1504_wcsp.wbo	MSAT (TO)	162290	3600.06	3611.91	4526338
PB24/WBO/PARTIAL-LIN/wcsp/spot5/ normalized-spot5-412_wcsp.wbo	MSAT (TO)	32387	3600.06	3611.62	4526347
PB24/WBO/PARTIAL-LIN/wcsp/spot5/ normalized-spot5-28_wcsp.wbo	MSAT (TO)	270105	3600.06	3610.61	4526311
PB24/WBO/PARTIAL-LIN/wcsp/spot5/ normalized-spot5-509_wcsp.wbo	MSAT (TO)	36456	3600.07	3610.93	4526356
PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-capmo1_wcsp.wbo	MSAT (TO)	1222957	3600.07	3609.83	4526158
PB24/WBO/PARTIAL-LIN/wcsp/coloring/ normalized-dsjc125-1-4_wcsp.wbo	MSAT (TO)	19	3600.08	3610.61	4526581
PB24/WBO/PARTIAL-LIN/wcsp/spot5/ normalized-spot5-507_wcsp.wbo	MSAT (TO)	27399	3600.1	3611.61	4526320
PB24/WBO/PARTIAL-LIN/wcsp/coloring/ normalized-queen5-5-4_wcsp.wbo	MSAT (TO)	12	3600.1	3612.71	4526626
PB24/WBO/PARTIAL-LIN/PB10/oliveras/j120/ normalized-j12013_1-unsat--soft-66-100-0.wbo	MSAT (TO)	2830	3600.1	3612.78	4525519
PB24/WBO/PARTIAL-LIN/wcsp/scens/ normalized-scen06-30_wcsp.wbo	MSAT (TO)	3930	3600.1	3611.34	4525618
PB24/WBO/PARTIAL-LIN/wcsp/coloring/ normalized-le450-5a-3_wcsp.wbo	MSAT (TO)	1018	3600.12	3609.82	4526599
PB24/WBO/PARTIAL-LIN/wcsp/ spot5/normalized-spot5-1405_wcsp.wbo	MSAT (TO)	485419	3600.13	3610.36	4526329
PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-capmo2_wcsp.wbo	MSAT (TO)	1457256	3600.14	3610.93	4526194
PB24/WBO/PARTIAL-LIN/PB10/oliveras/j120/ normalized-j12026_5-unsat--soft-66-100-0.wbo	MSAT (TO)	4376	3600.15	3612.78	4525492
PB24/WBO/PARTIAL-LIN/wcsp/celar/ normalized-celar7-sub4-22_wcsp.wbo	MSAT (TO)	483457	3600.16	3613.85	4525717
PB24/WBO/PARTIAL-LIN/wcsp/celar/ normalized-celar6-sub4-20_wcsp.wbo	MSAT (TO)	3461	3600.16	3611.37	4525699
PB24/WBO/PARTIAL-LIN/wcsp/celar/ normalized-celar6-sub1-24_wcsp.wbo	MSAT (TO)	2900	3600.16	3611.5	4525735
PB24/WBO/PARTIAL-LIN/wcsp/celar/ normalized-celar7-sub1-20_wcsp.wbo	MSAT (TO)	132538	3600.18	3611.39	4525753
PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-capmp5_wcsp.wbo	MSAT (TO)	4780177	3600.18	3610.97	4526149
PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-capmp2_wcsp.wbo	MSAT (TO)	5080413	3600.25	3611.12	4526167
PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-capmo4_wcsp.wbo	MSAT (TO)	1321168	3600.26	3610.55	4526131
PB24/WBO/PARTIAL-LIN/wcsp/ celar/normalized-celar7-sub1_wcsp.wbo	MSAT (TO)	383440	3600.3	3610.83	4525744
PB24/WBO/PARTIAL-LIN/wcsp/scens/ normalized-scen06-24_wcsp.wbo	MSAT (TO)	5052	3600.34	3612.27	4525609
PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-capa_wcsp.wbo	MSAT (TO)	30832384	3600.39	3611.67	4526185
PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-capb_wcsp.wbo	MSAT (TO)	28798936	3600.42	3610.92	4526113
PB24/WBO/PARTIAL-LIN/wcsp/ celar/normalized-celar6-sub1_wcsp.wbo	MSAT (TO)	2912	3600.48	3612.81	4525780
PB24/WBO/PARTIAL-LIN/wcsp/ celar/normalized-celar7-sub3_wcsp.wbo	MSAT (TO)	553658	3600.56	3610.41	4525708
PB24/WBO/PARTIAL-LIN/wcsp/scens/ normalized-scen06-18_wcsp.wbo	MSAT (TO)	10206	3600.62	3613.28	4525663
PB24/WBO/PARTIAL-LIN/wcsp/ celar/normalized-celar6-sub2_wcsp.wbo	MSAT (TO)	4165	3600.63	3610.93	4525762
PB24/WBO/PARTIAL-LIN/wcsp/ celar/normalized-celar6-sub3_wcsp.wbo	MSAT (TO)	4782	3600.63	3610.95	4525726
PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-capmq4_wcsp.wbo	MSAT (TO)	12136921	3600.64	3612.63	4526176
PB24/WBO/PARTIAL-LIN/wcsp/graphs/ normalized-graph07_wcsp.wbo	MSAT (TO)	4884	3602.05	3613.47	4526644

Benchmark Name	Answer	cost of falsified constraints	CPU time	Wall clock time	TraceID
PB24/WBO/PARTIAL-LIN/wcsp/scens/ normalized-scen07_wcsp.wbo	MSAT (MO)	3177471	1124.06	1128.43	4525672
PB24/WBO/PARTIAL-LIN/wcsp/graphs/ normalized-graph06_wcsp.wbo	MSAT (MO)	18029	2534.1	2543.49	4526680
PB24/WBO/PARTIAL-LIN/wcsp/scens/ normalized-scen10_wcsp.wbo	MSAT (MO)	29430	2677.99	2687.49	4525690

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
PB24/WBO/PARTIAL-LIN/wcsp/scens/ normalized-scen06-20reduc_wcsp.wbo	? (TO)	3600.24	3611.37	4525636
PB24/WBO/PARTIAL-LIN/wcsp/scens/ normalized-scen06-18reduc_wcsp.wbo	? (TO)	3600.28	3612.16	4525654
PB24/WBO/PARTIAL-LIN/wcsp/celar/ normalized-celar6-sub4reduc_wcsp.wbo	? (TO)	3600.32	3612.87	4525771
PB24/WBO/PARTIAL-LIN/wcsp/ graphs/normalized-graph11reduc_wcsp.wbo	? (TO)	3600.55	3610.34	4526698
PB24/WBO/PARTIAL-LIN/wcsp/graphs/ normalized-graph11reducmore_wcsp.wbo	? (TO)	3601.17	3609.6	4526671
PB24/WBO/PARTIAL-LIN/wcsp/graphs/ normalized-graph13reducmore_wcsp.wbo	? (TO)	3601.56	3611.98	4526725
PB24/WBO/PARTIAL-LIN/wcsp/ graphs/normalized-graph13reduc_wcsp.wbo	? (TO)	3601.93	3612.22	4526653
PB24/WBO/PARTIAL-LIN/wcsp/ scens/normalized-scen08reduc_wcsp.wbo	? (TO)	3602	3613.64	4525681
PB24/WBO/PARTIAL-LIN/wcsp/pedigree/ normalized-sheep4nr_wcsp.wbo	? (TO)	3602.17	3615.45	4526527

Benchmark Name	Answer	cost of falsified constraints	CPU time	Wall clock time	TraceID
PB24/WBO/SOFT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-25s.smv--soft-0-100-0.wbo	OPTIMUM	1	358.17	360.399	4524448
PB24/WBO/SOFT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-dlx1c.rwmem1.ucl--soft-0-100-0.wbo	OPTIMUM	1	358.526	360.663	4524466
PB24/WBO/SOFT-LIN/PB10/oliveras/j60/ normalized-j6010_2-unsat--soft-0-100-0.wbo	OPTIMUM	9	358.644	360.732	4524943
PB24/WBO/SOFT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-37s.smv--soft-0-100-0.wbo	OPTIMUM	1	358.694	360.057	4524493
PB24/WBO/SOFT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-22s.smv--soft-0-100-0.wbo	OPTIMUM	1	358.825	360.493	4524484
PB24/WBO/SOFT-LIN/PB10/oliveras/j60/ normalized-j602_7-unsat--soft-0-100-0.wbo	OPTIMUM	1	358.85	360.442	4524916
PB24/WBO/SOFT-LIN/PB10/oliveras/j60/ normalized-j603_2-unsat--soft-0-100-0.wbo	OPTIMUM	4	358.856	360.82	4524952
PB24/WBO/SOFT-LIN/PB10/oliveras/j90/ normalized-j9015_10-unsat--soft-0-100-0.wbo	OPTIMUM	11	359.038	361.375	4524961
PB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl20_21_pb.cnf.cr--soft-0-100-0.wbo	OPTIMUM	2	359.042	360.012	4524538
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111227326--soft-0-100-0.wbo	OPTIMUM	2	359.083	360.042	4524889
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110977780--soft-0-100-0.wbo	OPTIMUM	10	359.085	360.015	4524844
PB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl30_35_pb.cnf.cr--soft-0-100-0.wbo	OPTIMUM	7	359.104	360.03	4524574
PB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl15_16_pb.cnf.cr--soft-0-100-0.wbo	OPTIMUM	8	359.104	360.008	4524619
PB24/WBO/SOFT-LIN/PB10/oliveras/j60/ normalized-j606_1-unsat--soft-0-100-0.wbo	OPTIMUM	13	359.105	360.511	4524925
PB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl20_30_pb.cnf.cr--soft-0-100-0.wbo	OPTIMUM	9	359.116	360.018	4524601
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111228076--soft-0-100-0.wbo	OPTIMUM	3	359.183	360.129	4524808
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-45-40--soft-0-100-0.wbo	OPTIMUM	3	359.187	360.022	4524637
PB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl30_31_pb.cnf.cr--soft-0-100-0.wbo	OPTIMUM	5	359.212	360.026	4524583
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-101-100--soft-0-100-0.wbo	OPTIMUM	1	359.22	360.209	4524655
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-21-20--soft-0-100-0.wbo	OPTIMUM	1	359.224	360.006	4524673
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110977273--soft-0-100-0.wbo	OPTIMUM	1	359.235	360.098	4524817
PB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl10_20_pb.cnf.cr--soft-0-100-0.wbo	OPTIMUM	7	359.236	360.006	4524547
PB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl20_25_pb.cnf.cr--soft-0-100-0.wbo	OPTIMUM	10	359.252	360.013	4524565
PB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl40_41_pb.cnf.cr--soft-0-100-0.wbo	OPTIMUM	5	359.267	360.066	4524556
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110973670--soft-0-100-0.wbo	OPTIMUM	1	359.268	360.105	4524835
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-55-50--soft-0-100-0.wbo	OPTIMUM	2	359.29	360.032	4524628
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-25-20--soft-0-100-0.wbo	OPTIMUM	4	359.296	360.007	4524691
PB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl15_20_pb.cnf.cr--soft-0-100-0.wbo	OPTIMUM	17	359.306	360.01	4524610
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-75-70--soft-0-100-0.wbo	OPTIMUM	1	359.32	360.075	4524709
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-31-30--soft-0-100-0.wbo	OPTIMUM	1	359.322	360.011	4524682
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-11-10--soft-0-100-0.wbo	OPTIMUM	1	359.326	360.003	4524700
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-81-80--soft-0-100-0.wbo	OPTIMUM	1	359.338	360.111	4524646
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111216823--soft-0-100-0.wbo	OPTIMUM	1	359.343	360.161	4524826
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-85-80--soft-0-100-0.wbo	OPTIMUM	1	359.352	360.107	4524664
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110976157--soft-0-100-0.wbo	OPTIMUM	9	359.366	360.141	4524853
PB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl50_51_pb.cnf.cr--soft-0-100-0.wbo	OPTIMUM	3	359.375	360.108	4524592
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111226062--soft-0-100-0.wbo	OPTIMUM	3	359.404	360.238	4524862
PB24/WBO/SOFT-LIN/PB10/oliveras/j60/ normalized-j6027_4-unsat--soft-0-100-0.wbo	OPTIMUM	6	359.424	360.57	4524898
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111227861--soft-0-100-0.wbo	OPTIMUM	7	359.68	360.497	4524871
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111217555--soft-0-100-0.wbo	OPTIMUM	1	359.772	360.711	4524880
PB24/WBO/SOFT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache.inv10.ucl--soft-0-100-0.wbo	OPTIMUM	2	360.308	361.362	4524529
PB24/WBO/SOFT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-tlan3.ucl--soft-0-100-0.wbo	OPTIMUM	1	360.483	361.754	4524520
PB24/WBO/SOFT-LIN/PB10/oliveras/j90/ normalized-j9048_1-unsat--soft-0-100-0.wbo	OPTIMUM	18	361.222	363.284	4524970
PB24/WBO/SOFT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Icl2arity.ucl--soft-0-100-0.wbo	OPTIMUM	1	363.534	365.716	4524475
PB24/WBO/SOFT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf9.ucl--soft-0-100-0.wbo	OPTIMUM	1	369.348	371.534	4524457
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900584219--soft-0-100-0.wbo	OPTIMUM	2	388.212	389.091	4524745
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900564824--soft-0-100-0.wbo	OPTIMUM	8	392.746	393.672	4524727
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900558106--soft-0-100-0.wbo	OPTIMUM	7	396.558	397.425	4524754
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900551347--soft-0-100-0.wbo	OPTIMUM	2	397.653	398.52	4524790
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900544484--soft-0-100-0.wbo	OPTIMUM	1	398.077	399.112	4524763
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900545610--soft-0-100-0.wbo	OPTIMUM	1	398.239	399.187	4524781
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900574864--soft-0-100-0.wbo	OPTIMUM	1	398.305	399.329	4524718
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900558739--soft-0-100-0.wbo	OPTIMUM	1	446.05	447.143	4524736
PB24/WBO/SOFT-LIN/PB10/oliveras/j60/ normalized-j605_1-unsat--soft-0-100-0.wbo	OPTIMUM	1	540.368	542.613	4524907
PB24/WBO/SOFT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf10.ucl--soft-0-100-0.wbo	OPTIMUM	1	584.682	587.262	4524511
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900550006--soft-0-100-0.wbo	OPTIMUM	1	607.986	609.29	4524799
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900577940--soft-0-100-0.wbo	OPTIMUM	1	652.197	653.728	4524772
PB24/WBO/SOFT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.unbounded.all.ucl--soft-0-100-0.wbo	OPTIMUM	1	815.007	817.513	4524502
PB24/WBO/SOFT-LIN/PB10/oliveras/j30/ normalized-j3029_8-unsat--soft-0-100-0.wbo	OPTIMUM	2	2703.15	2711.18	4524979

PB'25 competition WBO: benchmarks results per solver

Result page for solver Exact_no_dombreaking 2025-06-16 (complete)

Category "WBO, both soft and hard constraints, linear constraints" (PARTIAL-LIN)

Solver proved unsatisfiability (UNSATISFIABLE) (1 run) [Show/Hide]

Solver found the best solution (156 runs) [Show/Hide]

Solver found a solution, but probably not the best one (5 runs) [Show/Hide]

Solver timed out but found at least a solution (34 runs) [Show/Hide]

Solver exceeded the memory limit but found at least a solution (3 runs) [Show/Hide]

Solver timed out (no solution given) (9 runs) [Show/Hide]

Category "WBO, only soft constraints, linear constraints" (SOFT-LIN)

Solver found the best solution (59 runs) [Show/Hide]

Solver timed out but found at least a solution (1 run) [Show/Hide]