|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
1.39
|
11.15
|
|||
|
0.60
|
3.85
|
|||
|
0.57
|
9.30
|
|||
|
0.50
|
11.18
|
|||
|
0.39
|
11.16
|
|||
|
0.35
|
11.18
|
|||
|
0.50
|
8.74
|
|||
|
0.35
|
11.13
|
|||
|
0.54
|
11.15
|
|||
|
0.59
|
11.14
|
|||
|
0.54
|
1.83
|
|||
|
0.63
|
2.54
|
|||
|
0.77
|
2.14
|
|||
|
0.70
|
3.10
|
|||
|
0.49
|
11.16
|
|||
|
0.42
|
9.40
|
|||
|
0.42
|
4.95
|
|||
|
0.53
|
11.15
|
|||
|
0.38
|
2.23
|
|||
|
0.42
|
3.46
|
|||
|
0.64
|
2.32
|
|||
|
0.51
|
1.63
|
|||
|
0.40
|
10.19
|
|||
|
0.51
|
5.40
|
|||
|
0.60
|
9.00
|