show full table

problem	minisat	batsat	minisat.time	batsat.time
/home/simon/w/batsat/benchs/basic/uf250-080.cnf.gz	sat	sat	1.13	1.02
/home/simon/w/batsat/benchs/basic/uf250-081.cnf.gz	sat	sat	1.08	0.62
/home/simon/w/batsat/benchs/basic/uf250-082.cnf.gz	sat	sat	1.53	2.23
/home/simon/w/batsat/benchs/basic/uf250-083.cnf.gz	sat	sat	0.80	0.01
/home/simon/w/batsat/benchs/basic/uf250-084.cnf.gz	sat	sat	1.41	0.13
/home/simon/w/batsat/benchs/basic/uf250-085.cnf.gz	sat	sat	0.40	0.11
/home/simon/w/batsat/benchs/basic/uf250-086.cnf.gz	sat	sat	3.74	3.84
/home/simon/w/batsat/benchs/basic/uf250-087.cnf.gz	sat	sat	2.78	2.36
/home/simon/w/batsat/benchs/basic/uf250-088.cnf.gz	sat	sat	0.06	0.15
/home/simon/w/batsat/benchs/basic/uf250-089.cnf.gz	sat	sat	0.55	1.56
/home/simon/w/batsat/benchs/basic/uf250-09.cnf.gz	sat	sat	1.43	0.26
/home/simon/w/batsat/benchs/basic/uf250-090.cnf.gz	sat	sat	4.41	1.97
/home/simon/w/batsat/benchs/basic/uf250-091.cnf.gz	sat	sat	0.06	0.10
/home/simon/w/batsat/benchs/basic/uf250-092.cnf.gz	sat	sat	0.25	2.47
/home/simon/w/batsat/benchs/basic/uf250-093.cnf.gz	sat	sat	0.14	0.65
/home/simon/w/batsat/benchs/basic/uf250-094.cnf.gz	sat	sat	1.59	2.09
/home/simon/w/batsat/benchs/basic/uf250-095.cnf.gz	sat	sat	0.13	0.47
/home/simon/w/batsat/benchs/basic/uf250-096.cnf.gz	sat	sat	1.16	0.92
/home/simon/w/batsat/benchs/basic/uf250-097.cnf.gz	sat	sat	0.38	0.57
/home/simon/w/batsat/benchs/basic/uf250-098.cnf.gz	sat	sat	0.14	5.43
/home/simon/w/batsat/benchs/basic/uf250-099.cnf.gz	sat	sat	3.98	3.53
/home/simon/w/batsat/benchs/basic/uf50-01.cnf.gz	sat	sat	0.02	0.01
/home/simon/w/batsat/benchs/basic/uf50-010.cnf.gz	sat	sat	0.06	0.01
/home/simon/w/batsat/benchs/basic/uf50-0100.cnf.gz	sat	sat	0.02	0.01
/home/simon/w/batsat/benchs/basic/uf50-01000.cnf.gz	sat	sat	0.02	0.01

full results