SGI_30_80_25_80_5-dir.shuffled-as.sat03-205.cnf

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


zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc77.5472.3099.9622.4227.6600 00 0174836006.24305UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn77.5472.3099.9622.4227.6600 00 039106401.49277UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb77.5472.3099.9622.4227.6600 00 07500.027995UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb77.5472.3099.9622.4227.6600 00 07500.021996UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw77.5472.3099.9622.4227.6600 00 07500.032994UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn77.5472.3099.9622.4227.6600 00 07500.020996UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb77.5472.3099.9622.4227.6600 00 07500.029995UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb77.5472.3099.9622.4227.6600 00 07500.022996UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut