|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
14.32
|
12.41
|
|||
|
5.08
|
8.03
|
|||
|
11.58
|
10.44
|
|||
|
11.62
|
11.15
|
|||
|
3.57
|
4.37
|
|||
|
6.61
|
11.06
|
|||
|
8.45
|
12.93
|
|||
|
9.67
|
10.60
|
|||
|
13.16
|
12.88
|
|||
|
11.45
|
10.53
|
|||
|
11.58
|
10.25
|
|||
|
11.63
|
11.54
|
|||
|
2.19
|
5.70
|
|||
|
5.75
|
10.20
|
|||
|
11.63
|
11.02
|
|||
|
12.62
|
11.40
|
|||
|
3.82
|
5.48
|
|||
|
8.97
|
9.11
|
|||
|
4.50
|
7.67
|
|||
|
11.50
|
10.56
|
|||
|
6.55
|
10.14
|
|||
|
11.47
|
10.64
|
|||
|
11.64
|
10.57
|
|||
|
5.58
|
6.07
|
|||
|
11.48
|
10.79
|