res-20191208T010616-c15b32a8-85df-4804-883c-f847109917cd.sqlite

Summary

provers
n_results
0
uuid
c15b32a8-85df-4804-883c-f847109917cd
dirs
timestamp
2019/12, Sun the 08, at 1h06:16 GMT
total_wall_time
0.024s

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