root
file
detailed [6050..6074]
prev
next
detailed results (6440 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN697-1.p
(content)
unsat
unsat
0.174s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN696-1.p
(content)
unsat
unsat
0.199s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN695-1.p
(content)
unsat
unsat
0.160s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN694-1.p
(content)
unsat
unsat
0.215s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN693-1.p
(content)
unsat
unsat
0.182s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN692-1.p
(content)
unsat
unsat
0.160s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN691-1.p
(content)
unsat
unsat
0.190s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN689-1.p
(content)
unsat
unsat
4.1s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN688-1.p
(content)
unsat
unsat
4.5s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN687-1.p
(content)
unsat
unsat
0.361s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN686-1.p
(content)
unsat
unsat
3.4s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN685-1.p
(content)
unsat
unsat
0.596s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN684-1.p
(content)
unsat
unsat
0.599s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN683-1.p
(content)
unsat
unsat
0.543s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN682-1.p
(content)
unsat
unsat
0.569s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN681-1.p
(content)
unsat
unsat
0.548s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN680-1.p
(content)
unsat
unsat
0.566s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN679-1.p
(content)
unsat
unsat
0.593s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN678-1.p
(content)
unsat
unsat
0.622s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN677-1.p
(content)
unsat
unsat
0.656s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN676-1.p
(content)
unsat
unsat
0.673s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN675-1.p
(content)
unsat
unsat
0.671s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN674-1.p
(content)
unsat
unsat
0.551s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN673-1.p
(content)
unsat
unsat
4.4s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN672-1.p
(content)
unsat
unsat
0.340s