aleat_200_850_66.cnf

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


zChaff minisat SatELite
0.001 0.103984 0.268959

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc47.0652.940.0016.0011.5300 00 026480.002999UNKNOWN

zChaff minisat SatELite
0.001 0.103984 0.268959

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn47.0652.940.0016.0011.5300 00 012320.002999UNKNOWN

zChaff minisat SatELite
0.001 0.103984 0.268959

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb47.0652.940.0016.0011.5300 00 026480.003999UNKNOWN

zChaff minisat SatELite
0.001 0.103984 0.268959

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb47.0652.940.0016.0011.5300 00 012320.004999UNKNOWN

zChaff minisat SatELite
0.001 0.103984 0.268959

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw47.0652.940.0016.0011.5300 00 000.001999UNKNOWN

zChaff minisat SatELite
0.001 0.103984 0.268959

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn47.0652.940.0016.0011.5300 00 000.001999UNKNOWN

zChaff minisat SatELite
0.001 0.103984 0.268959

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb47.0652.940.0016.0011.5300 00 000.001999UNKNOWN

zChaff minisat SatELite
0.001 0.103984 0.268959

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb47.0652.940.0016.0011.5300 00 000.000999UNKNOWN

zChaff minisat SatELite
0.001 0.103984 0.268959