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.422934	0.422908	1773198
APPLICATIONS/bitverif/ minor/minor032.cnf	UNSAT	0.885864	0.887286	1773598
een-tip-uns-nusmv-t5.B.cnf	UNSAT	1.61275	1.61205	1775278
manol-pipe-g6bi.cnf	UNSAT	1.85172	1.85255	1775348
industrial/babic/hsatv17/ hsat_vc11803.cnf	UNSAT	1.99769	1.99873	1773038
cmu-bmc-barrel6.cnf	UNSAT	2.06369	2.06521	1773338
industrial/babic/hsatv17/ hsat_vc11813.cnf	UNSAT	2.07568	2.07835	1773028
hoons-vbmc-lucky7.cnf	UNSAT	3.04554	3.04672	1773398
APPLICATIONS/ bitverif/maxand/maxand064.cnf	UNSAT	5.00524	5.00709	1773818
APPLICATIONS/bitverif/ minor/minor064.cnf	UNSAT	5.71813	5.71954	1773588
APPLICATIONS/bitverif/ countbitssrl/countbitssrl016.cnf	UNSAT	7.79181	7.79506	1773728
APPLICATIONS/crypto/ md5gen/gus-md5-04.cnf	UNSAT	8.5447	8.54675	1773958
APPLICATIONS/bitverif/ minxorminand/minxorminand032.cnf	UNSAT	9.26159	9.26757	1773618
manol-pipe-c9.cnf	UNSAT	12.7581	12.7615	1775468
APPLICATIONS/ bitverif/minand/minand128.cnf	UNSAT	15.7056	15.7167	1773698
APPLICATIONS/bitverif/ minandmaxor/minandmaxor032.cnf	UNSAT	16.2355	16.2387	1773648
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_06_UNSAT.cnf	UNSAT	17.1014	17.1071	1775218
APPLICATIONS/bioinfo/ q_query_2_L324_coli.cnf	UNSAT	17.3984	17.4027	1774628
APPLICATIONS/crypto/ md5gen/gus-md5-05.cnf	UNSAT	19.0091	19.0144	1773948
APPLICATIONS/bitverif/ smulo/smulo016.cnf	UNSAT	20.8768	20.8856	1773758
industrial/anbulagan/ medium-unsat/total-5-11-u.cnf	UNSAT	28.2607	28.2712	1772588
manol-pipe-g7nidw.cnf	UNSAT	31.9511	31.96	1775458
APPLICATIONS/bitverif/ icbrt/icbrt1_32.cnf	UNSAT	33.7639	33.7765	1773778
APPLICATIONS/diagnosis/ UCG-10-5p0.cnf	UNSAT	38.3342	38.3695	1774658
manol-pipe-c10nidw_s.cnf	UNSAT	41.1317	41.156	1775248
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf	UNSAT	41.7317	41.7483	1773088
cmu-bmc-longmult15.cnf	UNSAT	41.9616	41.9858	1773528
simon-s03-fifo8-300.cnf	UNSAT	48.5776	48.6071	1775428
APPLICATIONS/crypto/ md5gen/gus-md5-06.cnf	UNSAT	49.3755	49.3863	1773938
velev-engi-uns-1.0-4nd.cnf	UNSAT	51.3192	51.3345	1773448
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate016.cnf	UNSAT	51.3422	51.3606	1773678
industrial/palacios/uts/ uts-l05-ipc5-h26-unsat.cnf	UNSAT	51.6731	51.6903	1772938
industrial/anbulagan/ medium-unsat/total-5-13-u.cnf	UNSAT	51.7281	51.7462	1772598
velev-live-uns-2.0-ebuf.cnf	UNSAT	56.0825	56.106	1775338
APPLICATIONS/diagnosis/ UR-10-5p0.cnf	UNSAT	58.0132	58.048	1774728
schup-l2s-abp4-1-k31.cnf	UNSAT	60.7258	60.7483	1773348
APPLICATIONS/c32sat/ post-cbmc-aes-ele-noholes.cnf	UNSAT	79.8919	79.9187	1774538
industrial/palacios/uts/ uts-l05-ipc5-h27-unknown.cnf	UNSAT	81.0317	81.0531	1772968
APPLICATIONS/diagnosis/ ACG-10-5p0.cnf	UNSAT	81.2726	81.3171	1774698
industrial/palacios/medium/ blocks-4-ipc5-h22-unknown.cnf	UNSAT	114.608	114.691	1773018
APPLICATIONS/c32sat/ post-c32s-col400-16.cnf	UNSAT	127.345	127.391	1774518
APPLICATIONS/crypto/ md5gen/gus-md5-07.cnf	UNSAT	155.451	155.437	1773978
industrial/palacios/uts/ uts-l06-ipc5-h28-unknown.cnf	UNSAT	157.02	157.08	1772978
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf	UNSAT	157.754	157.816	1773068
manol-pipe-c6bidw_i.cnf	UNSAT	171.635	171.681	1773478
manol-pipe-c6nidw_i.cnf	UNSAT	179.445	179.499	1775488
APPLICATIONS/diagnosis/ UTI-10-10p0.cnf	UNSAT	181.136	181.239	1774868
APPLICATIONS/bitverif/ minxorminand/minxorminand064.cnf	UNSAT	214.765	214.826	1773608
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	UNSAT	215.943	216.03	1774798
industrial/palacios/uts/ uts-l06-ipc5-h31-unknown.cnf	UNSAT	251.014	251.096	1772958
simon-s02b-dp11u10.cnf	UNSAT	255.373	255.466	1775368
manol-pipe-g10id.cnf	UNSAT	282.766	282.871	1775308
aloul-chnl11-13.cnf	UNSAT	294.549	295.146	1773498
APPLICATIONS/diagnosis/ UR-15-5p0.cnf	UNSAT	296.307	296.388	1774888
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	UNSAT	300.729	300.859	1774578
APPLICATIONS/bitverif/countbitswegner/ countbitswegner064.cnf	UNSAT	319.626	319.719	1773808
schup-l2s-guid-1-k56.cnf	UNSAT	329.67	329.904	1775418
manol-pipe-c7bidw_i.cnf	UNSAT	375.39	375.587	1775448
APPLICATIONS/bioinfo/ q_query_3_l47_lambda.cnf	UNSAT	409.19	409.299	1774438
industrial/palacios/uts/ uts-l06-ipc5-h33-unknown.cnf	UNSAT	412.206	412.374	1772948
APPLICATIONS/bioinfo/ q_query_3_l44_lambda.cnf	UNSAT	426.732	426.884	1774378
APPLICATIONS/bioinfo/ q_query_3_l48_lambda.cnf	UNSAT	443.384	443.49	1774448
APPLICATIONS/bioinfo/ q_query_3_l45_lambda.cnf	UNSAT	450.803	450.966	1774468
industrial/palacios/ medium/emptyroom-4-h21-unsat.cnf	UNSAT	473.293	473.433	1773008
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	UNSAT	511.647	511.8	1774388
manol-pipe-c7nidw.cnf	UNSAT	533.035	533.175	1775298
goldb-heqc-alu4mul.cnf	UNSAT	542.299	542.443	1773568
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_07_UNSAT.cnf	UNSAT	554.13	554.404	1775098
APPLICATIONS/bioinfo/ q_query_3_L80_coli.sat.cnf	UNSAT	566.429	566.703	1774568
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	UNSAT	586.14	586.404	1774498
industrial/fuhs/medium/ AProVE07-16.cnf	UNSAT	606.632	606.829	1772818
APPLICATIONS/ bitverif/minxor/minxor128.cnf	UNSAT	613.515	613.735	1773638
manol-pipe-g10bidw.cnf	UNSAT	636.43	636.597	1775258
APPLICATIONS/bioinfo/ q_query_3_L100_coli.sat.cnf	UNSAT	640.573	640.843	1774638
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_07_UNSAT.cnf	UNSAT	662.951	663.138	1775138
industrial/anbulagan/ hard-unsat/dated-5-15-u.cnf	UNSAT	705.125	705.437	1772718
APPLICATIONS/diagnosis/ UTI-15-10p0.cnf	UNSAT	729.258	729.559	1774818
APPLICATIONS/bioinfo/ q_query_3_L90_coli.sat.cnf	UNSAT	736.283	736.617	1774588
manol-pipe-g10nid.cnf	UNSAT	772.88	773.193	1773458
industrial/anbulagan/ hard-unsat/dated-5-17-u.cnf	UNSAT	836.095	836.334	1772738
industrial/palacios/medium/ cube-11-h13-unsat.cnf	UNSAT	836.588	836.804	1772998
goldb-heqc-term1mul.cnf	UNSAT	977.819	978.089	1775328
industrial/fuhs/medium/ AProVE07-09.cnf	UNSAT	1142.16	1142.49	1772808
velev-pipe-o-uns-1.1-6.cnf	UNSAT	1178.61	1179.05	1775318
APPLICATIONS/diagnosis/ UTI-15-5p0.cnf	UNSAT	1188.51	1188.8	1774738
goldb-heqc-i10mul.cnf	UNSAT	1247.91	1248.24	1775288
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	UNSAT	1361.36	1361.91	1774858
APPLICATIONS/ c32sat/post-c32s-ss-8.cnf	UNSAT	1474.07	1474.43	1774528
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r2-noholes.cnf	UNSAT	1552.06	1552.7	1774478
manol-pipe-f9b.cnf	UNSAT	1571.7	1584.23	1773418
APPLICATIONS/c32sat/ post-cbmc-aes-d-r2-noholes.cnf	UNSAT	1590.72	1591.31	1774488
manol-pipe-f9n.cnf	UNSAT	1716.73	1717.21	1775388
manol-pipe-f10ni.cnf	UNSAT	1718.85	1719.29	1775408
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf	UNSAT	1803.89	1804.59	1773208
industrial/anbulagan/ medium-unsat/total-10-13-u.cnf	UNSAT	1832.98	1833.45	1772578
APPLICATIONS/diagnosis/ UR-15-10p0.cnf	UNSAT	1941.93	1942.81	1774898
APPLICATIONS/crypto/ md5gen/gus-md5-09.cnf	UNSAT	2028.22	2028.74	1773918
industrial/fuhs/hard/ AProVE07-08.cnf	UNSAT	2070.7	2071.59	1772838
APPLICATIONS/diagnosis/ UR-20-5p0.cnf	UNSAT	2350.17	2351.05	1774768
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf	UNSAT	2448.96	2450.24	1773098
APPLICATIONS/diagnosis/ ACG-15-10p0.cnf	UNSAT	2606.44	2607.38	1774678
industrial/fuhs/hard/ AProVE07-27.cnf	UNSAT	3538.45	3539.62	1772868
manol-pipe-c10nid_i.cnf	UNSAT	3703.43	3710.8	1773548
velev-vliw-uns-4.0-9C1.cnf	UNSAT	3713.98	3715.49	1775358
APPLICATIONS/bitverif/ countbitssrl/countbitssrl032.cnf	UNSAT	4253.78	4255.33	1773708
APPLICATIONS/bioinfo/ q_query_3_L200_coli.sat.cnf	UNSAT	4262.44	4264.13	1774618
APPLICATIONS/bitverif/ maxxororand/maxxororand032.cnf	UNSAT	4296.86	4298.37	1773798
APPLICATIONS/diagnosis/ ACG-20-10p0.cnf	UNSAT	4527.96	4529.07	1774688
schup-l2s-bc56s-1-k391.cnf	UNSAT	4721.47	4723.66	1773408
manol-pipe-c10nidw.cnf	UNSAT	4782.37	4795.45	1773438
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	UNSAT	4867.84	4869.23	1773628
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	UNSAT	5143.44	5144.65	1773658
APPLICATIONS/crypto/ md5gen/gus-md5-10.cnf	UNSAT	6058	6059.5	1773908
goldb-heqc-dalumul.cnf	UNSAT	6237.48	6240.28	1773508
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	UNSAT	6539.61	6541.37	1774848
velev-pipe-o-uns-1.0-7.cnf	UNSAT	7947.14	7949.66	1775378
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r3-noholes.cnf	UNSAT	8256.46	8258.71	1774558
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf	UNSAT	9033.85	9036.81	1773248
APPLICATIONS/diagnosis/ UTI-20-5p0.cnf	UNSAT	9662.83	9666.99	1774668

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
een-tip-sat-texas-tp-5e.cnf	SAT	0.178972	0.18594	1773558
APPLICATIONS/aprove09/ AProVE09-13.cnf	SAT	0.25896	0.263898	1774248
APPLICATIONS/aprove09/ AProVE09-22.cnf	SAT	0.273957	0.280262	1774278
APPLICATIONS/aprove09/ AProVE09-11.cnf	SAT	0.567912	0.58146	1774338
APPLICATIONS/aprove09/ AProVE09-12.cnf	SAT	0.753884	0.775761	1774258
APPLICATIONS/aprove09/ AProVE09-08.cnf	SAT	1.14182	1.14578	1774318
APPLICATIONS/aprove09/ AProVE09-03.cnf	SAT	1.17382	1.20477	1774308
APPLICATIONS/aprove09/ AProVE09-01.cnf	SAT	1.59476	1.65081	1774268
APPLICATIONS/aprove09/ AProVE09-19.cnf	SAT	1.68274	1.7029	1774348
APPLICATIONS/aprove09/ AProVE09-25.cnf	SAT	1.87385	1.00584	1774238
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_17_SAT.cnf	SAT	2.37064	2.37429	1775078
APPLICATIONS/aprove09/ AProVE09-05.cnf	SAT	2.87756	2.88342	1774218
APPLICATIONS/aprove09/ AProVE09-10.cnf	SAT	3.47447	3.5154	1774328
APPLICATIONS/aprove09/ AProVE09-24.cnf	SAT	3.73543	3.77654	1774208
industrial/grieu/ vmpc_24.cnf	SAT	5.16821	5.16861	1773138
APPLICATIONS/aprove09/ AProVE09-21.cnf	SAT	5.8891	5.90952	1774228
APPLICATIONS/aprove09/ AProVE09-15.cnf	SAT	7.45887	7.52246	1774288
APPLICATIONS/bioinfo/ q_query_3_l41_lambda.cnf	SAT	8.99763	9.02004	1774418
APPLICATIONS/bioinfo/ q_query_3_l37_lambda.cnf	SAT	9.69453	9.71166	1774398
APPLICATIONS/bioinfo/ q_query_3_l39_lambda.cnf	SAT	11.7952	11.8094	1774428
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_22_SAT.cnf	SAT	11.8122	11.818	1774968
APPLICATIONS/diagnosis/ UR-10-5p1.cnf	SAT	14.0659	14.1379	1774708
APPLICATIONS/aprove09/ AProVE09-07.cnf	SAT	14.8587	14.8667	1774298
APPLICATIONS/bioinfo/ q_query_3_l38_lambda.cnf	SAT	22.5896	22.613	1774458
APPLICATIONS/aprove09/ AProVE09-17.cnf	SAT	28.6666	28.6991	1774188
APPLICATIONS/bioinfo/ q_query_3_l43_lambda.cnf	SAT	32.848	32.8784	1774408
APPLICATIONS/bioinfo/ q_query_3_l40_lambda.cnf	SAT	33.3609	33.3949	1774358
industrial/grieu/ vmpc_25.cnf	SAT	36.1785	36.1985	1773108
industrial/grieu/ vmpc_30.cnf	SAT	60.1259	60.1486	1773118
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	SAT	79.202	79.6638	1773298
APPLICATIONS/bioinfo/ q_query_3_l42_lambda.cnf	SAT	90.4603	90.5043	1774368
APPLICATIONS/crypto/ desgen/gss-13-s100.cnf	SAT	100.306	100.364	1774118
mizh-md5-47-3.cnf	SAT	109.367	109.831	1773328
schup-l2s-motst-2-k315.cnf	SAT	129.151	129.546	1773428
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	SAT	131.133	131.187	1774068
APPLICATIONS/bioinfo/ q_query_3_L60_coli.sat.cnf	SAT	144.326	144.53	1774608
simon-s03-w08-15.cnf	SAT	150.134	150.281	1773378
industrial/grieu/ vmpc_28.cnf	SAT	156.858	156.917	1773158
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_14_SAT.cnf	SAT	162.657	162.743	1775018
mizh-sha0-35-3.cnf	SAT	171.892	172.302	1773538
industrial/grieu/ vmpc_33.cnf	SAT	200.698	200.678	1773128
industrial/palacios/uts/ uts-l06-ipc5-h35-unknown.cnf	SAT	207.377	207.574	1772928
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf	SAT	217.922	218.403	1773308
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_20_SAT.cnf	SAT	321.429	321.523	1775128
APPLICATIONS/crypto/ desgen/gss-15-s100.cnf	SAT	365.326	365.442	1774078
industrial/grieu/ vmpc_26.cnf	SAT	370.916	371.053	1773178
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	SAT	461.203	461.52	1774598
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_21_SAT.cnf	SAT	467.025	467.187	1775068
APPLICATIONS/c32sat/ post-c32s-gcdm16-22.cnf	SAT	488.837	489.066	1774548
mizh-sha0-36-2.cnf	SAT	515.225	515.397	1775398
APPLICATIONS/aprove09/ AProVE09-20.cnf	SAT	596.252	596.416	1774198
velev-pipe-sat-1.0-b10.cnf	SAT	665.484	665.882	1775268
industrial/anbulagan/ medium-sat/partial-5-13-s.cnf	SAT	694.328	694.699	1772638
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	SAT	717.608	717.82	1774018
industrial/grieu/ vmpc_29.cnf	SAT	850.009	850.24	1773148
APPLICATIONS/diagnosis/ UTI-15-5p1.cnf	SAT	910.604	910.998	1774928
APPLICATIONS/aprove09/ AProVE09-06.cnf	SAT	1057.54	1057.86	1774178
industrial/anbulagan/ medium-sat/partial-5-15-s.cnf	SAT	1102.37	1102.92	1772648
APPLICATIONS/crypto/ desgen/gss-17-s100.cnf	SAT	1108.05	1107.95	1773998
APPLICATIONS/diagnosis/ UTI-15-10p1.cnf	SAT	1239.15	1239.94	1774648
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	SAT	1291.11	1291.83	1774878
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	SAT	1429.16	1429.85	1772628
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	SAT	1538.5	1539.3	1774758
mizh-md5-47-4.cnf	SAT	1542.45	1543.37	1773518
velev-pipe-sat-1.0-b7.cnf	SAT	1551.58	1552.29	1775238
APPLICATIONS/diagnosis/ ACG-20-5p1.cnf	SAT	1712.72	1713.65	1774808
APPLICATIONS/diagnosis/ UR-15-10p1.cnf	SAT	2078.49	2079.52	1774718
industrial/anbulagan/ hard-sat/partial-5-17-s.cnf	SAT	2892.1	2893.83	1772608
industrial/palacios/medium/ cube-11-h14-sat.cnf	SAT	3389.95	3392.02	1772988
mizh-md5-48-5.cnf	SAT	4092.08	4093.44	1773578
APPLICATIONS/diagnosis/ ACG-15-10p1.cnf	SAT	4191.89	4193.81	1774788
APPLICATIONS/diagnosis/ UCG-20-10p1.cnf	SAT	4406.06	4407.53	1774828
industrial/narain/ clauses-8.cnf	SAT	4703.59	4704.67	1773188
APPLICATIONS/diagnosis/ ACG-20-10p1.cnf	SAT	6007.66	6010.5	1774748
APPLICATIONS/diagnosis/ UTI-20-5p1.cnf	SAT	6085.6	6088.49	1774838
APPLICATIONS/diagnosis/ UR-20-5p1.cnf	SAT	6155.26	6158.19	1774778
mizh-sha0-36-4.cnf	SAT	7344.08	7346.68	1773468

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_12_UNKNOWN.cnf	? (TO)	10000	10003	1775148
industrial/anbulagan/ hard-unsat/partial-5-13-u.cnf	? (TO)	10000.1	10004.1	1772688
industrial/anbulagan/ hard-unsat/partial-10-13-u.cnf	? (TO)	10000.1	10003.4	1772708
industrial/anbulagan/ hard-unsat/partial-10-19-u.cnf	? (TO)	10000.1	10004.3	1772798
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	10000.1	10004	1773078
industrial/grieu/ vmpc_34.cnf	? (TO)	10000.1	10003.5	1773168
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf	? (TO)	10000.1	10004.1	1773258
velev-vliw-uns-4.0-9-i1.cnf	? (TO)	10000.1	10003.3	1773368
mizh-sha0-36-3.cnf	? (TO)	10000.1	10003.3	1773388
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_16_UNKNOWN.cnf	? (TO)	10000.1	10003.4	1775168
industrial/palacios/hard/ safe-50-h49-unsat.cnf	? (TO)	10000.1	10004.3	1772898
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf	? (TO)	10000.1	10004.8	1773228
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (TO)	10000.1	10004.2	1773278
industrial/fuhs/hard/ AProVE07-26.cnf	? (TO)	10000.2	10015.4	1772858
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf	? (TO)	10000.2	10005.2	1773268
industrial/palacios/hard/ safe-30-h29-unsat.cnf	? (TO)	10000.2	10003.3	1772908
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_17_UNKNOWN.cnf	? (TO)	10000.2	10002.6	1774988
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	? (TO)	10000.2	10017.5	1772618

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	? (MO)	14.5308	28.8576	1774508
velev-pipe-uns-1.0-8.cnf	? (MO)	7499.48	7501.39	1775478

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (exit code)	9998.77	10002.3	1773688
APPLICATIONS/crypto/ desgen/gss-24-s100.cnf	? (exit code)	9998.81	10001.3	1774138
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	? (exit code)	9998.81	10001.4	1774168
APPLICATIONS/crypto/ desgen/gss-23-s100.cnf	? (exit code)	9998.82	10001.5	1774108
APPLICATIONS/crypto/ desgen/gss-28-s100.cnf	? (exit code)	9998.83	10001.5	1774148
APPLICATIONS/crypto/ desgen/gss-26-s100.cnf	? (exit code)	9998.83	10001.5	1774048
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_08_UNSAT.cnf	? (exit code)	9998.83	10001.5	1774948
APPLICATIONS/crypto/ desgen/gss-25-s100.cnf	? (exit code)	9999.01	10002.2	1774158
APPLICATIONS/crypto/ desgen/gss-32-s100.cnf	? (exit code)	9999.02	10002.4	1774008
APPLICATIONS/crypto/ desgen/gss-20-s100.cnf	? (exit code)	9999.03	10002.5	1774058
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (exit code)	9999.06	10003.5	1772788
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (exit code)	9999.17	10002.5	1775118
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (exit code)	9999.18	10003.3	1773048
vange-col-abb313GPIA-9-c.cnf	? (exit code)	9999.19	10017.4	1773488
industrial/anbulagan/ hard-unsat/total-5-17-u.cnf	? (exit code)	9999.21	10016.5	1772758
industrial/fuhs/hard/ AProVE07-01.cnf	? (exit code)	9999.27	10002.2	1772828
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (exit code)	9999.31	10003.5	1772918
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (exit code)	9999.31	10003.3	1774918
goldb-heqc-frg1mul.cnf	? (exit code)	9999.33	10002.5	1773358
industrial/fuhs/hard/ AProVE07-25.cnf	? (exit code)	9999.34	10019.5	1772848
industrial/anbulagan/ hard-unsat/total-10-19-u.cnf	? (exit code)	9999.38	10015.6	1772728
industrial/anbulagan/ hard-unsat/dated-5-19-u.cnf	? (exit code)	9999.41	10003.4	1772748
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (exit code)	9999.47	10015.5	1772778
goldb-heqc-x1mul.cnf	? (exit code)	9999.49	10004.5	1773318
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf	? (exit code)	9999.49	10002.8	1773058
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_13_UNSAT.cnf	? (exit code)	9999.56	10002.6	1775108
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (exit code)	9999.56	9998.52	1774128
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (exit code)	9999.56	10002.4	1774038
APPLICATIONS/crypto/ desgen/gss-33-s100.cnf	? (exit code)	9999.58	10002.6	1774098
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_11_UNSAT.cnf	? (exit code)	9999.58	10002.4	1775008
APPLICATIONS/crypto/ desgen/gss-34-s100.cnf	? (exit code)	9999.58	10002.4	1774088
APPLICATIONS/crypto/ desgen/gss-31-s100.cnf	? (exit code)	9999.58	10002	1773988
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate128.cnf	? (exit code)	9999.58	10002.2	1773668
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_13_UNKNOWN.cnf	? (exit code)	9999.59	10002.5	1775028
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (exit code)	9999.59	10002.5	1775188
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_14_UNKNOWN.cnf	? (exit code)	9999.6	10002.5	1775178
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_11_UNKNOWN.cnf	? (exit code)	9999.61	10002.6	1774938
APPLICATIONS/bitverif/ countbitssrl/countbitssrl128.cnf	? (exit code)	9999.61	10004.4	1773718
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (exit code)	9999.61	10002.5	1773868
APPLICATIONS/bitverif/countbitsarray/ countbitsarray02_32.cnf	? (exit code)	9999.64	10003.5	1773838
industrial/palacios/hard/ sortnet-8-ipc5-h18-unsat.cnf	? (exit code)	9999.65	10003.7	1772878
industrial/anbulagan/ hard-unsat/partial-5-17-u.cnf	? (exit code)	9999.74	10004.6	1772668
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (exit code)	9999.75	10004.3	1772658
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_09_UNSAT.cnf	? (exit code)	9999.75	10003.4	1775158
APPLICATIONS/bitverif/ maxxororand/maxxororand128.cnf	? (exit code)	9999.77	10003.2	1773788
simon-s02b-k2f-gr-rcs-w8.cnf	? (exit code)	9999.78	10003.5	1775438
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (exit code)	9999.78	10003.4	1773738
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_10_UNSAT.cnf	? (exit code)	9999.78	10003.3	1775058
APPLICATIONS/bitverif/countbitsarray/ countbitsarray08_32.cnf	? (exit code)	9999.78	10003.5	1773848
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (exit code)	9999.79	10004.7	1773878
APPLICATIONS/bitverif/ smulo/smulo128.cnf	? (exit code)	9999.79	10003.7	1773768
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_10_UNKNOWN.cnf	? (exit code)	9999.79	10003.3	1774958
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_12_UNKNOWN.cnf	? (exit code)	9999.8	10003.1	1775088
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (exit code)	9999.83	10002.3	1773968
APPLICATIONS/crypto/ md5gen/gus-md5-14.cnf	? (exit code)	9999.83	10002.4	1773928
APPLICATIONS/crypto/ md5gen/gus-md5-15.cnf	? (exit code)	9999.83	10002.5	1773888
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (exit code)	9999.83	10002.5	1775048
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_10_UNKNOWN.cnf	? (exit code)	9999.83	10002.6	1775208
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (exit code)	9999.83	10002.4	1774028
APPLICATIONS/bitverif/ mulhs/mulhs032.cnf	? (exit code)	9999.84	10002.5	1773748
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	? (exit code)	9999.84	10004.7	1774908
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_13_UNKNOWN.cnf	? (exit code)	9999.84	10002.5	1775198
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_11_UNKNOWN.cnf	? (exit code)	9999.85	10002.3	1775228
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (exit code)	9999.86	10002.4	1773828
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_14_UNSAT.cnf	? (exit code)	9999.86	10002.3	1774998
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_15_UNKNOWN.cnf	? (exit code)	9999.87	10002.3	1775038
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf	? (exit code)	9999.95	10003.1	1773288
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf	? (exit code)	9999.96	10004.4	1773238
industrial/anbulagan/ hard-unsat/total-5-15-u.cnf	? (exit code)	9999.99	10003.5	1772678
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (exit code)	10000	10004.6	1772888
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_12_UNSAT.cnf	? (exit code)	10000	10003.6	1774978
industrial/anbulagan/ hard-unsat/partial-5-15-u.cnf	? (exit code)	10000	10003.1	1772768
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf	? (exit code)	10000	10003.5	1773218
APPLICATIONS/crypto/ md5gen/gus-md5-16.cnf	? (exit code)	10000	10003.5	1773898
industrial/anbulagan/ hard-unsat/dated-10-19-u.cnf	? (exit code)	10000.1	10003.3	1772698
APPLICATIONS/bitverif/countbitsarray/ countbitsarray32_32.cnf	? (exit code)	10000.1	10003.1	1773858

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

Result page for solver CircUs 2009-03-23 (complete)

Category "applications instances" (APPLICATION)

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

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

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

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

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