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.0122001	3349670
application/leberre/ 2dimensionalstrippacking/E07N15.cnf	UNSAT	0.015996	0.017135	3349690
application/leberre/ 2dimensionalstrippacking/E15N15.cnf	UNSAT	0.017996	0.0175061	3349691
SAT02/industrial/goldberg/rand_net/ rand_net60-30-1.shuffled.cnf	UNSAT	0.107983	0.112062	3349672
industrial/babic/dspam/ dspam_dump_vc949.cnf	UNSAT	0.566913	0.569413	3349673
APPLICATIONS/bitverif/ minandmaxor/minandmaxor016.cnf	UNSAT	0.569912	0.571894	3349675
industrial/babic/hsatv17/ hsat_vc12062.cnf	UNSAT	0.58891	0.596319	3349674
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-nusmvreactorp4-tseitin.cnf	UNSAT	0.690894	0.693835	3349679
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bc57sensorsp1-tseitin.cnf	UNSAT	0.697892	0.70449	3349680
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp3-tseitin.cnf	UNSAT	0.84587	0.845556	3349681
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp2-tseitin.cnf	UNSAT	0.855868	0.857415	3349682
application/leberre/ 2dimensionalstrippacking/E04N18.cnf	UNSAT	1.08783	1.09063	3349693
application/leberre/ 2dimensionalstrippacking/E03N17.cnf	UNSAT	1.51077	1.51032	3349692
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvqis8x8p2-tseitin.cnf	UNSAT	2.32265	2.32464	3349687
SAT02/industrial/goldberg/rand_net/ rand_net60-25-10.shuffled.cnf	UNSAT	2.51862	2.52027	3349671
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtswvsam6x8p3-tseitin.cnf	UNSAT	3.20251	3.21394	3349686
SAT-Race-2010-CNF/software-verification/ nec/hard-25-U-7061.cnf	UNSAT	3.2755	3.31539	3349678
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf	UNSAT	4.28135	4.28258	3349684
SAT-Race-2010-CNF/software-verification/ nec/hard-6-U-7061.cnf	UNSAT	4.29135	4.37764	3349677
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bjrb07amba2andenv-tseitin.cnf	UNSAT	4.63529	4.64528	3349683
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns2p3-tseitin.cnf	UNSAT	4.94425	4.94536	3349685
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step11.cnf	UNSAT	5.00124	5.00328	3349837
APPLICATIONS/diagnosis/ UTI-20-10t0.cnf	UNSAT	5.80312	5.80381	3349676
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvrod6x8p1-tseitin.cnf	UNSAT	6.29504	6.29622	3349688
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_004_127_112-tseitin.cnf	UNSAT	8.48835	4.31252	3349851
application/fuhs/ AProVE11/AProVE11-11.cnf	UNSAT	10.6644	10.6644	3349833
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-nlzbe256-tseitin.cnf	UNSAT	13.034	13.0345	3349852
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step15.cnf	UNSAT	14.1358	14.136	3349841
industrial/palacios/medium/ blocks-4-ipc5-h21-unknown.cnf	UNSAT	16.2175	16.2301	3349818
application/rintanen/SATPlanning/ grid-strips-grid-y-4.025-NOTKNOWN.cnf	UNSAT	18.6352	18.6384	3349867
application/leberre/ 2dimensionalstrippacking/E05X15.cnf	UNSAT	19.681	19.6824	3349854
SAT-Race-2010-CNF/software-verification/ nec/hard-18-U-10652.cnf	UNSAT	19.812	19.8136	3349832
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_079_112-tseitin.cnf	UNSAT	21.1578	21.1591	3349853
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_063_080-tseitin.cnf	UNSAT	30.1534	30.1589	3349850
industrial/anbulagan/ medium-unsat/dated-5-11-u.cnf	UNSAT	30.8363	30.8395	3349810
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtviseisenberg2-tseitin.cnf	UNSAT	38.3982	38.4145	3349848
manol-pipe-c6bidw_i.cnf	UNSAT	43.7553	43.7634	3349828
SAT03/industrial/simon/sat02/ 6pipe_6_ooo.shuffled-as.sat03-413.cnf	UNSAT	46.246	46.2477	3349807
SAT-Race-2010-CNF/hardware-verification/ manolios/c10idw_i.cnf	UNSAT	48.7116	48.7128	3349831
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	UNSAT	49.4605	49.4599	3349824
APPLICATIONS/diagnosis/ ACG-10-10p0.cnf	UNSAT	60.1529	60.1527	3349823
SAT04/industrial/hoonsang/vis-bmc/ dekker.used-as.sat04-989.cnf	UNSAT	72.0091	72.0101	3349808
application/leberre/ 2dimensionalstrippacking/E02F17.cnf	UNSAT	101.959	101.966	3349856
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step13.cnf	UNSAT	103.687	103.694	3349842
application/rintanen/SATPlanning/ blocks-blocks-37-1.120-NOTKNOWN.cnf	UNSAT	113.675	113.687	3349869
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w9.shuffled.cnf	UNSAT	115.248	115.252	3349806
SAT04/industrial/hoonsang/vis-bmc/ all.used-as.sat04-986.cnf	UNSAT	125.348	125.358	3349809
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	UNSAT	127.333	127.327	3349820
SAT02/industrial/goldberg/rand_net/ rand_net70-60-10.shuffled.cnf	UNSAT	130.418	130.426	3349805
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtviseisenberg1-tseitin.cnf	UNSAT	170.785	170.777	3349847
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.030-NOTKNOWN.cnf	UNSAT	175.431	175.43	3349864
application/leberre/ 2dimensionalstrippacking/korf-15.cnf	UNSAT	177.808	177.812	3349855
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsm5378d2-tseitin.cnf	UNSAT	204.589	204.584	3349843
application/manthey/traffic/ traffic_fb_unknown.cnf	UNSAT	246.538	246.537	3349863
application/manthey/traffic/ traffic_pcb_unknown.cnf	UNSAT	259.627	259.622	3349862
application/manthey/traffic/ traffic_b_unsat.cnf	UNSAT	261.481	261.494	3349860
application/manthey/traffic/ traffic_f_unknown.cnf	UNSAT	292.745	292.735	3349861
application/manthey/traffic/ traffic_kkb_unknown.cnf	UNSAT	297.741	297.74	3349859
industrial/fuhs/medium/ AProVE07-21.cnf	UNSAT	322.821	322.821	3349812
manol-pipe-c10nidw.cnf	UNSAT	338.865	338.855	3349830
application/manthey/traffic/ traffic_3b_unknown.cnf	UNSAT	344.894	344.883	3349858
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	UNSAT	355.896	355.882	3349819
velev-pipe-o-uns-1.0-7.cnf	UNSAT	362.577	362.574	3349827
SAT02/industrial/dellacherie/ comb/comb1.shuffled.cnf	UNSAT	425.743	425.778	3349872
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	UNSAT	495.456	495.434	3349825
SAT02/industrial/goldberg/rand_net/ rand_net60-40-10.shuffled.cnf	UNSAT	514.969	514.964	3349804
application/rintanen/SATPlanning/ grid-strips-grid-y-3.035-NOTKNOWN.cnf	UNSAT	523.284	523.288	3349866
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	UNSAT	555.336	555.315	3349822
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step15.cnf	UNSAT	562.587	562.563	3349840
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom12.cnf	UNSAT	786.038	786.022	3349834
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step20.cnf	UNSAT	886.462	886.443	3349838

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT05/industrial/maris05/DriverLog/ driverlog1_ks99i.renamed-as.sat05-3951.cnf	SAT	0.001998	0.01316	3349753
SAT05/industrial/maris05/DriverLog/ driverlog3_v01a.renamed-as.sat05-3963.cnf	SAT	0.002999	0.0132021	3349650
SAT02/industrial/aloul/ Bart/bart17.shuffled.cnf	SAT	0.004999	0.0132371	3349646
SAT05/industrial/maris05/Rovers/ rovers1_ks99i.renamed-as.sat05-3971.cnf	SAT	0.007998	0.02225	3349652
SAT02/industrial/biere/ dinphil/dp04s04.shuffled.cnf	SAT	0.009997	0.00960206	3349647
application/kullmann/AES/Benchmarks/ 32/aes_32_1_keyfind_1.cnf	SAT	0.011997	0.0173319	3349668
SAT05/industrial/maris05/Ferry/ ferry5_ks99i.renamed-as.sat05-3994.cnf	SAT	0.013997	0.0146691	3349651
SAT02/industrial/biere/ dinphil/dp10s10.shuffled.cnf	SAT	0.18897	0.189844	3349648
application/fuhs/ AProVE11/AProVE11-12.cnf	SAT	0.414936	0.421187	3349655
SAT02/industrial/goldberg/fpga_routing/ vda_gr_rcs_w9.shuffled.cnf	SAT	0.418935	0.430455	3349649
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step12.cnf	SAT	0.458929	0.464296	3349662
application/fuhs/ AProVE11/AProVE11-09.cnf	SAT	0.593909	0.601309	3349657
application/fuhs/ AProVE11/AProVE11-16.cnf	SAT	0.877866	0.884428	3349658
APPLICATIONS/diagnosis/ UTI-10-5t1.cnf	SAT	1.05884	1.06843	3349653
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf	SAT	1.09683	1.09958	3349666
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_15_SAT.cnf	SAT	1.15382	1.15316	3349768
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_18_SAT.cnf	SAT	1.27581	1.27705	3349769
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-servers_slapd_a_vc149789-tseitin.cnf	SAT	1.50577	1.52724	3349785
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbsharemodes_vc5759-tseitin.cnf	SAT	1.50677	1.51483	3349663
SAT04/industrial/vangelder/cnf-color/ abb313GPIA-9-tr.used-as.sat04-321.cnf	SAT	1.55076	1.55788	3349747
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libmsrpc_vc1225336-tseitin.cnf	SAT	1.82072	1.8215	3349665
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbclient_vc1228502-tseitin.cnf	SAT	2.34764	2.35073	3349667
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-src_wget_vc18517-tseitin.cnf	SAT	2.77958	2.78698	3349664
application/fuhs/ AProVE11/AProVE11-02.cnf	SAT	2.79257	2.79327	3349659
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf	SAT	3.60345	3.63236	3349796
application/fuhs/ AProVE11/AProVE11-10.cnf	SAT	3.77443	3.79285	3349778
APPLICATIONS/diagnosis/ UTI-20-10t1.cnf	SAT	4.30734	4.32146	3349654
application/leberre/ 2dimensionalstrippacking/E05F18.cnf	SAT	5.32619	5.32708	3349669
application/fuhs/ AProVE11/AProVE11-13.cnf	SAT	5.42017	5.4623	3349661
application/fuhs/ AProVE11/AProVE11-07.cnf	SAT	5.65514	5.66988	3349660
application/fuhs/ AProVE11/AProVE11-15.cnf	SAT	8.68668	8.69119	3349656
application/manthey/ traffic/traffic_r_sat.cnf	SAT	10.3144	10.3191	3349794
ibm-2004-01-k90.cnf	SAT	10.9203	10.9264	3349772
SAT05/industrial/grieu05/vmpc/ vmpc_25.renamed-as.sat05-1913.cnf	SAT	12.3971	12.3985	3349751
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	SAT	13.437	13.4413	3349760
ibm-2002-21r-k95.cnf	SAT	17.1334	17.1424	3349770
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-30-step11.cnf	SAT	18.7691	18.7862	3349783
application/rintanen/SATPlanning/ blocks-blocks-37-1.150-SAT.cnf	SAT	23.1145	23.1478	3349800
application/leberre/ 2dimensionalstrippacking/E04F19.cnf	SAT	24.0883	24.0881	3349788
SAT_RACE08/Q1/ SAT_dat.k80_04.cnf	SAT	25.3231	25.3291	3349775
SAT05/industrial/grieu05/vmpc/ vmpc_29.renamed-as.sat05-1916.cnf	SAT	27.6698	27.6693	3349752
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step16.cnf	SAT	29.2226	29.2353	3349782
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	SAT	33.9918	33.9935	3349759
application/kullmann/AES/Benchmarks/ 32/aes_32_2_keyfind_1.cnf	SAT	35.7346	35.7394	3349786
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug6_q0.used-as.sat04-725.cnf	SAT	41.2937	41.2998	3349749
APPLICATIONS/diagnosis/ UR-10-10p1.cnf	SAT	44.6912	44.7014	3349764
application/rintanen/SATPlanning/ blocks-blocks-36-0.170-NOTKNOWN.cnf	SAT	50.4223	50.4233	3349801
APPLICATIONS/diagnosis/ ACG-15-5p1.cnf	SAT	53.0009	53.013	3349765
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug4_q0.used-as.sat04-723.cnf	SAT	53.1429	53.145	3349750
ibm-2004-23-k100.cnf	SAT	55.1326	55.1326	3349773
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug6.cnf	SAT	57.0283	57.0889	3349757
application/leberre/ 2dimensionalstrippacking/E05F20.cnf	SAT	57.6312	57.6297	3349790
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf	SAT	62.0696	62.0791	3349755
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	SAT	68.5846	69.2595	3349701
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	SAT	69.7364	69.7676	3349758
velev-pipe-sat-1.0-b9.cnf	SAT	77.8732	77.8792	3349771
SAT-Race-2010-CNF/cryptography/ mizh/sha0_36_5.cnf	SAT	82.1795	82.1784	3349707
velev-npe-1.0-9dlx-b71.cnf	SAT	82.8024	82.8542	3349706
SAT_RACE08/Q1/ SAT_dat.k85.cnf	SAT	85.0861	85.5248	3349776
application/leberre/ 2dimensionalstrippacking/E02F20.cnf	SAT	86.1159	86.1275	3349789
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	SAT	90.7712	90.7766	3349761
application/leberre/ 2dimensionalstrippacking/E04F20.cnf	SAT	94.6836	94.694	3349791
ibm-2002-30r-k85.cnf	SAT	98.421	98.4226	3349774
application/rintanen/SATPlanning/ blocks-blocks-36-0.180-SAT.cnf	SAT	100.443	100.442	3349802
application/manthey/traffic/ traffic_r_uc_sat.cnf	SAT	103.873	103.897	3349795
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step14.cnf	SAT	174.603	174.615	3349784
application/rintanen/SATPlanning/ transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.060-SAT.cnf	SAT	198.426	198.465	3349798
application/rintanen/SATPlanning/ blocks-blocks-36-0.160-NOTKNOWN.cnf	SAT	217.882	217.898	3349799
application/manthey/traffic/ traffic_3_uc_sat.cnf	SAT	240.611	240.614	3349793
SAT-Race-2010-CNF/cryptography/ mizh/md5_48_3.cnf	SAT	262.785	262.781	3349777
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	SAT	295.209	295.199	3349767
SAT05/industrial/narain05/vpn/ clauses-8.renamed-as.sat05-1964.cnf	SAT	311.479	311.501	3349697
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	SAT	361.581	361.57	3349762
SAT05/industrial/grieu05/vmpc/ vmpc_32.renamed-as.sat05-1919.cnf	SAT	392.442	392.428	3349694
application/rintanen/SATPlanning/ transport-transport-two-cities-sequential-15nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.040-SAT.cnf	SAT	406.588	406.58	3349797
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step16.cnf	SAT	416.989	416.98	3349781
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	SAT	470.31	470.302	3349766
application/leberre/ 2dimensionalstrippacking/E02F22.cnf	SAT	471.216	471.223	3349792
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	SAT	474.569	474.564	3349754
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf	SAT	500.843	500.824	3349756
application/kullmann/AES/Benchmarks/ 32/aes_32_3_keyfind_1.cnf	SAT	1123.55	1123.52	3349710
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top30.cnf	SAT	1129.74	1129.71	3349709
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_19_UNKNOWN.cnf	SAT	1174.85	1174.83	3349705

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
application/kullmann/AES/Benchmarks/ 64/aes_64_4_keyfind_1.cnf	? (TO)	1299.95	1300.02	3349933
APPLICATIONS/crypto/ md5gen/gus-md5-12.cnf	? (TO)	1299.96	1300.02	3349897
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom23.cnf	? (TO)	1300	1300.02	3349914
SAT04/industrial/vangelder/ cnf-color/abb313GPIA-9-c.used-as.sat04-317.cnf	? (TO)	1300	1300.03	3349748
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	1300	1300.02	3349731
SAT03/industrial/maris/CNF/ gripper13u.shuffled-as.sat03-395.cnf	? (TO)	1300.01	1300.02	3349877
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	1300.01	1300.02	3349734
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	? (TO)	1300.01	1300.07	3349736
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top24.cnf	? (TO)	1300.01	1300.02	3349915
application/kullmann/AES/Benchmarks/ 64/aes_64_2_keyfind_1.cnf	? (TO)	1300.01	1300.01	3349931
APPLICATIONS/ bitverif/maxxor/maxxor032.cnf	? (TO)	1300.01	1300.02	3349821
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.used-as.sat04-347.cnf	? (TO)	1300.02	1300.09	3349723
application/kullmann/AES/Benchmarks/ 32/aes_32_5_keyfind_1.cnf	? (TO)	1300.02	1300.02	3349930
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k100.cnf	? (TO)	1300.02	1300.02	3349816
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom24.cnf	? (TO)	1300.02	1300.02	3349916
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top22.cnf	? (TO)	1300.02	1300.02	3349911
application/leberre/ 2dimensionalstrippacking/korf-18.cnf	? (TO)	1300.02	1300.03	3349746
SAT03/industrial/schuppan/l2s/ valves-gates-1-k617-unsat.shuffled-as.sat03-412.cnf	? (TO)	1300.02	1300.04	3349722
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top29.cnf	? (TO)	1300.02	1300.02	3349779
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom17.cnf	? (TO)	1300.02	1300.02	3349905
application/kullmann/AES/Benchmarks/ 128/aes_128_3_keyfind_1.cnf	? (TO)	1300.03	1300.02	3349927
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsmhdlc2-tseitin.cnf	? (TO)	1300.03	1300.02	3349744
SAT03/industrial/kukula/addm_bench/ am_7_7.shuffled-as.sat03-363.cnf	? (TO)	1300.03	1300.01	3349874
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	1300.03	1300.02	3349898
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	1300.03	1300.02	3349763
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	1300.03	1300.04	3349727
application/fuhs/ AProVE11/AProVE11-06.cnf	? (TO)	1300.03	1300.03	3349743
SAT05/industrial/grieu05/vmpc/ vmpc_35.renamed-as.sat05-1921.cnf	? (TO)	1300.04	1300.02	3349696
application/kullmann/AES/Benchmarks/ 64/aes_64_1_keyfind_1.cnf	? (TO)	1300.04	1300.01	3349787
SAT03/industrial/li/li-test4/ li-test4-100.shuffled-as.sat03-370.cnf	? (TO)	1300.04	1300.03	3349876
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom13.cnf	? (TO)	1300.04	1300.02	3349835
SAT04/industrial/vangelder/cnf-color/ myciel6-tr.used-as.sat04-320.cnf	? (TO)	1300.04	1300.02	3349879
SAT05/industrial/grieu05/vmpc/ vmpc_36.renamed-as.sat05-1922.cnf	? (TO)	1300.04	1300.02	3349881
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	1300.04	1300.02	3349885
SAT03/industrial/goldberg/hard_eq_check/ k2mul.miter.shuffled-as.sat03-355.cnf	? (TO)	1300.04	1300.02	3349720
industrial/anbulagan/ hard-unsat/dated-10-17-u.cnf	? (TO)	1300.05	1300.03	3349726
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w8.shuffled.cnf	? (TO)	1300.05	1300.02	3349873
SAT03/industrial/li/li-exam/ li-exam-61.shuffled-as.sat03-366.cnf	? (TO)	1300.05	1300.03	3349875
SAT03/industrial/goldberg/hard_eq_check/ x1mul.miter.shuffled-as.sat03-359.cnf	? (TO)	1300.05	1300.02	3349718
SAT03/industrial/goldberg/hard_eq_check/ c6288mul.miter.shuffled-as.sat03-346.cnf	? (TO)	1300.05	1300.01	3349719
application/leberre/ 2dimensionalstrippacking/E00X23.cnf	? (TO)	1300.05	1300.05	3349934
application/leberre/ 2dimensionalstrippacking/korf-17.cnf	? (TO)	1300.05	1300.02	3349857
application/kullmann/AES/Benchmarks/ 32/aes_32_4_keyfind_1.cnf	? (TO)	1300.05	1300.01	3349929
application/kullmann/AES/Benchmarks/ 64/aes_64_3_keyfind_1.cnf	? (TO)	1300.05	1300.01	3349932
application/kullmann/AES/Benchmarks/ 128/aes_128_1_keyfind_1.cnf	? (TO)	1300.05	1300.01	3349925
application/kullmann/AES/Benchmarks/ 128/aes_128_2_keyfind_1.cnf	? (TO)	1300.05	1300.02	3349926
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom16.cnf	? (TO)	1300.05	1300.02	3349904
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom14.cnf	? (TO)	1300.05	1300.02	3349902
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top25.cnf	? (TO)	1300.05	1300.02	3349917
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom19.cnf	? (TO)	1300.05	1300.02	3349907
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top21.cnf	? (TO)	1300.05	1300.02	3349909
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom15.cnf	? (TO)	1300.05	1300.02	3349903
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top26.cnf	? (TO)	1300.05	1300.02	3349919
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-countbits128-tseitin.cnf	? (TO)	1300.05	1300.02	3349923
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	1300.05	1300.02	3349737
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-eijkbs6669-tseitin.cnf	? (TO)	1300.05	1300.04	3349745
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmsgoodbakery-tseitin.cnf	? (TO)	1300.05	1300.03	3349846
industrial/fuhs/hard/ AProVE07-03.cnf	? (TO)	1300.05	1300.02	3349811
industrial/crypto/ mizh-sha0-36-2.cnf	? (TO)	1300.05	1300.02	3349884
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	1300.05	1300.01	3349886
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	1300.05	1300.01	3349889
APPLICATIONS/bitverif/ countbitssrl/countbitssrl064.cnf	? (TO)	1300.05	1300.02	3349890
mizh-sha0-36-4.cnf	? (TO)	1300.05	1300.02	3349900
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvissoap1-tseitin.cnf	? (TO)	1300.06	1300.03	3349849
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	1300.06	1300.02	3349899
SAT03/industrial/schuppan/l2s/ bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf	? (TO)	1300.06	1300.04	3349721
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom26.cnf	? (TO)	1300.06	1300.02	3349920
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	1300.06	1300.02	3349896
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom20.cnf	? (TO)	1300.06	1300.02	3349908
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top28.cnf	? (TO)	1300.06	1300.02	3349708
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	1300.06	1300.02	3349887
industrial/manolios/ manol-pipe-f7idw.cnf	? (TO)	1300.06	1300.03	3349817
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom18.cnf	? (TO)	1300.06	1300.02	3349906
SAT02/industrial/aloul/ Homer/homer17.shuffled.cnf	? (TO)	1300.06	1300.01	3349871
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom22.cnf	? (TO)	1300.06	1300.02	3349912
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtpmsns2-tseitin.cnf	? (TO)	1300.06	1300.02	3349844
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	1300.06	1300.02	3349702
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtpmspalu-tseitin.cnf	? (TO)	1300.06	1300.03	3349845
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom21.cnf	? (TO)	1300.06	1300.02	3349910
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-ext_con_032_008_0256-tseitin.cnf	? (TO)	1300.06	1300.01	3349689
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top23.cnf	? (TO)	1300.06	1300.02	3349913
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-VS3-benchmark-S2-tseitin.cnf	? (TO)	1300.06	1300.03	3349924
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k80.cnf	? (TO)	1300.06	1300.02	3349815
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k45.cnf	? (TO)	1300.06	1300.02	3349814
APPLICATIONS/bitverif/ smulo/smulo064.cnf	? (TO)	1300.06	1300.02	3349895
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (TO)	1300.06	1300.04	3349733
SAT02/industrial/aloul/ Homer/homer16.shuffled.cnf	? (TO)	1300.06	1300.02	3349717
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	1300.06	1300.01	3349728
SAT02/industrial/aloul/ Homer/homer14.shuffled.cnf	? (TO)	1300.06	1300.01	3349803
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	1300.06	1300.02	3349725
industrial/palacios/medium/ cube-11-h14-sat.cnf	? (TO)	1300.06	1300.03	3349700
application/kullmann/AES/Benchmarks/ 128/aes_128_10_keyfind_1.cnf	? (TO)	1300.06	1300.03	3349928
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	1300.06	1300.02	3349894
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.025-NOTKNOWN.cnf	? (TO)	1300.07	1300.02	3349936
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvisns3p02-tseitin.cnf	? (TO)	1300.07	1300.02	3349921
APPLICATIONS/bitverif/countbitswegner/ countbitswegner128.cnf	? (TO)	1300.07	1300.03	3349891
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns3p00-tseitin.cnf	? (TO)	1300.07	1300.03	3349922
SAT03/industrial/schuppan/l2s/ dme-03-1-k247-unsat.shuffled-as.sat03-407.cnf	? (TO)	1300.07	1300.05	3349878
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	1300.07	1300.03	3349699
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	1300.07	1300.03	3349732
velev-vliw-uns-4.0-9-i1.cnf	? (TO)	1300.07	1300.07	3349738
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k20.cnf	? (TO)	1300.07	1300.02	3349813
manol-pipe-f7nidw.cnf	? (TO)	1300.07	1300.03	3349829
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (TO)	1300.07	1300.08	3349703
APPLICATIONS/bitverif/countbitsarray/ countbitsarray04_32.cnf	? (TO)	1300.07	1300.02	3349888
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom25.cnf	? (TO)	1300.07	1300.03	3349918
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	1300.08	1300.05	3349892
APPLICATIONS/bitverif/ maxxororand/maxxororand064.cnf	? (TO)	1300.08	1300.03	3349893
SAT05/industrial/grieu05/vmpc/ vmpc_34.renamed-as.sat05-1926.cnf	? (TO)	1300.08	1300.02	3349695
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-21-step11.cnf	? (TO)	1300.08	1300.05	3349839
velev-pipe-o-uns-1.1-6.cnf	? (TO)	1300.08	1300.04	3349826
application/leberre/ 2dimensionalstrippacking/E00N23.cnf	? (TO)	1300.09	1300.05	3349935
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	1300.09	1300.04	3349730
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step21.cnf	? (TO)	1300.09	1300.04	3349780
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-13-step17.cnf	? (TO)	1300.09	1300.03	3349836
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.035-NOTKNOWN.cnf	? (TO)	1300.1	1300.06	3349939
application/rintanen/SATPlanning/ blocks-blocks-37-1.130-NOTKNOWN.cnf	? (TO)	1300.1	1300.07	3349870
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.045-NOTKNOWN.cnf	? (TO)	1300.1	1300.07	3349940
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.045-NOTKNOWN.cnf	? (TO)	1300.11	1300.07	3349941
APPLICATIONS/diagnosis/ UR-20-10p0.cnf	? (TO)	1300.11	1300.06	3349735
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN.cnf	? (TO)	1300.11	1300.06	3349938
SAT-Race-2010-CNF/hardware-verification/ velev/2dlx_ca_bp_f_liveness.cnf	? (TO)	1300.11	1300.11	3349901
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (TO)	1300.11	1300.12	3349729
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	? (TO)	1300.11	1300.08	3349704
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.060-NOTKNOWN.cnf	? (TO)	1300.12	1300.11	3349712
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf	? (TO)	1300.12	1300.12	3349942
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	1300.12	1300.07	3349883
application/rintanen/SATPlanning/ blocks-blocks-36-0.120-NOTKNOWN.cnf	? (TO)	1300.13	1300.08	3349868
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.cnf	? (TO)	1300.13	1300.09	3349865
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN.cnf	? (TO)	1300.13	1300.08	3349937
industrial/anbulagan/ hard-sat/partial-10-17-s.cnf	? (TO)	1300.14	1300.09	3349882
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf	? (TO)	1300.14	1300.1	3349724
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (TO)	1300.15	1300.09	3349698
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_k.cnf	? (TO)	1300.15	1300.12	3349740
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.used-as.sat04-719.cnf	? (TO)	1300.15	1300.11	3349880
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq60_a.cnf	? (TO)	1300.15	1300.09	3349742
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.080-SAT.cnf	? (TO)	1300.15	1300.13	3349943
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_11_ooo.cnf	? (TO)	1300.15	1300.13	3349739
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.050-NOTKNOWN.cnf	? (TO)	1300.15	1300.1	3349711
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq57_a.cnf	? (TO)	1300.16	1300.1	3349741
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.050-SAT.cnf	? (TO)	1300.17	1300.14	3349716
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	? (TO)	1300.18	1300.15	3349715
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf	? (TO)	1300.18	1300.15	3349713
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	? (TO)	1300.18	1300.14	3349714
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	? (TO)	1300.19	1300.16	3349944
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	? (TO)	1300.19	1300.16	3349945

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

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

Category "applications instances" (APPLICATION)

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

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

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