SAT 2011 Competition: group-oriented MUS track: benchmarks results per solver

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
gmus/nadel/ edn_20403_8.cnf_0.03000000.unsat.gcnf	UNSAT	0.686894	0.737471	3500981
gmus/nadel/ edn_20403_10.cnf_0.03000000.unsat.gcnf	UNSAT	1.15782	3.07415	3500992
gmus/nadel/ edn_20403_12.cnf_0.08000000.unsat.gcnf	UNSAT	2.66759	2.67038	3500997
gmus/nadel/ edn_20403_14.cnf_0.10000000.unsat.gcnf	UNSAT	2.86356	2.91516	3500989
gmus/nadel/ edn_20403_16.cnf_0.29000000.unsat.gcnf	UNSAT	3.24451	3.29723	3500991
gmus/nadel/ edn_9789_2.cnf_0.07000000.unsat.gcnf	UNSAT	3.67044	3.67203	3501011
gmus/nadel/ edn_25208_4.cnf_0.05000000.unsat.gcnf	UNSAT	7.2619	7.46927	3500978
gmus/nadel/ edn_2948_4.cnf_0.07000000.unsat.gcnf	UNSAT	8.45771	8.48592	3500976
gmus/nadel/ edn_25208_2.cnf_0.08000000.unsat.gcnf	UNSAT	13.414	13.4138	3500999
gmus/nadel/ edn_25208_6.cnf_0.20000000.unsat.gcnf	UNSAT	14.5958	14.5966	3501017
gmus/nadel/ edn_2948_6.cnf_0.12000000.unsat.gcnf	UNSAT	14.7578	14.7664	3500983
gmus/belov/ pdtvisrethersqo1.aig.k25.gcnf	UNSAT	16.7215	16.7217	3501096
gmus/nadel/ edn_20259_4.cnf_0.21000000.unsat.gcnf	UNSAT	16.8814	16.8847	3501012
gmus/nadel/ edn_22134_4.cnf_0.14000000.unsat.gcnf	UNSAT	17.0224	17.066	3500977
gmus/nadel/ edn_5371_4.cnf_0.21000000.unsat.gcnf	UNSAT	17.1624	17.1704	3501020
gmus/nadel/ edn_24095_4.cnf_0.11000000.unsat.gcnf	UNSAT	18.4792	18.4815	3500998
gmus/nadel/ edn_9789_6.cnf_0.31000000.unsat.gcnf	UNSAT	24.7012	24.718	3500990
gmus/nadel/ edn_20403_23.cnf_14.27000000.unsat.gcnf	UNSAT	30.9293	31.0136	3500982
gmus/nadel/ edn_25208_8.cnf_0.30000000.unsat.gcnf	UNSAT	33.9048	33.9122	3500985
gmus/nadel/ edn_2948_8.cnf_0.25000000.unsat.gcnf	UNSAT	34.4498	34.4492	3501006
gmus/nadel/ edn_20259_6.cnf_0.31000000.unsat.gcnf	UNSAT	36.2355	36.2437	3500995
gmus/nadel/ edn_25208_10.cnf_0.58000000.unsat.gcnf	UNSAT	36.2805	36.3175	3500984
gmus/nadel/ edn_28491_6.cnf_0.31000000.unsat.gcnf	UNSAT	36.4984	36.5009	3501013
gmus/nadel/ edn_22134_6.cnf_0.31000000.unsat.gcnf	UNSAT	37.3653	37.3665	3501018
gmus/nadel/ edn_5371_6.cnf_0.30000000.unsat.gcnf	UNSAT	37.5033	37.5205	3501003
gmus/nadel/ edn_9789_8.cnf_0.51000000.unsat.gcnf	UNSAT	39.0621	39.0625	3501008
gmus/nadel/ edn_24095_6.cnf_0.17000000.unsat.gcnf	UNSAT	41.2357	41.2412	3501009
gmus/belov/ pdtvisns2p3.aig.k15.gcnf	UNSAT	43.4524	43.4525	3501026
gmus/nadel/ edn_9789_10.cnf_0.68000000.unsat.gcnf	UNSAT	48.6226	48.6221	3501014
gmus/belov/ 2dlx_ca_mc_ex_bp_f_new.gcnf	UNSAT	52.613	52.6116	3501132
gmus/nadel/ edn_22134_8.cnf_0.38000000.unsat.gcnf	UNSAT	61.2937	61.2942	3501021
gmus/nadel/ edn_5371_8.cnf_0.39000000.unsat.gcnf	UNSAT	62.8214	62.8208	3501015
gmus/nadel/ edn_20259_8.cnf_0.39000000.unsat.gcnf	UNSAT	63.1654	63.165	3501004
gmus/nadel/ edn_24095_8.cnf_0.21000000.unsat.gcnf	UNSAT	64.3272	64.3806	3500980
gmus/nadel/ edn_9789_12.cnf_0.93000000.unsat.gcnf	UNSAT	64.5022	64.5692	3500973
gmus/nadel/ edn_28491_8.cnf_0.39000000.unsat.gcnf	UNSAT	65.984	65.982	3501019
gmus/nadel/ edn_2948_10.cnf_0.28000000.unsat.gcnf	UNSAT	67.2908	67.3122	3500974
gmus/belov/ pdtvisns3p19.aig.k20.gcnf	UNSAT	68.8355	68.8336	3501095
gmus/belov/ mentorbm1p02.aig.k20.gcnf	UNSAT	77.9301	77.9377	3501131
gmus/belov/ pdtvisns3p10.aig.k15.gcnf	UNSAT	93.7867	93.7853	3501148
gmus/nadel/ edn_24095_10.cnf_0.29000000.unsat.gcnf	UNSAT	96.8173	96.8147	3501007
gmus/nadel/ edn_22134_10.cnf_0.47000000.unsat.gcnf	UNSAT	98.995	98.9963	3500988
gmus/belov/ pdtpmsgigamax.aig.k15.gcnf	UNSAT	99.3179	99.3175	3501049
gmus/nadel/ edn_28491_10.cnf_0.46000000.unsat.gcnf	UNSAT	99.3989	99.405	3500979
gmus/belov/ pdtviseisenberg0.aig.k15.gcnf	UNSAT	100.041	100.037	3501078
gmus/nadel/ edn_2948_14.cnf_0.97000000.unsat.gcnf	UNSAT	103.19	103.307	3501005
gmus/belov/ pdtvisvending08.aig.k25.gcnf	UNSAT	106.671	106.668	3501123
gmus/belov/ pdtvisns3p17.aig.k25.gcnf	UNSAT	109.773	109.77	3501084
gmus/belov/ pdtvisns3p16.aig.k25.gcnf	UNSAT	110.497	110.501	3501081
gmus/belov/ pdtvisgigamax1.aig.k20.gcnf	UNSAT	113.201	113.2	3501082
gmus/belov/ pdtvisgigamax0.aig.k20.gcnf	UNSAT	114.287	114.285	3501037
gmus/belov/ pdtvisns2p3.aig.k20.gcnf	UNSAT	114.627	114.626	3501102
gmus/belov/ pdtvisgigamax3.aig.k20.gcnf	UNSAT	115.628	115.626	3501150
gmus/belov/ pdtvisgigamax5.aig.k20.gcnf	UNSAT	115.986	115.987	3501092
gmus/nadel/ edn_20259_10.cnf_0.48000000.unsat.gcnf	UNSAT	119.251	119.252	3501001
gmus/nadel/ edn_5371_10.cnf_0.46000000.unsat.gcnf	UNSAT	119.758	119.763	3501010
gmus/belov/ pdtpmsgoodbakery.aig.k15.gcnf	UNSAT	119.866	119.872	3501057
gmus/belov/ pdtvisgigamax2.aig.k20.gcnf	UNSAT	120.835	120.835	3501036
gmus/belov/ 2dlx_cc_mc_ex_bp_f_new.gcnf	UNSAT	132.467	132.464	3501127
gmus/belov/ mentorbm1p02.aig.k25.gcnf	UNSAT	135.679	135.678	3501162
gmus/belov/ pdtvisns3p19.aig.k25.gcnf	UNSAT	137.566	137.609	3501129
gmus/belov/ pdtvisgigamax4.aig.k20.gcnf	UNSAT	137.577	137.573	3501094
gmus/nadel/ edn_28491_12.cnf_0.50000000.unsat.gcnf	UNSAT	138.166	138.17	3500993
gmus/nadel/ edn_22134_12.cnf_0.50000000.unsat.gcnf	UNSAT	138.221	138.218	3501016
gmus/belov/ nusmvguidancep8.aig.k20.gcnf	UNSAT	144.372	144.384	3501168
gmus/nadel/ edn_5371_12.cnf_0.50000000.unsat.gcnf	UNSAT	148.25	148.251	3500987
gmus/belov/ 3pipe_1_ooo.gcnf	UNSAT	149.047	149.041	3501163
gmus/belov/ pdtvisns3p08.aig.k10.gcnf	UNSAT	150.879	150.885	3501118
gmus/belov/ pdtvisvending02.aig.k25.gcnf	UNSAT	152.722	152.72	3501046
gmus/nadel/ edn_20259_12.cnf_0.50000000.unsat.gcnf	UNSAT	156.883	156.888	3500986
gmus/belov/ pdtvisns3p18.aig.k25.gcnf	UNSAT	160.179	160.176	3501155
gmus/belov/ pdtvisbakery0.aig.k15.gcnf	UNSAT	170.276	170.272	3501109
gmus/belov/ bjrb07amba2andenv.aig.k20.gcnf	UNSAT	173.561	173.557	3501083
gmus/belov/ pdtvisns3p09.aig.k10.gcnf	UNSAT	174.072	174.07	3501119
gmus/belov/ pdtpmsvsa16a.aig.k10.gcnf	UNSAT	181.041	181.052	3501115
gmus/belov/ pdtviseisenberg2.aig.k15.gcnf	UNSAT	181.066	181.061	3501126
gmus/belov/ pdtvistictactoe10.aig.k20.gcnf	UNSAT	183.903	183.9	3501103
gmus/belov/ pdtvisns2p3.aig.k25.gcnf	UNSAT	184.001	184	3501135
gmus/belov/ pdtvistimeout2.aig.k25.gcnf	UNSAT	184.055	184.051	3501029
gmus/belov/ pdtvispeterson.aig.k25.gcnf	UNSAT	187.206	187.235	3501050
gmus/belov/ pdtvisgoodbakery0.aig.k15.gcnf	UNSAT	194.128	194.126	3501028
gmus/belov/ pdtvistimeout3.aig.k20.gcnf	UNSAT	194.163	194.179	3501055
gmus/belov/ pdtvisns3p10.aig.k20.gcnf	UNSAT	194.607	194.607	3501136
gmus/belov/ 3pipe_3_ooo.gcnf	UNSAT	197.771	197.769	3501059
gmus/belov/ pdtvisgigamax5.aig.k25.gcnf	UNSAT	199.557	199.566	3501144
gmus/belov/ pdtvisgigamax2.aig.k25.gcnf	UNSAT	201.388	201.385	3501098
gmus/belov/ pdtvisgigamax1.aig.k25.gcnf	UNSAT	202.478	202.477	3501107
gmus/nadel/ edn_20259_14.cnf_0.55000000.unsat.gcnf	UNSAT	206.936	206.934	3501000
gmus/belov/ pdtpmsgigamax.aig.k20.gcnf	UNSAT	206.972	206.972	3501091
gmus/belov/ pdtvisgigamax0.aig.k25.gcnf	UNSAT	207.702	207.701	3501063
gmus/belov/ pdtswvibs8x8p1.aig.k25.gcnf	UNSAT	208.583	208.581	3501048
gmus/belov/ 3pipe_2_ooo.gcnf	UNSAT	209.177	209.172	3501040
gmus/belov/ pdtvisgigamax4.aig.k25.gcnf	UNSAT	218.228	218.223	3501027
gmus/belov/ pj2003.aig.k20.gcnf	UNSAT	222.345	222.354	3501024
gmus/belov/ pdtvisgigamax3.aig.k25.gcnf	UNSAT	222.559	222.554	3501030
gmus/belov/ pdtvisvending07.aig.k25.gcnf	UNSAT	227.226	227.222	3501072
gmus/belov/ pdtvisvsa16a29.aig.k25.gcnf	UNSAT	232.868	232.868	3501141
gmus/ belov/3pipe.gcnf	UNSAT	238.241	238.234	3501090
gmus/belov/ pdtvisvending05.aig.k25.gcnf	UNSAT	249.827	249.833	3501064
gmus/belov/ pdtvisns2p0.aig.k15.gcnf	UNSAT	253.596	253.592	3501054
gmus/belov/ nusmvguidancep2.aig.k20.gcnf	UNSAT	262.347	262.34	3501152
gmus/belov/ pdtswvibs8x8p2.aig.k25.gcnf	UNSAT	269.692	269.689	3501088
gmus/belov/ mentorbm1p00.aig.k20.gcnf	UNSAT	272.767	272.76	3501099
gmus/belov/ pdtpmsvsar.aig.k15.gcnf	UNSAT	281.64	281.633	3501062
gmus/belov/ pdtvisns3p06.aig.k10.gcnf	UNSAT	297.183	297.178	3501117
gmus/nadel/ edn_24095_17.cnf_4.40000000.unsat.gcnf	UNSAT	302.312	302.308	3500994
gmus/belov/ pdtswvsam6x8p1.aig.k25.gcnf	UNSAT	306.856	306.851	3501073
gmus/belov/ pdtswvibs16x4p2.aig.k25.gcnf	UNSAT	309.992	309.985	3501034
gmus/belov/ nusmvguidancep5.aig.k20.gcnf	UNSAT	315.924	315.918	3501110
gmus/belov/ pdtvisns3p07.aig.k10.gcnf	UNSAT	331.211	331.204	3501166
gmus/belov/ pdtvisns3p05.aig.k10.gcnf	UNSAT	331.898	331.888	3501167
gmus/belov/ pdtvistictactoe10.aig.k25.gcnf	UNSAT	342.101	342.096	3501070
gmus/belov/ pdtpmsgigamax.aig.k25.gcnf	UNSAT	350.522	350.517	3501169
gmus/nadel/ edn_9789_21.cnf_46.05000000.unsat.gcnf	UNSAT	351.175	351.164	3501002
gmus/nadel/ edn_24095_19.cnf_2.12000000.unsat.gcnf	UNSAT	355.04	355.037	3500975
gmus/belov/ nusmvguidancep7.aig.k20.gcnf	UNSAT	361.106	361.099	3501060
gmus/nadel/ edn_25208_14.cnf_37.38000000.unsat.gcnf	UNSAT	361.342	361.336	3500996
gmus/belov/ pdtvistimeout3.aig.k25.gcnf	UNSAT	369.906	369.916	3501032
gmus/belov/ pdtswvsam6x8p2.aig.k25.gcnf	UNSAT	369.99	370.001	3501151
gmus/belov/ pdtvisns3p10.aig.k25.gcnf	UNSAT	370.628	370.619	3501125
gmus/belov/ pdtviseisenberg2.aig.k20.gcnf	UNSAT	372.259	372.249	3501100
gmus/belov/ viscoherencep3.aig.k15.gcnf	UNSAT	372.877	372.86	3501080
gmus/belov/ vis4arbitp1.aig.k25.gcnf	UNSAT	375.798	375.797	3501149
gmus/belov/ pdtvisheap00.aig.k20.gcnf	UNSAT	376.465	376.469	3501089
gmus/belov/ pdtvisns3p04.aig.k10.gcnf	UNSAT	387.946	387.929	3501077
gmus/belov/ pdtswvrod6x8p1.aig.k20.gcnf	UNSAT	399.074	399.065	3501047
gmus/belov/ pdtvisns2p1.aig.k15.gcnf	UNSAT	399.192	399.184	3501157
gmus/belov/ pdtswvsam4x8p4.aig.k25.gcnf	UNSAT	403.204	403.222	3501156
gmus/belov/ pdtvisns2p2.aig.k15.gcnf	UNSAT	423.101	423.089	3501066
gmus/belov/ pdtviseisenberg1.aig.k20.gcnf	UNSAT	439.249	439.239	3501067
gmus/belov/ bjrb07amba2andenv.aig.k25.gcnf	UNSAT	443.02	443.008	3501145
gmus/belov/ kenflashp11.aig.k25.gcnf	UNSAT	447.45	447.458	3501058
gmus/belov/ bj08amba4g5.aig.k20.gcnf	UNSAT	451.495	451.508	3501124
gmus/belov/ pdtvisvending01.aig.k15.gcnf	UNSAT	453.92	453.91	3501031
gmus/belov/ pdtswvsam4x8p2.aig.k25.gcnf	UNSAT	455.787	455.784	3501038
gmus/belov/ pdtpmsheap.aig.k15.gcnf	UNSAT	458.979	458.975	3501087
gmus/belov/ pdtvissoap2.aig.k15.gcnf	UNSAT	475.578	475.567	3501120
gmus/belov/ nusmvguidancep8.aig.k25.gcnf	UNSAT	497.807	497.793	3501061
gmus/belov/ pdtswvtms10x8p1.aig.k20.gcnf	UNSAT	498.439	498.424	3501140
gmus/belov/ pdtpmsrethersqo.aig.k20.gcnf	UNSAT	506.051	506.052	3501025
gmus/belov/ pdtswvtms14x8p1.aig.k20.gcnf	UNSAT	521.533	521.511	3501111
gmus/belov/ bj08amba5g62.aig.k20.gcnf	UNSAT	529.443	529.433	3501137
gmus/belov/ pdtvisgoodbakery1.aig.k20.gcnf	UNSAT	536.415	536.417	3501106
gmus/belov/ pdtswvsam6x8p3.aig.k25.gcnf	UNSAT	538.538	538.525	3501121
gmus/belov/ pdtvisvending00.aig.k20.gcnf	UNSAT	555.745	555.732	3501043
gmus/belov/ nusmvguidancep6.aig.k25.gcnf	UNSAT	560.619	560.597	3501160
gmus/belov/ pdtviscoherence5.aig.k15.gcnf	UNSAT	561.678	561.663	3501165
gmus/belov/ pdtvisns2p0.aig.k20.gcnf	UNSAT	564.48	564.464	3501042
gmus/belov/ pdtvisgoodbakery0.aig.k20.gcnf	UNSAT	575.882	575.866	3501097
gmus/belov/ pdtswvtms12x8p1.aig.k20.gcnf	UNSAT	587.807	587.793	3501074
gmus/belov/ pdtswvsam6x8p4.aig.k25.gcnf	UNSAT	615.62	615.603	3501114
gmus/belov/ mentorbm1p00.aig.k25.gcnf	UNSAT	621.574	621.593	3501075
gmus/belov/ pdtviscoherence3.aig.k15.gcnf	UNSAT	621.727	621.715	3501104
gmus/belov/ pdtviseisenberg0.aig.k20.gcnf	UNSAT	634.626	634.609	3501085
gmus/belov/ pdtvistimeout0.aig.k10.gcnf	UNSAT	648.984	648.955	3501142
gmus/belov/ pdtviscoherence4.aig.k15.gcnf	UNSAT	658.282	658.297	3501138
gmus/belov/ intel049.aig.k25.gcnf	UNSAT	661.688	661.686	3501065
gmus/belov/ bjrb07amba4andenv.aig.k10.gcnf	UNSAT	677.563	677.543	3501112
gmus/belov/ pdtvisbakery0.aig.k20.gcnf	UNSAT	687.649	687.632	3501154
gmus/belov/ pdtvisgoodbakery2.aig.k20.gcnf	UNSAT	690.126	690.108	3501161
gmus/belov/ pdtvisbakery2.aig.k20.gcnf	UNSAT	741.534	741.516	3501153
gmus/belov/ bj08amba2g3f3.aig.k20.gcnf	UNSAT	762.272	762.251	3501041
gmus/belov/ bj08amba4g5.aig.k25.gcnf	UNSAT	774.354	774.33	3501139
gmus/belov/ pdtvisns3p03.aig.k10.gcnf	UNSAT	786.452	786.428	3501116
gmus/belov/ bjrb07amba5andenv.aig.k10.gcnf	UNSAT	789.019	788.999	3501105
gmus/belov/ pdtvisbakery1.aig.k20.gcnf	UNSAT	863.202	863.183	3501023
gmus/belov/ pj2006.aig.k10.gcnf	UNSAT	864.035	864.015	3501133
gmus/belov/ pdtvisns3p08.aig.k15.gcnf	UNSAT	905.197	905.177	3501164
gmus/belov/ nusmvguidancep2.aig.k25.gcnf	UNSAT	932.454	932.437	3501134
gmus/belov/ intel005.aig.k20.gcnf	UNSAT	946.88	946.857	3501146
gmus/belov/ pdtvisns3p02.aig.k10.gcnf	UNSAT	964.362	964.373	3501022
gmus/belov/ viscoherencep2.aig.k20.gcnf	UNSAT	967.103	967.084	3501056
gmus/belov/ pj2007.aig.k20.gcnf	UNSAT	967.777	967.755	3501045
gmus/belov/ nusmvguidancep7.aig.k25.gcnf	UNSAT	975.627	975.607	3501093
gmus/belov/ pdtvisns3p09.aig.k15.gcnf	UNSAT	983.885	983.858	3501158
gmus/belov/ pdtpmsgoodbakery.aig.k20.gcnf	UNSAT	993.23	993.207	3501076
gmus/belov/ pdtswvrod6x8p1.aig.k25.gcnf	UNSAT	998.035	997.991	3501108
gmus/belov/ pdtvisns3p01.aig.k10.gcnf	UNSAT	1059.45	1059.45	3501053
gmus/belov/ bj08amba5g62.aig.k25.gcnf	UNSAT	1066.49	1066.49	3501052
gmus/belov/ 4pipe_3_ooo.gcnf	UNSAT	1080.01	1079.98	3501035
gmus/belov/ pdtvisns3p00.aig.k10.gcnf	UNSAT	1084.52	1084.49	3501143
gmus/belov/ pdtswvrod6x8p2.aig.k25.gcnf	UNSAT	1093.28	1093.26	3501113
gmus/belov/ 4pipe_1_ooo.gcnf	UNSAT	1148.16	1148.13	3501159
gmus/belov/ nusmvguidancep5.aig.k25.gcnf	UNSAT	1189.63	1189.6	3501122

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
gmus/belov/ pj2010.aig.k20.gcnf	? (exit code)	1199.01	1199.04	3501039
gmus/belov/ pdtvisgoodbakery0.aig.k25.gcnf	? (exit code)	1199.05	1199.03	3501069
gmus/belov/ pdtvisgoodbakery2.aig.k25.gcnf	? (exit code)	1199.05	1199.02	3501033
gmus/belov/ pdtvisbakery1.aig.k25.gcnf	? (exit code)	1199.06	1199.03	3501130
gmus/belov/ pj2007.aig.k25.gcnf	? (exit code)	1199.07	1199.04	3501147
gmus/belov/ pj2008.aig.k20.gcnf	? (exit code)	1199.07	1199.03	3501051
gmus/belov/ pj2010.aig.k25.gcnf	? (exit code)	1199.09	1199.04	3501086
gmus/belov/ viscoherencep3.aig.k20.gcnf	? (exit code)	1199.09	1199.05	3501101
gmus/belov/ pdtpmseisenberg.aig.k15.gcnf	? (exit code)	1199.1	1199.07	3501044
gmus/belov/ pdtswvtms14x8p1.aig.k25.gcnf	? (exit code)	1199.1	1199.04	3501079
gmus/belov/ 4pipe_4_ooo.gcnf	? (exit code)	1199.17	1199.18	3501128
gmus/belov/ 4pipe_2_ooo.gcnf	? (exit code)	1199.21	1199.17	3501071

SAT 2011 Competition: group-oriented MUS track: benchmarks results per solver

Result page for solver MUSer 2011-02-10 (complete)

Category "GMUS" (GMUS)

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

Solver didn't output a solution line and terminated with an unexpected exit code (12 runs) [Show/Hide]

Solver was terminated by a signal (1 run) [Show/Hide]