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.005999	0.0134101	3349070
application/leberre/ 2dimensionalstrippacking/E07N15.cnf	UNSAT	0.009997	0.0229009	3349090
application/leberre/ 2dimensionalstrippacking/E15N15.cnf	UNSAT	0.011997	0.0201899	3349091
SAT02/industrial/goldberg/rand_net/ rand_net60-30-1.shuffled.cnf	UNSAT	0.118981	0.132221	3349072
APPLICATIONS/bitverif/ minandmaxor/minandmaxor016.cnf	UNSAT	0.167973	0.167916	3349075
industrial/babic/dspam/ dspam_dump_vc949.cnf	UNSAT	0.448931	0.44943	3349073
industrial/babic/hsatv17/ hsat_vc12062.cnf	UNSAT	0.524919	0.525192	3349074
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-nusmvreactorp4-tseitin.cnf	UNSAT	0.605907	0.620687	3349079
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bc57sensorsp1-tseitin.cnf	UNSAT	0.6499	0.653016	3349080
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp2-tseitin.cnf	UNSAT	0.805877	0.80673	3349082
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp3-tseitin.cnf	UNSAT	0.813875	0.816589	3349081
application/leberre/ 2dimensionalstrippacking/E04N18.cnf	UNSAT	0.969851	0.971179	3349093
application/leberre/ 2dimensionalstrippacking/E03N17.cnf	UNSAT	1.74273	1.74303	3349092
SAT02/industrial/goldberg/rand_net/ rand_net60-25-10.shuffled.cnf	UNSAT	2.05269	2.05443	3349071
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvqis8x8p2-tseitin.cnf	UNSAT	2.43663	2.44196	3349087
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtswvsam6x8p3-tseitin.cnf	UNSAT	3.32249	3.32211	3349086
SAT-Race-2010-CNF/software-verification/ nec/hard-25-U-7061.cnf	UNSAT	3.33549	3.33626	3349078
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_004_127_112-tseitin.cnf	UNSAT	4.12637	4.12678	3349251
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf	UNSAT	4.48932	4.4901	3349084
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bjrb07amba2andenv-tseitin.cnf	UNSAT	4.98124	4.99415	3349083
SAT-Race-2010-CNF/software-verification/ nec/hard-6-U-7061.cnf	UNSAT	5.05423	5.05466	3349077
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvrod6x8p1-tseitin.cnf	UNSAT	5.18721	5.18802	3349088
APPLICATIONS/diagnosis/ UTI-20-10t0.cnf	UNSAT	5.40618	5.41338	3349076
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns2p3-tseitin.cnf	UNSAT	6.34403	6.345	3349085
application/leberre/ 2dimensionalstrippacking/E05X15.cnf	UNSAT	7.70083	7.70365	3349254
SAT04/industrial/hoonsang/vis-bmc/ dekker.used-as.sat04-989.cnf	UNSAT	9.61654	9.62291	3349208
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_063_080-tseitin.cnf	UNSAT	10.8034	10.9283	3349250
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step11.cnf	UNSAT	11.3273	11.3287	3349237
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step15.cnf	UNSAT	11.8522	11.8516	3349241
industrial/palacios/medium/ blocks-4-ipc5-h21-unknown.cnf	UNSAT	12.2641	12.2649	3349218
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-nlzbe256-tseitin.cnf	UNSAT	12.4871	12.4883	3349252
application/fuhs/ AProVE11/AProVE11-11.cnf	UNSAT	13.8289	13.8331	3349233
application/rintanen/SATPlanning/ grid-strips-grid-y-4.025-NOTKNOWN.cnf	UNSAT	18.1792	18.1823	3349267
manol-pipe-c6bidw_i.cnf	UNSAT	20.6779	20.6816	3349228
application/leberre/ 2dimensionalstrippacking/korf-15.cnf	UNSAT	20.9008	20.9007	3349255
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_079_112-tseitin.cnf	UNSAT	21.5197	21.528	3349253
SAT-Race-2010-CNF/software-verification/ nec/hard-18-U-10652.cnf	UNSAT	22.2486	22.2498	3349232
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtviseisenberg2-tseitin.cnf	UNSAT	31.7092	31.7217	3349248
SAT-Race-2010-CNF/hardware-verification/ manolios/c10idw_i.cnf	UNSAT	39.769	39.7679	3349231
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtviseisenberg1-tseitin.cnf	UNSAT	42.2706	42.2708	3349247
APPLICATIONS/diagnosis/ ACG-10-10p0.cnf	UNSAT	48.6646	48.6681	3349223
application/leberre/ 2dimensionalstrippacking/E02F17.cnf	UNSAT	52.724	52.7237	3349256
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	UNSAT	52.819	52.8184	3349224
SAT04/industrial/hoonsang/vis-bmc/ all.used-as.sat04-986.cnf	UNSAT	55.1946	55.1953	3349209
SAT03/industrial/simon/sat02/ 6pipe_6_ooo.shuffled-as.sat03-413.cnf	UNSAT	60.7918	60.7939	3349207
industrial/anbulagan/ medium-unsat/dated-5-11-u.cnf	UNSAT	62.5925	62.6136	3349210
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step13.cnf	UNSAT	64.8071	64.8097	3349242
manol-pipe-f7nidw.cnf	UNSAT	78.5861	78.5955	3349229
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	UNSAT	81.5456	81.5487	3349222
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsm5378d2-tseitin.cnf	UNSAT	97.5482	97.546	3349243
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	UNSAT	116.022	116.022	3349219
application/rintanen/SATPlanning/ blocks-blocks-37-1.120-NOTKNOWN.cnf	UNSAT	148.391	148.39	3349269
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	UNSAT	170.153	170.148	3349220
industrial/manolios/ manol-pipe-f7idw.cnf	UNSAT	220.761	220.768	3349217
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.030-NOTKNOWN.cnf	UNSAT	230.826	230.824	3349264
application/manthey/traffic/ traffic_pcb_unknown.cnf	UNSAT	248.967	248.974	3349262
SAT02/industrial/goldberg/rand_net/ rand_net60-40-10.shuffled.cnf	UNSAT	274.063	274.056	3349204
velev-pipe-o-uns-1.0-7.cnf	UNSAT	275.614	275.615	3349227
industrial/fuhs/medium/ AProVE07-21.cnf	UNSAT	281.448	281.454	3349212
application/manthey/traffic/ traffic_fb_unknown.cnf	UNSAT	286.009	286.014	3349263
application/manthey/traffic/ traffic_b_unsat.cnf	UNSAT	291.335	291.323	3349260
manol-pipe-c10nidw.cnf	UNSAT	293.628	293.62	3349230
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w9.shuffled.cnf	UNSAT	294.787	294.78	3349206
application/manthey/traffic/ traffic_f_unknown.cnf	UNSAT	339.668	339.689	3349261
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom12.cnf	UNSAT	355.918	355.906	3349234
application/manthey/traffic/ traffic_3b_unknown.cnf	UNSAT	372.797	372.783	3349258
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step15.cnf	UNSAT	375.788	375.772	3349240
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	UNSAT	382.207	382.201	3349225
application/manthey/traffic/ traffic_kkb_unknown.cnf	UNSAT	395.268	395.258	3349259
SAT02/industrial/dellacherie/ comb/comb1.shuffled.cnf	UNSAT	403.053	403.045	3349272
application/rintanen/SATPlanning/ grid-strips-grid-y-3.035-NOTKNOWN.cnf	UNSAT	424.718	424.703	3349266
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmsgoodbakery-tseitin.cnf	UNSAT	480.977	480.965	3349246
velev-pipe-o-uns-1.1-6.cnf	UNSAT	740.154	740.134	3349226
application/leberre/ 2dimensionalstrippacking/korf-17.cnf	UNSAT	775.006	774.987	3349257
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step20.cnf	UNSAT	789.638	789.643	3349238
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq57_a.cnf	UNSAT	911.284	911.262	3349141
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom13.cnf	UNSAT	916.267	916.289	3349235
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq60_a.cnf	UNSAT	1258.89	1258.84	3349142

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT05/industrial/maris05/DriverLog/ driverlog1_ks99i.renamed-as.sat05-3951.cnf	SAT	0.002998	0.016205	3349153
SAT05/industrial/maris05/DriverLog/ driverlog3_v01a.renamed-as.sat05-3963.cnf	SAT	0.002999	0.012724	3349050
SAT02/industrial/aloul/ Bart/bart17.shuffled.cnf	SAT	0.003998	0.012926	3349046
SAT05/industrial/maris05/Rovers/ rovers1_ks99i.renamed-as.sat05-3971.cnf	SAT	0.007997	0.0126519	3349052
SAT02/industrial/biere/ dinphil/dp04s04.shuffled.cnf	SAT	0.007998	0.0135321	3349047
SAT05/industrial/maris05/Ferry/ ferry5_ks99i.renamed-as.sat05-3994.cnf	SAT	0.015996	0.0196151	3349051
application/kullmann/AES/Benchmarks/ 32/aes_32_1_keyfind_1.cnf	SAT	0.016996	0.0181831	3349068
SAT02/industrial/biere/ dinphil/dp10s10.shuffled.cnf	SAT	0.137979	0.141561	3349048
SAT02/industrial/goldberg/fpga_routing/ vda_gr_rcs_w9.shuffled.cnf	SAT	0.362944	0.363621	3349049
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step12.cnf	SAT	0.421934	0.439199	3349062
application/fuhs/ AProVE11/AProVE11-12.cnf	SAT	0.45193	0.464471	3349055
application/fuhs/ AProVE11/AProVE11-09.cnf	SAT	0.667897	0.672223	3349057
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_15_SAT.cnf	SAT	0.803877	0.803475	3349168
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf	SAT	0.91886	0.943042	3349066
application/fuhs/ AProVE11/AProVE11-16.cnf	SAT	1.05984	1.06187	3349058
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_18_SAT.cnf	SAT	1.13383	1.13425	3349169
APPLICATIONS/diagnosis/ UTI-10-5t1.cnf	SAT	1.20482	1.20656	3349053
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-servers_slapd_a_vc149789-tseitin.cnf	SAT	1.27381	1.29212	3349185
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-src_wget_vc18517-tseitin.cnf	SAT	1.2938	1.29566	3349064
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbsharemodes_vc5759-tseitin.cnf	SAT	1.46178	1.46943	3349063
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libmsrpc_vc1225336-tseitin.cnf	SAT	1.57776	1.58885	3349065
SAT04/industrial/vangelder/cnf-color/ abb313GPIA-9-tr.used-as.sat04-321.cnf	SAT	1.58876	1.59364	3349147
SAT05/industrial/grieu05/vmpc/ vmpc_25.renamed-as.sat05-1913.cnf	SAT	1.65375	1.65445	3349151
application/fuhs/ AProVE11/AProVE11-02.cnf	SAT	2.17167	2.17484	3349059
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbclient_vc1228502-tseitin.cnf	SAT	2.17367	2.17463	3349067
application/fuhs/ AProVE11/AProVE11-15.cnf	SAT	3.66544	3.67355	3349056
application/fuhs/ AProVE11/AProVE11-10.cnf	SAT	4.5733	4.57363	3349178
APPLICATIONS/diagnosis/ UTI-20-10t1.cnf	SAT	4.75928	4.75951	3349054
application/fuhs/ AProVE11/AProVE11-13.cnf	SAT	4.86826	4.89415	3349061
application/kullmann/AES/Benchmarks/ 32/aes_32_2_keyfind_1.cnf	SAT	4.95825	4.9601	3349186
application/fuhs/ AProVE11/AProVE11-07.cnf	SAT	7.62284	7.63799	3349060
application/manthey/ traffic/traffic_r_sat.cnf	SAT	9.64153	9.64729	3349194
SAT_RACE08/Q1/ SAT_dat.k80_04.cnf	SAT	13.9209	13.9264	3349175
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	SAT	16.3155	16.3167	3349160
APPLICATIONS/diagnosis/ UR-10-10p1.cnf	SAT	16.7605	16.769	3349164
ibm-2002-21r-k95.cnf	SAT	16.8744	16.8752	3349170
ibm-2004-01-k90.cnf	SAT	17.5853	17.5872	3349172
application/leberre/ 2dimensionalstrippacking/E05F18.cnf	SAT	21.7117	21.7174	3349069
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	SAT	26.103	26.1116	3349159
application/rintanen/SATPlanning/ blocks-blocks-37-1.150-SAT.cnf	SAT	26.8409	26.8425	3349200
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf	SAT	30.1284	30.1398	3349196
application/rintanen/SATPlanning/ blocks-blocks-36-0.170-NOTKNOWN.cnf	SAT	30.3904	30.3965	3349201
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-30-step11.cnf	SAT	40.4668	40.4869	3349183
application/rintanen/SATPlanning/ blocks-blocks-36-0.160-NOTKNOWN.cnf	SAT	43.0305	43.029	3349199
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug4_q0.used-as.sat04-723.cnf	SAT	44.3493	44.3509	3349150
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug6_q0.used-as.sat04-725.cnf	SAT	45.4241	45.4294	3349149
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step16.cnf	SAT	46.3769	46.3938	3349182
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	SAT	60.0389	60.5347	3349101
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	SAT	65.1861	65.1848	3349158
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	SAT	70.0504	70.0492	3349161
application/rintanen/SATPlanning/ blocks-blocks-36-0.180-SAT.cnf	SAT	74.6716	74.7146	3349202
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug6.cnf	SAT	76.0784	76.0756	3349157
application/leberre/ 2dimensionalstrippacking/E05F20.cnf	SAT	76.6553	76.6548	3349190
velev-pipe-sat-1.0-b9.cnf	SAT	80.1858	80.193	3349171
SAT05/industrial/grieu05/vmpc/ vmpc_29.renamed-as.sat05-1916.cnf	SAT	80.8607	80.8625	3349152
mizh-sha0-36-4.cnf	SAT	82.9714	82.9701	3349300
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step14.cnf	SAT	84.4362	84.4412	3349184
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf	SAT	92.135	92.1334	3349155
application/leberre/ 2dimensionalstrippacking/E04F20.cnf	SAT	93.8187	93.8224	3349191
application/leberre/ 2dimensionalstrippacking/E04F19.cnf	SAT	94.2167	94.2188	3349188
APPLICATIONS/diagnosis/ ACG-15-5p1.cnf	SAT	100.308	100.307	3349165
ibm-2004-23-k100.cnf	SAT	118.057	118.066	3349173
industrial/crypto/ mizh-sha0-36-2.cnf	SAT	121.094	121.098	3349284
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step16.cnf	SAT	139.343	139.339	3349181
SAT05/industrial/narain05/vpn/ clauses-8.renamed-as.sat05-1964.cnf	SAT	176.435	176.495	3349097
SAT-Race-2010-CNF/cryptography/ mizh/md5_48_3.cnf	SAT	216.766	216.763	3349177
velev-npe-1.0-9dlx-b71.cnf	SAT	241.725	241.738	3349106
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	SAT	269.442	269.514	3349167
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	SAT	276.35	276.34	3349162
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	SAT	320.067	320.14	3349154
application/leberre/ 2dimensionalstrippacking/E02F22.cnf	SAT	354.778	354.768	3349192
application/leberre/ 2dimensionalstrippacking/E02F20.cnf	SAT	391.864	391.851	3349189
SAT-Race-2010-CNF/cryptography/ mizh/sha0_36_5.cnf	SAT	405.47	405.472	3349107
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf	SAT	483.66	483.651	3349156
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	SAT	484.098	484.164	3349166
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	SAT	537.718	537.71	3349098
application/rintanen/SATPlanning/ transport-transport-two-cities-sequential-15nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.040-SAT.cnf	SAT	615.488	615.477	3349197
application/manthey/traffic/ traffic_3_uc_sat.cnf	SAT	632.545	632.531	3349193
ibm-2002-30r-k85.cnf	SAT	858.815	858.798	3349174
SAT_RACE08/Q1/ SAT_dat.k85.cnf	SAT	882.523	882.505	3349176
application/kullmann/AES/Benchmarks/ 32/aes_32_3_keyfind_1.cnf	SAT	996.056	996.033	3349110
industrial/palacios/medium/ cube-11-h14-sat.cnf	SAT	1082.79	1082.78	3349100
application/kullmann/AES/Benchmarks/ 64/aes_64_1_keyfind_1.cnf	SAT	1211.42	1211.39	3349187
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_19_UNKNOWN.cnf	SAT	1253.51	1253.51	3349105

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT04/industrial/vangelder/cnf-color/ myciel6-tr.used-as.sat04-320.cnf	? (TO)	1299.94	1300.02	3349279
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	? (TO)	1299.95	1300.17	3349345
application/kullmann/AES/Benchmarks/ 128/aes_128_1_keyfind_1.cnf	? (TO)	1300	1300.02	3349325
SAT02/industrial/aloul/ Homer/homer16.shuffled.cnf	? (TO)	1300	1300.02	3349117
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvisns3p02-tseitin.cnf	? (TO)	1300	1300.02	3349321
SAT03/industrial/maris/CNF/ gripper13u.shuffled-as.sat03-395.cnf	? (TO)	1300.01	1300.02	3349277
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom25.cnf	? (TO)	1300.01	1300.02	3349318
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k20.cnf	? (TO)	1300.01	1300.02	3349213
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.025-NOTKNOWN.cnf	? (TO)	1300.02	1300.03	3349336
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom14.cnf	? (TO)	1300.02	1300.02	3349302
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	1300.02	1300.04	3349292
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	1300.02	1300.02	3349137
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom17.cnf	? (TO)	1300.02	1300.02	3349305
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	1300.02	1300.03	3349132
SAT03/industrial/goldberg/hard_eq_check/ c6288mul.miter.shuffled-as.sat03-346.cnf	? (TO)	1300.02	1300.02	3349119
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	1300.03	1300.03	3349130
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	1300.03	1300.02	3349287
SAT03/industrial/li/li-test4/ li-test4-100.shuffled-as.sat03-370.cnf	? (TO)	1300.03	1300.02	3349276
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w8.shuffled.cnf	? (TO)	1300.04	1300.02	3349273
SAT02/industrial/aloul/ Homer/homer14.shuffled.cnf	? (TO)	1300.04	1300.01	3349203
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-eijkbs6669-tseitin.cnf	? (TO)	1300.04	1300.03	3349145
application/kullmann/AES/Benchmarks/ 64/aes_64_4_keyfind_1.cnf	? (TO)	1300.04	1300.02	3349333
SAT05/industrial/grieu05/vmpc/ vmpc_35.renamed-as.sat05-1921.cnf	? (TO)	1300.04	1300.02	3349096
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	1300.04	1300.02	3349163
industrial/fuhs/hard/ AProVE07-03.cnf	? (TO)	1300.04	1300.02	3349211
SAT-Race-2010-CNF/hardware-verification/ velev/2dlx_ca_bp_f_liveness.cnf	? (TO)	1300.04	1300.09	3349301
APPLICATIONS/bitverif/countbitsarray/ countbitsarray04_32.cnf	? (TO)	1300.04	1300.02	3349288
APPLICATIONS/bitverif/ countbitssrl/countbitssrl064.cnf	? (TO)	1300.05	1300.02	3349290
industrial/anbulagan/ hard-unsat/dated-10-17-u.cnf	? (TO)	1300.05	1300.03	3349126
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtpmsns2-tseitin.cnf	? (TO)	1300.05	1300.03	3349244
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	1300.05	1300.02	3349298
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-ext_con_032_008_0256-tseitin.cnf	? (TO)	1300.05	1300.02	3349089
SAT02/industrial/goldberg/rand_net/ rand_net70-60-10.shuffled.cnf	? (TO)	1300.05	1300.02	3349205
SAT02/industrial/aloul/ Homer/homer17.shuffled.cnf	? (TO)	1300.05	1300.02	3349271
application/kullmann/AES/Benchmarks/ 32/aes_32_4_keyfind_1.cnf	? (TO)	1300.05	1300.01	3349329
application/kullmann/AES/Benchmarks/ 32/aes_32_5_keyfind_1.cnf	? (TO)	1300.05	1300.01	3349330
application/kullmann/AES/Benchmarks/ 64/aes_64_3_keyfind_1.cnf	? (TO)	1300.05	1300.02	3349332
application/kullmann/AES/Benchmarks/ 64/aes_64_2_keyfind_1.cnf	? (TO)	1300.05	1300.02	3349331
application/kullmann/AES/Benchmarks/ 128/aes_128_2_keyfind_1.cnf	? (TO)	1300.05	1300.02	3349326
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom21.cnf	? (TO)	1300.05	1300.02	3349310
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom16.cnf	? (TO)	1300.05	1300.02	3349304
SAT05/industrial/grieu05/vmpc/ vmpc_36.renamed-as.sat05-1922.cnf	? (TO)	1300.05	1300.02	3349281
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k100.cnf	? (TO)	1300.05	1300.02	3349216
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top21.cnf	? (TO)	1300.05	1300.02	3349309
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top23.cnf	? (TO)	1300.05	1300.02	3349313
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom15.cnf	? (TO)	1300.05	1300.02	3349303
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom24.cnf	? (TO)	1300.05	1300.02	3349316
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-countbits128-tseitin.cnf	? (TO)	1300.05	1300.02	3349323
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	1300.05	1300.01	3349294
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	1300.05	1300.02	3349131
APPLICATIONS/ bitverif/maxxor/maxxor032.cnf	? (TO)	1300.06	1300.02	3349221
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	1300.06	1300.02	3349134
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (TO)	1300.06	1300.03	3349133
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top22.cnf	? (TO)	1300.06	1300.02	3349311
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom20.cnf	? (TO)	1300.06	1300.02	3349308
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	1300.06	1300.02	3349285
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	1300.06	1300.03	3349099
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	1300.06	1300.02	3349286
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	1300.06	1300.02	3349128
SAT03/industrial/schuppan/l2s/ dme-03-1-k247-unsat.shuffled-as.sat03-407.cnf	? (TO)	1300.06	1300.03	3349278
application/fuhs/ AProVE11/AProVE11-06.cnf	? (TO)	1300.06	1300.03	3349143
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	1300.06	1300.02	3349299
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvissoap1-tseitin.cnf	? (TO)	1300.06	1300.03	3349249
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns3p00-tseitin.cnf	? (TO)	1300.06	1300.03	3349322
application/kullmann/AES/Benchmarks/ 128/aes_128_10_keyfind_1.cnf	? (TO)	1300.06	1300.02	3349328
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom22.cnf	? (TO)	1300.06	1300.02	3349312
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.035-NOTKNOWN.cnf	? (TO)	1300.06	1300.07	3349339
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-VS3-benchmark-S2-tseitin.cnf	? (TO)	1300.06	1300.03	3349324
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top30.cnf	? (TO)	1300.06	1300.03	3349109
application/leberre/ 2dimensionalstrippacking/korf-18.cnf	? (TO)	1300.06	1300.02	3349146
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	1300.06	1300.03	3349125
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top25.cnf	? (TO)	1300.06	1300.02	3349317
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top29.cnf	? (TO)	1300.06	1300.02	3349179
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k45.cnf	? (TO)	1300.06	1300.02	3349214
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsmhdlc2-tseitin.cnf	? (TO)	1300.07	1300.02	3349144
SAT05/industrial/grieu05/vmpc/ vmpc_32.renamed-as.sat05-1919.cnf	? (TO)	1300.07	1300.02	3349094
SAT04/industrial/vangelder/ cnf-color/abb313GPIA-9-c.used-as.sat04-317.cnf	? (TO)	1300.07	1300.03	3349148
SAT03/industrial/kukula/addm_bench/ am_7_7.shuffled-as.sat03-363.cnf	? (TO)	1300.07	1300.02	3349274
SAT03/industrial/goldberg/hard_eq_check/ k2mul.miter.shuffled-as.sat03-355.cnf	? (TO)	1300.07	1300.02	3349120
SAT03/industrial/goldberg/hard_eq_check/ x1mul.miter.shuffled-as.sat03-359.cnf	? (TO)	1300.07	1300.02	3349118
application/kullmann/AES/Benchmarks/ 128/aes_128_3_keyfind_1.cnf	? (TO)	1300.07	1300.02	3349327
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom23.cnf	? (TO)	1300.07	1300.02	3349314
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom18.cnf	? (TO)	1300.07	1300.02	3349306
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top24.cnf	? (TO)	1300.07	1300.02	3349315
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top26.cnf	? (TO)	1300.07	1300.02	3349319
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-13-step17.cnf	? (TO)	1300.07	1300.02	3349236
SAT05/industrial/grieu05/vmpc/ vmpc_34.renamed-as.sat05-1926.cnf	? (TO)	1300.07	1300.02	3349095
application/rintanen/SATPlanning/ blocks-blocks-37-1.130-NOTKNOWN.cnf	? (TO)	1300.07	1300.08	3349270
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.045-NOTKNOWN.cnf	? (TO)	1300.07	1300.07	3349340
velev-vliw-uns-4.0-9-i1.cnf	? (TO)	1300.07	1300.07	3349138
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	1300.07	1300.02	3349289
APPLICATIONS/bitverif/ smulo/smulo064.cnf	? (TO)	1300.07	1300.02	3349295
APPLICATIONS/crypto/ md5gen/gus-md5-12.cnf	? (TO)	1300.07	1300.02	3349297
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	1300.07	1300.02	3349296
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	1300.07	1300.02	3349102
APPLICATIONS/bitverif/ maxxororand/maxxororand064.cnf	? (TO)	1300.08	1300.03	3349293
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN.cnf	? (TO)	1300.08	1300.07	3349338
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtpmspalu-tseitin.cnf	? (TO)	1300.08	1300.03	3349245
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step21.cnf	? (TO)	1300.08	1300.04	3349180
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.used-as.sat04-719.cnf	? (TO)	1300.08	1300.09	3349280
application/manthey/traffic/ traffic_r_uc_sat.cnf	? (TO)	1300.08	1300.05	3349195
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom26.cnf	? (TO)	1300.08	1300.02	3349320
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom19.cnf	? (TO)	1300.08	1300.02	3349307
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k80.cnf	? (TO)	1300.08	1300.02	3349215
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top28.cnf	? (TO)	1300.08	1300.02	3349108
SAT03/industrial/li/li-exam/ li-exam-61.shuffled-as.sat03-366.cnf	? (TO)	1300.08	1300.02	3349275
SAT03/industrial/schuppan/l2s/ bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf	? (TO)	1300.08	1300.03	3349121
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_11_ooo.cnf	? (TO)	1300.08	1300.1	3349139
APPLICATIONS/bitverif/countbitswegner/ countbitswegner128.cnf	? (TO)	1300.09	1300.03	3349291
SAT03/industrial/schuppan/l2s/ valves-gates-1-k617-unsat.shuffled-as.sat03-412.cnf	? (TO)	1300.09	1300.03	3349122
APPLICATIONS/diagnosis/ UR-20-10p0.cnf	? (TO)	1300.09	1300.05	3349135
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	1300.09	1300.04	3349127
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-21-step11.cnf	? (TO)	1300.09	1300.05	3349239
application/rintanen/SATPlanning/ blocks-blocks-36-0.120-NOTKNOWN.cnf	? (TO)	1300.11	1300.08	3349268
application/leberre/ 2dimensionalstrippacking/E00X23.cnf	? (TO)	1300.11	1300.05	3349334
application/leberre/ 2dimensionalstrippacking/E00N23.cnf	? (TO)	1300.11	1300.05	3349335
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (TO)	1300.11	1300.05	3349103
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	? (TO)	1300.11	1300.07	3349104
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.used-as.sat04-347.cnf	? (TO)	1300.11	1300.08	3349123
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	? (TO)	1300.12	1300.06	3349136
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (TO)	1300.12	1300.08	3349129
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.045-NOTKNOWN.cnf	? (TO)	1300.12	1300.07	3349341
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	1300.12	1300.07	3349283
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN.cnf	? (TO)	1300.12	1300.09	3349337
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf	? (TO)	1300.12	1300.08	3349124
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.cnf	? (TO)	1300.13	1300.1	3349265
industrial/anbulagan/ hard-sat/partial-10-17-s.cnf	? (TO)	1300.14	1300.08	3349282
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.050-SAT.cnf	? (TO)	1300.14	1300.16	3349116
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.080-SAT.cnf	? (TO)	1300.14	1300.11	3349343
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf	? (TO)	1300.15	1300.11	3349342
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.050-NOTKNOWN.cnf	? (TO)	1300.15	1300.1	3349111
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.060-NOTKNOWN.cnf	? (TO)	1300.16	1300.1	3349112
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_k.cnf	? (TO)	1300.17	1300.14	3349140
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf	? (TO)	1300.17	1300.14	3349113
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	? (TO)	1300.19	1300.13	3349115
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	? (TO)	1300.2	1300.16	3349344
application/rintanen/SATPlanning/ transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.060-SAT.cnf	? (TO)	1300.2	1300.16	3349198
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	? (TO)	1300.2	1300.14	3349114

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

Result page for solver minisat hack: EBMiniSAT 2011-03-02 (incomplete)

Category "applications instances" (APPLICATION)

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

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

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