root
file
detailed [2700..2724]
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/MSC/MSC015-1.010.p
(content)
unsat
unsat
0.214s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MSC/MSC015-1.005.p
(content)
unsat
unsat
0.027s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MSC/MSC012+1.p
(content)
unsat
unsat
0.272s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MSC/MSC011+1.p
(content)
unsat
unsat
0.016s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MSC/MSC007-2.005.p
(content)
unsat
unsat
1.7s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MSC/MSC006-1.p
(content)
unsat
unsat
0.030s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MSC/MSC005-1.p
(content)
unsat
unsat
0.022s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MSC/MSC004-1.p
(content)
unsat
unsat
0.028s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MSC/MSC003-1.p
(content)
unsat
unsat
0.042s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MSC/MSC002-2.p
(content)
unsat
unsat
0.135s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MSC/MSC002-1.p
(content)
unsat
unsat
0.255s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MSC/MSC001-1.p
(content)
unsat
unsat
0.236s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT067+1.p
(content)
unsat
unsat
1.1s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT065-1.p
(content)
unsat
unsat
2.6s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT062-1.p
(content)
unsat
unsat
2.6s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT060-1.p
(content)
unsat
unsat
0.090s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT060+1.p
(content)
unsat
unsat
0.095s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT059-1.p
(content)
unsat
unsat
0.034s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT059+1.p
(content)
unsat
unsat
0.041s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT058-1.p
(content)
unsat
unsat
0.044s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT058+1.p
(content)
unsat
unsat
0.043s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT057-1.p
(content)
unsat
unsat
0.049s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT057+1.p
(content)
unsat
unsat
0.053s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT056-1.p
(content)
unsat
unsat
0.221s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT056+1.p
(content)
unsat
unsat
0.218s