res-20191208T004717-ef07f4f9-05e1-4d89-935b-bb136ea4ecb2.sqlite
Summary
|
provers
|
|
|
|
n_results
|
1
|
|
|
uuid
|
ef07f4f9-05e1-4d89-935b-bb136ea4ecb2
|
|
|
dirs
|
|
|
|
timestamp
|
2019/12, Sun the 08, at 0h47:17 GMT
|
|
|
total_wall_time
|
0.050s
|
stats
|
provers
|
smtlib-read-status
|
|
sat
|
1
|
|
unsat
|
0
|
|
sat+unsat
|
1
|
|
errors
|
0
|
|
valid_proof
|
0
|
|
invalid_proof
|
0
|
|
unknown
|
0
|
|
timeout
|
0
|
|
memory
|
0
|
|
total
|
1
|
|
total_time
|
0.010s
|
summary
download as csv see detailed results|
provers
|
smtlib-read-status
|
|
improved
|
0
|
|
ok
|
|
|
disappoint
|
0
|
|
bad
|
0
|
|
valid proof
|
0
|
|
invalid proof
|
0
|
|
errors
|
0
|
|
total
|
1
|