root
file
detailed [2600..2624]
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/MGT/MGT008-1.p
(content)
unsat
unsat
0.044s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT008+1.p
(content)
unsat
unsat
0.035s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT007-1.p
(content)
unsat
unsat
0.125s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT007+1.p
(content)
unsat
unsat
0.125s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT006-1.p
(content)
unsat
unsat
0.104s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT006+1.p
(content)
unsat
unsat
0.157s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT004-1.p
(content)
unsat
unsat
0.075s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT004+1.p
(content)
unsat
unsat
0.092s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT003-1.p
(content)
unsat
unsat
0.036s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT003+1.p
(content)
unsat
unsat
0.044s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT002-1.p
(content)
unsat
unsat
0.037s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT002+1.p
(content)
unsat
unsat
0.047s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT001-1.p
(content)
unsat
unsat
0.198s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT001+1.p
(content)
unsat
unsat
0.509s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MED/MED008+1.p
(content)
unsat
unsat
2.4s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MED/MED006+1.p
(content)
unsat
unsat
2.3s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MED/MED003+1.p
(content)
unsat
unsat
0.397s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MED/MED002+1.p
(content)
unsat
unsat
0.299s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MED/MED001+1.p
(content)
unsat
unsat
0.363s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LDA/LDA007-3.p
(content)
unsat
unsat
0.062s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LDA/LDA007-2.p
(content)
unsat
unsat
0.101s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LDA/LDA007-1.p
(content)
unsat
unsat
0.088s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LDA/LDA003-1.p
(content)
unsat
unsat
0.024s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LDA/LDA001-1.p
(content)
unsat
unsat
0.060s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL899+1.p
(content)
unsat
unsat
0.166s