root
file
detailed [3075..3099]
prev
next
detailed results (6412 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM972_5.p
(content)
unsat
unsat
0.351s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM970_5.p
(content)
unsat
unsat
0.072s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM967_5.p
(content)
unsat
unsat
0.195s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM962_5.p
(content)
unsat
unsat
0.905s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM958_5.p
(content)
unsat
unsat
0.796s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM954_5.p
(content)
unsat
unsat
0.678s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM952_5.p
(content)
unsat
unsat
0.704s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM951_5.p
(content)
unsat
unknown
1.9s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM948_5.p
(content)
unsat
unsat
0.869s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM945_5.p
(content)
unsat
unsat
0.708s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM944_5.p
(content)
unsat
unsat
0.156s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM940_5.p
(content)
unsat
unsat
0.705s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM932_5.p
(content)
unsat
unknown
0.136s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM931_5.p
(content)
unsat
unsat
0.686s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM926_2.p
(content)
unsat
unsat
6.5s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM926_1.p
(content)
unsat
unsat
3.3s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM926^2.p
(content)
unsat
unsat
7.2s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM926^1.p
(content)
unsat
unsat
2.7s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM926+5.p
(content)
unsat
unsat
3.1s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM926+1.p
(content)
unsat
unsat
3s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM925_5.p
(content)
unsat
unsat
0.656s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM925_3.p
(content)
unsat
unsat
1.2s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM925_2.p
(content)
unsat
unsat
0.556s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM925^3.p
(content)
unsat
unsat
1.3s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/NUM/NUM925^2.p
(content)
unsat
unsat
0.648s