999999000001nc.shuffled-as.sat03-1675.cnf

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


zChaff minisat SatELite
TimeOut 3585.6 9846

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc50.2750.060.3312.7612.6200 00 0685060.12798UNKNOWN

zChaff minisat SatELite
TimeOut 3585.6 9846

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn50.2750.060.3312.7612.6200 00 0340350.06399UNKNOWN

zChaff minisat SatELite
TimeOut 3585.6 9846

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb50.2750.060.3312.7612.6200 00 0684470.12698UNKNOWN

zChaff minisat SatELite
TimeOut 3585.6 9846

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb50.2750.060.3312.7612.6200 00 0340350.066989UNKNOWN

zChaff minisat SatELite
TimeOut 3585.6 9846

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw50.2750.060.3312.7612.6200 00 000.015997UNKNOWN

zChaff minisat SatELite
TimeOut 3585.6 9846

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn50.2750.060.3312.7612.6200 00 000.015997UNKNOWN

zChaff minisat SatELite
TimeOut 3585.6 9846

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb50.2750.060.3312.7612.6200 00 000.017997UNKNOWN

zChaff minisat SatELite
TimeOut 3585.6 9846

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb50.2750.060.3312.7612.6200 00 000.013997UNKNOWN

zChaff minisat SatELite
TimeOut 3585.6 9846