phnf-size10-exclusive-equilarge_l3.used-as.sat04-895.shuffled-as.sat05-4189.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
16489	2248381	75.02	74.83	99.91	24.90	25.08

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	74.88	74.74	99.75	24.88	25.01	0	1445269	64	1445269	64	724443645	1044.83	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	97.49	67.29	99.88	2.40	32.59	0	518308	23	518308	23	212813053	318.506	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	75.02	74.83	99.91	24.90	25.08	0	0	0	0	0	16489	1.47178	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	75.02	74.83	99.91	24.90	25.08	0	0	0	0	0	15988	0.986849	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	75.02	74.83	99.91	24.90	25.08	0	0	0	0	0	16489	1.73673	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	75.02	74.83	99.91	24.90	25.08	0	0	0	0	0	15988	1.10983	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	75.02	74.83	99.91	24.90	25.08	0	0	0	0	0	16489	1.61975	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	75.02	74.83	99.91	24.90	25.08	0	0	0	0	0	15988	1.11383	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut