gencnf-k4-r9.88-v155-c1531-01-S1003715042.shuffled-as.sat03-1733.cnf

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


zChaff minisat SatELite
TimeOut 2530.81 7885.55

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

zChaff minisat SatELite
TimeOut 2530.81 7885.55

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

zChaff minisat SatELite
TimeOut 2530.81 7885.55

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

zChaff minisat SatELite
TimeOut 2530.81 7885.55

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

zChaff minisat SatELite
TimeOut 2530.81 7885.55

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

zChaff minisat SatELite
TimeOut 2530.81 7885.55

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

zChaff minisat SatELite
TimeOut 2530.81 7885.55

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

zChaff minisat SatELite
TimeOut 2530.81 7885.55

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

zChaff minisat SatELite
TimeOut 2530.81 7885.55