SAT 2009 Competition: main competition (phase2): benchmarks results per solver

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/babic/xinetd/ xinetd_vc56703.cnf	UNSAT	0.279957	0.280064	1773200
APPLICATIONS/bitverif/ minor/minor032.cnf	UNSAT	0.627904	0.627975	1773600
manol-pipe-g6bi.cnf	UNSAT	1.3418	1.3422	1775350
industrial/babic/hsatv17/ hsat_vc11803.cnf	UNSAT	1.54177	1.54224	1773040
een-tip-uns-nusmv-t5.B.cnf	UNSAT	1.9727	1.9734	1775280
industrial/babic/hsatv17/ hsat_vc11813.cnf	UNSAT	2.16767	2.16779	1773030
hoons-vbmc-lucky7.cnf	UNSAT	2.71259	2.71306	1773400
APPLICATIONS/ bitverif/maxand/maxand064.cnf	UNSAT	4.08038	4.08175	1773820
manol-pipe-c9.cnf	UNSAT	4.17836	4.17929	1775470
APPLICATIONS/bitverif/ countbitssrl/countbitssrl016.cnf	UNSAT	4.79627	4.79764	1773730
cmu-bmc-barrel6.cnf	UNSAT	5.09722	5.09848	1773340
APPLICATIONS/bitverif/ minor/minor064.cnf	UNSAT	8.24475	8.26137	1773590
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf	UNSAT	26.574	26.6006	1773090
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate016.cnf	UNSAT	45.4971	45.539	1773680
schup-l2s-abp4-1-k31.cnf	UNSAT	46.069	46.1012	1773350
APPLICATIONS/bitverif/ icbrt/icbrt1_32.cnf	UNSAT	46.9429	46.9942	1773780
APPLICATIONS/bitverif/ minxorminand/minxorminand032.cnf	UNSAT	52.457	52.512	1773620
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_06_UNSAT.cnf	UNSAT	53.6048	53.6437	1775220
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf	UNSAT	54.4157	54.4469	1773070
cmu-bmc-longmult15.cnf	UNSAT	58.8241	58.8963	1773530
velev-live-uns-2.0-ebuf.cnf	UNSAT	62.0756	62.1389	1775340
APPLICATIONS/bitverif/ minandmaxor/minandmaxor032.cnf	UNSAT	62.4155	62.542	1773650
industrial/anbulagan/ medium-unsat/total-5-11-u.cnf	UNSAT	67.5767	67.6709	1772590
APPLICATIONS/crypto/ md5gen/gus-md5-04.cnf	UNSAT	73.8398	73.9234	1773960
APPLICATIONS/bitverif/ smulo/smulo016.cnf	UNSAT	76.7553	76.9029	1773760
APPLICATIONS/bioinfo/ q_query_2_L324_coli.cnf	UNSAT	78.737	78.8013	1774630
velev-engi-uns-1.0-4nd.cnf	UNSAT	81.6456	81.6918	1773450
simon-s03-fifo8-300.cnf	UNSAT	88.0956	88.134	1775430
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf	UNSAT	92.4269	92.4647	1773210
APPLICATIONS/diagnosis/ UR-10-5p0.cnf	UNSAT	93.3058	93.3683	1774730
industrial/palacios/uts/ uts-l05-ipc5-h27-unknown.cnf	UNSAT	96.8313	97.063	1772970
industrial/palacios/uts/ uts-l05-ipc5-h26-unsat.cnf	UNSAT	97.2832	97.3362	1772940
industrial/palacios/uts/ uts-l06-ipc5-h28-unknown.cnf	UNSAT	111.122	111.217	1772980
APPLICATIONS/crypto/ md5gen/gus-md5-05.cnf	UNSAT	113.803	113.972	1773950
APPLICATIONS/c32sat/ post-cbmc-aes-ele-noholes.cnf	UNSAT	120.338	120.391	1774540
APPLICATIONS/diagnosis/ ACG-10-5p0.cnf	UNSAT	122.83	122.924	1774700
APPLICATIONS/c32sat/ post-c32s-col400-16.cnf	UNSAT	125.694	129.903	1774520
manol-pipe-c6bidw_i.cnf	UNSAT	136.601	136.694	1773480
manol-pipe-c6nidw_i.cnf	UNSAT	137.031	137.124	1775490
APPLICATIONS/diagnosis/ UCG-10-5p0.cnf	UNSAT	145.032	145.122	1774660
manol-pipe-c10nidw_s.cnf	UNSAT	172.735	172.855	1775250
manol-pipe-g10id.cnf	UNSAT	188.093	188.27	1775310
industrial/anbulagan/ medium-unsat/total-5-13-u.cnf	UNSAT	189.099	189.208	1772600
APPLICATIONS/ bitverif/minand/minand128.cnf	UNSAT	212.907	213.017	1773700
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf	UNSAT	218.744	218.863	1773250
APPLICATIONS/crypto/ md5gen/gus-md5-06.cnf	UNSAT	221.171	221.253	1773940
manol-pipe-g10nid.cnf	UNSAT	225.073	225.205	1773460
manol-pipe-g7nidw.cnf	UNSAT	230.654	230.754	1775460
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	UNSAT	239.358	239.505	1774800
industrial/palacios/uts/ uts-l06-ipc5-h31-unknown.cnf	UNSAT	252.323	252.488	1772960
manol-pipe-c7bidw_i.cnf	UNSAT	258.834	258.973	1775450
industrial/palacios/medium/ blocks-4-ipc5-h22-unknown.cnf	UNSAT	262.963	263.112	1773020
manol-pipe-c7nidw.cnf	UNSAT	289.037	289.185	1775300
APPLICATIONS/diagnosis/ UR-15-5p0.cnf	UNSAT	301.993	302.118	1774890
velev-pipe-uns-1.0-8.cnf	UNSAT	307.484	307.661	1775480
goldb-heqc-term1mul.cnf	UNSAT	356.65	356.829	1775330
schup-l2s-guid-1-k56.cnf	UNSAT	357.571	357.776	1775420
manol-pipe-g10bidw.cnf	UNSAT	368.819	368.999	1775260
APPLICATIONS/bioinfo/ q_query_3_l47_lambda.cnf	UNSAT	380.117	380.288	1774440
simon-s02b-dp11u10.cnf	UNSAT	411.003	411.21	1775370
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf	UNSAT	435.504	435.752	1773290
APPLICATIONS/bitverif/ minxorminand/minxorminand064.cnf	UNSAT	460.108	460.262	1773610
industrial/palacios/uts/ uts-l06-ipc5-h33-unknown.cnf	UNSAT	506.074	506.363	1772950
APPLICATIONS/bitverif/countbitswegner/ countbitswegner064.cnf	UNSAT	507.115	507.373	1773810
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	UNSAT	508.576	508.858	1774390
APPLICATIONS/bioinfo/ q_query_3_l45_lambda.cnf	UNSAT	520.34	520.594	1774470
APPLICATIONS/bioinfo/ q_query_3_l44_lambda.cnf	UNSAT	528.334	528.487	1774380
goldb-heqc-alu4mul.cnf	UNSAT	551.811	552.086	1773570
APPLICATIONS/bioinfo/ q_query_3_l48_lambda.cnf	UNSAT	555.404	555.679	1774450
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf	UNSAT	563.658	563.825	1773100
APPLICATIONS/diagnosis/ UTI-15-10p0.cnf	UNSAT	576.802	576.992	1774820
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_07_UNSAT.cnf	UNSAT	589.005	589.313	1775100
APPLICATIONS/diagnosis/ UTI-10-10p0.cnf	UNSAT	617.518	617.684	1774870
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_07_UNSAT.cnf	UNSAT	661.999	662.303	1775140
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	UNSAT	754.996	755.364	1774580
manol-pipe-f9b.cnf	UNSAT	776.886	777.241	1773420
manol-pipe-f9n.cnf	UNSAT	833.728	834.133	1775390
APPLICATIONS/crypto/ md5gen/gus-md5-07.cnf	UNSAT	840.421	840.438	1773980
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf	UNSAT	844.523	845.015	1773260
velev-pipe-o-uns-1.0-7.cnf	UNSAT	900.158	900.508	1775380
industrial/fuhs/medium/ AProVE07-16.cnf	UNSAT	914.055	914.375	1772820
APPLICATIONS/bioinfo/ q_query_3_L200_coli.sat.cnf	UNSAT	1072.38	1072.85	1774620
industrial/palacios/ medium/emptyroom-4-h21-unsat.cnf	UNSAT	1112.76	1113.06	1773010
industrial/fuhs/hard/ AProVE07-08.cnf	UNSAT	1279.93	1280.55	1772840
velev-vliw-uns-4.0-9C1.cnf	UNSAT	1430.67	1431.08	1775360
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf	UNSAT	1440.74	1441.24	1773230
manol-pipe-c10nid_i.cnf	UNSAT	1483.54	1484.21	1773550
industrial/anbulagan/ hard-unsat/dated-5-15-u.cnf	UNSAT	1542.81	1543.35	1772720
industrial/fuhs/medium/ AProVE07-09.cnf	UNSAT	1551.17	1551.79	1772810
industrial/anbulagan/ hard-unsat/dated-5-17-u.cnf	UNSAT	1729.16	1742.32	1772740
APPLICATIONS/crypto/ md5gen/gus-md5-10.cnf	UNSAT	1761.72	1762.63	1773910
APPLICATIONS/diagnosis/ UTI-15-5p0.cnf	UNSAT	1840.16	1840.16	1774740
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	UNSAT	1965.18	1965.9	1774860
manol-pipe-c10nidw.cnf	UNSAT	2329.65	2330.85	1773440
APPLICATIONS/diagnosis/ UR-20-5p0.cnf	UNSAT	2335.14	2335.87	1774770
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	UNSAT	2577.19	2578.24	1774500
manol-pipe-f10ni.cnf	UNSAT	2652.73	2653.96	1775410
APPLICATIONS/diagnosis/ ACG-15-10p0.cnf	UNSAT	2703.5	2704.82	1774680
APPLICATIONS/diagnosis/ UR-15-10p0.cnf	UNSAT	2728.56	2729.75	1774900
industrial/anbulagan/ medium-unsat/total-10-13-u.cnf	UNSAT	3049.98	3050.74	1772580
APPLICATIONS/ c32sat/post-c32s-ss-8.cnf	UNSAT	3287.12	3288.18	1774530
schup-l2s-bc56s-1-k391.cnf	UNSAT	3345.54	3347.21	1773410
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	UNSAT	3387.63	3389.3	1773080
industrial/palacios/medium/ cube-11-h13-unsat.cnf	UNSAT	3490.31	3491.85	1773000
goldb-heqc-dalumul.cnf	UNSAT	4105.63	4107.51	1773510
APPLICATIONS/diagnosis/ UTI-20-5p0.cnf	UNSAT	4482.11	4483.49	1774670
aloul-chnl11-13.cnf	UNSAT	4595.34	4597.08	1773500
APPLICATIONS/bioinfo/ q_query_3_L80_coli.sat.cnf	UNSAT	4913.07	4915.43	1774570
APPLICATIONS/crypto/ md5gen/gus-md5-09.cnf	UNSAT	6867.44	6870.73	1773920
APPLICATIONS/bitverif/ maxxororand/maxxororand032.cnf	UNSAT	7445.02	7447.72	1773800
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r2-noholes.cnf	UNSAT	7543.93	7547.25	1774480
APPLICATIONS/c32sat/ post-cbmc-aes-d-r2-noholes.cnf	UNSAT	7586.52	7590.73	1774490
industrial/fuhs/hard/ AProVE07-27.cnf	UNSAT	9459.75	9462.93	1772870
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_08_UNSAT.cnf	UNSAT	9740.65	9745.51	1774950

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
een-tip-sat-texas-tp-5e.cnf	SAT	0.131979	0.136005	1773560
APPLICATIONS/aprove09/ AProVE09-13.cnf	SAT	0.208967	0.209254	1774250
APPLICATIONS/aprove09/ AProVE09-22.cnf	SAT	0.31995	0.320386	1774280
APPLICATIONS/aprove09/ AProVE09-25.cnf	SAT	1.09683	1.10028	1774240
APPLICATIONS/aprove09/ AProVE09-03.cnf	SAT	1.15882	1.16559	1774310
APPLICATIONS/aprove09/ AProVE09-11.cnf	SAT	1.16682	1.16944	1774340
APPLICATIONS/aprove09/ AProVE09-01.cnf	SAT	1.42778	1.4476	1774270
APPLICATIONS/aprove09/ AProVE09-12.cnf	SAT	1.52477	1.52856	1774260
APPLICATIONS/bioinfo/ q_query_3_l37_lambda.cnf	SAT	2.19667	2.19946	1774400
APPLICATIONS/bioinfo/ q_query_3_l40_lambda.cnf	SAT	2.52261	2.52584	1774360
APPLICATIONS/aprove09/ AProVE09-21.cnf	SAT	2.53061	2.53491	1774230
APPLICATIONS/bioinfo/ q_query_3_l41_lambda.cnf	SAT	2.6136	2.61735	1774420
APPLICATIONS/bioinfo/ q_query_3_l38_lambda.cnf	SAT	2.75058	2.75509	1774460
APPLICATIONS/aprove09/ AProVE09-10.cnf	SAT	4.81127	4.81844	1774330
APPLICATIONS/aprove09/ AProVE09-05.cnf	SAT	4.96025	4.96329	1774220
APPLICATIONS/aprove09/ AProVE09-24.cnf	SAT	4.99724	5.00636	1774210
APPLICATIONS/bioinfo/ q_query_3_l43_lambda.cnf	SAT	5.11222	5.12156	1774410
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_17_SAT.cnf	SAT	6.00709	6.00957	1775080
APPLICATIONS/bioinfo/ q_query_3_l42_lambda.cnf	SAT	8.63669	8.64343	1774370
velev-pipe-sat-1.0-b10.cnf	SAT	9.82051	9.84556	1775270
APPLICATIONS/aprove09/ AProVE09-15.cnf	SAT	9.96848	9.98397	1774290
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_21_SAT.cnf	SAT	10.9123	10.9453	1775070
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_22_SAT.cnf	SAT	12.885	12.9259	1774970
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_14_SAT.cnf	SAT	13.215	13.2328	1775020
APPLICATIONS/bioinfo/ q_query_3_l39_lambda.cnf	SAT	13.7939	13.8262	1774430
APPLICATIONS/aprove09/ AProVE09-07.cnf	SAT	30.8763	30.9214	1774300
APPLICATIONS/aprove09/ AProVE09-19.cnf	SAT	32.1831	32.2496	1774350
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	SAT	39.301	39.4021	1774170
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	SAT	39.7959	39.8566	1774070
APPLICATIONS/aprove09/ AProVE09-17.cnf	SAT	40.7638	40.8205	1774190
mizh-sha0-35-3.cnf	SAT	59.6229	59.6755	1773540
APPLICATIONS/aprove09/ AProVE09-08.cnf	SAT	65.3021	65.3652	1774320
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_20_SAT.cnf	SAT	75.6455	75.6869	1775130
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf	SAT	76.3304	76.515	1773310
APPLICATIONS/crypto/ desgen/gss-13-s100.cnf	SAT	78.1521	78.2053	1774120
velev-pipe-sat-1.0-b7.cnf	SAT	88.5105	88.5792	1775240
industrial/grieu/ vmpc_26.cnf	SAT	93.3818	93.4334	1773180
industrial/palacios/uts/ uts-l06-ipc5-h35-unknown.cnf	SAT	112.241	112.369	1772930
APPLICATIONS/aprove09/ AProVE09-20.cnf	SAT	116.972	117.019	1774200
APPLICATIONS/diagnosis/ UR-10-5p1.cnf	SAT	121.775	121.946	1774710
mizh-md5-47-4.cnf	SAT	127.443	127.497	1773520
industrial/grieu/ vmpc_25.cnf	SAT	137.043	137.121	1773110
mizh-md5-48-5.cnf	SAT	155.241	155.34	1773580
industrial/anbulagan/ medium-sat/partial-5-13-s.cnf	SAT	168.548	168.765	1772640
APPLICATIONS/crypto/ desgen/gss-15-s100.cnf	SAT	170.787	170.921	1774080
industrial/grieu/ vmpc_24.cnf	SAT	187.879	188.069	1773140
mizh-md5-47-3.cnf	SAT	190.456	190.594	1773330
APPLICATIONS/crypto/ desgen/gss-17-s100.cnf	SAT	219.851	220.089	1774000
simon-s03-w08-15.cnf	SAT	237.388	237.548	1773380
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	SAT	247.487	247.952	1773300
industrial/anbulagan/ medium-sat/partial-5-15-s.cnf	SAT	251.515	251.694	1772650
schup-l2s-motst-2-k315.cnf	SAT	261.714	261.968	1773430
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	SAT	343.039	344.095	1774020
APPLICATIONS/crypto/ desgen/gss-25-s100.cnf	SAT	362.402	362.595	1774160
industrial/grieu/ vmpc_30.cnf	SAT	530.81	531.096	1773120
mizh-sha0-36-2.cnf	SAT	695.291	695.683	1775400
APPLICATIONS/diagnosis/ UTI-15-5p1.cnf	SAT	877.378	877.782	1774930
industrial/grieu/ vmpc_28.cnf	SAT	953.665	954.181	1773160
APPLICATIONS/diagnosis/ UTI-20-5p1.cnf	SAT	1004.47	1005.05	1774840
APPLICATIONS/diagnosis/ UTI-15-10p1.cnf	SAT	1140.37	1141.13	1774650
APPLICATIONS/bioinfo/ q_query_3_L60_coli.sat.cnf	SAT	1245.72	1246.13	1774610
mizh-sha0-36-4.cnf	SAT	1420.62	1421.26	1773470
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	SAT	1696.8	1698.55	1774760
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	SAT	1788.34	1789.44	1774880
APPLICATIONS/crypto/ desgen/gss-20-s100.cnf	SAT	2374.99	2375.66	1774060
APPLICATIONS/crypto/ desgen/gss-23-s100.cnf	SAT	2656.2	2655.96	1774110
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	SAT	2866.46	2867.4	1772620
industrial/grieu/ vmpc_33.cnf	SAT	2992.6	2993.91	1773130
APPLICATIONS/diagnosis/ ACG-20-5p1.cnf	SAT	3050.19	3051.76	1774810
APPLICATIONS/c32sat/ post-c32s-gcdm16-22.cnf	SAT	3070.07	3071.17	1774550
mizh-sha0-36-3.cnf	SAT	3283.14	3284.27	1773390
APPLICATIONS/diagnosis/ ACG-15-10p1.cnf	SAT	3585.51	3587.1	1774790
APPLICATIONS/aprove09/ AProVE09-06.cnf	SAT	3905.8	3907.65	1774180
APPLICATIONS/diagnosis/ UR-20-5p1.cnf	SAT	4436.17	4438.39	1774780
APPLICATIONS/diagnosis/ UR-15-10p1.cnf	SAT	5718.29	5719.92	1774720
industrial/anbulagan/ hard-sat/partial-5-17-s.cnf	SAT	5934.92	5936.84	1772610
APPLICATIONS/diagnosis/ UCG-20-10p1.cnf	SAT	6840.46	6842.34	1774830
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	SAT	6872.61	6875.18	1772630
industrial/grieu/ vmpc_29.cnf	SAT	6883.07	6886.48	1773150
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	SAT	7800.32	7802.69	1774600
industrial/narain/ clauses-8.cnf	SAT	8729.19	8732.69	1773190

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	? (MO)	2.67	2.71593	1774510
velev-vliw-uns-4.0-9-i1.cnf	? (MO)	6423.82	6426.28	1773370
APPLICATIONS/diagnosis/ ACG-20-10p0.cnf	? (MO)	8209.01	8212.04	1774690
APPLICATIONS/diagnosis/ ACG-20-10p1.cnf	? (MO)	9856.18	9861.04	1774750

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_12_UNKNOWN.cnf	? (exit code)	9997.53	10000.3	1775090
industrial/anbulagan/ hard-unsat/total-5-17-u.cnf	? (exit code)	9997.55	10001.6	1772760
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (exit code)	9997.59	10002.4	1773880
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate128.cnf	? (exit code)	9997.59	10001.8	1773670
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_10_UNKNOWN.cnf	? (exit code)	9997.59	10001.2	1775210
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_11_UNSAT.cnf	? (exit code)	9997.59	10001.6	1775010
goldb-heqc-i10mul.cnf	? (exit code)	9997.61	10002.4	1775290
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r3-noholes.cnf	? (exit code)	9997.61	10001.9	1774560
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_13_UNSAT.cnf	? (exit code)	9997.61	10000.7	1775110
industrial/anbulagan/ hard-unsat/dated-10-19-u.cnf	? (exit code)	9997.62	10000.6	1772700
industrial/palacios/hard/ safe-50-h49-unsat.cnf	? (exit code)	9997.64	10001.8	1772900
industrial/anbulagan/ hard-unsat/partial-5-13-u.cnf	? (exit code)	9997.69	10003.5	1772690
industrial/anbulagan/ hard-unsat/dated-5-19-u.cnf	? (exit code)	9997.69	10001.8	1772750
APPLICATIONS/bioinfo/ q_query_3_L100_coli.sat.cnf	? (exit code)	9997.71	10002.1	1774640
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (exit code)	9997.71	10002.3	1775050
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (exit code)	9997.72	10001.8	1773280
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf	? (exit code)	9997.73	10002	1773270
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (exit code)	9997.74	10001.8	1773660
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf	? (exit code)	9997.75	10002.2	1773220
vange-col-abb313GPIA-9-c.cnf	? (exit code)	9997.76	10002.6	1773490
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf	? (exit code)	9997.77	10002.2	1773240
APPLICATIONS/ bitverif/minxor/minxor128.cnf	? (exit code)	9997.8	10000.5	1773640
industrial/fuhs/hard/ AProVE07-26.cnf	? (exit code)	9997.82	10007	1772860
industrial/grieu/ vmpc_34.cnf	? (exit code)	9997.82	10002.7	1773170
APPLICATIONS/bitverif/countbitsarray/ countbitsarray32_32.cnf	? (exit code)	9997.83	10000.5	1773860
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_12_UNKNOWN.cnf	? (exit code)	9997.84	10003.1	1775150
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_14_UNSAT.cnf	? (exit code)	9997.86	10002.4	1775000
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (exit code)	9997.87	10002.4	1773050
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (exit code)	9997.87	10001.5	1774130
industrial/palacios/hard/ sortnet-8-ipc5-h18-unsat.cnf	? (exit code)	9997.88	10001.7	1772880
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (exit code)	9997.89	10002.6	1774030
industrial/anbulagan/ hard-unsat/partial-5-17-u.cnf	? (exit code)	9997.92	10001.2	1772670
APPLICATIONS/bitverif/ countbitssrl/countbitssrl032.cnf	? (exit code)	9997.92	10000.4	1773710
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf	? (exit code)	9997.93	10002.1	1773060
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (exit code)	9997.94	10002.7	1775190
APPLICATIONS/crypto/ desgen/gss-28-s100.cnf	? (exit code)	9997.94	10003	1774150
APPLICATIONS/bitverif/ smulo/smulo128.cnf	? (exit code)	9997.96	10000.9	1773770
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (exit code)	9997.96	10002.3	1772790
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (exit code)	9997.98	10003.1	1773740
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_14_UNKNOWN.cnf	? (exit code)	9997.99	10002.4	1775180
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (exit code)	9997.99	10001.8	1772660
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	? (exit code)	9998	10001	1774910
APPLICATIONS/crypto/ md5gen/gus-md5-14.cnf	? (exit code)	9998	10002.6	1773930
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_15_UNKNOWN.cnf	? (exit code)	9998.01	10001.6	1775040
APPLICATIONS/bitverif/countbitsarray/ countbitsarray02_32.cnf	? (exit code)	9998.01	10002.3	1773840
goldb-heqc-frg1mul.cnf	? (exit code)	9998.01	10002.4	1773360
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (exit code)	9998.02	10001	1773970
APPLICATIONS/crypto/ desgen/gss-31-s100.cnf	? (exit code)	9998.05	10002.3	1773990
APPLICATIONS/crypto/ desgen/gss-26-s100.cnf	? (exit code)	9998.05	10002	1774050
APPLICATIONS/crypto/ desgen/gss-24-s100.cnf	? (exit code)	9998.06	10003	1774140
APPLICATIONS/bitverif/ mulhs/mulhs032.cnf	? (exit code)	9998.06	10002.4	1773750
APPLICATIONS/crypto/ desgen/gss-33-s100.cnf	? (exit code)	9998.07	10003	1774100
APPLICATIONS/crypto/ desgen/gss-34-s100.cnf	? (exit code)	9998.08	10003.3	1774090
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_12_UNSAT.cnf	? (exit code)	9998.09	10000.7	1774980
APPLICATIONS/bitverif/ countbitssrl/countbitssrl128.cnf	? (exit code)	9998.12	10002.1	1773720
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_11_UNKNOWN.cnf	? (exit code)	9998.13	10002.7	1775230
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_10_UNKNOWN.cnf	? (exit code)	9998.16	10001.1	1774960
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (exit code)	9998.17	10001.1	1774920
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (exit code)	9998.17	10002.4	1773690
APPLICATIONS/bitverif/ maxxororand/maxxororand128.cnf	? (exit code)	9998.18	10003	1773790
APPLICATIONS/crypto/ md5gen/gus-md5-16.cnf	? (exit code)	9998.2	10003	1773900
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (exit code)	9998.21	10002.4	1773630
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (exit code)	9998.21	10001.2	1774040
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (exit code)	9998.21	10002.1	1773830
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_16_UNKNOWN.cnf	? (exit code)	9998.21	10002.7	1775170
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_17_UNKNOWN.cnf	? (exit code)	9998.21	10001	1774990
industrial/anbulagan/ hard-unsat/partial-10-19-u.cnf	? (exit code)	9998.22	10002.6	1772800
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_11_UNKNOWN.cnf	? (exit code)	9998.23	10000.4	1774940
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_13_UNKNOWN.cnf	? (exit code)	9998.23	10000.9	1775200
APPLICATIONS/bioinfo/ q_query_3_L90_coli.sat.cnf	? (exit code)	9998.23	10000.7	1774590
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (exit code)	9998.26	10003.9	1772780
industrial/palacios/hard/ safe-30-h29-unsat.cnf	? (exit code)	9998.27	10003.3	1772910
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_13_UNKNOWN.cnf	? (exit code)	9998.32	9998.79	1775030
industrial/anbulagan/ hard-unsat/partial-5-15-u.cnf	? (exit code)	9998.32	10000.9	1772770
industrial/fuhs/hard/ AProVE07-01.cnf	? (exit code)	9998.32	10032.8	1772830
industrial/anbulagan/ hard-unsat/total-5-15-u.cnf	? (exit code)	9998.33	10001	1772680
APPLICATIONS/crypto/ md5gen/gus-md5-15.cnf	? (exit code)	9998.33	10001.1	1773890
APPLICATIONS/bitverif/countbitsarray/ countbitsarray08_32.cnf	? (exit code)	9998.33	10004	1773850
industrial/fuhs/hard/ AProVE07-25.cnf	? (exit code)	9998.33	10002	1772850
industrial/palacios/medium/ cube-11-h14-sat.cnf	? (exit code)	9998.34	10000.9	1772990
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (exit code)	9998.34	10003.8	1773870
APPLICATIONS/crypto/ desgen/gss-32-s100.cnf	? (exit code)	9998.35	10001.6	1774010
goldb-heqc-x1mul.cnf	? (exit code)	9998.36	10002.7	1773320
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (exit code)	9998.38	10002.1	1772920
industrial/anbulagan/ hard-unsat/total-10-19-u.cnf	? (exit code)	9998.38	10001.4	1772730
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_09_UNSAT.cnf	? (exit code)	9998.39	10001.4	1775160
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	? (exit code)	9998.4	10002.5	1774850
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (exit code)	9998.42	10002.6	1775120
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_10_UNSAT.cnf	? (exit code)	9998.46	10003	1775060
velev-pipe-o-uns-1.1-6.cnf	? (exit code)	9998.48	10003.4	1775320
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (exit code)	9998.48	10001.5	1772890
simon-s02b-k2f-gr-rcs-w8.cnf	? (exit code)	9998.49	10002.8	1775440
industrial/anbulagan/ hard-unsat/partial-10-13-u.cnf	? (exit code)	9998.59	10002.5	1772710

SAT 2009 Competition: main competition (phase2): benchmarks results per solver

Result page for solver SATzilla2009_I 2009-03-22 (complete)

Category "applications instances" (APPLICATION)

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

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

Solver exceeded the memory limit (no solution given) (4 runs) [Show/Hide]

Solver didn't output a solution line and terminated with an unexpected exit code (93 runs) [Show/Hide]