root
show
res-20191228T145324-f5dcc1e7-fbdf-428b-ba12-bc78071a67b2.sqlite
show individual results
download as csv
show table of results
Summary
provers
z3
sidekick-dev
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
2
23
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
5
5
ok
7989
7496
disappoint
2
23
bad
4
476
valid proof
0
0
invalid proof
0
0
errors
2
23
total
8000
8000
comparisons
better:
z3
sidekick-dev
z3
×
same: 7975
better: 2
worse: 23
sidekick-dev
same: 7975
better: 23
worse: 2
×