3col40_5_1.shuffled.cnf

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


zChaff minisat SatELite
0.002 0.002999 0.010998

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc36.9538.7113.499.388.5005 15 114860.003999UNKNOWN

zChaff minisat SatELite
0.003999 0.002999 0.011998

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn36.9538.7113.499.388.5005 15 19710.001999UNKNOWN

zChaff minisat SatELite
0.004 0.001999 0.011998

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

zChaff minisat SatELite
0.004 0.001999 0.010998

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb36.9538.7113.499.388.5005 15 19450.001999UNKNOWN

zChaff minisat SatELite
0.003999 0.003999 0.010998

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw36.9538.7113.499.388.5005 15 113980.002999UNKNOWN

zChaff minisat SatELite
0.003 0.002999 0.010998

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn36.9538.7113.499.388.5005 15 19450.001999UNKNOWN

zChaff minisat SatELite
0.003999 0.003999 0.011998

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

zChaff minisat SatELite
0.003 0.003999 0.009998

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb36.9538.7113.499.388.5005 15 19450.001999UNKNOWN

zChaff minisat SatELite
0.004 0.001999 0.010998