root
file
detailed [5425..5449]
prev
next
detailed results (6433 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/SYN045-1.p
(content)
unsat
unsat
0.031s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN045+1.p
(content)
unsat
unsat
0.030s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN044-1.p
(content)
unsat
unsat
0.027s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN044+1.p
(content)
unsat
unsat
0.027s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN041-1.p
(content)
unsat
unsat
0.028s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN041+1.p
(content)
unsat
unsat
0.026s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN040-1.p
(content)
unsat
unsat
0.024s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN040+1.p
(content)
unsat
unsat
0.026s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN039-1.p
(content)
unsat
unsat
1.0s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN038-1.p
(content)
unsat
unsat
0.041s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN037-2.p
(content)
unsat
unsat
0.868s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN037-1.p
(content)
unsat
unsat
5.3s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN036^5.p
(content)
unsat
unsat
1.8s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN036-4.p
(content)
unsat
unsat
0.121s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN036-3.p
(content)
unsat
unsat
0.878s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN036-1.p
(content)
unsat
unsat
1.2s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN036+2.p
(content)
unsat
unsat
1.6s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN036+1.p
(content)
unsat
unsat
0.935s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN035-1.p
(content)
unsat
unsat
0.029s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN034-1.p
(content)
unsat
unsat
0.046s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN033-1.p
(content)
unsat
unsat
0.033s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN032-1.p
(content)
unsat
unsat
0.027s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN031-1.p
(content)
unsat
unsat
0.033s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN030-1.p
(content)
unsat
unsat
0.031s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN029-1.p
(content)
unsat
unsat
0.030s