cnf-r2-b3-k1.1.cnf

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


zChaff minisat SatELite
0.207968 0.092985 1.45878

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

zChaff minisat SatELite
0.006999 0.007998 0.444932

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

zChaff minisat SatELite
0.004999 0.005999 0.432934

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

zChaff minisat SatELite
0.004999 0.007998 0.39094

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

zChaff minisat SatELite
0.004999 0.007998 0.439933

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

zChaff minisat SatELite
0.006999 0.009998 0.470928

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

zChaff minisat SatELite
0.005 0.005999 0.435933

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

zChaff minisat SatELite
0.004999 0.009998 0.397939

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

zChaff minisat SatELite
0.004 0.007998 0.431934