prover | file | res | expected | time |
---|---|---|---|---|
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-09.cnf (content) | timeout | unknown | 11.4s |
z3 | /home/simon/w/sidekick2/tests/uuf250/uuf250-088.cnf (content) | timeout | unknown | 11.5s |