cnt07.shuffled.cnf

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


zChaff minisat SatELite
0.59791 0.183972 1.07184

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

zChaff minisat SatELite
0.59791 0.183972 1.07184

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

zChaff minisat SatELite
0.59791 0.183972 1.07184

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

zChaff minisat SatELite
0.59791 0.183972 1.07184

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

zChaff minisat SatELite
0.59791 0.183972 1.07184

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

zChaff minisat SatELite
0.59791 0.183972 1.07184

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

zChaff minisat SatELite
0.59791 0.183972 1.07184

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

zChaff minisat SatELite
0.59791 0.183972 1.07184

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

zChaff minisat SatELite
0.59791 0.183972 1.07184