unif-c1950-v300-s115699898.cnf

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


zChaff minisat SatELite
0.85287 0.355945 0.942856

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

zChaff minisat SatELite
0.85287 0.355945 0.942856

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

zChaff minisat SatELite
0.85287 0.355945 0.942856

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

zChaff minisat SatELite
0.85287 0.355945 0.942856

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

zChaff minisat SatELite
0.85287 0.355945 0.942856

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

zChaff minisat SatELite
0.85287 0.355945 0.942856

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

zChaff minisat SatELite
0.85287 0.355945 0.942856

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

zChaff minisat SatELite
0.85287 0.355945 0.942856

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

zChaff minisat SatELite
0.85287 0.355945 0.942856