res-20200303T053838-98ec73ef-b520-4d52-9a81-efa8230358a6.sqlite

show individual results
download as csv
show table of results

Summary

provers
n_results
52752
uuid
98ec73ef-b520-4d52-9a81-efa8230358a6
dirs
//home/simon/workspace/smtlib
timestamp
2020/03, Tue the 03, at 5h38:38 GMT
total_wall_time
2h6m34.0s

stats

provers
z3
mc2-nogc-dev
mc2-dev
sat
7682
3725
3680
unsat
9545
4687
4695
sat+unsat
17227
8412
8375
errors
valid_proof
0
0
0
invalid_proof
0
0
0
unknown
0
432
546
timeout
memory
0
0
0
total
17584
17584
17584
total_time
1h31m57.1s
4h56m47.2s
4h50m53.6s

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: 8378
better: 34
worse: 8849
same: 8343
better: 32
worse: 8884
mc2-nogc-dev
same: 8378
better: 8849
worse: 34
×
same: 8342
better: 33
worse: 70
mc2-dev
same: 8343
better: 8884
worse: 32
same: 8342
better: 70
worse: 33
×