fifo8_300.shuffled.cnf

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


zChaff minisat SatELite
748.612 305.603 208.597

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc68.9268.8977.6722.2122.2402 02 053777645102.074UNKNOWN

zChaff minisat SatELite
478.723 349.367 232.966

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn68.9268.8977.6722.2122.2400 00 01624451031.2622UNKNOWN

zChaff minisat SatELite
748.612 305.603 208.597

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb68.9268.8977.6722.2122.2400 00 0882670318.7661UNKNOWN

zChaff minisat SatELite
748.612 305.603 208.597

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb68.9268.8977.6722.2122.2400 00 0495146210.2654UNKNOWN

zChaff minisat SatELite
748.612 305.603 208.597

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw68.9268.8977.6722.2122.2402 02 05178469993.5508UNKNOWN

zChaff minisat SatELite
461.182 324.934 210.628

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn68.9268.8977.6722.2122.2400 00 01575771031.5912UNKNOWN

zChaff minisat SatELite
748.612 305.603 208.597

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb68.9268.8977.6722.2122.2400 00 0882670319.0541UNKNOWN

zChaff minisat SatELite
748.612 305.603 208.597

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb68.9268.8977.6722.2122.2400 00 0495146210.7064UNKNOWN

zChaff minisat SatELite
748.612 305.603 208.597