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

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/babic/xinetd/ xinetd_vc56703.cnf	UNSAT	0.338947	0.33915	1718851
APPLICATIONS/bitverif/ minor/minor032.cnf	UNSAT	1.12983	1.13497	1553249
manol-pipe-g6bi.cnf	UNSAT	1.9857	6.84655	1723763
een-tip-uns-nusmv-t5.B.cnf	UNSAT	2.07668	2.07757	1723399
hoons-vbmc-lucky7.cnf	UNSAT	2.79457	2.79752	1719891
cmu-bmc-barrel6.cnf	UNSAT	2.92655	2.9576	1719579
manol-pipe-c9.cnf	UNSAT	4.00239	4.01315	1724387
APPLICATIONS/bitverif/ countbitssrl/countbitssrl016.cnf	UNSAT	6.41502	6.424	1554601
APPLICATIONS/bitverif/ minandmaxor/minandmaxor032.cnf	UNSAT	9.2106	9.21825	1553821
industrial/babic/hsatv17/ hsat_vc11803.cnf	UNSAT	9.42757	9.43904	1718019
APPLICATIONS/bitverif/ minor/minor064.cnf	UNSAT	9.63653	9.64604	1553197
APPLICATIONS/ bitverif/maxand/maxand064.cnf	UNSAT	10.2144	10.2243	1555641
APPLICATIONS/bitverif/ minxorminand/minxorminand032.cnf	UNSAT	12.5041	12.5106	1553353
industrial/babic/hsatv17/ hsat_vc11813.cnf	UNSAT	14.2788	14.2871	1717967
APPLICATIONS/crypto/ md5gen/gus-md5-04.cnf	UNSAT	15.9376	15.9457	1556889
industrial/palacios/uts/ uts-l05-ipc5-h26-unsat.cnf	UNSAT	17.1844	17.2019	1717499
APPLICATIONS/crypto/ md5gen/gus-md5-05.cnf	UNSAT	17.9423	17.9618	1556837
industrial/palacios/uts/ uts-l05-ipc5-h27-unknown.cnf	UNSAT	21.7827	21.7905	1717655
industrial/palacios/uts/ uts-l06-ipc5-h28-unknown.cnf	UNSAT	23.3474	23.3563	1717707
APPLICATIONS/bitverif/ icbrt/icbrt1_32.cnf	UNSAT	23.4004	23.4102	1555069
cmu-bmc-longmult15.cnf	UNSAT	24.8882	24.9363	1720671
manol-pipe-c10nidw_s.cnf	UNSAT	28.1177	28.5002	1723243
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate016.cnf	UNSAT	32.922	32.9388	1554133
industrial/palacios/medium/ blocks-4-ipc5-h22-unknown.cnf	UNSAT	32.97	32.9939	1717915
industrial/anbulagan/ medium-unsat/total-5-11-u.cnf	UNSAT	33.171	33.1901	1715679
APPLICATIONS/bitverif/ smulo/smulo016.cnf	UNSAT	33.6909	33.7122	1554861
APPLICATIONS/crypto/ md5gen/gus-md5-06.cnf	UNSAT	44.8192	44.8457	1556785
velev-engi-uns-1.0-4nd.cnf	UNSAT	45.4571	45.4836	1720151
simon-s03-fifo8-300.cnf	UNSAT	47.5278	47.5572	1724179
velev-live-uns-2.0-ebuf.cnf	UNSAT	52.75	52.8299	1723711
industrial/palacios/uts/ uts-l06-ipc5-h31-unknown.cnf	UNSAT	53.0879	53.1953	1717603
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf	UNSAT	56.7794	56.8068	1718279
schup-l2s-abp4-1-k31.cnf	UNSAT	64.0183	64.0952	1719631
APPLICATIONS/diagnosis/ UCG-10-5p0.cnf	UNSAT	68.4936	68.559	1578233
industrial/anbulagan/ medium-unsat/total-5-13-u.cnf	UNSAT	71.0822	71.1225	1715731
manol-pipe-c6bidw_i.cnf	UNSAT	78.933	78.959	1720307
APPLICATIONS/c32sat/ post-cbmc-aes-ele-noholes.cnf	UNSAT	88.8935	88.9426	1563649
manol-pipe-c6nidw_i.cnf	UNSAT	91.2941	91.3547	1724491
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_06_UNSAT.cnf	UNSAT	99.0769	99.1309	1592843
APPLICATIONS/diagnosis/ ACG-10-5p0.cnf	UNSAT	102.926	102.998	1579429
APPLICATIONS/diagnosis/ UR-10-5p0.cnf	UNSAT	108.464	108.51	1579897
APPLICATIONS/bioinfo/ q_query_2_L324_coli.cnf	UNSAT	111.73	111.794	1577817
manol-pipe-g10id.cnf	UNSAT	112.426	112.545	1723555
APPLICATIONS/ bitverif/minand/minand128.cnf	UNSAT	120.829	120.862	1554237
industrial/palacios/uts/ uts-l06-ipc5-h33-unknown.cnf	UNSAT	122.161	122.207	1717551
APPLICATIONS/crypto/ md5gen/gus-md5-07.cnf	UNSAT	132.625	132.705	1557097
manol-pipe-g7nidw.cnf	UNSAT	132.679	132.735	1724335
manol-pipe-c7bidw_i.cnf	UNSAT	141.453	141.555	1724283
manol-pipe-c7nidw.cnf	UNSAT	193.72	193.783	1723503
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	UNSAT	245.065	245.295	1580573
manol-pipe-g10nid.cnf	UNSAT	268.131	268.274	1720203
APPLICATIONS/diagnosis/ UTI-10-10p0.cnf	UNSAT	280.894	280.973	1581769
APPLICATIONS/bitverif/ minxorminand/minxorminand064.cnf	UNSAT	354.43	354.544	1553301
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf	UNSAT	355.191	355.298	1718175
APPLICATIONS/bitverif/countbitswegner/ countbitswegner064.cnf	UNSAT	407.822	408.013	1555485
velev-pipe-o-uns-1.1-6.cnf	UNSAT	476.249	476.407	1723607
APPLICATIONS/diagnosis/ UR-15-5p0.cnf	UNSAT	520.981	521.138	1581977
APPLICATIONS/bioinfo/ q_query_3_l44_lambda.cnf	UNSAT	562.321	562.566	1562765
schup-l2s-guid-1-k56.cnf	UNSAT	577.213	577.413	1724127
APPLICATIONS/c32sat/ post-c32s-col400-16.cnf	UNSAT	611.728	611.965	1563493
APPLICATIONS/bioinfo/ q_query_3_l45_lambda.cnf	UNSAT	613	613.154	1563233
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	UNSAT	633.913	634.255	1563389
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	UNSAT	633.972	634.259	1577557
APPLICATIONS/bioinfo/ q_query_3_l48_lambda.cnf	UNSAT	705.843	706.149	1563129
APPLICATIONS/bioinfo/ q_query_3_L90_coli.sat.cnf	UNSAT	720.408	720.75	1577609
APPLICATIONS/bioinfo/ q_query_3_l47_lambda.cnf	UNSAT	776.301	776.616	1563077
simon-s02b-dp11u10.cnf	UNSAT	777.911	778.304	1723867
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	UNSAT	802.856	803.084	1562817
APPLICATIONS/crypto/ md5gen/gus-md5-09.cnf	UNSAT	888.731	889.129	1556629
APPLICATIONS/bioinfo/ q_query_3_L80_coli.sat.cnf	UNSAT	911.095	911.337	1577505
industrial/anbulagan/ hard-unsat/dated-5-15-u.cnf	UNSAT	967.047	967.588	1716355
manol-pipe-c10nid_i.cnf	UNSAT	998.664	992.773	1720775
goldb-heqc-term1mul.cnf	UNSAT	1013.28	1013.7	1723659
APPLICATIONS/bioinfo/ q_query_3_L200_coli.sat.cnf	UNSAT	1046.82	1047.14	1577765
goldb-heqc-alu4mul.cnf	UNSAT	1054.7	1054.98	1721035
APPLICATIONS/diagnosis/ UTI-15-10p0.cnf	UNSAT	1133.76	1140.36	1580885
manol-pipe-f9n.cnf	UNSAT	1179.87	1180.32	1723971

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
een-tip-sat-texas-tp-5e.cnf	SAT	0.313951	0.315572	1720931
APPLICATIONS/aprove09/ AProVE09-13.cnf	SAT	0.32095	0.320383	1560321
APPLICATIONS/aprove09/ AProVE09-22.cnf	SAT	0.38494	0.383311	1560477
industrial/grieu/ vmpc_24.cnf	SAT	0.427934	0.428668	1718539
APPLICATIONS/aprove09/ AProVE09-11.cnf	SAT	0.905861	0.90656	1560893
APPLICATIONS/aprove09/ AProVE09-07.cnf	SAT	0.937856	0.938714	1560633
APPLICATIONS/aprove09/ AProVE09-12.cnf	SAT	1.18582	1.19307	1560373
APPLICATIONS/aprove09/ AProVE09-25.cnf	SAT	1.2958	1.29684	1560165
APPLICATIONS/aprove09/ AProVE09-03.cnf	SAT	1.80672	1.80725	1560685
APPLICATIONS/aprove09/ AProVE09-19.cnf	SAT	2.00569	2.01297	1560945
APPLICATIONS/aprove09/ AProVE09-01.cnf	SAT	2.13867	2.15292	1560425
APPLICATIONS/bioinfo/ q_query_3_l37_lambda.cnf	SAT	2.38064	2.38844	1562869
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_17_SAT.cnf	SAT	3.34349	8.72287	1592805
APPLICATIONS/aprove09/ AProVE09-21.cnf	SAT	4.14037	4.15326	1560113
APPLICATIONS/aprove09/ AProVE09-10.cnf	SAT	4.46432	7.70135	1560841
APPLICATIONS/bioinfo/ q_query_3_l40_lambda.cnf	SAT	5.17921	5.24918	1562661
APPLICATIONS/bioinfo/ q_query_3_l39_lambda.cnf	SAT	5.67814	5.682	1563025
APPLICATIONS/aprove09/ AProVE09-24.cnf	SAT	5.98709	6.00767	1559957
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_14_SAT.cnf	SAT	8.37673	8.43302	1592789
APPLICATIONS/aprove09/ AProVE09-05.cnf	SAT	8.5817	8.5915	1560061
APPLICATIONS/bioinfo/ q_query_3_l38_lambda.cnf	SAT	8.76967	8.77777	1563181
APPLICATIONS/aprove09/ AProVE09-08.cnf	SAT	12.6681	12.6884	1560737
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_22_SAT.cnf	SAT	13.411	13.4198	1592773
APPLICATIONS/aprove09/ AProVE09-15.cnf	SAT	18.8651	18.8767	1560581
APPLICATIONS/aprove09/ AProVE09-17.cnf	SAT	28.3647	28.3851	1559749
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_20_SAT.cnf	SAT	34.2488	34.2606	1592819
industrial/palacios/uts/ uts-l06-ipc5-h35-unknown.cnf	SAT	38.4861	38.5169	1717447
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	SAT	39.163	39.1972	1558449
mizh-sha0-35-3.cnf	SAT	41.1657	41.194	1720723
APPLICATIONS/bioinfo/ q_query_3_l41_lambda.cnf	SAT	52.0821	52.1938	1562973
APPLICATIONS/diagnosis/ UR-10-5p1.cnf	SAT	52.329	52.3713	1579481
APPLICATIONS/crypto/ desgen/gss-13-s100.cnf	SAT	65.0051	65.0622	1559229
APPLICATIONS/bioinfo/ q_query_3_l43_lambda.cnf	SAT	67.2828	67.3124	1562921
industrial/grieu/ vmpc_25.cnf	SAT	69.8204	69.8596	1718383
APPLICATIONS/bioinfo/ q_query_3_l42_lambda.cnf	SAT	73.4948	73.564	1562713
APPLICATIONS/aprove09/ AProVE09-06.cnf	SAT	77.8462	77.8974	1559697
APPLICATIONS/bioinfo/ q_query_3_L60_coli.sat.cnf	SAT	82.4465	82.4998	1577713
velev-pipe-sat-1.0-b7.cnf	SAT	83.4803	83.5515	1723191
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf	SAT	86.0629	86.1602	1719423
industrial/grieu/ vmpc_26.cnf	SAT	95.5115	95.5419	1718747
APPLICATIONS/crypto/ desgen/gss-15-s100.cnf	SAT	95.8044	95.8571	1558501
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	SAT	107.336	107.403	1719371
industrial/grieu/ vmpc_28.cnf	SAT	114.333	114.371	1718643
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	SAT	200.27	200.362	1577661
simon-s03-w08-15.cnf	SAT	210.766	211.19	1719787
APPLICATIONS/aprove09/ AProVE09-20.cnf	SAT	222.655	222.756	1559801
APPLICATIONS/crypto/ desgen/gss-17-s100.cnf	SAT	264.092	264.227	1557617
mizh-sha0-36-2.cnf	SAT	269.119	269.197	1724023
schup-l2s-motst-2-k315.cnf	SAT	322.638	322.774	1720047
velev-pipe-sat-1.0-b10.cnf	SAT	359.585	359.771	1723347
mizh-sha0-36-4.cnf	SAT	381.56	381.716	1720255
mizh-md5-47-3.cnf	SAT	429.55	429.768	1719527
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	SAT	465.46	465.623	1557825
mizh-md5-48-5.cnf	SAT	532.425	532.568	1721139
APPLICATIONS/c32sat/ post-c32s-gcdm16-22.cnf	SAT	787.071	787.417	1563701
mizh-md5-47-4.cnf	SAT	1060.49	1060.8	1720567

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
goldb-heqc-frg1mul.cnf	? (TO)	1200	1200.41	1719683
manol-pipe-f9b.cnf	? (TO)	1200	1200.41	1719995
industrial/palacios/hard/ safe-50-h49-unsat.cnf	? (TO)	1200	1200.51	1717291
APPLICATIONS/bitverif/ maxxororand/maxxororand128.cnf	? (TO)	1200	1200.61	1555173
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	? (TO)	1200	1200.61	1581925
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	1200.01	1200.31	1716719
APPLICATIONS/diagnosis/ UR-20-5p1.cnf	? (TO)	1200.01	1200.51	1580261
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_15_UNKNOWN.cnf	? (TO)	1200.01	1200.41	1592793
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf	? (TO)	1200.01	1200.61	1719007
mizh-sha0-36-3.cnf	? (TO)	1200.01	1200.61	1719839
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_07_UNSAT.cnf	? (TO)	1200.01	1200.61	1592821
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_10_UNKNOWN.cnf	? (TO)	1200.01	1200.41	1592841
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_11_UNKNOWN.cnf	? (TO)	1200.01	1200.61	1592767
industrial/anbulagan/ medium-sat/partial-5-15-s.cnf	? (TO)	1200.01	1200.41	1715991
industrial/anbulagan/ hard-unsat/partial-5-17-u.cnf	? (TO)	1200.01	1200.51	1716095
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	1200.01	1200.41	1718227
industrial/anbulagan/ hard-unsat/partial-10-13-u.cnf	? (TO)	1200.01	1200.61	1716303
goldb-heqc-i10mul.cnf	? (TO)	1200.01	1200.41	1723451
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (TO)	1200.01	1201.12	1719267
APPLICATIONS/ bitverif/minxor/minxor128.cnf	? (TO)	1200.01	1200.61	1553509
velev-pipe-o-uns-1.0-7.cnf	? (TO)	1200.01	1200.51	1723919
APPLICATIONS/diagnosis/ UTI-15-10p1.cnf	? (TO)	1200.01	1200.71	1577921
industrial/fuhs/hard/ AProVE07-08.cnf	? (TO)	1200.02	1200.41	1716979
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf	? (TO)	1200.02	1200.81	1719215
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	1200.02	1200.51	1556265
velev-vliw-uns-4.0-9-i1.cnf	? (TO)	1200.02	1200.91	1719735
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_12_UNKNOWN.cnf	? (TO)	1200.02	1200.41	1592807
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_09_UNSAT.cnf	? (TO)	1200.02	1200.61	1592825
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_11_UNSAT.cnf	? (TO)	1200.02	1200.41	1592787
industrial/anbulagan/ hard-unsat/dated-5-17-u.cnf	? (TO)	1200.02	1200.61	1716459
industrial/anbulagan/ hard-unsat/total-5-17-u.cnf	? (TO)	1200.02	1203.71	1716563
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	1200.02	1200.41	1716927
APPLICATIONS/diagnosis/ UTI-20-5p0.cnf	? (TO)	1200.02	1200.71	1578805
APPLICATIONS/diagnosis/ ACG-20-10p0.cnf	? (TO)	1200.02	1200.51	1579377
APPLICATIONS/diagnosis/ ACG-15-10p1.cnf	? (TO)	1200.02	1200.51	1580365
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_13_UNSAT.cnf	? (TO)	1200.02	1200.51	1592815
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (TO)	1200.02	1200.41	1553405
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_13_UNKNOWN.cnf	? (TO)	1200.02	1200.61	1592839
industrial/grieu/ vmpc_33.cnf	? (TO)	1200.02	1200.51	1718487
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf	? (TO)	1200.02	1200.51	1719059
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf	? (TO)	1200.02	1200.61	1719163
APPLICATIONS/ c32sat/post-c32s-ss-8.cnf	? (TO)	1200.03	1200.71	1563597
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	? (TO)	1200.03	1200.71	1581509
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	? (TO)	1200.03	1200.41	1581613
APPLICATIONS/diagnosis/ UTI-15-5p0.cnf	? (TO)	1200.03	1200.61	1580001
industrial/anbulagan/ hard-unsat/total-5-15-u.cnf	? (TO)	1200.03	1200.71	1716147
industrial/anbulagan/ medium-sat/partial-5-13-s.cnf	? (TO)	1200.03	1200.41	1715939
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (TO)	1200.03	1200.61	1582445
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_13_UNKNOWN.cnf	? (TO)	1200.03	1200.41	1592791
APPLICATIONS/diagnosis/ UR-15-10p1.cnf	? (TO)	1200.03	1200.61	1579845
industrial/anbulagan/ hard-unsat/partial-10-19-u.cnf	? (TO)	1200.03	1200.41	1716771
APPLICATIONS/bitverif/countbitsarray/ countbitsarray32_32.cnf	? (TO)	1200.03	1200.61	1556161
APPLICATIONS/bitverif/countbitsarray/ countbitsarray08_32.cnf	? (TO)	1200.03	1200.61	1556109
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	1200.03	1200.71	1716667
manol-pipe-f10ni.cnf	? (TO)	1200.03	1200.61	1724075
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf	? (TO)	1200.03	1200.51	1718955
industrial/palacios/hard/ sortnet-8-ipc5-h18-unsat.cnf	? (TO)	1200.04	1200.61	1717187
industrial/anbulagan/ medium-unsat/total-10-13-u.cnf	? (TO)	1200.04	1200.51	1715627
industrial/fuhs/hard/ AProVE07-26.cnf	? (TO)	1200.04	1200.41	1717083
industrial/anbulagan/ hard-unsat/total-10-19-u.cnf	? (TO)	1200.04	1200.51	1716407
industrial/palacios/medium/ cube-11-h14-sat.cnf	? (TO)	1200.04	1200.51	1717759
industrial/narain/ clauses-8.cnf	? (TO)	1200.04	1200.41	1718799
goldb-heqc-x1mul.cnf	? (TO)	1200.04	1200.41	1719475
aloul-chnl11-13.cnf	? (TO)	1200.04	1200.41	1720411
APPLICATIONS/diagnosis/ UTI-20-5p1.cnf	? (TO)	1200.04	1200.61	1581353
APPLICATIONS/c32sat/ post-cbmc-aes-d-r2-noholes.cnf	? (TO)	1200.04	1200.71	1563337
APPLICATIONS/crypto/ desgen/gss-33-s100.cnf	? (TO)	1200.04	1200.51	1558865
velev-pipe-uns-1.0-8.cnf	? (TO)	1200.04	1200.41	1724439
APPLICATIONS/diagnosis/ UTI-15-5p1.cnf	? (TO)	1200.04	1200.51	1582757
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_12_UNSAT.cnf	? (TO)	1200.04	1200.41	1592775
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	1200.04	1200.41	1592795
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_12_UNKNOWN.cnf	? (TO)	1200.04	1206.12	1592823
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_16_UNKNOWN.cnf	? (TO)	1200.04	1200.61	1592831
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_14_UNSAT.cnf	? (TO)	1200.04	1200.61	1592781
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r2-noholes.cnf	? (TO)	1200.05	1200.71	1563285
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	1200.05	1200.41	1718071
APPLICATIONS/crypto/ desgen/gss-32-s100.cnf	? (TO)	1200.05	1200.41	1557721
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_17_UNKNOWN.cnf	? (TO)	1200.05	1200.51	1592777
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	1200.05	1200.61	1557045
industrial/grieu/ vmpc_29.cnf	? (TO)	1200.05	1200.61	1718591
APPLICATIONS/diagnosis/ UCG-20-10p1.cnf	? (TO)	1200.05	1200.51	1581093
APPLICATIONS/diagnosis/ UR-15-10p0.cnf	? (TO)	1200.05	1200.41	1582029
simon-s02b-k2f-gr-rcs-w8.cnf	? (TO)	1200.05	1200.41	1724231
APPLICATIONS/bioinfo/ q_query_3_L100_coli.sat.cnf	? (TO)	1200.05	1200.41	1577869
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	1200.05	1200.61	1592817
APPLICATIONS/crypto/ md5gen/gus-md5-14.cnf	? (TO)	1200.05	1200.41	1556733
industrial/anbulagan/ hard-unsat/dated-10-19-u.cnf	? (TO)	1200.05	1200.41	1716251
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf	? (TO)	1200.06	1200.61	1718123
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	? (TO)	1200.06	1200.61	1715835
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate128.cnf	? (TO)	1200.06	1200.61	1554029
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_14_UNKNOWN.cnf	? (TO)	1200.06	1200.41	1592833
APPLICATIONS/diagnosis/ ACG-20-5p1.cnf	? (TO)	1200.06	1200.41	1580781
APPLICATIONS/crypto/ md5gen/gus-md5-10.cnf	? (TO)	1200.06	1200.71	1556577
APPLICATIONS/crypto/ desgen/gss-23-s100.cnf	? (TO)	1200.06	1200.71	1559021
velev-vliw-uns-4.0-9C1.cnf	? (TO)	1200.06	1200.41	1723815
APPLICATIONS/crypto/ desgen/gss-28-s100.cnf	? (TO)	1200.06	1200.71	1559385
industrial/fuhs/medium/ AProVE07-09.cnf	? (TO)	1200.06	1200.41	1716823
manol-pipe-c10nidw.cnf	? (TO)	1200.06	1200.51	1720099
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_11_UNKNOWN.cnf	? (TO)	1200.06	1200.61	1592845
APPLICATIONS/bitverif/countbitsarray/ countbitsarray02_32.cnf	? (TO)	1200.06	1200.41	1556057
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	1200.06	1200.71	1555901
industrial/grieu/ vmpc_34.cnf	? (TO)	1200.06	1200.41	1718695
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (TO)	1200.06	1200.51	1715887
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_10_UNKNOWN.cnf	? (TO)	1200.06	1206.01	1592771
industrial/anbulagan/ hard-sat/partial-5-17-s.cnf	? (TO)	1200.06	1200.41	1715783
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	1200.06	1200.41	1554185
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	1200.07	1200.51	1716043
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	1200.07	1200.51	1554705
APPLICATIONS/bitverif/ countbitssrl/countbitssrl032.cnf	? (TO)	1200.07	1200.51	1554445
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	1200.07	1200.71	1717395
industrial/palacios/hard/ safe-30-h29-unsat.cnf	? (TO)	1200.07	1200.41	1717343
APPLICATIONS/diagnosis/ UR-20-5p0.cnf	? (TO)	1200.07	1200.61	1580157
industrial/anbulagan/ hard-unsat/dated-5-19-u.cnf	? (TO)	1200.07	1200.51	1716511
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	? (TO)	1200.07	1200.41	1559645
APPLICATIONS/crypto/ desgen/gss-25-s100.cnf	? (TO)	1200.07	1207.02	1559541
industrial/anbulagan/ hard-unsat/partial-5-15-u.cnf	? (TO)	1200.07	1200.51	1716615
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_10_UNSAT.cnf	? (TO)	1200.07	1200.71	1592799
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_07_UNSAT.cnf	? (TO)	1200.07	1200.71	1592811
industrial/palacios/ medium/emptyroom-4-h21-unsat.cnf	? (TO)	1200.07	1200.41	1717863
APPLICATIONS/crypto/ desgen/gss-26-s100.cnf	? (TO)	1200.07	1200.41	1558085
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	1200.07	1207.02	1557981
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	? (TO)	1200.08	1200.61	1580105
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	1200.08	1200.51	1717239
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf	? (TO)	1200.08	1200.71	1719319
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	? (TO)	1200.08	1200.61	1582185
APPLICATIONS/crypto/ md5gen/gus-md5-16.cnf	? (TO)	1200.08	1200.82	1556525
APPLICATIONS/diagnosis/ ACG-20-10p1.cnf	? (TO)	1200.08	1200.81	1580053
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_21_SAT.cnf	? (TO)	1200.08	1200.51	1592801
APPLICATIONS/crypto/ desgen/gss-31-s100.cnf	? (TO)	1200.08	1200.72	1557513
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	1200.08	1200.81	1553873
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_08_UNSAT.cnf	? (TO)	1200.08	1200.61	1592769
APPLICATIONS/bitverif/ mulhs/mulhs032.cnf	? (TO)	1200.08	1200.61	1554757
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	1200.08	1200.41	1558033
vange-col-abb313GPIA-9-c.cnf	? (TO)	1200.08	1200.41	1720359
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	1200.08	1200.41	1556369
APPLICATIONS/diagnosis/ ACG-15-10p0.cnf	? (TO)	1200.08	1200.71	1578961
industrial/fuhs/medium/ AProVE07-16.cnf	? (TO)	1200.08	1200.41	1716875
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r3-noholes.cnf	? (TO)	1200.08	1200.41	1563753
industrial/fuhs/hard/ AProVE07-25.cnf	? (TO)	1200.08	1200.61	1717031
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	1200.09	1200.41	1592835
industrial/palacios/medium/ cube-11-h13-unsat.cnf	? (TO)	1200.09	1200.61	1717811
APPLICATIONS/bitverif/ smulo/smulo128.cnf	? (TO)	1200.09	1200.51	1554913
APPLICATIONS/crypto/ desgen/gss-24-s100.cnf	? (TO)	1200.09	1200.71	1559333
APPLICATIONS/bitverif/ maxxororand/maxxororand032.cnf	? (TO)	1200.09	1200.91	1555277
goldb-heqc-dalumul.cnf	? (TO)	1200.09	1200.61	1720463
industrial/grieu/ vmpc_30.cnf	? (TO)	1200.1	1200.71	1718435
industrial/anbulagan/ hard-unsat/partial-5-13-u.cnf	? (TO)	1200.1	1200.61	1716199
APPLICATIONS/crypto/ desgen/gss-34-s100.cnf	? (TO)	1200.1	1200.61	1558813
APPLICATIONS/bitverif/ countbitssrl/countbitssrl128.cnf	? (TO)	1200.1	1200.71	1554549
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf	? (TO)	1200.1	1200.71	1718331
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf	? (TO)	1200.1	1200.51	1719111
industrial/fuhs/hard/ AProVE07-27.cnf	? (TO)	1200.1	1201.12	1717135
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	1200.1	1200.41	1559281
manol-pipe-g10bidw.cnf	? (TO)	1200.1	1200.51	1723295
schup-l2s-bc56s-1-k391.cnf	? (TO)	1200.11	1200.71	1719943
APPLICATIONS/crypto/ desgen/gss-20-s100.cnf	? (TO)	1200.11	1200.61	1558241
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf	? (TO)	1200.11	1200.81	1718903
APPLICATIONS/crypto/ md5gen/gus-md5-15.cnf	? (TO)	1200.12	1200.61	1556473

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

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

Category "applications instances" (APPLICATION)

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

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

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

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