unif-c1487-v350-s107861659.cnf

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


zChaff minisat SatELite
TimeOut 556.539 1250.61

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc51.0448.960.0012.7113.1800 00 045300.007998UNKNOWN

zChaff minisat SatELite
TimeOut 556.539 1250.61

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn51.0448.960.0012.7113.1800 00 022180.003999UNKNOWN

zChaff minisat SatELite
TimeOut 556.539 1250.61

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb51.0448.960.0012.7113.1800 00 045300.005999UNKNOWN

zChaff minisat SatELite
TimeOut 556.539 1250.61

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb51.0448.960.0012.7113.1800 00 022180.002999UNKNOWN

zChaff minisat SatELite
TimeOut 556.539 1250.61

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw51.0448.960.0012.7113.1800 00 000.000999UNKNOWN

zChaff minisat SatELite
TimeOut 556.539 1250.61

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn51.0448.960.0012.7113.1800 00 000.000999UNKNOWN

zChaff minisat SatELite
TimeOut 556.539 1250.61

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb51.0448.960.0012.7113.1800 00 000.000999UNKNOWN

zChaff minisat SatELite
TimeOut 556.539 1250.61

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb51.0448.960.0012.7113.1800 00 000.000999UNKNOWN

zChaff minisat SatELite
TimeOut 556.539 1250.61