unif-c3900-v600-s546282007.cnf

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


zChaff minisat SatELite
TimeOut 405.082 3728.38

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc49.8250.180.0012.4612.3800 00 0119040.019996UNKNOWN

zChaff minisat SatELite
TimeOut 405.082 3728.38

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn49.8250.180.0012.4612.3800 00 059270.010998UNKNOWN

zChaff minisat SatELite
TimeOut 405.082 3728.38

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb49.8250.180.0012.4612.3800 00 0119040.018997UNKNOWN

zChaff minisat SatELite
TimeOut 405.082 3728.38

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb49.8250.180.0012.4612.3800 00 059270.011998UNKNOWN

zChaff minisat SatELite
TimeOut 405.082 3728.38

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

zChaff minisat SatELite
TimeOut 405.082 3728.38

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

zChaff minisat SatELite
TimeOut 405.082 3728.38

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb49.8250.180.0012.4612.3800 00 000.004999UNKNOWN

zChaff minisat SatELite
TimeOut 405.082 3728.38

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

zChaff minisat SatELite
TimeOut 405.082 3728.38