|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
0.24
|
11.01
|
|||
|
0.29
|
11.01
|
|||
|
0.29
|
11.01
|
|||
|
0.44
|
11.01
|
|||
|
0.31
|
11.01
|
|||
|
0.24
|
11.01
|
|||
|
0.22
|
11.01
|
|||
|
0.43
|
11.01
|
|||
|
0.22
|
11.02
|
|||
|
3.63
|
10.37
|
|||
|
0.57
|
11.02
|
|||
|
3.21
|
11.01
|
|||
|
4.45
|
11.02
|
|||
|
3.56
|
11.02
|
|||
|
4.20
|
11.02
|
|||
|
4.61
|
11.01
|
|||
|
5.96
|
11.01
|
|||
|
3.81
|
10.60
|
|||
|
6.41
|
11.01
|
|||
|
3.22
|
11.02
|
|||
|
3.79
|
11.01
|
|||
|
5.42
|
11.02
|
|||
|
0.48
|
11.01
|
|||
|
0.12
|
11.02
|
|||
|
0.16
|
11.01
|