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.0121861	3499133
application/leberre/ 2dimensionalstrippacking/E07N15.cnf	UNSAT	0.033994	0.034124	3499084
application/leberre/ 2dimensionalstrippacking/E15N15.cnf	UNSAT	0.089986	0.0901379	3499085
SAT02/industrial/goldberg/rand_net/ rand_net60-30-1.shuffled.cnf	UNSAT	0.139978	0.139777	3499125
APPLICATIONS/bitverif/ minandmaxor/minandmaxor016.cnf	UNSAT	0.341947	0.341705	3498886
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-ext_con_032_008_0256-tseitin.cnf	UNSAT	0.347947	0.348346	3499002
application/leberre/ 2dimensionalstrippacking/E04N18.cnf	UNSAT	0.689894	0.689742	3499081
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-nusmvreactorp4-tseitin.cnf	UNSAT	1.03084	1.03127	3499013
industrial/babic/dspam/ dspam_dump_vc949.cnf	UNSAT	1.12983	1.13067	3498860
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bc57sensorsp1-tseitin.cnf	UNSAT	1.2828	1.28358	3499014
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp3-tseitin.cnf	UNSAT	1.46278	1.4633	3499021
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp2-tseitin.cnf	UNSAT	1.9927	1.99276	3499010
application/leberre/ 2dimensionalstrippacking/E03N17.cnf	UNSAT	2.43663	2.43721	3499073
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvqis8x8p2-tseitin.cnf	UNSAT	2.85956	2.85998	3499008
industrial/babic/hsatv17/ hsat_vc12062.cnf	UNSAT	3.32249	3.32475	3498861
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtswvsam6x8p3-tseitin.cnf	UNSAT	3.84142	4.01447	3499016
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns2p3-tseitin.cnf	UNSAT	3.86641	3.86717	3499009
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf	UNSAT	5.54516	5.54884	3499020
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bjrb07amba2andenv-tseitin.cnf	UNSAT	5.60715	5.60681	3499003
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvrod6x8p1-tseitin.cnf	UNSAT	7.54385	7.54849	3499012
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step11.cnf	UNSAT	8.01278	8.01301	3498982
APPLICATIONS/diagnosis/ UTI-20-10t0.cnf	UNSAT	9.11561	9.16092	3498914
SAT-Race-2010-CNF/software-verification/ nec/hard-18-U-10652.cnf	UNSAT	9.75552	9.75625	3499142
application/leberre/ 2dimensionalstrippacking/E05X15.cnf	UNSAT	10.2184	10.2187	3499080
SAT04/industrial/hoonsang/vis-bmc/ dekker.used-as.sat04-989.cnf	UNSAT	10.6964	10.6972	3499101
SAT-Race-2010-CNF/software-verification/ nec/hard-6-U-7061.cnf	UNSAT	11.5292	11.5297	3499143
SAT-Race-2010-CNF/software-verification/ nec/hard-25-U-7061.cnf	UNSAT	12.3931	12.3937	3499144
SAT02/industrial/goldberg/rand_net/ rand_net60-25-10.shuffled.cnf	UNSAT	12.5361	12.5368	3499127
industrial/palacios/medium/ blocks-4-ipc5-h21-unknown.cnf	UNSAT	14.0689	14.074	3498859
manol-pipe-c6bidw_i.cnf	UNSAT	15.6856	15.689	3498880
application/fuhs/ AProVE11/AProVE11-11.cnf	UNSAT	15.9506	15.951	3498945
application/rintanen/SATPlanning/ grid-strips-grid-y-4.025-NOTKNOWN.cnf	UNSAT	20.2149	20.2151	3498972
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-nlzbe256-tseitin.cnf	UNSAT	22.7465	22.746	3498996
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step15.cnf	UNSAT	25.7581	25.7571	3498984
application/leberre/ 2dimensionalstrippacking/korf-15.cnf	UNSAT	31.4322	31.4364	3499070
industrial/anbulagan/ medium-unsat/dated-5-11-u.cnf	UNSAT	38.5331	38.5346	3498845
APPLICATIONS/diagnosis/ ACG-10-10p0.cnf	UNSAT	41.2637	41.2705	3498912
SAT-Race-2010-CNF/hardware-verification/ manolios/c10idw_i.cnf	UNSAT	42.1716	42.172	3499136
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtviseisenberg1-tseitin.cnf	UNSAT	45.0671	45.068	3499011
SAT04/industrial/hoonsang/vis-bmc/ all.used-as.sat04-986.cnf	UNSAT	49.7864	49.7892	3499102
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	UNSAT	58.4941	58.5198	3498915
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w9.shuffled.cnf	UNSAT	62.6565	62.6567	3499130
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step13.cnf	UNSAT	64.6262	64.6303	3498986
application/leberre/ 2dimensionalstrippacking/E02F17.cnf	UNSAT	70.5563	70.5657	3499072
application/rintanen/SATPlanning/ blocks-blocks-37-1.120-NOTKNOWN.cnf	UNSAT	93.4358	93.4456	3498948
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsm5378d2-tseitin.cnf	UNSAT	105.687	105.689	3499015
industrial/fuhs/medium/ AProVE07-21.cnf	UNSAT	115.928	115.928	3498853
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	UNSAT	124.806	124.805	3498907
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	UNSAT	128.001	128.12	3498908
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.030-NOTKNOWN.cnf	UNSAT	133.019	133.015	3498973
manol-pipe-f7nidw.cnf	UNSAT	158.28	158.327	3498882
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtviseisenberg2-tseitin.cnf	UNSAT	166.808	166.813	3499022
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	UNSAT	168.555	168.564	3498910
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_063_080-tseitin.cnf	UNSAT	239.199	239.197	3498990
manol-pipe-c10nidw.cnf	UNSAT	271.36	271.404	3498878
velev-pipe-o-uns-1.1-6.cnf	UNSAT	352.92	352.918	3498934
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step15.cnf	UNSAT	366.047	366.038	3498978
SAT03/industrial/simon/sat02/ 6pipe_6_ooo.shuffled-as.sat03-413.cnf	UNSAT	377.015	377.012	3499087
application/rintanen/SATPlanning/ grid-strips-grid-y-3.035-NOTKNOWN.cnf	UNSAT	382.081	382.089	3498969
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	UNSAT	413.926	413.92	3498919
application/manthey/traffic/ traffic_kkb_unknown.cnf	UNSAT	455.981	455.97	3499026
application/manthey/traffic/ traffic_fb_unknown.cnf	UNSAT	478.591	478.584	3499024
application/manthey/traffic/ traffic_b_unsat.cnf	UNSAT	482.575	482.571	3499031
SAT02/industrial/goldberg/rand_net/ rand_net60-40-10.shuffled.cnf	UNSAT	514.315	514.301	3499126
application/manthey/traffic/ traffic_f_unknown.cnf	UNSAT	514.936	514.934	3499027
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_079_112-tseitin.cnf	UNSAT	520.677	520.665	3498993
application/manthey/traffic/ traffic_pcb_unknown.cnf	UNSAT	524.175	524.163	3499030
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmsgoodbakery-tseitin.cnf	UNSAT	579.758	579.748	3499018
application/manthey/traffic/ traffic_3b_unknown.cnf	UNSAT	637.171	637.173	3499032
SAT02/industrial/aloul/ Homer/homer14.shuffled.cnf	UNSAT	863.632	863.62	3499120
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step20.cnf	UNSAT	973.849	973.827	3498980
application/rintanen/SATPlanning/ blocks-blocks-37-1.130-NOTKNOWN.cnf	UNSAT	1058.74	1058.73	3498968
SAT03/industrial/schuppan/l2s/ bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf	UNSAT	1070.6	1070.57	3499096
velev-pipe-o-uns-1.0-7.cnf	UNSAT	1084.41	1084.38	3498935
industrial/fuhs/hard/ AProVE07-03.cnf	UNSAT	1313.19	1313.16	3498855
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-13-step17.cnf	UNSAT	1504.13	1504.1	3498989
industrial/manolios/ manol-pipe-f7idw.cnf	UNSAT	1559	1558.95	3498865
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_004_127_112-tseitin.cnf	UNSAT	1570.44	1570.4	3498991
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-21-step11.cnf	UNSAT	2042.83	2042.79	3498987
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	UNSAT	2114.5	2114.46	3498900
application/rintanen/SATPlanning/ blocks-blocks-36-0.120-NOTKNOWN.cnf	UNSAT	2253.95	2253.9	3498954
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtpmsns2-tseitin.cnf	UNSAT	2304.12	2304.04	3499007
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	UNSAT	2492.59	2492.52	3498918
SAT03/industrial/schuppan/l2s/ valves-gates-1-k617-unsat.shuffled-as.sat03-412.cnf	UNSAT	2858.29	2858.22	3499095
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k100.cnf	UNSAT	3253.32	3253.27	3498869
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k80.cnf	UNSAT	3445.72	3445.6	3498866
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k45.cnf	UNSAT	3700.08	3699.94	3498867
application/fuhs/ AProVE11/AProVE11-06.cnf	UNSAT	4093.08	4092.98	3498943
APPLICATIONS/ bitverif/maxxor/maxxor032.cnf	UNSAT	4281.09	4280.97	3498898
SAT02/industrial/dellacherie/ comb/comb1.shuffled.cnf	UNSAT	4314.29	4314.13	3499128
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k20.cnf	UNSAT	4394.07	4394.03	3498868

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT05/industrial/maris05/DriverLog/ driverlog1_ks99i.renamed-as.sat05-3951.cnf	SAT	0.008998	0.00905498	3499114
SAT05/industrial/maris05/DriverLog/ driverlog3_v01a.renamed-as.sat05-3963.cnf	SAT	0.011997	0.011782	3499115
SAT02/industrial/aloul/ Bart/bart17.shuffled.cnf	SAT	0.017997	0.0181289	3499119
SAT02/industrial/biere/ dinphil/dp04s04.shuffled.cnf	SAT	0.019996	0.0203331	3499131
SAT05/industrial/maris05/Rovers/ rovers1_ks99i.renamed-as.sat05-3971.cnf	SAT	0.021996	0.022355	3499116
application/kullmann/AES/Benchmarks/ 32/aes_32_1_keyfind_1.cnf	SAT	0.025995	0.025562	3499066
SAT05/industrial/maris05/Ferry/ ferry5_ks99i.renamed-as.sat05-3994.cnf	SAT	0.027994	0.0268681	3499117
SAT02/industrial/biere/ dinphil/dp10s10.shuffled.cnf	SAT	0.168973	0.170487	3499132
SAT02/industrial/goldberg/fpga_routing/ vda_gr_rcs_w9.shuffled.cnf	SAT	0.483925	0.485602	3499123
application/fuhs/ AProVE11/AProVE11-12.cnf	SAT	0.757883	0.758312	3498937
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step12.cnf	SAT	1.09583	1.0966	3498985
application/fuhs/ AProVE11/AProVE11-09.cnf	SAT	1.20382	1.20382	3498941
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_18_SAT.cnf	SAT	1.24481	1.56839	3498927
application/fuhs/ AProVE11/AProVE11-16.cnf	SAT	1.61275	1.61353	3498939
APPLICATIONS/diagnosis/ UTI-10-5t1.cnf	SAT	1.80272	2.00485	3498916
application/fuhs/ AProVE11/AProVE11-15.cnf	SAT	2.55661	2.56148	3498938
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbsharemodes_vc5759-tseitin.cnf	SAT	2.89356	2.89462	3499000
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-src_wget_vc18517-tseitin.cnf	SAT	3.35849	3.37812	3498994
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libmsrpc_vc1225336-tseitin.cnf	SAT	4.09638	4.1045	3498999
application/fuhs/ AProVE11/AProVE11-02.cnf	SAT	4.49631	4.50072	3498946
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbclient_vc1228502-tseitin.cnf	SAT	4.80127	5.1909	3498997
application/fuhs/ AProVE11/AProVE11-10.cnf	SAT	5.71413	5.72131	3498942
APPLICATIONS/diagnosis/ UTI-20-10t1.cnf	SAT	6.32904	6.77193	3498925
application/fuhs/ AProVE11/AProVE11-07.cnf	SAT	7.17891	7.184	3498940
application/fuhs/ AProVE11/AProVE11-13.cnf	SAT	9.79351	9.79896	3498944
application/leberre/ 2dimensionalstrippacking/E05F18.cnf	SAT	10.5364	10.5497	3499075
application/manthey/ traffic/traffic_r_sat.cnf	SAT	12.0142	12.0197	3499029
SAT_RACE08/Q1/ SAT_dat.k80_04.cnf	SAT	12.1871	12.2138	3498876
application/kullmann/AES/Benchmarks/ 32/aes_32_2_keyfind_1.cnf	SAT	14.5928	14.5919	3499065
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	SAT	17.5593	17.5665	3498904
ibm-2002-21r-k95.cnf	SAT	17.7203	17.7322	3498936
application/leberre/ 2dimensionalstrippacking/E04F20.cnf	SAT	18.9041	23.7088	3499078
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug6_q0.used-as.sat04-725.cnf	SAT	19.469	19.4764	3499106
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-30-step11.cnf	SAT	21.0878	21.1029	3498979
application/leberre/ 2dimensionalstrippacking/E04F19.cnf	SAT	21.1418	21.1422	3499074
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf	SAT	21.3488	21.3502	3498995
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	SAT	23.6754	23.6917	3498873
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug6.cnf	SAT	25.7431	25.7452	3498874
ibm-2004-01-k90.cnf	SAT	25.994	26.0155	3498884
application/leberre/ 2dimensionalstrippacking/E05F20.cnf	SAT	30.2674	30.2833	3499086
APPLICATIONS/diagnosis/ UR-10-10p1.cnf	SAT	33.18	33.2194	3498923
SAT05/industrial/grieu05/vmpc/ vmpc_25.renamed-as.sat05-1913.cnf	SAT	34.8237	34.8522	3499110
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	SAT	36.1165	36.1391	3498911
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	SAT	44.1363	44.1408	3498909
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	SAT	44.7642	44.7779	3498901
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top29.cnf	SAT	46.8409	46.8402	3499046
application/rintanen/SATPlanning/ blocks-blocks-36-0.170-NOTKNOWN.cnf	SAT	47.8867	47.8887	3498956
application/rintanen/SATPlanning/ blocks-blocks-36-0.180-SAT.cnf	SAT	59.254	59.256	3498953
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug4_q0.used-as.sat04-723.cnf	SAT	65.914	65.9204	3499107
application/leberre/ 2dimensionalstrippacking/E02F20.cnf	SAT	70.0414	70.0413	3499071
SAT-Race-2010-CNF/cryptography/ mizh/sha0_36_5.cnf	SAT	75.0626	75.0731	3499134
application/rintanen/SATPlanning/ blocks-blocks-37-1.150-SAT.cnf	SAT	90.8522	90.8569	3498971
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top30.cnf	SAT	94.3357	94.3382	3499050
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf	SAT	102.054	102.063	3498951
APPLICATIONS/diagnosis/ ACG-15-5p1.cnf	SAT	120.252	120.279	3498924
application/rintanen/SATPlanning/ blocks-blocks-36-0.160-NOTKNOWN.cnf	SAT	120.559	120.657	3498976
application/rintanen/SATPlanning/ transport-transport-two-cities-sequential-15nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.040-SAT.cnf	SAT	124.843	124.856	3498961
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step16.cnf	SAT	125.292	125.295	3498977
application/rintanen/SATPlanning/ transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.060-SAT.cnf	SAT	129.665	129.689	3498974
velev-pipe-sat-1.0-b9.cnf	SAT	132.714	132.713	3498933
application/manthey/traffic/ traffic_r_uc_sat.cnf	SAT	138.167	138.191	3499025
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step14.cnf	SAT	143.559	143.559	3498981
SAT04/industrial/vangelder/cnf-color/ abb313GPIA-9-tr.used-as.sat04-321.cnf	SAT	154.708	154.732	3499098
SAT-Race-2010-CNF/cryptography/ mizh/md5_48_3.cnf	SAT	196.089	196.087	3499135
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	SAT	198.842	198.837	3498902
SAT05/industrial/grieu05/vmpc/ vmpc_32.renamed-as.sat05-1919.cnf	SAT	221.222	221.223	3499111
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	SAT	223.779	223.79	3498920
ibm-2004-23-k100.cnf	SAT	257.21	257.222	3498881
mizh-sha0-36-4.cnf	SAT	261.231	261.24	3498879
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	SAT	286.268	286.266	3498906
application/manthey/traffic/ traffic_3_uc_sat.cnf	SAT	287.44	287.666	3499028
application/leberre/ 2dimensionalstrippacking/E02F22.cnf	SAT	291.611	291.623	3499077
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf	SAT	316.831	316.853	3498871
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	SAT	363.759	363.754	3498957
velev-npe-1.0-9dlx-b71.cnf	SAT	373.519	373.522	3498932
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top28.cnf	SAT	465.106	465.1	3499048
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_15_SAT.cnf	SAT	644.776	644.799	3498929
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	SAT	687.37	687.398	3498913
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step16.cnf	SAT	734.014	734.004	3498983
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf	SAT	880.169	880.162	3498870
ibm-2002-30r-k85.cnf	SAT	936.542	936.54	3498883
SAT_RACE08/Q1/ SAT_dat.k85.cnf	SAT	936.624	936.616	3498875
SAT05/industrial/narain05/vpn/ clauses-8.renamed-as.sat05-1964.cnf	SAT	958.708	958.687	3499118
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	SAT	1092.68	1092.69	3498847
industrial/crypto/ mizh-sha0-36-2.cnf	SAT	1347.33	1347.29	3498864
industrial/palacios/medium/ cube-11-h14-sat.cnf	SAT	1416.27	1416.24	3498858
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.050-SAT.cnf	SAT	1508.67	1508.66	3498963
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-servers_slapd_a_vc149789-tseitin.cnf	SAT	2240.91	2240.83	3498992
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	SAT	2561.97	2561.93	3498950
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top26.cnf	SAT	3017.71	3017.68	3499033
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	SAT	3289.9	3289.93	3498848
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	SAT	4071.63	4071.47	3498922
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	SAT	4178.19	4178.04	3498921

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtpmspalu-tseitin.cnf	? (TO)	5000	4999.91	3499005
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	5000	4999.91	3498849
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvisns3p02-tseitin.cnf	? (TO)	5000	4999.91	3499006
application/kullmann/AES/Benchmarks/ 32/aes_32_4_keyfind_1.cnf	? (TO)	5000	4999.91	3499068
APPLICATIONS/crypto/ md5gen/gus-md5-12.cnf	? (TO)	5000	4999.91	3498899
application/kullmann/AES/Benchmarks/ 32/aes_32_5_keyfind_1.cnf	? (TO)	5000	4999.91	3499067
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN.cnf	? (TO)	5000	4999.91	3498966
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom21.cnf	? (TO)	5000.01	5000.21	3499055
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom16.cnf	? (TO)	5000.01	4999.91	3499052
APPLICATIONS/diagnosis/ UR-20-10p0.cnf	? (TO)	5000.01	4999.91	3498917
SAT02/industrial/aloul/ Homer/homer16.shuffled.cnf	? (TO)	5000.01	4999.91	3499121
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_19_UNKNOWN.cnf	? (TO)	5000.01	4999.91	3498930
SAT02/industrial/aloul/ Homer/homer17.shuffled.cnf	? (TO)	5000.01	4999.91	3499122
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	5000.01	4999.91	3498890
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	5000.01	4999.91	3498897
application/kullmann/AES/Benchmarks/ 128/aes_128_3_keyfind_1.cnf	? (TO)	5000.01	4999.91	3499057
SAT03/industrial/maris/CNF/ gripper13u.shuffled-as.sat03-395.cnf	? (TO)	5000.01	4999.91	3499088
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	5000.01	4999.91	3498851
application/leberre/ 2dimensionalstrippacking/E00N23.cnf	? (TO)	5000.01	4999.91	3499083
SAT03/industrial/kukula/addm_bench/ am_7_7.shuffled-as.sat03-363.cnf	? (TO)	5000.01	4999.91	3499094
SAT03/industrial/schuppan/l2s/ dme-03-1-k247-unsat.shuffled-as.sat03-407.cnf	? (TO)	5000.01	4999.91	3499097
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.cnf	? (TO)	5000.01	4999.91	3498958
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.035-NOTKNOWN.cnf	? (TO)	5000.01	4999.91	3498955
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.used-as.sat04-719.cnf	? (TO)	5000.01	4999.91	3499105
application/leberre/ 2dimensionalstrippacking/E00X23.cnf	? (TO)	5000.02	4999.91	3499082
application/kullmann/AES/Benchmarks/ 64/aes_64_2_keyfind_1.cnf	? (TO)	5000.02	4999.91	3499062
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top25.cnf	? (TO)	5000.02	4999.81	3499047
SAT05/industrial/grieu05/vmpc/ vmpc_35.renamed-as.sat05-1921.cnf	? (TO)	5000.02	4999.91	3499112
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom14.cnf	? (TO)	5000.02	4999.81	3499049
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	5000.03	4999.91	3498856
industrial/anbulagan/ hard-unsat/dated-10-17-u.cnf	? (TO)	5000.03	5000.11	3498850
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsmhdlc2-tseitin.cnf	? (TO)	5000.03	4999.91	3499004
APPLICATIONS/bitverif/countbitsarray/ countbitsarray04_32.cnf	? (TO)	5000.03	4999.91	3498895
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step21.cnf	? (TO)	5000.03	4999.91	3498988
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	? (TO)	5000.03	4999.91	3498970
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_11_ooo.cnf	? (TO)	5000.03	4999.91	3499139
SAT04/industrial/vangelder/cnf-color/ myciel6-tr.used-as.sat04-320.cnf	? (TO)	5000.03	5000.01	3499100
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf	? (TO)	5000.03	4999.92	3499103
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom15.cnf	? (TO)	5000.03	4999.91	3499036
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-eijkbs6669-tseitin.cnf	? (TO)	5000.03	4999.91	3499023
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.used-as.sat04-347.cnf	? (TO)	5000.03	4999.91	3499104
application/kullmann/AES/Benchmarks/ 64/aes_64_1_keyfind_1.cnf	? (TO)	5000.03	4999.91	3499063
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	5000.03	4999.91	3498857
SAT04/industrial/vangelder/ cnf-color/abb313GPIA-9-c.used-as.sat04-317.cnf	? (TO)	5000.04	4999.91	3499099
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom19.cnf	? (TO)	5000.04	5000.01	3499045
application/kullmann/AES/Benchmarks/ 128/aes_128_10_keyfind_1.cnf	? (TO)	5000.04	4999.91	3499060
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top23.cnf	? (TO)	5000.04	4999.91	3499040
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf	? (TO)	5000.04	4999.91	3498947
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom20.cnf	? (TO)	5000.04	5000.01	3499038
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.045-NOTKNOWN.cnf	? (TO)	5000.04	4999.91	3498964
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf	? (TO)	5000.04	4999.91	3498962
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_k.cnf	? (TO)	5000.05	4999.91	3499141
application/kullmann/AES/Benchmarks/ 128/aes_128_1_keyfind_1.cnf	? (TO)	5000.05	4999.91	3499059
application/kullmann/AES/Benchmarks/ 128/aes_128_2_keyfind_1.cnf	? (TO)	5000.05	4999.91	3499058
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom18.cnf	? (TO)	5000.05	4999.91	3499051
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom25.cnf	? (TO)	5000.05	4999.91	3499037
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-countbits128-tseitin.cnf	? (TO)	5000.05	4999.91	3499001
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-VS3-benchmark-S2-tseitin.cnf	? (TO)	5000.05	4999.91	3498998
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.080-SAT.cnf	? (TO)	5000.05	5000.01	3498967
APPLICATIONS/bitverif/ maxxororand/maxxororand064.cnf	? (TO)	5000.05	4999.91	3498892
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (TO)	5000.05	4999.92	3498872
SAT03/industrial/goldberg/hard_eq_check/ x1mul.miter.shuffled-as.sat03-359.cnf	? (TO)	5000.05	5000.01	3499090
industrial/anbulagan/ hard-sat/partial-10-17-s.cnf	? (TO)	5000.05	5000.01	3498846
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom12.cnf	? (TO)	5000.06	4999.91	3499044
SAT05/industrial/grieu05/vmpc/ vmpc_34.renamed-as.sat05-1926.cnf	? (TO)	5000.06	4999.91	3499108
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.025-NOTKNOWN.cnf	? (TO)	5000.06	5000.01	3498965
application/leberre/ 2dimensionalstrippacking/korf-17.cnf	? (TO)	5000.06	4999.91	3499079
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top22.cnf	? (TO)	5000.06	5000.01	3499039
APPLICATIONS/bitverif/ smulo/smulo064.cnf	? (TO)	5000.06	4999.91	3498891
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns3p00-tseitin.cnf	? (TO)	5000.06	5000.01	3499017
SAT-Race-2010-CNF/hardware-verification/ velev/2dlx_ca_bp_f_liveness.cnf	? (TO)	5000.07	5000.01	3499140
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom13.cnf	? (TO)	5000.07	5000.01	3499043
APPLICATIONS/bitverif/ countbitssrl/countbitssrl064.cnf	? (TO)	5000.07	5000.01	3498889
SAT03/industrial/li/li-exam/ li-exam-61.shuffled-as.sat03-366.cnf	? (TO)	5000.07	5000.01	3499092
SAT03/industrial/li/li-test4/ li-test4-100.shuffled-as.sat03-370.cnf	? (TO)	5000.07	5000.01	3499093
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom23.cnf	? (TO)	5000.07	4999.91	3499056
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.060-NOTKNOWN.cnf	? (TO)	5000.07	5000.01	3498949
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN.cnf	? (TO)	5000.07	4999.91	3498960
SAT02/industrial/goldberg/rand_net/ rand_net70-60-10.shuffled.cnf	? (TO)	5000.07	5000.01	3499124
application/kullmann/AES/Benchmarks/ 32/aes_32_3_keyfind_1.cnf	? (TO)	5000.07	5000.01	3499069
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom22.cnf	? (TO)	5000.07	5000.01	3499053
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top21.cnf	? (TO)	5000.08	4999.91	3499041
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	5000.08	4999.92	3498862
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	5000.08	5000.01	3498928
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	5000.08	5000.02	3498931
SAT03/industrial/goldberg/hard_eq_check/ k2mul.miter.shuffled-as.sat03-355.cnf	? (TO)	5000.08	5000.01	3499091
velev-vliw-uns-4.0-9-i1.cnf	? (TO)	5000.08	5000.01	3498877
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top24.cnf	? (TO)	5000.08	4999.91	3499042
SAT05/industrial/grieu05/vmpc/ vmpc_29.renamed-as.sat05-1916.cnf	? (TO)	5000.09	5000.01	3499109
SAT05/industrial/grieu05/vmpc/ vmpc_36.renamed-as.sat05-1922.cnf	? (TO)	5000.09	5000.01	3499113
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq60_a.cnf	? (TO)	5000.09	5000.02	3499137
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	5000.09	5000.01	3498896
application/kullmann/AES/Benchmarks/ 64/aes_64_3_keyfind_1.cnf	? (TO)	5000.09	5000.01	3499064
application/kullmann/AES/Benchmarks/ 64/aes_64_4_keyfind_1.cnf	? (TO)	5000.09	4999.91	3499061
SAT03/industrial/goldberg/hard_eq_check/ c6288mul.miter.shuffled-as.sat03-346.cnf	? (TO)	5000.09	5000.01	3499089
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	5000.09	5000.01	3498887
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	5000.09	5000.01	3498905
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq57_a.cnf	? (TO)	5000.09	5000.01	3499138
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	5000.09	4999.91	3498863
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.050-NOTKNOWN.cnf	? (TO)	5000.09	5000.01	3498959
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	5000.09	5000.01	3498903
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	? (TO)	5000.09	5000.01	3498975
APPLICATIONS/bitverif/countbitswegner/ countbitswegner128.cnf	? (TO)	5000.1	5000.01	3498893
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	5000.1	5000.01	3498888
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (TO)	5000.1	5000.01	3498885
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	5000.1	5000.01	3498926
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvissoap1-tseitin.cnf	? (TO)	5000.1	5000.01	3499019
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom24.cnf	? (TO)	5000.1	5000.01	3499034
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom26.cnf	? (TO)	5000.1	5000.01	3499035
application/leberre/ 2dimensionalstrippacking/korf-18.cnf	? (TO)	5000.1	5000.01	3499076
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom17.cnf	? (TO)	5000.1	5000.01	3499054
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	5000.1	5000.01	3498854
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	5000.1	4999.91	3498852
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	5000.1	5000.01	3498894
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.045-NOTKNOWN.cnf	? (TO)	5000.11	5000.01	3498952
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w8.shuffled.cnf	? (TO)	5000.13	5000.01	3499129

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

Result page for solver rcl 2011-04-01 (complete)

Category "applications instances" (APPLICATION)

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

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

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