cnt10.shuffled.cnf

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


zChaff minisat SatELite
1755.26 156.11 976.218

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc56.6756.7026.8915.9315.9800 00 027049523.86641UNKNOWN

zChaff minisat SatELite
1755.26 156.11 976.218

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn56.6756.7026.8915.9315.9800 00 012168891.77973UNKNOWN

zChaff minisat SatELite
1755.26 156.11 976.218

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb56.6756.7026.8915.9315.9800 00 021535023.16052UNKNOWN

zChaff minisat SatELite
1755.26 156.11 976.218

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb56.6756.7026.8915.9315.9800 00 010791461.63475UNKNOWN

zChaff minisat SatELite
1755.26 156.11 976.218

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw56.6756.7026.8915.9315.9800 00 023498613.51647UNKNOWN

zChaff minisat SatELite
1755.26 156.11 976.218

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn56.6756.7026.8915.9315.9800 00 010614731.60576UNKNOWN

zChaff minisat SatELite
1755.26 156.11 976.218

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb56.6756.7026.8915.9315.9800 00 019086302.78858UNKNOWN

zChaff minisat SatELite
1755.26 156.11 976.218

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb56.6756.7026.8915.9315.9800 00 09525161.44178UNKNOWN

zChaff minisat SatELite
1755.26 156.11 976.218