iso-brn005.shuffled-as.sat05-3505.cnf

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


zChaff minisat SatELite
0.034993 0.161975 1.85872

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

zChaff minisat SatELite
0.13198 0.047992 1.78973

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

zChaff minisat SatELite
0.103984 0.046992 1.78773

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

zChaff minisat SatELite
0.021997 0.06399 1.69274

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

zChaff minisat SatELite
0.046993 0.046992 1.9547

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

zChaff minisat SatELite
0.036994 0.05999 1.73673

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

zChaff minisat SatELite
0.088986 0.044993 1.76973

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

zChaff minisat SatELite
0.098985 0.06199 1.70874

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

zChaff minisat SatELite
0.039994 0.045993 1.83072