SAT 2011 Competition: plain MUS track: benchmarks results per solver

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT02/industrial/biere/ cmpadd/ca002.shuffled.cnf	UNSAT	0.002999	0.00712604	3493865
mus/marques-silva/ bmc-default/barrel2.cnf	UNSAT	0.006998	0.00776191	3483359
mus/marques-silva/ bmc-default/longmult0.cnf	UNSAT	0.015997	0.0175141	3483364
mus/marques-silva/product-configuration/ C208_FA_UT_3254.cnf	UNSAT	0.017996	0.023621	3493209
SAT02/industrial/goldberg/fpga_routing/ term1_gr_rcs_w3.shuffled.cnf	UNSAT	0.021995	0.022854	3483221
mus/marques-silva/product-configuration/ C202_FW_SZ_61.cnf	UNSAT	0.024995	0.0245531	3493213
SAT02/industrial/biere/ dinphil/dp02u01.shuffled.cnf	UNSAT	0.026995	0.0316461	3483208
mus/marques-silva/product-configuration/ C168_FW_UT_851.cnf	UNSAT	0.027994	0.0346581	3483485
mus/marques-silva/product-configuration/ C210_FW_UT_8630.cnf	UNSAT	0.051991	0.054212	3483492
mus/marques-silva/design-debugging/ c5315-bug-gate-0.dimacs.seq.filtered.cnf	UNSAT	0.052991	0.055723	3483385
mus/marques-silva/ fpga-routing/term1_gr_2pin_w3.shuffled.cnf	UNSAT	0.079987	0.0811461	3493521
application/leberre/ 2dimensionalstrippacking/E13X15.cnf	UNSAT	0.150976	0.152549	3483252
SAT02/industrial/goldberg/ bmc1/23.shuffled.cnf	UNSAT	0.210967	0.215502	3483215
mus/marques-silva/ atpg/bf1355-227.cnf	UNSAT	0.32095	0.323118	3483334
mus/marques-silva/ atpg/bf1355-621.cnf	UNSAT	0.365943	0.367136	3483345
SAT02/industrial/goldberg/fpga_routing/ c499_gr_rcs_w5.shuffled.cnf	UNSAT	0.399938	0.400808	3493785
mus/marques-silva/ atpg/bf1355-741.cnf	UNSAT	0.420935	0.422172	3493309
mus/marques-silva/ atpg/bf1355-228.cnf	UNSAT	0.421935	0.422948	3493297
mus/marques-silva/ atpg/bf1355-530.cnf	UNSAT	0.442932	0.446729	3483342
mus/marques-silva/design-debugging/ wb2.dimacs.filtered.cnf	UNSAT	0.467928	0.468487	3493337
mus/marques-silva/ bmc-default/queueinvar4.cnf	UNSAT	0.536917	0.536868	3483377
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top20.cnf	UNSAT	0.58591	0.591788	3493733
mus/marques-silva/ atpg/bf1355-666.cnf	UNSAT	0.588909	0.589213	3483347
SAT02/industrial/goldberg/fpga_routing/ too_large_gr_rcs_w5.shuffled.cnf	UNSAT	0.608906	0.60989	3493789
mus/marques-silva/ atpg/bf1355-665.cnf	UNSAT	0.660899	0.663382	3483346
mus/marques-silva/ atpg/bf1355-446.cnf	UNSAT	0.667898	0.669745	3493289
mus/marques-silva/ atpg/bf1355-127.cnf	UNSAT	0.707892	0.709019	3483330
mus/marques-silva/ atpg/bf1355-466.cnf	UNSAT	0.710891	0.712391	3493301
mus/marques-silva/ atpg/bf1355-598.cnf	UNSAT	0.724888	0.727115	3493293
mus/marques-silva/fpga-routing/ example2_gr_rcs_w5.shuffled.cnf	UNSAT	0.736887	0.739656	3493525
mus/marques-silva/ atpg/bf1355-359.cnf	UNSAT	0.764883	0.76542	3483335
SAT02/industrial/goldberg/ bmc1/42.shuffled.cnf	UNSAT	0.778881	0.783183	3493777
SAT02/industrial/goldberg/fpga_routing/ too_large_gr_rcs_w6.shuffled.cnf	UNSAT	0.84987	0.853304	3483222
mus/marques-silva/ atpg/bf1355-445.cnf	UNSAT	0.85087	0.851881	3483337
mus/marques-silva/fpga-routing/ too_large_gr_rcs_w6.shuffled.cnf	UNSAT	0.853869	0.853911	3493529
mus/marques-silva/ atpg/bf1355-462.cnf	UNSAT	0.85487	0.857443	3483339
mus/marques-silva/ atpg/bf1355-123.cnf	UNSAT	0.881865	0.882214	3493305
mus/marques-silva/design-debugging/ mot_comb3._red-gate-0.dimacs.seq.filtered.cnf	UNSAT	1.16082	1.16316	3483411
mus/marques-silva/design-debugging/ c1_DD_s3_f1_e2_v1-bug-onevec-gate-0.dimacs.seq.filtered.cnf	UNSAT	1.3048	1.30678	3483380
SAT03/industrial/kukula/addm_bench/ am_4_4.shuffled-as.sat03-360.cnf	UNSAT	1.44278	1.44562	3483233
application/leberre/ 2dimensionalstrippacking/E00N10.cnf	UNSAT	1.9767	1.97805	3483244
application/leberre/ 2dimensionalstrippacking/E10X15.cnf	UNSAT	2.06069	2.06349	3493741
mus/marques-silva/ bmc-default/queueinvar8.cnf	UNSAT	2.08268	2.08351	3493513
mus/marques-silva/hardware-verification/ elf.rf7.ucl.sat.chaff.4.1.bryant.cnf	UNSAT	3.14852	3.1488	3483473
mus/marques-silva/design-debugging/ fpu2-problem.dimacs_16.filtered.cnf	UNSAT	3.17152	3.17264	3493345
mus/marques-silva/design-debugging/ SM_RX_TOP.dimacs.filtered.cnf	UNSAT	3.32049	3.32437	3493357
mus/marques-silva/design-debugging/ c7552-bug-gate-0.dimacs.seq.filtered.cnf	UNSAT	3.64745	3.64864	3493349
mus/marques-silva/ design-debugging/wb-problem.dimacs_46.filtered.cnf	UNSAT	3.69144	3.69176	3493325
mus/marques-silva/abstraction-refinement-intel/ edn_20403_8.cnf_0.03000000.unsat.cnf	UNSAT	4.30634	4.30894	3493237
mus/marques-silva/ atpg/ssa2670-129.cnf	UNSAT	4.92825	4.92857	3493313
mus/marques-silva/ atpg/ssa2670-132.cnf	UNSAT	4.95925	4.96108	3483353
mus/marques-silva/ hardware-verification/c6n_s.cnf	UNSAT	5.01424	5.01575	3493409
mus/marques-silva/ atpg/ssa2670-133.cnf	UNSAT	5.07223	5.07374	3483354
mus/marques-silva/ hardware-verification/dlx2_aa.cnf	UNSAT	5.15821	5.15858	3493417
application/leberre/ 2dimensionalstrippacking/E07N10.cnf	UNSAT	5.29419	5.29696	3483247
mus/marques-silva/design-debugging/ c1_DD_s3_f1_e2_v1-bug-fourvec-gate-0.dimacs.seq.filtered.cnf	UNSAT	5.50516	5.50769	3493329
application/leberre/ 2dimensionalstrippacking/E13N10.cnf	UNSAT	5.9341	5.93473	3483250
application/leberre/ 2dimensionalstrippacking/E10N10.cnf	UNSAT	6.04808	6.04864	3483248
mus/marques-silva/ atpg/ssa2670-140.cnf	UNSAT	6.40902	6.41164	3483355
mus/marques-silva/ fpga-routing/apex7_gr_2pin_w4.shuffled.cnf	UNSAT	7.66183	7.66876	3483443
mus/marques-silva/bmc-default/ queueinvar12.cnf	UNSAT	7.98579	7.98604	3493509
mus/marques-silva/ hardware-verification/c7b_s.cnf	UNSAT	8.33373	8.33516	3493437
mus/marques-silva/ hardware-verification/c7n_s.cnf	UNSAT	8.64868	8.6506	3483463
mus/marques-silva/abstraction-refinement-intel/ edn_5371_4.cnf_0.21000000.unsat.cnf	UNSAT	9.25959	9.26179	3493249
mus/marques-silva/bmc-default/ queueinvar14.cnf	UNSAT	11.8482	11.8488	3483372
mus/marques-silva/fpga-routing/ alu2_gr_rcs_w7.shuffled.cnf	UNSAT	12.3361	12.3366	3493533
application/leberre/ 2dimensionalstrippacking/E15N10.cnf	UNSAT	13.2	13.2015	3493749
mus/marques-silva/design-debugging/ c5_DD_s3_f1_e1_v1-bug-fourvec-gate-0.dimacs.seq.filtered.cnf	UNSAT	15.2167	15.2168	3493397
mus/marques-silva/design-debugging/ c5_DD_s3_f1_e1_v1-bug-gate-0.dimacs.seq.filtered.cnf	UNSAT	16.8964	16.897	3483386
mus/marques-silva/design-debugging/ wb-debug.dimacs.cnf	UNSAT	17.0864	17.0871	3483435
mus/marques-silva/design-debugging/ c5_DD_s3_f1_e1_v2-bug-gate-0.dimacs.seq.filtered.cnf	UNSAT	18.4722	18.4743	3493381
SAT02/industrial/biere/ cmpadd/ca064.shuffled.cnf	UNSAT	23.4484	23.4514	3483205
mus/marques-silva/design-debugging/ dividers3.dimacs.filtered.cnf	UNSAT	27.1719	27.1757	3483397
APPLICATIONS/ bitverif/minand/minand016.cnf	UNSAT	35.9495	35.9748	3493609
mus/marques-silva/design-debugging/ fpu1-problem.dimacs_13.filtered.cnf	UNSAT	37.5153	37.5167	3483401
SAT03/industrial/kukula/addm_bench/ am_5_5.shuffled-as.sat03-361.cnf	UNSAT	37.6313	37.6391	3493769
mus/marques-silva/design-debugging/ c6_DD_s3_f1_e1_v1-bug-fourvec-gate-0.dimacs.seq.filtered.cnf	UNSAT	37.7513	37.7515	3493341
mus/marques-silva/design-debugging/ c6_DD_s3_f1_e1_v1-bug-gate-0.dimacs.seq.filtered.cnf	UNSAT	40.5888	40.5886	3493385
mus/marques-silva/design-debugging/ dividers11.dimacs.filtered.cnf	UNSAT	42.4475	42.4476	3483394
mus/marques-silva/bmc-default/ queueinvar20.cnf	UNSAT	42.8715	42.8725	3483375
mus/marques-silva/design-debugging/ c4_DD_s3_f1_e2_v1-bug-onevec-gate-0.dimacs.seq.filtered.cnf	UNSAT	46.4399	46.4408	3493393
mus/marques-silva/fpga-routing/ c499_gr_2pin_w5.shuffled.cnf	UNSAT	48.1577	48.1617	3483444
mus/marques-silva/ bmc-default/longmult6.cnf	UNSAT	49.1885	49.1878	3483369
SAT02/industrial/goldberg/rand_net/ rand_net40-25-1.shuffled.cnf	UNSAT	55.5736	55.5759	3483223
application/leberre/ 2dimensionalstrippacking/E15N15.cnf	UNSAT	78.853	78.8529	3483253
mus/marques-silva/abstraction-refinement-intel/ edn_5371_6.cnf_0.30000000.unsat.cnf	UNSAT	80.6207	80.6198	3493241
mus/marques-silva/ hardware-verification/dlx2_ca.cnf	UNSAT	87.5997	87.5999	3483470
mus/marques-silva/ hardware-verification/ooo.tag10.ucl.sat.chaff.4.1.bryant.cnf	UNSAT	92.081	92.0805	3483482
mus/marques-silva/design-debugging/ mem_ctrl-debug.dimacs.cnf	UNSAT	100.634	100.632	3483408
mus/marques-silva/ equivalence-checking/c2670.cnf	UNSAT	102.311	102.309	3493277
mus/marques-silva/ fpga-routing/9symml_gr_2pin_w5.shuffled.cnf	UNSAT	113.714	113.712	3483442
mus/chen/fdmus_v100/ fdmus_b17_420.cnf	UNSAT	114.623	114.62	3493161
mus/chen/fdmus_v100/ fdmus_b14_134.cnf	UNSAT	124.224	124.219	3493061
mus/chen/fdmus_v100/ fdmus_b15_421.cnf	UNSAT	129.587	129.59	3493197
mus/chen/ fdmus_v100/fdmus_b17_1037.cnf	UNSAT	134.069	134.073	3493109
mus/marques-silva/ bmc-aerielogic/fifo4_33.cnf	UNSAT	136.157	136.155	3493405
mus/chen/fdmus_v100/ fdmus_b20_341.cnf	UNSAT	142.066	142.063	3493101
mus/marques-silva/ bmc-default/longmult7.cnf	UNSAT	173.677	173.676	3493517
application/leberre/ 2dimensionalstrippacking/E04N18.cnf	UNSAT	214.068	214.066	3493757
mus/chen/fdmus_v100/ fdmus_b15_463.cnf	UNSAT	216.733	216.727	3493081
mus/marques-silva/ bmc-default/barrel6.cnf	UNSAT	222.27	222.268	3483361
mus/chen/fdmus_v100/ fdmus_b21_96.cnf	UNSAT	222.62	222.613	3493133
application/leberre/ 2dimensionalstrippacking/E05N15.cnf	UNSAT	230.235	230.23	3493761
mus/chen/ fdmus_v100/fdmus_b17_1456.cnf	UNSAT	231.349	231.346	3493129
mus/chen/fdmus_v100/ fdmus_b14_141.cnf	UNSAT	237.712	237.723	3493145
mus/chen/fdmus_v100/ fdmus_b20_240.cnf	UNSAT	245.841	245.835	3483272
mus/chen/fdmus_v100/ fdmus_b15_291.cnf	UNSAT	260.952	261.055	3493049
mus/chen/fdmus_v100/ fdmus_b21_242.cnf	UNSAT	280.022	280.023	3493137
mus/chen/fdmus_v100/ fdmus_b20_498.cnf	UNSAT	280.221	280.224	3493205
mus/chen/fdmus_v100/ fdmus_b14_210.cnf	UNSAT	289.063	289.054	3493057
mus/chen/ fdmus_v100/fdmus_b17_1327.cnf	UNSAT	300.173	300.182	3493053
mus/chen/ fdmus_v100/fdmus_b17_1324.cnf	UNSAT	300.259	300.248	3493085
mus/chen/fdmus_v100/ fdmus_b15_296.cnf	UNSAT	304.516	304.506	3493181
mus/chen/fdmus_v100/ fdmus_b22_162.cnf	UNSAT	306.52	306.514	3493185
SAT02/industrial/goldberg/rand_net/ rand_net50-30-1.shuffled.cnf	UNSAT	306.898	306.897	3493833
SAT02/industrial/goldberg/rand_net/ rand_net40-25-5.shuffled.cnf	UNSAT	307.273	307.276	3493825
mus/marques-silva/hardware-verification/ ooo.rf8.ucl.sat.chaff.4.1.bryant.cnf	UNSAT	308.34	308.343	3493445
mus/chen/fdmus_v100/ fdmus_b15_294.cnf	UNSAT	314.142	314.136	3493089
mus/chen/fdmus_v100/ fdmus_b15_303.cnf	UNSAT	331.998	332.006	3493173
mus/chen/fdmus_v100/ fdmus_b15_304.cnf	UNSAT	335.459	335.449	3483256
SAT02/industrial/goldberg/rand_net/ rand_net40-25-10.shuffled.cnf	UNSAT	339.064	339.06	3493817
mus/chen/fdmus_v100/ fdmus_b20_492.cnf	UNSAT	339.334	339.327	3493201
mus/chen/fdmus_v100/ fdmus_b22_488.cnf	UNSAT	361.155	361.139	3493073
mus/chen/fdmus_v100/ fdmus_b20_349.cnf	UNSAT	363	362.997	3483274
mus/marques-silva/abstraction-refinement-intel/ edn_20259_8.cnf_0.39000000.unsat.cnf	UNSAT	369.643	369.718	3483307
mus/marques-silva/ hardware-verification/ooo.tag12.ucl.sat.chaff.4.1.bryant.cnf	UNSAT	373.168	373.171	3493449
mus/marques-silva/abstraction-refinement-intel/ edn_20403_10.cnf_0.03000000.unsat.cnf	UNSAT	375.101	375.097	3483308
mus/chen/fdmus_v100/ fdmus_b20_381.cnf	UNSAT	378.013	378.012	3483276
mus/chen/fdmus_v100/ fdmus_b15_307.cnf	UNSAT	388.718	388.742	3483257
mus/chen/fdmus_v100/ fdmus_b21_486.cnf	UNSAT	397.755	397.75	3493105
mus/chen/fdmus_v100/ fdmus_b21_250.cnf	UNSAT	399.369	399.356	3493077
mus/marques-silva/design-debugging/ dividers9.dimacs.filtered.cnf	UNSAT	425.349	425.339	3493317
mus/chen/fdmus_v100/ fdmus_b22_133.cnf	UNSAT	445.657	445.647	3493113
mus/chen/fdmus_v100/ fdmus_b21_481.cnf	UNSAT	462.882	462.877	3493165
mus/chen/fdmus_v100/ fdmus_b20_238.cnf	UNSAT	472.342	472.331	3483271
SAT02/industrial/goldberg/rand_net/ rand_net40-30-5.shuffled.cnf	UNSAT	497.465	497.457	3493821
industrial/babic/xinetd/ xinetd_vc56687.cnf	UNSAT	502.539	502.707	3483235
mus/chen/fdmus_v100/ fdmus_b22_102.cnf	UNSAT	509.16	509.227	3493065
industrial/babic/xinetd/ xinetd_vc56703.cnf	UNSAT	518.362	518.348	3493593
mus/chen/fdmus_v100/ fdmus_b21_167.cnf	UNSAT	534.137	534.126	3483284
mus/marques-silva/ hardware-verification/dlx2_cc.cnf	UNSAT	566.335	566.325	3483471
mus/marques-silva/design-debugging/ divider-problem.dimacs_2.filtered.cnf	UNSAT	580.559	580.547	3493389
mus/chen/fdmus_v100/ fdmus_b20_388.cnf	UNSAT	582.958	582.957	3493121
mus/marques-silva/ hardware-verification/g6b.cnf	UNSAT	604.699	604.686	3483477
mus/marques-silva/fpga-routing/ vda_gr_rcs_w7.shuffled.cnf	UNSAT	619.188	619.17	3483449
SAT02/industrial/goldberg/rand_net/ rand_net70-30-1.shuffled.cnf	UNSAT	634.128	634.112	3493813
mus/marques-silva/ hardware-verification/g6n.cnf	UNSAT	645.226	645.208	3493461
mus/chen/fdmus_v100/ fdmus_b22_241.cnf	UNSAT	662.54	662.525	3493177
mus/chen/fdmus_v100/ fdmus_b20_424.cnf	UNSAT	720.886	721.418	3493169
mus/chen/fdmus_v100/ fdmus_b22_662.cnf	UNSAT	745.072	745.056	3493149
mus/chen/fdmus_v100/ fdmus_b22_355.cnf	UNSAT	762.446	762.446	3493193
mus/chen/fdmus_v100/ fdmus_b22_172.cnf	UNSAT	763.543	763.528	3493097
mus/marques-silva/design-debugging/ dividers7.dimacs.filtered.cnf	UNSAT	767.349	767.364	3483399
mus/chen/fdmus_v100/ fdmus_b21_422.cnf	UNSAT	770.296	770.381	3493153
mus/marques-silva/ bmc-default/barrel7.cnf	UNSAT	770.682	770.66	3483362
mus/chen/fdmus_v100/ fdmus_b20_171.cnf	UNSAT	788.552	788.541	3493141
mus/chen/fdmus_v100/ fdmus_b21_359.cnf	UNSAT	815.336	815.329	3483287
mus/chen/fdmus_v100/ fdmus_b22_141.cnf	UNSAT	821.961	821.946	3493157
SAT02/industrial/biere/ cmpadd/ca256.shuffled.cnf	UNSAT	840.088	840.071	3483207
mus/chen/fdmus_v100/ fdmus_b22_356.cnf	UNSAT	847.101	847.077	3483296
mus/chen/fdmus_v100/ fdmus_b20_141.cnf	UNSAT	865.656	865.655	3493125
mus/marques-silva/design-debugging/ s38584-bug-onevec-gate-0.dimacs.seq.filtered.cnf	UNSAT	872.218	872.199	3493353
mus/chen/fdmus_v100/ fdmus_b21_111.cnf	UNSAT	882.503	882.478	3493117
mus/marques-silva/ software-verification/itox_vc965.cnf	UNSAT	883.595	883.579	3493473
mus/chen/fdmus_v100/ fdmus_b22_600.cnf	UNSAT	896.345	896.317	3493189
mus/marques-silva/abstraction-refinement-intel/ edn_20403_12.cnf_0.08000000.unsat.cnf	UNSAT	928.308	928.29	3493217
mus/chen/fdmus_v100/ fdmus_b21_112.cnf	UNSAT	943.148	943.126	3493045
mus/marques-silva/ hardware-verification/3pipe_1_ooo.cnf	UNSAT	951.615	951.623	3493457
SAT02/industrial/goldberg/rand_net/ rand_net50-25-5.shuffled.cnf	UNSAT	989.028	989.007	3493801
mus/chen/fdmus_v100/ fdmus_b22_113.cnf	UNSAT	1056.36	1056.37	3493093
SAT02/industrial/goldberg/rand_net/ rand_net70-25-1.shuffled.cnf	UNSAT	1105.21	1105.19	3493797
mus/chen/fdmus_v100/ fdmus_b22_669.cnf	UNSAT	1139.54	1139.5	3493069
APPLICATIONS/ bitverif/maxand/maxand032.cnf	UNSAT	1204.09	1204.09	3483238
mus/marques-silva/software-verification/ bin_libsmbsharemodes_vc4083.cnf	UNSAT	1210.65	1210.67	3493485
mus/marques-silva/design-debugging/ mem_ctrl-problem.dimacs_27.filtered.cnf	UNSAT	1211.04	1211	3483409
mus/marques-silva/ equivalence-checking/c5315-s.cnf	UNSAT	1231.58	1231.54	3493281
mus/marques-silva/abstraction-refinement-intel/ edn_24095_8.cnf_0.21000000.unsat.cnf	UNSAT	1405.01	1404.97	3483317
SAT02/industrial/biere/ dinphil/dp08u07.shuffled.cnf	UNSAT	1429.7	1429.66	3483212
mus/marques-silva/ equivalence-checking/c7552.cnf	UNSAT	1448.12	1448.09	3493285
mus/marques-silva/abstraction-refinement-intel/ edn_28491_6.cnf_0.31000000.unsat.cnf	UNSAT	1516.49	1516.53	3493273
application/leberre/ 2dimensionalstrippacking/E03N15.cnf	UNSAT	1590.88	1590.91	3493753
mus/marques-silva/bmc-aerielogic/ w10_45.shuffled.cnf	UNSAT	1653.19	1653.16	3493401
industrial/babic/hsatv17/ hsat_vc11944.cnf	UNSAT	1730.3	1730.26	3493577
mus/marques-silva/abstraction-refinement-intel/ edn_20259_10.cnf_0.48000000.unsat.cnf	UNSAT	1775.73	1775.72	3493253
mus/marques-silva/abstraction-refinement-intel/ edn_5371_10.cnf_0.46000000.unsat.cnf	UNSAT	1787.92	1787.94	3493257

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
mus/marques-silva/ software-verification/cvs_vc81760.cnf	? (TO)	1800.01	1801.11	3483494
APPLICATIONS/bitverif/ mulhs/mulhs008.cnf	? (TO)	1800.01	1800.01	3493613
SAT03/industrial/goldberg/hard_eq_check/ c7552mul.miter.shuffled-as.sat03-347.cnf	? (TO)	1800.01	1800.01	3493765
mus/marques-silva/ equivalence-checking/c3540-s.cnf	? (TO)	1800.02	1800.01	3483440
mus/marques-silva/ software-verification/itox_vc1216.cnf	? (TO)	1800.02	1800.01	3483500
industrial/babic/hsatv17/ hsat_vc11803.cnf	? (TO)	1800.03	1800.01	3493573
APPLICATIONS/diagnosis/ UR-10-10t0.cnf	? (TO)	1800.03	1800.21	3493653
mus/marques-silva/software-verification/ hsat_vc12072.cnf	? (TO)	1800.03	1800.01	3493469
industrial/palacios/uts/ uts-l05-ipc5-h26-unsat.cnf	? (TO)	1800.03	1800.12	3493541
APPLICATIONS/bitverif/ icbrt/icbrt2_32.cnf	? (TO)	1800.03	1800.11	3493621
mus/marques-silva/ bmc-default/longmult9.cnf	? (TO)	1800.04	1800.01	3483371
SAT02/industrial/goldberg/rand_net/ rand_net60-30-10.shuffled.cnf	? (TO)	1800.04	1800.01	3493837
industrial/babic/hsatv17/ hsat_vc11817.cnf	? (TO)	1800.04	1800.02	3493585
APPLICATIONS/bitverif/ maxor/maxor032.cnf	? (TO)	1800.04	1800.11	3493625
APPLICATIONS/diagnosis/ UR-15-10t0.cnf	? (TO)	1800.04	1800.13	3493677
APPLICATIONS/diagnosis/ UCG-10-10t0.cnf	? (TO)	1800.04	1800.41	3493673
SAT02/industrial/goldberg/rand_net/ rand_net60-25-5.shuffled.cnf	? (TO)	1800.05	1800.01	3493809
application/leberre/ 2dimensionalstrippacking/E04F15.cnf	? (TO)	1800.05	1800.01	3493737
APPLICATIONS/bitverif/ smulo/smulo016.cnf	? (TO)	1800.05	1800.01	3493617
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf	? (TO)	1800.05	1800.01	3493725
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-nusmvguidancep9-tseitin.cnf	? (TO)	1800.05	1800.01	3493721
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-nusmvtcastp2-tseitin.cnf	? (TO)	1800.05	1800.01	3493713
mus/marques-silva/design-debugging/ rsdecoder4.dimacs.filtered.cnf	? (TO)	1800.05	1800.02	3483418
SAT02/industrial/ dellacherie/fifo8/fifo8_300.shuffled.cnf	? (TO)	1800.05	1800.01	3493857
SAT02/industrial/goldberg/rand_net/ rand_net50-40-5.shuffled.cnf	? (TO)	1800.05	1800.01	3493829
SAT02/industrial/biere/ dinphil/dp09u08.shuffled.cnf	? (TO)	1800.05	1800.01	3493861
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-viscoherencep3-tseitin.cnf	? (TO)	1800.05	1800.01	3493729
SAT02/industrial/goldberg/fpga_routing/ c880_gr_rcs_w6.shuffled.cnf	? (TO)	1800.05	1800.01	3493781
SAT04/industrial/hoonsang/ vis-bmc/luckySeven.used-as.sat04-990.cnf	? (TO)	1800.05	1800.01	3493773
SAT02/industrial/goldberg/rand_net/ rand_net70-25-5.shuffled.cnf	? (TO)	1800.05	1800.01	3493793
SAT02/industrial/goldberg/rand_net/ rand_net70-60-1.shuffled.cnf	? (TO)	1800.05	1800.01	3493805
APPLICATIONS/bitverif/ minxorminand/minxorminand032.cnf	? (TO)	1800.05	1800.01	3493597
industrial/babic/hsatv17/ hsat_vc12016.cnf	? (TO)	1800.05	1800.01	3493581
mus/marques-silva/ hardware-verification/4pipe_3_ooo.cnf	? (TO)	1800.05	1800.01	3483453
application/leberre/ 2dimensionalstrippacking/E00N15.cnf	? (TO)	1800.05	1800.01	3493745
SAT02/industrial/dellacherie/ w10/w10_70.shuffled.cnf	? (TO)	1800.06	1800.01	3493841
mus/marques-silva/ hardware-verification/f6b.cnf	? (TO)	1800.06	1800.01	3493453
mus/marques-silva/ hardware-verification/c8bidw_s.cnf	? (TO)	1800.06	1800.02	3493429
mus/marques-silva/ hardware-verification/f7.cnf	? (TO)	1800.06	1800.01	3493421
mus/marques-silva/design-debugging/ divider-problem.dimacs_7.filtered.cnf	? (TO)	1800.06	1800.02	3483393
mus/marques-silva/software-verification/ dspam_dump_vc950.cnf	? (TO)	1800.06	1800.03	3493501
mus/marques-silva/abstraction-refinement-intel/ edn_9789_8.cnf_0.51000000.unsat.cnf	? (TO)	1800.06	1800.02	3493245
mus/marques-silva/abstraction-refinement-intel/ edn_25208_10.cnf_0.58000000.unsat.cnf	? (TO)	1800.06	1800.03	3483318
SAT02/industrial/ dellacherie/fifo8/fifo8_100.shuffled.cnf	? (TO)	1800.06	1800.01	3493853
APPLICATIONS/diagnosis/ UR-10-5p0.cnf	? (TO)	1800.06	1800.31	3493665
APPLICATIONS/diagnosis/ ACG-10-5p0.cnf	? (TO)	1800.06	1800.02	3493661
APPLICATIONS/crypto/ md5gen/gus-md5-06.cnf	? (TO)	1800.06	1800.01	3493629
APPLICATIONS/diagnosis/ ACG-10-10t0.cnf	? (TO)	1800.06	1800.01	3493645
industrial/babic/hsatv17/ hsat_vc12072.cnf	? (TO)	1800.06	1800.02	3493569
industrial/jarvisalo/ eq.atree.braun.7.unsat.cnf	? (TO)	1800.06	1800.01	3493589
industrial/babic/dspam/ dspam_dump_vc950.cnf	? (TO)	1800.06	1800.02	3493561
mus/marques-silva/software-verification/ dspam_dump_vc1093.cnf	? (TO)	1800.07	1800.02	3493493
industrial/babic/ dspam/dspam_dump_vc1081.cnf	? (TO)	1800.07	1800.01	3493565
mus/marques-silva/ hardware-verification/g6bid.cnf	? (TO)	1800.07	1800.01	3493433
mus/marques-silva/abstraction-refinement-intel/ edn_9789_6.cnf_0.31000000.unsat.cnf	? (TO)	1800.07	1800.02	3493233
mus/marques-silva/abstraction-refinement-intel/ edn_2948_14.cnf_0.97000000.unsat.cnf	? (TO)	1800.07	1800.04	3493229
mus/marques-silva/software-verification/ hsat_vc12016.cnf	? (TO)	1800.07	1800.01	3483498
mus/marques-silva/design-debugging/ wb_4m8s1.dimacs.filtered.cnf	? (TO)	1800.07	1800.02	3493321
mus/marques-silva/software-verification/ hsat_vc12070.cnf	? (TO)	1800.07	1800.01	3493489
mus/marques-silva/software-verification/ dspam_dump_vc949.cnf	? (TO)	1800.07	1800.03	3493481
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bc57sensorsp0neg-tseitin.cnf	? (TO)	1800.07	1800.11	3493717
mus/marques-silva/ hardware-verification/4pipe_1_ooo.cnf	? (TO)	1800.07	1800.01	3493465
mus/marques-silva/design-debugging/ divider-problem.dimacs_9.filtered.cnf	? (TO)	1800.07	1800.02	3493333
mus/marques-silva/design-debugging/ divider-problem.dimacs_5.filtered.cnf	? (TO)	1800.07	1800.02	3483392
mus/marques-silva/ hardware-verification/c6bidw_s.cnf	? (TO)	1800.07	1800.02	3483456
mus/marques-silva/design-debugging/ wb_conmax3.dimacs.filtered.cnf	? (TO)	1800.07	1800.02	3483434
mus/marques-silva/ hardware-verification/g7n.cnf	? (TO)	1800.07	1800.01	3483480
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-nusmvguidancep1-tseitin.cnf	? (TO)	1800.07	1800.02	3493697
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.010-NOTKNOWN.cnf	? (TO)	1800.07	1800.02	3493693
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_06_UNSAT.cnf	? (TO)	1800.07	1800.11	3493685
mus/marques-silva/software-verification/ dspam_dump_vc973.cnf	? (TO)	1800.07	1800.03	3493505
mus/marques-silva/design-debugging/ rsdecoder-problem.dimacs_39.filtered.cnf	? (TO)	1800.07	1800.04	3493369
mus/marques-silva/ hardware-verification/c10nidw_s.cnf	? (TO)	1800.07	1800.02	3493441
APPLICATIONS/diagnosis/ UCG-20-5t0.cnf	? (TO)	1800.07	1800.03	3493681
APPLICATIONS/diagnosis/ UR-20-5t0.cnf	? (TO)	1800.07	1800.23	3493669
mus/marques-silva/ design-debugging/rsdecoder_fsm1.dimacs.filtered.cnf	? (TO)	1800.07	1800.02	3493377
APPLICATIONS/diagnosis/ UR-15-5t0.cnf	? (TO)	1800.07	1800.02	3493657
APPLICATIONS/diagnosis/ ACG-20-5t0.cnf	? (TO)	1800.07	1800.03	3493641
mus/marques-silva/ hardware-verification/4pipe_4_ooo.cnf	? (TO)	1800.07	1800.01	3493413
mus/marques-silva/abstraction-refinement-intel/ edn_22134_10.cnf_0.47000000.unsat.cnf	? (TO)	1800.07	1800.03	3493221
mus/marques-silva/abstraction-refinement-intel/ edn_28491_12.cnf_0.50000000.unsat.cnf	? (TO)	1800.08	1800.04	3493225
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvqis8x8p2-tseitin.cnf	? (TO)	1800.08	1800.02	3493701
APPLICATIONS/diagnosis/ UTI-20-5t0.cnf	? (TO)	1800.08	1800.72	3493649
APPLICATIONS/ bitverif/minxor/minxor032.cnf	? (TO)	1800.08	1800.11	3493601
industrial/palacios/uts/ uts-l06-ipc5-h31-unknown.cnf	? (TO)	1800.08	1800.12	3493545
industrial/babic/ dspam/dspam_dump_vc1093.cnf	? (TO)	1800.08	1800.02	3493553
mus/marques-silva/ hardware-verification/f6n.cnf	? (TO)	1800.08	1800.02	3483474
mus/marques-silva/abstraction-refinement-intel/ edn_28491_10.cnf_0.46000000.unsat.cnf	? (TO)	1800.08	1800.03	3493269
mus/marques-silva/abstraction-refinement-intel/ edn_25208_14.cnf_37.38000000.unsat.cnf	? (TO)	1800.08	1800.04	3483319
industrial/palacios/uts/ uts-l06-ipc5-h28-unknown.cnf	? (TO)	1800.09	1800.01	3493549
mus/marques-silva/abstraction-refinement-intel/ edn_5371_12.cnf_0.50000000.unsat.cnf	? (TO)	1800.09	1800.04	3493261
mus/marques-silva/software-verification/ hsat_vc11813.cnf	? (TO)	1800.09	1800.12	3493497
mus/marques-silva/design-debugging/ rsdecoder_multivec1.dimacs.filtered.cnf	? (TO)	1800.09	1800.03	3483421
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.010-NOTKNOWN.cnf	? (TO)	1800.09	1800.03	3493689
mus/marques-silva/design-debugging/ rsdecoder6.dimacs.filtered.cnf	? (TO)	1800.09	1800.02	3483420
APPLICATIONS/crypto/ md5gen/gus-md5-05.cnf	? (TO)	1800.09	1800.22	3493633
mus/marques-silva/abstraction-refinement-intel/ edn_22134_8.cnf_0.38000000.unsat.cnf	? (TO)	1800.09	1800.03	3483313
mus/marques-silva/ hardware-verification/c8idw_s.cnf	? (TO)	1800.09	1800.02	3493425
APPLICATIONS/ bitverif/minand/minand064.cnf	? (TO)	1800.1	1800.11	3493605
mus/marques-silva/ hardware-verification/g7b.cnf	? (TO)	1800.1	1800.01	3483479
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns2p3-tseitin.cnf	? (TO)	1800.1	1800.11	3493705
mus/marques-silva/design-debugging/ mrisc_mem2wire-problem.dimacs_29.filtered.cnf	? (TO)	1800.1	1800.04	3493361
mus/marques-silva/design-debugging/ divider-problem.dimacs_1.filtered.cnf	? (TO)	1800.1	1800.22	3483390
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtswvsam6x8p3-tseitin.cnf	? (TO)	1800.1	1800.12	3493709
industrial/babic/dspam/ dspam_dump_vc972.cnf	? (TO)	1800.1	1800.04	3493557
industrial/anbulagan/ medium-unsat/total-5-11-u.cnf	? (TO)	1800.1	1800.02	3493537
SAT02/industrial/dellacherie/ comb/comb2.shuffled.cnf	? (TO)	1800.11	1800.11	3493845
SAT02/industrial/dellacherie/ w08/w08_10.shuffled.cnf	? (TO)	1800.11	1800.11	3493849
APPLICATIONS/c32sat/ post-cbmc-aes-d-r1-noholes.cnf	? (TO)	1800.11	1800.15	3493637
mus/marques-silva/ hardware-verification/f7b.cnf	? (TO)	1800.11	1800.11	3483475
mus/marques-silva/design-debugging/ rsdecoder-problem.dimacs_31.filtered.cnf	? (TO)	1800.12	1800.04	3493365
mus/marques-silva/design-debugging/ rsdecoder-problem.dimacs_37.filtered.cnf	? (TO)	1800.13	1800.15	3483424
mus/marques-silva/design-debugging/ rsdecoder-problem.dimacs_38.filtered.cnf	? (TO)	1800.13	1800.14	3493373
mus/marques-silva/software-verification/ dspam_dump_vc962.cnf	? (TO)	1800.13	1800.52	3493477
mus/marques-silva/abstraction-refinement-intel/ edn_9789_21.cnf_46.05000000.unsat.cnf	? (TO)	1800.14	1800.05	3493265

SAT 2011 Competition: plain MUS track: benchmarks results per solver

Result page for solver MiniUnsat2 2011-02-22 (complete)

Category "MUS" (MUS)

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

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