SGI_30_60_23_50_8-log.shuffled-as.sat03-117.cnf

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


zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc1.221.140.000.090.1200 00 0476930150.591UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn1.221.140.000.090.1200 00 0471152150.739UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb1.221.140.000.090.1200 00 0476930146.805UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb1.221.140.000.090.1200 00 0471152152.15UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw1.221.140.000.090.1200 00 000.065989UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn1.221.140.000.090.1200 00 000.056991UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb1.221.140.000.090.1200 00 000.066989UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb1.221.140.000.090.1200 00 000.053991UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut