f40-b10-s0-0.cnf

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


zChaff minisat SatELite
0.837872 0.107983 1.41478

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc37.4335.0912.119.518.8500 00 066760.008998UNKNOWN

zChaff minisat SatELite
0.837872 0.107983 1.41478

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn37.4335.0912.119.518.8500 00 043880.005999UNKNOWN

zChaff minisat SatELite
0.837872 0.107983 1.41478

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb37.4335.0912.119.518.8500 00 063060.007998UNKNOWN

zChaff minisat SatELite
0.837872 0.107983 1.41478

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb37.4335.0912.119.518.8500 00 042860.006998UNKNOWN

zChaff minisat SatELite
0.837872 0.107983 1.41478

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw37.4335.0912.119.518.8500 00 063080.011998UNKNOWN

zChaff minisat SatELite
0.837872 0.107983 1.41478

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn37.4335.0912.119.518.8500 00 042860.004999UNKNOWN

zChaff minisat SatELite
0.837872 0.107983 1.41478

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb37.4335.0912.119.518.8500 00 063060.008998UNKNOWN

zChaff minisat SatELite
0.837872 0.107983 1.41478

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb37.4335.0912.119.518.8500 00 042860.006998UNKNOWN

zChaff minisat SatELite
0.837872 0.107983 1.41478