f34-b6-s0-0.cnf

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


zChaff minisat SatELite
0.017998 0.006998 0.046992

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc34.8836.8212.798.338.1400 00 022080.002999UNKNOWN

zChaff minisat SatELite
0.017998 0.006998 0.046992

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn34.8836.8212.798.338.1400 00 014620.001999UNKNOWN

zChaff minisat SatELite
0.017998 0.006998 0.046992

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb34.8836.8212.798.338.1400 00 020780.003999UNKNOWN

zChaff minisat SatELite
0.017998 0.006998 0.046992

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb34.8836.8212.798.338.1400 00 014320.001999UNKNOWN

zChaff minisat SatELite
0.017998 0.006998 0.046992

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw34.8836.8212.798.338.1400 00 020800.003999UNKNOWN

zChaff minisat SatELite
0.017998 0.006998 0.046992

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn34.8836.8212.798.338.1400 00 014320.002999UNKNOWN

zChaff minisat SatELite
0.017998 0.006998 0.046992

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb34.8836.8212.798.338.1400 00 020780.002999UNKNOWN

zChaff minisat SatELite
0.017998 0.006998 0.046992

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb34.8836.8212.798.338.1400 00 014320.002999UNKNOWN

zChaff minisat SatELite
0.017998 0.006998 0.046992