show full table

problem	minisat	batsat	minisat.time	batsat.time
/home/simon/w/batsat/benchs/basic/uf250-035.cnf.gz	sat	sat	0.03	0.21
/home/simon/w/batsat/benchs/basic/uf250-036.cnf.gz	sat	sat	5.89	9.23
/home/simon/w/batsat/benchs/basic/uf250-037.cnf.gz	sat	sat	0.17	0.04
/home/simon/w/batsat/benchs/basic/uf250-038.cnf.gz	unknown	sat	10.65	4.29
/home/simon/w/batsat/benchs/basic/uf250-039.cnf.gz	sat	sat	0.28	1.01
/home/simon/w/batsat/benchs/basic/uf250-04.cnf.gz	sat	sat	0.40	0.06
/home/simon/w/batsat/benchs/basic/uf250-040.cnf.gz	sat	sat	1.26	1.63
/home/simon/w/batsat/benchs/basic/uf250-041.cnf.gz	sat	sat	0.68	1.84
/home/simon/w/batsat/benchs/basic/uf250-042.cnf.gz	sat	sat	0.78	1.54
/home/simon/w/batsat/benchs/basic/uf250-043.cnf.gz	sat	sat	5.16	4.03
/home/simon/w/batsat/benchs/basic/uf250-044.cnf.gz	sat	sat	0.75	0.60
/home/simon/w/batsat/benchs/basic/uf250-045.cnf.gz	sat	sat	0.58	1.59
/home/simon/w/batsat/benchs/basic/uf250-046.cnf.gz	sat	sat	0.24	1.33
/home/simon/w/batsat/benchs/basic/uf250-047.cnf.gz	sat	sat	5.55	1.12
/home/simon/w/batsat/benchs/basic/uf250-048.cnf.gz	sat	sat	4.77	1.85
/home/simon/w/batsat/benchs/basic/uf250-049.cnf.gz	sat	sat	0.18	0.34
/home/simon/w/batsat/benchs/basic/uf250-05.cnf.gz	sat	sat	1.39	8.25
/home/simon/w/batsat/benchs/basic/uf250-050.cnf.gz	sat	sat	0.29	0.76
/home/simon/w/batsat/benchs/basic/uf250-051.cnf.gz	sat	sat	1.29	0.28
/home/simon/w/batsat/benchs/basic/uf250-052.cnf.gz	sat	sat	2.51	2.12
/home/simon/w/batsat/benchs/basic/uf250-053.cnf.gz	sat	sat	2.64	5.19
/home/simon/w/batsat/benchs/basic/uf250-054.cnf.gz	sat	sat	3.48	3.85
/home/simon/w/batsat/benchs/basic/uf250-055.cnf.gz	sat	sat	0.24	0.62
/home/simon/w/batsat/benchs/basic/uf250-056.cnf.gz	sat	sat	1.67	0.22
/home/simon/w/batsat/benchs/basic/uf250-057.cnf.gz	sat	sat	0.65	0.27

full results