root
file
detailed [2400..2424]
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/LCL/LCL301-3.p
(content)
unsat
unsat
5.7s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL297-3.p
(content)
unsat
unsat
5.5s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL296-3.p
(content)
unsat
unsat
2.7s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL294-3.p
(content)
unsat
unsat
2.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL287-3.p
(content)
unsat
unsat
2.4s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL268-3.p
(content)
unsat
unsat
1.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL258-3.p
(content)
unsat
unsat
0.031s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL250-1.p
(content)
unsat
unsat
8.5s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL239-3.p
(content)
unsat
unsat
0.935s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL238-3.p
(content)
unsat
unsat
8.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL238-1.p
(content)
unsat
unsat
0.125s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL236-3.p
(content)
unsat
unsat
0.316s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL236-1.p
(content)
unsat
unsat
0.032s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL235-3.p
(content)
unsat
unsat
9.1s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL231-1.p
(content)
unsat
unsat
0.388s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL230-2.p
(content)
unsat
unsat
0.017s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL230-1.p
(content)
unsat
unsat
0.425s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL230+1.p
(content)
unsat
unsat
0.016s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL226-3.p
(content)
unsat
unsat
0.077s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL226-1.p
(content)
unsat
unsat
0.091s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL219-3.p
(content)
unsat
unsat
1.4s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL218-3.p
(content)
unsat
unsat
1.3s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL218-1.p
(content)
unsat
unsat
0.506s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL217-1.p
(content)
unsat
unsat
0.616s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL216-1.p
(content)
unsat
unsat
0.629s