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.259867	1776424
APPLICATIONS/bitverif/ minor/minor032.cnf	UNSAT	1.29	0.448231	1778734
manol-pipe-g6bi.cnf	UNSAT	1.51	0.776813	1781359
een-tip-uns-nusmv-t5.B.cnf	UNSAT	2.25	1.54389	1781254
hoons-vbmc-lucky7.cnf	UNSAT	2.9	0.913993	1776724
manol-pipe-c9.cnf	UNSAT	4.81	1.97468	1781539
cmu-bmc-barrel6.cnf	UNSAT	4.85	1.3251	1776634
industrial/babic/hsatv17/ hsat_vc11803.cnf	UNSAT	6.25	6.26292	1776184
APPLICATIONS/bitverif/ countbitssrl/countbitssrl016.cnf	UNSAT	7.26	1.90266	1778929
industrial/babic/hsatv17/ hsat_vc11813.cnf	UNSAT	8.69	8.68926	1776169
manol-pipe-g7nidw.cnf	UNSAT	8.79	4.2489	1781524
APPLICATIONS/crypto/ md5gen/gus-md5-04.cnf	UNSAT	9.13	3.93534	1779274
APPLICATIONS/ bitverif/maxand/maxand064.cnf	UNSAT	10.75	3.19257	1779064
APPLICATIONS/bitverif/ minor/minor064.cnf	UNSAT	11.99	3.5017	1778719
industrial/palacios/uts/ uts-l05-ipc5-h26-unsat.cnf	UNSAT	12.08	7.49415	1776034
APPLICATIONS/bitverif/ minxorminand/minxorminand032.cnf	UNSAT	14.73	3.94754	1778764
industrial/palacios/uts/ uts-l05-ipc5-h27-unknown.cnf	UNSAT	18.68	9.51984	1776079
APPLICATIONS/bitverif/ minandmaxor/minandmaxor032.cnf	UNSAT	20.12	5.42683	1778809
industrial/palacios/uts/ uts-l06-ipc5-h28-unknown.cnf	UNSAT	20.18	13.1515	1776094
APPLICATIONS/bitverif/ icbrt/icbrt1_32.cnf	UNSAT	20.29	5.37837	1779004
APPLICATIONS/bitverif/ smulo/smulo016.cnf	UNSAT	21.85	5.55334	1778974
APPLICATIONS/crypto/ md5gen/gus-md5-05.cnf	UNSAT	22.38	6.79015	1779259
simon-s03-fifo8-300.cnf	UNSAT	26.07	9.52215	1781479
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf	UNSAT	26.9	6.80592	1776259
velev-engi-uns-1.0-4nd.cnf	UNSAT	28.66	7.58909	1776799
industrial/anbulagan/ medium-unsat/total-5-11-u.cnf	UNSAT	28.74	10.9268	1775509
cmu-bmc-longmult15.cnf	UNSAT	31.1	7.92708	1776919
APPLICATIONS/ bitverif/minand/minand128.cnf	UNSAT	37.03	15.0202	1778884
velev-live-uns-2.0-ebuf.cnf	UNSAT	37.17	12.8573	1781344
manol-pipe-g10id.cnf	UNSAT	40.35	16.0953	1781299
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate016.cnf	UNSAT	41.07	10.6946	1778854
industrial/palacios/medium/ blocks-4-ipc5-h22-unknown.cnf	UNSAT	41.98	21.3053	1776154
schup-l2s-abp4-1-k31.cnf	UNSAT	45.55	11.7548	1776649
industrial/palacios/uts/ uts-l06-ipc5-h31-unknown.cnf	UNSAT	45.87	21.6937	1776064
APPLICATIONS/diagnosis/ UCG-10-5p0.cnf	UNSAT	47.68	14.6797	1780324
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_06_UNSAT.cnf	UNSAT	48.83	12.5281	1781164
APPLICATIONS/crypto/ md5gen/gus-md5-06.cnf	UNSAT	59.31	16.2078	1779244
manol-pipe-c6nidw_i.cnf	UNSAT	66.47	18.5493	1781569
APPLICATIONS/c32sat/ post-cbmc-aes-ele-noholes.cnf	UNSAT	70.42	47.2964	1780144
manol-pipe-c6bidw_i.cnf	UNSAT	71.74	19.6666	1776844
APPLICATIONS/bioinfo/ q_query_2_L324_coli.cnf	UNSAT	75.17	73.2761	1780279
industrial/anbulagan/ medium-unsat/total-5-13-u.cnf	UNSAT	83.56	25.1039	1775524
APPLICATIONS/diagnosis/ UR-10-5p0.cnf	UNSAT	92.81	33.5891	1780429
manol-pipe-c10nidw_s.cnf	UNSAT	94	30.5262	1781209
industrial/palacios/uts/ uts-l06-ipc5-h33-unknown.cnf	UNSAT	99.33	36.7133	1776049
APPLICATIONS/diagnosis/ ACG-10-5p0.cnf	UNSAT	106.13	29.6152	1780384
APPLICATIONS/diagnosis/ UTI-10-10p0.cnf	UNSAT	124.53	34.5559	1780639
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf	UNSAT	137.94	34.5622	1776229
APPLICATIONS/bitverif/ minxorminand/minxorminand064.cnf	UNSAT	138.52	36.1416	1778749
manol-pipe-c7bidw_i.cnf	UNSAT	139.39	37.0905	1781509
manol-pipe-g10nid.cnf	UNSAT	144.45	39.9644	1776814
manol-pipe-c7nidw.cnf	UNSAT	146.21	39.7161	1781284
APPLICATIONS/crypto/ md5gen/gus-md5-07.cnf	UNSAT	150.22	38.7678	1779304
manol-pipe-g10bidw.cnf	UNSAT	155.2	42.8391	1781224
goldb-heqc-term1mul.cnf	UNSAT	197.21	49.6397	1781329
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	UNSAT	200.54	55.2335	1780534
APPLICATIONS/bioinfo/ q_query_3_L90_coli.sat.cnf	UNSAT	247.36	74.4247	1780219
manol-pipe-f9b.cnf	UNSAT	263.63	69.0713	1776754
manol-pipe-f9n.cnf	UNSAT	266.94	69.9347	1781419
APPLICATIONS/bioinfo/ q_query_3_L80_coli.sat.cnf	UNSAT	268.18	77.3675	1780189
APPLICATIONS/bioinfo/ q_query_3_L100_coli.sat.cnf	UNSAT	268.38	82.1357	1780294
velev-pipe-o-uns-1.1-6.cnf	UNSAT	277.54	93.6733	1781314
schup-l2s-guid-1-k56.cnf	UNSAT	285.65	73.531	1781464
simon-s02b-dp11u10.cnf	UNSAT	293.02	73.5499	1781389
goldb-heqc-i10mul.cnf	UNSAT	299.46	75.7246	1781269
goldb-heqc-alu4mul.cnf	UNSAT	301.22	75.7268	1776979
APPLICATIONS/c32sat/ post-c32s-col400-16.cnf	UNSAT	330.25	86.654	1780114
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	UNSAT	339.89	116.919	1780084
APPLICATIONS/diagnosis/ UR-15-5p0.cnf	UNSAT	341.33	90.2519	1780669
APPLICATIONS/bioinfo/ q_query_3_l44_lambda.cnf	UNSAT	385.17	97.4785	1779904
APPLICATIONS/bioinfo/ q_query_3_l47_lambda.cnf	UNSAT	390.06	98.8541	1779994
APPLICATIONS/diagnosis/ UTI-15-10p0.cnf	UNSAT	392.2	103.394	1780564
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	UNSAT	398.3	100.542	1779919
industrial/palacios/ medium/emptyroom-4-h21-unsat.cnf	UNSAT	408.1	103.576	1776139
industrial/anbulagan/ hard-unsat/dated-5-15-u.cnf	UNSAT	437.98	113.344	1775704
APPLICATIONS/bioinfo/ q_query_3_l48_lambda.cnf	UNSAT	456.33	115.266	1780009
industrial/fuhs/medium/ AProVE07-16.cnf	UNSAT	464.39	117.471	1775854
APPLICATIONS/bitverif/countbitswegner/ countbitswegner064.cnf	UNSAT	465.27	117.775	1779049
industrial/palacios/medium/ cube-11-h13-unsat.cnf	UNSAT	467.01	130.147	1776124
APPLICATIONS/bioinfo/ q_query_3_l45_lambda.cnf	UNSAT	489.51	164.625	1780039
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf	UNSAT	510.42	129.758	1776439
APPLICATIONS/bitverif/countbitsarray/ countbitsarray02_32.cnf	UNSAT	601.74	151.144	1779094
manol-pipe-c10nid_i.cnf	UNSAT	604.24	155.908	1776949
industrial/fuhs/medium/ AProVE07-09.cnf	UNSAT	623.33	157.691	1775839
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_07_UNSAT.cnf	UNSAT	710.19	236.226	1780984
manol-pipe-f10ni.cnf	UNSAT	730.51	245.367	1781449
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r2-noholes.cnf	UNSAT	748.4	210.368	1780054
APPLICATIONS/c32sat/ post-cbmc-aes-d-r2-noholes.cnf	UNSAT	824.78	229.855	1780069
APPLICATIONS/ bitverif/minxor/minxor128.cnf	UNSAT	826.02	274.252	1778794
velev-pipe-o-uns-1.0-7.cnf	UNSAT	843.78	214.509	1781404
industrial/anbulagan/ hard-unsat/dated-5-17-u.cnf	UNSAT	862.69	221.176	1775734
APPLICATIONS/bitverif/ maxxororand/maxxororand032.cnf	UNSAT	863.54	217.026	1779034
APPLICATIONS/bioinfo/ q_query_3_L200_coli.sat.cnf	UNSAT	895.28	275.453	1780264
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_07_UNSAT.cnf	UNSAT	907.95	227.94	1781044
APPLICATIONS/diagnosis/ UTI-15-5p0.cnf	UNSAT	997.97	255.004	1780444
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	UNSAT	1004.76	257.451	1780624
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	UNSAT	1026.36	287.818	1780204
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf	UNSAT	1091	274.246	1776274
APPLICATIONS/ c32sat/post-c32s-ss-8.cnf	UNSAT	1312.48	330.233	1780129
manol-pipe-c10nidw.cnf	UNSAT	1355.2	347.254	1776784
APPLICATIONS/diagnosis/ UR-15-10p0.cnf	UNSAT	1402.24	357.109	1780684
velev-pipe-uns-1.0-8.cnf	UNSAT	1419	361.989	1781554
industrial/fuhs/hard/ AProVE07-08.cnf	UNSAT	1429.84	358.585	1775884
APPLICATIONS/crypto/ md5gen/gus-md5-09.cnf	UNSAT	1539.67	386.828	1779214
schup-l2s-bc56s-1-k391.cnf	UNSAT	1645.94	560.098	1776739
industrial/anbulagan/ medium-unsat/total-10-13-u.cnf	UNSAT	1648.18	418.17	1775494
APPLICATIONS/diagnosis/ ACG-15-10p0.cnf	UNSAT	1801.28	607.711	1780354
velev-vliw-uns-4.0-9C1.cnf	UNSAT	1803.22	466.982	1781374
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	UNSAT	1953.98	499.262	1778779
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf	UNSAT	1972.72	497.954	1776499
industrial/fuhs/hard/ AProVE07-27.cnf	UNSAT	2037.19	513.539	1775929
APPLICATIONS/bitverif/ countbitssrl/countbitssrl032.cnf	UNSAT	2249.5	564.46	1778899
APPLICATIONS/diagnosis/ UR-20-5p0.cnf	UNSAT	2637.86	667.8	1780489
APPLICATIONS/diagnosis/ UTI-20-5p0.cnf	UNSAT	2684.33	679.63	1780339
goldb-heqc-dalumul.cnf	UNSAT	2699.19	678.227	1776889
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r3-noholes.cnf	UNSAT	2834.97	753.788	1780174
aloul-chnl11-13.cnf	UNSAT	3025.51	761.279	1776874
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf	UNSAT	3541.26	897.243	1776559
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	UNSAT	3581.48	905.283	1780609

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
een-tip-sat-texas-tp-5e.cnf	SAT	0.3	0.277914	1776964
APPLICATIONS/aprove09/ AProVE09-13.cnf	SAT	0.39	0.305002	1779709
APPLICATIONS/aprove09/ AProVE09-22.cnf	SAT	0.52	0.384884	1779754
APPLICATIONS/aprove09/ AProVE09-05.cnf	SAT	0.9	0.611271	1779664
APPLICATIONS/aprove09/ AProVE09-11.cnf	SAT	1.19	0.833207	1779844
APPLICATIONS/aprove09/ AProVE09-07.cnf	SAT	1.41	0.681677	1779784
APPLICATIONS/aprove09/ AProVE09-08.cnf	SAT	1.43	0.592363	1779814
APPLICATIONS/aprove09/ AProVE09-03.cnf	SAT	1.59	1.50834	1779799
APPLICATIONS/aprove09/ AProVE09-25.cnf	SAT	1.7	1.21434	1779694
APPLICATIONS/aprove09/ AProVE09-12.cnf	SAT	1.75	1.19146	1779724
APPLICATIONS/aprove09/ AProVE09-01.cnf	SAT	2.36	2.07186	1779739
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_17_SAT.cnf	SAT	2.89	2.49838	1780954
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_14_SAT.cnf	SAT	4.23	2.05461	1780864
APPLICATIONS/bioinfo/ q_query_3_l39_lambda.cnf	SAT	4.25	1.70675	1779979
APPLICATIONS/aprove09/ AProVE09-10.cnf	SAT	4.52	2.95637	1779829
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	SAT	5.36	2.35786	1779439
APPLICATIONS/aprove09/ AProVE09-24.cnf	SAT	6.18	3.04355	1779649
industrial/grieu/ vmpc_24.cnf	SAT	6.56	1.80459	1776334
APPLICATIONS/bioinfo/ q_query_3_l37_lambda.cnf	SAT	7.3	2.43217	1779934
APPLICATIONS/aprove09/ AProVE09-19.cnf	SAT	7.84	3.42431	1779859
APPLICATIONS/aprove09/ AProVE09-21.cnf	SAT	8.92	3.72898	1779679
APPLICATIONS/bioinfo/ q_query_3_l38_lambda.cnf	SAT	11.56	3.52915	1780024
APPLICATIONS/aprove09/ AProVE09-17.cnf	SAT	12.82	4.00476	1779619
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_22_SAT.cnf	SAT	15.23	10.3193	1780789
APPLICATIONS/aprove09/ AProVE09-15.cnf	SAT	17.29	6.54242	1779769
APPLICATIONS/bioinfo/ q_query_3_l40_lambda.cnf	SAT	18.37	5.26123	1779874
APPLICATIONS/crypto/ desgen/gss-13-s100.cnf	SAT	30.55	8.62044	1779514
APPLICATIONS/bioinfo/ q_query_3_l42_lambda.cnf	SAT	32.55	11.7895	1779889
industrial/palacios/uts/ uts-l06-ipc5-h35-unknown.cnf	SAT	33.06	22.5078	1776019
APPLICATIONS/diagnosis/ UR-10-5p1.cnf	SAT	41.75	13.5369	1780399
APPLICATIONS/bioinfo/ q_query_3_l41_lambda.cnf	SAT	45.11	12.0049	1779964
industrial/grieu/ vmpc_26.cnf	SAT	48.85	16.6739	1776394
APPLICATIONS/bioinfo/ q_query_3_L60_coli.sat.cnf	SAT	55.48	20.6131	1780249
simon-s03-w08-15.cnf	SAT	61.16	19.9471	1776694
industrial/grieu/ vmpc_25.cnf	SAT	65.74	16.6477	1776289
industrial/anbulagan/ medium-sat/partial-5-13-s.cnf	SAT	78.17	24.4347	1775584
schup-l2s-motst-2-k315.cnf	SAT	78.25	30.2721	1776769
APPLICATIONS/bioinfo/ q_query_3_l43_lambda.cnf	SAT	81.6	21.1808	1779949
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_21_SAT.cnf	SAT	121.06	36.2605	1780939
APPLICATIONS/aprove09/ AProVE09-20.cnf	SAT	127.67	32.9306	1779634
APPLICATIONS/crypto/ desgen/gss-17-s100.cnf	SAT	135.2	34.8552	1779334
APPLICATIONS/crypto/ desgen/gss-15-s100.cnf	SAT	200.25	51.112	1779454
APPLICATIONS/c32sat/ post-c32s-gcdm16-22.cnf	SAT	296.41	77.3741	1780159
mizh-sha0-36-3.cnf	SAT	304.76	77.4882	1776709
industrial/grieu/ vmpc_30.cnf	SAT	367.09	92.5151	1776304
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	SAT	372.26	94.2945	1779364
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	SAT	396.09	107.834	1780234
APPLICATIONS/aprove09/ AProVE09-06.cnf	SAT	414.44	105.844	1779604
industrial/grieu/ vmpc_28.cnf	SAT	468.24	155.346	1776364
mizh-sha0-35-3.cnf	SAT	529.82	177.772	1776934
APPLICATIONS/diagnosis/ UTI-15-5p1.cnf	SAT	705.77	182.029	1780729
industrial/anbulagan/ medium-sat/partial-5-15-s.cnf	SAT	720.63	186.44	1775599
industrial/grieu/ vmpc_29.cnf	SAT	830.04	208.448	1776349
APPLICATIONS/diagnosis/ UTI-15-10p1.cnf	SAT	851.51	218.881	1780309
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	SAT	916.54	236.841	1780654
mizh-md5-47-4.cnf	SAT	1506.17	379.413	1776904
mizh-sha0-36-2.cnf	SAT	1563.27	393.51	1781434
industrial/palacios/medium/ cube-11-h14-sat.cnf	SAT	1725.93	448.438	1776109
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	SAT	1822.1	462.565	1780474
industrial/grieu/ vmpc_34.cnf	SAT	1886.11	473.31	1776379
APPLICATIONS/diagnosis/ ACG-20-5p1.cnf	SAT	1923.09	490.323	1780549
mizh-md5-47-3.cnf	SAT	2607.2	655.35	1776619
APPLICATIONS/diagnosis/ UTI-20-5p1.cnf	SAT	2909.77	736.361	1780594
APPLICATIONS/diagnosis/ ACG-15-10p1.cnf	SAT	3307.18	835.404	1780519
industrial/anbulagan/ hard-sat/partial-5-17-s.cnf	SAT	3316.27	837.913	1775539
APPLICATIONS/diagnosis/ UR-15-10p1.cnf	SAT	3352.07	845.859	1780414
mizh-sha0-36-4.cnf	SAT	3399.83	853.494	1776829
APPLICATIONS/diagnosis/ UR-20-5p1.cnf	SAT	3611.89	912.491	1780504

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	2995.31	1000.05	1775809
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	3015.78	1000.04	1775869
APPLICATIONS/crypto/ desgen/gss-25-s100.cnf	? (TO)	3019.29	1000.05	1779574
goldb-heqc-frg1mul.cnf	? (TO)	3027.8	1000.06	1776664
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	3037.17	1000.04	1776004
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_10_UNKNOWN.cnf	? (TO)	3062.29	1000.04	1781149
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_13_UNSAT.cnf	? (TO)	3069.57	1000.05	1780999
APPLICATIONS/crypto/ desgen/gss-26-s100.cnf	? (TO)	3071.72	1000.04	1779409
APPLICATIONS/crypto/ md5gen/gus-md5-10.cnf	? (TO)	3134.38	1000.05	1779199
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_12_UNSAT.cnf	? (TO)	3209.34	1000.04	1780804
industrial/palacios/hard/ safe-50-h49-unsat.cnf	? (TO)	3304.41	1000.03	1775974
APPLICATIONS/bitverif/ maxxororand/maxxororand128.cnf	? (TO)	3936.93	1000.04	1779019
industrial/palacios/hard/ sortnet-8-ipc5-h18-unsat.cnf	? (TO)	3944.2	1000.04	1775944
industrial/narain/ clauses-8.cnf	? (TO)	3944.4	1000.04	1776409
industrial/palacios/hard/ safe-30-h29-unsat.cnf	? (TO)	3950.73	1000.05	1775989
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	3955.33	1000.05	1778824
APPLICATIONS/diagnosis/ ACG-20-10p1.cnf	? (TO)	3956.18	1000.05	1780459
APPLICATIONS/bitverif/ countbitssrl/countbitssrl128.cnf	? (TO)	3956.26	1000.04	1778914
APPLICATIONS/diagnosis/ ACG-20-10p0.cnf	? (TO)	3956.29	1000.03	1780369
industrial/anbulagan/ hard-unsat/partial-10-19-u.cnf	? (TO)	3956.5	1000.04	1775824
industrial/anbulagan/ hard-unsat/total-10-19-u.cnf	? (TO)	3957.66	1000.04	1775719
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	? (TO)	3959.59	1000.06	1780699
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (TO)	3960.49	1000.04	1780714
APPLICATIONS/diagnosis/ UCG-20-10p1.cnf	? (TO)	3960.93	1000.05	1780579
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	3961.52	1000.04	1775614
industrial/anbulagan/ hard-unsat/total-5-17-u.cnf	? (TO)	3964.08	1000.04	1775764
industrial/anbulagan/ hard-unsat/partial-5-17-u.cnf	? (TO)	3964.41	1000.05	1775629
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	? (TO)	3965.01	1000.04	1775554
industrial/anbulagan/ hard-unsat/partial-10-13-u.cnf	? (TO)	3966.65	1000.06	1775689
industrial/anbulagan/ hard-unsat/dated-10-19-u.cnf	? (TO)	3966.8	1000.04	1775674
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	3966.93	1000.05	1779079
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	3966.95	1000.06	1779139
industrial/anbulagan/ hard-unsat/total-5-15-u.cnf	? (TO)	3967.8	1000.04	1775644
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_20_SAT.cnf	? (TO)	3968.4	1000.04	1781029
industrial/anbulagan/ hard-unsat/partial-5-15-u.cnf	? (TO)	3968.66	1000.05	1775779
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (TO)	3968.94	1000.05	1775569
industrial/anbulagan/ hard-unsat/dated-5-19-u.cnf	? (TO)	3970.34	1000.05	1775749
industrial/anbulagan/ hard-unsat/partial-5-13-u.cnf	? (TO)	3972.67	1000.06	1775659
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_17_UNKNOWN.cnf	? (TO)	3973.71	1000.05	1780819
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	3974.59	1000.05	1775794
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_16_UNKNOWN.cnf	? (TO)	3976.61	1000.05	1781089
vange-col-abb313GPIA-9-c.cnf	? (TO)	3976.83	1000.04	1776859
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_15_UNKNOWN.cnf	? (TO)	3977.64	1000.05	1780894
APPLICATIONS/bitverif/ smulo/smulo128.cnf	? (TO)	3977.92	1000.04	1778989
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	3979.49	1000.06	1775959
APPLICATIONS/bitverif/countbitsarray/ countbitsarray32_32.cnf	? (TO)	3979.61	1000.03	1779124
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_14_UNSAT.cnf	? (TO)	3980.2	1000.05	1780834
APPLICATIONS/crypto/ desgen/gss-31-s100.cnf	? (TO)	3982.75	1000.04	1779319
APPLICATIONS/crypto/ md5gen/gus-md5-15.cnf	? (TO)	3983.15	1000.05	1779169
mizh-md5-48-5.cnf	? (TO)	3983.29	1000.02	1776994
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_11_UNSAT.cnf	? (TO)	3983.56	1000.03	1780849
simon-s02b-k2f-gr-rcs-w8.cnf	? (TO)	3983.71	1000.05	1781494
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_09_UNSAT.cnf	? (TO)	3984.3	1000.05	1781074
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	3984.71	1000.05	1779154
APPLICATIONS/crypto/ desgen/gss-28-s100.cnf	? (TO)	3984.83	1000.04	1779559
APPLICATIONS/crypto/ desgen/gss-23-s100.cnf	? (TO)	3985.15	43	1779499
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	? (TO)	3985.18	1000.04	1779589
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate128.cnf	? (TO)	3985.24	1000.04	1778839
industrial/fuhs/hard/ AProVE07-26.cnf	? (TO)	3985.72	1000.06	1775914
APPLICATIONS/bitverif/countbitsarray/ countbitsarray08_32.cnf	? (TO)	3985.77	1000.05	1779109
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_10_UNSAT.cnf	? (TO)	3985.78	1000.04	1780924
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_14_UNKNOWN.cnf	? (TO)	3986.05	1000.04	1781104
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	3986.13	43	1779394
APPLICATIONS/crypto/ md5gen/gus-md5-16.cnf	? (TO)	3986.21	1000.05	1779184
APPLICATIONS/crypto/ desgen/gss-32-s100.cnf	? (TO)	3986.78	1000.04	1779349
APPLICATIONS/crypto/ desgen/gss-24-s100.cnf	? (TO)	3986.85	1000.04	1779544
APPLICATIONS/crypto/ desgen/gss-34-s100.cnf	? (TO)	3986.95	1000.05	1779469
APPLICATIONS/crypto/ desgen/gss-33-s100.cnf	? (TO)	3987.27	1000.05	1779484
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_13_UNKNOWN.cnf	? (TO)	3987.3	1000.06	1780879
APPLICATIONS/crypto/ desgen/gss-20-s100.cnf	? (TO)	3987.38	1000.04	1779424
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_12_UNKNOWN.cnf	? (TO)	3987.52	1000.05	1780969
APPLICATIONS/crypto/ md5gen/gus-md5-14.cnf	? (TO)	3987.54	1000.05	1779229
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	3987.61	1000.03	1779289
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_10_UNKNOWN.cnf	? (TO)	3987.86	1000.05	1780774
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	3987.92	1000.04	1780909
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_08_UNSAT.cnf	? (TO)	3987.99	1000.04	1780759
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	3988.01	1000.05	1779379
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	3988.38	1000.04	1779529
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_13_UNKNOWN.cnf	? (TO)	3988.47	1000.06	1781134
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_11_UNKNOWN.cnf	? (TO)	3988.48	1000.04	1781179
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_12_UNKNOWN.cnf	? (TO)	3988.49	1000.04	1781059
industrial/grieu/ vmpc_33.cnf	? (TO)	3988.64	1000.03	1776319
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_11_UNKNOWN.cnf	? (TO)	3988.7	1000.06	1780744
APPLICATIONS/bitverif/ mulhs/mulhs032.cnf	? (TO)	3988.73	1000.05	1778959
goldb-heqc-x1mul.cnf	? (TO)	3988.83	1000.04	1776604
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	3989.36	1000.04	1778944
industrial/fuhs/hard/ AProVE07-25.cnf	? (TO)	3989.43	1000.04	1775899
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	3989.46	1000.04	1781014
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf	? (TO)	3989.81	1000.04	1776214
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	3989.95	1000.04	1781119
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	3990.27	1000.05	1776244
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	3990.32	1000.04	1776199
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	3990.98	1000.04	1778869

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	? (MO)	11.6	11.6288	1780099
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf	? (MO)	14.22	14.2348	1776454
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	? (MO)	14.32	14.3333	1776574
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf	? (MO)	14.32	14.3389	1776589
velev-pipe-sat-1.0-b10.cnf	? (MO)	208.03	80.1591	1781239
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf	? (MO)	941.48	245.438	1776529
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (MO)	1293.98	332.552	1776544
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf	? (MO)	2288.75	601.757	1776484
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf	? (MO)	2468.35	635.938	1776469
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf	? (MO)	3512.34	890.725	1776514
velev-vliw-uns-4.0-9-i1.cnf	? (MO)	3679.21	947.438	1776679

SAT 2009 Competition: multithread track: benchmarks results per solver

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

Category "applications instances" (APPLICATION)

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

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

Solver timed out (no solution given) (93 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]