gensys-ukn002.shuffled-as.sat05-3345.cnf

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


zChaff minisat SatELite
2.87056 0.19197 0.693894

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc27.0527.982.666.556.0604572264572262574371.55276UNKNOWN

zChaff minisat SatELite
1.51277 0.107983 0.640902

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn23.7340.395.589.694.8702510142510141660231.18082UNKNOWN

zChaff minisat SatELite
0.999847 0.076988 0.602908

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

zChaff minisat SatELite
1.64275 0.069989 0.546916

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb25.4339.497.689.486.9902171122171121451911.12283UNKNOWN

zChaff minisat SatELite
1.11083 0.075988 0.582911

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

zChaff minisat SatELite
0.679896 0.066989 0.563914

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn25.4539.487.689.477.000216512216512725020.400939UNKNOWN

zChaff minisat SatELite
1.81272 0.075988 0.611906

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

zChaff minisat SatELite
0.671898 0.069989 0.527919

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb25.4539.487.689.477.000216512216512724840.404938UNKNOWN

zChaff minisat SatELite
1.86472 0.073988 0.605907