root
file
detailed [3325..3349]
prev
next
detailed results (6472 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ROB/ROB010-1.p
(content)
unsat
unsat
0.033s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ROB/ROB009-1.p
(content)
unsat
unsat
2.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ROB/ROB002-1.p
(content)
unsat
unsat
2.7s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG128-1.p
(content)
unsat
unsat
0.237s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG125+4.p
(content)
unsat
unsat
0.121s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG124+4.p
(content)
unsat
unsat
2s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG124+1.p
(content)
unsat
unsat
0.518s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG123+4.p
(content)
unsat
unsat
0.454s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG119+4.p
(content)
unsat
unsat
1.9s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG119+1.p
(content)
unsat
unsat
1.3s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG108+4.p
(content)
unsat
unsat
0.322s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG108+1.p
(content)
unsat
unsat
1.1s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG106+2.p
(content)
unsat
unsat
1.4s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG105+2.p
(content)
unsat
unsat
0.574s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG104+2.p
(content)
unsat
unsat
1.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG104+1.p
(content)
unsat
unsat
1.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG103+2.p
(content)
unsat
unsat
3.5s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG103+1.p
(content)
unsat
unsat
3s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG102+2.p
(content)
unsat
unsat
0.027s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG102+1.p
(content)
unsat
unsat
1.2s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG101+2.p
(content)
unsat
unsat
0.028s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG101+1.p
(content)
unsat
unsat
2.1s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG099+2.p
(content)
unsat
unsat
0.308s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG089+2.p
(content)
unsat
unsat
0.162s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG089+1.p
(content)
unsat
unsat
0.136s