detailed results (12847 total)

prover file res expected time
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM459+2.p (content) unsat unsat 3.0s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM458+2.p (content) unsat unsat 0.036s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM458+2.p (content) unsat unsat 0.033s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM458+1.p (content) unsat unsat 0.119s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM458+1.p (content) unsat unsat 0.117s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM457+1.p (content) unsat unsat 3.3s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM457+1.p (content) unsat unsat 3.2s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM456+6.p (content) unsat unsat 0.792s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM456+6.p (content) unsat unsat 0.700s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM455+6.p (content) unsat unsat 1.1s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM455+6.p (content) unsat unsat 1.1s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM450+6.p (content) unsat unsat 0.842s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM450+6.p (content) unsat unsat 0.851s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM436+3.p (content) unsat unsat 0.130s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM436+3.p (content) unsat unsat 0.123s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM434+3.p (content) unsat unsat 0.109s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM434+3.p (content) unsat unsat 0.105s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM432+3.p (content) unsat unsat 0.093s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM432+3.p (content) unsat unsat 0.091s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM432+1.p (content) unsat unsat 3.1s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM432+1.p (content) unsat unsat 3s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM430+3.p (content) unsat unsat 0.079s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM430+3.p (content) unsat unsat 0.094s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM429+3.p (content) unsat unsat 0.084s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM429+3.p (content) unsat unsat 0.081s