root
file
detailed [2550..2574]
prev
next
detailed results (6396 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT009+1.p
(content)
unsat
unsat
0.093s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT008-1.p
(content)
unsat
unsat
0.061s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT008+1.p
(content)
unsat
unsat
0.052s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT007-1.p
(content)
unsat
unsat
0.158s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT007+1.p
(content)
unsat
unsat
0.167s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT006-1.p
(content)
unsat
unsat
0.143s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT006+1.p
(content)
unsat
unsat
0.183s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT004-1.p
(content)
unsat
unsat
0.135s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT004+1.p
(content)
unsat
unsat
0.135s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT003-1.p
(content)
unsat
unsat
0.043s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT003+1.p
(content)
unsat
unsat
0.044s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT002-1.p
(content)
unsat
unsat
0.047s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT002+1.p
(content)
unsat
unsat
0.056s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT001-1.p
(content)
unsat
unsat
0.268s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MGT/MGT001+1.p
(content)
unsat
unsat
0.590s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MED/MED008+1.p
(content)
unsat
unsat
2.4s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MED/MED006+1.p
(content)
unsat
unsat
2.2s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MED/MED003+1.p
(content)
unsat
unsat
0.418s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MED/MED002+1.p
(content)
unsat
unsat
0.370s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/MED/MED001+1.p
(content)
unsat
unsat
0.364s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LDA/LDA007-3.p
(content)
unsat
unsat
0.062s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LDA/LDA007-2.p
(content)
unsat
unsat
0.117s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LDA/LDA007-1.p
(content)
unsat
unsat
0.104s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LDA/LDA003-1.p
(content)
unsat
unsat
0.025s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LDA/LDA001-1.p
(content)
unsat
unsat
0.069s