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.256165	1776421
manol-pipe-g6bi.cnf	UNSAT	1.34	0.719884	1781356
APPLICATIONS/bitverif/ minor/minor032.cnf	UNSAT	1.39	0.479068	1778731
een-tip-uns-nusmv-t5.B.cnf	UNSAT	2.28	1.5486	1781251
hoons-vbmc-lucky7.cnf	UNSAT	4.01	1.1884	1776721
manol-pipe-c9.cnf	UNSAT	4.28	1.75735	1781536
cmu-bmc-barrel6.cnf	UNSAT	4.45	1.19242	1776631
industrial/babic/hsatv17/ hsat_vc11803.cnf	UNSAT	6.23	6.2319	1776181
APPLICATIONS/bitverif/ countbitssrl/countbitssrl016.cnf	UNSAT	6.66	1.75933	1778926
APPLICATIONS/crypto/ md5gen/gus-md5-04.cnf	UNSAT	8.15	3.24364	1779271
industrial/babic/hsatv17/ hsat_vc11813.cnf	UNSAT	8.65	8.65327	1776166
APPLICATIONS/ bitverif/maxand/maxand064.cnf	UNSAT	9.06	2.79696	1779061
APPLICATIONS/bitverif/ minor/minor064.cnf	UNSAT	9.53	2.91324	1778716
manol-pipe-g7nidw.cnf	UNSAT	9.99	4.57457	1781521
industrial/palacios/uts/ uts-l05-ipc5-h26-unsat.cnf	UNSAT	14.17	7.98605	1776031
APPLICATIONS/bitverif/ minxorminand/minxorminand032.cnf	UNSAT	15.53	4.17391	1778761
industrial/palacios/uts/ uts-l06-ipc5-h28-unknown.cnf	UNSAT	18.57	12.773	1776091
APPLICATIONS/bitverif/ minandmaxor/minandmaxor032.cnf	UNSAT	19.03	5.09918	1778806
APPLICATIONS/crypto/ md5gen/gus-md5-05.cnf	UNSAT	20.93	6.45463	1779256
APPLICATIONS/bitverif/ icbrt/icbrt1_32.cnf	UNSAT	20.94	5.48107	1779001
industrial/palacios/uts/ uts-l05-ipc5-h27-unknown.cnf	UNSAT	22.26	10.3871	1776076
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf	UNSAT	24.64	6.25127	1776256
APPLICATIONS/bitverif/ smulo/smulo016.cnf	UNSAT	28.91	7.33263	1778971
industrial/anbulagan/ medium-unsat/total-5-11-u.cnf	UNSAT	29.74	11.1582	1775506
simon-s03-fifo8-300.cnf	UNSAT	29.96	10.6988	1781476
schup-l2s-abp4-1-k31.cnf	UNSAT	30.75	8.01231	1776646
cmu-bmc-longmult15.cnf	UNSAT	31.31	7.984	1776916
velev-engi-uns-1.0-4nd.cnf	UNSAT	31.77	8.37421	1776796
industrial/palacios/medium/ blocks-4-ipc5-h22-unknown.cnf	UNSAT	33.51	19.1891	1776151
manol-pipe-g10id.cnf	UNSAT	38.28	12.2489	1781296
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate016.cnf	UNSAT	38.73	9.74243	1778851
APPLICATIONS/ bitverif/minand/minand128.cnf	UNSAT	39.13	12.965	1778881
industrial/palacios/uts/ uts-l06-ipc5-h31-unknown.cnf	UNSAT	39.33	20.219	1776061
velev-live-uns-2.0-ebuf.cnf	UNSAT	42.32	11.8131	1781341
APPLICATIONS/diagnosis/ UCG-10-5p0.cnf	UNSAT	47.01	14.629	1780321
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_06_UNSAT.cnf	UNSAT	60.27	15.4976	1781161
APPLICATIONS/crypto/ md5gen/gus-md5-06.cnf	UNSAT	60.28	16.2722	1779241
manol-pipe-c6bidw_i.cnf	UNSAT	61.95	17.303	1776841
manol-pipe-c10nidw_s.cnf	UNSAT	68.85	24.1681	1781206
manol-pipe-c6nidw_i.cnf	UNSAT	71.8	19.6879	1781566
APPLICATIONS/diagnosis/ UR-10-5p0.cnf	UNSAT	71.89	26.9304	1780426
APPLICATIONS/bioinfo/ q_query_2_L324_coli.cnf	UNSAT	74.44	73.057	1780276
APPLICATIONS/c32sat/ post-cbmc-aes-ele-noholes.cnf	UNSAT	75.84	43.4215	1780141
APPLICATIONS/diagnosis/ ACG-10-5p0.cnf	UNSAT	80.77	23.2391	1780381
industrial/anbulagan/ medium-unsat/total-5-13-u.cnf	UNSAT	103.17	29.9769	1775521
APPLICATIONS/diagnosis/ UTI-10-10p0.cnf	UNSAT	109.84	30.8612	1780636
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf	UNSAT	110.92	27.8739	1776226
industrial/palacios/uts/ uts-l06-ipc5-h33-unknown.cnf	UNSAT	111.55	40.1823	1776046
manol-pipe-g10nid.cnf	UNSAT	117.96	33.5531	1776811
manol-pipe-c7bidw_i.cnf	UNSAT	134.09	35.9071	1781506
APPLICATIONS/crypto/ md5gen/gus-md5-07.cnf	UNSAT	138.97	35.9645	1779301
manol-pipe-g10bidw.cnf	UNSAT	147.5	41.2403	1781221
APPLICATIONS/bitverif/ minxorminand/minxorminand064.cnf	UNSAT	153.61	39.8719	1778746
goldb-heqc-term1mul.cnf	UNSAT	155.33	39.0817	1781326
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	UNSAT	158.67	44.597	1780531
simon-s02b-dp11u10.cnf	UNSAT	173.6	56.1275	1781386
manol-pipe-c7nidw.cnf	UNSAT	175.71	61.5405	1781281
APPLICATIONS/c32sat/ post-c32s-col400-16.cnf	UNSAT	253.21	67.297	1780111
manol-pipe-f9n.cnf	UNSAT	255.56	67.1699	1781416
schup-l2s-guid-1-k56.cnf	UNSAT	258.3	66.8023	1781461
manol-pipe-f9b.cnf	UNSAT	289.95	75.7321	1776751
goldb-heqc-alu4mul.cnf	UNSAT	306.6	77.0852	1776976
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	UNSAT	308.15	80.0303	1780081
APPLICATIONS/bioinfo/ q_query_3_L90_coli.sat.cnf	UNSAT	336.43	96.7214	1780216
goldb-heqc-i10mul.cnf	UNSAT	345.86	87.5216	1781266
APPLICATIONS/diagnosis/ UR-15-5p0.cnf	UNSAT	350.98	122.352	1780666
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf	UNSAT	395.12	102.05	1776436
industrial/palacios/ medium/emptyroom-4-h21-unsat.cnf	UNSAT	398.12	101.078	1776136
velev-pipe-o-uns-1.1-6.cnf	UNSAT	407.94	103.649	1781311
APPLICATIONS/bioinfo/ q_query_3_l47_lambda.cnf	UNSAT	454.37	114.741	1779991
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	UNSAT	468.19	118.129	1779916
APPLICATIONS/bioinfo/ q_query_3_l48_lambda.cnf	UNSAT	473.6	119.533	1780006
APPLICATIONS/diagnosis/ UTI-15-10p0.cnf	UNSAT	477.3	124.708	1780561
APPLICATIONS/bioinfo/ q_query_3_l44_lambda.cnf	UNSAT	545.71	137.724	1779901
manol-pipe-f10ni.cnf	UNSAT	575.51	151.347	1781446
APPLICATIONS/bioinfo/ q_query_3_l45_lambda.cnf	UNSAT	576.15	145.217	1780036
industrial/fuhs/medium/ AProVE07-16.cnf	UNSAT	578.31	146.167	1775851
industrial/anbulagan/ hard-unsat/dated-5-15-u.cnf	UNSAT	597.16	153.462	1775701
APPLICATIONS/ bitverif/minxor/minxor128.cnf	UNSAT	630.94	161.449	1778791
APPLICATIONS/bioinfo/ q_query_3_L100_coli.sat.cnf	UNSAT	634	173.783	1780291
manol-pipe-c10nid_i.cnf	UNSAT	636.42	164.093	1776946
APPLICATIONS/bitverif/countbitswegner/ countbitswegner064.cnf	UNSAT	650.97	163.834	1779046
APPLICATIONS/bioinfo/ q_query_3_L80_coli.sat.cnf	UNSAT	654.97	174.48	1780186
industrial/fuhs/medium/ AProVE07-09.cnf	UNSAT	672.31	170.162	1775836
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_07_UNSAT.cnf	UNSAT	742.11	186.527	1780981
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r2-noholes.cnf	UNSAT	789.68	220.858	1780051
APPLICATIONS/c32sat/ post-cbmc-aes-d-r2-noholes.cnf	UNSAT	798.04	223.013	1780066
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	UNSAT	917.88	260.298	1780201
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf	UNSAT	1083.04	273.999	1776271
APPLICATIONS/bioinfo/ q_query_3_L200_coli.sat.cnf	UNSAT	1088.24	323.979	1780261
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	UNSAT	1126.25	287.593	1780621
APPLICATIONS/ c32sat/post-c32s-ss-8.cnf	UNSAT	1157.5	291.319	1780126
velev-pipe-o-uns-1.0-7.cnf	UNSAT	1209.08	306.055	1781401
schup-l2s-bc56s-1-k391.cnf	UNSAT	1223.24	317.529	1776736
industrial/palacios/medium/ cube-11-h13-unsat.cnf	UNSAT	1265.5	330.42	1776121
manol-pipe-c10nidw.cnf	UNSAT	1275.07	327.046	1776781
industrial/anbulagan/ hard-unsat/dated-5-17-u.cnf	UNSAT	1337.8	348.961	1775731
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_07_UNSAT.cnf	UNSAT	1398.09	453.218	1781041
APPLICATIONS/bitverif/ maxxororand/maxxororand032.cnf	UNSAT	1419.55	356.274	1779031
APPLICATIONS/diagnosis/ UTI-15-5p0.cnf	UNSAT	1467	494.222	1780441
APPLICATIONS/bitverif/countbitsarray/ countbitsarray02_32.cnf	UNSAT	1619.56	410.998	1779091
industrial/fuhs/hard/ AProVE07-08.cnf	UNSAT	1724.35	432.122	1775881
APPLICATIONS/diagnosis/ ACG-15-10p0.cnf	UNSAT	1786.96	454.305	1780351
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf	UNSAT	1978.4	515.562	1776496
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	UNSAT	2002.32	511.185	1778776
goldb-heqc-dalumul.cnf	UNSAT	2022.12	507.197	1776886
velev-vliw-uns-4.0-9C1.cnf	UNSAT	2105.13	541.161	1781371
APPLICATIONS/crypto/ md5gen/gus-md5-09.cnf	UNSAT	2174.94	546.469	1779211
industrial/fuhs/hard/ AProVE07-27.cnf	UNSAT	2303.68	744.356	1775926
velev-pipe-uns-1.0-8.cnf	UNSAT	2313.28	839.472	1781551
APPLICATIONS/diagnosis/ UR-15-10p0.cnf	UNSAT	2378.37	601.665	1780681
APPLICATIONS/diagnosis/ UTI-20-5p0.cnf	UNSAT	2387.37	605.086	1780336
industrial/anbulagan/ medium-unsat/total-10-13-u.cnf	UNSAT	2431.59	615.249	1775491
APPLICATIONS/bitverif/ countbitssrl/countbitssrl032.cnf	UNSAT	2582.17	862.885	1778896
APPLICATIONS/diagnosis/ UR-20-5p0.cnf	UNSAT	2591.27	656.145	1780486
aloul-chnl11-13.cnf	UNSAT	2799.14	701.217	1776871

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
een-tip-sat-texas-tp-5e.cnf	SAT	0.31	0.278123	1776961
APPLICATIONS/aprove09/ AProVE09-13.cnf	SAT	0.57	0.383976	1779706
APPLICATIONS/aprove09/ AProVE09-22.cnf	SAT	0.57	0.402541	1779751
APPLICATIONS/aprove09/ AProVE09-08.cnf	SAT	0.75	0.436353	1779811
APPLICATIONS/aprove09/ AProVE09-11.cnf	SAT	0.94	0.798049	1779841
APPLICATIONS/aprove09/ AProVE09-25.cnf	SAT	1.52	1.19661	1779691
APPLICATIONS/aprove09/ AProVE09-03.cnf	SAT	1.63	1.49781	1779796
APPLICATIONS/aprove09/ AProVE09-01.cnf	SAT	1.94	1.79795	1779736
APPLICATIONS/aprove09/ AProVE09-12.cnf	SAT	2.21	1.46231	1779721
APPLICATIONS/aprove09/ AProVE09-05.cnf	SAT	2.75	1.3518	1779661
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_17_SAT.cnf	SAT	2.94	2.52781	1780951
APPLICATIONS/aprove09/ AProVE09-21.cnf	SAT	3.06	1.48601	1779676
APPLICATIONS/bioinfo/ q_query_3_l37_lambda.cnf	SAT	3.07	1.36306	1779931
APPLICATIONS/aprove09/ AProVE09-07.cnf	SAT	3.15	1.29796	1779781
APPLICATIONS/aprove09/ AProVE09-10.cnf	SAT	3.42	2.67843	1779826
APPLICATIONS/aprove09/ AProVE09-19.cnf	SAT	3.5	1.61836	1779856
APPLICATIONS/aprove09/ AProVE09-24.cnf	SAT	3.91	2.44077	1779646
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_14_SAT.cnf	SAT	4.28	2.05463	1780861
APPLICATIONS/bioinfo/ q_query_3_l38_lambda.cnf	SAT	5.5	2.02097	1780021
APPLICATIONS/crypto/ desgen/gss-17-s100.cnf	SAT	5.89	2.46894	1779331
APPLICATIONS/aprove09/ AProVE09-15.cnf	SAT	9.95	4.68369	1779766
APPLICATIONS/bioinfo/ q_query_3_l39_lambda.cnf	SAT	10.38	3.23739	1779976
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_22_SAT.cnf	SAT	15.4	10.3673	1780786
industrial/grieu/ vmpc_25.cnf	SAT	19.83	5.18781	1776286
APPLICATIONS/aprove09/ AProVE09-17.cnf	SAT	20.25	5.88531	1779616
industrial/grieu/ vmpc_24.cnf	SAT	20.84	5.39831	1776331
APPLICATIONS/bioinfo/ q_query_3_l40_lambda.cnf	SAT	23.04	6.43292	1779871
industrial/anbulagan/ medium-sat/partial-5-13-s.cnf	SAT	30.38	12.4501	1775581
industrial/palacios/uts/ uts-l06-ipc5-h35-unknown.cnf	SAT	37.89	23.7023	1776016
APPLICATIONS/diagnosis/ UR-10-5p1.cnf	SAT	44.25	14.0231	1780396
APPLICATIONS/crypto/ desgen/gss-13-s100.cnf	SAT	52.4	14.0994	1779511
schup-l2s-motst-2-k315.cnf	SAT	52.66	23.6284	1776766
APPLICATIONS/bioinfo/ q_query_3_l41_lambda.cnf	SAT	52.83	13.9239	1779961
industrial/grieu/ vmpc_30.cnf	SAT	56.41	14.4609	1776301
APPLICATIONS/bioinfo/ q_query_3_l42_lambda.cnf	SAT	61.36	16.1733	1779886
APPLICATIONS/bioinfo/ q_query_3_L60_coli.sat.cnf	SAT	69.33	24.2359	1780246
mizh-sha0-36-4.cnf	SAT	72.41	19.3567	1776826
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	SAT	77.15	20.3252	1779361
APPLICATIONS/crypto/ desgen/gss-15-s100.cnf	SAT	95.22	24.8197	1779451
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	SAT	97.03	25.279	1779436
APPLICATIONS/bioinfo/ q_query_3_l43_lambda.cnf	SAT	110.31	28.3856	1779946
industrial/grieu/ vmpc_29.cnf	SAT	113.29	28.6779	1776346
simon-s03-w08-15.cnf	SAT	116.57	33.7995	1776691
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_21_SAT.cnf	SAT	123.08	36.7153	1780936
mizh-sha0-35-3.cnf	SAT	161.24	41.5308	1776931
APPLICATIONS/aprove09/ AProVE09-20.cnf	SAT	196.46	50.1699	1779631
APPLICATIONS/aprove09/ AProVE09-06.cnf	SAT	220.99	57.3224	1779601
industrial/grieu/ vmpc_28.cnf	SAT	245.98	61.9732	1776361
industrial/grieu/ vmpc_26.cnf	SAT	249.31	82.3575	1776391
APPLICATIONS/c32sat/ post-c32s-gcdm16-22.cnf	SAT	292.25	76.2656	1780156
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	SAT	407.84	110.776	1780231
industrial/anbulagan/ medium-sat/partial-5-15-s.cnf	SAT	639.93	166.435	1775596
mizh-md5-47-3.cnf	SAT	644.11	163.125	1776616
APPLICATIONS/diagnosis/ UTI-15-10p1.cnf	SAT	719.72	185.874	1780306
industrial/grieu/ vmpc_33.cnf	SAT	784.34	196.988	1776316
APPLICATIONS/diagnosis/ UTI-15-5p1.cnf	SAT	786.14	202.057	1780726
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	SAT	872.02	225.661	1780651
industrial/anbulagan/ hard-sat/partial-5-17-s.cnf	SAT	1026.24	264.411	1775536
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	SAT	1492.47	380.266	1775566
APPLICATIONS/diagnosis/ UTI-20-5p1.cnf	SAT	1730.76	441.087	1780591
mizh-md5-48-5.cnf	SAT	1747.73	439.719	1776991
APPLICATIONS/diagnosis/ ACG-20-5p1.cnf	SAT	1870.47	477.205	1780546
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	SAT	1973.55	500.363	1780471
industrial/palacios/medium/ cube-11-h14-sat.cnf	SAT	2060.99	532.152	1776106
mizh-md5-47-4.cnf	SAT	2103.1	528.868	1776901
mizh-sha0-36-2.cnf	SAT	2674.31	671.675	1781431
APPLICATIONS/diagnosis/ ACG-15-10p1.cnf	SAT	3009.73	761.171	1780516
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	SAT	3360.06	842.326	1779586
industrial/grieu/ vmpc_34.cnf	SAT	3410.14	855.513	1776376

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r3-noholes.cnf	? (TO)	2879.52	1000.06	1780171
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	? (TO)	2970.07	1000.05	1780606
industrial/narain/ clauses-8.cnf	? (TO)	2974.96	1000.05	1776406
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	? (TO)	2975.21	1000.06	1780696
APPLICATIONS/bitverif/countbitsarray/ countbitsarray32_32.cnf	? (TO)	2991.94	1000.05	1779121
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	2998.36	1000.05	1779286
APPLICATIONS/bitverif/ mulhs/mulhs032.cnf	? (TO)	3016.16	1000.05	1778956
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf	? (TO)	3067.87	1000.04	1776211
APPLICATIONS/crypto/ desgen/gss-33-s100.cnf	? (TO)	3114.48	1000.04	1779481
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_11_UNSAT.cnf	? (TO)	3295.54	1000.05	1780846
industrial/palacios/hard/ safe-50-h49-unsat.cnf	? (TO)	3307.45	1000.05	1775971
industrial/anbulagan/ hard-unsat/total-10-19-u.cnf	? (TO)	3769.33	1000.03	1775716
velev-vliw-uns-4.0-9-i1.cnf	? (TO)	3889.42	1000.04	1776676
APPLICATIONS/bitverif/ maxxororand/maxxororand128.cnf	? (TO)	3936.87	1000.04	1779016
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	3940.94	1000.04	1776001
industrial/palacios/hard/ sortnet-8-ipc5-h18-unsat.cnf	? (TO)	3943.44	1000.04	1775941
industrial/palacios/hard/ safe-30-h29-unsat.cnf	? (TO)	3950.92	1000.04	1775986
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	3954.93	1000.03	1778821
APPLICATIONS/diagnosis/ ACG-20-10p1.cnf	? (TO)	3955.3	1000.04	1780456
APPLICATIONS/diagnosis/ ACG-20-10p0.cnf	? (TO)	3955.75	1000.05	1780366
industrial/anbulagan/ hard-unsat/partial-10-19-u.cnf	? (TO)	3956.21	1000.05	1775821
APPLICATIONS/bitverif/ countbitssrl/countbitssrl128.cnf	? (TO)	3956.56	1000.05	1778911
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (TO)	3959.31	1000.06	1780711
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	3960.07	1000.05	1775611
APPLICATIONS/diagnosis/ UCG-20-10p1.cnf	? (TO)	3960.76	1000.06	1780576
industrial/anbulagan/ hard-unsat/partial-5-17-u.cnf	? (TO)	3962.11	1000.05	1775626
industrial/anbulagan/ hard-unsat/total-5-17-u.cnf	? (TO)	3962.97	1000.03	1775761
APPLICATIONS/diagnosis/ UR-20-5p1.cnf	? (TO)	3963.12	1000.04	1780501
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	? (TO)	3965.27	1000.05	1775551
industrial/anbulagan/ hard-unsat/dated-10-19-u.cnf	? (TO)	3965.93	1000.04	1775671
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	3966.72	1000.06	1779076
industrial/anbulagan/ hard-unsat/partial-10-13-u.cnf	? (TO)	3966.9	1000.03	1775686
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	3968.13	1000.04	1779136
APPLICATIONS/diagnosis/ UR-15-10p1.cnf	? (TO)	3968.24	1000.05	1780411
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_20_SAT.cnf	? (TO)	3969.18	1000.06	1781026
industrial/anbulagan/ hard-unsat/dated-5-19-u.cnf	? (TO)	3969.68	1000.06	1775746
industrial/anbulagan/ hard-unsat/partial-5-15-u.cnf	? (TO)	3969.95	1000.04	1775776
industrial/anbulagan/ hard-unsat/total-5-15-u.cnf	? (TO)	3970.09	1000.05	1775641
industrial/anbulagan/ hard-unsat/partial-5-13-u.cnf	? (TO)	3972.26	1000.04	1775656
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_17_UNKNOWN.cnf	? (TO)	3975.07	1000.04	1780816
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_16_UNKNOWN.cnf	? (TO)	3975.7	1000.05	1781086
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	3976.25	1000.06	1775791
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	3976.54	1000.04	1775806
APPLICATIONS/bitverif/ smulo/smulo128.cnf	? (TO)	3977.25	1000.05	1778986
vange-col-abb313GPIA-9-c.cnf	? (TO)	3978.25	1000.06	1776856
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_15_UNKNOWN.cnf	? (TO)	3979.04	1000.05	1780891
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_14_UNSAT.cnf	? (TO)	3979.31	1000.05	1780831
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	3979.84	1000.04	1775956
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_13_UNSAT.cnf	? (TO)	3981.08	1000.04	1780996
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate128.cnf	? (TO)	3981.23	1000.05	1778836
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_12_UNSAT.cnf	? (TO)	3982.23	1000.05	1780801
APPLICATIONS/crypto/ md5gen/gus-md5-10.cnf	? (TO)	3982.77	1000.05	1779196
APPLICATIONS/crypto/ desgen/gss-28-s100.cnf	? (TO)	3984.35	1000.04	1779556
simon-s02b-k2f-gr-rcs-w8.cnf	? (TO)	3984.36	1000.04	1781491
APPLICATIONS/crypto/ md5gen/gus-md5-16.cnf	? (TO)	3984.39	1000.04	1779181
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_09_UNSAT.cnf	? (TO)	3984.47	1000.05	1781071
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	3984.51	1000.04	1779391
APPLICATIONS/crypto/ desgen/gss-26-s100.cnf	? (TO)	3984.6	1000.04	1779406
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	3984.77	1000.05	1779151
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_10_UNSAT.cnf	? (TO)	3984.93	1000.05	1780921
mizh-sha0-36-3.cnf	? (TO)	3985.62	1000.04	1776706
APPLICATIONS/crypto/ desgen/gss-31-s100.cnf	? (TO)	3985.89	1000.03	1779316
APPLICATIONS/crypto/ desgen/gss-34-s100.cnf	? (TO)	3985.99	1000.05	1779466
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_14_UNKNOWN.cnf	? (TO)	3986.03	1000.04	1781101
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	3986.31	1000.05	1779526
APPLICATIONS/crypto/ md5gen/gus-md5-15.cnf	? (TO)	3986.42	1000.04	1779166
industrial/fuhs/hard/ AProVE07-26.cnf	? (TO)	3986.63	1000.05	1775911
APPLICATIONS/crypto/ desgen/gss-23-s100.cnf	? (TO)	3986.66	1000.04	1779496
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_13_UNKNOWN.cnf	? (TO)	3986.97	1000.04	1780876
goldb-heqc-x1mul.cnf	? (TO)	3987.04	1000.06	1776601
APPLICATIONS/bitverif/countbitsarray/ countbitsarray08_32.cnf	? (TO)	3987.33	1000.05	1779106
APPLICATIONS/crypto/ desgen/gss-32-s100.cnf	? (TO)	3987.38	1000.04	1779346
APPLICATIONS/crypto/ md5gen/gus-md5-14.cnf	? (TO)	3987.64	1000.04	1779226
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	3987.95	1000.04	1779376
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_12_UNKNOWN.cnf	? (TO)	3987.98	1000.05	1780966
industrial/fuhs/hard/ AProVE07-25.cnf	? (TO)	3987.98	1000.05	1775896
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_13_UNKNOWN.cnf	? (TO)	3988.22	1000.05	1781131
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_12_UNKNOWN.cnf	? (TO)	3988.25	1000.04	1781056
APPLICATIONS/crypto/ desgen/gss-25-s100.cnf	? (TO)	3988.47	1000.03	1779571
APPLICATIONS/crypto/ desgen/gss-24-s100.cnf	? (TO)	3988.52	1000.03	1779541
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_10_UNKNOWN.cnf	? (TO)	3988.61	1000.04	1780771
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_11_UNKNOWN.cnf	? (TO)	3988.67	1000.04	1781176
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_10_UNKNOWN.cnf	? (TO)	3988.7	1000.04	1781146
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	3988.97	1000.04	1775866
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_11_UNKNOWN.cnf	? (TO)	3988.99	1000.05	1780741
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_08_UNSAT.cnf	? (TO)	3989.04	1000.05	1780756
APPLICATIONS/crypto/ desgen/gss-20-s100.cnf	? (TO)	3989.22	1000.03	1779421
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	3989.24	1000.04	1778866
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	3989.5	1000.03	1781116
goldb-heqc-frg1mul.cnf	? (TO)	3989.73	43	1776661
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	3989.83	1000.05	1778941
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	3989.9	1000.05	1781011
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	3989.96	1000.04	1780906
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	3990.63	1000.03	1776196
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	3991.18	1000.03	1776241

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	? (MO)	12.14	12.948	1780096
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf	? (MO)	14.11	14.1292	1776451
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf	? (MO)	14.31	14.3239	1776586
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	? (MO)	14.32	14.333	1776571
velev-pipe-sat-1.0-b7.cnf	? (MO)	190.94	58.3597	1781191
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf	? (MO)	890.33	232.537	1776526
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (MO)	1388.54	356.054	1776541
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf	? (MO)	2636.13	688.952	1776481
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf	? (MO)	3301.46	837.833	1776511
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf	? (MO)	3593.13	917.657	1776466
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf	? (MO)	3646.06	919.757	1776556

SAT 2009 Competition: multithread track: benchmarks results per solver

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

Category "applications instances" (APPLICATION)

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

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

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

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

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