res-20191202T012905-37ab78b6-16e5-457a-9edc-bef2009e819b.sqlite

Summary

provers
n_results
53
bad
3
uuid
37ab78b6-16e5-457a-9edc-bef2009e819b
dirs
tests
timestamp
2019/12, Mon the 02, at 1h29:05 GMT
total_wall_time
50.0s

stats

provers
sidekick
sat
unsat
sat+unsat
38
errors
unknown
timeout
memory
0
total
53
total_time
10.4s

summary

download as csvsee detailed results
provers
sidekick
improved
0
ok
disappoint
bad
errors
total
53
cactus plot of provers