detailed results (6417 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG072+1.p (content) unsat unsat 0.165s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG061+2.p (content) unsat unsat 0.931s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG061+1.p (content) unsat unsat 0.977s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG060+2.p (content) unsat unsat 7.5s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG060+1.p (content) unsat unsat 7.7s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG059+2.p (content) unsat unsat 0.646s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG059+1.p (content) unsat unsat 0.630s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG049+1.p (content) unsat unsat 0.172s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG045+1.p (content) unsat unsat 0.139s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG044+1.p (content) unsat unsat 0.089s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG041-1.p (content) unsat unsat 0.964s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG039-1.p (content) unsat unsat 0.185s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG038-2.p (content) unsat unsat 0.095s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG024-7.p (content) unsat unsat 0.039s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG024-6.p (content) unsat unsat 0.711s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG023-7.p (content) unsat unsat 0.044s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG023-6.p (content) unsat unsat 0.633s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG011-5.p (content) unsat unsat 0.073s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG010-2.p (content) unsat unsat 0.073s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG008-4.p (content) unsat unsat 1.2s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG008-3.p (content) unsat unsat 1.2s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG007-4.p (content) unsat unsat 0.034s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG003-1.p (content) unsat unsat 0.473s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG002-1.p (content) unsat unsat 0.437s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/REL/REL049-1.p (content) unsat unsat 0.126s