root
show
res-20200207T155955-abb8dfe0-c6f8-4ff7-bf76-c930614453ae.sqlite
show individual results
download as csv
show table of results
Summary
provers
z3
mc2-nogc-dev
mc2-dev
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
2
2
valid_proof
0
0
0
invalid_proof
0
0
0
unknown
0
2
4
timeout
2
3
1
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
77
70
70
disappoint
2
7
7
bad
0
2
2
valid proof
0
0
0
invalid proof
0
0
0
errors
0
2
2
total
79
79
79
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
×