| prover | file | res | expected | time |
|---|---|---|---|---|
| batsat | /home/simon/w/batsat/benchs/basic/uuf50-0999.cnf.gz (content) | unsat | unknown | 0.011s |
| batsat | /home/simon/w/batsat/benchs/basic/uuf50-0998.cnf.gz (content) | unsat | unknown | 0.012s |
| batsat | /home/simon/w/batsat/benchs/basic/uuf50-0997.cnf.gz (content) | unsat | unknown | 0.024s |
| batsat | /home/simon/w/batsat/benchs/basic/uuf50-0996.cnf.gz (content) | unsat | unknown | 0.009s |