SGI_30_70_28_60_1-dir.shuffled-as.sat03-175.cnf

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


zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc71.4278.2299.9728.5421.7400 00 02662847211.3443UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn71.4278.2299.9728.5421.7400 00 058202082.43263UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb71.4278.2299.9728.5421.7400 00 08400.036994UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb71.4278.2299.9728.5421.7400 00 08400.027995UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw71.4278.2299.9728.5421.7400 00 08400.052991UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn71.4278.2299.9728.5421.7400 00 08400.026995UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb71.4278.2299.9728.5421.7400 00 08400.040993UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb71.4278.2299.9728.5421.7400 00 08400.027995UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut