|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
0.24
|
4.99
|
|||
|
1.61
|
11.02
|
|||
|
1.83
|
11.01
|
|||
|
0.53
|
11.01
|
|||
|
0.63
|
11.01
|
|||
|
0.79
|
11.01
|
|||
|
0.97
|
11.01
|
|||
|
0.69
|
7.40
|
|||
|
1.32
|
11.02
|
|||
|
1.14
|
11.01
|
|||
|
0.43
|
2.65
|
|||
|
1.10
|
11.01
|
|||
|
0.66
|
11.01
|
|||
|
1.36
|
11.01
|
|||
|
0.53
|
9.13
|
|||
|
0.56
|
7.53
|
|||
|
0.10
|
0.63
|
|||
|
0.10
|
0.88
|
|||
|
0.56
|
2.79
|
|||
|
0.62
|
4.45
|
|||
|
0.39
|
3.03
|
|||
|
0.39
|
2.64
|
|||
|
0.45
|
4.45
|
|||
|
0.68
|
6.15
|
|||
|
0.53
|
4.90
|