3col140_5_7.shuffled.cnf

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


zChaff minisat SatELite
0.623906 0.098984 0.802877

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

zChaff minisat SatELite
0.623906 0.098984 0.802877

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

zChaff minisat SatELite
0.623906 0.098984 0.802877

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

zChaff minisat SatELite
0.623906 0.098984 0.802877

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

zChaff minisat SatELite
0.623906 0.098984 0.802877

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

zChaff minisat SatELite
0.623906 0.098984 0.802877

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

zChaff minisat SatELite
0.623906 0.098984 0.802877

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

zChaff minisat SatELite
0.623906 0.098984 0.802877

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

zChaff minisat SatELite
0.623906 0.098984 0.802877