OKgenerator_s0=32s1=29n=500l=5cp=10000-Dnr0=0nr1=2-o.shuffled-as.sat05-1534.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
500	10000	18.98	18.75	0.00	2.91	3.03

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	18.98	18.75	0.00	2.91	3.03	0	0	0	0	0	50000	0.335948	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	18.98	18.75	0.00	2.91	3.03	0	0	0	0	0	40510	0.268959	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	18.98	18.75	0.00	2.91	3.03	0	0	0	0	0	50000	0.340948	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	18.98	18.75	0.00	2.91	3.03	0	0	0	0	0	40510	0.271958	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	18.98	18.75	0.00	2.91	3.03	0	0	0	0	0	0	0.008998	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	18.98	18.75	0.00	2.91	3.03	0	0	0	0	0	0	0.005999	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	18.98	18.75	0.00	2.91	3.03	0	0	0	0	0	0	0.007998	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	18.98	18.75	0.00	2.91	3.03	0	0	0	0	0	0	0.007998	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut