res-20200518T152022-f59d548a-b442-4faf-b94c-c8f42a9e182b.sqlite

show individual results
download as csv
show table of results

Summary

provers
n_results
95063
uuid
f59d548a-b442-4faf-b94c-c8f42a9e182b
dirs
//home/guigui/build/benchs/smtlib
timestamp
2020/05, Mon the 18, at 15h20:22 GMT
total_wall_time
5h54m47.1s

stats

provers
dolmen
sat
0
unsat
0
sat+unsat
0
errors
0
valid_proof
0
invalid_proof
0
unknown
0
timeout
0
tag.fatal
tag.memout
tag.ok
tag.timout
tag.warn
memory
0
total
95063
total_time
0.000s

summary

download as csvsee detailed results
provers
dolmen
improved
0
ok
disappoint
0
bad
0
valid proof
0
invalid proof
0
errors
0
total
95063
cactus plot of provers