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.327003	1820635
APPLICATIONS/bitverif/ minor/minor032.cnf	UNSAT	1.48	1.47948	1820875
een-tip-uns-nusmv-t5.B.cnf	UNSAT	1.83	1.83249	1821883
manol-pipe-g6bi.cnf	UNSAT	1.9	1.89437	1821925
cmu-bmc-barrel6.cnf	UNSAT	2.61	2.61008	1820719
APPLICATIONS/bitverif/ countbitssrl/countbitssrl016.cnf	UNSAT	4.6	4.6064	1820953
APPLICATIONS/crypto/ md5gen/gus-md5-04.cnf	UNSAT	4.66	4.66377	1821091
hoons-vbmc-lucky7.cnf	UNSAT	8.23	8.23035	1820755
APPLICATIONS/bitverif/ minxorminand/minxorminand032.cnf	UNSAT	8.6	8.59689	1820887
industrial/babic/hsatv17/ hsat_vc11803.cnf	UNSAT	12.31	12.3091	1820539
APPLICATIONS/crypto/ md5gen/gus-md5-05.cnf	UNSAT	13.3	13.3048	1821085
manol-pipe-c9.cnf	UNSAT	14.03	14.0408	1821997
industrial/anbulagan/ medium-unsat/total-5-11-u.cnf	UNSAT	17.82	17.8573	1820269
industrial/babic/hsatv17/ hsat_vc11813.cnf	UNSAT	17.84	17.8512	1820533
APPLICATIONS/bitverif/ minandmaxor/minandmaxor032.cnf	UNSAT	19.28	19.2848	1820905
cmu-bmc-longmult15.cnf	UNSAT	19.79	19.7974	1820833
velev-live-uns-2.0-ebuf.cnf	UNSAT	22.39	22.383	1821919
industrial/palacios/uts/ uts-l05-ipc5-h26-unsat.cnf	UNSAT	23.44	23.4715	1820479
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf	UNSAT	23.75	23.7409	1820569
APPLICATIONS/bitverif/ icbrt/icbrt1_32.cnf	UNSAT	23.92	23.9303	1820983
industrial/palacios/uts/ uts-l06-ipc5-h28-unknown.cnf	UNSAT	27.43	27.4577	1820503
APPLICATIONS/bitverif/ smulo/smulo016.cnf	UNSAT	27.71	27.712	1820971
APPLICATIONS/crypto/ md5gen/gus-md5-06.cnf	UNSAT	37.73	37.741	1821079
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate016.cnf	UNSAT	39.82	39.8227	1820923
industrial/palacios/uts/ uts-l05-ipc5-h27-unknown.cnf	UNSAT	42.03	42.0231	1820497
manol-pipe-g7nidw.cnf	UNSAT	45.5	45.5135	1821991
APPLICATIONS/bitverif/ minor/minor064.cnf	UNSAT	48.51	48.5174	1820869
velev-engi-uns-1.0-4nd.cnf	UNSAT	51.41	51.4293	1820785
industrial/palacios/medium/ blocks-4-ipc5-h22-unknown.cnf	UNSAT	51.47	51.4655	1820527
simon-s03-fifo8-300.cnf	UNSAT	52.32	52.3207	1821973
APPLICATIONS/diagnosis/ UR-10-5p0.cnf	UNSAT	52.72	52.7122	1821553
APPLICATIONS/diagnosis/ UCG-10-5p0.cnf	UNSAT	52.91	52.9076	1821511
APPLICATIONS/ bitverif/maxand/maxand064.cnf	UNSAT	53.8	53.9089	1821007
industrial/palacios/uts/ uts-l06-ipc5-h31-unknown.cnf	UNSAT	66.56	66.5587	1820491
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf	UNSAT	68.01	68.0052	1820557
manol-pipe-c6nidw_i.cnf	UNSAT	84.61	84.6894	1822009
APPLICATIONS/diagnosis/ ACG-10-5p0.cnf	UNSAT	89.47	89.4853	1821535
schup-l2s-abp4-1-k31.cnf	UNSAT	93.4	93.4037	1820725
APPLICATIONS/ bitverif/minand/minand128.cnf	UNSAT	98.61	98.6292	1820935
APPLICATIONS/crypto/ md5gen/gus-md5-07.cnf	UNSAT	99.52	99.5068	1821103
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_06_UNSAT.cnf	UNSAT	105.88	105.875	1821847
industrial/anbulagan/ medium-unsat/total-5-13-u.cnf	UNSAT	110.7	110.679	1820275
manol-pipe-c6bidw_i.cnf	UNSAT	129.35	129.368	1820803
APPLICATIONS/bioinfo/ q_query_2_L324_coli.cnf	UNSAT	174.86	174.898	1821493
APPLICATIONS/c32sat/ post-c32s-col400-16.cnf	UNSAT	200.03	200.065	1821427
simon-s02b-dp11u10.cnf	UNSAT	215.8	215.777	1821937
industrial/palacios/uts/ uts-l06-ipc5-h33-unknown.cnf	UNSAT	232.23	232.227	1820485
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	UNSAT	236.14	236.266	1821595
APPLICATIONS/bitverif/ minxorminand/minxorminand064.cnf	UNSAT	276.08	276.072	1820881
manol-pipe-c10nidw_s.cnf	UNSAT	381.69	381.658	1821865
APPLICATIONS/diagnosis/ UR-15-5p0.cnf	UNSAT	404.8	404.931	1821649
manol-pipe-c7bidw_i.cnf	UNSAT	439.56	439.575	1821985
APPLICATIONS/diagnosis/ UTI-15-10p0.cnf	UNSAT	525.3	525.296	1821607
APPLICATIONS/bioinfo/ q_query_3_l44_lambda.cnf	UNSAT	536.81	536.808	1821343
APPLICATIONS/crypto/ md5gen/gus-md5-09.cnf	UNSAT	561.69	561.641	1821067
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf	UNSAT	569.9	569.858	1820575
APPLICATIONS/bioinfo/ q_query_3_l45_lambda.cnf	UNSAT	576.98	576.975	1821397
APPLICATIONS/bioinfo/ q_query_3_L80_coli.sat.cnf	UNSAT	606.61	606.568	1821457
APPLICATIONS/bioinfo/ q_query_3_l47_lambda.cnf	UNSAT	643.75	643.712	1821379
APPLICATIONS/c32sat/ post-cbmc-aes-ele-noholes.cnf	UNSAT	663.77	663.713	1821439
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	UNSAT	678.35	678.344	1821349
APPLICATIONS/bioinfo/ q_query_3_l48_lambda.cnf	UNSAT	680.97	680.95	1821385
goldb-heqc-alu4mul.cnf	UNSAT	722	721.998	1820857
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	UNSAT	832.81	832.893	1821415
schup-l2s-guid-1-k56.cnf	UNSAT	848.26	848.238	1821967
APPLICATIONS/bioinfo/ q_query_3_L90_coli.sat.cnf	UNSAT	958.17	958.122	1821469
APPLICATIONS/bioinfo/ q_query_3_L100_coli.sat.cnf	UNSAT	1063.93	1063.84	1821499

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
een-tip-sat-texas-tp-5e.cnf	SAT	0.27	0.271256	1820851
APPLICATIONS/aprove09/ AProVE09-13.cnf	SAT	0.31	0.304819	1821265
APPLICATIONS/aprove09/ AProVE09-08.cnf	SAT	0.33	0.335165	1821307
APPLICATIONS/aprove09/ AProVE09-22.cnf	SAT	0.37	0.375361	1821283
APPLICATIONS/aprove09/ AProVE09-11.cnf	SAT	0.87	0.87171	1821319
APPLICATIONS/aprove09/ AProVE09-19.cnf	SAT	1.22	1.25313	1821325
APPLICATIONS/aprove09/ AProVE09-25.cnf	SAT	1.35	1.34123	1821259
APPLICATIONS/aprove09/ AProVE09-12.cnf	SAT	1.48	1.48233	1821271
APPLICATIONS/aprove09/ AProVE09-03.cnf	SAT	1.75	1.76599	1821301
APPLICATIONS/bioinfo/ q_query_3_l38_lambda.cnf	SAT	1.99	1.98615	1821391
APPLICATIONS/aprove09/ AProVE09-01.cnf	SAT	2.11	2.13197	1821277
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_17_SAT.cnf	SAT	2.73	2.72856	1821763
APPLICATIONS/aprove09/ AProVE09-05.cnf	SAT	3.98	3.98218	1821247
APPLICATIONS/aprove09/ AProVE09-10.cnf	SAT	4.43	4.43357	1821313
APPLICATIONS/aprove09/ AProVE09-07.cnf	SAT	5.08	5.0833	1821295
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	SAT	5.75	5.75598	1821157
APPLICATIONS/aprove09/ AProVE09-06.cnf	SAT	5.79	5.80098	1821223
APPLICATIONS/bioinfo/ q_query_3_l39_lambda.cnf	SAT	6.26	6.26229	1821373
APPLICATIONS/aprove09/ AProVE09-15.cnf	SAT	6.39	6.38357	1821289
APPLICATIONS/aprove09/ AProVE09-21.cnf	SAT	6.78	6.78551	1821253
APPLICATIONS/bioinfo/ q_query_3_l37_lambda.cnf	SAT	10.88	10.8804	1821355
APPLICATIONS/aprove09/ AProVE09-17.cnf	SAT	14.71	14.7845	1821229
APPLICATIONS/aprove09/ AProVE09-24.cnf	SAT	16	16.0146	1821241
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_14_SAT.cnf	SAT	22.08	22.0791	1821727
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_22_SAT.cnf	SAT	23.21	23.2058	1821697
APPLICATIONS/diagnosis/ UR-10-5p1.cnf	SAT	35.59	35.6085	1821541
APPLICATIONS/crypto/ desgen/gss-13-s100.cnf	SAT	40.47	40.4805	1821187
APPLICATIONS/bioinfo/ q_query_3_l41_lambda.cnf	SAT	43.9	43.8895	1821367
APPLICATIONS/bioinfo/ q_query_3_l40_lambda.cnf	SAT	44.96	44.9607	1821331
industrial/palacios/uts/ uts-l06-ipc5-h35-unknown.cnf	SAT	46.92	46.9248	1820473
APPLICATIONS/bioinfo/ q_query_3_l42_lambda.cnf	SAT	60.56	60.5738	1821337
APPLICATIONS/bioinfo/ q_query_3_l43_lambda.cnf	SAT	73.56	73.5781	1821361
APPLICATIONS/crypto/ desgen/gss-15-s100.cnf	SAT	85.21	85.205	1821163
schup-l2s-motst-2-k315.cnf	SAT	85.77	85.9416	1820773
industrial/grieu/ vmpc_24.cnf	SAT	89.36	89.3488	1820599
simon-s03-w08-15.cnf	SAT	126.18	126.177	1820743
APPLICATIONS/bioinfo/ q_query_3_L60_coli.sat.cnf	SAT	220.77	220.748	1821481
velev-pipe-sat-1.0-b7.cnf	SAT	241.19	245.903	1821859
velev-pipe-sat-1.0-b10.cnf	SAT	265.8	265.845	1821877
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf	SAT	272.81	283.057	1820701
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	SAT	276.9	276.945	1820695
APPLICATIONS/c32sat/ post-c32s-gcdm16-22.cnf	SAT	301.87	301.864	1821445
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	SAT	331.93	331.907	1821127
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	SAT	381.75	381.778	1821475
mizh-md5-47-3.cnf	SAT	412.68	412.641	1820713
mizh-sha0-35-3.cnf	SAT	427.26	427.246	1820839
mizh-md5-48-5.cnf	SAT	648.97	648.976	1820863
mizh-sha0-36-2.cnf	SAT	740.9	740.84	1821955
APPLICATIONS/diagnosis/ UTI-15-5p1.cnf	SAT	808.26	808.28	1821673
industrial/grieu/ vmpc_25.cnf	SAT	831.43	831.386	1820581
APPLICATIONS/crypto/ desgen/gss-17-s100.cnf	SAT	1043.3	1043.26	1821115
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_21_SAT.cnf	SAT	1138.48	1138.4	1821757

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf	? (TO)	1200	1199.91	1820551
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf	? (TO)	1200	1199.93	1820641
industrial/anbulagan/ hard-sat/partial-5-17-s.cnf	? (TO)	1200	1200.16	1820281
APPLICATIONS/diagnosis/ UTI-20-5p0.cnf	? (TO)	1200	1199.93	1821517
manol-pipe-f10ni.cnf	? (TO)	1200	1199.93	1821961
APPLICATIONS/diagnosis/ UR-15-10p1.cnf	? (TO)	1200.01	1199.93	1821547
APPLICATIONS/bitverif/ mulhs/mulhs032.cnf	? (TO)	1200.01	1199.94	1820965
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	? (TO)	1200.01	1200.05	1820287
goldb-heqc-term1mul.cnf	? (TO)	1200.01	1199.93	1821913
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_12_UNKNOWN.cnf	? (TO)	1200.01	1199.93	1821805
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_11_UNSAT.cnf	? (TO)	1200.01	1199.94	1821721
APPLICATIONS/crypto/ desgen/gss-23-s100.cnf	? (TO)	1200.01	1199.94	1821181
manol-pipe-c10nid_i.cnf	? (TO)	1200.01	1199.93	1820845
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf	? (TO)	1200.01	1202.75	1820677
mizh-sha0-36-3.cnf	? (TO)	1200.01	1199.93	1820749
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_07_UNSAT.cnf	? (TO)	1200.01	1199.93	1821799
manol-pipe-g10bidw.cnf	? (TO)	1200.01	1199.93	1821871
APPLICATIONS/c32sat/ post-cbmc-aes-d-r2-noholes.cnf	? (TO)	1200.01	1199.94	1821409
velev-pipe-o-uns-1.1-6.cnf	? (TO)	1200.01	1199.96	1821907
APPLICATIONS/bitverif/countbitsarray/ countbitsarray08_32.cnf	? (TO)	1200.02	1199.92	1821025
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r3-noholes.cnf	? (TO)	1200.02	1199.94	1821451
APPLICATIONS/crypto/ desgen/gss-32-s100.cnf	? (TO)	1200.02	1199.93	1821121
APPLICATIONS/crypto/ desgen/gss-31-s100.cnf	? (TO)	1200.02	1199.91	1821109
APPLICATIONS/crypto/ desgen/gss-28-s100.cnf	? (TO)	1200.02	1199.93	1821205
industrial/anbulagan/ hard-unsat/total-5-17-u.cnf	? (TO)	1200.02	1200.05	1820371
industrial/fuhs/hard/ AProVE07-08.cnf	? (TO)	1200.02	1200.03	1820419
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	1200.02	1199.91	1820545
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	1200.02	1200.02	1820311
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_09_UNSAT.cnf	? (TO)	1200.02	1199.92	1821811
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf	? (TO)	1200.02	1199.94	1820665
goldb-heqc-dalumul.cnf	? (TO)	1200.02	1199.93	1820821
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_07_UNSAT.cnf	? (TO)	1200.02	1199.93	1821775
APPLICATIONS/diagnosis/ UTI-15-5p0.cnf	? (TO)	1200.02	1199.95	1821559
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_13_UNSAT.cnf	? (TO)	1200.02	1199.93	1821781
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_13_UNKNOWN.cnf	? (TO)	1200.02	1199.94	1821733
aloul-chnl11-13.cnf	? (TO)	1200.02	1199.92	1820815
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (TO)	1200.02	1199.95	1820893
APPLICATIONS/ bitverif/minxor/minxor128.cnf	? (TO)	1200.02	1199.95	1820899
manol-pipe-g10id.cnf	? (TO)	1200.03	1199.94	1821901
industrial/fuhs/hard/ AProVE07-25.cnf	? (TO)	1200.03	1199.92	1820425
industrial/fuhs/hard/ AProVE07-26.cnf	? (TO)	1200.03	1199.93	1820431
APPLICATIONS/crypto/ desgen/gss-20-s100.cnf	? (TO)	1200.03	1199.92	1821151
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_13_UNKNOWN.cnf	? (TO)	1200.03	1199.92	1821835
APPLICATIONS/ c32sat/post-c32s-ss-8.cnf	? (TO)	1200.03	1199.93	1821433
APPLICATIONS/diagnosis/ UTI-15-10p1.cnf	? (TO)	1200.03	1200.05	1821505
APPLICATIONS/bitverif/countbitsarray/ countbitsarray02_32.cnf	? (TO)	1200.03	1200.02	1821019
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (TO)	1200.03	1200.05	1820293
industrial/grieu/ vmpc_30.cnf	? (TO)	1200.03	1199.93	1820587
industrial/palacios/hard/ sortnet-8-ipc5-h18-unsat.cnf	? (TO)	1200.03	1200.05	1820443
industrial/palacios/medium/ cube-11-h14-sat.cnf	? (TO)	1200.03	1200.03	1820509
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	1200.03	1200.03	1821787
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_16_UNKNOWN.cnf	? (TO)	1200.03	1199.94	1821817
APPLICATIONS/crypto/ desgen/gss-25-s100.cnf	? (TO)	1200.03	1200.03	1821211
APPLICATIONS/crypto/ desgen/gss-34-s100.cnf	? (TO)	1200.03	1199.93	1821169
manol-pipe-g10nid.cnf	? (TO)	1200.03	1199.93	1820791
industrial/anbulagan/ medium-sat/partial-5-15-s.cnf	? (TO)	1200.04	1200.04	1820305
APPLICATIONS/bitverif/ smulo/smulo128.cnf	? (TO)	1200.04	1199.94	1820977
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	? (TO)	1200.04	1200.04	1821625
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	1200.04	1200.03	1821043
APPLICATIONS/diagnosis/ ACG-15-10p1.cnf	? (TO)	1200.04	1200.04	1821589
APPLICATIONS/bitverif/ countbitssrl/countbitssrl032.cnf	? (TO)	1200.04	1199.93	1820941
APPLICATIONS/crypto/ md5gen/gus-md5-14.cnf	? (TO)	1200.04	1200.03	1821073
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	? (TO)	1200.04	1199.93	1821571
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	1200.04	1200.05	1820467
APPLICATIONS/diagnosis/ UR-20-5p0.cnf	? (TO)	1200.04	1200.05	1821577
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	1200.04	1199.93	1820449
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	1200.04	1199.93	1821829
industrial/fuhs/medium/ AProVE07-16.cnf	? (TO)	1200.05	1199.93	1820407
industrial/narain/ clauses-8.cnf	? (TO)	1200.05	1200.53	1820629
industrial/anbulagan/ hard-unsat/partial-10-19-u.cnf	? (TO)	1200.05	1200.05	1820395
APPLICATIONS/diagnosis/ ACG-20-10p1.cnf	? (TO)	1200.05	1200.05	1821565
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf	? (TO)	1200.05	1200.05	1820671
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_12_UNKNOWN.cnf	? (TO)	1200.05	1200.03	1821769
industrial/anbulagan/ hard-unsat/partial-5-15-u.cnf	? (TO)	1200.05	1200.05	1820377
APPLICATIONS/diagnosis/ ACG-20-10p0.cnf	? (TO)	1200.05	1200.05	1821529
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_12_UNSAT.cnf	? (TO)	1200.05	1200.04	1821703
industrial/anbulagan/ hard-unsat/dated-5-17-u.cnf	? (TO)	1200.05	1200.03	1820359
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	? (TO)	1200.05	1200.03	1821631
manol-pipe-c7nidw.cnf	? (TO)	1200.05	1200.05	1821895
APPLICATIONS/crypto/ md5gen/gus-md5-15.cnf	? (TO)	1200.05	1199.94	1821049
APPLICATIONS/crypto/ desgen/gss-33-s100.cnf	? (TO)	1200.06	1200.04	1821175
velev-pipe-uns-1.0-8.cnf	? (TO)	1200.06	1200.04	1822003
velev-vliw-uns-4.0-9C1.cnf	? (TO)	1200.06	1200.03	1821931
APPLICATIONS/bitverif/ countbitssrl/countbitssrl128.cnf	? (TO)	1200.06	1200.03	1820947
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf	? (TO)	1200.06	1200.03	1820689
industrial/anbulagan/ medium-sat/partial-5-13-s.cnf	? (TO)	1200.06	1200.05	1820299
APPLICATIONS/diagnosis/ ACG-20-5p1.cnf	? (TO)	1200.06	1200.03	1821601
velev-pipe-o-uns-1.0-7.cnf	? (TO)	1200.06	1200.04	1821943
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf	? (TO)	1200.06	1200.03	1820653
industrial/anbulagan/ hard-unsat/partial-5-17-u.cnf	? (TO)	1200.06	1200.03	1820317
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_20_SAT.cnf	? (TO)	1200.06	1200.04	1821793
velev-vliw-uns-4.0-9-i1.cnf	? (TO)	1200.06	1200.43	1820737
industrial/anbulagan/ hard-unsat/partial-10-13-u.cnf	? (TO)	1200.06	1200.04	1820341
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate128.cnf	? (TO)	1200.07	1200.03	1820917
industrial/anbulagan/ hard-unsat/partial-5-13-u.cnf	? (TO)	1200.07	1200.16	1820329
industrial/anbulagan/ hard-unsat/dated-5-15-u.cnf	? (TO)	1200.07	1200.04	1820347
industrial/anbulagan/ hard-unsat/dated-5-19-u.cnf	? (TO)	1200.07	1200.03	1820365
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	1200.07	1200.04	1820383
industrial/fuhs/medium/ AProVE07-09.cnf	? (TO)	1200.07	1200.03	1820401
industrial/grieu/ vmpc_33.cnf	? (TO)	1200.07	1200.05	1820593
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf	? (TO)	1200.07	1207.43	1820647
APPLICATIONS/bitverif/countbitswegner/ countbitswegner064.cnf	? (TO)	1200.07	1200.02	1821001
goldb-heqc-frg1mul.cnf	? (TO)	1200.07	1200.32	1820731
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	1200.07	1200.04	1821037
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_10_UNKNOWN.cnf	? (TO)	1200.07	1200.03	1821691
APPLICATIONS/diagnosis/ UR-20-5p1.cnf	? (TO)	1200.07	1200.05	1821583
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	? (TO)	1200.07	1200.03	1821661
APPLICATIONS/diagnosis/ UR-15-10p0.cnf	? (TO)	1200.07	1200.05	1821655
APPLICATIONS/diagnosis/ UTI-20-5p1.cnf	? (TO)	1200.08	1200.05	1821619
simon-s02b-k2f-gr-rcs-w8.cnf	? (TO)	1200.08	1200.03	1821979
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	1200.08	1200.03	1820929
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	1200.08	1200.05	1820911
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	? (TO)	1200.08	1200.05	1821463
APPLICATIONS/bitverif/ maxxororand/maxxororand032.cnf	? (TO)	1200.08	1200.03	1820995
industrial/fuhs/hard/ AProVE07-27.cnf	? (TO)	1200.08	1200.03	1820437
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf	? (TO)	1200.08	1200.13	1820659
manol-pipe-f9b.cnf	? (TO)	1200.08	1200.04	1820767
mizh-md5-47-4.cnf	? (TO)	1200.08	1200.05	1820827
mizh-sha0-36-4.cnf	? (TO)	1200.08	1200.03	1820797
APPLICATIONS/bioinfo/ q_query_3_L200_coli.sat.cnf	? (TO)	1200.08	1200.06	1821487
goldb-heqc-i10mul.cnf	? (TO)	1200.08	1200.23	1821889
industrial/palacios/hard/ safe-30-h29-unsat.cnf	? (TO)	1200.08	1200.12	1820461
APPLICATIONS/diagnosis/ UTI-10-10p0.cnf	? (TO)	1200.08	1200.04	1821637
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	1200.08	1200.05	1821013
APPLICATIONS/bitverif/ maxxororand/maxxororand128.cnf	? (TO)	1200.08	1200.13	1820989
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	? (TO)	1200.08	1200.03	1821217
industrial/anbulagan/ hard-unsat/dated-10-19-u.cnf	? (TO)	1200.09	1200.04	1820335
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	1200.09	1200.03	1821193
APPLICATIONS/crypto/ md5gen/gus-md5-10.cnf	? (TO)	1200.09	1200.03	1821061
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	1200.09	1200.03	1820959
industrial/anbulagan/ hard-unsat/total-10-19-u.cnf	? (TO)	1200.09	1200.05	1820353
APPLICATIONS/bitverif/countbitsarray/ countbitsarray32_32.cnf	? (TO)	1200.09	1200.04	1821031
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	? (TO)	1200.09	1200.05	1821643
manol-pipe-f9n.cnf	? (TO)	1200.09	1200.05	1821949
APPLICATIONS/diagnosis/ UCG-20-10p1.cnf	? (TO)	1200.09	1200.05	1821613
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (TO)	1200.09	1200.05	1821667
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	1200.09	1200.03	1821133
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_11_UNKNOWN.cnf	? (TO)	1200.09	1200.03	1821679
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_14_UNSAT.cnf	? (TO)	1200.09	1200.05	1821715
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	1200.09	1200.03	1821745
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_15_UNKNOWN.cnf	? (TO)	1200.09	1200.04	1821739
goldb-heqc-x1mul.cnf	? (TO)	1200.09	1200.04	1820707
manol-pipe-c10nidw.cnf	? (TO)	1200.09	1200.05	1820779
industrial/grieu/ vmpc_26.cnf	? (TO)	1200.09	1200.03	1820623
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_11_UNKNOWN.cnf	? (TO)	1200.09	1200.04	1821853
industrial/grieu/ vmpc_29.cnf	? (TO)	1200.09	1200.03	1820605
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	1200.09	1200.02	1820563
industrial/palacios/ medium/emptyroom-4-h21-unsat.cnf	? (TO)	1200.09	1200.03	1820521
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	1200.09	1200.03	1820413
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	1200.09	1200.03	1821139
industrial/anbulagan/ hard-unsat/total-5-15-u.cnf	? (TO)	1200.1	1200.15	1820323
APPLICATIONS/crypto/ desgen/gss-26-s100.cnf	? (TO)	1200.1	1200.03	1821145
industrial/grieu/ vmpc_34.cnf	? (TO)	1200.1	1200.04	1820617
industrial/grieu/ vmpc_28.cnf	? (TO)	1200.1	1200.04	1820611
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_14_UNKNOWN.cnf	? (TO)	1200.1	1200.03	1821823
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_10_UNKNOWN.cnf	? (TO)	1200.1	1200.04	1821841
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	1200.1	1200.03	1820389
APPLICATIONS/crypto/ desgen/gss-24-s100.cnf	? (TO)	1200.1	1200.03	1821199
APPLICATIONS/aprove09/ AProVE09-20.cnf	? (TO)	1200.1	1200.04	1821235
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_08_UNSAT.cnf	? (TO)	1200.1	1200.03	1821685
industrial/palacios/medium/ cube-11-h13-unsat.cnf	? (TO)	1200.1	1200.14	1820515
APPLICATIONS/crypto/ md5gen/gus-md5-16.cnf	? (TO)	1200.1	1200.14	1821055
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_10_UNSAT.cnf	? (TO)	1200.1	1200.03	1821751
industrial/palacios/hard/ safe-50-h49-unsat.cnf	? (TO)	1200.1	1200.53	1820455
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r2-noholes.cnf	? (TO)	1200.1	1200.23	1821403
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	1200.1	1200.03	1821097
vange-col-abb313GPIA-9-c.cnf	? (TO)	1200.11	1200.06	1820809
schup-l2s-bc56s-1-k391.cnf	? (TO)	1200.11	1200.06	1820761
industrial/anbulagan/ medium-unsat/total-10-13-u.cnf	? (TO)	1200.11	1200.05	1820263
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_17_UNKNOWN.cnf	? (TO)	1200.11	1200.05	1821709
APPLICATIONS/diagnosis/ ACG-15-10p0.cnf	? (TO)	1200.11	1200.04	1821523

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	? (MO)	12.67	12.7408	1821421
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (MO)	1064.59	1065.55	1820683

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

Result page for solver MiniSat2hack 2009-03-23 (complete)

Category "applications instances" (APPLICATION)

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

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

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

Solver exceeded the memory limit (no solution given) (2 runs) [Show/Hide]