root
file
detailed [925..949]
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/DAT/DAT005=1.p
(content)
unsat
unsat
0.051s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT004=1.p
(content)
unsat
unsat
0.057s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT003=1.p
(content)
unsat
unsat
0.035s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT002=1.p
(content)
unsat
unsat
0.019s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT/DAT001=1.p
(content)
unsat
unsat
0.021s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR153^1.p
(content)
unsat
unsat
0.219s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR151^3.p
(content)
unsat
unsat
7.2s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR151^2.p
(content)
unsat
unsat
0.139s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR151^1.p
(content)
unsat
unsat
0.023s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR150^3.p
(content)
unsat
unsat
7.2s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR150^2.p
(content)
unsat
unsat
0.193s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR147+1.p
(content)
unsat
unsat
0.025s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR146^3.p
(content)
unsat
unsat
0.028s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR146^2.p
(content)
unsat
unsat
0.562s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR146^1.p
(content)
unsat
unsat
0.026s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR145^2.p
(content)
unsat
unsat
0.371s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR145^1.p
(content)
unsat
unsat
0.024s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR144^2.p
(content)
unsat
unsat
0.316s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR144^1.p
(content)
unsat
unsat
0.032s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR143^2.p
(content)
unsat
unsat
0.317s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR143^1.p
(content)
unsat
unsat
0.023s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR142^2.p
(content)
unsat
unsat
0.188s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR142^1.p
(content)
unsat
unsat
0.024s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR141^2.p
(content)
unsat
unsat
0.128s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR141^1.p
(content)
unsat
unsat
0.025s