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.0119039	3349970
application/leberre/ 2dimensionalstrippacking/E07N15.cnf	UNSAT	0.015997	0.0190431	3349990
application/leberre/ 2dimensionalstrippacking/E15N15.cnf	UNSAT	0.017996	0.0176959	3349991
SAT02/industrial/goldberg/rand_net/ rand_net60-30-1.shuffled.cnf	UNSAT	0.096984	0.0979999	3349972
APPLICATIONS/bitverif/ minandmaxor/minandmaxor016.cnf	UNSAT	0.208967	0.216547	3349975
industrial/babic/dspam/ dspam_dump_vc949.cnf	UNSAT	0.504922	0.507995	3349973
industrial/babic/hsatv17/ hsat_vc12062.cnf	UNSAT	0.603907	0.604429	3349974
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bc57sensorsp1-tseitin.cnf	UNSAT	0.614905	0.61762	3349980
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-nusmvreactorp4-tseitin.cnf	UNSAT	0.621904	0.624005	3349979
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp2-tseitin.cnf	UNSAT	0.807876	0.810195	3349982
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp3-tseitin.cnf	UNSAT	0.84687	0.858872	3349981
application/leberre/ 2dimensionalstrippacking/E04N18.cnf	UNSAT	0.987848	0.988549	3349993
application/leberre/ 2dimensionalstrippacking/E03N17.cnf	UNSAT	1.50777	1.50798	3349992
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvqis8x8p2-tseitin.cnf	UNSAT	2.19067	2.1904	3349987
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtswvsam6x8p3-tseitin.cnf	UNSAT	3.10153	3.10344	3349986
SAT-Race-2010-CNF/software-verification/ nec/hard-25-U-7061.cnf	UNSAT	3.32649	3.3268	3349978
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_004_127_112-tseitin.cnf	UNSAT	4.02539	4.02641	3350151
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf	UNSAT	4.31834	4.32367	3349984
SAT-Race-2010-CNF/software-verification/ nec/hard-6-U-7061.cnf	UNSAT	4.5993	4.59881	3349977
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bjrb07amba2andenv-tseitin.cnf	UNSAT	4.6163	4.61602	3349983
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns2p3-tseitin.cnf	UNSAT	4.78127	4.84937	3349985
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step11.cnf	UNSAT	5.04523	5.05051	3350137
APPLICATIONS/diagnosis/ UTI-20-10t0.cnf	UNSAT	5.56915	5.57457	3349976
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvrod6x8p1-tseitin.cnf	UNSAT	5.77512	5.77684	3349988
application/leberre/ 2dimensionalstrippacking/E05X15.cnf	UNSAT	7.06193	7.06416	3350154
application/fuhs/ AProVE11/AProVE11-11.cnf	UNSAT	10.4614	10.4614	3350133
SAT04/industrial/hoonsang/vis-bmc/ dekker.used-as.sat04-989.cnf	UNSAT	11.1953	11.1966	3350108
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-nlzbe256-tseitin.cnf	UNSAT	13.415	13.4267	3350152
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_063_080-tseitin.cnf	UNSAT	13.427	13.4265	3350150
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step15.cnf	UNSAT	15.2547	15.2594	3350141
industrial/palacios/medium/ blocks-4-ipc5-h21-unknown.cnf	UNSAT	15.7216	15.724	3350118
application/rintanen/SATPlanning/ grid-strips-grid-y-4.025-NOTKNOWN.cnf	UNSAT	17.1044	17.1372	3350167
SAT-Race-2010-CNF/software-verification/ nec/hard-18-U-10652.cnf	UNSAT	19.3761	19.3773	3350132
application/leberre/ 2dimensionalstrippacking/E02F17.cnf	UNSAT	21.4377	21.4402	3350156
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_079_112-tseitin.cnf	UNSAT	22.1836	22.1944	3350153
manol-pipe-c6bidw_i.cnf	UNSAT	25.1902	25.9024	3350128
application/leberre/ 2dimensionalstrippacking/korf-15.cnf	UNSAT	29.8285	29.8276	3350155
industrial/anbulagan/ medium-unsat/dated-5-11-u.cnf	UNSAT	31.6422	31.647	3350110
SAT02/industrial/goldberg/rand_net/ rand_net60-25-10.shuffled.cnf	UNSAT	36.6234	36.6256	3349971
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtviseisenberg2-tseitin.cnf	UNSAT	38.1752	38.1866	3350148
SAT04/industrial/hoonsang/vis-bmc/ all.used-as.sat04-986.cnf	UNSAT	39.8749	39.8751	3350109
SAT03/industrial/simon/sat02/ 6pipe_6_ooo.shuffled-as.sat03-413.cnf	UNSAT	40.8198	40.8198	3350107
SAT-Race-2010-CNF/hardware-verification/ manolios/c10idw_i.cnf	UNSAT	44.2743	44.2756	3350131
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	UNSAT	51.4212	51.4211	3350124
APPLICATIONS/diagnosis/ ACG-10-10p0.cnf	UNSAT	59.6279	59.6283	3350123
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step13.cnf	UNSAT	99.2509	99.2618	3350142
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w9.shuffled.cnf	UNSAT	101.313	101.311	3350106
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtviseisenberg1-tseitin.cnf	UNSAT	107.331	107.673	3350147
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsm5378d2-tseitin.cnf	UNSAT	116.465	117.096	3350143
application/rintanen/SATPlanning/ blocks-blocks-37-1.120-NOTKNOWN.cnf	UNSAT	117.82	117.822	3350169
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	UNSAT	120.669	120.667	3350119
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	UNSAT	134.756	134.753	3350122
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	UNSAT	138.054	138.053	3350120
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.030-NOTKNOWN.cnf	UNSAT	160.855	160.849	3350164
application/manthey/traffic/ traffic_pcb_unknown.cnf	UNSAT	235.425	235.424	3350162
application/manthey/traffic/ traffic_fb_unknown.cnf	UNSAT	244.775	245.491	3350163
application/manthey/traffic/ traffic_b_unsat.cnf	UNSAT	251.339	251.347	3350160
industrial/fuhs/medium/ AProVE07-21.cnf	UNSAT	260.615	260.619	3350112
application/manthey/traffic/ traffic_f_unknown.cnf	UNSAT	271.342	271.335	3350161
application/manthey/traffic/ traffic_kkb_unknown.cnf	UNSAT	294.823	294.833	3350159
industrial/manolios/ manol-pipe-f7idw.cnf	UNSAT	310.302	310.294	3350117
application/manthey/traffic/ traffic_3b_unknown.cnf	UNSAT	357.931	357.934	3350158
manol-pipe-c10nidw.cnf	UNSAT	377.185	377.204	3350130
velev-pipe-o-uns-1.0-7.cnf	UNSAT	386.073	386.063	3350127
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	UNSAT	497.126	497.113	3350125
application/rintanen/SATPlanning/ grid-strips-grid-y-3.035-NOTKNOWN.cnf	UNSAT	509.993	509.981	3350166
application/leberre/ 2dimensionalstrippacking/korf-17.cnf	UNSAT	537.65	537.64	3350157
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step15.cnf	UNSAT	552.003	551.989	3350140
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom12.cnf	UNSAT	599.896	599.874	3350134
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmsgoodbakery-tseitin.cnf	UNSAT	977.728	977.694	3350146
velev-pipe-o-uns-1.1-6.cnf	UNSAT	1162.19	1162.34	3350126

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT05/industrial/maris05/DriverLog/ driverlog1_ks99i.renamed-as.sat05-3951.cnf	SAT	0.001999	0.00801095	3350053
SAT02/industrial/aloul/ Bart/bart17.shuffled.cnf	SAT	0.003998	0.00855196	3349946
SAT05/industrial/maris05/DriverLog/ driverlog3_v01a.renamed-as.sat05-3963.cnf	SAT	0.003999	0.00791699	3349950
application/kullmann/AES/Benchmarks/ 32/aes_32_1_keyfind_1.cnf	SAT	0.005999	0.0145439	3349968
SAT05/industrial/maris05/Rovers/ rovers1_ks99i.renamed-as.sat05-3971.cnf	SAT	0.007998	0.0121429	3349952
SAT02/industrial/biere/ dinphil/dp04s04.shuffled.cnf	SAT	0.008997	0.0137351	3349947
SAT05/industrial/maris05/Ferry/ ferry5_ks99i.renamed-as.sat05-3994.cnf	SAT	0.012998	0.0151049	3349951
SAT02/industrial/biere/ dinphil/dp10s10.shuffled.cnf	SAT	0.173972	0.175389	3349948
SAT02/industrial/goldberg/fpga_routing/ vda_gr_rcs_w9.shuffled.cnf	SAT	0.397938	0.398612	3349949
application/fuhs/ AProVE11/AProVE11-12.cnf	SAT	0.414936	0.41851	3349955
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step12.cnf	SAT	0.431934	0.432554	3349962
application/fuhs/ AProVE11/AProVE11-09.cnf	SAT	0.598908	0.602721	3349957
application/kullmann/AES/Benchmarks/ 32/aes_32_2_keyfind_1.cnf	SAT	0.815875	0.815725	3350086
application/fuhs/ AProVE11/AProVE11-16.cnf	SAT	0.893863	0.894006	3349958
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf	SAT	1.00785	1.01947	3349966
APPLICATIONS/diagnosis/ UTI-10-5t1.cnf	SAT	1.03784	1.0438	3349953
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_18_SAT.cnf	SAT	1.24881	1.24982	3350069
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_15_SAT.cnf	SAT	1.2808	1.28352	3350068
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbsharemodes_vc5759-tseitin.cnf	SAT	1.46778	1.47777	3349963
SAT04/industrial/vangelder/cnf-color/ abb313GPIA-9-tr.used-as.sat04-321.cnf	SAT	1.52477	1.52528	3350047
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-servers_slapd_a_vc149789-tseitin.cnf	SAT	1.53077	1.53217	3350085
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libmsrpc_vc1225336-tseitin.cnf	SAT	1.81872	1.81968	3349965
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbclient_vc1228502-tseitin.cnf	SAT	2.17167	2.17933	3349967
application/fuhs/ AProVE11/AProVE11-02.cnf	SAT	2.70859	2.72328	3349959
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-src_wget_vc18517-tseitin.cnf	SAT	2.81357	2.81816	3349964
application/fuhs/ AProVE11/AProVE11-10.cnf	SAT	3.72443	3.74406	3350078
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf	SAT	3.84841	3.84956	3350096
APPLICATIONS/diagnosis/ UTI-20-10t1.cnf	SAT	4.84126	4.8424	3349954
application/fuhs/ AProVE11/AProVE11-13.cnf	SAT	5.15521	5.18045	3349961
application/leberre/ 2dimensionalstrippacking/E05F18.cnf	SAT	5.39018	5.38976	3349969
application/fuhs/ AProVE11/AProVE11-07.cnf	SAT	5.53616	5.54793	3349960
application/fuhs/ AProVE11/AProVE11-15.cnf	SAT	7.81281	7.81562	3349956
application/manthey/ traffic/traffic_r_sat.cnf	SAT	10.4084	10.4147	3350094
ibm-2004-01-k90.cnf	SAT	11.2953	11.319	3350072
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	SAT	13.369	13.3731	3350060
ibm-2002-21r-k95.cnf	SAT	15.7216	15.7282	3350070
SAT05/industrial/grieu05/vmpc/ vmpc_25.renamed-as.sat05-1913.cnf	SAT	17.3574	17.358	3350051
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-30-step11.cnf	SAT	19.1931	19.2448	3350083
application/rintanen/SATPlanning/ blocks-blocks-37-1.150-SAT.cnf	SAT	23.2195	23.2581	3350100
application/leberre/ 2dimensionalstrippacking/E04F19.cnf	SAT	23.4264	23.4261	3350088
SAT_RACE08/Q1/ SAT_dat.k80_04.cnf	SAT	23.4774	23.4887	3350075
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step16.cnf	SAT	31.5702	31.5769	3350082
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	SAT	34.8417	34.8539	3350059
APPLICATIONS/diagnosis/ UR-10-10p1.cnf	SAT	37.9972	38.0007	3350064
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug6_q0.used-as.sat04-725.cnf	SAT	44.2273	44.2355	3350049
application/rintanen/SATPlanning/ blocks-blocks-36-0.170-NOTKNOWN.cnf	SAT	47.2018	47.2108	3350101
ibm-2004-23-k100.cnf	SAT	49.3165	49.3197	3350073
APPLICATIONS/diagnosis/ ACG-15-5p1.cnf	SAT	50.1734	50.1753	3350065
SAT-Race-2010-CNF/cryptography/ mizh/sha0_36_5.cnf	SAT	51.4542	51.462	3350007
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug4_q0.used-as.sat04-723.cnf	SAT	52.879	52.8861	3350050
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug6.cnf	SAT	56.6864	56.7202	3350057
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf	SAT	60.9727	60.9871	3350055
application/leberre/ 2dimensionalstrippacking/E05F20.cnf	SAT	61.3187	61.3184	3350090
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	SAT	64.4002	64.4938	3350058
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	SAT	71.8251	71.8711	3350001
application/leberre/ 2dimensionalstrippacking/E02F20.cnf	SAT	74.8836	74.8813	3350089
velev-pipe-sat-1.0-b9.cnf	SAT	77.7282	77.7304	3350071
application/leberre/ 2dimensionalstrippacking/E04F20.cnf	SAT	79.8259	79.8238	3350091
ibm-2002-30r-k85.cnf	SAT	85.426	86.7307	3350074
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	SAT	85.9689	85.9694	3350061
SAT_RACE08/Q1/ SAT_dat.k85.cnf	SAT	87.0218	87.0336	3350076
velev-npe-1.0-9dlx-b71.cnf	SAT	88.3926	88.3941	3350006
application/rintanen/SATPlanning/ blocks-blocks-36-0.180-SAT.cnf	SAT	93.2818	93.324	3350102
application/manthey/traffic/ traffic_r_uc_sat.cnf	SAT	105.874	105.877	3350095
SAT05/industrial/grieu05/vmpc/ vmpc_29.renamed-as.sat05-1916.cnf	SAT	121.695	121.693	3350052
SAT-Race-2010-CNF/cryptography/ mizh/md5_48_3.cnf	SAT	154.966	154.968	3350077
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step14.cnf	SAT	165.251	165.251	3350084
application/rintanen/SATPlanning/ transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.060-SAT.cnf	SAT	200.247	200.278	3350098
application/rintanen/SATPlanning/ blocks-blocks-36-0.160-NOTKNOWN.cnf	SAT	218.832	218.849	3350099
application/manthey/traffic/ traffic_3_uc_sat.cnf	SAT	242.06	242.061	3350093
SAT05/industrial/narain05/vpn/ clauses-8.renamed-as.sat05-1964.cnf	SAT	282.324	282.409	3349997
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	SAT	320.455	320.459	3350067
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step16.cnf	SAT	375.938	375.933	3350081
application/rintanen/SATPlanning/ transport-transport-two-cities-sequential-15nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.040-SAT.cnf	SAT	414.547	414.566	3350097
application/leberre/ 2dimensionalstrippacking/E02F22.cnf	SAT	430.949	430.936	3350092
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	SAT	469.796	469.856	3350066
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	SAT	470.797	470.811	3350054
SAT05/industrial/grieu05/vmpc/ vmpc_32.renamed-as.sat05-1919.cnf	SAT	503.724	503.714	3349994
application/kullmann/AES/Benchmarks/ 32/aes_32_3_keyfind_1.cnf	SAT	555.258	555.237	3350010
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf	SAT	750.693	750.695	3350056
industrial/crypto/ mizh-sha0-36-2.cnf	SAT	960.112	960.134	3350184
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top28.cnf	SAT	1098.27	1098.24	3350008
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	SAT	1116.93	1116.9	3350062
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top30.cnf	SAT	1158.39	1158.34	3350009

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf	? (TO)	1293.69	1300.11	3350242
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	1298.19	1300.02	3350194
application/kullmann/AES/Benchmarks/ 128/aes_128_1_keyfind_1.cnf	? (TO)	1298.79	1300.02	3350225
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top26.cnf	? (TO)	1298.87	1300.02	3350219
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	1299.7	1300.02	3350034
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom24.cnf	? (TO)	1299.83	1300.02	3350216
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvisns3p02-tseitin.cnf	? (TO)	1299.95	1300.03	3350221
industrial/anbulagan/ hard-unsat/dated-10-17-u.cnf	? (TO)	1299.95	1300.03	3350026
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (TO)	1299.97	1300.03	3350033
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom23.cnf	? (TO)	1299.98	1300.02	3350214
SAT03/industrial/schuppan/l2s/ dme-03-1-k247-unsat.shuffled-as.sat03-407.cnf	? (TO)	1299.99	1300.02	3350178
mizh-sha0-36-4.cnf	? (TO)	1299.99	1300.23	3350200
SAT02/industrial/aloul/ Homer/homer16.shuffled.cnf	? (TO)	1300	1300.01	3350017
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom20.cnf	? (TO)	1300	1300.02	3350208
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	1300	1300.02	3350192
application/kullmann/AES/Benchmarks/ 32/aes_32_5_keyfind_1.cnf	? (TO)	1300	1300.01	3350230
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-eijkbs6669-tseitin.cnf	? (TO)	1300	1300.03	3350045
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	1300	1300.01	3350186
application/fuhs/ AProVE11/AProVE11-06.cnf	? (TO)	1300	1300.03	3350043
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	1300.01	1300.05	3350030
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	1300.01	1300.02	3350037
APPLICATIONS/bitverif/countbitsarray/ countbitsarray04_32.cnf	? (TO)	1300.01	1300.02	3350188
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvissoap1-tseitin.cnf	? (TO)	1300.01	1300.02	3350149
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	1300.01	1300.01	3350002
SAT05/industrial/grieu05/vmpc/ vmpc_35.renamed-as.sat05-1921.cnf	? (TO)	1300.01	1300.02	3349996
SAT02/industrial/dellacherie/ comb/comb1.shuffled.cnf	? (TO)	1300.01	1300.01	3350172
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top25.cnf	? (TO)	1300.02	1300.02	3350217
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	1300.02	1300.01	3350189
SAT03/industrial/kukula/addm_bench/ am_7_7.shuffled-as.sat03-363.cnf	? (TO)	1300.02	1300.02	3350174
SAT03/industrial/goldberg/hard_eq_check/ k2mul.miter.shuffled-as.sat03-355.cnf	? (TO)	1300.02	1300.02	3350020
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-countbits128-tseitin.cnf	? (TO)	1300.02	1300.03	3350223
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom21.cnf	? (TO)	1300.02	1300.02	3350210
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom15.cnf	? (TO)	1300.02	1300.02	3350203
APPLICATIONS/bitverif/ countbitssrl/countbitssrl064.cnf	? (TO)	1300.03	1300.02	3350190
APPLICATIONS/bitverif/countbitswegner/ countbitswegner128.cnf	? (TO)	1300.03	1300.03	3350191
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k100.cnf	? (TO)	1300.03	1300.02	3350116
SAT02/industrial/aloul/ Homer/homer17.shuffled.cnf	? (TO)	1300.03	1300.01	3350171
application/kullmann/AES/Benchmarks/ 128/aes_128_2_keyfind_1.cnf	? (TO)	1300.03	1300.02	3350226
SAT02/industrial/aloul/ Homer/homer14.shuffled.cnf	? (TO)	1300.04	1300.01	3350103
industrial/fuhs/hard/ AProVE07-03.cnf	? (TO)	1300.04	1300.01	3350111
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom13.cnf	? (TO)	1300.04	1300.01	3350135
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top24.cnf	? (TO)	1300.04	1300.02	3350215
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	1300.04	1300.02	3350185
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top23.cnf	? (TO)	1300.04	1300.02	3350213
SAT04/industrial/vangelder/cnf-color/ myciel6-tr.used-as.sat04-320.cnf	? (TO)	1300.04	1300.01	3350179
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom25.cnf	? (TO)	1300.04	1300.02	3350218
SAT02/industrial/goldberg/rand_net/ rand_net60-40-10.shuffled.cnf	? (TO)	1300.04	1300.02	3350104
application/kullmann/AES/Benchmarks/ 64/aes_64_3_keyfind_1.cnf	? (TO)	1300.04	1300.02	3350232
SAT03/industrial/maris/CNF/ gripper13u.shuffled-as.sat03-395.cnf	? (TO)	1300.04	1300.02	3350177
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	1300.04	1300.02	3350199
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.050-SAT.cnf	? (TO)	1300.04	1300.16	3350016
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	1300.04	1300.01	3350028
application/kullmann/AES/Benchmarks/ 128/aes_128_3_keyfind_1.cnf	? (TO)	1300.04	1300.02	3350227
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	1300.04	1300.02	3350031
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	1300.05	1300.02	3350063
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w8.shuffled.cnf	? (TO)	1300.05	1300.02	3350173
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top21.cnf	? (TO)	1300.05	1300.02	3350209
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top22.cnf	? (TO)	1300.05	1300.02	3350211
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom26.cnf	? (TO)	1300.05	1300.02	3350220
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-13-step17.cnf	? (TO)	1300.05	1300.02	3350136
SAT02/industrial/goldberg/rand_net/ rand_net70-60-10.shuffled.cnf	? (TO)	1300.05	1300.01	3350105
SAT05/industrial/grieu05/vmpc/ vmpc_34.renamed-as.sat05-1926.cnf	? (TO)	1300.05	1300.02	3349995
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.025-NOTKNOWN.cnf	? (TO)	1300.05	1300.04	3350236
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtpmsns2-tseitin.cnf	? (TO)	1300.05	1300.03	3350144
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-ext_con_032_008_0256-tseitin.cnf	? (TO)	1300.05	1300.02	3349989
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	1300.05	1300.02	3350198
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	1300.05	1300.03	3349999
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	1300.05	1300.02	3350025
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k20.cnf	? (TO)	1300.05	1300.02	3350113
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k45.cnf	? (TO)	1300.05	1300.02	3350114
APPLICATIONS/ bitverif/maxxor/maxxor032.cnf	? (TO)	1300.05	1300.02	3350121
manol-pipe-f7nidw.cnf	? (TO)	1300.05	1300.03	3350129
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	1300.05	1300.02	3350187
APPLICATIONS/bitverif/ smulo/smulo064.cnf	? (TO)	1300.05	1300.02	3350195
APPLICATIONS/crypto/ md5gen/gus-md5-12.cnf	? (TO)	1300.05	1300.02	3350197
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	1300.05	1300.01	3350196
APPLICATIONS/bitverif/ maxxororand/maxxororand064.cnf	? (TO)	1300.06	1300.02	3350193
SAT03/industrial/li/li-test4/ li-test4-100.shuffled-as.sat03-370.cnf	? (TO)	1300.06	1300.02	3350176
SAT03/industrial/li/li-exam/ li-exam-61.shuffled-as.sat03-366.cnf	? (TO)	1300.06	1300.02	3350175
SAT03/industrial/goldberg/hard_eq_check/ x1mul.miter.shuffled-as.sat03-359.cnf	? (TO)	1300.06	1300.02	3350018
industrial/palacios/medium/ cube-11-h14-sat.cnf	? (TO)	1300.06	1300.03	3350000
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom19.cnf	? (TO)	1300.06	1300.02	3350207
SAT03/industrial/goldberg/hard_eq_check/ c6288mul.miter.shuffled-as.sat03-346.cnf	? (TO)	1300.06	1300.03	3350019
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-VS3-benchmark-S2-tseitin.cnf	? (TO)	1300.06	1300.03	3350224
application/kullmann/AES/Benchmarks/ 64/aes_64_4_keyfind_1.cnf	? (TO)	1300.06	1300.02	3350233
application/kullmann/AES/Benchmarks/ 64/aes_64_2_keyfind_1.cnf	? (TO)	1300.06	1300.02	3350231
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.080-SAT.cnf	? (TO)	1300.06	1300.12	3350243
application/kullmann/AES/Benchmarks/ 64/aes_64_1_keyfind_1.cnf	? (TO)	1300.06	1300.01	3350087
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtpmspalu-tseitin.cnf	? (TO)	1300.06	1300.02	3350145
SAT04/industrial/vangelder/ cnf-color/abb313GPIA-9-c.used-as.sat04-317.cnf	? (TO)	1300.06	1300.02	3350048
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k80.cnf	? (TO)	1300.06	1300.02	3350115
application/kullmann/AES/Benchmarks/ 32/aes_32_4_keyfind_1.cnf	? (TO)	1300.06	1300.02	3350229
SAT05/industrial/grieu05/vmpc/ vmpc_36.renamed-as.sat05-1922.cnf	? (TO)	1300.06	1300.02	3350181
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top29.cnf	? (TO)	1300.06	1300.02	3350079
application/leberre/ 2dimensionalstrippacking/korf-18.cnf	? (TO)	1300.06	1300.02	3350046
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom14.cnf	? (TO)	1300.07	1300.02	3350202
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom22.cnf	? (TO)	1300.07	1300.01	3350212
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.045-NOTKNOWN.cnf	? (TO)	1300.07	1300.07	3350241
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_11_ooo.cnf	? (TO)	1300.07	1300.14	3350039
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_k.cnf	? (TO)	1300.07	1300.11	3350040
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_19_UNKNOWN.cnf	? (TO)	1300.07	1300.04	3350005
application/leberre/ 2dimensionalstrippacking/E00N23.cnf	? (TO)	1300.07	1300.04	3350235
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom18.cnf	? (TO)	1300.07	1300.01	3350206
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom16.cnf	? (TO)	1300.07	1300.01	3350204
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	1300.07	1300.04	3350027
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	1300.07	1300.03	3350032
SAT03/industrial/schuppan/l2s/ bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf	? (TO)	1300.07	1300.04	3350021
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom17.cnf	? (TO)	1300.07	1300.01	3350205
application/kullmann/AES/Benchmarks/ 128/aes_128_10_keyfind_1.cnf	? (TO)	1300.07	1300.02	3350228
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	? (TO)	1300.08	1300.09	3350004
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns3p00-tseitin.cnf	? (TO)	1300.08	1300.02	3350222
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step20.cnf	? (TO)	1300.08	1300.03	3350138
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (TO)	1300.08	1300.06	3350003
SAT03/industrial/schuppan/l2s/ valves-gates-1-k617-unsat.shuffled-as.sat03-412.cnf	? (TO)	1300.08	1300.05	3350022
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN.cnf	? (TO)	1300.08	1300.06	3350238
application/leberre/ 2dimensionalstrippacking/E00X23.cnf	? (TO)	1300.08	1300.05	3350234
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsmhdlc2-tseitin.cnf	? (TO)	1300.08	1300.02	3350044
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step21.cnf	? (TO)	1300.08	1300.03	3350080
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-21-step11.cnf	? (TO)	1300.09	1300.05	3350139
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.045-NOTKNOWN.cnf	? (TO)	1300.09	1300.07	3350240
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.050-NOTKNOWN.cnf	? (TO)	1300.09	1300.11	3350011
application/rintanen/SATPlanning/ blocks-blocks-36-0.120-NOTKNOWN.cnf	? (TO)	1300.09	1300.08	3350168
velev-vliw-uns-4.0-9-i1.cnf	? (TO)	1300.09	1300.07	3350038
APPLICATIONS/diagnosis/ UR-20-10p0.cnf	? (TO)	1300.1	1300.07	3350035
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq57_a.cnf	? (TO)	1300.1	1300.12	3350041
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	? (TO)	1300.1	1300.07	3350036
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (TO)	1300.1	1300.1	3350029
application/rintanen/SATPlanning/ blocks-blocks-37-1.130-NOTKNOWN.cnf	? (TO)	1300.1	1300.07	3350170
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN.cnf	? (TO)	1300.1	1300.1	3350237
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.035-NOTKNOWN.cnf	? (TO)	1300.1	1300.07	3350239
SAT-Race-2010-CNF/hardware-verification/ velev/2dlx_ca_bp_f_liveness.cnf	? (TO)	1300.11	1300.1	3350201
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.used-as.sat04-719.cnf	? (TO)	1300.12	1300.13	3350180
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq60_a.cnf	? (TO)	1300.12	1300.09	3350042
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.used-as.sat04-347.cnf	? (TO)	1300.12	1300.08	3350023
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.cnf	? (TO)	1300.12	1300.09	3350165
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	1300.12	1300.08	3350183
industrial/anbulagan/ hard-sat/partial-10-17-s.cnf	? (TO)	1300.12	1300.1	3350182
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (TO)	1300.13	1300.1	3349998
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf	? (TO)	1300.15	1300.11	3350024
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	? (TO)	1300.15	1300.14	3350015
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.060-NOTKNOWN.cnf	? (TO)	1300.15	1300.13	3350012
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	? (TO)	1300.17	1300.14	3350014
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf	? (TO)	1300.19	1300.15	3350013
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	? (TO)	1300.2	1300.15	3350244
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	? (TO)	1300.21	1300.15	3350245

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

Result page for solver minisat hack: LR_GL_NOSHR 2011-03-02 (complete)

Category "applications instances" (APPLICATION)

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

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

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