grid-pbl-0300.shuffled-as.sat05-1341.shuffled-as.sat05-1341.cnf

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


zChaff minisat SatELite
TimeOut TimeOut 8.29674

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

zChaff minisat SatELite
TimeOut TimeOut 8.29674

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

zChaff minisat SatELite
TimeOut TimeOut 8.29674

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

zChaff minisat SatELite
TimeOut TimeOut 8.29674

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

zChaff minisat SatELite
TimeOut TimeOut 8.29674

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

zChaff minisat SatELite
TimeOut TimeOut 8.29674

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

zChaff minisat SatELite
TimeOut TimeOut 8.29674

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

zChaff minisat SatELite
TimeOut TimeOut 8.29674

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

zChaff minisat SatELite
TimeOut TimeOut 8.29674