res-20191208T010644-6bb10988-cea4-4b14-955c-7a4e4dce6f83.sqlite

Summary

provers
n_results
1
uuid
6bb10988-cea4-4b14-955c-7a4e4dce6f83
dirs
//home/simon/workspace/logitest/../sidekick/tests/hanoi/hanoi4.cnf
timestamp
2019/12, Sun the 08, at 1h06:44 GMT
total_wall_time
0.217s

stats

provers
minisat
sat
unsat
0
sat+unsat
1
errors
0
unknown
0
timeout
0
memory
0
total
1
total_time
0.057s

summary

download as csvsee detailed results
provers
minisat
improved
0
ok
disappoint
0
bad
0
errors
0
total
1
cactus plot of provers