root
file
detailed [2300..2324]
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/LCL154-1.p
(content)
unsat
unsat
0.937s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL153-1.p
(content)
unsat
unsat
0.876s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL144-1.p
(content)
unsat
unsat
0.890s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL143-1.p
(content)
unsat
unsat
0.685s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL141-1.p
(content)
unsat
unsat
0.414s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL140-1.p
(content)
unsat
unsat
0.140s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL139-1.p
(content)
unsat
unsat
0.143s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL135-1.p
(content)
unsat
unsat
0.035s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL134-1.p
(content)
unsat
unsat
0.034s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL133-1.p
(content)
unsat
unsat
0.051s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL132-1.p
(content)
unsat
unsat
0.032s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL130-1.p
(content)
unsat
unsat
0.029s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL126-1.p
(content)
unsat
unsat
0.028s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL120-1.p
(content)
unsat
unsat
0.046s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL118-1.p
(content)
unsat
unsat
0.936s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL117-1.p
(content)
unsat
unsat
0.020s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL115-2.p
(content)
unsat
unsat
0.304s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL115-1.p
(content)
unsat
unsat
1.1s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL114-2.p
(content)
unsat
unsat
0.391s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL113-2.p
(content)
unsat
unsat
0.464s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL112-2.p
(content)
unsat
unsat
0.138s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL112-1.p
(content)
unsat
unsat
1.1s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL110-2.p
(content)
unsat
unsat
0.133s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL110-1.p
(content)
unsat
unsat
1.1s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL109-5.p
(content)
unsat
unsat
0.050s