okgen-c500-v250-s1610621872-1610621872.cnf

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


zChaff minisat SatELite
0 0.000999 0.033994

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

zChaff minisat SatELite
0 0.000999 0.033994

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

zChaff minisat SatELite
0 0.000999 0.033994

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

zChaff minisat SatELite
0 0.000999 0.033994

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

zChaff minisat SatELite
0 0.000999 0.033994

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

zChaff minisat SatELite
0 0.000999 0.033994

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

zChaff minisat SatELite
0 0.000999 0.033994

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

zChaff minisat SatELite
0 0.000999 0.033994

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

zChaff minisat SatELite
0 0.000999 0.033994