|
problem.path
|
|
|
problem.expected_res
|
unsat
|
|
res
|
error
|
|
rtime
|
0.059s
|
|
stime
|
0.000s
|
|
utime
|
0.000s
|
|
errcode
|
1
|
[31;1merror:[0m unsupported: datatypes in
(declare-datatypes
((nat 0) (list 0) (tree 0))
(((succ (pred nat)) (zero))
((cons (car tree) (cdr list)) (null))
((node (children list)) (leaf (data nat)))))
|
prover.name
|
mc2-dev
|
|
prover.cmd
|
<unknown>
|
|
prover.version
|
(git branch=master commit=67232b64f9968b48e101ff13489ffebdc87ef84f)
|
|
prover.sat
|
Sat
|
|
prover.unsat
|
Unsat
|
|
prover.unknown
|
Timeout|Unknown
|
|
prover.timeout
|
<none>
|
|
prover.memory
|
<none>
|