root
file
detailed [175..199]
prev
next
detailed results (535 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/NLP137-1.p
(content)
sat
sat
0.221s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP136-1.p
(content)
sat
sat
0.215s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP135-1.p
(content)
sat
sat
0.123s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP134-1.p
(content)
sat
sat
0.167s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP133-1.p
(content)
sat
sat
0.146s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP132-1.p
(content)
sat
sat
0.233s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP131-1.p
(content)
sat
sat
0.213s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP130-1.p
(content)
sat
sat
0.147s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP129-1.p
(content)
sat
sat
0.058s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP129+1.p
(content)
sat
sat
0.069s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP128-1.p
(content)
sat
sat
0.056s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP128+1.p
(content)
sat
sat
0.067s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP127-1.p
(content)
sat
sat
0.059s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP127+1.p
(content)
sat
sat
0.061s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP126-1.p
(content)
sat
sat
0.049s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP126+1.p
(content)
sat
sat
0.060s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP125-1.p
(content)
sat
sat
0.057s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP125+1.p
(content)
sat
sat
0.063s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP124-1.p
(content)
sat
sat
0.051s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP124+1.p
(content)
sat
sat
0.063s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP123-1.p
(content)
sat
sat
0.063s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP121-1.p
(content)
sat
sat
0.051s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP121+1.p
(content)
sat
sat
0.153s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP120-1.p
(content)
sat
sat
0.071s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP119-1.p
(content)
sat
sat
0.058s