phnf-size10-exclusive-all.used-as.sat04-986.shuffled-as.sat05-4198.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
61649	3157120	74.78	74.84	99.78	25.00	24.95

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	74.61	74.64	99.55	24.96	24.93	0	1588961	50	1588961	50	708554771	950.246	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	69.26	91.23	99.73	30.48	8.50	0	567401	18	567401	18	205060692	310.592	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	74.78	74.84	99.78	25.00	24.95	0	0	0	0	0	61649	2.66359	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	74.78	74.84	99.78	25.00	24.95	0	0	0	0	0	60218	1.88671	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	74.78	74.84	99.78	25.00	24.95	0	0	0	0	0	61649	3.41848	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	74.78	74.84	99.78	25.00	24.95	0	0	0	0	0	60218	2.34664	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	74.78	74.84	99.78	25.00	24.95	0	0	0	0	0	61649	3.20251	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	74.78	74.84	99.78	25.00	24.95	0	0	0	0	0	60218	2.32265	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut