hidden-k3-s1-r6-n700-02-S1357379167.shuffled-as.sat03-1031.cnf

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


zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc50.7949.210.0012.1412.2900 00 0127890.021996UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn50.7949.210.0012.1412.2900 00 063020.011998UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb50.7949.210.0012.1412.2900 00 0127890.020996UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb50.7949.210.0012.1412.2900 00 063020.012998UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw50.7949.210.0012.1412.2900 00 000.002999UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn50.7949.210.0012.1412.2900 00 000.003999UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb50.7949.210.0012.1412.2900 00 000.003999UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb50.7949.210.0012.1412.2900 00 000.000999UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut