root
show
res-20200115T210954-4cb1e4b8-8107-4c5a-b5cc-8149f38d0600.sqlite
show individual results
download as csv
show table of results
Summary
provers
zip-dev-check
zip-dev
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
3
4
valid_proof
0
0
invalid_proof
0
0
unknown
5
5
timeout
548
549
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
272
271
ok
5
5
disappoint
0
0
bad
0
0
valid proof
0
0
invalid proof
0
0
errors
3
4
total
828
829
comparisons
better:
zip-dev-check
zip-dev
zip-dev-check
×
same: 271
better: 0
worse: 1
zip-dev
same: 271
better: 1
worse: 0
×