autgroup -vkb -l -diff1 cox5335
3770.34u 15.71s 1:03:20.78 99.6%
autgroup -vkb -l surgery
3774.58u 18.57s 1:03:27.77 99.6%
autgroup -vkb -l johnsonb
#Axiom verification succeeded!!
8770.73u 47.65s 2:27:26.98 99.6%
¤ Dauer der Verarbeitung: 0.11 Sekunden
(vorverarbeitet)
¤
*© Formatika GbR, Deutschland
