|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
1.45
|
0.02
|
|||
|
10.24
|
0.02
|
|||
|
0.86
|
0.02
|
|||
|
1.05
|
0.02
|
|||
|
1.85
|
0.02
|
|||
|
8.31
|
0.02
|
|||
|
0.82
|
0.02
|
|||
|
0.76
|
0.02
|
|||
|
3.01
|
0.02
|
|||
|
11.01
|
0.02
|
|||
|
0.89
|
0.02
|
|||
|
2.06
|
0.02
|
|||
|
2.13
|
0.02
|
|||
|
11.01
|
0.02
|
|||
|
0.73
|
0.02
|
|||
|
1.45
|
0.02
|
|||
|
3.18
|
0.02
|
|||
|
11.01
|
0.02
|
|||
|
1.09
|
0.02
|
|||
|
1.79
|
0.02
|
|||
|
3.17
|
0.02
|
|||
|
11.01
|
0.02
|
|||
|
0.64
|
0.02
|
|||
|
2.38
|
0.02
|
|||
|
2.44
|
0.02
|