f17-b76-s0-20.cnf

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


zChaff minisat SatELite
0.774882 0.394939 1.81372

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc66.1266.7471.4321.2820.3001069722106972281680557.06193UNKNOWN

zChaff minisat SatELite
0.278957 0.581911 1.73873

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn63.8871.9672.2522.7717.0903869 83869 828050432.66859UNKNOWN

zChaff minisat SatELite
0.468929 0.387941 1.84272

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb67.6168.0875.9521.8121.0403667 83667 823980002.22366UNKNOWN

zChaff minisat SatELite
0.238964 0.619905 1.78173

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb65.2969.1773.3421.8920.3202088 42088 413814571.3088UNKNOWN

zChaff minisat SatELite
0.514922 0.359945 1.9607

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw66.7267.2073.3121.5420.72080201780201768360106.00209UNKNOWN

zChaff minisat SatELite
0.537918 0.474927 1.64675

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn64.4570.8272.6822.4118.3903158 73158 724690902.36564UNKNOWN

zChaff minisat SatELite
0.398939 0.430934 1.83472

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb67.6168.0775.9321.8021.0303657 83657 823910712.19467UNKNOWN

zChaff minisat SatELite
0.415936 0.600908 1.80573

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb65.2969.1673.3321.8820.3102081 42081 413766721.3258UNKNOWN

zChaff minisat SatELite
0.442932 0.350946 1.9487