SAT 2009 Competition: multithread track: benchmarks results per solver

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/babic/xinetd/ xinetd_vc56703.cnf	UNSAT	14.8369	3.78623	1776432
een-tip-uns-nusmv-t5.B.cnf	UNSAT	41.4066	11.9411	1781262
APPLICATIONS/bitverif/ minor/minor032.cnf	UNSAT	43.4307	36.1259	1778742
industrial/babic/hsatv17/ hsat_vc11803.cnf	UNSAT	53.0473	11.6033	1776192
manol-pipe-g6bi.cnf	UNSAT	61.7879	51.2871	1781367
APPLICATIONS/crypto/ md5gen/gus-md5-04.cnf	UNSAT	63.928	9.07549	1779282
industrial/babic/hsatv17/ hsat_vc11813.cnf	UNSAT	75.7207	14.6174	1776177
manol-pipe-c9.cnf	UNSAT	92.2698	77.986	1781547
cmu-bmc-barrel6.cnf	UNSAT	97.1181	79.038	1776642
APPLICATIONS/bitverif/ countbitssrl/countbitssrl016.cnf	UNSAT	120.172	96.7933	1778937
APPLICATIONS/bitverif/ icbrt/icbrt1_32.cnf	UNSAT	149.445	97.1885	1779012
APPLICATIONS/crypto/ md5gen/gus-md5-05.cnf	UNSAT	154.274	18.302	1779267
manol-pipe-g7nidw.cnf	UNSAT	173.491	115.484	1781532
velev-engi-uns-1.0-4nd.cnf	UNSAT	177.491	114.226	1776807
industrial/anbulagan/ medium-unsat/total-5-11-u.cnf	UNSAT	187.144	60.9648	1775517
velev-live-uns-2.0-ebuf.cnf	UNSAT	188.916	124.575	1781352
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate016.cnf	UNSAT	229.402	156.627	1778862
APPLICATIONS/crypto/ md5gen/gus-md5-06.cnf	UNSAT	238.763	33.8586	1779252
industrial/palacios/uts/ uts-l06-ipc5-h28-unknown.cnf	UNSAT	246.039	84.7545	1776102
cmu-bmc-longmult15.cnf	UNSAT	264.289	205.131	1776927
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_06_UNSAT.cnf	UNSAT	314.032	245.607	1781172
APPLICATIONS/bitverif/ minor/minor064.cnf	UNSAT	321.532	125.265	1778727
APPLICATIONS/bitverif/ minandmaxor/minandmaxor032.cnf	UNSAT	336.029	96.2249	1778817
industrial/palacios/uts/ uts-l05-ipc5-h27-unknown.cnf	UNSAT	347.23	167.533	1776087
hoons-vbmc-lucky7.cnf	UNSAT	350.118	292.764	1776732
industrial/anbulagan/ medium-unsat/total-5-13-u.cnf	UNSAT	374.771	111.574	1775532
industrial/palacios/uts/ uts-l05-ipc5-h26-unsat.cnf	UNSAT	411.982	228.029	1776042
APPLICATIONS/ bitverif/maxand/maxand064.cnf	UNSAT	426.503	138.352	1779072
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf	UNSAT	432.875	424.854	1776267
APPLICATIONS/crypto/ md5gen/gus-md5-07.cnf	UNSAT	452.264	66.2305	1779312
manol-pipe-g10id.cnf	UNSAT	492.615	242.242	1781307
APPLICATIONS/diagnosis/ UCG-10-5p0.cnf	UNSAT	503.027	103.255	1780332
simon-s03-fifo8-300.cnf	UNSAT	516.116	186.479	1781487
schup-l2s-abp4-1-k31.cnf	UNSAT	532.793	321.988	1776657
APPLICATIONS/bitverif/ minxorminand/minxorminand032.cnf	UNSAT	576.188	97.9465	1778772
APPLICATIONS/diagnosis/ UR-10-5p0.cnf	UNSAT	592.825	119.101	1780437
APPLICATIONS/diagnosis/ ACG-10-5p0.cnf	UNSAT	601.098	109.088	1780392
APPLICATIONS/bitverif/ smulo/smulo016.cnf	UNSAT	625.531	588.057	1778982
simon-s02b-dp11u10.cnf	UNSAT	804.054	694.787	1781397
APPLICATIONS/diagnosis/ UTI-10-10p0.cnf	UNSAT	891.84	217.501	1780647
industrial/palacios/medium/ blocks-4-ipc5-h22-unknown.cnf	UNSAT	1039.44	268.998	1776162
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	UNSAT	1078.85	200.903	1780542
APPLICATIONS/c32sat/ post-c32s-col400-16.cnf	UNSAT	1137.43	305.646	1780122
manol-pipe-c10nidw_s.cnf	UNSAT	1222.84	434.09	1781217
industrial/palacios/uts/ uts-l06-ipc5-h31-unknown.cnf	UNSAT	1295.37	574.854	1776072
manol-pipe-c6nidw_i.cnf	UNSAT	1343.08	671.265	1781577
manol-pipe-c6bidw_i.cnf	UNSAT	1376.41	764.431	1776852
goldb-heqc-alu4mul.cnf	UNSAT	1394.29	902.337	1776987
velev-pipe-o-uns-1.1-6.cnf	UNSAT	1464.5	386.155	1781322
manol-pipe-g10nid.cnf	UNSAT	1641.52	759.686	1776822
schup-l2s-guid-1-k56.cnf	UNSAT	1866.18	516.903	1781472
APPLICATIONS/bioinfo/ q_query_3_L80_coli.sat.cnf	UNSAT	2157.57	767.138	1780197
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf	UNSAT	2296.91	922.156	1776447
manol-pipe-g10bidw.cnf	UNSAT	2359.58	986.227	1781232
industrial/palacios/uts/ uts-l06-ipc5-h33-unknown.cnf	UNSAT	2442.65	921.183	1776057
APPLICATIONS/diagnosis/ UR-15-5p0.cnf	UNSAT	2519.37	336.048	1780677
APPLICATIONS/crypto/ md5gen/gus-md5-09.cnf	UNSAT	2593.51	431.755	1779222
APPLICATIONS/bioinfo/ q_query_3_L90_coli.sat.cnf	UNSAT	2991.04	970.701	1780227
APPLICATIONS/diagnosis/ UTI-15-10p0.cnf	UNSAT	3071.7	567.947	1780572
industrial/palacios/ medium/emptyroom-4-h21-unsat.cnf	UNSAT	3304.67	732.57	1776147
industrial/fuhs/medium/ AProVE07-16.cnf	UNSAT	3342.7	714.985	1775862
APPLICATIONS/ bitverif/minand/minand128.cnf	UNSAT	3997.14	386.432	1778892
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	UNSAT	4669.06	573.971	1780632
APPLICATIONS/diagnosis/ UTI-15-5p0.cnf	UNSAT	6120.43	830.966	1780452
industrial/palacios/medium/ cube-11-h13-unsat.cnf	UNSAT	6514.17	618.878	1776132
APPLICATIONS/diagnosis/ ACG-15-10p0.cnf	UNSAT	8584.85	783.815	1780362

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_17_SAT.cnf	SAT	8.31652	1.93027	1780962
een-tip-sat-texas-tp-5e.cnf	SAT	10.9327	5.41264	1776972
APPLICATIONS/aprove09/ AProVE09-25.cnf	SAT	14.8129	5.88674	1779702
APPLICATIONS/aprove09/ AProVE09-07.cnf	SAT	16.081	10.5574	1779792
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_22_SAT.cnf	SAT	19.5652	5.15755	1780797
APPLICATIONS/aprove09/ AProVE09-21.cnf	SAT	24.43	11.7065	1779687
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_20_SAT.cnf	SAT	28.8338	5.88696	1781037
APPLICATIONS/aprove09/ AProVE09-06.cnf	SAT	57.9556	14.6836	1779612
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_14_SAT.cnf	SAT	63.648	17.0975	1780872
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_21_SAT.cnf	SAT	65.2441	10.856	1780947
APPLICATIONS/aprove09/ AProVE09-15.cnf	SAT	68.8563	23.3886	1779777
APPLICATIONS/aprove09/ AProVE09-17.cnf	SAT	86.0134	38.9719	1779627
APPLICATIONS/bioinfo/ q_query_3_l39_lambda.cnf	SAT	138.229	117.06	1779987
APPLICATIONS/bioinfo/ q_query_3_l37_lambda.cnf	SAT	155.426	136.287	1779942
APPLICATIONS/bioinfo/ q_query_3_l38_lambda.cnf	SAT	197.012	151.772	1780032
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	SAT	289.61	66.6058	1779447
APPLICATIONS/crypto/ desgen/gss-15-s100.cnf	SAT	391.476	93.0924	1779462
industrial/palacios/uts/ uts-l06-ipc5-h35-unknown.cnf	SAT	440.051	116.396	1776027
APPLICATIONS/bioinfo/ q_query_3_L60_coli.sat.cnf	SAT	448.08	191.796	1780257
APPLICATIONS/diagnosis/ UR-10-5p1.cnf	SAT	517.572	107.816	1780407
APPLICATIONS/bioinfo/ q_query_3_l40_lambda.cnf	SAT	549.69	419.266	1779882
APPLICATIONS/bioinfo/ q_query_3_l41_lambda.cnf	SAT	587.517	438.777	1779972
mizh-sha0-35-3.cnf	SAT	629.391	418.037	1776942
mizh-sha0-36-4.cnf	SAT	665.278	461.097	1776837
industrial/grieu/ vmpc_25.cnf	SAT	772.168	163.674	1776297
mizh-md5-47-3.cnf	SAT	805.83	539.913	1776627
APPLICATIONS/bioinfo/ q_query_3_l42_lambda.cnf	SAT	904.184	656.182	1779897
industrial/grieu/ vmpc_24.cnf	SAT	1026.6	283.046	1776342
simon-s03-w08-15.cnf	SAT	1106.53	241.95	1776702
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	SAT	1231.15	278.286	1779372
mizh-md5-48-5.cnf	SAT	1504.44	860.76	1777002
mizh-md5-47-4.cnf	SAT	1548.7	872.279	1776912
APPLICATIONS/crypto/ desgen/gss-17-s100.cnf	SAT	1706.52	406.128	1779342
industrial/anbulagan/ medium-sat/partial-5-13-s.cnf	SAT	2137.9	274.212	1775592
industrial/grieu/ vmpc_26.cnf	SAT	2869.45	437.845	1776402
APPLICATIONS/c32sat/ post-c32s-gcdm16-22.cnf	SAT	3901.74	773.239	1780167
industrial/grieu/ vmpc_28.cnf	SAT	4298.54	498.399	1776372
APPLICATIONS/diagnosis/ UTI-15-5p1.cnf	SAT	4885.52	655.547	1780737
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	SAT	5131.96	662.929	1780662
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	SAT	6770.47	749.186	1780482

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf	? (TO)	948.419	1000.03	1776237
vange-col-abb313GPIA-9-c.cnf	? (TO)	1013.75	1000.1	1776867
APPLICATIONS/bitverif/countbitsarray/ countbitsarray02_32.cnf	? (TO)	1018.23	1000.03	1779102
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf	? (TO)	1034.96	1000.04	1776282
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	1051.55	1000.04	1776207
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	1071.27	1000.04	1776252
goldb-heqc-term1mul.cnf	? (TO)	1085.84	1000.04	1781337
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf	? (TO)	1127.23	1000.03	1776222
goldb-heqc-frg1mul.cnf	? (TO)	1170.9	1000.03	1776672
industrial/fuhs/hard/ AProVE07-08.cnf	? (TO)	1193.08	1000.04	1775892
APPLICATIONS/bitverif/countbitsarray/ countbitsarray08_32.cnf	? (TO)	1205.88	1000.05	1779117
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	1341.22	1000.05	1775877
goldb-heqc-dalumul.cnf	? (TO)	1456	1000.04	1776897
APPLICATIONS/bitverif/countbitsarray/ countbitsarray32_32.cnf	? (TO)	1464.46	1000.09	1779132
APPLICATIONS/bioinfo/ q_query_3_l45_lambda.cnf	? (TO)	1494.99	1000.07	1780047
APPLICATIONS/bioinfo/ q_query_3_l48_lambda.cnf	? (TO)	1550.07	1000.06	1780017
aloul-chnl11-13.cnf	? (TO)	1570.44	1000.03	1776882
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	? (TO)	1617.13	1000.06	1779927
APPLICATIONS/bioinfo/ q_query_3_l44_lambda.cnf	? (TO)	1617.49	1000.06	1779912
APPLICATIONS/bioinfo/ q_query_3_l47_lambda.cnf	? (TO)	1663.68	1000.07	1780002
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	1684.48	1000.04	1778952
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_07_UNSAT.cnf	? (TO)	1781.23	1000.06	1780992
APPLICATIONS/c32sat/ post-cbmc-aes-ele-noholes.cnf	? (TO)	1784.04	1000.21	1780152
goldb-heqc-i10mul.cnf	? (TO)	1826.99	1000.06	1781277
mizh-sha0-36-2.cnf	? (TO)	2105.48	1000.11	1781442
industrial/fuhs/hard/ AProVE07-27.cnf	? (TO)	2110.81	1000.04	1775937
industrial/fuhs/hard/ AProVE07-25.cnf	? (TO)	2210.06	1000.07	1775907
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_07_UNSAT.cnf	? (TO)	2293.76	1000.05	1781052
manol-pipe-c7nidw.cnf	? (TO)	2324.96	1000.16	1781292
mizh-sha0-36-3.cnf	? (TO)	2403.02	1000.1	1776717
manol-pipe-c7bidw_i.cnf	? (TO)	2419.38	1000.14	1781517
goldb-heqc-x1mul.cnf	? (TO)	2420.64	1000.05	1776612
manol-pipe-c10nid_i.cnf	? (TO)	2434.3	1000.19	1776957
APPLICATIONS/ c32sat/post-c32s-ss-8.cnf	? (TO)	2577.69	1000.09	1780137
industrial/anbulagan/ hard-unsat/dated-5-15-u.cnf	? (TO)	2650.3	1000.12	1775712
APPLICATIONS/bitverif/countbitswegner/ countbitswegner064.cnf	? (TO)	2668.53	1000.07	1779057
manol-pipe-c10nidw.cnf	? (TO)	2822.6	1000.29	1776792
industrial/anbulagan/ hard-unsat/dated-5-19-u.cnf	? (TO)	2967.36	1000.15	1775757
APPLICATIONS/bitverif/ smulo/smulo128.cnf	? (TO)	3042.22	1000.18	1778997
industrial/anbulagan/ hard-unsat/dated-5-17-u.cnf	? (TO)	3152.46	1000.12	1775742
simon-s02b-k2f-gr-rcs-w8.cnf	? (TO)	3221.82	1000.1	1781502
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	? (TO)	3263.27	1000.18	1780242
industrial/palacios/hard/ safe-30-h29-unsat.cnf	? (TO)	3321.32	1000.14	1775997
industrial/fuhs/hard/ AProVE07-26.cnf	? (TO)	3448.06	1000.07	1775922
manol-pipe-f10ni.cnf	? (TO)	3450.93	1000.28	1781457
APPLICATIONS/bioinfo/ q_query_3_L100_coli.sat.cnf	? (TO)	3466.42	1000.24	1780302
APPLICATIONS/bitverif/ mulhs/mulhs032.cnf	? (TO)	3581.42	1000.07	1778967
manol-pipe-f9b.cnf	? (TO)	3700.06	1000.17	1776762
manol-pipe-f9n.cnf	? (TO)	3728.25	1000.17	1781427
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	3856.47	1000.13	1775817
APPLICATIONS/crypto/ desgen/gss-23-s100.cnf	? (TO)	3886.7	1000.06	1779507
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	3938.49	1000.07	1780917
APPLICATIONS/crypto/ desgen/gss-20-s100.cnf	? (TO)	3966.6	1000.05	1779432
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	? (TO)	4097.42	1000.06	1779597
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	4110.69	1000.06	1779387
APPLICATIONS/crypto/ desgen/gss-24-s100.cnf	? (TO)	4163.43	1000.06	1779552
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	4181.73	1000.05	1779537
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_08_UNSAT.cnf	? (TO)	4219.95	1000.06	1780767
APPLICATIONS/bitverif/ countbitssrl/countbitssrl032.cnf	? (TO)	4392.61	1000.06	1778907
APPLICATIONS/bitverif/ countbitssrl/countbitssrl128.cnf	? (TO)	4422.19	1000.24	1778922
APPLICATIONS/crypto/ desgen/gss-25-s100.cnf	? (TO)	4463.06	1000.06	1779582
APPLICATIONS/crypto/ desgen/gss-26-s100.cnf	? (TO)	4643.62	1000.06	1779417
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	5006.28	1000.2	1775622
industrial/fuhs/medium/ AProVE07-09.cnf	? (TO)	5643.41	1000.1	1775847
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	5666.04	1000.11	1775967
industrial/anbulagan/ medium-unsat/total-10-13-u.cnf	? (TO)	5902.21	1000.15	1775502
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	6132.23	1000.08	1781022
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	6158.71	1000.06	1779402
APPLICATIONS/crypto/ md5gen/gus-md5-10.cnf	? (TO)	6272.39	1000.08	1779207
APPLICATIONS/crypto/ md5gen/gus-md5-16.cnf	? (TO)	6340.22	1000.1	1779192
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	6474.88	1000.07	1781127
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	? (TO)	6522.33	1000.15	1780092
APPLICATIONS/crypto/ md5gen/gus-md5-14.cnf	? (TO)	6689.05	1000.1	1779237
industrial/anbulagan/ hard-unsat/total-10-19-u.cnf	? (TO)	6711.55	1000.23	1775727
industrial/anbulagan/ hard-unsat/dated-10-19-u.cnf	? (TO)	6775.51	1000.19	1775682
APPLICATIONS/crypto/ md5gen/gus-md5-15.cnf	? (TO)	6851.65	1000.11	1779177
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	6877.56	1000.09	1779297
APPLICATIONS/crypto/ desgen/gss-28-s100.cnf	? (TO)	7759.56	1000.06	1779567
APPLICATIONS/aprove09/ AProVE09-20.cnf	? (TO)	8129.08	1000.08	1779642
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_09_UNSAT.cnf	? (TO)	8710.76	1000.1	1781082
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	8712.6	1000.23	1778832
industrial/palacios/hard/ sortnet-8-ipc5-h18-unsat.cnf	? (TO)	9376.07	1000.23	1775952
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	9585.75	1000.25	1776012
industrial/anbulagan/ hard-unsat/total-5-17-u.cnf	? (TO)	9599.44	1000.2	1775772
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_10_UNKNOWN.cnf	? (TO)	10000.5	726.095	1781157
industrial/anbulagan/ hard-unsat/total-5-15-u.cnf	? (TO)	10000.6	929.073	1775652
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_12_UNKNOWN.cnf	? (TO)	10000.6	728.417	1780977
APPLICATIONS/diagnosis/ UR-15-10p0.cnf	? (TO)	10000.8	919.616	1780692
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_11_UNKNOWN.cnf	? (TO)	10000.8	713.103	1781187
APPLICATIONS/crypto/ desgen/gss-34-s100.cnf	? (TO)	10000.9	684.66	1779477
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_12_UNSAT.cnf	? (TO)	10000.9	715.231	1780812
industrial/grieu/ vmpc_30.cnf	? (TO)	10001	848.222	1776312
APPLICATIONS/crypto/ desgen/gss-33-s100.cnf	? (TO)	10001.1	686.761	1779492
industrial/grieu/ vmpc_29.cnf	? (TO)	10001.1	838.505	1776357
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_11_UNKNOWN.cnf	? (TO)	10001.1	752.697	1780752
APPLICATIONS/bitverif/ maxxororand/maxxororand032.cnf	? (TO)	10001.1	804.333	1779042
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_14_UNKNOWN.cnf	? (TO)	10001.1	688.848	1781112
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_13_UNKNOWN.cnf	? (TO)	10001.2	716.939	1781142
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_13_UNKNOWN.cnf	? (TO)	10001.3	689.234	1780887
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_14_UNSAT.cnf	? (TO)	10001.3	700.157	1780842
industrial/palacios/medium/ cube-11-h14-sat.cnf	? (TO)	10001.3	856.214	1776117
industrial/grieu/ vmpc_33.cnf	? (TO)	10001.3	746.448	1776327
APPLICATIONS/crypto/ desgen/gss-31-s100.cnf	? (TO)	10001.4	689.359	1779327
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_13_UNSAT.cnf	? (TO)	10001.4	712.24	1781007
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_10_UNSAT.cnf	? (TO)	10001.5	728.702	1780932
APPLICATIONS/crypto/ desgen/gss-32-s100.cnf	? (TO)	10001.5	684.559	1779357
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_12_UNKNOWN.cnf	? (TO)	10001.6	715.513	1781067
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_11_UNSAT.cnf	? (TO)	10001.6	707.217	1780857
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	10001.7	743.742	1778877
industrial/grieu/ vmpc_34.cnf	? (TO)	10001.7	729.956	1776387
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_15_UNKNOWN.cnf	? (TO)	10001.8	693.282	1780902
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_10_UNKNOWN.cnf	? (TO)	10001.8	786.501	1780782
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate128.cnf	? (TO)	10002	699.712	1778847

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	? (MO)	15.221	1.72399	1776582
velev-pipe-sat-1.0-b7.cnf	? (MO)	24.8536	2.35822	1781202
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf	? (MO)	25.4416	2.40035	1776462
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf	? (MO)	26.1736	2.47271	1776537
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf	? (MO)	26.2336	2.41078	1776597
velev-pipe-sat-1.0-b10.cnf	? (MO)	38.8824	3.25941	1781247
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	? (MO)	47.539	3.7668	1780107
APPLICATIONS/bioinfo/ q_query_2_L324_coli.cnf	? (MO)	52.8193	12.9377	1780287
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf	? (MO)	53.6954	11.9163	1776492
industrial/narain/ clauses-8.cnf	? (MO)	56.4235	8.29093	1776417
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r3-noholes.cnf	? (MO)	58.5877	13.9235	1780182
velev-vliw-uns-4.0-9-i1.cnf	? (MO)	59.6117	13.3376	1776687
industrial/palacios/hard/ safe-50-h49-unsat.cnf	? (MO)	62.1799	15.0718	1775982
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	? (MO)	66.5002	14.8561	1780212
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf	? (MO)	67.7482	16.3309	1776477
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (MO)	70.5524	7.97767	1776552
schup-l2s-bc56s-1-k391.cnf	? (MO)	79.1089	16.3722	1776747
schup-l2s-motst-2-k315.cnf	? (MO)	83.2052	17.589	1776777
APPLICATIONS/bioinfo/ q_query_3_L200_coli.sat.cnf	? (MO)	118.139	15.6145	1780272
velev-pipe-uns-1.0-8.cnf	? (MO)	630.287	95.818	1781562
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf	? (MO)	859.134	199.432	1776522
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf	? (MO)	1140.59	292.509	1776567
velev-vliw-uns-4.0-9C1.cnf	? (MO)	1142.46	322.738	1781382
velev-pipe-o-uns-1.0-7.cnf	? (MO)	1466.76	295.095	1781412
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r2-noholes.cnf	? (MO)	1723.84	717.137	1780062
APPLICATIONS/c32sat/ post-cbmc-aes-d-r2-noholes.cnf	? (MO)	1809.23	711.141	1780077
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf	? (MO)	2458.4	341.203	1776507
industrial/anbulagan/ hard-unsat/partial-10-19-u.cnf	? (MO)	2524.74	393.134	1775832
APPLICATIONS/diagnosis/ ACG-20-10p1.cnf	? (MO)	3214.45	413.662	1780467
industrial/anbulagan/ hard-unsat/partial-10-13-u.cnf	? (MO)	3449.06	308.721	1775697
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (MO)	3553.56	334.535	1775577
APPLICATIONS/diagnosis/ ACG-20-10p0.cnf	? (MO)	3584.85	437.356	1780377
industrial/anbulagan/ hard-unsat/partial-5-13-u.cnf	? (MO)	3647.67	374.807	1775667
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (MO)	3773.88	317.201	1778787
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	? (MO)	3933.12	440.633	1775562
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (MO)	3992.55	337.199	1775802
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	? (MO)	4260.83	589.04	1780617
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	? (MO)	4385.19	604.05	1780707
industrial/anbulagan/ hard-unsat/partial-5-15-u.cnf	? (MO)	4461.71	467.222	1775787
industrial/anbulagan/ medium-sat/partial-5-15-s.cnf	? (MO)	4503.09	467.525	1775607
industrial/anbulagan/ hard-sat/partial-5-17-s.cnf	? (MO)	4597.78	530.354	1775547
industrial/anbulagan/ hard-unsat/partial-5-17-u.cnf	? (MO)	4649.61	501.128	1775637
APPLICATIONS/diagnosis/ UTI-15-10p1.cnf	? (MO)	4654.73	762.228	1780317
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (MO)	4933.52	588.342	1780722
APPLICATIONS/diagnosis/ UTI-20-5p0.cnf	? (MO)	5254.8	863.332	1780347
APPLICATIONS/diagnosis/ ACG-20-5p1.cnf	? (MO)	5266.01	631.243	1780557
APPLICATIONS/diagnosis/ UTI-20-5p1.cnf	? (MO)	5331.81	832.436	1780602
APPLICATIONS/diagnosis/ UCG-20-10p1.cnf	? (MO)	5353.59	599.66	1780587
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (MO)	5505.58	757.627	1779147
APPLICATIONS/bitverif/ minxorminand/minxorminand064.cnf	? (MO)	5559.42	409.884	1778757
APPLICATIONS/bitverif/ maxxororand/maxxororand128.cnf	? (MO)	5842.2	934.472	1779027
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (MO)	5944.84	744.529	1779087
APPLICATIONS/diagnosis/ ACG-15-10p1.cnf	? (MO)	6715.09	643.124	1780527
APPLICATIONS/diagnosis/ UR-20-5p1.cnf	? (MO)	6856.34	778.336	1780512
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (MO)	7236.61	658.497	1779162
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_17_UNKNOWN.cnf	? (MO)	7709.88	537.479	1780827
APPLICATIONS/diagnosis/ UR-15-10p1.cnf	? (MO)	8357.85	805.331	1780422
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_16_UNKNOWN.cnf	? (MO)	8571.59	601.18	1781097
APPLICATIONS/diagnosis/ UR-20-5p0.cnf	? (MO)	8590.31	906.444	1780497
APPLICATIONS/ bitverif/minxor/minxor128.cnf	? (MO)	8745.41	963.394	1778802

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/aprove09/ AProVE09-08.cnf	No Cert.	3.81624	1.37301	1779822
APPLICATIONS/aprove09/ AProVE09-13.cnf	No Cert.	5.14832	2.59825	1779717
APPLICATIONS/aprove09/ AProVE09-22.cnf	No Cert.	7.56047	4.74769	1779762
APPLICATIONS/aprove09/ AProVE09-19.cnf	No Cert.	11.3687	2.97237	1779867
APPLICATIONS/aprove09/ AProVE09-05.cnf	No Cert.	12.7328	7.69068	1779672
APPLICATIONS/aprove09/ AProVE09-11.cnf	No Cert.	16.8371	9.17542	1779852
APPLICATIONS/aprove09/ AProVE09-03.cnf	No Cert.	20.3853	6.91568	1779807
APPLICATIONS/aprove09/ AProVE09-12.cnf	No Cert.	26.6577	11.6974	1779732
APPLICATIONS/aprove09/ AProVE09-01.cnf	No Cert.	35.5702	10.7237	1779747
APPLICATIONS/aprove09/ AProVE09-24.cnf	No Cert.	106.483	63.3743	1779657
APPLICATIONS/crypto/ desgen/gss-13-s100.cnf	No Cert.	161.286	29.9305	1779522
APPLICATIONS/bioinfo/ q_query_3_l43_lambda.cnf	No Cert.	914.217	628.16	1779957

SAT 2009 Competition: multithread track: benchmarks results per solver

Result page for solver satake 2009-03-22 (16 threads) (complete)

Category "applications instances" (APPLICATION)

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

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

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

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

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

Solver answered SATISFIABLE but gave no complete certificate (12 runs) [Show/Hide]