root
file
detailed [1525..1549]
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/GRP/GRP124-8.004.p
(content)
unsat
unsat
0.444s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP124-7.004.p
(content)
unsat
unsat
0.505s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP124-6.004.p
(content)
unsat
unsat
0.490s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP124-4.004.p
(content)
unsat
unsat
0.289s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP124-3.004.p
(content)
unsat
unsat
0.218s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP124-2.004.p
(content)
unsat
unsat
0.075s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP124-1.004.p
(content)
unsat
unsat
0.110s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP123-9.003.p
(content)
unsat
unsat
0.037s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP123-8.003.p
(content)
unsat
unsat
0.042s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP123-7.003.p
(content)
unsat
unsat
0.042s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP123-6.003.p
(content)
unsat
unsat
0.042s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP123-4.003.p
(content)
unsat
unsat
0.156s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP123-3.003.p
(content)
unsat
unsat
0.103s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP123-2.003.p
(content)
unsat
unsat
0.053s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP123-1.003.p
(content)
unsat
unsat
0.050s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP118-1.p
(content)
unsat
unsat
0.500s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP117-1.p
(content)
unsat
unsat
0.055s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP116-1.p
(content)
unsat
unsat
0.158s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP115-1.p
(content)
unsat
unsat
0.156s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP096-1.p
(content)
unsat
unsat
8.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP095-1.p
(content)
unsat
unsat
8.2s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP093-1.p
(content)
unsat
unsat
6.6s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP090-1.p
(content)
unsat
unsat
4.3s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP089-1.p
(content)
unsat
unsat
4.2s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP088-1.p
(content)
unsat
unsat
1.7s