detailed results (6396 total)

prover file res expected time
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUN/NUN015_5.p (content) unsat unsat 0.477s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM994_5.p (content) unsat unsat 0.720s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM991_5.p (content) unsat unsat 0.042s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM980_5.p (content) unsat unsat 1.1s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM978_5.p (content) unsat unsat 0.034s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM977_5.p (content) unsat unsat 0.641s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM974_5.p (content) unsat unknown 8.0s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM972_5.p (content) unsat unsat 0.406s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM970_5.p (content) unsat unsat 0.110s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM967_5.p (content) unsat unsat 0.201s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM962_5.p (content) unsat unsat 1s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM958_5.p (content) unsat unsat 0.821s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM954_5.p (content) unsat unsat 0.797s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM952_5.p (content) unsat unsat 0.698s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM951_5.p (content) unsat unknown 1.7s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM948_5.p (content) unsat unsat 0.831s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM945_5.p (content) unsat unsat 0.721s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM944_5.p (content) unsat unsat 0.146s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM940_5.p (content) unsat unsat 0.716s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM932_5.p (content) unsat unknown 0.132s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM931_5.p (content) unsat unsat 0.568s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM926_2.p (content) unsat unsat 7.5s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM926_1.p (content) unsat unsat 3.3s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM926^2.p (content) unsat unsat 6.4s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM926^1.p (content) unsat unsat 3.3s