res-20191214T015102-d2b88111-297b-435b-8c91-3fa7e0186e23.sqlite

show individual results
download as csv
show table of results

Summary

provers
n_results
156
uuid
d2b88111-297b-435b-8c91-3fa7e0186e23
dirs
//home/simon/workspace/sidekick/tests
timestamp
2019/12, Sat the 14, at 1h51:02 GMT
total_wall_time
2h3m37.6s

stats

provers
z3
sidekick-dev
sat
17
17
unsat
60
44
sat+unsat
77
61
errors
0
valid_proof
0
0
invalid_proof
0
0
unknown
0
0
timeout
memory
0
0
total
78
78
total_time
2h2m44s
2h2m58.9s

summary

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

comparisons

better:
z3
sidekick-dev
z3
×
same: 61
better: 0
worse: 16
sidekick-dev
same: 61
better: 16
worse: 0
×