f40-b4-s0-0.cnf

variables clauses Horn % ReverseHorn % Binaire % Pos % Neg %
360153636.2636.5912.117.627.36


zChaff minisat SatELite
4.71228 1.44178 1.45978

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc36.2636.5912.117.887.4900 00 066730.009998UNKNOWN

zChaff minisat SatELite
4.71228 1.44178 1.45978

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn36.2636.5912.117.887.4900 00 044300.006998UNKNOWN

zChaff minisat SatELite
4.71228 1.44178 1.45978

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb36.2636.5912.117.887.4900 00 063030.007998UNKNOWN

zChaff minisat SatELite
4.71228 1.44178 1.45978

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb36.2636.5912.117.887.4900 00 043420.006998UNKNOWN

zChaff minisat SatELite
4.71228 1.44178 1.45978

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw36.2636.5912.117.887.4900 00 063050.007998UNKNOWN

zChaff minisat SatELite
4.71228 1.44178 1.45978

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn36.2636.5912.117.887.4900 00 043420.005999UNKNOWN

zChaff minisat SatELite
4.71228 1.44178 1.45978

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb36.2636.5912.117.887.4900 00 063030.009998UNKNOWN

zChaff minisat SatELite
4.71228 1.44178 1.45978

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb36.2636.5912.117.887.4900 00 043420.006998UNKNOWN

zChaff minisat SatELite
4.71228 1.44178 1.45978