root
file
detailed [3250..3274]
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/PUZ/PUZ135_2.p
(content)
unsat
unsat
3s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ135_1.p
(content)
unsat
unsat
0.547s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ134_1.p
(content)
unsat
unsat
5.4s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ132+1.p
(content)
unsat
unsat
0.023s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ131_1.p
(content)
unsat
unsat
0.021s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ131+1.p
(content)
unsat
unsat
0.031s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ130_1.p
(content)
unsat
unsat
0.022s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ130+1.p
(content)
unsat
unsat
0.067s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ129+2.p
(content)
unsat
unsat
0.028s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ128+2.p
(content)
unsat
unsat
0.023s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ128+1.p
(content)
unsat
unsat
0.022s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ094^5.p
(content)
unsat
unsat
0.252s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ092^5.p
(content)
unsat
unsat
0.021s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ091^5.p
(content)
unsat
unsat
0.025s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ090^5.p
(content)
unsat
unsat
0.019s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ088^5.p
(content)
unsat
unsat
0.018s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ081^3.p
(content)
unsat
unsat
0.024s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ081^2.p
(content)
unsat
unsat
0.023s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ081^1.p
(content)
unsat
unsat
0.036s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ075+1.p
(content)
unsat
unsat
1.3s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ063-2.p
(content)
unsat
unsat
0.018s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ063-1.p
(content)
unsat
unsat
0.463s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ062-2.p
(content)
unsat
unsat
0.035s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ061+1.p
(content)
unsat
unsat
0.025s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ060+1.p
(content)
unsat
unsat
0.023s