f51-b4-s0-0.cnf

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


zChaff minisat SatELite
387.872 10.8464 48.4576

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

zChaff minisat SatELite
387.872 10.8464 48.4576

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

zChaff minisat SatELite
387.872 10.8464 48.4576

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

zChaff minisat SatELite
387.872 10.8464 48.4576

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

zChaff minisat SatELite
387.872 10.8464 48.4576

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

zChaff minisat SatELite
387.872 10.8464 48.4576

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

zChaff minisat SatELite
387.872 10.8464 48.4576

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

zChaff minisat SatELite
387.872 10.8464 48.4576

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

zChaff minisat SatELite
387.872 10.8464 48.4576