f51-b1-s0-0.cnf

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


zChaff minisat SatELite
303.09 10.2274 65.933

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc33.3333.330.336.426.0900 00 072060.017997UNKNOWN

zChaff minisat SatELite
303.09 10.2274 65.933

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn33.3333.330.336.426.0900 00 048160.012998UNKNOWN

zChaff minisat SatELite
303.09 10.2274 65.933

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb33.3333.330.336.426.0900 00 072000.019996UNKNOWN

zChaff minisat SatELite
303.09 10.2274 65.933

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb33.3333.330.336.426.0900 00 048160.011998UNKNOWN

zChaff minisat SatELite
303.09 10.2274 65.933

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw33.3333.330.336.426.0900 00 000.001999UNKNOWN

zChaff minisat SatELite
303.09 10.2274 65.933

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn33.3333.330.336.426.0900 00 000.001999UNKNOWN

zChaff minisat SatELite
303.09 10.2274 65.933

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb33.3333.330.336.426.0900 00 000.001999UNKNOWN

zChaff minisat SatELite
303.09 10.2274 65.933

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb33.3333.330.336.426.0900 00 000.001999UNKNOWN

zChaff minisat SatELite
303.09 10.2274 65.933