root
file
detailed [1025..1049]
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/FLD/FLD016-5.p
(content)
unsat
unsat
3.5s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD016-3.p
(content)
unsat
unsat
2.4s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD015-3.p
(content)
unsat
unsat
0.120s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD013-5.p
(content)
unsat
unsat
0.096s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD013-4.p
(content)
unsat
unsat
0.200s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD013-3.p
(content)
unsat
unsat
0.893s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD013-2.p
(content)
unsat
unsat
6.3s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD010-3.p
(content)
unsat
unsat
0.034s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD010-1.p
(content)
unsat
unsat
0.264s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD009-3.p
(content)
unsat
unsat
0.250s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD007-3.p
(content)
unsat
unsat
1.3s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD006-3.p
(content)
unsat
unsat
0.027s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/FLD/FLD006-1.p
(content)
unsat
unsat
0.042s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT106=1.p
(content)
unsat
unsat
0.033s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT105=1.p
(content)
unsat
unsat
0.092s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT104=1.p
(content)
unsat
unsat
0.060s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT103=1.p
(content)
unsat
unsat
0.024s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT102=1.p
(content)
unsat
unsat
0.034s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT101=1.p
(content)
unsat
unsat
0.092s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT100=1.p
(content)
unsat
unsat
0.032s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT099=1.p
(content)
unsat
unsat
0.024s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT098=1.p
(content)
unsat
unsat
0.026s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT095=1.p
(content)
unsat
unsat
0.121s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT094=1.p
(content)
unsat
unsat
0.925s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT093=1.p
(content)
unsat
unsat
0.025s