Mat26.shuffled.cnf

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


zChaff minisat SatELite
TimeOut 613.879 1604.85

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc59.0560.0238.9617.7417.9800 00 0221760.016997UNKNOWN

zChaff minisat SatELite
TimeOut 613.879 1604.85

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn59.0560.0238.9617.7417.9800 00 077430.005999UNKNOWN

zChaff minisat SatELite
TimeOut 613.879 1604.85

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb59.0560.0238.9617.7417.9800 00 087360.010998UNKNOWN

zChaff minisat SatELite
TimeOut 613.879 1604.85

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb59.0560.0238.9617.7417.9800 00 043650.005999UNKNOWN

zChaff minisat SatELite
TimeOut 613.879 1604.85

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw59.0560.0238.9617.7417.9800 00 0112960.009998UNKNOWN

zChaff minisat SatELite
TimeOut 613.879 1604.85

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn59.0560.0238.9617.7417.9800 00 041950.005999UNKNOWN

zChaff minisat SatELite
TimeOut 613.879 1604.85

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb59.0560.0238.9617.7417.9800 00 055360.006998UNKNOWN

zChaff minisat SatELite
TimeOut 613.879 1604.85

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb59.0560.0238.9617.7417.9800 00 027970.004999UNKNOWN

zChaff minisat SatELite
TimeOut 613.879 1604.85