res-20200210T004313-18d734a6-acd7-44dc-980d-2c9c97df024b.sqlite

show individual results
download as csv
show table of results

Summary

provers
n_results
20646
uuid
18d734a6-acd7-44dc-980d-2c9c97df024b
dirs
//home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems
timestamp
2020/02, Mon the 10, at 0h43:13 GMT
total_wall_time
1h52m47.4s

stats

provers
zip-dev
sat
518
unsat
6412
sat+unsat
6930
errors
valid_proof
0
invalid_proof
0
unknown
497
timeout
memory
0
total
20646
total_time
1h35m46.9s

summary

download as csv see detailed results
provers
zip-dev
improved
ok
disappoint
bad
0
valid proof
0
invalid proof
0
errors
total
20646
cactus plot of provers