detailed results (227 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/examples/pelletier_problems/pb42.p (content) unsat unknown 0.019s
zip-dev /home/simon/workspace/zipperposition/examples/pelletier_problems/pb41.p (content) unsat unknown 0.017s
zip-dev /home/simon/workspace/zipperposition/examples/pelletier_problems/pb40.p (content) unsat unknown 0.020s
zip-dev /home/simon/workspace/zipperposition/examples/pelletier_problems/pb4.p (content) unsat unknown 0.014s
zip-dev /home/simon/workspace/zipperposition/examples/pelletier_problems/pb39.p (content) unsat unknown 0.014s
zip-dev /home/simon/workspace/zipperposition/examples/pelletier_problems/pb38.p (content) timeout unknown 9.8s
zip-dev /home/simon/workspace/zipperposition/examples/pelletier_problems/pb37.p (content) unsat unknown 0.017s
zip-dev /home/simon/workspace/zipperposition/examples/pelletier_problems/pb36.p (content) unsat unknown 0.017s
zip-dev /home/simon/workspace/zipperposition/examples/pelletier_problems/pb35.p (content) unsat unknown 0.012s
zip-dev /home/simon/workspace/zipperposition/examples/pelletier_problems/pb34.p (content) unsat unknown 0.988s
zip-dev /home/simon/workspace/zipperposition/examples/pelletier_problems/pb33.p (content) unsat unknown 0.026s
zip-dev /home/simon/workspace/zipperposition/examples/pelletier_problems/pb32.p (content) unsat unknown 0.017s
zip-dev /home/simon/workspace/zipperposition/examples/pelletier_problems/pb31.p (content) unsat unknown 0.013s
zip-dev /home/simon/workspace/zipperposition/examples/pelletier_problems/pb30.p (content) unsat unknown 0.016s
zip-dev /home/simon/workspace/zipperposition/examples/pelletier_problems/pb3.p (content) unsat unknown 0.014s
zip-dev /home/simon/workspace/zipperposition/examples/pelletier_problems/pb29.p (content) unsat unknown 0.034s
zip-dev /home/simon/workspace/zipperposition/examples/pelletier_problems/pb28.p (content) sat unknown 0.020s
zip-dev /home/simon/workspace/zipperposition/examples/pelletier_problems/pb27.p (content) unsat unknown 0.016s
zip-dev /home/simon/workspace/zipperposition/examples/pelletier_problems/pb26.p (content) unsat unknown 0.017s
zip-dev /home/simon/workspace/zipperposition/examples/pelletier_problems/pb25.p (content) unsat unknown 0.016s
zip-dev /home/simon/workspace/zipperposition/examples/pelletier_problems/pb24.p (content) unsat unknown 0.017s
zip-dev /home/simon/workspace/zipperposition/examples/pelletier_problems/pb23.p (content) unsat unknown 0.013s
zip-dev /home/simon/workspace/zipperposition/examples/pelletier_problems/pb22.p (content) unsat unknown 0.015s
zip-dev /home/simon/workspace/zipperposition/examples/pelletier_problems/pb21.p (content) unsat unknown 0.018s
zip-dev /home/simon/workspace/zipperposition/examples/pelletier_problems/pb20.p (content) unsat unknown 0.016s