res-20191217T011635-aa5e9548-3dab-4e10-a537-5958e1578d9f.sqlite

show individual results
download as csv
show table of results

Summary

provers
n_results
146
bad
1
uuid
aa5e9548-3dab-4e10-a537-5958e1578d9f
dirs
//home/simon/workspace/sidekick/tests
timestamp
2019/12, Tue the 17, at 1h16:35 GMT
total_wall_time
53.4s

stats

provers
z3
sidekick-dev
sat
17
18
unsat
56
40
sat+unsat
73
58
errors
0
valid_proof
0
0
invalid_proof
0
0
unknown
0
4
timeout
0
memory
0
0
total
73
73
total_time
3.8s
10.4s

summary

download as csv see detailed results
provers
z3
sidekick-dev
improved
0
0
ok
disappoint
0
bad
0
valid proof
0
0
invalid proof
0
0
errors
0
total
73
73
cactus plot of provers

comparisons

better:
z3
sidekick-dev
z3
×
same: 58
better: 0
worse: 15
sidekick-dev
same: 58
better: 15
worse: 0
×