results for dolmen on /home/guigui/build/benchs/smtlib/QF_BV/asp/Labyrinth/laby_22_22_09.lp.smt2

problem.path
problem.expected_res
ok
res
memout
rtime
2m27.3s
stime
0.000s
utime
0.000s
errcode
1
full stdout

full stderr
File "/home/guigui/build/benchs/smtlib/QF_BV/asp/Labyrinth/laby_22_22_09.lp.smt2", line 1322720, character 15-24:
Error Dolmen_loop.Pipeline.Make(State).Out_of_space
prover config
prover.name
dolmen
prover.cmd
<unknown>
prover.version
<unknown>
prover.sat
<none>
prover.unsat
<none>
prover.unknown
<none>
prover.timeout
<none>
prover.tag.timout
Time limit reached|Out_of_time
prover.tag.memout
Memory limit reached|Out_of_space
prover.tag.warn
Warning
prover.tag.fatal
Error|Killed
prover.tag.ok
^$
prover.memory
<none>