PB'12 competition: satisfaction and optimization track: benchmarks results per solver

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-25-20.opb	UNSAT	0.45793	0.576161	3733598
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-21-20.opb	UNSAT	0.468928	0.713233	3733767
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-elf.rf6.ucl.opb	UNSAT	0.469928	0.583716	3730819
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-11-10.opb	UNSAT	0.472927	0.583844	3733741
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-15-10.opb	UNSAT	0.481926	0.597098	3733819
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-44s.smv.opb	UNSAT	0.481926	0.560774	3730624
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl10_11_pb.cnf.cr.opb	UNSAT	0.485925	0.600852	3730364
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl10_20_pb.cnf.cr.opb	UNSAT	0.487925	0.856539	3730520
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-31-30.opb	UNSAT	0.502922	0.800873	3733676
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl15_25_pb.cnf.cr.opb	UNSAT	0.508922	0.609983	3730325
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-37s.smv.opb	UNSAT	0.511921	0.59661	3730637
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-45-40.opb	UNSAT	0.51892	0.65551	3733611
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-35-30.opb	UNSAT	0.51992	0.6283	3733793
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl15_20_pb.cnf.cr.opb	UNSAT	0.522919	0.604218	3730169
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl30_31_pb.cnf.cr.opb	UNSAT	0.529918	0.869396	3730377
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-elf.rf7.ucl.opb	UNSAT	0.537917	0.652639	3730884
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-46s.smv.opb	UNSAT	0.544916	0.652162	3730572
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-cache.inv8.ucl.opb	UNSAT	0.548915	9.72145	3730663
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-41-40.opb	UNSAT	0.552915	0.656812	3733832
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl30_35_pb.cnf.cr.opb	UNSAT	0.554914	0.66676	3730351
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-blast-floppy1-6.ucl.opb	UNSAT	0.556914	0.679273	3730832
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl35_36_pb.cnf.cr.opb	UNSAT	0.571912	0.67044	3730455
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-51-50.opb	UNSAT	0.575911	0.697536	3733754
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl35_40_pb.cnf.cr.opb	UNSAT	0.579911	0.67545	3730182
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-55-50.opb	UNSAT	0.594908	0.770115	3733624
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl40_45_pb.cnf.cr.opb	UNSAT	0.607907	0.734257	3730338
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j307_9-unsat.opb	UNSAT	0.613906	0.738312	3739528
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j308_6-unsat.opb	UNSAT	0.614906	0.723576	3739515
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j3042_5-unsat.opb	UNSAT	0.626904	0.740664	3739437
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j3011_9-unsat.opb	UNSAT	0.638902	0.759362	3739372
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-61-60.opb	UNSAT	0.670897	0.772598	3733780
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-65-60.opb	UNSAT	0.680895	0.756671	3733663
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.4.accl.ucl.opb	UNSAT	0.693893	1.44244	3730702
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j3046_4-unsat.opb	UNSAT	0.704891	0.811118	3739450
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-25s.smv.opb	UNSAT	0.719889	0.837261	3730845
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl50_55_pb.cnf.cr.opb	UNSAT	0.721889	0.809154	3730208
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl50_51_pb.cnf.cr.opb	UNSAT	0.727888	0.800975	3730286
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-elf.rf8.ucl.opb	UNSAT	0.744886	0.836698	3730598
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr.opb	UNSAT	0.754885	0.84951	3730273
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-75-70.opb	UNSAT	0.757884	0.888907	3733585
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-71-70.opb	UNSAT	0.760883	0.859103	3733728
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j607_4-unsat.opb	UNSAT	0.786879	1.57974	3740087
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6010_7-unsat.opb	UNSAT	0.846871	0.935478	3740009
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-ooo.rf8.ucl.opb	UNSAT	0.854869	0.945077	3730910
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6032_1-unsat.opb	UNSAT	0.867867	0.958649	3740061
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j601_8-unsat.opb	UNSAT	0.870867	0.956055	3739970
/DEC-SMALLINT-LIN/oliveras/ j60/normalized-j6016_10-unsat.opb	UNSAT	0.880865	1.08064	3740035
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6028_9-unsat.opb	UNSAT	0.895863	0.989761	3739957
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-81-80.opb	UNSAT	0.91086	1.01249	3733715
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-22s.smv.opb	UNSAT	0.91886	1.73647	3730793
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-85-80.opb	UNSAT	0.924859	1.00601	3733650
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6027_9-unsat.opb	UNSAT	0.929858	1.00706	3740048
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.2.accl.ucl.opb	UNSAT	0.948855	1.04869	3730897
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-blast-floppy1-2.ucl.opb	UNSAT	0.973851	0.87982	3730858
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-dlx1c.rwmem1.ucl.opb	UNSAT	0.986849	2.05195	3730780
/DEC-SMALLINT-LIN/oliveras/j90/ normalized-j908_8-unsat.opb	UNSAT	1.04684	1.13725	3739762
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-91-90.opb	UNSAT	1.07184	1.18405	3733689
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-95-90.opb	UNSAT	1.12183	1.21629	3733702
/DEC-SMALLINT-LIN/oliveras/ j90/normalized-j9010_10-unsat.opb	UNSAT	1.17482	1.30515	3739853
/DEC-SMALLINT-LIN/oliveras/j90/ normalized-j9015_7-unsat.opb	UNSAT	1.20582	1.29465	3739801
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900552423.opb	UNSAT	1.23781	1.34873	3729714
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j1205_3-unsat.opb	UNSAT	1.24281	1.98408	3739671
/DEC-SMALLINT-LIN/oliveras/j90/ normalized-j9014_1-unsat.opb	UNSAT	1.3048	1.44231	3739827
/DEC-SMALLINT-LIN/oliveras/j90/ normalized-j9038_3-unsat.opb	UNSAT	1.3418	1.4542	3739879
/DEC-SMALLINT-LIN/oliveras/j90/ normalized-j9040_1-unsat.opb	UNSAT	1.3448	1.4617	3739905
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-cardinality-101-100.opb	UNSAT	1.35779	1.43986	3733637
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-cardinality-105-100.opb	UNSAT	1.38579	1.63819	3733806
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-ooo.rf9.ucl.opb	UNSAT	1.53877	2.24832	3730650
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-elf.rf9.ucl.opb	UNSAT	1.55976	1.66127	3730728
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-blast-floppy1-8.ucl.opb	UNSAT	1.59476	1.18168	3730715
/DEC-SMALLINT-LIN/oliveras/j90/ normalized-j905_6-unsat.opb	UNSAT	1.60376	1.74461	3739866
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-blast-tlan3.ucl.opb	UNSAT	1.66175	1.99499	3730611
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-ooo.tag10.ucl.opb	UNSAT	1.87771	1.96666	3730585
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12059_3-unsat.opb	UNSAT	1.90871	2.73495	3739749
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12049_6-unsat.opb	UNSAT	2.09568	3.36674	3739580
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.3.accl.ucl.opb	UNSAT	2.27265	4.4485	3730689
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900584106.opb	UNSAT	2.71359	2.82382	3729688
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-blast-tlan2.ucl.opb	UNSAT	2.97871	1.22281	3730754
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900546076.opb	UNSAT	3.62345	3.72644	3729558
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900670675.opb	UNSAT	3.66944	3.78086	3729675
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900551864.opb	UNSAT	4.22336	5.0268	3729870
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110967729.opb	UNSAT	5.2382	6.08033	3729168
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111218955.opb	UNSAT	5.2522	5.36512	3729337
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110977780.opb	UNSAT	5.31919	5.4462	3729220
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-ooo.rf10.ucl.opb	UNSAT	5.41917	5.51366	3730923
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110971697.opb	UNSAT	6.80396	6.89909	3729233
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110969170.opb	UNSAT	6.83996	6.93573	3729402
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111226680.opb	UNSAT	7.17291	7.96806	3729376
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111219348.opb	UNSAT	7.49686	8.20691	3729194
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111222257.opb	UNSAT	7.62384	7.7233	3729311
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110976935.opb	UNSAT	7.69283	7.80675	3729324
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900568186.opb	UNSAT	7.69483	8.18451	3729623
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111223220.opb	UNSAT	7.92879	8.04828	3729181
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111224255.opb	UNSAT	7.96879	8.153	3729285
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111213868.opb	UNSAT	8.02478	8.11954	3729246
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110970631.opb	UNSAT	8.34373	12.4514	3729155
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110972154.opb	UNSAT	9.60854	9.99325	3729259
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111216411.opb	UNSAT	9.79751	9.86796	3729493
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110974180.opb	UNSAT	10.3484	10.4772	3729350
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900553812.opb	UNSAT	10.7354	11.5004	3729831
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb	UNSAT	10.9023	10.9825	3730936
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900554072.opb	UNSAT	10.9343	11.7049	3729636
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900544484.opb	UNSAT	11.4013	11.5021	3729727
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110975965.opb	UNSAT	11.9292	12.5701	3729272
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900670167.opb	UNSAT	13.126	13.2732	3729844
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111218308.opb	UNSAT	16.6505	20.7528	3729142
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900556231.opb	UNSAT	19.573	19.6559	3729701
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900552735.opb	UNSAT	20.033	20.1174	3729753
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900565534.opb	UNSAT	21.6357	21.7332	3729584
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900582300.opb	UNSAT	22.2326	22.3237	3729519
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900550006.opb	UNSAT	28.7046	28.7874	3729779
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j1206_8-unsat.opb	UNSAT	34.0748	35.2225	3739723
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900576927.opb	UNSAT	41.5967	41.6521	3729532
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900561288.opb	UNSAT	57.0313	57.7415	3729649
/DEC-SMALLINT-LIN/lopes/ normalized-101.opb	UNSAT	291.312	289.913	3740916
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12038_7-unsat.opb	UNSAT	332.538	309.327	3739658
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.unbounded.all.ucl.opb	UNSAT	406.462	405.996	3730676
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12048_4-unsat.opb	UNSAT	577.842	575.905	3739632
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12032_3-unsat.opb	UNSAT	1576.3	1574.84	3739645

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
/DEC-SMALLINT-LIN/leberre/opb-paranoid/misc2010/ datasets/caixa/normalized-1096.cudf.paranoid.opb	SAT	0.472927	0.573003	3738581
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga20_19_sat_pb.cnf.cr.opb	SAT	0.477927	0.602506	3730299
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga20_18_sat_pb.cnf.cr.opb	SAT	0.483925	0.585577	3730546
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga11_9_sat_pb.cnf.cr.opb	SAT	0.487925	0.608081	3730442
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900566263.opb	SAT	0.521919	0.638862	3729740
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900669299.opb	SAT	0.52392	0.647072	3729818
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900577000.opb	SAT	0.528918	0.615591	3729766
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900574974.opb	SAT	0.536917	0.667095	3729883
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j3024_5-sat.opb	SAT	0.604907	0.725211	3739476
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900576918.opb	SAT	0.629903	0.761787	3729896
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j307_10-sat.opb	SAT	0.634902	0.748398	3739489
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j3017_6-sat.opb	SAT	0.644901	0.765372	3739424
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j3024_3-sat.opb	SAT	0.6539	0.787074	3739385
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j3030_6-sat.opb	SAT	0.658899	0.776721	3739398
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j309_6-sat.opb	SAT	0.661898	0.794586	3739463
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j3024_2-sat.opb	SAT	0.667897	0.777158	3739502
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j3025_10-sat.opb	SAT	0.689894	0.793827	3739541
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j3043_8-sat.opb	SAT	0.691894	0.811255	3739411
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900559365.opb	SAT	0.694893	0.810043	3729792
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/robin/normalized-robin10.opb	SAT	0.698893	0.853697	3728934
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900547416.opb	SAT	0.710891	0.8418	3729662
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900565527.opb	SAT	0.71489	0.818076	3729805
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900554389.opb	SAT	0.78588	0.899278	3729571
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900554154.opb	SAT	0.789879	0.902484	3729857
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga11_10_sat_pb.cnf.cr.opb	SAT	0.820874	0.782687	3730533
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga10_10_sat_pb.cnf.cr.opb	SAT	0.831873	0.749132	3730468
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga13_12_sat_pb.cnf.cr.opb	SAT	0.84387	0.779247	3730234
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6030_8-sat.opb	SAT	0.868867	0.960375	3740022
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6028_7-sat.opb	SAT	0.889864	1.00825	3740100
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6020_9-sat.opb	SAT	0.891863	1.15173	3740113
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6014_2-sat.opb	SAT	0.892863	1.40884	3739983
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6040_3-sat.opb	SAT	0.906861	1.02898	3740126
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6040_10-sat.opb	SAT	0.908861	1.29319	3740139
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900561389.opb	SAT	0.911861	1.03088	3729610
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6042_2-sat.opb	SAT	0.948855	1.81766	3739944
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6043_4-sat.opb	SAT	0.960853	1.05701	3739996
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900582376.opb	SAT	0.999847	1.10724	3729597
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga14_13_sat_pb.cnf.cr.opb	SAT	1.00585	9.78924	3730507
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga25_23_sat_pb.cnf.cr.opb	SAT	1.14482	1.24014	3730247
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga40_39_sat_pb.cnf.cr.opb	SAT	1.14582	1.22587	3730494
/DEC-SMALLINT-LIN/oliveras/j90/ normalized-j901_6-sat.opb	SAT	1.16982	1.26046	3739814
/DEC-SMALLINT-LIN/oliveras/j90/ normalized-j9016_7-sat.opb	SAT	1.17282	1.29317	3739892
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga25_24_sat_pb.cnf.cr.opb	SAT	1.2808	0.988211	3730481
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/ppp-problems/normalized-ppp:1-12,16.opb	SAT	1.35079	2.48357	3730988
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga25_25_sat_pb.cnf.cr.opb	SAT	1.35679	1.04589	3730312
/DEC-SMALLINT-LIN/oliveras/j90/ normalized-j9048_9-sat.opb	SAT	1.39779	1.5702	3739788
/DEC-SMALLINT-LIN/oliveras/j90/ normalized-j902_5-sat.opb	SAT	1.40379	1.52711	3739840
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j1204_7-sat.opb	SAT	1.40779	1.51656	3739554
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga14_12_sat_pb.cnf.cr.opb	SAT	1.41378	1.19109	3730221
/DEC-SMALLINT-LIN/oliveras/j90/ normalized-j9040_1-sat.opb	SAT	1.43478	1.51677	3739775
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111219399.opb	SAT	1.45878	1.56743	3729467
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110970277.opb	SAT	1.51277	2.30001	3729129
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga45_45_sat_pb.cnf.cr.opb	SAT	1.52077	2.32782	3730260
/DEC-SMALLINT-LIN/oliveras/j90/ normalized-j9042_4-sat.opb	SAT	1.52477	1.62325	3739918
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga30_29_sat_pb.cnf.cr.opb	SAT	1.58476	1.1898	3730390
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/ppp-problems/normalized-ppp:1,3-13,19.opb	SAT	1.65075	2.46631	3731014
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/robin/normalized-robin8.opb	SAT	1.66475	11.4401	3728908
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110974553.opb	SAT	1.73473	1.8327	3729480
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga40_38_sat_pb.cnf.cr.opb	SAT	1.73873	1.83405	3730403
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga35_34_sat_pb.cnf.cr.opb	SAT	1.80172	6.63707	3730429
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga35_35_sat_pb.cnf.cr.opb	SAT	1.83272	1.33484	3730416
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12035_4-sat.opb	SAT	1.86571	1.98456	3739593
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga35_33_sat_pb.cnf.cr.opb	SAT	1.91171	1.33173	3730195
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111222248.opb	SAT	2.03969	2.14373	3729415
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110968431.opb	SAT	2.50862	2.62374	3729441
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110972958.opb	SAT	2.71958	2.84871	3729207
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111222080.opb	SAT	3.01154	3.14534	3729506
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/robin/normalized-robin12.opb	SAT	3.54646	13.6224	3728895
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900669309.opb	SAT	3.88541	3.96534	3729545
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army8.9ls.opb	SAT	4.01639	9.81851	3729038
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Ih2arity.ucl.opb	SAT	4.48832	4.56558	3730741
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110973478.opb	SAT	4.64129	4.7438	3729428
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111223696.opb	SAT	6.29804	7.02145	3729389
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb	SAT	6.561	6.68503	3730949
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111227418.opb	SAT	7.74382	7.84647	3729454
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/ppp-problems/normalized-ppp:1-13.opb	SAT	8.21175	8.75044	3730962
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v30_e350_d15_mw10_3.opb.PB06.opb	SAT	9.54955	9.64358	3730026
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v30_e350_d15_mw10_8.opb.PB06.opb	SAT	9.56754	10.7962	3730000
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v30_e350_d15_mw10_9.opb.PB06.opb	SAT	9.63054	9.72482	3730143
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v30_e350_d15_mw10_2.opb.PB06.opb	SAT	9.68153	10.4627	3730039
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v30_e350_d15_mw10_1.opb.PB06.opb	SAT	10.0245	11.2612	3729974
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110973863.opb	SAT	10.8803	11.5832	3729363
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110977464.opb	SAT	11.0813	11.1954	3729298
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army9.12ls.opb	SAT	11.3683	12.1741	3729090
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army9.12bt.opb	SAT	12.1871	12.9835	3729064
/DEC-SMALLINT-LIN/heinz/ normalized-neos-849702.opb	SAT	21.4547	21.3737	3741228
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v40_e600_d20_mw10_9.opb.PB06.opb	SAT	23.8944	21.7702	3730013
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v40_e600_d20_mw10_6.opb.PB06.opb	SAT	24.3803	23.2436	3730130
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v40_e600_d20_mw10_2.opb.PB06.opb	SAT	24.4083	22.0237	3730104
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v40_e600_d20_mw10_5.opb.PB06.opb	SAT	24.7922	23.3371	3730091
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v40_e600_d20_mw10_0.opb.PB06.opb	SAT	25.4311	23.242	3730156
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army8.9bt.opb	SAT	28.4207	29.0849	3728999
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ liu/vdw/normalized-vdw_k3_l6_n1500.opb	SAT	34.5917	34.6854	3729935
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army10.14bt.opb	SAT	36.7724	39.1705	3728973
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army10.14ls.opb	SAT	50.1144	50.7581	3729051
/DEC-SMALLINT-LIN/heinz/ normalized-neos808444.opb	SAT	50.6433	52.2173	3741241
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K76.opb	SAT	50.9513	50.9772	3742707
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army11.17ls.opb	SAT	51.8371	51.8178	3729077
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K73.opb	SAT	52.489	53.2977	3742603
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K77.opb	SAT	52.634	53.3746	3742733
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K79.opb	SAT	53.0489	53.7668	3742681
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K78.opb	SAT	53.3469	54.0338	3742720
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K80.opb	SAT	53.5899	53.6225	3742785
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army11.17bt.opb	SAT	55.5905	56.4075	3728986
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K74.opb	SAT	58.5701	58.6173	3742798
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K71.opb	SAT	60.2738	61.079	3742746
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K75.opb	SAT	71.6421	72.3496	3742668
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K69.opb	SAT	72.112	72.102	3742629
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K67.opb	SAT	92.7839	93.5039	3742694
/DEC-SMALLINT-LIN/lopes/ normalized-185.opb	SAT	103.436	106.7	3741150
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army13.24ls.opb	SAT	124.066	123.992	3729103
/DEC-SMALLINT-LIN/lopes/ normalized-117.opb	SAT	142.037	142.887	3740890
/DEC-SMALLINT-LIN/lopes/ normalized-107.opb	SAT	184.237	184.741	3741098
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/ppp-problems/normalized-ppp:1-9,16-19.opb	SAT	204.064	204.628	3730975
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v50_e1000_d25_mw10_6.opb.PB06.opb	SAT	267.788	382.692	3729987
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v50_e1000_d25_mw10_9.opb.PB06.opb	SAT	268.242	392.859	3730052
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v50_e1000_d25_mw10_5.opb.PB06.opb	SAT	268.864	399.461	3730117
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v50_e1000_d25_mw10_3.opb.PB06.opb	SAT	268.989	460.872	3730065
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v50_e1000_d25_mw10_1.opb.PB06.opb	SAT	271.087	412.172	3730078
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K72.opb	SAT	285.941	286.267	3742759
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12028_8-sat.opb	SAT	313.161	312.858	3739710
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/robin/normalized-robin14.opb	SAT	318.726	320.768	3728960
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K70.opb	SAT	473.72	471.048	3742642
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j1208_6-sat.opb	SAT	475.102	474.496	3739684

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/robin/normalized-robin16.opb	? (TO)	1800.07	1797.95	3728921
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ liu/vdw/normalized-vdw_k6_l3_n170.opb	? (TO)	1800.08	1797.34	3729909
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army13.24bt.opb	? (TO)	1800.09	1795.76	3729012
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ liu/vdw/normalized-vdw_k5_l4_n750.opb	? (TO)	1800.1	1798.04	3729961

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
/DEC-SMALLINT-LIN/lopes/ normalized-170.opb	? (MO)	255.6	412.455	3741111
/DEC-SMALLINT-LIN/lopes/ normalized-164.opb	? (MO)	258.19	483.958	3741072
/DEC-SMALLINT-LIN/lopes/ normalized-47.opb	? (MO)	273.68	392.582	3740981
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K125.opb	? (MO)	282.54	280.656	3742538
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K126.opb	? (MO)	282.84	280.865	3742278
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K143.opb	? (MO)	283.32	279.855	3742525
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K139.opb	? (MO)	283.65	281.156	3742330
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K129.opb	? (MO)	283.81	281.555	3742343
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K177.opb	? (MO)	283.86	280.459	3742421
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K160.opb	? (MO)	284.31	281.558	3742460
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K128.opb	? (MO)	285.14	282.862	3742226
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K152.opb	? (MO)	285.46	282.657	3742499
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K164.opb	? (MO)	285.46	282.659	3742382
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K132.opb	? (MO)	285.72	282.656	3742590
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K183.opb	? (MO)	285.82	283.959	3742252
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K168.opb	? (MO)	285.9	282.756	3742564
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K163.opb	? (MO)	285.94	283.863	3742395
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K176.opb	? (MO)	286.02	283.763	3742291
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K181.opb	? (MO)	286.44	283.76	3742434
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K133.opb	? (MO)	286.64	283.865	3742369
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K141.opb	? (MO)	286.89	284.863	3742551
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K192.opb	? (MO)	287.29	284.455	3742356
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K175.opb	? (MO)	287.74	285.958	3742473
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K148.opb	? (MO)	287.81	285.956	3742577
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K167.opb	? (MO)	288.09	285.963	3742213
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K138.opb	? (MO)	288.15	286.465	3742486
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K180.opb	? (MO)	288.77	287.155	3742447
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K131.opb	? (MO)	289.38	287.264	3742317
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K156.opb	? (MO)	289.64	287.063	3742408
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K140.opb	? (MO)	290.08	288.255	3742512
/DEC-SMALLINT-LIN/lopes/ normalized-175.opb	? (MO)	296.71	296.769	3740812
/DEC-SMALLINT-LIN/lopes/ normalized-73.opb	? (MO)	297.84	296.169	3740942
/DEC-SMALLINT-LIN/lopes/ normalized-21.opb	? (MO)	301.18	301.663	3741137
/DEC-SMALLINT-LIN/lopes/ normalized-99.opb	? (MO)	305.44	303.662	3741046
/DEC-SMALLINT-LIN/lopes/ normalized-20.opb	? (MO)	305.69	305.627	3740968
/DEC-SMALLINT-LIN/lopes/ normalized-31.opb	? (MO)	307.86	307.963	3741124
/DEC-SMALLINT-LIN/lopes/ normalized-112.opb	? (MO)	322.9	323.552	3741189
/DEC-SMALLINT-LIN/lopes/ normalized-180.opb	? (MO)	328.99	329	3740929
/DEC-SMALLINT-LIN/lopes/ normalized-172.opb	? (MO)	330.69	335.592	3740851
/DEC-SMALLINT-LIN/lopes/ normalized-123.opb	? (MO)	335.02	335.652	3741059
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K200.opb	? (MO)	336.09	333.37	3742239
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K199.opb	? (MO)	338.59	335.666	3742265
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K196.opb	? (MO)	339.69	336.761	3742304
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12039_7-sat.opb	? (MO)	344.29	340.972	3739736
/DEC-SMALLINT-LIN/lopes/ normalized-116.opb	? (MO)	344.31	348.852	3740877
/DEC-SMALLINT-LIN/lopes/ normalized-48.opb	? (MO)	350.83	350.865	3740994
/DEC-SMALLINT-LIN/lopes/ normalized-61.opb	? (MO)	362.55	502.867	3740825
/DEC-SMALLINT-LIN/lopes/ normalized-91.opb	? (MO)	363.45	497.068	3740955
/DEC-SMALLINT-LIN/heinz/ normalized-neos-820157.opb	? (MO)	380.25	379.974	3741215
/DEC-SMALLINT-LIN/heinz/ normalized-neos-820146.opb	? (MO)	388.5	388.376	3741202
/DEC-SMALLINT-LIN/lopes/ normalized-76.opb	? (MO)	420.57	536.369	3741007
/DEC-SMALLINT-LIN/lopes/ normalized-70.opb	? (MO)	422.44	557.669	3741163
/DEC-SMALLINT-LIN/lopes/ normalized-146.opb	? (MO)	478.98	695.476	3740838
/DEC-SMALLINT-LIN/lopes/ normalized-120.opb	? (MO)	479.72	795.56	3741033
/DEC-SMALLINT-LIN/lopes/ normalized-129.opb	? (MO)	487.6	762.968	3741085
/DEC-SMALLINT-LIN/lopes/ normalized-137.opb	? (MO)	488.5	730.373	3740864
/DEC-SMALLINT-LIN/lopes/ normalized-122.opb	? (MO)	491.88	824.175	3741176
/DEC-SMALLINT-LIN/lopes/ normalized-153.opb	? (MO)	501.16	860.778	3740903
/DEC-SMALLINT-LIN/lopes/ normalized-167.opb	? (MO)	503.57	729.064	3741020
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6029_8-unsat.opb	? (MO)	526.59	523.071	3740074
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb	? (MO)	526.69	524.178	3731001
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.8.accl.ucl.opb	? (MO)	566.34	563.576	3730871
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K98.opb	? (MO)	609.97	607.565	3742070
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K94.opb	? (MO)	610.59	608.763	3741953
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K106.opb	? (MO)	611.38	609.464	3742005
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K86.opb	? (MO)	611.57	609.357	3742109
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K97.opb	? (MO)	613.38	611.066	3741979
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K88.opb	? (MO)	613.45	611.365	3741875
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K102.opb	? (MO)	613.54	611.562	3741849
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K96.opb	? (MO)	613.74	611.662	3742148
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K87.opb	? (MO)	613.95	611.67	3741862
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K89.opb	? (MO)	614.33	612.163	3742057
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K109.opb	? (MO)	614.51	612.865	3742174
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K105.opb	? (MO)	614.72	612.863	3741940
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K91.opb	? (MO)	615.17	613.164	3741901
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K93.opb	? (MO)	615.22	612.865	3742096
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K108.opb	? (MO)	615.45	613.364	3742083
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K104.opb	? (MO)	615.68	613.773	3741914
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K100.opb	? (MO)	615.95	614.163	3742122
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K107.opb	? (MO)	616	613.863	3742044
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K103.opb	? (MO)	616.08	614.165	3742187
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K90.opb	? (MO)	616.73	613.657	3741823
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K85.opb	? (MO)	617.13	615.159	3741927
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K95.opb	? (MO)	617.17	614.864	3742135
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K99.opb	? (MO)	617.29	614.981	3741836
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K101.opb	? (MO)	617.43	615.164	3742200
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K82.opb	? (MO)	624.97	622.758	3742018
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K80.opb	? (MO)	627.09	624.958	3741888
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K83.opb	? (MO)	630.17	627.56	3742161
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K92.opb	? (MO)	654.25	715.464	3741966
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K81.opb	? (MO)	662	659.658	3742031
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12046_2-sat.opb	? (MO)	938.84	936.066	3739567
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j1206_6-sat.opb	? (MO)	984.28	981.162	3739606
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K84.opb	? (MO)	1028.61	1026.17	3741992
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb	? (MO)	1032.81	1030.97	3730806
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.ex.mem.LsqHdStrong.ucl.opb	? (MO)	1065.12	1064.17	3730559
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K65.opb	? (MO)	1071.34	1068.17	3742616
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K68.opb	? (MO)	1075.11	1071.57	3742772
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K66.opb	? (MO)	1078.27	1075.97	3742655
/DEC-SMALLINT-LIN/oliveras/j90/ normalized-j9045_1-sat.opb	? (MO)	1528.07	1524.76	3739931
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12038_3-sat.opb	? (MO)	1530.96	1529.17	3739619
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ liu/vdw/normalized-vdw_k4_l4_n360.opb	? (MO)	1623.75	1621.36	3729948
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ liu/vdw/normalized-vdw_k3_l5_n550.opb	? (MO)	1625.7	1623.37	3729922
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12047_6-sat.opb	? (MO)	1627.55	1625.67	3739697
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-full.all.ucl.opb	? (MO)	1630.72	1628.07	3730767
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army12.21ls.opb	? (MO)	1695.94	1691.97	3729116
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/robin/normalized-robin18.opb	? (MO)	1712.2	1708.57	3728947
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army12.21bt.opb	? (MO)	1735.23	1736.07	3729025

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_10_4_4_8.opb	UNSAT	0.483926	0.572098	3738030
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_10_4_4_5.opb	UNSAT	0.540917	1.27711	3737783
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_10_4_3_5.opb	UNSAT	0.546916	1.38896	3737978
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_50_25_3_15.opb	UNSAT	14.4998	14.5969	3737952
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_50_25_5_15.opb	UNSAT	15.5456	15.6155	3737887
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_25_5_40.opb	UNSAT	1188.46	1185.18	3737809

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_50_10_2_5.opb	SAT	0.521919	0.603405	3737744
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_50_10_3_5.opb	SAT	0.534918	1.39152	3737718
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_10_4_15.opb	SAT	0.57991	0.654579	3737731
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_10_4_40.opb	SAT	0.669898	1.06122	3737692
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_10_1_15.opb	SAT	0.671897	0.762709	3737874
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_10_2_40.opb	SAT	0.683895	0.778287	3737861
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_25_3_15.opb	SAT	0.932857	0.993164	3738017
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_25_5_15.opb	SAT	0.983849	1.75208	3737822
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_10_2_15.opb	SAT	2.40263	2.38797	3738069
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_25_5_15.opb	SAT	3.64844	2.38718	3737835
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_60_4_15.opb	SAT	6.79996	7.39391	3737939
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_60_5_15.opb	SAT	7.34888	7.28282	3737991
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_10_5_80.opb	SAT	10.2664	10.2969	3737757
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_10_3_80.opb	SAT	31.7102	31.7588	3737848
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_10_1_80.opb	SAT	32.4941	32.5253	3738004

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_25_5_40.opb	? (MO)	1620.27	1616.26	3737770
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_25_5_80.opb	? (MO)	1661.52	1656.76	3737705
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_25_3_80.opb	? (MO)	1665.4	1660.96	3737913
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_25_2_15.opb	? (MO)	1670.57	1665.97	3738043
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_25_2_40.opb	? (MO)	1672.86	1669.07	3737926
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_10_3_40.opb	? (MO)	1677.67	1673.07	3737965
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_50_10_3_15.opb	? (MO)	1687.16	1682.97	3738056
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_50_10_1_15.opb	? (MO)	1687.49	1683.27	3737796
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_50_10_5_15.opb	? (MO)	1687.56	1683.07	3737900

PB'12 competition: satisfaction and optimization track: benchmarks results per solver

Result page for solver PB11: borg pb-dec-11.04.03 (complete)

Category "no optimisation, small integers, linear constraints" (DEC-SMALLINT-LIN)

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

Solver found a solution (SATISFIABLE) for a SAT/UNSAT instance (124 runs) [Show/Hide]

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

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

Category "no optimisation, small integers, non linear constraints" (DEC-SMALLINT-NLC)

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

Solver found a solution (SATISFIABLE) for a SAT/UNSAT instance (15 runs) [Show/Hide]

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