fphp-045-035.shuffled-as.sat05-1223.cnf

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


zChaff minisat SatELite
TimeOut TimeOut TimeOut

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

zChaff minisat SatELite
TimeOut TimeOut TimeOut

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

zChaff minisat SatELite
TimeOut TimeOut TimeOut

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

zChaff minisat SatELite
TimeOut TimeOut TimeOut

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

zChaff minisat SatELite
TimeOut TimeOut TimeOut

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

zChaff minisat SatELite
TimeOut TimeOut TimeOut

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

zChaff minisat SatELite
TimeOut TimeOut TimeOut

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

zChaff minisat SatELite
TimeOut TimeOut TimeOut

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

zChaff minisat SatELite
TimeOut TimeOut TimeOut