driverlog2_v01i.shuffled-as.sat05-4029.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
763	16401	69.79	72.98	93.51	25.43	22.14

zChaff	minisat	SatELite
0.007999	0.013997	0.177972

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	70.58	73.09	94.02	25.14	22.54	0	2059	13	2059	13	2071318	1.63875	UNKNOWN

zChaff	minisat	SatELite
0.005999	0.009998	0.225965

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	68.71	77.50	94.07	27.01	18.25	0	957	6	957	6	577944	0.569913	UNKNOWN

zChaff	minisat	SatELite
0.007998	0.015997	0.243962

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	70.49	73.76	94.70	25.72	22.38	0	206	1	206	1	120166	0.116982	UNKNOWN

zChaff	minisat	SatELite
0.008997	0.016997	0.227965

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	70.35	73.81	94.59	25.72	22.36	0	186	1	186	1	95402	0.094985	UNKNOWN

zChaff	minisat	SatELite
0.004999	0.014997	0.246962

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	70.68	73.68	94.66	25.50	22.42	0	334	2	334	2	178038	0.162975	UNKNOWN

zChaff	minisat	SatELite
0.009998	0.008998	0.223965

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	70.31	73.92	94.58	25.76	22.25	0	209	1	209	1	105805	0.103984	UNKNOWN

zChaff	minisat	SatELite
0.005	0.011998	0.241963

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	70.49	73.76	94.70	25.72	22.38	0	206	1	206	1	120166	0.117982	UNKNOWN

zChaff	minisat	SatELite
0.009999	0.016997	0.228965

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	70.35	73.81	94.59	25.72	22.36	0	186	1	186	1	95402	0.083987	UNKNOWN

zChaff	minisat	SatELite
0.004	0.015997	0.244962