detailed results (41292 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT020=1.p (content) unsat unsat 0.060s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT020=1.p (content) unsat unsat 0.055s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT019=1.p (content) unsat unsat 0.021s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT019=1.p (content) unsat unsat 0.019s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT018=1.p (content) unsat unsat 0.036s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT018=1.p (content) unsat unsat 0.031s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT017=1.p (content) unsat unsat 0.044s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT017=1.p (content) unsat unsat 0.061s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT016=1.p (content) unsat unsat 0.030s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT016=1.p (content) unsat unsat 0.033s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT015=1.p (content) unsat unsat 0.179s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT015=1.p (content) unsat unsat 0.162s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT014=1.p (content) unsat unsat 0.040s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT014=1.p (content) unsat unsat 0.036s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT013=1.p (content) unsat unsat 0.026s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT013=1.p (content) unsat unsat 0.033s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT012=1.p (content) unsat unsat 0.057s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT012=1.p (content) unsat unsat 0.060s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT011=1.p (content) unsat unsat 0.195s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT011=1.p (content) unsat unsat 0.194s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT010=1.p (content) unsat unsat 0.053s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT010=1.p (content) unsat unsat 0.057s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT009=1.p (content) unknown unsat 0.228s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT009=1.p (content) unknown unsat 0.227s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT008=1.p (content) unsat unsat 0.138s