f1-b5-s5-10.cnf

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


zChaff minisat SatELite
0.801878 2195.5 0.879866

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc66.0863.0984.5321.1021.9900 00 091150.004999UNKNOWN

zChaff minisat SatELite
0.801878 2195.5 0.879866

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn66.0863.0984.5321.1021.9900 00 034040.001999UNKNOWN

zChaff minisat SatELite
0.801878 2195.5 0.879866

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb66.0863.0984.5321.1021.9900 00 020800.002999UNKNOWN

zChaff minisat SatELite
0.801878 2195.5 0.879866

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb66.0863.0984.5321.1021.9900 00 017200.002999UNKNOWN

zChaff minisat SatELite
0.801878 2195.5 0.879866

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw66.0863.0984.5321.1021.9900 00 020800.000999UNKNOWN

zChaff minisat SatELite
0.801878 2195.5 0.879866

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn66.0863.0984.5321.1021.9900 00 017200.001999UNKNOWN

zChaff minisat SatELite
0.801878 2195.5 0.879866

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb66.0863.0984.5321.1021.9900 00 020800.002999UNKNOWN

zChaff minisat SatELite
0.801878 2195.5 0.879866

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb66.0863.0984.5321.1021.9900 00 017200.002999UNKNOWN

zChaff minisat SatELite
0.801878 2195.5 0.879866