problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
11.54
|
11.90
|
|||
11.16
|
11.32
|
|||
11.36
|
11.70
|
|||
11.41
|
7.29
|
|||
11.21
|
11.63
|
|||
11.68
|
11.31
|
|||
11.75
|
11.70
|
|||
11.34
|
11.43
|
|||
3.39
|
11.71
|
|||
11.51
|
12.56
|
|||
11.57
|
12.41
|
|||
11.36
|
10.75
|
|||
12.33
|
11.37
|
|||
10.37
|
11.00
|
|||
12.14
|
9.08
|
|||
11.36
|
11.72
|
|||
11.96
|
11.07
|
|||
2.28
|
11.78
|
|||
2.87
|
11.58
|
|||
11.68
|
9.25
|
|||
11.32
|
11.72
|
|||
11.47
|
10.35
|
|||
11.84
|
10.70
|
|||
11.42
|
11.86
|
|||
12.07
|
10.79
|