root
show
res-20200307T233235-071f66d5-8e05-46f5-a827-4c709ebbe871.sqlite
show individual results
download as csv
show table of results
Summary
provers
zip-dev
n_results
20646
uuid
071f66d5-8e05-46f5-a827-4c709ebbe871
dirs
//home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems
timestamp
2020/03, Sat the 07, at 23h32:35 GMT
total_wall_time
1h52m25.7s
stats
provers
zip-dev
sat
517
unsat
6475
sat+unsat
6992
errors
289
valid_proof
0
invalid_proof
0
unknown
656
timeout
12709
memory
0
total
20646
total_time
1h37m27.5s
summary
download as csv
see detailed results
provers
zip-dev
improved
17
ok
7000
disappoint
11947
bad
0
valid proof
0
invalid proof
0
errors
289
total
20646