res-20200727T231506-987ab765-0b38-4e0d-80ba-0350237b2291.sqlite

show individual results
download as csv
show table of results

Summary

provers
n_results
363750
uuid
987ab765-0b38-4e0d-80ba-0350237b2291
dirs
//home/guillaume/bench
timestamp
2020/07, Mon the 27, at 23h15:06 GMT
total_wall_time
6h36m10.2s

stats

provers
dolmen-strict
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.overflow
0
tag.timout
tag.warn
memory
0
total
363750
total_time
0.000s

summary

download as csv see detailed results
provers
dolmen-strict
improved
0
ok
disappoint
0
bad
0
valid proof
0
invalid proof
0
errors
0
total
363750
cactus plot of provers