detailed results (12888 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM838+2.p (content) unsat unsat 0.184s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM838+2.p (content) unsat unsat 0.186s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM838+1.p (content) unsat unsat 0.269s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM838+1.p (content) unsat unsat 0.272s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM837+2.p (content) unsat unsat 0.054s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM837+2.p (content) unsat unsat 0.054s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM837+1.p (content) unsat unsat 0.051s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM837+1.p (content) unsat unsat 0.064s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM836+2.p (content) unsat unsat 1.0s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM836+2.p (content) unsat unsat 2.2s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM836+1.p (content) unsat unsat 0.971s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM836+1.p (content) unsat unsat 0.954s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM835+2.p (content) unsat unsat 0.291s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM835+2.p (content) unsat unsat 0.351s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM835+1.p (content) unsat unsat 0.082s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM835+1.p (content) unsat unsat 0.072s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM830^5.p (content) unsat unsat 0.059s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM830^5.p (content) unsat unsat 0.061s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM809^5.p (content) unsat unsat 3.5s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM809^5.p (content) unsat unsat 3.5s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM808^5.p (content) unsat unsat 3.9s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM808^5.p (content) unsat unsat 3.5s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM796^1.p (content) unsat unsat 0.025s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM796^1.p (content) unsat unsat 0.026s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM795^1.p (content) unsat unsat 0.029s