detailed results (4 total)

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