ii16b1.cnf

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


zChaff minisat SatELite
0.052992 0.014997 0.19097

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc98.7496.2995.541.263.71016 016 026644401.91371UNKNOWN

zChaff minisat SatELite
0.015997 0.013997 0.184971

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn98.7496.2695.511.263.7400 00 0252800.015997UNKNOWN

zChaff minisat SatELite
0.052992 0.014997 0.19097

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb98.7496.2995.551.263.7108 08 0246160.080987UNKNOWN

zChaff minisat SatELite
0.015998 0.008998 0.188971

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb98.7496.2695.511.263.7400 00 014720.008998UNKNOWN

zChaff minisat SatELite
0.052992 0.014997 0.19097

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw98.7496.2995.551.263.7108 08 0246160.078987UNKNOWN

zChaff minisat SatELite
0.014998 0.014997 0.188971

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn98.7496.2695.511.263.7400 00 014720.009998UNKNOWN

zChaff minisat SatELite
0.052992 0.014997 0.19097

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb98.7496.2995.551.263.7108 08 0246160.076988UNKNOWN

zChaff minisat SatELite
0.014998 0.013997 0.186971

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb98.7496.2695.511.263.7400 00 014720.008998UNKNOWN

zChaff minisat SatELite
0.052992 0.014997 0.19097