|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
11.59
|
10.12
|
|||
|
1.06
|
10.26
|
|||
|
0.08
|
0.16
|
|||
|
11.69
|
10.12
|
|||
|
0.34
|
10.15
|
|||
|
11.79
|
9.90
|
|||
|
11.77
|
12.78
|
|||
|
11.66
|
8.94
|
|||
|
2.18
|
12.14
|
|||
|
11.30
|
10.89
|
|||
|
11.32
|
10.39
|
|||
|
1.57
|
12.28
|
|||
|
2.91
|
12.21
|
|||
|
11.28
|
12.09
|
|||
|
11.31
|
10.14
|
|||
|
11.33
|
10.68
|
|||
|
11.29
|
10.57
|
|||
|
11.27
|
10.76
|
|||
|
11.23
|
11.88
|
|||
|
1.99
|
10.77
|
|||
|
11.38
|
12.87
|
|||
|
11.47
|
12.56
|
|||
|
5.15
|
11.08
|
|||
|
2.11
|
12.79
|
|||
|
1.26
|
13.00
|