fphp-025-020.shuffled-as.sat05-1219.cnf

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


zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc76.0374.0399.7723.7425.7400 00 07015000.25996UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn76.0374.0399.7723.7425.7400 00 01672990.06199UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb76.0374.0399.7723.7425.7400 00 05000.005999UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb76.0374.0399.7723.7425.7400 00 05000.004999UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw76.0374.0399.7723.7425.7400 00 05000.006998UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn76.0374.0399.7723.7425.7400 00 05000.004999UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb76.0374.0399.7723.7425.7400 00 05000.006998UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb76.0374.0399.7723.7425.7400 00 05000.006998UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut