pyhala-braun-unsat-40-4-02.shuffled-as.sat03-1546.cnf

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


zChaff minisat SatELite
TimeOut 2856.15 9140.95

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc60.5260.1040.7517.3717.8000 00 07124200.702893UNKNOWN

zChaff minisat SatELite
TimeOut 2856.15 9140.95

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn60.5260.1040.7517.3717.8000 00 02370670.235964UNKNOWN

zChaff minisat SatELite
TimeOut 2856.15 9140.95

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb60.5260.1040.7517.3717.8000 00 02521680.289955UNKNOWN

zChaff minisat SatELite
TimeOut 2856.15 9140.95

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb60.5260.1040.7517.3717.8000 00 01307910.140978UNKNOWN

zChaff minisat SatELite
TimeOut 2856.15 9140.95

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw60.5260.1040.7517.3717.8000 00 06027770.559914UNKNOWN

zChaff minisat SatELite
TimeOut 2856.15 9140.95

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn60.5260.1040.7517.3717.8000 00 02138400.226965UNKNOWN

zChaff minisat SatELite
TimeOut 2856.15 9140.95

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb60.5260.1040.7517.3717.8000 00 02516260.292955UNKNOWN

zChaff minisat SatELite
TimeOut 2856.15 9140.95

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb60.5260.1040.7517.3717.8000 00 01304890.154976UNKNOWN

zChaff minisat SatELite
TimeOut 2856.15 9140.95