provers
|
|
|||
n_results
|
52752
|
|||
uuid
|
98ec73ef-b520-4d52-9a81-efa8230358a6
|
|||
dirs
|
|
|||
timestamp
|
2020/03, Tue the 03, at 5h38:38 GMT
|
|||
total_wall_time
|
2h6m34.0s
|
better:
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
||||||
z3
|
×
|
|
|
||||||
mc2-nogc-dev
|
|
×
|
|
||||||
mc2-dev
|
|
|
×
|