detailed results (236 total)

prover file res expected time
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb57.p (content) unsat unknown 0.034s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb56.p (content) unsat unknown 0.024s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb55.p (content) unsat unknown 0.053s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb54.p (content) timeout unknown 9.8s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb53.p (content) timeout unknown 10s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb52.p (content) unsat unknown 0.039s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb51.p (content) unsat unknown 0.038s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb50.p (content) unsat unknown 0.020s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb5.p (content) unsat unknown 0.019s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb49.p (content) unsat unknown 0.057s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb48.p (content) unsat unknown 0.020s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb47.p (content) unsat unknown 7.0s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb46.p (content) unsat unknown 0.045s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb45.p (content) unsat unknown 0.042s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb44.p (content) unsat unknown 0.023s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb43.p (content) unsat unknown 0.049s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb42.p (content) unsat unknown 0.025s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb41.p (content) unsat unknown 0.033s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb40.p (content) unsat unknown 0.028s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb4.p (content) unsat unknown 0.030s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb39.p (content) unsat unknown 0.033s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb38.p (content) timeout unknown 9.8s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb37.p (content) unsat unknown 0.022s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb36.p (content) unsat unknown 0.033s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb35.p (content) unsat unknown 0.028s