detailed results (227 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/examples/pelletier_problems/pb65.p (content) unsat unknown 0.040s
zip-dev /home/simon/workspace/zipperposition/examples/pelletier_problems/pb64.p (content) unsat unknown 0.018s
zip-dev /home/simon/workspace/zipperposition/examples/pelletier_problems/pb63.p (content) unsat unknown 0.027s
zip-dev /home/simon/workspace/zipperposition/examples/pelletier_problems/pb62.p (content) sat unknown 0.042s
zip-dev /home/simon/workspace/zipperposition/examples/pelletier_problems/pb61.p (content) unsat unknown 0.013s
zip-dev /home/simon/workspace/zipperposition/examples/pelletier_problems/pb60.p (content) unsat unknown 0.018s
zip-dev /home/simon/workspace/zipperposition/examples/pelletier_problems/pb6.p (content) unsat unknown 0.012s
zip-dev /home/simon/workspace/zipperposition/examples/pelletier_problems/pb59.p (content) unsat unknown 0.013s
zip-dev /home/simon/workspace/zipperposition/examples/pelletier_problems/pb58.p (content) unsat unknown 0.020s
zip-dev /home/simon/workspace/zipperposition/examples/pelletier_problems/pb57.p (content) unsat unknown 0.016s
zip-dev /home/simon/workspace/zipperposition/examples/pelletier_problems/pb56.p (content) unsat unknown 0.019s
zip-dev /home/simon/workspace/zipperposition/examples/pelletier_problems/pb55.p (content) unsat unknown 0.028s
zip-dev /home/simon/workspace/zipperposition/examples/pelletier_problems/pb54.p (content) timeout unknown 9.8s
zip-dev /home/simon/workspace/zipperposition/examples/pelletier_problems/pb53.p (content) timeout unknown 9.8s
zip-dev /home/simon/workspace/zipperposition/examples/pelletier_problems/pb52.p (content) unsat unknown 0.024s
zip-dev /home/simon/workspace/zipperposition/examples/pelletier_problems/pb51.p (content) unsat unknown 0.021s
zip-dev /home/simon/workspace/zipperposition/examples/pelletier_problems/pb50.p (content) unsat unknown 0.014s
zip-dev /home/simon/workspace/zipperposition/examples/pelletier_problems/pb5.p (content) unsat unknown 0.013s
zip-dev /home/simon/workspace/zipperposition/examples/pelletier_problems/pb49.p (content) unsat unknown 0.036s
zip-dev /home/simon/workspace/zipperposition/examples/pelletier_problems/pb48.p (content) unsat unknown 0.016s
zip-dev /home/simon/workspace/zipperposition/examples/pelletier_problems/pb47.p (content) unsat unknown 6.6s
zip-dev /home/simon/workspace/zipperposition/examples/pelletier_problems/pb46.p (content) unsat unknown 0.028s
zip-dev /home/simon/workspace/zipperposition/examples/pelletier_problems/pb45.p (content) unsat unknown 0.021s
zip-dev /home/simon/workspace/zipperposition/examples/pelletier_problems/pb44.p (content) unsat unknown 0.016s
zip-dev /home/simon/workspace/zipperposition/examples/pelletier_problems/pb43.p (content) unsat unknown 0.025s