f3-b3-s0-10.cnf

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


zChaff minisat SatELite
2912.65 27.7658 522.287

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc44.1443.9312.8111.2111.2800 00 0544720.083987UNKNOWN

zChaff minisat SatELite
2912.65 27.7658 522.287

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn44.1443.9312.8111.2111.2800 00 0271500.047992UNKNOWN

zChaff minisat SatELite
2912.65 27.7658 522.287

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb44.1443.9312.8111.2111.2800 00 0368310.066989UNKNOWN

zChaff minisat SatELite
2912.65 27.7658 522.287

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb44.1443.9312.8111.2111.2800 00 0229920.038994UNKNOWN

zChaff minisat SatELite
2912.65 27.7658 522.287

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw44.1443.9312.8111.2111.2800 00 0148500.030995UNKNOWN

zChaff minisat SatELite
2912.65 27.7658 522.287

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn44.1443.9312.8111.2111.2800 00 096020.018997UNKNOWN

zChaff minisat SatELite
2912.65 27.7658 522.287

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb44.1443.9312.8111.2111.2800 00 0148490.030995UNKNOWN

zChaff minisat SatELite
2912.65 27.7658 522.287

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb44.1443.9312.8111.2111.2800 00 096020.016997UNKNOWN

zChaff minisat SatELite
2912.65 27.7658 522.287