5cnf_3500_3500_30f1.shuffled.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
30	420	23.10	21.43	0.00	3.57	4.76

zChaff	minisat	SatELite
0.020997	0.008998	0.036994

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	22.91	21.48	0.00	3.58	4.53	0	1	0	1	0	2096	0.009998	UNKNOWN

zChaff	minisat	SatELite
0.023997	0.008998	0.035994

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	23.10	21.43	0.00	3.57	4.76	0	0	0	0	0	1627	0.005999	UNKNOWN

zChaff	minisat	SatELite
0.020997	0.008998	0.036994

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	22.91	21.48	0.00	3.58	4.53	0	1	0	1	0	2096	0.008998	UNKNOWN

zChaff	minisat	SatELite
0.022996	0.009998	0.033994

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	23.10	21.43	0.00	3.57	4.76	0	0	0	0	0	1627	0.006998	UNKNOWN

zChaff	minisat	SatELite
0.020997	0.008998	0.036994

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	23.10	21.43	0.00	3.57	4.76	0	0	0	0	0	0	0	UNKNOWN

zChaff	minisat	SatELite
0.020997	0.008998	0.036994

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	23.10	21.43	0.00	3.57	4.76	0	0	0	0	0	0	0.000999	UNKNOWN

zChaff	minisat	SatELite
0.020997	0.008998	0.036994

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	23.10	21.43	0.00	3.57	4.76	0	0	0	0	0	0	0.001999	UNKNOWN

zChaff	minisat	SatELite
0.020997	0.008998	0.036994

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	23.10	21.43	0.00	3.57	4.76	0	0	0	0	0	0	0	UNKNOWN

zChaff	minisat	SatELite
0.020997	0.008998	0.036994