zip-dev-check
|
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP134+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
|
1s
|
zip-dev-check
|
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP132+1.p
(content)
|
unknown
|
sat
|
1s
|
zip-dev-check
|
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP131+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.1s
|
zip-dev-check
|
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP123+1.p
(content)
|
unknown
|
sat
|
0.187s
|
zip-dev-check
|
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP120+1.p
(content)
|
unknown
|
sat
|
0.154s
|
zip-dev-check
|
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP119+1.p
(content)
|
unknown
|
sat
|
0.147s
|
zip-dev-check
|
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP118+1.p
(content)
|
unknown
|
sat
|
0.175s
|
zip-dev-check
|
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP117+1.p
(content)
|
unknown
|
unsat
|
0.200s
|
zip-dev-check
|
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP115+1.p
(content)
|
unknown
|
sat
|
0.158s
|
zip-dev-check
|
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP114+1.p
(content)
|
unknown
|
sat
|
0.151s
|
zip-dev-check
|
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP099+1.p
(content)
|
unknown
|
sat
|
0.369s
|
zip-dev-check
|
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP098+1.p
(content)
|
unknown
|
sat
|
0.332s
|
zip-dev-check
|
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP097+1.p
(content)
|
unknown
|
sat
|
0.355s
|
zip-dev-check
|
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP093+1.p
(content)
|
unknown
|
sat
|
0.363s
|
zip-dev-check
|
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP092+1.p
(content)
|
unknown
|
sat
|
0.428s
|
zip-dev-check
|
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP087-1.p
(content)
|
unknown
|
sat
|
0.191s
|
zip-dev-check
|
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP087+1.p
(content)
|
unknown
|
sat
|
0.204s
|
zip-dev-check
|
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP086-1.p
(content)
|
unknown
|
sat
|
0.143s
|
zip-dev-check
|
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP086+1.p
(content)
|
unknown
|
sat
|
0.201s
|
zip-dev-check
|
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP085-1.p
(content)
|
unknown
|
sat
|
0.235s
|
zip-dev-check
|
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP085+1.p
(content)
|
unknown
|
sat
|
0.207s
|
zip-dev-check
|
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP084-1.p
(content)
|
unknown
|
sat
|
0.141s
|
zip-dev-check
|
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NLP/NLP084+1.p
(content)
|
unknown
|
sat
|
0.233s
|