f51-b9-s0-0.cnf

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


zChaff minisat SatELite
515.824 10.0715 57.8792

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc31.5231.580.336.596.8101 01 072060.016997UNKNOWN

zChaff minisat SatELite
199.069 10.0935 62.9674

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn31.5231.580.336.596.8101 01 049440.012998UNKNOWN

zChaff minisat SatELite
195.865 10.0935 57.6492

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb31.5231.580.336.596.8101 01 072000.017997UNKNOWN

zChaff minisat SatELite
188.873 10.0895 58.4891

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb31.5231.580.336.596.8101 01 049440.011998UNKNOWN

zChaff minisat SatELite
186.338 10.0605 58.4891

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

zChaff minisat SatELite
515.824 10.0715 57.8792

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

zChaff minisat SatELite
515.824 10.0715 57.8792

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

zChaff minisat SatELite
515.824 10.0715 57.8792

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

zChaff minisat SatELite
515.824 10.0715 57.8792