grid-pbl-0060.shuffled-as.sat05-1333.shuffled-as.sat05-1333.cnf

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


zChaff minisat SatELite
14.9067 5.74313 0.584911

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc31.6131.650.876.676.3300 00 0427250.038994UNKNOWN

zChaff minisat SatELite
14.9067 5.74313 0.584911

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn31.6131.650.876.676.3300 00 0293100.024996UNKNOWN

zChaff minisat SatELite
14.9067 5.74313 0.584911

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb31.6131.650.876.676.3300 00 0426030.039993UNKNOWN

zChaff minisat SatELite
14.9067 5.74313 0.584911

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb31.6131.650.876.676.3300 00 0292800.023996UNKNOWN

zChaff minisat SatELite
14.9067 5.74313 0.584911

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw31.6131.650.876.676.3300 00 015470.009998UNKNOWN

zChaff minisat SatELite
14.9067 5.74313 0.584911

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn31.6131.650.876.676.3300 00 09980.007998UNKNOWN

zChaff minisat SatELite
14.9067 5.74313 0.584911

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb31.6131.650.876.676.3300 00 015470.010998UNKNOWN

zChaff minisat SatELite
14.9067 5.74313 0.584911

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb31.6131.650.876.676.3300 00 09980.007998UNKNOWN

zChaff minisat SatELite
14.9067 5.74313 0.584911