simon-mixed-s02bis-01.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
2424	14812	65.29	64.82	81.64	21.25	21.50

zChaff	minisat	SatELite
766.326	502.899	2670.04

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	65.29	64.82	81.64	21.25	21.50	0	0	0	0	0	2074906	1.63175	UNKNOWN

zChaff	minisat	SatELite
766.326	502.899	2670.04

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	65.29	64.82	81.64	21.25	21.50	0	0	0	0	0	707193	0.553915	UNKNOWN

zChaff	minisat	SatELite
766.326	502.899	2670.04

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	65.29	64.82	81.64	21.25	21.50	0	0	0	0	0	345253	0.269958	UNKNOWN

zChaff	minisat	SatELite
766.326	502.899	2670.04

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	65.29	64.82	81.64	21.25	21.50	0	0	0	0	0	268866	0.212967	UNKNOWN

zChaff	minisat	SatELite
766.326	502.899	2670.04

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	65.29	64.82	81.64	21.25	21.50	0	0	0	0	0	1834599	1.45078	UNKNOWN

zChaff	minisat	SatELite
766.326	502.899	2670.04

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	65.29	64.82	81.64	21.25	21.50	0	0	0	0	0	641722	0.518921	UNKNOWN

zChaff	minisat	SatELite
766.326	502.899	2670.04

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	65.29	64.82	81.64	21.25	21.50	0	0	0	0	0	345253	0.267959	UNKNOWN

zChaff	minisat	SatELite
766.326	502.899	2670.04

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	65.29	64.82	81.64	21.25	21.50	0	0	0	0	0	268866	0.213967	UNKNOWN

zChaff	minisat	SatELite
766.326	502.899	2670.04