f28-b7-s0-0.cnf

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


zChaff minisat SatELite
0.138979 0.025996 0.138978

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

zChaff minisat SatELite
0.138979 0.025996 0.138978

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

zChaff minisat SatELite
0.138979 0.025996 0.138978

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

zChaff minisat SatELite
0.138979 0.025996 0.138978

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

zChaff minisat SatELite
0.138979 0.025996 0.138978

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

zChaff minisat SatELite
0.138979 0.025996 0.138978

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

zChaff minisat SatELite
0.138979 0.025996 0.138978

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

zChaff minisat SatELite
0.138979 0.025996 0.138978

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

zChaff minisat SatELite
0.138979 0.025996 0.138978