f87-b3-s3-20.cnf

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


zChaff minisat SatELite
113.304 14.9907 131.406

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc46.0054.000.8010.8014.8000 00 07560.000999UNKNOWN

zChaff minisat SatELite
113.304 14.9907 131.406

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn46.0054.000.8010.8014.8000 00 03480.000999UNKNOWN

zChaff minisat SatELite
113.304 14.9907 131.406

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb46.0054.000.8010.8014.8000 00 07520UNKNOWN

zChaff minisat SatELite
113.304 14.9907 131.406

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb46.0054.000.8010.8014.8000 00 03460.001999UNKNOWN

zChaff minisat SatELite
113.304 14.9907 131.406

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw46.0054.000.8010.8014.8000 00 0360.000999UNKNOWN

zChaff minisat SatELite
113.304 14.9907 131.406

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn46.0054.000.8010.8014.8000 00 0180UNKNOWN

zChaff minisat SatELite
113.304 14.9907 131.406

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb46.0054.000.8010.8014.8000 00 0320.000999UNKNOWN

zChaff minisat SatELite
113.304 14.9907 131.406

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb46.0054.000.8010.8014.8000 00 0160.000999UNKNOWN

zChaff minisat SatELite
113.304 14.9907 131.406