rovers5_ks99i.renamed-as.sat05-3974.cnf

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


zChaff minisat SatELite
0.009998 0.021996 0.85287

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc99.0110.2399.010.0789.7702201 82201 865317561.69174UNKNOWN

zChaff minisat SatELite
0.030995 0.019996 0.820875

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn99.099.4799.090.0790.5300 00 016870.010998UNKNOWN

zChaff minisat SatELite
0.009998 0.021996 0.85287

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb99.099.4799.090.0790.5300 00 016870.013997UNKNOWN

zChaff minisat SatELite
0.009998 0.021996 0.85287

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb99.099.4799.090.0790.5300 00 016870.007998UNKNOWN

zChaff minisat SatELite
0.009998 0.021996 0.85287

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw99.089.5699.080.0790.440287 1287 11822610.06199UNKNOWN

zChaff minisat SatELite
0.033994 0.021996 0.830873

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn99.099.4799.090.0790.5300 00 016870.011998UNKNOWN

zChaff minisat SatELite
0.009998 0.021996 0.85287

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb99.099.4799.090.0790.5300 00 016870.015997UNKNOWN

zChaff minisat SatELite
0.009998 0.021996 0.85287

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb99.099.4799.090.0790.5300 00 016870.008998UNKNOWN

zChaff minisat SatELite
0.009998 0.021996 0.85287