|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
1.70
|
11.15
|
|||
|
11.05
|
11.22
|
|||
|
11.05
|
9.61
|
|||
|
11.15
|
11.20
|
|||
|
0.79
|
0.73
|
|||
|
1.99
|
2.39
|
|||
|
11.19
|
11.12
|
|||
|
3.71
|
4.02
|
|||
|
11.16
|
11.19
|
|||
|
0.87
|
0.71
|
|||
|
1.31
|
1.53
|
|||
|
11.14
|
11.24
|
|||
|
11.12
|
7.69
|
|||
|
11.11
|
11.24
|
|||
|
11.07
|
10.50
|
|||
|
11.16
|
6.88
|
|||
|
11.18
|
11.25
|
|||
|
11.16
|
11.14
|
|||
|
11.14
|
11.30
|
|||
|
5.47
|
5.27
|
|||
|
6.08
|
2.35
|
|||
|
0.92
|
1.31
|
|||
|
4.66
|
1.49
|
|||
|
11.09
|
10.19
|
|||
|
11.13
|
11.15
|