jnh305.cnf

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


zChaff minisat SatELite
0.001 0.003999 0.011998

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

zChaff minisat SatELite
0.001 0.001999 0.014997

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

zChaff minisat SatELite
0.001 0.002999 0.007998

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

zChaff minisat SatELite
0 0.002999 0.011998

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

zChaff minisat SatELite
0.001 0.001999 0.010998

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

zChaff minisat SatELite
0.001 0.003999 0.012998

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

zChaff minisat SatELite
0.001 0.002999 0.009998

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

zChaff minisat SatELite
0 0.002999 0.011998

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

zChaff minisat SatELite
0 0.001999 0.008998