|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
11.25
|
2.71
|
|||
|
11.12
|
1.12
|
|||
|
17.81
|
7.02
|
|||
|
11.18
|
0.95
|
|||
|
16.12
|
3.07
|
|||
|
17.67
|
5.03
|
|||
|
16.30
|
1.32
|
|||
|
11.42
|
2.71
|
|||
|
17.67
|
3.29
|
|||
|
12.07
|
3.16
|
|||
|
20.45
|
2.06
|
|||
|
11.08
|
3.69
|
|||
|
18.47
|
6.07
|
|||
|
7.68
|
1.58
|
|||
|
18.81
|
3.16
|
|||
|
11.48
|
2.93
|
|||
|
11.61
|
1.35
|
|||
|
18.32
|
4.24
|
|||
|
19.61
|
3.61
|
|||
|
11.13
|
1.77
|
|||
|
11.38
|
4.81
|
|||
|
18.60
|
2.43
|
|||
|
11.31
|
2.57
|
|||
|
19.48
|
9.29
|
|||
|
12.28
|
7.40
|