IBM_FV_2004_rule_batch_22_SAT_dat.k100.cnf

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


zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc80.1975.9476.186.0710.04378078 978078 9325037979263.142UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut 6647

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn81.9077.4478.095.469.6606346 16346 18222621770.7452UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut 8788.44

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb81.6177.5378.185.819.6303205 03205 05050690642.1406UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb81.6077.5278.175.809.6303103 03103 04590073139.491UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw81.3877.4577.535.669.32328931 328931 3249657632199.359UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn81.9077.4478.095.469.6606346 16346 18190795667.2968UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut 8935.33

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb81.6177.5378.185.819.6303205 03205 05050690645.1841UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb81.6077.5278.175.809.6303103 03103 04590073138.0272UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut