detailed results (6471 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC025-1.p (content) unsat unsat 5.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC024-1.p (content) unsat unsat 2.6s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC024+1.p (content) unsat unsat 9.5s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC023-1.p (content) unsat unsat 0.559s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC023+1.p (content) unsat unsat 1s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC020-1.p (content) unsat unsat 0.620s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC020+1.p (content) unsat unsat 0.971s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC019-1.p (content) unsat unsat 2.2s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC018-1.p (content) unsat unsat 2.3s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC018+1.p (content) unsat unsat 9s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC017-1.p (content) unsat unsat 0.537s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC017+1.p (content) unsat unsat 5s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC016-1.p (content) unsat unsat 0.604s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC016+1.p (content) unsat unsat 0.899s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC013-1.p (content) unsat unsat 8.0s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC011-1.p (content) unsat unsat 0.795s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC011+1.p (content) unsat unsat 0.897s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC010-1.p (content) unsat unsat 0.793s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC010+1.p (content) unsat unsat 0.999s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC006-1.p (content) unsat unsat 1s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC002+1.p (content) unsat unsat 0.953s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC001-1.p (content) unsat unsat 0.765s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC001+1.p (content) unsat unsat 2.3s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWB/SWB074+1.p (content) unsat unsat 0.413s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWB/SWB073+1.p (content) unsat unsat 2.5s