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

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
normalized-PB06/SATUNSAT-BIGINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob10.opb	? (problem)	0.422935	1.16247	3701839
normalized-PB06/SATUNSAT-BIGINT/submitted-PB06/ manquiho/Aardal_1/normalized-cuww4.opb	? (problem)	0.436933	1.2105	3701838
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-cuww3.opb	? (problem)	0.462928	1.26046	3701842
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-cuww5.opb	? (problem)	0.464928	1.2465	3701843
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob3.opb	? (problem)	0.466928	1.36406	3701846
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob2.opb	? (problem)	0.467928	1.35833	3701845
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-cuww2.opb	? (problem)	0.468928	1.22906	3701841
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob5.opb	? (problem)	0.472927	1.63185	3701848
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob1.opb	? (problem)	0.473927	1.37343	3701844
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob6.opb	? (problem)	0.474927	1.26435	3701849
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-cuww1.opb	? (problem)	0.474927	1.21123	3701840
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob8.opb	? (problem)	0.477926	1.35288	3701851
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob4.opb	? (problem)	0.477926	1.38257	3701847
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob7.opb	? (problem)	0.518921	1.26394	3701850

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-21-20.opb	? (problem)	0.001998	0.0938709	3702020
/DEC-SMALLINT-LIN/leberre/opb-paranoid/misc2010/ datasets/caixa/normalized-1096.cudf.paranoid.opb	? (problem)	0.001998	0.098782	3702036
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-11-10.opb	? (problem)	0.001999	0.0820829	3702018
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-elf.rf6.ucl.opb	? (problem)	0.002998	0.076384	3701996
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-15-10.opb	? (problem)	0.002998	0.0827599	3702019
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl15_20_pb.cnf.cr.opb	? (problem)	0.002998	1.75367	3701854
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-25-20.opb	? (problem)	0.002999	0.0897209	3702021
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-35-30.opb	? (problem)	0.003998	0.0948631	3702023
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl10_11_pb.cnf.cr.opb	? (problem)	0.003998	0.0724309	3701852
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl10_20_pb.cnf.cr.opb	? (problem)	0.004998	0.0802501	3701853
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl15_25_pb.cnf.cr.opb	? (problem)	0.004998	0.0773601	3701855
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga13_12_sat_pb.cnf.cr.opb	? (problem)	0.005998	0.086877	3701867
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-45-40.opb	? (problem)	0.006998	0.108893	3702025
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga14_13_sat_pb.cnf.cr.opb	? (problem)	0.007997	0.099806	3701869
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-31-30.opb	? (problem)	0.007998	0.104747	3702022
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army8.9ls.opb	? (problem)	0.007998	0.0893821	3701971
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-41-40.opb	? (problem)	0.007998	0.118529	3702024
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga14_12_sat_pb.cnf.cr.opb	? (problem)	0.007998	0.099999	3701868
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl30_31_pb.cnf.cr.opb	? (problem)	0.008997	0.0944249	3701856
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army9.12ls.opb	? (problem)	0.008997	0.0909399	3701973
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl35_36_pb.cnf.cr.opb	? (problem)	0.008997	0.269314	3701858
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl30_35_pb.cnf.cr.opb	? (problem)	0.009997	0.129163	3701857
/DEC-SMALLINT-LIN/heinz/ normalized-neos-820157.opb	? (problem)	0.009997	0.101425	3702098
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl35_40_pb.cnf.cr.opb	? (problem)	0.010997	46.3261	3701859
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900576927.opb	? (problem)	0.011997	0.115265	3701923
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900574974.opb	? (problem)	0.011998	0.077949	3701921
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900566263.opb	? (problem)	0.012997	0.0916089	3701919
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900554389.opb	? (problem)	0.012997	0.125717	3701912
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900547416.opb	? (problem)	0.012997	0.0985719	3701904
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-55-50.opb	? (problem)	0.012997	0.113297	3702027
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900552735.opb	? (problem)	0.012997	0.0825219	3701908
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900559365.opb	? (problem)	0.012997	0.167451	3701914
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900670167.opb	? (problem)	0.012997	0.332352	3701930
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900553812.opb	? (problem)	0.012997	0.381645	3701909
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900554154.opb	? (problem)	0.012997	0.097772	3701911
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900556231.opb	? (problem)	0.012997	0.092202	3701913
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army10.14ls.opb	? (problem)	0.012997	0.125684	3701963
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900568186.opb	? (problem)	0.012998	0.090169	3701920
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900670675.opb	? (problem)	0.013997	0.0901701	3701931
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900584106.opb	? (problem)	0.013997	0.107778	3701927
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900561288.opb	? (problem)	0.013997	0.0906331	3701915
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-65-60.opb	? (problem)	0.013997	0.118082	3702029
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900577000.opb	? (problem)	0.013997	0.1307	3701924
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900576918.opb	? (problem)	0.013997	0.0890489	3701922
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900565534.opb	? (problem)	0.013997	0.135611	3701918
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900669299.opb	? (problem)	0.013997	0.0937171	3701928
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900551864.opb	? (problem)	0.013997	0.092986	3701906
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900582300.opb	? (problem)	0.013997	0.101038	3701925
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900561389.opb	? (problem)	0.013997	0.0946889	3701916
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900669309.opb	? (problem)	0.013997	0.107575	3701929
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900546076.opb	? (problem)	0.013997	0.168972	3701903
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-51-50.opb	? (problem)	0.013997	0.106675	3702026
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900554072.opb	? (problem)	0.013997	0.146404	3701910
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga11_9_sat_pb.cnf.cr.opb	? (problem)	0.014997	0.110906	3701866
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900582376.opb	? (problem)	0.014997	0.0954261	3701926
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900550006.opb	? (problem)	0.014997	0.133245	3701905
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900565527.opb	? (problem)	0.014997	0.091571	3701917
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900552423.opb	? (problem)	0.014997	0.106391	3701907
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-61-60.opb	? (problem)	0.015997	0.114842	3702028
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army11.17ls.opb	? (problem)	0.015997	0.171366	3701965
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga25_23_sat_pb.cnf.cr.opb	? (problem)	0.016996	0.123054	3701872
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900544484.opb	? (problem)	0.016997	0.118429	3701902
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl40_45_pb.cnf.cr.opb	? (problem)	0.017997	0.114622	3701860
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga25_24_sat_pb.cnf.cr.opb	? (problem)	0.017997	0.106225	3701873
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army12.21ls.opb	? (problem)	0.018996	0.127544	3701967
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-75-70.opb	? (problem)	0.018996	0.176447	3702031
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111226680.opb	? (problem)	0.018997	0.148599	3701960
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111213868.opb	? (problem)	0.019996	0.672228	3701948
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110972958.opb	? (problem)	0.019996	0.119458	3701939
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110976935.opb	? (problem)	0.019996	0.123546	3701945
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111216411.opb	? (problem)	0.019996	0.152817	3701949
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111219399.opb	? (problem)	0.019996	0.106975	3701953
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111219348.opb	? (problem)	0.019996	0.157136	3701952
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl50_51_pb.cnf.cr.opb	? (problem)	0.019996	0.154006	3701861
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110972154.opb	? (problem)	0.019996	0.137243	3701938
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110967729.opb	? (problem)	0.019996	0.142719	3701932
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110970277.opb	? (problem)	0.020995	0.141628	3701935
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110973478.opb	? (problem)	0.020995	0.163616	3701940
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110968431.opb	? (problem)	0.020995	0.149482	3701933
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111223220.opb	? (problem)	0.020996	0.124444	3701957
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111218955.opb	? (problem)	0.020996	0.18124	3701951
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111227418.opb	? (problem)	0.020996	0.186191	3701961
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111222080.opb	? (problem)	0.020996	0.126227	3701954
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111224255.opb	? (problem)	0.020996	0.129066	3701959
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111222257.opb	? (problem)	0.020996	0.111717	3701956
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110973863.opb	? (problem)	0.021995	0.117411	3701941
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110971697.opb	? (problem)	0.021995	0.158183	3701937
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111223696.opb	? (problem)	0.021996	0.142566	3701958
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl50_55_pb.cnf.cr.opb	? (problem)	0.021996	1.32243	3701862
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga25_25_sat_pb.cnf.cr.opb	? (problem)	0.021996	0.110543	3701874
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-71-70.opb	? (problem)	0.021996	0.119402	3702030
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110975965.opb	? (problem)	0.021996	0.182557	3701944
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110977464.opb	? (problem)	0.021996	0.120566	3701946
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110977780.opb	? (problem)	0.022995	0.116401	3701947
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110969170.opb	? (problem)	0.022996	0.183244	3701934
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111218308.opb	? (problem)	0.022996	0.178983	3701950
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111222248.opb	? (problem)	0.022996	0.118148	3701955
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110974180.opb	? (problem)	0.022996	0.0946189	3701942
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/robin/normalized-robin8.opb	? (problem)	0.022996	0.152771	3701979
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110974553.opb	? (problem)	0.023995	0.144598	3701943
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110970631.opb	? (problem)	0.024995	0.108435	3701936
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga10_10_sat_pb.cnf.cr.opb	? (problem)	0.024995	0.204096	3701864
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army13.24ls.opb	? (problem)	0.025995	0.175979	3701969
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-81-80.opb	? (problem)	0.025995	0.215916	3702032
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga11_10_sat_pb.cnf.cr.opb	? (problem)	0.026995	0.106778	3701865
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-85-80.opb	? (problem)	0.026995	0.137459	3702033
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr.opb	? (problem)	0.028995	0.249157	3701863
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army12.21bt.opb	? (problem)	0.032994	0.132993	3701966
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga30_29_sat_pb.cnf.cr.opb	? (problem)	0.034993	0.156843	3701875
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-91-90.opb	? (problem)	0.034994	0.140017	3702034
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army13.24bt.opb	? (problem)	0.036993	0.179608	3701968
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army10.14bt.opb	? (problem)	0.036993	0.168135	3701962
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-95-90.opb	? (problem)	0.036993	0.137421	3702035
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army11.17bt.opb	? (problem)	0.038993	0.178365	3701964
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-cardinality-101-100.opb	? (problem)	0.038993	0.182231	3702016
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K65.opb	? (problem)	0.040992	0.134373	3702131
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K66.opb	? (problem)	0.041993	0.13083	3702132
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K67.opb	? (problem)	0.042992	0.867173	3702133
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K70.opb	? (problem)	0.043993	0.172443	3702136
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga35_33_sat_pb.cnf.cr.opb	? (problem)	0.044992	0.215806	3701876
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-cardinality-105-100.opb	? (problem)	0.044992	0.184531	3702017
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K68.opb	? (problem)	0.044992	0.222647	3702134
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga35_34_sat_pb.cnf.cr.opb	? (problem)	0.045992	0.173726	3701877
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K77.opb	? (problem)	0.046992	0.535793	3702143
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K73.opb	? (problem)	0.046992	0.150075	3702139
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K76.opb	? (problem)	0.047992	0.180376	3702142
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/robin/normalized-robin10.opb	? (problem)	0.047992	0.161286	3701974
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K71.opb	? (problem)	0.047992	0.169015	3702137
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K69.opb	? (problem)	0.048991	0.15982	3702135
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K72.opb	? (problem)	0.048991	0.159954	3702138
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga20_18_sat_pb.cnf.cr.opb	? (problem)	0.049991	0.142204	3701870
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K75.opb	? (problem)	0.049992	0.204836	3702141
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K80.opb	? (problem)	0.050991	0.177109	3702146
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga20_19_sat_pb.cnf.cr.opb	? (problem)	0.050991	0.235987	3701871
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K74.opb	? (problem)	0.052991	0.174481	3702140
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K78.opb	? (problem)	0.052991	0.157722	3702144
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K79.opb	? (problem)	0.054991	0.167468	3702145
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga35_35_sat_pb.cnf.cr.opb	? (problem)	0.054991	0.196537	3701878
/DEC-SMALLINT-LIN/heinz/ normalized-neos-849702.opb	? (problem)	0.06099	0.186858	3702099
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army8.9bt.opb	? (problem)	0.06299	0.178571	3701970
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K80.opb	? (problem)	0.06299	0.184302	3702187
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K81.opb	? (problem)	0.063989	0.180111	3702188
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K82.opb	? (problem)	0.064989	0.190946	3702189
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army9.12bt.opb	? (problem)	0.064989	0.175607	3701972
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga40_38_sat_pb.cnf.cr.opb	? (problem)	0.065989	0.22274	3701879
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K85.opb	? (problem)	0.066988	0.188046	3702192
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K83.opb	? (problem)	0.066989	0.188988	3702190
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K84.opb	? (problem)	0.067989	0.214002	3702191
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K86.opb	? (problem)	0.067989	0.187148	3702193
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga40_39_sat_pb.cnf.cr.opb	? (problem)	0.068988	0.262654	3701880
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j308_6-unsat.opb	? (problem)	0.069988	0.240762	3702049
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K88.opb	? (problem)	0.069988	0.183644	3702195
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K87.opb	? (problem)	0.069989	0.194745	3702194
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K89.opb	? (problem)	0.070988	0.193536	3702196
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K91.opb	? (problem)	0.070988	0.195382	3702198
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K92.opb	? (problem)	0.071988	0.203405	3702199
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K93.opb	? (problem)	0.072988	0.204113	3702200
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K94.opb	? (problem)	0.073988	0.19428	3702201
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j3025_10-sat.opb	? (problem)	0.075987	0.272754	3702042
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j309_6-sat.opb	? (problem)	0.075987	0.268199	3702050
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K96.opb	? (problem)	0.075987	0.221772	3702203
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K95.opb	? (problem)	0.075988	0.195847	3702202
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K97.opb	? (problem)	0.076987	0.202439	3702204
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K90.opb	? (problem)	0.076987	0.205611	3702197
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K98.opb	? (problem)	0.077987	0.215002	3702205
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K100.opb	? (problem)	0.078987	0.214043	3702177
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K102.opb	? (problem)	0.079987	0.198324	3702179
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K101.opb	? (problem)	0.080987	0.249925	3702178
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K99.opb	? (problem)	0.081986	0.218216	3702206
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K104.opb	? (problem)	0.081987	0.266445	3702181
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K106.opb	? (problem)	0.083986	0.220717	3702183
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K105.opb	? (problem)	0.083987	0.247772	3702182
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K103.opb	? (problem)	0.083987	0.20196	3702180
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K107.opb	? (problem)	0.084986	0.265455	3702184
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K108.opb	? (problem)	0.086985	0.223904	3702185
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K109.opb	? (problem)	0.086986	0.234541	3702186
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j3042_5-unsat.opb	? (problem)	0.089985	0.309456	3702044
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/robin/normalized-robin12.opb	? (problem)	0.097984	0.323809	3701975
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga45_45_sat_pb.cnf.cr.opb	? (problem)	0.098984	0.371194	3701881
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-cache.inv8.ucl.opb	? (problem)	0.106983	0.225259	3701994
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j3043_8-sat.opb	? (problem)	0.114982	0.378656	3702045
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j3011_9-unsat.opb	? (problem)	0.12398	0.387235	3702037
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j3030_6-sat.opb	? (problem)	0.139978	0.433109	3702043
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j3046_4-unsat.opb	? (problem)	0.141978	0.406735	3702046
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j3024_5-sat.opb	? (problem)	0.154976	0.358703	3702041
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ liu/vdw/normalized-vdw_k6_l3_n170.opb	? (problem)	0.156975	0.251548	3701901
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb	? (problem)	0.163974	0.927597	3702011
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/ppp-problems/normalized-ppp:1,3-13,19.opb	? (problem)	0.165974	0.297186	3702010
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/ppp-problems/normalized-ppp:1-13.opb	? (problem)	0.169973	0.313147	3702013
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb	? (problem)	0.169973	0.710068	3702015
/DEC-SMALLINT-LIN/heinz/ normalized-neos-820146.opb	? (problem)	0.173972	0.660671	3702097
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j3024_2-sat.opb	? (problem)	0.173973	0.389266	3702039
/DEC-SMALLINT-LIN/oliveras/j90/ normalized-j901_6-sat.opb	? (problem)	0.174972	0.385922	3702071
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/ppp-problems/normalized-ppp:1-9,16-19.opb	? (problem)	0.175972	0.375087	3702014
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/ppp-problems/normalized-ppp:1-12,16.opb	? (problem)	0.175972	0.302154	3702012
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K125.opb	? (problem)	0.177972	0.495392	3702147
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K126.opb	? (problem)	0.177972	0.39733	3702148
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-blast-floppy1-2.ucl.opb	? (problem)	0.181972	0.634858	3701985
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K129.opb	? (problem)	0.18697	0.40503	3702150
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K132.opb	? (problem)	0.18797	0.414498	3702152
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K131.opb	? (problem)	0.187971	0.404692	3702151
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K128.opb	? (problem)	0.189971	0.404208	3702149
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K133.opb	? (problem)	0.19097	0.39678	3702153
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K140.opb	? (problem)	0.195969	0.498876	3702156
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K138.opb	? (problem)	0.197969	0.437096	3702154
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K141.opb	? (problem)	0.201969	0.403155	3702157
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K139.opb	? (problem)	0.202968	0.423956	3702155
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K148.opb	? (problem)	0.205968	0.534241	3702159
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K143.opb	? (problem)	0.208967	0.439183	3702158
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j607_4-unsat.opb	? (problem)	0.212966	0.547914	3702066
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K152.opb	? (problem)	0.212967	0.806697	3702160
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K156.opb	? (problem)	0.221965	0.450246	3702161
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/robin/normalized-robin14.opb	? (problem)	0.221965	1.15806	3701976
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K160.opb	? (problem)	0.228964	0.473353	3702162
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K163.opb	? (problem)	0.230964	0.471829	3702163
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K167.opb	? (problem)	0.230964	0.480952	3702165
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K164.opb	? (problem)	0.232963	0.491383	3702164
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6040_10-sat.opb	? (problem)	0.242962	0.596827	3702062
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K175.opb	? (problem)	0.250961	0.566259	3702167
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K176.opb	? (problem)	0.251961	0.520702	3702168
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K168.opb	? (problem)	0.251961	0.986532	3702166
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6040_3-sat.opb	? (problem)	0.25496	0.697601	3702063
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K177.opb	? (problem)	0.25596	0.525147	3702169
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K183.opb	? (problem)	0.25796	0.540282	3702172
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j1205_3-unsat.opb	? (problem)	0.263959	0.786151	3702093
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K181.opb	? (problem)	0.264959	0.51694	3702171
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K180.opb	? (problem)	0.264959	0.544552	3702170
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-elf.rf7.ucl.opb	? (problem)	0.270958	0.39633	3701997
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K192.opb	? (problem)	0.271958	0.54283	3702173
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K199.opb	? (problem)	0.277957	0.575358	3702175
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K200.opb	? (problem)	0.278957	0.569218	3702176
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K196.opb	? (problem)	0.279956	0.576079	3702174
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j1204_7-sat.opb	? (problem)	0.292954	0.661314	3702091
/DEC-SMALLINT-LIN/oliveras/j90/ normalized-j902_5-sat.opb	? (problem)	0.292955	0.63673	3702072
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6042_2-sat.opb	? (problem)	0.312952	1.0573	3702064
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-37s.smv.opb	? (problem)	0.324949	0.471128	3701982
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6010_7-unsat.opb	? (problem)	0.336948	0.885135	3702051
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/robin/normalized-robin16.opb	? (problem)	0.351945	0.743276	3701977
/DEC-SMALLINT-LIN/oliveras/j90/ normalized-j905_6-unsat.opb	? (problem)	0.361944	1.34258	3702079
/DEC-SMALLINT-LIN/lopes/ normalized-185.opb	? (problem)	0.362944	0.478478	3702119
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j3017_6-sat.opb	? (problem)	0.376942	0.649813	3702038
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6043_4-sat.opb	? (problem)	0.400938	1.11334	3702065
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6027_9-unsat.opb	? (problem)	0.423934	1.02831	3702056
/DEC-SMALLINT-LIN/oliveras/j90/ normalized-j9038_3-unsat.opb	? (problem)	0.45193	1.75199	3702073
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6029_8-unsat.opb	? (problem)	0.45693	1.23295	3702059
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6028_9-unsat.opb	? (problem)	0.465929	1.22962	3702058
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6030_8-sat.opb	? (problem)	0.476927	1.22217	3702060
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6014_2-sat.opb	? (problem)	0.481926	1.32124	3702052
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j1208_6-sat.opb	? (problem)	0.512921	1.25965	3702096
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6028_7-sat.opb	? (problem)	0.530918	1.39711	3702057
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/robin/normalized-robin18.opb	? (problem)	0.560913	1.53712	3701978
/DEC-SMALLINT-LIN/oliveras/j90/ normalized-j9040_1-unsat.opb	? (problem)	0.569912	1.66802	3702075
/DEC-SMALLINT-LIN/oliveras/j90/ normalized-j9040_1-sat.opb	? (problem)	0.573911	2.46889	3702074
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12028_8-sat.opb	? (problem)	0.58791	2.11686	3702081
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ liu/vdw/normalized-vdw_k4_l4_n360.opb	? (problem)	0.593909	0.710967	3701899
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j1206_8-unsat.opb	? (problem)	0.613906	1.36383	3702095
/DEC-SMALLINT-LIN/oliveras/j90/ normalized-j908_8-unsat.opb	? (problem)	0.631903	1.41826	3702080
/DEC-SMALLINT-LIN/heinz/ normalized-neos808444.opb	? (problem)	0.656899	1.16333	3702100
/DEC-SMALLINT-LIN/oliveras/ j60/normalized-j6016_10-unsat.opb	? (problem)	0.672897	1.73039	3702053
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12047_6-sat.opb	? (problem)	0.675896	1.5496	3702088
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j1206_6-sat.opb	? (problem)	0.694893	1.59846	3702094
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12048_4-unsat.opb	? (problem)	0.700892	1.93681	3702089
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6020_9-sat.opb	? (problem)	0.706891	1.07816	3702055
/DEC-SMALLINT-LIN/oliveras/j90/ normalized-j9042_4-sat.opb	? (problem)	0.726889	1.73426	3702076
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6032_1-unsat.opb	? (problem)	0.765883	1.96831	3702061
/DEC-SMALLINT-LIN/oliveras/ j90/normalized-j9010_10-unsat.opb	? (problem)	0.773881	1.55513	3702067
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12049_6-unsat.opb	? (problem)	0.774881	1.86953	3702090
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-blast-floppy1-6.ucl.opb	? (problem)	0.884864	3.2815	3701986
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12046_2-sat.opb	? (problem)	0.902862	1.91226	3702087
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j601_8-unsat.opb	? (problem)	0.923858	1.4728	3702054
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.2.accl.ucl.opb	? (problem)	0.969851	1.27858	3702000
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j307_10-sat.opb	? (problem)	1.04784	1.6648	3702047
/DEC-SMALLINT-LIN/oliveras/j90/ normalized-j9045_1-sat.opb	? (problem)	1.06784	3.02581	3702077
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12032_3-unsat.opb	? (problem)	1.07983	2.62742	3702082
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-ooo.rf8.ucl.opb	? (problem)	1.10483	1.79055	3702006
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12035_4-sat.opb	? (problem)	1.11983	3.86122	3702083
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-25s.smv.opb	? (problem)	1.14682	2.92495	3701981
/DEC-SMALLINT-LIN/oliveras/j90/ normalized-j9014_1-unsat.opb	? (problem)	1.17882	4.42709	3702068
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j307_9-unsat.opb	? (problem)	1.25881	2.02167	3702048
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-22s.smv.opb	? (problem)	1.39379	5.04952	3701980
/DEC-SMALLINT-LIN/oliveras/j90/ normalized-j9016_7-sat.opb	? (problem)	1.40079	5.61402	3702070
/DEC-SMALLINT-LIN/oliveras/j90/ normalized-j9015_7-unsat.opb	? (problem)	1.41278	5.38279	3702069
/DEC-SMALLINT-LIN/lopes/ normalized-21.opb	? (problem)	1.45378	1.7496	3702121
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-ooo.rf9.ucl.opb	? (problem)	1.48777	1.78842	3702007
/DEC-SMALLINT-LIN/oliveras/j90/ normalized-j9048_9-sat.opb	? (problem)	1.52577	5.69081	3702078
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j3024_3-sat.opb	? (problem)	1.54276	2.36805	3702040
/DEC-SMALLINT-LIN/lopes/ normalized-99.opb	? (problem)	1.60775	1.87219	3702130
/DEC-SMALLINT-LIN/lopes/ normalized-101.opb	? (problem)	1.61275	1.90962	3702101
/DEC-SMALLINT-LIN/lopes/ normalized-73.opb	? (problem)	1.63075	3.17207	3702127
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-44s.smv.opb	? (problem)	1.70374	2.00151	3701983
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.3.accl.ucl.opb	? (problem)	1.73973	2.88882	3702001
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12039_7-sat.opb	? (problem)	1.73973	8.05781	3702086
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-dlx1c.rwmem1.ucl.opb	? (problem)	1.76373	5.07234	3701995
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb	? (problem)	1.76673	3.47987	3701993
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ liu/vdw/normalized-vdw_k3_l5_n550.opb	? (problem)	1.76873	1.92212	3701897
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12038_7-unsat.opb	? (problem)	1.82572	7.33333	3702085
/DEC-SMALLINT-LIN/lopes/ normalized-20.opb	? (problem)	1.84772	2.07381	3702120
/DEC-SMALLINT-LIN/lopes/ normalized-31.opb	? (problem)	1.85272	2.14873	3702122
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-elf.rf8.ucl.opb	? (problem)	1.86871	2.21732	3701998
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-ooo.tag10.ucl.opb	? (problem)	1.90871	2.24965	3702008
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12059_3-unsat.opb	? (problem)	1.9577	5.00736	3702092
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12038_3-sat.opb	? (problem)	2.00669	5.06096	3702084
/DEC-SMALLINT-LIN/lopes/ normalized-48.opb	? (problem)	2.04069	2.27015	3702124
/DEC-SMALLINT-LIN/lopes/ normalized-91.opb	? (problem)	2.05269	2.33108	3702129
/DEC-SMALLINT-LIN/lopes/ normalized-47.opb	? (problem)	2.06069	2.32113	3702123
/DEC-SMALLINT-LIN/lopes/ normalized-61.opb	? (problem)	2.06669	4.83339	3702125
/DEC-SMALLINT-LIN/lopes/ normalized-107.opb	? (problem)	2.10668	3.3146	3702102
/DEC-SMALLINT-LIN/lopes/ normalized-117.opb	? (problem)	2.10668	4.79024	3702105
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-ooo.rf10.ucl.opb	? (problem)	2.42963	2.94211	3702005
/DEC-SMALLINT-LIN/lopes/ normalized-70.opb	? (problem)	2.58961	2.88364	3702126
/DEC-SMALLINT-LIN/lopes/ normalized-76.opb	? (problem)	2.6196	3.1009	3702128
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ liu/vdw/normalized-vdw_k5_l4_n750.opb	? (problem)	3.23751	3.57265	3701900
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-blast-tlan2.ucl.opb	? (problem)	3.2595	12.5203	3701988
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-46s.smv.opb	? (problem)	4.48932	5.19691	3701984
/DEC-SMALLINT-LIN/lopes/ normalized-170.opb	? (problem)	5.61515	6.08079	3702115
/DEC-SMALLINT-LIN/lopes/ normalized-164.opb	? (problem)	5.64714	6.14347	3702113
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v30_e350_d15_mw10_8.opb.PB06.opb	? (problem)	6.09007	15.0882	3701885
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v30_e350_d15_mw10_1.opb.PB06.opb	? (problem)	6.32104	20.8118	3701882
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v30_e350_d15_mw10_2.opb.PB06.opb	? (problem)	6.40303	17.9217	3701883
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v30_e350_d15_mw10_3.opb.PB06.opb	? (problem)	6.57	19.0889	3701884
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v30_e350_d15_mw10_9.opb.PB06.opb	? (problem)	6.66898	19.1271	3701886
/DEC-SMALLINT-LIN/lopes/ normalized-112.opb	? (problem)	6.91195	7.52908	3702103
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.4.accl.ucl.opb	? (problem)	7.07292	8.38848	3702002
/DEC-SMALLINT-LIN/lopes/ normalized-123.opb	? (problem)	7.83881	8.79796	3702108
/DEC-SMALLINT-LIN/lopes/ normalized-116.opb	? (problem)	9.24759	11.6226	3702104
/DEC-SMALLINT-LIN/lopes/ normalized-137.opb	? (problem)	10.2664	11.5375	3702110
/DEC-SMALLINT-LIN/lopes/ normalized-129.opb	? (problem)	10.2924	11.1133	3702109
/DEC-SMALLINT-LIN/lopes/ normalized-122.opb	? (problem)	10.2954	11.5532	3702107
/DEC-SMALLINT-LIN/lopes/ normalized-146.opb	? (problem)	10.3124	17.3801	3702111
/DEC-SMALLINT-LIN/lopes/ normalized-120.opb	? (problem)	10.3514	11.5239	3702106
/DEC-SMALLINT-LIN/lopes/ normalized-153.opb	? (problem)	11.6922	19.1041	3702112
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-elf.rf9.ucl.opb	? (problem)	14.7378	17.1228	3701999
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v40_e600_d20_mw10_9.opb.PB06.opb	? (problem)	18.7222	64.7982	3701891
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v40_e600_d20_mw10_0.opb.PB06.opb	? (problem)	18.8481	73.0604	3701887
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v40_e600_d20_mw10_5.opb.PB06.opb	? (problem)	18.8631	103.367	3701889
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v40_e600_d20_mw10_2.opb.PB06.opb	? (problem)	19.892	100.595	3701888
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v40_e600_d20_mw10_6.opb.PB06.opb	? (problem)	20.3089	187.482	3701890
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ liu/vdw/normalized-vdw_k3_l6_n1500.opb	? (problem)	22.0117	22.4967	3701898
/DEC-SMALLINT-LIN/lopes/ normalized-167.opb	? (problem)	22.8215	24.4645	3702114
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb	? (problem)	23.0485	44.2369	3701991
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.8.accl.ucl.opb	? (problem)	23.7524	27.1215	3702003
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Ih2arity.ucl.opb	? (problem)	32.5481	69.914	3701992
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-blast-tlan3.ucl.opb	? (problem)	32.794	195.12	3701989
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.unbounded.all.ucl.opb	? (problem)	36.3195	219.546	3702009
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-blast-floppy1-8.ucl.opb	? (problem)	40.6778	207.157	3701987
/DEC-SMALLINT-LIN/lopes/ normalized-175.opb	? (problem)	51.9781	55.8635	3702117
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v50_e1000_d25_mw10_6.opb.PB06.opb	? (problem)	52.635	307.476	3701895
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v50_e1000_d25_mw10_1.opb.PB06.opb	? (problem)	52.844	271.809	3701892
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v50_e1000_d25_mw10_3.opb.PB06.opb	? (problem)	55.0866	263.387	3701893
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-full.all.ucl.opb	? (problem)	56.8344	78.2231	3701990
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v50_e1000_d25_mw10_9.opb.PB06.opb	? (problem)	57.4043	313.453	3701896
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v50_e1000_d25_mw10_5.opb.PB06.opb	? (problem)	59.32	185.513	3701894
/DEC-SMALLINT-LIN/lopes/ normalized-172.opb	? (problem)	60.7898	72.7023	3702116
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.ex.mem.LsqHdStrong.ucl.opb	? (problem)	62.8554	203.492	3702004
/DEC-SMALLINT-LIN/lopes/ normalized-180.opb	? (problem)	67.7517	81.7338	3702118

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_10_4_4_8.opb	? (problem)	0.002998	0.084556	3702213
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_10_4_3_5.opb	? (problem)	0.003998	0.0698169	3702211
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_10_4_4_5.opb	? (problem)	0.003998	0.0900761	3702212
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_50_10_2_5.opb	? (problem)	0.008997	0.097523	3702231
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_50_10_3_15.opb	? (problem)	0.008997	0.096324	3702232
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_50_10_1_15.opb	? (problem)	0.008997	0.10459	3702230
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_50_10_3_5.opb	? (problem)	0.008998	0.1056	3702233
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_50_10_5_15.opb	? (problem)	0.008998	0.0980979	3702234
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_50_25_3_15.opb	? (problem)	0.012997	0.115986	3702235
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_50_25_5_15.opb	? (problem)	0.014997	0.120719	3702236
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_10_4_15.opb	? (problem)	0.017996	0.177542	3702208
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_10_3_40.opb	? (problem)	0.018996	0.130313	3702207
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_25_2_15.opb	? (problem)	0.027995	0.13616	3702209
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_25_5_40.opb	? (problem)	0.029994	0.145576	3702210
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_10_1_15.opb	? (problem)	0.043993	0.181549	3702214
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_10_4_40.opb	? (problem)	0.045992	0.190307	3702216
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_10_2_40.opb	? (problem)	0.046992	0.195307	3702215
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_25_5_15.opb	? (problem)	0.063989	0.223199	3702219
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_25_3_15.opb	? (problem)	0.065989	0.210892	3702218
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_25_2_40.opb	? (problem)	0.068988	0.2233	3702217
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_25_5_40.opb	? (problem)	0.071988	0.236377	3702220
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_10_2_15.opb	? (problem)	0.118981	0.356417	3702222
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_10_3_80.opb	? (problem)	0.12898	0.381077	3702223
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_10_5_80.opb	? (problem)	0.130979	0.378186	3702224
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_10_1_80.opb	? (problem)	0.133978	0.39004	3702221
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_25_5_15.opb	? (problem)	0.172972	0.696225	3702226
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_25_5_80.opb	? (problem)	0.181972	0.474432	3702227
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_25_3_80.opb	? (problem)	0.185971	0.473979	3702225
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_60_5_15.opb	? (problem)	0.290955	0.691642	3702229
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_60_4_15.opb	? (problem)	0.291954	0.660932	3702228

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/ datasets/caixa/normalized-121.cudf.trendy.opb	UNSAT	0.054991	0.056901	3702407
/OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.smallist/normalized-rand2fa1f8.cudf.paranoid.opb	UNSAT	0.073988	0.077621	3702390
/OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.smallist/normalized-randea4da3.cudf.paranoid.opb	UNSAT	0.097984	0.101005	3702395
/OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.smallist/normalized-randdd5509.cudf.paranoid.opb	UNSAT	0.103983	0.106715	3702394
/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/ rand.smallist/normalized-randdd5509.cudf.trendy.opb	UNSAT	0.111982	0.114713	3702425
/OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/ datasets/caixa/normalized-520.cudf.paranoid.opb	UNSAT	0.126979	0.129606	3702385
/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/ rand.smallist/normalized-randcef367.cudf.trendy.opb	UNSAT	0.127979	0.281408	3702424
/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/ random/rand.newlist/normalized-randc5b1f2.cudf.trendy.opb	UNSAT	0.139977	0.141831	3702421
/OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/ datasets/caixa/normalized-1131.cudf.paranoid.opb	UNSAT	0.155975	0.159364	3702383
/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/ datasets/caixa/normalized-1335.cudf.trendy.opb	UNSAT	0.157975	0.160587	3702408
/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/ random/rand.biglist/normalized-rand65d021.cudf.trendy.opb	UNSAT	0.204968	0.206612	3702413
/OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/ random/rand.biglist/normalized-rand659e05.cudf.paranoid.opb	UNSAT	0.205968	0.207279	3702388
/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/ random/rand.biglist/normalized-randa491d5.cudf.trendy.opb	UNSAT	0.211967	0.215418	3702414
/OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/ random/rand.biglist/normalized-rand5c0b12.cudf.paranoid.opb	UNSAT	0.214966	0.21551	3702387
/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/ random/rand.biglist/normalized-randf7d077.cudf.trendy.opb	UNSAT	0.220965	0.223385	3702417
/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/ random/rand.biglist/normalized-rand5c0b12.cudf.trendy.opb	UNSAT	0.231963	0.23392	3702412

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=20-sizeP=11-sizeQ=20-900543-max.opb	OPT	-1281	170.02	170.055	3702303
/OPT-BIGINT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_fibo_50null20mast_rapportOE1.0_TMAX15_K67_cod2.opb	OPT	-12022	1018.82	1019.19	3702466

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
/OPT-BIGINT-LIN/zahidi/IC/ normalized-minisat15_5_3_1_ic.opb	? (TO)	1800	1828.31	3702544
/OPT-BIGINT-LIN/zahidi/IC/ normalized-minisat25_6_3_1_ic.opb	? (TO)	1800	1800.91	3702554
/OPT-BIGINT-LIN/zahidi/Multihop/ normalized-minisat25_6_4_7_mh.opb	? (TO)	1800.01	1800.41	3702640
/OPT-BIGINT-LIN/zahidi/MH+IC/ normalized-minisat25_4_7_5_mh_ic.opb	? (TO)	1800.01	1801.72	3702605
/OPT-BIGINT-LIN/zahidi/IC/ normalized-minisat25_6_3_6_ic.opb	? (TO)	1800.01	1800.62	3702559
/OPT-BIGINT-LIN/zahidi/Base/ normalized-minisat85_4_27_8.opb	? (TO)	1800.01	1800.42	3702541
/OPT-BIGINT-LIN/zahidi/Base/ normalized-minisat100_4_32_3.opb	? (TO)	1800.01	1800.52	3702514
/OPT-BIGINT-LIN/ heinz/normalized-ds-big.opb	? (TO)	1800.01	1872.92	3702429
/OPT-BIGINT-LIN/heinz/ normalized-opm2-z12-s7.opb	? (TO)	1800.01	1800.62	3702443
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-brandy.opb	? (TO)	1800.01	1800.31	3702276
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-n370a.opb	? (TO)	1800.01	1800.31	3702287
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib3/normalized-mps-v2-20-10-gt2.opb	? (TO)	1800.01	1801.21	3702295
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-scagr25.opb	? (TO)	1800.01	1800.31	3702279
/OPT-BIGINT-LIN/heinz/ normalized-opm2-z11-s8.opb	? (TO)	1800.02	1801.92	3702441
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-scagr7.opb	? (TO)	1800.02	1800.31	3702280
/OPT-BIGINT-LIN/zahidi/Base/ normalized-minisat70_4_22_6.opb	? (TO)	1800.02	1800.52	3702532
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-scorpion.opb	? (TO)	1800.02	1800.31	3702281
/OPT-BIGINT-LIN/zahidi/MH+IC/ normalized-minisat25_4_7_6_mh_ic.opb	? (TO)	1800.02	1801.12	3702606
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-ship04s.opb	? (TO)	1800.02	1800.31	3702284
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-mkc.opb	? (TO)	1800.02	1801.32	3702271
/OPT-BIGINT-LIN/zahidi/Base/ normalized-minisat50_4_16_0.opb	? (TO)	1800.02	1801.51	3702520
/OPT-BIGINT-LIN/zahidi/IC/ normalized-minisat25_6_3_5_ic.opb	? (TO)	1800.02	1800.54	3702558
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib3/normalized-mps-v2-20-10-qnet1.opb	? (TO)	1800.02	1800.31	3702274
/OPT-BIGINT-LIN/zahidi/MH+IC/ normalized-minisat25_4_7_3_mh_ic.opb	? (TO)	1800.02	1800.62	3702603
/OPT-BIGINT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_3_mh_ic.opb	? (TO)	1800.02	1800.41	3702595
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-mod013.opb	? (TO)	1800.02	1800.31	3702268
/OPT-BIGINT-LIN/zahidi/Base/ normalized-minisat85_4_27_9.opb	? (TO)	1800.02	1800.61	3702542
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-misc06.opb	? (TO)	1800.02	1800.31	3702267
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-blend.opb	? (TO)	1800.02	1800.31	3702275
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_1000_5__369_766__32.opb	? (TO)	1800.02	1800.62	3702339
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-rout.opb	? (TO)	1800.02	1800.31	3702273
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran12x21.opb	? (TO)	1800.02	1800.31	3702288
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-usAbbrv.8.25_70.opb	? (TO)	1800.02	1800.32	3702293
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-share1b.opb	? (TO)	1800.02	1800.31	3702283
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-bg512142.opb	? (TO)	1800.02	1800.31	3702290
/OPT-BIGINT-LIN/zahidi/Base/ normalized-minisat100_4_32_2.opb	? (TO)	1800.02	1800.52	3702513
/OPT-BIGINT-LIN/zahidi/Base/ normalized-minisat70_4_22_4.opb	? (TO)	1800.02	1800.41	3702530
/OPT-BIGINT-LIN/ heinz/normalized-sp98ic.opb	? (TO)	1800.03	1819.73	3702448
/OPT-BIGINT-LIN/zahidi/Base/ normalized-minisat100_4_32_9.opb	? (TO)	1800.03	1801.52	3702519
/OPT-BIGINT-LIN/zahidi/IC/ normalized-minisat25_6_3_0_ic.opb	? (TO)	1800.03	1800.41	3702553
normalized-PB07/OPT-BIGINT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir06_trarea_ac.opb	? (TO)	1800.03	1820.01	3702331
/OPT-BIGINT-LIN/zahidi/IC/ normalized-minisat15_5_3_7_ic.opb	? (TO)	1800.03	1808.51	3702550
/OPT-BIGINT-LIN/zahidi/IC/ normalized-minisat25_6_3_8_ic.opb	? (TO)	1800.04	1800.41	3702561
/OPT-BIGINT-LIN/zahidi/Multihop/ normalized-minisat25_6_4_9_mh.opb	? (TO)	1800.04	1801.22	3702642
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_20_2__17_12__128.opb	? (TO)	1800.04	1797.01	3702349
/OPT-BIGINT-LIN/zahidi/IC/ normalized-minisat15_5_3_0_ic.opb	? (TO)	1800.04	1798.01	3702543
/OPT-BIGINT-LIN/heinz/ normalized-opm2-z7-s2.opb	? (TO)	1800.04	1801.32	3702444
/OPT-BIGINT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_5_mh_ic.opb	? (TO)	1800.04	1800.41	3702596
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-blp-ic98.opb	? (TO)	1800.04	1875.02	3702291
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-nsrand-ipx.opb	? (TO)	1800.04	1802.02	3702272
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_500_3__212_366__64.opb	? (TO)	1800.04	1800.42	3702359
/OPT-BIGINT-LIN/ heinz/normalized-air04.opb	? (TO)	1800.04	1800.41	3702426
/OPT-BIGINT-LIN/zahidi/Base/ normalized-minisat70_4_22_2.opb	? (TO)	1800.04	1800.51	3702528
normalized-PB07/OPT-BIGINT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir08_trarea_ac.opb	? (TO)	1800.04	1800.41	3702333
/OPT-BIGINT-LIN/zahidi/IC/ normalized-minisat25_6_3_7_ic.opb	? (TO)	1800.04	1800.41	3702560
/OPT-BIGINT-LIN/zahidi/Multihop/ normalized-minisat15_5_3_6_mh.opb	? (TO)	1800.04	1800.41	3702629
/OPT-BIGINT-LIN/zahidi/Base/ normalized-minisat85_4_27_7.opb	? (TO)	1800.05	1800.41	3702540
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-rgn.opb	? (TO)	1800.05	1800.42	3702269
/OPT-BIGINT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_unif_20null10mast_rapportOE2.0_TMAX60_K67_cod3.opb	? (TO)	1800.05	1800.52	3702479
/OPT-BIGINT-LIN/zahidi/Multihop/ normalized-minisat15_5_3_8_mh.opb	? (TO)	1800.05	1800.51	3702631
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=40-sizeP=21-sizeQ=40-289612555-max.opb	? (TO)	1800.05	1800.41	3702315
/OPT-BIGINT-LIN/zahidi/Multihop/ normalized-minisat25_6_4_8_mh.opb	? (TO)	1800.05	1800.51	3702641
/OPT-BIGINT-LIN/zahidi/Base/ normalized-minisat100_4_32_8.opb	? (TO)	1800.05	1801.22	3702518
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_2000_5__647_1792__8.opb	? (TO)	1800.05	1802.22	3702346
/OPT-BIGINT-LIN/zahidi/Multihop/ normalized-minisat25_6_4_6_mh.opb	? (TO)	1800.05	1800.62	3702639
/OPT-BIGINT-LIN/ heinz/normalized-stp3d.opb	? (TO)	1800.06	1800.52	3702449
/OPT-BIGINT-LIN/zahidi/Multihop/ normalized-minisat15_5_3_7_mh.opb	? (TO)	1800.06	1800.41	3702630
/OPT-BIGINT-LIN/zahidi/Multihop/ normalized-minisat15_5_3_1_mh.opb	? (TO)	1800.06	1800.41	3702624
normalized-PB06/OPT-MEDINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ws97-3.opb	? (TO)	1800.06	1800.41	3702297
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-air03.opb	? (TO)	1800.06	1800.41	3702294
/OPT-BIGINT-LIN/ heinz/normalized-t1717.opb	? (TO)	1800.06	1800.51	3702450
/OPT-BIGINT-LIN/heinz/ normalized-netdiversion.opb	? (TO)	1800.06	1800.61	3702437
normalized-PB07/OPT-BIGINT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir10_trarea_ac.opb	? (TO)	1800.06	1800.41	3702335
/OPT-BIGINT-LIN/heinz/ normalized-opm2-z9-s14.opb	? (TO)	1800.06	1800.62	3702445
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_50_2__8_45__32.opb	? (TO)	1800.06	1818.32	3702363
/OPT-BIGINT-LIN/zahidi/MH+IC/ normalized-minisat25_4_7_0_mh_ic.opb	? (TO)	1800.06	1802.12	3702600
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_2000_5__647_1792__32.opb	? (TO)	1800.06	1801.22	3702345
/OPT-BIGINT-LIN/zahidi/Multihop/ normalized-minisat25_6_4_0_mh.opb	? (TO)	1800.06	1800.51	3702633
/OPT-BIGINT-LIN/heinz/ normalized-opm2-z12-s14.opb	? (TO)	1800.06	1800.72	3702442
/OPT-BIGINT-LIN/zahidi/Multihop/ normalized-minisat15_5_3_9_mh.opb	? (TO)	1800.06	1800.41	3702632
/OPT-BIGINT-LIN/heinz/ normalized-ns1685374.opb	? (TO)	1800.06	1800.41	3702439
/OPT-BIGINT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_luby_50null20mast_rapportOE2.0_TMAX120_K67_cod1.opb	? (TO)	1800.06	1800.41	3702473
/OPT-BIGINT-LIN/zahidi/Base/ normalized-minisat70_4_22_0.opb	? (TO)	1800.06	1800.51	3702527
/OPT-BIGINT-LIN/zahidi/MH+IC/ normalized-minisat25_4_7_4_mh_ic.opb	? (TO)	1800.06	1801.62	3702604
/OPT-BIGINT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_1_mh_ic.opb	? (TO)	1800.06	1800.41	3702594
/OPT-BIGINT-LIN/zahidi/IC/ normalized-minisat25_6_3_2_ic.opb	? (TO)	1800.06	1800.41	3702555
/OPT-BIGINT-LIN/zahidi/IC/ normalized-minisat25_6_3_9_ic.opb	? (TO)	1800.06	1800.41	3702562
/OPT-BIGINT-LIN/zahidi/Base/ normalized-minisat50_4_16_1.opb	? (TO)	1800.07	1800.51	3702521
/OPT-BIGINT-LIN/zahidi/Base/ normalized-minisat85_4_27_4.opb	? (TO)	1800.07	1800.72	3702538
/OPT-BIGINT-LIN/zahidi/Multihop/ normalized-minisat15_5_3_4_mh.opb	? (TO)	1800.07	1800.41	3702627
/OPT-BIGINT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_6_mh_ic.opb	? (TO)	1800.07	1800.61	3702597
normalized-PB07/OPT-BIGINT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir03_trarea_ac.opb	? (TO)	1800.07	1818.52	3702328
/OPT-BIGINT-LIN/zahidi/Base/ normalized-minisat70_4_22_9.opb	? (TO)	1800.07	1801.01	3702535
/OPT-BIGINT-LIN/zahidi/IC/ normalized-minisat25_6_3_3_ic.opb	? (TO)	1800.07	1800.41	3702556
/OPT-BIGINT-LIN/zahidi/Base/ normalized-minisat85_4_27_5.opb	? (TO)	1800.07	1800.41	3702539
/OPT-BIGINT-LIN/zahidi/IC/ normalized-minisat15_5_3_6_ic.opb	? (TO)	1800.07	1809.96	3702549
/OPT-BIGINT-LIN/zahidi/Base/ normalized-minisat50_4_16_9.opb	? (TO)	1800.07	1800.41	3702526
/OPT-BIGINT-LIN/zahidi/Base/ normalized-minisat100_4_32_7.opb	? (TO)	1800.07	1801.52	3702517
/OPT-BIGINT-LIN/zahidi/Base/ normalized-minisat70_4_22_7.opb	? (TO)	1800.07	1800.62	3702533
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_1000_5__369_766__8.opb	? (TO)	1800.08	1801.41	3702340
/OPT-BIGINT-LIN/ heinz/normalized-t1722.opb	? (TO)	1800.08	1800.41	3702451
/OPT-BIGINT-LIN/heinz/ normalized-neos-941313.opb	? (TO)	1800.08	1800.72	3702436
/OPT-BIGINT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_0_mh_ic.opb	? (TO)	1800.08	1800.41	3702593
/OPT-BIGINT-LIN/zahidi/Multihop/ normalized-minisat15_5_3_2_mh.opb	? (TO)	1800.08	1800.41	3702625
/OPT-BIGINT-LIN/zahidi/Multihop/ normalized-minisat25_6_4_3_mh.opb	? (TO)	1800.08	1801.42	3702636
/OPT-BIGINT-LIN/zahidi/Multihop/ normalized-minisat25_6_4_5_mh.opb	? (TO)	1800.08	1801.31	3702638
/OPT-BIGINT-LIN/zahidi/Multihop/ normalized-minisat15_5_3_3_mh.opb	? (TO)	1800.08	1800.41	3702626
/OPT-BIGINT-LIN/zahidi/Base/ normalized-minisat50_4_16_5.opb	? (TO)	1800.08	1800.81	3702523
/OPT-BIGINT-LIN/zahidi/Base/ normalized-minisat85_4_27_0.opb	? (TO)	1800.08	1800.62	3702536
/OPT-BIGINT-LIN/zahidi/Base/ normalized-minisat50_4_16_2.opb	? (TO)	1800.08	1800.72	3702522
/OPT-BIGINT-LIN/zahidi/Base/ normalized-minisat70_4_22_3.opb	? (TO)	1800.08	1801.82	3702529
/OPT-BIGINT-LIN/zahidi/Multihop/ normalized-minisat15_5_3_5_mh.opb	? (TO)	1800.08	1800.41	3702628
/OPT-BIGINT-LIN/zahidi/Multihop/ normalized-minisat15_5_3_0_mh.opb	? (TO)	1800.08	1800.41	3702623
/OPT-BIGINT-LIN/sroussel/NG/ normalized-NG.dot_unif_0null20mast_rapportOE2.0_TMAX120_K192_cod2.opb	? (TO)	1800.08	1801.22	3702506
/OPT-BIGINT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_unif_20null10mast_rapportOE2.0_TMAX60_K67_cod1.opb	? (TO)	1800.08	1800.51	3702478
/OPT-BIGINT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_unif_20null10mast_rapportOE1.0_TMAX60_K67_cod1.opb	? (TO)	1800.08	1800.41	3702477
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_20_2__17_12__16.opb	? (TO)	1800.08	1899.32	3702350
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_20_2__17_12__256.opb	? (TO)	1800.08	1800.31	3702351
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-woodw.opb	? (TO)	1800.08	1800.41	3702286
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_20_2__17_12__1024.opb	? (TO)	1800.09	1800.41	3702348
/OPT-BIGINT-LIN/heinz/ normalized-n3seq24.opb	? (TO)	1800.09	1801.34	3702435
/OPT-BIGINT-LIN/zahidi/Base/ normalized-minisat100_4_32_6.opb	? (TO)	1800.09	1800.72	3702516
/OPT-BIGINT-LIN/sroussel/NG/ normalized-NG.dot_fibo_50null10mast_rapportOE2.0_TMAX15_K192_cod2.opb	? (TO)	1800.09	1801.52	3702493
/OPT-BIGINT-LIN/zahidi/MH+IC/ normalized-minisat25_4_7_8_mh_ic.opb	? (TO)	1800.09	1800.62	3702607
/OPT-BIGINT-LIN/zahidi/Multihop/ normalized-minisat25_6_4_2_mh.opb	? (TO)	1800.09	1800.51	3702635
/OPT-BIGINT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_9_mh_ic.opb	? (TO)	1800.09	1800.61	3702599
/OPT-BIGINT-LIN/zahidi/MH+IC/ normalized-minisat25_4_7_2_mh_ic.opb	? (TO)	1800.09	1803.12	3702602
/OPT-BIGINT-LIN/zahidi/Multihop/ normalized-minisat25_6_4_4_mh.opb	? (TO)	1800.09	1800.62	3702637
/OPT-BIGINT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_fibo_50null10mast_rapportOE2.0_TMAX60_K67_cod1.opb	? (TO)	1800.09	1800.42	3702465
/OPT-BIGINT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_8_mh_ic.opb	? (TO)	1800.1	1800.82	3702598
/OPT-BIGINT-LIN/zahidi/IC/ normalized-minisat15_5_3_2_ic.opb	? (TO)	1800.1	1809.32	3702545
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_20_2__17_12__512.opb	? (TO)	1800.1	1800.51	3702353
/OPT-BIGINT-LIN/zahidi/IC/ normalized-minisat25_6_3_4_ic.opb	? (TO)	1800.1	1800.51	3702557
/OPT-BIGINT-LIN/zahidi/Base/ normalized-minisat100_4_32_4.opb	? (TO)	1800.1	1801.12	3702515
/OPT-BIGINT-LIN/zahidi/Base/ normalized-minisat70_4_22_8.opb	? (TO)	1800.1	1800.61	3702534
/OPT-BIGINT-LIN/zahidi/Base/ normalized-minisat50_4_16_8.opb	? (TO)	1800.1	1800.51	3702525
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_50_2__8_45__128.opb	? (TO)	1800.1	1803.31	3702360
/OPT-BIGINT-LIN/sroussel/NG/ normalized-NG.dot_fibo_50null20mast_rapportOE2.0_TMAX15_K192_cod2.opb	? (TO)	1800.1	1801.52	3702495
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_100_3__3_91__16.opb	? (TO)	1800.1	1800.62	3702342
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_50_2__8_45__256.opb	? (TO)	1800.1	1801.41	3702362
/OPT-BIGINT-LIN/ heinz/normalized-harp2.opb	? (TO)	1800.1	1800.62	3702431
/OPT-BIGINT-LIN/heinz/ normalized-opm2-z10-s2.opb	? (TO)	1800.1	1801.52	3702440
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-sp98ic.opb	? (TO)	1800.1	1800.52	3702292
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_50_2__8_45__512.opb	? (TO)	1800.11	1803.02	3702364
/OPT-BIGINT-LIN/sroussel/NG/ normalized-NG.dot_fibo_0null0mast_rapportOE2.0_TMAX15_K192_cod2.opb	? (TO)	1800.11	1800.72	3702483
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_20_2__17_12__32.opb	? (TO)	1800.12	1810.91	3702352
/OPT-BIGINT-LIN/zahidi/Multihop/ normalized-minisat25_6_4_1_mh.opb	? (TO)	1800.12	1800.62	3702634
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_100_3__3_91__64.opb	? (TO)	1800.12	1800.41	3702343
/OPT-BIGINT-LIN/zahidi/Base/ normalized-minisat85_4_27_1.opb	? (TO)	1800.12	1800.31	3702537
/OPT-BIGINT-LIN/heinz/ normalized-eilB101.opb	? (TO)	1800.12	1801.21	3702430
/OPT-BIGINT-LIN/zahidi/Base/ normalized-minisat70_4_22_5.opb	? (TO)	1800.12	1800.62	3702531
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_20_2__17_12__8.opb	? (TO)	1800.12	1822.62	3702354
/OPT-BIGINT-LIN/zahidi/MH+IC/ normalized-minisat25_4_7_1_mh_ic.opb	? (TO)	1800.13	1800.62	3702601
/OPT-BIGINT-LIN/zahidi/Base/ normalized-minisat50_4_16_6.opb	? (TO)	1800.13	1800.51	3702524
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_50_2__8_45__16.opb	? (TO)	1800.17	1808.21	3702361
/OPT-BIGINT-LIN/zahidi/IC/ normalized-minisat15_5_3_9_ic.opb	? (TO)	1800.18	1821.32	3702552
/OPT-BIGINT-LIN/zahidi/IC/ normalized-minisat15_5_3_5_ic.opb	? (TO)	1800.18	1841.61	3702548
/OPT-BIGINT-LIN/zahidi/IC/ normalized-minisat15_5_3_3_ic.opb	? (TO)	1800.22	1808.72	3702546
/OPT-BIGINT-LIN/zahidi/IC/ normalized-minisat15_5_3_4_ic.opb	? (TO)	1800.24	1828.61	3702547
/OPT-BIGINT-LIN/zahidi/IC/ normalized-minisat15_5_3_8_ic.opb	? (TO)	1800.3	1826.91	3702551
normalized-PB07/OPT-BIGINT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir04_trarea_ac.opb	? (TO)	1800.44	1817.32	3702329
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_50_2__8_45__64.opb	? (TO)	1800.54	1802.92	3702365
/OPT-BIGINT-LIN/heinz/ normalized-n3div36.opb	? (TO)	1800.81	1801.35	3702434
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_500_3__212_366__32.opb	? (TO)	1801.23	1801.73	3702357

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
/OPT-BIGINT-LIN/zahidi/Large/ normalized-minisat100_16_6_3_ic.opb	? (MO)	126.43	126.52	3702579
/OPT-BIGINT-LIN/zahidi/Large/ normalized-minisat100_16_6_0_ic.opb	? (MO)	127.12	145.127	3702573
/OPT-BIGINT-LIN/zahidi/Large/ normalized-minisat100_16_6_8_ic.opb	? (MO)	128.05	170.727	3702589
/OPT-BIGINT-LIN/zahidi/Large/ normalized-minisat100_16_6_7_ic.opb	? (MO)	128.71	144.221	3702587
/OPT-BIGINT-LIN/zahidi/Large/ normalized-minisat100_16_6_5_ic.opb	? (MO)	129.23	446.021	3702583
/OPT-BIGINT-LIN/zahidi/Large/ normalized-minisat100_16_6_1_ic.opb	? (MO)	131.41	647.522	3702575
/OPT-BIGINT-LIN/zahidi/Large/ normalized-minisat100_16_6_2_ic.opb	? (MO)	132.56	326.021	3702577
/OPT-BIGINT-LIN/zahidi/Large/ normalized-minisat100_16_6_4_ic.opb	? (MO)	132.86	755.721	3702581
/OPT-BIGINT-LIN/zahidi/Large/ normalized-minisat100_16_6_6_ic.opb	? (MO)	135.17	278.72	3702585
/OPT-BIGINT-LIN/zahidi/Large/ normalized-minisat100_16_6_9_ic.opb	? (MO)	143.21	298.226	3702591
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_1000_5__369_766__2048.opb	? (MO)	144.93	163.927	3702338
/OPT-BIGINT-LIN/heinz/ normalized-ns1663818.opb	? (MO)	163.9	195.722	3702438
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos11.opb	? (MO)	206.33	394.926	3702289
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_1000_5__369_766__1024.opb	? (MO)	211.7	215.524	3702336
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-a1c1s1.opb	? (MO)	225.8	225.912	3702270
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-degen3.opb	? (MO)	290.36	290.418	3702277
normalized-PB06/OPT-MEDINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-seymour1.opb	? (MO)	298.82	298.917	3702296

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

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

Category "no optimisation, big integers, linear constraints" (DEC-BIGINT-LIN)

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

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

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

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

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

Category "optimisation, big integers, linear constraints" (OPT-BIGINT-LIN)

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

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

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

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

No recognized solution line (217 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) (165 runs) [Show/Hide]

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

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

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

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

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

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

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

Solver wrongly proved unsatitisfiability (5 runs) [Show/Hide]

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.009998	0.010931	3702675
/OPT-SMALLINT-LIN/leberre/opb-trendy/misc2010/ datasets/caixa/normalized-1021.cudf.trendy.opb	UNSAT	0.009998	0.0140419	3703149
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/ datasets/caixa/normalized-1125.cudf.paranoid.opb	UNSAT	0.010997	0.0135551	3703122
/OPT-SMALLINT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-995.cudf.paranoid.opb	UNSAT	0.011997	0.013278	3703125
/OPT-SMALLINT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-995.cudf.trendy.opb	UNSAT	0.013996	0.0139469	3703152
/OPT-SMALLINT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-658.cudf.paranoid.opb	UNSAT	0.014997	0.0183471	3703123
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/ datasets/caixa/normalized-1034.cudf.paranoid.opb	UNSAT	0.032994	0.0338699	3703119
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-randc5b1f2.cudf.paranoid.opb	UNSAT	0.122981	0.124853	3703144
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.biglist/normalized-rand199fd6.cudf.paranoid.opb	UNSAT	0.145976	0.146833	3703127
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.biglist/normalized-rand65d021.cudf.paranoid.opb	UNSAT	0.180971	0.183902	3703131
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.biglist/normalized-randa491d5.cudf.paranoid.opb	UNSAT	0.185971	0.188215	3703132
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.biglist/normalized-randaef248.cudf.paranoid.opb	UNSAT	0.191969	0.194313	3703134
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.biglist/normalized-randf7d077.cudf.paranoid.opb	UNSAT	0.19297	0.196152	3703135
/OPT-SMALLINT-LIN/heinz/ normalized-neos-785912.opb	UNSAT	1.26	1.3402	3703231
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=23-Q=521.opb	UNSAT	1.56	1.66886	3702993
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=29-Q=521.opb	UNSAT	9.96	10.0834	3702997
/OPT-SMALLINT-LIN/heinz/ normalized-ns1745726.opb	UNSAT	29.04	29.1679	3703236
/OPT-SMALLINT-LIN/heinz/ normalized-neos-859770.opb	UNSAT	711.87	712.123	3703233

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-stein9.opb	OPT	5	0.012997	0.016458	3702687
normalized-PB06/OPT-SMALLINT/submitted-PB05/ sorensson/garden/normalized-g4x4.opb	OPT	4	0.013997	0.0176599	3702786
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/ datasets/caixa/normalized-1078.cudf.paranoid.opb	OPT	4	0.013997	0.0173059	3703120
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/ area_partials/normalized-fir04_area_partials.opb	OPT	30	0.016996	0.018841	3703035
normalized-PB06/OPT-SMALLINT/submitted-PB05/ sorensson/garden/normalized-g2x2.opb	OPT	2	0.016997	0.016977	3702785
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-1_6-yes1-1.opb	OPT	50	0.017996	0.0221549	3702728
normalized-PB06/OPT-SMALLINT/submitted-PB05/ sorensson/garden/normalized-g9x3.opb	OPT	7	0.017996	0.0195149	3702788
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-stein15.opb	OPT	9	0.018996	0.0193919	3702684
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par8-1-c.opb	OPT	64	0.020996	0.02464	3702748
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/ area_partials/normalized-fir02_area_partials.opb	OPT	19	0.025996	0.030506	3703033
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-2_0-yes1-3.opb	OPT	100	0.026995	0.030026	3702721
/OPT-SMALLINT-LIN/leberre/opb-trendy/misc2010/ datasets/caixa/normalized-1078.cudf.trendy.opb	OPT	4	0.026995	0.027599	3703150
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-C17.opb	OPT	260	0.027995	0.0349869	3702766
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-2_0-yes1-4.opb	OPT	100	0.027995	0.0296779	3702722
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-2_0-yes1-2.opb	OPT	100	0.029995	0.030516	3702720
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_opers/normalized-fir01_area_opers.opb	OPT	10	0.031994	0.0324799	3703023
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-6_0-yes1-1.opb	OPT	100	0.031994	0.03725	3702723
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-b1.opb	OPT	128	0.036994	0.0367969	3702768
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-opus.r.opb	OPT	5	0.039993	0.0409911	3702947
normalized-PB06/OPT-SMALLINT/submitted-PB05/ sorensson/garden/normalized-g7x7.opb	OPT	12	0.041993	0.042333	3702787
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-2_0-yes1-3.opb	OPT	200	0.043992	0.0458171	3702724
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-6_0-yes1-1.opb	OPT	200	0.048992	0.0502659	3702726
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-3_4-yes1-2.opb	OPT	200	0.050991	0.050798	3702725
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-6_0-yes1-4.opb	OPT	200	0.05399	0.0632429	3702727
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s3-3-3-1pb.opb	OPT	36	0.05899	0.061598	3702750
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s3-3-3-3pb.opb	OPT	36	0.06199	0.0631859	3702752
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/ area_partials/normalized-fir05_area_partials.opb	OPT	36	0.063989	0.063441	3703036
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s3-3-3-4pb.opb	OPT	36	0.063989	0.064889	3702753
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-maincont.r.opb	OPT	7	0.069988	0.0736481	3702945
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s3-3-3-2pb.opb	OPT	36	0.070988	0.0729159	3702751
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s3-3-3-5pb.opb	OPT	34	0.071988	0.0737851	3702754
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m50_100_70_70.r.opb	OPT	2	0.073988	0.074269	3702943
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-ex6inp.r.opb	OPT	4	0.073988	0.0755071	3702929
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_50_40_40.r.opb	OPT	2	0.074988	0.0801241	3702940
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par8-2.opb	OPT	350	0.074988	0.077989	3702749
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m50_100_90_90.r.opb	OPT	2	0.082987	0.0836771	3702944
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh12.opb	OPT	94	0.084986	0.0924251	3702738
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_50_30_30.r.opb	OPT	3	0.105983	0.107148	3702939
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh17.opb	OPT	95	0.134978	0.136832	3702739
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/ttp/normalized-circ4_3.opb	OPT	20	0.136978	0.137658	3702776
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-stein27.opb	OPT	18	0.157975	0.160332	3702685
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh301.opb	OPT	95	0.181972	0.185575	3702741
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ poldner/PB/testset/normalized-6_12.opb	OPT	5867	0.202968	0.200951	3703087
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-8pb.opb	OPT	36	0.271958	0.272843	3702763
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh1.opb	OPT	92	0.306952	0.306718	3702737
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_opers/normalized-fir02_area_opers.opb	OPT	18	0.473927	0.477252	3703024
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/routing/normalized-s4-4-3-10pb.opb	OPT	70	0.579911	0.581341	3702755
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_100_70_70.r.opb	OPT	3	0.58191	0.587972	3702936
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_50_20_20.r.opb	OPT	5	0.661898	0.662248	3702938
normalized-PB06/OPT-SMALLINT/submitted-PB05/ sorensson/garden/normalized-g9x9.opb	OPT	20	0.735887	0.742035	3702789
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh217.opb	OPT	89	0.838872	0.840187	3702740
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-ricks.r.opb	OPT	5	0.950854	0.95191	3702950
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_opers/normalized-fir04_area_opers.opb	OPT	29	1.11183	1.11119	3703026
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=47-Q=487.opb	OPT	47	1.20981	1.21151	3703003
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_5.opb	OPT	11	1.27181	1.20702	3702910
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-p0040.opb	OPT	62027	1.2808	1.29046	3702681
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par16-1-c.opb	OPT	317	1.3248	1.3241	3702742
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_006_area_delay.opb	OPT	22	1.3258	1.32407	3703059
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-ex4inp.r.opb	OPT	5	1.40479	1.40901	3702928
/OPT-SMALLINT-LIN/ heinz/normalized-bnatt350.opb	OPT	0	1.41578	1.41806	3703214
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-9sym.b.opb	OPT	5	1.47777	1.47996	3702704
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=197-Q=479.opb	OPT	197	1.54576	1.55322	3702989
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/ttp/normalized-data4_3.opb	OPT	8276	1.68374	1.69003	3702780
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-bm23.opb	OPT	34	1.80172	1.80702	3702673
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-9pb.opb	OPT	68	2.39264	2.39479	3702764
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_opers/normalized-fir03_area_opers.opb	OPT	17	2.56961	2.56985	3703025
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-1pb.opb	OPT	62	3.03354	3.03502	3702756
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=101-Q=379.opb	OPT	101	3.46847	3.50037	3702983
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_100_50_50.r.opb	OPT	4	3.54446	3.55047	3702935
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par16-3.opb	OPT	1015	3.60045	3.60643	3702743
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-4pb.opb	OPT	60	3.73143	3.85383	3702759
/OPT-SMALLINT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_fibo_50null50mast_rapportOE2.0_TMAX15_K67_cod2.opb	OPT	0	3.78642	3.78501	3703255
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=53-Q=127.opb	OPT	53	3.83142	3.83229	3703004
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par16-5.opb	OPT	1015	4.04139	4.04938	3702744
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_opers/normalized-fir05_area_opers.opb	OPT	35	4.13837	4.13681	3703027
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=131-Q=137.opb	OPT	131	4.49132	4.50126	3702986
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_030_area_delay.opb	OPT	25	4.54731	4.56231	3703083
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-7pb.opb	OPT	64	4.79927	4.80734	3702762
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=223-Q=347.opb	OPT	223	4.97124	4.97582	3702991
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=67-Q=191.opb	OPT	67	5.21121	5.21393	3703007
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-5pb.opb	OPT	60	5.44217	5.44666	3702760
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=257-Q=331.opb	OPT	257	5.62814	5.62898	3702995
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-clip.b.opb	OPT	15	5.78312	5.79196	3702708
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-6pb.opb	OPT	66	5.84511	5.84963	3702761
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_002_area_delay.opb	OPT	24	5.96009	6.15062	3703055
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=167-Q=347.opb	OPT	167	6.21106	6.21792	3702988
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=83-Q=89.opb	OPT	83	6.29404	6.30079	3703011
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_024_area_delay.opb	OPT	24	6.33504	6.34264	3703077
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-2pb.opb	OPT	64	6.51001	6.51235	3702757
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-4000opt.opb	OPT	-82	6.76697	6.76607	3703104
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=223-Q=307.opb	OPT	223	7.00693	7.13199	3702990
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ poldner/PB/testset/normalized-5_10.opb	OPT	3951	7.2509	7.22762	3703086
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ poldner/PB/testset/normalized-7_14.opb	OPT	5148	7.54485	7.57854	3703088
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-1000opt.opb	OPT	-78	7.57585	7.56707	3703101
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=347-Q=379.opb	OPT	347	7.73182	7.85978	3703000
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=331-Q=347.opb	OPT	331	7.81181	7.81511	3702999
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir03_area_delay.opb	OPT	10	8.00078	8.00383	3703015
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-3000opt.opb	OPT	-81	8.04977	8.04866	3703103
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=307-Q=347.opb	OPT	307	8.14376	8.16725	3702998
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32e1.opb	OPT	162	8.15176	8.16363	3702733
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=269-Q=431.opb	OPT	269	8.35473	8.38535	3702996
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-10000opt.opb	OPT	-75	8.77966	8.77425	3703100
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-5000opt.opb	OPT	-70	8.99963	8.99256	3703105
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-stein45.opb	OPT	30	9.04162	9.04992	3702686
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=251-Q=307.opb	OPT	251	9.08962	9.15303	3702994
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ poldner/PB/testset/normalized-8_16.opb	OPT	5852	9.99848	10.1349	3703089
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-7000opt.opb	OPT	-68	10.1205	10.1188	3703107
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32b1.opb	OPT	191	10.7374	10.7427	3702731
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_022_area_delay.opb	OPT	26	11.1413	11.3595	3703075
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-9000opt.opb	OPT	-79	11.6072	11.6049	3703109
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m50_100_10_10.r.opb	OPT	8	12.2571	12.2654	3702942
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_6.opb	OPT	17	12.7531	12.9954	3702911
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb	OPT	-30	12.903	12.9103	3702838
/OPT-SMALLINT-LIN/heinz/ normalized-ex9.opb	OPT	81	14.2818	15.4446	3703218
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-3pb.opb	OPT	62	14.4918	14.4975	3702758
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_021_area_delay.opb	OPT	24	14.7528	14.8398	3703074
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-2000opt.opb	OPT	-70	15.0767	15.0705	3703102
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-8000opt.opb	OPT	-76	15.2417	15.2336	3703108
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-9000opt.opb	OPT	-193	15.4606	15.453	3703099
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-4.opb	OPT	-30	16.3515	16.3719	3702837
/OPT-SMALLINT-LIN/oliveras/j60opt/ normalized-j6043_1.std.opb	OPT	108	16.4275	17.9026	3703179
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-6000opt.opb	OPT	-74	16.7894	16.7849	3703106
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=167-Q=179.opb	OPT	167	16.8224	16.8301	3702987
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-1000opt.opb	OPT	-178	18.0303	18.0242	3703091
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_016_area_delay.opb	OPT	25	18.5652	18.5644	3703069
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_7.opb	OPT	25	19.7	19.8988	3702895
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-1.opb	OPT	-30	20.2889	20.4815	3702835
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ poldner/PB/testset/normalized-10_20.opb	OPT	8034	20.7168	20.747	3703084
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-10000opt.opb	OPT	-164	21.6757	21.6455	3703090
/OPT-SMALLINT-LIN/oliveras/j90opt/ normalized-j9022_8.std.opb	OPT	97	21.9727	24.6807	3703187
/OPT-SMALLINT-LIN/oliveras/j60opt/ normalized-j6044_1.std.opb	OPT	84	25.1722	25.7513	3703180
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-3.opb	OPT	-30	27.0649	27.2577	3702836
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-6000opt.opb	OPT	-175	27.3468	27.4583	3703096
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-5000opt.opb	OPT	-169	27.5288	27.5258	3703095
/OPT-SMALLINT-LIN/flexray/ normalized-fx57.opb	OPT	6	30.0274	30.1777	3703112
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-4000opt.opb	OPT	-164	30.6373	30.6227	3703094
/OPT-SMALLINT-LIN/flexray/ normalized-fx60.opb	OPT	6	30.6573	31.151	3703113
/OPT-SMALLINT-LIN/oliveras/ j60opt/normalized-j602_4.std.opb	OPT	78	31.9851	32.1225	3703175
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_100_10_30.r.opb	OPT	8	35.1197	35.1262	3702933
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-3000opt.opb	OPT	-187	35.7506	35.7229	3703093
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_100_30_30.r.opb	OPT	5	37.2963	37.3107	3702934
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_7.opb	OPT	25	39.464	39.4953	3702912
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-2000opt.opb	OPT	-167	40.7938	40.7647	3703092
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-7000opt.opb	OPT	-172	48.7676	48.7587	3703097
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-count.b.opb	OPT	24	51.9601	51.9732	3702709
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-5.opb	OPT	-35	63.2734	63.355	3702841
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb	OPT	-35	69.5764	69.7843	3702840
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-rd84.b.opb	OPT	5	76.7213	76.7303	3702949
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb	OPT	-40	79.073	79.4322	3702842
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_8.opb	OPT	34	80.6107	80.6072	3702896
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ poldner/PB/testset/normalized-11_22.opb	OPT	8908	83.4013	83.4372	3703085
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-f51m.b.opb	OPT	18	97.2342	97.2648	3702713
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-2.opb	OPT	-35	99.1309	99.1515	3702839
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-8000opt.opb	OPT	-162	102.539	102.543	3703098
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos1.opb	OPT	19	135.032	135.469	3702697
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_3.opb	OPT	21	291.611	291.686	3703045
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-5xp1.b.opb	OPT	12	304.689	304.744	3702703
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-4.opb	OPT	-40	330.65	330.799	3702844
/OPT-SMALLINT-LIN/flexray/ normalized-fx84.opb	OPT	8	394.488	394.808	3703116
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-sao2.b.opb	OPT	25	423.235	423.327	3702718
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32d2.opb	OPT	372	445.049	445.147	3702732
/OPT-SMALLINT-LIN/flexray/ normalized-fx92.opb	OPT	9	540.416	541.052	3703117
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir06_area_delay.opb	OPT	15	695.559	695.669	3703018
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-5.opb	OPT	-40	863.783	864.071	3702845
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-3.opb	OPT	-40	1396.34	1396.68	3702843

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_16.opb	? (MO)	128.01	130.034	3702887
/OPT-SMALLINT-LIN/heinz/ normalized-mspp16.opb	? (MO)	157	157.227	3703223
/OPT-SMALLINT-LIN/ kullmann/normalized-sbox_8_shg.opb	? (MO)	162.22	162.32	3703249
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_17.opb	? (MO)	179.4	189.924	3702888
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_16.opb	? (MO)	185.88	209.93	3702904
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_15.opb	? (MO)	219.03	228.319	3702886
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_15.opb	? (MO)	231.64	241.316	3702903
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_20.opb	? (MO)	276.45	276.511	3702908
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_19.opb	? (MO)	277.55	277.612	3702907
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_20.opb	? (MO)	278.31	278.512	3702891
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos19.opb	? (MO)	547.01	547.112	3702700

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_10_4_5.opb	OPT	-4	0.010998	0.0143291	3703384
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_10_4_1.opb	OPT	-3	0.013997	0.017823	3703381
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_10_4_2.opb	OPT	-3	0.014997	0.0177681	3703382
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_10_4_2.opb	OPT	2	0.015997	0.0191011	3703351
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_10_4_3.opb	OPT	2	0.015997	0.0169389	3703352
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_10_4_3.opb	OPT	-3	0.015997	0.017005	3703383
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_10_4_5.opb	OPT	2	0.018996	0.020117	3703353
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_10_4_1.opb	OPT	2	0.018996	0.0197899	3703350
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_10_4_1.opb	OPT	-3	0.030995	0.0336661	3703321
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_10_4_3.opb	OPT	-3	0.032994	0.035154	3703322
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_50_25_1.opb	OPT	-6	0.067989	0.071671	3703398
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_50_25_3.opb	OPT	-6	0.083987	0.0879301	3703399
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_50_25_4.opb	OPT	2	0.110982	0.114121	3703369
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_50_10_3.opb	OPT	-13	0.200968	0.203031	3703397
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_50_10_4.opb	OPT	6	0.351945	0.354221	3703367
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_50_10_5.opb	OPT	6	0.464928	0.467638	3703368
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_100_25_1.opb	OPT	-15	5.60615	5.80317	3703380
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_25_3.opb	OPT	5	8.71367	8.72084	3703347
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_25_5.opb	OPT	5	9.2246	9.23292	3703349
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_25_4.opb	OPT	5	9.42757	9.43232	3703348
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_25_2.opb	OPT	5	19.3311	19.3426	3703346
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=5-P0=11-P1=13-P2=29-P3=23-P4=5-P5=29-P6=29-P7=31-P8=29-P9=31-B.opb	OPT	3	67.7717	67.7893	3703400
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_100_10_5.opb	OPT	-25	78.0561	78.0916	3703379
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_100_10_1.opb	OPT	-26	84.4592	84.4977	3703376
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_25_3.opb	OPT	-7	157.446	157.48	3703338
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_25_4.opb	OPT	-7	183.546	183.598	3703339
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_100_10_3.opb	OPT	-26	184.236	184.296	3703378
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_100_10_2.opb	OPT	-26	186.323	186.379	3703377
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_25_2.opb	OPT	-7	187.753	187.795	3703337
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_25_1.opb	OPT	-6	219.262	219.316	3703336
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=6-P0=29-P1=2-P2=59-P3=2-P4=47-P5=53-P6=37-P7=53-P8=53-B.opb	OPT	2	262.19	262.525	3703407

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_10_3.opb	? (problem)	0.193969	0.469604	3703317
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_25_3.opb	? (problem)	0.259959	0.401932	3703319
/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/ normalized-90_rounds_15_errors.opb	? (problem)	0.86	1.10378	3703432
/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/ normalized-90_rounds_10_errors.opb	? (problem)	0.91	1.16519	3703431
/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/ normalized-90_rounds_0_errors.opb	? (problem)	0.96	1.20683	3703430
/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/ normalized-90_rounds_5_errors.opb	? (problem)	8.19	8.58325	3703433
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=7-P0=53-P1=109-P2=43-P3=13-P4=17-P5=101-P6=59-P7=7-P8=29-P9=107-B.opb	? (problem)	43.11	60.477	3703416
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=67-P1=349-P2=67-P3=499-P4=79-P5=347-P6=307-B.opb	? (problem)	632.832	871.438	3703429
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=9-P0=41-P1=331-P2=37-B.opb	? (problem)	652.096	914.366	3703427
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=9-P0=499-P1=293-P2=223-P3=277-B.opb	? (problem)	654.206	880.006	3703428

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=61-P1=167-P2=157-P3=13-P4=173-P5=47-P6=47-P7=251-P8=79-B.opb	Wrong UNSAT	320.08	321.649	3703426
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=149-P1=79-P2=59-P3=73-P4=211-B.opb	Wrong UNSAT	320.09	323.074	3703423
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=211-P1=113-P2=103-P3=37-P4=167-P5=5-P6=191-P7=13-P8=223-P9=137-B.opb	Wrong UNSAT	320.91	323.053	3703424
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=229-P1=67-P2=149-P3=97-P4=149-P5=211-P6=89-P7=59-B.opb	Wrong UNSAT	323.41	324.286	3703425
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=139-P1=101-P2=227-P3=251-P4=227-P5=251-B.opb	Wrong UNSAT	323.48	324.903	3703422