IBM_FV_2004_rule_batch_16_1_SAT_dat.k50.cnf

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


zChaff minisat SatELite
1.73274 0.957854 4.53631

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc77.5172.3880.138.9516.1114564 44564 4121896129.8725UNKNOWN

zChaff minisat SatELite
2.81257 0.795879 5.04823

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn78.4872.2080.878.5616.700393 0393 023121521.89571UNKNOWN

zChaff minisat SatELite
2.24366 0.569913 3.9644

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb78.3372.2780.938.6816.680300 0300 016682411.38779UNKNOWN

zChaff minisat SatELite
2.14367 0.832873 3.40148

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb78.3872.2480.898.6816.680251 0251 013045221.09383UNKNOWN

zChaff minisat SatELite
2.54261 0.804877 3.25251

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw77.8872.8480.468.8115.8512865 32865 3103191268.39972UNKNOWN

zChaff minisat SatELite
3.17352 0.582911 3.34649

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn78.4872.2080.878.5616.700393 0393 022249841.84272UNKNOWN

zChaff minisat SatELite
2.23466 0.596909 3.9734

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb78.3372.2780.938.6816.680300 0300 016671231.40679UNKNOWN

zChaff minisat SatELite
2.23966 0.831873 3.43248

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb78.3872.2480.898.6816.680251 0251 013045221.11083UNKNOWN

zChaff minisat SatELite
2.53561 0.793879 3.2785