root
file
detailed [9650..9674]
prev
next
detailed results (12847 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC291-1.p
(content)
unsat
unsat
0.039s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC291-1.p
(content)
unsat
unsat
0.039s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC291+1.p
(content)
unsat
unsat
0.041s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC291+1.p
(content)
unsat
unsat
0.041s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC289-1.p
(content)
unsat
unsat
0.038s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC289-1.p
(content)
unsat
unsat
0.039s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC289+1.p
(content)
unsat
unsat
0.038s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC289+1.p
(content)
unsat
unsat
0.040s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC288-1.p
(content)
unsat
unsat
0.653s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC288-1.p
(content)
unsat
unsat
0.821s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC288+1.p
(content)
unsat
unsat
0.660s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC288+1.p
(content)
unsat
unsat
0.667s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC287-1.p
(content)
unsat
unsat
0.298s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC287-1.p
(content)
unsat
unsat
0.337s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC287+1.p
(content)
unsat
unsat
0.079s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC287+1.p
(content)
unsat
unsat
0.095s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC286-1.p
(content)
unsat
unsat
0.344s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC286-1.p
(content)
unsat
unsat
0.383s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC286+1.p
(content)
unsat
unsat
0.083s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC286+1.p
(content)
unsat
unsat
0.077s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC277-1.p
(content)
unsat
unsat
1.5s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC277-1.p
(content)
unsat
unsat
1.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC276-1.p
(content)
unsat
unsat
0.733s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC276-1.p
(content)
unsat
unsat
0.684s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWC/SWC276+1.p
(content)
unsat
unsat
0.072s