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.006998	0.020212	3434138
application/leberre/ 2dimensionalstrippacking/E07N15.cnf	UNSAT	0.008997	0.0106791	3434089
application/leberre/ 2dimensionalstrippacking/E15N15.cnf	UNSAT	0.011997	0.0223069	3434090
SAT02/industrial/goldberg/rand_net/ rand_net60-30-1.shuffled.cnf	UNSAT	0.113981	0.116376	3434130
APPLICATIONS/bitverif/ minandmaxor/minandmaxor016.cnf	UNSAT	0.162975	0.16385	3433891
industrial/babic/dspam/ dspam_dump_vc949.cnf	UNSAT	0.44993	0.452512	3433865
industrial/babic/hsatv17/ hsat_vc12062.cnf	UNSAT	0.507921	0.512022	3433866
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-nusmvreactorp4-tseitin.cnf	UNSAT	0.579911	0.582466	3434018
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bc57sensorsp1-tseitin.cnf	UNSAT	0.613906	0.615099	3434019
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp3-tseitin.cnf	UNSAT	0.769882	0.772253	3434026
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp2-tseitin.cnf	UNSAT	0.779881	0.780192	3434015
application/leberre/ 2dimensionalstrippacking/E04N18.cnf	UNSAT	0.953854	0.954564	3434086
application/leberre/ 2dimensionalstrippacking/E03N17.cnf	UNSAT	1.04784	1.04817	3434078
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtswvsam6x8p3-tseitin.cnf	UNSAT	2.5926	2.59277	3434021
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvqis8x8p2-tseitin.cnf	UNSAT	2.67159	2.67423	3434013
SAT-Race-2010-CNF/software-verification/ nec/hard-25-U-7061.cnf	UNSAT	2.92055	2.92081	3434149
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf	UNSAT	3.68144	3.68294	3434025
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns2p3-tseitin.cnf	UNSAT	3.9714	3.97181	3434014
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_004_127_112-tseitin.cnf	UNSAT	3.99639	3.99638	3433996
SAT-Race-2010-CNF/software-verification/ nec/hard-6-U-7061.cnf	UNSAT	4.02239	4.02357	3434148
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bjrb07amba2andenv-tseitin.cnf	UNSAT	4.39433	4.39545	3434008
APPLICATIONS/diagnosis/ UTI-20-10t0.cnf	UNSAT	5.54316	5.54458	3433919
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvrod6x8p1-tseitin.cnf	UNSAT	5.57415	5.5749	3434017
SAT02/industrial/goldberg/rand_net/ rand_net60-25-10.shuffled.cnf	UNSAT	5.59115	5.59148	3434132
application/leberre/ 2dimensionalstrippacking/E05X15.cnf	UNSAT	5.63814	5.63919	3434085
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step11.cnf	UNSAT	7.58485	7.58464	3433987
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_063_080-tseitin.cnf	UNSAT	11.9842	11.9859	3433995
application/fuhs/ AProVE11/AProVE11-11.cnf	UNSAT	12.6521	12.6512	3433950
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-nlzbe256-tseitin.cnf	UNSAT	12.6951	12.6952	3434001
industrial/palacios/medium/ blocks-4-ipc5-h21-unknown.cnf	UNSAT	13.151	13.1513	3433864
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step15.cnf	UNSAT	13.6999	13.6991	3433989
SAT-Race-2010-CNF/software-verification/ nec/hard-18-U-10652.cnf	UNSAT	18.3202	18.3198	3434147
manol-pipe-c6bidw_i.cnf	UNSAT	20.5399	20.5428	3433885
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_079_112-tseitin.cnf	UNSAT	20.6979	20.6985	3433998
application/rintanen/SATPlanning/ grid-strips-grid-y-4.025-NOTKNOWN.cnf	UNSAT	21.1898	21.1904	3433977
application/leberre/ 2dimensionalstrippacking/korf-15.cnf	UNSAT	23.9814	23.9818	3434075
SAT04/industrial/hoonsang/vis-bmc/ dekker.used-as.sat04-989.cnf	UNSAT	26.079	26.0789	3434106
SAT04/industrial/hoonsang/vis-bmc/ all.used-as.sat04-986.cnf	UNSAT	28.7526	28.7526	3434107
APPLICATIONS/diagnosis/ ACG-10-10p0.cnf	UNSAT	32.651	32.6523	3433917
industrial/anbulagan/ medium-unsat/dated-5-11-u.cnf	UNSAT	41.5907	41.6351	3433850
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	UNSAT	41.9766	41.9765	3433920
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	UNSAT	44.7592	44.76	3433915
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtviseisenberg2-tseitin.cnf	UNSAT	46.7999	46.8171	3434027
SAT03/industrial/simon/sat02/ 6pipe_6_ooo.shuffled-as.sat03-413.cnf	UNSAT	48.4796	48.4792	3434092
SAT-Race-2010-CNF/hardware-verification/ manolios/c10idw_i.cnf	UNSAT	49.4165	49.419	3434141
application/leberre/ 2dimensionalstrippacking/E02F17.cnf	UNSAT	60.9517	60.9518	3434077
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtviseisenberg1-tseitin.cnf	UNSAT	63.8913	63.8905	3434016
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	UNSAT	79.243	79.2478	3433912
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	UNSAT	91.5691	91.5689	3433913
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step13.cnf	UNSAT	92.9539	93.0774	3433991
application/rintanen/SATPlanning/ blocks-blocks-37-1.120-NOTKNOWN.cnf	UNSAT	96.0414	96.0391	3433953
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsm5378d2-tseitin.cnf	UNSAT	96.0534	96.0539	3434020
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w9.shuffled.cnf	UNSAT	109.331	109.33	3434135
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.030-NOTKNOWN.cnf	UNSAT	195.929	195.924	3433978
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom12.cnf	UNSAT	221.391	221.383	3434049
industrial/fuhs/medium/ AProVE07-21.cnf	UNSAT	231.616	231.621	3433858
application/manthey/traffic/ traffic_fb_unknown.cnf	UNSAT	244.404	244.397	3434029
application/manthey/traffic/ traffic_b_unsat.cnf	UNSAT	270.225	270.225	3434036
application/manthey/traffic/ traffic_f_unknown.cnf	UNSAT	272.111	272.117	3434032
application/manthey/traffic/ traffic_3b_unknown.cnf	UNSAT	280.537	280.532	3434037
application/manthey/traffic/ traffic_pcb_unknown.cnf	UNSAT	287.449	287.445	3434035
application/manthey/traffic/ traffic_kkb_unknown.cnf	UNSAT	290.612	290.612	3434031
manol-pipe-c10nidw.cnf	UNSAT	295.863	295.86	3433883
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	UNSAT	403.722	403.712	3433924
application/leberre/ 2dimensionalstrippacking/korf-17.cnf	UNSAT	444.522	444.51	3434084
velev-pipe-o-uns-1.0-7.cnf	UNSAT	497.962	497.954	3433940
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step15.cnf	UNSAT	537.096	537.106	3433983
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmsgoodbakery-tseitin.cnf	UNSAT	539.517	539.507	3434023
application/rintanen/SATPlanning/ grid-strips-grid-y-3.035-NOTKNOWN.cnf	UNSAT	577.439	577.452	3433974
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step20.cnf	UNSAT	656.513	656.497	3433985
industrial/manolios/ manol-pipe-f7idw.cnf	UNSAT	705.807	705.812	3433870
industrial/fuhs/hard/ AProVE07-03.cnf	UNSAT	920.17	920.146	3433860
SAT03/industrial/schuppan/l2s/ bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf	UNSAT	921.39	921.394	3434101
velev-pipe-o-uns-1.1-6.cnf	UNSAT	1069.08	1069.04	3433939
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq60_a.cnf	UNSAT	1110.78	1110.75	3434142
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq57_a.cnf	UNSAT	1210.56	1210.67	3434143
SAT02/industrial/goldberg/rand_net/ rand_net60-40-10.shuffled.cnf	UNSAT	1284.07	1284.05	3434131
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	UNSAT	1290.69	1290.66	3433931
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	UNSAT	1376.76	1376.72	3433905
application/fuhs/ AProVE11/AProVE11-06.cnf	UNSAT	1501.44	1501.39	3433948
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	UNSAT	1699.03	1699	3433868
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-13-step17.cnf	UNSAT	1762.46	1762.41	3433994
APPLICATIONS/ bitverif/maxxor/maxxor032.cnf	UNSAT	1834.8	1834.72	3433903
application/rintanen/SATPlanning/ blocks-blocks-37-1.130-NOTKNOWN.cnf	UNSAT	1930.25	1930.26	3433973
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	UNSAT	1966.85	1966.88	3433890
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	UNSAT	2072.22	2072.17	3433923
SAT03/industrial/schuppan/l2s/ valves-gates-1-k617-unsat.shuffled-as.sat03-412.cnf	UNSAT	2172.16	2172.07	3434100
SAT02/industrial/aloul/ Homer/homer14.shuffled.cnf	UNSAT	2477.29	2477.24	3434125
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom13.cnf	UNSAT	2603.46	2603.34	3434048
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvissoap1-tseitin.cnf	UNSAT	2605.15	2605.08	3434024
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtpmsns2-tseitin.cnf	UNSAT	2661.53	2661.46	3434012
application/rintanen/SATPlanning/ blocks-blocks-36-0.120-NOTKNOWN.cnf	UNSAT	2783.26	2783.2	3433959
SAT02/industrial/aloul/ Homer/homer16.shuffled.cnf	UNSAT	3949.8	3949.69	3434126
SAT02/industrial/goldberg/rand_net/ rand_net70-60-10.shuffled.cnf	UNSAT	4916.24	4916.19	3434129

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT05/industrial/maris05/DriverLog/ driverlog1_ks99i.renamed-as.sat05-3951.cnf	SAT	0.002998	0.0195329	3434119
SAT05/industrial/maris05/DriverLog/ driverlog3_v01a.renamed-as.sat05-3963.cnf	SAT	0.004998	0.019561	3434120
SAT02/industrial/aloul/ Bart/bart17.shuffled.cnf	SAT	0.004999	0.0543129	3434124
SAT05/industrial/maris05/Rovers/ rovers1_ks99i.renamed-as.sat05-3971.cnf	SAT	0.008997	0.0186739	3434121
SAT02/industrial/biere/ dinphil/dp04s04.shuffled.cnf	SAT	0.008998	0.0180699	3434136
SAT05/industrial/maris05/Ferry/ ferry5_ks99i.renamed-as.sat05-3994.cnf	SAT	0.014997	0.0186819	3434122
application/kullmann/AES/Benchmarks/ 32/aes_32_1_keyfind_1.cnf	SAT	0.014997	0.0191531	3434071
SAT02/industrial/biere/ dinphil/dp10s10.shuffled.cnf	SAT	0.091985	0.0923029	3434137
SAT02/industrial/goldberg/fpga_routing/ vda_gr_rcs_w9.shuffled.cnf	SAT	0.352945	0.354832	3434128
application/fuhs/ AProVE11/AProVE11-12.cnf	SAT	0.381941	0.382677	3433942
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step12.cnf	SAT	0.468927	0.469234	3433990
application/fuhs/ AProVE11/AProVE11-09.cnf	SAT	0.542916	0.544257	3433946
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_15_SAT.cnf	SAT	0.773882	0.776586	3433934
application/fuhs/ AProVE11/AProVE11-16.cnf	SAT	0.801877	0.821272	3433944
APPLICATIONS/diagnosis/ UTI-10-5t1.cnf	SAT	0.957853	0.960921	3433921
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf	SAT	0.961852	0.966306	3434000
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_18_SAT.cnf	SAT	1.09183	1.09366	3433932
application/kullmann/AES/Benchmarks/ 32/aes_32_2_keyfind_1.cnf	SAT	1.14182	1.14244	3434070
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-servers_slapd_a_vc149789-tseitin.cnf	SAT	1.23681	1.23769	3433997
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-src_wget_vc18517-tseitin.cnf	SAT	1.24381	1.24439	3433999
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbsharemodes_vc5759-tseitin.cnf	SAT	1.36879	1.37028	3434005
SAT04/industrial/vangelder/cnf-color/ abb313GPIA-9-tr.used-as.sat04-321.cnf	SAT	1.40579	1.40727	3434103
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libmsrpc_vc1225336-tseitin.cnf	SAT	1.51077	1.51149	3434004
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbclient_vc1228502-tseitin.cnf	SAT	1.9667	1.96792	3434002
application/fuhs/ AProVE11/AProVE11-02.cnf	SAT	2.51562	2.5234	3433951
SAT05/industrial/grieu05/vmpc/ vmpc_25.renamed-as.sat05-1913.cnf	SAT	4.55931	4.55894	3434115
application/fuhs/ AProVE11/AProVE11-15.cnf	SAT	4.69129	4.69234	3433943
APPLICATIONS/diagnosis/ UTI-20-10t1.cnf	SAT	4.81227	4.81229	3433930
application/fuhs/ AProVE11/AProVE11-13.cnf	SAT	5.03423	5.03729	3433949
application/fuhs/ AProVE11/AProVE11-07.cnf	SAT	5.62015	5.61969	3433945
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step16.cnf	SAT	6.34703	6.34723	3433982
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	SAT	6.96994	6.97027	3433906
application/fuhs/ AProVE11/AProVE11-10.cnf	SAT	9.8285	9.82852	3433947
application/manthey/ traffic/traffic_r_sat.cnf	SAT	9.8835	9.88368	3434034
ibm-2002-21r-k95.cnf	SAT	10.3214	10.3221	3433941
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf	SAT	10.3954	10.3967	3433956
SAT_RACE08/Q1/ SAT_dat.k80_04.cnf	SAT	11.1083	11.1086	3433881
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	SAT	14.0069	14.008	3433909
application/leberre/ 2dimensionalstrippacking/E05F18.cnf	SAT	18.6542	18.6545	3434080
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-30-step11.cnf	SAT	18.6802	18.6802	3433984
ibm-2004-01-k90.cnf	SAT	18.9221	18.922	3433889
application/rintanen/SATPlanning/ blocks-blocks-37-1.150-SAT.cnf	SAT	21.0008	21.0004	3433976
application/rintanen/SATPlanning/ blocks-blocks-36-0.160-NOTKNOWN.cnf	SAT	29.3085	29.343	3433981
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	SAT	33.9348	33.9359	3433916
ibm-2002-30r-k85.cnf	SAT	40.0569	40.0557	3433888
SAT_RACE08/Q1/ SAT_dat.k85.cnf	SAT	40.0739	40.0772	3433880
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug6_q0.used-as.sat04-725.cnf	SAT	41.5117	41.5559	3434111
SAT-Race-2010-CNF/cryptography/ mizh/md5_48_3.cnf	SAT	46.5439	46.5437	3434140
application/rintanen/SATPlanning/ blocks-blocks-36-0.180-SAT.cnf	SAT	48.3806	48.3809	3433958
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf	SAT	49.6305	49.6396	3433875
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug4_q0.used-as.sat04-723.cnf	SAT	52.93	52.9443	3434112
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	SAT	54.9206	55.5855	3433914
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug6.cnf	SAT	59.8699	59.8738	3433879
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	SAT	65.47	65.4795	3433878
velev-npe-1.0-9dlx-b71.cnf	SAT	66.6039	66.6672	3433937
velev-pipe-sat-1.0-b9.cnf	SAT	75.2746	75.2762	3433938
APPLICATIONS/diagnosis/ UR-10-10p1.cnf	SAT	78.733	78.7334	3433928
APPLICATIONS/diagnosis/ ACG-15-5p1.cnf	SAT	79.6969	79.697	3433929
application/leberre/ 2dimensionalstrippacking/E04F19.cnf	SAT	79.6979	79.6968	3434079
application/leberre/ 2dimensionalstrippacking/E04F20.cnf	SAT	80.2428	80.2442	3434083
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step16.cnf	SAT	80.3508	80.3491	3433988
application/leberre/ 2dimensionalstrippacking/E05F20.cnf	SAT	80.5577	80.5566	3434091
ibm-2004-23-k100.cnf	SAT	83.6803	83.6794	3433886
application/leberre/ 2dimensionalstrippacking/E02F20.cnf	SAT	99.7508	99.7496	3434076
application/manthey/traffic/ traffic_3_uc_sat.cnf	SAT	106.225	106.237	3434033
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step14.cnf	SAT	110.704	110.704	3433986
application/rintanen/SATPlanning/ blocks-blocks-36-0.170-NOTKNOWN.cnf	SAT	140.104	140.101	3433961
application/kullmann/AES/Benchmarks/ 32/aes_32_3_keyfind_1.cnf	SAT	188.931	188.927	3434074
application/manthey/traffic/ traffic_r_uc_sat.cnf	SAT	193.431	193.423	3434030
SAT05/industrial/narain05/vpn/ clauses-8.renamed-as.sat05-1964.cnf	SAT	213.098	213.165	3434123
SAT-Race-2010-CNF/cryptography/ mizh/sha0_36_5.cnf	SAT	214.015	214.011	3434139
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf	SAT	237.892	237.886	3433876
SAT05/industrial/grieu05/vmpc/ vmpc_29.renamed-as.sat05-1916.cnf	SAT	240.135	240.13	3434114
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top29.cnf	SAT	256.156	256.149	3434051
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	SAT	314.103	314.266	3433911
application/leberre/ 2dimensionalstrippacking/E02F22.cnf	SAT	335.591	335.645	3434082
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	SAT	345.317	345.31	3433925
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	SAT	377.53	377.521	3433918
application/kullmann/AES/Benchmarks/ 64/aes_64_1_keyfind_1.cnf	SAT	494.354	494.344	3434068
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	SAT	503.217	503.212	3433852
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top28.cnf	SAT	620.599	620.588	3434053
mizh-sha0-36-4.cnf	SAT	657.633	657.626	3433884
application/rintanen/SATPlanning/ transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.060-SAT.cnf	SAT	833.832	833.811	3433979
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top30.cnf	SAT	987.606	987.584	3434055
industrial/crypto/ mizh-sha0-36-2.cnf	SAT	1235.07	1235.04	3433869
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	SAT	1260.85	1260.89	3433962
industrial/palacios/medium/ cube-11-h14-sat.cnf	SAT	1334.03	1334	3433863
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.050-SAT.cnf	SAT	1356.27	1356.23	3433968
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_19_UNKNOWN.cnf	SAT	2009.81	2009.77	3433935
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top26.cnf	SAT	2872.98	2872.9	3434038
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step21.cnf	SAT	2933	2932.86	3433993
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	SAT	3130.92	3130.88	3433926
application/rintanen/SATPlanning/ transport-transport-two-cities-sequential-15nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.040-SAT.cnf	SAT	3186.38	3186.33	3433966
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	SAT	3885.32	3885.26	3433955
SAT05/industrial/grieu05/vmpc/ vmpc_36.renamed-as.sat05-1922.cnf	SAT	4986.02	4985.9	3434118

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
application/kullmann/AES/Benchmarks/ 128/aes_128_1_keyfind_1.cnf	? (TO)	5000.03	4999.91	3434064
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top23.cnf	? (TO)	5000.03	4999.92	3434045
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom18.cnf	? (TO)	5000.03	4999.92	3434056
SAT03/industrial/maris/CNF/ gripper13u.shuffled-as.sat03-395.cnf	? (TO)	5000.03	4999.92	3434093
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-ext_con_032_008_0256-tseitin.cnf	? (TO)	5000.04	4999.92	3434007
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns3p00-tseitin.cnf	? (TO)	5000.04	4999.92	3434022
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top25.cnf	? (TO)	5000.04	5000.04	3434052
industrial/anbulagan/ hard-unsat/dated-10-17-u.cnf	? (TO)	5000.04	4999.92	3433855
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	5000.04	4999.92	3433902
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	5000.04	4999.92	3433893
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	5000.04	4999.92	3433859
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsmhdlc2-tseitin.cnf	? (TO)	5000.05	4999.82	3434009
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	5000.05	4999.82	3433936
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	5000.05	4999.93	3433854
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	5000.05	4999.92	3433908
SAT05/industrial/grieu05/vmpc/ vmpc_35.renamed-as.sat05-1921.cnf	? (TO)	5000.05	4999.93	3434117
APPLICATIONS/bitverif/countbitsarray/ countbitsarray04_32.cnf	? (TO)	5000.05	4999.93	3433900
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	5000.05	4999.93	3433857
application/leberre/ 2dimensionalstrippacking/korf-18.cnf	? (TO)	5000.05	4999.93	3434081
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top21.cnf	? (TO)	5000.05	4999.93	3434046
application/kullmann/AES/Benchmarks/ 128/aes_128_2_keyfind_1.cnf	? (TO)	5000.05	4999.92	3434063
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top22.cnf	? (TO)	5000.06	4999.93	3434044
SAT04/industrial/vangelder/cnf-color/ myciel6-tr.used-as.sat04-320.cnf	? (TO)	5000.06	4999.91	3434105
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom19.cnf	? (TO)	5000.06	4999.92	3434050
SAT05/industrial/grieu05/vmpc/ vmpc_32.renamed-as.sat05-1919.cnf	? (TO)	5000.06	4999.93	3434116
application/kullmann/AES/Benchmarks/ 128/aes_128_3_keyfind_1.cnf	? (TO)	5000.06	4999.83	3434062
SAT04/industrial/vangelder/ cnf-color/abb313GPIA-9-c.used-as.sat04-317.cnf	? (TO)	5000.06	4999.95	3434104
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top24.cnf	? (TO)	5000.06	4999.91	3434047
SAT03/industrial/goldberg/hard_eq_check/ x1mul.miter.shuffled-as.sat03-359.cnf	? (TO)	5000.06	4999.93	3434095
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	5000.06	4999.93	3433907
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom24.cnf	? (TO)	5000.06	4999.93	3434039
SAT03/industrial/goldberg/hard_eq_check/ k2mul.miter.shuffled-as.sat03-355.cnf	? (TO)	5000.06	4999.93	3434096
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	5000.06	4999.93	3433910
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-countbits128-tseitin.cnf	? (TO)	5000.06	4999.94	3434006
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k45.cnf	? (TO)	5000.07	5000.03	3433872
APPLICATIONS/bitverif/ countbitssrl/countbitssrl064.cnf	? (TO)	5000.07	5000.04	3433894
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	5000.07	4999.93	3433895
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom22.cnf	? (TO)	5000.07	4999.94	3434058
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	5000.07	4999.96	3433899
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom26.cnf	? (TO)	5000.07	4999.94	3434040
SAT03/industrial/kukula/addm_bench/ am_7_7.shuffled-as.sat03-363.cnf	? (TO)	5000.07	4999.93	3434099
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom15.cnf	? (TO)	5000.07	4999.93	3434041
SAT03/industrial/li/li-exam/ li-exam-61.shuffled-as.sat03-366.cnf	? (TO)	5000.07	5000.05	3434097
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom25.cnf	? (TO)	5000.07	4999.94	3434042
SAT03/industrial/goldberg/hard_eq_check/ c6288mul.miter.shuffled-as.sat03-346.cnf	? (TO)	5000.07	4999.93	3434094
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	5000.08	5000.03	3433862
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	5000.08	5000.02	3433861
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w8.shuffled.cnf	? (TO)	5000.08	5000.03	3434134
application/kullmann/AES/Benchmarks/ 32/aes_32_4_keyfind_1.cnf	? (TO)	5000.08	4999.92	3434073
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom21.cnf	? (TO)	5000.08	4999.93	3434060
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-eijkbs6669-tseitin.cnf	? (TO)	5000.08	4999.96	3434028
application/kullmann/AES/Benchmarks/ 32/aes_32_5_keyfind_1.cnf	? (TO)	5000.09	5000.12	3434072
application/kullmann/AES/Benchmarks/ 64/aes_64_3_keyfind_1.cnf	? (TO)	5000.09	5000.12	3434069
application/kullmann/AES/Benchmarks/ 64/aes_64_4_keyfind_1.cnf	? (TO)	5000.09	5000.01	3434066
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvisns3p02-tseitin.cnf	? (TO)	5000.09	4999.94	3434011
APPLICATIONS/bitverif/ maxxororand/maxxororand064.cnf	? (TO)	5000.09	4999.95	3433897
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtpmspalu-tseitin.cnf	? (TO)	5000.09	4999.94	3434010
SAT05/industrial/grieu05/vmpc/ vmpc_34.renamed-as.sat05-1926.cnf	? (TO)	5000.09	4999.93	3434113
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom14.cnf	? (TO)	5000.09	4999.93	3434054
APPLICATIONS/bitverif/ smulo/smulo064.cnf	? (TO)	5000.09	4999.93	3433896
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k80.cnf	? (TO)	5000.1	4999.95	3433871
SAT02/industrial/dellacherie/ comb/comb1.shuffled.cnf	? (TO)	5000.1	5000.03	3434133
application/kullmann/AES/Benchmarks/ 128/aes_128_10_keyfind_1.cnf	? (TO)	5000.1	5000.03	3434065
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	5000.1	4999.94	3433933
APPLICATIONS/bitverif/countbitswegner/ countbitswegner128.cnf	? (TO)	5000.1	4999.93	3433898
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	5000.1	4999.95	3433892
manol-pipe-f7nidw.cnf	? (TO)	5000.1	4999.96	3433887
SAT03/industrial/schuppan/l2s/ dme-03-1-k247-unsat.shuffled-as.sat03-407.cnf	? (TO)	5000.1	4999.95	3434102
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k100.cnf	? (TO)	5000.1	4999.95	3433874
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k20.cnf	? (TO)	5000.1	4999.93	3433873
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN.cnf	? (TO)	5000.1	4999.95	3433965
application/leberre/ 2dimensionalstrippacking/E00N23.cnf	? (TO)	5000.11	4999.99	3434088
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	5000.11	4999.92	3433867
APPLICATIONS/crypto/ md5gen/gus-md5-12.cnf	? (TO)	5000.11	5000.02	3433904
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom23.cnf	? (TO)	5000.12	4999.94	3434061
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom16.cnf	? (TO)	5000.12	5000.03	3434057
application/kullmann/AES/Benchmarks/ 64/aes_64_2_keyfind_1.cnf	? (TO)	5000.12	4999.92	3434067
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-21-step11.cnf	? (TO)	5000.12	4999.89	3433992
SAT02/industrial/aloul/ Homer/homer17.shuffled.cnf	? (TO)	5000.12	5000.12	3434127
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom20.cnf	? (TO)	5000.13	4999.94	3434043
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-VS3-benchmark-S2-tseitin.cnf	? (TO)	5000.13	4999.94	3434003
application/leberre/ 2dimensionalstrippacking/E00X23.cnf	? (TO)	5000.13	5000.01	3434087
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom17.cnf	? (TO)	5000.13	4999.93	3434059
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (TO)	5000.14	5000.02	3433927
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	5000.16	5000.27	3433901
velev-vliw-uns-4.0-9-i1.cnf	? (TO)	5000.16	5000.04	3433882
SAT03/industrial/li/li-test4/ li-test4-100.shuffled-as.sat03-370.cnf	? (TO)	5000.17	4999.98	3434098
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	5000.18	5000.22	3433856
APPLICATIONS/diagnosis/ UR-20-10p0.cnf	? (TO)	5000.2	5000.23	3433922
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (TO)	5000.23	5000.1	3433877
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.used-as.sat04-347.cnf	? (TO)	5000.24	5000.09	3434109
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.025-NOTKNOWN.cnf	? (TO)	5000.25	5000.15	3433970
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_11_ooo.cnf	? (TO)	5000.27	5000.15	3434144
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.cnf	? (TO)	5000.27	5000.03	3433963
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.035-NOTKNOWN.cnf	? (TO)	5000.28	5000.09	3433960
industrial/anbulagan/ hard-sat/partial-10-17-s.cnf	? (TO)	5000.29	5000.05	3433851
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.050-NOTKNOWN.cnf	? (TO)	5000.3	5000.18	3433964
SAT-Race-2010-CNF/hardware-verification/ velev/2dlx_ca_bp_f_liveness.cnf	? (TO)	5000.31	5000.55	3434145
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (TO)	5000.31	5000.12	3433853
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf	? (TO)	5000.31	5000.11	3434108
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.045-NOTKNOWN.cnf	? (TO)	5000.32	5000.44	3433957
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.used-as.sat04-719.cnf	? (TO)	5000.35	5000.15	3434110
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN.cnf	? (TO)	5000.35	5000.36	3433971
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.060-NOTKNOWN.cnf	? (TO)	5000.35	5000.32	3433954
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.045-NOTKNOWN.cnf	? (TO)	5000.38	5000.2	3433969
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf	? (TO)	5000.4	5000.27	3433952
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.080-SAT.cnf	? (TO)	5000.54	5000.38	3433972
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_k.cnf	? (TO)	5000.6	5000.52	3434146

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	? (problem)	3993.77	3993.83	3433975
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	? (problem)	4403.95	4403.81	3433980
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf	? (problem)	4670.93	4670.88	3433967

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

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

Category "applications instances" (APPLICATION)

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

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

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

No recognized solution line (3 runs) [Show/Hide]