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

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
/DEC-SMALLINT-LIN/oliveras/j90/ normalized-j9014_1-unsat.opb	UNSAT	0.562914	0.750206	3739823
/DEC-SMALLINT-LIN/oliveras/j90/ normalized-j9040_1-unsat.opb	UNSAT	0.565913	0.705457	3739901
/DEC-SMALLINT-LIN/oliveras/j90/ normalized-j908_8-unsat.opb	UNSAT	0.571913	0.714787	3739758
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-37s.smv.opb	UNSAT	0.574912	0.741788	3730633
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-elf.rf8.ucl.opb	UNSAT	0.582911	0.726381	3730594
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-blast-floppy1-6.ucl.opb	UNSAT	0.588909	0.706507	3730828
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-blast-floppy1-8.ucl.opb	UNSAT	0.594908	0.763317	3730711
/DEC-SMALLINT-LIN/oliveras/j90/ normalized-j9015_7-unsat.opb	UNSAT	0.597908	0.718828	3739797
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-blast-floppy1-2.ucl.opb	UNSAT	0.602907	0.742929	3730854
/DEC-SMALLINT-LIN/oliveras/ j90/normalized-j9010_10-unsat.opb	UNSAT	0.603907	0.755747	3739849
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6027_9-unsat.opb	UNSAT	0.608906	0.76445	3740044
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12049_6-unsat.opb	UNSAT	0.611906	0.781332	3739576
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6028_9-unsat.opb	UNSAT	0.612906	0.738101	3739953
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j3042_5-unsat.opb	UNSAT	0.613906	0.810202	3739433
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j3011_9-unsat.opb	UNSAT	0.614906	0.791536	3739368
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j3046_4-unsat.opb	UNSAT	0.616906	0.808061	3739446
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j308_6-unsat.opb	UNSAT	0.621905	0.818929	3739511
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-blast-tlan2.ucl.opb	UNSAT	0.637902	0.740238	3730750
/DEC-SMALLINT-LIN/oliveras/j90/ normalized-j9038_3-unsat.opb	UNSAT	0.637902	0.748697	3739875
/DEC-SMALLINT-LIN/oliveras/ j60/normalized-j6016_10-unsat.opb	UNSAT	0.640901	0.80839	3740031
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12059_3-unsat.opb	UNSAT	0.640901	1.82346	3739745
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-elf.rf6.ucl.opb	UNSAT	0.645901	1.91151	3730815
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-46s.smv.opb	UNSAT	0.6469	1.85602	3730568
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j601_8-unsat.opb	UNSAT	0.6469	0.803755	3739966
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6032_1-unsat.opb	UNSAT	0.646901	0.761396	3740057
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-25s.smv.opb	UNSAT	0.6489	0.739488	3730841
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6010_7-unsat.opb	UNSAT	0.6509	0.770125	3740005
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-blast-tlan3.ucl.opb	UNSAT	0.6559	0.749792	3730607
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j307_9-unsat.opb	UNSAT	0.661898	0.824885	3739524
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.4.accl.ucl.opb	UNSAT	0.662898	0.806232	3730698
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j1205_3-unsat.opb	UNSAT	0.670897	2.01992	3739667
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-cache.inv8.ucl.opb	UNSAT	0.674896	0.816546	3730659
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-44s.smv.opb	UNSAT	0.675897	0.842835	3730620
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-elf.rf7.ucl.opb	UNSAT	0.700893	1.84614	3730880
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-22s.smv.opb	UNSAT	0.701892	0.803838	3730789
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-elf.rf9.ucl.opb	UNSAT	0.771881	0.903476	3730724
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j607_4-unsat.opb	UNSAT	0.812876	2.23871	3740083
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-ooo.rf8.ucl.opb	UNSAT	0.821874	1.95691	3730906
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-dlx1c.rwmem1.ucl.opb	UNSAT	0.852869	2.10034	3730776
/DEC-SMALLINT-LIN/oliveras/j90/ normalized-j905_6-unsat.opb	UNSAT	1.00385	1.07853	3739862
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900552423.opb	UNSAT	1.07484	1.20915	3729710
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.2.accl.ucl.opb	UNSAT	1.14182	1.23216	3730893
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110967729.opb	UNSAT	1.37079	1.51914	3729164
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110977780.opb	UNSAT	1.47378	1.58536	3729216
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110969170.opb	UNSAT	1.49877	1.6099	3729398
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111219348.opb	UNSAT	1.55876	1.75288	3729190
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110970631.opb	UNSAT	1.61075	1.78614	3729151
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111226680.opb	UNSAT	1.61075	1.73496	3729372
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-ooo.rf9.ucl.opb	UNSAT	1.67274	1.77356	3730646
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111218955.opb	UNSAT	1.69774	1.92742	3729333
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111222257.opb	UNSAT	1.70574	1.80921	3729307
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110971697.opb	UNSAT	1.80172	1.93163	3729229
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110976935.opb	UNSAT	1.87271	1.98296	3729320
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111213868.opb	UNSAT	1.87471	1.96988	3729242
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110972154.opb	UNSAT	1.89771	2.87434	3729255
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111223220.opb	UNSAT	1.9807	2.12189	3729177
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110974180.opb	UNSAT	2.04869	2.15186	3729346
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111224255.opb	UNSAT	2.16267	2.28692	3729281
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-ooo.tag10.ucl.opb	UNSAT	2.37564	2.45711	3730581
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111216411.opb	UNSAT	2.49462	2.57511	3729489
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.3.accl.ucl.opb	UNSAT	2.58961	2.66115	3730685
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110975965.opb	UNSAT	2.65459	2.76098	3729268
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111218308.opb	UNSAT	3.09153	3.19151	3729138
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-ooo.rf10.ucl.opb	UNSAT	4.97824	4.92039	3730919
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900546076.opb	UNSAT	5.2322	5.19415	3729554
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900551864.opb	UNSAT	5.34719	5.2757	3729866
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900670675.opb	UNSAT	6.13207	6.04512	3729671
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900584106.opb	UNSAT	6.75697	6.64481	3729684
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900554072.opb	UNSAT	7.53185	7.39143	3729632
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900568186.opb	UNSAT	8.16276	7.98878	3729619
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900553812.opb	UNSAT	8.81666	8.59297	3729827
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900552735.opb	UNSAT	10.0635	9.81781	3729749
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900544484.opb	UNSAT	10.6484	10.3468	3729723
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900670167.opb	UNSAT	21.3867	20.5882	3729840
/DEC-SMALLINT-LIN/lopes/ normalized-99.opb	UNSAT	28.2437	28.2332	3741042
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900565534.opb	UNSAT	32.0121	30.7593	3729580
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900556231.opb	UNSAT	35.7606	34.3825	3729697
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j1206_8-unsat.opb	UNSAT	41.4837	39.8148	3739719
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900582300.opb	UNSAT	41.6837	40.0179	3729515
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb	UNSAT	45.2975	21.9065	3730932
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900550006.opb	UNSAT	49.1275	47.1406	3729775
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900576927.opb	UNSAT	49.3005	48.2129	3729528
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-11-10.opb	UNSAT	182.899	174.578	3733737
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl10_11_pb.cnf.cr.opb	UNSAT	183.94	177.049	3730360
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-15-10.opb	UNSAT	186.876	179.576	3733815
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl10_20_pb.cnf.cr.opb	UNSAT	193.37	185.398	3730516
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900561288.opb	UNSAT	207.743	198.492	3729645
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.8.accl.ucl.opb	UNSAT	211.853	202.762	3730867
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-51-50.opb	UNSAT	589.715	564.437	3733750
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl15_25_pb.cnf.cr.opb	UNSAT	589.896	564.748	3730321
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl30_35_pb.cnf.cr.opb	UNSAT	590.209	564.977	3730347
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl15_20_pb.cnf.cr.opb	UNSAT	590.45	564.876	3730165
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-35-30.opb	UNSAT	590.901	565.269	3733789
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl35_40_pb.cnf.cr.opb	UNSAT	591.159	565.915	3730178
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl30_31_pb.cnf.cr.opb	UNSAT	591.503	565.895	3730373
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-41-40.opb	UNSAT	591.757	566.531	3733828
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-31-30.opb	UNSAT	591.991	565.674	3733672
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr.opb	UNSAT	592.051	564.834	3730269
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-21-20.opb	UNSAT	592.227	565.905	3733763
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl35_36_pb.cnf.cr.opb	UNSAT	592.249	564.526	3730451
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl40_45_pb.cnf.cr.opb	UNSAT	592.656	566.013	3730334
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-81-80.opb	UNSAT	593.416	565.96	3733711
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-65-60.opb	UNSAT	593.743	566.712	3733659
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-cardinality-101-100.opb	UNSAT	594.366	567.443	3733633
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl50_51_pb.cnf.cr.opb	UNSAT	597.799	570.95	3730282
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-75-70.opb	UNSAT	599.518	571.782	3733581
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-45-40.opb	UNSAT	609.345	582.257	3733607
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-71-70.opb	UNSAT	628.94	601.862	3733724
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-55-50.opb	UNSAT	631.128	602.017	3733620
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-61-60.opb	UNSAT	641.949	611.871	3733776
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-25-20.opb	UNSAT	690.231	565.049	3733594
/DEC-SMALLINT-LIN/lopes/ normalized-101.opb	UNSAT	1017.77	967.972	3740912

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga10_10_sat_pb.cnf.cr.opb	SAT	0.606907	1.93119	3730464
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111227418.opb	SAT	0.677896	0.852182	3729450
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900561389.opb	SAT	0.677896	0.852357	3729606
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga11_9_sat_pb.cnf.cr.opb	SAT	0.680895	1.94833	3730438
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900574974.opb	SAT	0.694893	0.844022	3729879
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111219399.opb	SAT	0.705892	0.876795	3729463
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army8.9bt.opb	SAT	0.706892	1.83757	3728995
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga11_10_sat_pb.cnf.cr.opb	SAT	0.707892	2.00686	3730529
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900576918.opb	SAT	0.723889	0.87246	3729892
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j307_10-sat.opb	SAT	0.735888	0.916584	3739485
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j3024_5-sat.opb	SAT	0.742886	0.904952	3739472
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j3024_2-sat.opb	SAT	0.746886	0.976277	3739498
/DEC-SMALLINT-LIN/leberre/opb-paranoid/misc2010/ datasets/caixa/normalized-1096.cudf.paranoid.opb	SAT	0.747885	2.00075	3738577
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j3017_6-sat.opb	SAT	0.758883	0.942685	3739420
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j3025_10-sat.opb	SAT	0.760884	0.927644	3739537
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j3043_8-sat.opb	SAT	0.763883	0.950247	3739407
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900669299.opb	SAT	0.765883	0.876527	3729814
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga13_12_sat_pb.cnf.cr.opb	SAT	0.768882	2.19137	3730230
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j3030_6-sat.opb	SAT	0.772881	0.955402	3739394
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900577000.opb	SAT	0.775881	0.923831	3729762
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j309_6-sat.opb	SAT	0.776881	1.15169	3739459
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/robin/normalized-robin10.opb	SAT	0.78388	1.15962	3728930
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army9.12bt.opb	SAT	0.78388	1.29743	3729060
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900554389.opb	SAT	0.78488	0.964642	3729567
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900669309.opb	SAT	0.808876	0.933132	3729541
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j3024_3-sat.opb	SAT	0.817875	0.981324	3739381
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army8.9ls.opb	SAT	0.829873	2.92582	3729034
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110973478.opb	SAT	0.832873	0.977042	3729424
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111222080.opb	SAT	0.875866	1.00658	3729502
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6030_8-sat.opb	SAT	0.884864	1.04018	3740018
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v30_e350_d15_mw10_2.opb.PB06.opb	SAT	0.907861	1.22408	3730035
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110972958.opb	SAT	0.908861	1.25805	3729203
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6014_2-sat.opb	SAT	0.91286	1.05305	3739979
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v30_e350_d15_mw10_9.opb.PB06.opb	SAT	0.91886	1.06372	3730139
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v30_e350_d15_mw10_3.opb.PB06.opb	SAT	0.920859	1.09463	3730022
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/robin/normalized-robin8.opb	SAT	0.931857	6.52686	3728904
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army10.14bt.opb	SAT	0.939856	2.90663	3728969
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6040_3-sat.opb	SAT	0.942856	1.21919	3740122
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900565527.opb	SAT	0.943856	1.08103	3729801
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900566263.opb	SAT	0.955854	2.05072	3729736
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111222248.opb	SAT	0.959853	1.10481	3729411
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6040_10-sat.opb	SAT	0.994848	1.13415	3740135
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6020_9-sat.opb	SAT	0.997847	1.12948	3740109
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110974553.opb	SAT	0.999847	1.14642	3729476
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6042_2-sat.opb	SAT	1.00785	2.28656	3739940
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6028_7-sat.opb	SAT	1.00885	1.15908	3740096
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6043_4-sat.opb	SAT	1.00984	1.24131	3739992
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110970277.opb	SAT	1.03584	2.16957	3729125
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900554154.opb	SAT	1.03784	1.16622	3729853
/DEC-SMALLINT-LIN/oliveras/j90/ normalized-j9016_7-sat.opb	SAT	1.06584	1.16069	3739888
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v30_e350_d15_mw10_1.opb.PB06.opb	SAT	1.06584	2.15408	3729970
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v30_e350_d15_mw10_8.opb.PB06.opb	SAT	1.07583	2.24167	3729996
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/ppp-problems/normalized-ppp:1-12,16.opb	SAT	1.10683	1.20131	3730984
/DEC-SMALLINT-LIN/oliveras/j90/ normalized-j901_6-sat.opb	SAT	1.11583	1.24087	3739810
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900547416.opb	SAT	1.11783	2.32856	3729658
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900582376.opb	SAT	1.11883	2.1156	3729593
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army9.12ls.opb	SAT	1.13283	1.30006	3729086
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900559365.opb	SAT	1.19682	2.26635	3729788
/DEC-SMALLINT-LIN/oliveras/j90/ normalized-j902_5-sat.opb	SAT	1.3128	1.47243	3739836
/DEC-SMALLINT-LIN/oliveras/j90/ normalized-j9048_9-sat.opb	SAT	1.3198	1.40356	3739784
/DEC-SMALLINT-LIN/oliveras/j90/ normalized-j9040_1-sat.opb	SAT	1.3208	1.41293	3739771
/DEC-SMALLINT-LIN/oliveras/j90/ normalized-j9042_4-sat.opb	SAT	1.3408	1.46085	3739914
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v40_e600_d20_mw10_5.opb.PB06.opb	SAT	1.40679	1.52787	3730087
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army10.14ls.opb	SAT	1.42178	3.59591	3729047
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v40_e600_d20_mw10_9.opb.PB06.opb	SAT	1.42878	1.56737	3730009
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v40_e600_d20_mw10_0.opb.PB06.opb	SAT	1.44278	1.56154	3730152
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v40_e600_d20_mw10_6.opb.PB06.opb	SAT	1.47877	1.72309	3730126
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v40_e600_d20_mw10_2.opb.PB06.opb	SAT	1.50577	2.48982	3730100
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j1204_7-sat.opb	SAT	1.51477	1.66043	3739550
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110968431.opb	SAT	1.61975	1.75879	3729437
/DEC-SMALLINT-LIN/heinz/ normalized-neos808444.opb	SAT	1.62175	1.72924	3741237
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111223696.opb	SAT	1.67874	1.8364	3729385
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12035_4-sat.opb	SAT	1.70274	2.21775	3739589
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army11.17ls.opb	SAT	1.78773	1.84991	3729073
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/ppp-problems/normalized-ppp:1-13.opb	SAT	1.79573	2.42265	3730958
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ liu/vdw/normalized-vdw_k3_l6_n1500.opb	SAT	1.83472	3.9809	3729931
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110977464.opb	SAT	1.92271	2.06583	3729294
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110973863.opb	SAT	2.06869	2.17095	3729359
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v50_e1000_d25_mw10_5.opb.PB06.opb	SAT	2.6006	2.68076	3730113
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v50_e1000_d25_mw10_1.opb.PB06.opb	SAT	2.6336	2.81177	3730074
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v50_e1000_d25_mw10_9.opb.PB06.opb	SAT	2.6526	2.7167	3730048
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K79.opb	SAT	2.66959	2.78006	3742677
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v50_e1000_d25_mw10_6.opb.PB06.opb	SAT	2.72358	2.83534	3729983
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v50_e1000_d25_mw10_3.opb.PB06.opb	SAT	2.73758	3.88165	3730061
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga14_12_sat_pb.cnf.cr.opb	SAT	3.68144	4.83613	3730217
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/ppp-problems/normalized-ppp:1,3-13,19.opb	SAT	3.76243	4.84357	3731010
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K80.opb	SAT	3.84241	4.85533	3742781
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/robin/normalized-robin12.opb	SAT	3.89441	9.33768	3728891
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Ih2arity.ucl.opb	SAT	4.12637	4.51676	3730737
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K78.opb	SAT	4.28935	4.26968	3742716
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga14_13_sat_pb.cnf.cr.opb	SAT	5.13722	5.10955	3730503
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K77.opb	SAT	6.30504	6.21848	3742729
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K74.opb	SAT	6.53301	6.39722	3742794
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K76.opb	SAT	7.03993	7.92117	3742703
/DEC-SMALLINT-LIN/heinz/ normalized-neos-849702.opb	SAT	10.6914	11.5125	3741224
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army12.21ls.opb	SAT	10.7814	11.0046	3729112
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb	SAT	10.7864	10.5235	3730945
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army11.17bt.opb	SAT	10.9313	11.0989	3728982
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga40_38_sat_pb.cnf.cr.opb	SAT	11.9412	12.6508	3730399
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K72.opb	SAT	14.1988	13.7543	3742755
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K70.opb	SAT	20.4749	20.8553	3742638
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K73.opb	SAT	24.9782	25.1737	3742599
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K75.opb	SAT	25.5731	25.722	3742664
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K71.opb	SAT	34.1298	32.7505	3742742
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12028_8-sat.opb	SAT	47.3538	46.5966	3739706
/DEC-SMALLINT-LIN/lopes/ normalized-117.opb	SAT	51.8161	50.7706	3740886
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K69.opb	SAT	59.8939	58.5657	3742625
/DEC-SMALLINT-LIN/lopes/ normalized-107.opb	SAT	61.1317	59.905	3741094
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga30_29_sat_pb.cnf.cr.opb	SAT	64.0393	62.4973	3730386
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga35_35_sat_pb.cnf.cr.opb	SAT	64.0643	62.5239	3730412
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga25_24_sat_pb.cnf.cr.opb	SAT	64.0923	61.5399	3730477
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga35_34_sat_pb.cnf.cr.opb	SAT	64.2712	61.7534	3730425
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga25_25_sat_pb.cnf.cr.opb	SAT	64.2922	62.8261	3730308
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga45_45_sat_pb.cnf.cr.opb	SAT	64.2942	61.5113	3730256
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga20_19_sat_pb.cnf.cr.opb	SAT	64.5492	63.0131	3730295
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga20_18_sat_pb.cnf.cr.opb	SAT	64.6352	61.9155	3730542
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga40_39_sat_pb.cnf.cr.opb	SAT	66.013	63.0312	3730490
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga25_23_sat_pb.cnf.cr.opb	SAT	67.7817	64.8656	3730243
/DEC-SMALLINT-LIN/lopes/ normalized-185.opb	SAT	68.5966	65.5916	3741146
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/robin/normalized-robin14.opb	SAT	161.271	155.892	3728956
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga35_33_sat_pb.cnf.cr.opb	SAT	281.631	270.245	3730191
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j1208_6-sat.opb	SAT	376.683	359.078	3739680
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K68.opb	SAT	884.602	843.483	3742768
/DEC-SMALLINT-LIN/lopes/ normalized-164.opb	SAT	1050.17	997.881	3741068
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K106.opb	SAT	1088.34	1037.48	3742001
/DEC-SMALLINT-LIN/lopes/ normalized-170.opb	SAT	1092.25	1036.47	3741107
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K67.opb	SAT	1127.61	1077.32	3742690
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ liu/vdw/normalized-vdw_k3_l5_n550.opb	SAT	1536.79	1471.77	3729918
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army13.24bt.opb	SAT	1652.75	1579.34	3729008

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K177.opb	? (TO)	1800	1719.32	3742417
/DEC-SMALLINT-LIN/lopes/ normalized-70.opb	? (TO)	1800	1716.21	3741159
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K129.opb	? (TO)	1800.01	1717.12	3742339
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K80.opb	? (TO)	1800.01	1720.61	3741884
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12038_7-unsat.opb	? (TO)	1800.01	1717.22	3739654
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K125.opb	? (TO)	1800.01	1719.22	3742534
/DEC-SMALLINT-LIN/lopes/ normalized-175.opb	? (TO)	1800.01	1692.81	3740808
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K126.opb	? (TO)	1800.01	1719.81	3742274
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K132.opb	? (TO)	1800.01	1719.71	3742586
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K103.opb	? (TO)	1800.01	1716.81	3742183
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12032_3-unsat.opb	? (TO)	1800.01	1715.01	3739641
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/ppp-problems/normalized-ppp:1-9,16-19.opb	? (TO)	1800.01	1717.81	3730971
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K87.opb	? (TO)	1800.01	1722.31	3741858
/DEC-SMALLINT-LIN/lopes/ normalized-76.opb	? (TO)	1800.02	1715.92	3741003
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K86.opb	? (TO)	1800.02	1720.91	3742105
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K98.opb	? (TO)	1800.02	1720.01	3742066
/DEC-SMALLINT-LIN/lopes/ normalized-112.opb	? (TO)	1800.02	1714.82	3741185
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K82.opb	? (TO)	1800.02	1720.11	3742014
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K160.opb	? (TO)	1800.02	1719.81	3742456
/DEC-SMALLINT-LIN/lopes/ normalized-137.opb	? (TO)	1800.02	1712.31	3740860
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K140.opb	? (TO)	1800.02	1717.61	3742508
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K176.opb	? (TO)	1800.03	1719.41	3742287
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K148.opb	? (TO)	1800.03	1715.51	3742573
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12048_4-unsat.opb	? (TO)	1800.03	1714.61	3739628
/DEC-SMALLINT-LIN/lopes/ normalized-31.opb	? (TO)	1800.03	1718.71	3741120
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K139.opb	? (TO)	1800.03	1720.31	3742326
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K95.opb	? (TO)	1800.03	1723.51	3742131
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K99.opb	? (TO)	1800.03	1715.91	3741832
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K183.opb	? (TO)	1800.03	1716.91	3742248
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.unbounded.all.ucl.opb	? (TO)	1800.03	1712.51	3730672
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-full.all.ucl.opb	? (TO)	1800.03	1719.01	3730763
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K167.opb	? (TO)	1800.03	1716.31	3742209
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ liu/vdw/normalized-vdw_k5_l4_n750.opb	? (TO)	1800.03	1722.01	3729957
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K175.opb	? (TO)	1800.03	1715.31	3742469
/DEC-SMALLINT-LIN/lopes/ normalized-146.opb	? (TO)	1800.04	1717.31	3740834
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K141.opb	? (TO)	1800.04	1719.11	3742547
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K180.opb	? (TO)	1800.04	1717.02	3742443
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K92.opb	? (TO)	1800.04	1717.01	3741962
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K94.opb	? (TO)	1800.04	1718.01	3741949
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K91.opb	? (TO)	1800.04	1722.81	3741897
/DEC-SMALLINT-LIN/lopes/ normalized-123.opb	? (TO)	1800.04	1709.32	3741055
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12046_2-sat.opb	? (TO)	1800.04	1714.01	3739563
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-85-80.opb	? (TO)	1800.04	1721.21	3733646
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-95-90.opb	? (TO)	1800.04	1717.02	3733698
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb	? (TO)	1800.04	1716.51	3730997
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K102.opb	? (TO)	1800.05	1719.91	3741845
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K101.opb	? (TO)	1800.05	1720.71	3742196
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K84.opb	? (TO)	1800.05	1722.31	3741988
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K192.opb	? (TO)	1800.05	1716.21	3742352
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K131.opb	? (TO)	1800.05	1715.71	3742313
/DEC-SMALLINT-LIN/lopes/ normalized-116.opb	? (TO)	1800.05	1716.01	3740873
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K107.opb	? (TO)	1800.05	1719.61	3742040
/DEC-SMALLINT-LIN/lopes/ normalized-21.opb	? (TO)	1800.05	1713.72	3741133
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K88.opb	? (TO)	1800.05	1717.81	3741871
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K100.opb	? (TO)	1800.05	1716.51	3742118
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K83.opb	? (TO)	1800.06	1723.11	3742157
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K66.opb	? (TO)	1800.06	1716.91	3742651
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K81.opb	? (TO)	1800.06	1723.11	3742027
/DEC-SMALLINT-LIN/lopes/ normalized-47.opb	? (TO)	1800.06	1713.71	3740977
/DEC-SMALLINT-LIN/heinz/ normalized-neos-820146.opb	? (TO)	1800.06	1719.91	3741198
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/robin/normalized-robin18.opb	? (TO)	1800.06	1715.91	3728943
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K138.opb	? (TO)	1800.06	1717.02	3742482
/DEC-SMALLINT-LIN/lopes/ normalized-172.opb	? (TO)	1800.06	1692.81	3740847
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K109.opb	? (TO)	1800.06	1718.31	3742170
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K65.opb	? (TO)	1800.07	1717.41	3742612
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army12.21bt.opb	? (TO)	1800.07	1715.92	3729021
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K200.opb	? (TO)	1800.07	1721.01	3742235
/DEC-SMALLINT-LIN/lopes/ normalized-180.opb	? (TO)	1800.07	1697.51	3740925
/DEC-SMALLINT-LIN/lopes/ normalized-153.opb	? (TO)	1800.07	1711.11	3740899
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K90.opb	? (TO)	1800.07	1715.21	3741819
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ liu/vdw/normalized-vdw_k6_l3_n170.opb	? (TO)	1800.07	1714.51	3729905
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K96.opb	? (TO)	1800.07	1721.61	3742144
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ liu/vdw/normalized-vdw_k4_l4_n360.opb	? (TO)	1800.07	1718.41	3729944
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K133.opb	? (TO)	1800.07	1720.32	3742365
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6029_8-unsat.opb	? (TO)	1800.07	1714.51	3740070
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army13.24ls.opb	? (TO)	1800.07	1718.61	3729099
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/robin/normalized-robin16.opb	? (TO)	1800.07	1717.31	3728917
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.ex.mem.LsqHdStrong.ucl.opb	? (TO)	1800.08	1713.91	3730555
/DEC-SMALLINT-LIN/lopes/ normalized-122.opb	? (TO)	1800.08	1718.31	3741172
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K108.opb	? (TO)	1800.08	1717.71	3742079
/DEC-SMALLINT-LIN/oliveras/j90/ normalized-j9045_1-sat.opb	? (TO)	1800.08	1719.81	3739927
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K196.opb	? (TO)	1800.08	1721.61	3742300
/DEC-SMALLINT-LIN/lopes/ normalized-129.opb	? (TO)	1800.08	1714.31	3741081
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K156.opb	? (TO)	1800.08	1717.12	3742404
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K181.opb	? (TO)	1800.08	1722.21	3742430
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K105.opb	? (TO)	1800.08	1720.42	3741936
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K152.opb	? (TO)	1800.09	1719.71	3742495
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K199.opb	? (TO)	1800.09	1722.72	3742261
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K128.opb	? (TO)	1800.09	1716.51	3742222
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K93.opb	? (TO)	1800.09	1717.91	3742092
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12047_6-sat.opb	? (TO)	1800.09	1714.71	3739693
/DEC-SMALLINT-LIN/lopes/ normalized-91.opb	? (TO)	1800.09	1714.21	3740951
/DEC-SMALLINT-LIN/lopes/ normalized-20.opb	? (TO)	1800.09	1713.91	3740964
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K85.opb	? (TO)	1800.09	1718.22	3741923
/DEC-SMALLINT-LIN/lopes/ normalized-167.opb	? (TO)	1800.09	1706.81	3741016
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K164.opb	? (TO)	1800.09	1717.41	3742378
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12039_7-sat.opb	? (TO)	1800.09	1715.31	3739732
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12038_3-sat.opb	? (TO)	1800.09	1719.51	3739615
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K104.opb	? (TO)	1800.09	1719.11	3741910
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl50_55_pb.cnf.cr.opb	? (TO)	1800.09	1715.21	3730204
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K97.opb	? (TO)	1800.09	1719.71	3741975
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j1206_6-sat.opb	? (TO)	1800.09	1704.21	3739602
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-cardinality-105-100.opb	? (TO)	1800.1	1723.51	3733802
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K168.opb	? (TO)	1800.1	1721.81	3742560
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-91-90.opb	? (TO)	1800.1	1719.91	3733685
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K163.opb	? (TO)	1800.1	1720.91	3742391
/DEC-SMALLINT-LIN/lopes/ normalized-61.opb	? (TO)	1800.11	1711.92	3740821
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K143.opb	? (TO)	1800.11	1722.61	3742521
/DEC-SMALLINT-LIN/lopes/ normalized-120.opb	? (TO)	1800.12	1716.62	3741029
/DEC-SMALLINT-LIN/lopes/ normalized-48.opb	? (TO)	1800.12	1719.01	3740990
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K89.opb	? (TO)	1800.12	1716.51	3742053
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb	? (TO)	1800.12	1715.11	3730802
/DEC-SMALLINT-LIN/lopes/ normalized-73.opb	? (TO)	1800.13	1712.72	3740938
/DEC-SMALLINT-LIN/heinz/ normalized-neos-820157.opb	? (TO)	1800.13	1721.71	3741211

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.84587	1.05774	3738026
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_50_25_5_15.opb	UNSAT	437.671	416.201	3737883
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_50_25_3_15.opb	UNSAT	438.522	419.227	3737948

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_10_4_15.opb	SAT	214.911	204.012	3737727
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_10_1_15.opb	SAT	215.13	204.185	3737870
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_25_5_15.opb	SAT	216.767	207.306	3737818
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_10_2_15.opb	SAT	218.45	208.536	3738065
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_10_4_40.opb	SAT	219.506	209.772	3737688

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_60_4_15.opb	?	670.039	639.527	3737935
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_25_2_40.opb	?	670.387	635.178	3737922
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_25_5_40.opb	?	670.877	635.787	3737766
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_50_10_3_15.opb	?	671.901	638.741	3738052
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_60_5_15.opb	?	672.918	639.821	3737987

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_10_4_3_5.opb	No Cert.	0.897863	1.08996	3737974
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_50_10_3_5.opb	No Cert.	0.924858	1.563	3737714
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_10_4_4_5.opb	No Cert.	1.04584	2.19607	3737779
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_50_10_2_5.opb	No Cert.	1.10883	2.30503	3737740
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_50_10_5_15.opb	No Cert.	1.15682	2.2666	3737896
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_25_2_15.opb	No Cert.	1.39279	1.45893	3738039
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_10_3_40.opb	No Cert.	1.87071	3.0298	3737961
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_10_2_40.opb	No Cert.	1.87571	1.82351	3737857
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_10_3_80.opb	No Cert.	4.20736	4.65429	3737844
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_25_5_15.opb	No Cert.	5.70413	5.99336	3737831
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_10_1_80.opb	No Cert.	6.83396	7.65795	3738000
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_25_3_80.opb	No Cert.	6.98494	6.69986	3737909
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_25_5_80.opb	No Cert.	16.9334	17.2525	3737701
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_10_5_80.opb	No Cert.	22.4066	21.4345	3737753
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_25_3_15.opb	No Cert.	25.7531	24.6485	3738013
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_50_10_1_15.opb	No Cert.	41.1717	39.3742	3737792
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_25_5_40.opb	No Cert.	111.843	107.631	3737805

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

Result page for solver PB10: borg-pb 10.05.30 (complete)

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

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

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

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

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

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

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

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

Solver answered SATISFIABLE but gave no complete certificate (17 runs) [Show/Hide]