f28-b9-s0-0.cnf

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


zChaff minisat SatELite
0.098985 0.222966 0.070989

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc35.0635.790.698.498.0308 08 0225810.041993UNKNOWN

zChaff minisat SatELite
0.106984 0.239963 0.072988

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn35.0535.810.698.518.0307 07 0149260.028995UNKNOWN

zChaff minisat SatELite
0.097985 0.221966 0.073988

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb35.0635.790.698.498.0308 08 0225480.044993UNKNOWN

zChaff minisat SatELite
0.100985 0.238963 0.078987

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb35.0535.810.698.518.0307 07 0149260.028995UNKNOWN

zChaff minisat SatELite
0.099985 0.222966 0.072988

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

zChaff minisat SatELite
0.098985 0.222966 0.070989

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

zChaff minisat SatELite
0.098985 0.222966 0.070989

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb35.0835.750.698.508.0400 00 000.004999UNKNOWN

zChaff minisat SatELite
0.098985 0.222966 0.070989

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb35.0835.750.698.508.0400 00 000.004999UNKNOWN

zChaff minisat SatELite
0.098985 0.222966 0.070989