Mat323.shuffled.cnf

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


zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc57.8757.9631.8116.3816.6900 00 023429255.77112UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn57.8757.9631.8116.3816.6900 00 07192292.07668UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb57.8757.9631.8116.3816.6900 00 04240352.05569UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb57.8757.9631.8116.3816.6900 00 02097241.02884UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw57.8757.9631.8116.3816.6900 00 07077782.29565UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn57.8757.9631.8116.3816.6900 00 02290480.817875UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb57.8757.9631.8116.3816.6900 00 02140831.00985UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb57.8757.9631.8116.3816.6900 00 01051880.512922UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut