res-20200207T155955-abb8dfe0-c6f8-4ff7-bf76-c930614453ae.sqlite

show individual results
download as csv
show table of results

Summary

provers
n_results
237
bad
4
uuid
abb8dfe0-c6f8-4ff7-bf76-c930614453ae
dirs
//home/simon/workspace/mc2/tests
timestamp
2020/02, Fri the 07, at 15h59:55 GMT
total_wall_time
3m37.2s

stats

provers
z3
mc2-nogc-dev
mc2-dev
sat
27
23
23
unsat
50
49
49
sat+unsat
77
72
72
errors
0
valid_proof
0
0
0
invalid_proof
0
0
0
unknown
0
2
4
timeout
memory
0
0
0
total
79
79
79
total_time
23.2s
1m14.2s
1m4.8s

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
total
79
79
79
cactus plot of provers

comparisons

better:
z3
mc2-nogc-dev
mc2-dev
z3
×
same: 72
better: 0
worse: 5
same: 72
better: 0
worse: 5
mc2-nogc-dev
same: 72
better: 5
worse: 0
×
same: 72
better: 0
worse: 0
mc2-dev
same: 72
better: 5
worse: 0
same: 72
better: 0
worse: 0
×