root
file
detailed [2450..2474]
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/LCL469+1.p
(content)
unsat
unsat
0.098s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL465+1.p
(content)
unsat
unsat
0.059s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL460+1.p
(content)
unsat
unsat
0.032s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL459+1.p
(content)
unsat
unsat
0.132s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL456+1.p
(content)
unsat
unsat
1.7s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL455+1.p
(content)
unsat
unsat
0.032s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL454+1.p
(content)
unsat
unsat
1.5s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL453+1.p
(content)
unsat
unsat
2s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL452+1.p
(content)
unsat
unsat
0.103s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL451+1.p
(content)
unsat
unsat
0.077s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL447-2.p
(content)
unsat
unsat
0.020s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL446-2.p
(content)
unsat
unsat
0.026s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL445-2.p
(content)
unsat
unsat
0.084s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL442-2.p
(content)
unsat
unsat
0.048s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL441-2.p
(content)
unsat
unsat
0.019s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL441-1.p
(content)
unsat
unsat
1.3s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL440-2.p
(content)
unsat
unsat
0.017s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL440-1.p
(content)
unsat
unsat
0.157s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL438-2.p
(content)
unsat
unsat
0.023s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL437-2.p
(content)
unsat
unsat
0.017s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL437-1.p
(content)
unsat
unsat
1.3s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL436-2.p
(content)
unsat
unsat
0.017s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL436-1.p
(content)
unsat
unsat
1.3s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL435-2.p
(content)
unsat
unsat
0.018s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL435-1.p
(content)
unsat
unsat
1.3s