detailed results (6472 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ004-1.p (content) unsat unsat 0.022s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ003-1.p (content) unsat unsat 0.030s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ002-1.p (content) unsat unsat 0.022s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ001-2.p (content) unsat unsat 0.030s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ001-1.p (content) unsat unsat 0.026s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ001+2.p (content) unsat unsat 0.040s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ001+1.p (content) unsat unsat 0.028s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PRO/PRO012+2.p (content) unsat unsat 1.1s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PRO/PRO011+4.p (content) unsat unsat 0.144s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PRO/PRO011+3.p (content) unsat unsat 0.490s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PRO/PRO011+2.p (content) unsat unsat 0.124s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PRO/PRO011+1.p (content) unsat unsat 0.470s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PRO/PRO010+4.p (content) unsat unsat 0.155s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PRO/PRO010+3.p (content) unsat unsat 0.196s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PRO/PRO010+2.p (content) unsat unsat 0.494s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PRO/PRO010+1.p (content) unsat unsat 0.478s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PRO/PRO009+4.p (content) unsat unsat 2.7s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PLA/PLA023-1.p (content) unsat unsat 3.2s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PLA/PLA022-2.p (content) unsat unsat 0.039s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PLA/PLA022-1.p (content) unsat unsat 0.044s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PLA/PLA021-1.p (content) unsat unsat 0.139s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PLA/PLA020-1.p (content) unsat unsat 0.039s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PLA/PLA019-1.p (content) unsat unsat 0.087s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PLA/PLA018-1.p (content) unsat unsat 1.1s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PLA/PLA017-1.p (content) unsat unsat 0.034s