root
file
detailed [4875..4899]
prev
next
detailed results (6396 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC411+1.p
(content)
unsat
unsat
0.913s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC406-1.p
(content)
unsat
unsat
0.583s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC406+1.p
(content)
unsat
unsat
0.767s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC405-1.p
(content)
unsat
unsat
0.635s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC405+1.p
(content)
unsat
unsat
0.865s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC391-1.p
(content)
unsat
unsat
0.035s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC391+1.p
(content)
unsat
unsat
0.048s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC389-1.p
(content)
unsat
unsat
0.750s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC389+1.p
(content)
unsat
unsat
1s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC387-1.p
(content)
unsat
unsat
2.9s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC386-1.p
(content)
unsat
unsat
0.802s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC386+1.p
(content)
unsat
unsat
1s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC385-1.p
(content)
unsat
unsat
0.044s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC385+1.p
(content)
unsat
unsat
0.042s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC384-1.p
(content)
unsat
unsat
0.631s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC384+1.p
(content)
unsat
unsat
0.995s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC381-1.p
(content)
unsat
unsat
0.689s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC381+1.p
(content)
unsat
unsat
0.835s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC380-1.p
(content)
unsat
unsat
6.5s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC375-1.p
(content)
unsat
unsat
0.046s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC375+1.p
(content)
unsat
unsat
0.042s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC373-1.p
(content)
unsat
unsat
9s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC372+1.p
(content)
unsat
unsat
1.6s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC371+1.p
(content)
unsat
unsat
1.5s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC370+1.p
(content)
unsat
unsat
1.4s