unif-c2600-v400-s49792842.cnf

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


zChaff minisat SatELite
34.7597 5.09422 17.7283

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc47.2752.730.0013.0412.0000 00 079920.013997UNKNOWN

zChaff minisat SatELite
34.7597 5.09422 17.7283

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn47.2752.730.0013.0412.0000 00 037700.007998UNKNOWN

zChaff minisat SatELite
34.7597 5.09422 17.7283

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb47.2752.730.0013.0412.0000 00 079920.013997UNKNOWN

zChaff minisat SatELite
34.7597 5.09422 17.7283

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb47.2752.730.0013.0412.0000 00 037700.006998UNKNOWN

zChaff minisat SatELite
34.7597 5.09422 17.7283

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

zChaff minisat SatELite
34.7597 5.09422 17.7283

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

zChaff minisat SatELite
34.7597 5.09422 17.7283

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

zChaff minisat SatELite
34.7597 5.09422 17.7283

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

zChaff minisat SatELite
34.7597 5.09422 17.7283