3col260_5_3.shuffled.cnf

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


zChaff minisat SatELite
36.2855 6.95594 96.6573

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc36.0633.6612.007.857.8500 00 096020.012998UNKNOWN

zChaff minisat SatELite
36.2855 6.95594 96.6573

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn36.0633.6612.007.857.8500 00 064080.007998UNKNOWN

zChaff minisat SatELite
36.2855 6.95594 96.6573

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb36.0633.6612.007.857.8500 00 090720.010998UNKNOWN

zChaff minisat SatELite
36.2855 6.95594 96.6573

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb36.0633.6612.007.857.8500 00 062480.009998UNKNOWN

zChaff minisat SatELite
36.2855 6.95594 96.6573

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw36.0633.6612.007.857.8500 00 090740.011998UNKNOWN

zChaff minisat SatELite
36.2855 6.95594 96.6573

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn36.0633.6612.007.857.8500 00 062480.007998UNKNOWN

zChaff minisat SatELite
36.2855 6.95594 96.6573

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb36.0633.6612.007.857.8500 00 090720.010998UNKNOWN

zChaff minisat SatELite
36.2855 6.95594 96.6573

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb36.0633.6612.007.857.8500 00 062480.009998UNKNOWN

zChaff minisat SatELite
36.2855 6.95594 96.6573