rope_0200.shuffled.cnf

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


zChaff minisat SatELite
18.3312 5.79812 61.9546

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

zChaff minisat SatELite
18.3312 5.79812 61.9546

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

zChaff minisat SatELite
18.3312 5.79812 61.9546

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

zChaff minisat SatELite
18.3312 5.79812 61.9546

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

zChaff minisat SatELite
18.3312 5.79812 61.9546

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

zChaff minisat SatELite
18.3312 5.79812 61.9546

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

zChaff minisat SatELite
18.3312 5.79812 61.9546

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

zChaff minisat SatELite
18.3312 5.79812 61.9546

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

zChaff minisat SatELite
18.3312 5.79812 61.9546