res-20211208T014141-2c2bb466-2d44-4ef2-bd9b-8d5207022807.sqlite

Summary

provers
n_results
74
uuid
2c2bb466-2d44-4ef2-bd9b-8d5207022807
dirs
//home/simon/w/sidekick/tests/sat
timestamp
2021/12, Wed the 08, at 1h41:41 GMT
total_wall_time
none

stats

provers
z3
sidekick-dev-p
sidekick-dev
sat
24
19
21
unsat
0
0
0
sat+unsat
24
19
21
errors
0
0
valid_proof
0
0
0
invalid_proof
0
0
0
unknown
0
0
1
timeout
0
memory
0
0
0
total
25
25
24
total_time
3.6s
0.895s
2.1s

summary

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

comparisons

better:
z3
sidekick-dev-p
sidekick-dev
z3
×
same: 19
better: 0
worse: 5
same: 21
better: 0
worse: 2
sidekick-dev-p
same: 19
better: 5
worse: 0
×
same: 19
better: 2
worse: 0
sidekick-dev
same: 21
better: 2
worse: 0
same: 19
better: 0
worse: 2
×