vange-color-inc-54.cnf

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


zChaff minisat SatELite
3192.01 35.4476 45.2261

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc24.2475.780.033.9924.243451004 01004 0152104823.9754UNKNOWN

zChaff minisat SatELite
5334.2 44.5332 44.7522

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn24.2175.800.033.9924.21345502 0502 03713217.2499UNKNOWN

zChaff minisat SatELite
4701.37 46.314 44.8422

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb24.2475.780.033.9924.243451004 01004 0152078723.8574UNKNOWN

zChaff minisat SatELite
5334.11 46.281 44.3893

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb24.2175.800.033.9924.21345502 0502 03711237.43687UNKNOWN

zChaff minisat SatELite
5029.73 46.137 47.7337

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw24.2975.720.033.9824.293455 05 01217792.85357UNKNOWN

zChaff minisat SatELite
4534.28 46.076 44.6462

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn24.2975.720.033.9824.293450 00 000.272958UNKNOWN

zChaff minisat SatELite
3192.01 35.4476 45.2261

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb24.2975.720.033.9824.293455 05 01217792.66759UNKNOWN

zChaff minisat SatELite
4420.83 44.4012 45.4811

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb24.2975.720.033.9824.293450 00 000.263959UNKNOWN

zChaff minisat SatELite
3192.01 35.4476 45.2261