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

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT02/industrial/biere/ dinphil/dp04u03.shuffled.cnf	UNSAT	0.005998	0.0129309	3317962
application/leberre/ 2dimensionalstrippacking/E07N15.cnf	UNSAT	0.009997	0.013104	3317982
application/leberre/ 2dimensionalstrippacking/E15N15.cnf	UNSAT	0.009997	0.0142199	3317983
SAT02/industrial/goldberg/rand_net/ rand_net60-30-1.shuffled.cnf	UNSAT	0.113981	0.120481	3317964
APPLICATIONS/bitverif/ minandmaxor/minandmaxor016.cnf	UNSAT	0.164974	0.166834	3317967
industrial/babic/dspam/ dspam_dump_vc949.cnf	UNSAT	0.45593	0.459627	3317965
industrial/babic/hsatv17/ hsat_vc12062.cnf	UNSAT	0.52292	0.529473	3317966
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-nusmvreactorp4-tseitin.cnf	UNSAT	0.608907	0.611685	3317971
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bc57sensorsp1-tseitin.cnf	UNSAT	0.658899	0.664028	3317972
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp3-tseitin.cnf	UNSAT	0.821874	0.82274	3317973
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp2-tseitin.cnf	UNSAT	0.84387	0.844451	3317974
application/leberre/ 2dimensionalstrippacking/E03N17.cnf	UNSAT	1.05484	1.05586	3317984
application/leberre/ 2dimensionalstrippacking/E04N18.cnf	UNSAT	1.07484	1.08762	3317985
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtswvsam6x8p3-tseitin.cnf	UNSAT	2.74858	2.75286	3317978
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvqis8x8p2-tseitin.cnf	UNSAT	2.82357	2.82399	3317979
SAT-Race-2010-CNF/software-verification/ nec/hard-25-U-7061.cnf	UNSAT	3.03554	3.05194	3317970
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf	UNSAT	4.09638	4.11698	3317976
SAT-Race-2010-CNF/software-verification/ nec/hard-6-U-7061.cnf	UNSAT	4.16537	4.22721	3317969
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_004_127_112-tseitin.cnf	UNSAT	4.16637	4.16666	3318143
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns2p3-tseitin.cnf	UNSAT	4.30934	4.31444	3317977
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bjrb07amba2andenv-tseitin.cnf	UNSAT	4.84126	4.84367	3317975
APPLICATIONS/diagnosis/ UTI-20-10t0.cnf	UNSAT	5.8971	5.91424	3317968
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvrod6x8p1-tseitin.cnf	UNSAT	6.13107	6.13266	3317980
SAT02/industrial/goldberg/rand_net/ rand_net60-25-10.shuffled.cnf	UNSAT	6.28804	6.29533	3317963
application/leberre/ 2dimensionalstrippacking/E05X15.cnf	UNSAT	6.608	6.61588	3318146
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step11.cnf	UNSAT	8.83066	8.84691	3318129
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-nlzbe256-tseitin.cnf	UNSAT	13.42	13.4205	3318144
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_063_080-tseitin.cnf	UNSAT	13.9569	13.96	3318142
application/fuhs/ AProVE11/AProVE11-11.cnf	UNSAT	14.7988	14.7999	3318125
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step15.cnf	UNSAT	15.0957	15.0973	3318133
industrial/palacios/medium/ blocks-4-ipc5-h21-unknown.cnf	UNSAT	15.1597	15.1606	3318110
SAT-Race-2010-CNF/software-verification/ nec/hard-18-U-10652.cnf	UNSAT	18.9721	18.9744	3318124
application/rintanen/SATPlanning/ grid-strips-grid-y-4.025-NOTKNOWN.cnf	UNSAT	21.9337	21.9338	3318159
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_079_112-tseitin.cnf	UNSAT	22.1926	22.2046	3318145
manol-pipe-c6bidw_i.cnf	UNSAT	22.8775	22.8825	3318120
application/leberre/ 2dimensionalstrippacking/korf-15.cnf	UNSAT	26.133	26.1468	3318147
SAT04/industrial/hoonsang/vis-bmc/ dekker.used-as.sat04-989.cnf	UNSAT	28.6376	28.6484	3318100
SAT04/industrial/hoonsang/vis-bmc/ all.used-as.sat04-986.cnf	UNSAT	29.3685	29.3785	3318101
APPLICATIONS/diagnosis/ ACG-10-10p0.cnf	UNSAT	46.8309	46.8695	3318115
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtviseisenberg2-tseitin.cnf	UNSAT	50.8633	50.8638	3318140
SAT03/industrial/simon/sat02/ 6pipe_6_ooo.shuffled-as.sat03-413.cnf	UNSAT	53.0009	53.0036	3318099
industrial/anbulagan/ medium-unsat/dated-5-11-u.cnf	UNSAT	53.5509	53.5613	3318102
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	UNSAT	53.6258	53.6303	3318112
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	UNSAT	54.3167	54.3155	3318116
SAT-Race-2010-CNF/hardware-verification/ manolios/c10idw_i.cnf	UNSAT	54.7467	54.7455	3318123
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtviseisenberg1-tseitin.cnf	UNSAT	69.3905	69.3898	3318139
application/leberre/ 2dimensionalstrippacking/E02F17.cnf	UNSAT	70.7622	70.7616	3318148
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	UNSAT	95.0495	95.0485	3318111
application/rintanen/SATPlanning/ blocks-blocks-37-1.120-NOTKNOWN.cnf	UNSAT	98.1901	98.2169	3318161
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step13.cnf	UNSAT	98.757	98.7562	3318134
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	UNSAT	104.517	104.515	3318114
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsm5378d2-tseitin.cnf	UNSAT	106.986	106.985	3318135
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w9.shuffled.cnf	UNSAT	127.92	127.916	3318098
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.030-NOTKNOWN.cnf	UNSAT	207.056	207.052	3318156
industrial/fuhs/medium/ AProVE07-21.cnf	UNSAT	232.847	232.866	3318104
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom12.cnf	UNSAT	238.416	238.404	3318126
application/manthey/traffic/ traffic_fb_unknown.cnf	UNSAT	282.66	282.648	3318155
application/manthey/traffic/ traffic_b_unsat.cnf	UNSAT	294.616	294.618	3318152
application/manthey/traffic/ traffic_pcb_unknown.cnf	UNSAT	313.076	313.069	3318154
application/manthey/traffic/ traffic_3b_unknown.cnf	UNSAT	324.809	324.802	3318150
application/manthey/traffic/ traffic_kkb_unknown.cnf	UNSAT	333.571	333.562	3318151
manol-pipe-c10nidw.cnf	UNSAT	338.578	338.569	3318122
application/manthey/traffic/ traffic_f_unknown.cnf	UNSAT	343.09	343.08	3318153
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	UNSAT	450.139	450.128	3318117
application/leberre/ 2dimensionalstrippacking/korf-17.cnf	UNSAT	525.28	525.261	3318149
application/rintanen/SATPlanning/ grid-strips-grid-y-3.035-NOTKNOWN.cnf	UNSAT	553.232	553.218	3318158
velev-pipe-o-uns-1.0-7.cnf	UNSAT	577.608	577.615	3318119
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step15.cnf	UNSAT	595.734	595.727	3318132
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmsgoodbakery-tseitin.cnf	UNSAT	633.99	633.97	3318138
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step20.cnf	UNSAT	752.776	752.762	3318130
industrial/manolios/ manol-pipe-f7idw.cnf	UNSAT	891.14	891.118	3318109
SAT03/industrial/schuppan/l2s/ bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf	UNSAT	1022.3	1022.26	3318013
industrial/fuhs/hard/ AProVE07-03.cnf	UNSAT	1075.01	1075	3318103
velev-pipe-o-uns-1.1-6.cnf	UNSAT	1165.47	1165.49	3318118

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT05/industrial/maris05/DriverLog/ driverlog1_ks99i.renamed-as.sat05-3951.cnf	SAT	0.001998	0.010833	3318045
SAT05/industrial/maris05/DriverLog/ driverlog3_v01a.renamed-as.sat05-3963.cnf	SAT	0.003998	0.0108361	3317942
SAT02/industrial/aloul/ Bart/bart17.shuffled.cnf	SAT	0.004999	0.0139101	3317938
SAT02/industrial/biere/ dinphil/dp04s04.shuffled.cnf	SAT	0.008997	0.0130699	3317939
SAT05/industrial/maris05/Rovers/ rovers1_ks99i.renamed-as.sat05-3971.cnf	SAT	0.008997	0.0108561	3317944
application/kullmann/AES/Benchmarks/ 32/aes_32_1_keyfind_1.cnf	SAT	0.014997	0.0173619	3317960
SAT05/industrial/maris05/Ferry/ ferry5_ks99i.renamed-as.sat05-3994.cnf	SAT	0.015996	0.015755	3317943
SAT02/industrial/biere/ dinphil/dp10s10.shuffled.cnf	SAT	0.104983	0.106322	3317940
SAT02/industrial/goldberg/fpga_routing/ vda_gr_rcs_w9.shuffled.cnf	SAT	0.38794	0.391611	3317941
application/fuhs/ AProVE11/AProVE11-12.cnf	SAT	0.413936	0.41928	3317947
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step12.cnf	SAT	0.483925	0.486388	3317954
application/fuhs/ AProVE11/AProVE11-09.cnf	SAT	0.572912	0.573553	3317949
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_15_SAT.cnf	SAT	0.798878	0.799537	3318060
application/fuhs/ AProVE11/AProVE11-16.cnf	SAT	0.861868	0.864857	3317950
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf	SAT	0.893863	0.906007	3317958
APPLICATIONS/diagnosis/ UTI-10-5t1.cnf	SAT	1.06484	1.07163	3317945
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_18_SAT.cnf	SAT	1.15182	1.15207	3318061
application/kullmann/AES/Benchmarks/ 32/aes_32_2_keyfind_1.cnf	SAT	1.24381	1.24389	3318078
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-servers_slapd_a_vc149789-tseitin.cnf	SAT	1.25781	1.25905	3318077
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-src_wget_vc18517-tseitin.cnf	SAT	1.2828	1.2849	3317956
SAT04/industrial/vangelder/cnf-color/ abb313GPIA-9-tr.used-as.sat04-321.cnf	SAT	1.42678	1.42864	3318039
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbsharemodes_vc5759-tseitin.cnf	SAT	1.63475	1.63616	3317955
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libmsrpc_vc1225336-tseitin.cnf	SAT	1.75573	1.76044	3317957
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbclient_vc1228502-tseitin.cnf	SAT	2.03969	2.05146	3317959
application/fuhs/ AProVE11/AProVE11-02.cnf	SAT	2.66559	2.67288	3317951
SAT05/industrial/grieu05/vmpc/ vmpc_25.renamed-as.sat05-1913.cnf	SAT	4.74228	4.74509	3318043
application/fuhs/ AProVE11/AProVE11-15.cnf	SAT	5.03823	5.04083	3317948
application/fuhs/ AProVE11/AProVE11-13.cnf	SAT	5.22721	5.25235	3317953
APPLICATIONS/diagnosis/ UTI-20-10t1.cnf	SAT	5.50916	5.52113	3317946
application/fuhs/ AProVE11/AProVE11-07.cnf	SAT	6.00509	6.00934	3317952
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step16.cnf	SAT	6.84496	6.85017	3318073
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	SAT	9.54655	9.54963	3318053
application/manthey/ traffic/traffic_r_sat.cnf	SAT	10.1395	10.1496	3318086
application/fuhs/ AProVE11/AProVE11-10.cnf	SAT	10.9963	11.0114	3318070
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf	SAT	11.5392	11.5399	3318088
ibm-2002-21r-k95.cnf	SAT	11.8932	11.901	3318062
SAT_RACE08/Q1/ SAT_dat.k80_04.cnf	SAT	12.1721	12.1921	3318067
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	SAT	15.2887	15.2904	3318052
application/leberre/ 2dimensionalstrippacking/E05F18.cnf	SAT	20.1359	20.1357	3317961
ibm-2004-01-k90.cnf	SAT	20.3039	20.3066	3318064
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-30-step11.cnf	SAT	20.3659	20.3883	3318075
application/rintanen/SATPlanning/ blocks-blocks-37-1.150-SAT.cnf	SAT	21.7327	21.763	3318092
application/rintanen/SATPlanning/ blocks-blocks-36-0.160-NOTKNOWN.cnf	SAT	33.8149	33.8568	3318091
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	SAT	37.5953	37.6289	3318051
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug6_q0.used-as.sat04-725.cnf	SAT	43.1014	43.1086	3318041
SAT_RACE08/Q1/ SAT_dat.k85.cnf	SAT	43.2814	43.5089	3318068
ibm-2002-30r-k85.cnf	SAT	44.3703	44.3844	3318066
application/rintanen/SATPlanning/ blocks-blocks-36-0.180-SAT.cnf	SAT	51.6971	51.7319	3318094
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf	SAT	53.0609	53.0664	3318048
SAT-Race-2010-CNF/cryptography/ mizh/md5_48_3.cnf	SAT	53.7548	53.7557	3318069
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug4_q0.used-as.sat04-723.cnf	SAT	54.8877	54.8939	3318042
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug6.cnf	SAT	56.7184	56.7512	3318049
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	SAT	56.9663	57.6395	3317993
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	SAT	62.0946	62.1189	3318050
velev-npe-1.0-9dlx-b71.cnf	SAT	76.2934	76.2936	3317998
velev-pipe-sat-1.0-b9.cnf	SAT	77.4822	77.4838	3318063
application/leberre/ 2dimensionalstrippacking/E05F20.cnf	SAT	82.5185	82.522	3318082
application/leberre/ 2dimensionalstrippacking/E04F19.cnf	SAT	86.7658	86.764	3318080
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step16.cnf	SAT	87.4707	87.4705	3318074
ibm-2004-23-k100.cnf	SAT	90.4273	90.447	3318065
APPLICATIONS/diagnosis/ UR-10-10p1.cnf	SAT	91.1071	91.1124	3318056
APPLICATIONS/diagnosis/ ACG-15-5p1.cnf	SAT	94.1427	94.1544	3318057
application/leberre/ 2dimensionalstrippacking/E04F20.cnf	SAT	98.76	98.7697	3318083
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step14.cnf	SAT	116.543	116.571	3318076
application/leberre/ 2dimensionalstrippacking/E02F20.cnf	SAT	123.232	123.246	3318081
application/manthey/traffic/ traffic_3_uc_sat.cnf	SAT	128.543	128.548	3318085
application/rintanen/SATPlanning/ blocks-blocks-36-0.170-NOTKNOWN.cnf	SAT	163.436	163.474	3318093
application/kullmann/AES/Benchmarks/ 32/aes_32_3_keyfind_1.cnf	SAT	190.055	190.053	3318002
application/manthey/traffic/ traffic_r_uc_sat.cnf	SAT	204.654	206.178	3318087
SAT05/industrial/narain05/vpn/ clauses-8.renamed-as.sat05-1964.cnf	SAT	241.222	241.298	3317989
SAT05/industrial/grieu05/vmpc/ vmpc_29.renamed-as.sat05-1916.cnf	SAT	252.221	252.215	3318044
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf	SAT	275.554	275.551	3318047
SAT-Race-2010-CNF/cryptography/ mizh/sha0_36_5.cnf	SAT	276.546	276.537	3317999
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top29.cnf	SAT	294.961	294.953	3318071
application/leberre/ 2dimensionalstrippacking/E02F22.cnf	SAT	375.593	375.58	3318084
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	SAT	390.285	390.32	3318054
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	SAT	427.845	427.843	3318059
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	SAT	431.335	431.34	3318058
application/kullmann/AES/Benchmarks/ 64/aes_64_1_keyfind_1.cnf	SAT	494.543	494.526	3318079
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	SAT	607.616	607.62	3318046
mizh-sha0-36-4.cnf	SAT	756.303	756.284	3318192
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top28.cnf	SAT	797.792	797.769	3318000
application/rintanen/SATPlanning/ transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.060-SAT.cnf	SAT	847.564	847.59	3318090
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top30.cnf	SAT	1123.41	1123.39	3318001
industrial/crypto/ mizh-sha0-36-2.cnf	SAT	1298.1	1298.05	3318176
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	SAT	1299.7	1299.67	3318007

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_11_ooo.cnf	? (TO)	1299.66	1300.13	3318031
SAT02/industrial/dellacherie/ comb/comb1.shuffled.cnf	? (TO)	1299.92	1300.02	3318164
SAT03/industrial/goldberg/hard_eq_check/ k2mul.miter.shuffled-as.sat03-355.cnf	? (TO)	1299.95	1300.02	3318012
SAT05/industrial/grieu05/vmpc/ vmpc_34.renamed-as.sat05-1926.cnf	? (TO)	1299.96	1300.02	3317987
SAT02/industrial/aloul/ Homer/homer17.shuffled.cnf	? (TO)	1299.96	1300.02	3318163
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom20.cnf	? (TO)	1299.98	1300.02	3318200
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	1299.99	1300.03	3318017
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	1300.01	1300.02	3318020
application/leberre/ 2dimensionalstrippacking/E00X23.cnf	? (TO)	1300.01	1300.07	3318226
SAT03/industrial/goldberg/hard_eq_check/ c6288mul.miter.shuffled-as.sat03-346.cnf	? (TO)	1300.01	1300.02	3318011
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-13-step17.cnf	? (TO)	1300.01	1300.03	3318128
APPLICATIONS/bitverif/ countbitssrl/countbitssrl064.cnf	? (TO)	1300.01	1300.02	3318182
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom19.cnf	? (TO)	1300.01	1300.02	3318199
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k80.cnf	? (TO)	1300.01	1300.13	3318107
SAT03/industrial/maris/CNF/ gripper13u.shuffled-as.sat03-395.cnf	? (TO)	1300.02	1300.02	3318169
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN.cnf	? (TO)	1300.02	1300.08	3318230
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	1300.02	1300.02	3318055
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom15.cnf	? (TO)	1300.03	1300.02	3318195
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	1300.03	1300.03	3318024
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top24.cnf	? (TO)	1300.03	1300.02	3318207
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom26.cnf	? (TO)	1300.03	1300.02	3318212
industrial/anbulagan/ hard-unsat/dated-10-17-u.cnf	? (TO)	1300.03	1300.03	3318018
application/kullmann/AES/Benchmarks/ 128/aes_128_3_keyfind_1.cnf	? (TO)	1300.03	1300.02	3318219
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	1300.04	1300.02	3318029
application/kullmann/AES/Benchmarks/ 128/aes_128_1_keyfind_1.cnf	? (TO)	1300.04	1300.02	3318217
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsmhdlc2-tseitin.cnf	? (TO)	1300.04	1300.02	3318036
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom25.cnf	? (TO)	1300.04	1300.02	3318210
application/kullmann/AES/Benchmarks/ 32/aes_32_5_keyfind_1.cnf	? (TO)	1300.04	1300.02	3318222
application/kullmann/AES/Benchmarks/ 32/aes_32_4_keyfind_1.cnf	? (TO)	1300.04	1300.02	3318221
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom21.cnf	? (TO)	1300.05	1300.03	3318202
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtpmsns2-tseitin.cnf	? (TO)	1300.05	1300.02	3318136
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_19_UNKNOWN.cnf	? (TO)	1300.05	1300.05	3317997
SAT05/industrial/grieu05/vmpc/ vmpc_35.renamed-as.sat05-1921.cnf	? (TO)	1300.05	1300.02	3317988
SAT05/industrial/grieu05/vmpc/ vmpc_32.renamed-as.sat05-1919.cnf	? (TO)	1300.05	1300.02	3317986
APPLICATIONS/bitverif/ smulo/smulo064.cnf	? (TO)	1300.05	1300.02	3318187
SAT04/industrial/vangelder/cnf-color/ myciel6-tr.used-as.sat04-320.cnf	? (TO)	1300.05	1300.01	3318171
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	1300.05	1300.02	3318181
SAT-Race-2010-CNF/hardware-verification/ velev/2dlx_ca_bp_f_liveness.cnf	? (TO)	1300.05	1300.1	3318193
SAT03/industrial/li/li-exam/ li-exam-61.shuffled-as.sat03-366.cnf	? (TO)	1300.05	1300.03	3318167
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	1300.05	1300.01	3318177
application/leberre/ 2dimensionalstrippacking/korf-18.cnf	? (TO)	1300.05	1300.02	3318038
application/kullmann/AES/Benchmarks/ 64/aes_64_3_keyfind_1.cnf	? (TO)	1300.05	1300.02	3318224
APPLICATIONS/ bitverif/maxxor/maxxor032.cnf	? (TO)	1300.05	1300.02	3318113
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w8.shuffled.cnf	? (TO)	1300.05	1300.02	3318165
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom16.cnf	? (TO)	1300.05	1300.02	3318196
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom13.cnf	? (TO)	1300.05	1300.02	3318127
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom24.cnf	? (TO)	1300.05	1300.02	3318208
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom14.cnf	? (TO)	1300.06	1300.02	3318194
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top25.cnf	? (TO)	1300.06	1300.02	3318209
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom23.cnf	? (TO)	1300.06	1300.03	3318206
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	1300.06	1300.02	3318026
application/kullmann/AES/Benchmarks/ 64/aes_64_4_keyfind_1.cnf	? (TO)	1300.06	1300.02	3318225
application/kullmann/AES/Benchmarks/ 64/aes_64_2_keyfind_1.cnf	? (TO)	1300.06	1300.02	3318223
SAT02/industrial/goldberg/rand_net/ rand_net60-40-10.shuffled.cnf	? (TO)	1300.06	1300.01	3318096
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top22.cnf	? (TO)	1300.06	1300.02	3318203
SAT03/industrial/goldberg/hard_eq_check/ x1mul.miter.shuffled-as.sat03-359.cnf	? (TO)	1300.06	1300.02	3318010
APPLICATIONS/crypto/ md5gen/gus-md5-12.cnf	? (TO)	1300.06	1300.02	3318189
SAT03/industrial/schuppan/l2s/ dme-03-1-k247-unsat.shuffled-as.sat03-407.cnf	? (TO)	1300.06	1300.03	3318170
SAT04/industrial/vangelder/ cnf-color/abb313GPIA-9-c.used-as.sat04-317.cnf	? (TO)	1300.06	1300.03	3318040
industrial/palacios/medium/ cube-11-h14-sat.cnf	? (TO)	1300.06	1300.03	3317992
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top26.cnf	? (TO)	1300.06	1300.02	3318211
SAT02/industrial/goldberg/rand_net/ rand_net70-60-10.shuffled.cnf	? (TO)	1300.06	1300.02	3318097
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k45.cnf	? (TO)	1300.06	1300.11	3318106
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	1300.06	1300.02	3318186
SAT02/industrial/aloul/ Homer/homer14.shuffled.cnf	? (TO)	1300.06	1300.02	3318095
SAT02/industrial/aloul/ Homer/homer16.shuffled.cnf	? (TO)	1300.06	1300.02	3318009
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k100.cnf	? (TO)	1300.06	1300.2	3318108
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	? (TO)	1300.06	1300.08	3318028
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom17.cnf	? (TO)	1300.06	1300.02	3318197
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	1300.07	1300.02	3317994
SAT05/industrial/grieu05/vmpc/ vmpc_36.renamed-as.sat05-1922.cnf	? (TO)	1300.07	1300.02	3318173
SAT03/industrial/kukula/addm_bench/ am_7_7.shuffled-as.sat03-363.cnf	? (TO)	1300.07	1300.02	3318166
SAT03/industrial/li/li-test4/ li-test4-100.shuffled-as.sat03-370.cnf	? (TO)	1300.07	1300.03	3318168
application/kullmann/AES/Benchmarks/ 128/aes_128_2_keyfind_1.cnf	? (TO)	1300.07	1300.02	3318218
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top21.cnf	? (TO)	1300.07	1300.02	3318201
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top23.cnf	? (TO)	1300.07	1300.02	3318205
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-eijkbs6669-tseitin.cnf	? (TO)	1300.07	1300.03	3318037
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvisns3p02-tseitin.cnf	? (TO)	1300.07	1300.02	3318213
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtpmspalu-tseitin.cnf	? (TO)	1300.07	1300.03	3318137
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	1300.07	1300.02	3318191
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	1300.07	1300.04	3318019
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	1300.07	1300.03	3318023
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k20.cnf	? (TO)	1300.07	1300.06	3318105
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	1300.07	1300.02	3318178
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	1300.07	1300.02	3318179
APPLICATIONS/bitverif/ maxxororand/maxxororand064.cnf	? (TO)	1300.07	1300.02	3318185
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	1300.07	1300.02	3318188
application/kullmann/AES/Benchmarks/ 128/aes_128_10_keyfind_1.cnf	? (TO)	1300.08	1300.02	3318220
manol-pipe-f7nidw.cnf	? (TO)	1300.08	1300.04	3318121
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-countbits128-tseitin.cnf	? (TO)	1300.08	1300.02	3318215
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step21.cnf	? (TO)	1300.08	1300.03	3318072
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-ext_con_032_008_0256-tseitin.cnf	? (TO)	1300.08	1300.02	3317981
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.025-NOTKNOWN.cnf	? (TO)	1300.08	1300.05	3318228
application/fuhs/ AProVE11/AProVE11-06.cnf	? (TO)	1300.08	1300.03	3318035
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	1300.08	1300.02	3318190
APPLICATIONS/bitverif/countbitswegner/ countbitswegner128.cnf	? (TO)	1300.08	1300.03	3318183
APPLICATIONS/bitverif/countbitsarray/ countbitsarray04_32.cnf	? (TO)	1300.08	1300.02	3318180
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns3p00-tseitin.cnf	? (TO)	1300.08	1300.02	3318214
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvissoap1-tseitin.cnf	? (TO)	1300.08	1300.03	3318141
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom18.cnf	? (TO)	1300.08	1300.02	3318198
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom22.cnf	? (TO)	1300.08	1300.02	3318204
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	1300.09	1300.05	3318184
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-21-step11.cnf	? (TO)	1300.09	1300.05	3318131
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	1300.09	1300.04	3318022
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	1300.09	1300.03	3317991
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.used-as.sat04-347.cnf	? (TO)	1300.09	1300.1	3318015
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-VS3-benchmark-S2-tseitin.cnf	? (TO)	1300.09	1300.03	3318216
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (TO)	1300.09	1300.05	3318025
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (TO)	1300.09	1300.06	3317995
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.035-NOTKNOWN.cnf	? (TO)	1300.1	1300.06	3318231
APPLICATIONS/diagnosis/ UR-20-10p0.cnf	? (TO)	1300.1	1300.06	3318027
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (TO)	1300.11	1300.09	3317990
SAT03/industrial/schuppan/l2s/ valves-gates-1-k617-unsat.shuffled-as.sat03-412.cnf	? (TO)	1300.11	1300.05	3318014
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	? (TO)	1300.11	1300.09	3317996
application/leberre/ 2dimensionalstrippacking/E00N23.cnf	? (TO)	1300.11	1300.06	3318227
industrial/anbulagan/ hard-sat/partial-10-17-s.cnf	? (TO)	1300.11	1300.09	3318174
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	1300.11	1300.07	3318175
application/rintanen/SATPlanning/ blocks-blocks-36-0.120-NOTKNOWN.cnf	? (TO)	1300.11	1300.07	3318160
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf	? (TO)	1300.12	1300.09	3318016
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.045-NOTKNOWN.cnf	? (TO)	1300.12	1300.08	3318232
velev-vliw-uns-4.0-9-i1.cnf	? (TO)	1300.12	1300.08	3318030
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN.cnf	? (TO)	1300.13	1300.09	3318229
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (TO)	1300.13	1300.11	3318021
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	? (TO)	1300.13	1300.17	3318237
application/rintanen/SATPlanning/ blocks-blocks-37-1.130-NOTKNOWN.cnf	? (TO)	1300.13	1300.08	3318162
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.used-as.sat04-719.cnf	? (TO)	1300.14	1300.11	3318172
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.cnf	? (TO)	1300.14	1300.11	3318157
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.045-NOTKNOWN.cnf	? (TO)	1300.14	1300.08	3318233
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.050-NOTKNOWN.cnf	? (TO)	1300.15	1300.13	3318003
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq57_a.cnf	? (TO)	1300.15	1300.09	3318033
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq60_a.cnf	? (TO)	1300.15	1300.09	3318034
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.080-SAT.cnf	? (TO)	1300.15	1300.13	3318235
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	? (TO)	1300.16	1300.13	3318236
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf	? (TO)	1300.17	1300.12	3318234
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.060-NOTKNOWN.cnf	? (TO)	1300.17	1300.12	3318004
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	? (TO)	1300.18	1300.15	3318006
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf	? (TO)	1300.2	1300.14	3318005
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.050-SAT.cnf	? (TO)	1300.21	1300.17	3318008
application/rintanen/SATPlanning/ transport-transport-two-cities-sequential-15nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.040-SAT.cnf	? (TO)	1300.24	1300.19	3318089

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

Result page for solver minisat hack: MiniSAT 2.2.0-agile-26 (complete)

Category "applications instances" (APPLICATION)

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

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

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

No recognized solution line (1 run) [Show/Hide]