ramon: cwd                  /home/ghrunner/actions-runner/_work/bench/bench
ramon: start                Sun May 24 07:52:00 2026
ramon: nproc                256
ramon: sys.mem              515496 MiB
ramon: sys.mem.free         460581 MiB
ramon: sys.mem.avail        513608 MiB
ramon: sys.nprocs           4008
ramon: argv                 0 = timeout
ramon: argv                 1 = -k
ramon: argv                 2 = 10
ramon: argv                 3 = 80
ramon: argv                 4 = z3
ramon: argv                 5 = /home/ghrunner/actions-runner/_work/bench/bench/download/non-incremental/UFDTNIA/20241211-verus/verismo/security__monitor.24.smt2
ramon: argv                 6 = -T:20
ramon: argv                 7 = -v:2
ramon: argv                 8 = -st
ramon: argv                 9 = tactic.default_tactic=(then simplify propagate-values solve-eqs simplify sls-smt)
ramon: argv                 10 = model_validate=true
ramon: childpid             3065704
SLS threw an exception: no plugin for (forall ((id FuelId))
  (! (= (fuel_bool id) (fuel_bool_default id)) :pattern ((fuel_bool id))))
ramon: end                  Sun May 24 07:52:00 2026
ramon: root.execname        timeout
ramon: root.utime           0.000s
ramon: root.stime           0.020s
ramon: group.total          0.280s
ramon: group.utime          0.247s
ramon: group.stime          0.033s
ramon: group.mempeak        27740KiB
ramon: group.pidpeak        3
ramon: status               exited
ramon: exitcode             0
ramon: walltime             0.335s
ramon: loadavg              0.84
