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	1.39579	1.39725	1773195
APPLICATIONS/bitverif/ minor/minor032.cnf	UNSAT	2.99854	3.00045	1773595
cmu-bmc-barrel6.cnf	UNSAT	3.03254	3.03395	1773335
manol-pipe-g6bi.cnf	UNSAT	3.05853	3.05971	1775345
een-tip-uns-nusmv-t5.B.cnf	UNSAT	4.17936	4.18104	1775275
hoons-vbmc-lucky7.cnf	UNSAT	4.97824	4.97973	1773395
APPLICATIONS/bitverif/ countbitssrl/countbitssrl016.cnf	UNSAT	5.86511	5.86734	1773725
manol-pipe-c9.cnf	UNSAT	7.32189	7.32414	1775465
industrial/babic/hsatv17/ hsat_vc11803.cnf	UNSAT	8.02478	8.03651	1773035
industrial/babic/hsatv17/ hsat_vc11813.cnf	UNSAT	9.40757	9.41143	1773025
APPLICATIONS/crypto/ md5gen/gus-md5-04.cnf	UNSAT	18.9221	18.9294	1773955
goldb-heqc-frg1mul.cnf	UNSAT	19.691	19.6963	1773355
APPLICATIONS/bitverif/ minandmaxor/minandmaxor032.cnf	UNSAT	21.7097	21.7152	1773645
manol-pipe-g7nidw.cnf	UNSAT	22.3456	22.3522	1775455
APPLICATIONS/bitverif/ smulo/smulo016.cnf	UNSAT	24.6483	24.6558	1773755
goldb-heqc-term1mul.cnf	UNSAT	27.8868	27.8948	1775325
APPLICATIONS/bitverif/ icbrt/icbrt1_32.cnf	UNSAT	28.0117	28.0215	1773775
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf	UNSAT	33.114	33.1209	1773085
cmu-bmc-longmult15.cnf	UNSAT	34.9887	34.9862	1773525
APPLICATIONS/ bitverif/maxand/maxand064.cnf	UNSAT	35.6756	35.7137	1773815
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_06_UNSAT.cnf	UNSAT	41.8056	41.8195	1775215
simon-s03-fifo8-300.cnf	UNSAT	41.8686	41.8864	1775425
APPLICATIONS/crypto/ md5gen/gus-md5-05.cnf	UNSAT	43.5374	43.5533	1773945
APPLICATIONS/bitverif/ minxorminand/minxorminand032.cnf	UNSAT	43.8513	43.8753	1773615
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate016.cnf	UNSAT	46.31	46.3226	1773675
industrial/anbulagan/ medium-unsat/total-5-11-u.cnf	UNSAT	46.9539	46.9832	1772585
schup-l2s-abp4-1-k31.cnf	UNSAT	47.5398	47.5559	1773345
APPLICATIONS/bioinfo/ q_query_2_L324_coli.cnf	UNSAT	49.3975	53.1171	1774625
APPLICATIONS/bitverif/ minor/minor064.cnf	UNSAT	49.6395	50.0649	1773585
velev-engi-uns-1.0-4nd.cnf	UNSAT	54.9117	54.9241	1773445
manol-pipe-c10nidw_s.cnf	UNSAT	78.804	79.2774	1775245
APPLICATIONS/c32sat/ post-cbmc-aes-ele-noholes.cnf	UNSAT	78.92	79.1057	1774535
APPLICATIONS/crypto/ md5gen/gus-md5-06.cnf	UNSAT	82.1795	82.21	1773935
velev-live-uns-2.0-ebuf.cnf	UNSAT	82.2925	82.3174	1775335
industrial/anbulagan/ medium-unsat/total-5-13-u.cnf	UNSAT	92.4409	92.4897	1772595
APPLICATIONS/diagnosis/ UCG-10-5p0.cnf	UNSAT	99.5719	99.5991	1774655
goldb-heqc-x1mul.cnf	UNSAT	100.906	100.931	1773315
goldb-heqc-dalumul.cnf	UNSAT	103.442	103.478	1773505
manol-pipe-c6nidw_i.cnf	UNSAT	109.153	109.205	1775485
goldb-heqc-alu4mul.cnf	UNSAT	117.226	117.216	1773565
manol-pipe-c6bidw_i.cnf	UNSAT	118.604	118.652	1773475
APPLICATIONS/diagnosis/ UR-10-5p0.cnf	UNSAT	123.464	123.494	1774725
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf	UNSAT	125.15	125.208	1773065
APPLICATIONS/diagnosis/ ACG-10-5p0.cnf	UNSAT	135.268	135.303	1774695
APPLICATIONS/crypto/ md5gen/gus-md5-07.cnf	UNSAT	139.07	139.151	1773975
industrial/palacios/uts/ uts-l05-ipc5-h27-unknown.cnf	UNSAT	161.782	161.828	1772965
industrial/palacios/medium/ blocks-4-ipc5-h22-unknown.cnf	UNSAT	173.501	173.558	1773015
APPLICATIONS/bioinfo/ q_query_3_L90_coli.sat.cnf	UNSAT	177.232	177.304	1774585
manol-pipe-c7bidw_i.cnf	UNSAT	183.222	183.308	1775445
APPLICATIONS/bitverif/countbitswegner/ countbitswegner064.cnf	UNSAT	184.338	184.387	1773805
goldb-heqc-i10mul.cnf	UNSAT	187.76	187.809	1775285
industrial/palacios/uts/ uts-l06-ipc5-h28-unknown.cnf	UNSAT	188.199	188.197	1772975
industrial/palacios/uts/ uts-l05-ipc5-h26-unsat.cnf	UNSAT	194.069	194.074	1772935
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	UNSAT	200.627	200.699	1774575
manol-pipe-g10id.cnf	UNSAT	218.149	218.218	1775305
manol-pipe-c7nidw.cnf	UNSAT	234.947	235.007	1775295
APPLICATIONS/bioinfo/ q_query_3_L80_coli.sat.cnf	UNSAT	246.992	249.625	1774565
manol-pipe-g10nid.cnf	UNSAT	252.985	253.128	1773455
schup-l2s-guid-1-k56.cnf	UNSAT	266.43	266.5	1775415
APPLICATIONS/bioinfo/ q_query_3_l45_lambda.cnf	UNSAT	283.257	283.521	1774465
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	UNSAT	290.219	290.341	1774795
APPLICATIONS/bioinfo/ q_query_3_l44_lambda.cnf	UNSAT	301.163	301.241	1774375
APPLICATIONS/bioinfo/ q_query_3_l48_lambda.cnf	UNSAT	302.944	303.052	1774445
APPLICATIONS/bioinfo/ q_query_3_l47_lambda.cnf	UNSAT	303.059	303.139	1774435
APPLICATIONS/ bitverif/minand/minand128.cnf	UNSAT	318.83	320.745	1773695
APPLICATIONS/c32sat/ post-c32s-col400-16.cnf	UNSAT	323.391	323.479	1774515
APPLICATIONS/diagnosis/ UR-15-5p0.cnf	UNSAT	332.639	332.776	1774885
manol-pipe-g10bidw.cnf	UNSAT	353.166	353.354	1775255
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	UNSAT	362.484	362.582	1774385
industrial/palacios/uts/ uts-l06-ipc5-h31-unknown.cnf	UNSAT	388.956	389.115	1772955
APPLICATIONS/diagnosis/ UTI-10-10p0.cnf	UNSAT	392.497	392.707	1774865
APPLICATIONS/bioinfo/ q_query_3_L100_coli.sat.cnf	UNSAT	396.45	396.698	1774635
industrial/fuhs/medium/ AProVE07-16.cnf	UNSAT	417.893	418.124	1772815
industrial/anbulagan/ hard-unsat/dated-5-15-u.cnf	UNSAT	443.883	444.084	1772715
APPLICATIONS/ c32sat/post-c32s-ss-8.cnf	UNSAT	472.614	472.738	1774525
manol-pipe-f9n.cnf	UNSAT	562.152	562.37	1775385
manol-pipe-f9b.cnf	UNSAT	570.277	570.473	1773415
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_07_UNSAT.cnf	UNSAT	614.381	614.559	1775095
industrial/anbulagan/ hard-unsat/dated-5-17-u.cnf	UNSAT	642.834	643.097	1772735
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	UNSAT	655.846	656.094	1774495
APPLICATIONS/diagnosis/ UTI-15-10p0.cnf	UNSAT	657.473	657.668	1774815
APPLICATIONS/bioinfo/ q_query_3_L200_coli.sat.cnf	UNSAT	658.842	659.138	1774615
industrial/palacios/uts/ uts-l06-ipc5-h33-unknown.cnf	UNSAT	757.432	757.692	1772945
APPLICATIONS/bitverif/ minxorminand/minxorminand064.cnf	UNSAT	759.486	759.88	1773605
industrial/fuhs/medium/ AProVE07-09.cnf	UNSAT	838.369	838.596	1772805
industrial/anbulagan/ medium-unsat/total-10-13-u.cnf	UNSAT	905.473	905.706	1772575
manol-pipe-c10nid_i.cnf	UNSAT	907.303	907.727	1773545
APPLICATIONS/bitverif/ countbitssrl/countbitssrl032.cnf	UNSAT	1025.86	1025.76	1773705
industrial/fuhs/hard/ AProVE07-08.cnf	UNSAT	1110.79	1111.07	1772835
APPLICATIONS/crypto/ md5gen/gus-md5-09.cnf	UNSAT	1146.76	1147.07	1773915
APPLICATIONS/bitverif/ maxxororand/maxxororand032.cnf	UNSAT	1180.56	1180.88	1773795
manol-pipe-f10ni.cnf	UNSAT	1224.96	1225.34	1775405
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	UNSAT	1235.55	1235.85	1774855
manol-pipe-c10nidw.cnf	UNSAT	1244.57	1245.46	1773435
velev-pipe-o-uns-1.1-6.cnf	UNSAT	1245.74	1246.2	1775315
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf	UNSAT	1261.19	1261.51	1773095
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_07_UNSAT.cnf	UNSAT	1279.28	1279.67	1775135
schup-l2s-bc56s-1-k391.cnf	UNSAT	1368.63	1369.24	1773405
velev-pipe-o-uns-1.0-7.cnf	UNSAT	1419.99	1420.36	1775375
APPLICATIONS/diagnosis/ UTI-15-5p0.cnf	UNSAT	1440.26	1440.82	1774735
APPLICATIONS/diagnosis/ ACG-15-10p0.cnf	UNSAT	2258.36	2258.96	1774675
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf	UNSAT	2415.3	2416.19	1773205
simon-s02b-dp11u10.cnf	UNSAT	2709.22	2709.91	1775365
industrial/fuhs/hard/ AProVE07-27.cnf	UNSAT	2950.53	2951.28	1772865
APPLICATIONS/crypto/ md5gen/gus-md5-10.cnf	UNSAT	2962.13	2962.96	1773905
APPLICATIONS/c32sat/ post-cbmc-aes-d-r2-noholes.cnf	UNSAT	3130.24	3131.57	1774485
APPLICATIONS/diagnosis/ UR-15-10p0.cnf	UNSAT	3398.77	3400.22	1774895
APPLICATIONS/diagnosis/ UR-20-5p0.cnf	UNSAT	3496.67	3498.23	1774765

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/aprove09/ AProVE09-13.cnf	SAT	0.576911	0.576594	1774245
een-tip-sat-texas-tp-5e.cnf	SAT	0.670897	0.670688	1773555
APPLICATIONS/aprove09/ AProVE09-22.cnf	SAT	0.805877	0.807045	1774275
APPLICATIONS/aprove09/ AProVE09-11.cnf	SAT	1.73873	1.73926	1774335
APPLICATIONS/aprove09/ AProVE09-12.cnf	SAT	2.33564	2.33697	1774255
APPLICATIONS/aprove09/ AProVE09-25.cnf	SAT	2.56161	2.58198	1774235
APPLICATIONS/aprove09/ AProVE09-19.cnf	SAT	2.76058	2.76123	1774345
APPLICATIONS/bioinfo/ q_query_3_l38_lambda.cnf	SAT	2.79657	2.79795	1774455
APPLICATIONS/bioinfo/ q_query_3_l37_lambda.cnf	SAT	3.03754	3.03891	1774395
APPLICATIONS/aprove09/ AProVE09-03.cnf	SAT	3.20951	3.23712	1774305
industrial/grieu/ vmpc_24.cnf	SAT	3.45847	3.46008	1773135
APPLICATIONS/aprove09/ AProVE09-01.cnf	SAT	3.9744	3.97605	1774265
APPLICATIONS/aprove09/ AProVE09-24.cnf	SAT	5.70213	5.70373	1774205
APPLICATIONS/aprove09/ AProVE09-21.cnf	SAT	6.09907	6.10121	1774225
APPLICATIONS/aprove09/ AProVE09-07.cnf	SAT	6.27904	6.28132	1774295
APPLICATIONS/aprove09/ AProVE09-10.cnf	SAT	6.49201	6.49415	1774325
APPLICATIONS/bioinfo/ q_query_3_l40_lambda.cnf	SAT	9.13361	9.13647	1774355
APPLICATIONS/bioinfo/ q_query_3_l39_lambda.cnf	SAT	9.14661	9.14904	1774425
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_17_SAT.cnf	SAT	13.346	13.3512	1775075
APPLICATIONS/aprove09/ AProVE09-05.cnf	SAT	14.2418	14.2462	1774215
APPLICATIONS/bioinfo/ q_query_3_l41_lambda.cnf	SAT	18.2982	18.303	1774415
APPLICATIONS/aprove09/ AProVE09-17.cnf	SAT	20.3709	20.3774	1774185
APPLICATIONS/aprove09/ AProVE09-08.cnf	SAT	24.8752	24.8829	1774315
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_14_SAT.cnf	SAT	25.0592	25.0699	1775015
APPLICATIONS/crypto/ desgen/gss-15-s100.cnf	SAT	26.163	26.1778	1774075
APPLICATIONS/aprove09/ AProVE09-15.cnf	SAT	26.618	26.6279	1774285
industrial/grieu/ vmpc_25.cnf	SAT	28.0927	28.1006	1773105
APPLICATIONS/bioinfo/ q_query_3_l42_lambda.cnf	SAT	28.3297	28.3379	1774365
mizh-sha0-35-3.cnf	SAT	37.2003	37.2114	1773535
APPLICATIONS/crypto/ desgen/gss-13-s100.cnf	SAT	42.0006	42.012	1774115
industrial/grieu/ vmpc_29.cnf	SAT	49.8534	49.8728	1773145
APPLICATIONS/bioinfo/ q_query_3_L60_coli.sat.cnf	SAT	56.8094	56.8646	1774605
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_21_SAT.cnf	SAT	60.6998	60.7195	1775065
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_20_SAT.cnf	SAT	65.2911	65.336	1775125
APPLICATIONS/bioinfo/ q_query_3_l43_lambda.cnf	SAT	66.4879	66.5053	1774405
schup-l2s-motst-2-k315.cnf	SAT	77.3352	77.4111	1773425
APPLICATIONS/aprove09/ AProVE09-20.cnf	SAT	97.6132	97.64	1774195
APPLICATIONS/diagnosis/ UR-10-5p1.cnf	SAT	109.593	109.641	1774705
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	SAT	118.68	118.723	1774065
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	SAT	168.756	168.813	1774015
industrial/grieu/ vmpc_26.cnf	SAT	170.021	170.084	1773175
industrial/palacios/uts/ uts-l06-ipc5-h35-unknown.cnf	SAT	183.71	183.772	1772925
industrial/anbulagan/ medium-sat/partial-5-13-s.cnf	SAT	202.177	202.245	1772635
mizh-md5-47-4.cnf	SAT	210.778	210.841	1773515
mizh-sha0-36-4.cnf	SAT	220.732	220.798	1773465
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	SAT	222.215	222.288	1774595
industrial/anbulagan/ medium-sat/partial-5-15-s.cnf	SAT	268.227	268.327	1772645
simon-s03-w08-15.cnf	SAT	312.712	312.82	1773375
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	SAT	369.755	369.882	1772615
APPLICATIONS/diagnosis/ UTI-15-5p1.cnf	SAT	372.063	372.247	1774925
APPLICATIONS/c32sat/ post-c32s-gcdm16-22.cnf	SAT	537.151	537.354	1774545
mizh-md5-48-5.cnf	SAT	633.985	634.171	1773575
velev-pipe-sat-1.0-b7.cnf	SAT	646.837	647.014	1775235
APPLICATIONS/diagnosis/ UTI-15-10p1.cnf	SAT	689.273	689.222	1774645
mizh-md5-47-3.cnf	SAT	733.389	733.57	1773325
APPLICATIONS/diagnosis/ ACG-20-5p1.cnf	SAT	863.068	863.42	1774805
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	SAT	1039.41	1039.92	1774875
APPLICATIONS/crypto/ desgen/gss-17-s100.cnf	SAT	1195.14	1195.44	1773995
APPLICATIONS/diagnosis/ UTI-20-5p1.cnf	SAT	1281.96	1282.3	1774835
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	SAT	1292.03	1291.9	1774165
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_22_SAT.cnf	SAT	1765.37	1765.8	1774965
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	SAT	2064.66	2065.25	1774755
APPLICATIONS/aprove09/ AProVE09-06.cnf	SAT	2340.84	2341.53	1774175
mizh-sha0-36-2.cnf	SAT	2737.49	2738.16	1775395
APPLICATIONS/crypto/ desgen/gss-20-s100.cnf	SAT	2809.34	2810.16	1774055
APPLICATIONS/diagnosis/ ACG-15-10p1.cnf	SAT	3311.58	3312.52	1774785
APPLICATIONS/diagnosis/ UR-20-5p1.cnf	SAT	3534.46	3534.48	1774775

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
aloul-chnl11-13.cnf	?	3600.06	3601.11	1773495
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	?	3600.07	3601.34	1773045
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf	?	3600.09	3600.96	1773055
APPLICATIONS/bitverif/countbitsarray/ countbitsarray02_32.cnf	?	3600.11	3601.28	1773835
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	?	3600.13	3601.43	1773735
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	?	3600.14	3601.03	1773685
industrial/fuhs/hard/ AProVE07-01.cnf	?	3600.19	3601.51	1772825
industrial/fuhs/hard/ AProVE07-25.cnf	?	3600.26	3601.24	1772845
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	?	3600.31	3601.63	1775045
APPLICATIONS/bitverif/ mulhs/mulhs032.cnf	?	3600.34	3601.41	1773745
APPLICATIONS/bitverif/countbitsarray/ countbitsarray08_32.cnf	?	3600.35	3601.35	1773845
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_08_UNSAT.cnf	?	3600.36	3601.36	1774945
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	?	3600.38	3601.7	1775185
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	?	3600.41	3601.58	1775115
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_10_UNKNOWN.cnf	?	3600.46	3601.43	1774955
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_10_UNKNOWN.cnf	?	3600.5	3601.49	1775205
industrial/grieu/ vmpc_28.cnf	?	3600.53	3601.59	1773155
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_11_UNKNOWN.cnf	?	3600.53	3601.48	1775225
industrial/fuhs/hard/ AProVE07-26.cnf	?	3600.55	3601.62	1772855
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_11_UNKNOWN.cnf	?	3600.56	3601.82	1774935
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	?	3600.58	3601.57	1774035
APPLICATIONS/crypto/ desgen/gss-23-s100.cnf	?	3600.58	3601.51	1774105
APPLICATIONS/crypto/ desgen/gss-31-s100.cnf	?	3600.59	3601.78	1773985
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	?	3600.59	3601.66	1774025
APPLICATIONS/crypto/ desgen/gss-24-s100.cnf	?	3600.59	3601.51	1774135
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	?	3600.59	3601.58	1774125
APPLICATIONS/crypto/ desgen/gss-34-s100.cnf	?	3600.6	3601.63	1774085
APPLICATIONS/crypto/ desgen/gss-32-s100.cnf	?	3600.6	3601.63	1774005
APPLICATIONS/crypto/ desgen/gss-33-s100.cnf	?	3600.6	3601.92	1774095
APPLICATIONS/crypto/ desgen/gss-25-s100.cnf	?	3600.6	3601.5	1774155
APPLICATIONS/crypto/ desgen/gss-26-s100.cnf	?	3600.61	3601.87	1774045
APPLICATIONS/crypto/ desgen/gss-28-s100.cnf	?	3600.61	3601.56	1774145
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_12_UNKNOWN.cnf	?	3600.61	3601.59	1775145
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_12_UNKNOWN.cnf	?	3600.62	3601.69	1775085
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_13_UNKNOWN.cnf	?	3600.64	3601.57	1775195
industrial/grieu/ vmpc_30.cnf	?	3600.65	3601.63	1773115
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_13_UNKNOWN.cnf	?	3600.71	3601.77	1775025
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_14_UNKNOWN.cnf	?	3600.78	3601.81	1775175
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_09_UNSAT.cnf	?	3600.82	3602.08	1775155
industrial/grieu/ vmpc_33.cnf	?	3600.87	3601.87	1773125
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_10_UNSAT.cnf	?	3600.91	3602.24	1775055
industrial/grieu/ vmpc_34.cnf	?	3600.93	3601.94	1773165
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_11_UNSAT.cnf	?	3601.01	3602.32	1775005
APPLICATIONS/ bitverif/minxor/minxor128.cnf	?	3601.09	3603.86	1773635
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_12_UNSAT.cnf	?	3601.12	3602.17	1774975
APPLICATIONS/bitverif/countbitsarray/ countbitsarray32_32.cnf	?	3601.18	3602.15	1773855
mizh-sha0-36-3.cnf	?	3601.2	3602.51	1773385
APPLICATIONS/crypto/ md5gen/gus-md5-15.cnf	?	3601.22	3602.72	1773885
APPLICATIONS/crypto/ md5gen/gus-md5-16.cnf	?	3601.23	3602.56	1773895
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_13_UNSAT.cnf	?	3601.25	3602.53	1775105
APPLICATIONS/crypto/ md5gen/gus-md5-14.cnf	?	3601.28	3602.32	1773925
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	?	3601.31	3602.64	1773965
industrial/palacios/ medium/emptyroom-4-h21-unsat.cnf	?	3601.33	3600.96	1773005
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_14_UNSAT.cnf	?	3601.43	3602.38	1774995
simon-s02b-k2f-gr-rcs-w8.cnf	?	3601.53	3602.4	1775435
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_15_UNKNOWN.cnf	?	3601.56	3602.6	1775035
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_16_UNKNOWN.cnf	?	3601.75	3602.8	1775165
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_17_UNKNOWN.cnf	?	3601.88	3603.12	1774985
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	?	3601.92	3602.98	1773875
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate128.cnf	?	3602.17	3603.12	1773665
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	?	3602.39	3603.7	1772885
industrial/palacios/hard/ safe-30-h29-unsat.cnf	?	3602.51	3603.43	1772905
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf	?	3603.04	3604.1	1773245
APPLICATIONS/bitverif/ smulo/smulo128.cnf	?	3603.11	3604.05	1773765
APPLICATIONS/bitverif/ maxor/maxor128.cnf	?	3603.32	3604.61	1773825
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	?	3603.34	3604.23	1773865
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	?	3603.71	3605.18	1772785
vange-col-abb313GPIA-9-c.cnf	?	3603.77	3604.71	1773485
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	?	3603.91	3606.82	1773655
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	?	3604.64	3605.53	1772775
APPLICATIONS/bitverif/ countbitssrl/countbitssrl128.cnf	?	3604.76	3605.73	1773715
industrial/anbulagan/ hard-unsat/partial-5-13-u.cnf	?	3605.23	3606.32	1772685
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf	?	3605.47	3606.75	1773285
industrial/anbulagan/ hard-unsat/dated-5-19-u.cnf	?	3606.07	3607.01	1772745
industrial/anbulagan/ hard-unsat/total-5-15-u.cnf	?	3606.12	3607.78	1772675
industrial/anbulagan/ hard-unsat/partial-5-15-u.cnf	?	3606.53	3607.52	1772765
industrial/anbulagan/ hard-unsat/partial-10-13-u.cnf	?	3606.53	3608.67	1772705
APPLICATIONS/diagnosis/ UR-15-10p1.cnf	?	3606.56	3607.89	1774715
velev-pipe-uns-1.0-8.cnf	?	3606.79	3608.43	1775475
industrial/anbulagan/ hard-unsat/partial-5-17-u.cnf	?	3607.19	3608.81	1772665
industrial/anbulagan/ hard-unsat/dated-10-19-u.cnf	?	3607.31	3608.35	1772695
industrial/anbulagan/ hard-unsat/total-5-17-u.cnf	?	3607.4	3608.95	1772755
industrial/palacios/hard/ sortnet-8-ipc5-h18-unsat.cnf	?	3607.48	3608.99	1772875
industrial/anbulagan/ hard-sat/partial-5-17-s.cnf	?	3607.75	3609.08	1772605
APPLICATIONS/diagnosis/ UTI-20-5p0.cnf	?	3608.01	3609.72	1774665
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r2-noholes.cnf	?	3608.05	3608.93	1774475
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	?	3608.31	3609.57	1772915
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	?	3608.62	3610.69	1774845
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	?	3608.67	3609.9	1772655
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf	?	3608.75	3609.68	1773255
industrial/palacios/medium/ cube-11-h13-unsat.cnf	?	3608.85	3609.93	1772995
APPLICATIONS/diagnosis/ UCG-20-10p1.cnf	?	3609.07	3610.12	1774825
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	?	3609.15	3610.1	1774915
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	?	3609.23	3610.83	1774905
velev-vliw-uns-4.0-9C1.cnf	?	3609.53	3610.49	1775355
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	?	3609.78	3611.14	1772625
industrial/palacios/medium/ cube-11-h14-sat.cnf	?	3609.84	3611.44	1772985
APPLICATIONS/diagnosis/ ACG-20-10p0.cnf	?	3609.85	3611.47	1774685
industrial/anbulagan/ hard-unsat/total-10-19-u.cnf	?	3610.02	3611.1	1772725
industrial/anbulagan/ hard-unsat/partial-10-19-u.cnf	?	3610.14	3611.17	1772795
APPLICATIONS/diagnosis/ ACG-20-10p1.cnf	?	3610.56	3611.98	1774745
industrial/palacios/hard/ safe-50-h49-unsat.cnf	?	3611.08	3612.66	1772895
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r3-noholes.cnf	?	3614.3	3615.6	1774555
velev-vliw-uns-4.0-9-i1.cnf	?	3616.35	3617.53	1773365
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf	?	3623.89	3625.17	1773235
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	?	3624.15	3625.1	1773075
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf	?	3633.87	3635.66	1773225
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	?	3634.25	3640.52	1773275

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	? (MO)	3.85641	3.89332	1774505
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	? (MO)	84.9321	85.3897	1773295
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf	? (MO)	89.5764	89.6262	1773305
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf	? (MO)	114.949	115.374	1773215
industrial/narain/ clauses-8.cnf	? (MO)	124.895	125.2	1773185
APPLICATIONS/bitverif/ maxxororand/maxxororand128.cnf	? (MO)	207.527	208.297	1773785
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (MO)	260.684	261.691	1773625
velev-pipe-sat-1.0-b10.cnf	? (MO)	925.952	926.572	1775265
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf	? (MO)	3199.06	3200.07	1773265

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

Result page for solver kw 2009-03-20 (complete)

Category "applications instances" (APPLICATION)

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

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

Solver didn't decide (UNKNOWN) (108 runs) [Show/Hide]

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