f28-b8-s0-0.cnf

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


zChaff minisat SatELite
0.072989 0.551916 0.053991

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

zChaff minisat SatELite
0.072989 0.551916 0.053991

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

zChaff minisat SatELite
0.072989 0.551916 0.053991

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

zChaff minisat SatELite
0.072989 0.551916 0.053991

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

zChaff minisat SatELite
0.072989 0.551916 0.053991

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

zChaff minisat SatELite
0.072989 0.551916 0.053991

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

zChaff minisat SatELite
0.072989 0.551916 0.053991

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

zChaff minisat SatELite
0.072989 0.551916 0.053991

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

zChaff minisat SatELite
0.072989 0.551916 0.053991