root
file
detailed [3050..3074]
prev
next
detailed results (12865 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP159-1.p
(content)
unsat
unsat
0.042s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP158-1.p
(content)
unsat
unsat
0.047s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP158-1.p
(content)
unsat
unsat
0.045s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP157-1.p
(content)
unsat
unsat
0.039s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP157-1.p
(content)
unsat
unsat
0.039s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP156-1.p
(content)
unsat
unsat
0.057s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP156-1.p
(content)
unsat
unsat
0.058s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP155-1.p
(content)
unsat
unsat
0.061s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP155-1.p
(content)
unsat
unsat
0.066s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP154-1.p
(content)
unsat
unsat
0.051s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP154-1.p
(content)
unsat
unsat
0.054s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP153-1.p
(content)
unsat
unsat
0.043s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP153-1.p
(content)
unsat
unsat
0.043s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP152-1.p
(content)
unsat
unsat
0.212s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP152-1.p
(content)
unsat
unsat
0.213s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP151-1.p
(content)
unsat
unsat
0.041s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP151-1.p
(content)
unsat
unsat
0.042s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP150-1.p
(content)
unsat
unsat
0.128s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP150-1.p
(content)
unsat
unsat
0.131s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP149-1.p
(content)
unsat
unsat
0.212s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP149-1.p
(content)
unsat
unsat
0.236s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP146-1.p
(content)
unsat
unsat
0.222s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP146-1.p
(content)
unsat
unsat
0.228s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP145-1.p
(content)
unsat
unsat
0.071s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP145-1.p
(content)
unsat
unsat
0.072s