qg5-10.shuffled.cnf

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


zChaff minisat SatELite
0.017998 0.042993 0.26296

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

zChaff minisat SatELite
0.040993 0.028995 0.160975

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

zChaff minisat SatELite
0.033995 0.037994 0.212967

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

zChaff minisat SatELite
0.055991 0.026995 0.172973

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

zChaff minisat SatELite
0.029995 0.030995 0.213967

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

zChaff minisat SatELite
0.074989 0.026995 0.174973

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

zChaff minisat SatELite
0.031996 0.035994 0.206968

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

zChaff minisat SatELite
0.055992 0.026995 0.161975

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

zChaff minisat SatELite
0.029996 0.030995 0.207968