root
file
detailed [4300..4324]
prev
next
detailed results (12865 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LAT/LAT091-1.p
(content)
unsat
unsat
1.4s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LAT/LAT090-1.p
(content)
unsat
unsat
0.088s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LAT/LAT090-1.p
(content)
unsat
unsat
0.099s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LAT/LAT089-1.p
(content)
unsat
unsat
1.3s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LAT/LAT089-1.p
(content)
unsat
unsat
1.3s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LAT/LAT088-1.p
(content)
unsat
unsat
0.065s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LAT/LAT088-1.p
(content)
unsat
unsat
0.067s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LAT/LAT040-1.p
(content)
unsat
unsat
0.978s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LAT/LAT040-1.p
(content)
unsat
unsat
0.716s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LAT/LAT039-2.p
(content)
unsat
unsat
1.4s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LAT/LAT039-2.p
(content)
unsat
unsat
1.4s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LAT/LAT037-1.p
(content)
unsat
unsat
0.544s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LAT/LAT037-1.p
(content)
unsat
unsat
0.567s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LAT/LAT035-1.p
(content)
unsat
unsat
0.067s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LAT/LAT035-1.p
(content)
unsat
unsat
0.069s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LAT/LAT034-1.p
(content)
unsat
unsat
0.023s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LAT/LAT034-1.p
(content)
unsat
unsat
0.025s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LAT/LAT033-1.p
(content)
unsat
unsat
0.028s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LAT/LAT033-1.p
(content)
unsat
unsat
0.029s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LAT/LAT029-1.p
(content)
unsat
unsat
1.4s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LAT/LAT029-1.p
(content)
unsat
unsat
1.2s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LAT/LAT014-1.p
(content)
unsat
unsat
0.045s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LAT/LAT014-1.p
(content)
unsat
unsat
0.031s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LAT/LAT008-1.p
(content)
unsat
unsat
0.187s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LAT/LAT008-1.p
(content)
unsat
unsat
0.218s