mul05.boehm.cnf

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


zChaff minisat SatELite
0.005999 0.004999 0.028995

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc79.1554.0533.209.161.462907 17 198450.007998UNKNOWN

zChaff minisat SatELite
0.005999 0.004999 0.027995

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn79.2653.7633.039.111.452903 03 014980.002999UNKNOWN

zChaff minisat SatELite
0.005999 0.004999 0.029995

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb79.1554.0533.209.161.462907 17 162130.004999UNKNOWN

zChaff minisat SatELite
0.006999 0.004999 0.028995

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb79.2653.7633.039.111.452903 03 014980.001999UNKNOWN

zChaff minisat SatELite
0.005999 0.005999 0.028995

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw79.1554.0533.209.161.462907 17 188250.006998UNKNOWN

zChaff minisat SatELite
0.005999 0.005999 0.028995

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn79.2653.7633.039.111.452903 03 014220.000999UNKNOWN

zChaff minisat SatELite
0.004999 0.006998 0.025996

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb79.1554.0533.209.161.462907 17 158050.003999UNKNOWN

zChaff minisat SatELite
0.006999 0.005999 0.027995

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb79.2653.7633.039.111.452903 03 014220.000999UNKNOWN

zChaff minisat SatELite
0.005 0.005999 0.027995