res-20191208T010631-5c06d1fe-21e1-4815-b297-4fbad4a9cca3.sqlite

show individual results
download as csv
show table of results

Summary

provers
n_results
2
uuid
5c06d1fe-21e1-4815-b297-4fbad4a9cca3
dirs
//home/simon/workspace/logitest/../sidekick/tests/hanoi
timestamp
2019/12, Sun the 08, at 1h06:31 GMT
total_wall_time
2.8s

stats

provers
minisat
sat
unsat
0
sat+unsat
2
errors
0
valid_proof
0
invalid_proof
0
unknown
0
timeout
0
memory
0
total
2
total_time
0.837s

summary

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