gencnf-k4-r9.88-v177-c1748-05-S2016925665.used-as.sat04-165.cnf

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


zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc27.7532.670.006.016.0100 00 069960.019996UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn27.7532.670.006.016.0100 00 047110.012998UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb27.7532.670.006.016.0100 00 069960.018997UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb27.7532.670.006.016.0100 00 047110.012998UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw27.7532.670.006.016.0100 00 000.001999UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

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

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb27.7532.670.006.016.0100 00 000.001999UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb27.7532.670.006.016.0100 00 000.001999UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut