root
file
detailed [6275..6299]
prev
next
detailed results (6740 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/SYN586-1.p
(content)
timeout
unsat
9.8s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN585-1.p
(content)
timeout
unsat
9.8s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN584-1.p
(content)
unsat
unsat
0.103s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN583-1.p
(content)
timeout
unsat
9.8s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN582-1.p
(content)
timeout
unsat
9.8s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN581-1.p
(content)
timeout
unsat
9.8s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN580-1.p
(content)
timeout
unsat
9.8s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN579-1.p
(content)
timeout
unsat
9.8s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN578-1.p
(content)
timeout
unsat
9.8s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN577-1.p
(content)
timeout
unsat
9.8s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN576-1.p
(content)
timeout
unsat
9.8s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN575-1.p
(content)
timeout
unsat
9.8s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN574-1.p
(content)
timeout
unsat
9.8s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN573-1.p
(content)
unsat
unsat
0.182s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN572-1.p
(content)
timeout
unsat
9.8s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN571-1.p
(content)
unsat
unsat
0.107s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN570-1.p
(content)
timeout
unsat
9.8s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN569-1.p
(content)
unsat
unsat
4.9s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN568-1.p
(content)
unsat
unsat
0.171s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN567-1.p
(content)
unsat
unsat
0.211s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN566-1.p
(content)
timeout
unsat
9.8s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN565-1.p
(content)
timeout
unsat
9.8s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN564-1.p
(content)
timeout
unsat
9.8s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN563-1.p
(content)
unsat
unsat
2.4s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN562-1.p
(content)
unsat
unsat
0.123s