Composite-048BitPrimes-0.used-as.sat04-864.cnf

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


zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc32.0416.345.890.110.2302218 52218 59022493.22951UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn35.3520.4210.470.110.2209 09 06387322.06768UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb35.3520.4210.470.110.2209 09 07270333.11453UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb35.3520.4210.470.110.2209 09 06387322.24066UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw35.3520.4210.470.110.2208 08 02943352.88856UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn35.3520.4210.470.110.2208 08 02058561.9797UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb35.3520.4210.470.110.2208 08 02940582.6386UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb35.3520.4210.470.110.2208 08 02058561.9997UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut