SGI_30_60_24_40_2-dir.shuffled-as.sat03-118.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
720	58758	72.59	77.21	99.96	27.37	22.75

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	72.59	77.21	99.96	27.37	22.75	0	0	0	0	0	16381938	6.12407	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	72.59	77.21	99.96	27.37	22.75	0	0	0	0	0	3747649	1.43478	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	72.59	77.21	99.96	27.37	22.75	0	0	0	0	0	720	0.032994	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	72.59	77.21	99.96	27.37	22.75	0	0	0	0	0	720	0.019996	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	72.59	77.21	99.96	27.37	22.75	0	0	0	0	0	720	0.034994	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	72.59	77.21	99.96	27.37	22.75	0	0	0	0	0	720	0.020996	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	72.59	77.21	99.96	27.37	22.75	0	0	0	0	0	720	0.029995	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	72.59	77.21	99.96	27.37	22.75	0	0	0	0	0	720	0.019996	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut