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/ mprime/normalized-mprime03cc_wcsp.wbo	OPTIMUM	326	1.46778	1.45347	3754143
/PARTIAL-BIGINT-LIN/wcsp/ mprime/normalized-mprime03bc_wcsp.wbo	OPTIMUM	353	1.50977	1.50329	3754141
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog01cc_wcsp.wbo	OPTIMUM	1045	1.77673	1.77708	3754102
/PARTIAL-BIGINT-LIN/wcsp/ mprime/normalized-mprime03ac_wcsp.wbo	OPTIMUM	278	2.00969	2.00926	3754140
/PARTIAL-BIGINT-LIN/wcsp/mprime/ normalized-mprime03c_wcsp.wbo	OPTIMUM	278	2.01169	2.00902	3754142
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog01bc_wcsp.wbo	OPTIMUM	2413	2.30865	2.3108	3754100
/PARTIAL-BIGINT-LIN/wcsp/ depot/normalized-depot01bc_wcsp.wbo	OPTIMUM	1794	2.38664	2.37696	3754097
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-pedck60-L1_wcsp.wbo	OPTIMUM	2	2.53161	2.53508	3754154
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-pedck60-L2_wcsp.wbo	OPTIMUM	2	2.84757	2.84804	3754155
/PARTIAL-BIGINT-LIN/wcsp/ depot/normalized-depot01cc_wcsp.wbo	OPTIMUM	1982	3.13752	3.15374	3754099
/PARTIAL-BIGINT-LIN/wcsp/ depot/normalized-depot01ac_wcsp.wbo	OPTIMUM	1549	3.56246	3.57537	3754096
/PARTIAL-BIGINT-LIN/wcsp/depot/ normalized-depot01c_wcsp.wbo	OPTIMUM	1549	3.58046	3.58496	3754098
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12023_3-unsat--soft-66-100-0.wbo	OPTIMUM	2	3.67744	3.68122	3754047
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt3c_wcsp.wbo	OPTIMUM	304	3.69144	3.68962	3754071
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-pedck60-L12_wcsp.wbo	OPTIMUM	6	3.83542	3.84214	3754153
/PARTIAL-BIGINT-LIN/PB10/oliveras/j90/ normalized-j903_10-unsat--soft-33-100-0.wbo	OPTIMUM	5	3.89241	5.0274	3754066
/PARTIAL-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9035_1-unsat--soft-66-100-0.wbo	OPTIMUM	3	4.31934	4.34637	3754064
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog01c_wcsp.wbo	OPTIMUM	1113	4.44332	4.50464	3754101
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-saudiarabia_wcsp.wbo	OPTIMUM	0	5.48517	5.48666	3754156
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt3cc_wcsp.wbo	OPTIMUM	153	5.55315	5.65904	3754072
/PARTIAL-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9035_1-unsat--soft-33-100-0.wbo	OPTIMUM	8	6.11107	6.2224	3754063
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j1205_1-unsat--soft-33-100-0.wbo	OPTIMUM	3	8.30874	8.30254	3754054
/PARTIAL-BIGINT-LIN/PB10/oliveras/j60/ normalized-j6033_2-unsat--soft-33-100-0.wbo	OPTIMUM	23	14.2758	14.2851	3754057
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-pedck350_wcsp.wbo	OPTIMUM	2	15.0257	15.0331	3754150
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-pedck350l3_wcsp.wbo	OPTIMUM	0	15.5976	15.5986	3754152
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-pedck350l2_wcsp.wbo	OPTIMUM	1	15.8036	15.8008	3754151
/PARTIAL-BIGINT-LIN/wcsp/ pedigree/normalized-eye_wcsp.wbo	OPTIMUM	1	20.0849	20.18	3754148
/PARTIAL-BIGINT-LIN/wcsp/ rover/normalized-rovers02bc_wcsp.wbo	OPTIMUM	1552	82.9214	82.9749	3754165
/PARTIAL-BIGINT-LIN/wcsp/ logistics/normalized-logistics01cc_wcsp.wbo	OPTIMUM	4198	91.993	92.0737	3754135
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-pedck1000_wcsp.wbo	OPTIMUM	19	92.6047	87.1968	3754149
/PARTIAL-BIGINT-LIN/wcsp/ rover/normalized-rovers02c_wcsp.wbo	OPTIMUM	1579	129.71	129.746	3754166
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.tag14.ucl--soft-33-100-0.wbo	OPTIMUM	1	158.976	172.529	3754038
/PARTIAL-BIGINT-LIN/wcsp/ rover/normalized-rovers02ac_wcsp.wbo	OPTIMUM	1579	176.431	176.458	3754164
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-1502_wcsp.wbo	OPTIMUM	28042	183.455	183.493	3754200
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j1205_1-unsat--soft-66-100-0.wbo	OPTIMUM	17	203.135	203.374	3754055
/PARTIAL-BIGINT-LIN/wcsp/academics/ normalized-warehouse1_wcsp.wbo	OPTIMUM	674555	231.029	231.124	3754070
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-tlan3.ucl--soft-33-100-0.wbo	OPTIMUM	2	245.764	245.81	3754014
/PARTIAL-BIGINT-LIN/wcsp/ logistics/normalized-logistics01ac_wcsp.wbo	OPTIMUM	8265	287.17	302.785	3754132
/PARTIAL-BIGINT-LIN/wcsp/logistics/ normalized-logistics01c_wcsp.wbo	OPTIMUM	8265	292.004	292.12	3754134
/PARTIAL-BIGINT-LIN/wcsp/ rover/normalized-rovers02cc_wcsp.wbo	OPTIMUM	1587	398.732	398.89	3754167
/PARTIAL-BIGINT-LIN/wcsp/ logistics/normalized-logistics01bc_wcsp.wbo	OPTIMUM	7560	562.062	562.179	3754133
/PARTIAL-BIGINT-LIN/wcsp/spot5/ normalized-spot5-29_wcsp.wbo	OPTIMUM	8059	765.129	765.253	3754204
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-503_wcsp.wbo	OPTIMUM	11113	796.27	796.449	3754209
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12023_3-unsat--soft-33-100-0.wbo	OPTIMUM	8	1139.85	1140.05	3754046
/PARTIAL-BIGINT-LIN/wcsp/ zenotravel/normalized-zenotravel02cc_wcsp.wbo	OPTIMUM	724	1268.43	1268.83	3754247
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt4c_wcsp.wbo	OPTIMUM	456	1712.35	1712.65	3754074

Benchmark Name	Answer	cost of falsified constraints	CPU time	Wall clock time	TraceID
/PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph11_wcsp.wbo	?		213.345	216.254	3754125
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen07_wcsp.wbo	?		251.854	252.251	3754190

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
/PARTIAL-BIGINT-LIN/wcsp/zenotravel/ normalized-zenotravel04c_wcsp.wbo	? (TO)	1800	1800.32	3754250
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-507_wcsp.wbo	? (TO)	1800.01	1802.22	3754211
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.ex.br.mem.RobRegValid_bar.ucl--soft-66-100-0.wbo	? (TO)	1800.01	1800.92	3754030
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-509_wcsp.wbo	? (TO)	1800.01	1800.41	3754212
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf10.ucl--soft-33-100-0.wbo	? (TO)	1800.01	1800.32	3754035
/PARTIAL-BIGINT-LIN/wcsp/ scens/normalized-scen06-18_wcsp.wbo	? (TO)	1800.01	1800.62	3754177
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.ex.mem.LdValue.ucl--soft-33-100-0.wbo	? (TO)	1800.01	1800.52	3754033
/PARTIAL-BIGINT-LIN/wcsp/ zenotravel/normalized-zenotravel04cc_wcsp.wbo	? (TO)	1800.02	1800.42	3754251
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-1403_wcsp.wbo	? (TO)	1800.02	1800.42	3754197
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache.inv14.ucl--soft-66-100-0.wbo	? (TO)	1800.02	1801.12	3754024
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar7-sub1-20_wcsp.wbo	? (TO)	1800.02	1800.52	3754090
/PARTIAL-BIGINT-LIN/wcsp/mprime/ normalized-mprime01c_wcsp.wbo	? (TO)	1800.02	1800.41	3754138
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap132_wcsp.wbo	? (TO)	1800.02	1800.41	3754222
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capmp4_wcsp.wbo	? (TO)	1800.02	1800.42	3754241
/PARTIAL-BIGINT-LIN/wcsp/spot5/ normalized-spot5-42_wcsp.wbo	? (TO)	1800.02	1800.42	3754208
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-1401_wcsp.wbo	? (TO)	1800.02	1800.42	3754196
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Ic22arity.ucl--soft-33-100-0.wbo	? (TO)	1800.03	1800.42	3754017
/PARTIAL-BIGINT-LIN/wcsp/mprime/ normalized-mprime04c_wcsp.wbo	? (TO)	1800.03	1800.42	3754146
/PARTIAL-BIGINT-LIN/wcsp/ scens/normalized-scen06-30_wcsp.wbo	? (TO)	1800.03	1800.42	3754185
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog04cc_wcsp.wbo	? (TO)	1800.03	1800.41	3754110
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capmq1_wcsp.wbo	? (TO)	1800.03	1800.52	3754242
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-505_wcsp.wbo	? (TO)	1800.03	1800.41	3754210
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap113_wcsp.wbo	? (TO)	1800.03	1800.41	3754217
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-1405_wcsp.wbo	? (TO)	1800.03	1800.62	3754198
/PARTIAL-BIGINT-LIN/wcsp/ zenotravel/normalized-zenotravel04bc_wcsp.wbo	? (TO)	1800.04	1800.42	3754249
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-414_wcsp.wbo	? (TO)	1800.04	1800.41	3754207
/PARTIAL-BIGINT-LIN/wcsp/spot5/ normalized-spot5-28_wcsp.wbo	? (TO)	1800.04	1800.42	3754203
/PARTIAL-BIGINT-LIN/wcsp/ zenotravel/normalized-zenotravel02ac_wcsp.wbo	? (TO)	1800.04	1800.51	3754244
/PARTIAL-BIGINT-LIN/wcsp/zenotravel/ normalized-zenotravel02c_wcsp.wbo	? (TO)	1800.04	1800.41	3754246
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-1506_wcsp.wbo	? (TO)	1800.04	1800.82	3754202
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar6-sub4reduc_wcsp.wbo	? (TO)	1800.04	1800.42	3754088
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog02bc_wcsp.wbo	? (TO)	1800.04	1800.42	3754104
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog05ac_wcsp.wbo	? (TO)	1800.04	1800.62	3754111
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12041_4-unsat--soft-33-100-0.wbo	? (TO)	1800.04	1800.42	3754052
/PARTIAL-BIGINT-LIN/wcsp/ academics/normalized-slangford-3-11_wcsp.wbo	? (TO)	1800.05	1800.42	3754069
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog04bc_wcsp.wbo	? (TO)	1800.05	1800.41	3754108
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.ex.br.mem.RobRegValid_bar.ucl--soft-33-100-0.wbo	? (TO)	1800.05	1800.72	3754029
/PARTIAL-BIGINT-LIN/wcsp/ driver/normalized-driverlog09_wcsp.wbo	? (TO)	1800.05	1800.42	3754119
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap123_wcsp.wbo	? (TO)	1800.05	1800.42	3754219
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.tag14.ucl--soft-66-100-0.wbo	? (TO)	1800.05	1800.42	3754039
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-408_wcsp.wbo	? (TO)	1800.05	1800.42	3754205
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capmq5_wcsp.wbo	? (TO)	1800.05	1802.02	3754243
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap124_wcsp.wbo	? (TO)	1800.05	1800.41	3754220
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Icl2arity.ucl--soft-33-100-0.wbo	? (TO)	1800.05	1800.52	3754019
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf9.ucl--soft-33-100-0.wbo	? (TO)	1800.06	1800.42	3754027
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap74_wcsp.wbo	? (TO)	1800.06	1800.41	3754231
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar6-sub4-20_wcsp.wbo	? (TO)	1800.06	1800.42	3754086
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12041_4-unsat--soft-66-100-0.wbo	? (TO)	1800.06	1806.22	3754053
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt5c_wcsp.wbo	? (TO)	1800.06	1800.42	3754078
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen06-18reduc_wcsp.wbo	? (TO)	1800.06	1800.42	3754178
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap114_wcsp.wbo	? (TO)	1800.06	1800.41	3754218
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog02c_wcsp.wbo	? (TO)	1800.06	1800.42	3754105
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap73_wcsp.wbo	? (TO)	1800.06	1800.41	3754230
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capmo3_wcsp.wbo	? (TO)	1800.06	1800.52	3754236
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog02cc_wcsp.wbo	? (TO)	1800.06	1800.42	3754106
/PARTIAL-BIGINT-LIN/wcsp/ satellite/normalized-satellite01cc_wcsp.wbo	? (TO)	1800.06	1800.41	3754171
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap61_wcsp.wbo	? (TO)	1800.06	1805.82	3754227
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf10.ucl--soft-66-100-0.wbo	? (TO)	1800.06	1800.42	3754026
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap103_wcsp.wbo	? (TO)	1800.07	1800.41	3754215
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt5ac_wcsp.wbo	? (TO)	1800.07	1800.42	3754076
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap112_wcsp.wbo	? (TO)	1800.07	1800.41	3754216
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap62_wcsp.wbo	? (TO)	1800.07	1800.41	3754228
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-full.all.ucl--soft-33-100-0.wbo	? (TO)	1800.07	1800.63	3754015
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt4bc_wcsp.wbo	? (TO)	1800.07	1800.41	3754073
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap44_wcsp.wbo	? (TO)	1800.07	1800.41	3754226
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar6-sub0_wcsp.wbo	? (TO)	1800.07	1800.82	3754081
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capmo2_wcsp.wbo	? (TO)	1800.07	1800.42	3754235
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog02ac_wcsp.wbo	? (TO)	1800.07	1800.42	3754103
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt5bc_wcsp.wbo	? (TO)	1800.07	1800.42	3754077
/PARTIAL-BIGINT-LIN/wcsp/ satellite/normalized-satellite02ac_wcsp.wbo	? (TO)	1800.07	1800.42	3754172
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.tag12.ucl--soft-33-100-0.wbo	? (TO)	1800.07	1800.42	3754037
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt5cc_wcsp.wbo	? (TO)	1800.07	1800.42	3754079
/PARTIAL-BIGINT-LIN/wcsp/ satellite/normalized-satellite01bc_wcsp.wbo	? (TO)	1800.07	1800.41	3754169
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.ex.mem.LdValue.ucl--soft-66-100-0.wbo	? (TO)	1800.08	1800.42	3754034
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Icl2arity.ucl--soft-66-100-0.wbo	? (TO)	1800.08	1800.42	3754020
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen06-24reduc_wcsp.wbo	? (TO)	1800.08	1800.42	3754184
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar7-sub0_wcsp.wbo	? (TO)	1800.08	1800.42	3754089
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capmp1_wcsp.wbo	? (TO)	1800.08	1800.42	3754238
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap131_wcsp.wbo	? (TO)	1800.08	1800.41	3754221
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap101_wcsp.wbo	? (TO)	1800.08	1800.41	3754214
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capmo4_wcsp.wbo	? (TO)	1800.08	1800.42	3754237
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap82_wcsp.wbo	? (TO)	1800.08	1800.51	3754233
/PARTIAL-BIGINT-LIN/wcsp/ mprime/normalized-mprime04bc_wcsp.wbo	? (TO)	1800.08	1800.42	3754145
/PARTIAL-BIGINT-LIN/wcsp/ mprime/normalized-mprime04ac_wcsp.wbo	? (TO)	1800.08	1800.42	3754144
/PARTIAL-BIGINT-LIN/wcsp/ satellite/normalized-satellite02bc_wcsp.wbo	? (TO)	1800.08	1800.42	3754173
/PARTIAL-BIGINT-LIN/wcsp/ scens/normalized-scen06-24_wcsp.wbo	? (TO)	1800.08	1800.42	3754183
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog05c_wcsp.wbo	? (TO)	1800.08	1800.42	3754113
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlogs06_wcsp.wbo	? (TO)	1800.08	1800.41	3754121
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog08ac_wcsp.wbo	? (TO)	1800.08	1800.42	3754115
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt6_wcsp.wbo	? (TO)	1800.08	1800.62	3754080
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache.inv12.ucl--soft-66-100-0.wbo	? (TO)	1800.08	1800.82	3754022
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf10.ucl--soft-33-100-0.wbo	? (TO)	1800.08	1800.42	3754025
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-1504_wcsp.wbo	? (TO)	1800.08	1801.11	3754201
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog05cc_wcsp.wbo	? (TO)	1800.09	1800.42	3754114
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capmo1_wcsp.wbo	? (TO)	1800.09	1800.42	3754234
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar6-sub1_wcsp.wbo	? (TO)	1800.09	1800.43	3754083
/PARTIAL-BIGINT-LIN/wcsp/ mprime/normalized-mprime04cc_wcsp.wbo	? (TO)	1800.09	1800.42	3754147
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog04c_wcsp.wbo	? (TO)	1800.09	1800.42	3754109
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-full.all.ucl--soft-66-100-0.wbo	? (TO)	1800.09	1800.42	3754016
/PARTIAL-BIGINT-LIN/wcsp/ satellite/normalized-satellite02cc_wcsp.wbo	? (TO)	1800.09	1800.52	3754174
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar6-sub2_wcsp.wbo	? (TO)	1800.09	1803.13	3754084
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar7-sub4-22_wcsp.wbo	? (TO)	1800.09	1800.42	3754094
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen06-22reduc_wcsp.wbo	? (TO)	1800.09	1800.42	3754182
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlogs03_wcsp.wbo	? (TO)	1800.09	1800.41	3754120
/PARTIAL-BIGINT-LIN/wcsp/ scens/normalized-scen06-22_wcsp.wbo	? (TO)	1800.09	1800.42	3754181
/PARTIAL-BIGINT-LIN/wcsp/ zenotravel/normalized-zenotravel04ac_wcsp.wbo	? (TO)	1800.09	1800.42	3754248
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen06-16reduc_wcsp.wbo	? (TO)	1800.09	1800.42	3754176
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capmp3_wcsp.wbo	? (TO)	1800.09	1800.42	3754240
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen07_10000_30r_wcsp.wbo	? (TO)	1800.09	1800.52	3754189
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capmp2_wcsp.wbo	? (TO)	1800.09	1800.52	3754239
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.unbounded.all.ucl--soft-66-100-0.wbo	? (TO)	1800.09	1800.42	3754041
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog08bc_wcsp.wbo	? (TO)	1800.09	1800.42	3754116
/PARTIAL-BIGINT-LIN/wcsp/ satellite/normalized-satellite01ac_wcsp.wbo	? (TO)	1800.09	1800.41	3754168
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-1407_wcsp.wbo	? (TO)	1800.09	1800.62	3754199
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog05bc_wcsp.wbo	? (TO)	1800.1	1800.42	3754112
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen06-30reduc_wcsp.wbo	? (TO)	1800.1	1800.42	3754186
/PARTIAL-BIGINT-LIN/wcsp/ scens/normalized-scen06-20_wcsp.wbo	? (TO)	1800.1	1802.42	3754179
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog08c_wcsp.wbo	? (TO)	1800.1	1800.42	3754117
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache.inv12.ucl--soft-33-100-0.wbo	? (TO)	1800.1	1800.42	3754021
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog04ac_wcsp.wbo	? (TO)	1800.1	1800.42	3754107
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Ic22arity.ucl--soft-66-100-0.wbo	? (TO)	1800.1	1800.42	3754018
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog08cc_wcsp.wbo	? (TO)	1800.1	1800.42	3754118
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap81_wcsp.wbo	? (TO)	1800.1	1800.41	3754232
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar6-sub1-24_wcsp.wbo	? (TO)	1800.1	1800.42	3754082
/PARTIAL-BIGINT-LIN/wcsp/satellite/ normalized-satellite01c_wcsp.wbo	? (TO)	1800.1	1800.41	3754170
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap134_wcsp.wbo	? (TO)	1800.1	1800.41	3754223
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.unbounded.all.ucl--soft-33-100-0.wbo	? (TO)	1800.1	1800.42	3754040
/PARTIAL-BIGINT-LIN/wcsp/ mprime/normalized-mprime01cc_wcsp.wbo	? (TO)	1800.1	1800.41	3754139
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen06-20reduc_wcsp.wbo	? (TO)	1800.1	1800.62	3754180
/PARTIAL-BIGINT-LIN/wcsp/ mprime/normalized-mprime01ac_wcsp.wbo	? (TO)	1800.11	1800.41	3754136
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf9.ucl--soft-33-100-0.wbo	? (TO)	1800.12	1800.42	3754036
/PARTIAL-BIGINT-LIN/wcsp/ mprime/normalized-mprime01bc_wcsp.wbo	? (TO)	1800.12	1800.41	3754137
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap42_wcsp.wbo	? (TO)	1800.12	1800.41	3754224
/PARTIAL-BIGINT-LIN/wcsp/ zenotravel/normalized-zenotravel02bc_wcsp.wbo	? (TO)	1800.12	1800.41	3754245
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap64_wcsp.wbo	? (TO)	1800.13	1800.41	3754229
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt4cc_wcsp.wbo	? (TO)	1800.13	1800.41	3754075
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-412_wcsp.wbo	? (TO)	1800.14	1800.52	3754206
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap43_wcsp.wbo	? (TO)	1800.14	1800.62	3754225
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache.inv14.ucl--soft-33-100-0.wbo	? (TO)	1800.53	1800.82	3754023
/PARTIAL-BIGINT-LIN/wcsp/spot5/ normalized-spot5-5_wcsp.wbo	? (TO)	1800.76	1801.14	3754213
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.8.accl.ucl--soft-33-100-0.wbo	? (TO)	1839.67	1839.98	3754028

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
/PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph11reducmore_wcsp.wbo	? (MO)	121.74	413.027	3754127
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar6-sub3_wcsp.wbo	? (MO)	126.21	126.286	3754085
/PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph11reduc_wcsp.wbo	? (MO)	127.57	128.622	3754126
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen06reduc_wcsp.wbo	? (MO)	130.04	130.125	3754188
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar7-sub1_wcsp.wbo	? (MO)	130.65	130.738	3754091
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar6-sub4_wcsp.wbo	? (MO)	135.64	135.7	3754087
/PARTIAL-BIGINT-LIN/wcsp/ scens/normalized-scen06-16_wcsp.wbo	? (MO)	155.26	335.621	3754175
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar7-sub2_wcsp.wbo	? (MO)	159.44	159.528	3754092
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar7-sub3_wcsp.wbo	? (MO)	159.7	166.027	3754093
/PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph07_wcsp.wbo	? (MO)	180.51	214.527	3754124
/PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph05_wcsp.wbo	? (MO)	206.03	255.86	3754122
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen08_wcsp.wbo	? (MO)	263.44	264.725	3754192
/PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph13_wcsp.wbo	? (MO)	264.99	267.12	3754129

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.3328	3.96888	3754068
/PARTIAL-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9039_3-unsat--soft-33-100-0.wbo	? (problem)	1.52277	6.22302	3754065
/PARTIAL-BIGINT-LIN/PB10/oliveras/j60/ normalized-j6030_9-unsat--soft-33-100-0.wbo	? (problem)	1.71074	3.8097	3754056
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12026_5-unsat--soft-33-100-0.wbo	? (problem)	1.84172	5.25621	3754048
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12027_7-unsat--soft-66-100-0.wbo	? (problem)	1.86971	3.60245	3754051
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12026_5-unsat--soft-66-100-0.wbo	? (problem)	1.87371	5.39298	3754049
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12027_7-unsat--soft-33-100-0.wbo	? (problem)	1.89471	5.28161	3754050
/PARTIAL-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9010_6-unsat--soft-33-100-0.wbo	? (problem)	1.91071	6.25441	3754058
/PARTIAL-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9028_2-unsat--soft-33-100-0.wbo	? (problem)	1.9897	9.34883	3754062
/PARTIAL-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9012_2-unsat--soft-33-100-0.wbo	? (problem)	1.9917	5.87166	3754059
/PARTIAL-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9015_10-unsat--soft-33-100-0.wbo	? (problem)	2.13467	7.66776	3754061
/PARTIAL-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9014_1-unsat--soft-33-100-0.wbo	? (problem)	2.29165	6.96953	3754060
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12015_3-unsat--soft-33-100-0.wbo	? (problem)	2.36564	7.90694	3754044
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12015_3-unsat--soft-66-100-0.wbo	? (problem)	2.44863	5.01088	3754045
/PARTIAL-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9048_1-unsat--soft-33-100-0.wbo	? (problem)	2.53661	7.86341	3754067
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12013_1-unsat--soft-66-100-0.wbo	? (problem)	2.68659	8.06895	3754043
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12013_1-unsat--soft-33-100-0.wbo	? (problem)	2.77158	5.93279	3754042
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl--soft-66-100-0.wbo	? (problem)	6.31704	26.9407	3754032
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl--soft-33-100-0.wbo	? (problem)	6.84496	21.1806	3754031
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-sheep4r-4-0_wcsp.wbo	? (problem)	22.2856	109.099	3754158
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-sheep4r-4-2_wcsp.wbo	? (problem)	27.6058	126.251	3754160
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-sheep4r-4-1_wcsp.wbo	? (problem)	28.1487	102.881	3754159
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-wijsmanguo_wcsp.wbo	? (problem)	38.2042	161.295	3754163
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-sheep4r-4-3_wcsp.wbo	? (problem)	48.4026	200.391	3754161
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar7-sub4_wcsp.wbo	? (problem)	130.494	398.432	3754095
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-sheep4nr_wcsp.wbo	? (problem)	144.945	432.859	3754157
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-sheep4r_wcsp.wbo	? (problem)	146.328	360.701	3754162
/PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph06_wcsp.wbo	? (problem)	154.419	392.864	3754123
/PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph12_wcsp.wbo	? (problem)	163.055	390.812	3754128
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen08reduc_wcsp.wbo	? (problem)	168.499	672.977	3754193
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen07reduc_wcsp.wbo	? (problem)	181.842	483.314	3754191
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen06_wcsp.wbo	? (problem)	195.562	460.879	3754187
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen10_wcsp.wbo	? (problem)	219.182	503.788	3754195
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen09_wcsp.wbo	? (problem)	234.393	476.23	3754194
/PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph13reducmore_wcsp.wbo	? (problem)	254.265	569.752	3754131
/PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph13reduc_wcsp.wbo	? (problem)	286.898	552.646	3754130

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.029994	0.0321741	3754434
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-4queens_wcsp.wbo	OPTIMUM	0	0.030995	0.0359539	3754433
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-langford-2-4_wcsp.wbo	OPTIMUM	0	0.037993	0.040736	3754438
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-8queens_wcsp.wbo	OPTIMUM	0	0.038993	0.0417901	3754435
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-geom30a-6_wcsp.wbo	OPTIMUM	0	0.039993	0.041687	3754450
/PARTIAL-SMALLINT-LIN/wcsp/ pedigree/normalized-sobel_wcsp.wbo	OPTIMUM	0	0.041992	0.0453271	3754524
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-pret60_40_ext.wbo	OPTIMUM	1	0.041993	0.047084	3754487
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-geom40-6_wcsp.wbo	OPTIMUM	0	0.042993	0.0467941	3754455
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-pret60_25_ext.wbo	OPTIMUM	1	0.043992	0.047412	3754486
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois25_ext.wbo	OPTIMUM	1	0.046992	0.048381	3754475
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois29_ext.wbo	OPTIMUM	1	0.046992	0.0505289	3754479
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois23_ext.wbo	OPTIMUM	1	0.046992	0.048402	3754473
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois22_ext.wbo	OPTIMUM	1	0.046992	0.0454139	3754472
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-pret60_75_ext.wbo	OPTIMUM	1	0.047992	0.04685	3754489
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-pret60_60_ext.wbo	OPTIMUM	1	0.049992	0.04794	3754488
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-zebre-ext_wcsp.wbo	OPTIMUM	0	0.050991	0.0537919	3754444
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh217_wcsp.wbo	OPTIMUM	0	0.051991	0.0539139	3754513
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois20_ext.wbo	OPTIMUM	1	0.051991	0.051703	3754470
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois27_ext.wbo	OPTIMUM	1	0.051991	0.0498401	3754477
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois21_ext.wbo	OPTIMUM	1	0.051991	0.0522311	3754471
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-geom30a-5_wcsp.wbo	OPTIMUM	1	0.05299	0.053358	3754449
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-queen5-5-5_wcsp.wbo	OPTIMUM	0	0.052991	0.052309	3754466
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois24_ext.wbo	OPTIMUM	1	0.052991	0.05037	3754474
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh210_wcsp.wbo	OPTIMUM	0	0.053991	0.0544161	3754508
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh220_wcsp.wbo	OPTIMUM	0	0.05499	0.0554151	3754515
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh218_wcsp.wbo	OPTIMUM	0	0.05699	0.0554759	3754514
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh01_wcsp.wbo	OPTIMUM	0	0.05699	0.057937	3754492
/PARTIAL-SMALLINT-LIN/wcsp/spot5/ normalized-spot5-8_wcsp.wbo	OPTIMUM	2	0.05799	0.064949	3754527
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois28_ext.wbo	OPTIMUM	1	0.061989	0.061677	3754478
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-myciel5g-6_wcsp.wbo	OPTIMUM	0	0.063989	0.066125	3754463
/PARTIAL-SMALLINT-LIN/wcsp/pedigree/ normalized-connell_wcsp.wbo	OPTIMUM	1	0.064989	0.068038	3754522
/PARTIAL-SMALLINT-LIN/wcsp/pedigree/ normalized-simple_wcsp.wbo	OPTIMUM	1	0.067989	0.0755801	3754523
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois26_ext.wbo	OPTIMUM	1	0.068989	0.068262	3754476
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois30_ext.wbo	OPTIMUM	1	0.072988	0.069969	3754480
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-geom40-5_wcsp.wbo	OPTIMUM	1	0.075987	0.0787151	3754454
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-2.ucl--soft-66-100-0.wbo	OPTIMUM	1	0.083986	0.0850501	3754377
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-pret150_40_ext.wbo	OPTIMUM	1	0.084986	0.0837441	3754483
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-pret150_60_ext.wbo	OPTIMUM	1	0.084987	0.0858501	3754484
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois50_ext.wbo	OPTIMUM	1	0.085986	0.083531	3754481
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-pret150_25_ext.wbo	OPTIMUM	1	0.085986	0.085796	3754482
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-pret150_75_ext.wbo	OPTIMUM	1	0.103983	0.103118	3754485
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-geom40-4_wcsp.wbo	OPTIMUM	3	0.118981	0.11785	3754453
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-3.ucl--soft-66-100-0.wbo	OPTIMUM	1	0.12398	0.134657	3754379
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-3.ucl--soft-33-100-0.wbo	OPTIMUM	8	0.135979	0.136926	3754378
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-ssa0432-003_ext.wbo	OPTIMUM	1	0.142977	0.14154	3754490
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-8wqueens_wcsp.wbo	OPTIMUM	2	0.161974	0.165449	3754436
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-2.ucl--soft-33-100-0.wbo	OPTIMUM	1	0.206967	0.206599	3754376
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-geom30a-4_wcsp.wbo	OPTIMUM	4	0.210967	0.213461	3754448
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-37s.smv--soft-33-100-0.wbo	OPTIMUM	1	0.229964	0.230129	3754374
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois100_ext.wbo	OPTIMUM	1	0.251961	0.249968	3754469
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh212_wcsp.wbo	OPTIMUM	0	0.267959	0.277325	3754510
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-bf2670-001_ext.wbo	OPTIMUM	1	0.405937	0.409288	3754468
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-bf0432-007_ext.wbo	OPTIMUM	1	0.419935	0.418803	3754467
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-ssa2670-141_ext.wbo	OPTIMUM	1	0.435933	0.434126	3754491
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-6.ucl--soft-66-100-0.wbo	OPTIMUM	1	0.467928	0.469588	3754380
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh205_wcsp.wbo	OPTIMUM	0	0.51592	0.522304	3754506
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf6.ucl--soft-33-100-0.wbo	OPTIMUM	1	0.949855	0.946886	3754397
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j301_4-unsat--soft-66-100-0.wbo	OPTIMUM	21	0.97785	0.98372	3754403
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-8.ucl--soft-66-100-0.wbo	OPTIMUM	4	1.02284	1.02472	3754384
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-geom40-3_wcsp.wbo	OPTIMUM	7	1.47378	1.4783	3754452
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-46s.smv--soft-33-100-0.wbo	OPTIMUM	1	1.59876	1.59992	3754375
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-warehouse0_wcsp.wbo	OPTIMUM	328	1.63375	1.63563	3754442
/PARTIAL-SMALLINT-LIN/wcsp/ academics/normalized-send_wcsp.wbo	OPTIMUM	0	1.82772	1.83239	3754441
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j603_2-unsat--soft-33-100-0.wbo	OPTIMUM	6	1.89571	1.90141	3754419
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-tlan2.ucl--soft-66-100-0.wbo	OPTIMUM	2	1.9347	1.93968	3754386
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-7.ucl--soft-66-100-0.wbo	OPTIMUM	4	1.9557	2.0012	3754382
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-zebra_wcsp.wbo	OPTIMUM	0	2.40463	2.4001	3754443
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j602_7-unsat--soft-33-100-0.wbo	OPTIMUM	6	2.55661	2.5671	3754415
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/ normalized-j903_10-unsat--soft-66-100-0.wbo	OPTIMUM	4	2.74258	2.75157	3754430
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j606_1-unsat--soft-33-100-0.wbo	OPTIMUM	3	3.17352	3.29814	3754424
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j603_2-unsat--soft-66-100-0.wbo	OPTIMUM	31	3.39048	3.39641	3754420
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-geom40-2_wcsp.wbo	OPTIMUM	22	3.9254	3.9948	3754451
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh214_wcsp.wbo	OPTIMUM	75	4.22136	4.23602	3754511
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh215_wcsp.wbo	OPTIMUM	88	4.6083	4.80885	3754512
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-15-10--soft-33-100-0.wbo	OPTIMUM	2	4.83226	4.89056	3754345
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh208_wcsp.wbo	OPTIMUM	79	5.56215	5.75374	3754507
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-tlan2.ucl--soft-33-100-0.wbo	OPTIMUM	1	5.70713	5.70724	3754385
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh07_wcsp.wbo	OPTIMUM	0	5.78112	5.94841	3754495
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j602_7-unsat--soft-66-100-0.wbo	OPTIMUM	3	5.99809	6.013	3754416
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j308_1-unsat--soft-33-100-0.wbo	OPTIMUM	5	6.24005	6.54035	3754409
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-15-10--soft-66-100-0.wbo	OPTIMUM	35	6.37603	6.40496	3754346
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh10_wcsp.wbo	OPTIMUM	85	6.46902	6.64879	3754497
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh309_wcsp.wbo	OPTIMUM	276	6.88495	6.88304	3754520
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-donald_wcsp.wbo	OPTIMUM	0	7.46286	7.46899	3754437
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh306_wcsp.wbo	OPTIMUM	16	7.67083	7.67241	3754518
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh06_wcsp.wbo	OPTIMUM	99	7.99378	7.98773	3754494
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-7.ucl--soft-33-100-0.wbo	OPTIMUM	1	8.31774	8.49728	3754381
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl10_11_pb.cnf.cr--soft-33-100-0.wbo	OPTIMUM	3	8.48871	8.50006	3754252
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-8.ucl--soft-33-100-0.wbo	OPTIMUM	3	8.94264	8.94521	3754383
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh203_wcsp.wbo	OPTIMUM	39	9.41557	9.4059	3754505
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j6027_4-unsat--soft-66-100-0.wbo	OPTIMUM	24	9.57454	9.62007	3754414
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh16_wcsp.wbo	OPTIMUM	6	10.1915	10.1978	3754502
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh04_wcsp.wbo	OPTIMUM	95	12.0522	12.0612	3754493
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh09_wcsp.wbo	OPTIMUM	333	12.1042	12.1189	3754496
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl10_11_pb.cnf.cr--soft-66-100-0.wbo	OPTIMUM	15	12.985	12.9853	3754253
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh13_wcsp.wbo	OPTIMUM	109	12.993	13.3068	3754499
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j6033_2-unsat--soft-66-100-0.wbo	OPTIMUM	51	13.7739	13.8299	3754418
/PARTIAL-SMALLINT-LIN/wcsp/spot5/ normalized-spot5-54_wcsp.wbo	OPTIMUM	37	13.8669	13.8697	3754526
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900581320--soft-66-100-0.wbo	OPTIMUM	1	14.1538	14.3881	3754306
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900544484--soft-33-100-0.wbo	OPTIMUM	1	14.2828	14.2794	3754282
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl10_15_pb.cnf.cr--soft-33-100-0.wbo	OPTIMUM	21	14.6708	14.6817	3754254
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-geom30a-3_wcsp.wbo	OPTIMUM	11	15.0497	15.5833	3754447
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh14_wcsp.wbo	OPTIMUM	101	15.1917	15.1905	3754500
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh15_wcsp.wbo	OPTIMUM	206	15.2357	15.2535	3754501
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl10_20_pb.cnf.cr--soft-33-100-0.wbo	OPTIMUM	20	16.2135	16.216	3754255
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900571132--soft-66-100-0.wbo	OPTIMUM	1	16.7704	16.8891	3754300
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh211_wcsp.wbo	OPTIMUM	259	17.3364	17.3418	3754509
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh18_wcsp.wbo	OPTIMUM	130	18.1612	18.3386	3754503
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.2.accl.ucl--soft-33-100-0.wbo	OPTIMUM	1	18.4172	18.4464	3754394
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j6027_4-unsat--soft-33-100-0.wbo	OPTIMUM	22	19.1091	19.1435	3754413
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-22s.smv--soft-33-100-0.wbo	OPTIMUM	1	19.3471	19.346	3754372
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh11_wcsp.wbo	OPTIMUM	172	20.4889	20.4882	3754498
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf8.ucl--soft-33-100-0.wbo	OPTIMUM	1	22.3026	22.3079	3754392
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900670675--soft-33-100-0.wbo	OPTIMUM	2	27.0089	27.4764	3754311
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh19_wcsp.wbo	OPTIMUM	166	28.1217	28.314	3754504
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl10_20_pb.cnf.cr--soft-66-100-0.wbo	OPTIMUM	96	29.2606	29.4408	3754256
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110973364--soft-33-100-0.wbo	OPTIMUM	2	29.3905	29.3967	3754319
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111220546--soft-33-100-0.wbo	OPTIMUM	2	29.7645	29.7763	3754329
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111220019--soft-33-100-0.wbo	OPTIMUM	2	31.2103	31.2247	3754328
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110966483--soft-33-100-0.wbo	OPTIMUM	1	32.4821	32.4884	3754312
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900581320--soft-33-100-0.wbo	OPTIMUM	1	33.107	33.0998	3754305
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900584219--soft-33-100-0.wbo	OPTIMUM	1	38.5341	38.5386	3754308
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900669797--soft-66-100-0.wbo	OPTIMUM	1	47.4618	47.4773	3754309
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900552288--soft-66-100-0.wbo	OPTIMUM	2	55.8345	55.8663	3754285
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900573901--soft-33-100-0.wbo	OPTIMUM	1	57.8192	57.8471	3754301
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh302_wcsp.wbo	OPTIMUM	395	62.4845	62.4978	3754516
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh307_wcsp.wbo	OPTIMUM	540	62.5225	62.5821	3754519
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567024--soft-33-100-0.wbo	OPTIMUM	6	69.8464	70.0061	3754293
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900576151--soft-33-100-0.wbo	OPTIMUM	1	74.3237	74.3346	3754303
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh310_wcsp.wbo	OPTIMUM	463	78.1431	78.2149	3754521
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900570242--soft-33-100-0.wbo	OPTIMUM	8	78.5651	78.5828	3754297
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110967142--soft-33-100-0.wbo	OPTIMUM	2	80.6177	80.6329	3754313
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900570242--soft-66-100-0.wbo	OPTIMUM	16	87.8086	87.8691	3754298
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900550006--soft-66-100-0.wbo	OPTIMUM	1	88.7135	88.739	3754284
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218024--soft-33-100-0.wbo	OPTIMUM	12	89.5504	89.5791	3754325
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-myciel5g-5_wcsp.wbo	OPTIMUM	1	91.1311	91.1533	3754462
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j6010_2-unsat--soft-66-100-0.wbo	OPTIMUM	12	93.1008	93.1525	3754412
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567135--soft-33-100-0.wbo	OPTIMUM	1	95.8404	95.8888	3754294
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111225605--soft-66-100-0.wbo	OPTIMUM	17	100.913	100.937	3754337
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900571132--soft-33-100-0.wbo	OPTIMUM	1	102.397	102.411	3754299
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111223004--soft-66-100-0.wbo	OPTIMUM	19	102.571	102.617	3754335
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111213868--soft-66-100-0.wbo	OPTIMUM	14	114.523	114.561	3754323
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111212272--soft-33-100-0.wbo	OPTIMUM	2	123.822	123.852	3754322
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-16wqueens_wcsp.wbo	OPTIMUM	2	125.237	125.267	3754432
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110968561--soft-33-100-0.wbo	OPTIMUM	8	132.882	132.911	3754314
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218024--soft-66-100-0.wbo	OPTIMUM	80	133.231	133.261	3754326
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110977780--soft-66-100-0.wbo	OPTIMUM	80	139.115	139.165	3754321
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111226368--soft-33-100-0.wbo	OPTIMUM	15	140.544	140.584	3754338
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111226680--soft-66-100-0.wbo	OPTIMUM	66	145.057	145.086	3754339
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111223004--soft-33-100-0.wbo	OPTIMUM	2	150.577	150.617	3754334
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110970444--soft-66-100-0.wbo	OPTIMUM	80	153.829	153.882	3754317
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111222539--soft-33-100-0.wbo	OPTIMUM	9	161.839	161.874	3754333
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900670167--soft-33-100-0.wbo	OPTIMUM	2	166.181	166.306	3754310
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111227012--soft-66-100-0.wbo	OPTIMUM	49	173.235	173.281	3754340
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567135--soft-66-100-0.wbo	OPTIMUM	2	175.546	175.572	3754295
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111227861--soft-33-100-0.wbo	OPTIMUM	11	177.067	177.107	3754341
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j301_4-unsat--soft-33-100-0.wbo	OPTIMUM	9	182.074	182.146	3754402
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh305_wcsp.wbo	OPTIMUM	742	184.184	184.23	3754517
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110969577--soft-66-100-0.wbo	OPTIMUM	58	184.609	184.67	3754316
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900547389--soft-33-100-0.wbo	OPTIMUM	2	191.005	191.081	3754283
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224059--soft-33-100-0.wbo	OPTIMUM	15	192.957	193.035	3754336
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900563250--soft-66-100-0.wbo	OPTIMUM	1	193.215	193.249	3754292
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111220767--soft-33-100-0.wbo	OPTIMUM	28	199.491	199.554	3754330
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111217555--soft-33-100-0.wbo	OPTIMUM	8	206.021	206.078	3754324
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111220767--soft-66-100-0.wbo	OPTIMUM	80	210.425	210.449	3754331
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900582300--soft-66-100-0.wbo	OPTIMUM	1	212.996	213.033	3754307
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111222257--soft-33-100-0.wbo	OPTIMUM	8	214.122	214.196	3754332
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110975607--soft-33-100-0.wbo	OPTIMUM	24	218.601	218.657	3754320
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900575442--soft-66-100-0.wbo	OPTIMUM	1	218.947	218.986	3754302
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110971363--soft-33-100-0.wbo	OPTIMUM	25	221.406	221.469	3754318
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218757--soft-66-100-0.wbo	OPTIMUM	80	224.381	224.436	3754327
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110969577--soft-33-100-0.wbo	OPTIMUM	12	242.194	242.251	3754315
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-25s.smv--soft-33-100-0.wbo	OPTIMUM	2	256.986	257.071	3754373
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j3046_4-unsat--soft-66-100-0.wbo	OPTIMUM	2	267.59	267.635	3754408
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j309_10-unsat--soft-66-100-0.wbo	OPTIMUM	1	269.49	269.552	3754410
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j3041_4-unsat--soft-66-100-0.wbo	OPTIMUM	5	275.254	275.402	3754406
/PARTIAL-SMALLINT-LIN/wcsp/spot5/ normalized-spot5-404_wcsp.wbo	OPTIMUM	114	280.185	280.256	3754525
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-dsjc125-1-5_wcsp.wbo	OPTIMUM	0	287.66	288.106	3754446
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900558106--soft-66-100-0.wbo	OPTIMUM	13	321.227	321.287	3754290
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900557362--soft-33-100-0.wbo	OPTIMUM	5	398.666	399.215	3754289
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j3046_4-unsat--soft-33-100-0.wbo	OPTIMUM	2	443.217	443.361	3754407
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900576927--soft-33-100-0.wbo	OPTIMUM	1	594.29	594.683	3754304
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900561288--soft-33-100-0.wbo	OPTIMUM	1	630.996	631.117	3754291
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j6010_2-unsat--soft-33-100-0.wbo	OPTIMUM	6	718.277	718.401	3754411
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900554420--soft-33-100-0.wbo	OPTIMUM	2	721.172	721.29	3754287
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900556231--soft-33-100-0.wbo	OPTIMUM	1	764.688	764.812	3754288
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-tlan3.ucl--soft-66-100-0.wbo	OPTIMUM	4	769.098	769.366	3754387
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.tag10.ucl--soft-33-100-0.wbo	OPTIMUM	1	869.728	869.934	3754400
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567985--soft-33-100-0.wbo	OPTIMUM	1	926.303	926.448	3754296
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache.inv10.ucl--soft-66-100-0.wbo	OPTIMUM	3	1080.67	1081.03	3754388
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.4.accl.ucl--soft-33-100-0.wbo	OPTIMUM	1	1200.19	1200.7	3754396
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf9.ucl--soft-66-100-0.wbo	OPTIMUM	1	1268.78	1268.99	3754393
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900552423--soft-33-100-0.wbo	OPTIMUM	7	1438.13	1438.38	3754286

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.39779	3.08748	3754431
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/ normalized-j9039_3-unsat--soft-66-100-0.wbo	? (problem)	1.47677	2.85996	3754429
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j6030_9-unsat--soft-66-100-0.wbo	? (problem)	1.57776	5.12008	3754417
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/ normalized-j9012_2-unsat--soft-66-100-0.wbo	? (problem)	1.9767	6.75972	3754425
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/ normalized-j9028_2-unsat--soft-66-100-0.wbo	? (problem)	2.03369	5.39418	3754428
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/ normalized-j9015_10-unsat--soft-66-100-0.wbo	? (problem)	2.14667	4.72215	3754427
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/ normalized-j9014_1-unsat--soft-66-100-0.wbo	? (problem)	4.47366	8.10747	3754426
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-langford-3-9_wcsp.wbo	? (problem)	1396.52	1679.5	3754440

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.35764	2.36157	3754560
/SOFT-BIGINT-LIN/PB10/oliveras/j60/ normalized-j6027_4-unsat--soft-0-100-0.wbo	OPTIMUM	6	7.62484	7.63432	3754557
/SOFT-BIGINT-LIN/PB10/oliveras/j60/ normalized-j6010_2-unsat--soft-0-100-0.wbo	OPTIMUM	9	29.3305	29.3404	3754556
/SOFT-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12023_3-unsat--soft-0-100-0.wbo	OPTIMUM	7	71.9151	72.149	3754551
/SOFT-BIGINT-LIN/PB10/oliveras/j60/ normalized-j606_1-unsat--soft-0-100-0.wbo	OPTIMUM	13	195.301	195.371	3754563
/SOFT-BIGINT-LIN/PB10/oliveras/j90/ normalized-j903_10-unsat--soft-0-100-0.wbo	OPTIMUM	8	368.973	369.037	3754571
/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.tag12.ucl--soft-0-100-0.wbo	OPTIMUM	1	1001.94	1004.29	3754546

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.43878	2.47102	3754573
/SOFT-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9039_3-unsat--soft-0-100-0.wbo	? (problem)	1.52077	2.96231	3754570
/SOFT-BIGINT-LIN/PB10/oliveras/j60/ normalized-j6030_9-unsat--soft-0-100-0.wbo	? (problem)	1.72674	3.11012	3754558
/SOFT-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12027_7-unsat--soft-0-100-0.wbo	? (problem)	1.84972	3.78644	3754553
/SOFT-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9010_6-unsat--soft-0-100-0.wbo	? (problem)	1.9667	6.45901	3754564
/SOFT-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12026_5-unsat--soft-0-100-0.wbo	? (problem)	1.9687	3.76193	3754552
/SOFT-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9028_2-unsat--soft-0-100-0.wbo	? (problem)	2.09368	4.4523	3754568
/SOFT-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9012_2-unsat--soft-0-100-0.wbo	? (problem)	2.13667	4.22257	3754565
/SOFT-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9015_10-unsat--soft-0-100-0.wbo	? (problem)	2.16267	6.21048	3754567
/SOFT-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9014_1-unsat--soft-0-100-0.wbo	? (problem)	2.30365	4.89706	3754566
/SOFT-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12015_3-unsat--soft-0-100-0.wbo	? (problem)	2.56561	7.71972	3754550
/SOFT-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12013_1-unsat--soft-0-100-0.wbo	? (problem)	2.77858	8.97656	3754549
/SOFT-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9048_1-unsat--soft-0-100-0.wbo	? (problem)	2.84657	8.22032	3754572
/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl--soft-0-100-0.wbo	? (problem)	6.40202	26.2849	3754541

Benchmark Name	Answer	cost of falsified constraints	CPU time	Wall clock time	TraceID
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf6.ucl--soft-0-100-0.wbo	OPTIMUM	2	0.081987	0.080956	3753997
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-floppy1-4.ucl--soft-0-100-0.wbo	OPTIMUM	18	0.140978	0.145451	3753990
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-floppy1-2.ucl--soft-0-100-0.wbo	OPTIMUM	2	0.146976	0.148934	3753988
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-floppy1-3.ucl--soft-0-100-0.wbo	OPTIMUM	4	0.197969	0.206764	3753989
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-floppy1-6.ucl--soft-0-100-0.wbo	OPTIMUM	1	0.469928	0.47213	3753991
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf7.ucl--soft-0-100-0.wbo	OPTIMUM	1	0.844871	0.85112	3753998
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-44s.smv--soft-0-100-0.wbo	OPTIMUM	2	1.10083	1.10317	3753986
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-37s.smv--soft-0-100-0.wbo	OPTIMUM	1	1.17282	1.18137	3753984
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-11-10--soft-0-100-0.wbo	OPTIMUM	1	3.24451	3.25234	3754657
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache.inv8.ucl--soft-0-100-0.wbo	OPTIMUM	16	3.80242	3.79839	3753995
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-46s.smv--soft-0-100-0.wbo	OPTIMUM	1	7.00194	7.11388	3753987
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-15-10--soft-0-100-0.wbo	OPTIMUM	2	8.5647	8.56863	3754658
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-floppy1-8.ucl--soft-0-100-0.wbo	OPTIMUM	1	14.5128	14.5154	3753993
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl10_11_pb.cnf.cr--soft-0-100-0.wbo	OPTIMUM	9	15.9316	15.9456	3754574
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl10_20_pb.cnf.cr--soft-0-100-0.wbo	OPTIMUM	7	23.1265	23.1313	3754576
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-floppy1-7.ucl--soft-0-100-0.wbo	OPTIMUM	1	24.1613	24.1746	3753992
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl10_15_pb.cnf.cr--soft-0-100-0.wbo	OPTIMUM	6	25.4991	25.513	3754575
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-tlan2.ucl--soft-0-100-0.wbo	OPTIMUM	1	33.9508	34.0385	3753994
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110973670--soft-0-100-0.wbo	OPTIMUM	1	39.8189	39.8335	3754634
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110977273--soft-0-100-0.wbo	OPTIMUM	1	40.7298	40.7394	3754637
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224255--soft-0-100-0.wbo	OPTIMUM	1	44.8232	44.8387	3754649
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900669797--soft-0-100-0.wbo	OPTIMUM	1	46.4579	46.4629	3754622
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110972763--soft-0-100-0.wbo	OPTIMUM	1	46.7039	46.7707	3754633
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf8.ucl--soft-0-100-0.wbo	OPTIMUM	1	47.0938	47.0994	3753999
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900581320--soft-0-100-0.wbo	OPTIMUM	1	48.2377	48.2559	3754619
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111213868--soft-0-100-0.wbo	OPTIMUM	2	52.1791	52.1855	3754643
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111223220--soft-0-100-0.wbo	OPTIMUM	1	54.0118	54.0239	3754648
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110974180--soft-0-100-0.wbo	OPTIMUM	1	58.3471	58.3604	3754635
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110969860--soft-0-100-0.wbo	OPTIMUM	1	73.8608	73.8858	3754629
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111217392--soft-0-100-0.wbo	OPTIMUM	2	73.9578	73.9724	3754645
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900550006--soft-0-100-0.wbo	OPTIMUM	1	77.4632	77.6291	3754598
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110972154--soft-0-100-0.wbo	OPTIMUM	1	85.657	85.7498	3754632
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111225605--soft-0-100-0.wbo	OPTIMUM	2	88.4765	88.4919	3754651
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900565534--soft-0-100-0.wbo	OPTIMUM	1	95.7444	95.9396	3754610
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900552288--soft-0-100-0.wbo	OPTIMUM	1	113.312	113.409	3754601
/SOFT-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j308_1-unsat--soft-0-100-0.wbo	OPTIMUM	19	113.983	113.994	3754011
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111226062--soft-0-100-0.wbo	OPTIMUM	3	120.695	120.719	3754652
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110978334--soft-0-100-0.wbo	OPTIMUM	9	134.404	134.438	3754640
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900568706--soft-0-100-0.wbo	OPTIMUM	1	135.506	135.525	3754614
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224451--soft-0-100-0.wbo	OPTIMUM	9	135.611	135.661	3754650
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111216411--soft-0-100-0.wbo	OPTIMUM	2	137.698	137.738	3754644
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111222539--soft-0-100-0.wbo	OPTIMUM	2	144.514	144.55	3754647
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110978113--soft-0-100-0.wbo	OPTIMUM	9	147.494	147.539	3754639
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110968561--soft-0-100-0.wbo	OPTIMUM	3	150.994	151.05	3754628
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-43s.smv--soft-0-100-0.wbo	OPTIMUM	1	156.126	156.157	3753985
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900557574--soft-0-100-0.wbo	OPTIMUM	6	158.803	158.867	3754605
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900584106--soft-0-100-0.wbo	OPTIMUM	7	165.639	165.681	3754620
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110966483--soft-0-100-0.wbo	OPTIMUM	19	169.114	169.153	3754625
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900670167--soft-0-100-0.wbo	OPTIMUM	1	170.512	170.539	3754623
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110967523--soft-0-100-0.wbo	OPTIMUM	3	173.931	173.97	3754627
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110976935--soft-0-100-0.wbo	OPTIMUM	2	178.112	178.142	3754636
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111227012--soft-0-100-0.wbo	OPTIMUM	5	179.599	179.642	3754653
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110970631--soft-0-100-0.wbo	OPTIMUM	16	180.594	180.639	3754630
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111228076--soft-0-100-0.wbo	OPTIMUM	3	188.958	189.008	3754654
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110971363--soft-0-100-0.wbo	OPTIMUM	4	199.532	199.606	3754631
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218024--soft-0-100-0.wbo	OPTIMUM	10	201.244	201.37	3754646
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900577940--soft-0-100-0.wbo	OPTIMUM	1	206.181	206.223	3754618
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111212476--soft-0-100-0.wbo	OPTIMUM	2	218.834	218.91	3754641
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900564281--soft-0-100-0.wbo	OPTIMUM	2	220.392	220.433	3754609
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900550720--soft-0-100-0.wbo	OPTIMUM	1	221.036	221.08	3754599
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.2.accl.ucl--soft-0-100-0.wbo	OPTIMUM	1	222.08	222.129	3754000
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf6.ucl--soft-0-100-0.wbo	OPTIMUM	1	226.154	226.223	3754003
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110977780--soft-0-100-0.wbo	OPTIMUM	10	235.436	235.506	3754638
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900544484--soft-0-100-0.wbo	OPTIMUM	1	239.583	239.657	3754595
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900545610--soft-0-100-0.wbo	OPTIMUM	1	277.118	277.17	3754596
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900667195--soft-0-100-0.wbo	OPTIMUM	1	280.829	280.874	3754621
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900571132--soft-0-100-0.wbo	OPTIMUM	1	359.779	359.834	3754617
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900570242--soft-0-100-0.wbo	OPTIMUM	5	368.826	368.963	3754616
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110967142--soft-0-100-0.wbo	OPTIMUM	9	392.398	392.487	3754626
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900566157--soft-0-100-0.wbo	OPTIMUM	1	422.993	423.059	3754611
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900556231--soft-0-100-0.wbo	OPTIMUM	1	424.36	424.438	3754604
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900554072--soft-0-100-0.wbo	OPTIMUM	1	432.776	432.855	3754603
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900568186--soft-0-100-0.wbo	OPTIMUM	3	469.558	469.63	3754613
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111213670--soft-0-100-0.wbo	OPTIMUM	10	484.268	484.383	3754642
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900569834--soft-0-100-0.wbo	OPTIMUM	4	645.277	645.384	3754615
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900551347--soft-0-100-0.wbo	OPTIMUM	2	648.873	648.99	3754600
/SOFT-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j602_7-unsat--soft-0-100-0.wbo	OPTIMUM	1	706.293	706.439	3754013
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900557957--soft-0-100-0.wbo	OPTIMUM	3	793.486	793.651	3754606
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900567985--soft-0-100-0.wbo	OPTIMUM	1	803.38	803.53	3754612
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-22s.smv--soft-0-100-0.wbo	OPTIMUM	1	894.572	894.819	3753982
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900562192--soft-0-100-0.wbo	OPTIMUM	1	961.02	961.305	3754608
/SOFT-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j301_4-unsat--soft-0-100-0.wbo	OPTIMUM	8	992.999	993.192	3754007
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-25s.smv--soft-0-100-0.wbo	OPTIMUM	1	1067.96	1068.41	3753983
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900670234--soft-0-100-0.wbo	OPTIMUM	1	1324.02	1324.32	3754624

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

Result page for solver npSolver inc (fixed) (complete)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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