res-20200207T152727-26a00cbe-5029-4161-b2f6-5600516a52c1.sqlite

Summary

provers
n_results
4
uuid
26a00cbe-5029-4161-b2f6-5600516a52c1
dirs
//home/simon/workspace/zipperposition/tests/unknown
timestamp
2020/02, Fri the 07, at 15h27:27 GMT
total_wall_time
none

stats

provers
zip-dev-check
zip-dev
sat
unsat
0
0
sat+unsat
2
2
errors
0
0
unknown
0
0
timeout
0
0
memory
0
0
total
2
2
total_time
0.043s
0.044s

summary

download as csvsee detailed results
provers
zip-dev-check
zip-dev
improved
ok
0
0
disappoint
0
0
bad
0
0
errors
0
0
total
2
2
cactus plot of provers

comparisons

better:
zip-dev-check
zip-dev
zip-dev-check
×
same: 2
better: 0
worse: 0
zip-dev
same: 2
better: 0
worse: 0
×