|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
11.86
|
14.40
|
|||
|
1.08
|
14.32
|
|||
|
0.08
|
0.18
|
|||
|
11.66
|
10.64
|
|||
|
0.22
|
15.22
|
|||
|
11.88
|
10.16
|
|||
|
11.64
|
12.85
|
|||
|
11.82
|
12.77
|
|||
|
1.78
|
12.23
|
|||
|
11.29
|
12.02
|
|||
|
11.29
|
10.97
|
|||
|
1.04
|
12.17
|
|||
|
2.31
|
12.22
|
|||
|
11.32
|
12.09
|
|||
|
11.29
|
11.86
|
|||
|
11.31
|
10.52
|
|||
|
11.40
|
11.99
|
|||
|
11.29
|
11.94
|
|||
|
11.24
|
10.56
|
|||
|
1.32
|
10.84
|
|||
|
11.29
|
10.88
|
|||
|
11.32
|
10.73
|
|||
|
6.95
|
10.13
|
|||
|
3.23
|
12.55
|
|||
|
1.30
|
12.96
|