phnf-size10-exclusive-twoall.used-as.sat04-985.shuffled-as.sat05-4197.cnf

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


zChaff minisat SatELite
TimeOut TimeOut TimeOut

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

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn70.0188.8999.6229.6210.740842501684250162225772525.0742UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

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

zChaff minisat SatELite
TimeOut TimeOut TimeOut

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

zChaff minisat SatELite
TimeOut TimeOut TimeOut

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

zChaff minisat SatELite
TimeOut TimeOut TimeOut

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

zChaff minisat SatELite
TimeOut TimeOut TimeOut

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

zChaff minisat SatELite
TimeOut TimeOut TimeOut

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

zChaff minisat SatELite
TimeOut TimeOut TimeOut