provers
|
|
|||
n_results
|
237
|
|||
uuid
|
c1d7288e-af0f-4805-acbc-1dddaa33cf96
|
|||
dirs
|
|
|||
timestamp
|
2020/02, Tue the 11, at 16h16:40 GMT
|
|||
total_wall_time
|
44.7s
|
better:
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
||||||
z3
|
×
|
|
|
||||||
mc2-nogc-dev
|
|
×
|
|
||||||
mc2-dev
|
|
|
×
|