| 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 |
| z3 | /home/simon/w/sidekick2/tests/uuf250/uuf250-095.cnf (content) | unsat | unknown | 8.7s |
| z3 | /home/simon/w/sidekick2/tests/uuf250/uuf250-094.cnf (content) | unsat | unknown | 11.2s |
| z3 | /home/simon/w/sidekick2/tests/uuf250/uuf250-093.cnf (content) | unsat | unknown | 10.3s |
| z3 | /home/simon/w/sidekick2/tests/uuf250/uuf250-092.cnf (content) | timeout | unknown | 11.4s |
| z3 | /home/simon/w/sidekick2/tests/uuf250/uuf250-091.cnf (content) | timeout | unknown | 11.4s |
| z3 | /home/simon/w/sidekick2/tests/uuf250/uuf250-090.cnf (content) | unsat | unknown | 2.2s |
| z3 | /home/simon/w/sidekick2/tests/uuf250/uuf250-09.cnf (content) | timeout | unknown | 11.4s |