aleat_300_1275_11.cnf

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


zChaff minisat SatELite
291.772 16.6905 119.454

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc52.9447.060.0011.2912.7100 00 039150.005999UNKNOWN

zChaff minisat SatELite
291.772 16.6905 119.454

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn52.9447.060.0011.2912.7100 00 018420.003999UNKNOWN

zChaff minisat SatELite
291.772 16.6905 119.454

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb52.9447.060.0011.2912.7100 00 039150.005999UNKNOWN

zChaff minisat SatELite
291.772 16.6905 119.454

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb52.9447.060.0011.2912.7100 00 018420.002999UNKNOWN

zChaff minisat SatELite
291.772 16.6905 119.454

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

zChaff minisat SatELite
291.772 16.6905 119.454

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

zChaff minisat SatELite
291.772 16.6905 119.454

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

zChaff minisat SatELite
291.772 16.6905 119.454

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

zChaff minisat SatELite
291.772 16.6905 119.454