vmpc_23.renamed-as.sat05-1927.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
529	59685	99.92	0.19	39.11	0.08	39.00

zChaff	minisat	SatELite
7.9238	44.7062	306.648

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	99.85	0.38	33.25	0.15	33.02	0	29556	50	29556	50	11949020	39.1211	UNKNOWN

zChaff	minisat	SatELite
334.024	106.02	989.269

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	99.92	0.19	39.11	0.08	39.00	0	0	0	0	0	1216	0.028995	UNKNOWN

zChaff	minisat	SatELite
7.9238	44.7062	306.648

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	99.89	0.26	53.72	0.11	53.56	0	16228	27	16228	27	9342614	32.1801	UNKNOWN

zChaff	minisat	SatELite
160.645	191.168	245.575

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	99.92	0.19	39.11	0.08	39.00	0	0	0	0	0	1216	0.027995	UNKNOWN

zChaff	minisat	SatELite
7.9238	44.7062	306.648

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	99.89	0.29	49.83	0.11	49.66	0	19598	33	19598	33	10056709	33.5389	UNKNOWN

zChaff	minisat	SatELite
2.92556	21.3018	98.963

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	99.92	0.19	39.11	0.08	39.00	0	0	0	0	0	1216	0.029995	UNKNOWN

zChaff	minisat	SatELite
7.9238	44.7062	306.648

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	99.89	0.26	53.72	0.11	53.56	0	16228	27	16228	27	9342614	32.4141	UNKNOWN

zChaff	minisat	SatELite
159.545	187.556	253.672

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	99.92	0.19	39.11	0.08	39.00	0	0	0	0	0	1216	0.024996	UNKNOWN

zChaff	minisat	SatELite
7.9238	44.7062	306.648