root
file
detailed [4900..4924]
prev
next
detailed results (6433 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/SWC406+1.p
(content)
unsat
unsat
1s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC405-1.p
(content)
unsat
unsat
0.608s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC405+1.p
(content)
unsat
unsat
0.883s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC391-1.p
(content)
unsat
unsat
0.040s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC391+1.p
(content)
unsat
unsat
0.042s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC389-1.p
(content)
unsat
unsat
0.819s
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.870s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC386+1.p
(content)
unsat
unsat
0.920s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC385-1.p
(content)
unsat
unsat
0.046s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC385+1.p
(content)
unsat
unsat
0.041s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC384-1.p
(content)
unsat
unsat
0.662s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC384+1.p
(content)
unsat
unsat
1.000s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC381-1.p
(content)
unsat
unsat
0.698s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC381+1.p
(content)
unsat
unsat
0.750s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC380-1.p
(content)
unsat
unsat
5.8s
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.047s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC373-1.p
(content)
unsat
unsat
8.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.4s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC370+1.p
(content)
unsat
unsat
1.5s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC369-1.p
(content)
unsat
unsat
2.5s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC369+1.p
(content)
unsat
unsat
9.2s