res-20200210T205926-36c72818-46ec-47ae-a9ff-5a5c196a9e0f.sqlite

show individual results
download as csv
show table of results

Summary

provers
n_results
52752
uuid
36c72818-46ec-47ae-a9ff-5a5c196a9e0f
dirs
//home/simon/workspace/smtlib
timestamp
2020/02, Mon the 10, at 20h59:26 GMT
total_wall_time
1h50m36s

stats

provers
z3
mc2-nogc-dev
mc2-dev
sat
7682
3721
3680
unsat
9543
4670
4684
sat+unsat
17225
8391
8364
errors
valid_proof
0
0
0
invalid_proof
0
0
0
unknown
0
435
565
timeout
memory
0
0
0
total
17584
17584
17584
total_time
1h35m26.4s
5h1m28.7s
4h59m46.8s

summary

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

comparisons

better:
z3
mc2-nogc-dev
mc2-dev
z3
×
same: 8359
better: 32
worse: 8866
same: 8332
better: 32
worse: 8893
mc2-nogc-dev
same: 8359
better: 8866
worse: 32
×
same: 8328
better: 36
worse: 63
mc2-dev
same: 8332
better: 8893
worse: 32
same: 8328
better: 63
worse: 36
×