detailed results (8378 total)

prover file res expected time
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV134=1.p (content) timeout unsat 11s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV134=1.p (content) timeout unsat 11s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV134-1.p (content) timeout unsat 11s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV134-1.p (content) timeout unsat 10.2s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV134+1.p (content) timeout unsat 11s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV134+1.p (content) timeout unsat 11s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV133_1.p (content) timeout unsat 11s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV133_1.p (content) timeout unsat 11s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV133=1.p (content) timeout unsat 11s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV133=1.p (content) timeout unsat 10.0s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV133-1.p (content) timeout unsat 10.6s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV133-1.p (content) timeout unsat 10.7s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV133+1.p (content) timeout unsat 11s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV133+1.p (content) timeout unsat 11s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV132_1.p (content) timeout unsat 11s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV132_1.p (content) timeout unsat 11s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV132=1.p (content) timeout unsat 11s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV132=1.p (content) timeout unsat 10.4s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV132-1.p (content) timeout unsat 10.7s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV132-1.p (content) timeout unsat 10.7s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV132+1.p (content) timeout unsat 11s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV132+1.p (content) timeout unsat 11s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV131_1.p (content) timeout unsat 11s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV131_1.p (content) timeout unsat 11s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV131=1.p (content) timeout unsat 11s