|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
1.99
|
12.65
|
|||
|
1.82
|
12.82
|
|||
|
2.14
|
13.63
|
|||
|
1.22
|
13.59
|
|||
|
1.88
|
14.21
|
|||
|
1.06
|
13.27
|
|||
|
1.72
|
12.88
|
|||
|
1.48
|
12.17
|
|||
|
1.12
|
12.81
|
|||
|
1.09
|
12.89
|
|||
|
1.39
|
12.70
|
|||
|
2.20
|
13.27
|
|||
|
1.53
|
12.71
|
|||
|
1.35
|
13.39
|
|||
|
1.27
|
13.16
|
|||
|
2.04
|
12.57
|
|||
|
1.71
|
12.97
|
|||
|
1.55
|
12.56
|
|||
|
0.09
|
9.81
|
|||
|
0.09
|
4.36
|
|||
|
0.39
|
9.38
|
|||
|
0.08
|
8.96
|
|||
|
0.12
|
5.19
|
|||
|
0.07
|
9.09
|
|||
|
0.11
|
5.56
|