hwb-n28-01-S136611085.shuffled-as.sat03-1627.cnf

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


zChaff minisat SatELite
TimeOut 2167.11 TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc42.6341.181.5613.0611.8300 00 043740.007998UNKNOWN

zChaff minisat SatELite
TimeOut 2167.11 TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn42.6341.181.5613.0611.8300 00 025760.004999UNKNOWN

zChaff minisat SatELite
TimeOut 2167.11 TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb42.6341.181.5613.0611.8300 00 043240.006998UNKNOWN

zChaff minisat SatELite
TimeOut 2167.11 TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb42.6341.181.5613.0611.8300 00 025500.004999UNKNOWN

zChaff minisat SatELite
TimeOut 2167.11 TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw42.6341.181.5613.0611.8300 00 06220.001999UNKNOWN

zChaff minisat SatELite
TimeOut 2167.11 TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn42.6341.181.5613.0611.8300 00 03160.002999UNKNOWN

zChaff minisat SatELite
TimeOut 2167.11 TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb42.6341.181.5613.0611.8300 00 06180.002999UNKNOWN

zChaff minisat SatELite
TimeOut 2167.11 TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb42.6341.181.5613.0611.8300 00 03160.001999UNKNOWN

zChaff minisat SatELite
TimeOut 2167.11 TimeOut