root
show
res-20200208T231225-2fe5672b-35e6-4385-8afa-081d6b704fa9.sqlite
show individual results
download as csv
show table of results
Summary
provers
zip-dev
n_results
20646
uuid
2fe5672b-35e6-4385-8afa-081d6b704fa9
dirs
//home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems
timestamp
2020/02, Sat the 08, at 23h12:25 GMT
total_wall_time
1h52m39.3s
stats
provers
zip-dev
sat
518
unsat
6417
sat+unsat
6935
errors
463
valid_proof
0
invalid_proof
0
unknown
497
timeout
12751
memory
0
total
20646
total_time
1h35m53.0s
summary
download as csv
see detailed results
provers
zip-dev
improved
17
ok
6943
disappoint
12004
bad
0
valid proof
0
invalid proof
0
errors
463
total
20646