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	0.346946	0.351093	1824887
APPLICATIONS/bitverif/ minor/minor032.cnf	UNSAT	1.11183	1.11606	1825089
manol-pipe-g6bi.cnf	UNSAT	1.99969	2.00512	1825576
een-tip-uns-nusmv-t5.B.cnf	UNSAT	2.05869	2.06159	1825562
hoons-vbmc-lucky7.cnf	UNSAT	2.72059	2.72665	1825049
cmu-bmc-barrel6.cnf	UNSAT	2.85156	2.87485	1825037
manol-pipe-c9.cnf	UNSAT	4.00539	4.01594	1825600
APPLICATIONS/bitverif/ countbitssrl/countbitssrl016.cnf	UNSAT	6.75797	6.76445	1825115
APPLICATIONS/bitverif/ minandmaxor/minandmaxor032.cnf	UNSAT	9.35558	9.35993	1825099
APPLICATIONS/ bitverif/maxand/maxand064.cnf	UNSAT	9.63953	9.64799	1825133
APPLICATIONS/bitverif/ minor/minor064.cnf	UNSAT	9.65853	9.67707	1825087
industrial/babic/hsatv17/ hsat_vc11803.cnf	UNSAT	10.0085	10.0106	1824855
APPLICATIONS/bitverif/ minxorminand/minxorminand032.cnf	UNSAT	12.1152	12.1231	1825093
industrial/babic/hsatv17/ hsat_vc11813.cnf	UNSAT	14.1978	14.2013	1824853
APPLICATIONS/crypto/ md5gen/gus-md5-04.cnf	UNSAT	15.4866	15.5071	1825161
industrial/palacios/uts/ uts-l05-ipc5-h26-unsat.cnf	UNSAT	17.2254	17.236	1824835
APPLICATIONS/crypto/ md5gen/gus-md5-05.cnf	UNSAT	18.0473	18.0618	1825159
industrial/palacios/uts/ uts-l05-ipc5-h27-unknown.cnf	UNSAT	20.8508	20.8703	1824841
industrial/palacios/uts/ uts-l06-ipc5-h28-unknown.cnf	UNSAT	22.2096	22.2211	1824843
APPLICATIONS/bitverif/ icbrt/icbrt1_32.cnf	UNSAT	23.4514	23.4607	1825125
cmu-bmc-longmult15.cnf	UNSAT	23.5534	23.5633	1825075
manol-pipe-c10nidw_s.cnf	UNSAT	27.9597	27.9709	1825556
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate016.cnf	UNSAT	31.2762	31.2945	1825105
industrial/anbulagan/ medium-unsat/total-5-11-u.cnf	UNSAT	31.9941	32.0148	1824765
industrial/palacios/medium/ blocks-4-ipc5-h22-unknown.cnf	UNSAT	33.034	33.048	1824851
APPLICATIONS/bitverif/ smulo/smulo016.cnf	UNSAT	33.7009	33.7242	1825121
simon-s03-fifo8-300.cnf	UNSAT	46.5789	46.6188	1825592
APPLICATIONS/crypto/ md5gen/gus-md5-06.cnf	UNSAT	47.0608	47.0934	1825157
velev-engi-uns-1.0-4nd.cnf	UNSAT	47.3618	47.3787	1825059
industrial/palacios/uts/ uts-l06-ipc5-h31-unknown.cnf	UNSAT	51.0192	51.0549	1824839
velev-live-uns-2.0-ebuf.cnf	UNSAT	52.9589	52.9867	1825574
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf	UNSAT	58.5961	58.6104	1824865
schup-l2s-abp4-1-k31.cnf	UNSAT	64.1782	64.2015	1825039
APPLICATIONS/diagnosis/ UCG-10-5p0.cnf	UNSAT	68.4376	68.4859	1825331
industrial/anbulagan/ medium-unsat/total-5-13-u.cnf	UNSAT	71.5161	71.5615	1824767
manol-pipe-c6bidw_i.cnf	UNSAT	79.104	79.1299	1825065
APPLICATIONS/c32sat/ post-cbmc-aes-ele-noholes.cnf	UNSAT	88.3966	88.4385	1825307
manol-pipe-c6nidw_i.cnf	UNSAT	95.3225	95.3793	1825604
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_06_UNSAT.cnf	UNSAT	100.175	100.22	1825443
APPLICATIONS/diagnosis/ UR-10-5p0.cnf	UNSAT	104.331	104.408	1825345
APPLICATIONS/diagnosis/ ACG-10-5p0.cnf	UNSAT	106.779	106.812	1825339
APPLICATIONS/bioinfo/ q_query_2_L324_coli.cnf	UNSAT	111.937	111.992	1825325
manol-pipe-g10id.cnf	UNSAT	112.45	112.514	1825568
APPLICATIONS/ bitverif/minand/minand128.cnf	UNSAT	114.949	115.012	1825109
industrial/palacios/uts/ uts-l06-ipc5-h33-unknown.cnf	UNSAT	117.621	117.662	1824837
manol-pipe-g7nidw.cnf	UNSAT	128.764	128.854	1825598
APPLICATIONS/crypto/ md5gen/gus-md5-07.cnf	UNSAT	138.797	138.864	1825165
manol-pipe-c7bidw_i.cnf	UNSAT	147.684	147.725	1825596
manol-pipe-c7nidw.cnf	UNSAT	193.662	193.745	1825566
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	UNSAT	244.276	244.396	1825359
APPLICATIONS/diagnosis/ UTI-10-10p0.cnf	UNSAT	271.04	271.182	1825373
manol-pipe-g10nid.cnf	UNSAT	279.145	279.247	1825061
APPLICATIONS/bitverif/ minxorminand/minxorminand064.cnf	UNSAT	339.124	339.301	1825091
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf	UNSAT	353.9	354.042	1824861
APPLICATIONS/bitverif/countbitswegner/ countbitswegner064.cnf	UNSAT	425.178	425.299	1825131
velev-pipe-o-uns-1.1-6.cnf	UNSAT	477.85	478.037	1825570
APPLICATIONS/diagnosis/ UR-15-5p0.cnf	UNSAT	502.228	502.444	1825377
APPLICATIONS/bioinfo/ q_query_3_l44_lambda.cnf	UNSAT	546.125	546.409	1825275
schup-l2s-guid-1-k56.cnf	UNSAT	578.814	579.093	1825590
APPLICATIONS/c32sat/ post-c32s-col400-16.cnf	UNSAT	611.463	611.713	1825303
APPLICATIONS/bioinfo/ q_query_3_l45_lambda.cnf	UNSAT	611.612	611.833	1825293
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	UNSAT	636.193	636.523	1825299
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	UNSAT	658.603	658.835	1825315
APPLICATIONS/bioinfo/ q_query_3_L90_coli.sat.cnf	UNSAT	718.033	718.394	1825317
APPLICATIONS/bioinfo/ q_query_3_l48_lambda.cnf	UNSAT	727.171	727.395	1825289
simon-s02b-dp11u10.cnf	UNSAT	778.171	778.484	1825580
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	UNSAT	783.388	783.739	1825277
APPLICATIONS/bioinfo/ q_query_3_l47_lambda.cnf	UNSAT	797.04	797.319	1825287
APPLICATIONS/bioinfo/ q_query_3_L80_coli.sat.cnf	UNSAT	917.097	917.542	1825313
APPLICATIONS/crypto/ md5gen/gus-md5-09.cnf	UNSAT	929.606	929.942	1825153
industrial/anbulagan/ hard-unsat/dated-5-15-u.cnf	UNSAT	967.74	968.238	1824791
manol-pipe-c10nid_i.cnf	UNSAT	996.471	996.841	1825079
goldb-heqc-term1mul.cnf	UNSAT	1012.78	1013.36	1825572
APPLICATIONS/bioinfo/ q_query_3_L200_coli.sat.cnf	UNSAT	1016.98	1017.47	1825323
goldb-heqc-alu4mul.cnf	UNSAT	1027.37	1027.75	1825083
APPLICATIONS/diagnosis/ UTI-15-10p0.cnf	UNSAT	1094.02	1094.59	1825363
manol-pipe-f9n.cnf	UNSAT	1147.25	1147.75	1825584
industrial/fuhs/medium/ AProVE07-16.cnf	UNSAT	1383.79	1384.2	1824811
industrial/palacios/ medium/emptyroom-4-h21-unsat.cnf	UNSAT	1430.56	1431.05	1824849
APPLICATIONS/bioinfo/ q_query_3_L100_coli.sat.cnf	UNSAT	1525.36	1525.8	1825327
manol-pipe-c10nidw.cnf	UNSAT	1634.24	1634.69	1825057
industrial/anbulagan/ hard-unsat/dated-5-17-u.cnf	UNSAT	1825.47	1825.99	1824795
manol-pipe-f9b.cnf	UNSAT	1932.34	1932.87	1825053
APPLICATIONS/ bitverif/minxor/minxor128.cnf	UNSAT	1982.77	1983.62	1825097
APPLICATIONS/crypto/ md5gen/gus-md5-10.cnf	UNSAT	2080.77	2081.63	1825151
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	UNSAT	2493.35	2494.05	1825371
manol-pipe-g10bidw.cnf	UNSAT	2527.37	2528.45	1825558
schup-l2s-bc56s-1-k391.cnf	UNSAT	2547.29	2548.05	1825051
velev-vliw-uns-4.0-9C1.cnf	UNSAT	2732.22	2733.27	1825578
industrial/anbulagan/ medium-unsat/total-10-13-u.cnf	UNSAT	2760.51	2761.87	1824763
goldb-heqc-i10mul.cnf	UNSAT	2761.27	2762.24	1825564
APPLICATIONS/diagnosis/ UR-20-5p0.cnf	UNSAT	2836.68	2837.9	1825353
APPLICATIONS/bitverif/ countbitssrl/countbitssrl032.cnf	UNSAT	2844.66	2845.43	1825111
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_07_UNSAT.cnf	UNSAT	2856.05	2857.06	1825419
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r2-noholes.cnf	UNSAT	3054.94	3056.26	1825295
APPLICATIONS/diagnosis/ UTI-15-5p0.cnf	UNSAT	3460.12	3461.18	1825347
APPLICATIONS/c32sat/ post-cbmc-aes-d-r2-noholes.cnf	UNSAT	3536.22	3537.65	1825297
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf	UNSAT	3637.14	3637.94	1824867
velev-pipe-o-uns-1.0-7.cnf	UNSAT	3811.9	3812.95	1825582
goldb-heqc-dalumul.cnf	UNSAT	4527.53	4529.5	1825071
APPLICATIONS/diagnosis/ UR-15-10p0.cnf	UNSAT	4531.09	4532.95	1825379
manol-pipe-f10ni.cnf	UNSAT	4820.12	4822.55	1825588
industrial/fuhs/medium/ AProVE07-09.cnf	UNSAT	4890.98	4892.28	1824809
APPLICATIONS/diagnosis/ UTI-20-5p0.cnf	UNSAT	5356.89	5359.58	1825333
APPLICATIONS/diagnosis/ ACG-15-10p0.cnf	UNSAT	5532.2	5534.76	1825335
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf	UNSAT	5665.04	5667.39	1824889
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_07_UNSAT.cnf	UNSAT	6324.36	6326.04	1825427
industrial/fuhs/hard/ AProVE07-08.cnf	UNSAT	6436.16	6438.36	1824815
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	UNSAT	6851.4	6854.31	1825163
APPLICATIONS/ c32sat/post-c32s-ss-8.cnf	UNSAT	7124.34	7126.8	1825305
APPLICATIONS/bitverif/countbitsarray/ countbitsarray02_32.cnf	UNSAT	8756.62	8760.44	1825137

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
een-tip-sat-texas-tp-5e.cnf	SAT	0.31795	0.317221	1825081
APPLICATIONS/aprove09/ AProVE09-13.cnf	SAT	0.333948	0.334634	1825219
APPLICATIONS/aprove09/ AProVE09-22.cnf	SAT	0.38594	0.388479	1825225
industrial/grieu/ vmpc_24.cnf	SAT	0.423934	0.4244	1824875
APPLICATIONS/aprove09/ AProVE09-11.cnf	SAT	0.91786	0.918468	1825237
APPLICATIONS/aprove09/ AProVE09-07.cnf	SAT	0.991848	0.990806	1825229
APPLICATIONS/aprove09/ AProVE09-12.cnf	SAT	1.20082	1.20769	1825221
APPLICATIONS/aprove09/ AProVE09-25.cnf	SAT	1.2988	1.29823	1825217
APPLICATIONS/aprove09/ AProVE09-03.cnf	SAT	1.82872	1.82809	1825231
APPLICATIONS/aprove09/ AProVE09-19.cnf	SAT	1.9737	1.98726	1825239
APPLICATIONS/aprove09/ AProVE09-01.cnf	SAT	2.26965	2.26839	1825223
APPLICATIONS/bioinfo/ q_query_3_l37_lambda.cnf	SAT	2.37964	2.38392	1825279
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_17_SAT.cnf	SAT	3.58345	3.60745	1825415
APPLICATIONS/aprove09/ AProVE09-21.cnf	SAT	4.10538	4.11214	1825215
APPLICATIONS/aprove09/ AProVE09-10.cnf	SAT	4.65329	4.66915	1825235
APPLICATIONS/bioinfo/ q_query_3_l40_lambda.cnf	SAT	5.2642	5.27375	1825271
APPLICATIONS/bioinfo/ q_query_3_l39_lambda.cnf	SAT	5.58515	5.59834	1825285
APPLICATIONS/aprove09/ AProVE09-24.cnf	SAT	5.95909	5.96977	1825211
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_14_SAT.cnf	SAT	8.04778	8.07134	1825403
APPLICATIONS/aprove09/ AProVE09-05.cnf	SAT	8.70668	8.73521	1825213
APPLICATIONS/bioinfo/ q_query_3_l38_lambda.cnf	SAT	8.72267	8.73616	1825291
APPLICATIONS/aprove09/ AProVE09-08.cnf	SAT	11.9002	11.9099	1825233
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_22_SAT.cnf	SAT	13.41	13.4254	1825393
APPLICATIONS/aprove09/ AProVE09-15.cnf	SAT	18.8771	18.8943	1825227
APPLICATIONS/aprove09/ AProVE09-17.cnf	SAT	29.7995	29.8163	1825207
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_20_SAT.cnf	SAT	33.009	33.0176	1825425
industrial/palacios/uts/ uts-l06-ipc5-h35-unknown.cnf	SAT	36.6764	38.0213	1824833
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	SAT	41.4587	41.4799	1825183
mizh-sha0-35-3.cnf	SAT	42.8205	42.8451	1825077
APPLICATIONS/bioinfo/ q_query_3_l41_lambda.cnf	SAT	49.3675	49.3967	1825283
APPLICATIONS/diagnosis/ UR-10-5p1.cnf	SAT	52.0421	52.0881	1825341
APPLICATIONS/crypto/ desgen/gss-13-s100.cnf	SAT	62.0376	62.2752	1825193
APPLICATIONS/bioinfo/ q_query_3_l43_lambda.cnf	SAT	67.7667	67.7927	1825281
industrial/grieu/ vmpc_25.cnf	SAT	69.6614	69.6883	1824869
APPLICATIONS/bioinfo/ q_query_3_l42_lambda.cnf	SAT	76.4714	76.5144	1825273
APPLICATIONS/aprove09/ AProVE09-06.cnf	SAT	80.7727	80.8062	1825205
velev-pipe-sat-1.0-b7.cnf	SAT	83.2793	83.3231	1825554
APPLICATIONS/bioinfo/ q_query_3_L60_coli.sat.cnf	SAT	86.1699	86.2451	1825321
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf	SAT	86.5398	86.5963	1824909
APPLICATIONS/crypto/ desgen/gss-15-s100.cnf	SAT	90.7962	90.8558	1825185
industrial/grieu/ vmpc_26.cnf	SAT	95.4555	95.4952	1824883
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	SAT	104.959	105.045	1824907
industrial/grieu/ vmpc_28.cnf	SAT	110.276	110.351	1824879
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	SAT	193.193	193.324	1825319
simon-s03-w08-15.cnf	SAT	211.315	211.464	1825045
APPLICATIONS/aprove09/ AProVE09-20.cnf	SAT	223.492	223.614	1825209
APPLICATIONS/crypto/ desgen/gss-17-s100.cnf	SAT	277.238	277.351	1825169
mizh-sha0-36-2.cnf	SAT	279.243	279.351	1825586
schup-l2s-motst-2-k315.cnf	SAT	339.159	339.308	1825055
velev-pipe-sat-1.0-b10.cnf	SAT	361.922	362.104	1825560
mizh-sha0-36-4.cnf	SAT	368.991	369.167	1825063
mizh-md5-47-3.cnf	SAT	414.753	414.97	1825035
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	SAT	468.886	469.021	1825173
mizh-md5-48-5.cnf	SAT	514.825	514.979	1825085
APPLICATIONS/c32sat/ post-c32s-gcdm16-22.cnf	SAT	786.174	786.484	1825309
mizh-md5-47-4.cnf	SAT	1102.68	1102.97	1825073
APPLICATIONS/diagnosis/ UTI-15-10p1.cnf	SAT	1342.33	1342.74	1825329
mizh-sha0-36-3.cnf	SAT	1406.24	1406.95	1825047
industrial/anbulagan/ medium-sat/partial-5-13-s.cnf	SAT	1414	1414.63	1824775
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_21_SAT.cnf	SAT	2075.68	2076.4	1825413
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	SAT	2102.6	2104.21	1825375
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	SAT	2392.87	2394.2	1825203
APPLICATIONS/diagnosis/ UTI-15-5p1.cnf	SAT	2447.4	2448.54	1825385
APPLICATIONS/diagnosis/ ACG-20-5p1.cnf	SAT	2684.66	2685.7	1825361
industrial/anbulagan/ medium-sat/partial-5-15-s.cnf	SAT	3305.46	3306.23	1824777
APPLICATIONS/diagnosis/ ACG-15-10p1.cnf	SAT	3622.99	3624.63	1825357
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	SAT	3752.98	3754.72	1825351
industrial/narain/ clauses-8.cnf	SAT	4748.81	4750.6	1824885
APPLICATIONS/diagnosis/ UR-20-5p1.cnf	SAT	9044.28	9046.48	1825355

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf	? (TO)	10000	10002.7	1824899
industrial/anbulagan/ hard-sat/partial-5-17-s.cnf	? (TO)	10000	10004.5	1824769
industrial/palacios/hard/ safe-50-h49-unsat.cnf	? (TO)	10000	10004.6	1824827
aloul-chnl11-13.cnf	? (TO)	10000	10004.4	1825069
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf	? (TO)	10000	10005	1824859
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	10000	10002.4	1824863
industrial/grieu/ vmpc_34.cnf	? (TO)	10000	10005.5	1824881
industrial/anbulagan/ hard-unsat/partial-5-13-u.cnf	? (TO)	10000	10002.4	1824785
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	10000	10004.7	1825101
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	10000	10004.4	1825107
industrial/anbulagan/ hard-unsat/total-10-19-u.cnf	? (TO)	10000	10004.4	1824793
industrial/anbulagan/ hard-unsat/partial-10-13-u.cnf	? (TO)	10000	10003.4	1824789
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf	? (TO)	10000	10003.8	1824895
APPLICATIONS/bitverif/ smulo/smulo128.cnf	? (TO)	10000	10005.5	1825123
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	10000	10002.7	1824825
industrial/palacios/hard/ sortnet-8-ipc5-h18-unsat.cnf	? (TO)	10000	10003	1824823
APPLICATIONS/bitverif/ countbitssrl/countbitssrl128.cnf	? (TO)	10000	10003.6	1825113
APPLICATIONS/bitverif/ mulhs/mulhs032.cnf	? (TO)	10000	10003.5	1825119
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	10000	10004.7	1825135
APPLICATIONS/bitverif/countbitsarray/ countbitsarray32_32.cnf	? (TO)	10000	10002.7	1825141
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	10000	10004.5	1825143
APPLICATIONS/crypto/ md5gen/gus-md5-16.cnf	? (TO)	10000	10005.7	1825149
APPLICATIONS/crypto/ desgen/gss-32-s100.cnf	? (TO)	10000	10002.9	1825171
APPLICATIONS/crypto/ md5gen/gus-md5-14.cnf	? (TO)	10000	10004.2	1825155
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	10000	10002.5	1824803
industrial/fuhs/hard/ AProVE07-25.cnf	? (TO)	10000	10003.3	1824817
APPLICATIONS/crypto/ desgen/gss-31-s100.cnf	? (TO)	10000	10003.3	1825167
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	10000	10003.4	1825117
APPLICATIONS/crypto/ desgen/gss-24-s100.cnf	? (TO)	10000	10002.7	1825197
APPLICATIONS/crypto/ desgen/gss-26-s100.cnf	? (TO)	10000	10004.3	1825179
APPLICATIONS/crypto/ desgen/gss-33-s100.cnf	? (TO)	10000	10004.7	1825189
APPLICATIONS/crypto/ desgen/gss-34-s100.cnf	? (TO)	10000	10004	1825187
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	10000	10002.5	1825195
APPLICATIONS/crypto/ desgen/gss-25-s100.cnf	? (TO)	10000	10004.9	1825201
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_10_UNKNOWN.cnf	? (TO)	10000	10004.5	1825391
APPLICATIONS/diagnosis/ UCG-20-10p1.cnf	? (TO)	10000	10004.6	1825365
APPLICATIONS/diagnosis/ ACG-20-10p0.cnf	? (TO)	10000	10003.2	1825337
APPLICATIONS/diagnosis/ UR-15-10p1.cnf	? (TO)	10000	10004	1825343
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	? (TO)	10000	10003.9	1825381
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_17_UNKNOWN.cnf	? (TO)	10000	10002.9	1825397
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_11_UNSAT.cnf	? (TO)	10000	10004.9	1825401
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_13_UNKNOWN.cnf	? (TO)	10000	10004.2	1825405
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_10_UNSAT.cnf	? (TO)	10000	10002.5	1825411
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_13_UNKNOWN.cnf	? (TO)	10000	10003.3	1825439
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_13_UNSAT.cnf	? (TO)	10000	10003.3	1825421
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_09_UNSAT.cnf	? (TO)	10000	9999.51	1825431
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_16_UNKNOWN.cnf	? (TO)	10000	10004	1825433
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_10_UNKNOWN.cnf	? (TO)	10000	10003.5	1825441
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_11_UNKNOWN.cnf	? (TO)	10000	10004.4	1825445
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf	? (TO)	10000	10002.5	1824897
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (TO)	10000	10002.5	1824903
industrial/anbulagan/ hard-unsat/total-5-15-u.cnf	? (TO)	10000	10002.5	1824783
goldb-heqc-x1mul.cnf	? (TO)	10000	10002.8	1825033
velev-vliw-uns-4.0-9-i1.cnf	? (TO)	10000	10003.5	1825043
industrial/anbulagan/ hard-unsat/total-5-17-u.cnf	? (TO)	10000	10003.3	1824799
industrial/anbulagan/ hard-unsat/partial-5-15-u.cnf	? (TO)	10000	10003.5	1824801
industrial/grieu/ vmpc_33.cnf	? (TO)	10000	10002.9	1824873
industrial/grieu/ vmpc_30.cnf	? (TO)	10000	10002.9	1824871
industrial/fuhs/hard/ AProVE07-26.cnf	? (TO)	10000	10004.4	1824819
industrial/fuhs/hard/ AProVE07-27.cnf	? (TO)	10000	10002.6	1824821
industrial/grieu/ vmpc_29.cnf	? (TO)	10000.1	10004.4	1824877
industrial/anbulagan/ hard-unsat/dated-10-19-u.cnf	? (TO)	10000.1	10004.2	1824787
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (TO)	10000.1	10005.1	1824773
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	10000.1	10004.7	1824779
industrial/anbulagan/ hard-unsat/partial-5-17-u.cnf	? (TO)	10000.1	10002.7	1824781
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	10000.1	10005.5	1825145
APPLICATIONS/crypto/ md5gen/gus-md5-15.cnf	? (TO)	10000.1	10005.5	1825147
APPLICATIONS/diagnosis/ ACG-20-10p1.cnf	? (TO)	10000.1	10002.8	1825349
industrial/anbulagan/ hard-unsat/dated-5-19-u.cnf	? (TO)	10000.1	10004.4	1824797
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	10000.1	10002.8	1825423
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (TO)	10000.1	10003.8	1825383
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	10000.1	10003.4	1825437
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	10000.1	10002.3	1824805
vange-col-abb313GPIA-9-c.cnf	? (TO)	10000.1	10004.8	1825067
goldb-heqc-frg1mul.cnf	? (TO)	10000.1	10005	1825041
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	10000.1	10004.3	1824813
APPLICATIONS/diagnosis/ UTI-20-5p1.cnf	? (TO)	10000.1	10004.9	1825367
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_08_UNSAT.cnf	? (TO)	10000.1	10003.5	1825389
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_12_UNSAT.cnf	? (TO)	10000.1	10002.8	1825395
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	10000.1	10004.7	1824831
simon-s02b-k2f-gr-rcs-w8.cnf	? (TO)	10000.1	10002.8	1825594
APPLICATIONS/crypto/ desgen/gss-20-s100.cnf	? (TO)	10000.1	10003.4	1825181
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	10000.1	10004.8	1825175
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf	? (TO)	10000.1	10004.1	1824905
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (TO)	10000.1	10003.1	1825095
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	10000.1	10004.8	1825177
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_14_UNSAT.cnf	? (TO)	10000.1	10003.6	1825399
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate128.cnf	? (TO)	10000.1	10003.7	1825103
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_12_UNKNOWN.cnf	? (TO)	10000.1	10002.7	1825429
velev-pipe-uns-1.0-8.cnf	? (TO)	10000.1	10004.1	1825602
APPLICATIONS/crypto/ desgen/gss-23-s100.cnf	? (TO)	10000.1	10004.1	1825191
APPLICATIONS/bitverif/ maxxororand/maxxororand032.cnf	? (TO)	10000.1	10004.3	1825129
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf	? (TO)	10000.1	10004.5	1824893
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_15_UNKNOWN.cnf	? (TO)	10000.1	10003	1825407
APPLICATIONS/bitverif/ maxxororand/maxxororand128.cnf	? (TO)	10000.1	10004.9	1825127
APPLICATIONS/crypto/ desgen/gss-28-s100.cnf	? (TO)	10000.1	10002.8	1825199
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	10000.1	10003	1825409
industrial/palacios/hard/ safe-30-h29-unsat.cnf	? (TO)	10000.1	10004	1824829
APPLICATIONS/bitverif/countbitsarray/ countbitsarray08_32.cnf	? (TO)	10000.1	10004	1825139
industrial/palacios/medium/ cube-11-h14-sat.cnf	? (TO)	10000.1	10005.1	1824845
industrial/palacios/medium/ cube-11-h13-unsat.cnf	? (TO)	10000.1	10003.6	1824847
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r3-noholes.cnf	? (TO)	10000.1	10005.6	1825311
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	10000.1	10002.9	1824857
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_11_UNKNOWN.cnf	? (TO)	10000.1	10003.4	1825387
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_14_UNKNOWN.cnf	? (TO)	10000.1	10002.9	1825435
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	? (TO)	10000.1	10002.3	1825369
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_12_UNKNOWN.cnf	? (TO)	10000.1	10004.5	1825417

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	? (MO)	17.88	18.0132	1825301
industrial/anbulagan/ hard-unsat/partial-10-19-u.cnf	? (MO)	6715.6	6718.01	1824807
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf	? (MO)	6828.15	6831.31	1824901
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	? (MO)	7544.08	7546.11	1824771
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf	? (MO)	7901.37	7906.41	1824891

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

Result page for solver SAT07 reference solver: Rsat 2007-02-08 (complete)

Category "applications instances" (APPLICATION)

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

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

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

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