problem.path | |
problem.expected_res | ok |
res | warn |
rtime | 0.312s |
stime | 0.000s |
utime | 0.000s |
errcode | 0 |
File "/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/array_ptr_why.smt2", line 192, character 135-151: Warning Quantified term variable `?cu270_173 : int` is unused Warning Plus 2 additional warnings
prover.name | dolmen-strict |
prover.cmd | <unknown> |
prover.version | (tag <unknown>) |
prover.sat | <none> |
prover.unsat | <none> |
prover.unknown | <none> |
prover.timeout | <none> |
prover.tag.fatal | Error|Killed |
prover.tag.memout | Memory limit reached|Out_of_space |
prover.tag.ok | ^$ |
prover.tag.overflow | Stack overflow |
prover.tag.timout | Time limit reached|Out_of_time |
prover.tag.warn | Warning |
prover.memory | <none> |