Composite-024BitPrimes-1.used-as.sat04-861.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
1199	11158	35.69	20.85	10.95	0.01	0.01

zChaff	minisat	SatELite
2004	1776.98	514.56

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	32.51	16.90	6.53	0.23	0.48	0	538	5	538	5	148110	0.440932	UNKNOWN

zChaff	minisat	SatELite
024	259.33	758.767

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	35.72	20.84	10.96	0.22	0.46	0	9	0	9	0	103340	0.297954	UNKNOWN

zChaff	minisat	SatELite
TimeOut	1740.73	502.896

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	35.72	20.84	10.96	0.22	0.46	0	9	0	9	0	125017	0.417936	UNKNOWN

zChaff	minisat	SatELite
TimeOut	1719.22	539.12

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	35.72	20.84	10.96	0.22	0.46	0	9	0	9	0	103340	0.296954	UNKNOWN

zChaff	minisat	SatELite
TimeOut	1792.74	509.094

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	35.71	20.85	10.96	0.22	0.46	0	8	0	8	0	72238	0.385941	UNKNOWN

zChaff	minisat	SatELite
TimeOut	1728.34	499.855

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	35.71	20.85	10.96	0.22	0.46	0	8	0	8	0	50480	0.266959	UNKNOWN

zChaff	minisat	SatELite
TimeOut	1740.44	502.536

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	35.71	20.85	10.96	0.22	0.46	0	8	0	8	0	72106	0.383941	UNKNOWN

zChaff	minisat	SatELite
TimeOut	1782.33	505.655

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	35.71	20.85	10.96	0.22	0.46	0	8	0	8	0	50480	0.267959	UNKNOWN

zChaff	minisat	SatELite
TimeOut	1824.39	508.611