detailed results (236 total)

prover file res expected time
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb34.p (content) unsat unknown 1.5s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb33.p (content) unsat unknown 0.034s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb32.p (content) unsat unknown 0.032s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb31.p (content) unsat unknown 0.028s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb30.p (content) unsat unknown 0.034s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb3.p (content) unsat unknown 0.019s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb29.p (content) unsat unknown 0.040s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb28.p (content) sat unknown 0.025s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb27.p (content) unsat unknown 0.024s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb26.p (content) unsat unknown 0.025s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb25.p (content) unsat unknown 0.033s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb24.p (content) unsat unknown 0.033s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb23.p (content) unsat unknown 0.021s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb22.p (content) unsat unknown 0.024s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb21.p (content) unsat unknown 0.029s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb20.p (content) unsat unknown 0.029s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb2.p (content) unsat unknown 0.026s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb19.p (content) unsat unknown 0.028s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb18.p (content) unsat unknown 0.022s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb17.p (content) unsat unknown 0.028s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb16.p (content) unsat unknown 0.025s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb15.p (content) unsat unknown 0.028s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb14.p (content) unsat unknown 0.033s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb13.p (content) unsat unknown 0.036s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb12.p (content) unsat unknown 0.038s