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

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-blast-floppy1-2.ucl.opb	UNSAT	0.001998	0.0104809	3704733
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-elf.rf6.ucl.opb	UNSAT	0.001999	0.00637697	3704744
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-44s.smv.opb	UNSAT	0.003998	0.0088921	3704731
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-blast-floppy1-6.ucl.opb	UNSAT	0.004998	0.019606	3704734
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-elf.rf7.ucl.opb	UNSAT	0.007997	0.0209059	3704745
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-37s.smv.opb	UNSAT	0.007997	0.015111	3704730
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-cache.inv8.ucl.opb	UNSAT	0.014996	0.015052	3704742
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j308_6-unsat.opb	UNSAT	0.017996	0.0198339	3704797
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j3042_5-unsat.opb	UNSAT	0.021995	0.0241531	3704792
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j307_9-unsat.opb	UNSAT	0.022995	0.0253001	3704796
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j3011_9-unsat.opb	UNSAT	0.027995	0.0322939	3704785
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-blast-floppy1-8.ucl.opb	UNSAT	0.029994	0.0298829	3704735
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j3046_4-unsat.opb	UNSAT	0.029994	0.040549	3704794
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-46s.smv.opb	UNSAT	0.030995	0.027549	3704732
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-blast-tlan2.ucl.opb	UNSAT	0.035993	0.037431	3704736
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j607_4-unsat.opb	UNSAT	0.048992	0.0506069	3704814
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j601_8-unsat.opb	UNSAT	0.054991	0.062031	3704802
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6010_7-unsat.opb	UNSAT	0.055991	0.0562829	3704799
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6028_9-unsat.opb	UNSAT	0.061989	0.0632039	3704806
/DEC-SMALLINT-LIN/oliveras/ j60/normalized-j6016_10-unsat.opb	UNSAT	0.06299	0.0633471	3704801
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-25s.smv.opb	UNSAT	0.065989	0.060583	3704729
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6032_1-unsat.opb	UNSAT	0.065989	0.068178	3704809
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6027_9-unsat.opb	UNSAT	0.068988	0.070733	3704804
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-elf.rf8.ucl.opb	UNSAT	0.077987	0.071349	3704746
/DEC-SMALLINT-LIN/oliveras/j90/ normalized-j908_8-unsat.opb	UNSAT	0.084986	0.087251	3704828
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-22s.smv.opb	UNSAT	0.086986	0.0860869	3704728
/DEC-SMALLINT-LIN/oliveras/ j90/normalized-j9010_10-unsat.opb	UNSAT	0.094984	0.095782	3704815
/DEC-SMALLINT-LIN/oliveras/j90/ normalized-j9015_7-unsat.opb	UNSAT	0.109982	0.110253	3704817
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j1205_3-unsat.opb	UNSAT	0.114982	0.116321	3704841
/DEC-SMALLINT-LIN/oliveras/j90/ normalized-j9014_1-unsat.opb	UNSAT	0.122981	0.124471	3704816
/DEC-SMALLINT-LIN/oliveras/j90/ normalized-j9040_1-unsat.opb	UNSAT	0.12998	0.131306	3704823
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.4.accl.ucl.opb	UNSAT	0.140977	0.134479	3704750
/DEC-SMALLINT-LIN/oliveras/j90/ normalized-j9038_3-unsat.opb	UNSAT	0.162974	0.156951	3704821
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-blast-tlan3.ucl.opb	UNSAT	0.164974	0.169511	3704737
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-dlx1c.rwmem1.ucl.opb	UNSAT	0.202968	0.195972	3704743
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12049_6-unsat.opb	UNSAT	0.226964	0.228353	3704838
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12059_3-unsat.opb	UNSAT	0.228965	0.230107	3704840
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-ooo.rf8.ucl.opb	UNSAT	0.292955	0.291839	3704754
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-elf.rf9.ucl.opb	UNSAT	0.32095	0.317071	3704747
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.2.accl.ucl.opb	UNSAT	0.474927	0.46892	3704748
/DEC-SMALLINT-LIN/oliveras/j90/ normalized-j905_6-unsat.opb	UNSAT	0.490924	0.492731	3704827
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-ooo.rf9.ucl.opb	UNSAT	1.01084	1.01152	3704755
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.3.accl.ucl.opb	UNSAT	1.56076	1.5639	3704749
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900546076.opb	UNSAT	1.69874	1.69938	3704651
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110967729.opb	UNSAT	2.06269	2.05432	3704680
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110977780.opb	UNSAT	2.32265	2.31681	3704695
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110970631.opb	UNSAT	2.38264	2.38214	3704684
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111218955.opb	UNSAT	2.42263	2.41892	3704699
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110976935.opb	UNSAT	2.44263	2.44501	3704693
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111219348.opb	UNSAT	2.50262	2.49962	3704700
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900552423.opb	UNSAT	2.83857	2.84559	3704655
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-ooo.tag10.ucl.opb	UNSAT	2.94555	2.95476	3704756
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110969170.opb	UNSAT	3.09253	3.10162	3704682
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111226680.opb	UNSAT	3.32349	3.32224	3704708
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110971697.opb	UNSAT	3.35249	3.35201	3704685
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111224255.opb	UNSAT	3.51247	3.50565	3704707
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111223220.opb	UNSAT	3.62245	3.62078	3704705
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111213868.opb	UNSAT	3.76243	3.7563	3704696
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111222257.opb	UNSAT	4.34134	4.3315	3704704
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110972154.opb	UNSAT	4.68229	4.68098	3704686
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111216411.opb	UNSAT	5.13422	5.12713	3704697
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110974180.opb	UNSAT	6.37203	6.37462	3704690
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110975965.opb	UNSAT	6.83296	6.81997	3704692
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-ooo.rf10.ucl.opb	UNSAT	6.87196	6.88976	3704753
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111218308.opb	UNSAT	10.6924	10.6967	3704698
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb	UNSAT	13.6579	13.6909	3704739
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900551864.opb	UNSAT	23.2655	23.2698	3704654
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j1206_8-unsat.opb	UNSAT	40.0899	40.1916	3704843
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900670675.opb	UNSAT	42.1936	42.2028	3704679
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900568186.opb	UNSAT	49.8544	49.867	3704668
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900544484.opb	UNSAT	57.09	57.1938	3704650
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900552735.opb	UNSAT	62.88	62.9403	3704656
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900553812.opb	UNSAT	63.3324	63.3363	3704657
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900670167.opb	UNSAT	94.2557	94.277	3704678
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900584106.opb	UNSAT	104.054	104.093	3704675
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900554072.opb	UNSAT	124.215	124.235	3704658
/DEC-SMALLINT-LIN/lopes/ normalized-99.opb	UNSAT	196.33	196.452	3704878
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900556231.opb	UNSAT	197.76	197.81	3704661
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900582300.opb	UNSAT	226.556	226.61	3704673
/DEC-SMALLINT-LIN/lopes/ normalized-101.opb	UNSAT	257.226	257.26	3704849
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900565534.opb	UNSAT	289.799	289.868	3704666
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-11-10.opb	UNSAT	295.34	295.473	3704766
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl10_11_pb.cnf.cr.opb	UNSAT	299.73	299.88	3704600
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900550006.opb	UNSAT	311.32	311.472	3704653
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900576927.opb	UNSAT	312.661	312.725	3704671
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl10_20_pb.cnf.cr.opb	UNSAT	477.89	478.031	3704601
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.unbounded.all.ucl.opb	UNSAT	484.567	484.801	3704757
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12048_4-unsat.opb	UNSAT	797.504	797.63	3704837
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900561288.opb	UNSAT	815.093	815.199	3704663
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-15-10.opb	UNSAT	846.12	846.363	3704767
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb	UNSAT	1000.2	1000.44	3704741
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.ex.mem.LsqHdStrong.ucl.opb	UNSAT	1071.54	1071.89	3704752
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-full.all.ucl.opb	UNSAT	1098.6	1098.82	3704738
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.8.accl.ucl.opb	UNSAT	1191.17	1191.55	3704751

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.000999	0.00652791	3704784
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga14_12_sat_pb.cnf.cr.opb	SAT	0.001999	0.00847193	3704616
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga10_10_sat_pb.cnf.cr.opb	SAT	0.001999	0.0062901	3704612
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga11_9_sat_pb.cnf.cr.opb	SAT	0.001999	0.006378	3704614
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga11_10_sat_pb.cnf.cr.opb	SAT	0.002998	0.00889595	3704613
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga14_13_sat_pb.cnf.cr.opb	SAT	0.002998	0.00887403	3704617
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga13_12_sat_pb.cnf.cr.opb	SAT	0.002998	0.00620492	3704615
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga20_19_sat_pb.cnf.cr.opb	SAT	0.003998	0.00797601	3704619
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga20_18_sat_pb.cnf.cr.opb	SAT	0.003998	0.0190339	3704618
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900565527.opb	SAT	0.007998	0.015803	3704665
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga35_34_sat_pb.cnf.cr.opb	SAT	0.016996	0.023217	3704625
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j307_10-sat.opb	SAT	0.019996	0.0293419	3704795
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j3024_5-sat.opb	SAT	0.020995	0.0292791	3704789
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j3024_2-sat.opb	SAT	0.022995	0.0329531	3704787
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j3017_6-sat.opb	SAT	0.023995	0.033198	3704786
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga40_38_sat_pb.cnf.cr.opb	SAT	0.025995	0.031755	3704627
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga25_25_sat_pb.cnf.cr.opb	SAT	0.027995	0.0237351	3704622
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j3024_3-sat.opb	SAT	0.027995	0.0396741	3704788
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga25_24_sat_pb.cnf.cr.opb	SAT	0.027995	0.022093	3704621
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j3043_8-sat.opb	SAT	0.028995	0.0390711	3704793
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga30_29_sat_pb.cnf.cr.opb	SAT	0.031994	0.0299181	3704623
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/robin/normalized-robin8.opb	SAT	0.035994	0.034815	3704727
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga35_35_sat_pb.cnf.cr.opb	SAT	0.037993	0.0306999	3704626
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j3025_10-sat.opb	SAT	0.046991	0.0450761	3704790
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j3030_6-sat.opb	SAT	0.047991	0.0416501	3704791
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900576918.opb	SAT	0.047992	0.0498361	3704670
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900582376.opb	SAT	0.047992	0.040166	3704674
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j309_6-sat.opb	SAT	0.055991	0.052547	3704798
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga45_45_sat_pb.cnf.cr.opb	SAT	0.073988	0.075676	3704629
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6020_9-sat.opb	SAT	0.077988	0.0804261	3704803
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6040_3-sat.opb	SAT	0.080986	0.0812299	3704811
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6030_8-sat.opb	SAT	0.083986	0.082941	3704808
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6042_2-sat.opb	SAT	0.091985	0.0842319	3704812
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6040_10-sat.opb	SAT	0.093985	0.0871251	3704810
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6014_2-sat.opb	SAT	0.093985	0.085427	3704800
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6028_7-sat.opb	SAT	0.095984	0.0909711	3704805
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6043_4-sat.opb	SAT	0.096984	0.094548	3704813
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900566263.opb	SAT	0.107983	0.099935	3704667
/DEC-SMALLINT-LIN/oliveras/j90/ normalized-j901_6-sat.opb	SAT	0.131979	0.12521	3704819
/DEC-SMALLINT-LIN/oliveras/j90/ normalized-j9016_7-sat.opb	SAT	0.134978	0.126909	3704818
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/ppp-problems/normalized-ppp:1-12,16.opb	SAT	0.147977	0.143508	3704760
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900554389.opb	SAT	0.167974	0.160096	3704660
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j1204_7-sat.opb	SAT	0.172973	0.168885	3704839
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga40_39_sat_pb.cnf.cr.opb	SAT	0.172973	0.174355	3704628
/DEC-SMALLINT-LIN/oliveras/j90/ normalized-j902_5-sat.opb	SAT	0.173972	0.165595	3704820
/DEC-SMALLINT-LIN/oliveras/j90/ normalized-j9040_1-sat.opb	SAT	0.183971	0.175802	3704822
/DEC-SMALLINT-LIN/oliveras/j90/ normalized-j9048_9-sat.opb	SAT	0.188971	0.181912	3704826
/DEC-SMALLINT-LIN/oliveras/j90/ normalized-j9042_4-sat.opb	SAT	0.200969	0.201711	3704824
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900574974.opb	SAT	0.207968	0.208325	3704669
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/ppp-problems/normalized-ppp:1,3-13,19.opb	SAT	0.234963	0.230261	3704758
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900547416.opb	SAT	0.236963	0.237355	3704652
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12035_4-sat.opb	SAT	0.278957	0.27658	3704831
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900561389.opb	SAT	0.306953	0.302896	3704664
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900559365.opb	SAT	0.347946	0.34862	3704662
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900577000.opb	SAT	0.347946	0.346458	3704672
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga25_23_sat_pb.cnf.cr.opb	SAT	0.348946	0.344788	3704620
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/robin/normalized-robin10.opb	SAT	0.355945	0.354631	3704722
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/ppp-problems/normalized-ppp:1-13.opb	SAT	0.38794	0.382586	3704761
/DEC-SMALLINT-LIN/heinz/ normalized-neos808444.opb	SAT	0.401938	0.398479	3704848
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900669309.opb	SAT	0.447931	0.446541	3704677
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111223696.opb	SAT	0.492924	0.486297	3704706
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army8.9bt.opb	SAT	0.563914	0.563242	3704718
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900669299.opb	SAT	0.577911	0.575358	3704676
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110970277.opb	SAT	0.582911	0.576647	3704683
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v30_e350_d15_mw10_1.opb.PB06.opb	SAT	0.873866	0.872954	3704630
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v30_e350_d15_mw10_3.opb.PB06.opb	SAT	0.874866	0.874506	3704632
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v30_e350_d15_mw10_2.opb.PB06.opb	SAT	0.874866	0.875275	3704631
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v30_e350_d15_mw10_8.opb.PB06.opb	SAT	0.875866	0.87422	3704633
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v30_e350_d15_mw10_9.opb.PB06.opb	SAT	0.875866	0.873094	3704634
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K77.opb	SAT	0.941856	0.939902	3704891
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110968431.opb	SAT	1.03284	1.02859	3704681
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Ih2arity.ucl.opb	SAT	1.2968	1.28808	3704740
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb	SAT	1.3388	1.34292	3704763
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110972958.opb	SAT	1.83272	1.83585	3704687
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900554154.opb	SAT	1.88771	1.88753	3704659
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111219399.opb	SAT	2.31265	2.31018	3704701
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K79.opb	SAT	2.70259	2.70736	3704893
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v40_e600_d20_mw10_2.opb.PB06.opb	SAT	2.70359	2.70033	3704636
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v40_e600_d20_mw10_5.opb.PB06.opb	SAT	2.70559	2.70342	3704637
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v40_e600_d20_mw10_9.opb.PB06.opb	SAT	2.70659	2.70547	3704639
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v40_e600_d20_mw10_6.opb.PB06.opb	SAT	2.70859	2.70452	3704638
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v40_e600_d20_mw10_0.opb.PB06.opb	SAT	2.70859	2.70451	3704635
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K80.opb	SAT	2.88356	2.89161	3704894
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ liu/vdw/normalized-vdw_k3_l6_n1500.opb	SAT	3.16052	3.15451	3704646
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army8.9ls.opb	SAT	3.23251	3.23522	3704719
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110974553.opb	SAT	3.2635	3.2593	3704691
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110977464.opb	SAT	3.35249	3.3473	3704694
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111227418.opb	SAT	3.39148	3.38992	3704709
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110973863.opb	SAT	3.83242	3.82878	3704689
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111222080.opb	SAT	4.82327	4.81705	3704702
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111222248.opb	SAT	5.19221	5.19194	3704703
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110973478.opb	SAT	5.2732	5.26673	3704688
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K78.opb	SAT	5.55215	5.56456	3704892
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K76.opb	SAT	5.96209	5.97639	3704890
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v50_e1000_d25_mw10_1.opb.PB06.opb	SAT	7.03493	7.03788	3704640
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v50_e1000_d25_mw10_9.opb.PB06.opb	SAT	7.04693	7.04652	3704644
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v50_e1000_d25_mw10_6.opb.PB06.opb	SAT	7.04893	7.04432	3704643
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v50_e1000_d25_mw10_3.opb.PB06.opb	SAT	7.05693	7.05807	3704641
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v50_e1000_d25_mw10_5.opb.PB06.opb	SAT	7.08192	7.08374	3704642
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K75.opb	SAT	7.78881	7.79288	3704889
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga35_33_sat_pb.cnf.cr.opb	SAT	9.16861	9.16941	3704624
/DEC-SMALLINT-LIN/lopes/ normalized-107.opb	SAT	10.6924	10.7162	3704850
/DEC-SMALLINT-LIN/lopes/ normalized-117.opb	SAT	20.17	20.2155	3704853
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K71.opb	SAT	20.9378	21.0016	3704885
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/robin/normalized-robin12.opb	SAT	21.87	21.9219	3704723
/DEC-SMALLINT-LIN/lopes/ normalized-185.opb	SAT	23.1715	23.1776	3704867
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army9.12bt.opb	SAT	43.3904	43.394	3704720
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K72.opb	SAT	43.57	43.6823	3704886
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K74.opb	SAT	48.58	48.663	3704888
/DEC-SMALLINT-LIN/lopes/ normalized-170.opb	SAT	66.57	66.6128	3704863
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j1208_6-sat.opb	SAT	74.88	74.9535	3704844
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12028_8-sat.opb	SAT	75.48	75.58	3704829
/DEC-SMALLINT-LIN/heinz/ normalized-neos-849702.opb	SAT	124.04	124.187	3704847
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K68.opb	SAT	154.83	154.972	3704882
/DEC-SMALLINT-LIN/lopes/ normalized-164.opb	SAT	189.63	189.77	3704861
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K109.opb	SAT	241.43	241.536	3704934
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army10.14bt.opb	SAT	262.83	262.968	3704710
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K102.opb	SAT	276.51	276.635	3704927
/DEC-SMALLINT-LIN/lopes/ normalized-31.opb	SAT	334.314	334.371	3704870
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K105.opb	SAT	402.87	403.031	3704930
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K104.opb	SAT	412.66	412.809	3704929
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K100.opb	SAT	443.24	443.448	3704925
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K73.opb	SAT	477.76	477.942	3704887
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K98.opb	SAT	553.83	554.087	3704953
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K108.opb	SAT	684	684.249	3704933
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K107.opb	SAT	731	731.221	3704932
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K69.opb	SAT	867.66	867.981	3704883
/DEC-SMALLINT-LIN/lopes/ normalized-48.opb	SAT	870.672	870.768	3704872
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/robin/normalized-robin14.opb	SAT	990.67	991.098	3704724
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K70.opb	SAT	1547.43	1547.81	3704884
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K92.opb	SAT	1722.19	1722.68	3704947

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ liu/vdw/normalized-vdw_k5_l4_n750.opb	?	1799.32	1800.01	3704648
/DEC-SMALLINT-LIN/lopes/ normalized-180.opb	?	1799.38	1800.05	3704866
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/ppp-problems/normalized-ppp:1-9,16-19.opb	?	1799.38	1800.02	3704762
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K128.opb	?	1799.41	1800.02	3704897
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K196.opb	?	1799.44	1800.01	3704922
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-cardinality-101-100.opb	?	1799.44	1800.04	3704764
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-65-60.opb	?	1799.44	1800.02	3704777
/DEC-SMALLINT-LIN/lopes/ normalized-172.opb	?	1799.44	1800.05	3704864
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-75-70.opb	?	1799.45	1800.02	3704779
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb	?	1799.45	1800.03	3704759
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ liu/vdw/normalized-vdw_k3_l5_n550.opb	?	1799.45	1800	3704645
/DEC-SMALLINT-LIN/lopes/ normalized-175.opb	?	1799.46	1800.05	3704865
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12032_3-unsat.opb	?	1799.47	1800.01	3704830
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K176.opb	?	1799.47	1800	3704916
/DEC-SMALLINT-LIN/lopes/ normalized-129.opb	?	1799.47	1800.01	3704857
/DEC-SMALLINT-LIN/lopes/ normalized-47.opb	?	1799.49	1800.01	3704871
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K156.opb	?	1799.5	1800.03	3704909
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K129.opb	?	1799.5	1800.01	3704898
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/robin/normalized-robin16.opb	?	1799.5	1800.03	3704725
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-71-70.opb	?	1799.51	1800.01	3704778
/DEC-SMALLINT-LIN/lopes/ normalized-120.opb	?	1799.51	1800.01	3704854
/DEC-SMALLINT-LIN/lopes/ normalized-112.opb	?	1799.51	1800.01	3704851
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K148.opb	?	1799.52	1800.01	3704907
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K131.opb	?	1799.52	1800.01	3704899
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K168.opb	?	1799.52	1800.03	3704914
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K87.opb	?	1799.52	1800	3704942
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K164.opb	?	1799.53	1800.01	3704912
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K140.opb	?	1799.53	1800	3704904
/DEC-SMALLINT-LIN/lopes/ normalized-70.opb	?	1799.53	1800.01	3704874
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K94.opb	?	1799.53	1800	3704949
/DEC-SMALLINT-LIN/lopes/ normalized-123.opb	?	1799.53	1800.01	3704856
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl50_51_pb.cnf.cr.opb	?	1799.53	1800.02	3704609
/DEC-SMALLINT-LIN/lopes/ normalized-91.opb	?	1799.54	1800.01	3704877
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-85-80.opb	?	1799.54	1800.01	3704781
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K181.opb	?	1799.54	1800.02	3704919
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K133.opb	?	1799.54	1800.01	3704901
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-55-50.opb	?	1799.54	1800.01	3704775
/DEC-SMALLINT-LIN/lopes/ normalized-153.opb	?	1799.55	1800.01	3704860
/DEC-SMALLINT-LIN/lopes/ normalized-137.opb	?	1799.55	1800.02	3704858
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr.opb	?	1799.55	1800.02	3704611
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12047_6-sat.opb	?	1799.55	1800	3704836
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K175.opb	?	1799.55	1800.02	3704915
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12046_2-sat.opb	?	1799.55	1800.01	3704835
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K93.opb	?	1799.55	1800.01	3704948
/DEC-SMALLINT-LIN/oliveras/j90/ normalized-j9045_1-sat.opb	?	1799.56	1800.01	3704825
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j1206_6-sat.opb	?	1799.56	1800.01	3704842
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12038_3-sat.opb	?	1799.56	1800.01	3704832
/DEC-SMALLINT-LIN/lopes/ normalized-21.opb	?	1799.56	1800.01	3704869
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-45-40.opb	?	1799.56	1800.02	3704773
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K180.opb	?	1799.57	1800.01	3704918
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6029_8-unsat.opb	?	1799.57	1800.01	3704807
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K183.opb	?	1799.57	1800.03	3704920
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K152.opb	?	1799.57	1800.01	3704908
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K66.opb	?	1799.58	1800.01	3704880
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K132.opb	?	1799.58	1800.01	3704900
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K200.opb	?	1799.58	1800	3704924
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army12.21ls.opb	?	1799.58	1800.01	3704715
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/robin/normalized-robin18.opb	?	1799.58	1800.05	3704726
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army13.24ls.opb	?	1799.58	1800.01	3704717
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K103.opb	?	1799.58	1800.01	3704928
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K81.opb	?	1799.58	1800.01	3704936
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K167.opb	?	1799.59	1800.01	3704913
/DEC-SMALLINT-LIN/lopes/ normalized-61.opb	?	1799.59	1800.01	3704873
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-91-90.opb	?	1799.59	1800.02	3704782
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K143.opb	?	1799.59	1800.01	3704906
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K82.opb	?	1799.59	1800.01	3704937
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K96.opb	?	1799.6	1800.01	3704951
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K91.opb	?	1799.6	1800	3704946
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K101.opb	?	1799.6	1800	3704926
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K85.opb	?	1799.6	1800.01	3704940
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-51-50.opb	?	1799.6	1800	3704774
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K125.opb	?	1799.6	1800.01	3704895
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army10.14ls.opb	?	1799.6	1800.01	3704711
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K83.opb	?	1799.6	1800.02	3704938
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K99.opb	?	1799.6	1800.01	3704954
/DEC-SMALLINT-LIN/heinz/ normalized-neos-820146.opb	?	1799.61	1800.01	3704845
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K160.opb	?	1799.61	1800.06	3704910
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K139.opb	?	1799.61	1800.02	3704903
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K141.opb	?	1799.61	1800	3704905
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K138.opb	?	1799.61	1800.01	3704902
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K84.opb	?	1799.61	1800.01	3704939
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K90.opb	?	1799.61	1800	3704945
/DEC-SMALLINT-LIN/lopes/ normalized-167.opb	?	1799.61	1800.01	3704862
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army12.21bt.opb	?	1799.62	1800.01	3704714
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army11.17bt.opb	?	1799.62	1800.01	3704712
/DEC-SMALLINT-LIN/lopes/ normalized-146.opb	?	1799.62	1800.02	3704859
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army13.24bt.opb	?	1799.62	1800.01	3704716
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-35-30.opb	?	1799.63	1800	3704771
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-31-30.opb	?	1799.63	1800.03	3704770
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K95.opb	?	1799.63	1800.01	3704950
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K88.opb	?	1799.63	1800.01	3704943
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K126.opb	?	1799.63	1800.01	3704896
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-25-20.opb	?	1799.63	1800.01	3704769
/DEC-SMALLINT-LIN/lopes/ normalized-20.opb	?	1799.64	1800.01	3704868
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K97.opb	?	1799.64	1800	3704952
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl15_25_pb.cnf.cr.opb	?	1799.64	1800.01	3704603
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl15_20_pb.cnf.cr.opb	?	1799.65	1800.01	3704602
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-21-20.opb	?	1799.7	1800.01	3704768
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-81-80.opb	?	1799.75	1800.01	3704780
/DEC-SMALLINT-LIN/lopes/ normalized-116.opb	?	1799.76	1800.01	3704852
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ liu/vdw/normalized-vdw_k4_l4_n360.opb	?	1799.78	1800.01	3704647
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl40_45_pb.cnf.cr.opb	?	1799.79	1800.04	3704608
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army11.17ls.opb	?	1799.8	1800.01	3704713
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12038_7-unsat.opb	?	1799.81	1800.01	3704833
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-cardinality-105-100.opb	?	1799.82	1800.01	3704765
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K177.opb	?	1799.83	1800.01	3704917
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K89.opb	?	1799.83	1800.01	3704944
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ liu/vdw/normalized-vdw_k6_l3_n170.opb	?	1799.84	1800.01	3704649
/DEC-SMALLINT-LIN/lopes/ normalized-122.opb	?	1799.85	1800.01	3704855
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K67.opb	?	1799.85	1800.01	3704881
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12039_7-sat.opb	?	1799.87	1800.01	3704834
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl30_35_pb.cnf.cr.opb	?	1799.87	1800.01	3704605
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl50_55_pb.cnf.cr.opb	?	1799.88	1800.02	3704610
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-41-40.opb	?	1799.88	1800.01	3704772
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl35_40_pb.cnf.cr.opb	?	1799.88	1800	3704607
/DEC-SMALLINT-LIN/lopes/ normalized-73.opb	?	1799.88	1800.01	3704875
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl35_36_pb.cnf.cr.opb	?	1799.88	1800	3704606
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K192.opb	?	1799.89	1800.01	3704921
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K86.opb	?	1799.89	1800	3704941
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-95-90.opb	?	1799.9	1800.02	3704783
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K163.opb	?	1799.91	1800.02	3704911
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K199.opb	?	1799.92	1800.03	3704923
/DEC-SMALLINT-LIN/heinz/ normalized-neos-820157.opb	?	1799.93	1800.01	3704846
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-61-60.opb	?	1799.94	1800.02	3704776
/DEC-SMALLINT-LIN/lopes/ normalized-76.opb	?	1799.95	1800.01	3704876
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl30_31_pb.cnf.cr.opb	?	1799.96	1800.01	3704604
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K80.opb	?	1799.96	1800.02	3704935
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K106.opb	?	1799.96	1800.01	3704931
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K65.opb	?	1799.96	1800.01	3704879
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army9.12ls.opb	?	1799.97	1800.01	3704721

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-diamond.opb	UNSAT	0.001999	0.00680095	3704977
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/ datasets/caixa/normalized-1125.cudf.paranoid.opb	UNSAT	0.002998	0.00655199	3705424
/OPT-SMALLINT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-995.cudf.paranoid.opb	UNSAT	0.002998	0.00654006	3705427
/OPT-SMALLINT-LIN/leberre/opb-trendy/misc2010/ datasets/caixa/normalized-1021.cudf.trendy.opb	UNSAT	0.002998	0.00643307	3705451
/OPT-SMALLINT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-995.cudf.trendy.opb	UNSAT	0.003998	0.0063079	3705454
/OPT-SMALLINT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-658.cudf.paranoid.opb	UNSAT	0.005998	0.00674195	3705425
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/ datasets/caixa/normalized-1034.cudf.paranoid.opb	UNSAT	0.011997	0.014103	3705421
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-randc5b1f2.cudf.paranoid.opb	UNSAT	0.05599	0.0589389	3705446
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.biglist/normalized-rand65d021.cudf.paranoid.opb	UNSAT	0.06299	0.0727859	3705433
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.biglist/normalized-randa491d5.cudf.paranoid.opb	UNSAT	0.065989	0.0761299	3705434
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.biglist/normalized-randaef248.cudf.paranoid.opb	UNSAT	0.067988	0.068986	3705436
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.biglist/normalized-rand199fd6.cudf.paranoid.opb	UNSAT	0.068989	0.069079	3705429
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.biglist/normalized-randf7d077.cudf.paranoid.opb	UNSAT	0.086986	0.0844971	3705437
/OPT-SMALLINT-LIN/heinz/ normalized-ns1745726.opb	UNSAT	24.39	24.4269	3705538
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_4_30_2.opb	UNSAT	313.11	313.273	3705256
/OPT-SMALLINT-LIN/heinz/ normalized-neos-785912.opb	UNSAT	317.71	317.863	3705533
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_4_30_4.opb	UNSAT	368.04	368.185	3705258
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_4_30_1.opb	UNSAT	1463.16	1463.23	3705255

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_4.opb	OPT	6	0.000999	0.0063079	3705194
normalized-PB06/OPT-SMALLINT/submitted-PB05/ sorensson/garden/normalized-g7x7.opb	OPT	12	0.000999	0.00688598	3705089
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/ area_partials/normalized-fir04_area_partials.opb	OPT	30	0.000999	0.00616407	3705337
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-stein9.opb	OPT	5	0.000999	0.00877603	3704989
normalized-PB06/OPT-SMALLINT/submitted-PB05/ sorensson/garden/normalized-g2x2.opb	OPT	2	0.000999	0.00642896	3705087
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-b1.opb	OPT	128	0.000999	0.00653811	3705070
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/ area_partials/normalized-fir02_area_partials.opb	OPT	19	0.000999	0.00620799	3705335
normalized-PB06/OPT-SMALLINT/submitted-PB05/ sorensson/garden/normalized-g4x4.opb	OPT	4	0.000999	0.00648593	3705088
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=47-Q=487.opb	OPT	47	0.001998	0.0146571	3705305
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-C17.opb	OPT	260	0.001998	0.00626008	3705068
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/ datasets/caixa/normalized-1078.cudf.paranoid.opb	OPT	4	0.001998	0.00652208	3705422
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ poldner/PB/testset/normalized-5_10.opb	OPT	3951	0.001998	0.00652802	3705388
normalized-PB07/OPT-SMALLINT-LIN/ submittedPB07/aksoy/trarea_ac/normalized-fir01_trarea_ac.opb	OPT	13949	0.001998	0.0112629	3705354
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=409-Q=499.opb	OPT	409	0.001998	0.011157	3705303
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_5.opb	OPT	11	0.001998	0.0144961	3705212
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_5.opb	OPT	11	0.001998	0.00653906	3705195
/OPT-SMALLINT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-787.cudf.trendy.opb	OPT	14	0.001999	0.00663702	3705453
/OPT-SMALLINT-LIN/leberre/opb-trendy/misc2010/ datasets/caixa/normalized-1078.cudf.trendy.opb	OPT	4	0.001999	0.00651209	3705452
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-p0040.opb	OPT	62027	0.001999	0.00933809	3704983
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ poldner/PB/testset/normalized-7_14.opb	OPT	5148	0.001999	0.0114279	3705390
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=7-Q=31.opb	OPT	1	0.001999	0.00680488	3705310
normalized-PB06/OPT-SMALLINT/submitted-PB05/ sorensson/garden/normalized-g9x3.opb	OPT	7	0.002998	0.00647395	3705090
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_opers/normalized-fir01_area_opers.opb	OPT	10	0.002998	0.00664392	3705325
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/ area_partials/normalized-fir07_area_partials.opb	OPT	33	0.002998	0.00725996	3705340
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_4.opb	OPT	6	0.002998	0.00662599	3705211
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s3-3-3-1pb.opb	OPT	36	0.002998	0.014564	3705052
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_50_40_40.r.opb	OPT	2	0.002998	0.00688904	3705242
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-maincont.r.opb	OPT	7	0.002998	0.0141989	3705247
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir01_area_delay.opb	OPT	5	0.002999	0.0064701	3705315
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s3-3-3-5pb.opb	OPT	34	0.003998	0.014597	3705056
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s3-3-3-4pb.opb	OPT	36	0.003998	0.0146969	3705055
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/ area_partials/normalized-fir05_area_partials.opb	OPT	36	0.004999	0.0105289	3705338
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/ datasets/caixa/normalized-1094.cudf.paranoid.opb	OPT	126	0.005998	0.013021	3705423
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir02_area_delay.opb	OPT	8	0.005998	0.015436	3705316
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ poldner/PB/testset/normalized-6_12.opb	OPT	5867	0.020996	0.0176729	3705389
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=83-Q=449.opb	OPT	83	0.021996	0.0141671	3705312
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=59-Q=419.opb	OPT	59	0.021996	0.018154	3705307
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=23-Q=293.opb	OPT	23	0.021996	0.0169081	3705294
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-opus.r.opb	OPT	5	0.022996	0.021095	3705249
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s3-3-3-2pb.opb	OPT	36	0.022996	0.0159769	3705053
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s3-3-3-3pb.opb	OPT	36	0.022996	0.0152091	3705054
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m50_100_90_90.r.opb	OPT	2	0.023996	0.017867	3705246
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/ area_partials/normalized-fir06_area_partials.opb	OPT	24	0.024995	0.01956	3705339
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/ area_partials/normalized-fir03_area_partials.opb	OPT	18	0.030994	0.023817	3705336
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-mux.opb	OPT	872	0.032994	0.031869	3705075
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m50_100_70_70.r.opb	OPT	2	0.032994	0.0341451	3705245
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par8-2.opb	OPT	350	0.034994	0.035351	3705051
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-8pb.opb	OPT	36	0.034994	0.027767	3705065
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_opers/normalized-fir02_area_opers.opb	OPT	18	0.037994	0.0363799	3705326
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-sao2.b.opb	OPT	25	0.039993	0.0395741	3705020
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par8-1-c.opb	OPT	64	0.041993	0.038518	3705050
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_6.opb	OPT	17	0.042993	0.0368981	3705196
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=197-Q=479.opb	OPT	197	0.043993	0.042285	3705291
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=101-Q=379.opb	OPT	101	0.050991	0.053797	3705285
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=257-Q=331.opb	OPT	257	0.052991	0.0485121	3705297
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ poldner/PB/testset/normalized-8_16.opb	OPT	5852	0.052991	0.0525631	3705391
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_opers/normalized-fir04_area_opers.opb	OPT	29	0.058991	0.0518291	3705328
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=307-Q=347.opb	OPT	307	0.06299	0.0577011	3705300
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-cmb.opb	OPT	1053	0.064989	0.0643051	3705074
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-3pb.opb	OPT	62	0.065989	0.0621961	3705060
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-1pb.opb	OPT	62	0.066989	0.0627891	3705058
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-6pb.opb	OPT	66	0.066989	0.0636919	3705063
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-2pb.opb	OPT	64	0.066989	0.0630601	3705059
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-4pb.opb	OPT	60	0.066989	0.06247	3705061
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-5pb.opb	OPT	60	0.067989	0.064567	3705062
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-7pb.opb	OPT	64	0.067989	0.0652499	3705064
/OPT-SMALLINT-LIN/flexray/ normalized-fx57.opb	OPT	6	0.069989	0.063708	3705414
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=47-Q=197.opb	OPT	47	0.070988	0.065181	3705304
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ poldner/PB/testset/normalized-10_20.opb	OPT	8034	0.071988	0.0640321	3705386
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=347-Q=379.opb	OPT	347	0.071988	0.069689	3705302
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_6.opb	OPT	17	0.074988	0.0705101	3705213
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/routing/normalized-s4-4-3-10pb.opb	OPT	70	0.089985	0.0851589	3705057
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir03_area_delay.opb	OPT	10	0.097985	0.093562	3705317
/OPT-SMALLINT-LIN/heinz/ normalized-neos18.opb	OPT	16	0.101984	0.0998841	3705536
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_50_30_30.r.opb	OPT	3	0.151976	0.150766	3705241
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ poldner/PB/testset/normalized-11_22.opb	OPT	8908	0.151976	0.144376	3705387
/OPT-SMALLINT-LIN/flexray/ normalized-fx92.opb	OPT	9	0.154976	0.156074	3705419
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir04_area_delay.opb	OPT	12	0.156975	0.151094	3705318
/OPT-SMALLINT-LIN/ heinz/normalized-bnatt350.opb	OPT	0	0.178971	0.173641	3705516
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=113-Q=233.opb	OPT	113	0.181972	0.182569	3705287
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/ttp/normalized-circ4_3.opb	OPT	20	0.224965	0.22344	3705078
/OPT-SMALLINT-LIN/oliveras/ j30opt/normalized-j301_8.std.opb	OPT	53	0.230964	0.224475	3705456
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_009_area_delay.opb	OPT	24	0.231964	0.229753	3705364
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=223-Q=307.opb	OPT	223	0.231964	0.228848	3705292
/OPT-SMALLINT-LIN/oliveras/j30opt/ normalized-j3020_9.std.opb	OPT	41	0.236963	0.236846	3705457
/OPT-SMALLINT-LIN/oliveras/ j30opt/normalized-j307_6.std.opb	OPT	35	0.238962	0.238137	3705467
/OPT-SMALLINT-LIN/oliveras/ j30opt/normalized-j308_4.std.opb	OPT	48	0.238963	0.235835	3705468
/OPT-SMALLINT-LIN/heinz/ normalized-acc-tight6.opb	OPT	0	0.244962	0.239591	3705515
/OPT-SMALLINT-LIN/oliveras/j30opt/ normalized-j3040_5.std.opb	OPT	65	0.248961	0.248659	3705462
/OPT-SMALLINT-LIN/oliveras/j30opt/ normalized-j3039_1.std.opb	OPT	55	0.25996	0.254009	3705461
/OPT-SMALLINT-LIN/oliveras/j30opt/ normalized-j3044_1.std.opb	OPT	50	0.265958	0.263761	3705463
/OPT-SMALLINT-LIN/oliveras/j30opt/ normalized-j3047_1.std.opb	OPT	58	0.272957	0.270784	3705465
/OPT-SMALLINT-LIN/flexray/ normalized-fx84.opb	OPT	8	0.281956	0.281095	3705418
/OPT-SMALLINT-LIN/oliveras/j30opt/ normalized-j3010_3.std.opb	OPT	62	0.286956	0.280234	3705455
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_opers/normalized-fir05_area_opers.opb	OPT	35	0.290955	0.286198	3705329
/OPT-SMALLINT-LIN/oliveras/j30opt/ normalized-j3046_5.std.opb	OPT	57	0.303953	0.299684	3705464
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir06_area_delay.opb	OPT	15	0.339948	0.343855	3705320
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-ex6inp.r.opb	OPT	4	0.351946	0.347454	3705231
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_006_area_delay.opb	OPT	22	0.356945	0.358629	3705361
normalized-PB07/OPT-SMALLINT-LIN/ submittedPB07/aksoy/trarea_ac/normalized-fir02_trarea_ac.opb	OPT	24890	0.38494	0.387074	3705355
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-9pb.opb	OPT	68	0.397939	0.398613	3705066
/OPT-SMALLINT-LIN/oliveras/ j60opt/normalized-j602_4.std.opb	OPT	78	0.437932	0.430607	3705477
/OPT-SMALLINT-LIN/oliveras/ j60opt/normalized-j603_6.std.opb	OPT	57	0.439932	0.440548	3705479
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-stein15.opb	OPT	9	0.441932	0.440178	3704986
/OPT-SMALLINT-LIN/oliveras/j60opt/ normalized-j6019_2.std.opb	OPT	83	0.446931	0.442349	3705472
/OPT-SMALLINT-LIN/oliveras/ j60opt/normalized-j606_1.std.opb	OPT	60	0.470927	0.464947	3705483
/OPT-SMALLINT-LIN/oliveras/j60opt/ normalized-j6012_9.std.opb	OPT	59	0.488925	0.485586	3705470
/OPT-SMALLINT-LIN/oliveras/j60opt/ normalized-j6043_1.std.opb	OPT	108	0.508922	0.503062	3705481
/OPT-SMALLINT-LIN/oliveras/j60opt/ normalized-j6031_6.std.opb	OPT	72	0.530918	0.526688	3705478
/OPT-SMALLINT-LIN/oliveras/j60opt/ normalized-j6027_6.std.opb	OPT	64	0.535918	0.536968	3705475
/OPT-SMALLINT-LIN/oliveras/j60opt/ normalized-j6044_1.std.opb	OPT	84	0.545916	0.544283	3705482
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=223-Q=347.opb	OPT	223	0.571912	0.574461	3705293
/OPT-SMALLINT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-990.cudf.paranoid.opb	OPT	273	0.572912	0.566739	3705426
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir05_area_delay.opb	OPT	14	0.595908	0.594746	3705319
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_7.opb	OPT	25	0.605907	0.603769	3705197
/OPT-SMALLINT-LIN/oliveras/ j60opt/normalized-j603_9.std.opb	OPT	67	0.639902	0.639104	3705480
/OPT-SMALLINT-LIN/oliveras/j60opt/ normalized-j6026_2.std.opb	OPT	66	0.668897	0.666373	3705474
/OPT-SMALLINT-LIN/oliveras/j90opt/ normalized-j9019_6.std.opb	OPT	136	0.691893	0.690828	3705488
/OPT-SMALLINT-LIN/oliveras/j30opt/ normalized-j3021_10.std.opb	OPT	69	0.714891	0.718823	3705458
/OPT-SMALLINT-LIN/oliveras/j90opt/ normalized-j9036_4.std.opb	OPT	79	0.752885	0.749014	3705492
/OPT-SMALLINT-LIN/oliveras/j90opt/ normalized-j9038_7.std.opb	OPT	85	0.78288	0.78471	3705493
/OPT-SMALLINT-LIN/oliveras/j90opt/ normalized-j9022_8.std.opb	OPT	97	0.796878	0.790561	3705489
/OPT-SMALLINT-LIN/oliveras/j90opt/ normalized-j9010_6.std.opb	OPT	92	0.808876	0.805421	3705485
/OPT-SMALLINT-LIN/oliveras/j90opt/ normalized-j9027_6.std.opb	OPT	87	0.835872	0.832068	3705490
/OPT-SMALLINT-LIN/oliveras/j90opt/ normalized-j9016_1.std.opb	OPT	85	0.840871	0.842028	3705487
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j1204_10.std.opb	OPT	77	0.907861	0.907453	3705507
/OPT-SMALLINT-LIN/oliveras/j30opt/ normalized-j3037_10.std.opb	OPT	81	0.949854	0.951353	3705460
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12044_1.std.opb	OPT	100	0.952854	0.955175	3705504
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par16-5.opb	OPT	1015	0.961853	0.954281	3705046
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j1205_7.std.opb	OPT	84	0.977851	0.970712	3705511
/OPT-SMALLINT-LIN/oliveras/ j30opt/normalized-j305_3.std.opb	OPT	76	0.989849	0.985923	3705466
/OPT-SMALLINT-LIN/oliveras/j90opt/ normalized-j9033_3.std.opb	OPT	108	1.00984	1.01199	3705491
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12015_5.std.opb	OPT	87	1.02884	1.02736	3705496
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12055_4.std.opb	OPT	90	1.10183	1.1511	3705510
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12020_7.std.opb	OPT	81	1.16682	1.16571	3705498
/OPT-SMALLINT-LIN/oliveras/ j30opt/normalized-j309_7.std.opb	OPT	63	1.20682	1.20673	3705469
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12060_6.std.opb	OPT	110	1.21381	1.21346	3705512
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12044_8.std.opb	OPT	108	1.25381	1.2516	3705505
/OPT-SMALLINT-LIN/oliveras/j30opt/ normalized-j3029_1.std.opb	OPT	85	1.26881	1.27482	3705459
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j1204_1.std.opb	OPT	74	1.36479	1.36055	3705506
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-rand18b530.cudf.paranoid.opb	OPT	6563	1.40079	1.40689	3705439
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-randa2004a.cudf.paranoid.opb	OPT	1859	1.53077	1.53213	3705444
OPT-SMALLINT-LIN/graca/ normalized-ped3.D.recomb10-0.20-12.opb	OPT	349	1.55176	1.54325	3704971
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-randfd04d4.cudf.paranoid.opb	OPT	3511	1.56076	1.56261	3705450
OPT-SMALLINT-LIN/graca/ normalized-ped2.B.recomb1-0.01-3.opb	OPT	6	1.67274	1.66906	3704957
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_018_area_delay.opb	OPT	25	1.74173	1.74586	3705373
OPT-SMALLINT-LIN/graca/ normalized-ped3.D.recomb10-0.20-14.opb	OPT	7	1.75873	1.75116	3704973
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-rand3c03fd.cudf.paranoid.opb	OPT	4927	1.77773	1.78694	3705441
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-randd7b2b4.cudf.paranoid.opb	OPT	4750	1.82772	1.83247	3705449
/OPT-SMALLINT-LIN/ heinz/normalized-bnatt400.opb	OPT	1	1.86271	1.86686	3705517
OPT-SMALLINT-LIN/graca/ normalized-ped2.B.recomb1-0.01-4.opb	OPT	7	1.9867	1.98712	3704958
/OPT-SMALLINT-LIN/oliveras/j60opt/ normalized-j6021_5.std.opb	OPT	89	2.00869	2.00433	3705473
OPT-SMALLINT-LIN/graca/ normalized-ped2.B.recomb1-0.01-2.opb	OPT	7	2.02969	2.14233	3704956
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-randc7f8e5.cudf.paranoid.opb	OPT	9465	2.08668	2.09631	3705448
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_003_area_delay.opb	OPT	26	2.12468	2.12658	3705358
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_027_area_delay.opb	OPT	25	2.14067	2.14234	3705382
OPT-SMALLINT-LIN/graca/ normalized-ped2.B.recomb1-0.01-5.opb	OPT	7	2.14467	2.13661	3704959
OPT-SMALLINT-LIN/graca/ normalized-ped2.B.recomb1-0.01-1.opb	OPT	7	2.16567	2.16499	3704955
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-rand5d20db.cudf.paranoid.opb	OPT	5106	2.21166	2.21786	3705442
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_opers/normalized-fir03_area_opers.opb	OPT	17	2.23566	2.24039	3705327
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-randb54299.cudf.paranoid.opb	OPT	11142	2.26665	2.25956	3705445
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-rand0a62b6.cudf.paranoid.opb	OPT	6943	2.29265	2.29491	3705438
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_100_70_70.r.opb	OPT	3	2.37664	2.37321	3705238
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-randc5fe62.cudf.paranoid.opb	OPT	1882	2.40963	2.41424	3705447
OPT-SMALLINT-LIN/graca/ normalized-ped2.B.recomb1-0.10-10.opb	OPT	6	2.45863	2.45684	3704960
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-rand27da90.cudf.paranoid.opb	OPT	11364	2.5886	2.59083	3705440
OPT-SMALLINT-LIN/graca/ normalized-ped2.B.recomb1-0.10-6.opb	OPT	7	2.80057	2.7947	3704961
OPT-SMALLINT-LIN/graca/ normalized-ped2.B.recomb1-0.10-9.opb	OPT	7	2.81557	2.80828	3704964
OPT-SMALLINT-LIN/graca/ normalized-ped2.B.recomb1-0.10-8.opb	OPT	589	2.86256	2.86597	3704963
OPT-SMALLINT-LIN/graca/ normalized-ped3.D.recomb10-0.20-13.opb	OPT	350	2.96555	2.96063	3704972
OPT-SMALLINT-LIN/graca/ normalized-ped2.B.recomb1-0.10-7.opb	OPT	588	2.99254	2.99021	3704962
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_020_area_delay.opb	OPT	23	3.00054	2.99478	3705375
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-rand71b131.cudf.paranoid.opb	OPT	5657	3.15352	3.16306	3705443
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12020_8.std.opb	OPT	107	3.16952	3.17211	3705499
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.biglist/normalized-rand4bf850.cudf.paranoid.opb	OPT	10949	3.17252	3.17912	3705432
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.biglist/normalized-rand0c02bc.cudf.paranoid.opb	OPT	8730	3.23251	3.24396	3705428
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.biglist/normalized-rand35d0c8.cudf.paranoid.opb	OPT	5656	3.42348	3.4368	3705431
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12041_1.std.opb	OPT	127	3.42548	3.42628	3705503
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par16-3.opb	OPT	1015	3.45148	3.44689	3705045
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.biglist/normalized-rand2d8467.cudf.paranoid.opb	OPT	13125	3.55546	3.56197	3705430
normalized-PB06/OPT-SMALLINT/submitted-PB05/ sorensson/garden/normalized-g9x9.opb	OPT	20	3.56246	3.56503	3705091
OPT-SMALLINT-LIN/graca/ normalized-ped2.B.recomb1-0.20-12.opb	OPT	7	3.65244	3.64444	3704966
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_021_area_delay.opb	OPT	24	3.72343	3.71503	3705376
OPT-SMALLINT-LIN/graca/ normalized-ped2.B.recomb1-0.20-14.opb	OPT	7	4.04239	4.03917	3704968
OPT-SMALLINT-LIN/graca/ normalized-ped2.B.recomb1-0.20-11.opb	OPT	7	4.04638	4.03965	3704965
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_015_area_delay.opb	OPT	25	4.11237	4.1139	3705370
OPT-SMALLINT-LIN/graca/ normalized-ped2.B.recomb1-0.20-13.opb	OPT	7	4.25935	4.25664	3704967
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/ area_partials/normalized-fir09_area_partials.opb	OPT	35	4.41633	4.43154	3705342
OPT-SMALLINT-LIN/graca/ normalized-ped3.D.recomb10-0.20-11.opb	OPT	690	5.18921	5.27515	3704970
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_030_area_delay.opb	OPT	25	5.42217	5.41945	3705385
OPT-SMALLINT-LIN/graca/ normalized-ped2.B.recomb1-0.20-15.opb	OPT	7	5.47917	5.46885	3704969
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.07.opb	OPT	37	5.56215	5.56384	3705218
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-count.b.opb	OPT	24	6.18206	6.19916	3705011
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.biglist/normalized-randa6997e.cudf.paranoid.opb	OPT	5898	6.19406	6.20736	3705435
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.02.opb	OPT	44	6.47002	6.4669	3705217
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_019_area_delay.opb	OPT	24	7.2439	7.24544	3705374
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=79-Q=257.opb	OPT	79	7.35088	7.36441	3705311
/OPT-SMALLINT-LIN/heinz/ normalized-pb-simp-nonunif.opb	OPT	42	7.46386	7.47557	3705543
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-clip.b.opb	OPT	15	7.50086	7.51897	3705010
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.12.opb	OPT	41	7.79381	7.80614	3705221
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.14.opb	OPT	42	8.64468	8.69375	3705222
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ haplotype/normalized-simp-unif-100_100.08.opb	OPT	34	8.78066	8.80198	3705224
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_8.opb	OPT	34	10.0315	10.0603	3705215
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_8.opb	OPT	34	11.2423	11.2688	3705198
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.10.opb	OPT	49	11.5642	11.5856	3705219
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-jac3.opb	OPT	15	14.4178	14.4596	3705016
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_004_area_delay.opb	OPT	27	14.4808	14.5177	3705359
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-6.opb	OPT	304	16.9214	16.9152	3705169
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=61-Q=163.opb	OPT	61	19.43	19.4856	3705308
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.11.opb	OPT	38	20.58	20.6257	3705220
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_opers/normalized-fir06_area_opers.opb	OPT	23	21.09	21.1067	3705330
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_016_area_delay.opb	OPT	25	27.6888	27.6836	3705371
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir07_area_delay.opb	OPT	16	37.39	37.4448	3705321
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_opers/normalized-fir07_area_opers.opb	OPT	32	41.78	41.8908	3705331
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-9sym.b.opb	OPT	5	46.08	46.1794	3705006
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-c8.opb	OPT	1194	47.5768	47.5929	3705071
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_029_area_delay.opb	OPT	24	48.9306	48.9351	3705384
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_022_area_delay.opb	OPT	26	56.08	56.2063	3705377
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-rd84.b.opb	OPT	5	60.2188	60.2564	3705251
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_008_area_delay.opb	OPT	25	73.88	73.9828	3705363
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/ area_partials/normalized-fir10_area_partials.opb	OPT	52	90.97	91.0433	3705343
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_100_50_50.r.opb	OPT	4	95.6735	95.6864	3705237
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-ricks.r.opb	OPT	5	98.24	98.3245	3705252
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_002_area_delay.opb	OPT	24	105.011	105.005	3705357
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_011_area_delay.opb	OPT	26	111.23	111.308	3705366
/OPT-SMALLINT-LIN/heinz/ normalized-neos-1440225.opb	OPT	36	129.923	129.919	3705527
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_7.opb	OPT	25	138.53	138.618	3705214
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_50_20_20.r.opb	OPT	5	155.04	155.146	3705240
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-C880.b.opb	OPT	63	167.73	167.832	3705227
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_9.opb	OPT	44	174.36	174.407	3705199
/OPT-SMALLINT-LIN/heinz/ normalized-mspp16.opb	OPT	33	190.594	190.724	3705525
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=167-Q=347.opb	OPT	167	193.45	193.583	3705290
OPT-SMALLINT-LIN/graca/ normalized-ped3.D.recomb10-0.20-15.opb	OPT	689	194.052	194.106	3704974
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_028_area_delay.opb	OPT	23	220.623	220.621	3705383
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_4_30_2.opb	OPT	1	280.1	280.205	3705271
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_013_area_delay.opb	OPT	22	513.497	513.596	3705368
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_4_30_4.opb	OPT	1	596.72	596.981	3705273
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir09_area_delay.opb	OPT	17	1216.93	1217.23	3705323
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir10_area_delay.opb	OPT	27	1222.55	1222.85	3705324
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_023_area_delay.opb	OPT	22	1224.59	1224.7	3705378
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_025_area_delay.opb	OPT	25	1325.17	1325.69	3705380
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-ex4inp.r.opb	OPT	5	1652.71	1652.94	3705230

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_8_70_2.opb	? (TO)	1800.01	1800.42	3705269
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_opers/normalized-fir08_area_opers.opb	? (TO)	1800.01	1800.32	3705332
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-30:70:4.5:0.95:100.opb	? (TO)	1800.03	1800.52	3705181
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_6_50_2.opb	? (TO)	1800.03	1800.52	3705279
/OPT-SMALLINT-LIN/sroussel/NG/ normalized-NG.dot_unif_20null20mast_rapportOE1.0_TMAX120_K192_cod2.opb	? (TO)	1800.04	1800.5	3705605
/OPT-SMALLINT-LIN/ kullmann/normalized-sbox_8_shg.opb	? (TO)	1800.05	1800.11	3705551
/OPT-SMALLINT-LIN/sroussel/NG/ normalized-NG.dot_unif_50null0mast_rapportOE2.0_TMAX60_K192_cod2.opb	? (TO)	1800.06	1800.49	3705608
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-prom2.r.opb	? (TO)	1800.07	1800.64	3705250
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb	? (TO)	1800.08	1800.23	3705127
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir08_area_delay.opb	? (TO)	1800.09	1800.41	3705322
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-1.opb	? (TO)	1800.1	1800.52	3705160
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_5.opb.PB06.opb	? (TO)	1800.12	1800.14	3705132
/OPT-SMALLINT-LIN/sroussel/NG/ normalized-NG.dot_unif_50null20mast_rapportOE2.0_TMAX120_K192_cod2.opb	? (TO)	1800.15	1800.14	3705610
/OPT-SMALLINT-LIN/sroussel/NG/ normalized-NG.dot_unif_10null20mast_rapportOE2.0_TMAX60_K192_cod2.opb	? (TO)	1800.16	1800.12	3705602
/OPT-SMALLINT-LIN/sroussel/NG/ normalized-NG.dot_luby_10null10mast_rapportOE1.0_TMAX15_K192_cod2.opb	? (TO)	1800.44	1800.45	3705585
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_5_40_1.opb	? (TO)	1800.44	1800.52	3705259
/OPT-SMALLINT-LIN/sroussel/NG/ normalized-NG.dot_unif_10null0mast_rapportOE2.0_TMAX15_K192_cod2.opb	? (TO)	1800.44	1800.54	3705600
/OPT-SMALLINT-LIN/sroussel/NG/ normalized-NG.dot_unif_20null20mast_rapportOE2.0_TMAX15_K192_cod2.opb	? (TO)	1800.56	1800.55	3705606

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=53-Q=127.opb	Wrong Cert.	0.000999	0.015864	3705306
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=11-Q=53.opb	Wrong Cert.	0.001998	0.00657108	3705286
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=83-Q=89.opb	Wrong Cert.	0.002998	0.00829601	3705313
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=23-Q=521.opb	Wrong Cert.	0.021996	0.0222479	3705295
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=29-Q=521.opb	Wrong Cert.	0.023996	0.018643	3705299
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=167-Q=179.opb	Wrong Cert.	0.030994	0.0308431	3705289
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=67-Q=191.opb	Wrong Cert.	0.032994	0.0267739	3705309
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=131-Q=137.opb	Wrong Cert.	0.06199	0.054086	3705288

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

Result page for solver wbo 1.7 (complete)

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

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

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

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

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

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

Solver found optimum (OPTIMUM FOUND) (242 runs) [Show/Hide]

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

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

Solver gave a wrong solution (8 runs) [Show/Hide]