pyhala-braun-sat-30-4-02.shuffled.cnf

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


zChaff minisat SatELite
56.8424 3.55546 17.0734

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc60.6259.9441.0017.8817.6700 00 03485620.283956UNKNOWN

zChaff minisat SatELite
56.8424 3.55546 17.0734

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn60.6259.9441.0017.8817.6700 00 01188090.101984UNKNOWN

zChaff minisat SatELite
56.8424 3.55546 17.0734

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb60.6259.9441.0017.8817.6700 00 01329030.13098UNKNOWN

zChaff minisat SatELite
56.8424 3.55546 17.0734

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb60.6259.9441.0017.8817.6700 00 0659020.065989UNKNOWN

zChaff minisat SatELite
56.8424 3.55546 17.0734

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw60.6259.9441.0017.8817.6700 00 02898710.228965UNKNOWN

zChaff minisat SatELite
56.8424 3.55546 17.0734

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn60.6259.9441.0017.8817.6700 00 01054700.092985UNKNOWN

zChaff minisat SatELite
56.8424 3.55546 17.0734

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb60.6259.9441.0017.8817.6700 00 01325010.12798UNKNOWN

zChaff minisat SatELite
56.8424 3.55546 17.0734

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb60.6259.9441.0017.8817.6700 00 0657280.068989UNKNOWN

zChaff minisat SatELite
56.8424 3.55546 17.0734