|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
2.46
|
10.74
|
|||
|
0.87
|
10.37
|
|||
|
1.19
|
10.36
|
|||
|
11.07
|
11.22
|
|||
|
11.04
|
10.89
|
|||
|
11.06
|
10.52
|
|||
|
11.19
|
7.24
|
|||
|
11.14
|
11.14
|
|||
|
11.60
|
11.26
|
|||
|
11.12
|
5.50
|
|||
|
5.73
|
11.16
|
|||
|
11.15
|
11.25
|
|||
|
6.57
|
11.24
|
|||
|
10.54
|
10.82
|
|||
|
10.99
|
10.79
|
|||
|
11.12
|
11.28
|
|||
|
1.61
|
11.20
|
|||
|
5.98
|
10.76
|
|||
|
1.22
|
10.24
|
|||
|
10.72
|
10.55
|
|||
|
11.15
|
11.22
|
|||
|
9.70
|
10.64
|
|||
|
11.17
|
1.36
|
|||
|
11.15
|
9.99
|
|||
|
11.14
|
10.13
|