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	0.26	0.257193	1776427
APPLICATIONS/bitverif/ minor/minor032.cnf	UNSAT	1.07	0.392164	1778737
manol-pipe-g6bi.cnf	UNSAT	1.33	0.731487	1781362
een-tip-uns-nusmv-t5.B.cnf	UNSAT	2.18	1.51868	1781257
hoons-vbmc-lucky7.cnf	UNSAT	3.01	0.928925	1776727
cmu-bmc-barrel6.cnf	UNSAT	4.2	1.14354	1776637
manol-pipe-c9.cnf	UNSAT	5.19	2.07647	1781542
industrial/babic/hsatv17/ hsat_vc11803.cnf	UNSAT	6.22	6.21879	1776187
APPLICATIONS/bitverif/ countbitssrl/countbitssrl016.cnf	UNSAT	8.3	2.17808	1778932
manol-pipe-g7nidw.cnf	UNSAT	8.4	3.94068	1781527
industrial/babic/hsatv17/ hsat_vc11813.cnf	UNSAT	8.68	8.67575	1776172
APPLICATIONS/ bitverif/maxand/maxand064.cnf	UNSAT	8.94	2.77675	1779067
APPLICATIONS/crypto/ md5gen/gus-md5-04.cnf	UNSAT	9.43	3.53498	1779277
APPLICATIONS/bitverif/ minor/minor064.cnf	UNSAT	10.97	3.33004	1778722
industrial/palacios/uts/ uts-l05-ipc5-h26-unsat.cnf	UNSAT	14.86	8.14028	1776037
APPLICATIONS/bitverif/ minxorminand/minxorminand032.cnf	UNSAT	16.25	4.3452	1778767
APPLICATIONS/bitverif/ smulo/smulo016.cnf	UNSAT	18.9	4.855	1778977
APPLICATIONS/bitverif/ minandmaxor/minandmaxor032.cnf	UNSAT	19	5.12288	1778812
industrial/palacios/uts/ uts-l06-ipc5-h28-unknown.cnf	UNSAT	19.93	13.1006	1776097
APPLICATIONS/bitverif/ icbrt/icbrt1_32.cnf	UNSAT	20.26	5.30231	1779007
APPLICATIONS/crypto/ md5gen/gus-md5-05.cnf	UNSAT	20.68	7.14152	1779262
industrial/palacios/uts/ uts-l05-ipc5-h27-unknown.cnf	UNSAT	24.26	10.8878	1776082
simon-s03-fifo8-300.cnf	UNSAT	25.25	9.11179	1781482
schup-l2s-abp4-1-k31.cnf	UNSAT	26.99	7.13008	1776652
cmu-bmc-longmult15.cnf	UNSAT	27.81	8.45127	1776922
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf	UNSAT	29.67	7.48207	1776262
velev-engi-uns-1.0-4nd.cnf	UNSAT	30.41	8.02702	1776802
industrial/anbulagan/ medium-unsat/total-5-11-u.cnf	UNSAT	32.4	11.71	1775512
APPLICATIONS/ bitverif/minand/minand128.cnf	UNSAT	33.51	11.5911	1778887
industrial/palacios/medium/ blocks-4-ipc5-h22-unknown.cnf	UNSAT	38.5	20.4415	1776157
industrial/palacios/uts/ uts-l06-ipc5-h31-unknown.cnf	UNSAT	39.04	19.9818	1776067
velev-live-uns-2.0-ebuf.cnf	UNSAT	40.74	11.3759	1781347
manol-pipe-g10id.cnf	UNSAT	41.46	13.0632	1781302
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate016.cnf	UNSAT	44.31	11.2288	1778857
APPLICATIONS/diagnosis/ UCG-10-5p0.cnf	UNSAT	46.86	14.4853	1780327
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_06_UNSAT.cnf	UNSAT	53.29	13.6668	1781167
APPLICATIONS/crypto/ md5gen/gus-md5-06.cnf	UNSAT	55.42	18.4134	1779247
APPLICATIONS/c32sat/ post-cbmc-aes-ele-noholes.cnf	UNSAT	60.19	39.3972	1780147
manol-pipe-c10nidw_s.cnf	UNSAT	66.36	23.9194	1781212
APPLICATIONS/diagnosis/ UR-10-5p0.cnf	UNSAT	66.59	22.402	1780432
manol-pipe-c6bidw_i.cnf	UNSAT	72.9	19.9725	1776847
APPLICATIONS/bioinfo/ q_query_2_L324_coli.cnf	UNSAT	74.15	72.964	1780282
manol-pipe-c6nidw_i.cnf	UNSAT	78.18	21.2146	1781572
APPLICATIONS/diagnosis/ ACG-10-5p0.cnf	UNSAT	79.29	22.9164	1780387
industrial/anbulagan/ medium-unsat/total-5-13-u.cnf	UNSAT	87.89	26.1689	1775527
manol-pipe-g10nid.cnf	UNSAT	106.54	30.4288	1776817
industrial/palacios/uts/ uts-l06-ipc5-h33-unknown.cnf	UNSAT	115.06	40.7239	1776052
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf	UNSAT	135.64	34.1925	1776232
APPLICATIONS/bitverif/ minxorminand/minxorminand064.cnf	UNSAT	136.35	35.5129	1778752
simon-s02b-dp11u10.cnf	UNSAT	137.76	34.7551	1781392
manol-pipe-c7bidw_i.cnf	UNSAT	161.14	42.732	1781512
APPLICATIONS/crypto/ md5gen/gus-md5-07.cnf	UNSAT	174.98	44.963	1779307
goldb-heqc-term1mul.cnf	UNSAT	183.03	46.067	1781332
manol-pipe-c7nidw.cnf	UNSAT	190.25	50.5387	1781287
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	UNSAT	195.78	53.919	1780537
manol-pipe-g10bidw.cnf	UNSAT	207.96	56.2062	1781227
APPLICATIONS/diagnosis/ UTI-10-10p0.cnf	UNSAT	232.26	61.524	1780642
manol-pipe-f9n.cnf	UNSAT	271.85	71.2056	1781422
schup-l2s-guid-1-k56.cnf	UNSAT	278.84	71.8112	1781467
manol-pipe-f9b.cnf	UNSAT	292.15	76.2276	1776757
APPLICATIONS/c32sat/ post-c32s-col400-16.cnf	UNSAT	309.66	81.5409	1780117
goldb-heqc-alu4mul.cnf	UNSAT	310.42	77.9868	1776982
goldb-heqc-i10mul.cnf	UNSAT	319.52	80.9449	1781272
velev-pipe-o-uns-1.1-6.cnf	UNSAT	336.36	85.7278	1781317
APPLICATIONS/bioinfo/ q_query_3_l45_lambda.cnf	UNSAT	345.2	87.215	1780042
APPLICATIONS/bitverif/countbitswegner/ countbitswegner064.cnf	UNSAT	369.55	93.4318	1779052
APPLICATIONS/diagnosis/ UR-15-5p0.cnf	UNSAT	371.07	97.8659	1780672
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	UNSAT	372.41	94.1941	1779922
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	UNSAT	375.37	96.8469	1780087
industrial/palacios/ medium/emptyroom-4-h21-unsat.cnf	UNSAT	383.27	129.564	1776142
APPLICATIONS/bioinfo/ q_query_3_l47_lambda.cnf	UNSAT	402.52	102.31	1779997
APPLICATIONS/bioinfo/ q_query_3_l48_lambda.cnf	UNSAT	417.27	105.51	1780012
APPLICATIONS/bioinfo/ q_query_3_l44_lambda.cnf	UNSAT	443.24	150.491	1779907
industrial/anbulagan/ hard-unsat/dated-5-15-u.cnf	UNSAT	451.38	116.987	1775707
industrial/fuhs/medium/ AProVE07-16.cnf	UNSAT	451.51	115.076	1775857
manol-pipe-f10ni.cnf	UNSAT	513.47	134.994	1781452
APPLICATIONS/diagnosis/ UTI-15-10p0.cnf	UNSAT	548.4	142.523	1780567
APPLICATIONS/bioinfo/ q_query_3_L90_coli.sat.cnf	UNSAT	561.71	153.241	1780222
APPLICATIONS/bioinfo/ q_query_3_L80_coli.sat.cnf	UNSAT	608.4	162.753	1780192
industrial/fuhs/medium/ AProVE07-09.cnf	UNSAT	628.46	161.9	1775842
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf	UNSAT	658.28	182.292	1776442
APPLICATIONS/ bitverif/minxor/minxor128.cnf	UNSAT	693.68	177.192	1778797
APPLICATIONS/bioinfo/ q_query_3_L100_coli.sat.cnf	UNSAT	742.62	200.999	1780297
APPLICATIONS/c32sat/ post-cbmc-aes-d-r2-noholes.cnf	UNSAT	760.5	213.74	1780072
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r2-noholes.cnf	UNSAT	798.45	223.125	1780057
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_07_UNSAT.cnf	UNSAT	805.72	202.264	1781047
industrial/anbulagan/ hard-unsat/dated-5-17-u.cnf	UNSAT	830.37	213.549	1775737
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	UNSAT	862.84	246.485	1780207
APPLICATIONS/bitverif/countbitsarray/ countbitsarray02_32.cnf	UNSAT	917.62	230.673	1779097
manol-pipe-c10nid_i.cnf	UNSAT	920.78	311.12	1776952
industrial/palacios/medium/ cube-11-h13-unsat.cnf	UNSAT	961.16	253.645	1776127
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_07_UNSAT.cnf	UNSAT	990.39	249.155	1780987
velev-pipe-o-uns-1.0-7.cnf	UNSAT	1063.06	356.819	1781407
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf	UNSAT	1074.69	358.93	1776277
APPLICATIONS/bioinfo/ q_query_3_L200_coli.sat.cnf	UNSAT	1125.8	333.28	1780267
APPLICATIONS/diagnosis/ UTI-15-5p0.cnf	UNSAT	1182.43	301.155	1780447
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	UNSAT	1275.97	325.489	1780627
APPLICATIONS/bitverif/ maxxororand/maxxororand032.cnf	UNSAT	1301.56	327.014	1779037
industrial/fuhs/hard/ AProVE07-08.cnf	UNSAT	1368.24	343.12	1775887
manol-pipe-c10nidw.cnf	UNSAT	1429.98	365.947	1776787
APPLICATIONS/ c32sat/post-c32s-ss-8.cnf	UNSAT	1485.84	373.772	1780132
APPLICATIONS/diagnosis/ ACG-15-10p0.cnf	UNSAT	1554.58	396.051	1780357
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf	UNSAT	1791.24	453.637	1776502
schup-l2s-bc56s-1-k391.cnf	UNSAT	1876.42	481.189	1776742
APPLICATIONS/crypto/ md5gen/gus-md5-09.cnf	UNSAT	1934.91	486.048	1779217
industrial/fuhs/hard/ AProVE07-27.cnf	UNSAT	2092.46	524.786	1775932
velev-vliw-uns-4.0-9C1.cnf	UNSAT	2155.42	553.196	1781377
velev-pipe-uns-1.0-8.cnf	UNSAT	2160.54	547.924	1781557
APPLICATIONS/diagnosis/ UR-15-10p0.cnf	UNSAT	2191.08	554.692	1780687
APPLICATIONS/bitverif/ countbitssrl/countbitssrl032.cnf	UNSAT	2366.64	594.308	1778902
industrial/anbulagan/ medium-unsat/total-10-13-u.cnf	UNSAT	2395.67	606.382	1775497
goldb-heqc-dalumul.cnf	UNSAT	2490.04	629.943	1776892
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	UNSAT	2695.6	685.077	1778782
APPLICATIONS/diagnosis/ UR-20-5p0.cnf	UNSAT	2809.51	710.845	1780492
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r3-noholes.cnf	UNSAT	2983.48	790.896	1780177
APPLICATIONS/diagnosis/ UTI-20-5p0.cnf	UNSAT	3911.76	987.039	1780342

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
een-tip-sat-texas-tp-5e.cnf	SAT	0.31	0.27309	1776967
APPLICATIONS/aprove09/ AProVE09-13.cnf	SAT	0.43	0.330063	1779712
APPLICATIONS/aprove09/ AProVE09-08.cnf	SAT	0.67	0.428299	1779817
APPLICATIONS/aprove09/ AProVE09-22.cnf	SAT	1.08	0.615691	1779757
APPLICATIONS/aprove09/ AProVE09-11.cnf	SAT	1.21	0.835877	1779847
APPLICATIONS/aprove09/ AProVE09-07.cnf	SAT	1.38	0.780985	1779787
APPLICATIONS/aprove09/ AProVE09-25.cnf	SAT	1.62	1.21448	1779697
APPLICATIONS/aprove09/ AProVE09-12.cnf	SAT	1.85	1.20911	1779727
APPLICATIONS/aprove09/ AProVE09-01.cnf	SAT	1.93	1.80408	1779742
APPLICATIONS/aprove09/ AProVE09-03.cnf	SAT	2.27	1.75137	1779802
APPLICATIONS/aprove09/ AProVE09-21.cnf	SAT	2.52	1.33492	1779682
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_17_SAT.cnf	SAT	2.87	2.51475	1780957
APPLICATIONS/aprove09/ AProVE09-19.cnf	SAT	3.3	1.57168	1779862
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_14_SAT.cnf	SAT	4.31	2.0808	1780867
APPLICATIONS/aprove09/ AProVE09-10.cnf	SAT	5.17	3.11413	1779832
APPLICATIONS/aprove09/ AProVE09-05.cnf	SAT	5.27	1.82043	1779667
APPLICATIONS/bioinfo/ q_query_3_l37_lambda.cnf	SAT	5.58	2.0089	1779937
APPLICATIONS/aprove09/ AProVE09-17.cnf	SAT	8.44	2.94883	1779622
APPLICATIONS/aprove09/ AProVE09-15.cnf	SAT	10.04	4.81213	1779772
APPLICATIONS/aprove09/ AProVE09-24.cnf	SAT	10.34	4.02443	1779652
APPLICATIONS/bioinfo/ q_query_3_l38_lambda.cnf	SAT	10.37	3.21347	1780027
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_22_SAT.cnf	SAT	15.32	10.3413	1780792
APPLICATIONS/bioinfo/ q_query_3_l39_lambda.cnf	SAT	17.77	5.2142	1779982
industrial/grieu/ vmpc_24.cnf	SAT	28.88	7.42229	1776337
industrial/palacios/uts/ uts-l06-ipc5-h35-unknown.cnf	SAT	29.21	21.4702	1776022
APPLICATIONS/bioinfo/ q_query_3_l41_lambda.cnf	SAT	33.89	9.17196	1779967
APPLICATIONS/bioinfo/ q_query_3_l42_lambda.cnf	SAT	34.4	9.34452	1779892
APPLICATIONS/crypto/ desgen/gss-13-s100.cnf	SAT	38.65	10.6458	1779517
APPLICATIONS/bioinfo/ q_query_3_l40_lambda.cnf	SAT	41.6	11.1036	1779877
APPLICATIONS/diagnosis/ UR-10-5p1.cnf	SAT	51.67	15.9104	1780402
industrial/grieu/ vmpc_25.cnf	SAT	52.35	13.2932	1776292
industrial/grieu/ vmpc_28.cnf	SAT	59.91	15.3484	1776367
APPLICATIONS/bioinfo/ q_query_3_l43_lambda.cnf	SAT	61.85	16.229	1779952
APPLICATIONS/aprove09/ AProVE09-06.cnf	SAT	71.33	19.8409	1779607
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	SAT	77.98	20.5195	1779442
APPLICATIONS/aprove09/ AProVE09-20.cnf	SAT	87.21	22.7097	1779637
schup-l2s-motst-2-k315.cnf	SAT	100.79	35.7831	1776772
APPLICATIONS/bioinfo/ q_query_3_L60_coli.sat.cnf	SAT	105.64	33.1444	1780252
simon-s03-w08-15.cnf	SAT	145.19	40.9818	1776697
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_21_SAT.cnf	SAT	147.55	55.0688	1780942
APPLICATIONS/crypto/ desgen/gss-15-s100.cnf	SAT	175.09	44.9818	1779457
industrial/grieu/ vmpc_26.cnf	SAT	211.42	53.1569	1776397
APPLICATIONS/crypto/ desgen/gss-17-s100.cnf	SAT	214.63	54.6924	1779337
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	SAT	220.6	63.8877	1780237
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	SAT	222.15	56.6493	1779367
APPLICATIONS/c32sat/ post-c32s-gcdm16-22.cnf	SAT	305.44	79.6307	1780162
industrial/anbulagan/ medium-sat/partial-5-13-s.cnf	SAT	421.41	110.446	1775587
APPLICATIONS/diagnosis/ UTI-15-5p1.cnf	SAT	631.96	163.527	1780732
industrial/anbulagan/ medium-sat/partial-5-15-s.cnf	SAT	798.73	206.053	1775602
APPLICATIONS/diagnosis/ UTI-15-10p1.cnf	SAT	808.97	208.168	1780312
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	SAT	814.98	211.407	1780657
mizh-sha0-35-3.cnf	SAT	908.07	228.68	1776937
mizh-sha0-36-4.cnf	SAT	1215.85	306.178	1776832
mizh-md5-47-3.cnf	SAT	1272.69	426.51	1776622
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	SAT	1357.99	346.193	1780477
industrial/grieu/ vmpc_33.cnf	SAT	1393.15	349.62	1776322
industrial/anbulagan/ hard-sat/partial-5-17-s.cnf	SAT	1541.16	393.221	1775542
mizh-md5-47-4.cnf	SAT	1814.48	456.159	1776907
industrial/palacios/medium/ cube-11-h14-sat.cnf	SAT	2141.57	552.228	1776112
industrial/grieu/ vmpc_30.cnf	SAT	2231.34	559.588	1776307
APPLICATIONS/diagnosis/ ACG-20-5p1.cnf	SAT	2269.19	577.162	1780552
mizh-md5-48-5.cnf	SAT	2530.31	635.757	1776997
APPLICATIONS/diagnosis/ ACG-15-10p1.cnf	SAT	2938.6	988.089	1780522
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	SAT	3268.81	820.35	1779592
APPLICATIONS/diagnosis/ UTI-20-5p1.cnf	SAT	3649.25	921.816	1780597

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	2967.44	1000.06	1778827
APPLICATIONS/diagnosis/ ACG-20-10p1.cnf	? (TO)	2982.2	1000.05	1780462
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_15_UNKNOWN.cnf	? (TO)	2983.79	1000.04	1780897
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_11_UNKNOWN.cnf	? (TO)	2992.27	1000.03	1780747
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_14_UNKNOWN.cnf	? (TO)	2999.55	1000.05	1781107
vange-col-abb313GPIA-9-c.cnf	? (TO)	3005.39	1000.05	1776862
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	3013.51	1000.04	1779157
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	3020.36	1000.04	1779532
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	3044.83	1000.06	1775962
industrial/anbulagan/ hard-unsat/total-5-17-u.cnf	? (TO)	3053.76	1000.04	1775767
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_12_UNKNOWN.cnf	? (TO)	3069.86	1000.04	1781062
APPLICATIONS/bitverif/ maxxororand/maxxororand128.cnf	? (TO)	3248.32	1000.04	1779022
APPLICATIONS/crypto/ desgen/gss-32-s100.cnf	? (TO)	3280.09	1000.04	1779352
industrial/palacios/hard/ safe-50-h49-unsat.cnf	? (TO)	3307.95	1000.04	1775977
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	3940.64	1000.05	1776007
industrial/narain/ clauses-8.cnf	? (TO)	3942.19	1000.04	1776412
industrial/palacios/hard/ sortnet-8-ipc5-h18-unsat.cnf	? (TO)	3943.72	1000.04	1775947
industrial/palacios/hard/ safe-30-h29-unsat.cnf	? (TO)	3952.66	1000.04	1775992
APPLICATIONS/diagnosis/ ACG-20-10p0.cnf	? (TO)	3955.51	1000.02	1780372
industrial/anbulagan/ hard-unsat/partial-10-19-u.cnf	? (TO)	3956.51	1000.05	1775827
APPLICATIONS/bitverif/ countbitssrl/countbitssrl128.cnf	? (TO)	3957.25	1000.06	1778917
industrial/anbulagan/ hard-unsat/total-10-19-u.cnf	? (TO)	3957.26	1000.05	1775722
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	? (TO)	3959.5	1000.04	1780702
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	? (TO)	3959.94	1000.03	1780612
APPLICATIONS/diagnosis/ UCG-20-10p1.cnf	? (TO)	3960.37	1000.04	1780582
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (TO)	3961.09	1000.05	1780717
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	3962.53	1000.05	1775617
APPLICATIONS/diagnosis/ UR-20-5p1.cnf	? (TO)	3963.84	1000.05	1780507
industrial/anbulagan/ hard-unsat/partial-5-17-u.cnf	? (TO)	3964.12	1000.04	1775632
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	? (TO)	3964.57	1000.03	1775557
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf	? (TO)	3964.8	1000.06	1776562
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (TO)	3965.45	1000.02	1775572
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	3966.9	1000.06	1779142
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_20_SAT.cnf	? (TO)	3967	1000.06	1781032
APPLICATIONS/diagnosis/ UR-15-10p1.cnf	? (TO)	3967.15	1000.03	1780417
industrial/anbulagan/ hard-unsat/dated-10-19-u.cnf	? (TO)	3967.47	1000.03	1775677
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	3967.72	1000.05	1779082
industrial/anbulagan/ hard-unsat/partial-10-13-u.cnf	? (TO)	3967.73	1000.05	1775692
industrial/anbulagan/ hard-unsat/total-5-15-u.cnf	? (TO)	3968.51	1000.04	1775647
industrial/anbulagan/ hard-unsat/partial-5-15-u.cnf	? (TO)	3968.59	1000.06	1775782
industrial/anbulagan/ hard-unsat/dated-5-19-u.cnf	? (TO)	3969.27	1000.04	1775752
industrial/anbulagan/ hard-unsat/partial-5-13-u.cnf	? (TO)	3973.01	1000.04	1775662
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_17_UNKNOWN.cnf	? (TO)	3974.8	1000.04	1780822
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	3975.32	1000.06	1775797
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_16_UNKNOWN.cnf	? (TO)	3976.14	1000.04	1781092
APPLICATIONS/bitverif/ smulo/smulo128.cnf	? (TO)	3976.94	1000.05	1778992
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	3978.38	1000.05	1775812
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_14_UNSAT.cnf	? (TO)	3979.4	1000.06	1780837
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_13_UNSAT.cnf	? (TO)	3980.08	1000.05	1781002
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate128.cnf	? (TO)	3980.68	1000.02	1778842
APPLICATIONS/bitverif/countbitsarray/ countbitsarray32_32.cnf	? (TO)	3981.26	1000.04	1779127
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_12_UNSAT.cnf	? (TO)	3983.13	1000.05	1780807
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_11_UNSAT.cnf	? (TO)	3984.13	1000.04	1780852
simon-s02b-k2f-gr-rcs-w8.cnf	? (TO)	3984.29	1000.05	1781497
mizh-sha0-36-2.cnf	? (TO)	3984.37	1000.04	1781437
APPLICATIONS/crypto/ desgen/gss-28-s100.cnf	? (TO)	3984.92	1000.05	1779562
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_10_UNSAT.cnf	? (TO)	3984.93	1000.04	1780927
mizh-sha0-36-3.cnf	? (TO)	3985.36	1000.04	1776712
industrial/fuhs/hard/ AProVE07-26.cnf	? (TO)	3985.53	1000.06	1775917
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	3985.76	1000.05	1779292
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_09_UNSAT.cnf	? (TO)	3985.82	1000.04	1781077
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_13_UNKNOWN.cnf	? (TO)	3985.84	1000.06	1780882
APPLICATIONS/crypto/ md5gen/gus-md5-14.cnf	? (TO)	3986.16	1000.05	1779232
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	3986.37	1000.04	1779382
APPLICATIONS/crypto/ desgen/gss-23-s100.cnf	? (TO)	3986.54	1000.04	1779502
APPLICATIONS/bitverif/countbitsarray/ countbitsarray08_32.cnf	? (TO)	3986.61	1000.05	1779112
APPLICATIONS/crypto/ desgen/gss-31-s100.cnf	? (TO)	3986.73	43	1779322
APPLICATIONS/crypto/ desgen/gss-26-s100.cnf	? (TO)	3986.74	1000.04	1779412
APPLICATIONS/crypto/ md5gen/gus-md5-10.cnf	? (TO)	3986.75	1000.04	1779202
APPLICATIONS/crypto/ desgen/gss-34-s100.cnf	? (TO)	3986.79	43	1779472
APPLICATIONS/crypto/ desgen/gss-24-s100.cnf	? (TO)	3986.8	1000.04	1779547
APPLICATIONS/crypto/ md5gen/gus-md5-15.cnf	? (TO)	3986.96	1000.04	1779172
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	3987.06	43	1779397
industrial/grieu/ vmpc_34.cnf	? (TO)	3987.09	1000.03	1776382
APPLICATIONS/crypto/ md5gen/gus-md5-16.cnf	? (TO)	3987.31	1000.04	1779187
APPLICATIONS/crypto/ desgen/gss-20-s100.cnf	? (TO)	3987.36	1000.05	1779427
industrial/fuhs/hard/ AProVE07-25.cnf	? (TO)	3987.95	1000.04	1775902
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_11_UNKNOWN.cnf	? (TO)	3988.02	1000.04	1781182
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	3988.1	1000.05	1781122
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_08_UNSAT.cnf	? (TO)	3988.1	1000.04	1780762
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	3988.15	1000.04	1781017
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	3988.21	1000.06	1780912
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	3988.22	43	1778872
APPLICATIONS/crypto/ desgen/gss-33-s100.cnf	? (TO)	3988.25	1000.04	1779487
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_12_UNKNOWN.cnf	? (TO)	3988.32	1000.04	1780972
goldb-heqc-x1mul.cnf	? (TO)	3988.41	1000.04	1776607
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_10_UNKNOWN.cnf	? (TO)	3988.44	1000.03	1780777
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_13_UNKNOWN.cnf	? (TO)	3988.44	1000.05	1781137
APPLICATIONS/bitverif/ mulhs/mulhs032.cnf	? (TO)	3988.66	1000.03	1778962
industrial/grieu/ vmpc_29.cnf	? (TO)	3989.14	1000.06	1776352
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	3989.31	1000.05	1778947
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	3989.56	1000.04	1775872
APPLICATIONS/crypto/ desgen/gss-25-s100.cnf	? (TO)	3989.89	43	1779577
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_10_UNKNOWN.cnf	? (TO)	3989.89	1000.05	1781152
goldb-heqc-frg1mul.cnf	? (TO)	3990.1	1000.05	1776667
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	3990.11	1000.04	1776202
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf	? (TO)	3990.62	1000.05	1776217
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	3991.31	1000.03	1776247
aloul-chnl11-13.cnf	? (TO)	3991.4	1000.05	1776877

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	? (MO)	11.62	11.6323	1780102
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf	? (MO)	14.12	14.1303	1776457
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	? (MO)	14.3	14.3152	1776577
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf	? (MO)	14.3	14.3269	1776592
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf	? (MO)	855.77	223.955	1776532
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (MO)	1994.52	675.158	1776547
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf	? (MO)	2346.77	806.143	1776487
velev-vliw-uns-4.0-9-i1.cnf	? (MO)	2773.42	720.34	1776682
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf	? (MO)	2777.5	713.349	1776472
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf	? (MO)	3295.93	836.642	1776517

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
velev-pipe-sat-1.0-b10.cnf	? (exit code)	143.9	46.6918	1781242
velev-pipe-sat-1.0-b7.cnf	? (exit code)	175.14	54.5107	1781197

SAT 2009 Competition: multithread track: benchmarks results per solver

Result page for solver ManySAT 1.1 aimd 2/2009-03-20 (4 threads) (complete)

Category "applications instances" (APPLICATION)

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

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

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

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

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