show full table

problem	minisat	batsat	minisat.time	batsat.time
/home/simon/w/batsat/benchs/basic/uf250-058.cnf.gz	sat	sat	0.74	1.64
/home/simon/w/batsat/benchs/basic/uf250-059.cnf.gz	sat	sat	1.26	0.12
/home/simon/w/batsat/benchs/basic/uf250-06.cnf.gz	sat	sat	0.55	0.47
/home/simon/w/batsat/benchs/basic/uf250-060.cnf.gz	sat	sat	6.05	3.93
/home/simon/w/batsat/benchs/basic/uf250-061.cnf.gz	sat	sat	0.67	2.24
/home/simon/w/batsat/benchs/basic/uf250-062.cnf.gz	sat	sat	0.71	2.54
/home/simon/w/batsat/benchs/basic/uf250-063.cnf.gz	sat	sat	0.85	1.08
/home/simon/w/batsat/benchs/basic/uf250-064.cnf.gz	sat	sat	0.26	0.24
/home/simon/w/batsat/benchs/basic/uf250-065.cnf.gz	sat	sat	1.06	1.53
/home/simon/w/batsat/benchs/basic/uf250-066.cnf.gz	sat	sat	2.30	0.84
/home/simon/w/batsat/benchs/basic/uf250-067.cnf.gz	sat	sat	3.00	1.77
/home/simon/w/batsat/benchs/basic/uf250-068.cnf.gz	sat	sat	0.32	0.03
/home/simon/w/batsat/benchs/basic/uf250-069.cnf.gz	sat	sat	3.04	3.05
/home/simon/w/batsat/benchs/basic/uf250-07.cnf.gz	sat	sat	7.98	9.37
/home/simon/w/batsat/benchs/basic/uf250-070.cnf.gz	sat	sat	0.93	0.66
/home/simon/w/batsat/benchs/basic/uf250-071.cnf.gz	sat	sat	8.65	6.67
/home/simon/w/batsat/benchs/basic/uf250-072.cnf.gz	sat	sat	0.15	4.83
/home/simon/w/batsat/benchs/basic/uf250-073.cnf.gz	sat	sat	3.00	0.51
/home/simon/w/batsat/benchs/basic/uf250-074.cnf.gz	sat	sat	0.72	0.97
/home/simon/w/batsat/benchs/basic/uf250-075.cnf.gz	sat	sat	3.17	0.76
/home/simon/w/batsat/benchs/basic/uf250-076.cnf.gz	sat	sat	4.94	1.95
/home/simon/w/batsat/benchs/basic/uf250-077.cnf.gz	sat	sat	0.30	0.16
/home/simon/w/batsat/benchs/basic/uf250-078.cnf.gz	sat	sat	0.91	1.97
/home/simon/w/batsat/benchs/basic/uf250-079.cnf.gz	sat	sat	0.68	1.20
/home/simon/w/batsat/benchs/basic/uf250-08.cnf.gz	sat	sat	0.69	0.58

full results