f83-b11-s0-0.cnf

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


zChaff minisat SatELite
0.017997 0.040993 0.268959

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc61.7963.0651.1919.8718.56018364421836442353954010.1815UNKNOWN

zChaff minisat SatELite
0.044993 0.030995 0.160975

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn43.2577.1440.1422.8413.1401077925107792516109025.68214UNKNOWN

zChaff minisat SatELite
0.032996 0.034994 0.268959

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb62.1863.4652.7320.0518.7401753740175374027087928.19875UNKNOWN

zChaff minisat SatELite
0.054991 0.027995 0.162975

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb43.1577.3042.0622.8914.3301085025108502513975185.39718UNKNOWN

zChaff minisat SatELite
0.031995 0.028995 0.211967

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw62.0763.2952.2319.9718.7201781141178114128772248.79866UNKNOWN

zChaff minisat SatELite
0.074988 0.027995 0.268959

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn43.5976.6841.0122.7113.9401057924105792414559185.39118UNKNOWN

zChaff minisat SatELite
0.032995 0.029995 0.225965

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb62.1863.4652.7320.0518.7401753740175374027087929.04962UNKNOWN

zChaff minisat SatELite
0.055991 0.025996 0.158975

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb43.1577.3042.0622.8914.3301085025108502513975185.59715UNKNOWN

zChaff minisat SatELite
0.031995 0.033994 0.210967