|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
0.72
|
4.42
|
|||
|
0.73
|
4.64
|
|||
|
0.66
|
4.06
|
|||
|
0.83
|
5.63
|
|||
|
1.00
|
3.23
|
|||
|
0.69
|
7.60
|
|||
|
0.53
|
6.78
|
|||
|
0.72
|
9.86
|
|||
|
0.80
|
11.47
|
|||
|
0.83
|
7.16
|
|||
|
0.60
|
4.31
|
|||
|
0.89
|
5.71
|
|||
|
0.74
|
4.82
|
|||
|
0.65
|
7.29
|
|||
|
0.71
|
5.83
|
|||
|
0.78
|
7.42
|
|||
|
0.78
|
11.45
|
|||
|
0.96
|
0.52
|
|||
|
0.78
|
0.77
|
|||
|
0.89
|
5.55
|
|||
|
0.52
|
5.01
|
|||
|
0.70
|
0.83
|
|||
|
0.78
|
0.67
|
|||
|
1.61
|
8.24
|
|||
|
1.23
|
7.92
|