detailed results (6417 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET558-6.p (content) unsat unsat 0.479s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET553-6.p (content) unsat unsat 9.5s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET451-6.p (content) unsat unsat 1.0s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET386-6.p (content) unsat unsat 1.2s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET366+4.p (content) unsat unsat 0.025s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET355+4.p (content) unsat unsat 0.053s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET347+4.p (content) unsat unsat 0.197s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET296-6.p (content) unsat unsat 0.025s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET241-6.p (content) unsat unsat 1.1s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET240-6.p (content) unsat unsat 1.1s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET239-6.p (content) unsat unsat 1s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET238-6.p (content) unsat unsat 1s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET234-6.p (content) unsat unsat 0.887s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET231-6.p (content) unsat unsat 0.772s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET204-6.p (content) unsat unsat 0.077s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET203-6.p (content) unsat unsat 0.437s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET201^5.p (content) unsat unsat 0.019s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET201+3.p (content) unsat unsat 8.9s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET200^5.p (content) unsat unsat 0.018s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET199^5.p (content) unsat unsat 0.016s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET199+3.p (content) unsat unsat 3.3s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET197-6.p (content) unsat unsat 7.2s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET196^5.p (content) unsat unsat 0.017s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET196-6.p (content) unsat unsat 8.4s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET196+3.p (content) unsat unsat 0.025s