hidden-k3-s0-r4-n550-02-S1318073760.shuffled-as.sat03-951.cnf

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


zChaff minisat SatELite
392.738 119.024 214.462

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc51.4148.590.0011.9511.9100 00 066770.007998UNKNOWN

zChaff minisat SatELite
392.738 119.024 214.462

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn51.4148.590.0011.9511.9100 00 032330.005999UNKNOWN

zChaff minisat SatELite
392.738 119.024 214.462

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb51.4148.590.0011.9511.9100 00 066770.009998UNKNOWN

zChaff minisat SatELite
392.738 119.024 214.462

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb51.4148.590.0011.9511.9100 00 032330.004999UNKNOWN

zChaff minisat SatELite
392.738 119.024 214.462

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

zChaff minisat SatELite
392.738 119.024 214.462

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

zChaff minisat SatELite
392.738 119.024 214.462

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

zChaff minisat SatELite
392.738 119.024 214.462

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

zChaff minisat SatELite
392.738 119.024 214.462