root
file
detailed [3725..3749]
prev
next
detailed results (6472 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET833-2.p
(content)
unsat
unsat
0.023s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET832-2.p
(content)
unsat
unsat
0.019s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET830-2.p
(content)
unsat
unsat
0.601s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET829-2.p
(content)
unsat
unsat
0.020s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET828-2.p
(content)
unsat
unsat
0.019s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET827-2.p
(content)
unsat
unsat
0.020s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET826-2.p
(content)
unsat
unsat
0.022s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET825-2.p
(content)
unsat
unsat
0.026s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET824-2.p
(content)
unsat
unsat
0.017s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET824-1.p
(content)
unsat
unsat
0.125s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET822-2.p
(content)
unsat
unsat
0.022s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET822-1.p
(content)
unsat
unsat
1.3s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET821-2.p
(content)
unsat
unsat
0.033s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET820-2.p
(content)
unsat
unsat
0.024s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET820-1.p
(content)
unsat
unsat
1.3s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET819-2.p
(content)
unsat
unsat
0.017s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET819-1.p
(content)
unsat
unsat
0.145s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET818-2.p
(content)
unsat
unsat
0.017s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET818-1.p
(content)
unsat
unsat
0.153s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET790+4.p
(content)
unsat
unsat
0.374s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET789+4.p
(content)
unsat
unsat
0.456s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET787-1.p
(content)
unsat
unsat
0.073s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET786-1.p
(content)
unsat
unsat
0.035s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET786+1.p
(content)
unsat
unsat
0.022s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET766+4.p
(content)
unsat
unsat
8.9s