|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
0.30
|
11.14
|
|||
|
9.50
|
11.29
|
|||
|
10.30
|
11.68
|
|||
|
9.16
|
11.41
|
|||
|
11.12
|
12.07
|
|||
|
11.28
|
10.21
|
|||
|
7.31
|
11.23
|
|||
|
6.97
|
11.32
|
|||
|
6.10
|
11.31
|
|||
|
8.79
|
12.24
|
|||
|
1.90
|
11.23
|
|||
|
1.14
|
11.16
|
|||
|
0.39
|
11.45
|
|||
|
0.13
|
11.23
|
|||
|
0.15
|
11.50
|
|||
|
0.16
|
11.33
|
|||
|
0.13
|
11.52
|
|||
|
0.15
|
11.48
|
|||
|
0.25
|
11.95
|
|||
|
0.30
|
11.33
|
|||
|
0.31
|
11.34
|
|||
|
0.14
|
11.29
|
|||
|
0.24
|
11.27
|
|||
|
0.40
|
12.34
|
|||
|
0.14
|
11.57
|