IBM_FV_2004_rule_batch_15_SAT_dat.k10.cnf

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


zChaff minisat SatELite
0.173973 0.140978 1.62475

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc80.8677.0676.338.3010.4845674 85674 863996363.88141UNKNOWN

zChaff minisat SatELite
0.215967 0.121981 1.85072

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn82.3278.4177.987.6310.000408 1408 111985760.702893UNKNOWN

zChaff minisat SatELite
0.045993 0.155976 1.65375

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb82.0078.5278.097.989.960153 0153 07344970.533918UNKNOWN

zChaff minisat SatELite
0.040994 0.132979 1.58376

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb82.0178.4978.067.989.960127 0127 05833270.381941UNKNOWN

zChaff minisat SatELite
0.040994 0.134979 1.69174

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw81.9178.2977.607.849.9411763 21763 237908102.39064UNKNOWN

zChaff minisat SatELite
0.113983 0.13098 1.53277

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn82.3278.4177.987.6310.000408 1408 111985700.743886UNKNOWN

zChaff minisat SatELite
0.042994 0.161975 1.67175

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb82.0078.5278.097.989.960153 0153 07344970.546916UNKNOWN

zChaff minisat SatELite
0.040993 0.135979 1.58476

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb82.0178.4978.067.989.960127 0127 05833270.387941UNKNOWN

zChaff minisat SatELite
0.041993 0.135979 1.81272