zip-dev-check
|
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO219^5.p
(content)
|
unknown
|
unsat
|
0.022s
|
zip-dev-check
|
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO208^5.p
(content)
|
unknown
|
unsat
|
0.021s
|
zip-dev-check
|
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO148^5.p
(content)
|
unknown
|
unsat
|
0.169s
|
zip-dev-check
|
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO126^5.p
(content)
|
unknown
|
sat
|
0.019s
|
zip-dev-check
|
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO043^2.p
(content)
|
unknown
|
sat
|
0.101s
|
zip-dev-check
|
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO037^1.p
(content)
|
unknown
|
unsat
|
0.019s
|
zip-dev-check
|
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO035^1.p
(content)
|
unknown
|
unsat
|
0.027s
|
zip-dev-check
|
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO026^1.p
(content)
|
unknown
|
unsat
|
0.022s
|
zip-dev-check
|
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO011^1.p
(content)
|
unknown
|
unsat
|
0.024s
|
zip-dev-check
|
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO010^1.p
(content)
|
unknown
|
unsat
|
0.024s
|
zip-dev-check
|
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO008^1.p
(content)
|
unknown
|
unsat
|
0.027s
|
zip-dev-check
|
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO005^1.p
(content)
|
unknown
|
unsat
|
0.027s
|
zip-dev-check
|
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO004^1.p
(content)
|
unknown
|
unsat
|
0.022s
|
zip-dev-check
|
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO003^1.p
(content)
|
unknown
|
unsat
|
0.023s
|
zip-dev-check
|
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYO/SYO002^1.p
(content)
|
unknown
|
unsat
|
1.3s
|
zip-dev-check
|
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN999^1.p
(content)
|
unknown
|
unsat
|
2.9s
|
zip-dev-check
|
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN997^1.p
(content)
|
unknown
|
unsat
|
0.019s
|
zip-dev-check
|
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN992^1.p
(content)
|
unknown
|
unsat
|
0.019s
|
zip-dev-check
|
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN991^1.p
(content)
|
unknown
|
unsat
|
0.019s
|
zip-dev-check
|
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN902-1.p
(content)
|
unknown
|
sat
|
7.7s
|
zip-dev-check
|
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN901-1.p
(content)
|
unknown
|
unsat
|
7.9s
|
zip-dev-check
|
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN900-1.p
(content)
|
unknown
|
unsat
|
2.2s
|
zip-dev-check
|
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN899-1.p
(content)
|
unknown
|
unsat
|
2.4s
|
zip-dev-check
|
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN898-1.p
(content)
|
unknown
|
unsat
|
1.9s
|
zip-dev-check
|
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN897-1.p
(content)
|
unknown
|
unsat
|
2s
|