7999999957nc.shuffled-as.sat03-1673.cnf

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


zChaff minisat SatELite
3361.5 195.215 641.593

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc49.6350.760.4012.6712.8300 00 0473170.078987UNKNOWN

zChaff minisat SatELite
3361.5 195.215 641.593

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn49.6350.760.4012.6712.8300 00 0234140.042993UNKNOWN

zChaff minisat SatELite
3361.5 195.215 641.593

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb49.6350.760.4012.6712.8300 00 0472680.077988UNKNOWN

zChaff minisat SatELite
3361.5 195.215 641.593

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb49.6350.760.4012.6712.8300 00 0234140.039993UNKNOWN

zChaff minisat SatELite
3361.5 195.215 641.593

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw49.6350.760.4012.6712.8300 00 000.011998UNKNOWN

zChaff minisat SatELite
3361.5 195.215 641.593

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn49.6350.760.4012.6712.8300 00 000.006998UNKNOWN

zChaff minisat SatELite
3361.5 195.215 641.593

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb49.6350.760.4012.6712.8300 00 000.009998UNKNOWN

zChaff minisat SatELite
3361.5 195.215 641.593

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb49.6350.760.4012.6712.8300 00 000.006998UNKNOWN

zChaff minisat SatELite
3361.5 195.215 641.593