detailed results (976 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV036+1.p (content) error unsat 6.9s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWV/SWV036+1.p (content) error unsat 7.0s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEV/SEV271^5.p (content) error unsat 0.031s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEV/SEV271^5.p (content) error unsat 0.025s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEV/SEV184^5.p (content) error unsat 0.032s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEV/SEV184^5.p (content) error unsat 0.031s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU916^5.p (content) error unsat 0.087s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU916^5.p (content) error unsat 0.079s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU915^5.p (content) error unsat 0.036s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU915^5.p (content) error unsat 0.036s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU914^5.p (content) error unsat 0.033s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU914^5.p (content) error unsat 0.031s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU913^5.p (content) error unsat 0.158s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU913^5.p (content) error unsat 0.035s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU881^5.p (content) error unsat 0.170s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU881^5.p (content) error unsat 0.169s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU880^5.p (content) error unsat 0.165s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU880^5.p (content) error unsat 0.162s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU879^5.p (content) error unsat 7.9s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU879^5.p (content) error unsat 7.7s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU878^5.p (content) error unsat 0.031s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SEU/SEU878^5.p (content) error unsat 0.030s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM914=1.p (content) error unsat 0.025s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM914=1.p (content) error unsat 0.028s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM913=1.p (content) error unsat 0.024s