root
file
detailed [75..99]
prev
next
detailed results (6406 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG138+1.p
(content)
unsat
unsat
0.107s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG137+1.p
(content)
unsat
unsat
0.793s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG136+1.p
(content)
unsat
unsat
2.9s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG135+1.p
(content)
unsat
unsat
3.5s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG130+1.p
(content)
unsat
unsat
1.3s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG129+1.p
(content)
unsat
unsat
2.3s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG127+1.p
(content)
unsat
unsat
4.1s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG126+1.p
(content)
unsat
unsat
2s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG125+1.p
(content)
unsat
unsat
3.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG124+1.p
(content)
unsat
unsat
0.952s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG123+1.p
(content)
unsat
unsat
1.4s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG122+1.p
(content)
unsat
unsat
6.6s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG121+1.p
(content)
unsat
unsat
1.4s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG120+1.p
(content)
unsat
unsat
2.4s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG119+1.p
(content)
unsat
unsat
2.5s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG118+1.p
(content)
unsat
unsat
1.7s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG117+1.p
(content)
unsat
unsat
1s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG116+1.p
(content)
unsat
unsat
5.5s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG115+1.p
(content)
unsat
unsat
2.9s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG114+1.p
(content)
unsat
unsat
1.5s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG113+1.p
(content)
unsat
unsat
1.7s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG112+1.p
(content)
unsat
unsat
5.1s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG111+1.p
(content)
unsat
unsat
1.2s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG110+1.p
(content)
unsat
unsat
2.2s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG107+1.p
(content)
unsat
unsat
3s