3col20_5_5.shuffled.cnf

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


zChaff minisat SatELite
0.001 0.001999 0.003999

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc30.2931.4314.8614.299.1401 11 17520.000999UNKNOWN

zChaff minisat SatELite
0.001 0.003999 0.003999

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

zChaff minisat SatELite
0.001 0.002999 0.002999

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb30.2931.4314.8614.299.1401 11 17020.001999UNKNOWN

zChaff minisat SatELite
0.001 0.000999 0.004999

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb30.2931.4314.8614.299.1401 11 15370.002999UNKNOWN

zChaff minisat SatELite
0 0.003999 0.004999

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw30.2931.4314.8614.299.1401 11 17040.002999UNKNOWN

zChaff minisat SatELite
0 0.002999 0.002999

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn30.2931.4314.8614.299.1401 11 15370.000999UNKNOWN

zChaff minisat SatELite
0.001 0.002999 0.003999

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

zChaff minisat SatELite
0.001 0.003999 0.005999

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb30.2931.4314.8614.299.1401 11 15370.000999UNKNOWN

zChaff minisat SatELite
0.001 0.000999 0.004999