|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
17.45
|
4.54
|
|||
|
19.21
|
4.84
|
|||
|
11.18
|
1.15
|
|||
|
16.28
|
3.13
|
|||
|
15.69
|
2.25
|
|||
|
11.10
|
1.38
|
|||
|
11.62
|
2.33
|
|||
|
11.59
|
3.98
|
|||
|
11.05
|
2.00
|
|||
|
18.45
|
2.48
|
|||
|
11.25
|
4.64
|
|||
|
15.95
|
2.29
|
|||
|
18.13
|
3.81
|
|||
|
17.15
|
2.39
|
|||
|
11.35
|
0.82
|
|||
|
15.40
|
1.94
|
|||
|
17.82
|
2.80
|
|||
|
7.97
|
0.47
|
|||
|
16.77
|
0.23
|
|||
|
11.12
|
0.81
|
|||
|
8.38
|
2.28
|
|||
|
17.30
|
1.82
|
|||
|
11.32
|
1.87
|
|||
|
14.53
|
1.35
|
|||
|
11.09
|
2.01
|