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

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/bitverif/ minor/minor032.cnf	UNSAT	1.84872	1.84859	1825090
manol-pipe-g6bi.cnf	UNSAT	1.92771	1.92823	1825577
industrial/babic/xinetd/ xinetd_vc56703.cnf	UNSAT	2.25266	2.25351	1824888
cmu-bmc-barrel6.cnf	UNSAT	3.2845	3.28541	1825038
manol-pipe-c9.cnf	UNSAT	6.583	6.58583	1825601
een-tip-uns-nusmv-t5.B.cnf	UNSAT	7.31589	7.31709	1825563
industrial/babic/hsatv17/ hsat_vc11803.cnf	UNSAT	7.58285	7.5847	1824856
hoons-vbmc-lucky7.cnf	UNSAT	8.17176	8.17367	1825050
industrial/babic/hsatv17/ hsat_vc11813.cnf	UNSAT	20.2539	20.2623	1824854
manol-pipe-g7nidw.cnf	UNSAT	22.5876	22.5947	1825599
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_06_UNSAT.cnf	UNSAT	24.5163	24.5253	1825444
APPLICATIONS/bioinfo/ q_query_2_L324_coli.cnf	UNSAT	26.202	26.2156	1825326
APPLICATIONS/bitverif/ minxorminand/minxorminand032.cnf	UNSAT	32.583	32.5945	1825094
APPLICATIONS/bitverif/ minor/minor064.cnf	UNSAT	38.9111	38.9252	1825088
APPLICATIONS/ bitverif/maxand/maxand064.cnf	UNSAT	41.3287	41.3398	1825134
APPLICATIONS/bitverif/ countbitssrl/countbitssrl016.cnf	UNSAT	49.5075	49.5242	1825116
APPLICATIONS/bitverif/ minandmaxor/minandmaxor032.cnf	UNSAT	52.571	52.5893	1825100
APPLICATIONS/bitverif/ icbrt/icbrt1_32.cnf	UNSAT	57.2953	57.3119	1825126
APPLICATIONS/crypto/ md5gen/gus-md5-04.cnf	UNSAT	59.505	59.5367	1825162
APPLICATIONS/diagnosis/ UCG-10-5p0.cnf	UNSAT	61.8356	61.8611	1825332
cmu-bmc-longmult15.cnf	UNSAT	67.6007	67.6189	1825076
schup-l2s-abp4-1-k31.cnf	UNSAT	69.2275	69.2495	1825040
industrial/anbulagan/ medium-unsat/total-5-11-u.cnf	UNSAT	75.4885	75.5221	1824766
industrial/palacios/uts/ uts-l05-ipc5-h26-unsat.cnf	UNSAT	82.0025	82.0459	1824836
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf	UNSAT	82.8594	82.8911	1824866
industrial/palacios/uts/ uts-l06-ipc5-h28-unknown.cnf	UNSAT	85.0501	85.0846	1824844
APPLICATIONS/diagnosis/ UR-10-5p0.cnf	UNSAT	99.0829	99.1404	1825346
APPLICATIONS/diagnosis/ UTI-10-10p0.cnf	UNSAT	102.783	102.828	1825374
APPLICATIONS/diagnosis/ ACG-10-5p0.cnf	UNSAT	110.287	110.317	1825340
velev-engi-uns-1.0-4nd.cnf	UNSAT	115.228	115.268	1825060
manol-pipe-g10id.cnf	UNSAT	131.82	131.89	1825569
APPLICATIONS/c32sat/ post-cbmc-aes-ele-noholes.cnf	UNSAT	132.249	132.308	1825308
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate016.cnf	UNSAT	140.449	140.483	1825106
APPLICATIONS/bitverif/ smulo/smulo016.cnf	UNSAT	152.29	152.332	1825122
industrial/palacios/uts/ uts-l05-ipc5-h27-unknown.cnf	UNSAT	171.301	171.363	1824842
goldb-heqc-term1mul.cnf	UNSAT	179.242	179.303	1825573
APPLICATIONS/crypto/ md5gen/gus-md5-05.cnf	UNSAT	183.161	183.218	1825160
industrial/anbulagan/ medium-unsat/total-5-13-u.cnf	UNSAT	200.324	200.392	1824768
APPLICATIONS/ bitverif/minand/minand128.cnf	UNSAT	211.563	211.638	1825110
manol-pipe-c10nidw_s.cnf	UNSAT	217.933	218.005	1825557
simon-s03-fifo8-300.cnf	UNSAT	247.257	247.489	1825593
industrial/palacios/uts/ uts-l06-ipc5-h31-unknown.cnf	UNSAT	313.233	313.335	1824840
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf	UNSAT	318.51	318.592	1824862
industrial/palacios/medium/ blocks-4-ipc5-h22-unknown.cnf	UNSAT	365.629	365.738	1824852
manol-pipe-c6bidw_i.cnf	UNSAT	446.287	446.446	1825066
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	UNSAT	459.847	460.112	1825360
velev-live-uns-2.0-ebuf.cnf	UNSAT	477.916	478.118	1825575
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_07_UNSAT.cnf	UNSAT	493.363	493.495	1825420
APPLICATIONS/crypto/ md5gen/gus-md5-06.cnf	UNSAT	511.427	511.612	1825158
APPLICATIONS/bioinfo/ q_query_3_L80_coli.sat.cnf	UNSAT	558.515	558.69	1825314
APPLICATIONS/c32sat/ post-c32s-col400-16.cnf	UNSAT	599.344	599.569	1825304
manol-pipe-g10nid.cnf	UNSAT	614.979	615.136	1825062
APPLICATIONS/diagnosis/ UTI-15-10p0.cnf	UNSAT	636.567	636.88	1825364
APPLICATIONS/diagnosis/ UR-15-5p0.cnf	UNSAT	637.607	637.791	1825378
goldb-heqc-alu4mul.cnf	UNSAT	649.914	650.148	1825084
APPLICATIONS/bioinfo/ q_query_3_L100_coli.sat.cnf	UNSAT	655.852	656.071	1825328
manol-pipe-g10bidw.cnf	UNSAT	662.089	662.268	1825559
APPLICATIONS/bioinfo/ q_query_3_L90_coli.sat.cnf	UNSAT	683.708	684.015	1825318
goldb-heqc-i10mul.cnf	UNSAT	706.189	706.4	1825565
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	UNSAT	721.908	722.245	1825316
schup-l2s-guid-1-k56.cnf	UNSAT	737.409	737.665	1825591
manol-pipe-c6nidw_i.cnf	UNSAT	738.383	738.634	1825605
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_07_UNSAT.cnf	UNSAT	797.564	797.761	1825428
APPLICATIONS/bioinfo/ q_query_3_L200_coli.sat.cnf	UNSAT	810.864	811.21	1825324
industrial/palacios/uts/ uts-l06-ipc5-h33-unknown.cnf	UNSAT	810.998	811.309	1824838
simon-s02b-dp11u10.cnf	UNSAT	836.745	836.951	1825581
APPLICATIONS/bitverif/ minxorminand/minxorminand064.cnf	UNSAT	1063.69	1063.98	1825092
industrial/fuhs/medium/ AProVE07-16.cnf	UNSAT	1287.02	1287.5	1824812
APPLICATIONS/crypto/ md5gen/gus-md5-07.cnf	UNSAT	1431.01	1431.4	1825166
APPLICATIONS/bioinfo/ q_query_3_l45_lambda.cnf	UNSAT	1861.82	1862.44	1825294
APPLICATIONS/bioinfo/ q_query_3_l48_lambda.cnf	UNSAT	1871.33	1871.86	1825290
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	UNSAT	1940.73	1941.21	1825278
manol-pipe-f9b.cnf	UNSAT	2041.36	2042.41	1825054
APPLICATIONS/bioinfo/ q_query_3_l44_lambda.cnf	UNSAT	2071.07	2071.81	1825276
APPLICATIONS/bioinfo/ q_query_3_l47_lambda.cnf	UNSAT	2232.01	2232.56	1825288
manol-pipe-c7bidw_i.cnf	UNSAT	2299.6	2300.17	1825597
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	UNSAT	2312.99	2313.69	1825300
manol-pipe-f9n.cnf	UNSAT	2504.39	2505.13	1825585
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	UNSAT	2659.29	2660.08	1825372
APPLICATIONS/bitverif/countbitswegner/ countbitswegner064.cnf	UNSAT	2872.92	2873.69	1825132
industrial/anbulagan/ hard-unsat/dated-5-15-u.cnf	UNSAT	3062.71	3064.12	1824792
APPLICATIONS/diagnosis/ UTI-15-5p0.cnf	UNSAT	3153.49	3155.03	1825348
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf	UNSAT	3262.7	3263.94	1824868
industrial/anbulagan/ hard-unsat/dated-5-17-u.cnf	UNSAT	3421.77	3423.16	1824796
manol-pipe-c7nidw.cnf	UNSAT	3627.88	3629.26	1825567
APPLICATIONS/diagnosis/ ACG-15-10p0.cnf	UNSAT	4174.92	4176.21	1825336
APPLICATIONS/c32sat/ post-cbmc-aes-d-r2-noholes.cnf	UNSAT	4335.75	4337.21	1825298
industrial/palacios/ medium/emptyroom-4-h21-unsat.cnf	UNSAT	4658.07	4659.42	1824850
industrial/fuhs/medium/ AProVE07-09.cnf	UNSAT	5436.05	5437.52	1824810
APPLICATIONS/diagnosis/ UR-15-10p0.cnf	UNSAT	5450.63	5452.18	1825380
schup-l2s-bc56s-1-k391.cnf	UNSAT	5550.58	5552.14	1825052
APPLICATIONS/diagnosis/ UTI-20-5p0.cnf	UNSAT	6431.62	6433.27	1825334
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	UNSAT	7840.54	7843.68	1825370
APPLICATIONS/diagnosis/ UR-20-5p0.cnf	UNSAT	7948.85	7952.38	1825354
APPLICATIONS/bitverif/ maxxororand/maxxororand032.cnf	UNSAT	9189.74	9192.86	1825130

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/aprove09/ AProVE09-13.cnf	SAT	0.281956	0.284673	1825220
APPLICATIONS/aprove09/ AProVE09-22.cnf	SAT	0.354945	0.358986	1825226
een-tip-sat-texas-tp-5e.cnf	SAT	0.897863	0.903565	1825082
APPLICATIONS/aprove09/ AProVE09-11.cnf	SAT	0.91486	0.919167	1825238
APPLICATIONS/aprove09/ AProVE09-12.cnf	SAT	1.43978	1.44926	1825222
APPLICATIONS/aprove09/ AProVE09-25.cnf	SAT	1.90971	1.92382	1825218
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_17_SAT.cnf	SAT	1.91571	1.91645	1825416
APPLICATIONS/aprove09/ AProVE09-03.cnf	SAT	3.98639	4.01234	1825232
APPLICATIONS/aprove09/ AProVE09-05.cnf	SAT	4.08038	4.08544	1825214
APPLICATIONS/aprove09/ AProVE09-10.cnf	SAT	4.38733	4.4265	1825236
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_14_SAT.cnf	SAT	4.43433	4.43692	1825404
APPLICATIONS/aprove09/ AProVE09-24.cnf	SAT	5.51716	5.54227	1825212
APPLICATIONS/bioinfo/ q_query_3_l38_lambda.cnf	SAT	6.39703	6.41023	1825292
APPLICATIONS/aprove09/ AProVE09-01.cnf	SAT	6.64299	6.67246	1825224
APPLICATIONS/aprove09/ AProVE09-19.cnf	SAT	7.82881	7.84208	1825240
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_22_SAT.cnf	SAT	8.66768	8.67138	1825394
APPLICATIONS/bioinfo/ q_query_3_l40_lambda.cnf	SAT	9.75552	9.77136	1825272
APPLICATIONS/bioinfo/ q_query_3_l37_lambda.cnf	SAT	11.4773	11.488	1825280
industrial/grieu/ vmpc_25.cnf	SAT	11.6182	11.6207	1824870
APPLICATIONS/aprove09/ AProVE09-21.cnf	SAT	12.1831	12.1999	1825216
APPLICATIONS/bioinfo/ q_query_3_l39_lambda.cnf	SAT	15.2787	15.2936	1825286
APPLICATIONS/bioinfo/ q_query_3_l41_lambda.cnf	SAT	16.9484	16.9617	1825284
APPLICATIONS/aprove09/ AProVE09-07.cnf	SAT	24.8822	24.8939	1825230
APPLICATIONS/aprove09/ AProVE09-17.cnf	SAT	25.8131	25.8368	1825208
APPLICATIONS/aprove09/ AProVE09-08.cnf	SAT	29.9015	29.9125	1825234
APPLICATIONS/aprove09/ AProVE09-15.cnf	SAT	38.3122	38.3698	1825228
APPLICATIONS/diagnosis/ UR-10-5p1.cnf	SAT	48.5416	48.6074	1825342
APPLICATIONS/bioinfo/ q_query_3_l42_lambda.cnf	SAT	52.2191	52.2494	1825274
APPLICATIONS/bioinfo/ q_query_3_l43_lambda.cnf	SAT	66.2959	66.323	1825282
industrial/grieu/ vmpc_24.cnf	SAT	68.8785	68.9161	1824876
APPLICATIONS/crypto/ desgen/gss-13-s100.cnf	SAT	81.9565	81.9905	1825194
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	SAT	82.2215	82.2615	1825174
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_21_SAT.cnf	SAT	92.7009	92.7419	1825414
industrial/grieu/ vmpc_26.cnf	SAT	101.83	101.857	1824884
APPLICATIONS/bioinfo/ q_query_3_L60_coli.sat.cnf	SAT	121.414	121.527	1825322
industrial/palacios/uts/ uts-l06-ipc5-h35-unknown.cnf	SAT	147.1	147.208	1824834
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	SAT	167.465	167.523	1825184
APPLICATIONS/aprove09/ AProVE09-20.cnf	SAT	230.506	230.585	1825210
velev-pipe-sat-1.0-b7.cnf	SAT	239.332	239.535	1825555
industrial/grieu/ vmpc_28.cnf	SAT	277.102	277.199	1824880
simon-s03-w08-15.cnf	SAT	323.752	323.874	1825046
mizh-sha0-35-3.cnf	SAT	326.77	326.899	1825078
velev-pipe-sat-1.0-b10.cnf	SAT	361.831	361.991	1825561
mizh-sha0-36-2.cnf	SAT	375.115	375.235	1825587
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_20_SAT.cnf	SAT	391.912	391.878	1825426
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	SAT	433.739	434.01	1825320
APPLICATIONS/crypto/ desgen/gss-17-s100.cnf	SAT	439.052	439.182	1825170
industrial/grieu/ vmpc_30.cnf	SAT	458.996	459.156	1824872
APPLICATIONS/crypto/ desgen/gss-15-s100.cnf	SAT	561.996	562.219	1825186
APPLICATIONS/crypto/ desgen/gss-20-s100.cnf	SAT	608.764	609	1825182
industrial/anbulagan/ medium-sat/partial-5-15-s.cnf	SAT	640.812	641.134	1824778
mizh-md5-47-4.cnf	SAT	695.575	695.784	1825074
industrial/anbulagan/ medium-sat/partial-5-13-s.cnf	SAT	695.576	695.839	1824776
APPLICATIONS/diagnosis/ UTI-15-5p1.cnf	SAT	799.456	799.772	1825386
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	SAT	941.901	942.488	1824908
schup-l2s-motst-2-k315.cnf	SAT	976.784	977.192	1825056
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf	SAT	1058.44	1058.36	1824910
APPLICATIONS/diagnosis/ UTI-20-5p1.cnf	SAT	1062.81	1063.2	1825368
APPLICATIONS/diagnosis/ UTI-15-10p1.cnf	SAT	1250.81	1251.15	1825330
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	SAT	1420	1420.67	1825376
APPLICATIONS/c32sat/ post-c32s-gcdm16-22.cnf	SAT	1708.22	1708.73	1825310
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	SAT	1841.43	1842.01	1824772
vange-col-abb313GPIA-9-c.cnf	SAT	2095.62	2096.24	1825068
APPLICATIONS/diagnosis/ ACG-20-5p1.cnf	SAT	2322.95	2324.16	1825362
mizh-md5-47-3.cnf	SAT	2761.8	2762.5	1825036
mizh-sha0-36-3.cnf	SAT	3107.53	3108.55	1825048
mizh-sha0-36-4.cnf	SAT	3239.3	3240.22	1825064
industrial/anbulagan/ hard-sat/partial-5-17-s.cnf	SAT	3772.32	3773.61	1824770
APPLICATIONS/aprove09/ AProVE09-06.cnf	SAT	3914.98	3916.09	1825206
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	SAT	3938.1	3939.97	1825352
APPLICATIONS/diagnosis/ ACG-15-10p1.cnf	SAT	4856.16	4857.82	1825358
industrial/narain/ clauses-8.cnf	SAT	5307.79	5310.24	1824886
mizh-md5-48-5.cnf	SAT	5935.21	5936.95	1825086
industrial/palacios/medium/ cube-11-h14-sat.cnf	SAT	7477.71	7479.65	1824846
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	SAT	7671.17	7673.17	1825204
APPLICATIONS/diagnosis/ UR-15-10p1.cnf	SAT	8574.56	8578.32	1825344

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/palacios/medium/ cube-11-h13-unsat.cnf	? (TO)	10000	10004.3	1824848
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	10000	10002.3	1825164
APPLICATIONS/bitverif/ mulhs/mulhs032.cnf	? (TO)	10000	10003.7	1825120
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_10_UNKNOWN.cnf	? (TO)	10000	10003.1	1825392
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_12_UNKNOWN.cnf	? (TO)	10000	10003	1825430
APPLICATIONS/crypto/ desgen/gss-23-s100.cnf	? (TO)	10000	10002.6	1825192
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	10000	10002.3	1824858
APPLICATIONS/bitverif/ countbitssrl/countbitssrl032.cnf	? (TO)	10000	10002.6	1825112
APPLICATIONS/crypto/ desgen/gss-28-s100.cnf	? (TO)	10000	10003.7	1825200
simon-s02b-k2f-gr-rcs-w8.cnf	? (TO)	10000	10004.2	1825595
APPLICATIONS/crypto/ desgen/gss-33-s100.cnf	? (TO)	10000	10002.9	1825190
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	10000	10002.4	1825438
APPLICATIONS/crypto/ desgen/gss-24-s100.cnf	? (TO)	10000	10003	1825198
APPLICATIONS/crypto/ desgen/gss-25-s100.cnf	? (TO)	10000	10003.4	1825202
goldb-heqc-x1mul.cnf	? (TO)	10000	10003.5	1825034
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate128.cnf	? (TO)	10000	10000.4	1825104
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	10000	10002.6	1824864
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_11_UNKNOWN.cnf	? (TO)	10000	10002.7	1825388
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_15_UNKNOWN.cnf	? (TO)	10000	10002.9	1825408
industrial/fuhs/hard/ AProVE07-08.cnf	? (TO)	10000	10003.5	1824816
industrial/fuhs/hard/ AProVE07-26.cnf	? (TO)	10000	10002.5	1824820
industrial/fuhs/hard/ AProVE07-25.cnf	? (TO)	10000	10004.7	1824818
aloul-chnl11-13.cnf	? (TO)	10000	10002.5	1825070
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_12_UNSAT.cnf	? (TO)	10000	10002.9	1825396
goldb-heqc-dalumul.cnf	? (TO)	10000	10002.6	1825072
industrial/palacios/hard/ safe-50-h49-unsat.cnf	? (TO)	10000	10003.6	1824828
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf	? (TO)	10000	10003.5	1824860
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_13_UNKNOWN.cnf	? (TO)	10000	10002.5	1825440
industrial/grieu/ vmpc_29.cnf	? (TO)	10000	10004.8	1824878
manol-pipe-c10nid_i.cnf	? (TO)	10000.1	10004.4	1825080
industrial/palacios/hard/ safe-30-h29-unsat.cnf	? (TO)	10000.1	10002.6	1824830
APPLICATIONS/bitverif/ maxxororand/maxxororand128.cnf	? (TO)	10000.1	10005.1	1825128
APPLICATIONS/bitverif/ countbitssrl/countbitssrl128.cnf	? (TO)	10000.1	10003.3	1825114
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	10000.1	10002.7	1825118
APPLICATIONS/bitverif/ smulo/smulo128.cnf	? (TO)	10000.1	10002.9	1825124
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	10000.1	10004.2	1825136
APPLICATIONS/bitverif/countbitsarray/ countbitsarray02_32.cnf	? (TO)	10000.1	10002.7	1825138
APPLICATIONS/bitverif/countbitsarray/ countbitsarray08_32.cnf	? (TO)	10000.1	10003.6	1825140
APPLICATIONS/bitverif/countbitsarray/ countbitsarray32_32.cnf	? (TO)	10000.1	10004.2	1825142
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	10000.1	10004.4	1825144
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	10000.1	10004.4	1825146
APPLICATIONS/crypto/ md5gen/gus-md5-15.cnf	? (TO)	10000.1	10003	1825148
APPLICATIONS/crypto/ md5gen/gus-md5-16.cnf	? (TO)	10000.1	10002.8	1825150
APPLICATIONS/crypto/ md5gen/gus-md5-10.cnf	? (TO)	10000.1	10003.3	1825152
APPLICATIONS/crypto/ md5gen/gus-md5-09.cnf	? (TO)	10000.1	10004.2	1825154
APPLICATIONS/crypto/ md5gen/gus-md5-14.cnf	? (TO)	10000.1	10002.7	1825156
industrial/anbulagan/ hard-unsat/partial-10-19-u.cnf	? (TO)	10000.1	10002.6	1824808
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	10000.1	10002.4	1824814
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	10000.1	10003.4	1824832
APPLICATIONS/crypto/ desgen/gss-31-s100.cnf	? (TO)	10000.1	10003.5	1825168
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	10000.1	10003.5	1825178
APPLICATIONS/crypto/ desgen/gss-32-s100.cnf	? (TO)	10000.1	10002.5	1825172
industrial/grieu/ vmpc_34.cnf	? (TO)	10000.1	10003.6	1824882
APPLICATIONS/crypto/ desgen/gss-26-s100.cnf	? (TO)	10000.1	9998.81	1825180
APPLICATIONS/crypto/ desgen/gss-34-s100.cnf	? (TO)	10000.1	10004.5	1825188
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	10000.1	10004.8	1825196
APPLICATIONS/ c32sat/post-c32s-ss-8.cnf	? (TO)	10000.1	10002.5	1825306
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r2-noholes.cnf	? (TO)	10000.1	10002.7	1825296
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r3-noholes.cnf	? (TO)	10000.1	10003	1825312
APPLICATIONS/diagnosis/ ACG-20-10p1.cnf	? (TO)	10000.1	10004.2	1825350
APPLICATIONS/diagnosis/ UR-20-5p1.cnf	? (TO)	10000.1	10002.5	1825356
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (TO)	10000.1	10004.5	1825384
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_08_UNSAT.cnf	? (TO)	10000.1	10002.4	1825390
APPLICATIONS/diagnosis/ UCG-20-10p1.cnf	? (TO)	10000.1	10005.2	1825366
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	? (TO)	10000.1	10002.8	1825382
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_17_UNKNOWN.cnf	? (TO)	10000.1	10003	1825398
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_14_UNSAT.cnf	? (TO)	10000.1	10002.9	1825400
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_11_UNSAT.cnf	? (TO)	10000.1	10002.7	1825402
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_13_UNKNOWN.cnf	? (TO)	10000.1	10002.6	1825406
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	10000.1	10004.5	1825176
industrial/anbulagan/ medium-unsat/total-10-13-u.cnf	? (TO)	10000.1	10002.9	1824764
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf	? (TO)	10000.1	10003	1824898
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf	? (TO)	10000.1	10002.9	1824890
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf	? (TO)	10000.1	10005.1	1824900
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	10000.1	10004.2	1824780
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf	? (TO)	10000.1	10002.4	1824906
industrial/anbulagan/ hard-unsat/dated-10-19-u.cnf	? (TO)	10000.1	10002.6	1824788
industrial/anbulagan/ hard-unsat/partial-10-13-u.cnf	? (TO)	10000.1	10003	1824790
industrial/anbulagan/ hard-unsat/dated-5-19-u.cnf	? (TO)	10000.1	10002.5	1824798
velev-vliw-uns-4.0-9-i1.cnf	? (TO)	10000.1	10002.8	1825044
goldb-heqc-frg1mul.cnf	? (TO)	10000.1	10004.4	1825042
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	10000.1	10003.2	1824804
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	10000.1	10002.5	1824806
manol-pipe-c10nidw.cnf	? (TO)	10000.1	10002.5	1825058
industrial/grieu/ vmpc_33.cnf	? (TO)	10000.1	10002.8	1824874
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf	? (TO)	10000.1	10004.6	1824892
industrial/anbulagan/ hard-unsat/total-5-15-u.cnf	? (TO)	10000.1	10004.4	1824784
industrial/anbulagan/ hard-unsat/partial-5-13-u.cnf	? (TO)	10000.1	10004	1824786
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (TO)	10000.1	10003.7	1825096
APPLICATIONS/ bitverif/minxor/minxor128.cnf	? (TO)	10000.1	10002.7	1825098
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	10000.1	10003.3	1825102
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	10000.1	10002.9	1825108
industrial/anbulagan/ hard-unsat/total-10-19-u.cnf	? (TO)	10000.1	10005.2	1824794
industrial/anbulagan/ hard-unsat/total-5-17-u.cnf	? (TO)	10000.1	10004.2	1824800
industrial/anbulagan/ hard-unsat/partial-5-15-u.cnf	? (TO)	10000.1	10003.6	1824802
industrial/fuhs/hard/ AProVE07-27.cnf	? (TO)	10000.1	10002.9	1824822
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	10000.1	10002.5	1824826
industrial/palacios/hard/ sortnet-8-ipc5-h18-unsat.cnf	? (TO)	10000.1	10004.3	1824824
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_16_UNKNOWN.cnf	? (TO)	10000.1	10003.8	1825434
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_14_UNKNOWN.cnf	? (TO)	10000.1	10003.4	1825436
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_10_UNKNOWN.cnf	? (TO)	10000.1	10003.3	1825442
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_11_UNKNOWN.cnf	? (TO)	10000.1	10003.3	1825446
velev-pipe-o-uns-1.1-6.cnf	? (TO)	10000.1	10002.7	1825571
manol-pipe-f10ni.cnf	? (TO)	10000.1	10004.7	1825589
velev-vliw-uns-4.0-9C1.cnf	? (TO)	10000.1	10002.8	1825579
velev-pipe-o-uns-1.0-7.cnf	? (TO)	10000.1	10002.7	1825583
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	10000.1	10003.6	1825410
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_10_UNSAT.cnf	? (TO)	10000.1	10003.9	1825412
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_12_UNKNOWN.cnf	? (TO)	10000.1	10003.6	1825418
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_13_UNSAT.cnf	? (TO)	10000.1	10003	1825422
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	10000.1	10002.7	1825424
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_09_UNSAT.cnf	? (TO)	10000.1	10002.5	1825432
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf	? (TO)	10000.2	10002.6	1824894
velev-pipe-uns-1.0-8.cnf	? (TO)	10000.2	10002.6	1825603
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (TO)	10000.2	10004.4	1824774
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf	? (TO)	10000.2	10004.2	1824896
APPLICATIONS/diagnosis/ ACG-20-10p0.cnf	? (TO)	10000.2	10002.7	1825338
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf	? (TO)	10000.2	10003.1	1824902
industrial/anbulagan/ hard-unsat/partial-5-17-u.cnf	? (TO)	10000.2	10003.7	1824782
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (TO)	10000.2	10004.1	1824904

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

Result page for solver SAT07 reference solver: picosat 535 (complete)

Category "applications instances" (APPLICATION)

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

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

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

Solver exceeded the memory limit (no solution given) (1 run) [Show/Hide]