marg3x3add8.shuffled-as.sat03-1449.cnf

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


zChaff minisat SatELite
1.12983 1.58576 16.7724

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc25.4521.880.004.023.1200 00 010560.001999UNKNOWN

zChaff minisat SatELite
1.12983 1.58576 16.7724

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn25.4521.880.004.023.1200 00 07940.002999UNKNOWN

zChaff minisat SatELite
1.12983 1.58576 16.7724

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb25.4521.880.004.023.1200 00 010560.002999UNKNOWN

zChaff minisat SatELite
1.12983 1.58576 16.7724

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb25.4521.880.004.023.1200 00 07940.002999UNKNOWN

zChaff minisat SatELite
1.12983 1.58576 16.7724

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw25.4521.880.004.023.1200 00 000.001999UNKNOWN

zChaff minisat SatELite
1.12983 1.58576 16.7724

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn25.4521.880.004.023.1200 00 000.000999UNKNOWN

zChaff minisat SatELite
1.12983 1.58576 16.7724

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb25.4521.880.004.023.1200 00 000.000999UNKNOWN

zChaff minisat SatELite
1.12983 1.58576 16.7724

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb25.4521.880.004.023.1200 00 000.002999UNKNOWN

zChaff minisat SatELite
1.12983 1.58576 16.7724