f1-b21-s21-10.cnf

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


zChaff minisat SatELite
0.167974 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc71.2764.5390.6019.3326.3500 00 0591380.034994UNKNOWN

zChaff minisat SatELite
0.167974 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn71.2764.5390.6019.3326.3500 00 0192090.016997UNKNOWN

zChaff minisat SatELite
0.167974 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb71.2764.5390.6019.3326.3500 00 085680.009998UNKNOWN

zChaff minisat SatELite
0.167974 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb71.2764.5390.6019.3326.3500 00 085680.007998UNKNOWN

zChaff minisat SatELite
0.167974 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw71.2764.5390.6019.3326.3500 00 085680.009998UNKNOWN

zChaff minisat SatELite
0.167974 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn71.2764.5390.6019.3326.3500 00 085680.010998UNKNOWN

zChaff minisat SatELite
0.167974 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb71.2764.5390.6019.3326.3500 00 085680.008998UNKNOWN

zChaff minisat SatELite
0.167974 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb71.2764.5390.6019.3326.3500 00 085680.008998UNKNOWN

zChaff minisat SatELite
0.167974 TimeOut TimeOut