root
file
detailed [1275..1299]
prev
next
detailed results (6740 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/GRP219-1.p
(content)
unsat
unsat
10s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP218-1.p
(content)
unsat
unsat
8.5s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP217-1.p
(content)
unsat
unsat
10s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP216-1.p
(content)
unsat
unsat
4.9s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP215-1.p
(content)
unsat
unsat
10s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP214-1.p
(content)
unsat
unsat
1.7s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP213-1.p
(content)
unsat
unsat
4.3s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP212-1.p
(content)
unsat
unsat
4.1s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP211-1.p
(content)
unsat
unsat
1.5s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP210-1.p
(content)
unsat
unsat
6.7s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP209-1.p
(content)
unsat
unsat
10s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP208-1.p
(content)
unsat
unsat
10s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP207-1.p
(content)
timeout
sat
10s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP206-1.p
(content)
unsat
unsat
0.210s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP205-1.p
(content)
timeout
unsat
9.9s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP204-1.p
(content)
timeout
sat
9.9s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP203-1.p
(content)
timeout
unsat
10s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP202-1.p
(content)
timeout
unsat
9.8s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP201-1.p
(content)
timeout
unsat
9.9s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP200-1.p
(content)
timeout
unsat
9.9s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP199-1.p
(content)
timeout
unsat
9.9s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP198-1.p
(content)
timeout
unsat
10s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP197-1.p
(content)
timeout
unsat
10s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP196-1.p
(content)
timeout
unsat
9.8s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP195-1.p
(content)
unsat
unsat
0.274s