res-20191210T020316-e9bdd615-dd23-465e-bea6-91f468da429c.sqlite

show individual results
download as csv
show table of results

Summary

provers
n_results
231
bad
2
uuid
e9bdd615-dd23-465e-bea6-91f468da429c
dirs
//home/simon/workspace/mc2/tests
timestamp
2019/12, Tue the 10, at 2h03:16 GMT
total_wall_time
5m6.1s

stats

provers
z3
mc2-nogc-dev
mc2-dev
sat
25
22
22
unsat
50
47
46
sat+unsat
75
69
68
errors
0
0
valid_proof
0
0
0
invalid_proof
0
0
0
unknown
0
3
3
timeout
memory
0
0
0
total
77
77
77
total_time
36s
2m11.2s
1m40.3s

summary

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

comparisons

better:
z3
mc2-nogc-dev
mc2-dev
z3
×
same: 69
better: 0
worse: 6
same: 68
better: 0
worse: 7
mc2-nogc-dev
same: 69
better: 6
worse: 0
×
same: 68
better: 0
worse: 1
mc2-dev
same: 68
better: 7
worse: 0
same: 68
better: 1
worse: 0
×