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.006998	0.012385	3380218
application/leberre/ 2dimensionalstrippacking/E07N15.cnf	UNSAT	0.009997	0.012942	3380238
application/leberre/ 2dimensionalstrippacking/E15N15.cnf	UNSAT	0.010997	0.0147591	3380239
SAT02/industrial/goldberg/rand_net/ rand_net60-30-1.shuffled.cnf	UNSAT	0.132978	0.132945	3380220
APPLICATIONS/bitverif/ minandmaxor/minandmaxor016.cnf	UNSAT	0.219966	0.220947	3380223
industrial/babic/dspam/ dspam_dump_vc949.cnf	UNSAT	0.479926	0.481278	3380221
industrial/babic/hsatv17/ hsat_vc12062.cnf	UNSAT	0.551915	0.555747	3380222
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-nusmvreactorp4-tseitin.cnf	UNSAT	0.636903	0.638578	3380227
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bc57sensorsp1-tseitin.cnf	UNSAT	0.685895	0.687276	3380228
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp3-tseitin.cnf	UNSAT	0.888864	0.893056	3380229
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp2-tseitin.cnf	UNSAT	0.895863	0.896691	3380230
application/leberre/ 2dimensionalstrippacking/E04N18.cnf	UNSAT	1.2858	1.29805	3380241
application/leberre/ 2dimensionalstrippacking/E03N17.cnf	UNSAT	1.85072	1.85025	3380240
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvqis8x8p2-tseitin.cnf	UNSAT	2.56861	2.58363	3380235
SAT02/industrial/goldberg/rand_net/ rand_net60-25-10.shuffled.cnf	UNSAT	3.01454	3.0146	3380219
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtswvsam6x8p3-tseitin.cnf	UNSAT	3.16652	3.1675	3380234
SAT-Race-2010-CNF/software-verification/ nec/hard-25-U-7061.cnf	UNSAT	3.20751	3.21602	3380226
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step11.cnf	UNSAT	3.57246	3.57683	3380385
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_004_127_112-tseitin.cnf	UNSAT	4.02439	4.02594	3380399
SAT-Race-2010-CNF/software-verification/ nec/hard-6-U-7061.cnf	UNSAT	4.46232	4.46476	3380225
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf	UNSAT	5.18121	5.20182	3380232
APPLICATIONS/diagnosis/ UTI-20-10t0.cnf	UNSAT	6.53301	6.53593	3380224
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bjrb07amba2andenv-tseitin.cnf	UNSAT	6.56	6.56038	3380231
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvrod6x8p1-tseitin.cnf	UNSAT	6.566	6.56813	3380236
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-ext_con_032_008_0256-tseitin.cnf	UNSAT	6.68498	6.68622	3380237
application/leberre/ 2dimensionalstrippacking/E05X15.cnf	UNSAT	8.00678	8.01456	3380402
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns2p3-tseitin.cnf	UNSAT	8.33073	8.33321	3380233
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-nlzbe256-tseitin.cnf	UNSAT	11.1313	11.1319	3380400
SAT04/industrial/hoonsang/vis-bmc/ dekker.used-as.sat04-989.cnf	UNSAT	11.4373	11.4445	3380356
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_063_080-tseitin.cnf	UNSAT	15.3497	15.3562	3380398
application/fuhs/ AProVE11/AProVE11-11.cnf	UNSAT	17.6503	17.6513	3380381
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step15.cnf	UNSAT	19.1081	19.1124	3380389
SAT-Race-2010-CNF/software-verification/ nec/hard-18-U-10652.cnf	UNSAT	19.517	19.6341	3380380
industrial/palacios/medium/ blocks-4-ipc5-h21-unknown.cnf	UNSAT	21.6277	21.6276	3380366
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_079_112-tseitin.cnf	UNSAT	21.6647	21.6681	3380401
SAT03/industrial/simon/sat02/ 6pipe_6_ooo.shuffled-as.sat03-413.cnf	UNSAT	23.2455	23.2447	3380355
velev-pipe-o-uns-1.1-6.cnf	UNSAT	23.3954	23.395	3380374
application/rintanen/SATPlanning/ grid-strips-grid-y-4.025-NOTKNOWN.cnf	UNSAT	26.139	26.1455	3380415
manol-pipe-c6bidw_i.cnf	UNSAT	30.1824	30.1838	3380376
application/leberre/ 2dimensionalstrippacking/korf-15.cnf	UNSAT	40.3319	40.3338	3380403
SAT04/industrial/hoonsang/vis-bmc/ all.used-as.sat04-986.cnf	UNSAT	40.8058	40.8085	3380357
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtviseisenberg2-tseitin.cnf	UNSAT	44.7472	44.7726	3380396
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	UNSAT	52.897	52.8973	3380372
SAT-Race-2010-CNF/hardware-verification/ manolios/c10idw_i.cnf	UNSAT	56.7544	56.7576	3380379
APPLICATIONS/diagnosis/ ACG-10-10p0.cnf	UNSAT	59.8289	59.8278	3380371
manol-pipe-f7nidw.cnf	UNSAT	74.8276	74.826	3380377
industrial/anbulagan/ medium-unsat/dated-5-11-u.cnf	UNSAT	76.6893	76.6884	3380358
application/leberre/ 2dimensionalstrippacking/E02F17.cnf	UNSAT	84.5231	84.5255	3380404
industrial/manolios/ manol-pipe-f7idw.cnf	UNSAT	85.609	85.6077	3380365
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	UNSAT	87.3587	87.363	3380368
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w9.shuffled.cnf	UNSAT	89.6364	89.6347	3380354
SAT02/industrial/goldberg/rand_net/ rand_net60-40-10.shuffled.cnf	UNSAT	109.429	109.461	3380352
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsm5378d2-tseitin.cnf	UNSAT	111.103	111.104	3380391
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	UNSAT	130.345	130.343	3380370
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	UNSAT	149.089	149.102	3380367
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step13.cnf	UNSAT	163.258	163.37	3380390
application/rintanen/SATPlanning/ blocks-blocks-37-1.120-NOTKNOWN.cnf	UNSAT	166.819	166.815	3380417
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtviseisenberg1-tseitin.cnf	UNSAT	194.57	194.571	3380395
velev-pipe-o-uns-1.0-7.cnf	UNSAT	230.673	230.669	3380375
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.030-NOTKNOWN.cnf	UNSAT	269.642	269.636	3380412
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom12.cnf	UNSAT	312.076	312.08	3380382
industrial/fuhs/medium/ AProVE07-21.cnf	UNSAT	312.471	312.475	3380360
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom13.cnf	UNSAT	364.661	364.651	3380383
SAT02/industrial/goldberg/rand_net/ rand_net70-60-10.shuffled.cnf	UNSAT	375.902	375.897	3380353
APPLICATIONS/ bitverif/maxxor/maxxor032.cnf	UNSAT	405.714	405.731	3380369
application/manthey/traffic/ traffic_fb_unknown.cnf	UNSAT	450.375	450.366	3380411
application/manthey/traffic/ traffic_b_unsat.cnf	UNSAT	463.548	463.547	3380408
application/rintanen/SATPlanning/ grid-strips-grid-y-3.035-NOTKNOWN.cnf	UNSAT	476.637	476.622	3380414
SAT02/industrial/dellacherie/ comb/comb1.shuffled.cnf	UNSAT	476.718	476.711	3380420
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step15.cnf	UNSAT	502.82	502.805	3380388
application/manthey/traffic/ traffic_f_unknown.cnf	UNSAT	506.46	506.447	3380409
application/manthey/traffic/ traffic_pcb_unknown.cnf	UNSAT	510.517	510.51	3380410
application/manthey/traffic/ traffic_kkb_unknown.cnf	UNSAT	520.471	520.457	3380407
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	UNSAT	595.323	595.313	3380373
application/manthey/traffic/ traffic_3b_unknown.cnf	UNSAT	599.277	599.261	3380406
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq57_a.cnf	UNSAT	665.915	665.903	3380289
manol-pipe-c10nidw.cnf	UNSAT	731.563	731.544	3380378
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq60_a.cnf	UNSAT	802.03	802.056	3380290
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_k.cnf	UNSAT	836.754	836.734	3380288
application/leberre/ 2dimensionalstrippacking/korf-17.cnf	UNSAT	848.617	848.6	3380405
SAT02/industrial/aloul/ Homer/homer14.shuffled.cnf	UNSAT	892.218	892.221	3380351
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-13-step17.cnf	UNSAT	1057.36	1057.34	3380384

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT05/industrial/maris05/DriverLog/ driverlog1_ks99i.renamed-as.sat05-3951.cnf	SAT	0.002998	0.0161761	3380301
SAT05/industrial/maris05/DriverLog/ driverlog3_v01a.renamed-as.sat05-3963.cnf	SAT	0.003999	0.0159881	3380198
SAT02/industrial/aloul/ Bart/bart17.shuffled.cnf	SAT	0.004998	0.0161929	3380194
SAT02/industrial/biere/ dinphil/dp04s04.shuffled.cnf	SAT	0.007997	0.01235	3380195
SAT05/industrial/maris05/Rovers/ rovers1_ks99i.renamed-as.sat05-3971.cnf	SAT	0.007998	0.0162911	3380200
application/kullmann/AES/Benchmarks/ 32/aes_32_1_keyfind_1.cnf	SAT	0.016996	0.018298	3380216
SAT05/industrial/maris05/Ferry/ ferry5_ks99i.renamed-as.sat05-3994.cnf	SAT	0.017997	0.018987	3380199
SAT02/industrial/biere/ dinphil/dp10s10.shuffled.cnf	SAT	0.073988	0.077279	3380196
SAT02/industrial/goldberg/fpga_routing/ vda_gr_rcs_w9.shuffled.cnf	SAT	0.407937	0.420861	3380197
application/fuhs/ AProVE11/AProVE11-12.cnf	SAT	0.434933	0.436335	3380203
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step12.cnf	SAT	0.569912	0.572141	3380210
application/fuhs/ AProVE11/AProVE11-09.cnf	SAT	0.659899	0.661848	3380205
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_15_SAT.cnf	SAT	0.973851	0.973444	3380316
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf	SAT	0.985849	0.998827	3380214
application/fuhs/ AProVE11/AProVE11-16.cnf	SAT	1.02284	1.03528	3380206
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_18_SAT.cnf	SAT	1.3348	1.33499	3380317
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-servers_slapd_a_vc149789-tseitin.cnf	SAT	1.39679	1.41205	3380333
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-src_wget_vc18517-tseitin.cnf	SAT	1.54576	1.54715	3380212
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libmsrpc_vc1225336-tseitin.cnf	SAT	1.70574	1.7213	3380213
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbsharemodes_vc5759-tseitin.cnf	SAT	1.71474	1.71665	3380211
APPLICATIONS/diagnosis/ UTI-10-5t1.cnf	SAT	1.99969	2.001	3380201
SAT04/industrial/vangelder/cnf-color/ abb313GPIA-9-tr.used-as.sat04-321.cnf	SAT	2.01469	2.01718	3380295
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbclient_vc1228502-tseitin.cnf	SAT	2.41263	2.42471	3380215
application/fuhs/ AProVE11/AProVE11-02.cnf	SAT	2.65759	2.66775	3380207
APPLICATIONS/diagnosis/ UTI-20-10t1.cnf	SAT	3.2555	3.26301	3380202
application/fuhs/ AProVE11/AProVE11-07.cnf	SAT	4.30435	4.31298	3380208
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	SAT	4.67429	4.67876	3380308
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf	SAT	5.40018	5.42281	3380344
application/kullmann/AES/Benchmarks/ 32/aes_32_2_keyfind_1.cnf	SAT	7.2329	7.23501	3380334
application/fuhs/ AProVE11/AProVE11-13.cnf	SAT	7.42387	7.42643	3380209
application/leberre/ 2dimensionalstrippacking/E05F18.cnf	SAT	8.68568	8.69129	3380217
application/manthey/ traffic/traffic_r_sat.cnf	SAT	10.8483	10.853	3380342
application/fuhs/ AProVE11/AProVE11-15.cnf	SAT	11.4553	11.4575	3380204
ibm-2002-21r-k95.cnf	SAT	13.397	13.3968	3380318
application/fuhs/ AProVE11/AProVE11-10.cnf	SAT	13.4999	13.5147	3380326
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	SAT	15.5766	15.5817	3380309
ibm-2004-01-k90.cnf	SAT	17.0044	19.6447	3380320
SAT_RACE08/Q1/ SAT_dat.k80_04.cnf	SAT	18.4792	18.4872	3380323
SAT-Race-2010-CNF/cryptography/ mizh/sha0_36_5.cnf	SAT	21.1548	21.1562	3380255
application/rintanen/SATPlanning/ blocks-blocks-37-1.150-SAT.cnf	SAT	27.6858	27.7205	3380348
application/rintanen/SATPlanning/ blocks-blocks-36-0.170-NOTKNOWN.cnf	SAT	29.9444	29.977	3380349
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step14.cnf	SAT	30.6413	30.6525	3380332
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-30-step11.cnf	SAT	35.7106	35.7269	3380331
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	SAT	39.8809	39.893	3380311
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug6_q0.used-as.sat04-725.cnf	SAT	43.9963	44.0141	3380297
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step16.cnf	SAT	45.764	45.7871	3380329
mizh-sha0-36-4.cnf	SAT	48.6226	48.6254	3380448
application/rintanen/SATPlanning/ blocks-blocks-36-0.160-NOTKNOWN.cnf	SAT	49.6305	49.6708	3380347
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug4_q0.used-as.sat04-723.cnf	SAT	50.4293	50.4418	3380298
SAT05/industrial/grieu05/vmpc/ vmpc_25.renamed-as.sat05-1913.cnf	SAT	50.4573	50.4559	3380299
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	SAT	55.0776	55.0781	3380307
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	SAT	65.96	66.2487	3380249
application/leberre/ 2dimensionalstrippacking/E05F20.cnf	SAT	66.3989	66.4128	3380338
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf	SAT	76.5184	76.5268	3380304
application/manthey/traffic/ traffic_r_uc_sat.cnf	SAT	79.8549	79.8606	3380343
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	SAT	82.4165	82.4185	3380306
application/leberre/ 2dimensionalstrippacking/E04F20.cnf	SAT	83.8822	83.9037	3380339
ibm-2004-23-k100.cnf	SAT	87.3087	87.31	3380321
application/leberre/ 2dimensionalstrippacking/E04F19.cnf	SAT	89.3244	89.3247	3380336
velev-npe-1.0-9dlx-b71.cnf	SAT	89.6264	89.6536	3380254
velev-pipe-sat-1.0-b9.cnf	SAT	89.8353	89.8352	3380319
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug6.cnf	SAT	98.869	98.8919	3380305
APPLICATIONS/diagnosis/ UR-10-10p1.cnf	SAT	107.947	107.951	3380312
APPLICATIONS/diagnosis/ ACG-15-5p1.cnf	SAT	139.598	139.613	3380313
application/rintanen/SATPlanning/ transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.060-SAT.cnf	SAT	151.676	151.715	3380346
application/manthey/traffic/ traffic_3_uc_sat.cnf	SAT	181.908	181.919	3380341
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_19_UNKNOWN.cnf	SAT	188.137	188.135	3380253
application/rintanen/SATPlanning/ blocks-blocks-36-0.180-SAT.cnf	SAT	192.588	192.593	3380350
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step16.cnf	SAT	216.688	216.691	3380330
application/leberre/ 2dimensionalstrippacking/E02F20.cnf	SAT	233.968	233.961	3380337
SAT05/industrial/narain05/vpn/ clauses-8.renamed-as.sat05-1964.cnf	SAT	293.937	293.944	3380245
SAT-Race-2010-CNF/cryptography/ mizh/md5_48_3.cnf	SAT	392.172	392.185	3380325
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	SAT	483.994	483.989	3380315
application/leberre/ 2dimensionalstrippacking/E02F22.cnf	SAT	551.362	551.352	3380340
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	SAT	587.233	587.225	3380310
SAT05/industrial/grieu05/vmpc/ vmpc_29.renamed-as.sat05-1916.cnf	SAT	626.571	626.56	3380300
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top29.cnf	SAT	637.81	637.916	3380327
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	SAT	686.545	686.525	3380246
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	SAT	716.535	716.526	3380314
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	SAT	719.661	719.638	3380252
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf	SAT	896.668	896.698	3380303
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	SAT	1004.4	1004.41	3380302

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k100.cnf	? (TO)	1295.49	1300.04	3380364
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	1299.59	1300.01	3380434
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom24.cnf	? (TO)	1299.74	1300.02	3380464
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top22.cnf	? (TO)	1299.87	1300.02	3380459
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	1299.97	1300.02	3380442
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-21-step11.cnf	? (TO)	1299.98	1300.05	3380387
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvissoap1-tseitin.cnf	? (TO)	1299.98	1300.04	3380397
APPLICATIONS/bitverif/ smulo/smulo064.cnf	? (TO)	1299.99	1300.02	3380443
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	1300	1300.04	3380275
application/leberre/ 2dimensionalstrippacking/E00N23.cnf	? (TO)	1300	1300.04	3380483
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step21.cnf	? (TO)	1300	1300.03	3380328
ibm-2002-30r-k85.cnf	? (TO)	1300	1300.03	3380322
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtpmspalu-tseitin.cnf	? (TO)	1300	1300.01	3380393
application/kullmann/AES/Benchmarks/ 128/aes_128_10_keyfind_1.cnf	? (TO)	1300.01	1300.02	3380476
SAT02/industrial/aloul/ Homer/homer17.shuffled.cnf	? (TO)	1300.01	1300.01	3380419
APPLICATIONS/crypto/ md5gen/gus-md5-12.cnf	? (TO)	1300.02	1300.02	3380445
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom14.cnf	? (TO)	1300.02	1300.02	3380450
SAT03/industrial/schuppan/l2s/ valves-gates-1-k617-unsat.shuffled-as.sat03-412.cnf	? (TO)	1300.03	1300.03	3380270
SAT05/industrial/grieu05/vmpc/ vmpc_36.renamed-as.sat05-1922.cnf	? (TO)	1300.03	1300.02	3380429
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	1300.03	1300.04	3380280
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	1300.03	1300.02	3380276
application/leberre/ 2dimensionalstrippacking/korf-18.cnf	? (TO)	1300.03	1300.02	3380294
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k80.cnf	? (TO)	1300.03	1300.03	3380363
SAT04/industrial/vangelder/cnf-color/ myciel6-tr.used-as.sat04-320.cnf	? (TO)	1300.03	1300.02	3380427
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top26.cnf	? (TO)	1300.03	1300.02	3380467
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom20.cnf	? (TO)	1300.03	1300.02	3380456
application/kullmann/AES/Benchmarks/ 64/aes_64_3_keyfind_1.cnf	? (TO)	1300.04	1300.01	3380480
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	1300.04	1300.02	3380437
application/kullmann/AES/Benchmarks/ 32/aes_32_3_keyfind_1.cnf	? (TO)	1300.04	1300.01	3380258
application/kullmann/AES/Benchmarks/ 32/aes_32_4_keyfind_1.cnf	? (TO)	1300.04	1300.01	3380477
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	1300.04	1300.02	3380435
SAT05/industrial/grieu05/vmpc/ vmpc_34.renamed-as.sat05-1926.cnf	? (TO)	1300.04	1300.02	3380243
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w8.shuffled.cnf	? (TO)	1300.04	1300.02	3380421
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	1300.04	1300.02	3380273
SAT03/industrial/kukula/addm_bench/ am_7_7.shuffled-as.sat03-363.cnf	? (TO)	1300.04	1300.02	3380422
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsmhdlc2-tseitin.cnf	? (TO)	1300.04	1300.02	3380292
application/kullmann/AES/Benchmarks/ 32/aes_32_5_keyfind_1.cnf	? (TO)	1300.04	1300.01	3380478
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmsgoodbakery-tseitin.cnf	? (TO)	1300.05	1300.02	3380394
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top28.cnf	? (TO)	1300.05	1300.02	3380256
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top25.cnf	? (TO)	1300.05	1300.02	3380465
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom19.cnf	? (TO)	1300.05	1300.03	3380455
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top24.cnf	? (TO)	1300.05	1300.02	3380463
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k45.cnf	? (TO)	1300.05	1300.02	3380362
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	1300.05	1300.03	3380247
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	1300.05	1300.02	3380285
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN.cnf	? (TO)	1300.05	1300.02	3380485
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-eijkbs6669-tseitin.cnf	? (TO)	1300.05	1300.04	3380293
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	1300.05	1300.02	3380447
application/kullmann/AES/Benchmarks/ 64/aes_64_1_keyfind_1.cnf	? (TO)	1300.05	1300.02	3380335
application/fuhs/ AProVE11/AProVE11-06.cnf	? (TO)	1300.05	1300.03	3380291
industrial/fuhs/hard/ AProVE07-03.cnf	? (TO)	1300.05	1300.01	3380359
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	1300.05	1300.02	3380279
application/kullmann/AES/Benchmarks/ 128/aes_128_1_keyfind_1.cnf	? (TO)	1300.05	1300.02	3380473
velev-vliw-uns-4.0-9-i1.cnf	? (TO)	1300.05	1300.1	3380286
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns3p00-tseitin.cnf	? (TO)	1300.05	1300.03	3380470
SAT03/industrial/li/li-exam/ li-exam-61.shuffled-as.sat03-366.cnf	? (TO)	1300.05	1300.02	3380423
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtpmsns2-tseitin.cnf	? (TO)	1300.05	1300.01	3380392
SAT03/industrial/schuppan/l2s/ bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf	? (TO)	1300.05	1300.03	3380269
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	1300.06	1300.02	3380250
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-VS3-benchmark-S2-tseitin.cnf	? (TO)	1300.06	1300.02	3380472
SAT02/industrial/aloul/ Homer/homer16.shuffled.cnf	? (TO)	1300.06	1300.02	3380265
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf	? (TO)	1300.06	1300.09	3380272
SAT03/industrial/schuppan/l2s/ dme-03-1-k247-unsat.shuffled-as.sat03-407.cnf	? (TO)	1300.06	1300.03	3380426
SAT03/industrial/goldberg/hard_eq_check/ k2mul.miter.shuffled-as.sat03-355.cnf	? (TO)	1300.06	1300.02	3380268
SAT03/industrial/goldberg/hard_eq_check/ x1mul.miter.shuffled-as.sat03-359.cnf	? (TO)	1300.06	1300.02	3380266
SAT03/industrial/goldberg/hard_eq_check/ c6288mul.miter.shuffled-as.sat03-346.cnf	? (TO)	1300.06	1300.02	3380267
SAT03/industrial/maris/CNF/ gripper13u.shuffled-as.sat03-395.cnf	? (TO)	1300.06	1300.02	3380425
application/kullmann/AES/Benchmarks/ 128/aes_128_2_keyfind_1.cnf	? (TO)	1300.06	1300.02	3380474
application/kullmann/AES/Benchmarks/ 128/aes_128_3_keyfind_1.cnf	? (TO)	1300.06	1300.02	3380475
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom23.cnf	? (TO)	1300.06	1300.02	3380462
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom21.cnf	? (TO)	1300.06	1300.02	3380458
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom17.cnf	? (TO)	1300.06	1300.02	3380453
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom22.cnf	? (TO)	1300.06	1300.02	3380460
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom16.cnf	? (TO)	1300.06	1300.02	3380452
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom18.cnf	? (TO)	1300.06	1300.02	3380454
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top30.cnf	? (TO)	1300.06	1300.02	3380257
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top23.cnf	? (TO)	1300.06	1300.03	3380461
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom15.cnf	? (TO)	1300.06	1300.02	3380451
SAT05/industrial/grieu05/vmpc/ vmpc_35.renamed-as.sat05-1921.cnf	? (TO)	1300.06	1300.02	3380244
SAT05/industrial/grieu05/vmpc/ vmpc_32.renamed-as.sat05-1919.cnf	? (TO)	1300.06	1300.02	3380242
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvisns3p02-tseitin.cnf	? (TO)	1300.06	1300.03	3380469
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-countbits128-tseitin.cnf	? (TO)	1300.06	1300.02	3380471
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step20.cnf	? (TO)	1300.06	1300.03	3380386
industrial/palacios/medium/ cube-11-h14-sat.cnf	? (TO)	1300.06	1300.03	3380248
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k20.cnf	? (TO)	1300.06	1300.02	3380361
industrial/crypto/ mizh-sha0-36-2.cnf	? (TO)	1300.06	1300.03	3380432
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	1300.06	1300.02	3380433
APPLICATIONS/bitverif/countbitsarray/ countbitsarray04_32.cnf	? (TO)	1300.06	1300.02	3380436
APPLICATIONS/bitverif/ countbitssrl/countbitssrl064.cnf	? (TO)	1300.06	1300.02	3380438
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	1300.06	1300.02	3380282
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	1300.06	1300.01	3380444
application/kullmann/AES/Benchmarks/ 64/aes_64_4_keyfind_1.cnf	? (TO)	1300.07	1300.02	3380481
application/kullmann/AES/Benchmarks/ 64/aes_64_2_keyfind_1.cnf	? (TO)	1300.07	1300.02	3380479
APPLICATIONS/bitverif/countbitswegner/ countbitswegner128.cnf	? (TO)	1300.07	1300.03	3380439
SAT04/industrial/vangelder/ cnf-color/abb313GPIA-9-c.used-as.sat04-317.cnf	? (TO)	1300.07	1300.03	3380296
SAT03/industrial/li/li-test4/ li-test4-100.shuffled-as.sat03-370.cnf	? (TO)	1300.07	1300.04	3380424
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom26.cnf	? (TO)	1300.07	1300.02	3380468
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom25.cnf	? (TO)	1300.07	1300.03	3380466
APPLICATIONS/bitverif/ maxxororand/maxxororand064.cnf	? (TO)	1300.07	1300.03	3380441
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top21.cnf	? (TO)	1300.07	1300.02	3380457
industrial/anbulagan/ hard-sat/partial-10-17-s.cnf	? (TO)	1300.08	1300.09	3380430
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	1300.08	1300.02	3380446
SAT_RACE08/Q1/ SAT_dat.k85.cnf	? (TO)	1300.08	1300.04	3380324
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	1300.08	1300.04	3380278
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.used-as.sat04-347.cnf	? (TO)	1300.08	1300.08	3380271
industrial/anbulagan/ hard-unsat/dated-10-17-u.cnf	? (TO)	1300.08	1300.04	3380274
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.025-NOTKNOWN.cnf	? (TO)	1300.09	1300.09	3380484
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.045-NOTKNOWN.cnf	? (TO)	1300.09	1300.06	3380489
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (TO)	1300.09	1300.05	3380281
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	1300.09	1300.04	3380440
application/leberre/ 2dimensionalstrippacking/E00X23.cnf	? (TO)	1300.09	1300.05	3380482
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.035-NOTKNOWN.cnf	? (TO)	1300.09	1300.06	3380487
APPLICATIONS/diagnosis/ UR-20-10p0.cnf	? (TO)	1300.1	1300.06	3380283
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (TO)	1300.1	1300.09	3380277
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	1300.1	1300.06	3380431
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (TO)	1300.1	1300.06	3380251
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	? (TO)	1300.11	1300.07	3380284
application/rintanen/SATPlanning/ blocks-blocks-36-0.120-NOTKNOWN.cnf	? (TO)	1300.11	1300.08	3380416
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.045-NOTKNOWN.cnf	? (TO)	1300.12	1300.07	3380488
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.cnf	? (TO)	1300.13	1300.1	3380413
SAT-Race-2010-CNF/hardware-verification/ velev/2dlx_ca_bp_f_liveness.cnf	? (TO)	1300.13	1300.09	3380449
application/rintanen/SATPlanning/ blocks-blocks-37-1.130-NOTKNOWN.cnf	? (TO)	1300.13	1300.09	3380418
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.080-SAT.cnf	? (TO)	1300.14	1300.11	3380491
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.used-as.sat04-719.cnf	? (TO)	1300.14	1300.11	3380428
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.060-NOTKNOWN.cnf	? (TO)	1300.14	1300.11	3380260
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.050-NOTKNOWN.cnf	? (TO)	1300.14	1300.11	3380259
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN.cnf	? (TO)	1300.14	1300.08	3380486
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf	? (TO)	1300.15	1300.11	3380490
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf	? (TO)	1300.16	1300.13	3380261
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.050-SAT.cnf	? (TO)	1300.16	1300.13	3380264
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	? (TO)	1300.17	1300.14	3380492
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_11_ooo.cnf	? (TO)	1300.18	1300.13	3380287
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	? (TO)	1300.18	1300.15	3380262
application/rintanen/SATPlanning/ transport-transport-two-cities-sequential-15nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.040-SAT.cnf	? (TO)	1300.18	1300.18	3380345
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	? (TO)	1300.19	1300.16	3380263
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	? (TO)	1300.21	1300.17	3380493

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

Result page for solver minisat hack: cir_minisat 2011-05-13 (simp) (complete)

Category "applications instances" (APPLICATION)

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

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

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