SGI_30_70_23_50_1-dir.shuffled-as.sat03-156.cnf

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


zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc74.7274.7199.9625.2425.2400 00 0148619465.41018UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn74.7274.7199.9625.2425.2400 00 036972291.3308UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb74.7274.7199.9625.2425.2400 00 06900.027995UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb74.7274.7199.9625.2425.2400 00 06900.019996UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw74.7274.7199.9625.2425.2400 00 06900.033994UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn74.7274.7199.9625.2425.2400 00 06900.021996UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb74.7274.7199.9625.2425.2400 00 06900.026995UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb74.7274.7199.9625.2425.2400 00 06900.015997UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut