f35-b2-s0-0.cnf

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


zChaff minisat SatELite
0.009998 0.021996 0.068989

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

zChaff minisat SatELite
0.009998 0.021996 0.068989

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn35.7139.2112.548.758.4500 00 019020.002999UNKNOWN

zChaff minisat SatELite
0.009998 0.021996 0.068989

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb35.7139.2112.548.758.4500 00 028140.002999UNKNOWN

zChaff minisat SatELite
0.009998 0.021996 0.068989

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb35.7139.2112.548.758.4500 00 018620.002999UNKNOWN

zChaff minisat SatELite
0.009998 0.021996 0.068989

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

zChaff minisat SatELite
0.009998 0.021996 0.068989

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn35.7139.2112.548.758.4500 00 018620.002999UNKNOWN

zChaff minisat SatELite
0.009998 0.021996 0.068989

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb35.7139.2112.548.758.4500 00 028140.003999UNKNOWN

zChaff minisat SatELite
0.009998 0.021996 0.068989

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb35.7139.2112.548.758.4500 00 018620.002999UNKNOWN

zChaff minisat SatELite
0.009998 0.021996 0.068989