provers
|
|
||||
n_results
|
29828
|
||||
uuid
|
987d6f5d-0c00-4230-ba5b-0aca0e1e2353
|
||||
dirs
|
|
||||
timestamp
|
2020/08, Mon the 03, at 15h44:00 GMT
|
||||
total_wall_time
|
3h47m8.4s
|
provers
|
z3
|
sidekick-dev
|
sidekick
|
mc2
|
sat
|
3103
|
3030
|
3028
|
2841
|
unsat
|
4253
|
3885
|
3887
|
3638
|
sat+unsat
|
7356
|
6915
|
6915
|
6479
|
errors
|
0
|
0
|
||
valid_proof
|
0
|
0
|
0
|
0
|
invalid_proof
|
0
|
0
|
0
|
0
|
unknown
|
0
|
106
|
111
|
0
|
timeout
|
||||
memory
|
0
|
0
|
0
|
0
|
total
|
7457
|
7457
|
7457
|
7457
|
total_time
|
15m44.5s
|
1h40m10.3s
|
1h40m32.8s
|
1h35m4.2s
|
better:
|
z3
|
sidekick-dev
|
sidekick
|
mc2
|
|||||||||
z3
|
×
|
|
|
|
|||||||||
sidekick-dev
|
|
×
|
|
|
|||||||||
sidekick
|
|
|
×
|
|
|||||||||
mc2
|
|
|
|
×
|