unif-c2925-v450-s221381158.cnf

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


zChaff minisat SatELite
108.039 12.3881 91.0552

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc48.3851.620.0012.9611.9000 00 090070.015997UNKNOWN

zChaff minisat SatELite
108.039 12.3881 91.0552

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn48.3851.620.0012.9611.9000 00 043640.007998UNKNOWN

zChaff minisat SatELite
108.039 12.3881 91.0552

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb48.3851.620.0012.9611.9000 00 090070.015997UNKNOWN

zChaff minisat SatELite
108.039 12.3881 91.0552

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb48.3851.620.0012.9611.9000 00 043640.007998UNKNOWN

zChaff minisat SatELite
108.039 12.3881 91.0552

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw48.3851.620.0012.9611.9000 00 000.003999UNKNOWN

zChaff minisat SatELite
108.039 12.3881 91.0552

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn48.3851.620.0012.9611.9000 00 000.002999UNKNOWN

zChaff minisat SatELite
108.039 12.3881 91.0552

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb48.3851.620.0012.9611.9000 00 000.001999UNKNOWN

zChaff minisat SatELite
108.039 12.3881 91.0552

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb48.3851.620.0012.9611.9000 00 000.002999UNKNOWN

zChaff minisat SatELite
108.039 12.3881 91.0552