f1-b10-s10-10.cnf

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


zChaff minisat SatELite
0.000999 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc67.5864.6886.1919.5423.4700 00 0140470.008998UNKNOWN

zChaff minisat SatELite
0.000999 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn67.5864.6886.1919.5423.4700 00 052800.003999UNKNOWN

zChaff minisat SatELite
0.000999 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb67.5864.6886.1919.5423.4700 00 028930.005999UNKNOWN

zChaff minisat SatELite
0.000999 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb67.5864.6886.1919.5423.4700 00 027970.003999UNKNOWN

zChaff minisat SatELite
0.000999 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw67.5864.6886.1919.5423.4700 00 028930.003999UNKNOWN

zChaff minisat SatELite
0.000999 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn67.5864.6886.1919.5423.4700 00 027970.003999UNKNOWN

zChaff minisat SatELite
0.000999 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb67.5864.6886.1919.5423.4700 00 028930.003999UNKNOWN

zChaff minisat SatELite
0.000999 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb67.5864.6886.1919.5423.4700 00 027970.001999UNKNOWN

zChaff minisat SatELite
0.000999 TimeOut TimeOut