qwh.60.1440.shuffled-as.sat03-1656.cnf

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


zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc72.9474.5798.2025.3123.6800 00 01286775918.5432UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn72.9474.5798.2025.3123.6800 00 031436754.5683UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb72.9474.5798.2025.3123.6800 00 0455520.19297UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb72.9474.5798.2025.3123.6800 00 0448890.141978UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw72.9474.5798.2025.3123.6800 00 0455520.223965UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn72.9474.5798.2025.3123.6800 00 0448890.158975UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb72.9474.5798.2025.3123.6800 00 0455520.208968UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb72.9474.5798.2025.3123.6800 00 0448890.162975UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut