pyhala-braun-sat-30-4-04.shuffled.cnf

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


zChaff minisat SatELite
23.4924 17.2414 24.4843

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

zChaff minisat SatELite
23.4924 17.2414 24.4843

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

zChaff minisat SatELite
23.4924 17.2414 24.4843

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

zChaff minisat SatELite
23.4924 17.2414 24.4843

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

zChaff minisat SatELite
23.4924 17.2414 24.4843

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

zChaff minisat SatELite
23.4924 17.2414 24.4843

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

zChaff minisat SatELite
23.4924 17.2414 24.4843

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

zChaff minisat SatELite
23.4924 17.2414 24.4843

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

zChaff minisat SatELite
23.4924 17.2414 24.4843