|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
0.70
|
0.65
|
|||
|
0.78
|
1.31
|
|||
|
1.10
|
17.19
|
|||
|
0.93
|
18.30
|
|||
|
1.19
|
0.92
|
|||
|
0.98
|
1.55
|
|||
|
1.33
|
21.80
|
|||
|
1.31
|
19.45
|
|||
|
0.89
|
18.48
|
|||
|
1.15
|
23.75
|
|||
|
2.00
|
16.18
|
|||
|
3.24
|
25.55
|
|||
|
2.07
|
18.45
|
|||
|
2.48
|
22.66
|
|||
|
1.93
|
17.66
|
|||
|
2.87
|
20.46
|
|||
|
0.72
|
3.49
|
|||
|
0.63
|
1.79
|
|||
|
1.68
|
2.22
|
|||
|
1.00
|
3.85
|
|||
|
0.71
|
2.39
|
|||
|
0.64
|
3.51
|
|||
|
0.84
|
1.34
|
|||
|
2.03
|
6.95
|
|||
|
0.43
|
21.26
|