ip38.shuffled-as.sat03-433.cnf

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


zChaff minisat SatELite
670.207 37.5013 38.5471

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc67.3767.1377.4421.4621.8901405 11405 12900619547.0269UNKNOWN

zChaff minisat SatELite
346.385 88.9185 26.9719

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn67.5767.1077.5321.3221.950414 0414 0959567814.7838UNKNOWN

zChaff minisat SatELite
250.07 25.8131 33.5799

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb67.4167.2077.6221.5021.900148 0148 061209039.8625UNKNOWN

zChaff minisat SatELite
181.351 41.1897 31.5622

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb67.4367.1777.5821.4921.91071 071 039241366.07508UNKNOWN

zChaff minisat SatELite
200.667 61.0087 48.0527

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw67.3767.1377.4421.4621.8901402 11402 12405995838.3282UNKNOWN

zChaff minisat SatELite
137.049 80.6437 26.8079

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn67.5767.1077.5321.3321.950412 0412 0838930512.3261UNKNOWN

zChaff minisat SatELite
154.834 25.8181 33.5469

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb67.4167.2077.6221.5021.900148 0148 061209039.37757UNKNOWN

zChaff minisat SatELite
193.397 39.399 31.3962

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb67.4367.1777.5821.4921.91071 071 039241366.52701UNKNOWN

zChaff minisat SatELite
178.399 61.7206 49.1045