root
file
detailed [3125..3149]
prev
next
detailed results (6471 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM978_5.p
(content)
unsat
unsat
0.031s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM977_5.p
(content)
unsat
unsat
0.627s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM974_5.p
(content)
unsat
unknown
9s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM972_5.p
(content)
unsat
unsat
0.402s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM970_5.p
(content)
unsat
unsat
0.075s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM967_5.p
(content)
unsat
unsat
0.215s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM962_5.p
(content)
unsat
unsat
1s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM958_5.p
(content)
unsat
unsat
0.915s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM954_5.p
(content)
unsat
unsat
0.683s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM952_5.p
(content)
unsat
unsat
0.693s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM951_5.p
(content)
unsat
unknown
1.7s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM948_5.p
(content)
unsat
unsat
0.722s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM945_5.p
(content)
unsat
unsat
0.800s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM944_5.p
(content)
unsat
unsat
0.141s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM940_5.p
(content)
unsat
unsat
0.707s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM932_5.p
(content)
unsat
unknown
0.120s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM931_5.p
(content)
unsat
unsat
0.571s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM926_2.p
(content)
unsat
unsat
7.3s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM926_1.p
(content)
unsat
unsat
2.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM926^2.p
(content)
unsat
unsat
6.4s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM926^1.p
(content)
unsat
unsat
3.1s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM926+5.p
(content)
unsat
unsat
2.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM926+1.p
(content)
unsat
unsat
2.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM925_5.p
(content)
unsat
unsat
0.677s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM925_3.p
(content)
unsat
unsat
1.2s