qwh.50.1250.shuffled-as.sat03-1655.cnf

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


zChaff minisat SatELite
TimeOut 191.808 201.609

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc74.4073.8198.8724.4725.0700 00 02226840630.4614UNKNOWN

zChaff minisat SatELite
TimeOut 191.808 201.609

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn74.4073.8198.8724.4725.0700 00 055596357.8798UNKNOWN

zChaff minisat SatELite
TimeOut 191.808 201.609

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb74.4073.8198.8724.4725.0700 00 0501570.239963UNKNOWN

zChaff minisat SatELite
TimeOut 191.808 201.609

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb74.4073.8198.8724.4725.0700 00 0499980.188971UNKNOWN

zChaff minisat SatELite
TimeOut 191.808 201.609

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw74.4073.8198.8724.4725.0700 00 0501570.277957UNKNOWN

zChaff minisat SatELite
TimeOut 191.808 201.609

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn74.4073.8198.8724.4725.0700 00 0499980.208968UNKNOWN

zChaff minisat SatELite
TimeOut 191.808 201.609

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb74.4073.8198.8724.4725.0700 00 0501570.263959UNKNOWN

zChaff minisat SatELite
TimeOut 191.808 201.609

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb74.4073.8198.8724.4725.0700 00 0499980.207968UNKNOWN

zChaff minisat SatELite
TimeOut 191.808 201.609