rand_net60-30-5.miter.shuffled.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
3600	10681	66.09	66.00	65.16	21.50	20.45

zChaff	minisat	SatELite
1334.19	41.1587	131.014

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	65.79	65.33	63.06	21.05	20.29	0	608	6	608	6	3278212	1.80472	UNKNOWN

zChaff	minisat	SatELite
942.15	11.0053	173.976

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	67.21	65.42	64.57	20.17	20.79	0	178	2	178	2	1127028	0.624905	UNKNOWN

zChaff	minisat	SatELite
1067.01	35.1247	110.028

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	66.09	66.00	65.16	21.50	20.45	0	0	0	0	0	1114193	0.628904	UNKNOWN

zChaff	minisat	SatELite
1334.19	41.1587	131.014

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	66.09	66.00	65.16	21.50	20.45	0	0	0	0	0	540171	0.303953	UNKNOWN

zChaff	minisat	SatELite
1334.19	41.1587	131.014

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	65.81	65.48	63.40	21.15	20.28	0	514	5	514	5	3027669	1.66775	UNKNOWN

zChaff	minisat	SatELite
555.132	27.0059	63.0024

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	67.02	65.52	64.67	20.39	20.73	0	148	1	148	1	1049507	0.58791	UNKNOWN

zChaff	minisat	SatELite
614.756	25.6031	130.23

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	66.09	66.00	65.16	21.50	20.45	0	0	0	0	0	1095293	0.626904	UNKNOWN

zChaff	minisat	SatELite
1334.19	41.1587	131.014

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	66.09	66.00	65.16	21.50	20.45	0	0	0	0	0	533337	0.301954	UNKNOWN

zChaff	minisat	SatELite
1334.19	41.1587	131.014