| prover | file | res | expected | time |
|---|---|---|---|---|
| z3 | /home/simon/w/sidekick2/tests/uuf250/uuf250-099.cnf (content) | unsat | unknown | 9s |
| z3 | /home/simon/w/sidekick2/tests/uuf250/uuf250-098.cnf (content) | unsat | unknown | 3.2s |
| z3 | /home/simon/w/sidekick2/tests/uuf250/uuf250-097.cnf (content) | unsat | unknown | 6s |
| z3 | /home/simon/w/sidekick2/tests/uuf250/uuf250-096.cnf (content) | unsat | unknown | 8.9s |