|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
11.96
|
10.82
|
|||
|
0.56
|
11.53
|
|||
|
0.58
|
11.44
|
|||
|
0.85
|
11.29
|
|||
|
12.90
|
11.39
|
|||
|
0.46
|
11.33
|
|||
|
1.22
|
7.99
|
|||
|
1.00
|
13.31
|
|||
|
13.46
|
12.46
|
|||
|
0.47
|
10.73
|
|||
|
0.75
|
6.58
|
|||
|
1.80
|
12.46
|
|||
|
12.36
|
12.20
|
|||
|
0.31
|
11.49
|
|||
|
0.89
|
8.64
|
|||
|
1.77
|
12.26
|
|||
|
11.21
|
11.17
|
|||
|
0.41
|
12.64
|
|||
|
1.32
|
8.96
|
|||
|
2.69
|
13.89
|
|||
|
11.96
|
12.26
|
|||
|
0.30
|
12.17
|
|||
|
1.16
|
8.41
|
|||
|
1.57
|
13.59
|
|||
|
14.37
|
15.51
|