root
file
detailed [50..74]
prev
next
detailed results (101 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN881-1.p
(content)
unknown
unsat
0.516s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN880-1.p
(content)
unknown
unsat
0.518s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN879-1.p
(content)
unknown
unsat
0.185s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN878-1.p
(content)
unknown
unsat
0.201s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN877-1.p
(content)
unknown
unsat
0.177s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN876-1.p
(content)
unknown
unsat
0.482s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN875-1.p
(content)
unknown
unsat
0.153s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN874-1.p
(content)
unknown
unsat
0.176s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN873-1.p
(content)
unknown
unsat
0.157s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN872-1.p
(content)
unknown
sat
5.6s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN871-1.p
(content)
unknown
unsat
0.123s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN870-1.p
(content)
unknown
sat
0.112s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN869-1.p
(content)
unknown
unsat
0.121s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN868-1.p
(content)
unknown
sat
0.234s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN867-1.p
(content)
unknown
sat
0.272s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN814-1.p
(content)
unknown
sat
8.7s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN811-1.p
(content)
unknown
sat
5.9s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN307-1.p
(content)
unknown
sat
1.0s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MSC/MSC015-1.030.p
(content)
unknown
unsat
0.062s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MSC/MSC015-1.027.p
(content)
unknown
unsat
0.057s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MSC/MSC015-1.025.p
(content)
unknown
unsat
0.051s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MSC/MSC015-1.022.p
(content)
unknown
unsat
0.045s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MSC/MSC015-1.020.p
(content)
unknown
unsat
0.044s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MSC/MSC015-1.015.p
(content)
unknown
unsat
0.043s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MSC/MSC013+1.p
(content)
unknown
sat
0.028s