f3-b20-s0-10.cnf

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


zChaff minisat SatELite
5205.43 99.9678 1007.37

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc44.1444.2212.7211.7411.5802 02 0676020.105983UNKNOWN

zChaff minisat SatELite
TimeOut 266.437 441.789

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn44.1444.2212.7211.7411.5802 02 0331330.058991UNKNOWN

zChaff minisat SatELite
TimeOut 275.502 446.692

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb44.1444.2212.7211.7411.5802 02 0443250.082987UNKNOWN

zChaff minisat SatELite
TimeOut 279.381 455.455

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb44.1444.2212.7211.7411.5802 02 0274210.051992UNKNOWN

zChaff minisat SatELite
TimeOut 270.226 445.981

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw44.1444.2212.7211.7411.5802 02 0176260.037994UNKNOWN

zChaff minisat SatELite
TimeOut 279.554 441.055

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn44.1444.2212.7211.7411.5802 02 0115170.020996UNKNOWN

zChaff minisat SatELite
TimeOut 274.713 446.768

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb44.1444.2212.7211.7411.5802 02 0176250.036994UNKNOWN

zChaff minisat SatELite
TimeOut 269.465 457.972

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb44.1444.2212.7211.7411.5802 02 0115170.023996UNKNOWN

zChaff minisat SatELite
TimeOut 284.746 443.754