3col160_5_3.shuffled.cnf

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


zChaff minisat SatELite
0.418937 0.226965 0.906862

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc39.6833.9712.159.449.5900 00 059140.008998UNKNOWN

zChaff minisat SatELite
0.418937 0.226965 0.906862

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn39.6833.9712.159.449.5900 00 037280.006998UNKNOWN

zChaff minisat SatELite
0.418937 0.226965 0.906862

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb39.6833.9712.159.449.5900 00 055840.005999UNKNOWN

zChaff minisat SatELite
0.418937 0.226965 0.906862

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb39.6833.9712.159.449.5900 00 036240.004999UNKNOWN

zChaff minisat SatELite
0.418937 0.226965 0.906862

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw39.6833.9712.159.449.5900 00 055860.008998UNKNOWN

zChaff minisat SatELite
0.418937 0.226965 0.906862

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn39.6833.9712.159.449.5900 00 036240.004999UNKNOWN

zChaff minisat SatELite
0.418937 0.226965 0.906862

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb39.6833.9712.159.449.5900 00 055840.006998UNKNOWN

zChaff minisat SatELite
0.418937 0.226965 0.906862

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb39.6833.9712.159.449.5900 00 036240.004999UNKNOWN

zChaff minisat SatELite
0.418937 0.226965 0.906862