root
file
detailed [850..874]
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/CSR/CSR066+2.p
(content)
unsat
unsat
4.0s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR066+1.p
(content)
unsat
unsat
0.055s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR065+1.p
(content)
unsat
unsat
0.046s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR064+2.p
(content)
unsat
unsat
0.268s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR064+1.p
(content)
unsat
unsat
0.032s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR063+2.p
(content)
unsat
unsat
3.4s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR063+1.p
(content)
unsat
unsat
0.071s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR062+1.p
(content)
unsat
unsat
0.044s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR061+1.p
(content)
unsat
unsat
1.3s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR060+1.p
(content)
unsat
unsat
0.070s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR059+2.p
(content)
unsat
unsat
3s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR059+1.p
(content)
unsat
unsat
0.030s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR058+2.p
(content)
unsat
unsat
0.227s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR058+1.p
(content)
unsat
unsat
0.024s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR057+1.p
(content)
unsat
unsat
0.056s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR056+1.p
(content)
unsat
unsat
0.049s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR055+2.p
(content)
unsat
unsat
3.2s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR055+1.p
(content)
unsat
unsat
0.029s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR054+2.p
(content)
unsat
unsat
0.273s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR054+1.p
(content)
unsat
unsat
0.025s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR053+3.p
(content)
unsat
unsat
2.3s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR053+2.p
(content)
unsat
unsat
0.287s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR053+1.p
(content)
unsat
unsat
0.022s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR052+1.p
(content)
unsat
unsat
0.108s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CSR/CSR051+3.p
(content)
unsat
unsat
4.7s