res-20191208T010640-bd6ac999-af38-446a-a39f-6d470efd0c44.sqlite

Summary

provers
n_results
1
uuid
bd6ac999-af38-446a-a39f-6d470efd0c44
dirs
//home/simon/workspace/logitest/../sidekick/tests/hanoi/hanoi4.cnf
timestamp
2019/12, Sun the 08, at 1h06:40 GMT
total_wall_time
0.199s

stats

provers
minisat
sat
1
unsat
0
sat+unsat
1
errors
0
valid_proof
0
invalid_proof
0
unknown
0
timeout
0
memory
0
total
1
total_time
0.053s

summary

download as csv see detailed results
provers
minisat
improved
0
ok
disappoint
0
bad
0
valid proof
0
invalid proof
0
errors
0
total
1
cactus plot of provers