root
file
detailed [2700..2724]
prev
next
detailed results (13480 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP281-1.p
(content)
unsat
unsat
4.9s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP281-1.p
(content)
unsat
unsat
10s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP280-1.p
(content)
unsat
unsat
4.4s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP280-1.p
(content)
unsat
unsat
10s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP279-1.p
(content)
unsat
unsat
0.870s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP279-1.p
(content)
unsat
unsat
10s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP278-1.p
(content)
unsat
unsat
0.868s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP278-1.p
(content)
unsat
unsat
1.3s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP277-1.p
(content)
unsat
unsat
5.1s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP277-1.p
(content)
unsat
unsat
10s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP276-1.p
(content)
unsat
unsat
1.7s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP276-1.p
(content)
unsat
unsat
2.2s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP275-1.p
(content)
unsat
unsat
1.3s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP275-1.p
(content)
unsat
unsat
2.2s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP274-1.p
(content)
unsat
unsat
1.9s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP274-1.p
(content)
unsat
unsat
10s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP273-1.p
(content)
unsat
unsat
4.9s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP273-1.p
(content)
unsat
unsat
10s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP272-1.p
(content)
unsat
unsat
1.3s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP272-1.p
(content)
unsat
unsat
10s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP271-1.p
(content)
unsat
unsat
4s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP271-1.p
(content)
unsat
unsat
10s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP270-1.p
(content)
unsat
unsat
0.877s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP270-1.p
(content)
unsat
unsat
10s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP269-1.p
(content)
unsat
unsat
7.7s