|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
1.44
|
16.68
|
|||
|
12.85
|
14.25
|
|||
|
12.69
|
15.15
|
|||
|
13.74
|
14.96
|
|||
|
1.44
|
8.94
|
|||
|
11.67
|
14.28
|
|||
|
12.18
|
14.38
|
|||
|
3.94
|
14.64
|
|||
|
13.77
|
14.78
|
|||
|
1.05
|
9.62
|
|||
|
12.59
|
14.29
|
|||
|
12.10
|
13.73
|
|||
|
12.16
|
14.19
|
|||
|
13.50
|
14.78
|
|||
|
12.74
|
14.73
|
|||
|
9.37
|
14.27
|
|||
|
12.99
|
15.46
|
|||
|
12.47
|
15.51
|
|||
|
14.13
|
14.72
|
|||
|
4.45
|
13.53
|
|||
|
5.17
|
15.78
|
|||
|
3.64
|
14.73
|
|||
|
4.49
|
23.52
|
|||
|
12.79
|
14.93
|
|||
|
12.77
|
15.38
|