root
file
detailed [6075..6099]
prev
next
detailed results (6453 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN715-1.p
(content)
unsat
unsat
0.347s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN712-1.p
(content)
unsat
unsat
0.293s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN711-1.p
(content)
unsat
unsat
0.424s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN710-1.p
(content)
unsat
unsat
0.131s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN709-1.p
(content)
unsat
unsat
0.249s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN708-1.p
(content)
unsat
unsat
2.3s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN707-1.p
(content)
unsat
unsat
2.3s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN705-1.p
(content)
unsat
unsat
1.3s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN703-1.p
(content)
unsat
unsat
0.126s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN702-1.p
(content)
unsat
unsat
1.3s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN701-1.p
(content)
unsat
unsat
0.161s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN700-1.p
(content)
unsat
unsat
0.189s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN699-1.p
(content)
unsat
unsat
0.185s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN698-1.p
(content)
unsat
unsat
0.209s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN697-1.p
(content)
unsat
unsat
0.215s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN696-1.p
(content)
unsat
unsat
0.212s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN695-1.p
(content)
unsat
unsat
0.172s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN694-1.p
(content)
unsat
unsat
0.227s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN693-1.p
(content)
unsat
unsat
0.219s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN692-1.p
(content)
unsat
unsat
0.157s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN691-1.p
(content)
unsat
unsat
0.171s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN689-1.p
(content)
unsat
unsat
4.9s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN688-1.p
(content)
unsat
unsat
4.3s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN687-1.p
(content)
unsat
unsat
0.367s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN686-1.p
(content)
unsat
unsat
3.7s