res-20200227T002256-44eb5da5-1573-49c8-839e-0855a1cba015.sqlite

show individual results
download as csv
show table of results

Summary

provers
n_results
52752
uuid
44eb5da5-1573-49c8-839e-0855a1cba015
dirs
//home/simon/workspace/smtlib
timestamp
2020/02, Thu the 27, at 0h22:56 GMT
total_wall_time
1h54m3.2s

stats

provers
z3
mc2-nogc-dev
mc2-dev
sat
7680
3715
3677
unsat
9542
4660
4680
sat+unsat
17222
8375
8357
errors
valid_proof
0
0
0
invalid_proof
0
0
0
unknown
0
443
545
timeout
memory
0
0
0
total
17584
17584
17584
total_time
1h34m50.8s
4h59m50.8s
5h2m18.9s

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: 8342
better: 33
worse: 8880
same: 8326
better: 31
worse: 8896
mc2-nogc-dev
same: 8342
better: 8880
worse: 33
×
same: 8315
better: 42
worse: 60
mc2-dev
same: 8326
better: 8896
worse: 31
same: 8315
better: 60
worse: 42
×