detailed results (1 total)

prover file res expected time
z3 /home/simon/workspace/sidekick/tests/sat/ssa2.cnf (content) error sat 0.012s