php-012-012.shuffled-as.sat05-1158.cnf

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


zChaff minisat SatELite
0.001 2.54761 0.115982

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc77.9971.1498.5120.5227.3600 00 096480.003999UNKNOWN

zChaff minisat SatELite
0.001 2.54761 0.115982

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn77.9971.1498.5120.5227.3600 00 021240.000999UNKNOWN

zChaff minisat SatELite
0.001 2.54761 0.115982

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb77.9971.1498.5120.5227.3600 00 01440.000999UNKNOWN

zChaff minisat SatELite
0.001 2.54761 0.115982

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb77.9971.1498.5120.5227.3600 00 01440.000999UNKNOWN

zChaff minisat SatELite
0.001 2.54761 0.115982

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw77.9971.1498.5120.5227.3600 00 01440.001999UNKNOWN

zChaff minisat SatELite
0.001 2.54761 0.115982

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn77.9971.1498.5120.5227.3600 00 01440.001999UNKNOWN

zChaff minisat SatELite
0.001 2.54761 0.115982

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb77.9971.1498.5120.5227.3600 00 01440.000999UNKNOWN

zChaff minisat SatELite
0.001 2.54761 0.115982

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb77.9971.1498.5120.5227.3600 00 01440.000999UNKNOWN

zChaff minisat SatELite
0.001 2.54761 0.115982