root
file
detailed [3575..3599]
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/SET/SET578+3.p
(content)
unsat
unsat
3.7s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET577+3.p
(content)
unsat
unsat
3.5s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET576+3.p
(content)
unsat
unsat
0.022s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET575+3.p
(content)
unsat
unsat
0.021s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET574+3.p
(content)
unsat
unsat
0.028s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET573+3.p
(content)
unsat
unsat
0.023s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET563-6.p
(content)
unsat
unsat
0.532s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET558-6.p
(content)
unsat
unsat
0.515s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET451-6.p
(content)
unsat
unsat
1.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET386-6.p
(content)
unsat
unsat
1.2s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET366+4.p
(content)
unsat
unsat
0.025s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET355+4.p
(content)
unsat
unsat
0.059s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET347+4.p
(content)
unsat
unsat
0.200s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET296-6.p
(content)
unsat
unsat
0.026s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET241-6.p
(content)
unsat
unsat
1.1s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET240-6.p
(content)
unsat
unsat
1.1s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET239-6.p
(content)
unsat
unsat
0.875s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET238-6.p
(content)
unsat
unsat
0.982s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET234-6.p
(content)
unsat
unsat
0.775s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET231-6.p
(content)
unsat
unsat
0.822s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET204-6.p
(content)
unsat
unsat
0.053s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET203-6.p
(content)
unsat
unsat
0.434s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET201^5.p
(content)
unsat
unsat
0.020s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET201+3.p
(content)
unsat
unsat
8.7s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SET/SET200^5.p
(content)
unsat
unsat
0.022s