root
file
detailed [2050..2074]
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/KRS/KRS064+1.p
(content)
unsat
unsat
0.019s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KRS/KRS063+1.p
(content)
unsat
unsat
0.024s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KRS/KRS017-1.p
(content)
unsat
unsat
0.022s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KRS/KRS015-1.p
(content)
unsat
unsat
0.031s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KRS/KRS013-1.p
(content)
unsat
unsat
0.042s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KRS/KRS012-1.p
(content)
unsat
unsat
0.021s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KRS/KRS010-1.p
(content)
unsat
unsat
0.079s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KRS/KRS004-1.p
(content)
unsat
unsat
0.017s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KRS/KRS003_1.p
(content)
unsat
unsat
0.025s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KRS/KRS003-1.p
(content)
unsat
unsat
0.027s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KRS/KRS002-1.p
(content)
unsat
unsat
0.029s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KRS/KRS001-1.p
(content)
unsat
unsat
0.028s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KLE/KLE167+1.p
(content)
unsat
unsat
0.347s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KLE/KLE148+2.p
(content)
unsat
unsat
0.363s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KLE/KLE148+1.p
(content)
unsat
unsat
0.054s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KLE/KLE146+1.p
(content)
unsat
unsat
0.066s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KLE/KLE144+2.p
(content)
unsat
unsat
1.5s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KLE/KLE142+2.p
(content)
unsat
unsat
1.2s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KLE/KLE141+2.p
(content)
unsat
unsat
0.675s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KLE/KLE141+1.p
(content)
unsat
unsat
1.6s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KLE/KLE138+1.p
(content)
unsat
unsat
0.028s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KLE/KLE137+1.p
(content)
unsat
unsat
0.986s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KLE/KLE133+1.p
(content)
unsat
unsat
1.3s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KLE/KLE119+1.p
(content)
unsat
unsat
0.070s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KLE/KLE114+1.p
(content)
unsat
unsat
0.081s