SAT 2009 Competition: minisat hack track: benchmarks results per solver

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/babic/xinetd/ xinetd_vc56703.cnf	UNSAT	0.32	0.314847	1820634
APPLICATIONS/bitverif/ minor/minor032.cnf	UNSAT	0.8	0.802019	1820874
manol-pipe-g6bi.cnf	UNSAT	0.95	0.949434	1821924
hoons-vbmc-lucky7.cnf	UNSAT	1.26	1.26935	1820754
een-tip-uns-nusmv-t5.B.cnf	UNSAT	1.87	1.87786	1821882
manol-pipe-c9.cnf	UNSAT	3.04	3.04761	1821996
APPLICATIONS/bitverif/ countbitssrl/countbitssrl016.cnf	UNSAT	3.11	3.11356	1820952
cmu-bmc-barrel6.cnf	UNSAT	5.51	5.50868	1820718
APPLICATIONS/crypto/ md5gen/gus-md5-04.cnf	UNSAT	7.66	7.67306	1821090
APPLICATIONS/bitverif/ minor/minor064.cnf	UNSAT	11.51	11.5102	1820868
APPLICATIONS/bitverif/ minandmaxor/minandmaxor032.cnf	UNSAT	11.76	11.7951	1820904
industrial/babic/hsatv17/ hsat_vc11803.cnf	UNSAT	12.34	12.3593	1820538
APPLICATIONS/crypto/ md5gen/gus-md5-05.cnf	UNSAT	14.68	14.6794	1821084
APPLICATIONS/ bitverif/maxand/maxand064.cnf	UNSAT	15.9	15.9025	1821006
APPLICATIONS/bitverif/ minxorminand/minxorminand032.cnf	UNSAT	16.51	16.5019	1820886
industrial/babic/hsatv17/ hsat_vc11813.cnf	UNSAT	17.83	17.8232	1820532
industrial/palacios/uts/ uts-l05-ipc5-h26-unsat.cnf	UNSAT	20.24	20.2564	1820478
APPLICATIONS/bitverif/ icbrt/icbrt1_32.cnf	UNSAT	20.46	20.4467	1820982
industrial/palacios/uts/ uts-l06-ipc5-h28-unknown.cnf	UNSAT	23.01	23.0135	1820502
industrial/palacios/uts/ uts-l05-ipc5-h27-unknown.cnf	UNSAT	26.1	26.1174	1820496
simon-s03-fifo8-300.cnf	UNSAT	30.65	31.19	1821972
APPLICATIONS/bitverif/ smulo/smulo016.cnf	UNSAT	30.7	30.6945	1820970
schup-l2s-abp4-1-k31.cnf	UNSAT	30.75	30.7499	1820724
velev-engi-uns-1.0-4nd.cnf	UNSAT	31.05	31.0475	1820784
manol-pipe-g10id.cnf	UNSAT	32.19	32.1804	1821900
industrial/anbulagan/ medium-unsat/total-5-11-u.cnf	UNSAT	33.25	33.2593	1820268
cmu-bmc-longmult15.cnf	UNSAT	33.35	33.3713	1820832
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate016.cnf	UNSAT	38.35	38.3534	1820922
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_06_UNSAT.cnf	UNSAT	44.54	44.5459	1821846
manol-pipe-c6bidw_i.cnf	UNSAT	48.24	48.2397	1820802
APPLICATIONS/crypto/ md5gen/gus-md5-06.cnf	UNSAT	51.63	51.6749	1821078
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf	UNSAT	56.11	56.1074	1820568
APPLICATIONS/diagnosis/ UR-10-5p0.cnf	UNSAT	60.81	60.8522	1821552
goldb-heqc-term1mul.cnf	UNSAT	64.67	64.6777	1821912
industrial/palacios/uts/ uts-l06-ipc5-h31-unknown.cnf	UNSAT	65.72	65.723	1820490
APPLICATIONS/diagnosis/ UCG-10-5p0.cnf	UNSAT	66.57	66.5675	1821510
APPLICATIONS/c32sat/ post-cbmc-aes-ele-noholes.cnf	UNSAT	67.42	67.5149	1821438
manol-pipe-c6nidw_i.cnf	UNSAT	75.94	75.9451	1822008
industrial/palacios/medium/ blocks-4-ipc5-h22-unknown.cnf	UNSAT	79.32	79.4031	1820526
APPLICATIONS/diagnosis/ ACG-10-5p0.cnf	UNSAT	79.69	79.7075	1821534
APPLICATIONS/ bitverif/minand/minand128.cnf	UNSAT	85.15	85.1593	1820934
velev-live-uns-2.0-ebuf.cnf	UNSAT	86.58	86.5869	1821918
industrial/anbulagan/ medium-unsat/total-5-13-u.cnf	UNSAT	89.29	89.2873	1820274
APPLICATIONS/crypto/ md5gen/gus-md5-07.cnf	UNSAT	92.5	92.5077	1821102
manol-pipe-g7nidw.cnf	UNSAT	108.57	108.557	1821990
APPLICATIONS/diagnosis/ UTI-10-10p0.cnf	UNSAT	122.93	122.924	1821636
manol-pipe-c7bidw_i.cnf	UNSAT	150.56	150.563	1821984
industrial/palacios/uts/ uts-l06-ipc5-h33-unknown.cnf	UNSAT	160.86	160.877	1820484
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	UNSAT	169.76	169.766	1821594
APPLICATIONS/bioinfo/ q_query_3_L80_coli.sat.cnf	UNSAT	170.7	170.707	1821456
APPLICATIONS/bioinfo/ q_query_3_L90_coli.sat.cnf	UNSAT	175.58	175.57	1821468
APPLICATIONS/bioinfo/ q_query_2_L324_coli.cnf	UNSAT	176.11	176.1	1821492
manol-pipe-c7nidw.cnf	UNSAT	178.54	178.525	1821894
schup-l2s-guid-1-k56.cnf	UNSAT	207.69	207.68	1821966
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	UNSAT	241.72	241.701	1821414
APPLICATIONS/c32sat/ post-c32s-col400-16.cnf	UNSAT	256.82	256.95	1821426
APPLICATIONS/bitverif/countbitswegner/ countbitswegner064.cnf	UNSAT	269.47	269.455	1821000
APPLICATIONS/diagnosis/ UR-15-5p0.cnf	UNSAT	282.43	282.411	1821648
manol-pipe-g10nid.cnf	UNSAT	284.32	284.294	1820790
manol-pipe-f9b.cnf	UNSAT	297.81	297.787	1820766
manol-pipe-f9n.cnf	UNSAT	327.06	327.051	1821948
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf	UNSAT	343.75	343.739	1820556
goldb-heqc-i10mul.cnf	UNSAT	374.66	374.64	1821888
APPLICATIONS/bitverif/ minxorminand/minxorminand064.cnf	UNSAT	410.15	410.218	1820880
APPLICATIONS/bioinfo/ q_query_3_L100_coli.sat.cnf	UNSAT	419.06	419.135	1821498
APPLICATIONS/diagnosis/ UTI-15-10p0.cnf	UNSAT	426.58	426.549	1821606
manol-pipe-c10nidw_s.cnf	UNSAT	427.08	427.059	1821864
industrial/palacios/ medium/emptyroom-4-h21-unsat.cnf	UNSAT	557.57	557.558	1820520
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_07_UNSAT.cnf	UNSAT	591.58	591.547	1821774
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	UNSAT	609.15	609.136	1821462
manol-pipe-f10ni.cnf	UNSAT	659.25	659.241	1821960
goldb-heqc-alu4mul.cnf	UNSAT	673.32	673.286	1820856
industrial/fuhs/medium/ AProVE07-16.cnf	UNSAT	715.95	715.897	1820406
manol-pipe-c10nid_i.cnf	UNSAT	717.06	717.077	1820844
APPLICATIONS/bioinfo/ q_query_3_l44_lambda.cnf	UNSAT	719.1	719.04	1821342
APPLICATIONS/bioinfo/ q_query_3_l47_lambda.cnf	UNSAT	723.05	723.006	1821378
APPLICATIONS/bioinfo/ q_query_3_l48_lambda.cnf	UNSAT	741.82	741.769	1821384
APPLICATIONS/crypto/ md5gen/gus-md5-09.cnf	UNSAT	759.47	759.427	1821066
APPLICATIONS/bioinfo/ q_query_3_L200_coli.sat.cnf	UNSAT	815.77	815.735	1821486
APPLICATIONS/bioinfo/ q_query_3_l45_lambda.cnf	UNSAT	824.9	824.866	1821396
manol-pipe-g10bidw.cnf	UNSAT	836.33	836.355	1821870
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	UNSAT	934.8	934.765	1821348
APPLICATIONS/c32sat/ post-cbmc-aes-d-r2-noholes.cnf	UNSAT	1018.73	1018.68	1821408
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	UNSAT	1020.65	1020.64	1821630
APPLICATIONS/diagnosis/ UTI-15-5p0.cnf	UNSAT	1039.45	1039.44	1821558
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r2-noholes.cnf	UNSAT	1069.71	1069.71	1821402
industrial/fuhs/medium/ AProVE07-09.cnf	UNSAT	1083.49	1083.4	1820400
industrial/palacios/medium/ cube-11-h13-unsat.cnf	UNSAT	1100.72	1100.71	1820514
industrial/anbulagan/ hard-unsat/dated-5-17-u.cnf	UNSAT	1126.78	1126.69	1820358
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_07_UNSAT.cnf	UNSAT	1149.57	1149.51	1821798

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
een-tip-sat-texas-tp-5e.cnf	SAT	0.27	0.269417	1820850
APPLICATIONS/aprove09/ AProVE09-13.cnf	SAT	0.3	0.300584	1821264
APPLICATIONS/aprove09/ AProVE09-22.cnf	SAT	0.38	0.384166	1821282
APPLICATIONS/aprove09/ AProVE09-11.cnf	SAT	0.72	0.774657	1821318
APPLICATIONS/aprove09/ AProVE09-12.cnf	SAT	1.24	1.25961	1821270
APPLICATIONS/aprove09/ AProVE09-25.cnf	SAT	1.29	1.29683	1821258
APPLICATIONS/aprove09/ AProVE09-03.cnf	SAT	1.69	1.70234	1821300
APPLICATIONS/aprove09/ AProVE09-05.cnf	SAT	2.04	2.05481	1821246
APPLICATIONS/aprove09/ AProVE09-01.cnf	SAT	2.12	2.12959	1821276
industrial/grieu/ vmpc_25.cnf	SAT	2.13	2.14406	1820580
APPLICATIONS/bioinfo/ q_query_3_l37_lambda.cnf	SAT	2.21	2.20162	1821354
APPLICATIONS/bioinfo/ q_query_3_l39_lambda.cnf	SAT	2.21	2.22931	1821372
APPLICATIONS/aprove09/ AProVE09-24.cnf	SAT	2.49	2.51241	1821240
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_17_SAT.cnf	SAT	3.04	3.04531	1821762
APPLICATIONS/aprove09/ AProVE09-21.cnf	SAT	3.34	3.40973	1821252
APPLICATIONS/aprove09/ AProVE09-10.cnf	SAT	3.49	3.49641	1821312
APPLICATIONS/crypto/ desgen/gss-13-s100.cnf	SAT	3.9	3.90003	1821186
APPLICATIONS/bioinfo/ q_query_3_l40_lambda.cnf	SAT	6.2	6.22173	1821330
APPLICATIONS/bioinfo/ q_query_3_l38_lambda.cnf	SAT	8.03	8.02856	1821390
industrial/grieu/ vmpc_24.cnf	SAT	8.21	8.22693	1820598
APPLICATIONS/aprove09/ AProVE09-19.cnf	SAT	8.66	8.66012	1821324
APPLICATIONS/aprove09/ AProVE09-15.cnf	SAT	10.62	10.6302	1821288
APPLICATIONS/bioinfo/ q_query_3_l41_lambda.cnf	SAT	11.36	11.3659	1821366
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_21_SAT.cnf	SAT	12.46	12.4633	1821756
APPLICATIONS/aprove09/ AProVE09-07.cnf	SAT	13.11	13.1067	1821294
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_22_SAT.cnf	SAT	14.82	14.8286	1821696
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	SAT	15.69	15.7006	1821156
APPLICATIONS/aprove09/ AProVE09-17.cnf	SAT	21.87	21.8609	1821228
APPLICATIONS/aprove09/ AProVE09-08.cnf	SAT	25.77	25.7852	1821306
industrial/palacios/uts/ uts-l06-ipc5-h35-unknown.cnf	SAT	28.24	28.2392	1820472
APPLICATIONS/diagnosis/ UR-10-5p1.cnf	SAT	28.58	28.6428	1821540
APPLICATIONS/bioinfo/ q_query_3_L60_coli.sat.cnf	SAT	47.65	47.6489	1821480
industrial/grieu/ vmpc_28.cnf	SAT	52.91	52.9136	1820610
industrial/grieu/ vmpc_26.cnf	SAT	68.52	68.5159	1820622
APPLICATIONS/bioinfo/ q_query_3_l42_lambda.cnf	SAT	84.02	84.0188	1821336
APPLICATIONS/aprove09/ AProVE09-20.cnf	SAT	89.11	89.096	1821234
APPLICATIONS/crypto/ desgen/gss-15-s100.cnf	SAT	102.29	102.356	1821162
APPLICATIONS/bioinfo/ q_query_3_l43_lambda.cnf	SAT	124.35	124.34	1821360
simon-s03-w08-15.cnf	SAT	148.52	148.535	1820742
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	SAT	161.74	161.825	1821474
schup-l2s-motst-2-k315.cnf	SAT	180.53	180.533	1820772
velev-pipe-sat-1.0-b7.cnf	SAT	247.01	253.162	1821858
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	SAT	284.03	290.803	1820694
APPLICATIONS/c32sat/ post-c32s-gcdm16-22.cnf	SAT	298.26	298.259	1821444
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	SAT	308.81	308.804	1821126
APPLICATIONS/diagnosis/ UTI-15-5p1.cnf	SAT	320.83	320.824	1821672
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf	SAT	330.57	338.419	1820700
mizh-sha0-35-3.cnf	SAT	366.33	366.397	1820838
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	SAT	416.57	416.556	1821642
industrial/anbulagan/ medium-sat/partial-5-13-s.cnf	SAT	461.61	461.601	1820298
APPLICATIONS/crypto/ desgen/gss-17-s100.cnf	SAT	465.33	465.303	1821114
industrial/anbulagan/ medium-sat/partial-5-15-s.cnf	SAT	496.65	496.634	1820304
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	SAT	523.18	523.283	1821216
APPLICATIONS/diagnosis/ UTI-15-10p1.cnf	SAT	559.3	559.326	1821504
mizh-sha0-36-2.cnf	SAT	621.21	621.166	1821954
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	SAT	689.4	689.356	1820286
mizh-md5-47-4.cnf	SAT	748.99	748.999	1820826
mizh-md5-47-3.cnf	SAT	783.98	783.945	1820712
mizh-md5-48-5.cnf	SAT	940.97	940.944	1820862

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/anbulagan/ hard-unsat/partial-5-13-u.cnf	? (TO)	1200	1199.94	1820328
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf	? (TO)	1200	1204.25	1820646
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	? (TO)	1200	1200.04	1821624
industrial/fuhs/hard/ AProVE07-27.cnf	? (TO)	1200	1199.92	1820436
industrial/palacios/hard/ safe-30-h29-unsat.cnf	? (TO)	1200.01	1199.93	1820460
APPLICATIONS/diagnosis/ UCG-20-10p1.cnf	? (TO)	1200.01	1199.93	1821612
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	1200.01	1199.92	1821096
velev-pipe-sat-1.0-b10.cnf	? (TO)	1200.01	1200.73	1821876
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	1200.01	1199.93	1820310
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	1200.01	1199.94	1821012
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	1200.01	1199.93	1821828
APPLICATIONS/crypto/ desgen/gss-20-s100.cnf	? (TO)	1200.01	1199.92	1821150
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf	? (TO)	1200.01	1201.03	1820676
APPLICATIONS/crypto/ desgen/gss-24-s100.cnf	? (TO)	1200.01	1199.93	1821198
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	1200.01	1199.92	1820412
industrial/grieu/ vmpc_34.cnf	? (TO)	1200.01	1199.93	1820616
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_14_UNSAT.cnf	? (TO)	1200.01	1199.93	1821714
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	1200.01	1199.93	1820928
APPLICATIONS/diagnosis/ ACG-20-10p1.cnf	? (TO)	1200.01	1199.95	1821564
industrial/palacios/medium/ cube-11-h14-sat.cnf	? (TO)	1200.01	1200.04	1820508
industrial/palacios/hard/ safe-50-h49-unsat.cnf	? (TO)	1200.01	1200.56	1820454
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_12_UNKNOWN.cnf	? (TO)	1200.02	1199.93	1821804
velev-pipe-uns-1.0-8.cnf	? (TO)	1200.02	1199.93	1822002
industrial/anbulagan/ hard-sat/partial-5-17-s.cnf	? (TO)	1200.02	1199.93	1820280
industrial/anbulagan/ hard-unsat/dated-5-15-u.cnf	? (TO)	1200.02	1199.94	1820346
industrial/anbulagan/ hard-unsat/total-10-19-u.cnf	? (TO)	1200.02	1199.93	1820352
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_13_UNKNOWN.cnf	? (TO)	1200.02	1199.92	1821732
industrial/grieu/ vmpc_33.cnf	? (TO)	1200.02	1199.93	1820592
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf	? (TO)	1200.02	1200.05	1820658
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf	? (TO)	1200.02	1200.05	1820670
APPLICATIONS/crypto/ desgen/gss-34-s100.cnf	? (TO)	1200.02	1199.93	1821168
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	1200.02	1199.93	1821036
goldb-heqc-dalumul.cnf	? (TO)	1200.02	1199.93	1820820
aloul-chnl11-13.cnf	? (TO)	1200.02	1199.92	1820814
APPLICATIONS/bitverif/countbitsarray/ countbitsarray02_32.cnf	? (TO)	1200.02	1199.93	1821018
APPLICATIONS/bitverif/ countbitssrl/countbitssrl128.cnf	? (TO)	1200.02	1200.04	1820946
APPLICATIONS/bitverif/ mulhs/mulhs032.cnf	? (TO)	1200.02	1199.92	1820964
APPLICATIONS/bitverif/ maxxororand/maxxororand032.cnf	? (TO)	1200.03	1199.93	1820994
velev-vliw-uns-4.0-9C1.cnf	? (TO)	1200.03	1199.93	1821930
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	1200.03	1199.93	1821042
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	1200.03	1200.03	1821744
APPLICATIONS/crypto/ md5gen/gus-md5-16.cnf	? (TO)	1200.03	1200.03	1821054
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_10_UNKNOWN.cnf	? (TO)	1200.03	1199.92	1821690
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	? (TO)	1200.03	1200.05	1821660
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_15_UNKNOWN.cnf	? (TO)	1200.03	1199.93	1821738
APPLICATIONS/bitverif/ countbitssrl/countbitssrl032.cnf	? (TO)	1200.03	1199.93	1820940
industrial/anbulagan/ hard-unsat/total-5-17-u.cnf	? (TO)	1200.03	1200.05	1820370
APPLICATIONS/crypto/ desgen/gss-26-s100.cnf	? (TO)	1200.03	1199.92	1821144
industrial/fuhs/hard/ AProVE07-08.cnf	? (TO)	1200.03	1199.93	1820418
APPLICATIONS/crypto/ desgen/gss-25-s100.cnf	? (TO)	1200.03	1199.93	1821210
goldb-heqc-x1mul.cnf	? (TO)	1200.03	1199.93	1820706
industrial/narain/ clauses-8.cnf	? (TO)	1200.04	1200.84	1820628
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	1200.04	1200.04	1820388
APPLICATIONS/crypto/ desgen/gss-33-s100.cnf	? (TO)	1200.04	1200.02	1821174
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf	? (TO)	1200.04	1200.03	1820688
APPLICATIONS/aprove09/ AProVE09-06.cnf	? (TO)	1200.04	1199.94	1821222
simon-s02b-k2f-gr-rcs-w8.cnf	? (TO)	1200.04	1199.94	1821978
vange-col-abb313GPIA-9-c.cnf	? (TO)	1200.04	1200.03	1820808
APPLICATIONS/diagnosis/ UR-20-5p1.cnf	? (TO)	1200.04	1200.03	1821582
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	? (TO)	1200.05	1200.03	1821570
APPLICATIONS/crypto/ md5gen/gus-md5-10.cnf	? (TO)	1200.05	1199.93	1821060
APPLICATIONS/diagnosis/ ACG-20-5p1.cnf	? (TO)	1200.05	1200.05	1821600
industrial/anbulagan/ hard-unsat/partial-5-15-u.cnf	? (TO)	1200.05	1199.93	1820376
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf	? (TO)	1200.05	1200.04	1820664
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_12_UNSAT.cnf	? (TO)	1200.05	1199.93	1821702
APPLICATIONS/bitverif/ maxxororand/maxxororand128.cnf	? (TO)	1200.06	1200.16	1820988
industrial/anbulagan/ hard-unsat/partial-5-17-u.cnf	? (TO)	1200.06	1200.03	1820316
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r3-noholes.cnf	? (TO)	1200.06	1200.03	1821450
APPLICATIONS/ c32sat/post-c32s-ss-8.cnf	? (TO)	1200.06	1200.04	1821432
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_11_UNSAT.cnf	? (TO)	1200.06	1200.04	1821720
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_14_SAT.cnf	? (TO)	1200.06	1200.03	1821726
industrial/anbulagan/ hard-unsat/partial-10-13-u.cnf	? (TO)	1200.07	1200.04	1820340
APPLICATIONS/crypto/ md5gen/gus-md5-14.cnf	? (TO)	1200.07	1200.02	1821072
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_14_UNKNOWN.cnf	? (TO)	1200.07	1200.03	1821822
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	1200.07	1200.03	1821132
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	1200.07	1200.04	1821192
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf	? (TO)	1200.07	1200.01	1820574
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate128.cnf	? (TO)	1200.07	1200.23	1820916
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_16_UNKNOWN.cnf	? (TO)	1200.07	1200.03	1821816
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	1200.07	1200.05	1820466
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (TO)	1200.07	1200.05	1821666
industrial/palacios/hard/ sortnet-8-ipc5-h18-unsat.cnf	? (TO)	1200.07	1200.04	1820442
APPLICATIONS/crypto/ desgen/gss-28-s100.cnf	? (TO)	1200.07	1200.02	1821204
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	1200.07	1200.03	1821786
industrial/anbulagan/ hard-unsat/dated-5-19-u.cnf	? (TO)	1200.07	1200.04	1820364
industrial/anbulagan/ hard-unsat/total-5-15-u.cnf	? (TO)	1200.07	1200.03	1820322
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_08_UNSAT.cnf	? (TO)	1200.08	1200.03	1821684
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (TO)	1200.08	1200.03	1820292
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	1200.08	1200.05	1820910
industrial/anbulagan/ hard-unsat/partial-10-19-u.cnf	? (TO)	1200.08	1200.04	1820394
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_20_SAT.cnf	? (TO)	1200.08	1200.03	1821792
industrial/anbulagan/ medium-unsat/total-10-13-u.cnf	? (TO)	1200.08	1200.04	1820262
industrial/anbulagan/ hard-unsat/dated-10-19-u.cnf	? (TO)	1200.08	1200.23	1820334
APPLICATIONS/diagnosis/ UTI-20-5p1.cnf	? (TO)	1200.08	1200.04	1821618
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf	? (TO)	1200.08	1200.23	1820640
manol-pipe-c10nidw.cnf	? (TO)	1200.08	1200.13	1820778
industrial/fuhs/hard/ AProVE07-25.cnf	? (TO)	1200.08	1200.02	1820424
simon-s02b-dp11u10.cnf	? (TO)	1200.08	1200.02	1821936
APPLICATIONS/crypto/ desgen/gss-31-s100.cnf	? (TO)	1200.08	1200.03	1821108
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	1200.09	1200.02	1820958
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (TO)	1200.09	1200.05	1820892
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	1200.09	1200.03	1821138
APPLICATIONS/crypto/ md5gen/gus-md5-15.cnf	? (TO)	1200.09	1200.04	1821048
mizh-sha0-36-3.cnf	? (TO)	1200.09	1200.03	1820748
APPLICATIONS/diagnosis/ ACG-15-10p0.cnf	? (TO)	1200.09	1200.05	1821522
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (TO)	1200.09	1203.84	1820682
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf	? (TO)	1200.09	1200.05	1820652
velev-pipe-o-uns-1.0-7.cnf	? (TO)	1200.09	1200.03	1821942
APPLICATIONS/diagnosis/ UR-15-10p0.cnf	? (TO)	1200.09	1200.05	1821654
industrial/grieu/ vmpc_29.cnf	? (TO)	1200.09	1200.03	1820604
APPLICATIONS/diagnosis/ ACG-20-10p0.cnf	? (TO)	1200.09	1200.05	1821528
APPLICATIONS/diagnosis/ ACG-15-10p1.cnf	? (TO)	1200.09	1200.05	1821588
APPLICATIONS/diagnosis/ UR-20-5p0.cnf	? (TO)	1200.09	1200.05	1821576
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	1200.09	1200.02	1820562
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf	? (TO)	1200.09	1200.03	1820550
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	1200.09	1200.03	1820544
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_17_UNKNOWN.cnf	? (TO)	1200.09	1200.03	1821708
industrial/fuhs/hard/ AProVE07-26.cnf	? (TO)	1200.09	1200.03	1820430
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_13_UNSAT.cnf	? (TO)	1200.09	1200.03	1821780
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	1200.09	1200.04	1820382
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_10_UNSAT.cnf	? (TO)	1200.09	1200.03	1821750
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_09_UNSAT.cnf	? (TO)	1200.09	1200.03	1821810
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_10_UNKNOWN.cnf	? (TO)	1200.09	1200.03	1821840
APPLICATIONS/bitverif/countbitsarray/ countbitsarray32_32.cnf	? (TO)	1200.09	1200.04	1821030
velev-pipe-o-uns-1.1-6.cnf	? (TO)	1200.1	1200.04	1821906
velev-vliw-uns-4.0-9-i1.cnf	? (TO)	1200.1	1200.75	1820736
mizh-sha0-36-4.cnf	? (TO)	1200.1	1200.03	1820796
APPLICATIONS/diagnosis/ UR-15-10p1.cnf	? (TO)	1200.1	1200.05	1821546
APPLICATIONS/bitverif/countbitsarray/ countbitsarray08_32.cnf	? (TO)	1200.1	1200.03	1821024
APPLICATIONS/crypto/ desgen/gss-32-s100.cnf	? (TO)	1200.1	1200.04	1821120
APPLICATIONS/crypto/ desgen/gss-23-s100.cnf	? (TO)	1200.1	1200.04	1821180
APPLICATIONS/bitverif/ smulo/smulo128.cnf	? (TO)	1200.1	1200.04	1820976
schup-l2s-bc56s-1-k391.cnf	? (TO)	1200.1	1200.05	1820760
APPLICATIONS/ bitverif/minxor/minxor128.cnf	? (TO)	1200.1	1200.05	1820898
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_11_UNKNOWN.cnf	? (TO)	1200.1	1200.03	1821678
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_12_UNKNOWN.cnf	? (TO)	1200.1	1200.03	1821768
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_13_UNKNOWN.cnf	? (TO)	1200.1	1200.03	1821834
industrial/grieu/ vmpc_30.cnf	? (TO)	1200.1	1200.04	1820586
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_11_UNKNOWN.cnf	? (TO)	1200.1	1200.02	1821852
goldb-heqc-frg1mul.cnf	? (TO)	1200.11	1200.13	1820730
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	1200.11	1200.04	1820448
APPLICATIONS/diagnosis/ UTI-20-5p0.cnf	? (TO)	1200.12	1200.05	1821516

SAT 2009 Competition: minisat hack track: benchmarks results per solver

Result page for solver MiniSAT 09z 2009-03-22 (complete)

Category "applications instances" (APPLICATION)

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

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

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

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