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.011997	0.0119191	3366070
application/leberre/ 2dimensionalstrippacking/E07N15.cnf	UNSAT	0.031994	0.0321189	3365972
application/leberre/ 2dimensionalstrippacking/E15N15.cnf	UNSAT	0.075987	0.0764289	3365974
SAT02/industrial/goldberg/rand_net/ rand_net60-30-1.shuffled.cnf	UNSAT	0.159975	0.160305	3366054
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-ext_con_032_008_0256-tseitin.cnf	UNSAT	0.365943	0.368515	3365808
APPLICATIONS/bitverif/ minandmaxor/minandmaxor016.cnf	UNSAT	0.422935	0.422567	3365576
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-nusmvreactorp4-tseitin.cnf	UNSAT	1.09383	1.09446	3365830
industrial/babic/dspam/ dspam_dump_vc949.cnf	UNSAT	1.17182	1.17329	3365524
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bc57sensorsp1-tseitin.cnf	UNSAT	1.34879	1.35896	3365832
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp3-tseitin.cnf	UNSAT	1.54576	1.55055	3365846
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp2-tseitin.cnf	UNSAT	1.9897	1.99117	3365824
application/leberre/ 2dimensionalstrippacking/E03N17.cnf	UNSAT	2.08468	2.08482	3365950
application/leberre/ 2dimensionalstrippacking/E04N18.cnf	UNSAT	2.40063	2.40744	3365966
industrial/babic/hsatv17/ hsat_vc12062.cnf	UNSAT	3.23751	10.4172	3365526
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvqis8x8p2-tseitin.cnf	UNSAT	3.65044	3.66149	3365820
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtswvsam6x8p3-tseitin.cnf	UNSAT	4.26735	4.29129	3365836
SAT04/industrial/hoonsang/vis-bmc/ dekker.used-as.sat04-989.cnf	UNSAT	5.43317	5.43494	3366006
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf	UNSAT	5.46617	5.46915	3365844
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns2p3-tseitin.cnf	UNSAT	5.70513	5.70878	3365822
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step11.cnf	UNSAT	7.11492	7.11911	3365768
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bjrb07amba2andenv-tseitin.cnf	UNSAT	7.16091	7.16055	3365810
SAT-Race-2010-CNF/software-verification/ nec/hard-18-U-10652.cnf	UNSAT	8.5287	8.52861	3366088
APPLICATIONS/diagnosis/ UTI-20-10t0.cnf	UNSAT	9.05362	9.0904	3365632
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvrod6x8p1-tseitin.cnf	UNSAT	9.66453	9.66387	3365828
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step15.cnf	UNSAT	11.2913	26.4165	3365772
SAT-Race-2010-CNF/software-verification/ nec/hard-6-U-7061.cnf	UNSAT	11.6522	11.6534	3366090
SAT-Race-2010-CNF/software-verification/ nec/hard-25-U-7061.cnf	UNSAT	11.7222	11.7265	3366092
application/rintanen/SATPlanning/ grid-strips-grid-y-4.025-NOTKNOWN.cnf	UNSAT	12.7061	28.437	3365748
industrial/palacios/medium/ blocks-4-ipc5-h21-unknown.cnf	UNSAT	13.5359	13.5365	3365522
SAT02/industrial/goldberg/rand_net/ rand_net60-25-10.shuffled.cnf	UNSAT	16.4195	16.4242	3366058
manol-pipe-c6bidw_i.cnf	UNSAT	19.844	19.8451	3365564
application/fuhs/ AProVE11/AProVE11-11.cnf	UNSAT	21.9807	21.9793	3365694
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-nlzbe256-tseitin.cnf	UNSAT	25.1082	25.111	3365796
SAT04/industrial/hoonsang/vis-bmc/ all.used-as.sat04-986.cnf	UNSAT	29.0056	29.005	3366008
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtviseisenberg2-tseitin.cnf	UNSAT	32.637	32.6377	3365848
industrial/anbulagan/ medium-unsat/dated-5-11-u.cnf	UNSAT	35.9155	35.9185	3365494
APPLICATIONS/diagnosis/ ACG-10-10p0.cnf	UNSAT	35.9225	35.9239	3365628
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtviseisenberg1-tseitin.cnf	UNSAT	39.166	39.1688	3365826
application/leberre/ 2dimensionalstrippacking/E05X15.cnf	UNSAT	39.9689	39.9684	3365964
SAT-Race-2010-CNF/hardware-verification/ manolios/c10idw_i.cnf	UNSAT	40.3029	40.3043	3366076
application/leberre/ 2dimensionalstrippacking/E02F17.cnf	UNSAT	41.2197	41.2185	3365948
industrial/manolios/ manol-pipe-f7idw.cnf	UNSAT	44.2923	44.3064	3365534
manol-pipe-f7nidw.cnf	UNSAT	47.6148	47.6231	3365568
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	UNSAT	55.8455	55.8451	3365634
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step13.cnf	UNSAT	68.3446	68.3489	3365776
application/leberre/ 2dimensionalstrippacking/korf-15.cnf	UNSAT	77.0563	77.0557	3365944
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsm5378d2-tseitin.cnf	UNSAT	90.4562	90.456	3365834
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	UNSAT	97.4652	97.5049	3365620
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom12.cnf	UNSAT	108.357	108.358	3365892
application/rintanen/SATPlanning/ blocks-blocks-37-1.120-NOTKNOWN.cnf	UNSAT	112.376	112.398	3365700
SAT03/industrial/simon/sat02/ 6pipe_6_ooo.shuffled-as.sat03-413.cnf	UNSAT	115.935	115.969	3365978
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.030-NOTKNOWN.cnf	UNSAT	128.679	128.692	3365750
industrial/fuhs/medium/ AProVE07-21.cnf	UNSAT	159.779	159.79	3365510
application/manthey/traffic/ traffic_pcb_unknown.cnf	UNSAT	191.812	191.81	3365864
application/manthey/traffic/ traffic_fb_unknown.cnf	UNSAT	195.101	195.103	3365852
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	UNSAT	195.188	195.198	3365618
application/manthey/traffic/ traffic_f_unknown.cnf	UNSAT	195.507	195.503	3365858
application/manthey/traffic/ traffic_b_unsat.cnf	UNSAT	214.973	214.978	3365866
application/manthey/traffic/ traffic_kkb_unknown.cnf	UNSAT	216.027	216.031	3365856
application/manthey/traffic/ traffic_3b_unknown.cnf	UNSAT	223.685	223.688	3365868
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_063_080-tseitin.cnf	UNSAT	225.507	225.516	3365784
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	UNSAT	265.055	265.053	3365624
manol-pipe-c10nidw.cnf	UNSAT	295.732	295.759	3365560
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step15.cnf	UNSAT	329.698	329.693	3365760
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmsgoodbakery-tseitin.cnf	UNSAT	347.39	347.513	3365840
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k45.cnf	UNSAT	350.772	350.767	3365538
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvissoap1-tseitin.cnf	UNSAT	380.029	380.026	3365842
velev-pipe-o-uns-1.0-7.cnf	UNSAT	448.131	448.138	3365674
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k100.cnf	UNSAT	456.041	456.03	3365542
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	UNSAT	471.245	471.238	3365642
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_079_112-tseitin.cnf	UNSAT	484.03	484.034	3365790
APPLICATIONS/ bitverif/maxxor/maxxor032.cnf	UNSAT	486.392	486.412	3365600
industrial/fuhs/hard/ AProVE07-03.cnf	UNSAT	527.927	527.918	3365514
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k80.cnf	UNSAT	573.467	573.465	3365536
application/rintanen/SATPlanning/ grid-strips-grid-y-3.035-NOTKNOWN.cnf	UNSAT	600.22	600.219	3365742
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtpmsns2-tseitin.cnf	UNSAT	706.262	706.251	3365818
SAT02/industrial/aloul/ Homer/homer14.shuffled.cnf	UNSAT	872.072	872.049	3366044
SAT02/industrial/goldberg/rand_net/ rand_net60-40-10.shuffled.cnf	UNSAT	943.391	943.375	3366056
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step20.cnf	UNSAT	988.004	987.992	3365764
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k20.cnf	UNSAT	1111.1	1111.1	3365540
application/leberre/ 2dimensionalstrippacking/korf-17.cnf	UNSAT	1124.4	1124.37	3365962
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	UNSAT	1152.85	1152.82	3365640
application/rintanen/SATPlanning/ blocks-blocks-37-1.130-NOTKNOWN.cnf	UNSAT	1172.05	1172.04	3365740
velev-pipe-o-uns-1.1-6.cnf	UNSAT	1195.23	1195.25	3365672
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-13-step17.cnf	UNSAT	1225.46	1225.42	3365782
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_004_127_112-tseitin.cnf	UNSAT	1263.94	1263.93	3365786
SAT03/industrial/goldberg/hard_eq_check/ x1mul.miter.shuffled-as.sat03-359.cnf	UNSAT	1532.2	1532.6	3365984
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.used-as.sat04-347.cnf	UNSAT	1570.1	1570.07	3366012
SAT03/industrial/schuppan/l2s/ bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf	UNSAT	1583.89	1584.09	3365996
SAT02/industrial/goldberg/rand_net/ rand_net70-60-10.shuffled.cnf	UNSAT	1656.48	1656.41	3366052
velev-vliw-uns-4.0-9-i1.cnf	UNSAT	1747.5	1747.6	3365558
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-21-step11.cnf	UNSAT	1784.9	1784.84	3365778
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w9.shuffled.cnf	UNSAT	1809	1808.95	3366064
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	UNSAT	2279.48	2279.43	3365548
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq57_a.cnf	UNSAT	2494.79	2494.74	3366080
SAT03/industrial/goldberg/hard_eq_check/ k2mul.miter.shuffled-as.sat03-355.cnf	UNSAT	2534.82	2534.75	3365986
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-eijkbs6669-tseitin.cnf	UNSAT	2589.94	2589.89	3365850
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsmhdlc2-tseitin.cnf	UNSAT	2891.73	2891.65	3365812
industrial/anbulagan/ hard-unsat/dated-10-17-u.cnf	UNSAT	3082.6	3082.84	3365504
SAT03/industrial/schuppan/l2s/ valves-gates-1-k617-unsat.shuffled-as.sat03-412.cnf	UNSAT	3174.17	3174.74	3365994
application/rintanen/SATPlanning/ blocks-blocks-36-0.120-NOTKNOWN.cnf	UNSAT	3209.39	3209.32	3365712
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	UNSAT	3284.96	3284.94	3365508
SAT03/industrial/goldberg/hard_eq_check/ c6288mul.miter.shuffled-as.sat03-346.cnf	UNSAT	3288.45	3288.33	3365982
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq60_a.cnf	UNSAT	3551.98	3551.92	3366078
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	UNSAT	3628.52	3628.46	3365530
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom13.cnf	UNSAT	3630.21	3630.13	3365890
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	UNSAT	3916.94	3916.88	3365502
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.cnf	UNSAT	4628.12	4627.99	3365720
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf	UNSAT	4746.19	4746.05	3366010
SAT02/industrial/aloul/ Homer/homer16.shuffled.cnf	UNSAT	4987.71	4987.55	3366046

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT05/industrial/maris05/DriverLog/ driverlog1_ks99i.renamed-as.sat05-3951.cnf	SAT	0.005998	0.0117739	3366032
SAT02/industrial/aloul/ Bart/bart17.shuffled.cnf	SAT	0.007998	0.013024	3366042
SAT05/industrial/maris05/DriverLog/ driverlog3_v01a.renamed-as.sat05-3963.cnf	SAT	0.007998	0.0118171	3366034
application/kullmann/AES/Benchmarks/ 32/aes_32_1_keyfind_1.cnf	SAT	0.012997	0.013189	3365936
SAT02/industrial/biere/ dinphil/dp04s04.shuffled.cnf	SAT	0.015997	0.0172641	3366066
SAT05/industrial/maris05/Rovers/ rovers1_ks99i.renamed-as.sat05-3971.cnf	SAT	0.018996	0.019356	3366036
SAT05/industrial/maris05/Ferry/ ferry5_ks99i.renamed-as.sat05-3994.cnf	SAT	0.050991	0.0513219	3366038
SAT02/industrial/goldberg/fpga_routing/ vda_gr_rcs_w9.shuffled.cnf	SAT	0.471927	0.471966	3366050
SAT02/industrial/biere/ dinphil/dp10s10.shuffled.cnf	SAT	0.631903	0.631917	3366068
application/fuhs/ AProVE11/AProVE11-09.cnf	SAT	1.16582	1.16687	3365686
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step12.cnf	SAT	1.3048	1.30543	3365774
application/fuhs/ AProVE11/AProVE11-16.cnf	SAT	1.81272	1.81252	3365682
APPLICATIONS/diagnosis/ UTI-10-5t1.cnf	SAT	2.03269	2.03267	3365636
application/fuhs/ AProVE11/AProVE11-12.cnf	SAT	2.42963	2.42918	3365678
application/fuhs/ AProVE11/AProVE11-15.cnf	SAT	2.70359	2.70401	3365680
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbsharemodes_vc5759-tseitin.cnf	SAT	3.02554	3.03188	3365804
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-src_wget_vc18517-tseitin.cnf	SAT	3.63445	3.63447	3365792
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libmsrpc_vc1225336-tseitin.cnf	SAT	3.70144	12.3882	3365802
application/leberre/ 2dimensionalstrippacking/E05F18.cnf	SAT	4.92425	4.93471	3365954
velev-pipe-sat-1.0-b9.cnf	SAT	5.16021	5.16499	3365670
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbclient_vc1228502-tseitin.cnf	SAT	5.34319	5.34411	3365798
application/fuhs/ AProVE11/AProVE11-07.cnf	SAT	5.39218	5.39135	3365684
application/fuhs/ AProVE11/AProVE11-02.cnf	SAT	5.8771	5.8766	3365696
application/manthey/ traffic/traffic_r_sat.cnf	SAT	6.583	6.59661	3365862
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug6.cnf	SAT	7.30489	7.3065	3365552
APPLICATIONS/diagnosis/ UTI-20-10t1.cnf	SAT	7.72083	7.73304	3365654
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	SAT	15.9956	16.0239	3365550
SAT_RACE08/Q1/ SAT_dat.k80_04.cnf	SAT	16.5075	16.5118	3365556
application/fuhs/ AProVE11/AProVE11-13.cnf	SAT	17.1224	17.1209	3365692
ibm-2002-21r-k95.cnf	SAT	19.515	19.5316	3365676
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf	SAT	19.795	21.7099	3365794
ibm-2004-01-k90.cnf	SAT	20.4809	20.4879	3365572
SAT05/industrial/grieu05/vmpc/ vmpc_25.renamed-as.sat05-1913.cnf	SAT	21.9737	21.9939	3366024
application/leberre/ 2dimensionalstrippacking/E05F20.cnf	SAT	24.6792	24.6791	3365976
application/leberre/ 2dimensionalstrippacking/E04F20.cnf	SAT	26.578	26.5798	3365960
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	SAT	31.4052	31.4075	3365606
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	SAT	31.7692	31.768	3365612
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	SAT	36.3425	36.3515	3365622
application/leberre/ 2dimensionalstrippacking/E04F19.cnf	SAT	40.6358	40.6367	3365952
APPLICATIONS/diagnosis/ UR-10-10p1.cnf	SAT	42.0846	42.0851	3365650
application/rintanen/SATPlanning/ blocks-blocks-36-0.160-NOTKNOWN.cnf	SAT	42.8345	42.8685	3365756
application/rintanen/SATPlanning/ blocks-blocks-36-0.180-SAT.cnf	SAT	43.8003	43.8357	3365710
application/leberre/ 2dimensionalstrippacking/E02F20.cnf	SAT	44.9062	44.911	3365946
application/rintanen/SATPlanning/ blocks-blocks-36-0.170-NOTKNOWN.cnf	SAT	47.2318	47.2301	3365716
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-30-step11.cnf	SAT	47.6008	47.6227	3365762
APPLICATIONS/diagnosis/ ACG-15-5p1.cnf	SAT	57.1103	57.1359	3365652
application/kullmann/AES/Benchmarks/ 32/aes_32_2_keyfind_1.cnf	SAT	63.3204	63.3183	3365934
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf	SAT	63.5393	63.5558	3365706
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step16.cnf	SAT	77.3512	77.352	3365758
application/manthey/traffic/ traffic_3_uc_sat.cnf	SAT	78.937	78.9426	3365860
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	SAT	79.093	79.0926	3365626
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step16.cnf	SAT	114.625	114.629	3365770
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step14.cnf	SAT	127.576	127.582	3365766
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug4_q0.used-as.sat04-723.cnf	SAT	168.253	168.264	3366018
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf	SAT	170.761	170.784	3365544
application/leberre/ 2dimensionalstrippacking/E02F22.cnf	SAT	175.2	175.224	3365958
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_18_SAT.cnf	SAT	192.209	192.208	3365658
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	SAT	196.885	196.882	3365616
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug6_q0.used-as.sat04-725.cnf	SAT	204.17	204.176	3366016
ibm-2004-23-k100.cnf	SAT	206.152	206.149	3365566
application/manthey/traffic/ traffic_r_uc_sat.cnf	SAT	232.249	232.267	3365854
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_15_SAT.cnf	SAT	241.108	241.113	3365662
application/rintanen/SATPlanning/ blocks-blocks-37-1.150-SAT.cnf	SAT	249.801	249.828	3365746
SAT_RACE08/Q1/ SAT_dat.k85.cnf	SAT	290.354	290.361	3365554
ibm-2002-30r-k85.cnf	SAT	317.744	317.77	3365570
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	SAT	377.45	377.44	3365644
application/rintanen/SATPlanning/ transport-transport-two-cities-sequential-15nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.040-SAT.cnf	SAT	392.621	392.617	3365726
SAT05/industrial/grieu05/vmpc/ vmpc_29.renamed-as.sat05-1916.cnf	SAT	420.186	420.178	3366022
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step21.cnf	SAT	452.086	452.088	3365780
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf	SAT	464.834	464.922	3365546
application/fuhs/ AProVE11/AProVE11-10.cnf	SAT	539.476	539.467	3365688
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	SAT	646.046	646.036	3365630
application/rintanen/SATPlanning/ transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.060-SAT.cnf	SAT	781.076	781.98	3365752
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	SAT	1000.85	1000.85	3365498
industrial/palacios/medium/ cube-11-h14-sat.cnf	SAT	1147.48	1147.48	3365520
SAT05/industrial/grieu05/vmpc/ vmpc_32.renamed-as.sat05-1919.cnf	SAT	1305.34	1305.31	3366026
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.060-NOTKNOWN.cnf	SAT	1419.22	1419.19	3365702
velev-npe-1.0-9dlx-b71.cnf	SAT	1658.59	1658.54	3365668
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	SAT	1706.94	1706.89	3365500
SAT05/industrial/grieu05/vmpc/ vmpc_35.renamed-as.sat05-1921.cnf	SAT	1761.96	1761.93	3366028
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	SAT	2133.72	2133.67	3365646
SAT-Race-2010-CNF/cryptography/ mizh/md5_48_3.cnf	SAT	2386.95	2386.88	3366074
SAT05/industrial/grieu05/vmpc/ vmpc_34.renamed-as.sat05-1926.cnf	SAT	2396.6	2396.52	3366020
SAT04/industrial/vangelder/cnf-color/ abb313GPIA-9-tr.used-as.sat04-321.cnf	SAT	2583.51	2583.46	3366000
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	SAT	2893.27	2893.17	3365648
SAT05/industrial/narain05/vpn/ clauses-8.renamed-as.sat05-1964.cnf	SAT	3161.31	3161.28	3366040
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top30.cnf	SAT	4132.91	4132.82	3365904

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w8.shuffled.cnf	? (TO)	5000	4999.92	3366062
SAT03/industrial/li/li-test4/ li-test4-100.shuffled-as.sat03-370.cnf	? (TO)	5000	4999.92	3365990
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom24.cnf	? (TO)	5000	4999.92	3365872
application/fuhs/ AProVE11/AProVE11-06.cnf	? (TO)	5000.01	4999.92	3365690
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-countbits128-tseitin.cnf	? (TO)	5000.01	4999.92	3365806
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	5000.01	4999.92	3365598
SAT03/industrial/maris/CNF/ gripper13u.shuffled-as.sat03-395.cnf	? (TO)	5000.01	4999.92	3365980
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.045-NOTKNOWN.cnf	? (TO)	5000.01	4999.92	3365732
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom14.cnf	? (TO)	5000.01	5000.02	3365902
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom18.cnf	? (TO)	5000.01	4999.91	3365906
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf	? (TO)	5000.01	4999.92	3365698
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom21.cnf	? (TO)	5000.01	4999.92	3365914
APPLICATIONS/bitverif/countbitswegner/ countbitswegner128.cnf	? (TO)	5000.01	4999.92	3365590
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	5000.01	4999.92	3365592
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN.cnf	? (TO)	5000.02	5000.12	3365736
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvisns3p02-tseitin.cnf	? (TO)	5000.02	5000.01	3365816
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	5000.02	4999.82	3365516
industrial/crypto/ mizh-sha0-36-2.cnf	? (TO)	5000.02	5000.12	3365532
SAT05/industrial/grieu05/vmpc/ vmpc_36.renamed-as.sat05-1922.cnf	? (TO)	5000.02	4999.92	3366030
SAT04/industrial/vangelder/ cnf-color/abb313GPIA-9-c.used-as.sat04-317.cnf	? (TO)	5000.02	4999.92	3366002
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	5000.02	4999.91	3365596
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf	? (TO)	5000.02	4999.92	3365728
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom25.cnf	? (TO)	5000.02	4999.92	3365878
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom26.cnf	? (TO)	5000.02	4999.82	3365874
application/leberre/ 2dimensionalstrippacking/E00X23.cnf	? (TO)	5000.03	4999.92	3365968
SAT03/industrial/li/li-exam/ li-exam-61.shuffled-as.sat03-366.cnf	? (TO)	5000.03	5000.02	3365988
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	5000.03	4999.92	3365506
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom22.cnf	? (TO)	5000.03	4999.92	3365910
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top28.cnf	? (TO)	5000.03	4999.92	3365900
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top22.cnf	? (TO)	5000.03	4999.92	3365882
industrial/anbulagan/ hard-sat/partial-10-17-s.cnf	? (TO)	5000.03	4999.82	3365496
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.050-SAT.cnf	? (TO)	5000.03	4999.92	3365730
SAT02/industrial/aloul/ Homer/homer17.shuffled.cnf	? (TO)	5000.03	4999.92	3366048
SAT02/industrial/dellacherie/ comb/comb1.shuffled.cnf	? (TO)	5000.03	4999.92	3366060
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	? (TO)	5000.03	4999.92	3365744
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	? (TO)	5000.03	5001.42	3365754
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	5000.03	4999.92	3365604
application/kullmann/AES/Benchmarks/ 32/aes_32_5_keyfind_1.cnf	? (TO)	5000.04	4999.91	3365938
application/kullmann/AES/Benchmarks/ 64/aes_64_1_keyfind_1.cnf	? (TO)	5000.04	4999.82	3365930
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_k.cnf	? (TO)	5000.04	5000.12	3366086
application/kullmann/AES/Benchmarks/ 128/aes_128_3_keyfind_1.cnf	? (TO)	5000.04	4999.92	3365918
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	5000.04	4999.92	3365666
APPLICATIONS/bitverif/countbitsarray/ countbitsarray04_32.cnf	? (TO)	5000.04	5000.02	3365594
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.025-NOTKNOWN.cnf	? (TO)	5000.04	4999.92	3365734
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtpmspalu-tseitin.cnf	? (TO)	5000.04	4999.91	3365814
APPLICATIONS/crypto/ md5gen/gus-md5-12.cnf	? (TO)	5000.04	4999.92	3365602
SAT03/industrial/kukula/addm_bench/ am_7_7.shuffled-as.sat03-363.cnf	? (TO)	5000.04	5000.12	3365992
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	5000.04	4999.92	3365578
application/leberre/ 2dimensionalstrippacking/korf-18.cnf	? (TO)	5000.04	4999.92	3365956
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns3p00-tseitin.cnf	? (TO)	5000.05	5000.02	3365838
APPLICATIONS/bitverif/ smulo/smulo064.cnf	? (TO)	5000.05	5000.02	3365586
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	5000.05	5000.12	3365660
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top24.cnf	? (TO)	5000.05	5000.02	3365888
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top25.cnf	? (TO)	5000.05	4999.82	3365898
application/kullmann/AES/Benchmarks/ 64/aes_64_2_keyfind_1.cnf	? (TO)	5000.05	5000.12	3365928
SAT03/industrial/schuppan/l2s/ dme-03-1-k247-unsat.shuffled-as.sat03-407.cnf	? (TO)	5000.05	4999.92	3365998
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_11_ooo.cnf	? (TO)	5000.05	5000.02	3366082
application/kullmann/AES/Benchmarks/ 128/aes_128_2_keyfind_1.cnf	? (TO)	5000.06	5000.02	3365920
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	5000.06	5000.02	3365512
application/kullmann/AES/Benchmarks/ 128/aes_128_10_keyfind_1.cnf	? (TO)	5000.06	4999.92	3365924
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top21.cnf	? (TO)	5000.06	5000.02	3365886
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.used-as.sat04-719.cnf	? (TO)	5000.06	4999.92	3366014
SAT-Race-2010-CNF/cryptography/ mizh/sha0_36_5.cnf	? (TO)	5000.06	4999.92	3366072
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.050-NOTKNOWN.cnf	? (TO)	5000.06	4999.92	3365722
SAT-Race-2010-CNF/hardware-verification/ velev/2dlx_ca_bp_f_liveness.cnf	? (TO)	5000.06	4999.92	3366084
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-servers_slapd_a_vc149789-tseitin.cnf	? (TO)	5000.06	4999.92	3365788
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	? (TO)	5000.06	5000.02	3365704
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	5000.07	4999.92	3365580
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	5000.07	4999.92	3365656
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom19.cnf	? (TO)	5000.07	4999.92	3365894
SAT04/industrial/vangelder/cnf-color/ myciel6-tr.used-as.sat04-320.cnf	? (TO)	5000.07	4999.91	3366004
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (TO)	5000.07	5000.02	3365574
application/kullmann/AES/Benchmarks/ 32/aes_32_4_keyfind_1.cnf	? (TO)	5000.07	4999.92	3365940
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	? (TO)	5000.07	5000.02	3365718
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.035-NOTKNOWN.cnf	? (TO)	5000.08	4999.92	3365714
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.045-NOTKNOWN.cnf	? (TO)	5000.08	5000.02	3365708
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom23.cnf	? (TO)	5000.08	5000.02	3365916
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	5000.08	4999.92	3365614
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.080-SAT.cnf	? (TO)	5000.08	4999.92	3365738
APPLICATIONS/bitverif/ maxxororand/maxxororand064.cnf	? (TO)	5000.09	5000.22	3365588
application/kullmann/AES/Benchmarks/ 64/aes_64_3_keyfind_1.cnf	? (TO)	5000.09	4999.92	3365932
application/kullmann/AES/Benchmarks/ 64/aes_64_4_keyfind_1.cnf	? (TO)	5000.09	4999.92	3365926
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-VS3-benchmark-S2-tseitin.cnf	? (TO)	5000.09	5000.02	3365800
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom20.cnf	? (TO)	5000.09	5000.02	3365880
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom17.cnf	? (TO)	5000.09	5000.02	3365912
mizh-sha0-36-4.cnf	? (TO)	5000.09	5000.02	3365562
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top26.cnf	? (TO)	5000.09	4999.92	3365870
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top23.cnf	? (TO)	5000.1	5000.02	3365884
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_19_UNKNOWN.cnf	? (TO)	5000.1	5000.12	3365664
APPLICATIONS/diagnosis/ UR-20-10p0.cnf	? (TO)	5000.1	5000.02	3365638
application/kullmann/AES/Benchmarks/ 32/aes_32_3_keyfind_1.cnf	? (TO)	5000.1	5000.02	3365942
application/leberre/ 2dimensionalstrippacking/E00N23.cnf	? (TO)	5000.1	5000.02	3365970
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	5000.1	5000.02	3365584
APPLICATIONS/bitverif/ countbitssrl/countbitssrl064.cnf	? (TO)	5000.1	5000.02	3365582
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom16.cnf	? (TO)	5000.1	5000.02	3365908
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top29.cnf	? (TO)	5000.1	5000.22	3365896
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN.cnf	? (TO)	5000.1	5000.02	3365724
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom15.cnf	? (TO)	5000.11	5000.02	3365876
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	5000.11	5000.53	3365518
application/kullmann/AES/Benchmarks/ 128/aes_128_1_keyfind_1.cnf	? (TO)	5000.12	5000.02	3365922
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	5000.13	5000.02	3365528
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	5000.13	5000.02	3365610
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	5000.14	5000.02	3365608

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

Result page for solver SAT09 reference solver:glucose 1.0 (complete)

Category "applications instances" (APPLICATION)

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

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

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