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.011997	0.0186851	3348770
application/leberre/ 2dimensionalstrippacking/E07N15.cnf	UNSAT	0.033994	0.036491	3348790
application/leberre/ 2dimensionalstrippacking/E15N15.cnf	UNSAT	0.090985	0.094044	3348791
SAT02/industrial/goldberg/rand_net/ rand_net60-30-1.shuffled.cnf	UNSAT	0.111982	0.114472	3348772
APPLICATIONS/bitverif/ minandmaxor/minandmaxor016.cnf	UNSAT	0.262959	0.264885	3348775
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-ext_con_032_008_0256-tseitin.cnf	UNSAT	0.380941	0.394357	3348789
application/leberre/ 2dimensionalstrippacking/E04N18.cnf	UNSAT	0.59091	0.597167	3348793
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-nusmvreactorp4-tseitin.cnf	UNSAT	1.00485	1.0057	3348779
industrial/babic/dspam/ dspam_dump_vc949.cnf	UNSAT	1.12183	1.12884	3348773
application/leberre/ 2dimensionalstrippacking/E03N17.cnf	UNSAT	1.18682	1.19188	3348792
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bc57sensorsp1-tseitin.cnf	UNSAT	1.23981	1.24047	3348780
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp3-tseitin.cnf	UNSAT	1.40479	1.40659	3348781
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp2-tseitin.cnf	UNSAT	1.87671	1.89845	3348782
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvqis8x8p2-tseitin.cnf	UNSAT	3.02254	3.02407	3348787
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtswvsam6x8p3-tseitin.cnf	UNSAT	3.56746	3.69504	3348786
industrial/babic/hsatv17/ hsat_vc12062.cnf	UNSAT	3.58645	3.58814	3348774
APPLICATIONS/diagnosis/ UTI-20-10t0.cnf	UNSAT	4.15537	4.15775	3348776
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf	UNSAT	4.99624	5.51347	3348784
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bjrb07amba2andenv-tseitin.cnf	UNSAT	6.67998	6.68415	3348783
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvrod6x8p1-tseitin.cnf	UNSAT	7.28689	7.75795	3348788
application/leberre/ 2dimensionalstrippacking/E05X15.cnf	UNSAT	7.48386	7.4873	3348954
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns2p3-tseitin.cnf	UNSAT	7.49086	7.51428	3348785
SAT-Race-2010-CNF/software-verification/ nec/hard-18-U-10652.cnf	UNSAT	8.80866	8.80909	3348932
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step11.cnf	UNSAT	9.32058	9.32643	3348937
SAT02/industrial/goldberg/rand_net/ rand_net60-25-10.shuffled.cnf	UNSAT	9.8435	9.84318	3348771
SAT04/industrial/hoonsang/vis-bmc/ dekker.used-as.sat04-989.cnf	UNSAT	10.2644	10.2705	3348908
SAT-Race-2010-CNF/software-verification/ nec/hard-6-U-7061.cnf	UNSAT	11.3013	11.3148	3348777
SAT-Race-2010-CNF/software-verification/ nec/hard-25-U-7061.cnf	UNSAT	11.4403	11.5236	3348778
industrial/palacios/medium/ blocks-4-ipc5-h21-unknown.cnf	UNSAT	12.6721	12.9395	3348918
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step15.cnf	UNSAT	12.7091	12.7167	3348941
manol-pipe-c6bidw_i.cnf	UNSAT	16.5495	16.5537	3348928
application/rintanen/SATPlanning/ grid-strips-grid-y-4.025-NOTKNOWN.cnf	UNSAT	18.6452	18.6508	3348967
application/fuhs/ AProVE11/AProVE11-11.cnf	UNSAT	20.1669	20.1707	3348933
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-nlzbe256-tseitin.cnf	UNSAT	20.2749	20.2776	3348952
SAT04/industrial/hoonsang/vis-bmc/ all.used-as.sat04-986.cnf	UNSAT	24.5263	24.5424	3348909
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtviseisenberg2-tseitin.cnf	UNSAT	30.1024	30.1674	3348948
SAT-Race-2010-CNF/hardware-verification/ manolios/c10idw_i.cnf	UNSAT	30.1144	30.1248	3348931
application/leberre/ 2dimensionalstrippacking/E02F17.cnf	UNSAT	32.603	32.603	3348956
application/leberre/ 2dimensionalstrippacking/korf-15.cnf	UNSAT	33.9188	33.9212	3348955
industrial/anbulagan/ medium-unsat/dated-5-11-u.cnf	UNSAT	41.1567	41.1565	3348910
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	UNSAT	41.4697	41.4734	3348924
industrial/fuhs/medium/ AProVE07-21.cnf	UNSAT	45.943	45.9454	3348912
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w9.shuffled.cnf	UNSAT	47.3128	47.3407	3348906
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtviseisenberg1-tseitin.cnf	UNSAT	59.9739	59.9981	3348947
APPLICATIONS/diagnosis/ ACG-10-10p0.cnf	UNSAT	60.2368	60.2446	3348923
SAT03/industrial/simon/sat02/ 6pipe_6_ooo.shuffled-as.sat03-413.cnf	UNSAT	63.7963	64.0086	3348907
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom12.cnf	UNSAT	73.2379	73.2454	3348934
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	UNSAT	80.3088	80.3202	3348922
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsm5378d2-tseitin.cnf	UNSAT	82.6724	82.6736	3348943
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step13.cnf	UNSAT	99.0939	99.0995	3348942
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	UNSAT	99.6239	99.6352	3348920
application/rintanen/SATPlanning/ blocks-blocks-37-1.120-NOTKNOWN.cnf	UNSAT	109.048	109.052	3348969
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	UNSAT	116.464	116.48	3348919
manol-pipe-c10nidw.cnf	UNSAT	168.829	168.84	3348930
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.030-NOTKNOWN.cnf	UNSAT	172.166	172.17	3348964
velev-pipe-o-uns-1.0-7.cnf	UNSAT	194.67	194.678	3348927
application/manthey/traffic/ traffic_pcb_unknown.cnf	UNSAT	201.152	201.152	3348962
application/manthey/traffic/ traffic_kkb_unknown.cnf	UNSAT	209.97	209.967	3348959
application/manthey/traffic/ traffic_fb_unknown.cnf	UNSAT	214.676	214.686	3348963
application/manthey/traffic/ traffic_f_unknown.cnf	UNSAT	215.695	215.695	3348961
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_063_080-tseitin.cnf	UNSAT	218.878	218.881	3348950
application/manthey/traffic/ traffic_3b_unknown.cnf	UNSAT	234.671	234.67	3348958
application/manthey/traffic/ traffic_b_unsat.cnf	UNSAT	237.505	237.513	3348960
manol-pipe-f7nidw.cnf	UNSAT	277.418	277.416	3348929
industrial/manolios/ manol-pipe-f7idw.cnf	UNSAT	295.355	295.358	3348917
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	UNSAT	307.81	307.81	3348925
velev-pipe-o-uns-1.1-6.cnf	UNSAT	323.026	323.053	3348926
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step20.cnf	UNSAT	394.651	394.646	3348938
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step15.cnf	UNSAT	410.829	410.834	3348940
SAT02/industrial/goldberg/rand_net/ rand_net60-40-10.shuffled.cnf	UNSAT	486.575	486.568	3348904
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_079_112-tseitin.cnf	UNSAT	492.8	492.816	3348953
SAT02/industrial/aloul/ Homer/homer14.shuffled.cnf	UNSAT	582.423	582.412	3348903
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmsgoodbakery-tseitin.cnf	UNSAT	632.728	632.716	3348946
application/leberre/ 2dimensionalstrippacking/korf-17.cnf	UNSAT	670.272	670.25	3348957
application/rintanen/SATPlanning/ grid-strips-grid-y-3.035-NOTKNOWN.cnf	UNSAT	802.071	802.191	3348966
industrial/fuhs/hard/ AProVE07-03.cnf	UNSAT	856.937	856.945	3348911
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	UNSAT	883.925	883.914	3348836

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT05/industrial/maris05/DriverLog/ driverlog1_ks99i.renamed-as.sat05-3951.cnf	SAT	0.006998	0.0109639	3348853
SAT05/industrial/maris05/DriverLog/ driverlog3_v01a.renamed-as.sat05-3963.cnf	SAT	0.008998	0.0125489	3348750
SAT02/industrial/aloul/ Bart/bart17.shuffled.cnf	SAT	0.008998	0.01267	3348746
SAT02/industrial/biere/ dinphil/dp04s04.shuffled.cnf	SAT	0.017996	0.037398	3348747
SAT05/industrial/maris05/Rovers/ rovers1_ks99i.renamed-as.sat05-3971.cnf	SAT	0.019996	0.0192709	3348752
SAT05/industrial/maris05/Ferry/ ferry5_ks99i.renamed-as.sat05-3994.cnf	SAT	0.020996	0.0228741	3348751
application/kullmann/AES/Benchmarks/ 32/aes_32_1_keyfind_1.cnf	SAT	0.021996	0.0235651	3348768
SAT02/industrial/biere/ dinphil/dp10s10.shuffled.cnf	SAT	0.112982	0.119139	3348748
SAT02/industrial/goldberg/fpga_routing/ vda_gr_rcs_w9.shuffled.cnf	SAT	0.408937	0.410386	3348749
application/fuhs/ AProVE11/AProVE11-12.cnf	SAT	0.667897	0.674955	3348755
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_15_SAT.cnf	SAT	0.77988	0.786265	3348868
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step12.cnf	SAT	0.947855	0.949397	3348762
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_18_SAT.cnf	SAT	1.05784	1.06742	3348869
application/fuhs/ AProVE11/AProVE11-09.cnf	SAT	1.13183	1.14262	3348757
application/fuhs/ AProVE11/AProVE11-16.cnf	SAT	1.53977	1.54262	3348758
SAT04/industrial/vangelder/cnf-color/ abb313GPIA-9-tr.used-as.sat04-321.cnf	SAT	1.76373	1.76472	3348847
APPLICATIONS/diagnosis/ UTI-10-5t1.cnf	SAT	2.07868	2.60225	3348753
velev-pipe-sat-1.0-b9.cnf	SAT	2.58461	2.60036	3348871
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbsharemodes_vc5759-tseitin.cnf	SAT	2.87256	2.9039	3348763
application/fuhs/ AProVE11/AProVE11-15.cnf	SAT	2.97155	2.98151	3348756
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-src_wget_vc18517-tseitin.cnf	SAT	3.04354	3.05081	3348764
application/fuhs/ AProVE11/AProVE11-02.cnf	SAT	3.68944	3.70475	3348759
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libmsrpc_vc1225336-tseitin.cnf	SAT	3.74743	3.7564	3348765
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbclient_vc1228502-tseitin.cnf	SAT	4.81127	4.82082	3348767
application/manthey/ traffic/traffic_r_sat.cnf	SAT	6.10807	6.16537	3348894
APPLICATIONS/diagnosis/ UTI-20-10t1.cnf	SAT	6.22405	6.24795	3348754
SAT05/industrial/grieu05/vmpc/ vmpc_25.renamed-as.sat05-1913.cnf	SAT	6.64899	6.65566	3348851
application/fuhs/ AProVE11/AProVE11-07.cnf	SAT	6.94494	6.95851	3348760
application/leberre/ 2dimensionalstrippacking/E05F18.cnf	SAT	7.40387	7.40973	3348769
application/fuhs/ AProVE11/AProVE11-13.cnf	SAT	7.8828	7.90857	3348761
ibm-2004-01-k90.cnf	SAT	10.5564	10.5596	3348872
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	SAT	11.6052	11.6367	3348858
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf	SAT	14.2308	14.2572	3348896
application/kullmann/AES/Benchmarks/ 32/aes_32_2_keyfind_1.cnf	SAT	14.9677	14.9718	3348886
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug4_q0.used-as.sat04-723.cnf	SAT	15.3327	17.2057	3348850
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	SAT	15.3827	15.3862	3348860
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug6.cnf	SAT	15.5146	15.7108	3348857
application/leberre/ 2dimensionalstrippacking/E05F20.cnf	SAT	15.7966	15.8182	3348890
ibm-2002-21r-k95.cnf	SAT	17.6923	17.7009	3348870
application/rintanen/SATPlanning/ blocks-blocks-36-0.160-NOTKNOWN.cnf	SAT	17.8763	17.8893	3348899
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug6_q0.used-as.sat04-725.cnf	SAT	18.2282	18.2308	3348849
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf	SAT	20.1389	20.1458	3348766
velev-npe-1.0-9dlx-b71.cnf	SAT	20.3769	20.4326	3348806
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step14.cnf	SAT	23.2885	23.2993	3348884
SAT_RACE08/Q1/ SAT_dat.k80_04.cnf	SAT	28.1507	28.1991	3348875
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	SAT	29.4425	29.9828	3348801
application/fuhs/ AProVE11/AProVE11-10.cnf	SAT	37.2423	37.2477	3348878
application/leberre/ 2dimensionalstrippacking/E04F20.cnf	SAT	40.3549	40.3602	3348891
application/leberre/ 2dimensionalstrippacking/E04F19.cnf	SAT	40.7798	40.7875	3348888
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	SAT	44.2633	44.2728	3348861
application/leberre/ 2dimensionalstrippacking/E02F22.cnf	SAT	45.6781	45.683	3348892
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	SAT	47.4168	47.4253	3348859
application/manthey/traffic/ traffic_r_uc_sat.cnf	SAT	68.8885	68.9109	3348895
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-30-step11.cnf	SAT	69.1715	69.1897	3348883
APPLICATIONS/diagnosis/ UR-10-10p1.cnf	SAT	69.5504	69.5515	3348864
application/rintanen/SATPlanning/ blocks-blocks-37-1.150-SAT.cnf	SAT	77.2812	77.3149	3348900
APPLICATIONS/diagnosis/ ACG-15-5p1.cnf	SAT	90.5072	90.53	3348865
application/rintanen/SATPlanning/ blocks-blocks-36-0.170-NOTKNOWN.cnf	SAT	128.166	128.205	3348901
SAT-Race-2010-CNF/cryptography/ mizh/md5_48_3.cnf	SAT	131.988	132.015	3348877
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf	SAT	132.561	132.593	3348855
application/leberre/ 2dimensionalstrippacking/E02F20.cnf	SAT	144.129	144.133	3348889
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top30.cnf	SAT	147.604	147.608	3348809
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step16.cnf	SAT	154.824	154.825	3348881
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top29.cnf	SAT	162.311	162.333	3348879
SAT-Race-2010-CNF/cryptography/ mizh/sha0_36_5.cnf	SAT	162.984	162.998	3348807
ibm-2004-23-k100.cnf	SAT	163.354	163.403	3348873
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf	SAT	205.783	205.786	3348856
application/rintanen/SATPlanning/ blocks-blocks-36-0.180-SAT.cnf	SAT	225.341	225.392	3348902
SAT05/industrial/grieu05/vmpc/ vmpc_29.renamed-as.sat05-1916.cnf	SAT	277.901	277.899	3348852
application/manthey/traffic/ traffic_3_uc_sat.cnf	SAT	329.111	329.107	3348893
SAT_RACE08/Q1/ SAT_dat.k85.cnf	SAT	373.845	373.847	3348876
ibm-2002-30r-k85.cnf	SAT	375.972	375.974	3348874
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	SAT	407.108	407.126	3348867
mizh-sha0-36-4.cnf	SAT	440.849	440.854	3349000
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step16.cnf	SAT	471.268	471.269	3348882
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	SAT	487.052	487.053	3348862
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	SAT	529.864	529.892	3348866
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top28.cnf	SAT	787.223	787.205	3348808
application/rintanen/SATPlanning/ transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.060-SAT.cnf	SAT	897.702	898.06	3348898
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	SAT	947.113	947.101	3348804
industrial/palacios/medium/ cube-11-h14-sat.cnf	SAT	978.136	978.249	3348800
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	SAT	1110.09	1110.13	3348799
SAT05/industrial/narain05/vpn/ clauses-8.renamed-as.sat05-1964.cnf	SAT	1126.67	1126.71	3348797
industrial/crypto/ mizh-sha0-36-2.cnf	SAT	1143.7	1143.68	3348984
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top26.cnf	SAT	1194.19	1194.18	3349019
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	SAT	1225.32	1225.32	3348863

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	1299.61	1300.02	3348996
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-servers_slapd_a_vc149789-tseitin.cnf	? (TO)	1299.8	1300.02	3348885
velev-vliw-uns-4.0-9-i1.cnf	? (TO)	1299.84	1300.02	3348838
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq57_a.cnf	? (TO)	1299.89	1300.02	3348841
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	1299.9	1300.02	3348830
application/kullmann/AES/Benchmarks/ 128/aes_128_2_keyfind_1.cnf	? (TO)	1299.9	1300.02	3349026
application/kullmann/AES/Benchmarks/ 64/aes_64_2_keyfind_1.cnf	? (TO)	1299.91	1300.02	3349031
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.045-NOTKNOWN.cnf	? (TO)	1299.92	1300.02	3349040
SAT02/industrial/aloul/ Homer/homer17.shuffled.cnf	? (TO)	1299.92	1300.02	3348971
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	1299.93	1300.02	3348985
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (TO)	1299.94	1300.02	3348803
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN.cnf	? (TO)	1299.96	1300.02	3349037
APPLICATIONS/bitverif/countbitsarray/ countbitsarray04_32.cnf	? (TO)	1299.96	1300.02	3348988
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.080-SAT.cnf	? (TO)	1299.96	1300.02	3349043
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	1299.96	1300.02	3348999
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_11_ooo.cnf	? (TO)	1299.96	1300.02	3348839
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom22.cnf	? (TO)	1299.96	1300.02	3349012
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom14.cnf	? (TO)	1299.96	1300.02	3349002
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom19.cnf	? (TO)	1299.96	1300.01	3349007
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.035-NOTKNOWN.cnf	? (TO)	1299.97	1300.02	3349039
industrial/anbulagan/ hard-sat/partial-10-17-s.cnf	? (TO)	1299.97	1300.02	3348982
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom24.cnf	? (TO)	1299.97	1300.02	3349016
SAT03/industrial/kukula/addm_bench/ am_7_7.shuffled-as.sat03-363.cnf	? (TO)	1299.97	1300.02	3348974
SAT05/industrial/grieu05/vmpc/ vmpc_34.renamed-as.sat05-1926.cnf	? (TO)	1299.97	1300.02	3348795
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf	? (TO)	1299.97	1300.02	3348824
APPLICATIONS/crypto/ md5gen/gus-md5-12.cnf	? (TO)	1299.98	1300.02	3348997
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k80.cnf	? (TO)	1299.98	1300.02	3348915
SAT03/industrial/maris/CNF/ gripper13u.shuffled-as.sat03-395.cnf	? (TO)	1299.98	1300.02	3348977
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom25.cnf	? (TO)	1299.98	1300.02	3349018
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k45.cnf	? (TO)	1299.98	1300.02	3348914
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom13.cnf	? (TO)	1299.98	1300.02	3348935
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top22.cnf	? (TO)	1299.98	1300.02	3349011
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step21.cnf	? (TO)	1299.98	1300.02	3348880
SAT04/industrial/vangelder/ cnf-color/abb313GPIA-9-c.used-as.sat04-317.cnf	? (TO)	1299.98	1300.01	3348848
SAT03/industrial/schuppan/l2s/ dme-03-1-k247-unsat.shuffled-as.sat03-407.cnf	? (TO)	1299.98	1300.02	3348978
SAT03/industrial/goldberg/hard_eq_check/ c6288mul.miter.shuffled-as.sat03-346.cnf	? (TO)	1299.99	1300.02	3348819
application/fuhs/ AProVE11/AProVE11-06.cnf	? (TO)	1299.99	1300.02	3348843
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom20.cnf	? (TO)	1299.99	1300.02	3349008
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf	? (TO)	1299.99	1300.03	3348813
SAT05/industrial/grieu05/vmpc/ vmpc_35.renamed-as.sat05-1921.cnf	? (TO)	1299.99	1300.02	3348796
APPLICATIONS/bitverif/ smulo/smulo064.cnf	? (TO)	1299.99	1300.02	3348995
application/rintanen/SATPlanning/ blocks-blocks-37-1.130-NOTKNOWN.cnf	? (TO)	1299.99	1300.02	3348970
SAT05/industrial/grieu05/vmpc/ vmpc_32.renamed-as.sat05-1919.cnf	? (TO)	1299.99	1300.02	3348794
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	1300	1300.02	3348987
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom23.cnf	? (TO)	1300	1300.02	3349014
SAT03/industrial/goldberg/hard_eq_check/ x1mul.miter.shuffled-as.sat03-359.cnf	? (TO)	1300	1300.02	3348818
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.050-NOTKNOWN.cnf	? (TO)	1300	1300.02	3348811
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w8.shuffled.cnf	? (TO)	1300	1300.02	3348973
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom17.cnf	? (TO)	1300	1300.02	3349005
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom21.cnf	? (TO)	1300	1300.02	3349010
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom26.cnf	? (TO)	1300	1300.02	3349020
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-eijkbs6669-tseitin.cnf	? (TO)	1300	1300.02	3348845
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.025-NOTKNOWN.cnf	? (TO)	1300.01	1300.02	3349036
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	1300.01	1300.02	3348828
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	1300.01	1300.02	3348831
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	1300.01	1300.02	3348832
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k100.cnf	? (TO)	1300.01	1300.02	3348916
SAT03/industrial/schuppan/l2s/ valves-gates-1-k617-unsat.shuffled-as.sat03-412.cnf	? (TO)	1300.01	1300.02	3348822
SAT03/industrial/li/li-test4/ li-test4-100.shuffled-as.sat03-370.cnf	? (TO)	1300.01	1300.02	3348976
application/leberre/ 2dimensionalstrippacking/E00N23.cnf	? (TO)	1300.01	1300.02	3349035
application/leberre/ 2dimensionalstrippacking/korf-18.cnf	? (TO)	1300.01	1300.02	3348846
APPLICATIONS/bitverif/ maxxororand/maxxororand064.cnf	? (TO)	1300.01	1300.02	3348993
application/kullmann/AES/Benchmarks/ 64/aes_64_1_keyfind_1.cnf	? (TO)	1300.01	1300.02	3348887
APPLICATIONS/bitverif/countbitswegner/ countbitswegner128.cnf	? (TO)	1300.01	1300.02	3348991
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	1300.01	1300.02	3348989
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top25.cnf	? (TO)	1300.01	1300.01	3349017
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top24.cnf	? (TO)	1300.01	1300.02	3349015
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom15.cnf	? (TO)	1300.01	1300.02	3349003
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns3p00-tseitin.cnf	? (TO)	1300.01	1300.02	3349022
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtpmspalu-tseitin.cnf	? (TO)	1300.01	1300.01	3348945
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-VS3-benchmark-S2-tseitin.cnf	? (TO)	1300.01	1300.02	3349024
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-13-step17.cnf	? (TO)	1300.01	1300.02	3348936
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	1300.01	1300.02	3348827
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.045-NOTKNOWN.cnf	? (TO)	1300.01	1300.02	3349041
application/rintanen/SATPlanning/ transport-transport-two-cities-sequential-15nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.040-SAT.cnf	? (TO)	1300.01	1300.02	3348897
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	1300.01	1300.02	3348998
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_19_UNKNOWN.cnf	? (TO)	1300.01	1300.02	3348805
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	1300.01	1300.02	3348837
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	1300.01	1300.02	3348825
industrial/anbulagan/ hard-unsat/dated-10-17-u.cnf	? (TO)	1300.01	1300.02	3348826
SAT04/industrial/vangelder/cnf-color/ myciel6-tr.used-as.sat04-320.cnf	? (TO)	1300.02	1300.01	3348979
APPLICATIONS/diagnosis/ UR-20-10p0.cnf	? (TO)	1300.02	1300.02	3348835
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvissoap1-tseitin.cnf	? (TO)	1300.02	1300.02	3348949
application/kullmann/AES/Benchmarks/ 128/aes_128_3_keyfind_1.cnf	? (TO)	1300.02	1300.02	3349027
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	1300.02	1300.02	3348983
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	1300.02	1300.02	3348992
application/kullmann/AES/Benchmarks/ 64/aes_64_4_keyfind_1.cnf	? (TO)	1300.02	1300.02	3349033
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.cnf	? (TO)	1300.02	1300.02	3348965
application/kullmann/AES/Benchmarks/ 32/aes_32_4_keyfind_1.cnf	? (TO)	1300.02	1300.01	3349029
application/leberre/ 2dimensionalstrippacking/E00X23.cnf	? (TO)	1300.02	1300.02	3349034
SAT03/industrial/goldberg/hard_eq_check/ k2mul.miter.shuffled-as.sat03-355.cnf	? (TO)	1300.02	1300.02	3348820
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	? (TO)	1300.02	1300.02	3348814
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.060-NOTKNOWN.cnf	? (TO)	1300.02	1300.02	3348812
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf	? (TO)	1300.02	1300.02	3349042
SAT03/industrial/li/li-exam/ li-exam-61.shuffled-as.sat03-366.cnf	? (TO)	1300.02	1300.02	3348975
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.used-as.sat04-347.cnf	? (TO)	1300.02	1300.02	3348823
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	1300.02	1300.02	3348986
SAT03/industrial/schuppan/l2s/ bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf	? (TO)	1300.02	1300.01	3348821
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_004_127_112-tseitin.cnf	? (TO)	1300.02	1300.02	3348951
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (TO)	1300.02	1300.02	3348833
SAT02/industrial/goldberg/rand_net/ rand_net70-60-10.shuffled.cnf	? (TO)	1300.02	1300.02	3348905
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-21-step11.cnf	? (TO)	1300.02	1300.02	3348939
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsmhdlc2-tseitin.cnf	? (TO)	1300.02	1300.02	3348844
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	? (TO)	1300.02	1300.02	3349045
SAT02/industrial/dellacherie/ comb/comb1.shuffled.cnf	? (TO)	1300.02	1300.02	3348972
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtpmsns2-tseitin.cnf	? (TO)	1300.02	1300.01	3348944
SAT02/industrial/aloul/ Homer/homer16.shuffled.cnf	? (TO)	1300.02	1300.02	3348817
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	1300.03	1300.02	3348802
SAT-Race-2010-CNF/hardware-verification/ velev/2dlx_ca_bp_f_liveness.cnf	? (TO)	1300.03	1300.02	3349001
application/kullmann/AES/Benchmarks/ 32/aes_32_3_keyfind_1.cnf	? (TO)	1300.03	1300.01	3348810
application/kullmann/AES/Benchmarks/ 64/aes_64_3_keyfind_1.cnf	? (TO)	1300.03	1300.02	3349032
application/kullmann/AES/Benchmarks/ 128/aes_128_1_keyfind_1.cnf	? (TO)	1300.03	1300.02	3349025
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top23.cnf	? (TO)	1300.03	1300.02	3349013
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvisns3p02-tseitin.cnf	? (TO)	1300.03	1300.01	3349021
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-countbits128-tseitin.cnf	? (TO)	1300.03	1300.02	3349023
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	? (TO)	1300.03	1300.02	3349044
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN.cnf	? (TO)	1300.03	1300.02	3349038
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.050-SAT.cnf	? (TO)	1300.03	1300.02	3348816
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	1300.03	1300.02	3348834
application/rintanen/SATPlanning/ blocks-blocks-36-0.120-NOTKNOWN.cnf	? (TO)	1300.03	1300.02	3348968
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (TO)	1300.03	1300.02	3348798
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (TO)	1300.03	1300.03	3348829
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k20.cnf	? (TO)	1300.03	1300.02	3348913
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	1300.03	1300.02	3348994
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	? (TO)	1300.04	1300.03	3348815
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_k.cnf	? (TO)	1300.04	1300.02	3348840
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.used-as.sat04-719.cnf	? (TO)	1300.04	1300.02	3348980
SAT05/industrial/grieu05/vmpc/ vmpc_36.renamed-as.sat05-1922.cnf	? (TO)	1300.04	1300.02	3348981
APPLICATIONS/bitverif/ countbitssrl/countbitssrl064.cnf	? (TO)	1300.04	1300.02	3348990
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom16.cnf	? (TO)	1300.04	1300.02	3349004
application/kullmann/AES/Benchmarks/ 128/aes_128_10_keyfind_1.cnf	? (TO)	1300.04	1300.02	3349028
APPLICATIONS/ bitverif/maxxor/maxxor032.cnf	? (TO)	1300.05	1300.02	3348921
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top21.cnf	? (TO)	1300.05	1300.02	3349009
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom18.cnf	? (TO)	1300.05	1300.02	3349006
application/kullmann/AES/Benchmarks/ 32/aes_32_5_keyfind_1.cnf	? (TO)	1300.05	1300.02	3349030
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	? (TO)	1300.05	1300.02	3348854
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq60_a.cnf	? (TO)	1300.06	1300.03	3348842

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

Result page for solver minisat hack: minisat_psm 2011-04-01 (complete)

Category "applications instances" (APPLICATION)

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

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

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