root
file
detailed [325..349]
prev
next
detailed results (962 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP134+1.p
(content)
unknown
sat
1.1s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP133+1.p
(content)
unknown
sat
1.1s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP133+1.p
(content)
unknown
sat
1.2s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP132+1.p
(content)
unknown
sat
1.1s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP132+1.p
(content)
unknown
sat
1s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP131+1.p
(content)
unknown
sat
1.1s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP131+1.p
(content)
unknown
sat
1.2s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP130+1.p
(content)
unknown
sat
1s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP130+1.p
(content)
unknown
sat
1.2s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP123+1.p
(content)
unknown
sat
0.146s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP123+1.p
(content)
unknown
sat
0.239s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP120+1.p
(content)
unknown
sat
0.161s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP120+1.p
(content)
unknown
sat
0.158s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP119+1.p
(content)
unknown
sat
0.152s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP119+1.p
(content)
unknown
sat
0.137s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP118+1.p
(content)
unknown
sat
0.193s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP118+1.p
(content)
unknown
sat
0.202s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP117+1.p
(content)
unknown
unsat
0.155s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP117+1.p
(content)
unknown
unsat
0.154s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP115+1.p
(content)
unknown
sat
0.162s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP115+1.p
(content)
unknown
sat
0.142s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP114+1.p
(content)
unknown
sat
0.237s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP114+1.p
(content)
unknown
sat
0.151s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP099+1.p
(content)
unknown
sat
0.436s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP099+1.p
(content)
unknown
sat
0.440s