res-20200115T210954-4cb1e4b8-8107-4c5a-b5cc-8149f38d0600.sqlite

show individual results
download as csv
show table of results

Summary

provers
n_results
1657
uuid
4cb1e4b8-8107-4c5a-b5cc-8149f38d0600
dirs
//home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems
timestamp
2020/01, Wed the 15, at 21h09:54 GMT
total_wall_time
none

stats

provers
zip-dev-check
zip-dev
sat
7
7
unsat
265
264
sat+unsat
272
271
errors
valid_proof
0
0
invalid_proof
0
0
unknown
5
5
timeout
memory
0
0
total
828
829
total_time
3m47.2s
3m43.3s

summary

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

comparisons

better:
zip-dev-check
zip-dev
zip-dev-check
×
same: 271
better: 0
worse: 1
zip-dev
same: 271
better: 1
worse: 0
×