res-20191210T011658-1ef50563-77e4-4b06-9f00-b0d07ea110e6.sqlite

Summary

provers
n_results
0
uuid
1ef50563-77e4-4b06-9f00-b0d07ea110e6
dirs
timestamp
2019/12, Tue the 10, at 1h16:58 GMT
total_wall_time
0.025s

stats

provers
sat
unsat
sat+unsat
errors
unknown
timeout
memory
total
total_time

summary

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