root
show
res-20200115T212049-ce23863b-2e93-45e9-8161-90a7ad172895.sqlite
show individual results
download as csv
show table of results
Summary
provers
zip-dev-check
zip-dev
n_results
13480
uuid
ce23863b-2e93-45e9-8161-90a7ad172895
dirs
//home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems
timestamp
2020/01, Wed the 15, at 21h20:49 GMT
total_wall_time
none
stats
provers
zip-dev-check
zip-dev
sat
165
164
unsat
2241
2243
sat+unsat
2406
2407
errors
44
43
valid_proof
0
0
invalid_proof
0
0
unknown
101
101
timeout
4189
4189
memory
0
0
total
6740
6740
total_time
1h11m38.6s
39m39.7s
summary
download as csv
see detailed results
provers
zip-dev-check
zip-dev
improved
0
0
ok
2422
2423
disappoint
4114
4113
bad
0
0
valid proof
0
0
invalid proof
0
0
errors
44
43
total
6740
6740
comparisons
better:
zip-dev-check
zip-dev
zip-dev-check
×
same: 2399
better: 8
worse: 7
zip-dev
same: 2399
better: 7
worse: 8
×