SAT 2011 Competition: main competition (phase 2): benchmarks results per solver

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT02/industrial/biere/ dinphil/dp04u03.shuffled.cnf	UNSAT	0.006998	0.0183419	3440101
application/leberre/ 2dimensionalstrippacking/E07N15.cnf	UNSAT	0.015996	0.0171381	3440052
application/leberre/ 2dimensionalstrippacking/E15N15.cnf	UNSAT	0.016996	0.034137	3440053
SAT02/industrial/goldberg/rand_net/ rand_net60-30-1.shuffled.cnf	UNSAT	0.097984	0.0981899	3440093
APPLICATIONS/bitverif/ minandmaxor/minandmaxor016.cnf	UNSAT	0.307952	0.309572	3439854
industrial/babic/dspam/ dspam_dump_vc949.cnf	UNSAT	0.498923	0.499526	3439828
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bc57sensorsp1-tseitin.cnf	UNSAT	0.587909	0.59359	3439982
industrial/babic/hsatv17/ hsat_vc12062.cnf	UNSAT	0.590909	0.590275	3439829
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-nusmvreactorp4-tseitin.cnf	UNSAT	0.601908	0.602203	3439981
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp2-tseitin.cnf	UNSAT	0.762883	0.763381	3439978
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp3-tseitin.cnf	UNSAT	0.78488	0.784947	3439989
application/leberre/ 2dimensionalstrippacking/E04N18.cnf	UNSAT	1.01484	1.0157	3440049
application/leberre/ 2dimensionalstrippacking/E03N17.cnf	UNSAT	1.40779	1.40764	3440041
SAT02/industrial/goldberg/rand_net/ rand_net60-25-10.shuffled.cnf	UNSAT	1.55176	1.56751	3440095
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvqis8x8p2-tseitin.cnf	UNSAT	2.00769	2.00738	3439976
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtswvsam6x8p3-tseitin.cnf	UNSAT	2.75558	2.757	3439984
SAT-Race-2010-CNF/software-verification/ nec/hard-25-U-7061.cnf	UNSAT	3.14252	3.14258	3440112
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-ext_con_032_008_0256-tseitin.cnf	UNSAT	3.9154	3.9164	3439970
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_004_127_112-tseitin.cnf	UNSAT	4.40533	4.42006	3439959
SAT-Race-2010-CNF/software-verification/ nec/hard-6-U-7061.cnf	UNSAT	4.40933	4.41465	3440111
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns2p3-tseitin.cnf	UNSAT	4.49931	4.49967	3439977
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf	UNSAT	4.54131	4.54276	3439988
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step11.cnf	UNSAT	4.65129	4.65262	3439950
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvrod6x8p1-tseitin.cnf	UNSAT	5.09622	5.09636	3439980
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_063_080-tseitin.cnf	UNSAT	5.59315	5.59345	3439958
APPLICATIONS/diagnosis/ UTI-20-10t0.cnf	UNSAT	6.02308	6.02343	3439882
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bjrb07amba2andenv-tseitin.cnf	UNSAT	6.82896	6.83085	3439971
application/leberre/ 2dimensionalstrippacking/E05X15.cnf	UNSAT	9.65653	9.65838	3440048
velev-pipe-o-uns-1.1-6.cnf	UNSAT	11.3553	11.3551	3439902
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step15.cnf	UNSAT	11.9502	11.9512	3439952
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_079_112-tseitin.cnf	UNSAT	13.02	13.0197	3439961
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-nlzbe256-tseitin.cnf	UNSAT	13.7789	13.7797	3439964
application/fuhs/ AProVE11/AProVE11-11.cnf	UNSAT	15.2367	15.2358	3439913
industrial/palacios/medium/ blocks-4-ipc5-h21-unknown.cnf	UNSAT	15.5946	15.5948	3439827
SAT02/industrial/goldberg/rand_net/ rand_net60-40-10.shuffled.cnf	UNSAT	17.2984	17.3014	3440094
SAT04/industrial/hoonsang/vis-bmc/ dekker.used-as.sat04-989.cnf	UNSAT	17.4383	17.438	3440069
SAT-Race-2010-CNF/software-verification/ nec/hard-18-U-10652.cnf	UNSAT	18.8641	18.8639	3440110
application/rintanen/SATPlanning/ grid-strips-grid-y-4.025-NOTKNOWN.cnf	UNSAT	19.0071	19.0094	3439940
SAT03/industrial/simon/sat02/ 6pipe_6_ooo.shuffled-as.sat03-413.cnf	UNSAT	19.0861	19.0852	3440055
industrial/manolios/ manol-pipe-f7idw.cnf	UNSAT	19.0941	19.0938	3439833
manol-pipe-f7nidw.cnf	UNSAT	23.7084	23.7087	3439850
application/leberre/ 2dimensionalstrippacking/E02F17.cnf	UNSAT	28.3997	28.4024	3440040
manol-pipe-c6bidw_i.cnf	UNSAT	29.6375	29.6377	3439848
SAT-Race-2010-CNF/hardware-verification/ manolios/c10idw_i.cnf	UNSAT	32.3191	32.3189	3440104
APPLICATIONS/diagnosis/ ACG-10-10p0.cnf	UNSAT	37.2303	37.2291	3439880
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step13.cnf	UNSAT	54.8867	54.8857	3439954
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	UNSAT	55.8105	55.8086	3439883
industrial/anbulagan/ medium-unsat/dated-5-11-u.cnf	UNSAT	60.9417	60.9456	3439813
SAT04/industrial/hoonsang/vis-bmc/ all.used-as.sat04-986.cnf	UNSAT	62.6015	62.621	3440070
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsm5378d2-tseitin.cnf	UNSAT	66.021	66.0203	3439983
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w9.shuffled.cnf	UNSAT	69.0135	69.0127	3440098
application/rintanen/SATPlanning/ blocks-blocks-37-1.120-NOTKNOWN.cnf	UNSAT	81.9955	81.9949	3439916
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	UNSAT	86.7338	86.7323	3439878
SAT02/industrial/dellacherie/ comb/comb1.shuffled.cnf	UNSAT	91.2651	91.265	3440096
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtviseisenberg1-tseitin.cnf	UNSAT	93.1248	93.1399	3439979
industrial/fuhs/medium/ AProVE07-21.cnf	UNSAT	100.847	100.847	3439821
SAT02/industrial/goldberg/rand_net/ rand_net70-60-10.shuffled.cnf	UNSAT	102.536	102.537	3440092
velev-pipe-o-uns-1.0-7.cnf	UNSAT	105.915	105.911	3439903
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtviseisenberg2-tseitin.cnf	UNSAT	119.057	119.054	3439990
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom12.cnf	UNSAT	121.028	121.045	3440012
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.030-NOTKNOWN.cnf	UNSAT	144.811	144.806	3439941
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k100.cnf	UNSAT	174.445	174.441	3439837
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k45.cnf	UNSAT	192.898	192.894	3439835
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	UNSAT	216.632	216.627	3439876
application/leberre/ 2dimensionalstrippacking/korf-15.cnf	UNSAT	264.21	264.202	3440038
APPLICATIONS/ bitverif/maxxor/maxxor032.cnf	UNSAT	293.645	293.641	3439866
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step15.cnf	UNSAT	315.069	315.06	3439946
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k80.cnf	UNSAT	319.058	319.092	3439834
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k20.cnf	UNSAT	321.527	321.517	3439836
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_k.cnf	UNSAT	323.644	323.638	3440109
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.used-as.sat04-347.cnf	UNSAT	326.479	326.565	3440072
application/rintanen/SATPlanning/ grid-strips-grid-y-3.035-NOTKNOWN.cnf	UNSAT	362.032	362.019	3439937
velev-vliw-uns-4.0-9-i1.cnf	UNSAT	380.915	380.903	3439845
manol-pipe-c10nidw.cnf	UNSAT	431.788	431.775	3439846
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	UNSAT	441.7	441.685	3439840
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom13.cnf	UNSAT	444.362	444.351	3440011
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	UNSAT	504.753	504.729	3439887
application/manthey/traffic/ traffic_f_unknown.cnf	UNSAT	608.776	608.755	3439995
application/manthey/traffic/ traffic_fb_unknown.cnf	UNSAT	617.701	617.68	3439992
application/manthey/traffic/ traffic_kkb_unknown.cnf	UNSAT	656.292	656.277	3439994
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvissoap1-tseitin.cnf	UNSAT	673.055	673.033	3439987
application/manthey/traffic/ traffic_pcb_unknown.cnf	UNSAT	685.733	685.712	3439998
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq57_a.cnf	UNSAT	686.442	686.42	3440106
application/manthey/traffic/ traffic_b_unsat.cnf	UNSAT	755.041	755.017	3439999
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq60_a.cnf	UNSAT	784.154	784.128	3440105
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf	UNSAT	935.02	935.022	3440071
application/manthey/traffic/ traffic_3b_unknown.cnf	UNSAT	936.673	936.715	3440000
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	UNSAT	1058.67	1058.64	3439853
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmsgoodbakery-tseitin.cnf	UNSAT	1094.14	1094.12	3439986
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.used-as.sat04-719.cnf	UNSAT	1144.59	1144.57	3440073
SAT03/industrial/schuppan/l2s/ bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf	UNSAT	1203.13	1203.11	3440064
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	UNSAT	1282.35	1282.32	3439875
application/rintanen/SATPlanning/ blocks-blocks-37-1.130-NOTKNOWN.cnf	UNSAT	1356.74	1356.71	3439936
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	UNSAT	1415.69	1415.65	3439886
industrial/fuhs/hard/ AProVE07-03.cnf	UNSAT	1553.8	1553.78	3439823
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step20.cnf	UNSAT	1593.51	1593.48	3439948
SAT03/industrial/schuppan/l2s/ valves-gates-1-k617-unsat.shuffled-as.sat03-412.cnf	UNSAT	1644.38	1644.42	3440063
SAT03/industrial/goldberg/hard_eq_check/ x1mul.miter.shuffled-as.sat03-359.cnf	UNSAT	1935.46	1935.4	3440058
SAT02/industrial/aloul/ Homer/homer14.shuffled.cnf	UNSAT	2180.05	2179.98	3440088
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	UNSAT	2248.95	2248.95	3439855
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-eijkbs6669-tseitin.cnf	UNSAT	2299.65	2299.69	3439991
application/rintanen/SATPlanning/ blocks-blocks-36-0.120-NOTKNOWN.cnf	UNSAT	2398.69	2398.68	3439922
application/fuhs/ AProVE11/AProVE11-06.cnf	UNSAT	2764.54	2764.5	3439911
SAT03/industrial/goldberg/hard_eq_check/ c6288mul.miter.shuffled-as.sat03-346.cnf	UNSAT	2794.29	2794.19	3440057
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-13-step17.cnf	UNSAT	2945.38	2945.29	3439957
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtpmsns2-tseitin.cnf	UNSAT	3307.65	3307.56	3439975
APPLICATIONS/bitverif/ maxor/maxor128.cnf	UNSAT	3967.26	3967.15	3439862
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	UNSAT	4243.34	4243.21	3439894
APPLICATIONS/diagnosis/ UR-20-10p0.cnf	UNSAT	4260.33	4260.22	3439885
SAT03/industrial/goldberg/hard_eq_check/ k2mul.miter.shuffled-as.sat03-355.cnf	UNSAT	4636.38	4636.23	3440059

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT05/industrial/maris05/DriverLog/ driverlog1_ks99i.renamed-as.sat05-3951.cnf	SAT	0.001999	0.0182689	3440082
SAT02/industrial/aloul/ Bart/bart17.shuffled.cnf	SAT	0.004998	0.0170219	3440087
SAT05/industrial/maris05/DriverLog/ driverlog3_v01a.renamed-as.sat05-3963.cnf	SAT	0.004998	0.018181	3440083
application/kullmann/AES/Benchmarks/ 32/aes_32_1_keyfind_1.cnf	SAT	0.005999	0.018582	3440034
SAT05/industrial/maris05/Rovers/ rovers1_ks99i.renamed-as.sat05-3971.cnf	SAT	0.006998	0.0180049	3440084
SAT02/industrial/biere/ dinphil/dp04s04.shuffled.cnf	SAT	0.007997	0.0187729	3440099
SAT05/industrial/maris05/Ferry/ ferry5_ks99i.renamed-as.sat05-3994.cnf	SAT	0.014997	0.0181791	3440085
SAT02/industrial/biere/ dinphil/dp10s10.shuffled.cnf	SAT	0.165974	0.166413	3440100
SAT02/industrial/goldberg/fpga_routing/ vda_gr_rcs_w9.shuffled.cnf	SAT	0.372942	0.374587	3440091
application/fuhs/ AProVE11/AProVE11-12.cnf	SAT	0.38694	0.388512	3439905
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step12.cnf	SAT	0.411936	0.412675	3439953
application/fuhs/ AProVE11/AProVE11-09.cnf	SAT	0.576911	0.581214	3439909
application/fuhs/ AProVE11/AProVE11-16.cnf	SAT	0.821874	0.821677	3439907
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_15_SAT.cnf	SAT	0.945855	0.948173	3439897
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf	SAT	0.994847	0.995278	3439963
APPLICATIONS/diagnosis/ UTI-10-5t1.cnf	SAT	1.12383	1.12669	3439884
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_18_SAT.cnf	SAT	1.12483	1.12603	3439895
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbsharemodes_vc5759-tseitin.cnf	SAT	1.38279	1.38449	3439968
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-servers_slapd_a_vc149789-tseitin.cnf	SAT	1.39879	1.39925	3439960
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libmsrpc_vc1225336-tseitin.cnf	SAT	1.60076	1.60128	3439967
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-src_wget_vc18517-tseitin.cnf	SAT	1.65475	1.65556	3439962
SAT04/industrial/vangelder/cnf-color/ abb313GPIA-9-tr.used-as.sat04-321.cnf	SAT	1.66874	1.66823	3440066
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbclient_vc1228502-tseitin.cnf	SAT	2.07668	2.07832	3439965
application/fuhs/ AProVE11/AProVE11-02.cnf	SAT	2.57461	2.57569	3439914
APPLICATIONS/diagnosis/ UTI-20-10t1.cnf	SAT	3.2635	3.27644	3439893
application/fuhs/ AProVE11/AProVE11-10.cnf	SAT	3.60945	4.55923	3439910
application/fuhs/ AProVE11/AProVE11-07.cnf	SAT	4.53331	4.5468	3439908
application/fuhs/ AProVE11/AProVE11-13.cnf	SAT	5.03423	5.03526	3439912
application/kullmann/AES/Benchmarks/ 32/aes_32_2_keyfind_1.cnf	SAT	6.13207	6.13398	3440033
application/fuhs/ AProVE11/AProVE11-15.cnf	SAT	10.1595	10.1595	3439906
ibm-2002-21r-k95.cnf	SAT	17.7973	17.7984	3439904
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	SAT	19.0951	19.0979	3439872
application/rintanen/SATPlanning/ blocks-blocks-37-1.150-SAT.cnf	SAT	19.69	19.6903	3439939
SAT_RACE08/Q1/ SAT_dat.k80_04.cnf	SAT	19.814	19.8132	3439844
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step16.cnf	SAT	23.8024	23.8036	3439945
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf	SAT	24.4683	24.4688	3439919
application/rintanen/SATPlanning/ blocks-blocks-36-0.180-SAT.cnf	SAT	25.7511	25.7605	3439921
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step14.cnf	SAT	36.7624	36.769	3439949
application/rintanen/SATPlanning/ blocks-blocks-36-0.170-NOTKNOWN.cnf	SAT	39.603	39.617	3439924
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug6_q0.used-as.sat04-725.cnf	SAT	39.9099	39.9099	3440074
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_19_UNKNOWN.cnf	SAT	40.4259	40.4295	3439898
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug4_q0.used-as.sat04-723.cnf	SAT	42.2826	42.281	3440075
ibm-2004-01-k90.cnf	SAT	43.5224	43.5229	3439852
SAT05/industrial/grieu05/vmpc/ vmpc_25.renamed-as.sat05-1913.cnf	SAT	49.6444	49.6649	3440078
application/rintanen/SATPlanning/ blocks-blocks-36-0.160-NOTKNOWN.cnf	SAT	52.2801	52.2791	3439944
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	SAT	54.1258	54.133	3439869
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	SAT	56.3414	56.3396	3439879
application/leberre/ 2dimensionalstrippacking/E05F18.cnf	SAT	59.385	59.3893	3440043
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	SAT	63.9083	63.9234	3439877
APPLICATIONS/diagnosis/ UR-10-10p1.cnf	SAT	75.4845	75.4894	3439891
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step16.cnf	SAT	82.1065	82.105	3439951
velev-pipe-sat-1.0-b9.cnf	SAT	82.1405	82.1391	3439901
velev-npe-1.0-9dlx-b71.cnf	SAT	85.1241	85.1787	3439900
APPLICATIONS/diagnosis/ ACG-15-5p1.cnf	SAT	88.5795	88.5777	3439892
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-30-step11.cnf	SAT	102.683	102.681	3439947
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug6.cnf	SAT	170.467	170.465	3439842
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	SAT	240.811	240.821	3439841
application/leberre/ 2dimensionalstrippacking/E04F20.cnf	SAT	303.383	303.374	3440046
SAT05/industrial/grieu05/vmpc/ vmpc_29.renamed-as.sat05-1916.cnf	SAT	346.896	346.884	3440077
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf	SAT	420.179	420.174	3439839
ibm-2004-23-k100.cnf	SAT	446.709	446.699	3439849
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	SAT	448.455	448.44	3439888
application/leberre/ 2dimensionalstrippacking/E05F20.cnf	SAT	450.703	450.69	3440054
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	SAT	488.525	488.503	3439881
application/leberre/ 2dimensionalstrippacking/E02F20.cnf	SAT	518.456	518.44	3440039
SAT05/industrial/grieu05/vmpc/ vmpc_32.renamed-as.sat05-1919.cnf	SAT	830.804	830.877	3440079
industrial/palacios/medium/ cube-11-h14-sat.cnf	SAT	1013.7	1013.68	3439826
application/rintanen/SATPlanning/ transport-transport-two-cities-sequential-15nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.040-SAT.cnf	SAT	1153.49	1153.46	3439929
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	SAT	1243.55	1243.62	3439815
application/manthey/ traffic/traffic_r_sat.cnf	SAT	1503.69	1503.65	3439997
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	SAT	1631.76	1631.7	3439874
application/leberre/ 2dimensionalstrippacking/E04F19.cnf	SAT	1749.99	1749.97	3440042
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	SAT	2140.27	2140.2	3439816
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step21.cnf	SAT	2260.26	2260.2	3439956
application/manthey/traffic/ traffic_3_uc_sat.cnf	SAT	2571.16	2571.1	3439996
application/leberre/ 2dimensionalstrippacking/E02F22.cnf	SAT	2865.36	2865.27	3440045
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	SAT	3046.58	3046.58	3439925
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf	SAT	3734.07	3734.17	3439838
SAT05/industrial/grieu05/vmpc/ vmpc_34.renamed-as.sat05-1926.cnf	SAT	3857.42	3857.28	3440076
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	SAT	4173.83	4173.69	3439870
application/kullmann/AES/Benchmarks/ 32/aes_32_3_keyfind_1.cnf	SAT	4999.77	4999.62	3440037

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/bitverif/countbitsarray/ countbitsarray04_32.cnf	? (TO)	5000.02	4999.91	3439863
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsmhdlc2-tseitin.cnf	? (TO)	5000.03	4999.91	3439972
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	5000.03	4999.91	3439856
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top28.cnf	? (TO)	5000.03	4999.93	3440016
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	5000.04	4999.93	3439865
application/kullmann/AES/Benchmarks/ 64/aes_64_3_keyfind_1.cnf	? (TO)	5000.04	4999.92	3440032
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top24.cnf	? (TO)	5000.04	4999.93	3440010
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top25.cnf	? (TO)	5000.04	4999.93	3440015
industrial/anbulagan/ hard-unsat/dated-10-17-u.cnf	? (TO)	5000.05	4999.94	3439818
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	5000.05	4999.93	3439868
ibm-2002-30r-k85.cnf	? (TO)	5000.05	4999.94	3439851
application/kullmann/AES/Benchmarks/ 64/aes_64_2_keyfind_1.cnf	? (TO)	5000.05	4999.92	3440030
application/kullmann/AES/Benchmarks/ 64/aes_64_1_keyfind_1.cnf	? (TO)	5000.05	4999.92	3440031
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	5000.05	4999.91	3439871
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	5000.05	4999.82	3439858
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom20.cnf	? (TO)	5000.05	4999.93	3440006
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top29.cnf	? (TO)	5000.06	4999.91	3440014
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom19.cnf	? (TO)	5000.06	4999.92	3440013
APPLICATIONS/bitverif/countbitswegner/ countbitswegner128.cnf	? (TO)	5000.06	4999.93	3439861
APPLICATIONS/bitverif/ maxxororand/maxxororand064.cnf	? (TO)	5000.06	4999.94	3439860
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	5000.06	4999.92	3439830
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top21.cnf	? (TO)	5000.06	4999.93	3440009
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtpmspalu-tseitin.cnf	? (TO)	5000.06	4999.93	3439973
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	5000.06	4999.93	3439824
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	5000.07	4999.93	3439825
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvisns3p02-tseitin.cnf	? (TO)	5000.07	4999.93	3439974
APPLICATIONS/bitverif/ countbitssrl/countbitssrl064.cnf	? (TO)	5000.07	4999.83	3439857
application/kullmann/AES/Benchmarks/ 128/aes_128_2_keyfind_1.cnf	? (TO)	5000.07	4999.92	3440026
application/kullmann/AES/Benchmarks/ 32/aes_32_4_keyfind_1.cnf	? (TO)	5000.07	4999.92	3440036
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.035-NOTKNOWN.cnf	? (TO)	5000.07	4999.97	3439923
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	5000.07	5000.01	3439822
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	5000.07	4999.93	3439864
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom24.cnf	? (TO)	5000.08	4999.93	3440002
application/kullmann/AES/Benchmarks/ 128/aes_128_10_keyfind_1.cnf	? (TO)	5000.08	5000.03	3440028
application/kullmann/AES/Benchmarks/ 128/aes_128_3_keyfind_1.cnf	? (TO)	5000.08	4999.92	3440025
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-countbits128-tseitin.cnf	? (TO)	5000.08	4999.91	3439969
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	5000.08	4999.92	3439831
APPLICATIONS/crypto/ md5gen/gus-md5-12.cnf	? (TO)	5000.08	4999.92	3439867
SAT03/industrial/kukula/addm_bench/ am_7_7.shuffled-as.sat03-363.cnf	? (TO)	5000.08	5000.02	3440062
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom14.cnf	? (TO)	5000.08	5000.22	3440017
SAT02/industrial/aloul/ Homer/homer16.shuffled.cnf	? (TO)	5000.08	5000.12	3440089
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.025-NOTKNOWN.cnf	? (TO)	5000.08	4999.93	3439933
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	5000.08	4999.94	3439820
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom25.cnf	? (TO)	5000.08	4999.93	3440005
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom17.cnf	? (TO)	5000.09	4999.93	3440022
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w8.shuffled.cnf	? (TO)	5000.09	4999.93	3440097
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top26.cnf	? (TO)	5000.09	4999.93	3440001
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom15.cnf	? (TO)	5000.09	4999.93	3440004
SAT04/industrial/vangelder/cnf-color/ myciel6-tr.used-as.sat04-320.cnf	? (TO)	5000.09	5000.02	3440068
SAT03/industrial/li/li-exam/ li-exam-61.shuffled-as.sat03-366.cnf	? (TO)	5000.09	4999.93	3440060
application/leberre/ 2dimensionalstrippacking/E00N23.cnf	? (TO)	5000.09	4999.96	3440051
application/leberre/ 2dimensionalstrippacking/E00X23.cnf	? (TO)	5000.09	4999.96	3440050
application/leberre/ 2dimensionalstrippacking/korf-17.cnf	? (TO)	5000.09	5000.03	3440047
application/leberre/ 2dimensionalstrippacking/korf-18.cnf	? (TO)	5000.09	5000.03	3440044
application/kullmann/AES/Benchmarks/ 32/aes_32_5_keyfind_1.cnf	? (TO)	5000.09	5000.02	3440035
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom21.cnf	? (TO)	5000.09	4999.93	3440023
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	5000.09	4999.94	3439817
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top22.cnf	? (TO)	5000.1	4999.93	3440007
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top23.cnf	? (TO)	5000.1	4999.93	3440008
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	5000.1	4999.96	3439819
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	5000.1	5000.03	3439899
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom23.cnf	? (TO)	5000.1	5000.03	3440024
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top30.cnf	? (TO)	5000.1	5000.03	3440018
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom26.cnf	? (TO)	5000.1	4999.93	3440003
industrial/crypto/ mizh-sha0-36-2.cnf	? (TO)	5000.1	5000.03	3439832
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom16.cnf	? (TO)	5000.1	5000.03	3440020
SAT03/industrial/li/li-test4/ li-test4-100.shuffled-as.sat03-370.cnf	? (TO)	5000.1	4999.94	3440061
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-21-step11.cnf	? (TO)	5000.1	5000.07	3439955
SAT03/industrial/schuppan/l2s/ dme-03-1-k247-unsat.shuffled-as.sat03-407.cnf	? (TO)	5000.1	4999.95	3440065
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom18.cnf	? (TO)	5000.11	4999.93	3440019
SAT-Race-2010-CNF/cryptography/ mizh/sha0_36_5.cnf	? (TO)	5000.11	5000.03	3440102
SAT03/industrial/maris/CNF/ gripper13u.shuffled-as.sat03-395.cnf	? (TO)	5000.11	4999.93	3440056
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	5000.11	5000.02	3439896
mizh-sha0-36-4.cnf	? (TO)	5000.11	4999.93	3439847
SAT_RACE08/Q1/ SAT_dat.k85.cnf	? (TO)	5000.11	5000.04	3439843
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns3p00-tseitin.cnf	? (TO)	5000.11	4999.93	3439985
application/kullmann/AES/Benchmarks/ 64/aes_64_4_keyfind_1.cnf	? (TO)	5000.11	4999.92	3440029
application/kullmann/AES/Benchmarks/ 128/aes_128_1_keyfind_1.cnf	? (TO)	5000.11	4999.92	3440027
SAT05/industrial/grieu05/vmpc/ vmpc_35.renamed-as.sat05-1921.cnf	? (TO)	5000.11	5000.03	3440080
SAT-Race-2010-CNF/cryptography/ mizh/md5_48_3.cnf	? (TO)	5000.12	4999.93	3440103
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	5000.12	4999.92	3439873
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom22.cnf	? (TO)	5000.12	4999.93	3440021
SAT05/industrial/grieu05/vmpc/ vmpc_36.renamed-as.sat05-1922.cnf	? (TO)	5000.12	4999.94	3440081
APPLICATIONS/bitverif/ smulo/smulo064.cnf	? (TO)	5000.12	4999.93	3439859
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-VS3-benchmark-S2-tseitin.cnf	? (TO)	5000.12	4999.94	3439966
SAT02/industrial/aloul/ Homer/homer17.shuffled.cnf	? (TO)	5000.12	5000.02	3440090
SAT-Race-2010-CNF/hardware-verification/ velev/2dlx_ca_bp_f_liveness.cnf	? (TO)	5000.12	5000	3440108
SAT04/industrial/vangelder/ cnf-color/abb313GPIA-9-c.used-as.sat04-317.cnf	? (TO)	5000.12	5000.14	3440067
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN.cnf	? (TO)	5000.13	5000.05	3439928
application/manthey/traffic/ traffic_r_uc_sat.cnf	? (TO)	5000.15	5000.06	3439993
SAT05/industrial/narain05/vpn/ clauses-8.renamed-as.sat05-1964.cnf	? (TO)	5000.16	5000.08	3440086
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_11_ooo.cnf	? (TO)	5000.16	5000.05	3440107
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	? (TO)	5000.17	4999.94	3439889
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (TO)	5000.18	5000	3439890
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.cnf	? (TO)	5000.19	5000.07	3439926
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.060-NOTKNOWN.cnf	? (TO)	5000.21	5000.09	3439917
industrial/anbulagan/ hard-sat/partial-10-17-s.cnf	? (TO)	5000.22	5000.02	3439814
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.050-NOTKNOWN.cnf	? (TO)	5000.24	5000.12	3439927
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf	? (TO)	5000.27	5000.27	3439915
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.045-NOTKNOWN.cnf	? (TO)	5000.28	5000.13	3439920
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.080-SAT.cnf	? (TO)	5000.29	5000.14	3439935
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN.cnf	? (TO)	5000.31	5000.17	3439934
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.045-NOTKNOWN.cnf	? (TO)	5000.33	5000.22	3439932
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	? (TO)	5000.34	5000.22	3439918
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	? (TO)	5000.47	5000.32	3439943
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf	? (TO)	5000.48	5000.29	3439930
application/rintanen/SATPlanning/ transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.060-SAT.cnf	? (TO)	5000.49	5000.32	3439942
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.050-SAT.cnf	? (TO)	5000.51	5000.38	3439931
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	? (TO)	5000.52	5000.36	3439938

SAT 2011 Competition: main competition (phase 2): benchmarks results per solver

Result page for solver minisat hack: LR_GL_SHR 2011-03-02 (complete)

Category "applications instances" (APPLICATION)

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

Solver found a solution (SATISFIABLE) (81 runs) [Show/Hide]

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