[ 0:01] --symbolic --sequential [ 0:01] compiling /var/obj/divine-nightly/semidbg/test/_expand/svcomp/recursion/recHanoi01_true.pkg.c/small.5.c [ 0:01] states per second: 13.5376 [ 0:44] state count: 129 [ 0:44] mips: 0.014 [ 0:44] symbolic: 1 [ 0:44] error found: no [ 0:44] a report was written to verify.out