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.33	0.336201	1820633
APPLICATIONS/bitverif/ minor/minor032.cnf	UNSAT	1.39	1.38664	1820873
manol-pipe-g6bi.cnf	UNSAT	1.5	1.51401	1821923
een-tip-uns-nusmv-t5.B.cnf	UNSAT	1.95	1.95136	1821881
hoons-vbmc-lucky7.cnf	UNSAT	2.73	2.72287	1820753
cmu-bmc-barrel6.cnf	UNSAT	3.79	3.80447	1820717
manol-pipe-c9.cnf	UNSAT	4.37	4.37329	1821995
APPLICATIONS/bitverif/ countbitssrl/countbitssrl016.cnf	UNSAT	4.76	4.77159	1820951
APPLICATIONS/crypto/ md5gen/gus-md5-04.cnf	UNSAT	4.98	5.03897	1821089
industrial/babic/hsatv17/ hsat_vc11803.cnf	UNSAT	12.29	12.295	1820537
APPLICATIONS/bitverif/ minandmaxor/minandmaxor032.cnf	UNSAT	12.7	12.6857	1820903
industrial/palacios/uts/ uts-l05-ipc5-h26-unsat.cnf	UNSAT	16.91	16.9005	1820477
APPLICATIONS/crypto/ md5gen/gus-md5-05.cnf	UNSAT	17.18	17.1715	1821083
industrial/babic/hsatv17/ hsat_vc11813.cnf	UNSAT	17.63	17.676	1820531
APPLICATIONS/bitverif/ icbrt/icbrt1_32.cnf	UNSAT	19.53	19.5262	1820981
APPLICATIONS/bitverif/ minxorminand/minxorminand032.cnf	UNSAT	19.8	19.8463	1820885
APPLICATIONS/bitverif/ smulo/smulo016.cnf	UNSAT	20.07	20.1091	1820969
manol-pipe-c10nidw_s.cnf	UNSAT	23.61	23.627	1821863
cmu-bmc-longmult15.cnf	UNSAT	25.17	25.1706	1820831
APPLICATIONS/bitverif/ minor/minor064.cnf	UNSAT	26.37	26.3605	1820867
simon-s03-fifo8-300.cnf	UNSAT	29.17	29.221	1821971
industrial/palacios/uts/ uts-l06-ipc5-h28-unknown.cnf	UNSAT	29.63	29.6313	1820501
APPLICATIONS/ bitverif/maxand/maxand064.cnf	UNSAT	30.95	30.944	1821005
industrial/palacios/uts/ uts-l05-ipc5-h27-unknown.cnf	UNSAT	33.78	34.1928	1820495
schup-l2s-abp4-1-k31.cnf	UNSAT	38.38	38.3826	1820723
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf	UNSAT	39.09	39.0951	1820567
industrial/anbulagan/ medium-unsat/total-5-11-u.cnf	UNSAT	43.52	43.5091	1820267
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate016.cnf	UNSAT	44.7	44.7358	1820921
APPLICATIONS/crypto/ md5gen/gus-md5-06.cnf	UNSAT	48.78	48.7762	1821077
APPLICATIONS/diagnosis/ UCG-10-5p0.cnf	UNSAT	54.46	54.5036	1821509
APPLICATIONS/diagnosis/ ACG-10-5p0.cnf	UNSAT	55.4	55.4068	1821533
velev-engi-uns-1.0-4nd.cnf	UNSAT	56.57	56.5745	1820783
industrial/palacios/medium/ blocks-4-ipc5-h22-unknown.cnf	UNSAT	59.51	59.5884	1820525
APPLICATIONS/diagnosis/ UR-10-5p0.cnf	UNSAT	62.02	62.0711	1821551
manol-pipe-c6bidw_i.cnf	UNSAT	62.13	62.1285	1820801
industrial/palacios/uts/ uts-l06-ipc5-h31-unknown.cnf	UNSAT	64.07	64.1028	1820489
manol-pipe-c6nidw_i.cnf	UNSAT	67.66	67.6606	1822007
velev-live-uns-2.0-ebuf.cnf	UNSAT	70.16	70.1615	1821917
APPLICATIONS/diagnosis/ UTI-10-10p0.cnf	UNSAT	89.49	89.4876	1821635
APPLICATIONS/ bitverif/minand/minand128.cnf	UNSAT	99.28	99.319	1820933
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_06_UNSAT.cnf	UNSAT	101.01	101.004	1821845
APPLICATIONS/crypto/ md5gen/gus-md5-07.cnf	UNSAT	115.96	115.954	1821101
industrial/anbulagan/ medium-unsat/total-5-13-u.cnf	UNSAT	116.5	116.522	1820273
APPLICATIONS/c32sat/ post-cbmc-aes-ele-noholes.cnf	UNSAT	126.34	126.396	1821437
manol-pipe-c7nidw.cnf	UNSAT	135.07	135.143	1821893
industrial/palacios/uts/ uts-l06-ipc5-h33-unknown.cnf	UNSAT	141.85	141.844	1820483
manol-pipe-c7bidw_i.cnf	UNSAT	144.03	144.036	1821983
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf	UNSAT	146.13	146.119	1820555
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	UNSAT	147.25	147.243	1821593
APPLICATIONS/bioinfo/ q_query_2_L324_coli.cnf	UNSAT	174.89	174.961	1821491
APPLICATIONS/diagnosis/ UR-15-5p0.cnf	UNSAT	266.94	266.938	1821647
manol-pipe-g7nidw.cnf	UNSAT	294.29	294.302	1821989
manol-pipe-g10id.cnf	UNSAT	296.25	296.228	1821899
APPLICATIONS/bioinfo/ q_query_3_L80_coli.sat.cnf	UNSAT	309.98	309.962	1821455
APPLICATIONS/bioinfo/ q_query_3_L100_coli.sat.cnf	UNSAT	322.11	322.104	1821497
APPLICATIONS/bitverif/ minxorminand/minxorminand064.cnf	UNSAT	335.36	335.338	1820879
manol-pipe-g10nid.cnf	UNSAT	394.65	394.621	1820789
schup-l2s-guid-1-k56.cnf	UNSAT	398.5	398.475	1821965
APPLICATIONS/c32sat/ post-c32s-col400-16.cnf	UNSAT	521.6	521.561	1821425
APPLICATIONS/bioinfo/ q_query_3_L90_coli.sat.cnf	UNSAT	571.45	571.426	1821467
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	UNSAT	587.55	587.752	1821413
APPLICATIONS/diagnosis/ UTI-15-10p0.cnf	UNSAT	632.11	632.1	1821605
goldb-heqc-term1mul.cnf	UNSAT	636.45	636.392	1821911
APPLICATIONS/bitverif/countbitswegner/ countbitswegner064.cnf	UNSAT	736.43	736.377	1820999
manol-pipe-c10nid_i.cnf	UNSAT	895.32	895.239	1820843
APPLICATIONS/bioinfo/ q_query_3_L200_coli.sat.cnf	UNSAT	900.52	900.495	1821485
APPLICATIONS/crypto/ md5gen/gus-md5-09.cnf	UNSAT	901.26	901.195	1821065
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	UNSAT	912.2	912.157	1821461
APPLICATIONS/bioinfo/ q_query_3_l45_lambda.cnf	UNSAT	1015.4	1015.36	1821395
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	UNSAT	1136.01	1135.96	1821347
APPLICATIONS/bioinfo/ q_query_3_l47_lambda.cnf	UNSAT	1161.1	1161.1	1821377

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
een-tip-sat-texas-tp-5e.cnf	SAT	0.27	0.268828	1820849
APPLICATIONS/aprove09/ AProVE09-13.cnf	SAT	0.3	0.304243	1821263
APPLICATIONS/aprove09/ AProVE09-07.cnf	SAT	0.35	0.351973	1821293
APPLICATIONS/aprove09/ AProVE09-22.cnf	SAT	0.37	0.374345	1821281
APPLICATIONS/aprove09/ AProVE09-05.cnf	SAT	0.59	0.585156	1821245
APPLICATIONS/aprove09/ AProVE09-11.cnf	SAT	0.87	0.869207	1821317
APPLICATIONS/aprove09/ AProVE09-25.cnf	SAT	1.12	1.13888	1821257
APPLICATIONS/aprove09/ AProVE09-12.cnf	SAT	1.28	1.28693	1821269
APPLICATIONS/aprove09/ AProVE09-19.cnf	SAT	1.71	1.71604	1821323
APPLICATIONS/aprove09/ AProVE09-03.cnf	SAT	1.75	1.75443	1821299
APPLICATIONS/aprove09/ AProVE09-01.cnf	SAT	2.14	2.14021	1821275
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_17_SAT.cnf	SAT	3.28	3.27183	1821761
APPLICATIONS/aprove09/ AProVE09-17.cnf	SAT	3.41	3.40934	1821227
APPLICATIONS/bioinfo/ q_query_3_l37_lambda.cnf	SAT	3.63	3.64179	1821353
APPLICATIONS/aprove09/ AProVE09-21.cnf	SAT	3.78	3.78507	1821251
APPLICATIONS/aprove09/ AProVE09-10.cnf	SAT	3.79	3.80227	1821311
APPLICATIONS/aprove09/ AProVE09-24.cnf	SAT	4.4	4.43264	1821239
APPLICATIONS/bioinfo/ q_query_3_l40_lambda.cnf	SAT	5.16	5.16325	1821329
APPLICATIONS/bioinfo/ q_query_3_l39_lambda.cnf	SAT	5.42	5.43106	1821371
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	SAT	5.53	5.5677	1821155
APPLICATIONS/bioinfo/ q_query_3_l38_lambda.cnf	SAT	6.75	6.74533	1821389
APPLICATIONS/aprove09/ AProVE09-08.cnf	SAT	9.35	9.35592	1821305
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_22_SAT.cnf	SAT	11.5	11.4912	1821695
APPLICATIONS/aprove09/ AProVE09-15.cnf	SAT	12.73	12.7278	1821287
APPLICATIONS/diagnosis/ UR-10-5p1.cnf	SAT	15.55	15.5645	1821539
APPLICATIONS/aprove09/ AProVE09-06.cnf	SAT	18.03	18.0443	1821221
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_21_SAT.cnf	SAT	23.98	24.089	1821755
APPLICATIONS/bioinfo/ q_query_3_l41_lambda.cnf	SAT	31.99	31.9898	1821365
schup-l2s-motst-2-k315.cnf	SAT	32.05	32.0506	1820771
industrial/anbulagan/ medium-sat/partial-5-13-s.cnf	SAT	32.93	32.941	1820297
industrial/palacios/uts/ uts-l06-ipc5-h35-unknown.cnf	SAT	37.37	37.3792	1820471
APPLICATIONS/crypto/ desgen/gss-13-s100.cnf	SAT	46.76	46.7505	1821185
APPLICATIONS/bioinfo/ q_query_3_L60_coli.sat.cnf	SAT	47.45	47.5329	1821479
simon-s03-w08-15.cnf	SAT	65.95	65.988	1820741
industrial/grieu/ vmpc_24.cnf	SAT	70.97	70.9614	1820597
APPLICATIONS/crypto/ desgen/gss-15-s100.cnf	SAT	86.51	86.5244	1821161
APPLICATIONS/bioinfo/ q_query_3_l43_lambda.cnf	SAT	86.93	86.9314	1821359
APPLICATIONS/bioinfo/ q_query_3_l42_lambda.cnf	SAT	125.71	125.714	1821335
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	SAT	140.96	141.589	1821473
industrial/grieu/ vmpc_25.cnf	SAT	174.85	174.998	1820579
APPLICATIONS/aprove09/ AProVE09-20.cnf	SAT	177.28	177.269	1821233
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_14_SAT.cnf	SAT	218.48	218.47	1821725
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_20_SAT.cnf	SAT	223.67	223.654	1821791
velev-pipe-sat-1.0-b10.cnf	SAT	246.34	249.343	1821875
APPLICATIONS/c32sat/ post-c32s-gcdm16-22.cnf	SAT	359.27	359.251	1821443
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf	SAT	374.77	374.769	1820699
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	SAT	374.91	381.39	1820693
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	SAT	378.51	378.577	1821125
industrial/grieu/ vmpc_29.cnf	SAT	487.39	487.345	1820603
APPLICATIONS/crypto/ desgen/gss-17-s100.cnf	SAT	509.2	509.231	1821113
industrial/grieu/ vmpc_26.cnf	SAT	553.2	553.136	1820621
mizh-md5-47-4.cnf	SAT	659.89	660.005	1820825
mizh-sha0-36-3.cnf	SAT	705.9	705.855	1820747
industrial/grieu/ vmpc_30.cnf	SAT	849.66	849.594	1820585
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	SAT	867.15	867.083	1821641
mizh-sha0-36-2.cnf	SAT	940.02	939.998	1821953
mizh-sha0-35-3.cnf	SAT	949.85	949.794	1820837
APPLICATIONS/crypto/ desgen/gss-20-s100.cnf	SAT	1105.71	1105.63	1821149
APPLICATIONS/diagnosis/ UTI-15-5p1.cnf	SAT	1151.25	1151.17	1821671
APPLICATIONS/diagnosis/ UTI-15-10p1.cnf	SAT	1166.73	1166.63	1821503

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/bioinfo/ q_query_3_l44_lambda.cnf	? (TO)	1200	1199.93	1821341
velev-pipe-sat-1.0-b7.cnf	? (TO)	1200	1205.93	1821857
APPLICATIONS/diagnosis/ ACG-20-5p1.cnf	? (TO)	1200	1199.94	1821599
goldb-heqc-i10mul.cnf	? (TO)	1200	1199.93	1821887
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf	? (TO)	1200	1200.03	1820657
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	1200	1199.92	1820543
APPLICATIONS/diagnosis/ UTI-15-5p0.cnf	? (TO)	1200	1200.03	1821557
APPLICATIONS/ c32sat/post-c32s-ss-8.cnf	? (TO)	1200.01	1199.93	1821431
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_07_UNSAT.cnf	? (TO)	1200.01	1199.92	1821773
APPLICATIONS/diagnosis/ ACG-15-10p1.cnf	? (TO)	1200.01	1199.94	1821587
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	1200.01	1200.14	1821743
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	? (TO)	1200.01	1200.03	1821569
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	1200.01	1199.93	1821095
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_09_UNSAT.cnf	? (TO)	1200.01	1199.92	1821809
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r3-noholes.cnf	? (TO)	1200.01	1199.93	1821449
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_10_UNKNOWN.cnf	? (TO)	1200.01	1199.94	1821689
goldb-heqc-x1mul.cnf	? (TO)	1200.02	1199.93	1820705
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_13_UNKNOWN.cnf	? (TO)	1200.02	1199.93	1821833
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	1200.02	1199.92	1820561
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf	? (TO)	1200.02	1199.92	1820573
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	1200.02	1199.92	1821191
APPLICATIONS/diagnosis/ ACG-20-10p0.cnf	? (TO)	1200.02	1199.93	1821527
APPLICATIONS/crypto/ md5gen/gus-md5-10.cnf	? (TO)	1200.02	1199.94	1821059
velev-vliw-uns-4.0-9C1.cnf	? (TO)	1200.02	1199.94	1821929
APPLICATIONS/diagnosis/ ACG-20-10p1.cnf	? (TO)	1200.02	1199.94	1821563
APPLICATIONS/bitverif/ maxxororand/maxxororand128.cnf	? (TO)	1200.02	1200.05	1820987
industrial/fuhs/hard/ AProVE07-08.cnf	? (TO)	1200.02	1200.02	1820417
industrial/fuhs/hard/ AProVE07-25.cnf	? (TO)	1200.02	1199.93	1820423
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (TO)	1200.02	1199.95	1820891
mizh-sha0-36-4.cnf	? (TO)	1200.02	1199.94	1820795
vange-col-abb313GPIA-9-c.cnf	? (TO)	1200.02	1199.94	1820807
APPLICATIONS/diagnosis/ ACG-15-10p0.cnf	? (TO)	1200.02	1199.93	1821521
manol-pipe-f10ni.cnf	? (TO)	1200.03	1199.94	1821959
APPLICATIONS/crypto/ desgen/gss-33-s100.cnf	? (TO)	1200.03	1199.93	1821173
APPLICATIONS/crypto/ desgen/gss-34-s100.cnf	? (TO)	1200.03	1200.03	1821167
velev-pipe-uns-1.0-8.cnf	? (TO)	1200.03	1199.93	1822001
industrial/anbulagan/ hard-unsat/dated-10-19-u.cnf	? (TO)	1200.03	1199.94	1820333
industrial/anbulagan/ hard-unsat/partial-10-13-u.cnf	? (TO)	1200.03	1200.04	1820339
industrial/anbulagan/ hard-unsat/dated-5-17-u.cnf	? (TO)	1200.03	1199.94	1820357
industrial/anbulagan/ hard-unsat/partial-5-15-u.cnf	? (TO)	1200.03	1200.07	1820375
industrial/anbulagan/ medium-sat/partial-5-15-s.cnf	? (TO)	1200.03	1199.95	1820303
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_12_UNKNOWN.cnf	? (TO)	1200.03	1199.93	1821767
industrial/grieu/ vmpc_28.cnf	? (TO)	1200.03	1200.12	1820609
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	1200.03	1199.93	1821041
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	1200.03	1199.95	1820309
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_11_UNKNOWN.cnf	? (TO)	1200.03	1199.93	1821677
mizh-md5-48-5.cnf	? (TO)	1200.03	1199.93	1820861
APPLICATIONS/diagnosis/ UR-20-5p0.cnf	? (TO)	1200.03	1200.03	1821575
goldb-heqc-alu4mul.cnf	? (TO)	1200.03	1199.92	1820855
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	1200.03	1199.91	1820927
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate128.cnf	? (TO)	1200.03	1199.94	1820915
APPLICATIONS/diagnosis/ UR-20-5p1.cnf	? (TO)	1200.03	1200.04	1821581
APPLICATIONS/bitverif/countbitsarray/ countbitsarray02_32.cnf	? (TO)	1200.03	1199.93	1821017
APPLICATIONS/bioinfo/ q_query_3_l48_lambda.cnf	? (TO)	1200.03	1199.93	1821383
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf	? (TO)	1200.04	1200.02	1820549
APPLICATIONS/crypto/ desgen/gss-26-s100.cnf	? (TO)	1200.04	1199.92	1821143
manol-pipe-c10nidw.cnf	? (TO)	1200.04	1200.04	1820777
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_14_UNKNOWN.cnf	? (TO)	1200.04	1199.93	1821821
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (TO)	1200.04	1200.03	1821665
industrial/anbulagan/ hard-unsat/total-5-15-u.cnf	? (TO)	1200.04	1200.03	1820321
industrial/palacios/hard/ safe-30-h29-unsat.cnf	? (TO)	1200.04	1200.05	1820459
APPLICATIONS/bitverif/ mulhs/mulhs032.cnf	? (TO)	1200.04	1199.92	1820963
industrial/narain/ clauses-8.cnf	? (TO)	1200.04	1200.66	1820627
industrial/anbulagan/ hard-unsat/partial-10-19-u.cnf	? (TO)	1200.04	1200.05	1820393
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	1200.04	1199.93	1821827
velev-vliw-uns-4.0-9-i1.cnf	? (TO)	1200.04	1200.93	1820735
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	? (TO)	1200.05	1200.05	1821623
industrial/palacios/medium/ cube-11-h13-unsat.cnf	? (TO)	1200.05	1200.15	1820513
industrial/palacios/medium/ cube-11-h14-sat.cnf	? (TO)	1200.05	1200.03	1820507
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_11_UNKNOWN.cnf	? (TO)	1200.05	1199.93	1821851
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	? (TO)	1200.05	1200.07	1820285
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	1200.05	1200.04	1820447
goldb-heqc-dalumul.cnf	? (TO)	1200.05	1200.02	1820819
APPLICATIONS/diagnosis/ UTI-20-5p0.cnf	? (TO)	1200.05	1199.95	1821515
APPLICATIONS/crypto/ md5gen/gus-md5-14.cnf	? (TO)	1200.05	1199.94	1821071
industrial/palacios/hard/ sortnet-8-ipc5-h18-unsat.cnf	? (TO)	1200.05	1200.05	1820441
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	1200.05	1200.23	1821011
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	1200.05	1200.05	1820909
industrial/anbulagan/ hard-unsat/partial-5-17-u.cnf	? (TO)	1200.05	1200.03	1820315
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_15_UNKNOWN.cnf	? (TO)	1200.05	1200.03	1821737
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf	? (TO)	1200.05	1200.26	1820651
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf	? (TO)	1200.05	1202.15	1820675
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (TO)	1200.05	1201.44	1820681
industrial/fuhs/medium/ AProVE07-16.cnf	? (TO)	1200.06	1200.02	1820405
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	? (TO)	1200.06	1199.93	1821215
schup-l2s-bc56s-1-k391.cnf	? (TO)	1200.06	1200.04	1820759
industrial/anbulagan/ hard-sat/partial-5-17-s.cnf	? (TO)	1200.06	1200.04	1820279
industrial/palacios/hard/ safe-50-h49-unsat.cnf	? (TO)	1200.06	1200.35	1820453
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_10_UNKNOWN.cnf	? (TO)	1200.06	1200.04	1821839
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	? (TO)	1200.06	1200.05	1821659
industrial/anbulagan/ medium-unsat/total-10-13-u.cnf	? (TO)	1200.06	1200.04	1820261
velev-pipe-o-uns-1.0-7.cnf	? (TO)	1200.06	1200.05	1821941
APPLICATIONS/diagnosis/ UR-15-10p1.cnf	? (TO)	1200.06	1200.03	1821545
manol-pipe-g10bidw.cnf	? (TO)	1200.06	1200.03	1821869
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	? (TO)	1200.07	1200.04	1821629
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (TO)	1200.07	1200.05	1820291
industrial/anbulagan/ hard-unsat/total-10-19-u.cnf	? (TO)	1200.07	1200.05	1820351
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	1200.07	1200.02	1820411
industrial/fuhs/hard/ AProVE07-26.cnf	? (TO)	1200.07	1200.02	1820429
aloul-chnl11-13.cnf	? (TO)	1200.07	1200.03	1820813
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r2-noholes.cnf	? (TO)	1200.07	1200.05	1821401
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_08_UNSAT.cnf	? (TO)	1200.07	1200.03	1821683
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_12_UNKNOWN.cnf	? (TO)	1200.07	1200.04	1821803
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_13_UNSAT.cnf	? (TO)	1200.08	1200.04	1821779
goldb-heqc-frg1mul.cnf	? (TO)	1200.08	1200.03	1820729
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_14_UNSAT.cnf	? (TO)	1200.08	1200.13	1821713
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_13_UNKNOWN.cnf	? (TO)	1200.08	1200.03	1821731
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	1200.08	1200.24	1820387
industrial/anbulagan/ hard-unsat/partial-5-13-u.cnf	? (TO)	1200.08	1200.04	1820327
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_07_UNSAT.cnf	? (TO)	1200.08	1200.02	1821797
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf	? (TO)	1200.08	1200.05	1820669
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf	? (TO)	1200.08	1200.02	1820663
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_17_UNKNOWN.cnf	? (TO)	1200.08	1200.03	1821707
APPLICATIONS/crypto/ desgen/gss-28-s100.cnf	? (TO)	1200.08	1200.03	1821203
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	1200.08	1200.06	1821035
APPLICATIONS/diagnosis/ UTI-20-5p1.cnf	? (TO)	1200.08	1200.04	1821617
APPLICATIONS/crypto/ md5gen/gus-md5-16.cnf	? (TO)	1200.08	1200.03	1821053
APPLICATIONS/crypto/ desgen/gss-25-s100.cnf	? (TO)	1200.08	1200.03	1821209
APPLICATIONS/bitverif/ smulo/smulo128.cnf	? (TO)	1200.08	1200.05	1820975
industrial/anbulagan/ hard-unsat/dated-5-19-u.cnf	? (TO)	1200.08	1200.04	1820363
APPLICATIONS/diagnosis/ UCG-20-10p1.cnf	? (TO)	1200.08	1200.05	1821611
simon-s02b-k2f-gr-rcs-w8.cnf	? (TO)	1200.08	1200.03	1821977
APPLICATIONS/bitverif/ countbitssrl/countbitssrl032.cnf	? (TO)	1200.08	1200.03	1820939
APPLICATIONS/ bitverif/minxor/minxor128.cnf	? (TO)	1200.08	1200.05	1820897
APPLICATIONS/crypto/ md5gen/gus-md5-15.cnf	? (TO)	1200.08	1200.04	1821047
mizh-md5-47-3.cnf	? (TO)	1200.08	1200.03	1820711
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	1200.09	1200.05	1820381
APPLICATIONS/crypto/ desgen/gss-23-s100.cnf	? (TO)	1200.09	1200.03	1821179
APPLICATIONS/crypto/ desgen/gss-32-s100.cnf	? (TO)	1200.09	1200.04	1821119
APPLICATIONS/bitverif/countbitsarray/ countbitsarray08_32.cnf	? (TO)	1200.09	1200.03	1821023
APPLICATIONS/bitverif/ maxxororand/maxxororand032.cnf	? (TO)	1200.09	1200.04	1820993
APPLICATIONS/bitverif/ countbitssrl/countbitssrl128.cnf	? (TO)	1200.09	1200.15	1820945
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	1200.09	1200.03	1820957
APPLICATIONS/diagnosis/ UR-15-10p0.cnf	? (TO)	1200.09	1200.05	1821653
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf	? (TO)	1200.09	1200.03	1820687
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_12_UNSAT.cnf	? (TO)	1200.09	1200.03	1821701
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf	? (TO)	1200.09	1201.73	1820645
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_11_UNSAT.cnf	? (TO)	1200.09	1200.43	1821719
industrial/grieu/ vmpc_34.cnf	? (TO)	1200.09	1200.03	1820615
industrial/grieu/ vmpc_33.cnf	? (TO)	1200.09	1200.03	1820591
industrial/fuhs/hard/ AProVE07-27.cnf	? (TO)	1200.09	1200.03	1820435
industrial/fuhs/medium/ AProVE07-09.cnf	? (TO)	1200.09	1200.02	1820399
velev-pipe-o-uns-1.1-6.cnf	? (TO)	1200.09	1200.04	1821905
APPLICATIONS/crypto/ desgen/gss-24-s100.cnf	? (TO)	1200.09	1200.04	1821197
simon-s02b-dp11u10.cnf	? (TO)	1200.09	1200.03	1821935
APPLICATIONS/c32sat/ post-cbmc-aes-d-r2-noholes.cnf	? (TO)	1200.09	1200.14	1821407
APPLICATIONS/crypto/ desgen/gss-31-s100.cnf	? (TO)	1200.1	1200.03	1821107
APPLICATIONS/bitverif/countbitsarray/ countbitsarray32_32.cnf	? (TO)	1200.1	1200.05	1821029
industrial/anbulagan/ hard-unsat/total-5-17-u.cnf	? (TO)	1200.1	1200.05	1820369
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	1200.1	1200.02	1821785
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	1200.1	1200.03	1820465
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	1200.1	1200.03	1821131
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_10_UNSAT.cnf	? (TO)	1200.1	1200.03	1821749
manol-pipe-f9n.cnf	? (TO)	1200.1	1200.14	1821947
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	1200.1	1200.13	1821137
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf	? (TO)	1200.1	1200.04	1820639
industrial/anbulagan/ hard-unsat/dated-5-15-u.cnf	? (TO)	1200.1	1200.13	1820345
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_16_UNKNOWN.cnf	? (TO)	1200.11	1200.05	1821815
manol-pipe-f9b.cnf	? (TO)	1200.11	1200.04	1820765
industrial/palacios/ medium/emptyroom-4-h21-unsat.cnf	? (TO)	1200.11	1200.04	1820519

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

Result page for solver minisat_cumr r-2009-03-18 (complete)

Category "applications instances" (APPLICATION)

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

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

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

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