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

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen06-24reduc_wcsp.wbo	UNSAT	7.54185	4.99335	2701344
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen06-22reduc_wcsp.wbo	UNSAT	9.72352	6.71517	2701332
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen06-20reduc_wcsp.wbo	UNSAT	13.445	9.31808	2701398
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen06-18reduc_wcsp.wbo	UNSAT	16.6845	12.2795	2701350
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen06-16reduc_wcsp.wbo	UNSAT	22.8165	17.5859	2701362
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar6-sub4reduc_wcsp.wbo	UNSAT	29.5065	22.289	2701308
/PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph11reducmore_wcsp.wbo	UNSAT	110.708	82.0037	2701860
/PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph11reduc_wcsp.wbo	UNSAT	119.074	85.7718	2701830
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen06reduc_wcsp.wbo	UNSAT	169.295	122.717	2701446
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen07reduc_wcsp.wbo	UNSAT	530.393	331.916	2701404

Benchmark Name	Answer	cost of falsified constraints	CPU time	Wall clock time	TraceID
/PARTIAL-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9028_2-unsat--soft-33-100-0.wbo	OPTIMUM	1	5.39018	3.12165	2694343
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-saudiarabia_wcsp.wbo	OPTIMUM	0	9.26459	6.2051	2701722
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12015_3-unsat--soft-66-100-0.wbo	OPTIMUM	30	10.9643	6.24453	2694305
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf9.ucl--soft-33-100-0.wbo	OPTIMUM	1	22.4406	21.5092	2694242
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-pedck350l3_wcsp.wbo	OPTIMUM	0	25.0872	20.1908	2701692
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf9.ucl--soft-33-100-0.wbo	OPTIMUM	1	152.858	154.616	2694268
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf10.ucl--soft-33-100-0.wbo	OPTIMUM	1	191.85	160.454	2694237

Benchmark Name	Answer	cost of falsified constraints	CPU time	Wall clock time	TraceID
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache.inv14.ucl--soft-33-100-0.wbo	MSAT (TO)	1531	1800.23	1757.02	2694251
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf10.ucl--soft-33-100-0.wbo	MSAT (TO)	95	1800.26	1738.73	2694275
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.ex.mem.LdValue.ucl--soft-66-100-0.wbo	MSAT (TO)	510	1800.26	1605.25	2694271
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Ic22arity.ucl--soft-33-100-0.wbo	MSAT (TO)	974	1800.29	1742.73	2694272
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-full.all.ucl--soft-66-100-0.wbo	MSAT (TO)	121	1800.31	1747.93	2694240
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.ex.br.mem.RobRegValid_bar.ucl--soft-33-100-0.wbo	MSAT (TO)	266	1800.32	1897.03	2694265
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache.inv14.ucl--soft-66-100-0.wbo	MSAT (TO)	21	1800.35	1434.66	2694257
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-full.all.ucl--soft-33-100-0.wbo	MSAT (TO)	366	1800.36	1779.51	2694212
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Ic22arity.ucl--soft-66-100-0.wbo	MSAT (TO)	320	1800.38	1744.18	2694217
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.ex.mem.LdValue.ucl--soft-33-100-0.wbo	MSAT (TO)	1671	1800.38	1741.47	2694234
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.unbounded.all.ucl--soft-33-100-0.wbo	MSAT (TO)	530	1800.39	1741.39	2694261
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.ex.br.mem.RobRegValid_bar.ucl--soft-66-100-0.wbo	MSAT (TO)	321	1800.42	1158.72	2694260
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl--soft-66-100-0.wbo	MSAT (TO)	404	1800.42	1638.1	2694214
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl--soft-33-100-0.wbo	MSAT (TO)	3894	1800.46	1703.8	2694248
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.tag14.ucl--soft-33-100-0.wbo	MSAT (TO)	84	1800.47	1263.06	2694222
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.unbounded.all.ucl--soft-66-100-0.wbo	MSAT (TO)	102	1800.5	1492.98	2694263
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.8.accl.ucl--soft-33-100-0.wbo	MSAT (TO)	130	1800.63	1386.25	2694254

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-sheep4r-4-1_wcsp.wbo	?	202.769	172.663	2701680
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-sheep4nr_wcsp.wbo	?	322.503	290.522	2701656
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-sheep4r_wcsp.wbo	?	346.173	313.139	2701740
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-sheep4r-4-3_wcsp.wbo	?	401.993	375.716	2701734

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-sheep4r-4-0_wcsp.wbo	? (TO)	144.641	2002.08	2701746
/PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph11_wcsp.wbo	? (TO)	1800.17	1068.69	2701806
/PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph13reducmore_wcsp.wbo	? (TO)	1800.2	1011.17	2701842
/PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph06_wcsp.wbo	? (TO)	1800.21	1074.43	2701836
/PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph13_wcsp.wbo	? (TO)	1800.27	1091.11	2701854
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen08reduc_wcsp.wbo	? (TO)	1800.32	1120.19	2701326
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12026_5-unsat--soft-33-100-0.wbo	? (TO)	1800.33	885.519	2694299
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen07_wcsp.wbo	? (TO)	1800.33	1035.83	2701368
/PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph12_wcsp.wbo	? (TO)	1800.36	1041.51	2701848
/PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph13reduc_wcsp.wbo	? (TO)	1800.39	1077.89	2701812
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen08_wcsp.wbo	? (TO)	1800.39	982.927	2701356
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12013_1-unsat--soft-33-100-0.wbo	? (TO)	1800.5	888.537	2694314
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-sheep4r-4-2_wcsp.wbo	? (TO)	1802.13	1769.68	2701686

Benchmark Name	Answer	cost of falsified constraints	CPU time	Wall clock time	TraceID
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-wijsmanguo_wcsp.wbo	? (exit code)		159.083	140.421	2701698

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-1502_wcsp.wbo	Wrong UNSAT	0.333948	1.24472	2701584
/PARTIAL-BIGINT-LIN/wcsp/mprime/ normalized-mprime03c_wcsp.wbo	Wrong UNSAT	0.347946	1.24167	2700876
/PARTIAL-BIGINT-LIN/wcsp/ depot/normalized-depot01ac_wcsp.wbo	Wrong UNSAT	0.349946	1.23997	2701884
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog01c_wcsp.wbo	Wrong UNSAT	0.351945	1.24199	2700660
/PARTIAL-BIGINT-LIN/wcsp/ depot/normalized-depot01cc_wcsp.wbo	Wrong UNSAT	0.358944	1.24301	2701872
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog01bc_wcsp.wbo	Wrong UNSAT	0.358944	1.24415	2700726
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog01cc_wcsp.wbo	Wrong UNSAT	0.359944	1.2434	2700750
/PARTIAL-BIGINT-LIN/wcsp/ mprime/normalized-mprime03ac_wcsp.wbo	Wrong UNSAT	0.359945	1.24181	2700870
/PARTIAL-BIGINT-LIN/wcsp/ mprime/normalized-mprime03bc_wcsp.wbo	Wrong UNSAT	0.359945	1.24567	2700894
/PARTIAL-BIGINT-LIN/wcsp/depot/ normalized-depot01c_wcsp.wbo	Wrong UNSAT	0.369942	1.2675	2701878
/PARTIAL-BIGINT-LIN/wcsp/ mprime/normalized-mprime03cc_wcsp.wbo	Wrong UNSAT	0.370943	1.29466	2700888
/PARTIAL-BIGINT-LIN/wcsp/ depot/normalized-depot01bc_wcsp.wbo	Wrong UNSAT	0.372942	1.29243	2701866
/PARTIAL-BIGINT-LIN/wcsp/spot5/ normalized-spot5-29_wcsp.wbo	Wrong UNSAT	0.398938	1.24329	2701590
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt3c_wcsp.wbo	Wrong UNSAT	0.408937	1.24681	2700816
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt3cc_wcsp.wbo	Wrong UNSAT	0.422935	1.29249	2700792
/PARTIAL-BIGINT-LIN/wcsp/academics/ normalized-warehouse1_wcsp.wbo	Wrong UNSAT	0.630903	1.24324	2700636
/PARTIAL-BIGINT-LIN/wcsp/spot5/ normalized-spot5-42_wcsp.wbo	Wrong UNSAT	0.790879	1.34563	2701602
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-503_wcsp.wbo	Wrong UNSAT	0.849869	1.29737	2701626
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap62_wcsp.wbo	Wrong UNSAT	0.870866	1.34809	2700912
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap74_wcsp.wbo	Wrong UNSAT	0.870867	1.34557	2700972
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap51_wcsp.wbo	Wrong UNSAT	0.878865	1.35025	2701008
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap61_wcsp.wbo	Wrong UNSAT	0.886864	1.3469	2701134
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap42_wcsp.wbo	Wrong UNSAT	0.889864	1.34528	2701146
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap41_wcsp.wbo	Wrong UNSAT	0.891863	1.34538	2701032
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap73_wcsp.wbo	Wrong UNSAT	0.894863	1.34635	2700948
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap72_wcsp.wbo	Wrong UNSAT	0.90986	1.29778	2701110
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap63_wcsp.wbo	Wrong UNSAT	0.91486	1.29875	2701014
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap43_wcsp.wbo	Wrong UNSAT	0.916859	1.3482	2701104
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap44_wcsp.wbo	Wrong UNSAT	0.928857	1.3475	2701116
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap71_wcsp.wbo	Wrong UNSAT	0.932857	1.29245	2700960
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap64_wcsp.wbo	Wrong UNSAT	0.939856	1.35035	2700954
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-505_wcsp.wbo	Wrong UNSAT	1.17382	1.45327	2701644
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap91_wcsp.wbo	Wrong UNSAT	1.20981	1.39843	2701056
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap104_wcsp.wbo	Wrong UNSAT	1.21281	1.40168	2700990
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap83_wcsp.wbo	Wrong UNSAT	1.21681	1.39783	2700942
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap92_wcsp.wbo	Wrong UNSAT	1.22181	1.39784	2701086
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap93_wcsp.wbo	Wrong UNSAT	1.22581	1.39954	2701230
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap84_wcsp.wbo	Wrong UNSAT	1.22881	1.40091	2701026
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap94_wcsp.wbo	Wrong UNSAT	1.23281	1.39943	2701182
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap82_wcsp.wbo	Wrong UNSAT	1.23381	1.40026	2700924
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap101_wcsp.wbo	Wrong UNSAT	1.23481	1.40196	2701080
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap102_wcsp.wbo	Wrong UNSAT	1.23581	1.39844	2700930
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap103_wcsp.wbo	Wrong UNSAT	1.24681	1.40308	2700996
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap81_wcsp.wbo	Wrong UNSAT	1.26181	1.40063	2701206
/PARTIAL-BIGINT-LIN/PB10/oliveras/j90/ normalized-j907_8-unsat--soft-33-100-0.wbo	Wrong UNSAT	1.26681	0.578452	2694330
/PARTIAL-BIGINT-LIN/PB10/oliveras/j60/ normalized-j6030_9-unsat--soft-33-100-0.wbo	Wrong UNSAT	1.3368	0.620957	2694358
/PARTIAL-BIGINT-LIN/PB10/oliveras/j60/ normalized-j6033_2-unsat--soft-33-100-0.wbo	Wrong UNSAT	1.34479	0.618533	2694355
/PARTIAL-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9012_2-unsat--soft-33-100-0.wbo	Wrong UNSAT	1.35879	0.624988	2694339
/PARTIAL-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9015_10-unsat--soft-33-100-0.wbo	Wrong UNSAT	1.37079	0.620649	2694324
/PARTIAL-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9014_1-unsat--soft-33-100-0.wbo	Wrong UNSAT	1.40379	0.61997	2694349
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-408_wcsp.wbo	Wrong UNSAT	1.42478	1.45455	2701596
/PARTIAL-BIGINT-LIN/wcsp/ logistics/normalized-logistics01bc_wcsp.wbo	Wrong UNSAT	1.45378	1.4018	2701758
/PARTIAL-BIGINT-LIN/wcsp/logistics/ normalized-logistics01c_wcsp.wbo	Wrong UNSAT	1.48677	1.40224	2701770
/PARTIAL-BIGINT-LIN/wcsp/ logistics/normalized-logistics01cc_wcsp.wbo	Wrong UNSAT	1.49677	1.40359	2701764
/PARTIAL-BIGINT-LIN/wcsp/ logistics/normalized-logistics01ac_wcsp.wbo	Wrong UNSAT	1.49877	1.40176	2701776
/PARTIAL-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9010_6-unsat--soft-33-100-0.wbo	Wrong UNSAT	1.67474	0.735943	2694333
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12023_3-unsat--soft-66-100-0.wbo	Wrong UNSAT	1.75373	0.777682	2694317
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12023_3-unsat--soft-33-100-0.wbo	Wrong UNSAT	1.79173	0.777202	2694320
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12013_1-unsat--soft-66-100-0.wbo	Wrong UNSAT	1.80372	0.777195	2694311
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-507_wcsp.wbo	Wrong UNSAT	1.80972	1.61056	2701620
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap124_wcsp.wbo	Wrong UNSAT	1.86971	1.50979	2701128
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap111_wcsp.wbo	Wrong UNSAT	1.87871	1.50975	2701170
/PARTIAL-BIGINT-LIN/wcsp/ zenotravel/normalized-zenotravel02bc_wcsp.wbo	Wrong UNSAT	1.88171	1.61094	2701470
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap134_wcsp.wbo	Wrong UNSAT	1.88271	1.50798	2700906
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap114_wcsp.wbo	Wrong UNSAT	1.88271	1.51308	2701188
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-412_wcsp.wbo	Wrong UNSAT	1.89671	1.60946	2701632
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap113_wcsp.wbo	Wrong UNSAT	1.89771	1.56364	2701176
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap122_wcsp.wbo	Wrong UNSAT	1.90271	1.51035	2701098
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap131_wcsp.wbo	Wrong UNSAT	1.90671	1.50511	2701092
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12015_3-unsat--soft-33-100-0.wbo	Wrong UNSAT	1.91771	1.04481	2694293
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap121_wcsp.wbo	Wrong UNSAT	1.92771	1.51059	2701044
/PARTIAL-BIGINT-LIN/wcsp/ zenotravel/normalized-zenotravel02ac_wcsp.wbo	Wrong UNSAT	1.92771	1.60941	2701488
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap133_wcsp.wbo	Wrong UNSAT	1.9417	1.50873	2700978
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap132_wcsp.wbo	Wrong UNSAT	1.9417	1.5116	2701002
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-509_wcsp.wbo	Wrong UNSAT	1.9457	1.66323	2701614
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap112_wcsp.wbo	Wrong UNSAT	1.9497	1.5049	2700936
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap123_wcsp.wbo	Wrong UNSAT	1.9547	1.50968	2701038
/PARTIAL-BIGINT-LIN/wcsp/zenotravel/ normalized-zenotravel02c_wcsp.wbo	Wrong UNSAT	1.9757	1.611	2701482
/PARTIAL-BIGINT-LIN/wcsp/ zenotravel/normalized-zenotravel02cc_wcsp.wbo	Wrong UNSAT	2.00069	1.63141	2701464
/PARTIAL-BIGINT-LIN/wcsp/ satellite/normalized-satellite01bc_wcsp.wbo	Wrong UNSAT	2.05069	1.76774	2701524
/PARTIAL-BIGINT-LIN/wcsp/ satellite/normalized-satellite01ac_wcsp.wbo	Wrong UNSAT	2.06469	1.71645	2701536
/PARTIAL-BIGINT-LIN/wcsp/satellite/ normalized-satellite01c_wcsp.wbo	Wrong UNSAT	2.10368	1.77756	2701506
/PARTIAL-BIGINT-LIN/wcsp/ rover/normalized-rovers02bc_wcsp.wbo	Wrong UNSAT	2.15067	1.60869	2701800
/PARTIAL-BIGINT-LIN/wcsp/ rover/normalized-rovers02ac_wcsp.wbo	Wrong UNSAT	2.16567	1.61	2701782
/PARTIAL-BIGINT-LIN/wcsp/ rover/normalized-rovers02c_wcsp.wbo	Wrong UNSAT	2.17667	1.60918	2701794
/PARTIAL-BIGINT-LIN/wcsp/ rover/normalized-rovers02cc_wcsp.wbo	Wrong UNSAT	2.20666	1.60913	2701788
/PARTIAL-BIGINT-LIN/wcsp/ satellite/normalized-satellite01cc_wcsp.wbo	Wrong UNSAT	2.21866	1.78445	2701500
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-1504_wcsp.wbo	Wrong UNSAT	2.23566	1.61157	2701572
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-1401_wcsp.wbo	Wrong UNSAT	2.24166	1.7678	2701542
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlogs03_wcsp.wbo	Wrong UNSAT	2.30065	1.82443	2700720
/PARTIAL-BIGINT-LIN/wcsp/spot5/ normalized-spot5-5_wcsp.wbo	Wrong UNSAT	2.34264	1.82371	2701548
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlogs06_wcsp.wbo	Wrong UNSAT	2.42763	1.87408	2700708
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-1403_wcsp.wbo	Wrong UNSAT	2.45962	1.97827	2701554
/PARTIAL-BIGINT-LIN/wcsp/spot5/ normalized-spot5-28_wcsp.wbo	Wrong UNSAT	2.46362	1.62639	2701560
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-414_wcsp.wbo	Wrong UNSAT	2.46862	1.83357	2701566
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capmo5_wcsp.wbo	Wrong UNSAT	2.48062	2.02895	2701068
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capmo1_wcsp.wbo	Wrong UNSAT	2.50562	2.02664	2701212
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt4cc_wcsp.wbo	Wrong UNSAT	2.53861	1.72115	2700804
/PARTIAL-BIGINT-LIN/wcsp/ mprime/normalized-mprime01bc_wcsp.wbo	Wrong UNSAT	2.55961	1.92342	2700864
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt4bc_wcsp.wbo	Wrong UNSAT	2.57061	1.71643	2700786
/PARTIAL-BIGINT-LIN/wcsp/ mprime/normalized-mprime01ac_wcsp.wbo	Wrong UNSAT	2.57761	1.97607	2700852
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt4c_wcsp.wbo	Wrong UNSAT	2.5966	1.76958	2700810
/PARTIAL-BIGINT-LIN/wcsp/ mprime/normalized-mprime01cc_wcsp.wbo	Wrong UNSAT	2.6306	1.92495	2700846
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capmo4_wcsp.wbo	Wrong UNSAT	2.66059	2.03286	2700984
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog04ac_wcsp.wbo	Wrong UNSAT	2.68859	2.07815	2700690
/PARTIAL-BIGINT-LIN/wcsp/mprime/ normalized-mprime01c_wcsp.wbo	Wrong UNSAT	2.72258	1.92315	2700900
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog04bc_wcsp.wbo	Wrong UNSAT	2.75658	2.08632	2700678
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog04cc_wcsp.wbo	Wrong UNSAT	2.76558	2.13244	2700762
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog04c_wcsp.wbo	Wrong UNSAT	2.78957	2.13249	2700702
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog02c_wcsp.wbo	Wrong UNSAT	2.79257	2.18219	2700768
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog02cc_wcsp.wbo	Wrong UNSAT	2.85756	2.18933	2700654
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog02ac_wcsp.wbo	Wrong UNSAT	2.93655	2.18833	2700738
/PARTIAL-BIGINT-LIN/wcsp/ zenotravel/normalized-zenotravel04ac_wcsp.wbo	Wrong UNSAT	2.94155	2.29334	2701452
/PARTIAL-BIGINT-LIN/wcsp/zenotravel/ normalized-zenotravel04c_wcsp.wbo	Wrong UNSAT	2.94955	2.28957	2701458
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog02bc_wcsp.wbo	Wrong UNSAT	2.95455	2.23767	2700696
/PARTIAL-BIGINT-LIN/wcsp/ zenotravel/normalized-zenotravel04bc_wcsp.wbo	Wrong UNSAT	2.95655	2.4018	2701494
/PARTIAL-BIGINT-LIN/wcsp/ zenotravel/normalized-zenotravel04cc_wcsp.wbo	Wrong UNSAT	2.97455	2.29418	2701476
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-pedck60-L2_wcsp.wbo	Wrong UNSAT	2.98554	1.93924	2701704
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capmo3_wcsp.wbo	Wrong UNSAT	3.00054	2.08186	2701152
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-pedck60-L1_wcsp.wbo	Wrong UNSAT	3.03954	1.92514	2701710
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-1506_wcsp.wbo	Wrong UNSAT	3.09553	2.23836	2701608
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capmo2_wcsp.wbo	Wrong UNSAT	3.09853	2.08349	2701194
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-pedck60-L12_wcsp.wbo	Wrong UNSAT	3.15552	2.0063	2701752
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen06-30reduc_wcsp.wbo	Wrong UNSAT	3.52946	1.92857	2701386
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-1405_wcsp.wbo	Wrong UNSAT	3.53946	2.54862	2701638
/PARTIAL-BIGINT-LIN/wcsp/ mprime/normalized-mprime04bc_wcsp.wbo	Wrong UNSAT	3.65544	2.80745	2700882
/PARTIAL-BIGINT-LIN/wcsp/ mprime/normalized-mprime04cc_wcsp.wbo	Wrong UNSAT	3.9314	2.80805	2700858
/PARTIAL-BIGINT-LIN/wcsp/mprime/ normalized-mprime04c_wcsp.wbo	Wrong UNSAT	3.9414	2.91487	2700834
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-1407_wcsp.wbo	Wrong UNSAT	4.10337	2.96604	2701578
/PARTIAL-BIGINT-LIN/wcsp/ mprime/normalized-mprime04ac_wcsp.wbo	Wrong UNSAT	4.12837	2.86511	2700840
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog05c_wcsp.wbo	Wrong UNSAT	4.29835	3.12172	2700732
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog05ac_wcsp.wbo	Wrong UNSAT	4.31134	3.11986	2700684
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt5c_wcsp.wbo	Wrong UNSAT	4.35334	3.22182	2700774
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog05cc_wcsp.wbo	Wrong UNSAT	4.43733	3.07487	2700642
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt5cc_wcsp.wbo	Wrong UNSAT	4.49432	3.55157	2700822
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog05bc_wcsp.wbo	Wrong UNSAT	4.53231	3.06985	2700756
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt5ac_wcsp.wbo	Wrong UNSAT	4.6243	3.27483	2700828
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt5bc_wcsp.wbo	Wrong UNSAT	4.94025	3.27452	2700798
/PARTIAL-BIGINT-LIN/wcsp/ satellite/normalized-satellite02ac_wcsp.wbo	Wrong UNSAT	5.02923	3.5365	2701518
/PARTIAL-BIGINT-LIN/wcsp/ satellite/normalized-satellite02bc_wcsp.wbo	Wrong UNSAT	5.2572	3.97425	2701512
/PARTIAL-BIGINT-LIN/wcsp/ satellite/normalized-satellite02cc_wcsp.wbo	Wrong UNSAT	5.2682	3.69523	2701530
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-pedck1000_wcsp.wbo	Wrong UNSAT	5.53116	2.97116	2701728
/PARTIAL-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9035_1-unsat--soft-33-100-0.wbo	Wrong UNSAT	5.61115	2.91631	2694327
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen07_10000_30r_wcsp.wbo	Wrong UNSAT	5.97609	4.11519	2701428
/PARTIAL-BIGINT-LIN/wcsp/ scens/normalized-scen06-30_wcsp.wbo	Wrong UNSAT	6.16406	4.2702	2701440
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog08bc_wcsp.wbo	Wrong UNSAT	6.578	5.0528	2700666
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog08ac_wcsp.wbo	Wrong UNSAT	6.61499	5.09719	2700648
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog08c_wcsp.wbo	Wrong UNSAT	6.83996	5.0961	2700714
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog08cc_wcsp.wbo	Wrong UNSAT	6.96394	5.10477	2700672
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar7-sub1-20_wcsp.wbo	Wrong UNSAT	7.14691	4.10803	2701266
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-pedck350l2_wcsp.wbo	Wrong UNSAT	7.63184	3.66017	2701716
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-pedck350_wcsp.wbo	Wrong UNSAT	7.65284	3.66564	2701674
/PARTIAL-BIGINT-LIN/wcsp/ pedigree/normalized-eye_wcsp.wbo	Wrong UNSAT	9.10162	4.13675	2701650
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar6-sub4-20_wcsp.wbo	Wrong UNSAT	9.72252	6.82524	2701272
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12041_4-unsat--soft-33-100-0.wbo	Wrong UNSAT	10.0445	4.97714	2694290
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar6-sub1-24_wcsp.wbo	Wrong UNSAT	10.6384	6.45893	2701284
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capmp2_wcsp.wbo	Wrong UNSAT	10.6694	8.12405	2701164
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capmp1_wcsp.wbo	Wrong UNSAT	10.6874	8.07161	2701224
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capmp4_wcsp.wbo	Wrong UNSAT	11.1103	8.38363	2701140
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capmp3_wcsp.wbo	Wrong UNSAT	11.1443	8.33259	2701074
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capmp5_wcsp.wbo	Wrong UNSAT	11.4253	8.73637	2701218
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar7-sub4-22_wcsp.wbo	Wrong UNSAT	11.9752	8.07113	2701320
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt6_wcsp.wbo	Wrong UNSAT	15.9056	12.3825	2700780
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12027_7-unsat--soft-33-100-0.wbo	Wrong UNSAT	19.1081	9.79071	2694302
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12027_7-unsat--soft-66-100-0.wbo	Wrong UNSAT	19.404	8.80038	2694284
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar6-sub0_wcsp.wbo	Wrong UNSAT	23.2715	17.0655	2701260
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar7-sub0_wcsp.wbo	Wrong UNSAT	23.4044	17.6427	2701242
/PARTIAL-BIGINT-LIN/wcsp/ scens/normalized-scen06-24_wcsp.wbo	Wrong UNSAT	24.9672	18.0582	2701392
/PARTIAL-BIGINT-LIN/wcsp/ driver/normalized-driverlog09_wcsp.wbo	Wrong UNSAT	25.2032	19.7307	2700744
/PARTIAL-BIGINT-LIN/wcsp/ scens/normalized-scen06-22_wcsp.wbo	Wrong UNSAT	39.0941	28.5955	2701434
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capmq5_wcsp.wbo	Wrong UNSAT	43.4854	32.6435	2700918
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capmq1_wcsp.wbo	Wrong UNSAT	44.3993	33.7556	2701122
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capmq3_wcsp.wbo	Wrong UNSAT	45.1971	34.5341	2700966
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capmq2_wcsp.wbo	Wrong UNSAT	45.2871	34.3704	2701050
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capmq4_wcsp.wbo	Wrong UNSAT	47.5418	36.9713	2701200
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capb_wcsp.wbo	Wrong UNSAT	55.9385	40.3853	2701062
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capc_wcsp.wbo	Wrong UNSAT	56.3874	42.0316	2701020
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capa_wcsp.wbo	Wrong UNSAT	58.0632	43.3766	2701158
/PARTIAL-BIGINT-LIN/wcsp/ scens/normalized-scen06-20_wcsp.wbo	Wrong UNSAT	62.9704	49.148	2701380
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar6-sub1_wcsp.wbo	Wrong UNSAT	81.1257	58.8752	2701248
/PARTIAL-BIGINT-LIN/wcsp/ scens/normalized-scen06-18_wcsp.wbo	Wrong UNSAT	84.1502	62.5472	2701416
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar7-sub1_wcsp.wbo	Wrong UNSAT	85.683	62.6207	2701314
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar6-sub2_wcsp.wbo	Wrong UNSAT	112.745	81.2289	2701296
/PARTIAL-BIGINT-LIN/wcsp/ scens/normalized-scen06-16_wcsp.wbo	Wrong UNSAT	119.286	86.7837	2701374
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar7-sub2_wcsp.wbo	Wrong UNSAT	120.825	86.3104	2701302
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar6-sub3_wcsp.wbo	Wrong UNSAT	148.02	106.008	2701290
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar7-sub3_wcsp.wbo	Wrong UNSAT	154.2	112.825	2701278
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar6-sub4_wcsp.wbo	Wrong UNSAT	181.471	126.992	2701236
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar7-sub4_wcsp.wbo	Wrong UNSAT	191.276	137.291	2701254
/PARTIAL-BIGINT-LIN/wcsp/ academics/normalized-slangford-3-11_wcsp.wbo	Wrong UNSAT	281.588	139.991	2700630
/PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph07_wcsp.wbo	Wrong UNSAT	397.083	289.937	2701824
/PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph05_wcsp.wbo	Wrong UNSAT	460.554	292.971	2701818
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12026_5-unsat--soft-66-100-0.wbo	Wrong UNSAT	532.058	263.018	2694323
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen09_wcsp.wbo	Wrong UNSAT	1400.91	867.151	2701422
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen06_wcsp.wbo	Wrong UNSAT	1431.71	815.747	2701410
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen10_wcsp.wbo	Wrong UNSAT	1562.6	1017.33	2701338

Benchmark Name	Answer	cost of falsified constraints	CPU time	Wall clock time	TraceID
/PARTIAL-BIGINT-LIN/PB10/oliveras/j90/ normalized-j903_10-unsat--soft-33-100-0.wbo	Wrong Opt.	72	4.88426	2.72853	2694342
/PARTIAL-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9035_1-unsat--soft-66-100-0.wbo	Wrong Opt.	65	5.64814	3.9697	2694336
/PARTIAL-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9048_1-unsat--soft-33-100-0.wbo	Wrong Opt.	47	5.71513	3.48219	2694346
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j1205_1-unsat--soft-66-100-0.wbo	Wrong Opt.	83	5.8801	3.0898	2694308
/PARTIAL-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9039_3-unsat--soft-33-100-0.wbo	Wrong Opt.	70	5.9081	3.44774	2694352
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j1205_1-unsat--soft-33-100-0.wbo	Wrong Opt.	80	7.93979	5.08108	2694287
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12041_4-unsat--soft-66-100-0.wbo	Wrong Opt.	98	13.451	6.15195	2694296
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Icl2arity.ucl--soft-66-100-0.wbo	Wrong Opt.	42	133.639	109.45	2694231
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache.inv12.ucl--soft-66-100-0.wbo	Wrong Opt.	12	139.362	111.574	2694281
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-tlan3.ucl--soft-33-100-0.wbo	Wrong Opt.	74	163.977	155.07	2694225
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.tag12.ucl--soft-33-100-0.wbo	Wrong Opt.	32	366.283	280.274	2694258
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.tag14.ucl--soft-66-100-0.wbo	Wrong Opt.	33	479.782	374.96	2694228
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Icl2arity.ucl--soft-33-100-0.wbo	Wrong Opt.	2	740.638	720.293	2694245
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache.inv12.ucl--soft-33-100-0.wbo	Wrong Opt.	7	843.264	810.988	2694219
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf10.ucl--soft-66-100-0.wbo	Wrong Opt.	2	902.473	868.85	2694278

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		259.916	139.574	2699627

Benchmark Name	Answer	cost of falsified constraints	CPU time	Wall clock time	TraceID
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-4wqueens_wcsp.wbo	OPTIMUM	0	0.165974	1.1378	2699495
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf6.ucl--soft-33-100-0.wbo	OPTIMUM	1	0.197969	2.17784	2694365
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-11-10--soft-66-100-0.wbo	OPTIMUM	1	0.254961	2.17581	2694497
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-4queens_wcsp.wbo	OPTIMUM	0	0.291954	1.18845	2699543
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-zebre-ext_wcsp.wbo	OPTIMUM	0	0.311952	1.18896	2699579
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-langford-2-4_wcsp.wbo	OPTIMUM	0	0.494923	1.24699	2699507
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-8queens_wcsp.wbo	OPTIMUM	0	0.51992	1.24497	2699531
/PARTIAL-SMALLINT-LIN/wcsp/ pedigree/normalized-sobel_wcsp.wbo	OPTIMUM	0	0.600907	1.30559	2700527
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-21-20--soft-33-100-0.wbo	OPTIMUM	1	0.634903	2.17642	2694513
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-21-20--soft-66-100-0.wbo	OPTIMUM	1	0.702892	2.17698	2694485
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-myciel5g-6_wcsp.wbo	OPTIMUM	0	0.754884	1.29555	2700563
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-2.ucl--soft-66-100-0.wbo	OPTIMUM	1	1.12283	2.1797	2694426
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-31-30--soft-33-100-0.wbo	OPTIMUM	1	1.18682	2.2287	2694467
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh01_wcsp.wbo	OPTIMUM	0	1.51677	1.37571	2700059
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh201_wcsp.wbo	OPTIMUM	0	1.56476	1.29676	2700263
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh210_wcsp.wbo	OPTIMUM	0	1.62275	1.30115	2700215
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh218_wcsp.wbo	OPTIMUM	0	1.65975	1.30285	2700095
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh217_wcsp.wbo	OPTIMUM	0	1.68174	1.30029	2700455
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh212_wcsp.wbo	OPTIMUM	0	1.68974	1.29775	2700227
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh205_wcsp.wbo	OPTIMUM	0	1.73473	1.29817	2700395
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh209_wcsp.wbo	OPTIMUM	0	1.73673	1.29711	2700299
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-41-40--soft-66-100-0.wbo	OPTIMUM	1	1.75373	2.24077	2694509
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh12_wcsp.wbo	OPTIMUM	0	1.82172	1.35597	2699963
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh17_wcsp.wbo	OPTIMUM	0	1.83672	1.29973	2700275
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh207_wcsp.wbo	OPTIMUM	0	1.90971	1.30495	2699999
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh07_wcsp.wbo	OPTIMUM	0	1.91671	1.30321	2700359
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl30_31_pb.cnf.cr--soft-33-100-0.wbo	OPTIMUM	3	1.9397	4.25931	2694447
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-44s.smv--soft-33-100-0.wbo	OPTIMUM	1	2.07568	3.32709	2694347
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh220_wcsp.wbo	OPTIMUM	0	2.21566	1.29569	2700407
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl40_41_pb.cnf.cr--soft-66-100-0.wbo	OPTIMUM	4	2.39764	4.3217	2694397
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh301_wcsp.wbo	OPTIMUM	0	2.50562	1.35027	2699939
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl35_36_pb.cnf.cr--soft-33-100-0.wbo	OPTIMUM	3	2.56461	4.31182	2694422
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-51-50--soft-33-100-0.wbo	OPTIMUM	1	2.6506	4.31049	2694492
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-61-60--soft-66-100-0.wbo	OPTIMUM	1	3.07053	3.33762	2694495
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-donald_wcsp.wbo	OPTIMUM	0	3.22551	1.56644	2699555
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-61-60--soft-33-100-0.wbo	OPTIMUM	1	3.3065	6.33865	2694476
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-zebra_wcsp.wbo	OPTIMUM	0	3.65244	1.88106	2699603
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j6027_4-unsat--soft-66-100-0.wbo	OPTIMUM	24	3.89241	1.9897	2694573
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j603_2-unsat--soft-33-100-0.wbo	OPTIMUM	6	3.9164	2.2536	2694558
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j603_2-unsat--soft-66-100-0.wbo	OPTIMUM	31	4.01939	1.9919	2694561
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf7.ucl--soft-33-100-0.wbo	OPTIMUM	1	4.38333	7.96985	2694410
/PARTIAL-SMALLINT-LIN/wcsp/ academics/normalized-send_wcsp.wbo	OPTIMUM	0	4.5703	1.72347	2699483
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.4.accl.ucl--soft-33-100-0.wbo	OPTIMUM	1	4.75028	8.01595	2694264
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/ normalized-j9048_1-unsat--soft-66-100-0.wbo	OPTIMUM	22	4.75028	2.51576	2694504
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-71-70--soft-66-100-0.wbo	OPTIMUM	1	4.85626	6.3933	2694499
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-22s.smv--soft-66-100-0.wbo	OPTIMUM	1	5.48117	10.0359	2694377
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-dlx1c.ucl--soft-66-100-0.wbo	OPTIMUM	1	5.53516	3.80564	2694337
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-71-70--soft-33-100-0.wbo	OPTIMUM	1	6.45502	5.35683	2694506
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-81-80--soft-33-100-0.wbo	OPTIMUM	1	7.9048	6.40168	2694521
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-langford-3-9_wcsp.wbo	OPTIMUM	0	8.38172	3.31534	2699567
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-dlx1c.rwmem1.ucl--soft-66-100-0.wbo	OPTIMUM	1	8.5317	18.9913	2694255
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.tag8.ucl--soft-66-100-0.wbo	OPTIMUM	2	9.24359	16.8119	2694421
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-22s.smv--soft-33-100-0.wbo	OPTIMUM	1	10.5914	13.8479	2694392
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.2.accl.ucl--soft-33-100-0.wbo	OPTIMUM	1	11.0873	19.8716	2694449
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf9.ucl--soft-66-100-0.wbo	OPTIMUM	1	11.9082	12.3779	2694288
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-dlx1c.rwmem1.ucl--soft-33-100-0.wbo	OPTIMUM	1	12.1751	17.2308	2694353
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-91-90--soft-66-100-0.wbo	OPTIMUM	1	12.4361	7.4356	2694503
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf8.ucl--soft-66-100-0.wbo	OPTIMUM	1	13.188	30.2641	2694340
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-101-100--soft-66-100-0.wbo	OPTIMUM	1	19.0901	12.4437	2694473
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110974372--soft-66-100-0.wbo	OPTIMUM	207	26.179	15.2918	2694728
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.3.accl.ucl--soft-33-100-0.wbo	OPTIMUM	1	27.7768	32.5065	2694331
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110970631--soft-66-100-0.wbo	OPTIMUM	73	28.3697	20.2875	2694654
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110966483--soft-66-100-0.wbo	OPTIMUM	51	28.5187	21.3382	2694710
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224059--soft-33-100-0.wbo	OPTIMUM	15	29.9215	27.305	2694722
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111217392--soft-33-100-0.wbo	OPTIMUM	2	30.7473	22.3707	2694636
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110973364--soft-33-100-0.wbo	OPTIMUM	2	31.6162	23.2935	2694651
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224929--soft-66-100-0.wbo	OPTIMUM	71	32.2351	20.332	2694752
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf9.ucl--soft-66-100-0.wbo	OPTIMUM	1	32.2901	41.7153	2694371
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110971697--soft-33-100-0.wbo	OPTIMUM	2	34.4998	28.3462	2694526
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110969577--soft-66-100-0.wbo	OPTIMUM	58	35.2766	20.2822	2694557
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111226680--soft-33-100-0.wbo	OPTIMUM	2	39.432	30.3226	2694551
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111220546--soft-33-100-0.wbo	OPTIMUM	2	39.7829	27.3642	2694714
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111221624--soft-33-100-0.wbo	OPTIMUM	5	41.5317	27.3011	2694688
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110972154--soft-33-100-0.wbo	OPTIMUM	2	41.9676	31.311	2694611
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111220019--soft-33-100-0.wbo	OPTIMUM	2	42.0646	31.3656	2694633
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110968898--soft-33-100-0.wbo	OPTIMUM	2	43.0265	28.3451	2694617
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110976935--soft-33-100-0.wbo	OPTIMUM	2	45.6031	34.3212	2694531
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110974180--soft-33-100-0.wbo	OPTIMUM	2	46.4909	38.3765	2694532
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224929--soft-33-100-0.wbo	OPTIMUM	8	47.5948	37.3344	2694753
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110967729--soft-33-100-0.wbo	OPTIMUM	4	53.0219	47.3759	2694718
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110976935--soft-66-100-0.wbo	OPTIMUM	68	55.7925	39.305	2694593
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111222539--soft-33-100-0.wbo	OPTIMUM	9	59.9509	37.3897	2694696
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-dlx1c.rwmem.ucl--soft-33-100-0.wbo	OPTIMUM	1	60.3128	65.8948	2694285
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111216411--soft-33-100-0.wbo	OPTIMUM	2	60.5598	40.3526	2694590
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111226368--soft-33-100-0.wbo	OPTIMUM	15	61.9106	56.4132	2694745
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110969577--soft-33-100-0.wbo	OPTIMUM	12	65.0421	51.3866	2694527
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110976730--soft-33-100-0.wbo	OPTIMUM	4	68.8845	51.3869	2694702
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218024--soft-33-100-0.wbo	OPTIMUM	12	70.4723	48.3543	2694585
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110973163--soft-33-100-0.wbo	OPTIMUM	15	220.56	211.618	2694676
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j605_10-unsat--soft-33-100-0.wbo	OPTIMUM	332	396.211	198.128	2694514
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf10.ucl--soft-66-100-0.wbo	OPTIMUM	1	708.811	439.02	2694445
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.3.accl.ucl--soft-66-100-0.wbo	OPTIMUM	1	1107.69	693.678	2694321
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.8.accl.ucl--soft-66-100-0.wbo	OPTIMUM	1	1270.91	647.044	2694395

Benchmark Name	Answer	cost of falsified constraints	CPU time	Wall clock time	TraceID
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-41-40--soft-33-100-0.wbo	MSAT (TO)	1	1800.11	1795.64	2694516
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900558739--soft-33-100-0.wbo	MSAT (TO)	21	1800.13	975.858	2694840
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900548667--soft-33-100-0.wbo	MSAT (TO)	35	1800.13	974.655	2694777
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900563250--soft-66-100-0.wbo	MSAT (TO)	40	1800.15	969.563	2694856
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900554420--soft-66-100-0.wbo	MSAT (TO)	83	1800.15	979.063	2694882
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900546417--soft-33-100-0.wbo	MSAT (TO)	66	1800.15	978.55	2694951
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900550720--soft-33-100-0.wbo	MSAT (TO)	13	1800.17	984.155	2694908
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900584219--soft-33-100-0.wbo	MSAT (TO)	40	1800.18	991.681	2694770
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900670234--soft-33-100-0.wbo	MSAT (TO)	27	1800.18	968.567	2694783
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900565534--soft-66-100-0.wbo	MSAT (TO)	40	1800.19	972.159	2694886
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900557574--soft-66-100-0.wbo	MSAT (TO)	93	1800.2	972.466	2694844
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900559676--soft-66-100-0.wbo	MSAT (TO)	30	1800.2	973.392	2694792
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900583053--soft-66-100-0.wbo	MSAT (TO)	99	1800.2	963.152	2694910
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900581320--soft-66-100-0.wbo	MSAT (TO)	157	1800.2	970.082	2694874
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900576151--soft-66-100-0.wbo	MSAT (TO)	41	1800.2	965.612	2694842
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900552288--soft-66-100-0.wbo	MSAT (TO)	6	1800.21	978.663	2694940
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900545610--soft-66-100-0.wbo	MSAT (TO)	83	1800.21	970.758	2694767
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900558739--soft-66-100-0.wbo	MSAT (TO)	32	1800.21	967.085	2694832
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900576927--soft-33-100-0.wbo	MSAT (TO)	13	1800.22	974.779	2694876
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900584106--soft-66-100-0.wbo	MSAT (TO)	87	1800.22	988.561	2694771
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900667195--soft-66-100-0.wbo	MSAT (TO)	64	1800.22	968.609	2694213
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900576927--soft-66-100-0.wbo	MSAT (TO)	99	1800.22	985.896	2694804
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567985--soft-33-100-0.wbo	MSAT (TO)	47	1800.23	976.283	2694852
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900561288--soft-66-100-0.wbo	MSAT (TO)	25	1800.23	966.569	2694780
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900577940--soft-66-100-0.wbo	MSAT (TO)	39	1800.23	972.987	2694226
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900544484--soft-33-100-0.wbo	MSAT (TO)	66	1800.23	979.777	2694249
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900573901--soft-66-100-0.wbo	MSAT (TO)	40	1800.23	966.978	2694878
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900576151--soft-33-100-0.wbo	MSAT (TO)	47	1800.24	968.668	2694906
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900553647--soft-33-100-0.wbo	MSAT (TO)	27	1800.24	968.69	2694814
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900547389--soft-33-100-0.wbo	MSAT (TO)	21	1800.25	986.064	2694215
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900557574--soft-33-100-0.wbo	MSAT (TO)	72	1800.27	975.571	2694229
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900584219--soft-66-100-0.wbo	MSAT (TO)	41	1800.27	971.459	2694786
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900559676--soft-33-100-0.wbo	MSAT (TO)	40	1800.27	980.867	2694888
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900554420--soft-33-100-0.wbo	MSAT (TO)	12	1800.27	987.285	2694834
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900563250--soft-33-100-0.wbo	MSAT (TO)	13	1800.27	988.562	2694930
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900573137--soft-33-100-0.wbo	MSAT (TO)	23	1800.28	967.169	2694862
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900669797--soft-66-100-0.wbo	MSAT (TO)	99	1800.28	963.662	2694943
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900579996--soft-66-100-0.wbo	MSAT (TO)	30	1800.28	966.69	2694802
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900577940--soft-33-100-0.wbo	MSAT (TO)	20	1800.29	972.266	2694830
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900583053--soft-33-100-0.wbo	MSAT (TO)	13	1800.29	979.259	2694854
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900584106--soft-33-100-0.wbo	MSAT (TO)	154	1800.3	964.677	2694884
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900574864--soft-33-100-0.wbo	MSAT (TO)	23	1800.3	974.771	2694838
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900579996--soft-33-100-0.wbo	MSAT (TO)	55	1800.3	987.588	2694820
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900546076--soft-33-100-0.wbo	MSAT (TO)	98	1800.3	979.66	2694773
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900581320--soft-33-100-0.wbo	MSAT (TO)	55	1800.31	975.365	2694902
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900573901--soft-33-100-0.wbo	MSAT (TO)	13	1800.31	987.396	2694779
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567985--soft-66-100-0.wbo	MSAT (TO)	41	1800.32	971.851	2694252
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900670167--soft-33-100-0.wbo	MSAT (TO)	23	1800.32	974.668	2694900
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900550720--soft-66-100-0.wbo	MSAT (TO)	40	1800.33	965.268	2694223
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900670234--soft-66-100-0.wbo	MSAT (TO)	64	1800.35	957.194	2694860
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900557362--soft-33-100-0.wbo	MSAT (TO)	64	1800.36	989.494	2694947
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900546417--soft-66-100-0.wbo	MSAT (TO)	6	1800.37	964.786	2694766
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900548667--soft-66-100-0.wbo	MSAT (TO)	6	1800.37	973.653	2694928
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900565534--soft-33-100-0.wbo	MSAT (TO)	13	1800.38	984.779	2694822
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900550006--soft-33-100-0.wbo	MSAT (TO)	13	1800.38	970.302	2694892
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900667195--soft-33-100-0.wbo	MSAT (TO)	27	1800.39	989.792	2694826
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900550006--soft-66-100-0.wbo	MSAT (TO)	99	1800.39	976.7	2694798
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900545610--soft-33-100-0.wbo	MSAT (TO)	12	1800.41	981.136	2694846
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900570242--soft-33-100-0.wbo	MSAT (TO)	46	1800.41	975.943	2694868
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900552735--soft-33-100-0.wbo	MSAT (TO)	28	1800.42	1000.48	2694238
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900571761--soft-33-100-0.wbo	MSAT (TO)	21	1800.46	966.412	2694776
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900582300--soft-33-100-0.wbo	MSAT (TO)	27	1800.47	973.033	2694890
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900557957--soft-66-100-0.wbo	MSAT (TO)	64	1800.55	967.475	2694812
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900554072--soft-33-100-0.wbo	MSAT (TO)	79	1800.56	959.393	2694870
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900573137--soft-66-100-0.wbo	MSAT (TO)	16	1800.58	969.269	2694894
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900561288--soft-33-100-0.wbo	MSAT (TO)	66	1800.85	993.642	2694828

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
/PARTIAL-SMALLINT-LIN/wcsp/spot5/ normalized-spot5-8_wcsp.wbo	Wrong UNSAT	0.159975	1.1363	2700467
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-warehouse0_wcsp.wbo	Wrong UNSAT	0.170973	1.14012	2699591
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-15-10--soft-66-100-0.wbo	Wrong UNSAT	0.182971	1.13677	2694456
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-geom40-2_wcsp.wbo	Wrong UNSAT	0.198969	1.19091	2700551
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl10_15_pb.cnf.cr--soft-66-100-0.wbo	Wrong UNSAT	0.222965	1.19352	2694413
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl10_20_pb.cnf.cr--soft-66-100-0.wbo	Wrong UNSAT	0.266959	1.19551	2694376
/PARTIAL-SMALLINT-LIN/wcsp/spot5/ normalized-spot5-54_wcsp.wbo	Wrong UNSAT	0.295954	1.24019	2700479
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl15_25_pb.cnf.cr--soft-66-100-0.wbo	Wrong UNSAT	0.32395	1.1894	2694419
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-geom30a-4_wcsp.wbo	Wrong UNSAT	0.329948	1.19408	2700611
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-8wqueens_wcsp.wbo	Wrong UNSAT	0.349946	1.24369	2699519
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl20_30_pb.cnf.cr--soft-66-100-0.wbo	Wrong UNSAT	0.493924	1.24483	2694450
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-myciel5g-3_wcsp.wbo	Wrong UNSAT	0.506922	1.2414	2700599
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois21_ext.wbo	Wrong UNSAT	0.58791	1.1922	2699711
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j308_1-unsat--soft-66-100-0.wbo	Wrong UNSAT	0.636902	0.398096	2694457
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois20_ext.wbo	Wrong UNSAT	0.6559	1.19038	2699771
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j308_1-unsat--soft-33-100-0.wbo	Wrong UNSAT	0.658899	0.411005	2694479
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois22_ext.wbo	Wrong UNSAT	0.661899	1.19302	2699723
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois24_ext.wbo	Wrong UNSAT	0.723889	1.20954	2699699
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois25_ext.wbo	Wrong UNSAT	0.727888	1.19261	2699879
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois23_ext.wbo	Wrong UNSAT	0.732888	1.18977	2699795
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois29_ext.wbo	Wrong UNSAT	0.761883	1.19001	2699735
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois27_ext.wbo	Wrong UNSAT	0.762883	1.19177	2699903
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois26_ext.wbo	Wrong UNSAT	0.773882	1.19306	2699759
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois28_ext.wbo	Wrong UNSAT	0.797878	1.19367	2699807
/PARTIAL-SMALLINT-LIN/wcsp/spot5/ normalized-spot5-404_wcsp.wbo	Wrong UNSAT	0.817875	1.29364	2700491
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois30_ext.wbo	Wrong UNSAT	0.859868	1.18888	2699819
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-pret60_25_ext.wbo	Wrong UNSAT	0.911861	1.18893	2699639
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-pret60_60_ext.wbo	Wrong UNSAT	0.97685	1.1952	2699855
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j606_1-unsat--soft-33-100-0.wbo	Wrong UNSAT	0.993848	0.478288	2694546
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j6010_2-unsat--soft-66-100-0.wbo	Wrong UNSAT	0.998847	0.480281	2694528
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-pret60_75_ext.wbo	Wrong UNSAT	1.03284	1.1944	2699891
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-pret60_40_ext.wbo	Wrong UNSAT	1.04484	1.18961	2699843
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-geom30a-5_wcsp.wbo	Wrong UNSAT	1.05384	1.18867	2700539
/PARTIAL-SMALLINT-LIN/wcsp/pedigree/ normalized-simple_wcsp.wbo	Wrong UNSAT	1.11983	1.40133	2700515
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j6027_4-unsat--soft-33-100-0.wbo	Wrong UNSAT	1.14682	0.544331	2694565
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/ normalized-j907_8-unsat--soft-66-100-0.wbo	Wrong UNSAT	1.3008	0.588152	2694491
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois50_ext.wbo	Wrong UNSAT	1.3318	1.24011	2699687
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/ normalized-j9012_2-unsat--soft-66-100-0.wbo	Wrong UNSAT	1.36079	0.623826	2694488
/PARTIAL-SMALLINT-LIN/wcsp/pedigree/ normalized-connell_wcsp.wbo	Wrong UNSAT	1.36579	1.34362	2700503
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j6033_2-unsat--soft-66-100-0.wbo	Wrong UNSAT	1.38579	0.626838	2694571
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh302_wcsp.wbo	Wrong UNSAT	1.39479	1.29424	2699951
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-pret150_75_ext.wbo	Wrong UNSAT	1.40979	1.24587	2699867
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache.inv8.ucl--soft-66-100-0.wbo	Wrong UNSAT	1.41079	1.45542	2694279
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/ normalized-j9028_2-unsat--soft-66-100-0.wbo	Wrong UNSAT	1.41578	0.635647	2694508
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-ssa0432-003_ext.wbo	Wrong UNSAT	1.43678	1.30302	2699831
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-tlan2.ucl--soft-66-100-0.wbo	Wrong UNSAT	1.44678	1.40738	2694269
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/ normalized-j9039_3-unsat--soft-66-100-0.wbo	Wrong UNSAT	1.45478	0.638651	2694493
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh304_wcsp.wbo	Wrong UNSAT	1.55776	1.29663	2700191
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh215_wcsp.wbo	Wrong UNSAT	1.56976	1.30047	2700071
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-pret150_60_ext.wbo	Wrong UNSAT	1.57876	1.25085	2699927
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-pret150_40_ext.wbo	Wrong UNSAT	1.59276	1.24415	2699675
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/ normalized-j9010_6-unsat--soft-66-100-0.wbo	Wrong UNSAT	1.60176	0.69196	2694486
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh307_wcsp.wbo	Wrong UNSAT	1.60576	1.42669	2700035
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh202_wcsp.wbo	Wrong UNSAT	1.63075	1.34616	2700011
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-dsjc125-1-4_wcsp.wbo	Wrong UNSAT	1.72374	1.40661	2700587
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-16wqueens_wcsp.wbo	Wrong UNSAT	1.72374	1.51212	2699615
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-pret150_25_ext.wbo	Wrong UNSAT	1.73474	1.25102	2699747
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh310_wcsp.wbo	Wrong UNSAT	1.74073	1.29678	2700431
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh05_wcsp.wbo	Wrong UNSAT	1.74273	1.29638	2700443
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh14_wcsp.wbo	Wrong UNSAT	1.74973	1.29759	2699975
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh309_wcsp.wbo	Wrong UNSAT	1.77373	1.34992	2700167
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh211_wcsp.wbo	Wrong UNSAT	1.81272	1.30077	2700371
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh09_wcsp.wbo	Wrong UNSAT	1.82272	1.29798	2700419
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh10_wcsp.wbo	Wrong UNSAT	1.85372	1.29658	2700323
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh08_wcsp.wbo	Wrong UNSAT	1.87271	1.30062	2700347
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh208_wcsp.wbo	Wrong UNSAT	1.90171	1.29866	2700155
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh13_wcsp.wbo	Wrong UNSAT	1.90671	1.30136	2700335
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-tlan2.ucl--soft-33-100-0.wbo	Wrong UNSAT	1.90671	1.45867	2694315
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh305_wcsp.wbo	Wrong UNSAT	1.91671	1.29676	2700047
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh04_wcsp.wbo	Wrong UNSAT	1.9757	1.29748	2700023
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh216_wcsp.wbo	Wrong UNSAT	2.05369	1.29937	2699987
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh214_wcsp.wbo	Wrong UNSAT	2.09968	1.35891	2700143
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j301_4-unsat--soft-66-100-0.wbo	Wrong UNSAT	2.12368	1.61291	2694451
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh219_wcsp.wbo	Wrong UNSAT	2.19267	1.3014	2700131
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-le450-5a-2_wcsp.wbo	Wrong UNSAT	2.19567	1.66438	2700623
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh11_wcsp.wbo	Wrong UNSAT	2.21966	1.29605	2700179
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh19_wcsp.wbo	Wrong UNSAT	2.26565	1.29738	2700083
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh15_wcsp.wbo	Wrong UNSAT	2.28365	1.29708	2700119
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-8.ucl--soft-33-100-0.wbo	Wrong UNSAT	2.30465	1.51264	2694325
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh203_wcsp.wbo	Wrong UNSAT	2.31665	1.31296	2700239
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh06_wcsp.wbo	Wrong UNSAT	2.31865	1.3006	2700203
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh303_wcsp.wbo	Wrong UNSAT	2.39264	1.29883	2700383
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh308_wcsp.wbo	Wrong UNSAT	2.40463	1.29886	2700251
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh18_wcsp.wbo	Wrong UNSAT	2.41963	1.298	2700107
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-6.ucl--soft-66-100-0.wbo	Wrong UNSAT	2.53361	1.29395	2694383
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-bf2670-001_ext.wbo	Wrong UNSAT	2.6406	1.55729	2699651
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-ssa2670-141_ext.wbo	Wrong UNSAT	2.71359	1.45198	2699915
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois100_ext.wbo	Wrong UNSAT	2.73458	1.31029	2699663
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh306_wcsp.wbo	Wrong UNSAT	2.84157	1.30132	2700287
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-le450-5a-4_wcsp.wbo	Wrong UNSAT	2.99954	2.08536	2701667
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-25s.smv--soft-66-100-0.wbo	Wrong UNSAT	3.07353	1.62117	2694303
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh16_wcsp.wbo	Wrong UNSAT	3.41548	1.29607	2700311
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-tlan3.ucl--soft-66-100-0.wbo	Wrong UNSAT	3.48947	2.2963	2694423
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-bf0432-007_ext.wbo	Wrong UNSAT	4.23435	1.5062	2699783
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j3041_4-unsat--soft-33-100-0.wbo	Wrong UNSAT	4.95525	1.92854	2694471
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j3041_4-unsat--soft-66-100-0.wbo	Wrong UNSAT	5.01624	1.87457	2694464
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j309_10-unsat--soft-66-100-0.wbo	Wrong UNSAT	5.9001	1.93228	2694460
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224059--soft-66-100-0.wbo	Wrong UNSAT	18.0433	9.26355	2694536
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111222257--soft-66-100-0.wbo	Wrong UNSAT	27.2189	13.2573	2694628
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110977780--soft-66-100-0.wbo	Wrong UNSAT	27.3188	13.271	2694733
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218024--soft-66-100-0.wbo	Wrong UNSAT	32.2101	16.2233	2694541
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111227861--soft-66-100-0.wbo	Wrong UNSAT	32.2851	16.288	2694547
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218757--soft-66-100-0.wbo	Wrong UNSAT	35.9645	18.2576	2694643
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j605_10-unsat--soft-66-100-0.wbo	Wrong UNSAT	40.0549	18.938	2694512
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900564824--soft-66-100-0.wbo	Wrong UNSAT	49.3725	24.4456	2694768
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110974180--soft-66-100-0.wbo	Wrong UNSAT	50.5083	26.2837	2694574
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-myciel5g-5_wcsp.wbo	Wrong UNSAT	1712.17	862.071	2700575

Benchmark Name	Answer	cost of falsified constraints	CPU time	Wall clock time	TraceID
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf6.ucl--soft-66-100-0.wbo	Wrong Opt.	34	0.196969	2.18157	2694420
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-11-10--soft-33-100-0.wbo	Wrong Opt.	7	0.300953	2.1763	2694454
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-15-10--soft-33-100-0.wbo	Wrong Opt.	56	0.341947	2.17862	2694470
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-3.ucl--soft-66-100-0.wbo	Wrong Opt.	48	0.45593	2.23135	2694344
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl10_11_pb.cnf.cr--soft-33-100-0.wbo	Wrong Opt.	31	0.45693	2.18186	2694424
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-4.ucl--soft-66-100-0.wbo	Wrong Opt.	57	0.463928	2.2289	2694435
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-4.ucl--soft-33-100-0.wbo	Wrong Opt.	91	0.480926	2.22815	2694359
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl10_11_pb.cnf.cr--soft-66-100-0.wbo	Wrong Opt.	71	0.481926	3.17032	2694411
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-3.ucl--soft-33-100-0.wbo	Wrong Opt.	91	0.542916	2.2304	2694309
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl10_15_pb.cnf.cr--soft-33-100-0.wbo	Wrong Opt.	366	0.544916	3.16346	2694370
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl15_16_pb.cnf.cr--soft-66-100-0.wbo	Wrong Opt.	35	0.739886	3.2208	2694361
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl15_16_pb.cnf.cr--soft-33-100-0.wbo	Wrong Opt.	15	0.776881	3.17555	2694408
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-25-20--soft-66-100-0.wbo	Wrong Opt.	238	0.875866	2.18129	2694462
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl10_20_pb.cnf.cr--soft-33-100-0.wbo	Wrong Opt.	733	0.876865	2.18194	2694444
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-25-20--soft-33-100-0.wbo	Wrong Opt.	36	1.01184	2.19574	2694501
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl15_20_pb.cnf.cr--soft-66-100-0.wbo	Wrong Opt.	378	1.05984	3.21721	2694412
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl15_20_pb.cnf.cr--soft-33-100-0.wbo	Wrong Opt.	271	1.17182	3.22147	2694431
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl20_21_pb.cnf.cr--soft-33-100-0.wbo	Wrong Opt.	8	1.19382	3.22088	2694428
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl20_21_pb.cnf.cr--soft-66-100-0.wbo	Wrong Opt.	10	1.19382	3.2217	2694373
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-35-30--soft-66-100-0.wbo	Wrong Opt.	98	1.21381	2.22987	2694505
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-2.ucl--soft-33-100-0.wbo	Wrong Opt.	9	1.24781	2.23669	2694291
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl15_25_pb.cnf.cr--soft-33-100-0.wbo	Wrong Opt.	559	1.25281	3.21684	2694416
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-31-30--soft-66-100-0.wbo	Wrong Opt.	14	1.3148	3.2168	2694459
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-35-30--soft-33-100-0.wbo	Wrong Opt.	71	1.35379	3.21983	2694452
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl20_25_pb.cnf.cr--soft-66-100-0.wbo	Wrong Opt.	197	1.40879	3.23394	2694391
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-45-40--soft-66-100-0.wbo	Wrong Opt.	98	1.50577	3.2721	2694480
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl20_25_pb.cnf.cr--soft-33-100-0.wbo	Wrong Opt.	231	1.53177	3.22222	2694364
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl20_30_pb.cnf.cr--soft-33-100-0.wbo	Wrong Opt.	513	1.62775	3.23408	2694403
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-45-40--soft-33-100-0.wbo	Wrong Opt.	58	1.62975	3.27068	2694490
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-55-50--soft-66-100-0.wbo	Wrong Opt.	67	1.81472	3.32526	2694463
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-6.ucl--soft-33-100-0.wbo	Wrong Opt.	7	1.85572	2.29727	2694430
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-44s.smv--soft-66-100-0.wbo	Wrong Opt.	26	1.9427	5.31545	2694443
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-65-60--soft-33-100-0.wbo	Wrong Opt.	52	2.03069	3.3213	2694496
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl30_40_pb.cnf.cr--soft-66-100-0.wbo	Wrong Opt.	617	2.03169	3.27308	2694406
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-65-60--soft-66-100-0.wbo	Wrong Opt.	67	2.03169	3.32406	2694502
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl30_31_pb.cnf.cr--soft-66-100-0.wbo	Wrong Opt.	28	2.04169	3.27128	2694442
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-55-50--soft-33-100-0.wbo	Wrong Opt.	58	2.08368	3.32282	2694487
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl30_40_pb.cnf.cr--soft-33-100-0.wbo	Wrong Opt.	432	2.11868	4.30942	2694407
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf7.ucl--soft-66-100-0.wbo	Wrong Opt.	30	2.20366	2.39789	2694417
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-37s.smv--soft-66-100-0.wbo	Wrong Opt.	6	2.39164	4.42368	2694306
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl35_40_pb.cnf.cr--soft-33-100-0.wbo	Wrong Opt.	101	2.41963	4.31494	2694414
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-75-70--soft-66-100-0.wbo	Wrong Opt.	89	2.47062	3.37391	2694494
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl40_45_pb.cnf.cr--soft-33-100-0.wbo	Wrong Opt.	95	2.51762	4.31841	2694400
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-51-50--soft-66-100-0.wbo	Wrong Opt.	3	2.52162	3.28906	2694524
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl35_45_pb.cnf.cr--soft-33-100-0.wbo	Wrong Opt.	281	2.52162	4.31811	2694448
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl30_35_pb.cnf.cr--soft-33-100-0.wbo	Wrong Opt.	122	2.53861	3.2737	2694425
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-75-70--soft-33-100-0.wbo	Wrong Opt.	19	2.58361	3.37796	2694523
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl30_35_pb.cnf.cr--soft-66-100-0.wbo	Wrong Opt.	251	2.6116	4.31612	2694385
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-37s.smv--soft-33-100-0.wbo	Wrong Opt.	2	2.67259	4.43074	2694440
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl40_41_pb.cnf.cr--soft-33-100-0.wbo	Wrong Opt.	6	2.75058	4.31436	2694405
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-85-80--soft-33-100-0.wbo	Wrong Opt.	67	2.75358	3.39109	2694507
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl35_40_pb.cnf.cr--soft-66-100-0.wbo	Wrong Opt.	214	2.77358	3.32826	2694439
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl35_36_pb.cnf.cr--soft-66-100-0.wbo	Wrong Opt.	9	2.79257	5.30894	2694434
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl35_45_pb.cnf.cr--soft-66-100-0.wbo	Wrong Opt.	568	2.83757	3.32711	2694429
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-85-80--soft-66-100-0.wbo	Wrong Opt.	64	2.88956	3.38016	2694484
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl40_50_pb.cnf.cr--soft-33-100-0.wbo	Wrong Opt.	401	2.91356	4.36099	2694388
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf7.ucl--soft-33-100-0.wbo	Wrong Opt.	3	2.92055	5.46224	2694362
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-7.ucl--soft-66-100-0.wbo	Wrong Opt.	44	2.92255	2.50465	2694276
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-95-90--soft-33-100-0.wbo	Wrong Opt.	67	2.96055	3.42692	2694517
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl40_45_pb.cnf.cr--soft-66-100-0.wbo	Wrong Opt.	174	3.09453	4.33481	2694409
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf6.ucl--soft-33-100-0.wbo	Wrong Opt.	2	3.20151	3.49035	2694318
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache.inv8.ucl--soft-33-100-0.wbo	Wrong Opt.	8	3.20451	3.58826	2694389
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-95-90--soft-66-100-0.wbo	Wrong Opt.	51	3.2755	3.43117	2694515
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl50_55_pb.cnf.cr--soft-33-100-0.wbo	Wrong Opt.	72	3.2895	4.36366	2694394
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j301_4-unsat--soft-33-100-0.wbo	Wrong Opt.	27	3.2895	2.75428	2694468
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-105-100--soft-33-100-0.wbo	Wrong Opt.	19	3.42148	3.43358	2694498
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl50_55_pb.cnf.cr--soft-66-100-0.wbo	Wrong Opt.	280	3.51247	4.41839	2694379
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-8.ucl--soft-66-100-0.wbo	Wrong Opt.	18	3.55146	2.55244	2694374
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache.inv10.ucl--soft-66-100-0.wbo	Wrong Opt.	19	3.64345	5.05653	2694368
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j3046_4-unsat--soft-66-100-0.wbo	Wrong Opt.	9	3.72943	2.81434	2694455
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-46s.smv--soft-33-100-0.wbo	Wrong Opt.	4	3.90441	3.48785	2694350
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/ normalized-j903_10-unsat--soft-66-100-0.wbo	Wrong Opt.	81	3.9134	2.19457	2694500
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j3046_4-unsat--soft-33-100-0.wbo	Wrong Opt.	46	3.9164	2.86719	2694477
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j602_7-unsat--soft-66-100-0.wbo	Wrong Opt.	35	3.9594	2.97392	2694522
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf8.ucl--soft-66-100-0.wbo	Wrong Opt.	4	3.98039	2.72151	2694438
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-46s.smv--soft-66-100-0.wbo	Wrong Opt.	9	4.09238	8.48952	2694380
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-105-100--soft-66-100-0.wbo	Wrong Opt.	58	4.17037	4.41613	2694465
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl50_60_pb.cnf.cr--soft-33-100-0.wbo	Wrong Opt.	308	4.17437	4.37553	2694404
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/ normalized-j9015_10-unsat--soft-66-100-0.wbo	Wrong Opt.	46	4.21036	2.3556	2694510
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl50_60_pb.cnf.cr--soft-66-100-0.wbo	Wrong Opt.	720	4.21636	4.38348	2694437
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j602_7-unsat--soft-33-100-0.wbo	Wrong Opt.	30	4.24035	3.18241	2694525
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j606_1-unsat--soft-66-100-0.wbo	Wrong Opt.	85	4.42833	2.05094	2694555
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf8.ucl--soft-33-100-0.wbo	Wrong Opt.	4	4.48032	6.24116	2694334
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j6010_2-unsat--soft-33-100-0.wbo	Wrong Opt.	73	4.5763	2.252	2694519
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-7.ucl--soft-33-100-0.wbo	Wrong Opt.	95	4.72728	3.53765	2694273
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j6030_9-unsat--soft-66-100-0.wbo	Wrong Opt.	62	4.81527	2.24683	2694539
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-43s.smv--soft-66-100-0.wbo	Wrong Opt.	5	5.71313	7.69965	2694328
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl40_50_pb.cnf.cr--soft-66-100-0.wbo	Wrong Opt.	561	6.29904	4.39451	2694382
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/ normalized-j9014_1-unsat--soft-66-100-0.wbo	Wrong Opt.	37	6.40902	3.90702	2694481
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl50_51_pb.cnf.cr--soft-66-100-0.wbo	Wrong Opt.	24	6.67698	5.41038	2694367
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf7.ucl--soft-66-100-0.wbo	Wrong Opt.	21	7.08392	17.8992	2694401
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-dlx1c.ucl--soft-33-100-0.wbo	Wrong Opt.	2	7.08692	10.9226	2694282
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf6.ucl--soft-66-100-0.wbo	Wrong Opt.	29	7.14145	6.50601	2694300
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-81-80--soft-66-100-0.wbo	Wrong Opt.	3	7.57585	6.39554	2694511
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.4.accl.ucl--soft-66-100-0.wbo	Wrong Opt.	8	7.60284	9.78106	2694356
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.tag8.ucl--soft-33-100-0.wbo	Wrong Opt.	12	8.12676	18.3062	2694398
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-43s.smv--soft-33-100-0.wbo	Wrong Opt.	2	8.16676	19.3971	2694297
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl50_51_pb.cnf.cr--soft-33-100-0.wbo	Wrong Opt.	6	8.34136	5.40625	2694427
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-dlx1c.rwmem.ucl--soft-66-100-0.wbo	Wrong Opt.	2	8.40272	17.199	2694266
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf8.ucl--soft-33-100-0.wbo	Wrong Opt.	2	9.50655	16.867	2694415
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache.inv10.ucl--soft-33-100-0.wbo	Wrong Opt.	28	11.5382	15.3187	2694262
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-91-90--soft-33-100-0.wbo	Wrong Opt.	5	12.5771	7.432	2694520
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110966483--soft-33-100-0.wbo	Wrong Opt.	2	12.7671	15.291	2694542
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111227326--soft-66-100-0.wbo	Wrong Opt.	100	12.836	7.28287	2694601
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j309_10-unsat--soft-33-100-0.wbo	Wrong Opt.	92	15.2788	6.50431	2694474
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110967729--soft-66-100-0.wbo	Wrong Opt.	100	15.3917	8.27767	2694741
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j605_1-unsat--soft-33-100-0.wbo	Wrong Opt.	97	16.6395	8.44446	2694568
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-25s.smv--soft-33-100-0.wbo	Wrong Opt.	37	19.3851	20.1281	2694259
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-101-100--soft-33-100-0.wbo	Wrong Opt.	5	19.732	12.4377	2694483
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j605_1-unsat--soft-66-100-0.wbo	Wrong Opt.	99	20.7668	11.1991	2694518
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111225605--soft-66-100-0.wbo	Wrong Opt.	100	21.5097	10.2567	2694706
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110976157--soft-33-100-0.wbo	Wrong Opt.	12	22.0496	22.3053	2694538
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111227012--soft-66-100-0.wbo	Wrong Opt.	82	22.5476	13.2654	2694640
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110975607--soft-66-100-0.wbo	Wrong Opt.	63	26.158	16.2915	2694731
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218955--soft-66-100-0.wbo	Wrong Opt.	95	27.0909	19.2975	2694614
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110966688--soft-66-100-0.wbo	Wrong Opt.	82	27.9258	16.2845	2694659
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110973364--soft-66-100-0.wbo	Wrong Opt.	136	28.2817	15.2939	2694737
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111226062--soft-66-100-0.wbo	Wrong Opt.	82	28.6396	16.2735	2694629
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111222539--soft-66-100-0.wbo	Wrong Opt.	136	29.8495	16.2789	2694700
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111221203--soft-33-100-0.wbo	Wrong Opt.	15	29.8805	27.3084	2694584
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110970444--soft-66-100-0.wbo	Wrong Opt.	100	30.4034	15.2911	2694680
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111212923--soft-33-100-0.wbo	Wrong Opt.	15	31.0403	25.3292	2694587
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111225122--soft-33-100-0.wbo	Wrong Opt.	15	31.1413	30.3211	2694764
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111216823--soft-33-100-0.wbo	Wrong Opt.	15	31.4832	28.4121	2694749
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111220019--soft-66-100-0.wbo	Wrong Opt.	100	31.6522	17.3248	2694631
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111226368--soft-66-100-0.wbo	Wrong Opt.	64	32.893	24.391	2694623
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110977780--soft-33-100-0.wbo	Wrong Opt.	41	33.8509	31.3173	2694668
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111225122--soft-66-100-0.wbo	Wrong Opt.	51	34.4568	27.2987	2694560
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110968898--soft-66-100-0.wbo	Wrong Opt.	100	35.2046	18.2872	2694724
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110973670--soft-33-100-0.wbo	Wrong Opt.	15	35.2436	29.3371	2694567
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111213670--soft-66-100-0.wbo	Wrong Opt.	100	35.4446	20.3288	2694556
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110967523--soft-33-100-0.wbo	Wrong Opt.	15	36.0155	34.3183	2694726
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111226680--soft-66-100-0.wbo	Wrong Opt.	100	36.2905	20.2951	2694545
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110970631--soft-33-100-0.wbo	Wrong Opt.	53	36.6084	31.3057	2694540
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111212923--soft-66-100-0.wbo	Wrong Opt.	59	36.7144	25.33	2694750
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110976157--soft-66-100-0.wbo	Wrong Opt.	136	37.3023	19.2887	2694608
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111226062--soft-33-100-0.wbo	Wrong Opt.	41	37.6703	32.3529	2694712
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111217392--soft-66-100-0.wbo	Wrong Opt.	51	38.0462	28.3018	2694605
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111217555--soft-33-100-0.wbo	Wrong Opt.	15	38.2562	33.2825	2694534
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j3029_8-unsat--soft-66-100-0.wbo	Wrong Opt.	48	38.9651	20.0322	2694453
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111219799--soft-66-100-0.wbo	Wrong Opt.	79	40.2079	21.3271	2694550
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111216823--soft-66-100-0.wbo	Wrong Opt.	82	40.5418	21.3247	2694552
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110968561--soft-33-100-0.wbo	Wrong Opt.	15	41.4757	34.3752	2694563
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218955--soft-33-100-0.wbo	Wrong Opt.	38	41.8016	35.3188	2694735
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111213868--soft-33-100-0.wbo	Wrong Opt.	15	41.8266	33.328	2694529
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.tag10.ucl--soft-66-100-0.wbo	Wrong Opt.	11	41.8736	39.4387	2694432
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110968094--soft-66-100-0.wbo	Wrong Opt.	98	41.9096	25.3236	2694756
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111219348--soft-66-100-0.wbo	Wrong Opt.	136	41.9456	22.4218	2694690
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111223004--soft-33-100-0.wbo	Wrong Opt.	15	41.9566	25.3236	2694537
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224255--soft-66-100-0.wbo	Wrong Opt.	58	42.0616	23.3595	2694626
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110971697--soft-66-100-0.wbo	Wrong Opt.	100	43.0804	23.2973	2694596
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111223004--soft-66-100-0.wbo	Wrong Opt.	58	43.1394	28.3517	2694657
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.tag10.ucl--soft-33-100-0.wbo	Wrong Opt.	7	43.9793	57.3665	2694294
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110971363--soft-66-100-0.wbo	Wrong Opt.	66	44.0413	30.2757	2694760
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111216411--soft-66-100-0.wbo	Wrong Opt.	100	44.0523	23.3102	2694566
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110972154--soft-66-100-0.wbo	Wrong Opt.	100	44.6832	23.4008	2694533
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111220546--soft-66-100-0.wbo	Wrong Opt.	100	44.9622	23.2972	2694708
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111221624--soft-66-100-0.wbo	Wrong Opt.	51	45.2241	31.2964	2694625
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111227012--soft-33-100-0.wbo	Wrong Opt.	15	45.5101	35.3087	2694553
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110973163--soft-66-100-0.wbo	Wrong Opt.	101	45.891	24.2983	2694754
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110972763--soft-66-100-0.wbo	Wrong Opt.	58	46.8629	37.3932	2694762
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110969860--soft-33-100-0.wbo	Wrong Opt.	15	47.0648	37.3556	2694530
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111223220--soft-33-100-0.wbo	Wrong Opt.	43	48.7376	35.3578	2694577
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224451--soft-33-100-0.wbo	Wrong Opt.	22	49.1415	38.333	2694704
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111212272--soft-66-100-0.wbo	Wrong Opt.	100	49.2805	30.3196	2694602
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110976730--soft-66-100-0.wbo	Wrong Opt.	100	49.8214	27.3044	2694682
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110977273--soft-66-100-0.wbo	Wrong Opt.	60	49.8434	32.2972	2694763
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111221203--soft-66-100-0.wbo	Wrong Opt.	51	50.2394	31.3567	2694646
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110973670--soft-66-100-0.wbo	Wrong Opt.	58	51.6471	34.3825	2694598
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110978113--soft-66-100-0.wbo	Wrong Opt.	82	52.0821	28.3906	2694743
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110975607--soft-33-100-0.wbo	Wrong Opt.	35	52.1801	42.3829	2694748
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224451--soft-66-100-0.wbo	Wrong Opt.	100	52.222	14.3026	2694739
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111212476--soft-66-100-0.wbo	Wrong Opt.	100	52.537	28.4	2694543
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110978113--soft-33-100-0.wbo	Wrong Opt.	22	52.892	38.3291	2694662
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111227326--soft-33-100-0.wbo	Wrong Opt.	22	53.3099	43.3168	2694658
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111217555--soft-66-100-0.wbo	Wrong Opt.	60	53.5129	33.3436	2694678
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j3029_8-unsat--soft-33-100-0.wbo	Wrong Opt.	73	55.2146	30.6859	2694466
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111220767--soft-66-100-0.wbo	Wrong Opt.	123	55.8295	29.4923	2694637
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.2.accl.ucl--soft-66-100-0.wbo	Wrong Opt.	3	56.3374	91.5137	2694386
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900558106--soft-33-100-0.wbo	Wrong Opt.	42	56.8314	31.7244	2694866
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111219799--soft-33-100-0.wbo	Wrong Opt.	22	56.9033	47.3753	2694549
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110968561--soft-66-100-0.wbo	Wrong Opt.	51	57.2753	35.3074	2694632
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110969170--soft-33-100-0.wbo	Wrong Opt.	15	57.6642	52.3658	2694620
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110975965--soft-33-100-0.wbo	Wrong Opt.	15	57.7392	38.334	2694570
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111227861--soft-33-100-0.wbo	Wrong Opt.	15	57.9272	51.3733	2694564
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111223220--soft-66-100-0.wbo	Wrong Opt.	51	60.4038	45.3947	2694634
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110978334--soft-66-100-0.wbo	Wrong Opt.	76	60.4288	32.4536	2694586
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111228076--soft-66-100-0.wbo	Wrong Opt.	58	60.6008	35.3637	2694595
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111228076--soft-33-100-0.wbo	Wrong Opt.	15	60.6348	44.3733	2694575
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111213868--soft-66-100-0.wbo	Wrong Opt.	51	62.6005	39.415	2694758
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111212476--soft-33-100-0.wbo	Wrong Opt.	5	62.6735	40.3029	2694755
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110967523--soft-66-100-0.wbo	Wrong Opt.	51	62.8034	42.3417	2694672
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110969860--soft-66-100-0.wbo	Wrong Opt.	51	64.3852	40.3527	2694588
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110967142--soft-66-100-0.wbo	Wrong Opt.	63	65.678	37.3359	2694544
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111219348--soft-33-100-0.wbo	Wrong Opt.	22	65.783	43.4316	2694698
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110977273--soft-33-100-0.wbo	Wrong Opt.	15	66.038	52.3739	2694757
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110971363--soft-33-100-0.wbo	Wrong Opt.	44	66.1369	55.3827	2694720
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110967142--soft-33-100-0.wbo	Wrong Opt.	22	67.2978	46.3265	2694582
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900552423--soft-33-100-0.wbo	Wrong Opt.	20	67.6767	39.6285	2694810
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110966688--soft-33-100-0.wbo	Wrong Opt.	35	68.1846	57.4042	2694694
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110968094--soft-33-100-0.wbo	Wrong Opt.	35	68.5516	50.3341	2694562
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110978334--soft-33-100-0.wbo	Wrong Opt.	35	69.4594	51.3702	2694686
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111220767--soft-33-100-0.wbo	Wrong Opt.	35	71.6271	57.3574	2694729
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218308--soft-66-100-0.wbo	Wrong Opt.	51	72.343	43.4239	2694649
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218308--soft-33-100-0.wbo	Wrong Opt.	15	72.634	53.3617	2694692
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111225605--soft-33-100-0.wbo	Wrong Opt.	2	74.2557	62.4004	2694665
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900558106--soft-66-100-0.wbo	Wrong Opt.	39	75.1526	43.7892	2694916
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110969170--soft-66-100-0.wbo	Wrong Opt.	60	81.1807	64.3854	2694548
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110975965--soft-66-100-0.wbo	Wrong Opt.	51	85.408	47.3647	2694580
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224255--soft-33-100-0.wbo	Wrong Opt.	15	87.2117	80.4404	2694670
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.tag12.ucl--soft-66-100-0.wbo	Wrong Opt.	16	95.3965	71.5072	2694312
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110974372--soft-33-100-0.wbo	Wrong Opt.	90	95.9884	68.4799	2694716
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110972763--soft-33-100-0.wbo	Wrong Opt.	43	101.183	79.458	2694535
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111212272--soft-33-100-0.wbo	Wrong Opt.	22	101.624	80.4959	2694684
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111222257--soft-33-100-0.wbo	Wrong Opt.	15	111.512	49.4056	2694759
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900563801--soft-66-100-0.wbo	Wrong Opt.	49	113.625	62.9825	2694945
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218757--soft-33-100-0.wbo	Wrong Opt.	38	142.696	99.6333	2694761
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110970444--soft-33-100-0.wbo	Wrong Opt.	51	174.061	141.582	2694674
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111213670--soft-33-100-0.wbo	Wrong Opt.	89	252.032	227.675	2694554
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900566157--soft-66-100-0.wbo	Wrong Opt.	37	418.289	223.854	2694942
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900670675--soft-33-100-0.wbo	Wrong Opt.	10	488.642	268.259	2694784
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900551347--soft-66-100-0.wbo	Wrong Opt.	19	565.111	299.957	2694938
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900566157--soft-33-100-0.wbo	Wrong Opt.	35	575.428	306.024	2694848
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567024--soft-33-100-0.wbo	Wrong Opt.	21	701.473	382.021	2694241
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567135--soft-66-100-0.wbo	Wrong Opt.	41	784.644	415.671	2694785
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900544484--soft-66-100-0.wbo	Wrong Opt.	25	806.789	429.131	2694872
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900564281--soft-33-100-0.wbo	Wrong Opt.	13	817.323	437.209	2694220
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900554072--soft-66-100-0.wbo	Wrong Opt.	25	820.403	438.567	2694775
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900551864--soft-33-100-0.wbo	Wrong Opt.	10	841.958	456.455	2694818
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900568186--soft-33-100-0.wbo	Wrong Opt.	31	860.566	466.837	2694769
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567135--soft-33-100-0.wbo	Wrong Opt.	47	867.837	462.027	2694850
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900568706--soft-33-100-0.wbo	Wrong Opt.	13	877.748	486.652	2694782
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567024--soft-66-100-0.wbo	Wrong Opt.	75	902.608	482.907	2694904
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900571132--soft-33-100-0.wbo	Wrong Opt.	12	934.924	501.146	2694912
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900568186--soft-66-100-0.wbo	Wrong Opt.	19	1024.2	548.306	2694824
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900564824--soft-33-100-0.wbo	Wrong Opt.	68	1068.7	574.849	2694880
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900575442--soft-66-100-0.wbo	Wrong Opt.	39	1092.07	582.116	2694924
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900551864--soft-66-100-0.wbo	Wrong Opt.	39	1121.94	594.128	2694836
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900569834--soft-33-100-0.wbo	Wrong Opt.	15	1127.7	607.875	2694794
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900556231--soft-33-100-0.wbo	Wrong Opt.	47	1141	610.214	2694778
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900568706--soft-66-100-0.wbo	Wrong Opt.	40	1152.1	619.664	2694218
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900575442--soft-33-100-0.wbo	Wrong Opt.	20	1161.37	626.822	2694787
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900553812--soft-33-100-0.wbo	Wrong Opt.	12	1192.21	642.346	2694800
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900576360--soft-66-100-0.wbo	Wrong Opt.	39	1196.43	639.242	2694932
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900553812--soft-66-100-0.wbo	Wrong Opt.	39	1209.97	642.244	2694235
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900551347--soft-33-100-0.wbo	Wrong Opt.	21	1225.3	663.314	2694772
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900557362--soft-66-100-0.wbo	Wrong Opt.	30	1233.88	662.842	2694922
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900552288--soft-33-100-0.wbo	Wrong Opt.	35	1256.96	683.303	2694232
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900552735--soft-66-100-0.wbo	Wrong Opt.	136	1266.12	672.217	2694914
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900562192--soft-33-100-0.wbo	Wrong Opt.	12	1279.07	700.885	2694243
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900562192--soft-66-100-0.wbo	Wrong Opt.	83	1282.11	687.12	2694806
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900557957--soft-33-100-0.wbo	Wrong Opt.	35	1287.53	690.935	2694896
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900570242--soft-66-100-0.wbo	Wrong Opt.	74	1298.13	692.125	2694920
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900546076--soft-66-100-0.wbo	Wrong Opt.	32	1301.95	695.258	2694898
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900556231--soft-66-100-0.wbo	Wrong Opt.	41	1358.12	720.895	2694934
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900576360--soft-33-100-0.wbo	Wrong Opt.	23	1358.29	729.94	2694936
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900552423--soft-66-100-0.wbo	Wrong Opt.	152	1376.1	745.253	2694949
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900571132--soft-66-100-0.wbo	Wrong Opt.	83	1387.17	735.554	2694246
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900571761--soft-66-100-0.wbo	Wrong Opt.	32	1395.91	748.892	2694816
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900669797--soft-33-100-0.wbo	Wrong Opt.	47	1402.25	755.017	2694918
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900574864--soft-66-100-0.wbo	Wrong Opt.	16	1431.1	765.953	2694774
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900564281--soft-66-100-0.wbo	Wrong Opt.	117	1468.1	782.869	2694864
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900582300--soft-66-100-0.wbo	Wrong Opt.	64	1482.91	795.586	2694781
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900563801--soft-33-100-0.wbo	Wrong Opt.	21	1542.81	838.879	2694796
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900670675--soft-66-100-0.wbo	Wrong Opt.	39	1612.61	868.468	2694765
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900553647--soft-66-100-0.wbo	Wrong Opt.	64	1672.67	900.611	2694790
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900547389--soft-66-100-0.wbo	Wrong Opt.	19	1673.71	895.264	2694858
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900670167--soft-66-100-0.wbo	Wrong Opt.	16	1726.36	932.538	2694808
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900569834--soft-66-100-0.wbo	Wrong Opt.	83	1767.46	937.471	2694926

Benchmark Name	Answer	cost of falsified constraints	CPU time	Wall clock time	TraceID
/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf9.ucl--soft-0-100-0.wbo	OPTIMUM	1	44.4172	43.0904	2694627
/SOFT-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-dlx1c.rwmem1.ucl--soft-0-100-0.wbo	OPTIMUM	1	119.371	119.347	2694597
/SOFT-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12015_3-unsat--soft-0-100-0.wbo	OPTIMUM	3	132.921	121.285	2694655
/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf9.ucl--soft-0-100-0.wbo	OPTIMUM	1	327.329	302.182	2694621

Benchmark Name	Answer	cost of falsified constraints	CPU time	Wall clock time	TraceID
/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.ex.br.mem.RobRegValid_bar.ucl--soft-0-100-0.wbo	MSAT (TO)	1675	1800.2	1765.18	2694624
/SOFT-BIGINT-LIN/PB10/oliveras/j60/ normalized-j605_10-unsat--soft-0-100-0.wbo	MSAT (TO)	145	1800.22	1567.1	2694697
/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-full.all.ucl--soft-0-100-0.wbo	MSAT (TO)	1057	1800.24	1782.91	2694635
/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.unbounded.all.ucl--soft-0-100-0.wbo	MSAT (TO)	3252	1800.25	1621.92	2694583
/SOFT-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12027_7-unsat--soft-0-100-0.wbo	MSAT (TO)	3291	1800.25	1738.59	2694650
/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf10.ucl--soft-0-100-0.wbo	MSAT (TO)	106	1800.26	1740.19	2694612
/SOFT-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12026_5-unsat--soft-0-100-0.wbo	MSAT (TO)	4035	1800.27	1767.43	2694660
/SOFT-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12013_1-unsat--soft-0-100-0.wbo	MSAT (TO)	3588	1800.27	1759.59	2694663
/SOFT-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-cache.inv12.ucl--soft-0-100-0.wbo	MSAT (TO)	837	1800.27	1775.51	2694615
/SOFT-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12041_4-unsat--soft-0-100-0.wbo	MSAT (TO)	1005	1800.29	1758.5	2694647
/SOFT-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-cache.inv14.ucl--soft-0-100-0.wbo	MSAT (TO)	2444	1800.29	1755.78	2694594
/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl--soft-0-100-0.wbo	MSAT (TO)	5773	1800.3	1707.61	2694578
/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.8.accl.ucl--soft-0-100-0.wbo	MSAT (TO)	53	1800.3	1639.5	2694641
/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.tag14.ucl--soft-0-100-0.wbo	MSAT (TO)	1827	1800.3	1684.94	2694638
/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Ic22arity.ucl--soft-0-100-0.wbo	MSAT (TO)	1539	1800.31	1730.63	2694603
/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.ex.mem.LdValue.ucl--soft-0-100-0.wbo	MSAT (TO)	1197	1800.35	1704.73	2694606
/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf10.ucl--soft-0-100-0.wbo	MSAT (TO)	1068	1800.35	1750.92	2694599

Benchmark Name	Answer	cost of falsified constraints	CPU time	Wall clock time	TraceID
/SOFT-BIGINT-LIN/PB10/oliveras/j60/ normalized-j6010_2-unsat--soft-0-100-0.wbo	Wrong Opt.	71	4.73228	2.49556	2694687
/SOFT-BIGINT-LIN/PB10/oliveras/j60/ normalized-j6027_4-unsat--soft-0-100-0.wbo	Wrong Opt.	12	4.80427	2.52007	2694693
/SOFT-BIGINT-LIN/PB10/oliveras/j60/ normalized-j603_2-unsat--soft-0-100-0.wbo	Wrong Opt.	91	5.13522	2.66182	2694689
/SOFT-BIGINT-LIN/PB10/oliveras/j90/ normalized-j907_8-unsat--soft-0-100-0.wbo	Wrong Opt.	94	5.55215	3.22685	2694677
/SOFT-BIGINT-LIN/PB10/oliveras/j60/ normalized-j6033_2-unsat--soft-0-100-0.wbo	Wrong Opt.	35	5.71713	3.70454	2694695
/SOFT-BIGINT-LIN/PB10/oliveras/j60/ normalized-j606_1-unsat--soft-0-100-0.wbo	Wrong Opt.	71	5.75812	2.51128	2694701
/SOFT-BIGINT-LIN/PB10/oliveras/j90/ normalized-j903_10-unsat--soft-0-100-0.wbo	Wrong Opt.	14	5.82411	3.4345	2694683
/SOFT-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9012_2-unsat--soft-0-100-0.wbo	Wrong Opt.	49	6.21705	3.77334	2694673
/SOFT-BIGINT-LIN/PB10/oliveras/j60/ normalized-j6030_9-unsat--soft-0-100-0.wbo	Wrong Opt.	96	6.65599	3.66264	2694691
/SOFT-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9028_2-unsat--soft-0-100-0.wbo	Wrong Opt.	25	6.96194	4.38272	2694666
/SOFT-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9048_1-unsat--soft-0-100-0.wbo	Wrong Opt.	91	7.42687	4.85691	2694681
/SOFT-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9015_10-unsat--soft-0-100-0.wbo	Wrong Opt.	87	7.42987	4.1766	2694675
/SOFT-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9039_3-unsat--soft-0-100-0.wbo	Wrong Opt.	98	7.98379	4.80934	2694671
/SOFT-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9014_1-unsat--soft-0-100-0.wbo	Wrong Opt.	11	8.5137	4.8917	2694685
/SOFT-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9010_6-unsat--soft-0-100-0.wbo	Wrong Opt.	43	9.25759	5.25485	2694679
/SOFT-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9035_1-unsat--soft-0-100-0.wbo	Wrong Opt.	21	9.50355	7.1926	2694669
/SOFT-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-cache.inv10.ucl--soft-0-100-0.wbo	Wrong Opt.	29	10.2354	11.2976	2694581
/SOFT-BIGINT-LIN/PB10/oliveras/j120/ normalized-j1205_1-unsat--soft-0-100-0.wbo	Wrong Opt.	40	10.9833	7.35116	2694652
/SOFT-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12023_3-unsat--soft-0-100-0.wbo	Wrong Opt.	64	12.6251	8.64479	2694644
/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.tag10.ucl--soft-0-100-0.wbo	Wrong Opt.	10	45.0521	56.0643	2694618
/SOFT-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-dlx1c.rwmem.ucl--soft-0-100-0.wbo	Wrong Opt.	2	131.596	130.669	2694589
/SOFT-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-tlan3.ucl--soft-0-100-0.wbo	Wrong Opt.	55	219.184	206.579	2694591
/SOFT-BIGINT-LIN/PB10/oliveras/j60/ normalized-j605_1-unsat--soft-0-100-0.wbo	Wrong Opt.	14	320.044	298.826	2694699
/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Icl2arity.ucl--soft-0-100-0.wbo	Wrong Opt.	13	337.709	324.769	2694639
/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.tag12.ucl--soft-0-100-0.wbo	Wrong Opt.	10	385.364	306.968	2694609

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.299953	2.17756	2694795
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-21-20--soft-0-100-0.wbo	OPTIMUM	1	0.58791	2.18093	2694791
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-31-30--soft-0-100-0.wbo	OPTIMUM	1	1.16782	3.21762	2694789
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-41-40--soft-0-100-0.wbo	OPTIMUM	1	1.83672	4.28928	2694747
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl30_31_pb.cnf.cr--soft-0-100-0.wbo	OPTIMUM	5	1.9347	4.25975	2694730
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl35_36_pb.cnf.cr--soft-0-100-0.wbo	OPTIMUM	5	2.33564	4.31614	2694740
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-51-50--soft-0-100-0.wbo	OPTIMUM	1	2.6416	6.28906	2694805
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl40_41_pb.cnf.cr--soft-0-100-0.wbo	OPTIMUM	5	2.87256	5.35209	2694742
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf6.ucl--soft-0-100-0.wbo	OPTIMUM	1	3.89741	4.63079	2694613
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-46s.smv--soft-0-100-0.wbo	OPTIMUM	1	4.54531	6.56379	2694642
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-71-70--soft-0-100-0.wbo	OPTIMUM	1	4.97924	7.38202	2694788
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf7.ucl--soft-0-100-0.wbo	OPTIMUM	1	5.57615	9.35927	2694482
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.4.accl.ucl--soft-0-100-0.wbo	OPTIMUM	1	6.86296	13.7864	2694622
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-81-80--soft-0-100-0.wbo	OPTIMUM	1	7.94979	5.40902	2694807
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.tag8.ucl--soft-0-100-0.wbo	OPTIMUM	1	8.46771	23.1536	2694461
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf8.ucl--soft-0-100-0.wbo	OPTIMUM	1	12.7161	16.3267	2694579
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-101-100--soft-0-100-0.wbo	OPTIMUM	1	19.432	10.4202	2694809
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.2.accl.ucl--soft-0-100-0.wbo	OPTIMUM	1	25.2232	58.4941	2694607
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110975607--soft-0-100-0.wbo	OPTIMUM	9	28.0737	29.3232	2694905
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111227861--soft-0-100-0.wbo	OPTIMUM	7	42.4335	39.3344	2694851
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110978334--soft-0-100-0.wbo	OPTIMUM	9	42.6425	34.3807	2694913
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-dlx1c.ucl--soft-0-100-0.wbo	OPTIMUM	1	45.999	47.995	2694559
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110978113--soft-0-100-0.wbo	OPTIMUM	9	52.636	40.4078	2694909
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224451--soft-0-100-0.wbo	OPTIMUM	9	54.2088	43.3678	2694933
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110967142--soft-0-100-0.wbo	OPTIMUM	9	54.5177	44.366	2694931
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110966688--soft-0-100-0.wbo	OPTIMUM	9	58.0712	52.4146	2694885
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110968094--soft-0-100-0.wbo	OPTIMUM	9	62.9534	51.3717	2694883
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111219799--soft-0-100-0.wbo	OPTIMUM	9	70.6573	65.4155	2694915
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-22s.smv--soft-0-100-0.wbo	OPTIMUM	1	92.9079	96.1391	2694592
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111213670--soft-0-100-0.wbo	OPTIMUM	10	102.819	90.5217	2694901
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110976730--soft-0-100-0.wbo	OPTIMUM	10	105.239	87.4538	2694857
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218955--soft-0-100-0.wbo	OPTIMUM	9	192.997	170.702	2694216
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.3.accl.ucl--soft-0-100-0.wbo	OPTIMUM	1	225.742	197.337	2694604

Benchmark Name	Answer	cost of falsified constraints	CPU time	Wall clock time	TraceID
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900557957--soft-0-100-0.wbo	MSAT (TO)	63	1800.12	951.844	2694348
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900670675--soft-0-100-0.wbo	MSAT (TO)	51	1800.14	967.063	2694341
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900557362--soft-0-100-0.wbo	MSAT (TO)	27	1800.16	985.359	2694390
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900563801--soft-0-100-0.wbo	MSAT (TO)	40	1800.18	981.576	2694332
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900557574--soft-0-100-0.wbo	MSAT (TO)	54	1800.18	970.678	2694230
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900583053--soft-0-100-0.wbo	MSAT (TO)	9	1800.18	983.774	2694441
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900581320--soft-0-100-0.wbo	MSAT (TO)	13	1800.2	981.15	2694338
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900565534--soft-0-100-0.wbo	MSAT (TO)	4	1800.2	985.461	2694322
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900561288--soft-0-100-0.wbo	MSAT (TO)	5	1800.21	996.359	2694329
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900570242--soft-0-100-0.wbo	MSAT (TO)	37	1800.21	974.295	2694396
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900576151--soft-0-100-0.wbo	MSAT (TO)	33	1800.21	979.679	2694399
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900556231--soft-0-100-0.wbo	MSAT (TO)	27	1800.22	983.863	2694289
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900545610--soft-0-100-0.wbo	MSAT (TO)	13	1800.22	981.367	2694378
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900546417--soft-0-100-0.wbo	MSAT (TO)	5	1800.22	988.467	2694313
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900576927--soft-0-100-0.wbo	MSAT (TO)	9	1800.25	991.288	2694295
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900552288--soft-0-100-0.wbo	MSAT (TO)	51	1800.26	982.296	2694253
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900552735--soft-0-100-0.wbo	MSAT (TO)	33	1800.26	984.574	2694345
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900576360--soft-0-100-0.wbo	MSAT (TO)	20	1800.28	994.496	2694387
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900670234--soft-0-100-0.wbo	MSAT (TO)	15	1800.29	990.363	2694274
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900574864--soft-0-100-0.wbo	MSAT (TO)	20	1800.3	974.027	2694298
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900567985--soft-0-100-0.wbo	MSAT (TO)	27	1800.3	987.064	2694233
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900669797--soft-0-100-0.wbo	MSAT (TO)	33	1800.31	978.259	2694384
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900554072--soft-0-100-0.wbo	MSAT (TO)	18	1800.33	993.369	2694277
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900582300--soft-0-100-0.wbo	MSAT (TO)	15	1800.33	997.955	2694351
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900559676--soft-0-100-0.wbo	MSAT (TO)	27	1800.33	978.066	2694375
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900550006--soft-0-100-0.wbo	MSAT (TO)	9	1800.34	980.282	2694267
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900558739--soft-0-100-0.wbo	MSAT (TO)	8	1800.35	993.487	2694236
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900573137--soft-0-100-0.wbo	MSAT (TO)	20	1800.35	984.979	2694304
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900577940--soft-0-100-0.wbo	MSAT (TO)	19	1800.36	993.508	2694381
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900547389--soft-0-100-0.wbo	MSAT (TO)	26	1800.37	980.895	2694239
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900553647--soft-0-100-0.wbo	MSAT (TO)	15	1800.37	991.08	2694244
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900553812--soft-0-100-0.wbo	MSAT (TO)	26	1800.39	991.101	2694301
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900550720--soft-0-100-0.wbo	MSAT (TO)	4	1800.4	983.217	2694316
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900548667--soft-0-100-0.wbo	MSAT (TO)	5	1800.41	990.184	2694360
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900584219--soft-0-100-0.wbo	MSAT (TO)	27	1800.43	975.288	2694436
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900554420--soft-0-100-0.wbo	MSAT (TO)	15	1800.48	982.236	2694326
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900667195--soft-0-100-0.wbo	MSAT (TO)	15	1800.51	994.707	2694372
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900546076--soft-0-100-0.wbo	MSAT (TO)	40	1800.52	971.882	2694369
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900558106--soft-0-100-0.wbo	MSAT (TO)	31	1800.56	977.253	2694366
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900567024--soft-0-100-0.wbo	MSAT (TO)	47	1800.56	984.965	2694280
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900670167--soft-0-100-0.wbo	MSAT (TO)	20	1800.62	990.407	2694402
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900579996--soft-0-100-0.wbo	MSAT (TO)	13	1800.69	983.053	2694354

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

Result page for solver SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)

Category "both soft and hard constraints, big integers, linear constraints" (PARTIAL-BIGINT-LIN)

Solver proved unsatisfiability (UNSATISFIABLE) (10 runs) [Show/Hide]

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

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

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

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

Solver didn't output a solution line and terminated with an unexpected exit code (1 run) [Show/Hide]

Solver wrongly proved unsatitisfiability (196 runs) [Show/Hide]

Solver wrongly claimed it found the best solution (15 runs) [Show/Hide]

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 (93 runs) [Show/Hide]

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

Solver wrongly proved unsatitisfiability (107 runs) [Show/Hide]

Solver wrongly claimed it found the best solution (269 runs) [Show/Hide]

Category "only soft constraints, big integers, linear constraints" (SOFT-BIGINT-LIN)

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

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

Solver wrongly claimed it found the best solution (25 runs) [Show/Hide]

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

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

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

Solver wrongly claimed it found the best solution (126 runs) [Show/Hide]

Benchmark Name	Answer	cost of falsified constraints	CPU time	Wall clock time	TraceID
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf6.ucl--soft-0-100-0.wbo	Wrong Opt.	8	0.221965	2.17687	2694600
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-15-10--soft-0-100-0.wbo	Wrong Opt.	58	0.249961	2.17818	2694801
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-floppy1-4.ucl--soft-0-100-0.wbo	Wrong Opt.	92	0.543916	2.22671	2694478
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl10_11_pb.cnf.cr--soft-0-100-0.wbo	Wrong Opt.	23	0.548915	3.16638	2694713
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl10_15_pb.cnf.cr--soft-0-100-0.wbo	Wrong Opt.	234	0.620904	3.17386	2694744
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-floppy1-3.ucl--soft-0-100-0.wbo	Wrong Opt.	7	0.643901	2.22824	2694489
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl10_20_pb.cnf.cr--soft-0-100-0.wbo	Wrong Opt.	432	0.877865	2.17805	2694711
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-25-20--soft-0-100-0.wbo	Wrong Opt.	19	0.91286	3.22082	2694819
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl15_16_pb.cnf.cr--soft-0-100-0.wbo	Wrong Opt.	28	1.03184	2.18244	2694717
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl20_21_pb.cnf.cr--soft-0-100-0.wbo	Wrong Opt.	14	1.19182	3.22584	2694705
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl15_20_pb.cnf.cr--soft-0-100-0.wbo	Wrong Opt.	146	1.23381	3.22119	2694703
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl15_25_pb.cnf.cr--soft-0-100-0.wbo	Wrong Opt.	401	1.27181	3.21785	2694719
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl20_25_pb.cnf.cr--soft-0-100-0.wbo	Wrong Opt.	160	1.43978	3.21805	2694734
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-35-30--soft-0-100-0.wbo	Wrong Opt.	23	1.46678	3.21879	2694813
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-45-40--soft-0-100-0.wbo	Wrong Opt.	23	1.62475	3.27058	2694793
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-44s.smv--soft-0-100-0.wbo	Wrong Opt.	10	1.73074	4.31191	2694458
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl20_30_pb.cnf.cr--soft-0-100-0.wbo	Wrong Opt.	298	1.73573	3.23062	2694723
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-55-50--soft-0-100-0.wbo	Wrong Opt.	17	2.05869	3.27935	2694746
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl35_45_pb.cnf.cr--soft-0-100-0.wbo	Wrong Opt.	323	2.08168	4.30931	2694721
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-65-60--soft-0-100-0.wbo	Wrong Opt.	36	2.16067	3.32403	2694817
/SOFT-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j308_1-unsat--soft-0-100-0.wbo	Wrong Opt.	75	2.27465	1.66804	2694664
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl35_40_pb.cnf.cr--soft-0-100-0.wbo	Wrong Opt.	79	2.38864	4.29455	2694709
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-75-70--soft-0-100-0.wbo	Wrong Opt.	31	2.49362	3.37507	2694803
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl30_40_pb.cnf.cr--soft-0-100-0.wbo	Wrong Opt.	304	2.52661	4.31097	2694736
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl40_45_pb.cnf.cr--soft-0-100-0.wbo	Wrong Opt.	37	2.57761	4.32575	2694707
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-37s.smv--soft-0-100-0.wbo	Wrong Opt.	2	2.58761	2.44781	2694630
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl40_50_pb.cnf.cr--soft-0-100-0.wbo	Wrong Opt.	252	2.68259	4.36344	2694727
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl30_35_pb.cnf.cr--soft-0-100-0.wbo	Wrong Opt.	96	2.72158	4.28642	2694732
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-85-80--soft-0-100-0.wbo	Wrong Opt.	12	2.85056	3.37457	2694797
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf7.ucl--soft-0-100-0.wbo	Wrong Opt.	6	2.89956	2.4434	2694469
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-105-100--soft-0-100-0.wbo	Wrong Opt.	27	3.16452	3.43331	2694811
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-95-90--soft-0-100-0.wbo	Wrong Opt.	11	3.18151	3.43411	2694751
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache.inv8.ucl--soft-0-100-0.wbo	Wrong Opt.	52	3.23951	2.61335	2694610
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl50_60_pb.cnf.cr--soft-0-100-0.wbo	Wrong Opt.	211	3.2865	4.41692	2694715
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-floppy1-2.ucl--soft-0-100-0.wbo	Wrong Opt.	22	3.38848	5.20336	2694572
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl50_55_pb.cnf.cr--soft-0-100-0.wbo	Wrong Opt.	68	3.57146	4.36752	2694725
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-floppy1-6.ucl--soft-0-100-0.wbo	Wrong Opt.	15	3.62445	4.32301	2694472
/SOFT-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j301_4-unsat--soft-0-100-0.wbo	Wrong Opt.	9	3.63945	2.9211	2694648
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-61-60--soft-0-100-0.wbo	Wrong Opt.	4	4.15837	5.35505	2694799
/SOFT-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j602_7-unsat--soft-0-100-0.wbo	Wrong Opt.	44	5.01024	3.39892	2694667
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf8.ucl--soft-0-100-0.wbo	Wrong Opt.	3	5.01324	5.47769	2694619
/SOFT-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j3046_4-unsat--soft-0-100-0.wbo	Wrong Opt.	36	5.2302	6.46008	2694656
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-floppy1-7.ucl--soft-0-100-0.wbo	Wrong Opt.	3	7.49486	7.65158	2694475
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl50_51_pb.cnf.cr--soft-0-100-0.wbo	Wrong Opt.	6	7.56742	5.40507	2694738
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-25s.smv--soft-0-100-0.wbo	Wrong Opt.	7	8.00678	8.53171	2694446
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-tlan2.ucl--soft-0-100-0.wbo	Wrong Opt.	44	9.98248	14.7226	2694576
/SOFT-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j3041_4-unsat--soft-0-100-0.wbo	Wrong Opt.	84	10.2684	11.6625	2694653
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-91-90--soft-0-100-0.wbo	Wrong Opt.	4	13.9199	11.4508	2694815
/SOFT-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j309_10-unsat--soft-0-100-0.wbo	Wrong Opt.	99	20.4789	35.2037	2694645
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-floppy1-8.ucl--soft-0-100-0.wbo	Wrong Opt.	65	21.8537	17.1912	2694616
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110973364--soft-0-100-0.wbo	Wrong Opt.	7	25.0612	26.3197	2694833
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111221624--soft-0-100-0.wbo	Wrong Opt.	7	28.9346	22.3596	2694849
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110967729--soft-0-100-0.wbo	Wrong Opt.	20	31.2872	32.4001	2694825
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110971697--soft-0-100-0.wbo	Wrong Opt.	7	31.8942	36.3601	2694841
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224255--soft-0-100-0.wbo	Wrong Opt.	14	32.3131	26.313	2694939
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111220019--soft-0-100-0.wbo	Wrong Opt.	7	32.4821	28.3501	2694899
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110968561--soft-0-100-0.wbo	Wrong Opt.	14	33.6959	32.3957	2694944
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111226062--soft-0-100-0.wbo	Wrong Opt.	14	33.7319	35.3254	2694869
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111223004--soft-0-100-0.wbo	Wrong Opt.	14	35.4476	29.3268	2694827
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111227326--soft-0-100-0.wbo	Wrong Opt.	7	35.5376	39.37	2694927
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111212923--soft-0-100-0.wbo	Wrong Opt.	14	37.7513	45.3538	2694837
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111216823--soft-0-100-0.wbo	Wrong Opt.	23	38.9201	36.3487	2694891
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224929--soft-0-100-0.wbo	Wrong Opt.	10	39.1321	39.3196	2694887
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224059--soft-0-100-0.wbo	Wrong Opt.	13	39.467	35.3667	2694853
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111226680--soft-0-100-0.wbo	Wrong Opt.	7	40.8408	39.3703	2694847
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-43s.smv--soft-0-100-0.wbo	Wrong Opt.	2	41.5267	49.0545	2694569
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110974180--soft-0-100-0.wbo	Wrong Opt.	7	42.4625	29.3523	2694877
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111217555--soft-0-100-0.wbo	Wrong Opt.	14	46.233	43.3694	2694821
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110972154--soft-0-100-0.wbo	Wrong Opt.	7	50.3873	45.3956	2694889
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110971363--soft-0-100-0.wbo	Wrong Opt.	14	50.7723	51.4272	2694923
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110976935--soft-0-100-0.wbo	Wrong Opt.	7	55.7375	40.3995	2694845
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110976157--soft-0-100-0.wbo	Wrong Opt.	17	56.4024	55.3864	2694925
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111217392--soft-0-100-0.wbo	Wrong Opt.	32	57.3253	51.378	2694835
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111222539--soft-0-100-0.wbo	Wrong Opt.	15	57.6722	57.4074	2694952
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111225605--soft-0-100-0.wbo	Wrong Opt.	7	58.0242	55.3764	2694950
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111219348--soft-0-100-0.wbo	Wrong Opt.	7	61.7826	48.4105	2694935
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110968898--soft-0-100-0.wbo	Wrong Opt.	10	62.0476	58.3476	2694903
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110972763--soft-0-100-0.wbo	Wrong Opt.	14	62.0986	45.4497	2694907
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111228076--soft-0-100-0.wbo	Wrong Opt.	14	63.1584	49.3541	2694921
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110967523--soft-0-100-0.wbo	Wrong Opt.	14	63.7773	62.3891	2694875
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111220767--soft-0-100-0.wbo	Wrong Opt.	7	65.61	56.4202	2694855
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111213868--soft-0-100-0.wbo	Wrong Opt.	24	66.5179	52.4634	2694911
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110969170--soft-0-100-0.wbo	Wrong Opt.	28	66.6059	52.4111	2694843
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111221203--soft-0-100-0.wbo	Wrong Opt.	14	66.7369	57.4557	2694917
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111212272--soft-0-100-0.wbo	Wrong Opt.	23	70.7992	51.3785	2694221
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218308--soft-0-100-0.wbo	Wrong Opt.	14	71.5891	50.3908	2694881
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110966483--soft-0-100-0.wbo	Wrong Opt.	41	72.662	59.3847	2694895
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218024--soft-0-100-0.wbo	Wrong Opt.	18	73.4938	50.3538	2694893
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110969577--soft-0-100-0.wbo	Wrong Opt.	28	75.2806	59.3971	2694867
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110973670--soft-0-100-0.wbo	Wrong Opt.	14	77.4162	75.3949	2694941
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110970631--soft-0-100-0.wbo	Wrong Opt.	27	80.4708	60.3761	2694873
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900552423--soft-0-100-0.wbo	Wrong Opt.	20	80.9227	55.9471	2694224
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110977780--soft-0-100-0.wbo	Wrong Opt.	21	81.0647	68.4762	2694946
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111222257--soft-0-100-0.wbo	Wrong Opt.	24	85.9219	72.3874	2694861
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111226368--soft-0-100-0.wbo	Wrong Opt.	24	88.2466	70.4157	2694859
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111216411--soft-0-100-0.wbo	Wrong Opt.	7	89.5324	80.4342	2694823
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110974372--soft-0-100-0.wbo	Wrong Opt.	52	98.332	69.471	2694865
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111227012--soft-0-100-0.wbo	Wrong Opt.	24	98.665	81.4266	2694948
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111220546--soft-0-100-0.wbo	Wrong Opt.	7	101.868	100.447	2694897
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218757--soft-0-100-0.wbo	Wrong Opt.	23	104.23	87.4111	2694937
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110975965--soft-0-100-0.wbo	Wrong Opt.	14	105.129	86.4222	2694929
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110970444--soft-0-100-0.wbo	Wrong Opt.	13	106.446	94.4808	2694863
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110969860--soft-0-100-0.wbo	Wrong Opt.	14	121.122	96.7302	2694829
/SOFT-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j3029_8-unsat--soft-0-100-0.wbo	Wrong Opt.	69	130.485	88.3553	2694661
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111225122--soft-0-100-0.wbo	Wrong Opt.	27	131.167	121.508	2694879
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111223220--soft-0-100-0.wbo	Wrong Opt.	24	170.008	150.581	2694919
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110973163--soft-0-100-0.wbo	Wrong Opt.	24	194.762	174.602	2694831
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110977273--soft-0-100-0.wbo	Wrong Opt.	28	212.323	175.612	2694871
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111212476--soft-0-100-0.wbo	Wrong Opt.	7	306.081	293.918	2694839
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900566157--soft-0-100-0.wbo	Wrong Opt.	51	475.306	252.507	2694363
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900575442--soft-0-100-0.wbo	Wrong Opt.	19	533.647	287.492	2694357
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900551347--soft-0-100-0.wbo	Wrong Opt.	12	601.788	328.785	2694270
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900568186--soft-0-100-0.wbo	Wrong Opt.	12	888.406	482.721	2694283
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900564824--soft-0-100-0.wbo	Wrong Opt.	24	920.225	499.129	2694250
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900568706--soft-0-100-0.wbo	Wrong Opt.	4	966.585	530.389	2694247
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900544484--soft-0-100-0.wbo	Wrong Opt.	5	1073.2	583.805	2694307
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900562192--soft-0-100-0.wbo	Wrong Opt.	15	1098.37	593.182	2694256
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900573901--soft-0-100-0.wbo	Wrong Opt.	8	1149.29	634.673	2694393
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900564281--soft-0-100-0.wbo	Wrong Opt.	33	1187	648.142	2694433
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900571132--soft-0-100-0.wbo	Wrong Opt.	13	1229.22	669.801	2694292
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900563250--soft-0-100-0.wbo	Wrong Opt.	4	1304.96	712.453	2694310
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900569834--soft-0-100-0.wbo	Wrong Opt.	15	1319.21	715.24	2694418
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900584106--soft-0-100-0.wbo	Wrong Opt.	24	1342.88	729.72	2694335
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900551864--soft-0-100-0.wbo	Wrong Opt.	26	1551.92	839.311	2694227
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900567135--soft-0-100-0.wbo	Wrong Opt.	33	1567.41	859.16	2694286
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900571761--soft-0-100-0.wbo	Wrong Opt.	8	1775.15	971.388	2694319