f34-b10-s0-0.cnf

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


zChaff minisat SatELite
0.014997 0.013997 0.043993

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc35.2736.4312.798.729.5000 00 022320.003999UNKNOWN

zChaff minisat SatELite
0.014997 0.013997 0.043993

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn35.2736.4312.798.729.5000 00 014890.001999UNKNOWN

zChaff minisat SatELite
0.014997 0.013997 0.043993

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb35.2736.4312.798.729.5000 00 021020.002999UNKNOWN

zChaff minisat SatELite
0.014997 0.013997 0.043993

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb35.2736.4312.798.729.5000 00 014570.002999UNKNOWN

zChaff minisat SatELite
0.014997 0.013997 0.043993

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

zChaff minisat SatELite
0.014997 0.013997 0.043993

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

zChaff minisat SatELite
0.014997 0.013997 0.043993

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

zChaff minisat SatELite
0.014997 0.013997 0.043993

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

zChaff minisat SatELite
0.014997 0.013997 0.043993