root
show
res-20191202T012905-37ab78b6-16e5-457a-9edc-bef2009e819b.sqlite
show individual results
download as csv
show table of results
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
11
unsat
27
sat+unsat
38
errors
5
valid_proof
0
invalid_proof
0
unknown
1
timeout
9
memory
0
total
53
total_time
10.4s
summary
download as csv
see detailed results
provers
sidekick
improved
0
ok
35
disappoint
15
bad
3
valid proof
0
invalid proof
0
errors
5
total
53