show full table

problem	minisat	batsat	minisat.time	batsat.time
/home/simon/w/batsat/benchs/basic/uf20-0101.cnf.gz	sat	sat	0.01	0.02
/home/simon/w/batsat/benchs/basic/uf20-0102.cnf.gz	sat	sat	0.02	0.01
/home/simon/w/batsat/benchs/basic/uf20-0103.cnf.gz	sat	sat	0.01	0.01
/home/simon/w/batsat/benchs/basic/uf20-0104.cnf.gz	sat	sat	0.01	0.02
/home/simon/w/batsat/benchs/basic/uf20-0105.cnf.gz	sat	sat	0.02	0.01
/home/simon/w/batsat/benchs/basic/uf20-0106.cnf.gz	sat	sat	0.01	0.01
/home/simon/w/batsat/benchs/basic/uf20-0107.cnf.gz	sat	sat	0.04	0.02
/home/simon/w/batsat/benchs/basic/uf20-0108.cnf.gz	sat	sat	0.02	0.01
/home/simon/w/batsat/benchs/basic/uf20-0109.cnf.gz	sat	sat	0.01	0.01
/home/simon/w/batsat/benchs/basic/uf20-011.cnf.gz	sat	sat	0.01	0.01
/home/simon/w/batsat/benchs/basic/uf20-0110.cnf.gz	sat	sat	0.02	0.01
/home/simon/w/batsat/benchs/basic/uf20-0111.cnf.gz	sat	sat	0.01	0.01
/home/simon/w/batsat/benchs/basic/uf20-0112.cnf.gz	sat	sat	0.02	0.01
/home/simon/w/batsat/benchs/basic/uf20-0113.cnf.gz	sat	sat	0.01	0.02
/home/simon/w/batsat/benchs/basic/uf20-0114.cnf.gz	sat	sat	0.03	0.03
/home/simon/w/batsat/benchs/basic/uf20-0115.cnf.gz	sat	sat	0.01	0.01
/home/simon/w/batsat/benchs/basic/uf20-0116.cnf.gz	sat	sat	0.01	0.02
/home/simon/w/batsat/benchs/basic/uf20-0117.cnf.gz	sat	sat	0.01	0.02
/home/simon/w/batsat/benchs/basic/uf20-0118.cnf.gz	sat	sat	0.03	0.01
/home/simon/w/batsat/benchs/basic/uf20-0119.cnf.gz	sat	sat	0.01	0.01
/home/simon/w/batsat/benchs/basic/uf20-012.cnf.gz	sat	sat	0.02	0.03
/home/simon/w/batsat/benchs/basic/uf20-0120.cnf.gz	sat	sat	0.01	0.01
/home/simon/w/batsat/benchs/basic/uf20-0121.cnf.gz	sat	sat	0.01	0.01
/home/simon/w/batsat/benchs/basic/uf20-0122.cnf.gz	sat	sat	0.02	0.01
/home/simon/w/batsat/benchs/basic/uf20-0123.cnf.gz	sat	sat	0.02	0.02

full results