show full table

full results

problem	minisat	minisat.time
/home/simon/workspace/logitest/../sidekick/tests/hanoi/hanoi4.cnf	sat	0.06