SGI_30_70_29_50_3-dir.shuffled-as.sat03-179.cnf

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


zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc71.1378.5199.9628.8321.4500 00 0213291608.41172UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn71.1378.5199.9628.8321.4500 00 045327251.85272UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb71.1378.5199.9628.8321.4500 00 08700.036994UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb71.1378.5199.9628.8321.4500 00 08700.020996UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw71.1378.5199.9628.8321.4500 00 08700.040993UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn71.1378.5199.9628.8321.4500 00 08700.026995UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb71.1378.5199.9628.8321.4500 00 08700.036994UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb71.1378.5199.9628.8321.4500 00 08700.025996UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut