3col60_5_6.shuffled.cnf

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


zChaff minisat SatELite
0.014998 0.011998 0.041993

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc38.8140.5912.877.726.93011 211 221900.004999UNKNOWN

zChaff minisat SatELite
0.021997 0.011998 0.065989

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn38.8640.8313.027.896.9009 29 213660.001999UNKNOWN

zChaff minisat SatELite
0.022997 0.010998 0.040993

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb38.9340.7113.047.916.92010 210 220600.001999UNKNOWN

zChaff minisat SatELite
0.022997 0.010998 0.042993

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb38.8640.8313.027.896.9009 29 213360.002999UNKNOWN

zChaff minisat SatELite
0.022997 0.013997 0.040993

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw38.9340.7113.047.916.92010 210 220620.002999UNKNOWN

zChaff minisat SatELite
0.021997 0.011998 0.039993

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn38.8640.8313.027.896.9009 29 213360.000999UNKNOWN

zChaff minisat SatELite
0.021997 0.012998 0.039993

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb38.9340.7113.047.916.92010 210 220600.003999UNKNOWN

zChaff minisat SatELite
0.022997 0.011998 0.041993

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb38.8640.8313.027.896.9009 29 213360.003999UNKNOWN

zChaff minisat SatELite
0.021997 0.010998 0.040993