glassy-v348-s972757027.cnf

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


zChaff minisat SatELite
TimeOut 3111.54 TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc51.9148.090.0012.1913.0500 00 049310.006998UNKNOWN

zChaff minisat SatELite
TimeOut 3111.54 TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn51.9148.090.0012.1913.0500 00 023710.003999UNKNOWN

zChaff minisat SatELite
TimeOut 3111.54 TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb51.9148.090.0012.1913.0500 00 049310.005999UNKNOWN

zChaff minisat SatELite
TimeOut 3111.54 TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb51.9148.090.0012.1913.0500 00 023710.003999UNKNOWN

zChaff minisat SatELite
TimeOut 3111.54 TimeOut

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

zChaff minisat SatELite
TimeOut 3111.54 TimeOut

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

zChaff minisat SatELite
TimeOut 3111.54 TimeOut

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

zChaff minisat SatELite
TimeOut 3111.54 TimeOut

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

zChaff minisat SatELite
TimeOut 3111.54 TimeOut