res-20200221T012432-343808ec-638f-483d-b22e-218dbf49be63.sqlite

Summary

provers
n_results
16000
uuid
343808ec-638f-483d-b22e-218dbf49be63
dirs
//home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat
timestamp
2020/02, Fri the 21, at 1h24:32 GMT
total_wall_time
36.4s

stats

provers
z3
sidekick-dev
sat
3578
3515
unsat
4422
4411
sat+unsat
8000
7926
errors
0
valid_proof
0
0
invalid_proof
0
0
unknown
0
0
timeout
0
0
memory
0
0
total
8000
8000
total_time
3m38.5s
1m25.9s

summary

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

comparisons

better:
z3
sidekick-dev
z3
×
same: 7926
better: 0
worse: 74
sidekick-dev
same: 7926
better: 74
worse: 0
×