pyhala-braun-unsat-35-4-04.shuffled-as.sat03-1544.cnf

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


zChaff minisat SatELite
TimeOut 258.555 1033.97

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc60.2660.6040.8617.6617.3300 00 05237110.478927UNKNOWN

zChaff minisat SatELite
TimeOut 258.555 1033.97

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn60.2660.6040.8617.6617.3300 00 01698510.178972UNKNOWN

zChaff minisat SatELite
TimeOut 258.555 1033.97

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb60.2660.6040.8617.6617.3300 00 01944230.210967UNKNOWN

zChaff minisat SatELite
TimeOut 258.555 1033.97

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb60.2660.6040.8617.6617.3300 00 0941800.103984UNKNOWN

zChaff minisat SatELite
TimeOut 258.555 1033.97

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw60.2660.6040.8617.6617.3300 00 04395610.38994UNKNOWN

zChaff minisat SatELite
TimeOut 258.555 1033.97

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn60.2660.6040.8617.6617.3300 00 01523240.146977UNKNOWN

zChaff minisat SatELite
TimeOut 258.555 1033.97

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb60.2660.6040.8617.6617.3300 00 01939510.209968UNKNOWN

zChaff minisat SatELite
TimeOut 258.555 1033.97

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb60.2660.6040.8617.6617.3300 00 0939640.112982UNKNOWN

zChaff minisat SatELite
TimeOut 258.555 1033.97