fphp-018-014.shuffled-as.sat05-1217.cnf

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


zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc78.4970.5999.5321.0428.9400 00 01731240.055991UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn78.4970.5999.5321.0428.9400 00 0367960.010998UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb78.4970.5999.5321.0428.9400 00 02520.000999UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb78.4970.5999.5321.0428.9400 00 02520.002999UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw78.4970.5999.5321.0428.9400 00 02520.000999UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn78.4970.5999.5321.0428.9400 00 02520.001999UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb78.4970.5999.5321.0428.9400 00 02520.001999UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb78.4970.5999.5321.0428.9400 00 02520.001999UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut