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

Benchmark Name	Answer	cost of falsified constraints	CPU time	Wall clock time	TraceID
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-pedck60-L1_wcsp.wbo	OPTIMUM	2	2.52362	2.52979	3752768
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12023_3-unsat--soft-66-100-0.wbo	OPTIMUM	2	3.47447	3.4684	3752661
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-pedck60-L12_wcsp.wbo	OPTIMUM	6	4.6133	4.78048	3752767
/PARTIAL-BIGINT-LIN/PB10/oliveras/j90/ normalized-j903_10-unsat--soft-33-100-0.wbo	OPTIMUM	5	4.72128	4.72291	3752680
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-saudiarabia_wcsp.wbo	OPTIMUM	0	5.51316	5.51372	3752770
/PARTIAL-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9035_1-unsat--soft-33-100-0.wbo	OPTIMUM	8	11.7282	11.926	3752677
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-pedck350l3_wcsp.wbo	OPTIMUM	0	13.425	13.429	3752766
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-pedck350l2_wcsp.wbo	OPTIMUM	1	14.2278	16.4422	3752765
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-pedck350_wcsp.wbo	OPTIMUM	2	15.7686	16.2513	3752764
/PARTIAL-BIGINT-LIN/wcsp/ pedigree/normalized-eye_wcsp.wbo	OPTIMUM	1	19.496	20.242	3752762
/PARTIAL-BIGINT-LIN/wcsp/ logistics/normalized-logistics01cc_wcsp.wbo	OPTIMUM	4198	509.432	510.438	3752749

Benchmark Name	Answer	cost of falsified constraints	CPU time	Wall clock time	TraceID
/PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph11_wcsp.wbo	?		222.727	222.979	3752739
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen07_wcsp.wbo	?		266.049	535.813	3752804

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
/PARTIAL-BIGINT-LIN/wcsp/depot/ normalized-depot01c_wcsp.wbo	? (TO)	1498.66	1900.02	3752712
/PARTIAL-BIGINT-LIN/wcsp/ mprime/normalized-mprime01cc_wcsp.wbo	? (TO)	1764.09	1900.01	3752753
/PARTIAL-BIGINT-LIN/wcsp/ mprime/normalized-mprime04bc_wcsp.wbo	? (TO)	1800	1800.32	3752759
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache.inv14.ucl--soft-33-100-0.wbo	? (TO)	1800	1800.32	3752637
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog04c_wcsp.wbo	? (TO)	1800	1800.62	3752723
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.unbounded.all.ucl--soft-66-100-0.wbo	? (TO)	1800	1800.32	3752655
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf9.ucl--soft-33-100-0.wbo	? (TO)	1800	1801.11	3752641
/PARTIAL-BIGINT-LIN/wcsp/spot5/ normalized-spot5-42_wcsp.wbo	? (TO)	1800.01	1800.61	3752822
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-1407_wcsp.wbo	? (TO)	1800.01	1800.42	3752813
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-507_wcsp.wbo	? (TO)	1800.01	1800.42	3752825
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt5ac_wcsp.wbo	? (TO)	1800.01	1800.52	3752690
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capmo4_wcsp.wbo	? (TO)	1800.01	1800.42	3752851
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen06-20reduc_wcsp.wbo	? (TO)	1800.02	1800.42	3752794
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.ex.mem.LdValue.ucl--soft-66-100-0.wbo	? (TO)	1800.02	1776.62	3752648
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-1506_wcsp.wbo	? (TO)	1800.02	1800.42	3752816
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-1504_wcsp.wbo	? (TO)	1800.02	1800.42	3752815
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-1401_wcsp.wbo	? (TO)	1800.02	1800.42	3752810
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog08cc_wcsp.wbo	? (TO)	1800.02	1800.52	3752732
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capmq1_wcsp.wbo	? (TO)	1800.02	1800.62	3752856
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen06-22reduc_wcsp.wbo	? (TO)	1800.02	1800.42	3752796
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.tag12.ucl--soft-33-100-0.wbo	? (TO)	1800.03	1800.42	3752651
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar6-sub1_wcsp.wbo	? (TO)	1800.03	1801.62	3752697
/PARTIAL-BIGINT-LIN/wcsp/ satellite/normalized-satellite02ac_wcsp.wbo	? (TO)	1800.03	1800.42	3752786
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capmp4_wcsp.wbo	? (TO)	1800.03	1800.42	3752855
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.8.accl.ucl--soft-33-100-0.wbo	? (TO)	1800.03	1800.72	3752642
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen07_10000_30r_wcsp.wbo	? (TO)	1800.03	1800.42	3752803
/PARTIAL-BIGINT-LIN/wcsp/ scens/normalized-scen06-18_wcsp.wbo	? (TO)	1800.03	1801.02	3752791
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-pedck1000_wcsp.wbo	? (TO)	1800.03	1800.82	3752763
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt4cc_wcsp.wbo	? (TO)	1800.03	1840.52	3752689
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap123_wcsp.wbo	? (TO)	1800.03	1800.62	3752833
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.ex.br.mem.RobRegValid_bar.ucl--soft-66-100-0.wbo	? (TO)	1800.03	1802.02	3752644
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen06-18reduc_wcsp.wbo	? (TO)	1800.03	1800.42	3752792
/PARTIAL-BIGINT-LIN/wcsp/ scens/normalized-scen06-24_wcsp.wbo	? (TO)	1800.03	1800.42	3752797
/PARTIAL-BIGINT-LIN/wcsp/ satellite/normalized-satellite01cc_wcsp.wbo	? (TO)	1800.03	1800.41	3752785
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar6-sub1-24_wcsp.wbo	? (TO)	1800.03	1800.63	3752696
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-1403_wcsp.wbo	? (TO)	1800.03	1800.42	3752811
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.ex.mem.LdValue.ucl--soft-33-100-0.wbo	? (TO)	1800.04	1800.62	3752647
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog04ac_wcsp.wbo	? (TO)	1800.04	1800.91	3752721
/PARTIAL-BIGINT-LIN/wcsp/mprime/ normalized-mprime04c_wcsp.wbo	? (TO)	1800.04	1800.52	3752760
/PARTIAL-BIGINT-LIN/wcsp/zenotravel/ normalized-zenotravel04c_wcsp.wbo	? (TO)	1800.04	1800.42	3752864
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap113_wcsp.wbo	? (TO)	1800.04	1800.41	3752831
/PARTIAL-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9035_1-unsat--soft-66-100-0.wbo	? (TO)	1800.04	1808.61	3752678
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capmq5_wcsp.wbo	? (TO)	1800.04	1801.32	3752857
/PARTIAL-BIGINT-LIN/wcsp/ zenotravel/normalized-zenotravel04bc_wcsp.wbo	? (TO)	1800.04	1800.41	3752863
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar6-sub2_wcsp.wbo	? (TO)	1800.04	1810.92	3752698
/PARTIAL-BIGINT-LIN/wcsp/ mprime/normalized-mprime04ac_wcsp.wbo	? (TO)	1800.04	1800.42	3752758
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt3c_wcsp.wbo	? (TO)	1800.04	1826.12	3752685
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.tag14.ucl--soft-66-100-0.wbo	? (TO)	1800.05	1800.81	3752653
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar6-sub4reduc_wcsp.wbo	? (TO)	1800.05	1800.42	3752702
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap74_wcsp.wbo	? (TO)	1800.05	1800.41	3752845
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen06-30reduc_wcsp.wbo	? (TO)	1800.05	1800.81	3752800
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capmp2_wcsp.wbo	? (TO)	1800.05	1800.42	3752853
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-412_wcsp.wbo	? (TO)	1800.05	1800.41	3752820
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap114_wcsp.wbo	? (TO)	1800.05	1800.62	3752832
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap103_wcsp.wbo	? (TO)	1800.06	1800.41	3752829
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-1502_wcsp.wbo	? (TO)	1800.06	1826.12	3752814
/PARTIAL-BIGINT-LIN/wcsp/spot5/ normalized-spot5-5_wcsp.wbo	? (TO)	1800.06	1801.12	3752827
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog02bc_wcsp.wbo	? (TO)	1800.06	1800.42	3752718
/PARTIAL-BIGINT-LIN/wcsp/ depot/normalized-depot01cc_wcsp.wbo	? (TO)	1800.06	1844.61	3752713
/PARTIAL-BIGINT-LIN/wcsp/ scens/normalized-scen06-30_wcsp.wbo	? (TO)	1800.06	1800.42	3752799
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar7-sub4-22_wcsp.wbo	? (TO)	1800.06	1824.83	3752708
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capmp1_wcsp.wbo	? (TO)	1800.06	1800.62	3752852
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capmo1_wcsp.wbo	? (TO)	1800.06	1800.42	3752848
/PARTIAL-BIGINT-LIN/wcsp/logistics/ normalized-logistics01c_wcsp.wbo	? (TO)	1800.06	1810.11	3752748
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap43_wcsp.wbo	? (TO)	1800.06	1800.41	3752839
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap131_wcsp.wbo	? (TO)	1800.06	1800.61	3752835
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap134_wcsp.wbo	? (TO)	1800.06	1800.41	3752837
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog05c_wcsp.wbo	? (TO)	1800.06	1800.42	3752727
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog05cc_wcsp.wbo	? (TO)	1800.06	1800.42	3752728
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capmo3_wcsp.wbo	? (TO)	1800.06	1800.42	3752850
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt5c_wcsp.wbo	? (TO)	1800.06	1800.42	3752692
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-full.all.ucl--soft-66-100-0.wbo	? (TO)	1800.06	1800.52	3752630
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog05bc_wcsp.wbo	? (TO)	1800.07	1800.42	3752726
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j1205_1-unsat--soft-33-100-0.wbo	? (TO)	1800.07	1835.12	3752668
/PARTIAL-BIGINT-LIN/wcsp/ depot/normalized-depot01bc_wcsp.wbo	? (TO)	1800.07	1817.21	3752711
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar6-sub0_wcsp.wbo	? (TO)	1800.07	1800.43	3752695
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt3cc_wcsp.wbo	? (TO)	1800.07	1822.73	3752686
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap101_wcsp.wbo	? (TO)	1800.07	1800.41	3752828
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capmp3_wcsp.wbo	? (TO)	1800.07	1800.52	3752854
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap81_wcsp.wbo	? (TO)	1800.07	1800.41	3752846
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap82_wcsp.wbo	? (TO)	1800.07	1800.51	3752847
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog02c_wcsp.wbo	? (TO)	1800.07	1800.41	3752719
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-1405_wcsp.wbo	? (TO)	1800.07	1802.62	3752812
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap124_wcsp.wbo	? (TO)	1800.07	1800.42	3752834
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog05ac_wcsp.wbo	? (TO)	1800.07	1800.42	3752725
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar6-sub4-20_wcsp.wbo	? (TO)	1800.07	1800.42	3752700
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.unbounded.all.ucl--soft-33-100-0.wbo	? (TO)	1800.07	1816.92	3752654
/PARTIAL-BIGINT-LIN/wcsp/ satellite/normalized-satellite01bc_wcsp.wbo	? (TO)	1800.07	1800.41	3752783
/PARTIAL-BIGINT-LIN/wcsp/satellite/ normalized-satellite01c_wcsp.wbo	? (TO)	1800.07	1800.41	3752784
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog01c_wcsp.wbo	? (TO)	1800.07	1816.12	3752715
/PARTIAL-BIGINT-LIN/wcsp/ scens/normalized-scen06-20_wcsp.wbo	? (TO)	1800.07	1800.42	3752793
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap132_wcsp.wbo	? (TO)	1800.08	1800.41	3752836
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-414_wcsp.wbo	? (TO)	1800.08	1800.52	3752821
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog08ac_wcsp.wbo	? (TO)	1800.08	1800.42	3752729
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap64_wcsp.wbo	? (TO)	1800.08	1800.41	3752843
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog02cc_wcsp.wbo	? (TO)	1800.08	1800.42	3752720
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap73_wcsp.wbo	? (TO)	1800.08	1800.41	3752844
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog08bc_wcsp.wbo	? (TO)	1800.08	1800.42	3752730
/PARTIAL-BIGINT-LIN/wcsp/zenotravel/ normalized-zenotravel02c_wcsp.wbo	? (TO)	1800.08	1801.72	3752860
/PARTIAL-BIGINT-LIN/wcsp/ zenotravel/normalized-zenotravel04ac_wcsp.wbo	? (TO)	1800.08	1800.42	3752862
/PARTIAL-BIGINT-LIN/wcsp/ zenotravel/normalized-zenotravel02bc_wcsp.wbo	? (TO)	1800.08	1836.11	3752859
/PARTIAL-BIGINT-LIN/wcsp/ zenotravel/normalized-zenotravel02cc_wcsp.wbo	? (TO)	1800.08	1811.51	3752861
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.ex.br.mem.RobRegValid_bar.ucl--soft-33-100-0.wbo	? (TO)	1800.08	1800.63	3752643
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Ic22arity.ucl--soft-33-100-0.wbo	? (TO)	1800.08	1800.42	3752631
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt5bc_wcsp.wbo	? (TO)	1800.08	1800.42	3752691
/PARTIAL-BIGINT-LIN/wcsp/ driver/normalized-driverlog09_wcsp.wbo	? (TO)	1800.08	1800.42	3752733
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-505_wcsp.wbo	? (TO)	1800.08	1800.41	3752824
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-408_wcsp.wbo	? (TO)	1800.08	1800.41	3752819
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap44_wcsp.wbo	? (TO)	1800.08	1800.41	3752840
/PARTIAL-BIGINT-LIN/wcsp/ mprime/normalized-mprime04cc_wcsp.wbo	? (TO)	1800.08	1800.42	3752761
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen06-24reduc_wcsp.wbo	? (TO)	1800.08	1800.42	3752798
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt5cc_wcsp.wbo	? (TO)	1800.09	1800.42	3752693
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar7-sub0_wcsp.wbo	? (TO)	1800.09	1800.73	3752703
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Icl2arity.ucl--soft-33-100-0.wbo	? (TO)	1800.09	1801.01	3752633
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-full.all.ucl--soft-33-100-0.wbo	? (TO)	1800.09	1800.43	3752629
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen06-16reduc_wcsp.wbo	? (TO)	1800.09	1800.42	3752790
/PARTIAL-BIGINT-LIN/PB10/oliveras/j60/ normalized-j6033_2-unsat--soft-33-100-0.wbo	? (TO)	1800.09	1800.82	3752671
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capmo2_wcsp.wbo	? (TO)	1800.09	1800.42	3752849
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap112_wcsp.wbo	? (TO)	1800.09	1800.41	3752830
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlogs06_wcsp.wbo	? (TO)	1800.09	1800.42	3752735
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlogs03_wcsp.wbo	? (TO)	1800.09	1800.41	3752734
/PARTIAL-BIGINT-LIN/wcsp/ satellite/normalized-satellite02cc_wcsp.wbo	? (TO)	1800.09	1800.42	3752788
/PARTIAL-BIGINT-LIN/wcsp/spot5/ normalized-spot5-28_wcsp.wbo	? (TO)	1800.09	1801.12	3752817
/PARTIAL-BIGINT-LIN/wcsp/ mprime/normalized-mprime01ac_wcsp.wbo	? (TO)	1800.09	1796.71	3752750
/PARTIAL-BIGINT-LIN/wcsp/spot5/ normalized-spot5-29_wcsp.wbo	? (TO)	1800.09	1795.11	3752818
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-509_wcsp.wbo	? (TO)	1800.09	1800.41	3752826
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-503_wcsp.wbo	? (TO)	1800.09	1795.01	3752823
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt6_wcsp.wbo	? (TO)	1800.09	1800.42	3752694
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog04cc_wcsp.wbo	? (TO)	1800.09	1800.42	3752724
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf10.ucl--soft-66-100-0.wbo	? (TO)	1800.09	1801.21	3752640
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache.inv14.ucl--soft-66-100-0.wbo	? (TO)	1800.09	1800.51	3752638
/PARTIAL-BIGINT-LIN/wcsp/ scens/normalized-scen06-22_wcsp.wbo	? (TO)	1800.09	1800.92	3752795
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar7-sub1-20_wcsp.wbo	? (TO)	1800.1	1800.52	3752704
/PARTIAL-BIGINT-LIN/wcsp/ satellite/normalized-satellite01ac_wcsp.wbo	? (TO)	1800.1	1800.41	3752782
/PARTIAL-BIGINT-LIN/wcsp/ satellite/normalized-satellite02bc_wcsp.wbo	? (TO)	1800.1	1800.42	3752787
/PARTIAL-BIGINT-LIN/wcsp/ zenotravel/normalized-zenotravel04cc_wcsp.wbo	? (TO)	1800.1	1800.42	3752865
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf10.ucl--soft-33-100-0.wbo	? (TO)	1800.1	1800.42	3752639
/PARTIAL-BIGINT-LIN/wcsp/academics/ normalized-warehouse1_wcsp.wbo	? (TO)	1800.1	1800.51	3752684
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12041_4-unsat--soft-66-100-0.wbo	? (TO)	1800.1	1800.51	3752667
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog08c_wcsp.wbo	? (TO)	1800.1	1800.42	3752731
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Icl2arity.ucl--soft-66-100-0.wbo	? (TO)	1800.1	1800.52	3752634
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog04bc_wcsp.wbo	? (TO)	1800.1	1800.42	3752722
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog02ac_wcsp.wbo	? (TO)	1800.1	1800.42	3752717
/PARTIAL-BIGINT-LIN/wcsp/ rover/normalized-rovers02c_wcsp.wbo	? (TO)	1800.11	1831.31	3752780
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache.inv12.ucl--soft-33-100-0.wbo	? (TO)	1800.11	1800.41	3752635
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache.inv12.ucl--soft-66-100-0.wbo	? (TO)	1800.11	1800.41	3752636
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap61_wcsp.wbo	? (TO)	1800.11	1800.41	3752841
/PARTIAL-BIGINT-LIN/wcsp/ logistics/normalized-logistics01ac_wcsp.wbo	? (TO)	1800.11	1802.11	3752746
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap42_wcsp.wbo	? (TO)	1800.12	1800.51	3752838
/PARTIAL-BIGINT-LIN/wcsp/ academics/normalized-slangford-3-11_wcsp.wbo	? (TO)	1800.12	1800.41	3752683
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap62_wcsp.wbo	? (TO)	1800.12	1800.51	3752842
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf10.ucl--soft-33-100-0.wbo	? (TO)	1800.12	1800.41	3752649
/PARTIAL-BIGINT-LIN/wcsp/ logistics/normalized-logistics01bc_wcsp.wbo	? (TO)	1800.12	1812.92	3752747
/PARTIAL-BIGINT-LIN/wcsp/ mprime/normalized-mprime03cc_wcsp.wbo	? (TO)	1800.12	1811.41	3752757
/PARTIAL-BIGINT-LIN/wcsp/ rover/normalized-rovers02ac_wcsp.wbo	? (TO)	1800.13	1865.65	3752778
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.tag14.ucl--soft-33-100-0.wbo	? (TO)	1800.13	1801.12	3752652
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf9.ucl--soft-33-100-0.wbo	? (TO)	1800.13	1800.41	3752650
/PARTIAL-BIGINT-LIN/wcsp/ mprime/normalized-mprime03ac_wcsp.wbo	? (TO)	1800.13	1833.02	3752754
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-pedck60-L2_wcsp.wbo	? (TO)	1800.14	1836.31	3752769
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12041_4-unsat--soft-33-100-0.wbo	? (TO)	1800.14	1801.11	3752666
/PARTIAL-BIGINT-LIN/wcsp/mprime/ normalized-mprime03c_wcsp.wbo	? (TO)	1800.15	1814.12	3752756
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog01bc_wcsp.wbo	? (TO)	1800.15	1811.42	3752714
/PARTIAL-BIGINT-LIN/wcsp/ rover/normalized-rovers02bc_wcsp.wbo	? (TO)	1800.17	1835.41	3752779
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12023_3-unsat--soft-33-100-0.wbo	? (TO)	1800.19	1812.42	3752660
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j1205_1-unsat--soft-66-100-0.wbo	? (TO)	1800.19	1824.41	3752669
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-tlan3.ucl--soft-33-100-0.wbo	? (TO)	1800.23	1800.32	3752628
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog01cc_wcsp.wbo	? (TO)	1800.24	1817.01	3752716
/PARTIAL-BIGINT-LIN/wcsp/ depot/normalized-depot01ac_wcsp.wbo	? (TO)	1800.25	1839.02	3752710
/PARTIAL-BIGINT-LIN/wcsp/ mprime/normalized-mprime03bc_wcsp.wbo	? (TO)	1800.27	1815.91	3752755
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt4bc_wcsp.wbo	? (TO)	1800.28	1821.01	3752687
/PARTIAL-BIGINT-LIN/wcsp/ rover/normalized-rovers02cc_wcsp.wbo	? (TO)	1800.31	1870.91	3752781
/PARTIAL-BIGINT-LIN/wcsp/ zenotravel/normalized-zenotravel02ac_wcsp.wbo	? (TO)	1800.32	1800.62	3752858
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt4c_wcsp.wbo	? (TO)	1800.35	1818.62	3752688
/PARTIAL-BIGINT-LIN/wcsp/mprime/ normalized-mprime01c_wcsp.wbo	? (TO)	1800.36	1817.12	3752752
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Ic22arity.ucl--soft-66-100-0.wbo	? (TO)	1800.66	1801	3752632
/PARTIAL-BIGINT-LIN/wcsp/ mprime/normalized-mprime01bc_wcsp.wbo	? (TO)	1800.69	1824.92	3752751

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
/PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph11reducmore_wcsp.wbo	? (MO)	123.79	124.821	3752741
/PARTIAL-BIGINT-LIN/wcsp/ scens/normalized-scen06-16_wcsp.wbo	? (MO)	124.15	124.758	3752789
/PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph11reduc_wcsp.wbo	? (MO)	127.45	129.225	3752740
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar6-sub4_wcsp.wbo	? (MO)	129.52	129.621	3752701
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen06reduc_wcsp.wbo	? (MO)	135.84	135.965	3752802
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar7-sub1_wcsp.wbo	? (MO)	136.82	158.52	3752705
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar6-sub3_wcsp.wbo	? (MO)	140.63	309.621	3752699
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar7-sub3_wcsp.wbo	? (MO)	144.563	255.419	3752707
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar7-sub2_wcsp.wbo	? (MO)	158.74	265.02	3752706
/PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph05_wcsp.wbo	? (MO)	193.63	589.321	3752736
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen08_wcsp.wbo	? (MO)	265.23	273.926	3752806
/PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph13_wcsp.wbo	? (MO)	269.54	270.129	3752743

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
/PARTIAL-BIGINT-LIN/PB10/oliveras/j90/ normalized-j907_8-unsat--soft-33-100-0.wbo	? (problem)	1.35979	2.71805	3752682
/PARTIAL-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9039_3-unsat--soft-33-100-0.wbo	? (problem)	1.53777	3.11338	3752679
/PARTIAL-BIGINT-LIN/PB10/oliveras/j60/ normalized-j6030_9-unsat--soft-33-100-0.wbo	? (problem)	1.63675	3.43008	3752670
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12027_7-unsat--soft-66-100-0.wbo	? (problem)	1.81172	3.57463	3752665
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12027_7-unsat--soft-33-100-0.wbo	? (problem)	1.87171	3.55958	3752664
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12026_5-unsat--soft-66-100-0.wbo	? (problem)	1.88871	4.08429	3752663
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12026_5-unsat--soft-33-100-0.wbo	? (problem)	1.89071	3.58995	3752662
/PARTIAL-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9010_6-unsat--soft-33-100-0.wbo	? (problem)	1.9507	6.16478	3752672
/PARTIAL-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9028_2-unsat--soft-33-100-0.wbo	? (problem)	1.9827	8.19563	3752676
/PARTIAL-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9012_2-unsat--soft-33-100-0.wbo	? (problem)	2.05569	7.31231	3752673
/PARTIAL-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9015_10-unsat--soft-33-100-0.wbo	? (problem)	2.15267	4.88153	3752675
/PARTIAL-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9014_1-unsat--soft-33-100-0.wbo	? (problem)	2.26166	8.30686	3752674
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12015_3-unsat--soft-33-100-0.wbo	? (problem)	2.26765	8.34218	3752658
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12015_3-unsat--soft-66-100-0.wbo	? (problem)	2.30965	5.71323	3752659
/PARTIAL-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9048_1-unsat--soft-33-100-0.wbo	? (problem)	2.49862	5.9277	3752681
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12013_1-unsat--soft-66-100-0.wbo	? (problem)	2.6256	9.06694	3752657
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12013_1-unsat--soft-33-100-0.wbo	? (problem)	2.76358	6.28271	3752656
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl--soft-33-100-0.wbo	? (problem)	6.44802	25.1124	3752645
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl--soft-66-100-0.wbo	? (problem)	6.48401	23.9765	3752646
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-sheep4r-4-0_wcsp.wbo	? (problem)	22.5206	95.428	3752772
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-sheep4r-4-1_wcsp.wbo	? (problem)	27.3498	129.723	3752773
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-sheep4r-4-2_wcsp.wbo	? (problem)	29.8665	138.851	3752774
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-wijsmanguo_wcsp.wbo	? (problem)	36.0225	331.246	3752777
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-sheep4r-4-3_wcsp.wbo	? (problem)	46.4929	315.157	3752775
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar7-sub4_wcsp.wbo	? (problem)	143.382	483.538	3752709
/PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph07_wcsp.wbo	? (problem)	143.735	382.283	3752738
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-sheep4r_wcsp.wbo	? (problem)	145.124	409.614	3752776
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-sheep4nr_wcsp.wbo	? (problem)	145.648	632.726	3752771
/PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph06_wcsp.wbo	? (problem)	157.763	696.615	3752737
/PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph12_wcsp.wbo	? (problem)	166.442	391.331	3752742
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen08reduc_wcsp.wbo	? (problem)	170.734	414.455	3752807
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen06_wcsp.wbo	? (problem)	188.944	443.265	3752801
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen07reduc_wcsp.wbo	? (problem)	206.143	438.968	3752805
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen09_wcsp.wbo	? (problem)	214.304	428.699	3752808
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen10_wcsp.wbo	? (problem)	223.13	572.289	3752809
/PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph13reducmore_wcsp.wbo	? (problem)	247.567	482.698	3752745
/PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph13reduc_wcsp.wbo	? (problem)	294.758	579.956	3752744

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.029995	0.033763	3753048
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-4queens_wcsp.wbo	OPTIMUM	0	0.039993	0.045567	3753047
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-pret60_40_ext.wbo	OPTIMUM	1	0.040993	0.0519509	3753101
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-langford-2-4_wcsp.wbo	OPTIMUM	0	0.042992	0.0422951	3753052
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-geom30a-6_wcsp.wbo	OPTIMUM	0	0.042992	0.045877	3753064
/PARTIAL-SMALLINT-LIN/wcsp/ pedigree/normalized-sobel_wcsp.wbo	OPTIMUM	0	0.043992	0.0459711	3753138
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-geom40-6_wcsp.wbo	OPTIMUM	0	0.043992	0.0461591	3753069
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-8queens_wcsp.wbo	OPTIMUM	0	0.044992	0.0502499	3753049
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois22_ext.wbo	OPTIMUM	1	0.044992	0.049485	3753086
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois23_ext.wbo	OPTIMUM	1	0.045992	0.051298	3753087
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-pret60_75_ext.wbo	OPTIMUM	1	0.045992	0.0469461	3753103
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-zebre-ext_wcsp.wbo	OPTIMUM	0	0.046992	0.050921	3753058
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-pret60_25_ext.wbo	OPTIMUM	1	0.047991	0.051972	3753100
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois24_ext.wbo	OPTIMUM	1	0.047992	0.0552411	3753088
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-pret60_60_ext.wbo	OPTIMUM	1	0.047992	0.051774	3753102
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois25_ext.wbo	OPTIMUM	1	0.047992	0.0507191	3753089
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois20_ext.wbo	OPTIMUM	1	0.048992	0.057308	3753084
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois27_ext.wbo	OPTIMUM	1	0.050991	0.0516981	3753091
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh210_wcsp.wbo	OPTIMUM	0	0.050991	0.053744	3753122
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh218_wcsp.wbo	OPTIMUM	0	0.050991	0.0530069	3753128
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois21_ext.wbo	OPTIMUM	1	0.050992	0.0537011	3753085
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois29_ext.wbo	OPTIMUM	1	0.051991	0.05298	3753093
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-queen5-5-5_wcsp.wbo	OPTIMUM	0	0.052991	0.0516889	3753080
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh217_wcsp.wbo	OPTIMUM	0	0.053991	0.058303	3753127
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh01_wcsp.wbo	OPTIMUM	0	0.05599	0.055995	3753106
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-geom30a-5_wcsp.wbo	OPTIMUM	1	0.055991	0.056496	3753063
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh220_wcsp.wbo	OPTIMUM	0	0.05699	0.0591149	3753129
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois28_ext.wbo	OPTIMUM	1	0.060989	0.0620021	3753092
/PARTIAL-SMALLINT-LIN/wcsp/pedigree/ normalized-connell_wcsp.wbo	OPTIMUM	1	0.06299	0.067278	3753136
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-myciel5g-6_wcsp.wbo	OPTIMUM	0	0.065989	0.069364	3753077
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois26_ext.wbo	OPTIMUM	1	0.071988	0.072853	3753090
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-geom40-5_wcsp.wbo	OPTIMUM	1	0.074988	0.080009	3753068
/PARTIAL-SMALLINT-LIN/wcsp/pedigree/ normalized-simple_wcsp.wbo	OPTIMUM	1	0.074988	0.0779321	3753137
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois30_ext.wbo	OPTIMUM	1	0.074988	0.0763081	3753094
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois50_ext.wbo	OPTIMUM	1	0.084986	0.0899509	3753095
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-pret150_60_ext.wbo	OPTIMUM	1	0.089985	0.093342	3753098
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-pret150_40_ext.wbo	OPTIMUM	1	0.093985	0.091954	3753097
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-pret150_75_ext.wbo	OPTIMUM	1	0.114982	0.120427	3753099
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-pret150_25_ext.wbo	OPTIMUM	1	0.117981	0.128105	3753096
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-geom40-4_wcsp.wbo	OPTIMUM	3	0.129979	0.120201	3753067
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-ssa0432-003_ext.wbo	OPTIMUM	1	0.195969	0.200522	3753104
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-geom30a-4_wcsp.wbo	OPTIMUM	4	0.222965	0.221585	3753062
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-bf2670-001_ext.wbo	OPTIMUM	1	0.412936	0.412439	3753082
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-bf0432-007_ext.wbo	OPTIMUM	1	0.427934	0.430883	3753081
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-8.ucl--soft-66-100-0.wbo	OPTIMUM	4	1.05384	1.05909	3752998
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-zebra_wcsp.wbo	OPTIMUM	0	1.24481	1.24179	3753057
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-geom40-3_wcsp.wbo	OPTIMUM	7	1.42878	1.42774	3753066
/PARTIAL-SMALLINT-LIN/wcsp/ academics/normalized-send_wcsp.wbo	OPTIMUM	0	1.90671	1.90862	3753055
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j603_2-unsat--soft-33-100-0.wbo	OPTIMUM	6	1.9397	1.94798	3753033
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-geom40-2_wcsp.wbo	OPTIMUM	22	2.65559	2.66212	3753065
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-ssa2670-141_ext.wbo	OPTIMUM	1	2.92755	2.94078	3753105
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j606_1-unsat--soft-33-100-0.wbo	OPTIMUM	3	3.11952	3.11709	3753038
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-warehouse0_wcsp.wbo	OPTIMUM	328	3.39548	3.40153	3753056
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-donald_wcsp.wbo	OPTIMUM	0	8.15776	8.15777	3753051
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j6027_4-unsat--soft-66-100-0.wbo	OPTIMUM	24	9.73952	9.72936	3753028
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-geom30a-3_wcsp.wbo	OPTIMUM	11	15.5626	15.5741	3753061
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j6033_2-unsat--soft-66-100-0.wbo	OPTIMUM	51	27.7068	28.0849	3753032
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois100_ext.wbo	OPTIMUM	1	29.6455	29.6505	3753083
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-myciel5g-5_wcsp.wbo	OPTIMUM	1	90.5982	90.6219	3753076
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-queen5-5-4_wcsp.wbo	OPTIMUM	12	1796.28	1796.57	3753079

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-2.ucl--soft-66-100-0.wbo	? (TO)	1642.17	1900.02	3752991
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-46s.smv--soft-33-100-0.wbo	? (TO)	1676.03	1900.01	3752989
/PARTIAL-SMALLINT-LIN/wcsp/spot5/ normalized-spot5-8_wcsp.wbo	? (TO)	1757.87	1900.01	3753141
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-37s.smv--soft-33-100-0.wbo	? (TO)	1762.13	1900.01	3752988
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j3041_4-unsat--soft-66-100-0.wbo	? (TO)	1800.01	1800.01	3753020
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-7.ucl--soft-66-100-0.wbo	? (TO)	1800.02	1833.62	3752996
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567024--soft-33-100-0.wbo	? (TO)	1800.03	1800.51	3752907
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-2.ucl--soft-33-100-0.wbo	? (TO)	1800.03	1823.02	3752990
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900556231--soft-33-100-0.wbo	? (TO)	1800.03	1800.31	3752902
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900561288--soft-33-100-0.wbo	? (TO)	1800.03	1800.31	3752905
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j309_10-unsat--soft-66-100-0.wbo	? (TO)	1800.03	1800.51	3753024
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-61-60--soft-33-100-0.wbo	? (TO)	1800.04	1800.51	3752973
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl40_50_pb.cnf.cr--soft-66-100-0.wbo	? (TO)	1800.04	1792.52	3752890
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl10_11_pb.cnf.cr--soft-33-100-0.wbo	? (TO)	1800.04	1800.61	3752866
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-3.ucl--soft-66-100-0.wbo	? (TO)	1800.04	1680.21	3752993
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-16wqueens_wcsp.wbo	? (TO)	1800.04	1800.62	3753046
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-8wqueens_wcsp.wbo	? (TO)	1800.04	1830.01	3753050
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh13_wcsp.wbo	? (TO)	1800.04	1814.42	3753113
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-75-70--soft-33-100-0.wbo	? (TO)	1800.04	1801.61	3752979
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224059--soft-33-100-0.wbo	? (TO)	1800.04	1800.41	3752950
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111220767--soft-33-100-0.wbo	? (TO)	1800.04	1800.72	3752944
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl30_35_pb.cnf.cr--soft-66-100-0.wbo	? (TO)	1800.05	1800.41	3752882
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-71-70--soft-66-100-0.wbo	? (TO)	1800.05	1800.51	3752978
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110977780--soft-66-100-0.wbo	? (TO)	1800.05	1800.62	3752935
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-22s.smv--soft-33-100-0.wbo	? (TO)	1800.05	1810.02	3752986
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-tlan2.ucl--soft-66-100-0.wbo	? (TO)	1800.05	1821.72	3753000
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh205_wcsp.wbo	? (TO)	1800.05	1834.91	3753120
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110969577--soft-33-100-0.wbo	? (TO)	1800.05	1800.72	3752929
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111220767--soft-66-100-0.wbo	? (TO)	1800.05	1800.81	3752945
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl50_60_pb.cnf.cr--soft-33-100-0.wbo	? (TO)	1800.05	1800.62	3752894
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j301_4-unsat--soft-33-100-0.wbo	? (TO)	1800.05	1840.81	3753016
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218024--soft-66-100-0.wbo	? (TO)	1800.06	1801.11	3752940
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-le450-5a-5_wcsp.wbo	? (TO)	1800.06	1800.42	3753073
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh307_wcsp.wbo	? (TO)	1800.06	1803.52	3753133
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.3.accl.ucl--soft-33-100-0.wbo	? (TO)	1800.06	1800.51	3753009
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf8.ucl--soft-33-100-0.wbo	? (TO)	1800.06	1799.72	3753006
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900552288--soft-66-100-0.wbo	? (TO)	1800.06	1800.21	3752899
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900575442--soft-66-100-0.wbo	? (TO)	1800.06	1800.41	3752916
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900576927--soft-33-100-0.wbo	? (TO)	1800.06	1800.51	3752918
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j3029_8-unsat--soft-33-100-0.wbo	? (TO)	1800.06	1801.31	3753018
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111213868--soft-66-100-0.wbo	? (TO)	1800.06	1800.51	3752937
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.tag12.ucl--soft-66-100-0.wbo	? (TO)	1800.06	1801.72	3753015
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218757--soft-66-100-0.wbo	? (TO)	1800.06	1800.51	3752941
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111227861--soft-33-100-0.wbo	? (TO)	1800.06	1778.41	3752955
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111223004--soft-33-100-0.wbo	? (TO)	1800.06	1800.41	3752948
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-71-70--soft-33-100-0.wbo	? (TO)	1800.06	1800.51	3752977
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-51-50--soft-33-100-0.wbo	? (TO)	1800.06	1800.41	3752969
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-15-10--soft-66-100-0.wbo	? (TO)	1800.06	1800.81	3752960
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl20_30_pb.cnf.cr--soft-66-100-0.wbo	? (TO)	1800.06	1800.71	3752879
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl30_31_pb.cnf.cr--soft-66-100-0.wbo	? (TO)	1800.06	1800.62	3752881
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl40_45_pb.cnf.cr--soft-33-100-0.wbo	? (TO)	1800.07	1806.41	3752888
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-85-80--soft-66-100-0.wbo	? (TO)	1800.07	1799.42	3752983
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-le450-5a-4_wcsp.wbo	? (TO)	1800.07	1800.41	3753072
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-dlx1c.ucl--soft-33-100-0.wbo	? (TO)	1800.07	1800.81	3753005
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j3029_8-unsat--soft-66-100-0.wbo	? (TO)	1800.07	1800.31	3753019
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-45-40--soft-66-100-0.wbo	? (TO)	1800.07	1800.41	3752968
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-95-90--soft-33-100-0.wbo	? (TO)	1800.07	1800.62	3752984
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-35-30--soft-33-100-0.wbo	? (TO)	1800.07	1800.51	3752965
/PARTIAL-SMALLINT-LIN/wcsp/spot5/ normalized-spot5-404_wcsp.wbo	? (TO)	1800.07	1801.12	3753139
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.tag10.ucl--soft-33-100-0.wbo	? (TO)	1800.07	1800.62	3753014
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110967142--soft-33-100-0.wbo	? (TO)	1800.07	1800.51	3752927
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110966483--soft-33-100-0.wbo	? (TO)	1800.07	1800.72	3752926
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900563250--soft-66-100-0.wbo	? (TO)	1800.07	1800.51	3752906
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl20_30_pb.cnf.cr--soft-33-100-0.wbo	? (TO)	1800.07	1800.61	3752878
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-6.ucl--soft-66-100-0.wbo	? (TO)	1800.07	1814.92	3752994
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900582300--soft-66-100-0.wbo	? (TO)	1800.08	1844.62	3752921
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf9.ucl--soft-66-100-0.wbo	? (TO)	1800.08	1801.01	3753007
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j301_4-unsat--soft-66-100-0.wbo	? (TO)	1800.08	1823.01	3753017
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-3.ucl--soft-33-100-0.wbo	? (TO)	1800.08	1791.92	3752992
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j308_1-unsat--soft-33-100-0.wbo	? (TO)	1800.08	1804.13	3753023
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl35_36_pb.cnf.cr--soft-66-100-0.wbo	? (TO)	1800.08	1800.51	3752883
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl35_40_pb.cnf.cr--soft-66-100-0.wbo	? (TO)	1800.08	1800.71	3752884
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl10_20_pb.cnf.cr--soft-33-100-0.wbo	? (TO)	1800.08	1807.01	3752869
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl50_51_pb.cnf.cr--soft-33-100-0.wbo	? (TO)	1800.08	1800.72	3752891
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl20_21_pb.cnf.cr--soft-33-100-0.wbo	? (TO)	1800.08	1800.51	3752875
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl50_60_pb.cnf.cr--soft-66-100-0.wbo	? (TO)	1800.08	1800.51	3752895
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-tlan3.ucl--soft-66-100-0.wbo	? (TO)	1800.08	1800.42	3753001
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-55-50--soft-66-100-0.wbo	? (TO)	1800.08	1800.51	3752972
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-55-50--soft-33-100-0.wbo	? (TO)	1800.08	1800.41	3752971
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-25-20--soft-33-100-0.wbo	? (TO)	1800.08	1796.11	3752962
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-85-80--soft-33-100-0.wbo	? (TO)	1800.08	1800.91	3752982
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-le450-5a-2_wcsp.wbo	? (TO)	1800.08	1800.41	3753070
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-41-40--soft-33-100-0.wbo	? (TO)	1800.08	1800.41	3752966
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh212_wcsp.wbo	? (TO)	1800.08	1834.01	3753124
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900570242--soft-66-100-0.wbo	? (TO)	1800.08	1800.41	3752912
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j6027_4-unsat--soft-33-100-0.wbo	? (TO)	1800.08	1795.31	3753027
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j3046_4-unsat--soft-33-100-0.wbo	? (TO)	1800.08	1854.91	3753021
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh310_wcsp.wbo	? (TO)	1800.09	1801.41	3753135
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-langford-3-9_wcsp.wbo	? (TO)	1800.09	1800.41	3753054
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh10_wcsp.wbo	? (TO)	1800.09	1839.12	3753111
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-7.ucl--soft-33-100-0.wbo	? (TO)	1800.09	1821.52	3752995
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900581320--soft-66-100-0.wbo	? (TO)	1800.09	1800.41	3752920
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl10_15_pb.cnf.cr--soft-33-100-0.wbo	? (TO)	1800.09	1799.51	3752868
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh11_wcsp.wbo	? (TO)	1800.09	1799.11	3753112
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110970444--soft-66-100-0.wbo	? (TO)	1800.09	1800.51	3752931
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-dlx1c.rwmem1.ucl--soft-33-100-0.wbo	? (TO)	1800.1	1800.41	3753004
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218024--soft-33-100-0.wbo	? (TO)	1800.1	1800.81	3752939
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh16_wcsp.wbo	? (TO)	1800.1	1845.72	3753116
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh211_wcsp.wbo	? (TO)	1800.1	1804.21	3753123
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900554420--soft-33-100-0.wbo	? (TO)	1800.1	1800.41	3752901
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl15_20_pb.cnf.cr--soft-33-100-0.wbo	? (TO)	1800.1	1798.91	3752872
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900571132--soft-33-100-0.wbo	? (TO)	1800.1	1800.41	3752913
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j605_1-unsat--soft-66-100-0.wbo	? (TO)	1800.1	1801.01	3753036
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl15_25_pb.cnf.cr--soft-33-100-0.wbo	? (TO)	1800.1	1800.51	3752874
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900571132--soft-66-100-0.wbo	? (TO)	1800.1	1800.41	3752914
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111220546--soft-33-100-0.wbo	? (TO)	1800.1	1800.71	3752943
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh203_wcsp.wbo	? (TO)	1800.1	1816.92	3753119
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567135--soft-66-100-0.wbo	? (TO)	1800.1	1800.41	3752909
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl40_41_pb.cnf.cr--soft-33-100-0.wbo	? (TO)	1800.1	1800.82	3752887
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl40_50_pb.cnf.cr--soft-33-100-0.wbo	? (TO)	1800.1	1800.51	3752889
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-61-60--soft-66-100-0.wbo	? (TO)	1800.11	1800.54	3752974
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh18_wcsp.wbo	? (TO)	1800.11	1806.32	3753117
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh04_wcsp.wbo	? (TO)	1800.11	1828.02	3753107
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111225605--soft-66-100-0.wbo	? (TO)	1800.11	1793.41	3752951
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-langford-3-11_wcsp.wbo	? (TO)	1800.11	1800.41	3753053
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-dsjc125-1-4_wcsp.wbo	? (TO)	1800.11	1800.62	3753059
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-tlan2.ucl--soft-33-100-0.wbo	? (TO)	1800.11	1814.01	3752999
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900557362--soft-33-100-0.wbo	? (TO)	1800.11	1800.41	3752903
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900558106--soft-66-100-0.wbo	? (TO)	1800.11	1800.41	3752904
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900576151--soft-33-100-0.wbo	? (TO)	1800.11	1800.51	3752917
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j605_1-unsat--soft-33-100-0.wbo	? (TO)	1800.11	1800.41	3753035
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900570242--soft-33-100-0.wbo	? (TO)	1800.11	1800.51	3752911
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900573901--soft-33-100-0.wbo	? (TO)	1800.11	1800.41	3752915
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-41-40--soft-66-100-0.wbo	? (TO)	1800.11	1811.81	3752967
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900670167--soft-33-100-0.wbo	? (TO)	1800.11	1800.72	3752924
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl35_45_pb.cnf.cr--soft-33-100-0.wbo	? (TO)	1800.11	1800.62	3752885
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-myciel5g-3_wcsp.wbo	? (TO)	1800.11	1800.41	3753074
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-le450-5a-3_wcsp.wbo	? (TO)	1800.11	1800.41	3753071
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl35_45_pb.cnf.cr--soft-66-100-0.wbo	? (TO)	1800.11	1801.41	3752886
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-myciel5g-4_wcsp.wbo	? (TO)	1800.11	1800.41	3753075
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl50_55_pb.cnf.cr--soft-33-100-0.wbo	? (TO)	1800.11	1837.02	3752893
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-21-20--soft-66-100-0.wbo	? (TO)	1800.12	1804.71	3752961
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-dlx1c.rwmem.ucl--soft-66-100-0.wbo	? (TO)	1800.12	1800.41	3753003
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.4.accl.ucl--soft-33-100-0.wbo	? (TO)	1800.12	1800.41	3753010
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111222257--soft-33-100-0.wbo	? (TO)	1800.12	1800.51	3752946
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110975607--soft-33-100-0.wbo	? (TO)	1800.12	1776.81	3752934
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900584219--soft-33-100-0.wbo	? (TO)	1800.12	1800.41	3752922
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111227012--soft-66-100-0.wbo	? (TO)	1800.12	1801.21	3752954
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh306_wcsp.wbo	? (TO)	1800.12	1810.21	3753132
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900544484--soft-33-100-0.wbo	? (TO)	1800.12	1800.41	3752896
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl30_31_pb.cnf.cr--soft-33-100-0.wbo	? (TO)	1800.12	1800.41	3752880
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111217555--soft-33-100-0.wbo	? (TO)	1800.12	1800.72	3752938
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j603_2-unsat--soft-66-100-0.wbo	? (TO)	1800.12	1885.91	3753034
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl15_20_pb.cnf.cr--soft-66-100-0.wbo	? (TO)	1800.12	1800.61	3752873
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl15_16_pb.cnf.cr--soft-66-100-0.wbo	? (TO)	1800.12	1802.82	3752871
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-95-90--soft-66-100-0.wbo	? (TO)	1800.13	1758.51	3752985
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-101-100--soft-66-100-0.wbo	? (TO)	1800.13	1800.92	3752956
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-queen5-5-3_wcsp.wbo	? (TO)	1800.13	1800.41	3753078
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111220019--soft-33-100-0.wbo	? (TO)	1800.13	1800.62	3752942
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567135--soft-33-100-0.wbo	? (TO)	1800.13	1800.41	3752908
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh305_wcsp.wbo	? (TO)	1800.13	1800.51	3753131
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl10_11_pb.cnf.cr--soft-66-100-0.wbo	? (TO)	1800.13	1800.72	3752867
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110968561--soft-33-100-0.wbo	? (TO)	1800.13	1800.51	3752928
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110969577--soft-66-100-0.wbo	? (TO)	1800.13	1800.71	3752930
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-75-70--soft-66-100-0.wbo	? (TO)	1800.13	1811.31	3752980
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-65-60--soft-33-100-0.wbo	? (TO)	1800.13	1790.92	3752975
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111223004--soft-66-100-0.wbo	? (TO)	1800.13	1789.91	3752949
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567985--soft-33-100-0.wbo	? (TO)	1800.13	1800.41	3752910
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111226680--soft-66-100-0.wbo	? (TO)	1800.13	1791.61	3752953
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900547389--soft-33-100-0.wbo	? (TO)	1800.13	1800.41	3752897
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j605_10-unsat--soft-33-100-0.wbo	? (TO)	1800.13	1800.41	3753037
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-25s.smv--soft-33-100-0.wbo	? (TO)	1800.13	1800.72	3752987
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111212272--soft-33-100-0.wbo	? (TO)	1800.13	1800.62	3752936
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-31-30--soft-66-100-0.wbo	? (TO)	1800.13	1800.62	3752964
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111222539--soft-33-100-0.wbo	? (TO)	1800.13	1800.71	3752947
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900581320--soft-33-100-0.wbo	? (TO)	1800.13	1800.41	3752919
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900550006--soft-66-100-0.wbo	? (TO)	1800.13	1801.31	3752898
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110971363--soft-33-100-0.wbo	? (TO)	1800.14	1800.78	3752932
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-51-50--soft-66-100-0.wbo	? (TO)	1800.14	1800.51	3752970
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-81-80--soft-33-100-0.wbo	? (TO)	1800.14	1803.92	3752981
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl20_25_pb.cnf.cr--soft-33-100-0.wbo	? (TO)	1800.14	1800.51	3752877
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh302_wcsp.wbo	? (TO)	1800.14	1802.31	3753130
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/ normalized-j903_10-unsat--soft-66-100-0.wbo	? (TO)	1800.14	1804.31	3753044
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-dsjc125-1-5_wcsp.wbo	? (TO)	1800.14	1800.72	3753060
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-31-30--soft-33-100-0.wbo	? (TO)	1800.15	1800.51	3752963
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900670675--soft-33-100-0.wbo	? (TO)	1800.15	1800.51	3752925
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j3046_4-unsat--soft-66-100-0.wbo	? (TO)	1800.15	1808.92	3753022
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-15-10--soft-33-100-0.wbo	? (TO)	1800.15	1802.81	3752959
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900669797--soft-66-100-0.wbo	? (TO)	1800.15	1799.21	3752923
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j602_7-unsat--soft-33-100-0.wbo	? (TO)	1800.16	1813.01	3753029
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110973364--soft-33-100-0.wbo	? (TO)	1800.17	1800.9	3752933
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-8.ucl--soft-33-100-0.wbo	? (TO)	1800.18	1807.22	3752997
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j6010_2-unsat--soft-33-100-0.wbo	? (TO)	1800.19	1802.83	3753025
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh14_wcsp.wbo	? (TO)	1800.2	1849.41	3753114
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j602_7-unsat--soft-66-100-0.wbo	? (TO)	1800.2	1809.11	3753030
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache.inv10.ucl--soft-66-100-0.wbo	? (TO)	1800.21	1836.92	3753002
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf8.ucl--soft-33-100-0.wbo	? (TO)	1800.22	1800.62	3753012
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl50_51_pb.cnf.cr--soft-66-100-0.wbo	? (TO)	1800.23	1800.62	3752892
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl10_20_pb.cnf.cr--soft-66-100-0.wbo	? (TO)	1800.24	1785.11	3752870
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh309_wcsp.wbo	? (TO)	1800.24	1805.51	3753134
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf9.ucl--soft-66-100-0.wbo	? (TO)	1800.25	1800.62	3753013
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh06_wcsp.wbo	? (TO)	1800.25	1821.53	3753108
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh214_wcsp.wbo	? (TO)	1800.25	1842.32	3753125
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh215_wcsp.wbo	? (TO)	1800.26	1825.32	3753126
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh07_wcsp.wbo	? (TO)	1800.28	1805.02	3753109
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf6.ucl--soft-33-100-0.wbo	? (TO)	1800.3	1810.01	3753011
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111226368--soft-33-100-0.wbo	? (TO)	1800.33	1800.72	3752952
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh15_wcsp.wbo	? (TO)	1800.33	1808.01	3753115
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh19_wcsp.wbo	? (TO)	1800.35	1805.91	3753118
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900552423--soft-33-100-0.wbo	? (TO)	1800.35	1800.62	3752900
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.2.accl.ucl--soft-33-100-0.wbo	? (TO)	1800.37	1782.12	3753008
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-65-60--soft-66-100-0.wbo	? (TO)	1800.4	1801.72	3752976
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh09_wcsp.wbo	? (TO)	1800.41	1799.62	3753110
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j6010_2-unsat--soft-66-100-0.wbo	? (TO)	1800.41	1849.91	3753026
/PARTIAL-SMALLINT-LIN/wcsp/spot5/ normalized-spot5-54_wcsp.wbo	? (TO)	1800.44	1816.02	3753140
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl20_21_pb.cnf.cr--soft-66-100-0.wbo	? (TO)	1800.5	1801.21	3752876
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh208_wcsp.wbo	? (TO)	1800.58	1813.72	3753121
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-105-100--soft-33-100-0.wbo	? (TO)	1800.68	1808.32	3752957
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-105-100--soft-66-100-0.wbo	? (TO)	1800.7	1803.91	3752958

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/ normalized-j907_8-unsat--soft-66-100-0.wbo	? (problem)	1.36679	2.59754	3753045
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/ normalized-j9039_3-unsat--soft-66-100-0.wbo	? (problem)	1.50677	4.25188	3753043
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j6030_9-unsat--soft-66-100-0.wbo	? (problem)	1.73273	3.53932	3753031
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/ normalized-j9028_2-unsat--soft-66-100-0.wbo	? (problem)	1.9447	4.99256	3753042
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/ normalized-j9012_2-unsat--soft-66-100-0.wbo	? (problem)	1.9707	9.59814	3753039
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/ normalized-j9015_10-unsat--soft-66-100-0.wbo	? (problem)	2.11168	7.3231	3753041
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/ normalized-j9014_1-unsat--soft-66-100-0.wbo	? (problem)	2.38764	13.2907	3753040

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	OPTIMUM	4	2.34064	2.34445	3753174
/SOFT-BIGINT-LIN/PB10/oliveras/j60/ normalized-j6027_4-unsat--soft-0-100-0.wbo	OPTIMUM	6	7.94579	7.97187	3753171
/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.tag14.ucl--soft-0-100-0.wbo	OPTIMUM	1	123.495	130.719	3753161

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
/SOFT-BIGINT-LIN/PB10/oliveras/j90/ normalized-j907_8-unsat--soft-0-100-0.wbo	? (problem)	1.36579	4.60936	3753187
/SOFT-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9039_3-unsat--soft-0-100-0.wbo	? (problem)	1.55376	4.26926	3753184
/SOFT-BIGINT-LIN/PB10/oliveras/j60/ normalized-j6030_9-unsat--soft-0-100-0.wbo	? (problem)	1.64975	5.63648	3753172
/SOFT-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12027_7-unsat--soft-0-100-0.wbo	? (problem)	1.84472	6.12158	3753167
/SOFT-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9010_6-unsat--soft-0-100-0.wbo	? (problem)	1.9487	4.6122	3753178
/SOFT-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12026_5-unsat--soft-0-100-0.wbo	? (problem)	1.9537	4.22628	3753166
/SOFT-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9012_2-unsat--soft-0-100-0.wbo	? (problem)	2.01169	11.5477	3753179
/SOFT-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9028_2-unsat--soft-0-100-0.wbo	? (problem)	2.04569	4.5653	3753182
/SOFT-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9015_10-unsat--soft-0-100-0.wbo	? (problem)	2.21066	9.08196	3753181
/SOFT-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9014_1-unsat--soft-0-100-0.wbo	? (problem)	2.33764	8.26342	3753180
/SOFT-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12015_3-unsat--soft-0-100-0.wbo	? (problem)	2.43763	4.9886	3753164
/SOFT-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9048_1-unsat--soft-0-100-0.wbo	? (problem)	2.52461	9.88981	3753186
/SOFT-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12013_1-unsat--soft-0-100-0.wbo	? (problem)	2.74058	5.67382	3753163
/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl--soft-0-100-0.wbo	? (problem)	7.05093	25.2931	3753155

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

Result page for solver npSolver inc-topdown-quickBound (fixed) (complete)

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

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

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

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

Solver exceeded the memory limit (no solution given) (12 runs) [Show/Hide]

No recognized solution line (37 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 (no solution given) (209 runs) [Show/Hide]

No recognized solution line (7 runs) [Show/Hide]

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

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

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

Solver exceeded the memory limit (no solution given) (1 run) [Show/Hide]

No recognized solution line (14 runs) [Show/Hide]

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

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

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl30_35_pb.cnf.cr--soft-0-100-0.wbo	? (TO)	1800	1800.51	3753198
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-floppy1-7.ucl--soft-0-100-0.wbo	? (TO)	1800.03	1812.92	3752606
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl30_40_pb.cnf.cr--soft-0-100-0.wbo	? (TO)	1800.04	1800.41	3753199
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache.inv8.ucl--soft-0-100-0.wbo	? (TO)	1800.04	1805.02	3752609
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl35_45_pb.cnf.cr--soft-0-100-0.wbo	? (TO)	1800.04	1798.11	3753202
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl40_41_pb.cnf.cr--soft-0-100-0.wbo	? (TO)	1800.04	1800.41	3753203
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-55-50--soft-0-100-0.wbo	? (TO)	1800.04	1800.41	3753280
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-61-60--soft-0-100-0.wbo	? (TO)	1800.04	1800.41	3753281
/SOFT-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j308_1-unsat--soft-0-100-0.wbo	? (TO)	1800.04	1820.52	3752625
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-35-30--soft-0-100-0.wbo	? (TO)	1800.04	1800.41	3753276
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl20_21_pb.cnf.cr--soft-0-100-0.wbo	? (TO)	1800.04	1800.51	3753194
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-101-100--soft-0-100-0.wbo	? (TO)	1800.04	1800.71	3753269
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.tag8.ucl--soft-0-100-0.wbo	? (TO)	1800.04	1800.91	3752620
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-44s.smv--soft-0-100-0.wbo	? (TO)	1800.04	1828.12	3752600
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-41-40--soft-0-100-0.wbo	? (TO)	1800.05	1800.51	3753277
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-51-50--soft-0-100-0.wbo	? (TO)	1800.05	1800.71	3753279
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110976935--soft-0-100-0.wbo	? (TO)	1800.05	1800.51	3753250
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111216411--soft-0-100-0.wbo	? (TO)	1800.05	1800.51	3753258
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-floppy1-2.ucl--soft-0-100-0.wbo	? (TO)	1800.05	1842.51	3752602
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf8.ucl--soft-0-100-0.wbo	? (TO)	1800.06	1800.62	3752619
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111212476--soft-0-100-0.wbo	? (TO)	1800.06	1800.51	3753255
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900554072--soft-0-100-0.wbo	? (TO)	1800.06	1800.41	3753217
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl35_36_pb.cnf.cr--soft-0-100-0.wbo	? (TO)	1800.06	1800.41	3753200
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-21-20--soft-0-100-0.wbo	? (TO)	1800.06	1800.62	3753273
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-15-10--soft-0-100-0.wbo	? (TO)	1800.06	1800.81	3753272
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111226062--soft-0-100-0.wbo	? (TO)	1800.06	1800.61	3753266
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-105-100--soft-0-100-0.wbo	? (TO)	1800.06	1800.51	3753270
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110972154--soft-0-100-0.wbo	? (TO)	1800.06	1800.61	3753246
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110966483--soft-0-100-0.wbo	? (TO)	1800.06	1800.51	3753239
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900584106--soft-0-100-0.wbo	? (TO)	1800.06	1800.41	3753234
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-65-60--soft-0-100-0.wbo	? (TO)	1800.06	1800.41	3753282
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl15_16_pb.cnf.cr--soft-0-100-0.wbo	? (TO)	1800.06	1800.51	3753191
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl50_60_pb.cnf.cr--soft-0-100-0.wbo	? (TO)	1800.06	1800.51	3753208
/SOFT-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j602_7-unsat--soft-0-100-0.wbo	? (TO)	1800.06	1807.11	3752627
/SOFT-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j3041_4-unsat--soft-0-100-0.wbo	? (TO)	1800.06	1800.51	3752623
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-46s.smv--soft-0-100-0.wbo	? (TO)	1800.07	1801.82	3752601
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-25s.smv--soft-0-100-0.wbo	? (TO)	1800.07	1802.51	3752597
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110968561--soft-0-100-0.wbo	? (TO)	1800.07	1800.62	3753242
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111227012--soft-0-100-0.wbo	? (TO)	1800.07	1800.62	3753267
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110977780--soft-0-100-0.wbo	? (TO)	1800.07	1800.62	3753252
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-dlx1c.ucl--soft-0-100-0.wbo	? (TO)	1800.07	1800.41	3752610
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224451--soft-0-100-0.wbo	? (TO)	1800.07	1800.61	3753264
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.4.accl.ucl--soft-0-100-0.wbo	? (TO)	1800.08	1800.81	3752616
/SOFT-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j3029_8-unsat--soft-0-100-0.wbo	? (TO)	1800.08	1800.41	3752622
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-floppy1-6.ucl--soft-0-100-0.wbo	? (TO)	1800.08	1856.72	3752605
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-floppy1-3.ucl--soft-0-100-0.wbo	? (TO)	1800.08	1813.71	3752603
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900545610--soft-0-100-0.wbo	? (TO)	1800.08	1800.41	3753210
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900552288--soft-0-100-0.wbo	? (TO)	1800.08	1800.41	3753215
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-85-80--soft-0-100-0.wbo	? (TO)	1800.08	1800.91	3752593
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-71-70--soft-0-100-0.wbo	? (TO)	1800.08	1800.51	3753283
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110978334--soft-0-100-0.wbo	? (TO)	1800.08	1800.51	3753254
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-11-10--soft-0-100-0.wbo	? (TO)	1800.08	1845.21	3753271
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110970631--soft-0-100-0.wbo	? (TO)	1800.09	1800.41	3753244
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111225605--soft-0-100-0.wbo	? (TO)	1800.09	1800.62	3753265
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900558739--soft-0-100-0.wbo	? (TO)	1800.09	1800.41	3753221
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl10_15_pb.cnf.cr--soft-0-100-0.wbo	? (TO)	1800.1	1804.51	3753189
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900568706--soft-0-100-0.wbo	? (TO)	1800.1	1800.41	3753228
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110967142--soft-0-100-0.wbo	? (TO)	1800.1	1800.51	3753240
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-floppy1-4.ucl--soft-0-100-0.wbo	? (TO)	1800.1	1807.93	3752604
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110978113--soft-0-100-0.wbo	? (TO)	1800.1	1800.62	3753253
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111213868--soft-0-100-0.wbo	? (TO)	1800.1	1800.62	3753257
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl40_50_pb.cnf.cr--soft-0-100-0.wbo	? (TO)	1800.1	1800.41	3753205
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl30_31_pb.cnf.cr--soft-0-100-0.wbo	? (TO)	1800.1	1800.51	3753197
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf7.ucl--soft-0-100-0.wbo	? (TO)	1800.1	1814.71	3752612
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900556231--soft-0-100-0.wbo	? (TO)	1800.11	1800.41	3753218
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900566157--soft-0-100-0.wbo	? (TO)	1800.11	1800.41	3753225
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110974180--soft-0-100-0.wbo	? (TO)	1800.11	1800.61	3753249
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110972763--soft-0-100-0.wbo	? (TO)	1800.11	1800.51	3753247
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-22s.smv--soft-0-100-0.wbo	? (TO)	1800.11	1799.01	3752596
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111228076--soft-0-100-0.wbo	? (TO)	1800.11	1800.51	3753268
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl15_25_pb.cnf.cr--soft-0-100-0.wbo	? (TO)	1800.11	1800.41	3753193
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl20_25_pb.cnf.cr--soft-0-100-0.wbo	? (TO)	1800.11	1800.51	3753195
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111217392--soft-0-100-0.wbo	? (TO)	1800.11	1800.62	3753259
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl20_30_pb.cnf.cr--soft-0-100-0.wbo	? (TO)	1800.11	1800.41	3753196
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900569834--soft-0-100-0.wbo	? (TO)	1800.11	1800.41	3753229
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-31-30--soft-0-100-0.wbo	? (TO)	1800.11	1800.41	3753275
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900570242--soft-0-100-0.wbo	? (TO)	1800.11	1800.72	3753230
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-43s.smv--soft-0-100-0.wbo	? (TO)	1800.12	1801.51	3752599
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110969860--soft-0-100-0.wbo	? (TO)	1800.12	1800.61	3753243
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf6.ucl--soft-0-100-0.wbo	? (TO)	1800.12	1784.41	3752611
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl10_20_pb.cnf.cr--soft-0-100-0.wbo	? (TO)	1800.12	1801.62	3753190
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf7.ucl--soft-0-100-0.wbo	? (TO)	1800.12	1800.91	3752618
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900669797--soft-0-100-0.wbo	? (TO)	1800.12	1800.41	3753236
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-25-20--soft-0-100-0.wbo	? (TO)	1800.12	1800.41	3753274
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900565534--soft-0-100-0.wbo	? (TO)	1800.12	1800.41	3753224
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900568186--soft-0-100-0.wbo	? (TO)	1800.12	1800.41	3753227
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900562192--soft-0-100-0.wbo	? (TO)	1800.12	1800.41	3753222
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900567985--soft-0-100-0.wbo	? (TO)	1800.12	1800.41	3753226
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf8.ucl--soft-0-100-0.wbo	? (TO)	1800.12	1813.12	3752613
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224255--soft-0-100-0.wbo	? (TO)	1800.12	1800.61	3753263
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900552735--soft-0-100-0.wbo	? (TO)	1800.12	1800.41	3753216
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-81-80--soft-0-100-0.wbo	? (TO)	1800.12	1800.41	3752592
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900557957--soft-0-100-0.wbo	? (TO)	1800.12	1800.41	3753220
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110977273--soft-0-100-0.wbo	? (TO)	1800.12	1800.61	3753251
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-95-90--soft-0-100-0.wbo	? (TO)	1800.12	1827.12	3752595
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110967523--soft-0-100-0.wbo	? (TO)	1800.12	1800.62	3753241
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110971363--soft-0-100-0.wbo	? (TO)	1800.12	1800.51	3753245
/SOFT-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j309_10-unsat--soft-0-100-0.wbo	? (TO)	1800.12	1800.41	3752626
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl40_45_pb.cnf.cr--soft-0-100-0.wbo	? (TO)	1800.12	1800.82	3753204
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900550720--soft-0-100-0.wbo	? (TO)	1800.13	1800.41	3753213
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900548667--soft-0-100-0.wbo	? (TO)	1800.13	1800.41	3753211
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900581320--soft-0-100-0.wbo	? (TO)	1800.13	1800.41	3753233
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900667195--soft-0-100-0.wbo	? (TO)	1800.13	1800.41	3753235
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900577940--soft-0-100-0.wbo	? (TO)	1800.13	1800.41	3753232
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-45-40--soft-0-100-0.wbo	? (TO)	1800.13	1800.51	3753278
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900670167--soft-0-100-0.wbo	? (TO)	1800.13	1800.41	3753237
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900564281--soft-0-100-0.wbo	? (TO)	1800.13	1800.41	3753223
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl50_55_pb.cnf.cr--soft-0-100-0.wbo	? (TO)	1800.13	1798.11	3753207
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900551347--soft-0-100-0.wbo	? (TO)	1800.13	1800.41	3753214
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.3.accl.ucl--soft-0-100-0.wbo	? (TO)	1800.13	1800.41	3752615
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900670234--soft-0-100-0.wbo	? (TO)	1800.13	1800.41	3753238
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900557574--soft-0-100-0.wbo	? (TO)	1800.13	1800.41	3753219
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-91-90--soft-0-100-0.wbo	? (TO)	1800.13	1800.62	3752594
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.2.accl.ucl--soft-0-100-0.wbo	? (TO)	1800.13	1800.41	3752614
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900550006--soft-0-100-0.wbo	? (TO)	1800.13	1800.41	3753212
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900544484--soft-0-100-0.wbo	? (TO)	1800.13	1800.41	3753209
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218024--soft-0-100-0.wbo	? (TO)	1800.13	1800.62	3753260
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl50_51_pb.cnf.cr--soft-0-100-0.wbo	? (TO)	1800.13	1800.51	3753206
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111222539--soft-0-100-0.wbo	? (TO)	1800.14	1800.72	3753261
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110973670--soft-0-100-0.wbo	? (TO)	1800.14	1800.72	3753248
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900571132--soft-0-100-0.wbo	? (TO)	1800.14	1800.62	3753231
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111223220--soft-0-100-0.wbo	? (TO)	1800.15	1800.61	3753262
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111213670--soft-0-100-0.wbo	? (TO)	1800.18	1800.71	3753256
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl35_40_pb.cnf.cr--soft-0-100-0.wbo	? (TO)	1800.2	1800.68	3753201
/SOFT-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j301_4-unsat--soft-0-100-0.wbo	? (TO)	1800.2	1832.52	3752621
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-75-70--soft-0-100-0.wbo	? (TO)	1800.21	1802.82	3752591
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl15_20_pb.cnf.cr--soft-0-100-0.wbo	? (TO)	1800.24	1800.62	3753192
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl10_11_pb.cnf.cr--soft-0-100-0.wbo	? (TO)	1800.24	1807.21	3753188
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-tlan2.ucl--soft-0-100-0.wbo	? (TO)	1800.31	1804.31	3752608
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-floppy1-8.ucl--soft-0-100-0.wbo	? (TO)	1800.35	1825.21	3752607
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf6.ucl--soft-0-100-0.wbo	? (TO)	1800.42	1799.52	3752617
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-37s.smv--soft-0-100-0.wbo	? (TO)	1800.57	1801.72	3752598
/SOFT-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j3046_4-unsat--soft-0-100-0.wbo	? (TO)	1800.89	1805.12	3752624