5col120_15_1.shuffled.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
360	4869	14.36	13.78	0.18	2.59	2.57

zChaff	minisat	SatELite
TimeOut	1692.45	2959.81

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	14.36	13.78	0.18	2.69	2.65	0	0	0	0	0	31187	0.148977	UNKNOWN

zChaff	minisat	SatELite
TimeOut	1692.45	2959.81

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	14.36	13.78	0.18	2.69	2.65	0	0	0	0	0	27124	0.12698	UNKNOWN

zChaff	minisat	SatELite
TimeOut	1692.45	2959.81

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	14.36	13.78	0.18	2.69	2.65	0	0	0	0	0	31178	0.147977	UNKNOWN

zChaff	minisat	SatELite
TimeOut	1692.45	2959.81

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	14.36	13.78	0.18	2.69	2.65	0	0	0	0	0	27124	0.12798	UNKNOWN

zChaff	minisat	SatELite
TimeOut	1692.45	2959.81

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	14.36	13.78	0.18	2.69	2.65	0	0	0	0	0	0	0.005999	UNKNOWN

zChaff	minisat	SatELite
TimeOut	1692.45	2959.81

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	14.36	13.78	0.18	2.69	2.65	0	0	0	0	0	0	0.003999	UNKNOWN

zChaff	minisat	SatELite
TimeOut	1692.45	2959.81

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	14.36	13.78	0.18	2.69	2.65	0	0	0	0	0	0	0.006998	UNKNOWN

zChaff	minisat	SatELite
TimeOut	1692.45	2959.81

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	14.36	13.78	0.18	2.69	2.65	0	0	0	0	0	0	0.006998	UNKNOWN

zChaff	minisat	SatELite
TimeOut	1692.45	2959.81