PB'12 competition: WBO track: benchmarks results per solver

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		74.5777	74.6087	3717592

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.018996	0.0202249	3717680
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-15-10--soft-33-100-0.wbo	OPTIMUM	2	0.019996	0.019784	3717498
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-4wqueens_wcsp.wbo	OPTIMUM	0	0.019996	0.022101	3717587
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-21-20--soft-66-100-0.wbo	OPTIMUM	1	0.028994	0.0307831	3717500
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-4queens_wcsp.wbo	OPTIMUM	0	0.032994	0.0345061	3717586
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-warehouse0_wcsp.wbo	OPTIMUM	328	0.032994	0.033376	3717595
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-langford-2-4_wcsp.wbo	OPTIMUM	0	0.046992	0.0492071	3717591
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-zebre-ext_wcsp.wbo	OPTIMUM	0	0.048991	0.0505289	3717597
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois20_ext.wbo	OPTIMUM	1	0.051991	0.0524461	3717623
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois21_ext.wbo	OPTIMUM	1	0.05599	0.0560931	3717624
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois22_ext.wbo	OPTIMUM	1	0.056991	0.0607599	3717625
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois23_ext.wbo	OPTIMUM	1	0.05899	0.0598721	3717626
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-2.ucl--soft-66-100-0.wbo	OPTIMUM	1	0.05899	0.060563	3717530
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois24_ext.wbo	OPTIMUM	1	0.061989	0.063927	3717627
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois26_ext.wbo	OPTIMUM	1	0.065989	0.0665319	3717629
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois25_ext.wbo	OPTIMUM	1	0.068988	0.0702029	3717628
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-31-30--soft-66-100-0.wbo	OPTIMUM	1	0.068989	0.0690661	3717503
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois28_ext.wbo	OPTIMUM	1	0.070988	0.0723329	3717631
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois27_ext.wbo	OPTIMUM	1	0.071988	0.073926	3717630
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-8queens_wcsp.wbo	OPTIMUM	0	0.073988	0.0817269	3717588
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-3.ucl--soft-33-100-0.wbo	OPTIMUM	8	0.092984	0.094107	3717531
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-15-10--soft-66-100-0.wbo	OPTIMUM	35	0.103984	0.105331	3717499
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl10_11_pb.cnf.cr--soft-66-100-0.wbo	OPTIMUM	15	0.114981	0.116211	3717406
/PARTIAL-SMALLINT-LIN/wcsp/pedigree/ normalized-simple_wcsp.wbo	OPTIMUM	1	0.115981	0.117254	3717676
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl10_11_pb.cnf.cr--soft-33-100-0.wbo	OPTIMUM	3	0.116981	0.116761	3717405
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl10_15_pb.cnf.cr--soft-33-100-0.wbo	OPTIMUM	21	0.126979	0.128527	3717407
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl15_16_pb.cnf.cr--soft-66-100-0.wbo	OPTIMUM	25	0.128979	0.129208	3717410
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl10_20_pb.cnf.cr--soft-66-100-0.wbo	OPTIMUM	96	0.135979	0.136187	3717409
/PARTIAL-SMALLINT-LIN/wcsp/ pedigree/normalized-sobel_wcsp.wbo	OPTIMUM	0	0.139978	0.142273	3717677
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl10_20_pb.cnf.cr--soft-33-100-0.wbo	OPTIMUM	20	0.151976	0.152595	3717408
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl15_20_pb.cnf.cr--soft-66-100-0.wbo	OPTIMUM	49	0.159975	0.15934	3717412
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-25-20--soft-33-100-0.wbo	OPTIMUM	7	0.181972	0.18268	3717501
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl15_20_pb.cnf.cr--soft-33-100-0.wbo	OPTIMUM	23	0.18697	0.18833	3717411
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois30_ext.wbo	OPTIMUM	1	0.200969	0.202146	3717633
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl20_21_pb.cnf.cr--soft-66-100-0.wbo	OPTIMUM	6	0.219966	0.220492	3717415
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl15_25_pb.cnf.cr--soft-33-100-0.wbo	OPTIMUM	15	0.242962	0.242892	3717413
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois29_ext.wbo	OPTIMUM	1	0.242962	0.244414	3717632
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110966483--soft-33-100-0.wbo	OPTIMUM	1	0.25696	0.258568	3717465
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl20_21_pb.cnf.cr--soft-33-100-0.wbo	OPTIMUM	6	0.260959	0.261724	3717414
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-51-50--soft-66-100-0.wbo	OPTIMUM	1	0.264959	0.266024	3717509
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl20_30_pb.cnf.cr--soft-66-100-0.wbo	OPTIMUM	8	0.274957	0.278964	3717418
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-31-30--soft-33-100-0.wbo	OPTIMUM	1	0.275957	0.276159	3717502
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-8wqueens_wcsp.wbo	OPTIMUM	2	0.308952	0.310442	3717589
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl20_25_pb.cnf.cr--soft-33-100-0.wbo	OPTIMUM	17	0.328949	0.328806	3717416
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-2.ucl--soft-33-100-0.wbo	OPTIMUM	1	0.332949	0.333816	3717529
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-41-40--soft-66-100-0.wbo	OPTIMUM	1	0.334948	0.334494	3717506
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-35-30--soft-33-100-0.wbo	OPTIMUM	9	0.336948	0.338295	3717504
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111212272--soft-33-100-0.wbo	OPTIMUM	2	0.369943	0.371089	3717475
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-geom30a-6_wcsp.wbo	OPTIMUM	0	0.405938	0.407067	3717603
/PARTIAL-SMALLINT-LIN/wcsp/pedigree/ normalized-connell_wcsp.wbo	OPTIMUM	1	0.409937	0.412013	3717675
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-queen5-5-5_wcsp.wbo	OPTIMUM	0	0.423934	0.425576	3717619
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-geom40-6_wcsp.wbo	OPTIMUM	0	0.423935	0.425002	3717608
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl20_30_pb.cnf.cr--soft-33-100-0.wbo	OPTIMUM	13	0.432933	0.433856	3717417
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-3.ucl--soft-66-100-0.wbo	OPTIMUM	1	0.433933	0.435534	3717532
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-45-40--soft-66-100-0.wbo	OPTIMUM	23	0.441932	0.442171	3717507
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111220767--soft-66-100-0.wbo	OPTIMUM	80	0.469928	0.471232	3717484
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-geom30a-5_wcsp.wbo	OPTIMUM	1	0.487925	0.490115	3717602
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110977780--soft-66-100-0.wbo	OPTIMUM	80	0.494924	0.496397	3717474
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224059--soft-33-100-0.wbo	OPTIMUM	15	0.505922	0.508043	3717489
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111225605--soft-66-100-0.wbo	OPTIMUM	17	0.512921	0.513394	3717490
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111226368--soft-33-100-0.wbo	OPTIMUM	15	0.527918	0.530275	3717491
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218024--soft-66-100-0.wbo	OPTIMUM	80	0.533918	0.535745	3717479
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218757--soft-66-100-0.wbo	OPTIMUM	80	0.544916	0.546151	3717480
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl30_35_pb.cnf.cr--soft-66-100-0.wbo	OPTIMUM	2	0.577911	0.578848	3717421
/PARTIAL-SMALLINT-LIN/wcsp/spot5/ normalized-spot5-54_wcsp.wbo	OPTIMUM	37	0.580911	0.582732	3717679
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-41-40--soft-33-100-0.wbo	OPTIMUM	1	0.587909	0.58908	3717505
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl30_31_pb.cnf.cr--soft-66-100-0.wbo	OPTIMUM	3	0.628903	0.629592	3717420
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111220019--soft-33-100-0.wbo	OPTIMUM	2	0.636903	0.638459	3717481
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110969577--soft-66-100-0.wbo	OPTIMUM	58	0.6559	0.657434	3717469
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111227861--soft-33-100-0.wbo	OPTIMUM	11	0.657899	0.659022	3717494
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110970444--soft-66-100-0.wbo	OPTIMUM	80	0.660898	0.661125	3717470
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-51-50--soft-33-100-0.wbo	OPTIMUM	1	0.674897	0.67865	3717508
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl35_36_pb.cnf.cr--soft-66-100-0.wbo	OPTIMUM	2	0.685895	0.686637	3717422
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110969577--soft-33-100-0.wbo	OPTIMUM	12	0.706891	0.706738	3717468
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111227012--soft-66-100-0.wbo	OPTIMUM	49	0.720889	0.721599	3717493
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-55-50--soft-66-100-0.wbo	OPTIMUM	9	0.730888	0.730262	3717511
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110968561--soft-33-100-0.wbo	OPTIMUM	8	0.759884	0.760703	3717467
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-geom40-2_wcsp.wbo	OPTIMUM	22	0.764883	0.766209	3717604
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl30_31_pb.cnf.cr--soft-33-100-0.wbo	OPTIMUM	3	0.766883	0.768454	3717419
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110971363--soft-33-100-0.wbo	OPTIMUM	25	0.78288	0.783523	3717471
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-55-50--soft-33-100-0.wbo	OPTIMUM	1	0.791879	0.792824	3717510
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111222539--soft-33-100-0.wbo	OPTIMUM	9	0.805877	0.807965	3717486
/PARTIAL-SMALLINT-LIN/wcsp/spot5/ normalized-spot5-404_wcsp.wbo	OPTIMUM	114	0.814875	0.816533	3717678
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110967142--soft-33-100-0.wbo	OPTIMUM	2	0.835872	0.83535	3717466
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110973364--soft-33-100-0.wbo	OPTIMUM	2	0.843871	0.843608	3717472
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111222257--soft-33-100-0.wbo	OPTIMUM	8	0.871867	0.873306	3717485
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110975607--soft-33-100-0.wbo	OPTIMUM	24	0.900862	0.903901	3717473
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111226680--soft-66-100-0.wbo	OPTIMUM	66	0.91286	0.914672	3717492
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111220767--soft-33-100-0.wbo	OPTIMUM	28	0.954854	0.956155	3717483
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218024--soft-33-100-0.wbo	OPTIMUM	12	0.981849	0.983198	3717478
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-geom40-5_wcsp.wbo	OPTIMUM	1	1.03084	1.03252	3717607
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-75-70--soft-66-100-0.wbo	OPTIMUM	1	1.04684	1.0471	3717519
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111220546--soft-33-100-0.wbo	OPTIMUM	2	1.10683	1.10891	3717482
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-61-60--soft-66-100-0.wbo	OPTIMUM	1	1.11783	1.11738	3717513
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl35_45_pb.cnf.cr--soft-66-100-0.wbo	OPTIMUM	12	1.12183	1.12345	3717425
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111223004--soft-66-100-0.wbo	OPTIMUM	19	1.17282	1.1746	3717488
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111213868--soft-66-100-0.wbo	OPTIMUM	14	1.20682	1.20968	3717476
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-65-60--soft-66-100-0.wbo	OPTIMUM	4	1.24681	1.2477	3717515
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh210_wcsp.wbo	OPTIMUM	0	1.2818	1.28332	3717661
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois50_ext.wbo	OPTIMUM	1	1.36379	1.36591	3717634
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl35_40_pb.cnf.cr--soft-66-100-0.wbo	OPTIMUM	15	1.40879	1.41077	3717423
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-zebra_wcsp.wbo	OPTIMUM	0	1.43478	1.43789	3717596
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111217555--soft-33-100-0.wbo	OPTIMUM	8	1.44278	1.44419	3717477
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-65-60--soft-33-100-0.wbo	OPTIMUM	1	1.60875	1.61023	3717514
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-ssa0432-003_ext.wbo	OPTIMUM	1	1.64275	1.64467	3717643
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-myciel5g-6_wcsp.wbo	OPTIMUM	0	1.70774	1.70977	3717616
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-71-70--soft-66-100-0.wbo	OPTIMUM	1	1.73773	1.7409	3717517
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl40_50_pb.cnf.cr--soft-66-100-0.wbo	OPTIMUM	5	1.74573	1.75276	3717429
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-85-80--soft-66-100-0.wbo	OPTIMUM	1	1.77173	1.77319	3717522
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111223004--soft-33-100-0.wbo	OPTIMUM	2	1.89485	1.00547	3717487
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl40_45_pb.cnf.cr--soft-33-100-0.wbo	OPTIMUM	5	1.9897	1.99087	3717427
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl50_51_pb.cnf.cr--soft-66-100-0.wbo	OPTIMUM	12	2.01369	2.01519	3717431
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-pret60_75_ext.wbo	OPTIMUM	1	2.01869	2.0206	3717642
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl40_41_pb.cnf.cr--soft-33-100-0.wbo	OPTIMUM	4	2.06669	2.06826	3717426
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-61-60--soft-33-100-0.wbo	OPTIMUM	1	2.09368	2.09499	3717512
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-71-70--soft-33-100-0.wbo	OPTIMUM	1	2.53161	2.53292	3717516
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl35_45_pb.cnf.cr--soft-33-100-0.wbo	OPTIMUM	25	2.57761	2.58012	3717424
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j308_1-unsat--soft-33-100-0.wbo	OPTIMUM	5	2.5946	2.59706	3717562
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl40_50_pb.cnf.cr--soft-33-100-0.wbo	OPTIMUM	9	2.95155	2.95543	3717428
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl50_60_pb.cnf.cr--soft-66-100-0.wbo	OPTIMUM	22	3.04853	3.05023	3717434
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh218_wcsp.wbo	OPTIMUM	0	3.2505	3.25308	3717667
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh07_wcsp.wbo	OPTIMUM	0	3.39048	3.39244	3717648
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-75-70--soft-33-100-0.wbo	OPTIMUM	6	3.52746	3.52889	3717518
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh13_wcsp.wbo	OPTIMUM	109	3.56746	3.56934	3717652
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh212_wcsp.wbo	OPTIMUM	0	3.59745	3.59889	3717663
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-donald_wcsp.wbo	OPTIMUM	0	3.66144	3.66403	3717590
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh10_wcsp.wbo	OPTIMUM	85	3.67644	3.67846	3717650
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-105-100--soft-66-100-0.wbo	OPTIMUM	4	3.80542	3.8058	3717497
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh01_wcsp.wbo	OPTIMUM	0	3.81642	3.81975	3717645
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-101-100--soft-66-100-0.wbo	OPTIMUM	1	3.9214	3.92393	3717495
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-81-80--soft-33-100-0.wbo	OPTIMUM	1	4.15337	4.15436	3717520
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl50_55_pb.cnf.cr--soft-33-100-0.wbo	OPTIMUM	3	4.19136	4.19343	3717432
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh203_wcsp.wbo	OPTIMUM	39	4.45332	4.45563	3717658
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl50_51_pb.cnf.cr--soft-33-100-0.wbo	OPTIMUM	4	4.6013	4.60233	3717430
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-6.ucl--soft-66-100-0.wbo	OPTIMUM	1	4.76227	4.76439	3717533
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh205_wcsp.wbo	OPTIMUM	0	5.02623	5.02837	3717659
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-95-90--soft-66-100-0.wbo	OPTIMUM	2	5.09522	5.09607	3717524
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh06_wcsp.wbo	OPTIMUM	99	5.56515	5.56723	3717647
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh217_wcsp.wbo	OPTIMUM	0	5.86311	5.87259	3717666
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh214_wcsp.wbo	OPTIMUM	75	5.98309	5.98609	3717664
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j301_4-unsat--soft-66-100-0.wbo	OPTIMUM	21	6.09007	6.09252	3717556
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j6027_4-unsat--soft-66-100-0.wbo	OPTIMUM	24	6.34603	6.35055	3717567
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh14_wcsp.wbo	OPTIMUM	101	6.42002	6.42913	3717653
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-langford-3-9_wcsp.wbo	OPTIMUM	0	6.59	6.5934	3717593
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl50_60_pb.cnf.cr--soft-33-100-0.wbo	OPTIMUM	10	7.06492	7.07169	3717433
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh04_wcsp.wbo	OPTIMUM	95	7.08692	7.09599	3717646
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-95-90--soft-33-100-0.wbo	OPTIMUM	1	7.12992	7.13782	3717523
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh220_wcsp.wbo	OPTIMUM	0	7.1989	7.20146	3717668
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-85-80--soft-33-100-0.wbo	OPTIMUM	1	7.2109	7.21479	3717521
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-37s.smv--soft-33-100-0.wbo	OPTIMUM	1	7.45887	7.46052	3717527
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh211_wcsp.wbo	OPTIMUM	259	7.81381	7.82233	3717662
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-ssa2670-141_ext.wbo	OPTIMUM	1	8.03478	8.03646	3717644
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-geom40-4_wcsp.wbo	OPTIMUM	3	8.21875	8.22095	3717606
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh309_wcsp.wbo	OPTIMUM	276	8.29274	8.29598	3717673
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh306_wcsp.wbo	OPTIMUM	16	8.48771	8.49063	3717671
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/ normalized-j9028_2-unsat--soft-66-100-0.wbo	OPTIMUM	20	8.65368	8.66094	3717581
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh215_wcsp.wbo	OPTIMUM	88	8.83866	8.84126	3717665
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh208_wcsp.wbo	OPTIMUM	79	9.45956	9.46269	3717660
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-105-100--soft-33-100-0.wbo	OPTIMUM	3	9.92949	9.93461	3717496
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh16_wcsp.wbo	OPTIMUM	6	10.0305	10.0332	3717655
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/ normalized-j907_8-unsat--soft-66-100-0.wbo	OPTIMUM	14	10.0995	10.1004	3717584
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/ normalized-j9012_2-unsat--soft-66-100-0.wbo	OPTIMUM	54	10.3804	10.39	3717578
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh302_wcsp.wbo	OPTIMUM	395	11.1133	11.1225	3717669
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-16wqueens_wcsp.wbo	OPTIMUM	2	13.307	13.3104	3717585
/PARTIAL-SMALLINT-LIN/wcsp/ academics/normalized-send_wcsp.wbo	OPTIMUM	0	13.7719	13.7758	3717594
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh11_wcsp.wbo	OPTIMUM	172	15.0957	15.0991	3717651
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh15_wcsp.wbo	OPTIMUM	206	15.4307	15.4345	3717654
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j602_7-unsat--soft-66-100-0.wbo	OPTIMUM	3	15.4556	15.4643	3717569
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh307_wcsp.wbo	OPTIMUM	540	15.9706	15.9742	3717672
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh18_wcsp.wbo	OPTIMUM	130	16.6075	16.6113	3717656
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh19_wcsp.wbo	OPTIMUM	166	18.7551	18.7596	3717657
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-bf2670-001_ext.wbo	OPTIMUM	1	19.549	19.5532	3717621
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j603_2-unsat--soft-33-100-0.wbo	OPTIMUM	6	21.2018	21.2053	3717572
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh09_wcsp.wbo	OPTIMUM	333	21.3248	21.335	3717649
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j603_2-unsat--soft-66-100-0.wbo	OPTIMUM	31	22.2326	22.2432	3717573
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j301_4-unsat--soft-33-100-0.wbo	OPTIMUM	9	24.7952	24.7996	3717555
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh310_wcsp.wbo	OPTIMUM	463	27.1009	27.116	3717674
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-geom30a-4_wcsp.wbo	OPTIMUM	4	28.7416	28.7519	3717601
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-pret60_40_ext.wbo	OPTIMUM	1	29.4475	29.4592	3717640
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-pret60_60_ext.wbo	OPTIMUM	1	31.1063	31.1325	3717641
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois100_ext.wbo	OPTIMUM	1	31.4632	31.48	3717622
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-46s.smv--soft-33-100-0.wbo	OPTIMUM	1	31.8242	31.8366	3717528
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j3046_4-unsat--soft-66-100-0.wbo	OPTIMUM	2	38.3932	38.4	3717561
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-bf0432-007_ext.wbo	OPTIMUM	1	40.7768	40.7837	3717620
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j602_7-unsat--soft-33-100-0.wbo	OPTIMUM	6	43.2544	43.2745	3717568
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf6.ucl--soft-33-100-0.wbo	OPTIMUM	1	49.2695	49.2782	3717550
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/ normalized-j903_10-unsat--soft-66-100-0.wbo	OPTIMUM	4	52.1651	52.1966	3717583
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh305_wcsp.wbo	OPTIMUM	742	56.1905	56.2221	3717670
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j6033_2-unsat--soft-66-100-0.wbo	OPTIMUM	51	61.0197	61.0488	3717571
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j6010_2-unsat--soft-66-100-0.wbo	OPTIMUM	12	68.7575	68.7803	3717565
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/ normalized-j9015_10-unsat--soft-66-100-0.wbo	OPTIMUM	29	71.8291	71.8613	3717580
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-geom40-3_wcsp.wbo	OPTIMUM	7	72.439	72.4515	3717605
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/ normalized-j9039_3-unsat--soft-66-100-0.wbo	OPTIMUM	42	83.3123	83.3277	3717582
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j6027_4-unsat--soft-33-100-0.wbo	OPTIMUM	22	84.6171	84.631	3717566
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-geom30a-3_wcsp.wbo	OPTIMUM	11	138.457	138.48	3717600
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-7.ucl--soft-33-100-0.wbo	OPTIMUM	1	159.03	159.062	3717534
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900670675--soft-33-100-0.wbo	OPTIMUM	2	171.926	171.97	3717464
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567135--soft-66-100-0.wbo	OPTIMUM	2	193.83	193.88	3717448
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567024--soft-33-100-0.wbo	OPTIMUM	6	203.23	203.405	3717446
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-myciel5g-3_wcsp.wbo	OPTIMUM	16	226.727	226.787	3717613
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j6010_2-unsat--soft-33-100-0.wbo	OPTIMUM	6	231.677	231.73	3717564
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900552423--soft-33-100-0.wbo	OPTIMUM	7	237.592	237.654	3717439
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567135--soft-33-100-0.wbo	OPTIMUM	1	240.145	240.198	3717447
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j606_1-unsat--soft-33-100-0.wbo	OPTIMUM	3	258.368	258.422	3717577
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900544484--soft-33-100-0.wbo	OPTIMUM	1	271.071	271.134	3717435
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-pret60_25_ext.wbo	OPTIMUM	1	287.596	287.669	3717639
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900552288--soft-66-100-0.wbo	OPTIMUM	2	300.147	300.211	3717438
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900575442--soft-66-100-0.wbo	OPTIMUM	1	300.337	300.402	3717455
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900584219--soft-33-100-0.wbo	OPTIMUM	1	300.42	300.491	3717461
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j6030_9-unsat--soft-66-100-0.wbo	OPTIMUM	8	308.418	308.483	3717570
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-tlan2.ucl--soft-66-100-0.wbo	OPTIMUM	2	324.412	324.481	3717539
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900576151--soft-33-100-0.wbo	OPTIMUM	1	339.069	339.143	3717456
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/ normalized-j9014_1-unsat--soft-66-100-0.wbo	OPTIMUM	6	341.095	341.16	3717579
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900554420--soft-33-100-0.wbo	OPTIMUM	2	352.409	352.481	3717440
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-7.ucl--soft-66-100-0.wbo	OPTIMUM	4	372.416	372.494	3717535
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900669797--soft-66-100-0.wbo	OPTIMUM	1	426.868	426.946	3717462
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900581320--soft-66-100-0.wbo	OPTIMUM	1	431.037	431.119	3717459
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900547389--soft-33-100-0.wbo	OPTIMUM	2	441.914	441.999	3717436
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-tlan2.ucl--soft-33-100-0.wbo	OPTIMUM	1	452.061	452.169	3717538
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900571132--soft-66-100-0.wbo	OPTIMUM	1	458.221	458.318	3717453
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900563250--soft-66-100-0.wbo	OPTIMUM	1	463.094	463.179	3717445
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900558106--soft-66-100-0.wbo	OPTIMUM	13	467.063	467.155	3717443
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900571132--soft-33-100-0.wbo	OPTIMUM	1	502.166	502.257	3717452
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-dsjc125-1-5_wcsp.wbo	OPTIMUM	0	537.559	537.679	3717599
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900556231--soft-33-100-0.wbo	OPTIMUM	1	544.326	544.431	3717441
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567985--soft-33-100-0.wbo	OPTIMUM	1	572.856	572.976	3717449
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900557362--soft-33-100-0.wbo	OPTIMUM	5	580.496	580.604	3717442
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.2.accl.ucl--soft-33-100-0.wbo	OPTIMUM	1	588.18	588.407	3717547
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900581320--soft-33-100-0.wbo	OPTIMUM	1	588.382	588.486	3717458
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.4.accl.ucl--soft-33-100-0.wbo	OPTIMUM	1	650.227	650.337	3717549
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900570242--soft-66-100-0.wbo	OPTIMUM	16	651.948	652.076	3717451
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900582300--soft-66-100-0.wbo	OPTIMUM	1	676.699	676.824	3717460
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-myciel5g-4_wcsp.wbo	OPTIMUM	4	716.004	716.186	3717614
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j3046_4-unsat--soft-33-100-0.wbo	OPTIMUM	2	732.143	732.282	3717560
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900670167--soft-33-100-0.wbo	OPTIMUM	2	779.816	779.953	3717463
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900573901--soft-33-100-0.wbo	OPTIMUM	1	791.363	791.518	3717454
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache.inv10.ucl--soft-66-100-0.wbo	OPTIMUM	3	823.379	823.537	3717541
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900561288--soft-33-100-0.wbo	OPTIMUM	1	888.713	888.869	3717444
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900576927--soft-33-100-0.wbo	OPTIMUM	1	891.058	891.214	3717457
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900570242--soft-33-100-0.wbo	OPTIMUM	8	930.272	930.444	3717450
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900550006--soft-66-100-0.wbo	OPTIMUM	1	962.794	962.963	3717437
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-dlx1c.ucl--soft-33-100-0.wbo	OPTIMUM	1	1122.91	1123.09	3717544
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-8.ucl--soft-33-100-0.wbo	OPTIMUM	3	1160.65	1160.85	3717536
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-8.ucl--soft-66-100-0.wbo	OPTIMUM	4	1311.79	1312.02	3717537
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf8.ucl--soft-33-100-0.wbo	OPTIMUM	1	1554.86	1555.12	3717545
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-dlx1c.rwmem.ucl--soft-66-100-0.wbo	OPTIMUM	1	1561.18	1561.45	3717542
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf8.ucl--soft-33-100-0.wbo	OPTIMUM	1	1599.96	1600.23	3717551

Benchmark Name	Answer	cost of falsified constraints	CPU time	Wall clock time	TraceID
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j3029_8-unsat--soft-66-100-0.wbo	MSAT	1026	1796.81	1797.1	3717558
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-22s.smv--soft-33-100-0.wbo	MSAT	5	1796.81	1797.12	3717525
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j3041_4-unsat--soft-66-100-0.wbo	MSAT	270	1796.82	1797.11	3717559
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-dsjc125-1-4_wcsp.wbo	MSAT	35	1796.83	1797.14	3717598
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j309_10-unsat--soft-66-100-0.wbo	MSAT	1328	1796.84	1797.14	3717563
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.3.accl.ucl--soft-33-100-0.wbo	MSAT	1	1796.84	1797.15	3717548
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-25s.smv--soft-33-100-0.wbo	MSAT	995	1796.85	1797.15	3717526
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j605_1-unsat--soft-66-100-0.wbo	MSAT	2086	1796.87	1797.18	3717575
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-le450-5a-2_wcsp.wbo	MSAT	2185	1796.89	1797.18	3717609
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf9.ucl--soft-66-100-0.wbo	MSAT	1	1796.89	1797.2	3717552
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-myciel5g-5_wcsp.wbo	MSAT	1	1796.9	1797.21	3717615
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j3029_8-unsat--soft-33-100-0.wbo	MSAT	599	1796.94	1797.23	3717557
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-dlx1c.rwmem1.ucl--soft-33-100-0.wbo	MSAT	43	1796.98	1797.28	3717543
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j605_10-unsat--soft-33-100-0.wbo	MSAT	540	1797.03	1797.34	3717576
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.tag10.ucl--soft-33-100-0.wbo	MSAT	1842	1797.05	1797.4	3717553
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-le450-5a-5_wcsp.wbo	MSAT	470	1797.13	1797.42	3717612
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-queen5-5-4_wcsp.wbo	MSAT	12	1797.13	1797.45	3717618
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.tag12.ucl--soft-66-100-0.wbo	MSAT	7338	1797.18	1797.47	3717554
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf9.ucl--soft-66-100-0.wbo	MSAT	3953	1797.22	1797.51	3717546
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-queen5-5-3_wcsp.wbo	MSAT	29	1797.3	1797.63	3717617
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-tlan3.ucl--soft-66-100-0.wbo	MSAT	7119	1797.32	1797.62	3717540
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-pret150_40_ext.wbo	MSAT	1	1800	1800.56	3717636

Benchmark Name	Answer	cost of falsified constraints	CPU time	Wall clock time	TraceID
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-pret150_75_ext.wbo	MSAT (TO)	1	1800.06	1800.42	3717638
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-pret150_25_ext.wbo	MSAT (TO)	1	1800.07	1800.46	3717635
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-pret150_60_ext.wbo	MSAT (TO)	1	1800.13	1800.64	3717637

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-le450-5a-3_wcsp.wbo	?	1796.93	1797.23	3717610
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-le450-5a-4_wcsp.wbo	?	1796.94	1797.23	3717611
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j605_1-unsat--soft-33-100-0.wbo	?	1796.98	1797.27	3717574

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.012997	0.015705	3717764
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-15-10--soft-0-100-0.wbo	OPTIMUM	2	0.014996	0.0195181	3717765
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-21-20--soft-0-100-0.wbo	OPTIMUM	1	0.021996	0.022633	3717766
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-25-20--soft-0-100-0.wbo	OPTIMUM	4	0.024996	0.0277609	3717767
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-31-30--soft-0-100-0.wbo	OPTIMUM	1	0.037993	0.040363	3717768
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-35-30--soft-0-100-0.wbo	OPTIMUM	3	0.047992	0.048286	3717769
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl10_11_pb.cnf.cr--soft-0-100-0.wbo	OPTIMUM	9	0.05699	0.058805	3717681
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-41-40--soft-0-100-0.wbo	OPTIMUM	1	0.06299	0.063845	3717770
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-floppy1-4.ucl--soft-0-100-0.wbo	OPTIMUM	18	0.065989	0.066549	3717381
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl15_16_pb.cnf.cr--soft-0-100-0.wbo	OPTIMUM	8	0.073988	0.0762589	3717684
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-45-40--soft-0-100-0.wbo	OPTIMUM	3	0.080987	0.0824031	3717771
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl10_15_pb.cnf.cr--soft-0-100-0.wbo	OPTIMUM	6	0.081987	0.083006	3717682
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-floppy1-3.ucl--soft-0-100-0.wbo	OPTIMUM	4	0.083986	0.0855521	3717380
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl10_20_pb.cnf.cr--soft-0-100-0.wbo	OPTIMUM	7	0.091985	0.093088	3717683
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl15_20_pb.cnf.cr--soft-0-100-0.wbo	OPTIMUM	17	0.092985	0.094674	3717685
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-51-50--soft-0-100-0.wbo	OPTIMUM	1	0.098984	0.0994761	3717772
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl20_21_pb.cnf.cr--soft-0-100-0.wbo	OPTIMUM	2	0.115982	0.1185	3717687
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-55-50--soft-0-100-0.wbo	OPTIMUM	2	0.12498	0.126106	3717773
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-61-60--soft-0-100-0.wbo	OPTIMUM	1	0.149976	0.151876	3717774
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl15_25_pb.cnf.cr--soft-0-100-0.wbo	OPTIMUM	10	0.154976	0.15744	3717686
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf6.ucl--soft-0-100-0.wbo	OPTIMUM	2	0.161975	0.164167	3717388
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl20_25_pb.cnf.cr--soft-0-100-0.wbo	OPTIMUM	10	0.25696	0.257422	3717688
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl20_30_pb.cnf.cr--soft-0-100-0.wbo	OPTIMUM	9	0.269958	0.271557	3717689
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110966483--soft-0-100-0.wbo	OPTIMUM	19	0.278957	0.279891	3717732
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-75-70--soft-0-100-0.wbo	OPTIMUM	1	0.281957	0.283139	3717368
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-85-80--soft-0-100-0.wbo	OPTIMUM	1	0.371943	0.373113	3717370
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110972154--soft-0-100-0.wbo	OPTIMUM	1	0.381941	0.383346	3717739
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-81-80--soft-0-100-0.wbo	OPTIMUM	1	0.38994	0.391655	3717369
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111227012--soft-0-100-0.wbo	OPTIMUM	5	0.390939	0.391693	3717760
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110976935--soft-0-100-0.wbo	OPTIMUM	2	0.393939	0.395979	3717743
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-floppy1-2.ucl--soft-0-100-0.wbo	OPTIMUM	2	0.395939	0.397509	3717379
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110977780--soft-0-100-0.wbo	OPTIMUM	10	0.420935	0.42236	3717745
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-91-90--soft-0-100-0.wbo	OPTIMUM	1	0.437933	0.43871	3717371
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111216411--soft-0-100-0.wbo	OPTIMUM	2	0.447931	0.450097	3717751
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111222539--soft-0-100-0.wbo	OPTIMUM	2	0.465928	0.467085	3717754
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110970631--soft-0-100-0.wbo	OPTIMUM	16	0.501922	0.504392	3717737
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110968561--soft-0-100-0.wbo	OPTIMUM	3	0.504922	0.506198	3717735
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111223220--soft-0-100-0.wbo	OPTIMUM	1	0.510921	0.515268	3717755
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110978334--soft-0-100-0.wbo	OPTIMUM	9	0.535917	0.538524	3717747
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl30_40_pb.cnf.cr--soft-0-100-0.wbo	OPTIMUM	10	0.554914	0.556048	3717692
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl35_40_pb.cnf.cr--soft-0-100-0.wbo	OPTIMUM	8	0.555915	0.559242	3717694
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110974180--soft-0-100-0.wbo	OPTIMUM	1	0.556914	0.560683	3717742
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-95-90--soft-0-100-0.wbo	OPTIMUM	1	0.560914	0.562349	3717372
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111213670--soft-0-100-0.wbo	OPTIMUM	10	0.562914	0.564056	3717749
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110972763--soft-0-100-0.wbo	OPTIMUM	1	0.576912	0.579548	3717740
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224451--soft-0-100-0.wbo	OPTIMUM	9	0.590909	0.591549	3717757
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110971363--soft-0-100-0.wbo	OPTIMUM	4	0.592909	0.594397	3717738
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl30_31_pb.cnf.cr--soft-0-100-0.wbo	OPTIMUM	5	0.597908	0.599376	3717690
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218024--soft-0-100-0.wbo	OPTIMUM	10	0.603907	0.605552	3717753
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl30_35_pb.cnf.cr--soft-0-100-0.wbo	OPTIMUM	7	0.628904	0.63041	3717691
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-105-100--soft-0-100-0.wbo	OPTIMUM	1	0.646901	0.64854	3717763
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111226062--soft-0-100-0.wbo	OPTIMUM	3	0.658899	0.661326	3717759
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111212476--soft-0-100-0.wbo	OPTIMUM	2	0.680895	0.683555	3717748
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110967523--soft-0-100-0.wbo	OPTIMUM	3	0.697893	0.701801	3717734
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111217392--soft-0-100-0.wbo	OPTIMUM	2	0.700893	0.703895	3717752
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111225605--soft-0-100-0.wbo	OPTIMUM	2	0.734887	0.736013	3717758
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224255--soft-0-100-0.wbo	OPTIMUM	1	0.747885	0.750514	3717756
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110973670--soft-0-100-0.wbo	OPTIMUM	1	0.749885	0.750737	3717741
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110969860--soft-0-100-0.wbo	OPTIMUM	1	0.759884	0.761934	3717736
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl35_36_pb.cnf.cr--soft-0-100-0.wbo	OPTIMUM	5	0.792879	0.795112	3717693
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-101-100--soft-0-100-0.wbo	OPTIMUM	1	0.795878	0.79847	3717762
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111228076--soft-0-100-0.wbo	OPTIMUM	3	0.821874	0.823908	3717761
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-71-70--soft-0-100-0.wbo	OPTIMUM	1	0.830873	0.832122	3717776
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110977273--soft-0-100-0.wbo	OPTIMUM	1	0.859868	0.861748	3717744
/SOFT-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j308_1-unsat--soft-0-100-0.wbo	OPTIMUM	19	0.877865	0.879391	3717402
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-65-60--soft-0-100-0.wbo	OPTIMUM	1	0.884865	0.885733	3717775
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111213868--soft-0-100-0.wbo	OPTIMUM	2	0.91286	0.914432	3717750
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl40_45_pb.cnf.cr--soft-0-100-0.wbo	OPTIMUM	4	0.973851	0.975163	3717697
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110978113--soft-0-100-0.wbo	OPTIMUM	9	0.97785	0.979344	3717746
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl50_51_pb.cnf.cr--soft-0-100-0.wbo	OPTIMUM	3	1.18682	1.1913	3717699
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl40_41_pb.cnf.cr--soft-0-100-0.wbo	OPTIMUM	5	1.3368	1.33857	3717696
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl40_50_pb.cnf.cr--soft-0-100-0.wbo	OPTIMUM	6	1.40079	1.40228	3717698
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl35_45_pb.cnf.cr--soft-0-100-0.wbo	OPTIMUM	10	1.41578	1.41881	3717695
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110967142--soft-0-100-0.wbo	OPTIMUM	9	1.55876	1.56066	3717733
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl50_60_pb.cnf.cr--soft-0-100-0.wbo	OPTIMUM	3	1.86272	1.86418	3717701
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl50_55_pb.cnf.cr--soft-0-100-0.wbo	OPTIMUM	6	2.66859	2.67278	3717700
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-floppy1-6.ucl--soft-0-100-0.wbo	OPTIMUM	1	3.67144	3.67497	3717382
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-44s.smv--soft-0-100-0.wbo	OPTIMUM	2	4.23835	4.23974	3717377
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-37s.smv--soft-0-100-0.wbo	OPTIMUM	1	16.4815	16.4887	3717375
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf7.ucl--soft-0-100-0.wbo	OPTIMUM	1	29.2486	29.2592	3717389
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-46s.smv--soft-0-100-0.wbo	OPTIMUM	1	43.9363	43.9553	3717378
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-floppy1-7.ucl--soft-0-100-0.wbo	OPTIMUM	1	78.2741	78.3023	3717383
/SOFT-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j301_4-unsat--soft-0-100-0.wbo	OPTIMUM	8	96.4747	48.3046	3717398
/SOFT-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j602_7-unsat--soft-0-100-0.wbo	OPTIMUM	1	102.497	102.52	3717404
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf6.ucl--soft-0-100-0.wbo	OPTIMUM	1	146.321	146.347	3717394
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.tag8.ucl--soft-0-100-0.wbo	OPTIMUM	1	163.982	164.034	3717397
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900568706--soft-0-100-0.wbo	OPTIMUM	1	178.62	178.665	3717721
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-tlan2.ucl--soft-0-100-0.wbo	OPTIMUM	1	182.229	182.29	3717385
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900557957--soft-0-100-0.wbo	OPTIMUM	3	225.497	225.551	3717713
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900544484--soft-0-100-0.wbo	OPTIMUM	1	226.875	226.926	3717702
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900564281--soft-0-100-0.wbo	OPTIMUM	2	229.61	229.66	3717716
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900568186--soft-0-100-0.wbo	OPTIMUM	3	241.995	242.061	3717720
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache.inv8.ucl--soft-0-100-0.wbo	OPTIMUM	16	259.88	259.936	3717386
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-floppy1-8.ucl--soft-0-100-0.wbo	OPTIMUM	1	295.936	295.995	3717384
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf7.ucl--soft-0-100-0.wbo	OPTIMUM	1	303.973	304.041	3717395
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900571132--soft-0-100-0.wbo	OPTIMUM	1	327.332	327.407	3717724
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900669797--soft-0-100-0.wbo	OPTIMUM	1	335.006	335.082	3717729
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900556231--soft-0-100-0.wbo	OPTIMUM	1	335.662	335.729	3717711
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-43s.smv--soft-0-100-0.wbo	OPTIMUM	1	335.984	336.053	3717376
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900562192--soft-0-100-0.wbo	OPTIMUM	1	341.608	341.683	3717715
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900570242--soft-0-100-0.wbo	OPTIMUM	5	349.121	349.199	3717723
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900551347--soft-0-100-0.wbo	OPTIMUM	2	351.942	352.016	3717707
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900566157--soft-0-100-0.wbo	OPTIMUM	1	370.383	370.466	3717718
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900670234--soft-0-100-0.wbo	OPTIMUM	1	371.675	371.748	3717731
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900581320--soft-0-100-0.wbo	OPTIMUM	1	377.918	377.996	3717726
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900552735--soft-0-100-0.wbo	OPTIMUM	4	398.14	398.225	3717709
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900569834--soft-0-100-0.wbo	OPTIMUM	4	428.738	428.833	3717722
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900545610--soft-0-100-0.wbo	OPTIMUM	1	447.529	447.628	3717703
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900552288--soft-0-100-0.wbo	OPTIMUM	1	454.039	454.127	3717708
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900557574--soft-0-100-0.wbo	OPTIMUM	6	487.159	487.256	3717712
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900670167--soft-0-100-0.wbo	OPTIMUM	1	489.347	489.474	3717730
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900565534--soft-0-100-0.wbo	OPTIMUM	1	505.26	505.428	3717717
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900584106--soft-0-100-0.wbo	OPTIMUM	7	553.435	553.541	3717727
/SOFT-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j3046_4-unsat--soft-0-100-0.wbo	OPTIMUM	1	557.589	557.693	3717401
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900554072--soft-0-100-0.wbo	OPTIMUM	1	557.814	557.924	3717710
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.2.accl.ucl--soft-0-100-0.wbo	OPTIMUM	1	622.941	623.052	3717391
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900550720--soft-0-100-0.wbo	OPTIMUM	1	634.255	634.376	3717706
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900577940--soft-0-100-0.wbo	OPTIMUM	1	645.511	645.643	3717725
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.4.accl.ucl--soft-0-100-0.wbo	OPTIMUM	1	727.57	727.703	3717393
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900558739--soft-0-100-0.wbo	OPTIMUM	1	759.947	760.095	3717714
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900667195--soft-0-100-0.wbo	OPTIMUM	1	798.868	799.012	3717728
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900550006--soft-0-100-0.wbo	OPTIMUM	1	895.1	895.256	3717705
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900567985--soft-0-100-0.wbo	OPTIMUM	1	897.713	897.865	3717719
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900548667--soft-0-100-0.wbo	OPTIMUM	1	937.787	937.949	3717704
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf8.ucl--soft-0-100-0.wbo	OPTIMUM	1	1039.24	1039.42	3717390
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-25s.smv--soft-0-100-0.wbo	OPTIMUM	1	1354.97	1355.19	3717374
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-22s.smv--soft-0-100-0.wbo	OPTIMUM	1	1747.15	1747.46	3717373

Benchmark Name	Answer	cost of falsified constraints	CPU time	Wall clock time	TraceID
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.3.accl.ucl--soft-0-100-0.wbo	MSAT	1	1796.84	1797.15	3717392
/SOFT-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j3029_8-unsat--soft-0-100-0.wbo	MSAT	1688	1796.92	1797.2	3717399
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf8.ucl--soft-0-100-0.wbo	MSAT	292	1796.96	1797.26	3717396
/SOFT-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j309_10-unsat--soft-0-100-0.wbo	MSAT	549	1796.97	1797.26	3717403
/SOFT-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j3041_4-unsat--soft-0-100-0.wbo	MSAT	616	1796.98	1797.27	3717400
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-dlx1c.ucl--soft-0-100-0.wbo	MSAT	1232	1797.03	1797.32	3717387

PB'12 competition: WBO track: benchmarks results per solver

Result page for solver SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed (complete)

Category "both soft and hard constraints, small integers, linear constraints" (PARTIAL-SMALLINT-LIN)

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

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

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

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

Solver didn't decide (UNKNOWN) (3 runs) [Show/Hide]

Category "only soft constraints, small integers, linear constraints" (SOFT-SMALLINT-LIN)

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

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