detailed results (2 total)

prover file res expected time
zip-dev-check /home/simon/workspace/zipperposition/tests/unknown/nat19.p (content) sat unknown 0.024s
zip-dev-check /home/simon/workspace/zipperposition/tests/unknown/nat15.p (content) sat unknown 0.020s