2013113162201nc.shuffled-as.sat03-1667.cnf

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


zChaff minisat SatELite
814.308 1628.47 TimeOut

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

zChaff minisat SatELite
814.308 1628.47 TimeOut

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

zChaff minisat SatELite
814.308 1628.47 TimeOut

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

zChaff minisat SatELite
814.308 1628.47 TimeOut

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

zChaff minisat SatELite
814.308 1628.47 TimeOut

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

zChaff minisat SatELite
814.308 1628.47 TimeOut

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

zChaff minisat SatELite
814.308 1628.47 TimeOut

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

zChaff minisat SatELite
814.308 1628.47 TimeOut

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

zChaff minisat SatELite
814.308 1628.47 TimeOut