php-035-035.shuffled-as.sat05-1165.cnf

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


zChaff minisat SatELite
0.009998 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc74.7775.0199.8325.0624.8200 00 07301000.316951UNKNOWN

zChaff minisat SatELite
0.009998 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn74.7775.0199.8325.0624.8200 00 01824200.082987UNKNOWN

zChaff minisat SatELite
0.009998 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb74.7775.0199.8325.0624.8200 00 012250.009998UNKNOWN

zChaff minisat SatELite
0.009998 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb74.7775.0199.8325.0624.8200 00 012250.008998UNKNOWN

zChaff minisat SatELite
0.009998 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw74.7775.0199.8325.0624.8200 00 012250.014997UNKNOWN

zChaff minisat SatELite
0.009998 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn74.7775.0199.8325.0624.8200 00 012250.007998UNKNOWN

zChaff minisat SatELite
0.009998 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb74.7775.0199.8325.0624.8200 00 012250.012998UNKNOWN

zChaff minisat SatELite
0.009998 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb74.7775.0199.8325.0624.8200 00 012250.007998UNKNOWN

zChaff minisat SatELite
0.009998 TimeOut TimeOut