f51-b8-s0-0.cnf

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


zChaff minisat SatELite
189.886 11.8262 69.9364

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc31.8431.840.335.815.7000 00 072060.017997UNKNOWN

zChaff minisat SatELite
189.886 11.8262 69.9364

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn31.8431.840.335.815.7000 00 049240.012998UNKNOWN

zChaff minisat SatELite
189.886 11.8262 69.9364

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb31.8431.840.335.815.7000 00 072000.018997UNKNOWN

zChaff minisat SatELite
189.886 11.8262 69.9364

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb31.8431.840.335.815.7000 00 049240.010998UNKNOWN

zChaff minisat SatELite
189.886 11.8262 69.9364

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

zChaff minisat SatELite
189.886 11.8262 69.9364

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

zChaff minisat SatELite
189.886 11.8262 69.9364

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb31.8431.840.335.815.7000 00 000.003999UNKNOWN

zChaff minisat SatELite
189.886 11.8262 69.9364

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

zChaff minisat SatELite
189.886 11.8262 69.9364