SGI_30_60_24_40_2-dir.shuffled-as.sat03-118.cnf

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


zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc72.5977.2199.9627.3722.7500 00 0163819386.12407UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn72.5977.2199.9627.3722.7500 00 037476491.43478UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb72.5977.2199.9627.3722.7500 00 07200.032994UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb72.5977.2199.9627.3722.7500 00 07200.019996UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw72.5977.2199.9627.3722.7500 00 07200.034994UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn72.5977.2199.9627.3722.7500 00 07200.020996UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb72.5977.2199.9627.3722.7500 00 07200.029995UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb72.5977.2199.9627.3722.7500 00 07200.019996UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut