show full table

problem	minisat	batsat	minisat.time	batsat.time
/home/simon/w/batsat/benchs/basic/uf250-012.cnf.gz	sat	sat	1.95	0.33
/home/simon/w/batsat/benchs/basic/uf250-013.cnf.gz	sat	sat	0.93	3.71
/home/simon/w/batsat/benchs/basic/uf250-014.cnf.gz	sat	sat	0.05	0.46
/home/simon/w/batsat/benchs/basic/uf250-015.cnf.gz	sat	sat	0.13	0.43
/home/simon/w/batsat/benchs/basic/uf250-016.cnf.gz	sat	sat	0.56	0.22
/home/simon/w/batsat/benchs/basic/uf250-017.cnf.gz	sat	sat	0.62	0.96
/home/simon/w/batsat/benchs/basic/uf250-018.cnf.gz	sat	sat	1.18	1.99
/home/simon/w/batsat/benchs/basic/uf250-019.cnf.gz	sat	sat	1.20	0.27
/home/simon/w/batsat/benchs/basic/uf250-02.cnf.gz	sat	sat	8.88	8.32
/home/simon/w/batsat/benchs/basic/uf250-020.cnf.gz	sat	sat	1.68	3.08
/home/simon/w/batsat/benchs/basic/uf250-021.cnf.gz	sat	sat	0.44	0.02
/home/simon/w/batsat/benchs/basic/uf250-022.cnf.gz	sat	sat	3.65	2.86
/home/simon/w/batsat/benchs/basic/uf250-023.cnf.gz	sat	sat	0.50	2.49
/home/simon/w/batsat/benchs/basic/uf250-024.cnf.gz	sat	sat	6.37	3.92
/home/simon/w/batsat/benchs/basic/uf250-025.cnf.gz	sat	sat	0.02	2.42
/home/simon/w/batsat/benchs/basic/uf250-026.cnf.gz	sat	sat	3.83	9.18
/home/simon/w/batsat/benchs/basic/uf250-027.cnf.gz	sat	sat	1.03	1.31
/home/simon/w/batsat/benchs/basic/uf250-028.cnf.gz	sat	sat	4.43	4.84
/home/simon/w/batsat/benchs/basic/uf250-029.cnf.gz	unknown	sat	12.77	6.34
/home/simon/w/batsat/benchs/basic/uf250-03.cnf.gz	sat	sat	1.17	0.58
/home/simon/w/batsat/benchs/basic/uf250-030.cnf.gz	sat	sat	3.43	0.05
/home/simon/w/batsat/benchs/basic/uf250-031.cnf.gz	sat	sat	4.98	0.10
/home/simon/w/batsat/benchs/basic/uf250-032.cnf.gz	sat	sat	1.94	6.57
/home/simon/w/batsat/benchs/basic/uf250-033.cnf.gz	sat	sat	0.11	1.03
/home/simon/w/batsat/benchs/basic/uf250-034.cnf.gz	sat	sat	6.54	5.66

full results