detailed results (6453 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG039-1.p (content) unsat unsat 0.188s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG038-2.p (content) unsat unsat 0.107s
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.724s
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.711s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG011-5.p (content) unsat unsat 0.066s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG010-2.p (content) unsat unsat 0.066s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG008-4.p (content) unsat unsat 1s
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.035s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG003-1.p (content) unsat unsat 0.539s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG002-1.p (content) unsat unsat 0.486s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/REL/REL049-1.p (content) unsat unsat 0.128s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/REL/REL049+1.p (content) unsat unsat 0.144s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/REL/REL046-1.p (content) unsat unsat 0.246s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/REL/REL046+1.p (content) unsat unsat 0.248s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/REL/REL023-2.p (content) unsat unsat 4.6s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/REL/REL023+2.p (content) unsat unsat 4.5s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/REL/REL015-1.p (content) unsat unsat 0.983s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/REL/REL015+1.p (content) unsat unsat 0.983s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/REL/REL014+1.p (content) unsat unsat 0.653s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/REL/REL011-2.p (content) unsat unsat 2.5s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/REL/REL011+2.p (content) unsat unsat 2.5s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/REL/REL003-1.p (content) unsat unsat 0.054s