detailed results (129 total)

prover file res expected time
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb49.p (content) unsat unknown 0.061s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb48.p (content) unsat unknown 0.025s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb47.p (content) unsat unknown 8.6s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb46.p (content) unsat unknown 0.052s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb45.p (content) unsat unknown 0.044s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb44.p (content) unsat unknown 0.035s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb43.p (content) unsat unknown 0.048s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb42.p (content) unsat unknown 0.039s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb41.p (content) unsat unknown 0.030s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb40.p (content) unsat unknown 0.030s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb4.p (content) unsat unknown 0.031s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb39.p (content) unsat unknown 0.036s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb37.p (content) unsat unknown 0.027s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb36.p (content) unsat unknown 0.029s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb35.p (content) unsat unknown 0.031s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb34.p (content) unsat unknown 1s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb33.p (content) unsat unknown 0.040s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb32.p (content) unsat unknown 0.035s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb31.p (content) unsat unknown 0.023s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb30.p (content) unsat unknown 0.036s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb3.p (content) unsat unknown 0.022s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb29.p (content) unsat unknown 0.063s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb27.p (content) unsat unknown 0.037s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb26.p (content) unsat unknown 0.038s
zip-dev /home/simon/w/these/zipperposition/examples/pelletier_problems/pb25.p (content) unsat unknown 0.033s