res-20191228T142548-b66098f0-f79b-4e90-a4c8-794322702d7f.sqlite

show individual results
download as csv
show table of results

Summary

provers
n_results
13976
bad
33
uuid
b66098f0-f79b-4e90-a4c8-794322702d7f
dirs
//home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat
timestamp
2019/12, Sat the 28, at 14h25:48 GMT
total_wall_time
none

stats

provers
z3
sidekick-dev
sat
3232
2275
unsat
3762
2123
sat+unsat
6994
4398
errors
valid_proof
0
0
invalid_proof
0
0
unknown
0
1648
timeout
0
memory
0
0
total
6995
6981
total_time
3m33.8s
1m10s

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
6995
6981
cactus plot of provers

comparisons

better:
z3
sidekick-dev
z3
×
same: 4396
better: 1
worse: 2583
sidekick-dev
same: 4396
better: 2583
worse: 1
×