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.325972	1820636
manol-pipe-g6bi.cnf	UNSAT	1.2	1.2051	1821926
APPLICATIONS/bitverif/ minor/minor032.cnf	UNSAT	1.53	1.52531	1820876
een-tip-uns-nusmv-t5.B.cnf	UNSAT	1.77	1.77539	1821884
cmu-bmc-barrel6.cnf	UNSAT	3.13	3.13571	1820720
APPLICATIONS/bitverif/ countbitssrl/countbitssrl016.cnf	UNSAT	3.41	3.41986	1820954
manol-pipe-c9.cnf	UNSAT	4.36	4.35324	1821998
APPLICATIONS/crypto/ md5gen/gus-md5-04.cnf	UNSAT	6.09	6.13769	1821092
hoons-vbmc-lucky7.cnf	UNSAT	6.85	6.89029	1820756
APPLICATIONS/bitverif/ minandmaxor/minandmaxor032.cnf	UNSAT	10.13	10.1284	1820906
industrial/babic/hsatv17/ hsat_vc11803.cnf	UNSAT	12.25	12.2598	1820540
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf	UNSAT	13.69	13.6856	1820570
APPLICATIONS/bitverif/ minxorminand/minxorminand032.cnf	UNSAT	14.19	14.1827	1820888
APPLICATIONS/crypto/ md5gen/gus-md5-05.cnf	UNSAT	16.91	16.9444	1821086
industrial/anbulagan/ medium-unsat/total-5-11-u.cnf	UNSAT	17.81	17.8105	1820270
industrial/babic/hsatv17/ hsat_vc11813.cnf	UNSAT	17.88	17.8928	1820534
APPLICATIONS/bitverif/ icbrt/icbrt1_32.cnf	UNSAT	20.78	20.7752	1820984
APPLICATIONS/bitverif/ minor/minor064.cnf	UNSAT	23.04	23.0388	1820870
industrial/palacios/uts/ uts-l05-ipc5-h26-unsat.cnf	UNSAT	26.29	26.3309	1820480
APPLICATIONS/bitverif/ smulo/smulo016.cnf	UNSAT	30.4	30.4007	1820972
cmu-bmc-longmult15.cnf	UNSAT	31.12	31.1211	1820834
industrial/palacios/uts/ uts-l06-ipc5-h28-unknown.cnf	UNSAT	31.8	31.842	1820504
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate016.cnf	UNSAT	34.19	34.2244	1820924
APPLICATIONS/diagnosis/ UCG-10-5p0.cnf	UNSAT	34.93	34.9193	1821512
industrial/palacios/uts/ uts-l05-ipc5-h27-unknown.cnf	UNSAT	39.51	39.5324	1820498
APPLICATIONS/ bitverif/maxand/maxand064.cnf	UNSAT	46.16	46.1793	1821008
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_06_UNSAT.cnf	UNSAT	48.83	48.8294	1821848
APPLICATIONS/diagnosis/ ACG-10-5p0.cnf	UNSAT	50.49	50.4824	1821536
APPLICATIONS/crypto/ md5gen/gus-md5-06.cnf	UNSAT	51.07	51.0605	1821080
simon-s03-fifo8-300.cnf	UNSAT	56.32	56.3189	1821974
APPLICATIONS/diagnosis/ UR-10-5p0.cnf	UNSAT	61.18	61.2139	1821554
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf	UNSAT	63.69	63.7031	1820558
industrial/palacios/uts/ uts-l06-ipc5-h31-unknown.cnf	UNSAT	67.91	68.0412	1820492
velev-engi-uns-1.0-4nd.cnf	UNSAT	70.75	70.7573	1820786
APPLICATIONS/ bitverif/minand/minand128.cnf	UNSAT	75.53	75.6399	1820936
industrial/palacios/medium/ blocks-4-ipc5-h22-unknown.cnf	UNSAT	79.28	79.3075	1820528
APPLICATIONS/crypto/ md5gen/gus-md5-07.cnf	UNSAT	95.04	95.0318	1821104
manol-pipe-c10nidw_s.cnf	UNSAT	107.36	107.434	1821866
industrial/anbulagan/ medium-unsat/total-5-13-u.cnf	UNSAT	110.24	110.25	1820276
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	UNSAT	145.69	145.705	1821596
APPLICATIONS/diagnosis/ UTI-10-10p0.cnf	UNSAT	155.36	155.379	1821638
APPLICATIONS/bioinfo/ q_query_2_L324_coli.cnf	UNSAT	180.28	180.27	1821494
manol-pipe-c6bidw_i.cnf	UNSAT	185.97	185.979	1820804
schup-l2s-abp4-1-k31.cnf	UNSAT	186.72	186.711	1820726
APPLICATIONS/bioinfo/ q_query_3_L100_coli.sat.cnf	UNSAT	209.24	209.238	1821500
APPLICATIONS/bioinfo/ q_query_3_L90_coli.sat.cnf	UNSAT	216.52	216.5	1821470
APPLICATIONS/bioinfo/ q_query_3_L80_coli.sat.cnf	UNSAT	235.66	235.684	1821458
APPLICATIONS/c32sat/ post-cbmc-aes-ele-noholes.cnf	UNSAT	253.09	253.087	1821440
APPLICATIONS/diagnosis/ UR-15-5p0.cnf	UNSAT	272.77	272.755	1821650
velev-live-uns-2.0-ebuf.cnf	UNSAT	291.6	291.568	1821920
industrial/palacios/uts/ uts-l06-ipc5-h33-unknown.cnf	UNSAT	303.1	303.081	1820486
manol-pipe-c6nidw_i.cnf	UNSAT	336.34	336.311	1822010
APPLICATIONS/c32sat/ post-c32s-col400-16.cnf	UNSAT	348.09	348.068	1821428
simon-s02b-dp11u10.cnf	UNSAT	372.1	372.062	1821938
manol-pipe-c7nidw.cnf	UNSAT	420.33	420.332	1821896
manol-pipe-g10id.cnf	UNSAT	422.27	422.244	1821902
manol-pipe-c7bidw_i.cnf	UNSAT	453.95	453.942	1821986
APPLICATIONS/bioinfo/ q_query_3_l44_lambda.cnf	UNSAT	518.74	518.69	1821344
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_07_UNSAT.cnf	UNSAT	551.81	551.802	1821776
APPLICATIONS/bioinfo/ q_query_3_l45_lambda.cnf	UNSAT	553.39	553.396	1821398
industrial/fuhs/medium/ AProVE07-16.cnf	UNSAT	591.75	591.73	1820408
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf	UNSAT	610.63	610.62	1820576
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	UNSAT	655.54	655.492	1821464
APPLICATIONS/bioinfo/ q_query_3_l47_lambda.cnf	UNSAT	663.11	663.317	1821380
schup-l2s-guid-1-k56.cnf	UNSAT	674.21	674.167	1821968
APPLICATIONS/diagnosis/ UTI-15-10p0.cnf	UNSAT	683.61	683.566	1821608
APPLICATIONS/crypto/ md5gen/gus-md5-09.cnf	UNSAT	761.61	761.535	1821068
manol-pipe-g7nidw.cnf	UNSAT	790.41	790.345	1821992
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	UNSAT	809.21	809.179	1821350
APPLICATIONS/bioinfo/ q_query_3_l48_lambda.cnf	UNSAT	924.38	924.325	1821386
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_07_UNSAT.cnf	UNSAT	927.9	927.849	1821800
goldb-heqc-alu4mul.cnf	UNSAT	1012.93	1012.84	1820858
APPLICATIONS/bioinfo/ q_query_3_L200_coli.sat.cnf	UNSAT	1025.34	1025.28	1821488
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	UNSAT	1029.51	1029.43	1821416
APPLICATIONS/bitverif/countbitswegner/ countbitswegner064.cnf	UNSAT	1094.72	1094.63	1821002

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
een-tip-sat-texas-tp-5e.cnf	SAT	0.28	0.272861	1820852
APPLICATIONS/aprove09/ AProVE09-13.cnf	SAT	0.32	0.323289	1821266
APPLICATIONS/aprove09/ AProVE09-22.cnf	SAT	0.4	0.392691	1821284
APPLICATIONS/aprove09/ AProVE09-11.cnf	SAT	0.94	0.947655	1821320
APPLICATIONS/aprove09/ AProVE09-25.cnf	SAT	1.53	1.54927	1821260
APPLICATIONS/aprove09/ AProVE09-03.cnf	SAT	1.75	1.76579	1821302
APPLICATIONS/aprove09/ AProVE09-12.cnf	SAT	1.87	1.86457	1821272
APPLICATIONS/aprove09/ AProVE09-01.cnf	SAT	2.26	2.24805	1821278
APPLICATIONS/aprove09/ AProVE09-21.cnf	SAT	2.39	2.3958	1821254
APPLICATIONS/bioinfo/ q_query_3_l39_lambda.cnf	SAT	2.99	2.99145	1821374
APPLICATIONS/aprove09/ AProVE09-19.cnf	SAT	3	2.99973	1821326
APPLICATIONS/bioinfo/ q_query_3_l38_lambda.cnf	SAT	3.96	3.97121	1821392
APPLICATIONS/aprove09/ AProVE09-10.cnf	SAT	4.17	4.16981	1821314
APPLICATIONS/aprove09/ AProVE09-05.cnf	SAT	4.51	4.53709	1821248
APPLICATIONS/aprove09/ AProVE09-17.cnf	SAT	5.57	5.5709	1821230
APPLICATIONS/bioinfo/ q_query_3_l37_lambda.cnf	SAT	9.22	9.21456	1821356
APPLICATIONS/bioinfo/ q_query_3_l41_lambda.cnf	SAT	11.46	11.4905	1821368
APPLICATIONS/aprove09/ AProVE09-07.cnf	SAT	14.66	14.6562	1821296
APPLICATIONS/aprove09/ AProVE09-08.cnf	SAT	16.45	16.4815	1821308
APPLICATIONS/diagnosis/ UR-10-5p1.cnf	SAT	17.42	17.4375	1821542
APPLICATIONS/aprove09/ AProVE09-24.cnf	SAT	18.56	18.6123	1821242
APPLICATIONS/aprove09/ AProVE09-15.cnf	SAT	32.73	32.768	1821290
industrial/grieu/ vmpc_24.cnf	SAT	36.23	36.23	1820600
APPLICATIONS/crypto/ desgen/gss-13-s100.cnf	SAT	38.59	38.5825	1821188
industrial/palacios/uts/ uts-l06-ipc5-h35-unknown.cnf	SAT	50.68	50.7102	1820474
APPLICATIONS/bioinfo/ q_query_3_l40_lambda.cnf	SAT	65.7	65.7219	1821332
APPLICATIONS/bioinfo/ q_query_3_l42_lambda.cnf	SAT	90.61	90.6278	1821338
schup-l2s-motst-2-k315.cnf	SAT	93.83	93.8522	1820774
industrial/grieu/ vmpc_25.cnf	SAT	106.76	106.758	1820582
mizh-sha0-36-2.cnf	SAT	111.26	111.254	1821956
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	SAT	113.37	113.385	1821158
APPLICATIONS/bioinfo/ q_query_3_L60_coli.sat.cnf	SAT	116.91	116.926	1821482
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_17_SAT.cnf	SAT	151.06	151.046	1821764
APPLICATIONS/bioinfo/ q_query_3_l43_lambda.cnf	SAT	194.37	194.365	1821362
APPLICATIONS/crypto/ desgen/gss-15-s100.cnf	SAT	230.71	230.72	1821164
mizh-md5-47-4.cnf	SAT	236.76	236.748	1820828
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	SAT	263.41	263.392	1821476
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	SAT	331.42	331.394	1821128
simon-s03-w08-15.cnf	SAT	359.77	359.754	1820744
APPLICATIONS/aprove09/ AProVE09-20.cnf	SAT	390.8	390.771	1821236
mizh-sha0-35-3.cnf	SAT	432.5	432.47	1820840
industrial/grieu/ vmpc_26.cnf	SAT	440.13	440.11	1820624
APPLICATIONS/diagnosis/ UTI-15-5p1.cnf	SAT	525.28	525.349	1821674
industrial/anbulagan/ medium-sat/partial-5-13-s.cnf	SAT	607.19	607.144	1820300
mizh-md5-47-3.cnf	SAT	666.16	666.139	1820714
APPLICATIONS/crypto/ desgen/gss-17-s100.cnf	SAT	1042.63	1042.62	1821116
velev-pipe-sat-1.0-b7.cnf	SAT	1042.65	1044.84	1821860
industrial/narain/ clauses-8.cnf	SAT	1176.13	1176.46	1820630

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	1200	1200.02	1820912
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf	? (TO)	1200	1199.92	1820552
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf	? (TO)	1200	1199.96	1820660
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	? (TO)	1200	1199.95	1821632
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_22_SAT.cnf	? (TO)	1200	1199.93	1821698
industrial/anbulagan/ hard-unsat/partial-5-15-u.cnf	? (TO)	1200	1199.93	1820378
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	? (TO)	1200	1199.93	1821572
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	1200.01	1199.92	1820930
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_21_SAT.cnf	? (TO)	1200.01	1199.93	1821758
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf	? (TO)	1200.01	1202.13	1820678
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_13_UNSAT.cnf	? (TO)	1200.01	1199.94	1821782
APPLICATIONS/bitverif/ smulo/smulo128.cnf	? (TO)	1200.01	1199.94	1820978
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_11_UNSAT.cnf	? (TO)	1200.01	1200.33	1821722
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (TO)	1200.01	1200.02	1821668
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	? (TO)	1200.01	1199.94	1821662
industrial/anbulagan/ hard-sat/partial-5-17-s.cnf	? (TO)	1200.01	1200.03	1820282
industrial/palacios/medium/ cube-11-h14-sat.cnf	? (TO)	1200.01	1199.95	1820510
goldb-heqc-term1mul.cnf	? (TO)	1200.01	1200.02	1821914
industrial/anbulagan/ hard-unsat/partial-10-13-u.cnf	? (TO)	1200.01	1199.95	1820342
APPLICATIONS/crypto/ desgen/gss-32-s100.cnf	? (TO)	1200.01	1199.93	1821122
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_08_UNSAT.cnf	? (TO)	1200.01	1199.92	1821686
goldb-heqc-frg1mul.cnf	? (TO)	1200.01	1199.92	1820732
industrial/grieu/ vmpc_29.cnf	? (TO)	1200.01	1199.92	1820606
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	1200.01	1199.94	1820450
APPLICATIONS/c32sat/ post-cbmc-aes-d-r2-noholes.cnf	? (TO)	1200.01	1199.93	1821410
industrial/anbulagan/ hard-unsat/dated-5-19-u.cnf	? (TO)	1200.01	1199.93	1820366
APPLICATIONS/diagnosis/ UR-15-10p0.cnf	? (TO)	1200.01	1199.93	1821656
industrial/palacios/hard/ sortnet-8-ipc5-h18-unsat.cnf	? (TO)	1200.02	1200.07	1820444
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	1200.02	1199.93	1820312
APPLICATIONS/bitverif/ maxxororand/maxxororand128.cnf	? (TO)	1200.02	1199.94	1820990
industrial/fuhs/hard/ AProVE07-25.cnf	? (TO)	1200.02	1199.92	1820426
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	? (TO)	1200.02	1199.93	1820288
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	1200.02	1199.94	1821044
APPLICATIONS/crypto/ desgen/gss-20-s100.cnf	? (TO)	1200.03	1199.93	1821152
manol-pipe-g10bidw.cnf	? (TO)	1200.03	1199.94	1821872
APPLICATIONS/bitverif/countbitsarray/ countbitsarray02_32.cnf	? (TO)	1200.03	1199.92	1821020
APPLICATIONS/bitverif/countbitsarray/ countbitsarray08_32.cnf	? (TO)	1200.03	1199.92	1821026
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	1200.03	1200.05	1821038
industrial/anbulagan/ medium-unsat/total-10-13-u.cnf	? (TO)	1200.03	1200.05	1820264
industrial/anbulagan/ hard-unsat/total-10-19-u.cnf	? (TO)	1200.03	1199.95	1820354
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	1200.03	1199.93	1820384
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_10_UNKNOWN.cnf	? (TO)	1200.03	1199.93	1821692
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	? (TO)	1200.03	1200.05	1821644
industrial/palacios/hard/ safe-50-h49-unsat.cnf	? (TO)	1200.03	1200.24	1820456
APPLICATIONS/crypto/ desgen/gss-33-s100.cnf	? (TO)	1200.03	1199.92	1821176
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	1200.03	1199.92	1820546
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	? (TO)	1200.03	1199.93	1821218
industrial/grieu/ vmpc_34.cnf	? (TO)	1200.03	1199.94	1820618
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	1200.03	1199.94	1820390
APPLICATIONS/crypto/ desgen/gss-28-s100.cnf	? (TO)	1200.03	1199.93	1821206
APPLICATIONS/diagnosis/ UTI-15-5p0.cnf	? (TO)	1200.03	1200.13	1821560
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_13_UNKNOWN.cnf	? (TO)	1200.03	1199.93	1821836
goldb-heqc-dalumul.cnf	? (TO)	1200.03	1199.93	1820822
APPLICATIONS/crypto/ desgen/gss-31-s100.cnf	? (TO)	1200.03	1199.93	1821110
APPLICATIONS/bitverif/ countbitssrl/countbitssrl128.cnf	? (TO)	1200.03	1199.95	1820948
velev-pipe-o-uns-1.1-6.cnf	? (TO)	1200.03	1199.93	1821908
APPLICATIONS/crypto/ md5gen/gus-md5-14.cnf	? (TO)	1200.04	1200.03	1821074
APPLICATIONS/aprove09/ AProVE09-06.cnf	? (TO)	1200.04	1200.03	1821224
APPLICATIONS/bitverif/ mulhs/mulhs032.cnf	? (TO)	1200.04	1199.93	1820966
APPLICATIONS/ bitverif/minxor/minxor128.cnf	? (TO)	1200.04	1199.93	1820900
simon-s02b-k2f-gr-rcs-w8.cnf	? (TO)	1200.04	1200.03	1821980
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	1200.04	1200.04	1821014
industrial/anbulagan/ hard-unsat/partial-10-19-u.cnf	? (TO)	1200.04	1200.04	1820396
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_12_UNKNOWN.cnf	? (TO)	1200.04	1199.92	1821770
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf	? (TO)	1200.04	1200.05	1820654
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (TO)	1200.04	1201.14	1820684
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf	? (TO)	1200.04	1200.04	1820690
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf	? (TO)	1200.05	1207.53	1820648
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	? (TO)	1200.05	1212.55	1820696
APPLICATIONS/diagnosis/ UTI-15-10p1.cnf	? (TO)	1200.05	1199.95	1821506
APPLICATIONS/diagnosis/ UTI-20-5p0.cnf	? (TO)	1200.05	1200.03	1821518
industrial/anbulagan/ hard-unsat/dated-5-17-u.cnf	? (TO)	1200.05	1199.93	1820360
industrial/grieu/ vmpc_28.cnf	? (TO)	1200.05	1200.03	1820612
schup-l2s-bc56s-1-k391.cnf	? (TO)	1200.05	1200.13	1820762
velev-vliw-uns-4.0-9-i1.cnf	? (TO)	1200.05	1200.04	1820738
industrial/anbulagan/ medium-sat/partial-5-15-s.cnf	? (TO)	1200.05	1200.05	1820306
APPLICATIONS/diagnosis/ ACG-20-5p1.cnf	? (TO)	1200.05	1199.95	1821602
mizh-sha0-36-4.cnf	? (TO)	1200.05	1200.05	1820798
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_14_SAT.cnf	? (TO)	1200.06	1200.04	1821728
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_10_UNSAT.cnf	? (TO)	1200.06	1200.04	1821752
APPLICATIONS/diagnosis/ ACG-15-10p1.cnf	? (TO)	1200.06	1200.05	1821590
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	? (TO)	1200.06	1200.04	1821626
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_17_UNKNOWN.cnf	? (TO)	1200.06	1199.95	1821710
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_11_UNKNOWN.cnf	? (TO)	1200.06	1200.04	1821854
industrial/fuhs/hard/ AProVE07-27.cnf	? (TO)	1200.06	1200.01	1820438
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf	? (TO)	1200.06	1199.95	1820642
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf	? (TO)	1200.06	1200.02	1820666
manol-pipe-g10nid.cnf	? (TO)	1200.06	1200.04	1820792
velev-pipe-sat-1.0-b10.cnf	? (TO)	1200.06	1204.54	1821878
manol-pipe-c10nidw.cnf	? (TO)	1200.06	1200.06	1820780
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (TO)	1200.06	1200.04	1820894
APPLICATIONS/crypto/ desgen/gss-34-s100.cnf	? (TO)	1200.06	1200.03	1821170
aloul-chnl11-13.cnf	? (TO)	1200.07	1200.03	1820816
industrial/palacios/ medium/emptyroom-4-h21-unsat.cnf	? (TO)	1200.07	1200.04	1820522
industrial/anbulagan/ hard-unsat/total-5-17-u.cnf	? (TO)	1200.07	1200.03	1820372
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_12_UNKNOWN.cnf	? (TO)	1200.07	1200.04	1821806
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	1200.07	1200.05	1820468
APPLICATIONS/diagnosis/ UTI-20-5p1.cnf	? (TO)	1200.07	1199.95	1821620
APPLICATIONS/crypto/ md5gen/gus-md5-10.cnf	? (TO)	1200.07	1200.03	1821062
APPLICATIONS/diagnosis/ ACG-20-10p1.cnf	? (TO)	1200.07	1200.05	1821566
manol-pipe-c10nid_i.cnf	? (TO)	1200.07	1200.03	1820846
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (TO)	1200.08	1200.03	1820294
APPLICATIONS/diagnosis/ UR-20-5p0.cnf	? (TO)	1200.08	1200.05	1821578
APPLICATIONS/crypto/ desgen/gss-25-s100.cnf	? (TO)	1200.08	1200.03	1821212
industrial/palacios/hard/ safe-30-h29-unsat.cnf	? (TO)	1200.08	1200.04	1820462
APPLICATIONS/ c32sat/post-c32s-ss-8.cnf	? (TO)	1200.08	1200.03	1821434
industrial/fuhs/hard/ AProVE07-08.cnf	? (TO)	1200.08	1200.12	1820420
APPLICATIONS/diagnosis/ UR-15-10p1.cnf	? (TO)	1200.08	1200.05	1821548
industrial/anbulagan/ hard-unsat/dated-10-19-u.cnf	? (TO)	1200.08	1200.04	1820336
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_20_SAT.cnf	? (TO)	1200.08	1200.04	1821794
APPLICATIONS/crypto/ desgen/gss-24-s100.cnf	? (TO)	1200.08	1200.03	1821200
APPLICATIONS/bitverif/ countbitssrl/countbitssrl032.cnf	? (TO)	1200.08	1200.02	1820942
industrial/anbulagan/ hard-unsat/total-5-15-u.cnf	? (TO)	1200.08	1200.05	1820324
industrial/anbulagan/ hard-unsat/partial-5-17-u.cnf	? (TO)	1200.08	1200.03	1820318
APPLICATIONS/crypto/ desgen/gss-23-s100.cnf	? (TO)	1200.08	1200.03	1821182
velev-vliw-uns-4.0-9C1.cnf	? (TO)	1200.08	1200.04	1821932
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf	? (TO)	1200.08	1200.14	1820672
industrial/grieu/ vmpc_30.cnf	? (TO)	1200.08	1200.04	1820588
velev-pipe-uns-1.0-8.cnf	? (TO)	1200.09	1200.04	1822004
industrial/anbulagan/ hard-unsat/partial-5-13-u.cnf	? (TO)	1200.09	1200.05	1820330
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	1200.09	1200.02	1820414
industrial/fuhs/hard/ AProVE07-26.cnf	? (TO)	1200.09	1200.03	1820432
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	1200.09	1200.03	1820564
industrial/grieu/ vmpc_33.cnf	? (TO)	1200.09	1200.03	1820594
manol-pipe-f9b.cnf	? (TO)	1200.09	1200.03	1820768
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf	? (TO)	1200.09	1207.53	1820702
APPLICATIONS/bitverif/ minxorminand/minxorminand064.cnf	? (TO)	1200.09	1200.03	1820882
APPLICATIONS/crypto/ md5gen/gus-md5-15.cnf	? (TO)	1200.09	1200.05	1821050
APPLICATIONS/bitverif/ maxxororand/maxxororand032.cnf	? (TO)	1200.09	1200.02	1820996
APPLICATIONS/crypto/ md5gen/gus-md5-16.cnf	? (TO)	1200.09	1200.03	1821056
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	1200.09	1200.04	1821098
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	1200.09	1200.03	1821140
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	1200.09	1200.03	1821134
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	1200.09	1200.03	1821194
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r3-noholes.cnf	? (TO)	1200.09	1200.07	1821452
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_11_UNKNOWN.cnf	? (TO)	1200.09	1200.03	1821680
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r2-noholes.cnf	? (TO)	1200.09	1200.04	1821404
APPLICATIONS/c32sat/ post-c32s-gcdm16-22.cnf	? (TO)	1200.09	1200.03	1821446
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	1200.09	1200.04	1821788
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_09_UNSAT.cnf	? (TO)	1200.09	1200.04	1821812
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_14_UNKNOWN.cnf	? (TO)	1200.09	1200.04	1821824
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_10_UNKNOWN.cnf	? (TO)	1200.09	1200.03	1821842
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_16_UNKNOWN.cnf	? (TO)	1200.09	1200.15	1821818
goldb-heqc-i10mul.cnf	? (TO)	1200.09	1200.03	1821890
velev-pipe-o-uns-1.0-7.cnf	? (TO)	1200.09	1200.04	1821944
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	1200.1	1200.03	1821746
mizh-sha0-36-3.cnf	? (TO)	1200.1	1200.04	1820750
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_13_UNKNOWN.cnf	? (TO)	1200.1	1200.04	1821734
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_14_UNSAT.cnf	? (TO)	1200.1	1200.03	1821716
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_15_UNKNOWN.cnf	? (TO)	1200.1	1200.05	1821740
APPLICATIONS/diagnosis/ UCG-20-10p1.cnf	? (TO)	1200.1	1200.14	1821614
industrial/palacios/medium/ cube-11-h13-unsat.cnf	? (TO)	1200.1	1200.05	1820516
industrial/fuhs/medium/ AProVE07-09.cnf	? (TO)	1200.1	1200.03	1820402
APPLICATIONS/diagnosis/ ACG-15-10p0.cnf	? (TO)	1200.1	1200.05	1821524
APPLICATIONS/crypto/ desgen/gss-26-s100.cnf	? (TO)	1200.1	1200.04	1821146
APPLICATIONS/bitverif/countbitsarray/ countbitsarray32_32.cnf	? (TO)	1200.1	1200.04	1821032
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	1200.1	1200.03	1820960
goldb-heqc-x1mul.cnf	? (TO)	1200.1	1200.03	1820708
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	1200.1	1200.04	1821830
manol-pipe-f10ni.cnf	? (TO)	1200.1	1200.05	1821962
vange-col-abb313GPIA-9-c.cnf	? (TO)	1200.1	1200.05	1820810
APPLICATIONS/diagnosis/ UR-20-5p1.cnf	? (TO)	1200.11	1200.05	1821584
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate128.cnf	? (TO)	1200.11	1200.04	1820918
industrial/anbulagan/ hard-unsat/dated-5-15-u.cnf	? (TO)	1200.11	1200.04	1820348
mizh-md5-48-5.cnf	? (TO)	1200.11	1200.05	1820864
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_12_UNSAT.cnf	? (TO)	1200.11	1200.04	1821704
manol-pipe-f9n.cnf	? (TO)	1200.12	1200.06	1821950
APPLICATIONS/diagnosis/ ACG-20-10p0.cnf	? (TO)	1200.12	1200.05	1821530

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

Result page for solver BinMiniSat 2009-03-21 (complete)

Category "applications instances" (APPLICATION)

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

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

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

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