detailed results (12865 total)

prover file res expected time
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD055-3.p (content) unsat unsat 1.7s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD055-1.p (content) unsat unsat 3.2s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD055-1.p (content) unsat unsat 2.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD050-4.p (content) unsat unsat 0.480s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD050-4.p (content) unsat unsat 0.484s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD039-3.p (content) unsat unsat 0.067s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD039-3.p (content) unsat unsat 0.069s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD039-1.p (content) unsat unsat 0.030s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD039-1.p (content) unsat unsat 0.033s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD038-3.p (content) unsat unsat 0.147s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD038-3.p (content) unsat unsat 0.150s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD037-3.p (content) unsat unsat 0.293s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD037-3.p (content) unsat unsat 0.264s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD036-3.p (content) unsat unsat 0.286s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD036-3.p (content) unsat unsat 0.482s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD035-3.p (content) unsat unsat 0.311s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD035-3.p (content) unsat unsat 0.307s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD034-3.p (content) unsat unsat 0.125s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD034-3.p (content) unsat unsat 0.134s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD033-3.p (content) unsat unsat 0.203s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD033-3.p (content) unsat unsat 0.209s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD032-3.p (content) unsat unsat 0.130s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD032-3.p (content) unsat unsat 0.123s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD031-5.p (content) unsat unsat 0.094s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD031-5.p (content) unsat unsat 0.095s