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	2.93955	1.40892	2701343
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen06-22reduc_wcsp.wbo	UNSAT	3.38349	1.72348	2701331
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen06-18reduc_wcsp.wbo	UNSAT	3.69144	1.83501	2701349
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen06-20reduc_wcsp.wbo	UNSAT	3.90541	1.77876	2701397
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen06-16reduc_wcsp.wbo	UNSAT	4.73228	2.2572	2701361
/PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph11reducmore_wcsp.wbo	UNSAT	4.88226	2.55654	2701859
/PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph11reduc_wcsp.wbo	UNSAT	4.95825	2.57379	2701829
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar6-sub4reduc_wcsp.wbo	UNSAT	6.47102	2.82937	2701307
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen06reduc_wcsp.wbo	UNSAT	7.82781	4.12818	2701445
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen07reduc_wcsp.wbo	UNSAT	14.8917	7.44847	2701403
/PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph13reduc_wcsp.wbo	UNSAT	19.3281	8.30133	2701811
/PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph13reducmore_wcsp.wbo	UNSAT	19.824	8.52453	2701841
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-sheep4r-4-2_wcsp.wbo	UNSAT	30.0864	12.3058	2701685
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen08reduc_wcsp.wbo	UNSAT	36.1705	15.2221	2701325
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-sheep4r-4-3_wcsp.wbo	UNSAT	47.8947	22.1348	2701733
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen07_wcsp.wbo	UNSAT	57.2853	26.5792	2701367
/PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph11_wcsp.wbo	UNSAT	57.7492	23.7322	2701805
/PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph13_wcsp.wbo	UNSAT	84.3872	49.2292	2701853

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	3.59145	1.92157	2691682
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-saudiarabia_wcsp.wbo	OPTIMUM	0	7.99578	5.73046	2701721
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf9.ucl--soft-33-100-0.wbo	OPTIMUM	1	14.0459	11.7077	2691581
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12015_3-unsat--soft-66-100-0.wbo	OPTIMUM	30	18.3262	14.9053	2691644
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-pedck350l3_wcsp.wbo	OPTIMUM	0	23.4644	20.2922	2701691

Benchmark Name	Answer	cost of falsified constraints	CPU time	Wall clock time	TraceID
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf9.ucl--soft-33-100-0.wbo	MSAT (TO)	440	1800.21	1761.42	2691607
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.ex.br.mem.RobRegValid_bar.ucl--soft-33-100-0.wbo	MSAT (TO)	1211	1800.22	1785.79	2691604
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.8.accl.ucl--soft-33-100-0.wbo	MSAT (TO)	465	1800.24	1774.53	2691593
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Ic22arity.ucl--soft-66-100-0.wbo	MSAT (TO)	337	1800.25	1784.31	2691556
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.ex.mem.LdValue.ucl--soft-66-100-0.wbo	MSAT (TO)	437	1800.26	1780.7	2691610
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.tag14.ucl--soft-33-100-0.wbo	MSAT (TO)	307	1800.28	1777.72	2691561
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache.inv12.ucl--soft-66-100-0.wbo	MSAT (TO)	12	1800.29	1744.54	2691620
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl--soft-66-100-0.wbo	MSAT (TO)	391	1800.29	1777.1	2691553
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Ic22arity.ucl--soft-33-100-0.wbo	MSAT (TO)	480	1800.29	1778.89	2691611
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-full.all.ucl--soft-33-100-0.wbo	MSAT (TO)	751	1800.3	1779.14	2691551
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache.inv12.ucl--soft-33-100-0.wbo	MSAT (TO)	14	1800.3	1771.35	2691558
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.tag14.ucl--soft-66-100-0.wbo	MSAT (TO)	453	1800.31	1772.52	2691567
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache.inv14.ucl--soft-66-100-0.wbo	MSAT (TO)	368	1800.31	1776.13	2691596
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf10.ucl--soft-33-100-0.wbo	MSAT (TO)	314	1800.32	1789.3	2691614
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.ex.br.mem.RobRegValid_bar.ucl--soft-66-100-0.wbo	MSAT (TO)	38	1800.33	1733.06	2691599
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-full.all.ucl--soft-66-100-0.wbo	MSAT (TO)	478	1800.34	1776.06	2691579
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.tag12.ucl--soft-33-100-0.wbo	MSAT (TO)	288	1800.35	1742.72	2691597
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl--soft-33-100-0.wbo	MSAT (TO)	423	1800.35	1780.13	2691587
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache.inv14.ucl--soft-33-100-0.wbo	MSAT (TO)	741	1800.36	1803.84	2691590
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.ex.mem.LdValue.ucl--soft-33-100-0.wbo	MSAT (TO)	2988	1800.36	1774.34	2691573
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Icl2arity.ucl--soft-33-100-0.wbo	MSAT (TO)	75	1800.37	1889.87	2691584
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.unbounded.all.ucl--soft-33-100-0.wbo	MSAT (TO)	2725	1800.38	1815.65	2691600
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.unbounded.all.ucl--soft-66-100-0.wbo	MSAT (TO)	82	1800.54	1865.17	2691602
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf10.ucl--soft-33-100-0.wbo	MSAT (TO)	1143	1800.57	1781.4	2691576

Benchmark Name	Answer	cost of falsified constraints	CPU time	Wall clock time	TraceID
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen08_wcsp.wbo	?		101.177	60.336	2701355
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-sheep4r_wcsp.wbo	?		150.51	126.064	2701739

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12026_5-unsat--soft-66-100-0.wbo	? (TO)	1800.02	1698.32	2691662
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12013_1-unsat--soft-33-100-0.wbo	? (TO)	1800.2	1735.94	2691653
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-sheep4r-4-1_wcsp.wbo	? (TO)	1800.23	1010.25	2701679
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-sheep4r-4-0_wcsp.wbo	? (TO)	1800.23	1030.34	2701745
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12026_5-unsat--soft-33-100-0.wbo	? (TO)	1800.24	1695.44	2691638
/PARTIAL-BIGINT-LIN/wcsp/ academics/normalized-slangford-3-11_wcsp.wbo	? (TO)	1800.28	1697.59	2700629

Benchmark Name	Answer	cost of falsified constraints	CPU time	Wall clock time	TraceID
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-sheep4nr_wcsp.wbo	? (exit code)		165.281	146.43	2701655

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-1502_wcsp.wbo	Wrong UNSAT	0.274957	0.253898	2701583
/PARTIAL-BIGINT-LIN/wcsp/mprime/ normalized-mprime03c_wcsp.wbo	Wrong UNSAT	0.280956	0.251891	2700875
/PARTIAL-BIGINT-LIN/wcsp/ depot/normalized-depot01ac_wcsp.wbo	Wrong UNSAT	0.282956	0.252901	2701883
/PARTIAL-BIGINT-LIN/wcsp/ mprime/normalized-mprime03ac_wcsp.wbo	Wrong UNSAT	0.282956	0.25558	2700869
/PARTIAL-BIGINT-LIN/wcsp/ mprime/normalized-mprime03bc_wcsp.wbo	Wrong UNSAT	0.283956	0.251267	2700893
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog01bc_wcsp.wbo	Wrong UNSAT	0.283956	0.252368	2700725
/PARTIAL-BIGINT-LIN/wcsp/ mprime/normalized-mprime03cc_wcsp.wbo	Wrong UNSAT	0.284955	0.257516	2700887
/PARTIAL-BIGINT-LIN/wcsp/ depot/normalized-depot01bc_wcsp.wbo	Wrong UNSAT	0.285955	0.252058	2701865
/PARTIAL-BIGINT-LIN/wcsp/ depot/normalized-depot01cc_wcsp.wbo	Wrong UNSAT	0.287955	0.252618	2701871
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog01c_wcsp.wbo	Wrong UNSAT	0.289955	0.254167	2700659
/PARTIAL-BIGINT-LIN/wcsp/academics/ normalized-warehouse1_wcsp.wbo	Wrong UNSAT	0.290955	0.221243	2700635
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog01cc_wcsp.wbo	Wrong UNSAT	0.291955	0.253036	2700749
/PARTIAL-BIGINT-LIN/wcsp/spot5/ normalized-spot5-29_wcsp.wbo	Wrong UNSAT	0.292955	0.253396	2701589
/PARTIAL-BIGINT-LIN/wcsp/depot/ normalized-depot01c_wcsp.wbo	Wrong UNSAT	0.295954	0.25576	2701877
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt3c_wcsp.wbo	Wrong UNSAT	0.310952	0.254448	2700815
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt3cc_wcsp.wbo	Wrong UNSAT	0.31695	0.255885	2700791
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-503_wcsp.wbo	Wrong UNSAT	0.352945	0.257209	2701625
/PARTIAL-BIGINT-LIN/wcsp/spot5/ normalized-spot5-42_wcsp.wbo	Wrong UNSAT	0.591909	0.360615	2701601
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap61_wcsp.wbo	Wrong UNSAT	0.604907	0.375859	2701133
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap41_wcsp.wbo	Wrong UNSAT	0.606906	0.380445	2701031
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap42_wcsp.wbo	Wrong UNSAT	0.606907	0.376492	2701145
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap43_wcsp.wbo	Wrong UNSAT	0.607906	0.37645	2701103
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap72_wcsp.wbo	Wrong UNSAT	0.610906	0.378528	2701109
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap74_wcsp.wbo	Wrong UNSAT	0.610907	0.386497	2700971
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap51_wcsp.wbo	Wrong UNSAT	0.611906	0.372939	2701007
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap62_wcsp.wbo	Wrong UNSAT	0.612906	0.37418	2700911
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap63_wcsp.wbo	Wrong UNSAT	0.616905	0.375238	2701013
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap64_wcsp.wbo	Wrong UNSAT	0.617906	0.375087	2700953
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap44_wcsp.wbo	Wrong UNSAT	0.620904	0.378131	2701115
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap71_wcsp.wbo	Wrong UNSAT	0.620905	0.371025	2700959
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap73_wcsp.wbo	Wrong UNSAT	0.629904	0.387663	2700947
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap91_wcsp.wbo	Wrong UNSAT	0.723888	0.36704	2701055
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap103_wcsp.wbo	Wrong UNSAT	0.723889	0.372509	2700995
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap82_wcsp.wbo	Wrong UNSAT	0.724889	0.368026	2700923
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap101_wcsp.wbo	Wrong UNSAT	0.725889	0.368108	2701079
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap93_wcsp.wbo	Wrong UNSAT	0.727889	0.36869	2701229
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap104_wcsp.wbo	Wrong UNSAT	0.728888	0.370222	2700989
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap83_wcsp.wbo	Wrong UNSAT	0.729888	0.368779	2700941
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap81_wcsp.wbo	Wrong UNSAT	0.729888	0.367149	2701205
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap94_wcsp.wbo	Wrong UNSAT	0.736887	0.368951	2701181
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-408_wcsp.wbo	Wrong UNSAT	0.737887	0.410383	2701595
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap92_wcsp.wbo	Wrong UNSAT	0.743886	0.373887	2701085
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap102_wcsp.wbo	Wrong UNSAT	0.750885	0.369833	2700929
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap84_wcsp.wbo	Wrong UNSAT	0.854869	0.468484	2701025
/PARTIAL-BIGINT-LIN/PB10/oliveras/j60/ normalized-j6030_9-unsat--soft-33-100-0.wbo	Wrong UNSAT	0.856868	0.46271	2691697
/PARTIAL-BIGINT-LIN/PB10/oliveras/j90/ normalized-j907_8-unsat--soft-33-100-0.wbo	Wrong UNSAT	0.856869	0.463768	2691669
/PARTIAL-BIGINT-LIN/wcsp/ logistics/normalized-logistics01ac_wcsp.wbo	Wrong UNSAT	0.863867	0.491562	2701775
/PARTIAL-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9015_10-unsat--soft-33-100-0.wbo	Wrong UNSAT	0.865867	0.466441	2691663
/PARTIAL-BIGINT-LIN/PB10/oliveras/j60/ normalized-j6033_2-unsat--soft-33-100-0.wbo	Wrong UNSAT	0.865867	0.462791	2691694
/PARTIAL-BIGINT-LIN/wcsp/logistics/ normalized-logistics01c_wcsp.wbo	Wrong UNSAT	0.866867	0.470938	2701769
/PARTIAL-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9012_2-unsat--soft-33-100-0.wbo	Wrong UNSAT	0.871867	0.468229	2691678
/PARTIAL-BIGINT-LIN/wcsp/ logistics/normalized-logistics01bc_wcsp.wbo	Wrong UNSAT	0.872867	0.471067	2701757
/PARTIAL-BIGINT-LIN/wcsp/ logistics/normalized-logistics01cc_wcsp.wbo	Wrong UNSAT	0.876866	0.482108	2701763
/PARTIAL-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9014_1-unsat--soft-33-100-0.wbo	Wrong UNSAT	0.884864	0.462689	2691688
/PARTIAL-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9010_6-unsat--soft-33-100-0.wbo	Wrong UNSAT	0.901862	0.463885	2691672
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-505_wcsp.wbo	Wrong UNSAT	0.912861	0.491511	2701643
/PARTIAL-BIGINT-LIN/wcsp/ rover/normalized-rovers02ac_wcsp.wbo	Wrong UNSAT	0.925859	0.473577	2701781
/PARTIAL-BIGINT-LIN/wcsp/ rover/normalized-rovers02bc_wcsp.wbo	Wrong UNSAT	0.933857	0.474875	2701799
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12015_3-unsat--soft-33-100-0.wbo	Wrong UNSAT	0.933857	0.8328	2691632
/PARTIAL-BIGINT-LIN/wcsp/ rover/normalized-rovers02cc_wcsp.wbo	Wrong UNSAT	0.935857	0.474647	2701787
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap112_wcsp.wbo	Wrong UNSAT	0.940856	0.473952	2700935
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap134_wcsp.wbo	Wrong UNSAT	0.946855	0.473185	2700905
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap113_wcsp.wbo	Wrong UNSAT	0.958854	0.474914	2701175
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap121_wcsp.wbo	Wrong UNSAT	0.959853	0.474193	2701043
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap133_wcsp.wbo	Wrong UNSAT	0.960853	0.476306	2700977
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap122_wcsp.wbo	Wrong UNSAT	0.962852	0.47248	2701097
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap114_wcsp.wbo	Wrong UNSAT	0.963852	0.473885	2701187
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap131_wcsp.wbo	Wrong UNSAT	0.967852	0.476638	2701091
/PARTIAL-BIGINT-LIN/wcsp/ rover/normalized-rovers02c_wcsp.wbo	Wrong UNSAT	0.967852	0.523786	2701793
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap132_wcsp.wbo	Wrong UNSAT	0.968852	0.478587	2701001
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap123_wcsp.wbo	Wrong UNSAT	0.969852	0.478038	2701037
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap124_wcsp.wbo	Wrong UNSAT	0.973851	0.478409	2701127
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap111_wcsp.wbo	Wrong UNSAT	0.97785	0.476256	2701169
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12023_3-unsat--soft-33-100-0.wbo	Wrong UNSAT	0.98385	0.56994	2691659
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12013_1-unsat--soft-66-100-0.wbo	Wrong UNSAT	1.00085	0.566749	2691650
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-1504_wcsp.wbo	Wrong UNSAT	1.00085	0.53014	2701571
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12023_3-unsat--soft-66-100-0.wbo	Wrong UNSAT	1.00385	0.543728	2691656
/PARTIAL-BIGINT-LIN/wcsp/ zenotravel/normalized-zenotravel02ac_wcsp.wbo	Wrong UNSAT	1.01484	0.565095	2701487
/PARTIAL-BIGINT-LIN/wcsp/zenotravel/ normalized-zenotravel02c_wcsp.wbo	Wrong UNSAT	1.01984	0.566788	2701481
/PARTIAL-BIGINT-LIN/wcsp/ zenotravel/normalized-zenotravel02cc_wcsp.wbo	Wrong UNSAT	1.02084	0.572817	2701463
/PARTIAL-BIGINT-LIN/wcsp/spot5/ normalized-spot5-28_wcsp.wbo	Wrong UNSAT	1.03484	0.576613	2701559
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-507_wcsp.wbo	Wrong UNSAT	1.07784	0.56459	2701619
/PARTIAL-BIGINT-LIN/wcsp/ zenotravel/normalized-zenotravel02bc_wcsp.wbo	Wrong UNSAT	1.08683	0.581687	2701469
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-412_wcsp.wbo	Wrong UNSAT	1.12183	0.569207	2701631
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capmo1_wcsp.wbo	Wrong UNSAT	1.47678	0.686878	2701211
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-414_wcsp.wbo	Wrong UNSAT	1.48677	0.683203	2701565
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capmo4_wcsp.wbo	Wrong UNSAT	1.54576	0.724014	2700983
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capmo5_wcsp.wbo	Wrong UNSAT	1.54976	0.724821	2701067
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-509_wcsp.wbo	Wrong UNSAT	1.58376	0.707255	2701613
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-1403_wcsp.wbo	Wrong UNSAT	1.58676	0.7411	2701553
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-1401_wcsp.wbo	Wrong UNSAT	1.59376	0.735407	2701541
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog04ac_wcsp.wbo	Wrong UNSAT	1.60376	0.735758	2700689
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlogs03_wcsp.wbo	Wrong UNSAT	1.60476	0.73681	2700719
/PARTIAL-BIGINT-LIN/wcsp/mprime/ normalized-mprime01c_wcsp.wbo	Wrong UNSAT	1.60976	0.733513	2700899
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlogs06_wcsp.wbo	Wrong UNSAT	1.61175	0.736453	2700707
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog04cc_wcsp.wbo	Wrong UNSAT	1.61375	0.777638	2700761
/PARTIAL-BIGINT-LIN/wcsp/ mprime/normalized-mprime01cc_wcsp.wbo	Wrong UNSAT	1.61475	0.728772	2700845
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog04bc_wcsp.wbo	Wrong UNSAT	1.61775	0.775365	2700677
/PARTIAL-BIGINT-LIN/wcsp/ mprime/normalized-mprime01ac_wcsp.wbo	Wrong UNSAT	1.61875	0.734027	2700851
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog02bc_wcsp.wbo	Wrong UNSAT	1.62575	0.774693	2700695
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog04c_wcsp.wbo	Wrong UNSAT	1.62775	0.724394	2700701
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-1506_wcsp.wbo	Wrong UNSAT	1.63175	0.776995	2701607
/PARTIAL-BIGINT-LIN/wcsp/ satellite/normalized-satellite01ac_wcsp.wbo	Wrong UNSAT	1.63275	0.748806	2701535
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog02cc_wcsp.wbo	Wrong UNSAT	1.63975	0.773903	2700653
/PARTIAL-BIGINT-LIN/wcsp/ zenotravel/normalized-zenotravel04cc_wcsp.wbo	Wrong UNSAT	1.63975	0.781043	2701475
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog02c_wcsp.wbo	Wrong UNSAT	1.64275	0.77361	2700767
/PARTIAL-BIGINT-LIN/wcsp/ mprime/normalized-mprime01bc_wcsp.wbo	Wrong UNSAT	1.64575	0.73463	2700863
/PARTIAL-BIGINT-LIN/wcsp/ zenotravel/normalized-zenotravel04ac_wcsp.wbo	Wrong UNSAT	1.65275	0.776397	2701451
/PARTIAL-BIGINT-LIN/wcsp/satellite/ normalized-satellite01c_wcsp.wbo	Wrong UNSAT	1.65375	0.736305	2701505
/PARTIAL-BIGINT-LIN/wcsp/ satellite/normalized-satellite01bc_wcsp.wbo	Wrong UNSAT	1.65875	0.731962	2701523
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog02ac_wcsp.wbo	Wrong UNSAT	1.67374	0.773431	2700737
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt4cc_wcsp.wbo	Wrong UNSAT	1.67374	0.746746	2700803
/PARTIAL-BIGINT-LIN/wcsp/ zenotravel/normalized-zenotravel04bc_wcsp.wbo	Wrong UNSAT	1.67874	0.777755	2701493
/PARTIAL-BIGINT-LIN/wcsp/zenotravel/ normalized-zenotravel04c_wcsp.wbo	Wrong UNSAT	1.68474	0.837239	2701457
/PARTIAL-BIGINT-LIN/wcsp/ satellite/normalized-satellite01cc_wcsp.wbo	Wrong UNSAT	1.68874	0.752557	2701499
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt4bc_wcsp.wbo	Wrong UNSAT	1.69774	0.759404	2700785
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt4c_wcsp.wbo	Wrong UNSAT	1.70074	0.759688	2700809
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-1405_wcsp.wbo	Wrong UNSAT	1.70474	0.83208	2701637
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capmo3_wcsp.wbo	Wrong UNSAT	1.71374	0.766774	2701151
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-1407_wcsp.wbo	Wrong UNSAT	1.77573	0.882958	2701577
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capmo2_wcsp.wbo	Wrong UNSAT	1.79773	0.799245	2701193
/PARTIAL-BIGINT-LIN/wcsp/spot5/ normalized-spot5-5_wcsp.wbo	Wrong UNSAT	2.01269	0.854609	2701547
/PARTIAL-BIGINT-LIN/wcsp/ mprime/normalized-mprime04cc_wcsp.wbo	Wrong UNSAT	2.07668	0.947211	2700857
/PARTIAL-BIGINT-LIN/wcsp/mprime/ normalized-mprime04c_wcsp.wbo	Wrong UNSAT	2.08268	0.942286	2700833
/PARTIAL-BIGINT-LIN/wcsp/ mprime/normalized-mprime04ac_wcsp.wbo	Wrong UNSAT	2.09468	0.944653	2700839
/PARTIAL-BIGINT-LIN/wcsp/ mprime/normalized-mprime04bc_wcsp.wbo	Wrong UNSAT	2.10368	0.944158	2700881
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog05c_wcsp.wbo	Wrong UNSAT	2.11368	0.945505	2700731
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-pedck60-L1_wcsp.wbo	Wrong UNSAT	2.11668	0.982894	2701709
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-pedck60-L2_wcsp.wbo	Wrong UNSAT	2.14767	0.993965	2701703
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog05ac_wcsp.wbo	Wrong UNSAT	2.15667	0.991055	2700683
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-pedck60-L12_wcsp.wbo	Wrong UNSAT	2.15967	0.992961	2701751
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog05cc_wcsp.wbo	Wrong UNSAT	2.16267	0.987639	2700641
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt5bc_wcsp.wbo	Wrong UNSAT	2.16467	0.987212	2700797
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog05bc_wcsp.wbo	Wrong UNSAT	2.16567	0.988688	2700755
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt5c_wcsp.wbo	Wrong UNSAT	2.16767	0.985271	2700773
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt5cc_wcsp.wbo	Wrong UNSAT	2.16867	0.997434	2700821
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capmp1_wcsp.wbo	Wrong UNSAT	2.22766	1.19376	2701223
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen06-30reduc_wcsp.wbo	Wrong UNSAT	2.25566	1.03565	2701385
/PARTIAL-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9035_1-unsat--soft-33-100-0.wbo	Wrong UNSAT	2.32065	1.1465	2691666
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog08cc_wcsp.wbo	Wrong UNSAT	2.34964	1.1464	2700671
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog08bc_wcsp.wbo	Wrong UNSAT	2.38164	1.14523	2700665
/PARTIAL-BIGINT-LIN/wcsp/ satellite/normalized-satellite02ac_wcsp.wbo	Wrong UNSAT	2.45463	1.09059	2701517
/PARTIAL-BIGINT-LIN/wcsp/ satellite/normalized-satellite02bc_wcsp.wbo	Wrong UNSAT	2.48162	1.09129	2701511
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog08c_wcsp.wbo	Wrong UNSAT	2.52461	1.1553	2700713
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog08ac_wcsp.wbo	Wrong UNSAT	2.53761	1.14685	2700647
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capmp3_wcsp.wbo	Wrong UNSAT	2.54061	1.30388	2701073
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen07_10000_30r_wcsp.wbo	Wrong UNSAT	2.54861	1.20035	2701427
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capmp2_wcsp.wbo	Wrong UNSAT	2.5886	1.30138	2701163
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capmp5_wcsp.wbo	Wrong UNSAT	2.6086	1.35914	2701217
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capmp4_wcsp.wbo	Wrong UNSAT	2.6186	1.35217	2701139
/PARTIAL-BIGINT-LIN/wcsp/ satellite/normalized-satellite02cc_wcsp.wbo	Wrong UNSAT	2.67159	1.20557	2701529
/PARTIAL-BIGINT-LIN/wcsp/ scens/normalized-scen06-30_wcsp.wbo	Wrong UNSAT	2.97455	1.36332	2701439
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt6_wcsp.wbo	Wrong UNSAT	3.01654	1.46791	2700779
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar6-sub4-20_wcsp.wbo	Wrong UNSAT	3.2955	1.52732	2701271
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar7-sub1-20_wcsp.wbo	Wrong UNSAT	3.44248	1.51178	2701265
/PARTIAL-BIGINT-LIN/wcsp/ driver/normalized-driverlog09_wcsp.wbo	Wrong UNSAT	3.46747	1.76834	2700743
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capmq4_wcsp.wbo	Wrong UNSAT	3.68544	1.98415	2701199
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capmq3_wcsp.wbo	Wrong UNSAT	3.76643	1.99319	2700965
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capa_wcsp.wbo	Wrong UNSAT	3.85241	2.11144	2701157
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capc_wcsp.wbo	Wrong UNSAT	3.87241	2.07891	2701019
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-pedck1000_wcsp.wbo	Wrong UNSAT	3.88041	1.84594	2701727
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capb_wcsp.wbo	Wrong UNSAT	3.90441	2.13777	2701061
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar6-sub1-24_wcsp.wbo	Wrong UNSAT	3.9624	1.74461	2701283
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt5ac_wcsp.wbo	Wrong UNSAT	4.02567	1.00206	2700827
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capmq2_wcsp.wbo	Wrong UNSAT	4.10438	2.14692	2701049
/PARTIAL-BIGINT-LIN/wcsp/ scens/normalized-scen06-24_wcsp.wbo	Wrong UNSAT	4.17536	2.10033	2701391
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capmq1_wcsp.wbo	Wrong UNSAT	4.22536	2.27867	2701121
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar7-sub4-22_wcsp.wbo	Wrong UNSAT	4.24635	1.99204	2701319
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capmq5_wcsp.wbo	Wrong UNSAT	4.29535	2.15981	2700917
/PARTIAL-BIGINT-LIN/wcsp/ scens/normalized-scen06-22_wcsp.wbo	Wrong UNSAT	4.76827	2.56825	2701433
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-pedck350l2_wcsp.wbo	Wrong UNSAT	4.97424	2.47436	2701715
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-pedck350_wcsp.wbo	Wrong UNSAT	5.01624	2.39971	2701673
/PARTIAL-BIGINT-LIN/wcsp/ pedigree/normalized-eye_wcsp.wbo	Wrong UNSAT	5.70913	2.75422	2701649
/PARTIAL-BIGINT-LIN/wcsp/ scens/normalized-scen06-18_wcsp.wbo	Wrong UNSAT	5.8781	3.07136	2701415
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar7-sub0_wcsp.wbo	Wrong UNSAT	5.98709	3.07178	2701241
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar6-sub0_wcsp.wbo	Wrong UNSAT	5.99109	2.9087	2701259
/PARTIAL-BIGINT-LIN/wcsp/ scens/normalized-scen06-16_wcsp.wbo	Wrong UNSAT	6.94894	3.49173	2701373
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar7-sub1_wcsp.wbo	Wrong UNSAT	6.97294	3.87987	2701313
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar6-sub1_wcsp.wbo	Wrong UNSAT	7.04793	3.66535	2701247
/PARTIAL-BIGINT-LIN/wcsp/ scens/normalized-scen06-20_wcsp.wbo	Wrong UNSAT	7.18491	4.10986	2701379
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar6-sub3_wcsp.wbo	Wrong UNSAT	8.10677	4.47172	2701289
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar7-sub3_wcsp.wbo	Wrong UNSAT	8.14176	4.64826	2701277
/PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph07_wcsp.wbo	Wrong UNSAT	8.38572	4.18611	2701823
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar6-sub4_wcsp.wbo	Wrong UNSAT	8.49471	4.6494	2701235
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar6-sub2_wcsp.wbo	Wrong UNSAT	9.28259	4.83829	2701295
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar7-sub2_wcsp.wbo	Wrong UNSAT	9.48256	5.22699	2701301
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar7-sub4_wcsp.wbo	Wrong UNSAT	9.70352	5.53588	2701253
/PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph05_wcsp.wbo	Wrong UNSAT	11.6752	6.02234	2701817
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen10_wcsp.wbo	Wrong UNSAT	15.0437	7.02164	2701337
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen09_wcsp.wbo	Wrong UNSAT	17.2474	6.86125	2701421
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen06_wcsp.wbo	Wrong UNSAT	19.702	9.55366	2701409
/PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph12_wcsp.wbo	Wrong UNSAT	25.1962	9.61282	2701847
/PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph06_wcsp.wbo	Wrong UNSAT	28.7406	11.3797	2701835
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12041_4-unsat--soft-33-100-0.wbo	Wrong UNSAT	29.4885	26.2418	2691629
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-wijsmanguo_wcsp.wbo	Wrong UNSAT	41.1217	17.6107	2701697
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12027_7-unsat--soft-66-100-0.wbo	Wrong UNSAT	622.873	595.289	2691623
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12027_7-unsat--soft-33-100-0.wbo	Wrong UNSAT	707.076	674.068	2691641

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	3.14652	1.66527	2691681
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j1205_1-unsat--soft-66-100-0.wbo	Wrong Opt.	83	3.41548	1.836	2691647
/PARTIAL-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9035_1-unsat--soft-66-100-0.wbo	Wrong Opt.	65	3.48447	1.78788	2691675
/PARTIAL-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9048_1-unsat--soft-33-100-0.wbo	Wrong Opt.	47	3.78042	2.12839	2691685
/PARTIAL-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9039_3-unsat--soft-33-100-0.wbo	Wrong Opt.	70	4.18036	2.35374	2691691
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j1205_1-unsat--soft-33-100-0.wbo	Wrong Opt.	80	4.91025	3.23966	2691626
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12041_4-unsat--soft-66-100-0.wbo	Wrong Opt.	98	47.1538	43.2736	2691635
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Icl2arity.ucl--soft-66-100-0.wbo	Wrong Opt.	42	659.096	637.536	2691570
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf10.ucl--soft-66-100-0.wbo	Wrong Opt.	2	856.914	842.646	2691617
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-tlan3.ucl--soft-33-100-0.wbo	Wrong Opt.	74	1350.22	1330.52	2691564

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.151976	0.148778	2699491
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-11-10--soft-66-100-0.wbo	OPTIMUM	1	0.18797	0.164089	2691836
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf6.ucl--soft-33-100-0.wbo	OPTIMUM	1	0.18997	0.203112	2691704
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-4queens_wcsp.wbo	OPTIMUM	0	0.241962	0.204045	2699539
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-zebre-ext_wcsp.wbo	OPTIMUM	0	0.293954	0.253034	2699575
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-21-20--soft-33-100-0.wbo	OPTIMUM	1	0.32095	0.261444	2691852
/PARTIAL-SMALLINT-LIN/wcsp/ pedigree/normalized-sobel_wcsp.wbo	OPTIMUM	0	0.364944	0.257876	2700523
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-21-20--soft-66-100-0.wbo	OPTIMUM	1	0.364944	0.258379	2691824
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-myciel5g-6_wcsp.wbo	OPTIMUM	0	0.45693	0.305193	2700559
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-8queens_wcsp.wbo	OPTIMUM	0	0.539916	0.32282	2699527
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-langford-2-4_wcsp.wbo	OPTIMUM	0	0.661898	0.386496	2699503
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-31-30--soft-33-100-0.wbo	OPTIMUM	1	0.675896	0.374642	2691806
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh212_wcsp.wbo	OPTIMUM	0	0.72189	0.368446	2700223
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh210_wcsp.wbo	OPTIMUM	0	0.734887	0.368671	2700211
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh217_wcsp.wbo	OPTIMUM	0	0.738887	0.367288	2700451
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh201_wcsp.wbo	OPTIMUM	0	0.746886	0.372985	2700259
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh218_wcsp.wbo	OPTIMUM	0	0.747885	0.373287	2700091
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh07_wcsp.wbo	OPTIMUM	0	0.84687	0.411673	2700355
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh12_wcsp.wbo	OPTIMUM	0	0.858869	0.409269	2699959
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh17_wcsp.wbo	OPTIMUM	0	0.881865	0.407722	2700271
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh205_wcsp.wbo	OPTIMUM	0	0.902862	0.422057	2700391
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh209_wcsp.wbo	OPTIMUM	0	0.920859	0.424893	2700295
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh01_wcsp.wbo	OPTIMUM	0	0.935857	0.739917	2700055
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-41-40--soft-33-100-0.wbo	OPTIMUM	1	1.01584	0.517935	2691855
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh207_wcsp.wbo	OPTIMUM	0	1.07383	0.554294	2699995
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh220_wcsp.wbo	OPTIMUM	0	1.13683	0.527467	2700403
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh301_wcsp.wbo	OPTIMUM	0	1.16282	0.612518	2699935
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-51-50--soft-33-100-0.wbo	OPTIMUM	1	1.65875	0.93547	2691831
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl30_31_pb.cnf.cr--soft-33-100-0.wbo	OPTIMUM	3	1.70174	0.747471	2691786
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-donald_wcsp.wbo	OPTIMUM	0	1.73673	0.832226	2699551
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-44s.smv--soft-33-100-0.wbo	OPTIMUM	1	1.78173	0.759128	2691686
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-61-60--soft-66-100-0.wbo	OPTIMUM	1	1.84072	1.29808	2691834
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j603_2-unsat--soft-66-100-0.wbo	OPTIMUM	31	1.86871	0.936817	2691900
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl35_36_pb.cnf.cr--soft-33-100-0.wbo	OPTIMUM	3	2.12768	0.883338	2691761
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j603_2-unsat--soft-33-100-0.wbo	OPTIMUM	6	2.16667	1.14342	2691897
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-zebra_wcsp.wbo	OPTIMUM	0	2.32265	1.11496	2699599
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j6027_4-unsat--soft-66-100-0.wbo	OPTIMUM	24	2.33964	1.03492	2691912
/PARTIAL-SMALLINT-LIN/wcsp/ academics/normalized-send_wcsp.wbo	OPTIMUM	0	2.83357	1.35555	2699479
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-41-40--soft-66-100-0.wbo	OPTIMUM	1	3.12552	2.08179	2691848
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/ normalized-j9048_1-unsat--soft-66-100-0.wbo	OPTIMUM	22	3.16152	1.51033	2691843
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-22s.smv--soft-66-100-0.wbo	OPTIMUM	1	3.46847	1.56192	2691716
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-2.ucl--soft-66-100-0.wbo	OPTIMUM	1	3.61245	1.45713	2691765
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-61-60--soft-33-100-0.wbo	OPTIMUM	1	3.73443	2.59867	2691815
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-71-70--soft-33-100-0.wbo	OPTIMUM	1	4.54631	3.53587	2691845
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl40_41_pb.cnf.cr--soft-66-100-0.wbo	OPTIMUM	4	4.85226	3.4375	2691736
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf7.ucl--soft-33-100-0.wbo	OPTIMUM	1	5.17021	2.4967	2691749
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-81-80--soft-33-100-0.wbo	OPTIMUM	1	6.557	5.26592	2691860
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-71-70--soft-66-100-0.wbo	OPTIMUM	1	10.7064	9.37156	2691838
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf9.ucl--soft-66-100-0.wbo	OPTIMUM	1	13.7689	11.2862	2691627
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.tag8.ucl--soft-66-100-0.wbo	OPTIMUM	2	15.8926	13.1624	2691760
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.4.accl.ucl--soft-33-100-0.wbo	OPTIMUM	1	16.8534	13.8318	2691603
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-dlx1c.ucl--soft-66-100-0.wbo	OPTIMUM	1	19.796	17.3672	2691676
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-22s.smv--soft-33-100-0.wbo	OPTIMUM	1	81.8066	77.7372	2691731
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-dlx1c.rwmem1.ucl--soft-66-100-0.wbo	OPTIMUM	1	84.0122	80.8749	2691594
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf8.ucl--soft-66-100-0.wbo	OPTIMUM	1	104.681	100.979	2691679
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.2.accl.ucl--soft-33-100-0.wbo	OPTIMUM	1	127.164	120.745	2691788
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-dlx1c.rwmem.ucl--soft-33-100-0.wbo	OPTIMUM	1	568.739	558.842	2691624
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-dlx1c.rwmem1.ucl--soft-33-100-0.wbo	OPTIMUM	1	711.43	700.389	2691692
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-langford-3-9_wcsp.wbo	OPTIMUM	0	886.521	845.646	2699563
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-91-90--soft-66-100-0.wbo	OPTIMUM	1	1176.58	1153.23	2691842

Benchmark Name	Answer	cost of falsified constraints	CPU time	Wall clock time	TraceID
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218024--soft-33-100-0.wbo	MSAT (TO)	191	1800.06	1797.24	2691924
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110971697--soft-66-100-0.wbo	MSAT (TO)	100	1800.06	1793.45	2691935
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111221624--soft-33-100-0.wbo	MSAT (TO)	436	1800.06	1797.35	2692027
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111221624--soft-66-100-0.wbo	MSAT (TO)	322	1800.07	1797.55	2691964
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111213868--soft-66-100-0.wbo	MSAT (TO)	178	1800.07	1791.47	2692097
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111216823--soft-33-100-0.wbo	MSAT (TO)	529	1800.07	1798.05	2692088
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111228076--soft-33-100-0.wbo	MSAT (TO)	434	1800.07	1795.66	2691914
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111223220--soft-33-100-0.wbo	MSAT (TO)	452	1800.08	1797.67	2691916
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900565534--soft-33-100-0.wbo	MSAT (TO)	108	1800.08	1671.66	2692161
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111222539--soft-33-100-0.wbo	MSAT (TO)	326	1800.08	1797.37	2692035
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110968561--soft-66-100-0.wbo	MSAT (TO)	430	1800.08	1797.75	2691971
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111227012--soft-66-100-0.wbo	MSAT (TO)	82	1800.08	1796.97	2691979
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110970631--soft-66-100-0.wbo	MSAT (TO)	315	1800.09	1797.38	2691993
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111225605--soft-66-100-0.wbo	MSAT (TO)	100	1800.09	1795.06	2692045
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224929--soft-33-100-0.wbo	MSAT (TO)	384	1800.09	1798.15	2692092
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110968094--soft-33-100-0.wbo	MSAT (TO)	428	1800.09	1797.66	2691901
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110967729--soft-66-100-0.wbo	MSAT (TO)	100	1800.09	1793.25	2692080
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110972154--soft-66-100-0.wbo	MSAT (TO)	100	1800.1	1776.97	2691872
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111223004--soft-33-100-0.wbo	MSAT (TO)	398	1800.1	1797.87	2691876
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110966483--soft-66-100-0.wbo	MSAT (TO)	133	1800.1	1797.24	2692049
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900564281--soft-33-100-0.wbo	MSAT (TO)	79	1800.1	1684.66	2691559
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110976730--soft-33-100-0.wbo	MSAT (TO)	251	1800.1	1797.54	2692041
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900557362--soft-33-100-0.wbo	MSAT (TO)	213	1800.1	1670.06	2692286
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111226368--soft-33-100-0.wbo	MSAT (TO)	15	1800.11	1794.78	2692084
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110974372--soft-33-100-0.wbo	MSAT (TO)	340	1800.11	1797.57	2692055
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900561288--soft-33-100-0.wbo	MSAT (TO)	188	1800.11	1682.07	2692167
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900553812--soft-66-100-0.wbo	MSAT (TO)	136	1800.11	1721.47	2691574
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111217392--soft-66-100-0.wbo	MSAT (TO)	230	1800.11	1797.66	2691944
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900559676--soft-66-100-0.wbo	MSAT (TO)	44	1800.11	1720.17	2692131
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110972763--soft-33-100-0.wbo	MSAT (TO)	250	1800.11	1795.89	2691874
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110968561--soft-33-100-0.wbo	MSAT (TO)	283	1800.11	1797.98	2691902
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218308--soft-33-100-0.wbo	MSAT (TO)	406	1800.11	1798.16	2692031
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111220546--soft-33-100-0.wbo	MSAT (TO)	294	1800.11	1797.86	2692053
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111212272--soft-33-100-0.wbo	MSAT (TO)	496	1800.11	1797.76	2692023
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900667195--soft-33-100-0.wbo	MSAT (TO)	136	1800.11	1681.99	2692165
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110971363--soft-66-100-0.wbo	MSAT (TO)	66	1800.11	1792.18	2692099
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111223220--soft-66-100-0.wbo	MSAT (TO)	338	1800.12	1797.67	2691973
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567135--soft-66-100-0.wbo	MSAT (TO)	289	1800.12	1726.87	2692124
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111227326--soft-33-100-0.wbo	MSAT (TO)	508	1800.12	1797.97	2691997
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111226680--soft-66-100-0.wbo	MSAT (TO)	100	1800.12	1796.47	2691884
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900554420--soft-66-100-0.wbo	MSAT (TO)	351	1800.12	1738.46	2692221
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900670234--soft-66-100-0.wbo	MSAT (TO)	186	1800.12	1717.86	2692199
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111226062--soft-33-100-0.wbo	MSAT (TO)	484	1800.12	1797.75	2692051
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900569834--soft-33-100-0.wbo	MSAT (TO)	157	1800.13	1670.17	2692133
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111226368--soft-66-100-0.wbo	MSAT (TO)	371	1800.13	1796.88	2691962
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111212476--soft-33-100-0.wbo	MSAT (TO)	261	1800.13	1798.07	2692094
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111219799--soft-33-100-0.wbo	MSAT (TO)	529	1800.13	1797.94	2691888
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900574864--soft-33-100-0.wbo	MSAT (TO)	91	1800.13	1690.57	2692177
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900552735--soft-33-100-0.wbo	MSAT (TO)	75	1800.13	1681.67	2691577
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110973163--soft-66-100-0.wbo	MSAT (TO)	101	1800.13	1796.98	2692093
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110967523--soft-66-100-0.wbo	MSAT (TO)	122	1800.13	1796.98	2692011
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110976935--soft-33-100-0.wbo	MSAT (TO)	240	1800.13	1796.96	2691870
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218757--soft-33-100-0.wbo	MSAT (TO)	217	1800.13	1797.46	2692100
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900573137--soft-33-100-0.wbo	MSAT (TO)	103	1800.13	1707.18	2692201
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111220019--soft-33-100-0.wbo	MSAT (TO)	314	1800.13	1797.78	2691972
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900584219--soft-33-100-0.wbo	MSAT (TO)	128	1800.13	1694.7	2692109
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900568706--soft-33-100-0.wbo	MSAT (TO)	117	1800.13	1688.79	2692121
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900582300--soft-66-100-0.wbo	MSAT (TO)	180	1800.13	1733.48	2692120
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900550720--soft-33-100-0.wbo	MSAT (TO)	74	1800.13	1702.47	2692247
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111228076--soft-66-100-0.wbo	MSAT (TO)	288	1800.14	1797.27	2691934
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111223004--soft-66-100-0.wbo	MSAT (TO)	207	1800.14	1797.45	2691996
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111216823--soft-66-100-0.wbo	MSAT (TO)	82	1800.14	1792.58	2691891
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900669797--soft-66-100-0.wbo	MSAT (TO)	270	1800.14	1727.86	2692282
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111212476--soft-66-100-0.wbo	MSAT (TO)	123	1800.14	1769.67	2691882
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900559676--soft-33-100-0.wbo	MSAT (TO)	97	1800.14	1689.01	2692227
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110970444--soft-66-100-0.wbo	MSAT (TO)	100	1800.14	1795.38	2692019
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111217555--soft-66-100-0.wbo	MSAT (TO)	305	1800.14	1796.06	2692017
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110973163--soft-33-100-0.wbo	MSAT (TO)	510	1800.14	1797.97	2692015
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900573901--soft-66-100-0.wbo	MSAT (TO)	113	1800.14	1737.19	2692217
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900548667--soft-33-100-0.wbo	MSAT (TO)	162	1800.14	1694.4	2692116
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900670234--soft-33-100-0.wbo	MSAT (TO)	203	1800.14	1677.98	2692122
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900566157--soft-33-100-0.wbo	MSAT (TO)	214	1800.14	1688.6	2692187
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900545610--soft-33-100-0.wbo	MSAT (TO)	170	1800.14	1676.69	2692185
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110967729--soft-33-100-0.wbo	MSAT (TO)	249	1800.14	1795.26	2692057
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110968898--soft-66-100-0.wbo	MSAT (TO)	100	1800.14	1794.96	2692063
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900584219--soft-66-100-0.wbo	MSAT (TO)	190	1800.14	1738.69	2692125
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900568186--soft-33-100-0.wbo	MSAT (TO)	219	1800.14	1674.97	2692108
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900568186--soft-66-100-0.wbo	MSAT (TO)	190	1800.14	1724.89	2692163
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900563801--soft-33-100-0.wbo	MSAT (TO)	81	1800.14	1687.88	2692135
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900545610--soft-66-100-0.wbo	MSAT (TO)	213	1800.14	1716.69	2692106
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567024--soft-33-100-0.wbo	MSAT (TO)	163	1800.15	1682.66	2691580
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111227861--soft-33-100-0.wbo	MSAT (TO)	417	1800.15	1797.65	2691903
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110969170--soft-33-100-0.wbo	MSAT (TO)	523	1800.15	1797.96	2691959
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.2.accl.ucl--soft-66-100-0.wbo	MSAT (TO)	596	1800.15	1725.47	2691725
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110974372--soft-66-100-0.wbo	MSAT (TO)	207	1800.15	1793.75	2692067
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110972154--soft-33-100-0.wbo	MSAT (TO)	442	1800.15	1797.75	2691950
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110969577--soft-66-100-0.wbo	MSAT (TO)	225	1800.15	1798.16	2691896
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111225122--soft-66-100-0.wbo	MSAT (TO)	387	1800.15	1797.97	2691899
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900563250--soft-33-100-0.wbo	MSAT (TO)	133	1800.15	1688.96	2692269
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900558106--soft-66-100-0.wbo	MSAT (TO)	203	1800.15	1728.98	2692255
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900574864--soft-66-100-0.wbo	MSAT (TO)	41	1800.15	1737.18	2692113
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110969860--soft-33-100-0.wbo	MSAT (TO)	451	1800.15	1797.66	2691869
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111219348--soft-33-100-0.wbo	MSAT (TO)	38	1800.15	1793.59	2692037
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900551347--soft-66-100-0.wbo	MSAT (TO)	161	1800.15	1718.87	2692277
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111220019--soft-66-100-0.wbo	MSAT (TO)	136	1800.15	1798.29	2691970
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110970631--soft-33-100-0.wbo	MSAT (TO)	384	1800.15	1798.08	2691879
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900562192--soft-66-100-0.wbo	MSAT (TO)	351	1800.15	1721.97	2692145
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900569834--soft-66-100-0.wbo	MSAT (TO)	213	1800.15	1733.19	2692265
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111221203--soft-33-100-0.wbo	MSAT (TO)	341	1800.15	1797.87	2691923
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900579996--soft-33-100-0.wbo	MSAT (TO)	65	1800.15	1689.38	2692159
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110973364--soft-33-100-0.wbo	MSAT (TO)	383	1800.16	1797.97	2691990
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900547389--soft-33-100-0.wbo	MSAT (TO)	181	1800.16	1686.19	2691554
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900546417--soft-33-100-0.wbo	MSAT (TO)	168	1800.16	1682.17	2692290
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900563801--soft-66-100-0.wbo	MSAT (TO)	67	1800.16	1704.29	2692284
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900566157--soft-66-100-0.wbo	MSAT (TO)	133	1800.16	1713.46	2692281
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900552288--soft-66-100-0.wbo	MSAT (TO)	133	1800.16	1718.77	2692279
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567024--soft-66-100-0.wbo	MSAT (TO)	218	1800.16	1735.46	2692243
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900670167--soft-33-100-0.wbo	MSAT (TO)	148	1800.16	1700.99	2692239
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900557957--soft-33-100-0.wbo	MSAT (TO)	231	1800.16	1672.59	2692235
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900564824--soft-33-100-0.wbo	MSAT (TO)	235	1800.16	1672.37	2692219
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900544484--soft-66-100-0.wbo	MSAT (TO)	66	1800.16	1714.08	2692211
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900563250--soft-66-100-0.wbo	MSAT (TO)	113	1800.16	1732.39	2692195
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900557574--soft-66-100-0.wbo	MSAT (TO)	150	1800.16	1715.29	2692183
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900577940--soft-33-100-0.wbo	MSAT (TO)	161	1800.16	1705.69	2692169
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900571761--soft-66-100-0.wbo	MSAT (TO)	150	1800.16	1730.66	2692155
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900553812--soft-33-100-0.wbo	MSAT (TO)	93	1800.16	1692.98	2692139
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900670675--soft-33-100-0.wbo	MSAT (TO)	75	1800.16	1666.57	2692123
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111225122--soft-33-100-0.wbo	MSAT (TO)	382	1800.16	1798.05	2692103
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111222257--soft-33-100-0.wbo	MSAT (TO)	527	1800.16	1797.59	2692098
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111213868--soft-33-100-0.wbo	MSAT (TO)	397	1800.16	1797.38	2691868
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110966688--soft-33-100-0.wbo	MSAT (TO)	335	1800.16	1798.17	2692033
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111227326--soft-66-100-0.wbo	MSAT (TO)	100	1800.16	1796.19	2691940
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224255--soft-33-100-0.wbo	MSAT (TO)	681	1800.16	1797.87	2692009
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110977780--soft-33-100-0.wbo	MSAT (TO)	409	1800.16	1797.35	2692007
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j3029_8-unsat--soft-33-100-0.wbo	MSAT (TO)	295	1800.17	1761.78	2691805
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900575442--soft-33-100-0.wbo	MSAT (TO)	78	1800.17	1706.59	2692126
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900557957--soft-66-100-0.wbo	MSAT (TO)	139	1800.17	1725.67	2692151
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900552423--soft-33-100-0.wbo	MSAT (TO)	135	1800.17	1696.7	2692149
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111220767--soft-33-100-0.wbo	MSAT (TO)	549	1800.17	1797.78	2692068
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111221203--soft-66-100-0.wbo	MSAT (TO)	314	1800.17	1798.16	2691985
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900571132--soft-33-100-0.wbo	MSAT (TO)	156	1800.17	1689.08	2692251
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900561288--soft-66-100-0.wbo	MSAT (TO)	73	1800.17	1715.68	2692119
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900576360--soft-66-100-0.wbo	MSAT (TO)	177	1800.17	1725.09	2692271
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900553647--soft-66-100-0.wbo	MSAT (TO)	267	1800.17	1717.67	2692129
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900544484--soft-33-100-0.wbo	MSAT (TO)	154	1800.17	1692.49	2691588
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900670167--soft-66-100-0.wbo	MSAT (TO)	76	1800.18	1680.19	2692147
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900581320--soft-66-100-0.wbo	MSAT (TO)	157	1800.18	1726.69	2692213
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900550006--soft-33-100-0.wbo	MSAT (TO)	111	1800.18	1679.08	2692231
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900573901--soft-33-100-0.wbo	MSAT (TO)	161	1800.18	1704.4	2692118
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224451--soft-66-100-0.wbo	MSAT (TO)	100	1800.18	1780.48	2692078
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900558739--soft-33-100-0.wbo	MSAT (TO)	146	1800.18	1698	2692179
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110971363--soft-33-100-0.wbo	MSAT (TO)	442	1800.18	1797.88	2692059
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567985--soft-33-100-0.wbo	MSAT (TO)	73	1800.18	1696.77	2692191
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900570242--soft-66-100-0.wbo	MSAT (TO)	158	1800.18	1723.86	2692259
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j605_1-unsat--soft-33-100-0.wbo	MSAT (TO)	97	1800.18	1754.58	2691907
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900546076--soft-33-100-0.wbo	MSAT (TO)	146	1800.18	1726.38	2692112
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900576151--soft-33-100-0.wbo	MSAT (TO)	122	1800.18	1672.28	2692245
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900577940--soft-66-100-0.wbo	MSAT (TO)	39	1800.19	1736.58	2691565
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900564281--soft-66-100-0.wbo	MSAT (TO)	283	1800.19	1716.47	2692203
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110975965--soft-66-100-0.wbo	MSAT (TO)	169	1800.19	1796.21	2691919
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900581320--soft-33-100-0.wbo	MSAT (TO)	181	1800.19	1681.17	2692241
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900576151--soft-66-100-0.wbo	MSAT (TO)	143	1800.19	1736.17	2692181
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900557362--soft-66-100-0.wbo	MSAT (TO)	255	1800.19	1725.99	2692261
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900583053--soft-66-100-0.wbo	MSAT (TO)	270	1800.19	1715.49	2692249
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900670675--soft-66-100-0.wbo	MSAT (TO)	136	1800.19	1730.86	2692104
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110977273--soft-33-100-0.wbo	MSAT (TO)	112	1800.19	1796.7	2692096
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf9.ucl--soft-66-100-0.wbo	MSAT (TO)	1	1800.19	1733.18	2691710
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900576927--soft-66-100-0.wbo	MSAT (TO)	166	1800.19	1717.96	2692143
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224451--soft-33-100-0.wbo	MSAT (TO)	562	1800.19	1797.49	2692043
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900552423--soft-66-100-0.wbo	MSAT (TO)	219	1800.19	1726.29	2692288
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900573137--soft-66-100-0.wbo	MSAT (TO)	76	1800.19	1711.47	2692233
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900550006--soft-66-100-0.wbo	MSAT (TO)	289	1800.19	1722.18	2692137
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900579996--soft-66-100-0.wbo	MSAT (TO)	74	1800.2	1721.89	2692141
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900554072--soft-33-100-0.wbo	MSAT (TO)	198	1800.2	1691.27	2692209
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900568706--soft-66-100-0.wbo	MSAT (TO)	152	1800.2	1726.77	2691557
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900557574--soft-33-100-0.wbo	MSAT (TO)	135	1800.2	1693.4	2691568
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110971697--soft-33-100-0.wbo	MSAT (TO)	121	1800.2	1797.88	2691865
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900546417--soft-66-100-0.wbo	MSAT (TO)	112	1800.2	1726.5	2692105
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900546076--soft-66-100-0.wbo	MSAT (TO)	32	1800.2	1717.87	2692237
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.tag10.ucl--soft-66-100-0.wbo	MSAT (TO)	75	1800.2	1742.5	2691771
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567985--soft-66-100-0.wbo	MSAT (TO)	153	1800.2	1726.76	2691591
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110968094--soft-66-100-0.wbo	MSAT (TO)	226	1800.2	1797.42	2692095
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900551347--soft-33-100-0.wbo	MSAT (TO)	186	1800.21	1684.6	2692111
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900551864--soft-33-100-0.wbo	MSAT (TO)	70	1800.21	1687.21	2692157
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900554420--soft-33-100-0.wbo	MSAT (TO)	122	1800.21	1707.19	2692173
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900551864--soft-66-100-0.wbo	MSAT (TO)	97	1800.21	1730.17	2692175
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900583053--soft-33-100-0.wbo	MSAT (TO)	63	1800.21	1690.38	2692193
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900547389--soft-66-100-0.wbo	MSAT (TO)	190	1800.21	1723.39	2692197
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900558106--soft-33-100-0.wbo	MSAT (TO)	243	1800.21	1662.88	2692205
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900565534--soft-66-100-0.wbo	MSAT (TO)	140	1800.21	1721.18	2692225
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111219348--soft-66-100-0.wbo	MSAT (TO)	136	1800.21	1777.7	2692029
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110969170--soft-66-100-0.wbo	MSAT (TO)	265	1800.21	1798.19	2691887
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111213670--soft-66-100-0.wbo	MSAT (TO)	100	1800.21	1798.1	2691895
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900575442--soft-66-100-0.wbo	MSAT (TO)	103	1800.21	1713.68	2692263
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900556231--soft-66-100-0.wbo	MSAT (TO)	213	1800.21	1727.09	2692273
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111212923--soft-33-100-0.wbo	MSAT (TO)	608	1800.21	1796.41	2691926
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900552288--soft-33-100-0.wbo	MSAT (TO)	169	1800.21	1676.3	2691571
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.3.accl.ucl--soft-33-100-0.wbo	MSAT (TO)	126	1800.21	1707.39	2691670
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110966688--soft-66-100-0.wbo	MSAT (TO)	325	1800.21	1797.73	2691998
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110975965--soft-33-100-0.wbo	MSAT (TO)	433	1800.22	1797.3	2691909
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900571132--soft-66-100-0.wbo	MSAT (TO)	240	1800.22	1728.5	2691585
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900550720--soft-66-100-0.wbo	MSAT (TO)	133	1800.22	1734.5	2691562
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900584106--soft-66-100-0.wbo	MSAT (TO)	168	1800.22	1715.97	2692110
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110967523--soft-33-100-0.wbo	MSAT (TO)	389	1800.23	1797.09	2692065
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110968898--soft-33-100-0.wbo	MSAT (TO)	228	1800.23	1797.92	2691956
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900554072--soft-66-100-0.wbo	MSAT (TO)	106	1800.23	1729.98	2692114
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900571761--soft-33-100-0.wbo	MSAT (TO)	130	1800.23	1673.69	2692115
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110972763--soft-66-100-0.wbo	MSAT (TO)	271	1800.23	1797.93	2692101
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900576360--soft-33-100-0.wbo	MSAT (TO)	121	1800.23	1687.6	2692275
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900556231--soft-33-100-0.wbo	MSAT (TO)	124	1800.23	1717.47	2692117
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110978113--soft-33-100-0.wbo	MSAT (TO)	393	1800.24	1797.83	2692001
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111213670--soft-33-100-0.wbo	MSAT (TO)	636	1800.24	1797.92	2691893
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900669797--soft-33-100-0.wbo	MSAT (TO)	163	1800.24	1711.09	2692257
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900562192--soft-33-100-0.wbo	MSAT (TO)	35	1800.24	1695.91	2691582
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900553647--soft-33-100-0.wbo	MSAT (TO)	173	1800.24	1675.6	2692153
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110973670--soft-33-100-0.wbo	MSAT (TO)	441	1800.24	1797.35	2691906
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j605_1-unsat--soft-66-100-0.wbo	MSAT (TO)	99	1800.24	1746.31	2691857
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900570242--soft-33-100-0.wbo	MSAT (TO)	159	1800.25	1674	2692207
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900548667--soft-66-100-0.wbo	MSAT (TO)	64	1800.25	1716.07	2692267
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.8.accl.ucl--soft-66-100-0.wbo	MSAT (TO)	496	1800.25	1755.5	2691734
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900558739--soft-66-100-0.wbo	MSAT (TO)	150	1800.25	1718.98	2692171
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110976935--soft-66-100-0.wbo	MSAT (TO)	241	1800.25	1796.83	2691932
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900667195--soft-66-100-0.wbo	MSAT (TO)	111	1800.25	1705.88	2691552
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.tag12.ucl--soft-66-100-0.wbo	MSAT (TO)	43	1800.26	1750.5	2691651
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567135--soft-33-100-0.wbo	MSAT (TO)	217	1800.27	1703.39	2692189
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900584106--soft-33-100-0.wbo	MSAT (TO)	278	1800.27	1705.9	2692223
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218955--soft-33-100-0.wbo	MSAT (TO)	533	1800.27	1798.11	2692074
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111217392--soft-33-100-0.wbo	MSAT (TO)	220	1800.28	1797.37	2691975
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900582300--soft-33-100-0.wbo	MSAT (TO)	177	1800.28	1679.39	2692229
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111222539--soft-66-100-0.wbo	MSAT (TO)	136	1800.28	1796.44	2692039
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900576927--soft-33-100-0.wbo	MSAT (TO)	71	1800.28	1683.2	2692215
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.3.accl.ucl--soft-66-100-0.wbo	MSAT (TO)	130	1800.31	1714.52	2691660
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf10.ucl--soft-66-100-0.wbo	MSAT (TO)	74	1800.32	1736.81	2691784
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111212923--soft-66-100-0.wbo	MSAT (TO)	313	1800.32	1796.16	2692089
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111220546--soft-66-100-0.wbo	MSAT (TO)	100	1800.37	1796.88	2692047
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110969577--soft-33-100-0.wbo	MSAT (TO)	418	1800.39	1798.31	2691866
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224059--soft-33-100-0.wbo	MSAT (TO)	282	1800.41	1797.82	2692061
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110978113--soft-66-100-0.wbo	MSAT (TO)	158	1800.41	1796.69	2692082
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111225605--soft-33-100-0.wbo	MSAT (TO)	269	1800.42	1798.12	2692004
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111227012--soft-33-100-0.wbo	MSAT (TO)	346	1800.43	1797.63	2691892
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224255--soft-66-100-0.wbo	MSAT (TO)	322	1800.43	1798.22	2691965
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224929--soft-66-100-0.wbo	MSAT (TO)	337	1800.46	1797.54	2692091
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110969860--soft-66-100-0.wbo	MSAT (TO)	329	1800.49	1798.41	2691927
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218308--soft-66-100-0.wbo	MSAT (TO)	195	1800.49	1797.93	2691988
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110978334--soft-33-100-0.wbo	MSAT (TO)	471	1800.55	1797.95	2692025
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110976157--soft-33-100-0.wbo	MSAT (TO)	303	1800.62	1798.12	2691877
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111216411--soft-33-100-0.wbo	MSAT (TO)	300	1800.67	1797.84	2691929
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110975607--soft-66-100-0.wbo	MSAT (TO)	331	1800.67	1798.61	2692070
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110975607--soft-33-100-0.wbo	MSAT (TO)	453	1800.73	1797.6	2692087
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110967142--soft-66-100-0.wbo	MSAT (TO)	99	1800.74	1798.47	2691883
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218955--soft-66-100-0.wbo	MSAT (TO)	177	1800.75	1798.27	2691953
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111226680--soft-33-100-0.wbo	MSAT (TO)	445	1800.75	1798.25	2691890
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110970444--soft-33-100-0.wbo	MSAT (TO)	387	1800.8	1798.28	2692013
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110977273--soft-66-100-0.wbo	MSAT (TO)	324	1800.83	1797.85	2692102
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110967142--soft-33-100-0.wbo	MSAT (TO)	578	1800.99	1797.68	2691921
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111219799--soft-66-100-0.wbo	MSAT (TO)	164	1801.38	1798.37	2691889
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110974180--soft-33-100-0.wbo	MSAT (TO)	186	1801.47	1797.54	2691871
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110978334--soft-66-100-0.wbo	MSAT (TO)	98	1801.52	1796.06	2691925
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110973670--soft-66-100-0.wbo	MSAT (TO)	354	1802.03	1798.9	2691937
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111217555--soft-33-100-0.wbo	MSAT (TO)	601	1802.04	1798.6	2691873

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218757--soft-66-100-0.wbo	? (TO)	1800.06	1795.15	2691982
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-101-100--soft-66-100-0.wbo	? (TO)	1800.07	1773.56	2691812
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110977780--soft-66-100-0.wbo	? (TO)	1800.1	1793.49	2692072
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111226062--soft-66-100-0.wbo	? (TO)	1800.11	1797.07	2691968
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110974180--soft-66-100-0.wbo	? (TO)	1800.13	1794.75	2691913
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110976730--soft-66-100-0.wbo	? (TO)	1800.13	1797.49	2692021
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-95-90--soft-66-100-0.wbo	? (TO)	1800.14	1755.15	2691854
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111227861--soft-66-100-0.wbo	? (TO)	1800.15	1795.07	2691886
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j605_10-unsat--soft-33-100-0.wbo	? (TO)	1800.15	1718.19	2691853
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j605_10-unsat--soft-66-100-0.wbo	? (TO)	1800.15	1722.26	2691851
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218024--soft-66-100-0.wbo	? (TO)	1800.16	1797.77	2691880
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-myciel5g-5_wcsp.wbo	? (TO)	1800.16	1721.79	2700571
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111222257--soft-66-100-0.wbo	? (TO)	1800.18	1796.06	2691967
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-langford-3-11_wcsp.wbo	? (TO)	1800.19	1703.07	2699623
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j3029_8-unsat--soft-66-100-0.wbo	? (TO)	1800.19	1719.67	2691792
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-105-100--soft-66-100-0.wbo	? (TO)	1800.19	1773.88	2691804
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900564824--soft-66-100-0.wbo	? (TO)	1800.2	1719.58	2692107
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111212272--soft-66-100-0.wbo	? (TO)	1800.22	1797.9	2691941
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110973364--soft-66-100-0.wbo	? (TO)	1800.25	1793.84	2692076
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900552735--soft-66-100-0.wbo	? (TO)	1800.29	1730.71	2692253
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110976157--soft-66-100-0.wbo	? (TO)	1800.45	1797.1	2691947

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
/PARTIAL-SMALLINT-LIN/wcsp/spot5/ normalized-spot5-8_wcsp.wbo	Wrong UNSAT	0.145977	0.147249	2700463
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-warehouse0_wcsp.wbo	Wrong UNSAT	0.157975	0.155281	2699587
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-15-10--soft-66-100-0.wbo	Wrong UNSAT	0.159975	0.153533	2691795
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl10_15_pb.cnf.cr--soft-66-100-0.wbo	Wrong UNSAT	0.179971	0.152618	2691752
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-geom40-2_wcsp.wbo	Wrong UNSAT	0.179972	0.148621	2700547
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl10_20_pb.cnf.cr--soft-66-100-0.wbo	Wrong UNSAT	0.199969	0.204678	2691715
/PARTIAL-SMALLINT-LIN/wcsp/spot5/ normalized-spot5-54_wcsp.wbo	Wrong UNSAT	0.25196	0.20322	2700475
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl15_25_pb.cnf.cr--soft-66-100-0.wbo	Wrong UNSAT	0.264959	0.207524	2691758
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-8wqueens_wcsp.wbo	Wrong UNSAT	0.265958	0.210204	2699515
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-geom30a-4_wcsp.wbo	Wrong UNSAT	0.282956	0.254058	2700607
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl20_30_pb.cnf.cr--soft-66-100-0.wbo	Wrong UNSAT	0.332949	0.256489	2691789
/PARTIAL-SMALLINT-LIN/wcsp/spot5/ normalized-spot5-404_wcsp.wbo	Wrong UNSAT	0.365943	0.25537	2700487
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-myciel5g-3_wcsp.wbo	Wrong UNSAT	0.509921	0.321495	2700595
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j308_1-unsat--soft-66-100-0.wbo	Wrong UNSAT	0.527919	0.307412	2691796
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j308_1-unsat--soft-33-100-0.wbo	Wrong UNSAT	0.534917	0.303458	2691818
/PARTIAL-SMALLINT-LIN/wcsp/pedigree/ normalized-simple_wcsp.wbo	Wrong UNSAT	0.594908	0.32217	2700511
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh302_wcsp.wbo	Wrong UNSAT	0.595909	0.327521	2699947
/PARTIAL-SMALLINT-LIN/wcsp/pedigree/ normalized-connell_wcsp.wbo	Wrong UNSAT	0.629903	0.3682	2700499
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois21_ext.wbo	Wrong UNSAT	0.696893	0.372187	2699707
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh307_wcsp.wbo	Wrong UNSAT	0.703892	0.368226	2700031
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh202_wcsp.wbo	Wrong UNSAT	0.711891	0.371999	2700007
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh08_wcsp.wbo	Wrong UNSAT	0.71689	0.368487	2700343
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh310_wcsp.wbo	Wrong UNSAT	0.71889	0.373751	2700427
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh304_wcsp.wbo	Wrong UNSAT	0.722889	0.369611	2700187
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh13_wcsp.wbo	Wrong UNSAT	0.728889	0.368763	2700331
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois20_ext.wbo	Wrong UNSAT	0.729888	0.370287	2699767
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois25_ext.wbo	Wrong UNSAT	0.730888	0.376157	2699875
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois22_ext.wbo	Wrong UNSAT	0.733887	0.370835	2699719
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j6010_2-unsat--soft-66-100-0.wbo	Wrong UNSAT	0.764883	0.419352	2691867
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh309_wcsp.wbo	Wrong UNSAT	0.769882	0.370976	2700163
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j6027_4-unsat--soft-33-100-0.wbo	Wrong UNSAT	0.769882	0.422436	2691904
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh211_wcsp.wbo	Wrong UNSAT	0.769882	0.369903	2700367
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j606_1-unsat--soft-33-100-0.wbo	Wrong UNSAT	0.771882	0.423734	2691885
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh215_wcsp.wbo	Wrong UNSAT	0.773882	0.418299	2700067
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache.inv8.ucl--soft-66-100-0.wbo	Wrong UNSAT	0.775881	0.420025	2691618
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/ normalized-j907_8-unsat--soft-66-100-0.wbo	Wrong UNSAT	0.803877	0.419997	2691830
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh305_wcsp.wbo	Wrong UNSAT	0.819875	0.479792	2700043
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh10_wcsp.wbo	Wrong UNSAT	0.824873	0.410869	2700319
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh09_wcsp.wbo	Wrong UNSAT	0.827873	0.409463	2700415
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois23_ext.wbo	Wrong UNSAT	0.830873	0.424302	2699791
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/ normalized-j9012_2-unsat--soft-66-100-0.wbo	Wrong UNSAT	0.841871	0.462218	2691827
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh14_wcsp.wbo	Wrong UNSAT	0.84687	0.412463	2699971
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh05_wcsp.wbo	Wrong UNSAT	0.84887	0.414578	2700439
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois28_ext.wbo	Wrong UNSAT	0.867867	0.501341	2699803
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois29_ext.wbo	Wrong UNSAT	0.868867	0.424858	2699731
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois27_ext.wbo	Wrong UNSAT	0.869867	0.426624	2699899
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j6033_2-unsat--soft-66-100-0.wbo	Wrong UNSAT	0.870867	0.460303	2691910
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois26_ext.wbo	Wrong UNSAT	0.873866	0.425333	2699755
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois24_ext.wbo	Wrong UNSAT	0.876865	0.437983	2699695
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh04_wcsp.wbo	Wrong UNSAT	0.884865	0.421874	2700019
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/ normalized-j9028_2-unsat--soft-66-100-0.wbo	Wrong UNSAT	0.885865	0.462669	2691847
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/ normalized-j9039_3-unsat--soft-66-100-0.wbo	Wrong UNSAT	0.892863	0.465503	2691832
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/ normalized-j9010_6-unsat--soft-66-100-0.wbo	Wrong UNSAT	0.892863	0.463833	2691825
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-tlan2.ucl--soft-66-100-0.wbo	Wrong UNSAT	0.90986	0.449748	2691608
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh203_wcsp.wbo	Wrong UNSAT	0.91186	0.419766	2700235
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-ssa0432-003_ext.wbo	Wrong UNSAT	0.97985	0.527858	2699827
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh19_wcsp.wbo	Wrong UNSAT	0.992848	0.478131	2700079
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh18_wcsp.wbo	Wrong UNSAT	0.995847	0.475929	2700103
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh11_wcsp.wbo	Wrong UNSAT	1.00684	0.465864	2700175
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh208_wcsp.wbo	Wrong UNSAT	1.03584	0.474033	2700151
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh219_wcsp.wbo	Wrong UNSAT	1.03984	0.475305	2700127
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh15_wcsp.wbo	Wrong UNSAT	1.04684	0.476004	2700115
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh303_wcsp.wbo	Wrong UNSAT	1.04684	0.474217	2700379
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh214_wcsp.wbo	Wrong UNSAT	1.04684	0.4778	2700139
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-pret60_75_ext.wbo	Wrong UNSAT	1.06184	0.473788	2699887
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh308_wcsp.wbo	Wrong UNSAT	1.06284	0.478863	2700247
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh06_wcsp.wbo	Wrong UNSAT	1.06684	0.473441	2700199
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-pret150_75_ext.wbo	Wrong UNSAT	1.09483	0.523889	2699863
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j301_4-unsat--soft-66-100-0.wbo	Wrong UNSAT	1.10783	0.527995	2691790
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-geom30a-5_wcsp.wbo	Wrong UNSAT	1.11683	0.535342	2700535
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-pret150_25_ext.wbo	Wrong UNSAT	1.12883	0.528727	2699743
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-pret150_40_ext.wbo	Wrong UNSAT	1.13483	0.533147	2699671
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh216_wcsp.wbo	Wrong UNSAT	1.15382	0.645475	2699983
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois30_ext.wbo	Wrong UNSAT	1.16382	0.527013	2699815
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-tlan2.ucl--soft-33-100-0.wbo	Wrong UNSAT	1.18082	0.552727	2691654
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-pret60_25_ext.wbo	Wrong UNSAT	1.22581	0.534257	2699635
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-16wqueens_wcsp.wbo	Wrong UNSAT	1.24681	0.643056	2699611
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-pret150_60_ext.wbo	Wrong UNSAT	1.25081	0.575343	2699923
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-pret60_60_ext.wbo	Wrong UNSAT	1.2868	0.99315	2699851
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois50_ext.wbo	Wrong UNSAT	1.3048	0.584914	2699683
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh306_wcsp.wbo	Wrong UNSAT	1.3198	0.576263	2700283
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-pret60_40_ext.wbo	Wrong UNSAT	1.34979	0.577345	2699839
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-bf2670-001_ext.wbo	Wrong UNSAT	1.42778	0.642612	2699647
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-dsjc125-1-4_wcsp.wbo	Wrong UNSAT	1.47777	0.680932	2700583
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-le450-5a-2_wcsp.wbo	Wrong UNSAT	1.73473	0.776241	2700619
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-6.ucl--soft-66-100-0.wbo	Wrong UNSAT	1.85172	0.749075	2691722
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-le450-5a-4_wcsp.wbo	Wrong UNSAT	1.88771	0.899794	2701663
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-8.ucl--soft-33-100-0.wbo	Wrong UNSAT	2.05969	0.840675	2691664
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-25s.smv--soft-66-100-0.wbo	Wrong UNSAT	2.22066	0.929534	2691642
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-bf0432-007_ext.wbo	Wrong UNSAT	2.27865	1.19824	2699779
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois100_ext.wbo	Wrong UNSAT	2.31965	0.921205	2699659
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-tlan3.ucl--soft-66-100-0.wbo	Wrong UNSAT	2.35064	1.10533	2691762
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-ssa2670-141_ext.wbo	Wrong UNSAT	2.36764	0.990484	2699911
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh16_wcsp.wbo	Wrong UNSAT	2.50762	1.04157	2700307
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j3041_4-unsat--soft-33-100-0.wbo	Wrong UNSAT	3.70044	1.5042	2691810
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j3041_4-unsat--soft-66-100-0.wbo	Wrong UNSAT	3.72243	1.66261	2691803
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j309_10-unsat--soft-66-100-0.wbo	Wrong UNSAT	10.0795	7.64645	2691799
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224059--soft-66-100-0.wbo	Wrong UNSAT	673.514	671.779	2691875

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.170973	0.150064	2691759
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-11-10--soft-33-100-0.wbo	Wrong Opt.	7	0.198969	0.15184	2691793
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-15-10--soft-33-100-0.wbo	Wrong Opt.	56	0.207967	0.20643	2691809
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl10_11_pb.cnf.cr--soft-66-100-0.wbo	Wrong Opt.	71	0.219965	0.201873	2691750
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl10_11_pb.cnf.cr--soft-33-100-0.wbo	Wrong Opt.	31	0.224965	0.203907	2691763
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-4.ucl--soft-66-100-0.wbo	Wrong Opt.	57	0.25796	0.201267	2691774
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-4.ucl--soft-33-100-0.wbo	Wrong Opt.	91	0.261959	0.202653	2691698
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-3.ucl--soft-66-100-0.wbo	Wrong Opt.	48	0.282956	0.208119	2691683
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl10_15_pb.cnf.cr--soft-33-100-0.wbo	Wrong Opt.	366	0.282956	0.216977	2691709
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-3.ucl--soft-33-100-0.wbo	Wrong Opt.	91	0.351945	0.25874	2691648
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl15_16_pb.cnf.cr--soft-66-100-0.wbo	Wrong Opt.	35	0.356945	0.253844	2691700
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl15_16_pb.cnf.cr--soft-33-100-0.wbo	Wrong Opt.	15	0.401938	0.264296	2691747
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl10_20_pb.cnf.cr--soft-33-100-0.wbo	Wrong Opt.	733	0.412937	0.271758	2691783
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-25-20--soft-66-100-0.wbo	Wrong Opt.	238	0.415936	0.261067	2691801
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-25-20--soft-33-100-0.wbo	Wrong Opt.	36	0.51992	0.32342	2691840
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl15_20_pb.cnf.cr--soft-66-100-0.wbo	Wrong Opt.	378	0.534917	0.319972	2691751
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl15_20_pb.cnf.cr--soft-33-100-0.wbo	Wrong Opt.	271	0.562913	0.32223	2691770
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-35-30--soft-66-100-0.wbo	Wrong Opt.	98	0.656899	0.375409	2691844
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl20_21_pb.cnf.cr--soft-33-100-0.wbo	Wrong Opt.	8	0.660898	0.375527	2691767
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl20_21_pb.cnf.cr--soft-66-100-0.wbo	Wrong Opt.	10	0.683895	0.372788	2691712
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl15_25_pb.cnf.cr--soft-33-100-0.wbo	Wrong Opt.	559	0.684895	0.373836	2691755
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-31-30--soft-66-100-0.wbo	Wrong Opt.	14	0.814875	0.426459	2691798
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-35-30--soft-33-100-0.wbo	Wrong Opt.	71	0.944855	0.475877	2691791
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf7.ucl--soft-66-100-0.wbo	Wrong Opt.	30	1.07184	0.525087	2691756
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl20_25_pb.cnf.cr--soft-66-100-0.wbo	Wrong Opt.	197	1.14882	0.53361	2691730
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl20_25_pb.cnf.cr--soft-33-100-0.wbo	Wrong Opt.	231	1.16782	0.530462	2691703
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-55-50--soft-66-100-0.wbo	Wrong Opt.	67	1.38179	0.726452	2691802
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-55-50--soft-33-100-0.wbo	Wrong Opt.	58	1.40379	0.675126	2691826
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-44s.smv--soft-66-100-0.wbo	Wrong Opt.	26	1.43178	0.630173	2691782
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl30_40_pb.cnf.cr--soft-66-100-0.wbo	Wrong Opt.	617	1.45978	0.726514	2691745
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl30_40_pb.cnf.cr--soft-33-100-0.wbo	Wrong Opt.	432	1.49677	0.721039	2691746
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl20_30_pb.cnf.cr--soft-33-100-0.wbo	Wrong Opt.	513	1.59976	0.699215	2691742
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl40_41_pb.cnf.cr--soft-33-100-0.wbo	Wrong Opt.	6	1.60976	0.885251	2691744
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl30_35_pb.cnf.cr--soft-33-100-0.wbo	Wrong Opt.	122	1.69474	0.749935	2691764
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl35_45_pb.cnf.cr--soft-33-100-0.wbo	Wrong Opt.	281	1.73173	0.98649	2691787
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-51-50--soft-66-100-0.wbo	Wrong Opt.	3	1.78373	1.0909	2691863
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl30_35_pb.cnf.cr--soft-66-100-0.wbo	Wrong Opt.	251	1.82172	0.85246	2691724
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j602_7-unsat--soft-33-100-0.wbo	Wrong Opt.	30	1.9547	0.982954	2691864
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-45-40--soft-66-100-0.wbo	Wrong Opt.	98	1.9657	1.29216	2691819
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-7.ucl--soft-66-100-0.wbo	Wrong Opt.	44	1.9947	0.83098	2691615
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf7.ucl--soft-33-100-0.wbo	Wrong Opt.	3	2.04869	0.840268	2691701
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl30_31_pb.cnf.cr--soft-66-100-0.wbo	Wrong Opt.	28	2.09568	0.905508	2691781
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-45-40--soft-33-100-0.wbo	Wrong Opt.	58	2.10668	1.51967	2691829
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-37s.smv--soft-66-100-0.wbo	Wrong Opt.	6	2.13967	0.894605	2691645
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j301_4-unsat--soft-33-100-0.wbo	Wrong Opt.	27	2.25566	0.98347	2691807
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-8.ucl--soft-66-100-0.wbo	Wrong Opt.	18	2.26965	0.907222	2691713
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl35_45_pb.cnf.cr--soft-66-100-0.wbo	Wrong Opt.	568	2.30565	1.16691	2691768
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j606_1-unsat--soft-66-100-0.wbo	Wrong Opt.	85	2.43763	1.04732	2691894
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl35_40_pb.cnf.cr--soft-33-100-0.wbo	Wrong Opt.	101	2.45562	1.24791	2691753
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j602_7-unsat--soft-66-100-0.wbo	Wrong Opt.	35	2.50562	0.999024	2691861
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/ normalized-j903_10-unsat--soft-66-100-0.wbo	Wrong Opt.	81	2.6506	1.24464	2691839
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache.inv8.ucl--soft-33-100-0.wbo	Wrong Opt.	8	2.67759	1.10889	2691728
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j3046_4-unsat--soft-33-100-0.wbo	Wrong Opt.	46	2.68859	1.10188	2691816
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j6010_2-unsat--soft-33-100-0.wbo	Wrong Opt.	73	2.74558	1.24501	2691858
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-37s.smv--soft-33-100-0.wbo	Wrong Opt.	2	2.86556	1.11042	2691779
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j3046_4-unsat--soft-66-100-0.wbo	Wrong Opt.	9	2.88056	1.14422	2691794
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf6.ucl--soft-66-100-0.wbo	Wrong Opt.	29	2.90956	1.24357	2691639
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf6.ucl--soft-33-100-0.wbo	Wrong Opt.	2	2.93255	1.14121	2691657
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl40_50_pb.cnf.cr--soft-33-100-0.wbo	Wrong Opt.	401	2.95755	1.71605	2691727
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl50_55_pb.cnf.cr--soft-33-100-0.wbo	Wrong Opt.	72	2.95855	1.78371	2691733
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/ normalized-j9015_10-unsat--soft-66-100-0.wbo	Wrong Opt.	46	2.99154	1.40679	2691849
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf8.ucl--soft-66-100-0.wbo	Wrong Opt.	4	3.00154	1.29859	2691777
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-2.ucl--soft-33-100-0.wbo	Wrong Opt.	9	3.09953	1.24582	2691630
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl40_45_pb.cnf.cr--soft-33-100-0.wbo	Wrong Opt.	95	3.2685	1.9802	2691739
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j6030_9-unsat--soft-66-100-0.wbo	Wrong Opt.	62	3.34549	1.58174	2691878
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl50_51_pb.cnf.cr--soft-33-100-0.wbo	Wrong Opt.	6	3.37849	2.29237	2691766
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl35_36_pb.cnf.cr--soft-66-100-0.wbo	Wrong Opt.	9	3.48247	1.92423	2691773
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-6.ucl--soft-33-100-0.wbo	Wrong Opt.	7	3.52346	1.40445	2691769
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf8.ucl--soft-33-100-0.wbo	Wrong Opt.	4	3.57746	1.71535	2691673
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache.inv10.ucl--soft-66-100-0.wbo	Wrong Opt.	19	4.09138	2.09344	2691707
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl35_40_pb.cnf.cr--soft-66-100-0.wbo	Wrong Opt.	214	4.10538	2.65343	2691778
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-46s.smv--soft-66-100-0.wbo	Wrong Opt.	9	4.68429	2.54511	2691719
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-7.ucl--soft-33-100-0.wbo	Wrong Opt.	95	4.77327	1.87383	2691612
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-25s.smv--soft-33-100-0.wbo	Wrong Opt.	37	4.93425	2.4465	2691598
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl40_45_pb.cnf.cr--soft-66-100-0.wbo	Wrong Opt.	174	5.06023	3.6458	2691748
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl50_60_pb.cnf.cr--soft-33-100-0.wbo	Wrong Opt.	308	5.31819	4.11045	2691743
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.tag8.ucl--soft-33-100-0.wbo	Wrong Opt.	12	5.47417	3.44496	2691737
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl40_50_pb.cnf.cr--soft-66-100-0.wbo	Wrong Opt.	561	6.13507	4.88883	2691721
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-75-70--soft-33-100-0.wbo	Wrong Opt.	19	7.41987	6.03444	2691862
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf7.ucl--soft-66-100-0.wbo	Wrong Opt.	21	7.64984	5.24975	2691740
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-65-60--soft-33-100-0.wbo	Wrong Opt.	52	7.77482	6.29749	2691835
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-43s.smv--soft-33-100-0.wbo	Wrong Opt.	2	8.08977	5.41234	2691636
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-91-90--soft-33-100-0.wbo	Wrong Opt.	5	9.00463	7.90778	2691859
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-46s.smv--soft-33-100-0.wbo	Wrong Opt.	4	9.50955	7.08282	2691689
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-101-100--soft-33-100-0.wbo	Wrong Opt.	5	10.7294	9.79232	2691822
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-43s.smv--soft-66-100-0.wbo	Wrong Opt.	5	11.4313	8.68951	2691667
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-85-80--soft-33-100-0.wbo	Wrong Opt.	67	12.0442	10.9739	2691846
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-65-60--soft-66-100-0.wbo	Wrong Opt.	67	12.1162	10.5624	2691841
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf8.ucl--soft-33-100-0.wbo	Wrong Opt.	2	13.6529	11.2298	2691754
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110966483--soft-33-100-0.wbo	Wrong Opt.	2	17.8853	16.0687	2691881
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-95-90--soft-33-100-0.wbo	Wrong Opt.	67	22.9645	21.6878	2691856
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-105-100--soft-33-100-0.wbo	Wrong Opt.	19	28.7246	27.4627	2691837
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl50_51_pb.cnf.cr--soft-66-100-0.wbo	Wrong Opt.	24	36.0395	33.9564	2691706
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl50_60_pb.cnf.cr--soft-66-100-0.wbo	Wrong Opt.	720	41.8976	39.4265	2691776
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-75-70--soft-66-100-0.wbo	Wrong Opt.	89	42.7345	40.7868	2691833
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-dlx1c.rwmem.ucl--soft-66-100-0.wbo	Wrong Opt.	2	51.5372	48.9378	2691605
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.4.accl.ucl--soft-66-100-0.wbo	Wrong Opt.	8	54.3467	49.9778	2691695
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-dlx1c.ucl--soft-33-100-0.wbo	Wrong Opt.	2	58.3611	56.1015	2691621
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/ normalized-j9014_1-unsat--soft-66-100-0.wbo	Wrong Opt.	37	72.6989	68.5908	2691820
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.tag10.ucl--soft-33-100-0.wbo	Wrong Opt.	7	91.821	89.0143	2691633
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-81-80--soft-66-100-0.wbo	Wrong Opt.	3	102.209	99.3695	2691850
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl50_55_pb.cnf.cr--soft-66-100-0.wbo	Wrong Opt.	280	168.094	163.914	2691718
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111216411--soft-66-100-0.wbo	Wrong Opt.	100	272.876	269.383	2691905
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-85-80--soft-66-100-0.wbo	Wrong Opt.	64	377.977	371.161	2691823
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache.inv10.ucl--soft-33-100-0.wbo	Wrong Opt.	28	393.226	387.44	2691601
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j309_10-unsat--soft-33-100-0.wbo	Wrong Opt.	92	646.032	637.204	2691813
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111220767--soft-66-100-0.wbo	Wrong Opt.	123	668.024	663.682	2691976

Benchmark Name	Answer	cost of falsified constraints	CPU time	Wall clock time	TraceID
/SOFT-BIGINT-LIN/PB10/oliveras/j60/ normalized-j605_1-unsat--soft-0-100-0.wbo	MSAT (TO)	5138	1800.16	1777.37	2692038
/SOFT-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-cache.inv10.ucl--soft-0-100-0.wbo	MSAT (TO)	1663	1800.18	1773.38	2691920
/SOFT-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-dlx1c.rwmem1.ucl--soft-0-100-0.wbo	MSAT (TO)	695	1800.19	1771.79	2691936
/SOFT-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12015_3-unsat--soft-0-100-0.wbo	MSAT (TO)	5365	1800.21	1785.69	2691994
/SOFT-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-tlan3.ucl--soft-0-100-0.wbo	MSAT (TO)	1108	1800.23	1778.61	2691930
/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.23	1785.5	2691963
/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.8.accl.ucl--soft-0-100-0.wbo	MSAT (TO)	224	1800.24	1781.6	2691980
/SOFT-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-cache.inv14.ucl--soft-0-100-0.wbo	MSAT (TO)	2444	1800.25	1787.8	2691933
/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.tag14.ucl--soft-0-100-0.wbo	MSAT (TO)	3048	1800.25	1788.11	2691977
/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf10.ucl--soft-0-100-0.wbo	MSAT (TO)	217	1800.25	1770.72	2691938
/SOFT-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12013_1-unsat--soft-0-100-0.wbo	MSAT (TO)	6532	1800.25	1790.72	2692002
/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf10.ucl--soft-0-100-0.wbo	MSAT (TO)	3113	1800.26	1788.59	2691951
/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Ic22arity.ucl--soft-0-100-0.wbo	MSAT (TO)	1539	1800.26	1782.72	2691942
/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Icl2arity.ucl--soft-0-100-0.wbo	MSAT (TO)	878	1800.27	1778.82	2691978
/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.tag12.ucl--soft-0-100-0.wbo	MSAT (TO)	1199	1800.28	1782.38	2691948
/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.ex.mem.LdValue.ucl--soft-0-100-0.wbo	MSAT (TO)	2178	1800.28	1788.5	2691945
/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.unbounded.all.ucl--soft-0-100-0.wbo	MSAT (TO)	3056	1800.28	1781.64	2691922
/SOFT-BIGINT-LIN/PB10/oliveras/j60/ normalized-j605_10-unsat--soft-0-100-0.wbo	MSAT (TO)	2051	1800.28	1777.8	2692036
/SOFT-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-cache.inv12.ucl--soft-0-100-0.wbo	MSAT (TO)	518	1800.28	1775.3	2691954
/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-full.all.ucl--soft-0-100-0.wbo	MSAT (TO)	1057	1800.29	1796.19	2691974
/SOFT-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12027_7-unsat--soft-0-100-0.wbo	MSAT (TO)	5392	1800.3	1788.12	2691989
/SOFT-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12041_4-unsat--soft-0-100-0.wbo	MSAT (TO)	222	1800.31	1786.8	2691986
/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf9.ucl--soft-0-100-0.wbo	MSAT (TO)	393	1800.32	1767.61	2691960
/SOFT-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12026_5-unsat--soft-0-100-0.wbo	MSAT (TO)	7084	1800.32	1794.41	2691999
/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl--soft-0-100-0.wbo	MSAT (TO)	1856	1800.33	1791.23	2691917

Benchmark Name	Answer	cost of falsified constraints	CPU time	Wall clock time	TraceID
/SOFT-BIGINT-LIN/PB10/oliveras/j60/ normalized-j603_2-unsat--soft-0-100-0.wbo	Wrong Opt.	91	2.86356	1.51588	2692028
/SOFT-BIGINT-LIN/PB10/oliveras/j60/ normalized-j6027_4-unsat--soft-0-100-0.wbo	Wrong Opt.	12	2.90156	1.45337	2692032
/SOFT-BIGINT-LIN/PB10/oliveras/j60/ normalized-j6010_2-unsat--soft-0-100-0.wbo	Wrong Opt.	71	2.95055	1.47176	2692026
/SOFT-BIGINT-LIN/PB10/oliveras/j90/ normalized-j907_8-unsat--soft-0-100-0.wbo	Wrong Opt.	94	3.74743	2.03074	2692016
/SOFT-BIGINT-LIN/PB10/oliveras/j90/ normalized-j903_10-unsat--soft-0-100-0.wbo	Wrong Opt.	14	3.87841	2.1425	2692022
/SOFT-BIGINT-LIN/PB10/oliveras/j60/ normalized-j6033_2-unsat--soft-0-100-0.wbo	Wrong Opt.	35	3.9434	2.34903	2692034
/SOFT-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9012_2-unsat--soft-0-100-0.wbo	Wrong Opt.	49	4.16237	2.49555	2692012
/SOFT-BIGINT-LIN/PB10/oliveras/j60/ normalized-j606_1-unsat--soft-0-100-0.wbo	Wrong Opt.	71	4.21236	1.81819	2692040
/SOFT-BIGINT-LIN/PB10/oliveras/j60/ normalized-j6030_9-unsat--soft-0-100-0.wbo	Wrong Opt.	96	4.27535	2.40262	2692030
/SOFT-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9028_2-unsat--soft-0-100-0.wbo	Wrong Opt.	25	4.38033	2.67261	2692005
/SOFT-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9015_10-unsat--soft-0-100-0.wbo	Wrong Opt.	87	4.5923	2.71485	2692014
/SOFT-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9048_1-unsat--soft-0-100-0.wbo	Wrong Opt.	91	4.87326	3.11794	2692020
/SOFT-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9039_3-unsat--soft-0-100-0.wbo	Wrong Opt.	98	5.14922	3.23913	2692010
/SOFT-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9010_6-unsat--soft-0-100-0.wbo	Wrong Opt.	43	5.30719	3.53689	2692018
/SOFT-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9014_1-unsat--soft-0-100-0.wbo	Wrong Opt.	11	5.67414	3.50293	2692024
/SOFT-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9035_1-unsat--soft-0-100-0.wbo	Wrong Opt.	21	6.18606	4.08132	2692008
/SOFT-BIGINT-LIN/PB10/oliveras/j120/ normalized-j1205_1-unsat--soft-0-100-0.wbo	Wrong Opt.	40	7.29989	5.10756	2691991
/SOFT-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12023_3-unsat--soft-0-100-0.wbo	Wrong Opt.	64	8.09077	5.94892	2691983
/SOFT-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-dlx1c.rwmem.ucl--soft-0-100-0.wbo	Wrong Opt.	2	571.864	563.223	2691928
/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.tag10.ucl--soft-0-100-0.wbo	Wrong Opt.	10	616.71	606.031	2691957

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

Result page for solver SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete)

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

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

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

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

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

Solver timed out (no solution given) (6 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 (197 runs) [Show/Hide]

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

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

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

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

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

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

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

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

Solver found the best solution (1 run) [Show/Hide]

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

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

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

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

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

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

Benchmark Name	Answer	cost of falsified constraints	CPU time	Wall clock time	TraceID
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-11-10--soft-0-100-0.wbo	OPTIMUM	1	0.196969	0.204882	2692134
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-21-20--soft-0-100-0.wbo	OPTIMUM	1	0.32495	0.256179	2692130
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-31-30--soft-0-100-0.wbo	OPTIMUM	1	0.673897	0.37317	2692128
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-41-40--soft-0-100-0.wbo	OPTIMUM	1	0.971851	0.518043	2692086
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl30_31_pb.cnf.cr--soft-0-100-0.wbo	OPTIMUM	5	1.3148	0.621419	2692069
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-51-50--soft-0-100-0.wbo	OPTIMUM	1	1.45278	0.778192	2692144
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl40_41_pb.cnf.cr--soft-0-100-0.wbo	OPTIMUM	5	1.53077	0.88235	2692081
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl35_36_pb.cnf.cr--soft-0-100-0.wbo	OPTIMUM	5	2.04269	0.857688	2692079
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf6.ucl--soft-0-100-0.wbo	OPTIMUM	1	3.13652	1.19444	2691952
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-46s.smv--soft-0-100-0.wbo	OPTIMUM	1	4.04239	1.66103	2691981
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-71-70--soft-0-100-0.wbo	OPTIMUM	1	4.18736	3.38052	2692127
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-81-80--soft-0-100-0.wbo	OPTIMUM	1	6.03408	5.14559	2692146
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf7.ucl--soft-0-100-0.wbo	OPTIMUM	1	6.96794	4.57641	2691821
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.tag8.ucl--soft-0-100-0.wbo	OPTIMUM	1	11.7642	9.26102	2691800
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-101-100--soft-0-100-0.wbo	OPTIMUM	1	13.319	12.3242	2692148
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.4.accl.ucl--soft-0-100-0.wbo	OPTIMUM	1	24.7732	21.8975	2691961
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-22s.smv--soft-0-100-0.wbo	OPTIMUM	1	30.0444	27.0912	2691931
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf8.ucl--soft-0-100-0.wbo	OPTIMUM	1	102.355	99.2232	2691918
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.2.accl.ucl--soft-0-100-0.wbo	OPTIMUM	1	354.825	340.432	2691946

Benchmark Name	Answer	cost of falsified constraints	CPU time	Wall clock time	TraceID
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111213868--soft-0-100-0.wbo	MSAT (TO)	575	1800.07	1796.75	2692250
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111221624--soft-0-100-0.wbo	MSAT (TO)	7	1800.08	1792.36	2692188
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111213670--soft-0-100-0.wbo	MSAT (TO)	768	1800.08	1797.94	2692240
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110967142--soft-0-100-0.wbo	MSAT (TO)	116	1800.08	1797.35	2692270
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110966688--soft-0-100-0.wbo	MSAT (TO)	307	1800.09	1796.57	2692224
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110972763--soft-0-100-0.wbo	MSAT (TO)	162	1800.09	1794.16	2692246
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110975607--soft-0-100-0.wbo	MSAT (TO)	531	1800.09	1797.24	2692244
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900551347--soft-0-100-0.wbo	MSAT (TO)	259	1800.09	1687.07	2691609
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110976935--soft-0-100-0.wbo	MSAT (TO)	30	1800.1	1797.66	2692184
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110966483--soft-0-100-0.wbo	MSAT (TO)	624	1800.1	1797.74	2692234
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111220019--soft-0-100-0.wbo	MSAT (TO)	332	1800.1	1797.38	2692238
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111225605--soft-0-100-0.wbo	MSAT (TO)	406	1800.1	1798.05	2692289
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900582300--soft-0-100-0.wbo	MSAT (TO)	192	1800.11	1677.59	2691690
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111217392--soft-0-100-0.wbo	MSAT (TO)	206	1800.11	1798.14	2692174
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111212923--soft-0-100-0.wbo	MSAT (TO)	669	1800.11	1797.39	2692176
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110974372--soft-0-100-0.wbo	MSAT (TO)	568	1800.11	1797.84	2692204
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900550006--soft-0-100-0.wbo	MSAT (TO)	363	1800.12	1668.09	2691606
/SOFT-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j309_10-unsat--soft-0-100-0.wbo	MSAT (TO)	1044	1800.12	1759.77	2691984
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111220546--soft-0-100-0.wbo	MSAT (TO)	694	1800.12	1797.66	2692236
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111216411--soft-0-100-0.wbo	MSAT (TO)	64	1800.12	1797.49	2692162
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110970631--soft-0-100-0.wbo	MSAT (TO)	258	1800.13	1798.27	2692212
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110969577--soft-0-100-0.wbo	MSAT (TO)	269	1800.13	1798.27	2692206
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110974180--soft-0-100-0.wbo	MSAT (TO)	49	1800.13	1795.77	2692216
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110973364--soft-0-100-0.wbo	MSAT (TO)	650	1800.13	1797.87	2692172
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218024--soft-0-100-0.wbo	MSAT (TO)	421	1800.13	1797.88	2692232
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111225122--soft-0-100-0.wbo	MSAT (TO)	521	1800.13	1797.87	2692218
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111219348--soft-0-100-0.wbo	MSAT (TO)	589	1800.14	1795.45	2692274
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111227012--soft-0-100-0.wbo	MSAT (TO)	577	1800.14	1797.87	2692287
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900583053--soft-0-100-0.wbo	MSAT (TO)	134	1800.14	1704.38	2691780
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110968898--soft-0-100-0.wbo	MSAT (TO)	10	1800.14	1797.44	2692242
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900557574--soft-0-100-0.wbo	MSAT (TO)	409	1800.14	1648.07	2691569
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111223004--soft-0-100-0.wbo	MSAT (TO)	525	1800.14	1798.16	2692166
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111226062--soft-0-100-0.wbo	MSAT (TO)	613	1800.14	1797.89	2692208
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111228076--soft-0-100-0.wbo	MSAT (TO)	422	1800.15	1797.64	2692260
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110973670--soft-0-100-0.wbo	MSAT (TO)	731	1800.15	1796.81	2692280
/SOFT-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j3029_8-unsat--soft-0-100-0.wbo	MSAT (TO)	1079	1800.15	1769.66	2692000
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111226680--soft-0-100-0.wbo	MSAT (TO)	49	1800.15	1797.35	2692186
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110970444--soft-0-100-0.wbo	MSAT (TO)	548	1800.15	1798.26	2692202
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900544484--soft-0-100-0.wbo	MSAT (TO)	195	1800.15	1681.89	2691646
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900670234--soft-0-100-0.wbo	MSAT (TO)	204	1800.15	1710.59	2691613
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900553647--soft-0-100-0.wbo	MSAT (TO)	307	1800.15	1663.59	2691583
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110968094--soft-0-100-0.wbo	MSAT (TO)	594	1800.16	1797.76	2692222
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900563801--soft-0-100-0.wbo	MSAT (TO)	188	1800.16	1661.88	2691671
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110977273--soft-0-100-0.wbo	MSAT (TO)	494	1800.16	1797.98	2692210
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111222257--soft-0-100-0.wbo	MSAT (TO)	622	1800.16	1797.86	2692200
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111220767--soft-0-100-0.wbo	MSAT (TO)	814	1800.16	1797.86	2692194
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111223220--soft-0-100-0.wbo	MSAT (TO)	553	1800.16	1797.88	2692258
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-dlx1c.ucl--soft-0-100-0.wbo	MSAT (TO)	1516	1800.16	1766.87	2691898
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900670167--soft-0-100-0.wbo	MSAT (TO)	387	1800.16	1648.69	2691741
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900569834--soft-0-100-0.wbo	MSAT (TO)	200	1800.16	1680.1	2691757
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900563250--soft-0-100-0.wbo	MSAT (TO)	141	1800.16	1677.99	2691649
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900559676--soft-0-100-0.wbo	MSAT (TO)	276	1800.17	1676.98	2691714
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110976157--soft-0-100-0.wbo	MSAT (TO)	127	1800.17	1797.58	2692264
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900670675--soft-0-100-0.wbo	MSAT (TO)	308	1800.17	1676.29	2691680
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110967729--soft-0-100-0.wbo	MSAT (TO)	20	1800.17	1770.9	2692164
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900575442--soft-0-100-0.wbo	MSAT (TO)	226	1800.17	1675.68	2691696
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900573901--soft-0-100-0.wbo	MSAT (TO)	270	1800.17	1664.7	2691732
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900567024--soft-0-100-0.wbo	MSAT (TO)	312	1800.17	1686.97	2691619
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900552288--soft-0-100-0.wbo	MSAT (TO)	477	1800.17	1689.72	2691592
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110967523--soft-0-100-0.wbo	MSAT (TO)	635	1800.17	1796.81	2692214
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900561288--soft-0-100-0.wbo	MSAT (TO)	220	1800.18	1675.32	2691668
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900576151--soft-0-100-0.wbo	MSAT (TO)	298	1800.18	1672.99	2691738
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900577940--soft-0-100-0.wbo	MSAT (TO)	249	1800.18	1667.39	2691720
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900552735--soft-0-100-0.wbo	MSAT (TO)	237	1800.18	1661.08	2691684
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900554420--soft-0-100-0.wbo	MSAT (TO)	306	1800.18	1692.11	2691665
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900556231--soft-0-100-0.wbo	MSAT (TO)	387	1800.18	1672.01	2691628
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900567135--soft-0-100-0.wbo	MSAT (TO)	321	1800.18	1673.58	2691625
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111222539--soft-0-100-0.wbo	MSAT (TO)	484	1800.18	1797.38	2692291
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111227861--soft-0-100-0.wbo	MSAT (TO)	597	1800.18	1797.51	2692190
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900568706--soft-0-100-0.wbo	MSAT (TO)	335	1800.19	1672.79	2691586
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900562192--soft-0-100-0.wbo	MSAT (TO)	186	1800.19	1682.18	2691595
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900551864--soft-0-100-0.wbo	MSAT (TO)	382	1800.19	1679.8	2691566
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900584219--soft-0-100-0.wbo	MSAT (TO)	325	1800.19	1672.47	2691775
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900545610--soft-0-100-0.wbo	MSAT (TO)	188	1800.19	1661.59	2691717
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900574864--soft-0-100-0.wbo	MSAT (TO)	352	1800.2	1687.4	2691637
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110969860--soft-0-100-0.wbo	MSAT (TO)	296	1800.2	1797.79	2692168
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900570242--soft-0-100-0.wbo	MSAT (TO)	225	1800.2	1678.27	2691735
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900546076--soft-0-100-0.wbo	MSAT (TO)	426	1800.2	1668.59	2691708
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900565534--soft-0-100-0.wbo	MSAT (TO)	169	1800.2	1674.3	2691661
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900546417--soft-0-100-0.wbo	MSAT (TO)	266	1800.2	1693.41	2691652
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900553812--soft-0-100-0.wbo	MSAT (TO)	325	1800.2	1683.88	2691640
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900564281--soft-0-100-0.wbo	MSAT (TO)	345	1800.21	1670.71	2691772
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900576927--soft-0-100-0.wbo	MSAT (TO)	98	1800.21	1650.7	2691634
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900579996--soft-0-100-0.wbo	MSAT (TO)	204	1800.21	1689.88	2691693
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218955--soft-0-100-0.wbo	MSAT (TO)	675	1800.21	1798.12	2691555
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900557362--soft-0-100-0.wbo	MSAT (TO)	411	1800.22	1679.81	2691729
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218757--soft-0-100-0.wbo	MSAT (TO)	308	1800.22	1797.13	2692276
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900547389--soft-0-100-0.wbo	MSAT (TO)	365	1800.22	1668.39	2691578
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900564824--soft-0-100-0.wbo	MSAT (TO)	163	1800.22	1694.09	2691589
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900584106--soft-0-100-0.wbo	MSAT (TO)	227	1800.22	1664.29	2691674
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900557957--soft-0-100-0.wbo	MSAT (TO)	397	1800.22	1655.12	2691687
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900548667--soft-0-100-0.wbo	MSAT (TO)	92	1800.22	1682.52	2691699
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111217555--soft-0-100-0.wbo	MSAT (TO)	533	1800.22	1797.79	2692160
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900667195--soft-0-100-0.wbo	MSAT (TO)	333	1800.22	1639.82	2691711
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900576360--soft-0-100-0.wbo	MSAT (TO)	282	1800.22	1679.19	2691726
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.3.accl.ucl--soft-0-100-0.wbo	MSAT (TO)	270	1800.22	1765.51	2691943
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900568186--soft-0-100-0.wbo	MSAT (TO)	530	1800.23	1671.9	2691622
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900571132--soft-0-100-0.wbo	MSAT (TO)	146	1800.23	1670.01	2691631
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900558106--soft-0-100-0.wbo	MSAT (TO)	224	1800.23	1660.71	2691705
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900566157--soft-0-100-0.wbo	MSAT (TO)	405	1800.23	1673.72	2691702
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224059--soft-0-100-0.wbo	MSAT (TO)	848	1800.24	1798.31	2692192
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111227326--soft-0-100-0.wbo	MSAT (TO)	111	1800.25	1797.73	2692266
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900573137--soft-0-100-0.wbo	MSAT (TO)	386	1800.25	1667.19	2691643
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900669797--soft-0-100-0.wbo	MSAT (TO)	256	1800.25	1695.51	2691723
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110975965--soft-0-100-0.wbo	MSAT (TO)	271	1800.25	1797.59	2692268
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224451--soft-0-100-0.wbo	MSAT (TO)	523	1800.25	1797.93	2692272
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900567985--soft-0-100-0.wbo	MSAT (TO)	349	1800.25	1686.71	2691572
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900581320--soft-0-100-0.wbo	MSAT (TO)	282	1800.26	1708.41	2691677
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900571761--soft-0-100-0.wbo	MSAT (TO)	296	1800.27	1669.62	2691658
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111226368--soft-0-100-0.wbo	MSAT (TO)	506	1800.27	1798.12	2692198
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218308--soft-0-100-0.wbo	MSAT (TO)	511	1800.27	1797.74	2692220
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900558739--soft-0-100-0.wbo	MSAT (TO)	342	1800.27	1676.58	2691575
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900554072--soft-0-100-0.wbo	MSAT (TO)	279	1800.27	1690.82	2691616
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900552423--soft-0-100-0.wbo	MSAT (TO)	245	1800.29	1696.41	2691563
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111212272--soft-0-100-0.wbo	MSAT (TO)	731	1800.29	1798.44	2691560
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110978334--soft-0-100-0.wbo	MSAT (TO)	491	1800.32	1796.86	2692252
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224929--soft-0-100-0.wbo	MSAT (TO)	731	1800.32	1797.74	2692226
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110978113--soft-0-100-0.wbo	MSAT (TO)	486	1800.33	1797.2	2692248
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900550720--soft-0-100-0.wbo	MSAT (TO)	272	1800.35	1663.19	2691655
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110976730--soft-0-100-0.wbo	MSAT (TO)	758	1800.45	1798	2692196
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111219799--soft-0-100-0.wbo	MSAT (TO)	535	1800.48	1798.25	2692254
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224255--soft-0-100-0.wbo	MSAT (TO)	637	1800.49	1798.04	2692278
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111221203--soft-0-100-0.wbo	MSAT (TO)	559	1800.5	1797.65	2692256
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110968561--soft-0-100-0.wbo	MSAT (TO)	443	1800.52	1797.86	2692283
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110973163--soft-0-100-0.wbo	MSAT (TO)	734	1800.59	1798.08	2692170
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110971697--soft-0-100-0.wbo	MSAT (TO)	766	1800.61	1797.41	2692180
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110969170--soft-0-100-0.wbo	MSAT (TO)	528	1800.71	1798.07	2692182
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111216823--soft-0-100-0.wbo	MSAT (TO)	753	1800.74	1797.88	2692230
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110977780--soft-0-100-0.wbo	MSAT (TO)	755	1800.81	1798.31	2692285
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110971363--soft-0-100-0.wbo	MSAT (TO)	569	1800.92	1797.88	2692262
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110972154--soft-0-100-0.wbo	MSAT (TO)	34	1801.13	1797.76	2692228
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111212476--soft-0-100-0.wbo	MSAT (TO)	518	1801.29	1798.67	2692178