res-20191228T145324-f5dcc1e7-fbdf-428b-ba12-bc78071a67b2.sqlite

show individual results
download as csv
show table of results

Summary

provers
n_results
16000
bad
480
uuid
f5dcc1e7-fbdf-428b-ba12-bc78071a67b2
dirs
//home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat
timestamp
2019/12, Sat the 28, at 14h53:24 GMT
total_wall_time
43.6s

stats

provers
z3
sidekick-dev
sat
3580
4040
unsat
4418
3937
sat+unsat
7998
7977
errors
valid_proof
0
0
invalid_proof
0
0
unknown
0
0
timeout
0
0
memory
0
0
total
8000
8000
total_time
3m54.8s
2m5.9s

summary

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

comparisons

better:
z3
sidekick-dev
z3
×
same: 7975
better: 2
worse: 23
sidekick-dev
same: 7975
better: 23
worse: 2
×