f96-b1-s0-20.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
23910	751118	74.40	71.18	96.16	22.59	25.83

zChaff	minisat	SatELite
456.423	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	74.28	70.89	95.67	22.41	25.83	26	145589	19	145589	19	1507463306	10791.1	uncomplete

zChaff	minisat	SatELite
442.691	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	80.73	69.10	96.21	16.38	28.03	6	58892	8	58892	8	575960139	6182.52	UNKNOWN

zChaff	minisat	SatELite
443.661	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	74.66	71.43	96.49	22.66	25.92	0	2601	0	2601	0	62734656	417.407	UNKNOWN

zChaff	minisat	SatELite
427.211	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	74.66	71.43	96.49	22.66	25.92	0	2599	0	2599	0	55042873	456.283	UNKNOWN

zChaff	minisat	SatELite
442.038	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	74.66	71.42	96.49	22.66	25.92	0	3278	0	3278	0	66563730	454.182	UNKNOWN

zChaff	minisat	SatELite
438.573	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	74.68	71.42	96.49	22.65	25.92	0	2775	0	2775	0	52794510	464.021	UNKNOWN

zChaff	minisat	SatELite
379.176	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	74.66	71.43	96.49	22.66	25.92	0	2596	0	2596	0	50132172	371.108	UNKNOWN

zChaff	minisat	SatELite
392.134	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	74.66	71.43	96.49	22.66	25.92	0	2596	0	2596	0	48660514	416.765	UNKNOWN

zChaff	minisat	SatELite
385.264	TimeOut	TimeOut