jnh201.cnf

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


zChaff minisat SatELite
0 0.001999 0.003999

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

zChaff minisat SatELite
0.001 0.002999 0.006998

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

zChaff minisat SatELite
0 0.003999 0.004999

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

zChaff minisat SatELite
0.001 0.002999 0.003999

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

zChaff minisat SatELite
0 0.002999 0.005999

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

zChaff minisat SatELite
0.001 0.001999 0.004999

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

zChaff minisat SatELite
0.001 0.001999 0.004999

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

zChaff minisat SatELite
0 0.001999 0.004999

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

zChaff minisat SatELite
0 0.000999 0.002999