root
file
detailed [21325..21349]
prev
next
detailed results (41292 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ056-2.022.p
(content)
unknown
unsat
0.060s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ056-2.020.p
(content)
unknown
unsat
0.060s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ056-2.020.p
(content)
unknown
unsat
0.058s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ056-2.015.p
(content)
unknown
unsat
0.035s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ056-2.015.p
(content)
unknown
unsat
0.035s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ056-2.010.p
(content)
unknown
unsat
0.032s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ056-2.010.p
(content)
unknown
unsat
0.032s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ056-2.005.p
(content)
unsat
unsat
1s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ056-2.005.p
(content)
unsat
unsat
1s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ056-1.p
(content)
timeout
unsat
10s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ056-1.p
(content)
timeout
unsat
10s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ055-1.p
(content)
timeout
unknown
10s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ055-1.p
(content)
timeout
unknown
10s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ054-1.p
(content)
sat
sat
0.099s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ054-1.p
(content)
sat
sat
0.101s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ053-1.p
(content)
unknown
sat
0.058s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ053-1.p
(content)
unknown
sat
0.059s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ052-1.p
(content)
unknown
sat
0.059s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ052-1.p
(content)
unknown
sat
0.060s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ051-1.p
(content)
unknown
unknown
0.043s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ051-1.p
(content)
unknown
unknown
0.042s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ050-1.p
(content)
unknown
unsat
0.061s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ050-1.p
(content)
unknown
unsat
0.045s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ049-1.p
(content)
unknown
sat
0.046s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ049-1.p
(content)
unknown
sat
0.045s