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

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
manol-pipe-g6bi.cnf	UNSAT	1.83772	1.83868	1723764
APPLICATIONS/bitverif/ minor/minor032.cnf	UNSAT	1.84072	1.84106	1553250
industrial/babic/xinetd/ xinetd_vc56703.cnf	UNSAT	2.10968	2.11143	1718852
cmu-bmc-barrel6.cnf	UNSAT	3.50647	3.5079	1719580
manol-pipe-c9.cnf	UNSAT	6.61799	6.62177	1724388
industrial/babic/hsatv17/ hsat_vc11803.cnf	UNSAT	7.55585	7.5586	1718020
een-tip-uns-nusmv-t5.B.cnf	UNSAT	7.69383	7.69638	1723400
hoons-vbmc-lucky7.cnf	UNSAT	8.20475	8.20531	1719892
industrial/babic/hsatv17/ hsat_vc11813.cnf	UNSAT	19.2531	19.2585	1717968
manol-pipe-g7nidw.cnf	UNSAT	22.5416	22.5488	1724336
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_06_UNSAT.cnf	UNSAT	22.7135	22.7206	1592844
APPLICATIONS/bioinfo/ q_query_2_L324_coli.cnf	UNSAT	26.136	26.1485	1577818
APPLICATIONS/bitverif/ minxorminand/minxorminand032.cnf	UNSAT	34.7057	34.7182	1553354
APPLICATIONS/bitverif/ minor/minor064.cnf	UNSAT	38.8841	38.8958	1553198
APPLICATIONS/ bitverif/maxand/maxand064.cnf	UNSAT	43.9113	43.9301	1555642
APPLICATIONS/bitverif/ countbitssrl/countbitssrl016.cnf	UNSAT	49.1315	49.1665	1554602
APPLICATIONS/bitverif/ minandmaxor/minandmaxor032.cnf	UNSAT	52.871	52.8881	1553822
APPLICATIONS/bitverif/ icbrt/icbrt1_32.cnf	UNSAT	54.0918	54.1055	1555070
APPLICATIONS/diagnosis/ UCG-10-5p0.cnf	UNSAT	61.6506	61.6789	1578234
APPLICATIONS/crypto/ md5gen/gus-md5-04.cnf	UNSAT	61.6826	61.702	1556890
cmu-bmc-longmult15.cnf	UNSAT	62.8654	62.8893	1720672
schup-l2s-abp4-1-k31.cnf	UNSAT	68.5136	68.5374	1719632
industrial/anbulagan/ medium-unsat/total-5-11-u.cnf	UNSAT	75.7925	75.8343	1715680
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf	UNSAT	82.8924	82.9166	1718280
industrial/palacios/uts/ uts-l05-ipc5-h26-unsat.cnf	UNSAT	84.8431	84.8763	1717500
industrial/palacios/uts/ uts-l06-ipc5-h28-unknown.cnf	UNSAT	85.1481	85.1688	1717708
APPLICATIONS/diagnosis/ UR-10-5p0.cnf	UNSAT	99.4459	99.4754	1579898
APPLICATIONS/diagnosis/ UTI-10-10p0.cnf	UNSAT	102.674	102.739	1581770
velev-engi-uns-1.0-4nd.cnf	UNSAT	107.968	107.997	1720152
APPLICATIONS/diagnosis/ ACG-10-5p0.cnf	UNSAT	110.992	111.027	1579430
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate016.cnf	UNSAT	130.336	130.388	1554134
APPLICATIONS/c32sat/ post-cbmc-aes-ele-noholes.cnf	UNSAT	131.569	131.644	1563650
manol-pipe-g10id.cnf	UNSAT	136.697	136.737	1723556
APPLICATIONS/bitverif/ smulo/smulo016.cnf	UNSAT	152.687	152.731	1554862
industrial/palacios/uts/ uts-l05-ipc5-h27-unknown.cnf	UNSAT	172.479	172.534	1717656
goldb-heqc-term1mul.cnf	UNSAT	180.018	180.067	1723660
APPLICATIONS/crypto/ md5gen/gus-md5-05.cnf	UNSAT	183.822	183.869	1556838
APPLICATIONS/ bitverif/minand/minand128.cnf	UNSAT	198.502	198.576	1554238
industrial/anbulagan/ medium-unsat/total-5-13-u.cnf	UNSAT	201.08	201.17	1715732
manol-pipe-c10nidw_s.cnf	UNSAT	216.761	216.837	1723244
simon-s03-fifo8-300.cnf	UNSAT	254.42	254.5	1724180
industrial/palacios/uts/ uts-l06-ipc5-h31-unknown.cnf	UNSAT	310.8	310.889	1717604
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf	UNSAT	315.062	315.149	1718176
industrial/palacios/medium/ blocks-4-ipc5-h22-unknown.cnf	UNSAT	366.693	366.811	1717916
manol-pipe-c6bidw_i.cnf	UNSAT	427.795	427.96	1720308
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	UNSAT	473.798	473.94	1580574
velev-live-uns-2.0-ebuf.cnf	UNSAT	479.175	479.298	1723712
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_07_UNSAT.cnf	UNSAT	487.367	487.507	1592812
APPLICATIONS/crypto/ md5gen/gus-md5-06.cnf	UNSAT	523.159	523.292	1556786
APPLICATIONS/bioinfo/ q_query_3_L80_coli.sat.cnf	UNSAT	539.903	540.112	1577506
manol-pipe-g10nid.cnf	UNSAT	580.369	580.665	1720204
APPLICATIONS/c32sat/ post-c32s-col400-16.cnf	UNSAT	599.293	599.455	1563494
manol-pipe-g10bidw.cnf	UNSAT	636.943	637.128	1723296
APPLICATIONS/bioinfo/ q_query_3_L100_coli.sat.cnf	UNSAT	658.216	658.392	1577870
APPLICATIONS/diagnosis/ UR-15-5p0.cnf	UNSAT	659.667	659.921	1581978
goldb-heqc-i10mul.cnf	UNSAT	669.988	670.181	1723452
APPLICATIONS/diagnosis/ UTI-15-10p0.cnf	UNSAT	671.69	671.934	1580886
goldb-heqc-alu4mul.cnf	UNSAT	679.794	679.995	1721036
APPLICATIONS/bioinfo/ q_query_3_L90_coli.sat.cnf	UNSAT	680.98	681.221	1577610
manol-pipe-c6nidw_i.cnf	UNSAT	707.136	707.345	1724492
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	UNSAT	723.213	723.511	1577558
schup-l2s-guid-1-k56.cnf	UNSAT	737.16	737.343	1724128
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_07_UNSAT.cnf	UNSAT	800.353	800.622	1592822
industrial/palacios/uts/ uts-l06-ipc5-h33-unknown.cnf	UNSAT	808.247	808.466	1717552
APPLICATIONS/bioinfo/ q_query_3_L200_coli.sat.cnf	UNSAT	810.089	810.432	1577766
simon-s02b-dp11u10.cnf	UNSAT	823.314	823.563	1723868
APPLICATIONS/bitverif/ minxorminand/minxorminand064.cnf	UNSAT	1120.71	1121.03	1553302

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/aprove09/ AProVE09-13.cnf	SAT	0.284956	0.286708	1560322
APPLICATIONS/aprove09/ AProVE09-22.cnf	SAT	0.329948	0.334471	1560478
APPLICATIONS/aprove09/ AProVE09-11.cnf	SAT	0.905861	0.912812	1560894
een-tip-sat-texas-tp-5e.cnf	SAT	0.961853	0.965987	1720932
APPLICATIONS/aprove09/ AProVE09-12.cnf	SAT	1.44578	1.45464	1560374
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_17_SAT.cnf	SAT	1.79673	1.79886	1592806
APPLICATIONS/aprove09/ AProVE09-25.cnf	SAT	1.91571	1.92792	1560166
APPLICATIONS/aprove09/ AProVE09-03.cnf	SAT	4.00139	4.02347	1560686
APPLICATIONS/aprove09/ AProVE09-05.cnf	SAT	4.08538	4.09269	1560062
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_14_SAT.cnf	SAT	4.41533	4.41759	1592790
APPLICATIONS/aprove09/ AProVE09-10.cnf	SAT	4.45732	4.48397	1560842
APPLICATIONS/aprove09/ AProVE09-24.cnf	SAT	5.19721	5.22382	1559958
APPLICATIONS/bioinfo/ q_query_3_l38_lambda.cnf	SAT	6.41702	6.4281	1563182
APPLICATIONS/aprove09/ AProVE09-01.cnf	SAT	6.606	6.63332	1560426
APPLICATIONS/aprove09/ AProVE09-19.cnf	SAT	7.79681	7.80908	1560946
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_22_SAT.cnf	SAT	8.62769	8.63966	1592774
APPLICATIONS/bioinfo/ q_query_3_l40_lambda.cnf	SAT	9.8435	9.85523	1562662
APPLICATIONS/bioinfo/ q_query_3_l37_lambda.cnf	SAT	10.7444	10.7572	1562870
industrial/grieu/ vmpc_25.cnf	SAT	11.5512	11.5546	1718384
APPLICATIONS/aprove09/ AProVE09-21.cnf	SAT	12.3131	12.3295	1560114
APPLICATIONS/bioinfo/ q_query_3_l39_lambda.cnf	SAT	15.2867	15.3007	1563026
APPLICATIONS/bioinfo/ q_query_3_l41_lambda.cnf	SAT	16.9614	16.9781	1562974
APPLICATIONS/aprove09/ AProVE09-07.cnf	SAT	23.3205	23.3297	1560634
APPLICATIONS/aprove09/ AProVE09-17.cnf	SAT	24.4293	24.4531	1559750
APPLICATIONS/aprove09/ AProVE09-08.cnf	SAT	30.3614	30.3733	1560738
APPLICATIONS/aprove09/ AProVE09-15.cnf	SAT	38.4262	38.4821	1560582
APPLICATIONS/diagnosis/ UR-10-5p1.cnf	SAT	50.5513	50.6138	1579482
APPLICATIONS/bioinfo/ q_query_3_l42_lambda.cnf	SAT	53.2359	53.2384	1562714
APPLICATIONS/bioinfo/ q_query_3_l43_lambda.cnf	SAT	66.5169	66.55	1562922
industrial/grieu/ vmpc_24.cnf	SAT	68.2946	68.3143	1718540
APPLICATIONS/crypto/ desgen/gss-13-s100.cnf	SAT	82.1395	82.1751	1559230
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	SAT	82.2625	82.2974	1557826
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_21_SAT.cnf	SAT	89.7993	89.8251	1592802
industrial/grieu/ vmpc_26.cnf	SAT	100.652	100.694	1718748
APPLICATIONS/bioinfo/ q_query_3_L60_coli.sat.cnf	SAT	121.551	121.656	1577714
industrial/palacios/uts/ uts-l06-ipc5-h35-unknown.cnf	SAT	141.932	142.053	1717448
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	SAT	158.328	158.381	1558450
APPLICATIONS/aprove09/ AProVE09-20.cnf	SAT	228.639	228.714	1559802
velev-pipe-sat-1.0-b7.cnf	SAT	238.99	239.154	1723192
industrial/grieu/ vmpc_28.cnf	SAT	263.469	263.563	1718644
simon-s03-w08-15.cnf	SAT	323.901	324.054	1719788
mizh-sha0-35-3.cnf	SAT	326.303	326.431	1720724
velev-pipe-sat-1.0-b10.cnf	SAT	345.685	345.866	1723348
mizh-sha0-36-2.cnf	SAT	358.806	358.977	1724024
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_20_SAT.cnf	SAT	380.27	380.408	1592820
APPLICATIONS/crypto/ desgen/gss-17-s100.cnf	SAT	417.013	417.219	1557618
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	SAT	433.296	433.482	1577662
industrial/grieu/ vmpc_30.cnf	SAT	460.604	460.732	1718436
APPLICATIONS/crypto/ desgen/gss-15-s100.cnf	SAT	560.549	560.731	1558502
APPLICATIONS/crypto/ desgen/gss-20-s100.cnf	SAT	610.193	610.437	1558242
industrial/anbulagan/ medium-sat/partial-5-15-s.cnf	SAT	642.21	642.436	1715992
mizh-md5-47-4.cnf	SAT	665.582	670.119	1720568
industrial/anbulagan/ medium-sat/partial-5-13-s.cnf	SAT	696.359	696.614	1715940
APPLICATIONS/diagnosis/ UTI-15-5p1.cnf	SAT	801.769	802.033	1582758
schup-l2s-motst-2-k315.cnf	SAT	944.139	944.477	1720048
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	SAT	980.319	983.777	1719372
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf	SAT	1020.42	1020.9	1719424
APPLICATIONS/diagnosis/ UTI-20-5p1.cnf	SAT	1062.26	1062.85	1581354
APPLICATIONS/diagnosis/ UTI-15-10p1.cnf	SAT	1185.25	1185.85	1577922

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/grieu/ vmpc_29.cnf	? (TO)	1200.01	1200.41	1718592
APPLICATIONS/aprove09/ AProVE09-06.cnf	? (TO)	1200.02	1200.41	1559698
industrial/fuhs/hard/ AProVE07-25.cnf	? (TO)	1200.02	1200.31	1717032
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	1200.02	1200.41	1557046
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_12_UNKNOWN.cnf	? (TO)	1200.02	1200.31	1592824
APPLICATIONS/crypto/ md5gen/gus-md5-16.cnf	? (TO)	1200.02	1200.51	1556526
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf	? (TO)	1200.02	1200.32	1719320
APPLICATIONS/bitverif/countbitsarray/ countbitsarray08_32.cnf	? (TO)	1200.02	1200.31	1556110
APPLICATIONS/bitverif/countbitswegner/ countbitswegner064.cnf	? (TO)	1200.02	1200.41	1555486
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	1200.02	1200.31	1554706
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	1200.03	1200.32	1553874
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_16_UNKNOWN.cnf	? (TO)	1200.03	1200.42	1592832
APPLICATIONS/bitverif/ countbitssrl/countbitssrl128.cnf	? (TO)	1200.03	1200.52	1554550
APPLICATIONS/bitverif/ maxxororand/maxxororand032.cnf	? (TO)	1200.03	1200.41	1555278
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf	? (TO)	1200.03	1200.42	1719164
goldb-heqc-dalumul.cnf	? (TO)	1200.03	1200.31	1720464
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	1200.03	1200.51	1556370
APPLICATIONS/diagnosis/ ACG-15-10p1.cnf	? (TO)	1200.04	1200.63	1580366
manol-pipe-c10nidw.cnf	? (TO)	1200.04	1200.72	1720100
manol-pipe-c10nid_i.cnf	? (TO)	1200.04	1200.32	1720776
APPLICATIONS/crypto/ desgen/gss-23-s100.cnf	? (TO)	1200.04	1200.41	1559022
velev-pipe-uns-1.0-8.cnf	? (TO)	1200.04	1200.64	1724440
industrial/anbulagan/ hard-unsat/dated-10-19-u.cnf	? (TO)	1200.04	1200.42	1716252
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r3-noholes.cnf	? (TO)	1200.04	1200.54	1563754
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	1200.04	1200.51	1716928
industrial/fuhs/hard/ AProVE07-08.cnf	? (TO)	1200.04	1200.61	1716980
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	1200.04	1200.42	1717396
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (TO)	1200.04	1200.73	1582446
industrial/palacios/medium/ cube-11-h14-sat.cnf	? (TO)	1200.04	1200.43	1717760
APPLICATIONS/crypto/ desgen/gss-32-s100.cnf	? (TO)	1200.04	1200.51	1557722
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	1200.04	1200.41	1557982
goldb-heqc-frg1mul.cnf	? (TO)	1200.04	1200.31	1719684
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_09_UNSAT.cnf	? (TO)	1200.05	1200.41	1592826
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf	? (TO)	1200.05	1200.63	1719008
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	1200.05	1200.41	1558034
vange-col-abb313GPIA-9-c.cnf	? (TO)	1200.05	1200.52	1720360
industrial/fuhs/hard/ AProVE07-27.cnf	? (TO)	1200.05	1200.81	1717136
industrial/palacios/hard/ safe-30-h29-unsat.cnf	? (TO)	1200.05	1200.41	1717344
velev-pipe-o-uns-1.1-6.cnf	? (TO)	1200.05	1200.41	1723608
industrial/palacios/medium/ cube-11-h13-unsat.cnf	? (TO)	1200.05	1200.52	1717812
APPLICATIONS/crypto/ desgen/gss-26-s100.cnf	? (TO)	1200.05	1200.41	1558086
APPLICATIONS/bitverif/ countbitssrl/countbitssrl032.cnf	? (TO)	1200.05	1200.51	1554446
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	? (TO)	1200.05	1200.54	1581510
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_10_UNKNOWN.cnf	? (TO)	1200.05	1200.41	1592842
velev-pipe-o-uns-1.0-7.cnf	? (TO)	1200.05	1200.52	1723920
industrial/anbulagan/ hard-unsat/partial-5-13-u.cnf	? (TO)	1200.06	1200.53	1716200
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_11_UNKNOWN.cnf	? (TO)	1200.06	1200.61	1592768
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (TO)	1200.06	1200.74	1715888
APPLICATIONS/bitverif/ maxxororand/maxxororand128.cnf	? (TO)	1200.06	1200.62	1555174
industrial/fuhs/hard/ AProVE07-26.cnf	? (TO)	1200.06	1200.41	1717084
industrial/palacios/hard/ sortnet-8-ipc5-h18-unsat.cnf	? (TO)	1200.06	1200.62	1717188
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_10_UNKNOWN.cnf	? (TO)	1200.06	1200.41	1592772
mizh-sha0-36-4.cnf	? (TO)	1200.06	1200.52	1720256
goldb-heqc-x1mul.cnf	? (TO)	1200.06	1200.41	1719476
APPLICATIONS/bioinfo/ q_query_3_l44_lambda.cnf	? (TO)	1200.06	1200.51	1562766
industrial/narain/ clauses-8.cnf	? (TO)	1200.06	1200.35	1718800
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	1200.06	1200.51	1718072
industrial/anbulagan/ hard-unsat/total-5-17-u.cnf	? (TO)	1200.06	1200.52	1716564
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	? (TO)	1200.06	1200.41	1563390
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate128.cnf	? (TO)	1200.06	1200.41	1554030
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	1200.07	1200.42	1716668
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf	? (TO)	1200.07	1200.51	1718124
manol-pipe-f9n.cnf	? (TO)	1200.07	1200.41	1723972
industrial/anbulagan/ hard-unsat/dated-5-17-u.cnf	? (TO)	1200.07	1200.51	1716460
industrial/grieu/ vmpc_34.cnf	? (TO)	1200.07	1200.41	1718696
mizh-md5-47-3.cnf	? (TO)	1200.07	1200.41	1719528
manol-pipe-c7nidw.cnf	? (TO)	1200.07	1200.41	1723504
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	1200.07	1200.41	1554186
APPLICATIONS/bitverif/countbitsarray/ countbitsarray32_32.cnf	? (TO)	1200.07	1200.42	1556162
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	1200.07	1200.52	1555902
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	? (TO)	1200.07	1207.04	1582186
APPLICATIONS/ bitverif/minxor/minxor128.cnf	? (TO)	1200.07	1200.52	1553510
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	? (TO)	1200.07	1200.63	1580106
APPLICATIONS/diagnosis/ UTI-20-5p0.cnf	? (TO)	1200.07	1200.53	1578806
APPLICATIONS/crypto/ desgen/gss-25-s100.cnf	? (TO)	1200.07	1200.41	1559542
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	1200.07	1200.41	1559282
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	? (TO)	1200.07	1200.41	1559646
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	1200.07	1200.51	1592818
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_11_UNKNOWN.cnf	? (TO)	1200.07	1200.51	1592846
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_17_UNKNOWN.cnf	? (TO)	1200.07	1200.42	1592778
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	1200.07	1200.41	1592796
APPLICATIONS/bioinfo/ q_query_3_l45_lambda.cnf	? (TO)	1200.07	1200.41	1563234
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_14_UNSAT.cnf	? (TO)	1200.08	1200.41	1592782
APPLICATIONS/crypto/ desgen/gss-33-s100.cnf	? (TO)	1200.08	1200.41	1558866
APPLICATIONS/crypto/ md5gen/gus-md5-10.cnf	? (TO)	1200.08	1200.41	1556578
APPLICATIONS/ c32sat/post-c32s-ss-8.cnf	? (TO)	1200.08	1200.41	1563598
APPLICATIONS/diagnosis/ ACG-20-10p0.cnf	? (TO)	1200.08	1200.64	1579378
APPLICATIONS/diagnosis/ ACG-20-5p1.cnf	? (TO)	1200.08	1200.43	1580782
aloul-chnl11-13.cnf	? (TO)	1200.08	1200.41	1720412
APPLICATIONS/bitverif/countbitsarray/ countbitsarray02_32.cnf	? (TO)	1200.08	1200.51	1556058
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_12_UNSAT.cnf	? (TO)	1200.08	1200.71	1592776
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	1200.08	1200.41	1716720
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_15_UNKNOWN.cnf	? (TO)	1200.08	1200.52	1592794
APPLICATIONS/crypto/ md5gen/gus-md5-09.cnf	? (TO)	1200.08	1200.41	1556630
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_13_UNSAT.cnf	? (TO)	1200.08	1200.41	1592816
industrial/grieu/ vmpc_33.cnf	? (TO)	1200.08	1200.41	1718488
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf	? (TO)	1200.08	1200.65	1718956
APPLICATIONS/diagnosis/ UR-15-10p0.cnf	? (TO)	1200.08	1200.63	1582030
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (TO)	1200.08	1200.64	1719268
APPLICATIONS/crypto/ md5gen/gus-md5-07.cnf	? (TO)	1200.08	1200.51	1557098
industrial/anbulagan/ hard-unsat/dated-5-15-u.cnf	? (TO)	1200.09	1200.51	1716356
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf	? (TO)	1200.09	1200.41	1718332
industrial/fuhs/medium/ AProVE07-16.cnf	? (TO)	1200.09	1200.41	1716876
APPLICATIONS/bitverif/ smulo/smulo128.cnf	? (TO)	1200.09	1200.52	1554914
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	? (TO)	1200.09	1200.43	1581926
industrial/fuhs/medium/ AProVE07-09.cnf	? (TO)	1200.09	1200.41	1716824
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_10_UNSAT.cnf	? (TO)	1200.09	1200.51	1592800
APPLICATIONS/diagnosis/ ACG-20-10p1.cnf	? (TO)	1200.09	1200.44	1580054
industrial/anbulagan/ hard-unsat/total-5-15-u.cnf	? (TO)	1200.09	1200.42	1716148
APPLICATIONS/c32sat/ post-c32s-gcdm16-22.cnf	? (TO)	1200.09	1200.61	1563702
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r2-noholes.cnf	? (TO)	1200.09	1200.53	1563286
APPLICATIONS/crypto/ desgen/gss-28-s100.cnf	? (TO)	1200.09	1200.51	1559386
APPLICATIONS/crypto/ desgen/gss-34-s100.cnf	? (TO)	1200.09	1200.41	1558814
industrial/anbulagan/ hard-sat/partial-5-17-s.cnf	? (TO)	1200.09	1200.54	1715784
APPLICATIONS/crypto/ desgen/gss-31-s100.cnf	? (TO)	1200.09	1200.41	1557514
industrial/anbulagan/ medium-unsat/total-10-13-u.cnf	? (TO)	1200.09	1200.42	1715628
industrial/palacios/ medium/emptyroom-4-h21-unsat.cnf	? (TO)	1200.09	1200.41	1717864
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_11_UNSAT.cnf	? (TO)	1200.09	1200.41	1592788
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_08_UNSAT.cnf	? (TO)	1200.09	1206.11	1592770
mizh-sha0-36-3.cnf	? (TO)	1200.09	1200.52	1719840
velev-vliw-uns-4.0-9C1.cnf	? (TO)	1200.09	1200.42	1723816
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf	? (TO)	1200.09	1200.41	1719112
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf	? (TO)	1200.09	1200.41	1718904
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	1200.1	1200.41	1718228
APPLICATIONS/diagnosis/ ACG-15-10p0.cnf	? (TO)	1200.1	1200.43	1578962
mizh-md5-48-5.cnf	? (TO)	1200.1	1200.41	1721140
manol-pipe-f9b.cnf	? (TO)	1200.1	1200.71	1719996
simon-s02b-k2f-gr-rcs-w8.cnf	? (TO)	1200.1	1200.41	1724232
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf	? (TO)	1200.1	1200.63	1719060
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	1200.1	1200.51	1717240
industrial/anbulagan/ hard-unsat/dated-5-19-u.cnf	? (TO)	1200.1	1200.61	1716512
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_13_UNKNOWN.cnf	? (TO)	1200.1	1200.41	1592792
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_13_UNKNOWN.cnf	? (TO)	1200.1	1200.41	1592840
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	? (TO)	1200.11	1200.41	1562818
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	1200.11	1200.62	1716044
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_14_UNKNOWN.cnf	? (TO)	1200.11	1200.51	1592834
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_12_UNKNOWN.cnf	? (TO)	1200.11	1200.51	1592808
APPLICATIONS/crypto/ desgen/gss-24-s100.cnf	? (TO)	1200.11	1200.41	1559334
schup-l2s-bc56s-1-k391.cnf	? (TO)	1200.11	1200.63	1719944
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	1200.11	1200.42	1556266
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	? (TO)	1200.11	1200.73	1581614
velev-vliw-uns-4.0-9-i1.cnf	? (TO)	1200.11	1200.53	1719736
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf	? (TO)	1200.11	1200.64	1719216
APPLICATIONS/bitverif/ mulhs/mulhs032.cnf	? (TO)	1200.11	1200.41	1554758
APPLICATIONS/bioinfo/ q_query_3_l48_lambda.cnf	? (TO)	1200.11	1200.41	1563130
APPLICATIONS/bioinfo/ q_query_3_l47_lambda.cnf	? (TO)	1200.11	1200.51	1563078
manol-pipe-c7bidw_i.cnf	? (TO)	1200.11	1200.41	1724284
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (TO)	1200.11	1200.43	1553406
APPLICATIONS/diagnosis/ UR-20-5p1.cnf	? (TO)	1200.11	1200.53	1580262
APPLICATIONS/diagnosis/ UR-20-5p0.cnf	? (TO)	1200.11	1200.53	1580158
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	1200.11	1200.51	1592836
APPLICATIONS/crypto/ md5gen/gus-md5-15.cnf	? (TO)	1200.11	1200.41	1556474
APPLICATIONS/diagnosis/ UCG-20-10p1.cnf	? (TO)	1200.11	1200.44	1581094
APPLICATIONS/c32sat/ post-cbmc-aes-d-r2-noholes.cnf	? (TO)	1200.11	1200.43	1563338
manol-pipe-f10ni.cnf	? (TO)	1200.11	1200.52	1724076
APPLICATIONS/crypto/ md5gen/gus-md5-14.cnf	? (TO)	1200.11	1200.41	1556734
industrial/anbulagan/ hard-unsat/total-10-19-u.cnf	? (TO)	1200.12	1200.43	1716408
industrial/palacios/hard/ safe-50-h49-unsat.cnf	? (TO)	1200.12	1200.72	1717292
industrial/anbulagan/ hard-unsat/partial-5-15-u.cnf	? (TO)	1200.12	1200.53	1716616
industrial/anbulagan/ hard-unsat/partial-10-13-u.cnf	? (TO)	1200.12	1200.44	1716304
industrial/anbulagan/ hard-unsat/partial-5-17-u.cnf	? (TO)	1200.12	1200.44	1716096
APPLICATIONS/diagnosis/ UR-15-10p1.cnf	? (TO)	1200.12	1200.43	1579846
APPLICATIONS/diagnosis/ UTI-15-5p0.cnf	? (TO)	1200.12	1200.43	1580002
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	? (TO)	1200.13	1200.44	1715836
industrial/anbulagan/ hard-unsat/partial-10-19-u.cnf	? (TO)	1200.14	1200.54	1716772
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	? (TO)	1200.27	1200.56	1563442

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

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

Category "applications instances" (APPLICATION)

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

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

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