driverlog4_v01i.renamed-as.sat05-3966.cnf

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


zChaff minisat SatELite
0.002999 0.012998 0.208968

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

zChaff minisat SatELite
0.005999 0.011998 0.203968

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn95.405.7095.400.0694.300198 1198 1963900.051992UNKNOWN

zChaff minisat SatELite
0.008999 0.013997 0.279957

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb95.735.3695.730.0694.640254 2254 2945150.053991UNKNOWN

zChaff minisat SatELite
0.013998 0.011998 0.241963

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb95.405.7095.400.0694.300198 1198 1963900.050992UNKNOWN

zChaff minisat SatELite
0.008998 0.011998 0.277957

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw95.635.4995.630.0694.510629 4629 41948950.114982UNKNOWN

zChaff minisat SatELite
0.016997 0.011998 0.237963

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn95.405.7095.400.0694.300198 1198 1963900.049992UNKNOWN

zChaff minisat SatELite
0.008999 0.010998 0.274958

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb95.735.3695.730.0694.640254 2254 2945150.052991UNKNOWN

zChaff minisat SatELite
0.011998 0.009998 0.233964

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb95.405.7095.400.0694.300198 1198 1963900.050992UNKNOWN

zChaff minisat SatELite
0.008999 0.014997 0.272958