|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
0.32
|
5.93
|
|||
|
0.24
|
3.61
|
|||
|
0.20
|
3.14
|
|||
|
0.21
|
2.59
|
|||
|
0.34
|
4.74
|
|||
|
0.31
|
12.42
|
|||
|
0.39
|
11.47
|
|||
|
0.25
|
4.40
|
|||
|
0.24
|
3.52
|
|||
|
0.19
|
3.29
|
|||
|
0.35
|
1.01
|
|||
|
0.20
|
2.40
|
|||
|
0.18
|
3.72
|
|||
|
0.53
|
1.09
|
|||
|
0.49
|
2.00
|
|||
|
0.22
|
4.30
|
|||
|
0.34
|
5.18
|
|||
|
0.24
|
5.73
|
|||
|
0.30
|
2.86
|
|||
|
0.23
|
4.77
|
|||
|
0.83
|
6.03
|
|||
|
1.18
|
12.48
|
|||
|
0.78
|
12.21
|
|||
|
0.19
|
3.54
|
|||
|
0.57
|
12.16
|