|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
0.01
|
0.01
|
|||
|
0.01
|
0.02
|
|||
|
0.01
|
0.02
|
|||
|
0.01
|
0.01
|
|||
|
0.01
|
0.01
|
|||
|
0.01
|
0.01
|
|||
|
0.01
|
0.01
|
|||
|
0.01
|
0.01
|
|||
|
12.44
|
10.12
|
|||
|
11.06
|
8.91
|
|||
|
0.16
|
0.43
|
|||
|
0.12
|
7.67
|
|||
|
11.34
|
7.86
|
|||
|
11.47
|
7.84
|
|||
|
9.34
|
11.20
|
|||
|
11.63
|
11.96
|
|||
|
11.25
|
11.12
|
|||
|
11.88
|
11.65
|
|||
|
11.32
|
11.15
|
|||
|
1.67
|
11.27
|
|||
|
2.77
|
11.49
|
|||
|
11.27
|
11.17
|
|||
|
11.23
|
11.40
|
|||
|
11.15
|
11.33
|
|||
|
11.26
|
11.35
|