|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
4.33
|
0.67
|
|||
|
4.33
|
0.27
|
|||
|
4.40
|
0.38
|
|||
|
4.07
|
0.83
|
|||
|
11.29
|
3.25
|
|||
|
11.53
|
2.58
|
|||
|
11.39
|
1.95
|
|||
|
11.83
|
16.69
|
|||
|
11.55
|
20.01
|
|||
|
11.58
|
9.51
|
|||
|
11.41
|
11.05
|
|||
|
11.52
|
17.63
|
|||
|
11.30
|
18.83
|
|||
|
11.28
|
20.17
|
|||
|
11.30
|
23.18
|
|||
|
11.48
|
21.60
|
|||
|
11.32
|
22.78
|
|||
|
11.32
|
25.84
|
|||
|
11.46
|
24.72
|
|||
|
11.82
|
22.56
|
|||
|
11.94
|
34.91
|
|||
|
2.41
|
0.82
|
|||
|
1.95
|
0.77
|
|||
|
2.33
|
1.41
|
|||
|
11.38
|
7.61
|