4col120_9_8.shuffled.cnf

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


zChaff minisat SatELite
9309.74 154.185 635.101

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc31.1231.120.286.426.2300 00 086460.022996UNKNOWN

zChaff minisat SatELite
9309.74 154.185 635.101

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn31.1231.120.286.426.2300 00 059680.014997UNKNOWN

zChaff minisat SatELite
9309.74 154.185 635.101

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb31.1231.120.286.426.2300 00 086400.022996UNKNOWN

zChaff minisat SatELite
9309.74 154.185 635.101

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb31.1231.120.286.426.2300 00 059680.015997UNKNOWN

zChaff minisat SatELite
9309.74 154.185 635.101

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

zChaff minisat SatELite
9309.74 154.185 635.101

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn31.1231.120.286.426.2300 00 000UNKNOWN

zChaff minisat SatELite
9309.74 154.185 635.101

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb31.1231.120.286.426.2300 00 000.003999UNKNOWN

zChaff minisat SatELite
9309.74 154.185 635.101

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

zChaff minisat SatELite
9309.74 154.185 635.101