root
show
res-20191210T044900-00d42f2b-eace-4b4a-866a-bc8b79adc55e.sqlite
show individual results
download as csv
show table of results
Summary
provers
n_results
74
uuid
00d42f2b-eace-4b4a-866a-bc8b79adc55e
dirs
//home/simon/workspace/sidekick/tests
timestamp
2019/12, Tue the 10, at 4h49:00 GMT
total_wall_time
49.3s
stats
provers
sidekick-dev
sat
15
unsat
42
sat+unsat
57
errors
6
valid_proof
0
invalid_proof
0
unknown
1
timeout
10
memory
0
total
74
total_time
19.1s
summary
download as csv
see detailed results
provers
sidekick-dev
improved
0
ok
57
disappoint
17
bad
0
valid proof
0
invalid proof
0
errors
6
total
74