bevhcube4.shuffled-as.sat03-1426.cnf

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


zChaff minisat SatELite
1.05384 0.45393 29.5245

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc44.5355.470.009.7715.2300 00 07680.001999UNKNOWN

zChaff minisat SatELite
1.05384 0.45393 29.5245

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn44.5355.470.009.7715.2300 00 03420.001999UNKNOWN

zChaff minisat SatELite
1.05384 0.45393 29.5245

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb44.5355.470.009.7715.2300 00 07680.001999UNKNOWN

zChaff minisat SatELite
1.05384 0.45393 29.5245

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb44.5355.470.009.7715.2300 00 03420.000999UNKNOWN

zChaff minisat SatELite
1.05384 0.45393 29.5245

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

zChaff minisat SatELite
1.05384 0.45393 29.5245

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

zChaff minisat SatELite
1.05384 0.45393 29.5245

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

zChaff minisat SatELite
1.05384 0.45393 29.5245

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

zChaff minisat SatELite
1.05384 0.45393 29.5245