gencnf-k4-r9.88-v177-c1748-01-S1025696632.used-as.sat04-161.cnf

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


zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc27.7532.380.006.695.1500 00 069980.018997UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn27.7532.380.006.695.1500 00 047320.012998UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb27.7532.380.006.695.1500 00 069980.019996UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb27.7532.380.006.695.1500 00 047320.013997UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

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

zChaff minisat SatELite
TimeOut TimeOut TimeOut

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

zChaff minisat SatELite
TimeOut TimeOut TimeOut

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

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb27.7532.380.006.695.1500 00 000.001999UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut