lksat-n1100-m4103-k3-l5-s55972467.used-as.sat04-935.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
1100	4103	49.11	50.89	0.00	12.41	12.04

zChaff	minisat	SatELite
33.7779	5.73513	18.1952

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	49.19	50.81	0.00	12.41	12.11	12	66	2	66	2	14364	0.014997	UNKNOWN

zChaff	minisat	SatELite
33.9358	4.5833	20.6729

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	48.74	51.26	0.00	12.50	12.01	12	30	1	30	1	7026	0.007998	UNKNOWN

zChaff	minisat	SatELite
33.2929	4.81027	28.3337

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	49.19	50.81	0.00	12.41	12.11	12	66	2	66	2	14364	0.015997	UNKNOWN

zChaff	minisat	SatELite
35.2316	4.6003	20.8938

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	48.74	51.26	0.00	12.50	12.01	12	30	1	30	1	7026	0.008998	UNKNOWN

zChaff	minisat	SatELite
32.911	4.49332	31.0263

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	49.11	50.89	0.00	12.41	12.04	12	0	0	0	0	0	0.003999	UNKNOWN

zChaff	minisat	SatELite
33.7779	5.73513	18.1952

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	49.11	50.89	0.00	12.41	12.04	12	0	0	0	0	0	0.002999	UNKNOWN

zChaff	minisat	SatELite
33.7779	5.73513	18.1952

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	49.11	50.89	0.00	12.41	12.04	12	0	0	0	0	0	0.003999	UNKNOWN

zChaff	minisat	SatELite
33.7779	5.73513	18.1952

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	49.11	50.89	0.00	12.41	12.04	12	0	0	0	0	0	0.003999	UNKNOWN

zChaff	minisat	SatELite
33.7779	5.73513	18.1952