phnf-size10-exclusive-all.used-as.sat04-986.shuffled-as.sat05-4198.cnf

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


zChaff minisat SatELite
TimeOut TimeOut TimeOut

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

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn69.2691.2399.7330.488.5005674011856740118205060692310.592UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

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

zChaff minisat SatELite
TimeOut TimeOut TimeOut

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

zChaff minisat SatELite
TimeOut TimeOut TimeOut

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

zChaff minisat SatELite
TimeOut TimeOut TimeOut

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

zChaff minisat SatELite
TimeOut TimeOut TimeOut

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

zChaff minisat SatELite
TimeOut TimeOut TimeOut

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

zChaff minisat SatELite
TimeOut TimeOut TimeOut