aleat_300_1275_35.cnf

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


zChaff minisat SatELite
2360.43 55.3166 388.326

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc53.2546.750.0011.5310.9000 00 039120.004999UNKNOWN

zChaff minisat SatELite
2360.43 55.3166 388.326

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn53.2546.750.0011.5310.9000 00 018330.003999UNKNOWN

zChaff minisat SatELite
2360.43 55.3166 388.326

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb53.2546.750.0011.5310.9000 00 039120.006998UNKNOWN

zChaff minisat SatELite
2360.43 55.3166 388.326

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb53.2546.750.0011.5310.9000 00 018330.002999UNKNOWN

zChaff minisat SatELite
2360.43 55.3166 388.326

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

zChaff minisat SatELite
2360.43 55.3166 388.326

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

zChaff minisat SatELite
2360.43 55.3166 388.326

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb53.2546.750.0011.5310.9000 00 000.002999UNKNOWN

zChaff minisat SatELite
2360.43 55.3166 388.326

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

zChaff minisat SatELite
2360.43 55.3166 388.326