logistics.a.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
728	5784	88.93	12.55	49.33	2.11	47.10

zChaff	minisat	SatELite
0.007	0.002999	0.233964

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	89.01	13.86	62.10	2.58	57.67	0	3027	52	3027	52	100736	0.040993	UNKNOWN

zChaff	minisat	SatELite
0.006999	0.003999	0.095985

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	94.44	7.14	52.38	1.30	50.01	0	337	6	337	6	13052	0.004999	UNKNOWN

zChaff	minisat	SatELite
0.004999	0.005999	0.123981

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	92.23	9.98	73.19	1.82	69.88	0	1886	33	1886	33	66062	0.030995	UNKNOWN

zChaff	minisat	SatELite
0.008999	0.007998	0.099984

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	94.44	7.14	52.38	1.30	50.01	0	337	6	337	6	12578	0.008998	UNKNOWN

zChaff	minisat	SatELite
0.006999	0.006998	0.124981

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	92.06	9.90	72.63	1.86	69.54	0	1966	34	1966	34	75215	0.033994	UNKNOWN

zChaff	minisat	SatELite
0.005999	0.004999	0.079987

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	94.44	7.14	52.38	1.30	50.01	0	337	6	337	6	13052	0.006998	UNKNOWN

zChaff	minisat	SatELite
0.005999	0.007998	0.121981

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	92.23	9.98	73.19	1.82	69.88	0	1886	33	1886	33	66062	0.031995	UNKNOWN

zChaff	minisat	SatELite
0.008999	0.005999	0.104984

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	94.44	7.14	52.38	1.30	50.01	0	337	6	337	6	12578	0.009998	UNKNOWN

zChaff	minisat	SatELite
0.006999	0.004999	0.136979