|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
0.64
|
9.02
|
|||
|
0.90
|
11.30
|
|||
|
0.44
|
9.86
|
|||
|
11.45
|
8.89
|
|||
|
0.59
|
14.79
|
|||
|
0.86
|
8.31
|
|||
|
1.32
|
7.77
|
|||
|
11.57
|
13.95
|
|||
|
0.42
|
8.33
|
|||
|
0.76
|
6.86
|
|||
|
3.27
|
6.63
|
|||
|
12.05
|
14.81
|
|||
|
0.46
|
14.65
|
|||
|
0.91
|
14.55
|
|||
|
1.57
|
9.05
|
|||
|
11.45
|
9.86
|
|||
|
0.42
|
14.80
|
|||
|
1.70
|
15.00
|
|||
|
1.77
|
8.99
|
|||
|
11.54
|
8.06
|
|||
|
1.28
|
9.35
|
|||
|
2.27
|
7.08
|
|||
|
2.69
|
10.46
|
|||
|
11.57
|
9.03
|
|||
|
0.43
|
7.27
|