root
file
full
prev
next
all
bad
different
filter
full results
problem
minisat
minisat.time
/home/simon/workspace/logitest/../sidekick/tests/hanoi/hanoi4.cnf
sat
0.06