res-20200115T164819-774a005a-e51d-4d1a-9153-0929e2117706.sqlite

show individual results
download as csv
show table of results

Summary

provers
n_results
41292
bad
1069
uuid
774a005a-e51d-4d1a-9153-0929e2117706
dirs
//home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems
timestamp
2020/01, Wed the 15, at 16h48:19 GMT
total_wall_time
3h45m55.8s

stats

provers
zip-dev-check
zip-dev
sat
535
534
unsat
6440
6448
sat+unsat
6975
6982
errors
valid_proof
0
0
invalid_proof
0
0
unknown
481
481
timeout
memory
0
0
total
20646
20646
total_time
2h12m18.3s
1h37m30.2s

summary

download as csv see detailed results
provers
zip-dev-check
zip-dev
improved
0
0
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: 6956
better: 26
worse: 19
zip-dev
same: 6956
better: 19
worse: 26
×