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%
| Messung V0.5 in Prozent |
|---|
| | | |
[Dauer der Verarbeitung: 0.14 Sekunden, vorverarbeitet 2026-06-18]
