hgen5-v200-s606790024.cnf

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


zChaff minisat SatELite
TimeOut 1571.03 5071.33

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc35.1035.940.007.688.8100 00 054070.011998UNKNOWN

zChaff minisat SatELite
TimeOut 1571.03 5071.33

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn35.1035.940.007.688.8100 00 035200.006998UNKNOWN

zChaff minisat SatELite
TimeOut 1571.03 5071.33

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb35.1035.940.007.688.8100 00 054070.010998UNKNOWN

zChaff minisat SatELite
TimeOut 1571.03 5071.33

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb35.1035.940.007.688.8100 00 035200.007998UNKNOWN

zChaff minisat SatELite
TimeOut 1571.03 5071.33

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

zChaff minisat SatELite
TimeOut 1571.03 5071.33

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn35.1035.940.007.688.8100 00 000.001999UNKNOWN

zChaff minisat SatELite
TimeOut 1571.03 5071.33

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb35.1035.940.007.688.8100 00 000.001999UNKNOWN

zChaff minisat SatELite
TimeOut 1571.03 5071.33

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb35.1035.940.007.688.8100 00 000.000999UNKNOWN

zChaff minisat SatELite
TimeOut 1571.03 5071.33