satellite3_v01a.renamed-as.sat05-3989.cnf

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


zChaff minisat SatELite
0.001 0.003999 0.12798

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

zChaff minisat SatELite
0.001 0.003999 0.093985

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn97.984.0497.980.0695.96012 012 0106960.006998UNKNOWN

zChaff minisat SatELite
0 0.005999 0.136979

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb97.984.0497.980.0695.96012 012 0106330.005999UNKNOWN

zChaff minisat SatELite
0.001999 0.005999 0.139978

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb97.984.0497.980.0695.96012 012 0106960.006998UNKNOWN

zChaff minisat SatELite
0.001999 0.006998 0.143978

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw97.964.0597.960.0695.95085 185 1512750.024996UNKNOWN

zChaff minisat SatELite
0.001 0.005999 0.136979

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn97.984.0497.980.0695.96012 012 0106960.006998UNKNOWN

zChaff minisat SatELite
0.001 0.003999 0.135979

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb97.984.0497.980.0695.96012 012 0106330.006998UNKNOWN

zChaff minisat SatELite
0.001 0.005999 0.135979

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb97.984.0497.980.0695.96012 012 0106960.003999UNKNOWN

zChaff minisat SatELite
0.001 0.004999 0.144977