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.338948	0.338995	3501967
gmus/nadel/ edn_20403_10.cnf_0.03000000.unsat.gcnf	UNSAT	0.442932	0.44393	3501979
gmus/nadel/ edn_20403_12.cnf_0.08000000.unsat.gcnf	UNSAT	0.684894	0.68609	3501984
gmus/nadel/ edn_20403_14.cnf_0.10000000.unsat.gcnf	UNSAT	0.752884	0.757876	3501976
gmus/nadel/ edn_20403_16.cnf_0.29000000.unsat.gcnf	UNSAT	0.935857	0.937755	3501978
gmus/nadel/ edn_9789_2.cnf_0.07000000.unsat.gcnf	UNSAT	1.41478	1.41549	3501998
gmus/nadel/ edn_25208_2.cnf_0.08000000.unsat.gcnf	UNSAT	1.9527	1.95373	3501986
gmus/nadel/ edn_2948_4.cnf_0.07000000.unsat.gcnf	UNSAT	2.07568	2.13918	3501962
gmus/nadel/ edn_25208_6.cnf_0.20000000.unsat.gcnf	UNSAT	2.28665	2.30255	3502004
gmus/nadel/ edn_25208_4.cnf_0.05000000.unsat.gcnf	UNSAT	2.37564	2.40011	3501964
gmus/nadel/ edn_22134_4.cnf_0.14000000.unsat.gcnf	UNSAT	2.53961	2.5387	3501963
gmus/nadel/ edn_9789_6.cnf_0.31000000.unsat.gcnf	UNSAT	2.57461	2.57571	3501977
gmus/belov/ pdtvisrethersqo1.aig.k25.gcnf	UNSAT	2.65559	2.67264	3502081
gmus/nadel/ edn_20403_23.cnf_14.27000000.unsat.gcnf	UNSAT	2.70159	2.71385	3501969
gmus/nadel/ edn_20259_4.cnf_0.21000000.unsat.gcnf	UNSAT	2.73258	2.7343	3501999
gmus/nadel/ edn_5371_4.cnf_0.21000000.unsat.gcnf	UNSAT	2.76758	2.76744	3502007
gmus/nadel/ edn_24095_4.cnf_0.11000000.unsat.gcnf	UNSAT	2.79257	2.79775	3501985
gmus/nadel/ edn_2948_6.cnf_0.12000000.unsat.gcnf	UNSAT	3.05853	3.08361	3501970
gmus/nadel/ edn_25208_8.cnf_0.30000000.unsat.gcnf	UNSAT	3.66744	3.68246	3501972
gmus/nadel/ edn_24095_6.cnf_0.17000000.unsat.gcnf	UNSAT	3.9154	3.9269	3501996
gmus/nadel/ edn_28491_6.cnf_0.31000000.unsat.gcnf	UNSAT	4.05438	4.05944	3502000
gmus/nadel/ edn_22134_6.cnf_0.31000000.unsat.gcnf	UNSAT	4.19636	4.1971	3502005
gmus/nadel/ edn_9789_8.cnf_0.51000000.unsat.gcnf	UNSAT	4.25835	4.26053	3501995
gmus/nadel/ edn_2948_8.cnf_0.25000000.unsat.gcnf	UNSAT	4.72028	4.7217	3501993
gmus/nadel/ edn_25208_10.cnf_0.58000000.unsat.gcnf	UNSAT	4.84726	4.86068	3501971
gmus/nadel/ edn_9789_10.cnf_0.68000000.unsat.gcnf	UNSAT	4.87126	4.8712	3502001
gmus/nadel/ edn_20259_6.cnf_0.31000000.unsat.gcnf	UNSAT	4.91125	4.91159	3501982
gmus/nadel/ edn_20259_8.cnf_0.39000000.unsat.gcnf	UNSAT	5.2762	5.27724	3501991
gmus/nadel/ edn_5371_6.cnf_0.30000000.unsat.gcnf	UNSAT	5.39518	5.39712	3501990
gmus/nadel/ edn_22134_8.cnf_0.38000000.unsat.gcnf	UNSAT	5.63914	5.63919	3502008
gmus/nadel/ edn_24095_8.cnf_0.21000000.unsat.gcnf	UNSAT	5.72213	5.72197	3501966
gmus/nadel/ edn_28491_8.cnf_0.39000000.unsat.gcnf	UNSAT	5.74513	5.74572	3502006
gmus/nadel/ edn_9789_12.cnf_0.93000000.unsat.gcnf	UNSAT	5.9311	5.95716	3501959
gmus/nadel/ edn_5371_8.cnf_0.39000000.unsat.gcnf	UNSAT	6.20006	6.20086	3502002
gmus/nadel/ edn_2948_10.cnf_0.28000000.unsat.gcnf	UNSAT	6.45702	6.51064	3501960
gmus/nadel/ edn_28491_10.cnf_0.46000000.unsat.gcnf	UNSAT	7.02793	7.0548	3501965
gmus/nadel/ edn_22134_10.cnf_0.47000000.unsat.gcnf	UNSAT	7.1929	7.19382	3501975
gmus/nadel/ edn_24095_10.cnf_0.29000000.unsat.gcnf	UNSAT	7.2439	7.24339	3501994
gmus/nadel/ edn_5371_10.cnf_0.46000000.unsat.gcnf	UNSAT	7.35488	7.35549	3501997
gmus/nadel/ edn_2948_14.cnf_0.97000000.unsat.gcnf	UNSAT	7.85581	7.85629	3501992
gmus/nadel/ edn_28491_12.cnf_0.50000000.unsat.gcnf	UNSAT	8.11777	8.14128	3501980
gmus/nadel/ edn_22134_12.cnf_0.50000000.unsat.gcnf	UNSAT	8.20475	8.23177	3502003
gmus/nadel/ edn_20259_10.cnf_0.48000000.unsat.gcnf	UNSAT	8.21275	8.21419	3501988
gmus/nadel/ edn_20259_12.cnf_0.50000000.unsat.gcnf	UNSAT	9.16961	9.17677	3501973
gmus/nadel/ edn_5371_12.cnf_0.50000000.unsat.gcnf	UNSAT	9.58954	9.60102	3501974
gmus/belov/ pdtvisns2p3.aig.k15.gcnf	UNSAT	10.2804	10.2847	3502013
gmus/nadel/ edn_20259_14.cnf_0.55000000.unsat.gcnf	UNSAT	10.9223	10.9471	3501987
gmus/belov/ pdtvisns3p19.aig.k20.gcnf	UNSAT	14.0829	14.1003	3502080
gmus/nadel/ edn_24095_19.cnf_2.12000000.unsat.gcnf	UNSAT	14.6808	14.6857	3501961
gmus/belov/ mentorbm1p02.aig.k20.gcnf	UNSAT	14.8657	14.8685	3502116
gmus/belov/ 3pipe_2_ooo.gcnf	UNSAT	15.1877	15.2027	3502027
gmus/nadel/ edn_24095_17.cnf_4.40000000.unsat.gcnf	UNSAT	16.0196	16.0425	3501981
gmus/belov/ pdtviseisenberg2.aig.k15.gcnf	UNSAT	16.2765	16.2958	3502111
gmus/nadel/ edn_9789_21.cnf_46.05000000.unsat.gcnf	UNSAT	16.3135	16.3141	3501989
gmus/nadel/ edn_25208_14.cnf_37.38000000.unsat.gcnf	UNSAT	16.3415	16.353	3501983
gmus/belov/ 3pipe_1_ooo.gcnf	UNSAT	17.3804	17.3882	3502148
gmus/belov/ pdtvisns3p10.aig.k15.gcnf	UNSAT	18.4152	18.4374	3502133
gmus/belov/ pdtvisns3p17.aig.k25.gcnf	UNSAT	19.3571	19.3857	3502070
gmus/belov/ pdtvisns3p16.aig.k25.gcnf	UNSAT	21.2108	21.2367	3502067
gmus/belov/ pdtvisns2p3.aig.k20.gcnf	UNSAT	21.7737	21.7765	3502087
gmus/belov/ pdtvisns3p18.aig.k25.gcnf	UNSAT	23.8404	23.8636	3502140
gmus/belov/ 2dlx_ca_mc_ex_bp_f_new.gcnf	UNSAT	24.0073	24.01	3502117
gmus/belov/ 3pipe_3_ooo.gcnf	UNSAT	24.3803	24.4	3502046
gmus/belov/ pdtswvibs16x4p2.aig.k25.gcnf	UNSAT	25.6831	25.6999	3502021
gmus/belov/ mentorbm1p02.aig.k25.gcnf	UNSAT	26.573	26.5788	3502147
gmus/belov/ pdtvisns3p19.aig.k25.gcnf	UNSAT	26.6319	26.6315	3502114
gmus/belov/ 2dlx_cc_mc_ex_bp_f_new.gcnf	UNSAT	34.8987	34.913	3502112
gmus/belov/ pdtpmsgoodbakery.aig.k15.gcnf	UNSAT	42.9735	42.9792	3502044
gmus/belov/ pj2003.aig.k20.gcnf	UNSAT	44.2213	44.2236	3502011
gmus/belov/ pdtvisns3p10.aig.k20.gcnf	UNSAT	45.5281	45.5504	3502121
gmus/belov/ pdtpmsgigamax.aig.k15.gcnf	UNSAT	45.756	45.7588	3502036
gmus/belov/ pdtvisgoodbakery0.aig.k15.gcnf	UNSAT	47.0298	47.0296	3502015
gmus/belov/ pdtvisvending08.aig.k25.gcnf	UNSAT	47.8487	47.8481	3502108
gmus/belov/ pdtvisns2p3.aig.k25.gcnf	UNSAT	48.8816	48.924	3502120
gmus/belov/ pdtvisvending02.aig.k25.gcnf	UNSAT	49.8844	49.9152	3502033
gmus/ belov/3pipe.gcnf	UNSAT	52.0341	52.054	3501958
gmus/belov/ nusmvguidancep8.aig.k20.gcnf	UNSAT	52.928	52.9722	3502153
gmus/belov/ pdtvisns3p08.aig.k10.gcnf	UNSAT	60.0689	60.0691	3502103
gmus/belov/ pdtswvibs8x8p2.aig.k25.gcnf	UNSAT	61.7576	61.795	3502074
gmus/belov/ mentorbm1p00.aig.k20.gcnf	UNSAT	62.6725	62.6926	3502084
gmus/belov/ pdtvisgigamax2.aig.k20.gcnf	UNSAT	63.5373	63.5377	3502023
gmus/belov/ pdtvistimeout2.aig.k25.gcnf	UNSAT	64.5242	64.5806	3502016
gmus/belov/ pdtvisgigamax3.aig.k20.gcnf	UNSAT	65.476	65.4782	3502135
gmus/belov/ pdtswvibs8x8p1.aig.k25.gcnf	UNSAT	68.7076	68.7347	3502035
gmus/belov/ pdtvisgigamax4.aig.k20.gcnf	UNSAT	68.7535	68.7544	3502079
gmus/belov/ pdtvisgigamax5.aig.k20.gcnf	UNSAT	68.8225	68.8565	3502077
gmus/belov/ pdtvisgigamax0.aig.k20.gcnf	UNSAT	69.2755	69.2755	3502024
gmus/belov/ pdtvisns3p09.aig.k10.gcnf	UNSAT	70.5333	70.5357	3502104
gmus/belov/ pdtvisbakery0.aig.k15.gcnf	UNSAT	70.8132	70.8441	3502094
gmus/belov/ pdtvisgigamax1.aig.k20.gcnf	UNSAT	77.9841	78.0065	3502068
gmus/belov/ kenflashp11.aig.k25.gcnf	UNSAT	80.0068	80.0508	3502045
gmus/belov/ bjrb07amba2andenv.aig.k20.gcnf	UNSAT	80.2688	80.2817	3502069
gmus/belov/ pdtpmsrethersqo.aig.k20.gcnf	UNSAT	81.8526	81.8858	3502012
gmus/belov/ pdtpmseisenberg.aig.k15.gcnf	UNSAT	83.4093	83.472	3502031
gmus/belov/ pdtvistimeout3.aig.k20.gcnf	UNSAT	85.359	85.407	3502042
gmus/belov/ pdtvisns3p10.aig.k25.gcnf	UNSAT	86.3389	86.3362	3502110
gmus/belov/ vis4arbitp1.aig.k25.gcnf	UNSAT	89.9103	89.911	3502134
gmus/belov/ bj08amba4g5.aig.k20.gcnf	UNSAT	93.1968	93.2185	3502109
gmus/belov/ pdtvisns3p07.aig.k10.gcnf	UNSAT	103.213	103.216	3502151
gmus/belov/ pdtvisgigamax3.aig.k25.gcnf	UNSAT	104.381	104.415	3502017
gmus/belov/ pdtvisgigamax4.aig.k25.gcnf	UNSAT	104.925	104.986	3502014
gmus/belov/ intel005.aig.k20.gcnf	UNSAT	105.994	105.994	3502131
gmus/belov/ pdtvisns3p05.aig.k10.gcnf	UNSAT	107.256	107.3	3502152
gmus/belov/ pdtvistictactoe10.aig.k20.gcnf	UNSAT	107.617	107.662	3502088
gmus/belov/ bj08amba5g62.aig.k20.gcnf	UNSAT	107.883	107.879	3502122
gmus/belov/ pdtvisns2p0.aig.k15.gcnf	UNSAT	110.231	110.282	3502041
gmus/belov/ bjrb07amba4andenv.aig.k10.gcnf	UNSAT	115.105	115.144	3502097
gmus/belov/ pdtswvsam6x8p2.aig.k25.gcnf	UNSAT	116.764	116.798	3502136
gmus/belov/ nusmvguidancep2.aig.k20.gcnf	UNSAT	117.299	117.301	3502137
gmus/belov/ pdtvisns3p06.aig.k10.gcnf	UNSAT	117.474	117.473	3502102
gmus/belov/ pdtviseisenberg0.aig.k15.gcnf	UNSAT	118.089	118.122	3502064
gmus/belov/ pdtpmsgigamax.aig.k20.gcnf	UNSAT	118.24	118.265	3502076
gmus/belov/ pdtpmsvsa16a.aig.k10.gcnf	UNSAT	119.306	119.338	3502100
gmus/belov/ pdtvisgigamax5.aig.k25.gcnf	UNSAT	120.804	120.84	3502129
gmus/belov/ mentorbm1p00.aig.k25.gcnf	UNSAT	122.405	122.447	3502061
gmus/belov/ pdtswvsam6x8p1.aig.k25.gcnf	UNSAT	127.377	127.43	3502059
gmus/belov/ 4pipe_2_ooo.gcnf	UNSAT	128.067	128.084	3502057
gmus/belov/ pdtvisns3p04.aig.k10.gcnf	UNSAT	130.66	130.715	3502063
gmus/belov/ bjrb07amba5andenv.aig.k10.gcnf	UNSAT	132.502	132.547	3502090
gmus/belov/ pdtvisgigamax2.aig.k25.gcnf	UNSAT	132.908	132.958	3502083
gmus/belov/ pdtvissoap2.aig.k15.gcnf	UNSAT	133.692	133.699	3502105
gmus/belov/ pdtvisgigamax0.aig.k25.gcnf	UNSAT	135.772	135.773	3502050
gmus/belov/ pdtswvsam6x8p4.aig.k25.gcnf	UNSAT	137.05	137.051	3502099
gmus/belov/ pdtswvsam4x8p4.aig.k25.gcnf	UNSAT	138.109	138.167	3502141
gmus/belov/ pj2006.aig.k10.gcnf	UNSAT	138.183	138.204	3502118
gmus/belov/ 4pipe_4_ooo.gcnf	UNSAT	138.988	139.001	3502113
gmus/belov/ pdtvisgigamax1.aig.k25.gcnf	UNSAT	146.515	146.512	3502092
gmus/belov/ pdtvisns2p2.aig.k15.gcnf	UNSAT	150.958	150.956	3502053
gmus/belov/ pdtswvrod6x8p1.aig.k20.gcnf	UNSAT	152.073	152.085	3502034
gmus/belov/ pdtswvsam6x8p3.aig.k25.gcnf	UNSAT	152.162	152.25	3502106
gmus/belov/ pj2010.aig.k20.gcnf	UNSAT	152.603	152.671	3502026
gmus/belov/ intel049.aig.k25.gcnf	UNSAT	159.533	159.528	3502052
gmus/belov/ pdtvisns2p1.aig.k15.gcnf	UNSAT	164.582	164.582	3502142
gmus/belov/ pdtvistimeout3.aig.k25.gcnf	UNSAT	164.848	164.91	3502019
gmus/belov/ pj2007.aig.k20.gcnf	UNSAT	166.804	166.802	3502032
gmus/belov/ pdtvisvending01.aig.k15.gcnf	UNSAT	167.668	167.714	3502018
gmus/belov/ viscoherencep3.aig.k15.gcnf	UNSAT	169.243	169.24	3502066
gmus/belov/ pdtviscoherence4.aig.k15.gcnf	UNSAT	175.45	175.499	3502123
gmus/belov/ pdtvistimeout0.aig.k10.gcnf	UNSAT	184.469	184.488	3502127
gmus/belov/ 4pipe_3_ooo.gcnf	UNSAT	190.075	190.07	3502022
gmus/belov/ bj08amba4g5.aig.k25.gcnf	UNSAT	192.802	192.828	3502124
gmus/belov/ pdtvisheap00.aig.k20.gcnf	UNSAT	192.903	192.902	3502075
gmus/belov/ pj2010.aig.k25.gcnf	UNSAT	202.327	202.325	3502072
gmus/belov/ pdtviscoherence3.aig.k15.gcnf	UNSAT	202.56	202.552	3502089
gmus/belov/ pdtvispeterson.aig.k25.gcnf	UNSAT	213.291	213.347	3502037
gmus/belov/ pdtpmsheap.aig.k15.gcnf	UNSAT	221.651	221.645	3502073
gmus/belov/ pdtvisbakery0.aig.k20.gcnf	UNSAT	222.878	222.927	3502139
gmus/belov/ pdtvisns3p00.aig.k10.gcnf	UNSAT	238.444	238.5	3502128
gmus/belov/ pdtvisbakery1.aig.k20.gcnf	UNSAT	239.142	239.219	3502010
gmus/belov/ bj08amba5g62.aig.k25.gcnf	UNSAT	243.43	243.425	3502039
gmus/belov/ 4pipe_1_ooo.gcnf	UNSAT	245.546	245.569	3502144
gmus/belov/ pdtvisns3p03.aig.k10.gcnf	UNSAT	247.563	247.599	3502101
gmus/belov/ pdtvisgoodbakery0.aig.k20.gcnf	UNSAT	250.109	250.166	3502082
gmus/belov/ pdtviscoherence5.aig.k15.gcnf	UNSAT	252.448	252.494	3502150
gmus/belov/ pdtvisns3p01.aig.k10.gcnf	UNSAT	255.303	255.295	3502040
gmus/belov/ pdtvisgoodbakery2.aig.k20.gcnf	UNSAT	259.173	259.211	3502146
gmus/belov/ nusmvguidancep5.aig.k20.gcnf	UNSAT	265.655	265.704	3502095
gmus/belov/ bjrb07amba2andenv.aig.k25.gcnf	UNSAT	266.33	266.418	3502130
gmus/belov/ pdtvisvending05.aig.k25.gcnf	UNSAT	275.482	275.48	3502051
gmus/belov/ pdtpmsgigamax.aig.k25.gcnf	UNSAT	284.333	284.33	3502154
gmus/belov/ pdtvisbakery2.aig.k20.gcnf	UNSAT	287.05	287.117	3502138
gmus/belov/ nusmvguidancep7.aig.k20.gcnf	UNSAT	296.687	296.684	3502047
gmus/belov/ pdtvisgoodbakery1.aig.k20.gcnf	UNSAT	301.001	301.089	3502091
gmus/belov/ pdtvistictactoe10.aig.k25.gcnf	UNSAT	322.117	322.117	3502056
gmus/belov/ pdtviseisenberg2.aig.k20.gcnf	UNSAT	324.639	324.7	3502085
gmus/belov/ nusmvguidancep2.aig.k25.gcnf	UNSAT	326.582	326.584	3502119
gmus/belov/ pj2008.aig.k20.gcnf	UNSAT	336.788	336.869	3502038
gmus/belov/ pdtvisns3p02.aig.k10.gcnf	UNSAT	342.057	342.107	3502009
gmus/belov/ pj2007.aig.k25.gcnf	UNSAT	342.734	342.779	3502132
gmus/belov/ pdtswvtms14x8p1.aig.k20.gcnf	UNSAT	356.731	356.812	3502096
gmus/belov/ pdtvisns3p08.aig.k15.gcnf	UNSAT	361.438	361.503	3502149
gmus/belov/ pdtvisns2p0.aig.k20.gcnf	UNSAT	361.927	361.992	3502029
gmus/belov/ pdtswvtms10x8p1.aig.k20.gcnf	UNSAT	375.857	375.929	3502125
gmus/belov/ pdtvisvending07.aig.k25.gcnf	UNSAT	409.467	409.501	3502058
gmus/belov/ pdtpmsvsar.aig.k15.gcnf	UNSAT	428.286	428.324	3502049
gmus/belov/ nusmvguidancep8.aig.k25.gcnf	UNSAT	477.226	477.275	3502048
gmus/belov/ pdtvisvsa16a29.aig.k25.gcnf	UNSAT	479.968	480.023	3502126
gmus/belov/ pdtvisvending00.aig.k20.gcnf	UNSAT	497.979	497.973	3502030
gmus/belov/ pdtviseisenberg1.aig.k20.gcnf	UNSAT	519.044	519.143	3502054
gmus/belov/ pdtswvtms12x8p1.aig.k20.gcnf	UNSAT	532.43	532.517	3502060
gmus/belov/ nusmvguidancep6.aig.k25.gcnf	UNSAT	560.439	560.423	3502145
gmus/belov/ viscoherencep2.aig.k20.gcnf	UNSAT	560.78	560.819	3502043
gmus/belov/ pdtviseisenberg0.aig.k20.gcnf	UNSAT	581.52	581.539	3502071
gmus/belov/ viscoherencep3.aig.k20.gcnf	UNSAT	623.931	623.987	3502086
gmus/belov/ pdtswvsam4x8p2.aig.k25.gcnf	UNSAT	654.674	654.739	3502025
gmus/belov/ pdtvisns3p09.aig.k15.gcnf	UNSAT	662.846	662.831	3502143
gmus/belov/ bj08amba2g3f3.aig.k20.gcnf	UNSAT	736.177	736.224	3502028
gmus/belov/ nusmvguidancep7.aig.k25.gcnf	UNSAT	782.36	782.339	3502078
gmus/belov/ pdtvisbakery1.aig.k25.gcnf	UNSAT	921.117	921.092	3502115
gmus/belov/ pdtpmsgoodbakery.aig.k20.gcnf	UNSAT	985.32	985.306	3502062
gmus/belov/ pdtswvrod6x8p1.aig.k25.gcnf	UNSAT	1085.24	1085.21	3502093
gmus/belov/ pdtswvrod6x8p2.aig.k25.gcnf	UNSAT	1100.18	1100.23	3502098
gmus/belov/ pdtvisgoodbakery0.aig.k25.gcnf	UNSAT	1111.99	1111.97	3502055
gmus/belov/ nusmvguidancep5.aig.k25.gcnf	UNSAT	1142.8	1142.83	3502107
gmus/belov/ pdtswvtms14x8p1.aig.k25.gcnf	UNSAT	1250.18	1250.21	3502065
gmus/belov/ pdtvisgoodbakery2.aig.k25.gcnf	UNSAT	1610.97	1610.97	3502020

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

Result page for solver Haifa-HLMUC-A 2011-04-07 (complete)

Category "GMUS" (GMUS)

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

Solver timed out (no solution given) (1 run) [Show/Hide]