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.332728	1820632
APPLICATIONS/bitverif/ minor/minor032.cnf	UNSAT	0.62	0.623219	1820872
manol-pipe-g6bi.cnf	UNSAT	1.2	1.21208	1821922
een-tip-uns-nusmv-t5.B.cnf	UNSAT	1.88	1.87658	1821880
hoons-vbmc-lucky7.cnf	UNSAT	2.12	2.12761	1820752
manol-pipe-c9.cnf	UNSAT	3.95	3.96186	1821994
APPLICATIONS/crypto/ md5gen/gus-md5-04.cnf	UNSAT	5.51	5.51787	1821088
cmu-bmc-barrel6.cnf	UNSAT	5.66	5.66002	1820716
APPLICATIONS/bitverif/ countbitssrl/countbitssrl016.cnf	UNSAT	8.46	8.47884	1820950
industrial/babic/hsatv17/ hsat_vc11803.cnf	UNSAT	12.35	12.3543	1820536
APPLICATIONS/ bitverif/maxand/maxand064.cnf	UNSAT	13.12	13.1228	1821004
APPLICATIONS/bitverif/ minandmaxor/minandmaxor032.cnf	UNSAT	13.45	13.4547	1820902
APPLICATIONS/crypto/ md5gen/gus-md5-05.cnf	UNSAT	15.57	15.5622	1821082
industrial/palacios/uts/ uts-l05-ipc5-h26-unsat.cnf	UNSAT	16.53	16.5234	1820476
industrial/babic/hsatv17/ hsat_vc11813.cnf	UNSAT	17.68	17.6868	1820530
APPLICATIONS/bitverif/ minor/minor064.cnf	UNSAT	18.47	18.4723	1820866
APPLICATIONS/bitverif/ minxorminand/minxorminand032.cnf	UNSAT	20.68	20.67	1820884
APPLICATIONS/bitverif/ icbrt/icbrt1_32.cnf	UNSAT	25.16	25.1577	1820980
industrial/palacios/uts/ uts-l05-ipc5-h27-unknown.cnf	UNSAT	26.03	26.0539	1820494
industrial/palacios/uts/ uts-l06-ipc5-h28-unknown.cnf	UNSAT	26.63	26.6617	1820500
APPLICATIONS/bitverif/ smulo/smulo016.cnf	UNSAT	26.84	26.8434	1820968
manol-pipe-c10nidw_s.cnf	UNSAT	32.35	32.463	1821862
industrial/anbulagan/ medium-unsat/total-5-11-u.cnf	UNSAT	34.13	34.1291	1820266
manol-pipe-g7nidw.cnf	UNSAT	34.14	34.1511	1821988
schup-l2s-abp4-1-k31.cnf	UNSAT	34.96	34.9592	1820722
velev-live-uns-2.0-ebuf.cnf	UNSAT	36.03	36.0224	1821916
simon-s03-fifo8-300.cnf	UNSAT	39.24	39.2413	1821970
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf	UNSAT	41.28	41.2806	1820566
APPLICATIONS/crypto/ md5gen/gus-md5-06.cnf	UNSAT	41.47	41.4732	1821076
APPLICATIONS/diagnosis/ ACG-10-5p0.cnf	UNSAT	41.72	41.7568	1821532
APPLICATIONS/diagnosis/ UCG-10-5p0.cnf	UNSAT	45.29	45.4705	1821508
velev-engi-uns-1.0-4nd.cnf	UNSAT	49.05	49.0462	1820782
industrial/palacios/uts/ uts-l06-ipc5-h31-unknown.cnf	UNSAT	49.95	49.9828	1820488
cmu-bmc-longmult15.cnf	UNSAT	52.06	52.0594	1820830
APPLICATIONS/diagnosis/ UR-10-5p0.cnf	UNSAT	56.41	56.4653	1821550
industrial/palacios/medium/ blocks-4-ipc5-h22-unknown.cnf	UNSAT	60.4	60.4563	1820524
manol-pipe-c6bidw_i.cnf	UNSAT	65.64	65.6372	1820800
manol-pipe-c6nidw_i.cnf	UNSAT	75.45	75.4478	1822006
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate016.cnf	UNSAT	84.24	84.248	1820920
APPLICATIONS/ bitverif/minand/minand128.cnf	UNSAT	92.21	92.2437	1820932
APPLICATIONS/c32sat/ post-cbmc-aes-ele-noholes.cnf	UNSAT	102.69	102.702	1821436
industrial/anbulagan/ medium-unsat/total-5-13-u.cnf	UNSAT	103.49	103.707	1820272
velev-pipe-o-uns-1.1-6.cnf	UNSAT	105.67	105.69	1821904
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	UNSAT	107.8	107.798	1821592
APPLICATIONS/crypto/ md5gen/gus-md5-07.cnf	UNSAT	120.52	120.51	1821100
APPLICATIONS/c32sat/ post-c32s-col400-16.cnf	UNSAT	127.7	127.798	1821424
manol-pipe-c7bidw_i.cnf	UNSAT	150.05	150.056	1821982
manol-pipe-c7nidw.cnf	UNSAT	158.14	158.154	1821892
manol-pipe-g10nid.cnf	UNSAT	166.09	166.084	1820788
APPLICATIONS/bioinfo/ q_query_2_L324_coli.cnf	UNSAT	175.47	175.487	1821490
industrial/palacios/uts/ uts-l06-ipc5-h33-unknown.cnf	UNSAT	180.36	180.399	1820482
APPLICATIONS/diagnosis/ UR-15-5p0.cnf	UNSAT	197.69	197.677	1821646
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_06_UNSAT.cnf	UNSAT	198.95	198.96	1821844
APPLICATIONS/bitverif/countbitswegner/ countbitswegner064.cnf	UNSAT	203.27	203.291	1820998
simon-s02b-dp11u10.cnf	UNSAT	243.99	244.036	1821934
APPLICATIONS/diagnosis/ UTI-10-10p0.cnf	UNSAT	251.48	251.479	1821634
manol-pipe-g10id.cnf	UNSAT	298.56	298.525	1821898
schup-l2s-guid-1-k56.cnf	UNSAT	307.65	307.669	1821964
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf	UNSAT	354.01	353.973	1820554
industrial/palacios/medium/ cube-11-h13-unsat.cnf	UNSAT	384.55	384.565	1820512
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	UNSAT	427.66	427.685	1821412
APPLICATIONS/bitverif/ minxorminand/minxorminand064.cnf	UNSAT	538.4	538.43	1820878
APPLICATIONS/bioinfo/ q_query_3_l48_lambda.cnf	UNSAT	544.22	544.187	1821382
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	UNSAT	556.61	556.572	1821346
APPLICATIONS/bioinfo/ q_query_3_l45_lambda.cnf	UNSAT	565.26	565.244	1821394
APPLICATIONS/bioinfo/ q_query_3_l44_lambda.cnf	UNSAT	567.49	567.447	1821340
APPLICATIONS/bioinfo/ q_query_3_l47_lambda.cnf	UNSAT	607.66	607.658	1821376
manol-pipe-c10nid_i.cnf	UNSAT	626.92	626.893	1820842
goldb-heqc-alu4mul.cnf	UNSAT	646.53	646.479	1820854
industrial/fuhs/medium/ AProVE07-16.cnf	UNSAT	674.37	674.331	1820404
manol-pipe-f9n.cnf	UNSAT	691.96	691.94	1821946
APPLICATIONS/bioinfo/ q_query_3_L100_coli.sat.cnf	UNSAT	699.58	699.639	1821496
APPLICATIONS/bioinfo/ q_query_3_L80_coli.sat.cnf	UNSAT	717.27	717.266	1821454
manol-pipe-f9b.cnf	UNSAT	732.5	732.453	1820764
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	UNSAT	734.31	734.28	1821460
velev-pipe-uns-1.0-8.cnf	UNSAT	739.97	740.039	1822000
APPLICATIONS/bioinfo/ q_query_3_L90_coli.sat.cnf	UNSAT	754.89	754.878	1821466
APPLICATIONS/diagnosis/ UTI-15-10p0.cnf	UNSAT	759.86	759.841	1821604
APPLICATIONS/bioinfo/ q_query_3_L200_coli.sat.cnf	UNSAT	762.01	762.039	1821484
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf	UNSAT	915.82	915.803	1820638
velev-pipe-o-uns-1.0-7.cnf	UNSAT	927.4	927.318	1821940
manol-pipe-c10nidw.cnf	UNSAT	1049.99	1049.92	1820776
schup-l2s-bc56s-1-k391.cnf	UNSAT	1166.12	1166.06	1820758
APPLICATIONS/crypto/ md5gen/gus-md5-09.cnf	UNSAT	1198.2	1198.15	1821064

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
een-tip-sat-texas-tp-5e.cnf	SAT	0.27	0.269948	1820848
APPLICATIONS/aprove09/ AProVE09-13.cnf	SAT	0.32	0.306763	1821262
APPLICATIONS/aprove09/ AProVE09-22.cnf	SAT	0.42	0.420733	1821280
APPLICATIONS/aprove09/ AProVE09-11.cnf	SAT	0.92	0.912012	1821316
APPLICATIONS/aprove09/ AProVE09-25.cnf	SAT	1.15	1.15483	1821256
APPLICATIONS/aprove09/ AProVE09-12.cnf	SAT	1.45	1.44545	1821268
APPLICATIONS/aprove09/ AProVE09-03.cnf	SAT	1.74	1.7574	1821298
APPLICATIONS/aprove09/ AProVE09-19.cnf	SAT	2.03	2.03581	1821322
APPLICATIONS/aprove09/ AProVE09-01.cnf	SAT	2.15	2.15754	1821274
APPLICATIONS/aprove09/ AProVE09-05.cnf	SAT	2.57	2.56785	1821244
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_14_SAT.cnf	SAT	2.6	2.60756	1821724
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_17_SAT.cnf	SAT	2.91	2.91535	1821760
APPLICATIONS/aprove09/ AProVE09-21.cnf	SAT	3.79	3.79521	1821250
APPLICATIONS/aprove09/ AProVE09-10.cnf	SAT	4.28	4.27916	1821310
APPLICATIONS/aprove09/ AProVE09-24.cnf	SAT	5.09	5.09563	1821238
APPLICATIONS/crypto/ desgen/gss-13-s100.cnf	SAT	5.85	5.85151	1821184
APPLICATIONS/bioinfo/ q_query_3_l37_lambda.cnf	SAT	6.46	6.49671	1821352
APPLICATIONS/bioinfo/ q_query_3_l39_lambda.cnf	SAT	8.33	8.34512	1821370
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_21_SAT.cnf	SAT	12.91	12.9294	1821754
APPLICATIONS/aprove09/ AProVE09-15.cnf	SAT	13.13	13.1805	1821286
APPLICATIONS/diagnosis/ UR-10-5p1.cnf	SAT	15.48	15.5174	1821538
APPLICATIONS/aprove09/ AProVE09-17.cnf	SAT	15.5	15.5136	1821226
APPLICATIONS/bioinfo/ q_query_3_l38_lambda.cnf	SAT	20.03	20.0752	1821388
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	SAT	22.9	22.9073	1821154
APPLICATIONS/aprove09/ AProVE09-08.cnf	SAT	27.99	27.9955	1821304
APPLICATIONS/aprove09/ AProVE09-07.cnf	SAT	31.3	31.3023	1821292
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_22_SAT.cnf	SAT	31.32	31.3273	1821694
industrial/palacios/uts/ uts-l06-ipc5-h35-unknown.cnf	SAT	34.57	34.5793	1820470
APPLICATIONS/aprove09/ AProVE09-06.cnf	SAT	52.74	52.735	1821220
APPLICATIONS/bioinfo/ q_query_3_L60_coli.sat.cnf	SAT	63.41	63.4041	1821478
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_20_SAT.cnf	SAT	68.46	68.4621	1821790
APPLICATIONS/bioinfo/ q_query_3_l40_lambda.cnf	SAT	70.37	70.3912	1821328
APPLICATIONS/bioinfo/ q_query_3_l41_lambda.cnf	SAT	80	79.9962	1821364
schup-l2s-motst-2-k315.cnf	SAT	83.66	83.6612	1820770
APPLICATIONS/bioinfo/ q_query_3_l42_lambda.cnf	SAT	86.93	86.9404	1821334
industrial/grieu/ vmpc_24.cnf	SAT	95.5	95.4923	1820596
APPLICATIONS/bioinfo/ q_query_3_l43_lambda.cnf	SAT	127.96	128.025	1821358
simon-s03-w08-15.cnf	SAT	145.33	145.332	1820740
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	SAT	163.76	163.753	1821214
APPLICATIONS/aprove09/ AProVE09-20.cnf	SAT	187.08	187.076	1821232
industrial/grieu/ vmpc_26.cnf	SAT	219.11	219.1	1820620
APPLICATIONS/crypto/ desgen/gss-15-s100.cnf	SAT	221.7	221.739	1821160
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	SAT	248.94	248.937	1821472
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf	SAT	298.99	299.009	1820698
velev-pipe-sat-1.0-b10.cnf	SAT	306.01	308.633	1821874
mizh-md5-47-3.cnf	SAT	316.26	316.254	1820710
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	SAT	329.72	335.466	1820692
industrial/anbulagan/ medium-sat/partial-5-13-s.cnf	SAT	332.94	332.94	1820296
APPLICATIONS/c32sat/ post-c32s-gcdm16-22.cnf	SAT	336.22	336.239	1821442
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	SAT	360.77	360.806	1821124
industrial/grieu/ vmpc_25.cnf	SAT	379.32	379.284	1820578
APPLICATIONS/diagnosis/ UTI-15-5p1.cnf	SAT	416.45	416.44	1821670
APPLICATIONS/diagnosis/ UTI-15-10p1.cnf	SAT	459.08	459.078	1821502
industrial/anbulagan/ medium-sat/partial-5-15-s.cnf	SAT	527.72	527.686	1820302
mizh-sha0-35-3.cnf	SAT	768.2	768.133	1820836
APPLICATIONS/crypto/ desgen/gss-17-s100.cnf	SAT	831.65	831.644	1821112
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	SAT	937.79	937.771	1821568
velev-pipe-sat-1.0-b7.cnf	SAT	1071.39	1073.43	1821856

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf	? (TO)	1200	1206.25	1820674
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (TO)	1200	1199.93	1821664
APPLICATIONS/diagnosis/ UR-20-5p1.cnf	? (TO)	1200	1199.95	1821580
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_07_UNSAT.cnf	? (TO)	1200	1199.93	1821772
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	1200	1199.93	1820560
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	1200	1199.92	1821010
velev-vliw-uns-4.0-9C1.cnf	? (TO)	1200	1199.94	1821928
industrial/anbulagan/ hard-unsat/partial-5-15-u.cnf	? (TO)	1200	1199.95	1820374
APPLICATIONS/diagnosis/ UTI-20-5p1.cnf	? (TO)	1200.01	1199.96	1821616
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_10_UNSAT.cnf	? (TO)	1200.01	1199.93	1821748
goldb-heqc-x1mul.cnf	? (TO)	1200.01	1199.93	1820704
APPLICATIONS/c32sat/ post-cbmc-aes-d-r2-noholes.cnf	? (TO)	1200.01	1199.94	1821406
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf	? (TO)	1200.01	1199.93	1820650
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	1200.01	1199.92	1820956
APPLICATIONS/crypto/ desgen/gss-28-s100.cnf	? (TO)	1200.01	1199.92	1821202
APPLICATIONS/bitverif/ maxxororand/maxxororand032.cnf	? (TO)	1200.02	1199.93	1820992
APPLICATIONS/diagnosis/ ACG-15-10p0.cnf	? (TO)	1200.02	1200.03	1821520
APPLICATIONS/ bitverif/minxor/minxor128.cnf	? (TO)	1200.02	1200.05	1820896
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_11_UNKNOWN.cnf	? (TO)	1200.02	1199.93	1821676
industrial/anbulagan/ hard-unsat/total-5-17-u.cnf	? (TO)	1200.02	1199.94	1820368
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	1200.02	1199.92	1820410
APPLICATIONS/crypto/ desgen/gss-26-s100.cnf	? (TO)	1200.02	1199.93	1821142
industrial/fuhs/hard/ AProVE07-27.cnf	? (TO)	1200.02	1199.93	1820434
industrial/palacios/hard/ safe-50-h49-unsat.cnf	? (TO)	1200.02	1200.13	1820452
industrial/palacios/hard/ safe-30-h29-unsat.cnf	? (TO)	1200.02	1199.93	1820458
APPLICATIONS/bitverif/countbitsarray/ countbitsarray32_32.cnf	? (TO)	1200.02	1199.93	1821028
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf	? (TO)	1200.02	1200.03	1820572
APPLICATIONS/crypto/ md5gen/gus-md5-16.cnf	? (TO)	1200.02	1199.93	1821052
APPLICATIONS/bitverif/ maxxororand/maxxororand128.cnf	? (TO)	1200.02	1200.03	1820986
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	1200.02	1199.94	1821034
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_13_UNKNOWN.cnf	? (TO)	1200.03	1200.02	1821832
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_07_UNSAT.cnf	? (TO)	1200.03	1199.93	1821796
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf	? (TO)	1200.03	1200.03	1820656
mizh-md5-47-4.cnf	? (TO)	1200.03	1200.14	1820824
aloul-chnl11-13.cnf	? (TO)	1200.03	1199.92	1820812
APPLICATIONS/crypto/ md5gen/gus-md5-14.cnf	? (TO)	1200.03	1199.94	1821070
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	? (TO)	1200.04	1199.94	1821640
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	1200.04	1200.05	1820908
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	1200.04	1199.93	1821136
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (TO)	1200.04	1200.03	1820290
APPLICATIONS/crypto/ desgen/gss-32-s100.cnf	? (TO)	1200.04	1199.93	1821118
simon-s02b-k2f-gr-rcs-w8.cnf	? (TO)	1200.04	1199.94	1821976
APPLICATIONS/bitverif/countbitsarray/ countbitsarray08_32.cnf	? (TO)	1200.04	1200.03	1821022
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_08_UNSAT.cnf	? (TO)	1200.04	1199.93	1821682
mizh-sha0-36-4.cnf	? (TO)	1200.04	1199.94	1820794
industrial/anbulagan/ hard-unsat/total-5-15-u.cnf	? (TO)	1200.04	1199.94	1820320
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_13_UNKNOWN.cnf	? (TO)	1200.05	1199.94	1821730
industrial/anbulagan/ hard-unsat/dated-5-15-u.cnf	? (TO)	1200.05	1199.93	1820344
industrial/anbulagan/ hard-unsat/dated-5-19-u.cnf	? (TO)	1200.05	1200.02	1820362
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	1200.05	1200.04	1820446
industrial/palacios/ medium/emptyroom-4-h21-unsat.cnf	? (TO)	1200.05	1199.93	1820518
industrial/grieu/ vmpc_29.cnf	? (TO)	1200.05	1199.92	1820602
goldb-heqc-frg1mul.cnf	? (TO)	1200.05	1200.13	1820728
velev-vliw-uns-4.0-9-i1.cnf	? (TO)	1200.05	1200.05	1820734
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate128.cnf	? (TO)	1200.05	1199.93	1820914
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (TO)	1200.05	1200.03	1820890
APPLICATIONS/crypto/ desgen/gss-31-s100.cnf	? (TO)	1200.05	1200.03	1821106
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	? (TO)	1200.05	1200.05	1821622
industrial/anbulagan/ medium-unsat/total-10-13-u.cnf	? (TO)	1200.05	1199.93	1820260
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_13_UNSAT.cnf	? (TO)	1200.06	1199.94	1821778
industrial/anbulagan/ hard-unsat/dated-5-17-u.cnf	? (TO)	1200.06	1200.04	1820356
industrial/anbulagan/ hard-unsat/partial-5-17-u.cnf	? (TO)	1200.06	1200.03	1820314
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf	? (TO)	1200.06	1203.73	1820644
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	1200.06	1200.03	1820308
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	? (TO)	1200.06	1200.03	1821658
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	? (TO)	1200.06	1200.03	1820284
APPLICATIONS/diagnosis/ ACG-20-5p1.cnf	? (TO)	1200.06	1199.95	1821598
APPLICATIONS/crypto/ desgen/gss-34-s100.cnf	? (TO)	1200.06	1200.03	1821166
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	1200.06	1200.03	1821130
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_09_UNSAT.cnf	? (TO)	1200.06	1200.32	1821808
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r2-noholes.cnf	? (TO)	1200.06	1200.05	1821400
manol-pipe-f10ni.cnf	? (TO)	1200.07	1200.32	1821958
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_15_UNKNOWN.cnf	? (TO)	1200.07	1200.03	1821736
industrial/anbulagan/ hard-unsat/partial-10-13-u.cnf	? (TO)	1200.07	1200.03	1820338
APPLICATIONS/diagnosis/ UR-20-5p0.cnf	? (TO)	1200.07	1200.03	1821574
APPLICATIONS/diagnosis/ UCG-20-10p1.cnf	? (TO)	1200.07	1200.05	1821610
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf	? (TO)	1200.07	1200.02	1820548
goldb-heqc-term1mul.cnf	? (TO)	1200.07	1200.03	1821910
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf	? (TO)	1200.07	1200.04	1820668
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_11_UNKNOWN.cnf	? (TO)	1200.07	1200.03	1821850
industrial/fuhs/hard/ AProVE07-08.cnf	? (TO)	1200.07	1200.03	1820416
industrial/anbulagan/ hard-sat/partial-5-17-s.cnf	? (TO)	1200.07	1200.05	1820278
APPLICATIONS/crypto/ desgen/gss-20-s100.cnf	? (TO)	1200.08	1200.22	1821148
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	1200.08	1200.03	1821784
APPLICATIONS/diagnosis/ ACG-20-10p0.cnf	? (TO)	1200.08	1200.04	1821526
mizh-sha0-36-2.cnf	? (TO)	1200.08	1200.04	1821952
APPLICATIONS/crypto/ desgen/gss-23-s100.cnf	? (TO)	1200.08	1200.03	1821178
industrial/anbulagan/ hard-unsat/total-10-19-u.cnf	? (TO)	1200.08	1200.13	1820350
industrial/fuhs/medium/ AProVE07-09.cnf	? (TO)	1200.08	1200.03	1820398
industrial/anbulagan/ hard-unsat/partial-5-13-u.cnf	? (TO)	1200.08	1200.06	1820326
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf	? (TO)	1200.08	1200.05	1820662
APPLICATIONS/crypto/ md5gen/gus-md5-15.cnf	? (TO)	1200.08	1200.04	1821046
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	1200.08	1200.03	1821826
APPLICATIONS/bitverif/ smulo/smulo128.cnf	? (TO)	1200.08	1200.04	1820974
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_10_UNKNOWN.cnf	? (TO)	1200.08	1200.02	1821838
industrial/grieu/ vmpc_30.cnf	? (TO)	1200.08	1200.03	1820584
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf	? (TO)	1200.08	1200.05	1820686
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	1200.08	1200.02	1820542
goldb-heqc-dalumul.cnf	? (TO)	1200.08	1200.02	1820818
industrial/palacios/medium/ cube-11-h14-sat.cnf	? (TO)	1200.08	1200.02	1820506
industrial/anbulagan/ hard-unsat/dated-10-19-u.cnf	? (TO)	1200.08	1200.05	1820332
APPLICATIONS/bitverif/countbitsarray/ countbitsarray02_32.cnf	? (TO)	1200.09	1200.02	1821016
mizh-md5-48-5.cnf	? (TO)	1200.09	1200.04	1820860
goldb-heqc-i10mul.cnf	? (TO)	1200.09	1200.03	1821886
industrial/narain/ clauses-8.cnf	? (TO)	1200.09	1200.45	1820626
industrial/grieu/ vmpc_28.cnf	? (TO)	1200.09	1200.03	1820608
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	1200.09	1200.04	1821040
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	1200.09	1200.04	1820464
APPLICATIONS/crypto/ md5gen/gus-md5-10.cnf	? (TO)	1200.09	1200.03	1821058
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	1200.09	1200.03	1821190
APPLICATIONS/crypto/ desgen/gss-33-s100.cnf	? (TO)	1200.09	1200.03	1821172
APPLICATIONS/crypto/ desgen/gss-25-s100.cnf	? (TO)	1200.09	1200.03	1821208
APPLICATIONS/crypto/ desgen/gss-24-s100.cnf	? (TO)	1200.09	1200.03	1821196
APPLICATIONS/diagnosis/ UTI-20-5p0.cnf	? (TO)	1200.09	1200.03	1821514
APPLICATIONS/diagnosis/ UTI-15-5p0.cnf	? (TO)	1200.09	1200.04	1821556
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	1200.09	1200.04	1820380
APPLICATIONS/diagnosis/ ACG-20-10p1.cnf	? (TO)	1200.09	1200.04	1821562
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_17_UNKNOWN.cnf	? (TO)	1200.09	1200.05	1821706
APPLICATIONS/diagnosis/ UR-15-10p0.cnf	? (TO)	1200.09	1200.03	1821652
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_10_UNKNOWN.cnf	? (TO)	1200.09	1200.04	1821688
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_12_UNKNOWN.cnf	? (TO)	1200.09	1200.04	1821802
manol-pipe-g10bidw.cnf	? (TO)	1200.09	1200.05	1821868
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (TO)	1200.09	1202.54	1820680
APPLICATIONS/diagnosis/ ACG-15-10p1.cnf	? (TO)	1200.1	1200.04	1821586
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	1200.1	1200.04	1820386
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_14_UNSAT.cnf	? (TO)	1200.1	1200.04	1821712
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r3-noholes.cnf	? (TO)	1200.1	1200.05	1821448
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_11_UNSAT.cnf	? (TO)	1200.1	1200.03	1821718
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_12_UNKNOWN.cnf	? (TO)	1200.1	1198.74	1821766
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_16_UNKNOWN.cnf	? (TO)	1200.1	1200.14	1821814
industrial/grieu/ vmpc_34.cnf	? (TO)	1200.1	1200.03	1820614
APPLICATIONS/bitverif/ mulhs/mulhs032.cnf	? (TO)	1200.1	1200.03	1820962
APPLICATIONS/bitverif/ countbitssrl/countbitssrl032.cnf	? (TO)	1200.1	1200.03	1820938
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_12_UNSAT.cnf	? (TO)	1200.1	1200.04	1821700
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	1200.1	1200.03	1820926
mizh-sha0-36-3.cnf	? (TO)	1200.1	1200.04	1820746
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	1200.1	1200.04	1821742
industrial/fuhs/hard/ AProVE07-25.cnf	? (TO)	1200.1	1200.03	1820422
industrial/fuhs/hard/ AProVE07-26.cnf	? (TO)	1200.1	1200.03	1820428
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	1200.1	1200.04	1821094
industrial/grieu/ vmpc_33.cnf	? (TO)	1200.1	1200.03	1820590
APPLICATIONS/bitverif/ countbitssrl/countbitssrl128.cnf	? (TO)	1200.1	1200.06	1820944
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_14_UNKNOWN.cnf	? (TO)	1200.11	1200.05	1821820
APPLICATIONS/ c32sat/post-c32s-ss-8.cnf	? (TO)	1200.11	1200.04	1821430
APPLICATIONS/diagnosis/ UR-15-10p1.cnf	? (TO)	1200.11	1200.05	1821544
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	? (TO)	1200.11	1200.05	1821628
vange-col-abb313GPIA-9-c.cnf	? (TO)	1200.11	1200.04	1820806
industrial/palacios/hard/ sortnet-8-ipc5-h18-unsat.cnf	? (TO)	1200.11	1200.15	1820440
industrial/anbulagan/ hard-unsat/partial-10-19-u.cnf	? (TO)	1200.12	1200.06	1820392

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

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

Category "applications instances" (APPLICATION)

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

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

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

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