root
file
detailed [2375..2399]
prev
next
detailed results (13480 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/GRP165-2.p
(content)
unsat
unsat
1.3s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP165-1.p
(content)
unsat
unsat
0.820s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP165-1.p
(content)
unsat
unsat
0.924s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP164-2.p
(content)
timeout
unsat
9.9s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP164-2.p
(content)
timeout
unsat
10s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP164-1.p
(content)
timeout
unsat
10s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP164-1.p
(content)
timeout
unsat
9.9s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP163-1.p
(content)
unsat
unsat
0.151s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP163-1.p
(content)
unsat
unsat
0.155s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP162-1.p
(content)
unsat
unsat
0.140s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP162-1.p
(content)
unsat
unsat
0.155s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP161-1.p
(content)
unsat
unsat
0.025s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP161-1.p
(content)
unsat
unsat
0.025s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP160-1.p
(content)
unsat
unsat
0.025s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP160-1.p
(content)
unsat
unsat
0.026s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP159-1.p
(content)
unsat
unsat
0.044s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP159-1.p
(content)
unsat
unsat
0.040s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP158-1.p
(content)
unsat
unsat
0.048s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP158-1.p
(content)
unsat
unsat
0.048s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP157-1.p
(content)
unsat
unsat
0.040s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP157-1.p
(content)
unsat
unsat
0.041s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP156-1.p
(content)
unsat
unsat
0.066s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP156-1.p
(content)
unsat
unsat
0.065s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP155-1.p
(content)
unsat
unsat
0.057s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP155-1.p
(content)
unsat
unsat
0.058s