detailed results (12888 total)

prover file res expected time
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM304+1.p (content) unsat unsat 0.180s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM302+1.p (content) unsat unsat 0.202s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM302+1.p (content) unsat unsat 0.214s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM300+1.p (content) unsat unsat 0.195s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM300+1.p (content) unsat unsat 0.211s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM298+1.p (content) unsat unsat 0.715s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM298+1.p (content) unsat unsat 0.748s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM296+1.p (content) unsat unsat 0.970s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM296+1.p (content) unsat unsat 0.977s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM295+1.p (content) unsat unsat 0.185s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM295+1.p (content) unsat unsat 0.169s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM294+1.p (content) unsat unsat 0.177s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM294+1.p (content) unsat unsat 0.200s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM293+1.p (content) unsat unsat 0.194s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM293+1.p (content) unsat unsat 0.218s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM283-1.005.p (content) unsat unsat 4.5s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM283-1.005.p (content) unsat unsat 4.6s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM228-1.p (content) unsat unsat 0.467s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM228-1.p (content) unsat unsat 0.446s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM190-1.p (content) unsat unsat 0.329s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM190-1.p (content) unsat unsat 0.324s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM183-1.p (content) unsat unsat 1s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM183-1.p (content) unsat unsat 1s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM139-1.p (content) unsat unsat 1.4s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM139-1.p (content) unsat unsat 1.6s