ii16a2.cnf

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


zChaff minisat SatELite
0.006999 0.015997 0.228965

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc98.5898.3297.311.421.6806 06 030971461.35179UNKNOWN

zChaff minisat SatELite
0.004999 0.015997 0.229965

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn98.5898.3297.321.421.6800 00 0241620.010998UNKNOWN

zChaff minisat SatELite
0.006999 0.015997 0.228965

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb98.5898.3297.321.421.6800 00 090720.026995UNKNOWN

zChaff minisat SatELite
0.006999 0.015997 0.228965

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb98.5898.3297.321.421.6800 00 014100.007998UNKNOWN

zChaff minisat SatELite
0.006999 0.015997 0.228965

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw98.5898.3297.321.421.6800 00 090720.029995UNKNOWN

zChaff minisat SatELite
0.006999 0.015997 0.228965

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn98.5898.3297.321.421.6800 00 014100.007998UNKNOWN

zChaff minisat SatELite
0.006999 0.015997 0.228965

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb98.5898.3297.321.421.6800 00 090720.026995UNKNOWN

zChaff minisat SatELite
0.006999 0.015997 0.228965

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb98.5898.3297.321.421.6800 00 014100.007998UNKNOWN

zChaff minisat SatELite
0.006999 0.015997 0.228965