Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- 0.00/0.03 /export/starexec/sandbox/solver/bin/starexec_run_default: line 19: /export/starexec/sandbox/benchmark/theBenchmark.smt2.pl: Permission denied
- 0.00/0.13 tput: No value for $TERM and no -T specified
- 0.00/0.13 tput: No value for $TERM and no -T specified
- 0.00/0.14 tput: No value for $TERM and no -T specified
- 0.00/0.14 tput: No value for $TERM and no -T specified
- 0.00/0.14 ERROR: `/export/starexec/sandbox/benchmark/theBenchmark.fmt.pl': No such file or directory
- 0.00/0.14 Try `VeriMAP --help' for more information.
- 0.00/0.15 tput: No value for $TERM and no -T specified
- 0.00/0.15 tput: No value for $TERM and no -T specified
- 0.00/0.15 tput: No value for $TERM and no -T specified
- 0.00/0.15 tput: No value for $TERM and no -T specified
- 0.00/0.15 ERROR: `/export/starexec/sandbox/benchmark/theBenchmark.fmt.transform.pl': No such file or directory
- 0.00/0.15 Try `VeriMAP --help' for more information.
- 0.00/0.15 EOF
Add Comment
Please, Sign In to add comment