res-20200818T145540-1f894145-9a24-4dac-aea5-ddd057be797d.sqlite

show individual results
download as csv
show table of results

Summary

provers
n_results
22371
uuid
1f894145-9a24-4dac-aea5-ddd057be797d
dirs
//home/simon/w/smtlib/QF_UF
timestamp
2020/08, Tue the 18, at 14h55:40 GMT
total_wall_time
8h23m38.8s

stats

provers
z3
sidekick
mc2
sat
3102
3027
2850
unsat
4330
3887
3632
sat+unsat
7432
6914
6482
errors
0
0
valid_proof
0
0
0
invalid_proof
0
0
0
unknown
0
72
0
timeout
memory
0
0
0
total
7457
7457
7457
total_time
18m36.8s
1h47m44.4s
1h39m41.2s

summary

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

comparisons

better:
z3
sidekick
mc2
z3
×
same: 6912
better: 2
worse: 520
same: 6480
better: 2
worse: 952
sidekick
same: 6912
better: 520
worse: 2
×
same: 6319
better: 163
worse: 595
mc2
same: 6480
better: 952
worse: 2
same: 6319
better: 595
worse: 163
×