hgen6-4-20-n250-02-S179009392.shuffled-as.sat03-801.cnf

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


zChaff minisat SatELite
TimeOut 768.542 7252

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc50.2949.710.0012.9512.1900 00 031500.002999UNKNOWN

zChaff minisat SatELite
TimeOut 768.542 7252

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn50.2949.710.0012.9512.1900 00 015660.002999UNKNOWN

zChaff minisat SatELite
TimeOut 768.542 7252

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb50.2949.710.0012.9512.1900 00 031500.003999UNKNOWN

zChaff minisat SatELite
TimeOut 768.542 7252

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb50.2949.710.0012.9512.1900 00 015660.002999UNKNOWN

zChaff minisat SatELite
TimeOut 768.542 7252

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

zChaff minisat SatELite
TimeOut 768.542 7252

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

zChaff minisat SatELite
TimeOut 768.542 7252

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

zChaff minisat SatELite
TimeOut 768.542 7252

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

zChaff minisat SatELite
TimeOut 768.542 7252