f1-b11-s11-10.cnf

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


zChaff minisat SatELite
0.162975 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc62.8069.4486.9924.1917.9500 00 0175260.009998UNKNOWN

zChaff minisat SatELite
0.162975 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn62.8069.4486.9924.1917.9500 00 061880.004999UNKNOWN

zChaff minisat SatELite
0.162975 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb62.8069.4486.9924.1917.9500 00 034200.003999UNKNOWN

zChaff minisat SatELite
0.162975 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb62.8069.4486.9924.1917.9500 00 033120.002999UNKNOWN

zChaff minisat SatELite
0.162975 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw62.8069.4486.9924.1917.9500 00 034200.002999UNKNOWN

zChaff minisat SatELite
0.162975 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn62.8069.4486.9924.1917.9500 00 033120.003999UNKNOWN

zChaff minisat SatELite
0.162975 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb62.8069.4486.9924.1917.9500 00 034200.004999UNKNOWN

zChaff minisat SatELite
0.162975 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb62.8069.4486.9924.1917.9500 00 033120.004999UNKNOWN

zChaff minisat SatELite
0.162975 TimeOut TimeOut