|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
11.18
|
11.44
|
|||
|
11.16
|
11.19
|
|||
|
11.11
|
11.23
|
|||
|
0.05
|
11.17
|
|||
|
11.16
|
11.14
|
|||
|
11.13
|
11.19
|
|||
|
0.27
|
11.19
|
|||
|
0.07
|
10.98
|
|||
|
0.43
|
10.81
|
|||
|
0.07
|
10.82
|
|||
|
11.17
|
10.56
|
|||
|
0.56
|
10.29
|
|||
|
0.59
|
10.43
|
|||
|
0.09
|
10.91
|
|||
|
0.66
|
10.22
|
|||
|
0.06
|
10.38
|
|||
|
11.15
|
11.16
|
|||
|
0.77
|
11.18
|
|||
|
1.48
|
11.17
|
|||
|
0.09
|
11.14
|
|||
|
0.94
|
11.26
|
|||
|
0.07
|
11.15
|
|||
|
11.18
|
10.25
|
|||
|
11.05
|
11.20
|
|||
|
1.19
|
10.57
|