res-20191228T142445-d95d9271-5be9-4922-9921-b7325fee1eb1.sqlite

show individual results
download as csv
show table of results

Summary

provers
n_results
160
uuid
d95d9271-5be9-4922-9921-b7325fee1eb1
dirs
//home/simon/workspace/sidekick/tests
timestamp
2019/12, Sat the 28, at 14h24:45 GMT
total_wall_time
11.7s

stats

provers
z3
sidekick-dev
sat
16
17
unsat
62
48
sat+unsat
78
65
errors
valid_proof
0
0
invalid_proof
0
0
unknown
0
2
timeout
memory
0
0
total
80
80
total_time
9.0s
28.2s

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
total
80
80
cactus plot of provers

comparisons

better:
z3
sidekick-dev
z3
×
same: 64
better: 1
worse: 14
sidekick-dev
same: 64
better: 14
worse: 1
×