pyhala-braun-sat-40-4-02.shuffled.cnf

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


zChaff minisat SatELite
TimeOut 1279.62 3784.46

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

zChaff minisat SatELite
TimeOut 1279.62 3784.46

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

zChaff minisat SatELite
TimeOut 1279.62 3784.46

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

zChaff minisat SatELite
TimeOut 1279.62 3784.46

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

zChaff minisat SatELite
TimeOut 1279.62 3784.46

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

zChaff minisat SatELite
TimeOut 1279.62 3784.46

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

zChaff minisat SatELite
TimeOut 1279.62 3784.46

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

zChaff minisat SatELite
TimeOut 1279.62 3784.46

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

zChaff minisat SatELite
TimeOut 1279.62 3784.46