res-20200208T174248-8a30ceb7-e539-4eeb-b205-7a5a92cb5e4f.sqlite

show individual results
download as csv
show table of results

Summary

provers
n_results
41292
bad
24
uuid
8a30ceb7-e539-4eeb-b205-7a5a92cb5e4f
dirs
//home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems
timestamp
2020/02, Sat the 08, at 17h42:48 GMT
total_wall_time
3h49m10.7s

stats

provers
zip-dev-check
zip-dev
sat
535
535
unsat
6396
6400
sat+unsat
6931
6935
errors
valid_proof
0
0
invalid_proof
0
0
unknown
482
480
timeout
memory
0
0
total
20646
20646
total_time
2h9m11.5s
1h34m31.8s

summary

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

comparisons

better:
zip-dev-check
zip-dev
zip-dev-check
×
same: 6916
better: 19
worse: 15
zip-dev
same: 6916
better: 15
worse: 19
×