root
file
detailed [475..487]
prev
next
detailed results (488 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO563+1.p
(content)
error
unsat
0.024s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO562_1.p
(content)
error
sat
0.025s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO561_1.p
(content)
error
unsat
0.024s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO558^1.p
(content)
error
unsat
0.030s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO557^1.p
(content)
error
unsat
0.023s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO546^1.p
(content)
error
unsat
0.024s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO545^1.p
(content)
error
unsat
0.025s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO544^1.p
(content)
error
unsat
0.024s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO176^5.p
(content)
error
sat
9.2s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO042^2.p
(content)
error
unsat
0.026s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO042^1.p
(content)
error
unsat
0.024s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO025^1.p
(content)
error
unsat
0.025s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO024^1.p
(content)
error
unsat
0.032s