| /usr/bin/time: cannot run /home/alain/Surelog/SVIncCompil/Testcases/../SVIncCompil/dist/surelog/surelog: No such file or directory | |
| Command exited with non-zero status 127 | |
| 0.00user 0.00system 0:00.00elapsed ?%CPU (0avgtext+0avgdata 908maxresident)k | |
| 0inputs+8outputs (0major+24minor)pagefaults 0swaps |